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)	0	2400.56	303.913

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-4249104-1500693493/watcher-4249104-1500693493 -o /tmp/evaluation-result-4249104-1500693493/solver-4249104-1500693493 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16797 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1515936678 HOME/instance-4249104-1500693493.xml 

pid=9522
running on 8 cores: 1,3,5,7,9,11,13,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: 14.96 13.95 14.21 9/270 9525
/proc/meminfo: memFree=30671612/32770624 swapFree=5892/127448
[pid=9525] ppid=9522 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9525/stat : 9525 (xcsp3-exec) S 9522 9525 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4619024 9740288 346 33554432000 4194304 5098028 140731180635216 140731180633320 139868212982396 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 23068672 140731180643470 140731180643680 140731180643680 140731180646379 0
/proc/9525/statm: 2378 346 289 221 0 87 0

[startup+0.100102 s]
/proc/loadavg: 14.96 13.95 14.21 9/270 9525
/proc/meminfo: memFree=30671612/32770624 swapFree=5892/127448
[pid=9525] ppid=9522 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9525/stat : 9525 (xcsp3-exec) S 9522 9525 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4619024 9740288 346 33554432000 4194304 5098028 140731180635216 140731180633320 139868212982396 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 23068672 140731180643470 140731180643680 140731180643680 140731180646379 0
/proc/9525/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200265 s]
/proc/loadavg: 14.96 13.95 14.21 9/270 9525
/proc/meminfo: memFree=30671612/32770624 swapFree=5892/127448
[pid=9525] ppid=9522 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9525/stat : 9525 (xcsp3-exec) S 9522 9525 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4619024 9740288 346 33554432000 4194304 5098028 140731180635216 140731180633320 139868212982396 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 23068672 140731180643470 140731180643680 140731180643680 140731180646379 0
/proc/9525/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.30025 s]
/proc/loadavg: 14.96 13.95 14.21 9/270 9525
/proc/meminfo: memFree=30671612/32770624 swapFree=5892/127448
[pid=9525] ppid=9522 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9525/stat : 9525 (xcsp3-exec) S 9522 9525 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4619024 9740288 346 33554432000 4194304 5098028 140731180635216 140731180633320 139868212982396 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 23068672 140731180643470 140731180643680 140731180643680 140731180646379 0
/proc/9525/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700213 s]
/proc/loadavg: 14.96 13.95 14.21 9/270 9525
/proc/meminfo: memFree=30671612/32770624 swapFree=5892/127448
[pid=9525] ppid=9522 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9525/stat : 9525 (xcsp3-exec) S 9522 9525 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4619024 9740288 346 33554432000 4194304 5098028 140731180635216 140731180633320 139868212982396 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 23068672 140731180643470 140731180643680 140731180643680 140731180646379 0
/proc/9525/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.5013 s]
/proc/loadavg: 14.96 13.95 14.21 20/299 9594
/proc/meminfo: memFree=30490156/32770624 swapFree=5892/127496
[pid=9525] ppid=9522 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9525/stat : 9525 (xcsp3-exec) S 9522 9525 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4619024 9740288 346 33554432000 4194304 5098028 140731180635216 140731180633320 139868212982396 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 23068672 140731180643470 140731180643680 140731180643680 140731180646379 0
/proc/9525/statm: 2378 346 289 221 0 87 0
[pid=9526] ppid=9525 vsize=13801768 CPUtime=6.98 cores=1,3,5,7,9,11,13,15
/proc/9526/stat : 9526 (java) S 9525 9525 15667 0 -1 1077944320 17757 0 0 0 685 13 0 0 20 0 28 0 4619025 14133010432 48867 33554432000 4194304 4196468 140731711752752 140731711735296 140405934067447 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
/proc/9526/statm: 3450442 48867 3259 1 0 3437675 0
[pid=9526/tid=9527] ppid=9525 vsize=13801768 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9527/stat : 9527 (java) S 9525 9525 15667 0 -1 1077944384 6441 0 0 0 82 3 0 0 20 0 28 0 4619025 14133010432 48867 33554432000 4194304 4196468 140731711752752 140405938308224 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9529] ppid=9525 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9529/stat : 9529 (java) S 9525 9525 15667 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4619026 14133010432 48867 33554432000 4194304 4196468 140731711752752 140405533452688 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9530] ppid=9525 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9530/stat : 9530 (java) S 9525 9525 15667 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4619026 14133010432 48867 33554432000 4194304 4196468 140731711752752 140405532399888 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9531] ppid=9525 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9531/stat : 9531 (java) S 9525 9525 15667 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4619026 14133010432 48867 33554432000 4194304 4196468 140731711752752 140405531347600 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9532] ppid=9525 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9532/stat : 9532 (java) S 9525 9525 15667 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4619026 14133010432 48867 33554432000 4194304 4196468 140731711752752 140405530294800 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9533] ppid=9525 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9533/stat : 9533 (java) S 9525 9525 15667 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4619026 14133010432 48867 33554432000 4194304 4196468 140731711752752 140405529242512 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9534] ppid=9525 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9534/stat : 9534 (java) S 9525 9525 15667 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4619026 14133010432 48867 33554432000 4194304 4196468 140731711752752 140405528189712 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9535] ppid=9525 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9535/stat : 9535 (java) S 9525 9525 15667 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 4619026 14133010432 48867 33554432000 4194304 4196468 140731711752752 140405527137424 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9536] ppid=9525 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9536/stat : 9536 (java) S 9525 9525 15667 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4619026 14133010432 48867 33554432000 4194304 4196468 140731711752752 140405526084624 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9537] ppid=9525 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9537/stat : 9537 (java) S 9525 9525 15667 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4619028 14133010432 48867 33554432000 4194304 4196468 140731711752752 140404598806640 140405934078594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9538] ppid=9525 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9538/stat : 9538 (java) S 9525 9525 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4619028 14133010432 48867 33554432000 4194304 4196468 140731711752752 140404597752608 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9539] ppid=9525 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9539/stat : 9539 (java) S 9525 9525 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4619029 14133010432 48867 33554432000 4194304 4196468 140731711752752 140404596700272 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9540] ppid=9525 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9540/stat : 9540 (java) S 9525 9525 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4619032 14133010432 48867 33554432000 4194304 4196468 140731711752752 140404595648592 140405934086043 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9541] ppid=9525 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9541/stat : 9541 (java) R 9525 9525 15667 0 -1 4202560 1914 0 0 0 86 0 0 0 20 0 28 0 4619032 14133010432 48867 33554432000 4194304 4196468 140731711752752 140404594589656 140405917970504 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9542] ppid=9525 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9542/stat : 9542 (java) R 9525 9525 15667 0 -1 4202560 1967 0 0 0 83 0 0 0 20 0 28 0 4619032 14133010432 48867 33554432000 4194304 4196468 140731711752752 140404593529696 140405912089814 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9543] ppid=9525 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9543/stat : 9543 (java) R 9525 9525 15667 0 -1 4202560 1722 0 0 0 93 0 0 0 20 0 28 0 4619032 14133010432 48867 33554432000 4194304 4196468 140731711752752 140404592477808 140405919192842 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9544] ppid=9525 vsize=13801768 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9544/stat : 9544 (java) S 9525 9525 15667 0 -1 1077944384 2852 0 0 0 77 1 0 0 20 0 28 0 4619032 14133010432 48867 33554432000 4194304 4196468 140731711752752 140404591438576 140405934078594 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9545] ppid=9525 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9545/stat : 9545 (java) S 9525 9525 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4619032 14133010432 48867 33554432000 4194304 4196468 140731711752752 140404590385504 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9546] ppid=9525 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9546/stat : 9546 (java) S 9525 9525 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4619032 14133010432 48867 33554432000 4194304 4196468 140731711752752 140404589332784 140405934078594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 13811280

