2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: choco-solver 4.0.5 (2017-07-05)	SAT (TO)	216	2400.74	304.013

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248998-1500693429/watcher-4248998-1500693429 -o /tmp/evaluation-result-4248998-1500693429/solver-4248998-1500693429 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1785692164 HOME/instance-4248998-1500693429.xml 

pid=15440
running on 8 cores: 4-7,12-15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 15.41 13.04 12.58 10/276 15443
/proc/meminfo: memFree=30889632/32770624 swapFree=5944/266652
[pid=15443] ppid=15440 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/15443/stat : 15443 (xcsp3-exec) S 15440 15443 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4610055 9740288 346 33554432000 4194304 5098028 140728009649968 140728009648072 140287804502652 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17334272 140728009655438 140728009655648 140728009655648 140728009658347 0
/proc/15443/statm: 2378 346 289 221 0 87 0

[startup+0.100102 s]
/proc/loadavg: 15.41 13.04 12.58 10/276 15443
/proc/meminfo: memFree=30889632/32770624 swapFree=5944/266652
[pid=15443] ppid=15440 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/15443/stat : 15443 (xcsp3-exec) S 15440 15443 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4610055 9740288 346 33554432000 4194304 5098028 140728009649968 140728009648072 140287804502652 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17334272 140728009655438 140728009655648 140728009655648 140728009658347 0
/proc/15443/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200254 s]
/proc/loadavg: 15.41 13.04 12.58 10/276 15443
/proc/meminfo: memFree=30889632/32770624 swapFree=5944/266652
[pid=15443] ppid=15440 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/15443/stat : 15443 (xcsp3-exec) S 15440 15443 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4610055 9740288 346 33554432000 4194304 5098028 140728009649968 140728009648072 140287804502652 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17334272 140728009655438 140728009655648 140728009655648 140728009658347 0
/proc/15443/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300225 s]
/proc/loadavg: 15.41 13.04 12.58 10/276 15443
/proc/meminfo: memFree=30889632/32770624 swapFree=5944/266652
[pid=15443] ppid=15440 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/15443/stat : 15443 (xcsp3-exec) S 15440 15443 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4610055 9740288 346 33554432000 4194304 5098028 140728009649968 140728009648072 140287804502652 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17334272 140728009655438 140728009655648 140728009655648 140728009658347 0
/proc/15443/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700188 s]
/proc/loadavg: 15.41 13.04 12.58 10/276 15443
/proc/meminfo: memFree=30889632/32770624 swapFree=5944/266652
[pid=15443] ppid=15440 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/15443/stat : 15443 (xcsp3-exec) S 15440 15443 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4610055 9740288 346 33554432000 4194304 5098028 140728009649968 140728009648072 140287804502652 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17334272 140728009655438 140728009655648 140728009655648 140728009658347 0
/proc/15443/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50121 s]
/proc/loadavg: 15.41 13.04 12.58 20/305 15472
/proc/meminfo: memFree=30704248/32770624 swapFree=5944/266704
[pid=15443] ppid=15440 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/15443/stat : 15443 (xcsp3-exec) S 15440 15443 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4610055 9740288 346 33554432000 4194304 5098028 140728009649968 140728009648072 140287804502652 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17334272 140728009655438 140728009655648 140728009655648 140728009658347 0
/proc/15443/statm: 2378 346 289 221 0 87 0
[pid=15444] ppid=15443 vsize=13801768 CPUtime=6.88 cores=4-7,12-15
/proc/15444/stat : 15444 (java) S 15443 15443 18810 0 -1 1077944320 19468 0 0 0 675 13 0 0 20 0 28 0 4610055 14133010432 52701 33554432000 4194304 4196468 140728766653328 140728766635872 140473005170423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
/proc/15444/statm: 3450442 52701 3252 1 0 3437675 0
[pid=15444/tid=15445] ppid=15443 vsize=13801768 CPUtime=1.05 cores=4-7,12-15
/proc/15444/task/15445/stat : 15445 (java) S 15443 15443 18810 0 -1 1077944384 6836 0 0 0 101 4 0 0 20 0 28 0 4610056 14133010432 52701 33554432000 4194304 4196468 140728766653328 140473009411200 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15447] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15447/stat : 15447 (java) S 15443 15443 18810 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 4610056 14133010432 52701 33554432000 4194304 4196468 140728766653328 140472957790864 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15448] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15448/stat : 15448 (java) S 15443 15443 18810 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4610056 14133010432 52701 33554432000 4194304 4196468 140728766653328 140472956738064 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15449] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15449/stat : 15449 (java) S 15443 15443 18810 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 4610056 14133010432 52701 33554432000 4194304 4196468 140728766653328 140472955685264 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15450] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15450/stat : 15450 (java) S 15443 15443 18810 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 4610056 14133010432 52701 33554432000 4194304 4196468 140728766653328 140472954632464 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15451] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15451/stat : 15451 (java) S 15443 15443 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4610056 14133010432 52701 33554432000 4194304 4196468 140728766653328 140472953580688 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15452] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15452/stat : 15452 (java) S 15443 15443 18810 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 4610056 14133010432 52701 33554432000 4194304 4196468 140728766653328 140472952527888 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15453] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15453/stat : 15453 (java) S 15443 15443 18810 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4610056 14133010432 52701 33554432000 4194304 4196468 140728766653328 140472951475088 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15454] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15454/stat : 15454 (java) S 15443 15443 18810 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4610056 14133010432 52701 33554432000 4194304 4196468 140728766653328 140472950422288 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15455] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15455/stat : 15455 (java) S 15443 15443 18810 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4610058 14133010432 52701 33554432000 4194304 4196468 140728766653328 140472467024240 140473005181570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15456] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15456/stat : 15456 (java) S 15443 15443 18810 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 4610059 14133010432 52701 33554432000 4194304 4196468 140728766653328 140472465970208 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15457] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15457/stat : 15457 (java) S 15443 15443 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4610059 14133010432 52701 33554432000 4194304 4196468 140728766653328 140472464917360 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15458] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15458/stat : 15458 (java) S 15443 15443 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4610062 14133010432 52701 33554432000 4194304 4196468 140728766653328 140472463865680 140473005189019 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15459] ppid=15443 vsize=13801768 CPUtime=0.93 cores=4-7,12-15
/proc/15444/task/15459/stat : 15459 (java) R 15443 15443 18810 0 -1 4202560 2335 0 0 0 93 0 0 0 20 0 28 0 4610062 14133010432 52701 33554432000 4194304 4196468 140728766653328 140472462795080 140472989081385 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15460] ppid=15443 vsize=13801768 CPUtime=0.94 cores=4-7,12-15
/proc/15444/task/15460/stat : 15460 (java) R 15443 15443 18810 0 -1 4202560 1908 0 0 0 93 1 0 0 20 0 28 0 4610062 14133010432 52701 33554432000 4194304 4196468 140728766653328 140472461751984 140472988653754 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15461] ppid=15443 vsize=13801768 CPUtime=1 cores=4-7,12-15
/proc/15444/task/15461/stat : 15461 (java) R 15443 15443 18810 0 -1 4202560 2625 0 0 0 99 1 0 0 20 0 28 0 4610062 14133010432 52701 33554432000 4194304 4196468 140728766653328 140472460694496 140472984427080 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15462] ppid=15443 vsize=13801768 CPUtime=0.79 cores=4-7,12-15
/proc/15444/task/15462/stat : 15462 (java) S 15443 15443 18810 0 -1 1077944384 3064 0 0 0 78 1 0 0 20 0 28 0 4610062 14133010432 52701 33554432000 4194304 4196468 140728766653328 140472459655664 140473005181570 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15463] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15463/stat : 15463 (java) S 15443 15443 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4610063 14133010432 52701 33554432000 4194304 4196468 140728766653328 140472458603104 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15464] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15464/stat : 15464 (java) S 15443 15443 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4610063 14133010432 52701 33554432000 4194304 4196468 140728766653328 140472457550384 140473005181570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 13811280

