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-4248549-1500692446/watcher-4248549-1500692446 -o /tmp/evaluation-result-4248549-1500692446/solver-4248549-1500692446 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8603 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1764116957 HOME/instance-4248549-1500692446.xml
pid=31785
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: 8.42 9.46 10.81 3/263 31788
/proc/meminfo: memFree=26168316/32770624 swapFree=5884/287520
[pid=31788] ppid=31785 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31788/stat : 31788 (xcsp3-exec) S 31785 31788 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4512422 9740288 346 33554432000 4194304 5098028 140724881896224 140724881894328 140260284621436 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 39636992 140724881904782 140724881904992 140724881904992 140724881907691 0
/proc/31788/statm: 2378 346 289 221 0 87 0
[startup+0.100166 s]
/proc/loadavg: 8.42 9.46 10.81 3/263 31788
/proc/meminfo: memFree=26168316/32770624 swapFree=5884/287520
[pid=31788] ppid=31785 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31788/stat : 31788 (xcsp3-exec) S 31785 31788 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4512422 9740288 346 33554432000 4194304 5098028 140724881896224 140724881894328 140260284621436 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 39636992 140724881904782 140724881904992 140724881904992 140724881907691 0
/proc/31788/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200321 s]
/proc/loadavg: 8.42 9.46 10.81 3/263 31788
/proc/meminfo: memFree=26168316/32770624 swapFree=5884/287520
[pid=31788] ppid=31785 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31788/stat : 31788 (xcsp3-exec) S 31785 31788 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4512422 9740288 346 33554432000 4194304 5098028 140724881896224 140724881894328 140260284621436 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 39636992 140724881904782 140724881904992 140724881904992 140724881907691 0
/proc/31788/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300321 s]
/proc/loadavg: 8.42 9.46 10.81 3/263 31788
/proc/meminfo: memFree=26168316/32770624 swapFree=5884/287520
[pid=31788] ppid=31785 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31788/stat : 31788 (xcsp3-exec) S 31785 31788 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4512422 9740288 346 33554432000 4194304 5098028 140724881896224 140724881894328 140260284621436 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 39636992 140724881904782 140724881904992 140724881904992 140724881907691 0
/proc/31788/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70023 s]
/proc/loadavg: 8.42 9.46 10.81 3/263 31788
/proc/meminfo: memFree=26168316/32770624 swapFree=5884/287520
[pid=31788] ppid=31785 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31788/stat : 31788 (xcsp3-exec) S 31785 31788 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4512422 9740288 346 33554432000 4194304 5098028 140724881896224 140724881894328 140260284621436 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 39636992 140724881904782 140724881904992 140724881904992 140724881907691 0
/proc/31788/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5015 s]
/proc/loadavg: 8.42 9.46 10.81 6/284 31817
/proc/meminfo: memFree=25976656/32770624 swapFree=5884/287564
[pid=31788] ppid=31785 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31788/stat : 31788 (xcsp3-exec) S 31785 31788 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4512422 9740288 346 33554432000 4194304 5098028 140724881896224 140724881894328 140260284621436 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 39636992 140724881904782 140724881904992 140724881904992 140724881907691 0
/proc/31788/statm: 2378 346 289 221 0 87 0
[pid=31789] ppid=31788 vsize=13801768 CPUtime=7.5 cores=1,3,5,7,9,11,13,15
/proc/31789/stat : 31789 (java) S 31788 31788 8571 0 -1 1077944320 18356 0 0 0 736 14 0 0 20 0 28 0 4512422 14133010432 54110 33554432000 4194304 4196468 140734632815952 140734632798496 140137201237751 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
/proc/31789/statm: 3450442 54110 3241 1 0 3437675 0
[pid=31789/tid=31790] ppid=31788 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31790/stat : 31790 (java) S 31788 31788 8571 0 -1 1077944384 6872 0 0 0 85 4 0 0 20 0 28 0 4512423 14133010432 54110 33554432000 4194304 4196468 140734632815952 140137205478528 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31792] ppid=31788 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31792/stat : 31792 (java) S 31788 31788 8571 0 -1 1077944384 13 0 0 0 1 1 0 0 20 0 28 0 4512424 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136800029200 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31793] ppid=31788 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31793/stat : 31793 (java) S 31788 31788 8571 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 28 0 4512424 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136798976656 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31794] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31794/stat : 31794 (java) S 31788 31788 8571 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4512424 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136797923600 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31795] ppid=31788 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31795/stat : 31795 (java) S 31788 31788 8571 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 28 0 4512424 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136796871056 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31796] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31796/stat : 31796 (java) S 31788 31788 8571 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4512424 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136795819024 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31797] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31797/stat : 31797 (java) S 31788 31788 8571 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4512424 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136794766480 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31798] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31798/stat : 31798 (java) S 31788 31788 8571 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 4512424 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136793713424 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31799] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31799/stat : 31799 (java) S 31788 31788 8571 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4512424 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136792660880 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31800] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31800/stat : 31800 (java) S 31788 31788 8571 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4512425 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136662690032 140137201248898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31801] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31801/stat : 31801 (java) S 31788 31788 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4512426 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136661636256 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31802] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31802/stat : 31802 (java) S 31788 31788 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4512426 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136660583152 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31803] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31803/stat : 31803 (java) S 31788 31788 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4512429 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136659531728 140137201256347 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31804] ppid=31788 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31804/stat : 31804 (java) R 31788 31788 8571 0 -1 4202560 2761 0 0 0 89 0 0 0 20 0 28 0 4512429 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136658465824 140137184776892 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31805] ppid=31788 vsize=13801768 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31805/stat : 31805 (java) R 31788 31788 8571 0 -1 4202560 2428 0 0 0 94 1 0 0 20 0 28 0 4512429 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136657413336 140137182782313 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31806] ppid=31788 vsize=13801768 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31806/stat : 31806 (java) R 31788 31788 8571 0 -1 4202560 1956 0 0 0 102 0 0 0 20 0 28 0 4512429 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136656360136 140137186352994 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31807] ppid=31788 vsize=13801768 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31807/stat : 31807 (java) S 31788 31788 8571 0 -1 1077944384 2243 0 0 0 68 1 0 0 20 0 28 0 4512429 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136655321712 140137201248898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31808] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31808/stat : 31808 (java) S 31788 31788 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4512430 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136654268896 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31809] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31809/stat : 31809 (java) S 31788 31788 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4512430 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136653216432 140137201248898 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31818] ppid=31788 vsize=13801768 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31818/stat : 31818 (java) R 31788 31788 8571 0 -1 4202560 50 0 0 0 28 0 0 0 20 0 28 0 4512532 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136638333352 140136818789377 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31819] ppid=31788 vsize=13801768 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31819/stat : 31819 (java) R 31788 31788 8571 0 -1 4202560 23 0 0 0 24 0 0 0 20 0 28 0 4512532 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136642543056 140136819402311 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31820] ppid=31788 vsize=13801768 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31820/stat : 31820 (java) R 31788 31788 8571 0 -1 4202560 19 0 0 0 24 0 0 0 20 0 28 0 4512532 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136644649912 140136818752959 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31821] ppid=31788 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31821/stat : 31821 (java) R 31788 31788 8571 0 -1 4202560 20 0 0 0 34 0 0 0 20 0 28 0 4512532 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136643593072 140136818757390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31822] ppid=31788 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31822/stat : 31822 (java) S 31788 31788 8571 0 -1 1077944384 33 0 0 0 21 0 0 0 20 0 28 0 4512532 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136645700544 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31823] ppid=31788 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31823/stat : 31823 (java) S 31788 31788 8571 0 -1 1077944384 27 0 0 0 21 0 0 0 20 0 28 0 4512532 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136640437632 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31824] ppid=31788 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31824/stat : 31824 (java) R 31788 31788 8571 0 -1 4202560 24 0 0 0 32 0 0 0 20 0 28 0 4512532 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136641486360 140137193257663 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31825] ppid=31788 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31825/stat : 31825 (java) R 31788 31788 8571 0 -1 4202560 17 0 0 0 26 0 0 0 20 0 28 0 4512532 14133010432 54110 33554432000 4194304 4196468 140734632815952 140136639385368 140136818723015 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
Current children cumulated CPU time (s) 7.5
Current children cumulated vsize (KiB) 13811280
[startup+3.10155 s]
/proc/loadavg: 8.42 9.46 10.81 13/292 31841
/proc/meminfo: memFree=25956300/32770624 swapFree=5884/287564
[pid=31788] ppid=31785 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31788/stat : 31788 (xcsp3-exec) S 31785 31788 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4512422 9740288 346 33554432000 4194304 5098028 140724881896224 140724881894328 140260284621436 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 39636992 140724881904782 140724881904992 140724881904992 140724881907691 0
/proc/31788/statm: 2378 346 289 221 0 87 0
[pid=31789] ppid=31788 vsize=13801768 CPUtime=20.14 cores=1,3,5,7,9,11,13,15
/proc/31789/stat : 31789 (java) S 31788 31788 8571 0 -1 1077944320 20505 0 0 0 1986 28 0 0 20 0 28 0 4512422 14133010432 72175 33554432000 4194304 4196468 140734632815952 140734632798496 140137201237751 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
/proc/31789/statm: 3450442 72175 3269 1 0 3437675 0
[pid=31789/tid=31790] ppid=31788 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31790/stat : 31790 (java) S 31788 31788 8571 0 -1 1077944384 6873 0 0 0 85 4 0 0 20 0 28 0 4512423 14133010432 72175 33554432000 4194304 4196468 140734632815952 140137205478528 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31792] ppid=31788 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31792/stat : 31792 (java) S 31788 31788 8571 0 -1 1077944384 25 0 0 0 1 2 0 0 20 0 28 0 4512424 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136800029200 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31793] ppid=31788 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31793/stat : 31793 (java) S 31788 31788 8571 0 -1 1077944384 33 0 0 0 3 1 0 0 20 0 28 0 4512424 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136798976656 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31794] ppid=31788 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31794/stat : 31794 (java) S 31788 31788 8571 0 -1 1077944384 30 0 0 0 1 2 0 0 20 0 28 0 4512424 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136797923600 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31795] ppid=31788 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31795/stat : 31795 (java) S 31788 31788 8571 0 -1 1077944384 38 0 0 0 2 2 0 0 20 0 28 0 4512424 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136796871056 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31796] ppid=31788 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31796/stat : 31796 (java) S 31788 31788 8571 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 4512424 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136795819024 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31797] ppid=31788 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31797/stat : 31797 (java) S 31788 31788 8571 0 -1 1077944384 25 0 0 0 1 2 0 0 20 0 28 0 4512424 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136794766480 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31798] ppid=31788 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31798/stat : 31798 (java) S 31788 31788 8571 0 -1 1077944384 34 0 0 0 2 2 0 0 20 0 28 0 4512424 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136793713424 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31799] ppid=31788 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31799/stat : 31799 (java) S 31788 31788 8571 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 28 0 4512424 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136792660880 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31800] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31800/stat : 31800 (java) S 31788 31788 8571 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4512425 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136662690032 140137201248898 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31801] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31801/stat : 31801 (java) S 31788 31788 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4512426 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136661636320 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31802] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31802/stat : 31802 (java) S 31788 31788 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4512426 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136660583168 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31803] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31803/stat : 31803 (java) S 31788 31788 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4512429 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136659531728 140137201256347 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31804] ppid=31788 vsize=13801768 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31804/stat : 31804 (java) S 31788 31788 8571 0 -1 1077944384 3360 0 0 0 192 0 0 0 20 0 28 0 4512429 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136658479856 140137201248898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31805] ppid=31788 vsize=13801768 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31805/stat : 31805 (java) R 31788 31788 8571 0 -1 4202560 2734 0 0 0 206 1 0 0 20 0 28 0 4512429 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136657413880 140137182560044 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31806] ppid=31788 vsize=13801768 CPUtime=2.08 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31806/stat : 31806 (java) S 31788 31788 8571 0 -1 1077944384 2220 0 0 0 208 0 0 0 20 0 28 0 4512429 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136656374256 140137201248898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31807] ppid=31788 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31807/stat : 31807 (java) S 31788 31788 8571 0 -1 1077944384 2518 0 0 0 88 1 0 0 20 0 28 0 4512429 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136655321712 140137201248898 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31808] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31808/stat : 31808 (java) S 31788 31788 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4512430 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136654268896 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31809] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31809/stat : 31809 (java) S 31788 31788 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4512430 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136653216432 140137201248898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31834] ppid=31788 vsize=13801768 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31834/stat : 31834 (java) R 31788 31788 8571 0 -1 4202560 27 0 0 0 69 0 0 0 20 0 28 0 4512632 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136641490296 140136820841217 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31835] ppid=31788 vsize=13801768 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31835/stat : 31835 (java) R 31788 31788 8571 0 -1 4202560 20 0 0 0 75 0 0 0 20 0 28 0 4512632 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136639384720 140136820079987 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31836] ppid=31788 vsize=13801768 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31836/stat : 31836 (java) R 31788 31788 8571 0 -1 4202560 17 0 0 0 68 0 0 0 20 0 28 0 4512632 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136638333816 140136821053895 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31837] ppid=31788 vsize=13801768 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31837/stat : 31837 (java) R 31788 31788 8571 0 -1 4202560 20 0 0 0 59 0 0 0 20 0 28 0 4512632 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136642544328 140136820982090 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31838] ppid=31788 vsize=13801768 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31838/stat : 31838 (java) R 31788 31788 8571 0 -1 4202560 261 0 0 0 58 0 0 0 20 0 28 0 4512632 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136640440248 140136816170013 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31839] ppid=31788 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31839/stat : 31839 (java) R 31788 31788 8571 0 -1 4202560 21 0 0 0 83 0 0 0 20 0 28 0 4512632 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136644648496 140136819305277 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31840] ppid=31788 vsize=13801768 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31840/stat : 31840 (java) R 31788 31788 8571 0 -1 4202560 21 0 0 0 66 0 0 0 20 0 28 0 4512632 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136645703536 140136820890528 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31841] ppid=31788 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31841/stat : 31841 (java) R 31788 31788 8571 0 -1 4202560 18 0 0 0 63 0 0 0 20 0 28 0 4512632 14133010432 72175 33554432000 4194304 4196468 140734632815952 140136643596808 140136819827301 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
Current children cumulated CPU time (s) 20.14
Current children cumulated vsize (KiB) 13811280
[startup+6.30158 s]
/proc/loadavg: 8.07 9.37 10.78 10/292 31849
/proc/meminfo: memFree=25768116/32770624 swapFree=5884/287564
################
# More data... #
################
[pid=31789/tid=31887] ppid=31788 vsize=13801768 CPUtime=262.42 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31887/stat : 31887 (java) R 31788 31788 8571 0 -1 4202560 1586 0 0 0 26240 2 0 0 20 0 28 0 4514161 14133010432 150664 33554432000 4194304 4196468 140734632815952 140136639388320 140136822362948 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31888] ppid=31788 vsize=13801768 CPUtime=261.6 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31888/stat : 31888 (java) R 31788 31788 8571 0 -1 4202560 1716 0 0 0 26158 2 0 0 20 0 28 0 4514161 14133010432 150664 33554432000 4194304 4196468 140734632815952 140136643596440 140136820596242 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
Current children cumulated CPU time (s) 2239.76
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.702 s]
/proc/loadavg: 8.95 9.16 10.30 10/292 31893
/proc/meminfo: memFree=25900648/32770624 swapFree=5884/287932
[pid=31788] ppid=31785 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31788/stat : 31788 (xcsp3-exec) S 31785 31788 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4512422 9740288 346 33554432000 4194304 5098028 140724881896224 140724881894328 140260284621436 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 39636992 140724881904782 140724881904992 140724881904992 140724881907691 0
/proc/31788/statm: 2378 346 289 221 0 87 0
[pid=31789] ppid=31788 vsize=13801768 CPUtime=2400.38 cores=1,3,5,7,9,11,13,15
/proc/31789/stat : 31789 (java) S 31788 31788 8571 0 -1 1077944320 98191 0 0 0 239816 222 0 0 20 0 28 0 4512422 14133010432 146608 33554432000 4194304 4196468 140734632815952 140734632798496 140137201237751 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
/proc/31789/statm: 3450442 146608 3287 1 0 3437675 0
[pid=31789/tid=31790] ppid=31788 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31790/stat : 31790 (java) S 31788 31788 8571 0 -1 1077944384 7310 0 0 0 86 4 0 0 20 0 28 0 4512423 14133010432 146608 33554432000 4194304 4196468 140734632815952 140137205478528 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31792] ppid=31788 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31792/stat : 31792 (java) S 31788 31788 8571 0 -1 1077944384 2464 0 0 0 48 16 0 0 20 0 28 0 4512424 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136800029200 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31793] ppid=31788 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31793/stat : 31793 (java) S 31788 31788 8571 0 -1 1077944384 916 0 0 0 48 16 0 0 20 0 28 0 4512424 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136798976656 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31794] ppid=31788 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31794/stat : 31794 (java) S 31788 31788 8571 0 -1 1077944384 973 0 0 0 50 15 0 0 20 0 28 0 4512424 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136797923600 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31795] ppid=31788 vsize=13801768 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31795/stat : 31795 (java) S 31788 31788 8571 0 -1 1077944384 2429 0 0 0 48 18 0 0 20 0 28 0 4512424 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136796871056 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31796] ppid=31788 vsize=13801768 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31796/stat : 31796 (java) S 31788 31788 8571 0 -1 1077944384 971 0 0 0 50 16 0 0 20 0 28 0 4512424 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136795819024 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31797] ppid=31788 vsize=13801768 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31797/stat : 31797 (java) S 31788 31788 8571 0 -1 1077944384 786 0 0 0 50 16 0 0 20 0 28 0 4512424 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136794766480 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31798] ppid=31788 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31798/stat : 31798 (java) S 31788 31788 8571 0 -1 1077944384 679 0 0 0 50 15 0 0 20 0 28 0 4512424 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136793713424 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31799] ppid=31788 vsize=13801768 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31799/stat : 31799 (java) S 31788 31788 8571 0 -1 1077944384 1901 0 0 0 51 15 0 0 20 0 28 0 4512424 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136792660880 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31800] ppid=31788 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31800/stat : 31800 (java) S 31788 31788 8571 0 -1 1077944384 3754 0 0 0 30 43 0 0 20 0 28 0 4512425 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136662690032 140137201248898 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31801] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31801/stat : 31801 (java) S 31788 31788 8571 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 4512426 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136661636320 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31802] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31802/stat : 31802 (java) S 31788 31788 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4512426 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136660583168 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31803] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31803/stat : 31803 (java) S 31788 31788 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4512429 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136659531728 140137201256347 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31804] ppid=31788 vsize=13801768 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31804/stat : 31804 (java) S 31788 31788 8571 0 -1 1077944384 11536 0 0 0 296 1 0 0 20 0 28 0 4512429 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136658479856 140137201248898 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31805] ppid=31788 vsize=13801768 CPUtime=3.91 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31805/stat : 31805 (java) S 31788 31788 8571 0 -1 1077944384 16794 0 0 0 388 3 0 0 20 0 28 0 4512429 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136657427312 140137201248898 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31806] ppid=31788 vsize=13801768 CPUtime=3.49 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31806/stat : 31806 (java) S 31788 31788 8571 0 -1 1077944384 12630 0 0 0 348 1 0 0 20 0 28 0 4512429 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136656374256 140137201248898 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31807] ppid=31788 vsize=13801768 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31807/stat : 31807 (java) S 31788 31788 8571 0 -1 1077944384 8974 0 0 0 108 2 0 0 20 0 28 0 4512429 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136655321712 140137201248898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31808] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31808/stat : 31808 (java) S 31788 31788 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4512430 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136654268896 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31809] ppid=31788 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31809/stat : 31809 (java) S 31788 31788 8571 0 -1 1077944384 1187 0 0 0 8 9 0 0 20 0 28 0 4512430 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136653216432 140137201248898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31881] ppid=31788 vsize=13801768 CPUtime=282.34 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31881/stat : 31881 (java) R 31788 31788 8571 0 -1 4202560 1087 0 0 0 28233 1 0 0 20 0 28 0 4514161 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136642541976 140136820841217 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31882] ppid=31788 vsize=13801768 CPUtime=282.71 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31882/stat : 31882 (java) R 31788 31788 8571 0 -1 4202560 2198 0 0 0 28269 2 0 0 20 0 28 0 4514161 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136640437800 140136822362948 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31883] ppid=31788 vsize=13801768 CPUtime=282.71 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31883/stat : 31883 (java) R 31788 31788 8571 0 -1 4202560 3854 0 0 0 28268 3 0 0 20 0 28 0 4514161 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136645701712 140136820767744 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31884] ppid=31788 vsize=13801768 CPUtime=283.43 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31884/stat : 31884 (java) R 31788 31788 8571 0 -1 4202560 2081 0 0 0 28341 2 0 0 20 0 28 0 4514161 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136641491416 140136820767744 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31885] ppid=31788 vsize=13801768 CPUtime=282.19 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31885/stat : 31885 (java) R 31788 31788 8571 0 -1 4202560 2314 0 0 0 28216 3 0 0 20 0 28 0 4514161 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136644648872 140136821120251 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31886] ppid=31788 vsize=13801768 CPUtime=283.14 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31886/stat : 31886 (java) R 31788 31788 8571 0 -1 4202560 423 0 0 0 28314 0 0 0 20 0 28 0 4514161 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136638333080 140136820595696 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31887] ppid=31788 vsize=13801768 CPUtime=282.44 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31887/stat : 31887 (java) R 31788 31788 8571 0 -1 4202560 1728 0 0 0 28242 2 0 0 20 0 28 0 4514161 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136639385512 140136822223431 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31888] ppid=31788 vsize=13801768 CPUtime=281.43 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31888/stat : 31888 (java) R 31788 31788 8571 0 -1 4202560 1859 0 0 0 28141 2 0 0 20 0 28 0 4514161 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136643598496 140136820425528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
Current children cumulated CPU time (s) 2400.38
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 31789 sig 9
??? kill 31788 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.702 s]
/proc/loadavg: 8.95 9.16 10.30 10/292 31893
/proc/meminfo: memFree=25900648/32770624 swapFree=5884/287932
[pid=31788] ppid=31785 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31788/stat : 31788 (xcsp3-exec) S 31785 31788 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4512422 9740288 346 33554432000 4194304 5098028 140724881896224 140724881894328 140260284621436 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 39636992 140724881904782 140724881904992 140724881904992 140724881907691 0
/proc/31788/statm: 2378 346 289 221 0 87 0
[pid=31789] ppid=31788 vsize=13801768 CPUtime=2400.38 cores=1,3,5,7,9,11,13,15
/proc/31789/stat : 31789 (java) S 31788 31788 8571 0 -1 1077944320 98191 0 0 0 239816 222 0 0 20 0 28 0 4512422 14133010432 146608 33554432000 4194304 4196468 140734632815952 140734632798496 140137201237751 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
/proc/31789/statm: 3450442 146608 3287 1 0 3437675 0
[pid=31789/tid=31790] ppid=31788 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31790/stat : 31790 (java) S 31788 31788 8571 0 -1 1077944384 7310 0 0 0 86 4 0 0 20 0 28 0 4512423 14133010432 146608 33554432000 4194304 4196468 140734632815952 140137205478528 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31792] ppid=31788 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31792/stat : 31792 (java) S 31788 31788 8571 0 -1 1077944384 2464 0 0 0 48 16 0 0 20 0 28 0 4512424 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136800029200 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31793] ppid=31788 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31793/stat : 31793 (java) S 31788 31788 8571 0 -1 1077944384 916 0 0 0 48 16 0 0 20 0 28 0 4512424 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136798976656 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31794] ppid=31788 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31794/stat : 31794 (java) S 31788 31788 8571 0 -1 1077944384 973 0 0 0 50 15 0 0 20 0 28 0 4512424 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136797923600 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31795] ppid=31788 vsize=13801768 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31795/stat : 31795 (java) S 31788 31788 8571 0 -1 1077944384 2429 0 0 0 48 18 0 0 20 0 28 0 4512424 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136796871056 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31796] ppid=31788 vsize=13801768 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31796/stat : 31796 (java) S 31788 31788 8571 0 -1 1077944384 971 0 0 0 50 16 0 0 20 0 28 0 4512424 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136795819024 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31797] ppid=31788 vsize=13801768 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31797/stat : 31797 (java) S 31788 31788 8571 0 -1 1077944384 786 0 0 0 50 16 0 0 20 0 28 0 4512424 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136794766480 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31798] ppid=31788 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31798/stat : 31798 (java) S 31788 31788 8571 0 -1 1077944384 679 0 0 0 50 15 0 0 20 0 28 0 4512424 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136793713424 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31799] ppid=31788 vsize=13801768 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31799/stat : 31799 (java) S 31788 31788 8571 0 -1 1077944384 1901 0 0 0 51 15 0 0 20 0 28 0 4512424 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136792660880 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31800] ppid=31788 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31800/stat : 31800 (java) S 31788 31788 8571 0 -1 1077944384 3754 0 0 0 30 43 0 0 20 0 28 0 4512425 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136662690032 140137201248898 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31801] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31801/stat : 31801 (java) S 31788 31788 8571 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 4512426 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136661636320 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31802] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31802/stat : 31802 (java) S 31788 31788 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4512426 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136660583168 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31803] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31803/stat : 31803 (java) S 31788 31788 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4512429 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136659531728 140137201256347 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31804] ppid=31788 vsize=13801768 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31804/stat : 31804 (java) S 31788 31788 8571 0 -1 1077944384 11536 0 0 0 296 1 0 0 20 0 28 0 4512429 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136658479856 140137201248898 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31805] ppid=31788 vsize=13801768 CPUtime=3.91 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31805/stat : 31805 (java) S 31788 31788 8571 0 -1 1077944384 16794 0 0 0 388 3 0 0 20 0 28 0 4512429 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136657427312 140137201248898 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31806] ppid=31788 vsize=13801768 CPUtime=3.49 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31806/stat : 31806 (java) S 31788 31788 8571 0 -1 1077944384 12630 0 0 0 348 1 0 0 20 0 28 0 4512429 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136656374256 140137201248898 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31807] ppid=31788 vsize=13801768 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31807/stat : 31807 (java) S 31788 31788 8571 0 -1 1077944384 8974 0 0 0 108 2 0 0 20 0 28 0 4512429 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136655321712 140137201248898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31808] ppid=31788 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31808/stat : 31808 (java) S 31788 31788 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4512430 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136654268896 140137201247957 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31809] ppid=31788 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31809/stat : 31809 (java) S 31788 31788 8571 0 -1 1077944384 1187 0 0 0 8 9 0 0 20 0 28 0 4512430 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136653216432 140137201248898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31881] ppid=31788 vsize=13801768 CPUtime=282.34 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31881/stat : 31881 (java) R 31788 31788 8571 0 -1 4202560 1087 0 0 0 28233 1 0 0 20 0 28 0 4514161 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136642541976 140136820841217 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31882] ppid=31788 vsize=13801768 CPUtime=282.71 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31882/stat : 31882 (java) R 31788 31788 8571 0 -1 4202560 2198 0 0 0 28269 2 0 0 20 0 28 0 4514161 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136640437800 140136822362948 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31883] ppid=31788 vsize=13801768 CPUtime=282.71 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31883/stat : 31883 (java) R 31788 31788 8571 0 -1 4202560 3854 0 0 0 28268 3 0 0 20 0 28 0 4514161 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136645701712 140136820767744 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31884] ppid=31788 vsize=13801768 CPUtime=283.43 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31884/stat : 31884 (java) R 31788 31788 8571 0 -1 4202560 2081 0 0 0 28341 2 0 0 20 0 28 0 4514161 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136641491416 140136820767744 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31885] ppid=31788 vsize=13801768 CPUtime=282.19 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31885/stat : 31885 (java) R 31788 31788 8571 0 -1 4202560 2314 0 0 0 28216 3 0 0 20 0 28 0 4514161 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136644648872 140136821120251 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31886] ppid=31788 vsize=13801768 CPUtime=283.14 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31886/stat : 31886 (java) R 31788 31788 8571 0 -1 4202560 423 0 0 0 28314 0 0 0 20 0 28 0 4514161 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136638333080 140136820595696 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31887] ppid=31788 vsize=13801768 CPUtime=282.44 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31887/stat : 31887 (java) R 31788 31788 8571 0 -1 4202560 1728 0 0 0 28242 2 0 0 20 0 28 0 4514161 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136639385512 140136822223431 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
[pid=31789/tid=31888] ppid=31788 vsize=13801768 CPUtime=281.43 cores=1,3,5,7,9,11,13,15
/proc/31789/task/31888/stat : 31888 (java) R 31788 31788 8571 0 -1 4202560 1859 0 0 0 28141 2 0 0 20 0 28 0 4514161 14133010432 146608 33554432000 4194304 4196468 140734632815952 140136643598496 140136820425528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29462528 140734632821948 140734632822124 140734632822124 140734632824783 0
Current children cumulated CPU time (s) 2400.38
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 31788 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2387
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.002387
# while last known CPU time is 2400.38
#
# 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.38
CPU user time (s): 2398.16
CPU system time (s): 2.22
CPU usage (%): 792.958
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002387
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= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.65499 second user time and 4.65874 second system time
The end