[startup+3.10135 s]
/proc/loadavg: 14.96 13.95 14.21 20/299 9618
/proc/meminfo: memFree=30448552/32770624 swapFree=5892/127496
[pid=9525] ppid=9522 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9525/stat : 9525 (xcsp3-exec) S 9522 9525 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4619024 9740288 346 33554432000 4194304 5098028 140731180635216 140731180633320 139868212982396 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 23068672 140731180643470 140731180643680 140731180643680 140731180646379 0
/proc/9525/statm: 2378 346 289 221 0 87 0
[pid=9526] ppid=9525 vsize=13935924 CPUtime=19.69 cores=1,3,5,7,9,11,13,15
/proc/9526/stat : 9526 (java) S 9525 9525 15667 0 -1 1077944320 24431 0 0 0 1953 16 0 0 20 0 28 0 4619025 14270386176 63217 33554432000 4194304 4196468 140731711752752 140731711735296 140405934067447 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
/proc/9526/statm: 3483981 63217 3269 1 0 3471214 0
[pid=9526/tid=9527] ppid=9525 vsize=13935924 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9527/stat : 9527 (java) S 9525 9525 15667 0 -1 1077944384 6442 0 0 0 83 3 0 0 20 0 28 0 4619025 14270386176 63217 33554432000 4194304 4196468 140731711752752 140405938308224 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9529] ppid=9525 vsize=13935924 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9529/stat : 9529 (java) S 9525 9525 15667 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 28 0 4619026 14270386176 63217 33554432000 4194304 4196468 140731711752752 140405533452688 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9530] ppid=9525 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9530/stat : 9530 (java) S 9525 9525 15667 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4619026 14270386176 63217 33554432000 4194304 4196468 140731711752752 140405532399888 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9531] ppid=9525 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9531/stat : 9531 (java) S 9525 9525 15667 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4619026 14270386176 63217 33554432000 4194304 4196468 140731711752752 140405531347600 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9532] ppid=9525 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9532/stat : 9532 (java) S 9525 9525 15667 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4619026 14270386176 63217 33554432000 4194304 4196468 140731711752752 140405530294800 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9533] ppid=9525 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9533/stat : 9533 (java) S 9525 9525 15667 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4619026 14270386176 63217 33554432000 4194304 4196468 140731711752752 140405529242512 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9534] ppid=9525 vsize=13935924 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9534/stat : 9534 (java) S 9525 9525 15667 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 28 0 4619026 14270386176 63217 33554432000 4194304 4196468 140731711752752 140405528189712 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9535] ppid=9525 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9535/stat : 9535 (java) S 9525 9525 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4619026 14270386176 63217 33554432000 4194304 4196468 140731711752752 140405527137424 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9536] ppid=9525 vsize=13935924 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9536/stat : 9536 (java) S 9525 9525 15667 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 28 0 4619026 14270386176 63217 33554432000 4194304 4196468 140731711752752 140405526084624 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9537] ppid=9525 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9537/stat : 9537 (java) S 9525 9525 15667 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4619028 14270386176 63217 33554432000 4194304 4196468 140731711752752 140404598806640 140405934078594 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9538] ppid=9525 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9538/stat : 9538 (java) S 9525 9525 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4619028 14270386176 63217 33554432000 4194304 4196468 140731711752752 140404597752672 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9539] ppid=9525 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9539/stat : 9539 (java) S 9525 9525 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4619029 14270386176 63217 33554432000 4194304 4196468 140731711752752 140404596700272 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9540] ppid=9525 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9540/stat : 9540 (java) S 9525 9525 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4619032 14270386176 63217 33554432000 4194304 4196468 140731711752752 140404595648592 140405934086043 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9541] ppid=9525 vsize=13935924 CPUtime=2.26 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9541/stat : 9541 (java) R 9525 9525 15667 0 -1 4202560 5428 0 0 0 225 1 0 0 20 0 28 0 4619032 14270386176 63217 33554432000 4194304 4196468 140731711752752 140404594577872 140405917561597 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9542] ppid=9525 vsize=13935924 CPUtime=1.88 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9542/stat : 9542 (java) R 9525 9525 15667 0 -1 4202560 3066 0 0 0 187 1 0 0 20 0 28 0 4619032 14270386176 63217 33554432000 4194304 4196468 140731711752752 140404593534080 140405919190971 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9543] ppid=9525 vsize=13935924 CPUtime=2.06 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9543/stat : 9543 (java) R 9525 9525 15667 0 -1 4202560 2994 0 0 0 206 0 0 0 20 0 28 0 4619032 14270386176 63217 33554432000 4194304 4196468 140731711752752 140404592477920 140405913760547 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9544] ppid=9525 vsize=13935924 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9544/stat : 9544 (java) S 9525 9525 15667 0 -1 1077944384 3062 0 0 0 85 1 0 0 20 0 28 0 4619032 14270386176 63217 33554432000 4194304 4196468 140731711752752 140404591438576 140405934078594 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9545] ppid=9525 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9545/stat : 9545 (java) S 9525 9525 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4619032 14270386176 63217 33554432000 4194304 4196468 140731711752752 140404590385504 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9546] ppid=9525 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9546/stat : 9546 (java) S 9525 9525 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4619032 14270386176 63217 33554432000 4194304 4196468 140731711752752 140404589332784 140405934078594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
Current children cumulated CPU time (s) 19.69
Current children cumulated vsize (KiB) 13945436