[startup+3.1014 s]
/proc/loadavg: 15.41 13.04 12.58 20/305 15520
/proc/meminfo: memFree=30677076/32770624 swapFree=5944/266692
[pid=15443] ppid=15440 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/15443/stat : 15443 (xcsp3-exec) S 15440 15443 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4610055 9740288 346 33554432000 4194304 5098028 140728009649968 140728009648072 140287804502652 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17334272 140728009655438 140728009655648 140728009655648 140728009658347 0
/proc/15443/statm: 2378 346 289 221 0 87 0
[pid=15444] ppid=15443 vsize=13801768 CPUtime=19.5 cores=4-7,12-15
/proc/15444/stat : 15444 (java) S 15443 15443 18810 0 -1 1077944320 24083 0 0 0 1932 18 0 0 20 0 28 0 4610055 14133010432 59230 33554432000 4194304 4196468 140728766653328 140728766635872 140473005170423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
/proc/15444/statm: 3450442 59230 3269 1 0 3437675 0
[pid=15444/tid=15445] ppid=15443 vsize=13801768 CPUtime=1.05 cores=4-7,12-15
/proc/15444/task/15445/stat : 15445 (java) S 15443 15443 18810 0 -1 1077944384 6836 0 0 0 101 4 0 0 20 0 28 0 4610056 14133010432 59230 33554432000 4194304 4196468 140728766653328 140473009411200 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15447] ppid=15443 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/15444/task/15447/stat : 15447 (java) S 15443 15443 18810 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 28 0 4610056 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472957790864 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15448] ppid=15443 vsize=13801768 CPUtime=0.02 cores=4-7,12-15
/proc/15444/task/15448/stat : 15448 (java) S 15443 15443 18810 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 28 0 4610056 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472956738064 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15449] ppid=15443 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/15444/task/15449/stat : 15449 (java) S 15443 15443 18810 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 28 0 4610056 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472955685264 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15450] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15450/stat : 15450 (java) S 15443 15443 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4610056 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472954632464 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15451] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15451/stat : 15451 (java) S 15443 15443 18810 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 4610056 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472953580688 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15452] ppid=15443 vsize=13801768 CPUtime=0.02 cores=4-7,12-15
/proc/15444/task/15452/stat : 15452 (java) S 15443 15443 18810 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 4610056 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472952527888 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15453] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15453/stat : 15453 (java) S 15443 15443 18810 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4610056 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472951475088 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15454] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15454/stat : 15454 (java) S 15443 15443 18810 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 4610056 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472950422288 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15455] ppid=15443 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/15444/task/15455/stat : 15455 (java) S 15443 15443 18810 0 -1 1077944384 83 0 0 0 0 1 0 0 20 0 28 0 4610058 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472467024240 140473005181570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15456] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15456/stat : 15456 (java) S 15443 15443 18810 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 4610059 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472465970272 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15457] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15457/stat : 15457 (java) S 15443 15443 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4610059 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472464917376 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15458] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15458/stat : 15458 (java) S 15443 15443 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4610062 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472463865680 140473005189019 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15459] ppid=15443 vsize=13801768 CPUtime=1.82 cores=4-7,12-15
/proc/15444/task/15459/stat : 15459 (java) R 15443 15443 18810 0 -1 1077944384 3170 0 0 0 181 1 0 0 20 0 28 0 4610062 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472462805392 140473005180629 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15460] ppid=15443 vsize=13801768 CPUtime=1.82 cores=4-7,12-15
/proc/15444/task/15460/stat : 15460 (java) R 15443 15443 18810 0 -1 4202560 3590 0 0 0 181 1 0 0 20 0 28 0 4610062 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472461752720 140472990279978 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15461] ppid=15443 vsize=13801768 CPUtime=2.05 cores=4-7,12-15
/proc/15444/task/15461/stat : 15461 (java) R 15443 15443 18810 0 -1 4202560 4364 0 0 0 204 1 0 0 20 0 28 0 4610062 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472460689664 140472990287556 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15462] ppid=15443 vsize=13801768 CPUtime=0.9 cores=4-7,12-15
/proc/15444/task/15462/stat : 15462 (java) S 15443 15443 18810 0 -1 1077944384 3296 0 0 0 89 1 0 0 20 0 28 0 4610062 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472459655664 140473005181570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15463] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15463/stat : 15463 (java) S 15443 15443 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4610063 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472458603104 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15464] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15464/stat : 15464 (java) S 15443 15443 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4610063 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472457550384 140473005181570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15513] ppid=15443 vsize=13801768 CPUtime=1.49 cores=4-7,12-15
/proc/15444/task/15513/stat : 15513 (java) R 15443 15443 18810 0 -1 4202560 24 0 0 0 149 0 0 0 20 0 28 0 4610187 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472448481688 140472634466182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15514] ppid=15443 vsize=13801768 CPUtime=1.19 cores=4-7,12-15
/proc/15444/task/15514/stat : 15514 (java) R 15443 15443 18810 0 -1 4202560 19 0 0 0 119 0 0 0 20 0 28 0 4610187 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472442168352 140472990381802 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15515] ppid=15443 vsize=13801768 CPUtime=1.54 cores=4-7,12-15
/proc/15444/task/15515/stat : 15515 (java) R 15443 15443 18810 0 -1 4202560 30 0 0 0 154 0 0 0 20 0 28 0 4610187 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472449537288 140472632850534 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15516] ppid=15443 vsize=13801768 CPUtime=1.49 cores=4-7,12-15
/proc/15444/task/15516/stat : 15516 (java) R 15443 15443 18810 0 -1 4202560 31 0 0 0 149 0 0 0 20 0 28 0 4610187 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472444273136 140472634047101 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15517] ppid=15443 vsize=13801768 CPUtime=1.36 cores=4-7,12-15
/proc/15444/task/15517/stat : 15517 (java) R 15443 15443 18810 0 -1 4202560 21 0 0 0 136 0 0 0 20 0 28 0 4610187 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472446377592 140472632437378 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15518] ppid=15443 vsize=13801768 CPUtime=1.18 cores=4-7,12-15
/proc/15444/task/15518/stat : 15518 (java) R 15443 15443 18810 0 -1 4202560 18 0 0 0 118 0 0 0 20 0 28 0 4610187 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472447431320 140472632834291 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15519] ppid=15443 vsize=13801768 CPUtime=1.04 cores=4-7,12-15
/proc/15444/task/15519/stat : 15519 (java) R 15443 15443 18810 0 -1 4202560 18 0 0 0 104 0 0 0 20 0 28 0 4610187 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472445325600 140472632850488 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15520] ppid=15443 vsize=13801768 CPUtime=1.24 cores=4-7,12-15
/proc/15444/task/15520/stat : 15520 (java) R 15443 15443 18810 0 -1 4202560 22 0 0 0 124 0 0 0 20 0 28 0 4610187 14133010432 59230 33554432000 4194304 4196468 140728766653328 140472443220264 140472632833136 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
Current children cumulated CPU time (s) 19.5
Current children cumulated vsize (KiB) 13811280

