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-4248715-1500693144/watcher-4248715-1500693144 -o /tmp/evaluation-result-4248715-1500693144/solver-4248715-1500693144 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15228 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1113557542 HOME/instance-4248715-1500693144.xml
pid=8219
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: 15.48 15.68 15.40 9/271 8222
/proc/meminfo: memFree=31206984/32770624 swapFree=5808/120028
[pid=8222] ppid=8219 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8222/stat : 8222 (xcsp3-exec) S 8219 8222 15196 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4579464 9740288 345 33554432000 4194304 5098028 140735847399360 140735847397464 140038687175292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20176896 140735847400590 140735847400800 140735847400800 140735847403499 0
/proc/8222/statm: 2378 345 289 221 0 87 0
[startup+0.100073 s]
/proc/loadavg: 15.48 15.68 15.40 9/271 8222
/proc/meminfo: memFree=31206984/32770624 swapFree=5808/120028
[pid=8222] ppid=8219 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8222/stat : 8222 (xcsp3-exec) S 8219 8222 15196 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4579464 9740288 345 33554432000 4194304 5098028 140735847399360 140735847397464 140038687175292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20176896 140735847400590 140735847400800 140735847400800 140735847403499 0
/proc/8222/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200306 s]
/proc/loadavg: 15.48 15.68 15.40 9/271 8222
/proc/meminfo: memFree=31206984/32770624 swapFree=5808/120028
[pid=8222] ppid=8219 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8222/stat : 8222 (xcsp3-exec) S 8219 8222 15196 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4579464 9740288 345 33554432000 4194304 5098028 140735847399360 140735847397464 140038687175292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20176896 140735847400590 140735847400800 140735847400800 140735847403499 0
/proc/8222/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300287 s]
/proc/loadavg: 15.48 15.68 15.40 9/271 8222
/proc/meminfo: memFree=31206984/32770624 swapFree=5808/120028
[pid=8222] ppid=8219 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8222/stat : 8222 (xcsp3-exec) S 8219 8222 15196 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4579464 9740288 345 33554432000 4194304 5098028 140735847399360 140735847397464 140038687175292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20176896 140735847400590 140735847400800 140735847400800 140735847403499 0
/proc/8222/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700215 s]
/proc/loadavg: 15.48 15.68 15.40 9/271 8222
/proc/meminfo: memFree=31206984/32770624 swapFree=5808/120028
[pid=8222] ppid=8219 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8222/stat : 8222 (xcsp3-exec) S 8219 8222 15196 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4579464 9740288 345 33554432000 4194304 5098028 140735847399360 140735847397464 140038687175292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20176896 140735847400590 140735847400800 140735847400800 140735847403499 0
/proc/8222/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50122 s]
/proc/loadavg: 15.48 15.68 15.40 13/292 8243
/proc/meminfo: memFree=31063996/32770624 swapFree=5808/120060
[pid=8222] ppid=8219 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8222/stat : 8222 (xcsp3-exec) S 8219 8222 15196 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4579464 9740288 345 33554432000 4194304 5098028 140735847399360 140735847397464 140038687175292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20176896 140735847400590 140735847400800 140735847400800 140735847403499 0
/proc/8222/statm: 2378 345 289 221 0 87 0
[pid=8223] ppid=8222 vsize=13801768 CPUtime=5.13 cores=1,3,5,7,9,11,13,15
/proc/8223/stat : 8223 (java) S 8222 8222 15196 0 -1 1077944320 22432 0 0 0 492 21 0 0 20 0 28 0 4579465 14133010432 54842 33554432000 4194304 4196468 140721180850464 140721180833008 139804931649271 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
/proc/8223/statm: 3450442 54842 3249 1 0 3437675 0
[pid=8223/tid=8224] ppid=8222 vsize=13801768 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8224/stat : 8224 (java) S 8222 8222 15196 0 -1 1077944384 8388 0 0 0 132 4 0 0 20 0 28 0 4579465 14133010432 54842 33554432000 4194304 4196468 140721180850464 139804935890048 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8226] ppid=8222 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8226/stat : 8226 (java) S 8222 8222 15196 0 -1 1077944384 152 0 0 0 1 1 0 0 20 0 28 0 4579466 14133010432 54842 33554432000 4194304 4196468 140721180850464 139804884269328 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8227] ppid=8222 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8227/stat : 8227 (java) S 8222 8222 15196 0 -1 1077944384 21 0 0 0 2 0 0 0 20 0 28 0 4579466 14133010432 54842 33554432000 4194304 4196468 140721180850464 139804883216784 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8228] ppid=8222 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8228/stat : 8228 (java) S 8222 8222 15196 0 -1 1077944384 15 0 0 0 0 1 0 0 20 0 28 0 4579466 14133010432 54842 33554432000 4194304 4196468 140721180850464 139804882164240 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8229] ppid=8222 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8229/stat : 8229 (java) S 8222 8222 15196 0 -1 1077944384 57 0 0 0 2 1 0 0 20 0 28 0 4579466 14133010432 54842 33554432000 4194304 4196468 140721180850464 139804881111696 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8230] ppid=8222 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8230/stat : 8230 (java) S 8222 8222 15196 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 28 0 4579466 14133010432 54842 33554432000 4194304 4196468 140721180850464 139804880059152 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8231] ppid=8222 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8231/stat : 8231 (java) S 8222 8222 15196 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 28 0 4579466 14133010432 54842 33554432000 4194304 4196468 140721180850464 139804879006608 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8232] ppid=8222 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8232/stat : 8232 (java) S 8222 8222 15196 0 -1 1077944384 71 0 0 0 1 2 0 0 20 0 28 0 4579466 14133010432 54842 33554432000 4194304 4196468 140721180850464 139804877954064 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8233] ppid=8222 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8233/stat : 8233 (java) S 8222 8222 15196 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 28 0 4579466 14133010432 54842 33554432000 4194304 4196468 140721180850464 139804523560080 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8234] ppid=8222 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8234/stat : 8234 (java) S 8222 8222 15196 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 28 0 4579468 14133010432 54842 33554432000 4194304 4196468 140721180850464 139804125501424 139804931660418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8235] ppid=8222 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8235/stat : 8235 (java) S 8222 8222 15196 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 4579469 14133010432 54842 33554432000 4194304 4196468 140721180850464 139804124447648 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8236] ppid=8222 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8236/stat : 8236 (java) S 8222 8222 15196 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4579469 14133010432 54842 33554432000 4194304 4196468 140721180850464 139804123395056 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8237] ppid=8222 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8237/stat : 8237 (java) S 8222 8222 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4579473 14133010432 54842 33554432000 4194304 4196468 140721180850464 139804122343632 139804931667867 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8238] ppid=8222 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8238/stat : 8238 (java) R 8222 8222 15196 0 -1 4202560 3720 0 0 0 88 1 0 0 20 0 28 0 4579473 14133010432 54842 33554432000 4194304 4196468 140721180850464 139804121281040 139804917677383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8239] ppid=8222 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8239/stat : 8239 (java) R 8222 8222 15196 0 -1 4202560 2592 0 0 0 82 1 0 0 20 0 28 0 4579473 14133010432 54842 33554432000 4194304 4196468 140721180850464 139804120224672 139804916775589 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8240] ppid=8222 vsize=13801768 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8240/stat : 8240 (java) R 8222 8222 15196 0 -1 4202560 2893 0 0 0 82 0 0 0 20 0 28 0 4579473 14133010432 54842 33554432000 4194304 4196468 140721180850464 139804119172624 139804915180754 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8241] ppid=8222 vsize=13801768 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8241/stat : 8241 (java) R 8222 8222 15196 0 -1 1077944384 2522 0 0 0 66 0 0 0 20 0 28 0 4579473 14133010432 54842 33554432000 4194304 4196468 140721180850464 139804118133616 139804931660418 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8242] ppid=8222 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8242/stat : 8242 (java) S 8222 8222 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4579473 14133010432 54842 33554432000 4194304 4196468 140721180850464 139804117080288 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8243] ppid=8222 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8243/stat : 8243 (java) S 8222 8222 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4579474 14133010432 54842 33554432000 4194304 4196468 140721180850464 139804116027824 139804931660418 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
Current children cumulated CPU time (s) 5.13
Current children cumulated vsize (KiB) 13811280
[startup+3.10137 s]
/proc/loadavg: 15.48 15.68 15.40 20/300 8251
/proc/meminfo: memFree=30995692/32770624 swapFree=5808/120056
[pid=8222] ppid=8219 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8222/stat : 8222 (xcsp3-exec) S 8219 8222 15196 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4579464 9740288 345 33554432000 4194304 5098028 140735847399360 140735847397464 140038687175292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20176896 140735847400590 140735847400800 140735847400800 140735847403499 0
/proc/8222/statm: 2378 345 289 221 0 87 0
[pid=8223] ppid=8222 vsize=13801768 CPUtime=17.66 cores=1,3,5,7,9,11,13,15
/proc/8223/stat : 8223 (java) S 8222 8222 15196 0 -1 1077944320 27771 0 0 0 1725 41 0 0 20 0 28 0 4579465 14133010432 70258 33554432000 4194304 4196468 140721180850464 140721180833008 139804931649271 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
/proc/8223/statm: 3450442 70258 3258 1 0 3437675 0
[pid=8223/tid=8224] ppid=8222 vsize=13801768 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8224/stat : 8224 (java) S 8222 8222 15196 0 -1 1077944384 8388 0 0 0 132 4 0 0 20 0 28 0 4579465 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804935890048 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8226] ppid=8222 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8226/stat : 8226 (java) S 8222 8222 15196 0 -1 1077944384 176 0 0 0 4 4 0 0 20 0 28 0 4579466 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804884269328 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8227] ppid=8222 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8227/stat : 8227 (java) S 8222 8222 15196 0 -1 1077944384 44 0 0 0 5 3 0 0 20 0 28 0 4579466 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804883216784 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8228] ppid=8222 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8228/stat : 8228 (java) S 8222 8222 15196 0 -1 1077944384 34 0 0 0 3 2 0 0 20 0 28 0 4579466 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804882164240 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8229] ppid=8222 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8229/stat : 8229 (java) S 8222 8222 15196 0 -1 1077944384 80 0 0 0 4 4 0 0 20 0 28 0 4579466 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804881111696 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8230] ppid=8222 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8230/stat : 8230 (java) S 8222 8222 15196 0 -1 1077944384 43 0 0 0 4 4 0 0 20 0 28 0 4579466 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804880059152 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8231] ppid=8222 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8231/stat : 8231 (java) S 8222 8222 15196 0 -1 1077944384 50 0 0 0 2 1 0 0 20 0 28 0 4579466 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804879006608 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8232] ppid=8222 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8232/stat : 8232 (java) S 8222 8222 15196 0 -1 1077944384 98 0 0 0 4 4 0 0 20 0 28 0 4579466 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804877954064 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8233] ppid=8222 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8233/stat : 8233 (java) S 8222 8222 15196 0 -1 1077944384 64 0 0 0 4 4 0 0 20 0 28 0 4579466 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804523560080 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8234] ppid=8222 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8234/stat : 8234 (java) S 8222 8222 15196 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 28 0 4579468 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804125501424 139804931660418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8235] ppid=8222 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8235/stat : 8235 (java) S 8222 8222 15196 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 4579469 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804124447712 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8236] ppid=8222 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8236/stat : 8236 (java) S 8222 8222 15196 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4579469 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804123395056 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8237] ppid=8222 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8237/stat : 8237 (java) S 8222 8222 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4579473 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804122343632 139804931667867 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8238] ppid=8222 vsize=13801768 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8238/stat : 8238 (java) R 8222 8222 15196 0 -1 4202560 5116 0 0 0 190 1 0 0 20 0 28 0 4579473 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804121272264 139804913192994 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8239] ppid=8222 vsize=13801768 CPUtime=2.08 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8239/stat : 8239 (java) R 8222 8222 15196 0 -1 4202560 4318 0 0 0 207 1 0 0 20 0 28 0 4579473 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804120231192 139804909624753 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8240] ppid=8222 vsize=13801768 CPUtime=1.84 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8240/stat : 8240 (java) R 8222 8222 15196 0 -1 4202560 4095 0 0 0 184 0 0 0 20 0 28 0 4579473 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804119172184 139804913174172 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8241] ppid=8222 vsize=13801768 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8241/stat : 8241 (java) S 8222 8222 15196 0 -1 1077944384 2859 0 0 0 81 0 0 0 20 0 28 0 4579473 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804118133616 139804931660418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8242] ppid=8222 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8242/stat : 8242 (java) S 8222 8222 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4579473 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804117080288 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8243] ppid=8222 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8243/stat : 8243 (java) S 8222 8222 15196 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4579474 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804116027824 139804931660418 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8244] ppid=8222 vsize=13801768 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8244/stat : 8244 (java) R 8222 8222 15196 0 -1 4202560 87 0 0 0 101 0 0 0 20 0 28 0 4579607 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804108008216 139804565362144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8245] ppid=8222 vsize=13801768 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8245/stat : 8245 (java) R 8222 8222 15196 0 -1 4202560 119 0 0 0 115 0 0 0 20 0 28 0 4579607 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804106957088 139804564639623 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8246] ppid=8222 vsize=13801768 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8246/stat : 8246 (java) R 8222 8222 15196 0 -1 4202560 71 0 0 0 125 0 0 0 20 0 28 0 4579607 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804105911056 139804565720531 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8247] ppid=8222 vsize=13801768 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8247/stat : 8247 (java) R 8222 8222 15196 0 -1 4202560 85 0 0 0 122 0 0 0 20 0 28 0 4579607 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804104851984 139804564806463 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8248] ppid=8222 vsize=13801768 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8248/stat : 8248 (java) R 8222 8222 15196 0 -1 4202560 125 0 0 0 110 0 0 0 20 0 28 0 4579607 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804103798792 139804564997481 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8249] ppid=8222 vsize=13801768 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8249/stat : 8249 (java) R 8222 8222 15196 0 -1 4202560 178 0 0 0 115 0 0 0 20 0 28 0 4579607 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804102746616 139804564640252 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8250] ppid=8222 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8250/stat : 8250 (java) R 8222 8222 15196 0 -1 4202560 60 0 0 0 99 0 0 0 20 0 28 0 4579608 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804101693048 139804565720646 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8251] ppid=8222 vsize=13801768 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8251/stat : 8251 (java) R 8222 8222 15196 0 -1 4202560 163 0 0 0 102 0 0 0 20 0 28 0 4579608 14133010432 70258 33554432000 4194304 4196468 140721180850464 139804100643768 139804564640252 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
Current children cumulated CPU time (s) 17.66
Current children cumulated vsize (KiB) 13811280
[startup+6.30152 s]
/proc/loadavg: 15.52 15.68 15.41 17/300 8251
/proc/meminfo: memFree=30717580/32770624 swapFree=5808/120064
[pid=8222] ppid=8219 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8222/stat : 8222 (xcsp3-exec) S 8219 8222 15196 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4579464 9740288 345 33554432000 4194304 5098028 140735847399360 140735847397464 140038687175292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20176896 140735847400590 140735847400800 140735847400800 140735847403499 0
/proc/8222/statm: 2378 345 289 221 0 87 0
[pid=8223] ppid=8222 vsize=13801768 CPUtime=42.99 cores=1,3,5,7,9,11,13,15
/proc/8223/stat : 8223 (java) S 8222 8222 15196 0 -1 1077944320 31670 0 0 0 4224 75 0 0 20 0 28 0 4579465 14133010432 125144 33554432000 4194304 4196468 140721180850464 140721180833008 139804931649271 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
/proc/8223/statm: 3450442 125144 3282 1 0 3437675 0
[pid=8223/tid=8224] ppid=8222 vsize=13801768 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8224/stat : 8224 (java) S 8222 8222 15196 0 -1 1077944384 8388 0 0 0 132 4 0 0 20 0 28 0 4579465 14133010432 125144 33554432000 4194304 4196468 140721180850464 139804935890048 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8226] ppid=8222 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8226/stat : 8226 (java) S 8222 8222 15196 0 -1 1077944384 905 0 0 0 8 7 0 0 20 0 28 0 4579466 14133010432 125144 33554432000 4194304 4196468 140721180850464 139804884269328 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8227] ppid=8222 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8227/stat : 8227 (java) S 8222 8222 15196 0 -1 1077944384 90 0 0 0 8 7 0 0 20 0 28 0 4579466 14133010432 125144 33554432000 4194304 4196468 140721180850464 139804883216784 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8228] ppid=8222 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8228/stat : 8228 (java) S 8222 8222 15196 0 -1 1077944384 86 0 0 0 7 6 0 0 20 0 28 0 4579466 14133010432 125144 33554432000 4194304 4196468 140721180850464 139804882164240 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8229] ppid=8222 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8229/stat : 8229 (java) S 8222 8222 15196 0 -1 1077944384 208 0 0 0 8 9 0 0 20 0 28 0 4579466 14133010432 125144 33554432000 4194304 4196468 140721180850464 139804881111696 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
################
# More data... #
################
[pid=8223/tid=8250] ppid=8222 vsize=13801768 CPUtime=276.02 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8250/stat : 8250 (java) R 8222 8222 15196 0 -1 4202560 1425 0 0 0 27597 5 0 0 20 0 28 0 4579608 14133010432 697042 33554432000 4194304 4196468 140721180850464 139804101697096 139804567783022 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8251] ppid=8222 vsize=13801768 CPUtime=276.86 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8251/stat : 8251 (java) R 8222 8222 15196 0 -1 4202560 2631 0 0 0 27682 4 0 0 20 0 28 0 4579608 14133010432 697042 33554432000 4194304 4196468 140721180850464 139804100644200 139804568859846 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
Current children cumulated CPU time (s) 2238.13
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.702 s]
/proc/loadavg: 11.60 13.62 14.70 17/299 9022
/proc/meminfo: memFree=28574016/32770624 swapFree=5808/120864
[pid=8222] ppid=8219 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8222/stat : 8222 (xcsp3-exec) S 8219 8222 15196 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4579464 9740288 345 33554432000 4194304 5098028 140735847399360 140735847397464 140038687175292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20176896 140735847400590 140735847400800 140735847400800 140735847403499 0
/proc/8222/statm: 2378 345 289 221 0 87 0
[pid=8223] ppid=8222 vsize=13801768 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/8223/stat : 8223 (java) S 8222 8222 15196 0 -1 1077944320 107894 0 0 0 239768 239 0 0 20 0 28 0 4579465 14133010432 695916 33554432000 4194304 4196468 140721180850464 140721180833008 139804931649271 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
/proc/8223/statm: 3450442 695916 3285 1 0 3437675 0
[pid=8223/tid=8224] ppid=8222 vsize=13801768 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8224/stat : 8224 (java) S 8222 8222 15196 0 -1 1077944384 8388 0 0 0 132 4 0 0 20 0 28 0 4579465 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804935890048 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8226] ppid=8222 vsize=13801768 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8226/stat : 8226 (java) S 8222 8222 15196 0 -1 1077944384 2860 0 0 0 110 17 0 0 20 0 28 0 4579466 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804884269328 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8227] ppid=8222 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8227/stat : 8227 (java) S 8222 8222 15196 0 -1 1077944384 606 0 0 0 114 14 0 0 20 0 28 0 4579466 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804883216784 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8228] ppid=8222 vsize=13801768 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8228/stat : 8228 (java) S 8222 8222 15196 0 -1 1077944384 534 0 0 0 110 14 0 0 20 0 28 0 4579466 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804882164240 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8229] ppid=8222 vsize=13801768 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8229/stat : 8229 (java) S 8222 8222 15196 0 -1 1077944384 1139 0 0 0 108 17 0 0 20 0 28 0 4579466 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804881111696 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8230] ppid=8222 vsize=13801768 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8230/stat : 8230 (java) S 8222 8222 15196 0 -1 1077944384 2031 0 0 0 109 15 0 0 20 0 28 0 4579466 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804880059152 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8231] ppid=8222 vsize=13801768 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8231/stat : 8231 (java) S 8222 8222 15196 0 -1 1077944384 1875 0 0 0 107 15 0 0 20 0 28 0 4579466 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804879006608 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8232] ppid=8222 vsize=13801768 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8232/stat : 8232 (java) S 8222 8222 15196 0 -1 1077944384 1033 0 0 0 110 17 0 0 20 0 28 0 4579466 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804877954064 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8233] ppid=8222 vsize=13801768 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8233/stat : 8233 (java) S 8222 8222 15196 0 -1 1077944384 1211 0 0 0 111 15 0 0 20 0 28 0 4579466 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804523560080 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8234] ppid=8222 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8234/stat : 8234 (java) S 8222 8222 15196 0 -1 1077944384 4103 0 0 0 19 19 0 0 20 0 28 0 4579468 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804125501424 139804931660418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8235] ppid=8222 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8235/stat : 8235 (java) S 8222 8222 15196 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 4579469 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804124447712 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8236] ppid=8222 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8236/stat : 8236 (java) S 8222 8222 15196 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4579469 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804123395056 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8237] ppid=8222 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8237/stat : 8237 (java) S 8222 8222 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4579473 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804122343632 139804931667867 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8238] ppid=8222 vsize=13801768 CPUtime=5.17 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8238/stat : 8238 (java) S 8222 8222 15196 0 -1 1077944384 18996 0 0 0 514 3 0 0 20 0 28 0 4579473 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804121291248 139804931660418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8239] ppid=8222 vsize=13801768 CPUtime=5.94 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8239/stat : 8239 (java) S 8222 8222 15196 0 -1 1077944384 16375 0 0 0 591 3 0 0 20 0 28 0 4579473 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804120238704 139804931660418 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8240] ppid=8222 vsize=13801768 CPUtime=4.88 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8240/stat : 8240 (java) S 8222 8222 15196 0 -1 1077944384 15293 0 0 0 486 2 0 0 20 0 28 0 4579473 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804119186160 139804931660418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8241] ppid=8222 vsize=13801768 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8241/stat : 8241 (java) S 8222 8222 15196 0 -1 1077944384 9221 0 0 0 112 1 0 0 20 0 28 0 4579473 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804118133616 139804931660418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8242] ppid=8222 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8242/stat : 8242 (java) S 8222 8222 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4579473 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804117080288 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8243] ppid=8222 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8243/stat : 8243 (java) S 8222 8222 15196 0 -1 1077944384 289 0 0 0 7 9 0 0 20 0 28 0 4579474 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804116027824 139804931660418 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 15 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8244] ppid=8222 vsize=13801768 CPUtime=296.71 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8244/stat : 8244 (java) R 8222 8222 15196 0 -1 4202560 2272 0 0 0 29660 11 0 0 20 0 28 0 4579607 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804108014736 139804565529461 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8245] ppid=8222 vsize=13801768 CPUtime=296.15 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8245/stat : 8245 (java) R 8222 8222 15196 0 -1 4202560 4132 0 0 0 29605 10 0 0 20 0 28 0 4579607 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804106960856 139804564200162 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8246] ppid=8222 vsize=13801768 CPUtime=297.38 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8246/stat : 8246 (java) R 8222 8222 15196 0 -1 4202560 2871 0 0 0 29727 11 0 0 20 0 28 0 4579607 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804105908048 139804565349628 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8247] ppid=8222 vsize=13801768 CPUtime=295.74 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8247/stat : 8247 (java) R 8222 8222 15196 0 -1 4202560 2254 0 0 0 29571 3 0 0 20 0 28 0 4579607 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804104855736 139804565350193 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8248] ppid=8222 vsize=13801768 CPUtime=295.58 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8248/stat : 8248 (java) R 8222 8222 15196 0 -1 4202560 2737 0 0 0 29551 7 0 0 20 0 28 0 4579607 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804103802944 139804561695401 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8249] ppid=8222 vsize=13801768 CPUtime=296.2 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8249/stat : 8249 (java) R 8222 8222 15196 0 -1 4202560 4111 0 0 0 29609 11 0 0 20 0 28 0 4579607 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804102750792 139804565350385 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8250] ppid=8222 vsize=13801768 CPUtime=296.01 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8250/stat : 8250 (java) R 8222 8222 15196 0 -1 4202560 1516 0 0 0 29596 5 0 0 20 0 28 0 4579608 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804101697112 139804564200088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8251] ppid=8222 vsize=13801768 CPUtime=297 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8251/stat : 8251 (java) R 8222 8222 15196 0 -1 4202560 2703 0 0 0 29695 5 0 0 20 0 28 0 4579608 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804100644568 139804564806852 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
Current children cumulated CPU time (s) 2400.07
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 8223 sig 9
??? kill 8222 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.702 s]
/proc/loadavg: 11.60 13.62 14.70 17/299 9022
/proc/meminfo: memFree=28574016/32770624 swapFree=5808/120864
[pid=8222] ppid=8219 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8222/stat : 8222 (xcsp3-exec) S 8219 8222 15196 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4579464 9740288 345 33554432000 4194304 5098028 140735847399360 140735847397464 140038687175292 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20176896 140735847400590 140735847400800 140735847400800 140735847403499 0
/proc/8222/statm: 2378 345 289 221 0 87 0
[pid=8223] ppid=8222 vsize=13801768 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/8223/stat : 8223 (java) S 8222 8222 15196 0 -1 1077944320 107894 0 0 0 239768 239 0 0 20 0 28 0 4579465 14133010432 695916 33554432000 4194304 4196468 140721180850464 140721180833008 139804931649271 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
/proc/8223/statm: 3450442 695916 3285 1 0 3437675 0
[pid=8223/tid=8224] ppid=8222 vsize=13801768 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8224/stat : 8224 (java) S 8222 8222 15196 0 -1 1077944384 8388 0 0 0 132 4 0 0 20 0 28 0 4579465 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804935890048 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8226] ppid=8222 vsize=13801768 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8226/stat : 8226 (java) S 8222 8222 15196 0 -1 1077944384 2860 0 0 0 110 17 0 0 20 0 28 0 4579466 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804884269328 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8227] ppid=8222 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8227/stat : 8227 (java) S 8222 8222 15196 0 -1 1077944384 606 0 0 0 114 14 0 0 20 0 28 0 4579466 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804883216784 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8228] ppid=8222 vsize=13801768 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8228/stat : 8228 (java) S 8222 8222 15196 0 -1 1077944384 534 0 0 0 110 14 0 0 20 0 28 0 4579466 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804882164240 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8229] ppid=8222 vsize=13801768 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8229/stat : 8229 (java) S 8222 8222 15196 0 -1 1077944384 1139 0 0 0 108 17 0 0 20 0 28 0 4579466 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804881111696 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8230] ppid=8222 vsize=13801768 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8230/stat : 8230 (java) S 8222 8222 15196 0 -1 1077944384 2031 0 0 0 109 15 0 0 20 0 28 0 4579466 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804880059152 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8231] ppid=8222 vsize=13801768 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8231/stat : 8231 (java) S 8222 8222 15196 0 -1 1077944384 1875 0 0 0 107 15 0 0 20 0 28 0 4579466 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804879006608 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8232] ppid=8222 vsize=13801768 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8232/stat : 8232 (java) S 8222 8222 15196 0 -1 1077944384 1033 0 0 0 110 17 0 0 20 0 28 0 4579466 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804877954064 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8233] ppid=8222 vsize=13801768 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8233/stat : 8233 (java) S 8222 8222 15196 0 -1 1077944384 1211 0 0 0 111 15 0 0 20 0 28 0 4579466 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804523560080 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8234] ppid=8222 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8234/stat : 8234 (java) S 8222 8222 15196 0 -1 1077944384 4103 0 0 0 19 19 0 0 20 0 28 0 4579468 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804125501424 139804931660418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8235] ppid=8222 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8235/stat : 8235 (java) S 8222 8222 15196 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 4579469 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804124447712 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8236] ppid=8222 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8236/stat : 8236 (java) S 8222 8222 15196 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4579469 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804123395056 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8237] ppid=8222 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8237/stat : 8237 (java) S 8222 8222 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4579473 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804122343632 139804931667867 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8238] ppid=8222 vsize=13801768 CPUtime=5.17 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8238/stat : 8238 (java) S 8222 8222 15196 0 -1 1077944384 18996 0 0 0 514 3 0 0 20 0 28 0 4579473 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804121291248 139804931660418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8239] ppid=8222 vsize=13801768 CPUtime=5.94 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8239/stat : 8239 (java) S 8222 8222 15196 0 -1 1077944384 16375 0 0 0 591 3 0 0 20 0 28 0 4579473 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804120238704 139804931660418 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8240] ppid=8222 vsize=13801768 CPUtime=4.88 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8240/stat : 8240 (java) S 8222 8222 15196 0 -1 1077944384 15293 0 0 0 486 2 0 0 20 0 28 0 4579473 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804119186160 139804931660418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8241] ppid=8222 vsize=13801768 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8241/stat : 8241 (java) S 8222 8222 15196 0 -1 1077944384 9221 0 0 0 112 1 0 0 20 0 28 0 4579473 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804118133616 139804931660418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8242] ppid=8222 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8242/stat : 8242 (java) S 8222 8222 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4579473 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804117080288 139804931659477 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8243] ppid=8222 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8243/stat : 8243 (java) S 8222 8222 15196 0 -1 1077944384 289 0 0 0 7 9 0 0 20 0 28 0 4579474 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804116027824 139804931660418 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 15 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8244] ppid=8222 vsize=13801768 CPUtime=296.71 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8244/stat : 8244 (java) R 8222 8222 15196 0 -1 4202560 2272 0 0 0 29660 11 0 0 20 0 28 0 4579607 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804108014736 139804565529461 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8245] ppid=8222 vsize=13801768 CPUtime=296.15 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8245/stat : 8245 (java) R 8222 8222 15196 0 -1 4202560 4132 0 0 0 29605 10 0 0 20 0 28 0 4579607 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804106960856 139804564200162 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8246] ppid=8222 vsize=13801768 CPUtime=297.38 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8246/stat : 8246 (java) R 8222 8222 15196 0 -1 4202560 2871 0 0 0 29727 11 0 0 20 0 28 0 4579607 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804105908048 139804565349628 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8247] ppid=8222 vsize=13801768 CPUtime=295.74 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8247/stat : 8247 (java) R 8222 8222 15196 0 -1 4202560 2254 0 0 0 29571 3 0 0 20 0 28 0 4579607 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804104855736 139804565350193 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8248] ppid=8222 vsize=13801768 CPUtime=295.58 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8248/stat : 8248 (java) R 8222 8222 15196 0 -1 4202560 2737 0 0 0 29551 7 0 0 20 0 28 0 4579607 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804103802944 139804561695401 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8249] ppid=8222 vsize=13801768 CPUtime=296.2 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8249/stat : 8249 (java) R 8222 8222 15196 0 -1 4202560 4111 0 0 0 29609 11 0 0 20 0 28 0 4579607 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804102750792 139804565350385 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8250] ppid=8222 vsize=13801768 CPUtime=296.01 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8250/stat : 8250 (java) R 8222 8222 15196 0 -1 4202560 1516 0 0 0 29596 5 0 0 20 0 28 0 4579608 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804101697112 139804564200088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
[pid=8223/tid=8251] ppid=8222 vsize=13801768 CPUtime=297 cores=1,3,5,7,9,11,13,15
/proc/8223/task/8251/stat : 8251 (java) R 8222 8222 15196 0 -1 4202560 2703 0 0 0 29695 5 0 0 20 0 28 0 4579608 14133010432 695916 33554432000 4194304 4196468 140721180850464 139804100644568 139804564806852 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 16252928 140721180857532 140721180857708 140721180857708 140721180860367 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8222 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2085
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1042
# CPU time returned by wait4() is 0.003127
# while last known CPU time is 2400.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.712
CPU time (s): 2400.07
CPU user time (s): 2397.68
CPU system time (s): 2.39
CPU usage (%): 792.855
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002085
system time used= 0.001042
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516
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.87146 second user time and 4.12275 second system time
The end