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-4244782-1500684651/watcher-4244782-1500684651 -o /tmp/evaluation-result-4244782-1500684651/solver-4244782-1500684651 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8602 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1623384808 HOME/instance-4244782-1500684651.xml
pid=10532
running on 8 cores: 0,2,4,6,8,10,12,14
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: 13.60 13.55 11.12 3/272 10535
/proc/meminfo: memFree=30641408/32770624 swapFree=5884/237068
[pid=10535] ppid=10532 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10535/stat : 10535 (xcsp3-exec) S 10532 10535 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3732919 9740288 346 33554432000 4194304 5098028 140734449756032 140734449754136 140321809838716 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 17539072 140734449759374 140734449759584 140734449759584 140734449762283 0
/proc/10535/statm: 2378 346 289 221 0 87 0
[startup+0.100167 s]
/proc/loadavg: 13.60 13.55 11.12 3/272 10535
/proc/meminfo: memFree=30641408/32770624 swapFree=5884/237068
[pid=10535] ppid=10532 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10535/stat : 10535 (xcsp3-exec) S 10532 10535 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3732919 9740288 346 33554432000 4194304 5098028 140734449756032 140734449754136 140321809838716 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 17539072 140734449759374 140734449759584 140734449759584 140734449762283 0
/proc/10535/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200381 s]
/proc/loadavg: 13.60 13.55 11.12 3/272 10535
/proc/meminfo: memFree=30641408/32770624 swapFree=5884/237068
[pid=10535] ppid=10532 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10535/stat : 10535 (xcsp3-exec) S 10532 10535 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3732919 9740288 346 33554432000 4194304 5098028 140734449756032 140734449754136 140321809838716 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 17539072 140734449759374 140734449759584 140734449759584 140734449762283 0
/proc/10535/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300226 s]
/proc/loadavg: 13.60 13.55 11.12 3/272 10535
/proc/meminfo: memFree=30641408/32770624 swapFree=5884/237068
[pid=10535] ppid=10532 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10535/stat : 10535 (xcsp3-exec) S 10532 10535 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3732919 9740288 346 33554432000 4194304 5098028 140734449756032 140734449754136 140321809838716 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 17539072 140734449759374 140734449759584 140734449759584 140734449762283 0
/proc/10535/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700182 s]
/proc/loadavg: 13.60 13.55 11.12 3/272 10535
/proc/meminfo: memFree=30641408/32770624 swapFree=5884/237068
[pid=10535] ppid=10532 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10535/stat : 10535 (xcsp3-exec) S 10532 10535 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3732919 9740288 346 33554432000 4194304 5098028 140734449756032 140734449754136 140321809838716 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 17539072 140734449759374 140734449759584 140734449759584 140734449762283 0
/proc/10535/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50124 s]
/proc/loadavg: 13.60 13.55 11.12 14/293 10580
/proc/meminfo: memFree=30539728/32770624 swapFree=5884/237104
[pid=10535] ppid=10532 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10535/stat : 10535 (xcsp3-exec) S 10532 10535 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3732919 9740288 346 33554432000 4194304 5098028 140734449756032 140734449754136 140321809838716 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 17539072 140734449759374 140734449759584 140734449759584 140734449762283 0
/proc/10535/statm: 2378 346 289 221 0 87 0
[pid=10536] ppid=10535 vsize=13269256 CPUtime=3.95 cores=0,2,4,6,8,10,12,14
/proc/10536/stat : 10536 (java) S 10535 10535 8571 0 -1 1077944320 19132 0 0 0 389 6 0 0 20 0 20 0 3732919 13587718144 40545 33554432000 4194304 4196468 140730145384896 140730145367440 139788503523063 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
/proc/10536/statm: 3317314 40545 3226 1 0 3304547 0
[pid=10536/tid=10537] ppid=10535 vsize=13269256 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10537/stat : 10537 (java) R 10535 10535 8571 0 -1 4202560 8021 0 0 0 143 4 0 0 20 0 20 0 3732920 13587718144 40545 33554432000 4194304 4196468 140730145384896 139788507757848 139788120544389 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10539] ppid=10535 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10539/stat : 10539 (java) S 10535 10535 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3732920 13587718144 40545 33554432000 4194304 4196468 140730145384896 139788102372496 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10540] ppid=10535 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10540/stat : 10540 (java) S 10535 10535 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3732921 13587718144 40545 33554432000 4194304 4196468 140730145384896 139788101319696 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10541] ppid=10535 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10541/stat : 10541 (java) S 10535 10535 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3732921 13587718144 40545 33554432000 4194304 4196468 140730145384896 139788100266896 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10542] ppid=10535 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10542/stat : 10542 (java) S 10535 10535 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3732921 13587718144 40545 33554432000 4194304 4196468 140730145384896 139788099214096 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10543] ppid=10535 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10543/stat : 10543 (java) S 10535 10535 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3732921 13587718144 40545 33554432000 4194304 4196468 140730145384896 139788098161296 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10544] ppid=10535 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10544/stat : 10544 (java) S 10535 10535 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3732921 13587718144 40545 33554432000 4194304 4196468 140730145384896 139788097108496 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10545] ppid=10535 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10545/stat : 10545 (java) S 10535 10535 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3732921 13587718144 40545 33554432000 4194304 4196468 140730145384896 139788096055696 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10546] ppid=10535 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10546/stat : 10546 (java) S 10535 10535 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3732921 13587718144 40545 33554432000 4194304 4196468 140730145384896 139788095002896 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10547] ppid=10535 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10547/stat : 10547 (java) S 10535 10535 8571 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 3732923 13587718144 40545 33554432000 4194304 4196468 140730145384896 139787965033328 139788503534210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10548] ppid=10535 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10548/stat : 10548 (java) S 10535 10535 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 3732924 13587718144 40545 33554432000 4194304 4196468 140730145384896 139787963979296 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10549] ppid=10535 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10549/stat : 10549 (java) S 10535 10535 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3732924 13587718144 40545 33554432000 4194304 4196468 140730145384896 139787962926448 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10550] ppid=10535 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10550/stat : 10550 (java) S 10535 10535 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3732928 13587718144 40545 33554432000 4194304 4196468 140730145384896 139787961874768 139788503541659 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10551] ppid=10535 vsize=13269256 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10551/stat : 10551 (java) S 10535 10535 8571 0 -1 1077944384 3110 0 0 0 60 0 0 0 20 0 20 0 3732928 13587718144 40545 33554432000 4194304 4196468 140730145384896 139787960822128 139788503534210 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10552] ppid=10535 vsize=13269256 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10552/stat : 10552 (java) S 10535 10535 8571 0 -1 1077944384 1492 0 0 0 62 0 0 0 20 0 20 0 3732928 13587718144 40545 33554432000 4194304 4196468 140730145384896 139787959769328 139788503534210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10553] ppid=10535 vsize=13269256 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10553/stat : 10553 (java) R 10535 10535 8571 0 -1 4202560 2336 0 0 0 63 0 0 0 20 0 20 0 3732928 13587718144 40545 33554432000 4194304 4196468 140730145384896 139787958716824 139788485067664 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10554] ppid=10535 vsize=13269256 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10554/stat : 10554 (java) S 10535 10535 8571 0 -1 1077944384 2844 0 0 0 59 0 0 0 20 0 20 0 3732928 13587718144 40545 33554432000 4194304 4196468 140730145384896 139787957663728 139788503534210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10555] ppid=10535 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10555/stat : 10555 (java) S 10535 10535 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3732928 13587718144 40545 33554432000 4194304 4196468 140730145384896 139787956612192 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10556] ppid=10535 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10556/stat : 10556 (java) S 10535 10535 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3732928 13587718144 40545 33554432000 4194304 4196468 140730145384896 139787955559472 139788503534210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 13278768
[startup+3.10119 s]
/proc/loadavg: 13.60 13.55 11.12 8/289 11312
/proc/meminfo: memFree=29738972/32770624 swapFree=5884/237104
[pid=10535] ppid=10532 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10535/stat : 10535 (xcsp3-exec) S 10532 10535 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3732919 9740288 346 33554432000 4194304 5098028 140734449756032 140734449754136 140321809838716 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 17539072 140734449759374 140734449759584 140734449759584 140734449762283 0
/proc/10535/statm: 2378 346 289 221 0 87 0
[pid=10536] ppid=10535 vsize=13801768 CPUtime=10.08 cores=0,2,4,6,8,10,12,14
/proc/10536/stat : 10536 (java) S 10535 10535 8571 0 -1 1077944320 25538 0 0 0 956 52 0 0 20 0 28 0 3732919 14133010432 72873 33554432000 4194304 4196468 140730145384896 140730145367440 139788503523063 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
/proc/10536/statm: 3450442 72873 3263 1 0 3437675 0
[pid=10536/tid=10537] ppid=10535 vsize=13801768 CPUtime=2.66 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10537/stat : 10537 (java) S 10535 10535 8571 0 -1 1077944384 9401 0 0 0 261 5 0 0 20 0 28 0 3732920 14133010432 72873 33554432000 4194304 4196468 140730145384896 139788507763840 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10539] ppid=10535 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10539/stat : 10539 (java) S 10535 10535 8571 0 -1 1077944384 66 0 0 0 3 5 0 0 20 0 28 0 3732920 14133010432 72873 33554432000 4194304 4196468 140730145384896 139788102372496 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10540] ppid=10535 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10540/stat : 10540 (java) S 10535 10535 8571 0 -1 1077944384 68 0 0 0 3 4 0 0 20 0 28 0 3732921 14133010432 72873 33554432000 4194304 4196468 140730145384896 139788101319696 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10541] ppid=10535 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10541/stat : 10541 (java) S 10535 10535 8571 0 -1 1077944384 324 0 0 0 4 5 0 0 20 0 28 0 3732921 14133010432 72873 33554432000 4194304 4196468 140730145384896 139788100266896 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10542] ppid=10535 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10542/stat : 10542 (java) S 10535 10535 8571 0 -1 1077944384 78 0 0 0 3 5 0 0 20 0 28 0 3732921 14133010432 72873 33554432000 4194304 4196468 140730145384896 139788099214096 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10543] ppid=10535 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10543/stat : 10543 (java) S 10535 10535 8571 0 -1 1077944384 140 0 0 0 4 5 0 0 20 0 28 0 3732921 14133010432 72873 33554432000 4194304 4196468 140730145384896 139788098161296 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10544] ppid=10535 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10544/stat : 10544 (java) S 10535 10535 8571 0 -1 1077944384 189 0 0 0 4 5 0 0 20 0 28 0 3732921 14133010432 72873 33554432000 4194304 4196468 140730145384896 139788097108496 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10545] ppid=10535 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10545/stat : 10545 (java) S 10535 10535 8571 0 -1 1077944384 116 0 0 0 4 6 0 0 20 0 28 0 3732921 14133010432 72873 33554432000 4194304 4196468 140730145384896 139788096055696 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10546] ppid=10535 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10546/stat : 10546 (java) S 10535 10535 8571 0 -1 1077944384 142 0 0 0 5 5 0 0 20 0 28 0 3732921 14133010432 72873 33554432000 4194304 4196468 140730145384896 139788095002896 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10547] ppid=10535 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10547/stat : 10547 (java) S 10535 10535 8571 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 28 0 3732923 14133010432 72873 33554432000 4194304 4196468 140730145384896 139787965033328 139788503534210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10548] ppid=10535 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10548/stat : 10548 (java) S 10535 10535 8571 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3732924 14133010432 72873 33554432000 4194304 4196468 140730145384896 139787963979360 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10549] ppid=10535 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10549/stat : 10549 (java) S 10535 10535 8571 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 3732924 14133010432 72873 33554432000 4194304 4196468 140730145384896 139787962926464 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10550] ppid=10535 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10550/stat : 10550 (java) S 10535 10535 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3732928 14133010432 72873 33554432000 4194304 4196468 140730145384896 139787961874768 139788503541659 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10551] ppid=10535 vsize=13801768 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10551/stat : 10551 (java) R 10535 10535 8571 0 -1 4202560 3886 0 0 0 125 0 0 0 20 0 28 0 3732928 14133010432 72873 33554432000 4194304 4196468 140730145384896 139787960811808 139788485067247 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10552] ppid=10535 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10552/stat : 10552 (java) R 10535 10535 8571 0 -1 4202560 2401 0 0 0 142 1 0 0 20 0 28 0 3732928 14133010432 72873 33554432000 4194304 4196468 140730145384896 139787959756144 139788485046190 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10553] ppid=10535 vsize=13801768 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10553/stat : 10553 (java) R 10535 10535 8571 0 -1 4202560 3046 0 0 0 136 0 0 0 20 0 28 0 3732928 14133010432 72873 33554432000 4194304 4196468 140730145384896 139787958702752 139788482738461 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10554] ppid=10535 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10554/stat : 10554 (java) R 10535 10535 8571 0 -1 4202560 3753 0 0 0 86 0 0 0 20 0 28 0 3732928 14133010432 72873 33554432000 4194304 4196468 140730145384896 139787957663728 139788482179276 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10555] ppid=10535 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10555/stat : 10555 (java) S 10535 10535 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3732928 14133010432 72873 33554432000 4194304 4196468 140730145384896 139787956612192 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10556] ppid=10535 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10556/stat : 10556 (java) S 10535 10535 8571 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 3732928 14133010432 72873 33554432000 4194304 4196468 140730145384896 139787955559472 139788503534210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
Current children cumulated CPU time (s) 10.08
Current children cumulated vsize (KiB) 13811280
[startup+6.30088 s]
/proc/loadavg: 13.47 13.53 11.13 9/301 13892
/proc/meminfo: memFree=27949268/32770624 swapFree=5884/237116
[pid=10535] ppid=10532 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10535/stat : 10535 (xcsp3-exec) S 10532 10535 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3732919 9740288 346 33554432000 4194304 5098028 140734449756032 140734449754136 140321809838716 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 17539072 140734449759374 140734449759584 140734449759584 140734449762283 0
/proc/10535/statm: 2378 346 289 221 0 87 0
[pid=10536] ppid=10535 vsize=13939000 CPUtime=28.5 cores=0,2,4,6,8,10,12,14
/proc/10536/stat : 10536 (java) S 10535 10535 8571 0 -1 1077944320 51593 0 0 0 2709 141 0 0 20 0 28 0 3732919 14273536000 381241 33554432000 4194304 4196468 140730145384896 140730145367440 139788503523063 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
/proc/10536/statm: 3484750 381241 3272 1 0 3471983 0
[pid=10536/tid=10537] ppid=10535 vsize=13939000 CPUtime=2.85 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10537/stat : 10537 (java) S 10535 10535 8571 0 -1 1077944384 9434 0 0 0 279 6 0 0 20 0 28 0 3732920 14273536000 381241 33554432000 4194304 4196468 140730145384896 139788507763872 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10539] ppid=10535 vsize=13939000 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10539/stat : 10539 (java) S 10535 10535 8571 0 -1 1077944384 117 0 0 0 12 10 0 0 20 0 28 0 3732920 14273536000 381241 33554432000 4194304 4196468 140730145384896 139788102372496 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10540] ppid=10535 vsize=13939000 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10540/stat : 10540 (java) S 10535 10535 8571 0 -1 1077944384 165 0 0 0 14 10 0 0 20 0 28 0 3732921 14273536000 381241 33554432000 4194304 4196468 140730145384896 139788101319696 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10541] ppid=10535 vsize=13939000 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10541/stat : 10541 (java) S 10535 10535 8571 0 -1 1077944384 378 0 0 0 14 11 0 0 20 0 28 0 3732921 14273536000 381241 33554432000 4194304 4196468 140730145384896 139788100266896 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10542] ppid=10535 vsize=13939000 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10542/stat : 10542 (java) S 10535 10535 8571 0 -1 1077944384 134 0 0 0 14 11 0 0 20 0 28 0 3732921 14273536000 381241 33554432000 4194304 4196468 140730145384896 139788099214096 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10543] ppid=10535 vsize=13939000 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10543/stat : 10543 (java) S 10535 10535 8571 0 -1 1077944384 194 0 0 0 16 11 0 0 20 0 28 0 3732921 14273536000 381241 33554432000 4194304 4196468 140730145384896 139788098161296 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10544] ppid=10535 vsize=13939000 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10544/stat : 10544 (java) S 10535 10535 8571 0 -1 1077944384 258 0 0 0 15 11 0 0 20 0 28 0 3732921 14273536000 381241 33554432000 4194304 4196468 140730145384896 139788097108496 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10545] ppid=10535 vsize=13939000 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10545/stat : 10545 (java) S 10535 10535 8571 0 -1 1077944384 163 0 0 0 11 11 0 0 20 0 28 0 3732921 14273536000 381241 33554432000 4194304 4196468 140730145384896 139788096055696 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10546] ppid=10535 vsize=13939000 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10546/stat : 10546 (java) S 10535 10535 8571 0 -1 1077944384 201 0 0 0 16 10 0 0 20 0 28 0 3732921 14273536000 381241 33554432000 4194304 4196468 140730145384896 139788095002896 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10547] ppid=10535 vsize=13939000 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10547/stat : 10547 (java) S 10535 10535 8571 0 -1 1077944384 1710 0 0 0 2 1 0 0 20 0 28 0 3732923 14273536000 381241 33554432000 4194304 4196468 140730145384896 139787965033328 139788503534210 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10548] ppid=10535 vsize=13939000 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10548/stat : 10548 (java) S 10535 10535 8571 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3732924 14273536000 381241 33554432000 4194304 4196468 140730145384896 139787963979360 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10549] ppid=10535 vsize=13939000 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10549/stat : 10549 (java) S 10535 10535 8571 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 3732924 14273536000 381241 33554432000 4194304 4196468 140730145384896 139787962926464 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10550] ppid=10535 vsize=13939000 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10550/stat : 10550 (java) S 10535 10535 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3732928 14273536000 381241 33554432000 4194304 4196468 140730145384896 139787961874768 139788503541659 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
################
# More data... #
################
/proc/10536/task/17051/stat : 17051 (java) R 10535 10535 8571 0 -1 4202560 1118 0 0 0 26690 2 0 0 20 0 28 0 3734235 14273536000 828257 33554432000 4194304 4196468 140730145384896 139787946992264 139788126285012 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=17052] ppid=10535 vsize=13939000 CPUtime=268.29 cores=0,2,4,6,8,10,12,14
/proc/10536/task/17052/stat : 17052 (java) R 10535 10535 8571 0 -1 4202560 1560 0 0 0 26829 0 0 0 20 0 28 0 3734235 14273536000 828257 33554432000 4194304 4196468 140730145384896 139787941728600 139788125043654 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
Current children cumulated CPU time (s) 2222.36
Current children cumulated vsize (KiB) 13948512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+304.702 s]
/proc/loadavg: 15.84 14.99 12.41 17/299 18224
/proc/meminfo: memFree=28385096/32770624 swapFree=5884/237484
[pid=10535] ppid=10532 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10535/stat : 10535 (xcsp3-exec) S 10532 10535 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3732919 9740288 346 33554432000 4194304 5098028 140734449756032 140734449754136 140321809838716 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 17539072 140734449759374 140734449759584 140734449759584 140734449762283 0
/proc/10535/statm: 2378 346 289 221 0 87 0
[pid=10536] ppid=10535 vsize=13939000 CPUtime=2400.7 cores=0,2,4,6,8,10,12,14
/proc/10536/stat : 10536 (java) S 10535 10535 8571 0 -1 1077944320 132115 0 0 0 239821 249 0 0 20 0 28 0 3732919 14273536000 818922 33554432000 4194304 4196468 140730145384896 140730145367440 139788503523063 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
/proc/10536/statm: 3484750 818922 3288 1 0 3471983 0
[pid=10536/tid=10537] ppid=10535 vsize=13939000 CPUtime=2.93 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10537/stat : 10537 (java) S 10535 10535 8571 0 -1 1077944384 9659 0 0 0 286 7 0 0 20 0 28 0 3732920 14273536000 818922 33554432000 4194304 4196468 140730145384896 139788507763728 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10539] ppid=10535 vsize=13939000 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10539/stat : 10539 (java) S 10535 10535 8571 0 -1 1077944384 707 0 0 0 21 13 0 0 20 0 28 0 3732920 14273536000 818922 33554432000 4194304 4196468 140730145384896 139788102372496 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10540] ppid=10535 vsize=13939000 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10540/stat : 10540 (java) S 10535 10535 8571 0 -1 1077944384 749 0 0 0 23 12 0 0 20 0 28 0 3732921 14273536000 818922 33554432000 4194304 4196468 140730145384896 139788101319696 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10541] ppid=10535 vsize=13939000 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10541/stat : 10541 (java) S 10535 10535 8571 0 -1 1077944384 597 0 0 0 23 14 0 0 20 0 28 0 3732921 14273536000 818922 33554432000 4194304 4196468 140730145384896 139788100266896 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10542] ppid=10535 vsize=13939000 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10542/stat : 10542 (java) S 10535 10535 8571 0 -1 1077944384 417 0 0 0 23 14 0 0 20 0 28 0 3732921 14273536000 818922 33554432000 4194304 4196468 140730145384896 139788099214096 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10543] ppid=10535 vsize=13939000 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10543/stat : 10543 (java) S 10535 10535 8571 0 -1 1077944384 585 0 0 0 24 14 0 0 20 0 28 0 3732921 14273536000 818922 33554432000 4194304 4196468 140730145384896 139788098161296 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10544] ppid=10535 vsize=13939000 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10544/stat : 10544 (java) S 10535 10535 8571 0 -1 1077944384 1084 0 0 0 23 15 0 0 20 0 28 0 3732921 14273536000 818922 33554432000 4194304 4196468 140730145384896 139788097108496 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10545] ppid=10535 vsize=13939000 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10545/stat : 10545 (java) S 10535 10535 8571 0 -1 1077944384 896 0 0 0 20 14 0 0 20 0 28 0 3732921 14273536000 818922 33554432000 4194304 4196468 140730145384896 139788096055696 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10546] ppid=10535 vsize=13939000 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10546/stat : 10546 (java) S 10535 10535 8571 0 -1 1077944384 761 0 0 0 24 14 0 0 20 0 28 0 3732921 14273536000 818922 33554432000 4194304 4196468 140730145384896 139788095002896 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10547] ppid=10535 vsize=13939000 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10547/stat : 10547 (java) S 10535 10535 8571 0 -1 1077944384 4249 0 0 0 8 12 0 0 20 0 28 0 3732923 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787965033328 139788503534210 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10548] ppid=10535 vsize=13939000 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10548/stat : 10548 (java) S 10535 10535 8571 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3732924 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787963979360 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10549] ppid=10535 vsize=13939000 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10549/stat : 10549 (java) S 10535 10535 8571 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 3732924 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787962926464 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10550] ppid=10535 vsize=13939000 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10550/stat : 10550 (java) S 10535 10535 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3732928 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787961874768 139788503541659 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10551] ppid=10535 vsize=13939000 CPUtime=4.83 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10551/stat : 10551 (java) S 10535 10535 8571 0 -1 1077944384 15184 0 0 0 481 2 0 0 20 0 28 0 3732928 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787960822128 139788503534210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10552] ppid=10535 vsize=13939000 CPUtime=4.86 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10552/stat : 10552 (java) S 10535 10535 8571 0 -1 1077944384 12564 0 0 0 483 3 0 0 20 0 28 0 3732928 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787959769328 139788503534210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10553] ppid=10535 vsize=13939000 CPUtime=4.76 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10553/stat : 10553 (java) S 10535 10535 8571 0 -1 1077944384 12339 0 0 0 474 2 0 0 20 0 28 0 3732928 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787958716528 139788503534210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10554] ppid=10535 vsize=13939000 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10554/stat : 10554 (java) S 10535 10535 8571 0 -1 1077944384 8515 0 0 0 150 1 0 0 20 0 28 0 3732928 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787957663728 139788503534210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10555] ppid=10535 vsize=13939000 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10555/stat : 10555 (java) S 10535 10535 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3732928 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787956612192 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10556] ppid=10535 vsize=13939000 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10556/stat : 10556 (java) S 10535 10535 8571 0 -1 1077944384 1163 0 0 0 6 9 0 0 20 0 28 0 3732928 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787955559472 139788503534210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=17045] ppid=10535 vsize=13939000 CPUtime=290.69 cores=0,2,4,6,8,10,12,14
/proc/10536/task/17045/stat : 17045 (java) R 10535 10535 8571 0 -1 4202560 2024 0 0 0 29068 1 0 0 20 0 28 0 3734235 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787945938024 139788125043454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=17046] ppid=10535 vsize=13939000 CPUtime=288.78 cores=0,2,4,6,8,10,12,14
/proc/10536/task/17046/stat : 17046 (java) R 10535 10535 8571 0 -1 4202560 2309 0 0 0 28877 1 0 0 20 0 28 0 3734235 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787940675864 139788126276559 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=17047] ppid=10535 vsize=13939000 CPUtime=290.02 cores=0,2,4,6,8,10,12,14
/proc/10536/task/17047/stat : 17047 (java) R 10535 10535 8571 0 -1 4202560 1785 0 0 0 29001 1 0 0 20 0 28 0 3734235 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787934367632 139788124848450 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=17048] ppid=10535 vsize=13939000 CPUtime=288.7 cores=0,2,4,6,8,10,12,14
/proc/10536/task/17048/stat : 17048 (java) R 10535 10535 8571 0 -1 4202560 17491 0 0 0 28843 27 0 0 20 0 28 0 3734235 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787948044232 139788126659848 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=17049] ppid=10535 vsize=13939000 CPUtime=290.18 cores=0,2,4,6,8,10,12,14
/proc/10536/task/17049/stat : 17049 (java) R 10535 10535 8571 0 -1 4202560 3653 0 0 0 29016 2 0 0 20 0 28 0 3734235 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787936472328 139788126584765 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=17050] ppid=10535 vsize=13939000 CPUtime=289.51 cores=0,2,4,6,8,10,12,14
/proc/10536/task/17050/stat : 17050 (java) R 10535 10535 8571 0 -1 4202560 1940 0 0 0 28950 1 0 0 20 0 28 0 3734235 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787937525656 139788125429283 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=17051] ppid=10535 vsize=13939000 CPUtime=289.26 cores=0,2,4,6,8,10,12,14
/proc/10536/task/17051/stat : 17051 (java) R 10535 10535 8571 0 -1 4202560 1163 0 0 0 28924 2 0 0 20 0 28 0 3734235 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787946992280 139788125733343 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=17052] ppid=10535 vsize=13939000 CPUtime=290.62 cores=0,2,4,6,8,10,12,14
/proc/10536/task/17052/stat : 17052 (java) R 10535 10535 8571 0 -1 4202560 1573 0 0 0 29062 0 0 0 20 0 28 0 3734235 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787941728792 139788124700796 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
Current children cumulated CPU time (s) 2400.7
Current children cumulated vsize (KiB) 13948512
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 10536 sig 9
??? kill 10535 sig 9
??? kill -10535 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+304.702 s]
/proc/loadavg: 15.84 14.99 12.41 17/299 18224
/proc/meminfo: memFree=28385096/32770624 swapFree=5884/237484
[pid=10535] ppid=10532 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10535/stat : 10535 (xcsp3-exec) S 10532 10535 8571 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3732919 9740288 346 33554432000 4194304 5098028 140734449756032 140734449754136 140321809838716 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 17539072 140734449759374 140734449759584 140734449759584 140734449762283 0
/proc/10535/statm: 2378 346 289 221 0 87 0
[pid=10536] ppid=10535 vsize=13939000 CPUtime=2400.7 cores=0,2,4,6,8,10,12,14
/proc/10536/stat : 10536 (java) S 10535 10535 8571 0 -1 1077944320 132115 0 0 0 239821 249 0 0 20 0 28 0 3732919 14273536000 818922 33554432000 4194304 4196468 140730145384896 140730145367440 139788503523063 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
/proc/10536/statm: 3484750 818922 3288 1 0 3471983 0
[pid=10536/tid=10537] ppid=10535 vsize=13939000 CPUtime=2.93 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10537/stat : 10537 (java) S 10535 10535 8571 0 -1 1077944384 9659 0 0 0 286 7 0 0 20 0 28 0 3732920 14273536000 818922 33554432000 4194304 4196468 140730145384896 139788507763728 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10539] ppid=10535 vsize=13939000 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10539/stat : 10539 (java) S 10535 10535 8571 0 -1 1077944384 707 0 0 0 21 13 0 0 20 0 28 0 3732920 14273536000 818922 33554432000 4194304 4196468 140730145384896 139788102372496 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10540] ppid=10535 vsize=13939000 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10540/stat : 10540 (java) S 10535 10535 8571 0 -1 1077944384 749 0 0 0 23 12 0 0 20 0 28 0 3732921 14273536000 818922 33554432000 4194304 4196468 140730145384896 139788101319696 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10541] ppid=10535 vsize=13939000 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10541/stat : 10541 (java) S 10535 10535 8571 0 -1 1077944384 597 0 0 0 23 14 0 0 20 0 28 0 3732921 14273536000 818922 33554432000 4194304 4196468 140730145384896 139788100266896 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10542] ppid=10535 vsize=13939000 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10542/stat : 10542 (java) S 10535 10535 8571 0 -1 1077944384 417 0 0 0 23 14 0 0 20 0 28 0 3732921 14273536000 818922 33554432000 4194304 4196468 140730145384896 139788099214096 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10543] ppid=10535 vsize=13939000 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10543/stat : 10543 (java) S 10535 10535 8571 0 -1 1077944384 585 0 0 0 24 14 0 0 20 0 28 0 3732921 14273536000 818922 33554432000 4194304 4196468 140730145384896 139788098161296 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10544] ppid=10535 vsize=13939000 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10544/stat : 10544 (java) S 10535 10535 8571 0 -1 1077944384 1084 0 0 0 23 15 0 0 20 0 28 0 3732921 14273536000 818922 33554432000 4194304 4196468 140730145384896 139788097108496 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10545] ppid=10535 vsize=13939000 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10545/stat : 10545 (java) S 10535 10535 8571 0 -1 1077944384 896 0 0 0 20 14 0 0 20 0 28 0 3732921 14273536000 818922 33554432000 4194304 4196468 140730145384896 139788096055696 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10546] ppid=10535 vsize=13939000 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10546/stat : 10546 (java) S 10535 10535 8571 0 -1 1077944384 761 0 0 0 24 14 0 0 20 0 28 0 3732921 14273536000 818922 33554432000 4194304 4196468 140730145384896 139788095002896 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10547] ppid=10535 vsize=13939000 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10547/stat : 10547 (java) S 10535 10535 8571 0 -1 1077944384 4249 0 0 0 8 12 0 0 20 0 28 0 3732923 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787965033328 139788503534210 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10548] ppid=10535 vsize=13939000 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10548/stat : 10548 (java) S 10535 10535 8571 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3732924 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787963979360 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10549] ppid=10535 vsize=13939000 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10549/stat : 10549 (java) S 10535 10535 8571 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 3732924 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787962926464 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10550] ppid=10535 vsize=13939000 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10550/stat : 10550 (java) S 10535 10535 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3732928 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787961874768 139788503541659 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10551] ppid=10535 vsize=13939000 CPUtime=4.83 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10551/stat : 10551 (java) S 10535 10535 8571 0 -1 1077944384 15184 0 0 0 481 2 0 0 20 0 28 0 3732928 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787960822128 139788503534210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10552] ppid=10535 vsize=13939000 CPUtime=4.86 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10552/stat : 10552 (java) S 10535 10535 8571 0 -1 1077944384 12564 0 0 0 483 3 0 0 20 0 28 0 3732928 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787959769328 139788503534210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10553] ppid=10535 vsize=13939000 CPUtime=4.76 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10553/stat : 10553 (java) S 10535 10535 8571 0 -1 1077944384 12339 0 0 0 474 2 0 0 20 0 28 0 3732928 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787958716528 139788503534210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10554] ppid=10535 vsize=13939000 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10554/stat : 10554 (java) S 10535 10535 8571 0 -1 1077944384 8515 0 0 0 150 1 0 0 20 0 28 0 3732928 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787957663728 139788503534210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10555] ppid=10535 vsize=13939000 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10555/stat : 10555 (java) S 10535 10535 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3732928 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787956612192 139788503533269 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=10556] ppid=10535 vsize=13939000 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/10536/task/10556/stat : 10556 (java) S 10535 10535 8571 0 -1 1077944384 1163 0 0 0 6 9 0 0 20 0 28 0 3732928 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787955559472 139788503534210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=17045] ppid=10535 vsize=13939000 CPUtime=290.69 cores=0,2,4,6,8,10,12,14
/proc/10536/task/17045/stat : 17045 (java) R 10535 10535 8571 0 -1 4202560 2024 0 0 0 29068 1 0 0 20 0 28 0 3734235 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787945938024 139788125043454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=17046] ppid=10535 vsize=13939000 CPUtime=288.78 cores=0,2,4,6,8,10,12,14
/proc/10536/task/17046/stat : 17046 (java) R 10535 10535 8571 0 -1 4202560 2309 0 0 0 28877 1 0 0 20 0 28 0 3734235 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787940675864 139788126276559 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=17047] ppid=10535 vsize=13939000 CPUtime=290.02 cores=0,2,4,6,8,10,12,14
/proc/10536/task/17047/stat : 17047 (java) R 10535 10535 8571 0 -1 4202560 1785 0 0 0 29001 1 0 0 20 0 28 0 3734235 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787934367632 139788124848450 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=17048] ppid=10535 vsize=13939000 CPUtime=288.7 cores=0,2,4,6,8,10,12,14
/proc/10536/task/17048/stat : 17048 (java) R 10535 10535 8571 0 -1 4202560 17491 0 0 0 28843 27 0 0 20 0 28 0 3734235 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787948044232 139788126659848 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=17049] ppid=10535 vsize=13939000 CPUtime=290.18 cores=0,2,4,6,8,10,12,14
/proc/10536/task/17049/stat : 17049 (java) R 10535 10535 8571 0 -1 4202560 3653 0 0 0 29016 2 0 0 20 0 28 0 3734235 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787936472328 139788126584765 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=17050] ppid=10535 vsize=13939000 CPUtime=289.51 cores=0,2,4,6,8,10,12,14
/proc/10536/task/17050/stat : 17050 (java) R 10535 10535 8571 0 -1 4202560 1940 0 0 0 28950 1 0 0 20 0 28 0 3734235 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787937525656 139788125429283 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=17051] ppid=10535 vsize=13939000 CPUtime=289.26 cores=0,2,4,6,8,10,12,14
/proc/10536/task/17051/stat : 17051 (java) R 10535 10535 8571 0 -1 4202560 1163 0 0 0 28924 2 0 0 20 0 28 0 3734235 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787946992280 139788125733343 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
[pid=10536/tid=17052] ppid=10535 vsize=13939000 CPUtime=290.62 cores=0,2,4,6,8,10,12,14
/proc/10536/task/17052/stat : 17052 (java) R 10535 10535 8571 0 -1 4202560 1573 0 0 0 29062 0 0 0 20 0 28 0 3734235 14273536000 818922 33554432000 4194304 4196468 140730145384896 139787941728792 139788124700796 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19492864 140730145387708 140730145387884 140730145387884 140730145390543 0
Current children cumulated CPU time (s) 2400.7
Current children cumulated vsize (KiB) 13948512
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10535 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1106
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2212
# CPU time returned by wait4() is 0.003318
# while last known CPU time is 2400.7
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 304.732
CPU time (s): 2400.7
CPU user time (s): 2398.21
CPU system time (s): 2.49
CPU usage (%): 787.807
Max. virtual memory (cumulated for all children) (KiB): 13948512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001106
system time used= 0.002212
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
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.58253 second user time and 4.48686 second system time
The end