[startup+6.30161 s]
/proc/loadavg: 15.53 13.10 12.61 17/305 15536
/proc/meminfo: memFree=30549268/32770624 swapFree=5944/266704
[pid=15443] ppid=15440 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/15443/stat : 15443 (xcsp3-exec) S 15440 15443 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4610055 9740288 346 33554432000 4194304 5098028 140728009649968 140728009648072 140287804502652 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17334272 140728009655438 140728009655648 140728009655648 140728009658347 0
/proc/15443/statm: 2378 346 289 221 0 87 0
[pid=15444] ppid=15443 vsize=13801768 CPUtime=44.92 cores=4-7,12-15
/proc/15444/stat : 15444 (java) S 15443 15443 18810 0 -1 1077944320 33697 0 0 0 4463 29 0 0 20 0 28 0 4610055 14133010432 93019 33554432000 4194304 4196468 140728766653328 140728766635872 140473005170423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
/proc/15444/statm: 3450442 93019 3276 1 0 3437675 0
[pid=15444/tid=15445] ppid=15443 vsize=13801768 CPUtime=1.06 cores=4-7,12-15
/proc/15444/task/15445/stat : 15445 (java) S 15443 15443 18810 0 -1 1077944384 6837 0 0 0 102 4 0 0 20 0 28 0 4610056 14133010432 93019 33554432000 4194304 4196468 140728766653328 140473009411200 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15447] ppid=15443 vsize=13801768 CPUtime=0.02 cores=4-7,12-15
/proc/15444/task/15447/stat : 15447 (java) S 15443 15443 18810 0 -1 1077944384 53 0 0 0 1 1 0 0 20 0 28 0 4610056 14133010432 93019 33554432000 4194304 4196468 140728766653328 140472957790864 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15448] ppid=15443 vsize=13801768 CPUtime=0.02 cores=4-7,12-15
/proc/15444/task/15448/stat : 15448 (java) S 15443 15443 18810 0 -1 1077944384 62 0 0 0 1 1 0 0 20 0 28 0 4610056 14133010432 93019 33554432000 4194304 4196468 140728766653328 140472956738064 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15449] ppid=15443 vsize=13801768 CPUtime=0.02 cores=4-7,12-15
/proc/15444/task/15449/stat : 15449 (java) S 15443 15443 18810 0 -1 1077944384 93 0 0 0 1 1 0 0 20 0 28 0 4610056 14133010432 93019 33554432000 4194304 4196468 140728766653328 140472955685264 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15450] ppid=15443 vsize=13801768 CPUtime=0.02 cores=4-7,12-15
/proc/15444/task/15450/stat : 15450 (java) S 15443 15443 18810 0 -1 1077944384 109 0 0 0 1 1 0 0 20 0 28 0 4610056 14133010432 93019 33554432000 4194304 4196468 140728766653328 140472954632464 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0