[startup+6.30128 s]
/proc/loadavg: 15.04 13.99 14.22 19/299 9658
/proc/meminfo: memFree=30314188/32770624 swapFree=5892/127504
[pid=9525] ppid=9522 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9525/stat : 9525 (xcsp3-exec) S 9522 9525 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4619024 9740288 346 33554432000 4194304 5098028 140731180635216 140731180633320 139868212982396 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 23068672 140731180643470 140731180643680 140731180643680 140731180646379 0
/proc/9525/statm: 2378 346 289 221 0 87 0
[pid=9526] ppid=9525 vsize=13935924 CPUtime=44.77 cores=1,3,5,7,9,11,13,15
/proc/9526/stat : 9526 (java) S 9525 9525 15667 0 -1 1077944320 33494 0 0 0 4453 24 0 0 20 0 28 0 4619025 14270386176 92316 33554432000 4194304 4196468 140731711752752 140731711735296 140405934067447 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
/proc/9526/statm: 3483981 92316 3274 1 0 3471214 0
[pid=9526/tid=9527] ppid=9525 vsize=13935924 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9527/stat : 9527 (java) S 9525 9525 15667 0 -1 1077944384 6586 0 0 0 83 3 0 0 20 0 28 0 4619025 14270386176 92316 33554432000 4194304 4196468 140731711752752 140405938308224 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9529] ppid=9525 vsize=13935924 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9529/stat : 9529 (java) S 9525 9525 15667 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 28 0 4619026 14270386176 92316 33554432000 4194304 4196468 140731711752752 140405533452688 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9530] ppid=9525 vsize=13935924 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9530/stat : 9530 (java) S 9525 9525 15667 0 -1 1077944384 16 0 0 0 0 1 0 0 20 0 28 0 4619026 14270386176 92316 33554432000 4194304 4196468 140731711752752 140405532399888 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9531] ppid=9525 vsize=13935924 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9531/stat : 9531 (java) S 9525 9525 15667 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 4619026 14270386176 92316 33554432000 4194304 4196468 140731711752752 140405531347600 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9532] ppid=9525 vsize=13935924 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9532/stat : 9532 (java) S 9525 9525 15667 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 28 0 4619026 14270386176 92316 33554432000 4194304 4196468 140731711752752 140405530294800 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9533] ppid=9525 vsize=13935924 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9533/stat : 9533 (java) S 9525 9525 15667 0 -1 1077944384 17 0 0 0 0 1 0 0 20 0 28 0 4619026 14270386176 92316 33554432000 4194304 4196468 140731711752752 140405529242512 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9534] ppid=9525 vsize=13935924 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9534/stat : 9534 (java) S 9525 9525 15667 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 28 0 4619026 14270386176 92316 33554432000 4194304 4196468 140731711752752 140405528189712 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9535] ppid=9525 vsize=13935924 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9535/stat : 9535 (java) S 9525 9525 15667 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 28 0 4619026 14270386176 92316 33554432000 4194304 4196468 140731711752752 140405527137424 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9536] ppid=9525 vsize=13935924 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9536/stat : 9536 (java) S 9525 9525 15667 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 28 0 4619026 14270386176 92316 33554432000 4194304 4196468 140731711752752 140405526084624 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9537] ppid=9525 vsize=13935924 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9537/stat : 9537 (java) S 9525 9525 15667 0 -1 1077944384 147 0 0 0 1 0 0 0 20 0 28 0 4619028 14270386176 92316 33554432000 4194304 4196468 140731711752752 140404598806640 140405934078594 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9538] ppid=9525 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9538/stat : 9538 (java) S 9525 9525 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4619028 14270386176 92316 33554432000 4194304 4196468 140731711752752 140404597752672 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9539] ppid=9525 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9539/stat : 9539 (java) S 9525 9525 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4619029 14270386176 92316 33554432000 4194304 4196468 140731711752752 140404596700272 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9540] ppid=9525 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9540/stat : 9540 (java) S 9525 9525 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4619032 14270386176 92316 33554432000 4194304 4196468 140731711752752 140404595648592 140405934086043 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0

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

