Kill cancelled tasks with SIGINT instead of SIGTERM
SIGINT should be the first signal sent to a process being cancelled because is used at least in CPython interpreter, SCIP and CBC solvers as a graceful shutdown signal.
For SIGTERM the default handler is usually used.