################
# More data... #
################

[pid=15444/tid=15551] ppid=15443 vsize=13801768 CPUtime=194.95 cores=4-7,12-15
/proc/15444/task/15551/stat : 15551 (java) R 15443 15443 18810 0 -1 4202560 4425 0 0 0 19486 9 0 0 20 0 28 0 4612451 14133010432 418658 33554432000 4194304 4196468 140728766653328 140472442167960 140472633700069 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15552] ppid=15443 vsize=13801768 CPUtime=194.68 cores=4-7,12-15
/proc/15444/task/15552/stat : 15552 (java) R 15443 15443 18810 0 -1 4202560 2504 0 0 0 19465 3 0 0 20 0 28 0 4612451 14133010432 418658 33554432000 4194304 4196468 140728766653328 140472444273032 140472635394450 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
Current children cumulated CPU time (s) 1753.61
Current children cumulated vsize (KiB) 13811280

[startup+282.302 s]
/proc/loadavg: 16.17 14.87 13.47 17/305 15753
/proc/meminfo: memFree=27504352/32770624 swapFree=5944/267060
[pid=15443] ppid=15440 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/15443/stat : 15443 (xcsp3-exec) S 15440 15443 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4610055 9740288 346 33554432000 4194304 5098028 140728009649968 140728009648072 140287804502652 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17334272 140728009655438 140728009655648 140728009655648 140728009658347 0
/proc/15443/statm: 2378 346 289 221 0 87 0
[pid=15444] ppid=15443 vsize=13801768 CPUtime=2228.92 cores=4-7,12-15
/proc/15444/stat : 15444 (java) S 15443 15443 18810 0 -1 1077944320 106195 0 0 0 222473 419 0 0 20 0 28 0 4610055 14133010432 572526 33554432000 4194304 4196468 140728766653328 140728766635872 140473005170423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
/proc/15444/statm: 3450442 572526 3301 1 0 3437675 0
[pid=15444/tid=15445] ppid=15443 vsize=13801768 CPUtime=1.06 cores=4-7,12-15
/proc/15444/task/15445/stat : 15445 (java) S 15443 15443 18810 0 -1 1077944384 7089 0 0 0 102 4 0 0 20 0 28 0 4610056 14133010432 572526 33554432000 4194304 4196468 140728766653328 140473009411200 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15447] ppid=15443 vsize=13801768 CPUtime=1.65 cores=4-7,12-15
/proc/15444/task/15447/stat : 15447 (java) S 15443 15443 18810 0 -1 1077944384 1549 0 0 0 132 33 0 0 20 0 28 0 4610056 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472957790864 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15448] ppid=15443 vsize=13801768 CPUtime=1.62 cores=4-7,12-15
/proc/15444/task/15448/stat : 15448 (java) S 15443 15443 18810 0 -1 1077944384 1604 0 0 0 130 32 0 0 20 0 28 0 4610056 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472956738064 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15449] ppid=15443 vsize=13801768 CPUtime=1.63 cores=4-7,12-15
/proc/15444/task/15449/stat : 15449 (java) S 15443 15443 18810 0 -1 1077944384 3171 0 0 0 134 29 0 0 20 0 28 0 4610056 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472955685264 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15450] ppid=15443 vsize=13801768 CPUtime=1.57 cores=4-7,12-15
/proc/15444/task/15450/stat : 15450 (java) S 15443 15443 18810 0 -1 1077944384 2509 0 0 0 127 30 0 0 20 0 28 0 4610056 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472954632464 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15451] ppid=15443 vsize=13801768 CPUtime=1.57 cores=4-7,12-15
/proc/15444/task/15451/stat : 15451 (java) S 15443 15443 18810 0 -1 1077944384 1790 0 0 0 127 30 0 0 20 0 28 0 4610056 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472953580688 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15452] ppid=15443 vsize=13801768 CPUtime=1.61 cores=4-7,12-15
/proc/15444/task/15452/stat : 15452 (java) S 15443 15443 18810 0 -1 1077944384 1221 0 0 0 131 30 0 0 20 0 28 0 4610056 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472952527888 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15453] ppid=15443 vsize=13801768 CPUtime=1.6 cores=4-7,12-15
/proc/15444/task/15453/stat : 15453 (java) S 15443 15443 18810 0 -1 1077944384 1903 0 0 0 130 30 0 0 20 0 28 0 4610056 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472951475088 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15454] ppid=15443 vsize=13801768 CPUtime=1.65 cores=4-7,12-15
/proc/15444/task/15454/stat : 15454 (java) S 15443 15443 18810 0 -1 1077944384 2168 0 0 0 133 32 0 0 20 0 28 0 4610056 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472950422288 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15455] ppid=15443 vsize=13801768 CPUtime=1.64 cores=4-7,12-15
/proc/15444/task/15455/stat : 15455 (java) S 15443 15443 18810 0 -1 1077944384 9029 0 0 0 71 93 0 0 20 0 28 0 4610058 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472467024240 140473005181570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15456] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15456/stat : 15456 (java) S 15443 15443 18810 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 4610059 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472465970272 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15457] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15457/stat : 15457 (java) S 15443 15443 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4610059 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472464917376 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15458] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15458/stat : 15458 (java) S 15443 15443 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4610062 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472463865680 140473005189019 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15459] ppid=15443 vsize=13801768 CPUtime=2.92 cores=4-7,12-15
/proc/15444/task/15459/stat : 15459 (java) S 15443 15443 18810 0 -1 1077944384 12508 0 0 0 290 2 0 0 20 0 28 0 4610062 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472462814064 140473005181570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15460] ppid=15443 vsize=13801768 CPUtime=2.48 cores=4-7,12-15
/proc/15444/task/15460/stat : 15460 (java) S 15443 15443 18810 0 -1 1077944384 10418 0 0 0 246 2 0 0 20 0 28 0 4610062 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472461761264 140473005181570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15461] ppid=15443 vsize=13801768 CPUtime=2.81 cores=4-7,12-15
/proc/15444/task/15461/stat : 15461 (java) S 15443 15443 18810 0 -1 1077944384 9799 0 0 0 279 2 0 0 20 0 28 0 4610062 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472460708464 140473005181570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15462] ppid=15443 vsize=13801768 CPUtime=0.98 cores=4-7,12-15
/proc/15444/task/15462/stat : 15462 (java) S 15443 15443 18810 0 -1 1077944384 6982 0 0 0 97 1 0 0 20 0 28 0 4610062 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472459655664 140473005181570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15463] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15463/stat : 15463 (java) S 15443 15443 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4610063 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472458603104 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15464] ppid=15443 vsize=13801768 CPUtime=0.14 cores=4-7,12-15
/proc/15444/task/15464/stat : 15464 (java) S 15443 15443 18810 0 -1 1077944384 1042 0 0 0 7 7 0 0 20 0 28 0 4610063 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472457550384 140473005181570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15545] ppid=15443 vsize=13801768 CPUtime=253.16 cores=4-7,12-15
/proc/15444/task/15545/stat : 15545 (java) R 15443 15443 18810 0 -1 4202560 1299 0 0 0 25308 8 0 0 20 0 28 0 4612451 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472443219160 140472635090688 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15546] ppid=15443 vsize=13801768 CPUtime=253.92 cores=4-7,12-15
/proc/15444/task/15546/stat : 15546 (java) R 15443 15443 18810 0 -1 4202560 7043 0 0 0 25381 11 0 0 20 0 28 0 4612451 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472449538256 140472632850132 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15547] ppid=15443 vsize=13801768 CPUtime=253.18 cores=4-7,12-15
/proc/15444/task/15547/stat : 15547 (java) R 15443 15443 18810 0 -1 4202560 3746 0 0 0 25313 5 0 0 20 0 28 0 4612451 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472447430688 140472634029740 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15548] ppid=15443 vsize=13801768 CPUtime=254.05 cores=4-7,12-15
/proc/15444/task/15548/stat : 15548 (java) R 15443 15443 18810 0 -1 4202560 1398 0 0 0 25401 4 0 0 20 0 28 0 4612451 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472448483480 140472634030186 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15549] ppid=15443 vsize=13801768 CPUtime=253.15 cores=4-7,12-15
/proc/15444/task/15549/stat : 15549 (java) R 15443 15443 18810 0 -1 4202560 3021 0 0 0 25312 3 0 0 20 0 28 0 4612451 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472445325416 140472634030084 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15550] ppid=15443 vsize=13801768 CPUtime=253.72 cores=4-7,12-15
/proc/15444/task/15550/stat : 15550 (java) R 15443 15443 18810 0 -1 4202560 746 0 0 0 25368 4 0 0 20 0 28 0 4612451 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472446378696 140472633703688 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15551] ppid=15443 vsize=13801768 CPUtime=254.11 cores=4-7,12-15
/proc/15444/task/15551/stat : 15551 (java) R 15443 15443 18810 0 -1 4202560 4581 0 0 0 25399 12 0 0 20 0 28 0 4612451 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472442167960 140472633700141 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15552] ppid=15443 vsize=13801768 CPUtime=253.9 cores=4-7,12-15
/proc/15444/task/15552/stat : 15552 (java) R 15443 15443 18810 0 -1 4202560 2586 0 0 0 25386 4 0 0 20 0 28 0 4612451 14133010432 572526 33554432000 4194304 4196468 140728766653328 140472444272360 140472634030248 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
Current children cumulated CPU time (s) 2228.92
Current children cumulated vsize (KiB) 13811280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+304.002 s]
/proc/loadavg: 16.19 14.96 13.53 17/305 15755
/proc/meminfo: memFree=27061736/32770624 swapFree=5944/267096
[pid=15443] ppid=15440 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/15443/stat : 15443 (xcsp3-exec) S 15440 15443 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4610055 9740288 346 33554432000 4194304 5098028 140728009649968 140728009648072 140287804502652 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 17334272 140728009655438 140728009655648 140728009655648 140728009658347 0
/proc/15443/statm: 2378 346 289 221 0 87 0
[pid=15444] ppid=15443 vsize=13801768 CPUtime=2400.74 cores=4-7,12-15
/proc/15444/stat : 15444 (java) S 15443 15443 18810 0 -1 1077944320 108479 0 0 0 239620 454 0 0 20 0 28 0 4610055 14133010432 690345 33554432000 4194304 4196468 140728766653328 140728766635872 140473005170423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
/proc/15444/statm: 3450442 690345 3301 1 0 3437675 0
[pid=15444/tid=15445] ppid=15443 vsize=13801768 CPUtime=1.06 cores=4-7,12-15
/proc/15444/task/15445/stat : 15445 (java) S 15443 15443 18810 0 -1 1077944384 7089 0 0 0 102 4 0 0 20 0 28 0 4610056 14133010432 690345 33554432000 4194304 4196468 140728766653328 140473009411200 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15447] ppid=15443 vsize=13801768 CPUtime=1.79 cores=4-7,12-15
/proc/15444/task/15447/stat : 15447 (java) S 15443 15443 18810 0 -1 1077944384 1615 0 0 0 144 35 0 0 20 0 28 0 4610056 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472957790864 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15448] ppid=15443 vsize=13801768 CPUtime=1.74 cores=4-7,12-15
/proc/15444/task/15448/stat : 15448 (java) S 15443 15443 18810 0 -1 1077944384 1657 0 0 0 141 33 0 0 20 0 28 0 4610056 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472956738064 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15449] ppid=15443 vsize=13801768 CPUtime=1.75 cores=4-7,12-15
/proc/15444/task/15449/stat : 15449 (java) S 15443 15443 18810 0 -1 1077944384 3226 0 0 0 143 32 0 0 20 0 28 0 4610056 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472955685264 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15450] ppid=15443 vsize=13801768 CPUtime=1.7 cores=4-7,12-15
/proc/15444/task/15450/stat : 15450 (java) S 15443 15443 18810 0 -1 1077944384 2568 0 0 0 138 32 0 0 20 0 28 0 4610056 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472954632464 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15451] ppid=15443 vsize=13801768 CPUtime=1.7 cores=4-7,12-15
/proc/15444/task/15451/stat : 15451 (java) S 15443 15443 18810 0 -1 1077944384 1845 0 0 0 138 32 0 0 20 0 28 0 4610056 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472953580688 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15452] ppid=15443 vsize=13801768 CPUtime=1.73 cores=4-7,12-15
/proc/15444/task/15452/stat : 15452 (java) S 15443 15443 18810 0 -1 1077944384 1267 0 0 0 141 32 0 0 20 0 28 0 4610056 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472952527888 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15453] ppid=15443 vsize=13801768 CPUtime=1.73 cores=4-7,12-15
/proc/15444/task/15453/stat : 15453 (java) S 15443 15443 18810 0 -1 1077944384 1946 0 0 0 141 32 0 0 20 0 28 0 4610056 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472951475088 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15454] ppid=15443 vsize=13801768 CPUtime=1.77 cores=4-7,12-15
/proc/15444/task/15454/stat : 15454 (java) S 15443 15443 18810 0 -1 1077944384 2203 0 0 0 143 34 0 0 20 0 28 0 4610056 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472950422288 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15455] ppid=15443 vsize=13801768 CPUtime=1.79 cores=4-7,12-15
/proc/15444/task/15455/stat : 15455 (java) S 15443 15443 18810 0 -1 1077944384 9493 0 0 0 76 103 0 0 20 0 28 0 4610058 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472467024240 140473005181570 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15456] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15456/stat : 15456 (java) S 15443 15443 18810 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 4610059 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472465970272 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15457] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15457/stat : 15457 (java) S 15443 15443 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4610059 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472464917376 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15458] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15458/stat : 15458 (java) S 15443 15443 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4610062 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472463865680 140473005189019 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15459] ppid=15443 vsize=13801768 CPUtime=2.92 cores=4-7,12-15
/proc/15444/task/15459/stat : 15459 (java) S 15443 15443 18810 0 -1 1077944384 12508 0 0 0 290 2 0 0 20 0 28 0 4610062 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472462814064 140473005181570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15460] ppid=15443 vsize=13801768 CPUtime=2.48 cores=4-7,12-15
/proc/15444/task/15460/stat : 15460 (java) S 15443 15443 18810 0 -1 1077944384 10418 0 0 0 246 2 0 0 20 0 28 0 4610062 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472461761264 140473005181570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15461] ppid=15443 vsize=13801768 CPUtime=2.81 cores=4-7,12-15
/proc/15444/task/15461/stat : 15461 (java) S 15443 15443 18810 0 -1 1077944384 9799 0 0 0 279 2 0 0 20 0 28 0 4610062 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472460708464 140473005181570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15462] ppid=15443 vsize=13801768 CPUtime=0.98 cores=4-7,12-15
/proc/15444/task/15462/stat : 15462 (java) S 15443 15443 18810 0 -1 1077944384 6982 0 0 0 97 1 0 0 20 0 28 0 4610062 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472459655664 140473005181570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15463] ppid=15443 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/15444/task/15463/stat : 15463 (java) S 15443 15443 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4610063 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472458603104 140473005180629 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15464] ppid=15443 vsize=13801768 CPUtime=0.15 cores=4-7,12-15
/proc/15444/task/15464/stat : 15464 (java) S 15443 15443 18810 0 -1 1077944384 1044 0 0 0 7 8 0 0 20 0 28 0 4610063 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472457550384 140473005181570 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 11 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15545] ppid=15443 vsize=13801768 CPUtime=274.51 cores=4-7,12-15
/proc/15444/task/15545/stat : 15545 (java) R 15443 15443 18810 0 -1 4202560 1377 0 0 0 27442 9 0 0 20 0 28 0 4612451 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472443218264 140472632850664 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15546] ppid=15443 vsize=13801768 CPUtime=275.31 cores=4-7,12-15
/proc/15444/task/15546/stat : 15546 (java) R 15443 15443 18810 0 -1 4202560 7541 0 0 0 27518 13 0 0 20 0 28 0 4612451 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472449536200 140472997991280 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15547] ppid=15443 vsize=13801768 CPUtime=274.4 cores=4-7,12-15
/proc/15444/task/15547/stat : 15547 (java) R 15443 15443 18810 0 -1 4202560 3952 0 0 0 27434 6 0 0 20 0 28 0 4612451 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472447430936 140472632850716 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15548] ppid=15443 vsize=13801768 CPUtime=275.25 cores=4-7,12-15
/proc/15444/task/15548/stat : 15548 (java) R 15443 15443 18810 0 -1 4202560 1443 0 0 0 27521 4 0 0 20 0 28 0 4612451 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472448483232 140472635395244 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15549] ppid=15443 vsize=13801768 CPUtime=274.46 cores=4-7,12-15
/proc/15444/task/15549/stat : 15549 (java) R 15443 15443 18810 0 -1 4202560 3082 0 0 0 27442 4 0 0 20 0 28 0 4612451 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472445325416 140472634030239 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15550] ppid=15443 vsize=13801768 CPUtime=275.08 cores=4-7,12-15
/proc/15444/task/15550/stat : 15550 (java) R 15443 15443 18810 0 -1 4202560 762 0 0 0 27504 4 0 0 20 0 28 0 4612451 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472446378056 140472634249092 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15551] ppid=15443 vsize=13801768 CPUtime=275.51 cores=4-7,12-15
/proc/15444/task/15551/stat : 15551 (java) R 15443 15443 18810 0 -1 4202560 4990 0 0 0 27535 16 0 0 20 0 28 0 4612451 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472442169856 140472633700141 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
[pid=15444/tid=15552] ppid=15443 vsize=13801768 CPUtime=275.34 cores=4-7,12-15
/proc/15444/task/15552/stat : 15552 (java) R 15443 15443 18810 0 -1 4202560 2679 0 0 0 27530 4 0 0 20 0 28 0 4612451 14133010432 690345 33554432000 4194304 4196468 140728766653328 140472444272360 140472634030091 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140728766661820 140728766661996 140728766661996 140728766664655 0
Current children cumulated CPU time (s) 2400.74
Current children cumulated vsize (KiB) 13811280

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15444 sig 9
??? kill 15443 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15443 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=957
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1915
# CPU time returned by wait4() is 0.002872
# while last known CPU time is 2400.74
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 304.013
CPU time (s): 2400.74
CPU user time (s): 2396.2
CPU system time (s): 4.54
CPU usage (%): 789.684
Max. virtual memory (cumulated for all children) (KiB): 13813320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000957
system time used= 0.001915
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.71411 second user time and 5.26965 second system time