[pid=9526/tid=9681] ppid=9525 vsize=13935924 CPUtime=265.65 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9681/stat : 9681 (java) R 9525 9525 15667 0 -1 4202560 7275 0 0 0 26557 8 0 0 20 0 28 0 4620275 14270386176 329452 33554432000 4194304 4196468 140731711752752 140404580265408 140405578692702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9682] ppid=9525 vsize=13935924 CPUtime=265.63 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9682/stat : 9682 (java) R 9525 9525 15667 0 -1 4202560 1468 0 0 0 26559 4 0 0 20 0 28 0 4620275 14270386176 329452 33554432000 4194304 4196468 140731711752752 140404572897608 140405577172363 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
Current children cumulated CPU time (s) 2229.71
Current children cumulated vsize (KiB) 13945436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+303.902 s]
/proc/loadavg: 15.16 15.01 14.63 17/300 9971
/proc/meminfo: memFree=30583884/32770624 swapFree=5892/127948
[pid=9525] ppid=9522 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9525/stat : 9525 (xcsp3-exec) S 9522 9525 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4619024 9740288 346 33554432000 4194304 5098028 140731180635216 140731180633320 139868212982396 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 23068672 140731180643470 140731180643680 140731180643680 140731180646379 0
/proc/9525/statm: 2378 346 289 221 0 87 0
[pid=9526] ppid=9525 vsize=13935924 CPUtime=2400.56 cores=1,3,5,7,9,11,13,15
/proc/9526/stat : 9526 (java) S 9525 9525 15667 0 -1 1077944320 106355 0 0 0 239586 470 0 0 20 0 28 0 4619025 14270386176 297432 33554432000 4194304 4196468 140731711752752 140731711735296 140405934067447 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
/proc/9526/statm: 3483981 297432 3303 1 0 3471214 0
[pid=9526/tid=9527] ppid=9525 vsize=13935924 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9527/stat : 9527 (java) S 9525 9525 15667 0 -1 1077944384 6743 0 0 0 83 3 0 0 20 0 28 0 4619025 14270386176 297432 33554432000 4194304 4196468 140731711752752 140405938308224 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9529] ppid=9525 vsize=13935924 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9529/stat : 9529 (java) S 9525 9525 15667 0 -1 1077944384 1427 0 0 0 137 39 0 0 20 0 28 0 4619026 14270386176 297432 33554432000 4194304 4196468 140731711752752 140405533452688 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9530] ppid=9525 vsize=13935924 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9530/stat : 9530 (java) S 9525 9525 15667 0 -1 1077944384 2437 0 0 0 135 39 0 0 20 0 28 0 4619026 14270386176 297432 33554432000 4194304 4196468 140731711752752 140405532399888 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9531] ppid=9525 vsize=13935924 CPUtime=1.75 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9531/stat : 9531 (java) S 9525 9525 15667 0 -1 1077944384 2446 0 0 0 139 36 0 0 20 0 28 0 4619026 14270386176 297432 33554432000 4194304 4196468 140731711752752 140405531347600 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9532] ppid=9525 vsize=13935924 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9532/stat : 9532 (java) S 9525 9525 15667 0 -1 1077944384 1831 0 0 0 138 38 0 0 20 0 28 0 4619026 14270386176 297432 33554432000 4194304 4196468 140731711752752 140405530294800 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9533] ppid=9525 vsize=13935924 CPUtime=1.77 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9533/stat : 9533 (java) S 9525 9525 15667 0 -1 1077944384 2097 0 0 0 138 39 0 0 20 0 28 0 4619026 14270386176 297432 33554432000 4194304 4196468 140731711752752 140405529242512 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9534] ppid=9525 vsize=13935924 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9534/stat : 9534 (java) S 9525 9525 15667 0 -1 1077944384 1725 0 0 0 132 40 0 0 20 0 28 0 4619026 14270386176 297432 33554432000 4194304 4196468 140731711752752 140405528189712 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9535] ppid=9525 vsize=13935924 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9535/stat : 9535 (java) S 9525 9525 15667 0 -1 1077944384 1458 0 0 0 136 40 0 0 20 0 28 0 4619026 14270386176 297432 33554432000 4194304 4196468 140731711752752 140405527137424 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9536] ppid=9525 vsize=13935924 CPUtime=1.75 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9536/stat : 9536 (java) S 9525 9525 15667 0 -1 1077944384 1893 0 0 0 138 37 0 0 20 0 28 0 4619026 14270386176 297432 33554432000 4194304 4196468 140731711752752 140405526084624 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9537] ppid=9525 vsize=13935924 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9537/stat : 9537 (java) S 9525 9525 15667 0 -1 1077944384 11272 0 0 0 68 91 0 0 20 0 28 0 4619028 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404598806640 140405934078594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9538] ppid=9525 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9538/stat : 9538 (java) S 9525 9525 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4619028 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404597752672 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9539] ppid=9525 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9539/stat : 9539 (java) S 9525 9525 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4619029 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404596700272 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9540] ppid=9525 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9540/stat : 9540 (java) S 9525 9525 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4619032 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404595648592 140405934086043 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9541] ppid=9525 vsize=13935924 CPUtime=3.2 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9541/stat : 9541 (java) S 9525 9525 15667 0 -1 1077944384 13964 0 0 0 318 2 0 0 20 0 28 0 4619032 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404594596464 140405934078594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9542] ppid=9525 vsize=13935924 CPUtime=2.71 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9542/stat : 9542 (java) S 9525 9525 15667 0 -1 1077944384 8194 0 0 0 270 1 0 0 20 0 28 0 4619032 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404593543664 140405934078594 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9543] ppid=9525 vsize=13935924 CPUtime=2.69 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9543/stat : 9543 (java) S 9525 9525 15667 0 -1 1077944384 7840 0 0 0 268 1 0 0 20 0 28 0 4619032 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404592491376 140405934078594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9544] ppid=9525 vsize=13935924 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9544/stat : 9544 (java) S 9525 9525 15667 0 -1 1077944384 7276 0 0 0 96 2 0 0 20 0 28 0 4619032 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404591438576 140405934078594 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9545] ppid=9525 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9545/stat : 9545 (java) S 9525 9525 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4619032 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404590385504 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9546] ppid=9525 vsize=13935924 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9546/stat : 9546 (java) S 9525 9525 15667 0 -1 1077944384 1563 0 0 0 6 10 0 0 20 0 28 0 4619032 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404589332784 140405934078594 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9675] ppid=9525 vsize=13935924 CPUtime=285.54 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9675/stat : 9675 (java) R 9525 9525 15667 0 -1 4202560 2154 0 0 0 28549 5 0 0 20 0 28 0 4620275 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404581317224 140405577171474 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9676] ppid=9525 vsize=13935924 CPUtime=286.03 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9676/stat : 9676 (java) R 9525 9525 15667 0 -1 4202560 6277 0 0 0 28590 13 0 0 20 0 28 0 4620275 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404578163168 140405579376960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9677] ppid=9525 vsize=13935924 CPUtime=285.73 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9677/stat : 9677 (java) R 9525 9525 15667 0 -1 4202560 2542 0 0 0 28570 3 0 0 20 0 28 0 4620275 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404579214280 140405578692045 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9678] ppid=9525 vsize=13935924 CPUtime=286.63 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9678/stat : 9678 (java) R 9525 9525 15667 0 -1 4202560 2222 0 0 0 28659 4 0 0 20 0 28 0 4620275 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404577107616 140405578692688 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9679] ppid=9525 vsize=13935924 CPUtime=286.64 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9679/stat : 9679 (java) R 9525 9525 15667 0 -1 4202560 2776 0 0 0 28660 4 0 0 20 0 28 0 4620275 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404571844984 140405578692718 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9680] ppid=9525 vsize=13935924 CPUtime=286.28 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9680/stat : 9680 (java) R 9525 9525 15667 0 -1 4202560 555 0 0 0 28627 1 0 0 20 0 28 0 4620275 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404576055880 140405577170816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9681] ppid=9525 vsize=13935924 CPUtime=286.9 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9681/stat : 9681 (java) R 9525 9525 15667 0 -1 4202560 7711 0 0 0 28682 8 0 0 20 0 28 0 4620275 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404580265528 140405578692748 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9682] ppid=9525 vsize=13935924 CPUtime=286.87 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9682/stat : 9682 (java) R 9525 9525 15667 0 -1 4202560 1545 0 0 0 28683 4 0 0 20 0 28 0 4620275 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404572896760 140405915473764 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
Current children cumulated CPU time (s) 2400.56
Current children cumulated vsize (KiB) 13945436

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 9526 sig 9
??? kill 9525 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+303.902 s]
/proc/loadavg: 15.16 15.01 14.63 17/300 9971
/proc/meminfo: memFree=30583884/32770624 swapFree=5892/127948
[pid=9525] ppid=9522 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9525/stat : 9525 (xcsp3-exec) S 9522 9525 15667 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4619024 9740288 346 33554432000 4194304 5098028 140731180635216 140731180633320 139868212982396 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 23068672 140731180643470 140731180643680 140731180643680 140731180646379 0
/proc/9525/statm: 2378 346 289 221 0 87 0
[pid=9526] ppid=9525 vsize=13935924 CPUtime=2400.56 cores=1,3,5,7,9,11,13,15
/proc/9526/stat : 9526 (java) S 9525 9525 15667 0 -1 1077944320 106355 0 0 0 239586 470 0 0 20 0 28 0 4619025 14270386176 297432 33554432000 4194304 4196468 140731711752752 140731711735296 140405934067447 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
/proc/9526/statm: 3483981 297432 3303 1 0 3471214 0
[pid=9526/tid=9527] ppid=9525 vsize=13935924 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9527/stat : 9527 (java) S 9525 9525 15667 0 -1 1077944384 6743 0 0 0 83 3 0 0 20 0 28 0 4619025 14270386176 297432 33554432000 4194304 4196468 140731711752752 140405938308224 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9529] ppid=9525 vsize=13935924 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9529/stat : 9529 (java) S 9525 9525 15667 0 -1 1077944384 1427 0 0 0 137 39 0 0 20 0 28 0 4619026 14270386176 297432 33554432000 4194304 4196468 140731711752752 140405533452688 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9530] ppid=9525 vsize=13935924 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9530/stat : 9530 (java) S 9525 9525 15667 0 -1 1077944384 2437 0 0 0 135 39 0 0 20 0 28 0 4619026 14270386176 297432 33554432000 4194304 4196468 140731711752752 140405532399888 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9531] ppid=9525 vsize=13935924 CPUtime=1.75 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9531/stat : 9531 (java) S 9525 9525 15667 0 -1 1077944384 2446 0 0 0 139 36 0 0 20 0 28 0 4619026 14270386176 297432 33554432000 4194304 4196468 140731711752752 140405531347600 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9532] ppid=9525 vsize=13935924 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9532/stat : 9532 (java) S 9525 9525 15667 0 -1 1077944384 1831 0 0 0 138 38 0 0 20 0 28 0 4619026 14270386176 297432 33554432000 4194304 4196468 140731711752752 140405530294800 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9533] ppid=9525 vsize=13935924 CPUtime=1.77 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9533/stat : 9533 (java) S 9525 9525 15667 0 -1 1077944384 2097 0 0 0 138 39 0 0 20 0 28 0 4619026 14270386176 297432 33554432000 4194304 4196468 140731711752752 140405529242512 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9534] ppid=9525 vsize=13935924 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9534/stat : 9534 (java) S 9525 9525 15667 0 -1 1077944384 1725 0 0 0 132 40 0 0 20 0 28 0 4619026 14270386176 297432 33554432000 4194304 4196468 140731711752752 140405528189712 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9535] ppid=9525 vsize=13935924 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9535/stat : 9535 (java) S 9525 9525 15667 0 -1 1077944384 1458 0 0 0 136 40 0 0 20 0 28 0 4619026 14270386176 297432 33554432000 4194304 4196468 140731711752752 140405527137424 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9536] ppid=9525 vsize=13935924 CPUtime=1.75 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9536/stat : 9536 (java) S 9525 9525 15667 0 -1 1077944384 1893 0 0 0 138 37 0 0 20 0 28 0 4619026 14270386176 297432 33554432000 4194304 4196468 140731711752752 140405526084624 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9537] ppid=9525 vsize=13935924 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9537/stat : 9537 (java) S 9525 9525 15667 0 -1 1077944384 11272 0 0 0 68 91 0 0 20 0 28 0 4619028 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404598806640 140405934078594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9538] ppid=9525 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9538/stat : 9538 (java) S 9525 9525 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4619028 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404597752672 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9539] ppid=9525 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9539/stat : 9539 (java) S 9525 9525 15667 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4619029 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404596700272 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9540] ppid=9525 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9540/stat : 9540 (java) S 9525 9525 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4619032 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404595648592 140405934086043 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9541] ppid=9525 vsize=13935924 CPUtime=3.2 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9541/stat : 9541 (java) S 9525 9525 15667 0 -1 1077944384 13964 0 0 0 318 2 0 0 20 0 28 0 4619032 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404594596464 140405934078594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9542] ppid=9525 vsize=13935924 CPUtime=2.71 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9542/stat : 9542 (java) S 9525 9525 15667 0 -1 1077944384 8194 0 0 0 270 1 0 0 20 0 28 0 4619032 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404593543664 140405934078594 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9543] ppid=9525 vsize=13935924 CPUtime=2.69 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9543/stat : 9543 (java) S 9525 9525 15667 0 -1 1077944384 7840 0 0 0 268 1 0 0 20 0 28 0 4619032 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404592491376 140405934078594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9544] ppid=9525 vsize=13935924 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9544/stat : 9544 (java) S 9525 9525 15667 0 -1 1077944384 7276 0 0 0 96 2 0 0 20 0 28 0 4619032 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404591438576 140405934078594 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9545] ppid=9525 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9545/stat : 9545 (java) S 9525 9525 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4619032 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404590385504 140405934077653 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9546] ppid=9525 vsize=13935924 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9546/stat : 9546 (java) S 9525 9525 15667 0 -1 1077944384 1563 0 0 0 6 10 0 0 20 0 28 0 4619032 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404589332784 140405934078594 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9675] ppid=9525 vsize=13935924 CPUtime=285.54 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9675/stat : 9675 (java) R 9525 9525 15667 0 -1 4202560 2154 0 0 0 28549 5 0 0 20 0 28 0 4620275 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404581317224 140405577171474 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9676] ppid=9525 vsize=13935924 CPUtime=286.03 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9676/stat : 9676 (java) R 9525 9525 15667 0 -1 4202560 6277 0 0 0 28590 13 0 0 20 0 28 0 4620275 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404578163168 140405579376960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9677] ppid=9525 vsize=13935924 CPUtime=285.73 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9677/stat : 9677 (java) R 9525 9525 15667 0 -1 4202560 2542 0 0 0 28570 3 0 0 20 0 28 0 4620275 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404579214280 140405578692045 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9678] ppid=9525 vsize=13935924 CPUtime=286.63 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9678/stat : 9678 (java) R 9525 9525 15667 0 -1 4202560 2222 0 0 0 28659 4 0 0 20 0 28 0 4620275 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404577107616 140405578692688 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9679] ppid=9525 vsize=13935924 CPUtime=286.64 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9679/stat : 9679 (java) R 9525 9525 15667 0 -1 4202560 2776 0 0 0 28660 4 0 0 20 0 28 0 4620275 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404571844984 140405578692718 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9680] ppid=9525 vsize=13935924 CPUtime=286.28 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9680/stat : 9680 (java) R 9525 9525 15667 0 -1 4202560 555 0 0 0 28627 1 0 0 20 0 28 0 4620275 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404576055880 140405577170816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9681] ppid=9525 vsize=13935924 CPUtime=286.9 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9681/stat : 9681 (java) R 9525 9525 15667 0 -1 4202560 7711 0 0 0 28682 8 0 0 20 0 28 0 4620275 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404580265528 140405578692748 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
[pid=9526/tid=9682] ppid=9525 vsize=13935924 CPUtime=286.87 cores=1,3,5,7,9,11,13,15
/proc/9526/task/9682/stat : 9682 (java) R 9525 9525 15667 0 -1 4202560 1545 0 0 0 28683 4 0 0 20 0 28 0 4620275 14270386176 297432 33554432000 4194304 4196468 140731711752752 140404572896760 140405915473764 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12984320 140731711759548 140731711759724 140731711759724 140731711762383 0
Current children cumulated CPU time (s) 2400.56
Current children cumulated vsize (KiB) 13945436

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 303.913
CPU time (s): 2400.56
CPU user time (s): 2395.86
CPU system time (s): 4.7
CPU usage (%): 789.885
Max. virtual memory (cumulated for all children) (KiB): 13945436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002678
system time used= 0
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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 4.02517 second user time and 4.59909 second system time