The end

Begin job on node132 at 2017-07-22 05:17:09
IDJOB=4248998
IDBENCH=134818
IDSOLVER=2625
FILE ID=node132/4248998-1500693429
RUNJOBID= node132-1500682387-18842
PBS_JOBID= 20623322
Free space on /tmp= 61760 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-domset/Pb-domset-v500-e2000-w30-mw19-11.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248998-1500693429/watcher-4248998-1500693429 -o /tmp/evaluation-result-4248998-1500693429/solver-4248998-1500693429 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1785692164 HOME/instance-4248998-1500693429.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 4a86fdd9abdf3f491c5a6082e8161c48
RANDOM SEED=1785692164

node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30890084 kB
MemAvailable:   31068300 kB
Buffers:          117348 kB
Cached:           340832 kB
SwapCached:            0 kB
Active:          1162404 kB
Inactive:         275268 kB
Active(anon):     982280 kB
Inactive(anon):     8616 kB
Active(file):     180124 kB
Inactive(file):   266652 kB
Unevictable:        5944 kB
Mlocked:            5944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7952 kB
Writeback:             0 kB
AnonPages:       1093796 kB
Mapped:            43260 kB
Shmem:              8872 kB
Slab:             130556 kB
SReclaimable:      94552 kB
SUnreclaim:        36004 kB
KernelStack:        5232 kB
PageTables:         7652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1583148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    933888 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      140672 kB
DirectMap2M:    33404928 kB

Free space on /tmp at the end= 61752 MiB
End job on node132 at 2017-07-22 05:22:13

Name	PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml
MD5SUM	4a86fdd9abdf3f491c5a6082e8161c48
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	202
Best CPU time to get the best result obtained on this benchmark	2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	473
Number of constraints	473
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":473}]
Minimum variable degree	5
Maximum variable degree	18
Distribution of variable degrees	[{"degree":5,"count":4},{"degree":6,"count":18},{"degree":7,"count":57},{"degree":8,"count":74},{"degree":9,"count":73},{"degree":10,"count":67},{"degree":11,"count":50},{"degree":12,"count":46},{"degree":13,"count":36},{"degree":14,"count":21},{"degree":15,"count":15},{"degree":16,"count":7},{"degree":17,"count":3},{"degree":18,"count":2}]
Minimum constraint arity	4
Maximum constraint arity	17
Distribution of constraint arities	[{"arity":4,"count":4},{"arity":5,"count":18},{"arity":6,"count":57},{"arity":7,"count":74},{"arity":8,"count":73},{"arity":9,"count":67},{"arity":10,"count":50},{"arity":11,"count":46},{"arity":12,"count":36},{"arity":13,"count":21},{"arity":14,"count":15},{"arity":15,"count":7},{"arity":16,"count":3},{"arity":17,"count":2}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":473}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4248998

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data