The end

Begin job on node104 at 2017-07-22 05:18:14
IDJOB=4249104
IDBENCH=135526
IDSOLVER=2625
FILE ID=node104/4249104-1500693493
RUNJOBID= node104-1500684128-16797
PBS_JOBID= 20623031
Free space on /tmp= 62008 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-radar/Pb-radar-10-10-45-095-100.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-4249104-1500693493/watcher-4249104-1500693493 -o /tmp/evaluation-result-4249104-1500693493/solver-4249104-1500693493 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16797 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1515936678 HOME/instance-4249104-1500693493.xml

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

MD5SUM BENCH= 2e76cba0749e9f6e1c633f9939767035
RANDOM SEED=1515936678

node104.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	: 5334.12
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		: 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.57
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		: 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	: 5334.12
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		: 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.57
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		: 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	: 5334.12
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		: 2000.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.57
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		: 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	: 5334.12
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		: 1600.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.57
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	: 5334.12
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		: 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.57
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		: 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	: 5334.12
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		: 2267.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.57
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		: 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	: 5334.12
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		: 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.57
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		: 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	: 5334.12
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30671628 kB
MemAvailable:   30765804 kB
Buffers:          170528 kB
Cached:           187324 kB
SwapCached:          252 kB
Active:          1447680 kB
Inactive:         183820 kB
Active(anon):    1228744 kB
Inactive(anon):    56372 kB
Active(file):     218936 kB
Inactive(file):   127448 kB
Unevictable:        5892 kB
Mlocked:            5892 kB
SwapTotal:      67108860 kB
SwapFree:       67105472 kB
Dirty:              8144 kB
Writeback:             0 kB
AnonPages:       1279192 kB
Mapped:            42712 kB
Shmem:              8772 kB
Slab:             161928 kB
SReclaimable:     127252 kB
SUnreclaim:        34676 kB
KernelStack:        4688 kB
PageTables:         8076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3235588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1163264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62000 MiB
End job on node104 at 2017-07-22 05:23:18

Name	PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml
MD5SUM	2e76cba0749e9f6e1c633f9939767035
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	0
Best CPU time to get the best result obtained on this benchmark	2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables	435
Number of constraints	501
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":435}]
Minimum variable degree	2
Maximum variable degree	8
Distribution of variable degrees	[{"degree":2,"count":3},{"degree":3,"count":38},{"degree":4,"count":135},{"degree":5,"count":118},{"degree":6,"count":126},{"degree":7,"count":1},{"degree":8,"count":14}]
Minimum constraint arity	1
Maximum constraint arity	16
Distribution of constraint arities	[{"arity":1,"count":1},{"arity":2,"count":402},{"arity":3,"count":3},{"arity":4,"count":2},{"arity":5,"count":10},{"arity":6,"count":7},{"arity":7,"count":9},{"arity":8,"count":13},{"arity":9,"count":15},{"arity":10,"count":7},{"arity":11,"count":11},{"arity":12,"count":7},{"arity":13,"count":5},{"arity":14,"count":2},{"arity":15,"count":6},{"arity":16,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":501}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4249104

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