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-4247240-1500689530/watcher-4247240-1500689530 -o /tmp/evaluation-result-4247240-1500689530/solver-4247240-1500689530 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500684128-16796 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 99776420 HOME/instance-4247240-1500689530.xml
pid=29177
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: 2.00 2.16 5.12 3/270 29180
/proc/meminfo: memFree=26400188/32770624 swapFree=5892/118632
[pid=29180] ppid=29177 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29180/stat : 29180 (xcsp3-exec) S 29177 29180 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4222694 9740288 346 33554432000 4194304 5098028 140725628888128 140725628886232 140057772946044 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32845824 140725628892304 140725628892512 140725628892512 140725628895211 0
/proc/29180/statm: 2378 346 289 221 0 87 0
[startup+0.100128 s]
/proc/loadavg: 2.00 2.16 5.12 3/270 29180
/proc/meminfo: memFree=26400188/32770624 swapFree=5892/118632
[pid=29180] ppid=29177 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29180/stat : 29180 (xcsp3-exec) S 29177 29180 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4222694 9740288 346 33554432000 4194304 5098028 140725628888128 140725628886232 140057772946044 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32845824 140725628892304 140725628892512 140725628892512 140725628895211 0
/proc/29180/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200296 s]
/proc/loadavg: 2.00 2.16 5.12 3/270 29180
/proc/meminfo: memFree=26400188/32770624 swapFree=5892/118632
[pid=29180] ppid=29177 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29180/stat : 29180 (xcsp3-exec) S 29177 29180 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4222694 9740288 346 33554432000 4194304 5098028 140725628888128 140725628886232 140057772946044 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32845824 140725628892304 140725628892512 140725628892512 140725628895211 0
/proc/29180/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300308 s]
/proc/loadavg: 2.00 2.16 5.12 3/270 29180
/proc/meminfo: memFree=26400188/32770624 swapFree=5892/118632
[pid=29180] ppid=29177 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29180/stat : 29180 (xcsp3-exec) S 29177 29180 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4222694 9740288 346 33554432000 4194304 5098028 140725628888128 140725628886232 140057772946044 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32845824 140725628892304 140725628892512 140725628892512 140725628895211 0
/proc/29180/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700216 s]
/proc/loadavg: 2.00 2.16 5.12 3/270 29180
/proc/meminfo: memFree=26400188/32770624 swapFree=5892/118632
[pid=29180] ppid=29177 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29180/stat : 29180 (xcsp3-exec) S 29177 29180 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4222694 9740288 346 33554432000 4194304 5098028 140725628888128 140725628886232 140057772946044 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32845824 140725628892304 140725628892512 140725628892512 140725628895211 0
/proc/29180/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50154 s]
/proc/loadavg: 2.00 2.16 5.12 14/299 29209
/proc/meminfo: memFree=26287372/32770624 swapFree=5892/118688
[pid=29180] ppid=29177 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29180/stat : 29180 (xcsp3-exec) S 29177 29180 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4222694 9740288 346 33554432000 4194304 5098028 140725628888128 140725628886232 140057772946044 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32845824 140725628892304 140725628892512 140725628892512 140725628895211 0
/proc/29180/statm: 2378 346 289 221 0 87 0
[pid=29181] ppid=29180 vsize=13801768 CPUtime=7.73 cores=0,2,4,6,8,10,12,14
/proc/29181/stat : 29181 (java) S 29180 29180 15667 0 -1 1077944320 17659 0 0 0 766 7 0 0 20 0 28 0 4222694 14133010432 39963 33554432000 4194304 4196468 140723797586688 140723797569232 139887805972215 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
/proc/29181/statm: 3450442 39963 3224 1 0 3437675 0
[pid=29181/tid=29182] ppid=29180 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29182/stat : 29182 (java) S 29180 29180 15667 0 -1 1077944384 6786 0 0 0 68 3 0 0 20 0 28 0 4222694 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887810212992 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29184] ppid=29180 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29184/stat : 29184 (java) S 29180 29180 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4222695 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887758592528 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29185] ppid=29180 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29185/stat : 29185 (java) S 29180 29180 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4222695 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887757539984 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29186] ppid=29180 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29186/stat : 29186 (java) S 29180 29180 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4222695 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887403006224 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29187] ppid=29180 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29187/stat : 29187 (java) S 29180 29180 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4222695 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887401953680 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29188] ppid=29180 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29188/stat : 29188 (java) S 29180 29180 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4222695 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887400901648 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29189] ppid=29180 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29189/stat : 29189 (java) S 29180 29180 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4222695 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887399849104 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29190] ppid=29180 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29190/stat : 29190 (java) S 29180 29180 15667 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4222695 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887398796048 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29191] ppid=29180 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29191/stat : 29191 (java) S 29180 29180 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4222695 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887397743504 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29192] ppid=29180 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29192/stat : 29192 (java) S 29180 29180 15667 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4222697 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887134009584 139887805983362 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29193] ppid=29180 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29193/stat : 29193 (java) S 29180 29180 15667 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4222698 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887132955808 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29194] ppid=29180 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29194/stat : 29194 (java) S 29180 29180 15667 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4222698 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887131902704 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29195] ppid=29180 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29195/stat : 29195 (java) S 29180 29180 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4222702 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887130851280 139887805990811 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29196] ppid=29180 vsize=13801768 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29196/stat : 29196 (java) R 29180 29180 15667 0 -1 4202560 2417 0 0 0 69 0 0 0 20 0 28 0 4222702 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887129795776 139887785187613 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29197] ppid=29180 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29197/stat : 29197 (java) R 29180 29180 15667 0 -1 4202560 1893 0 0 0 71 0 0 0 20 0 28 0 4222702 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887128733408 139887787492296 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29198] ppid=29180 vsize=13801768 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29198/stat : 29198 (java) R 29180 29180 15667 0 -1 4202560 2225 0 0 0 61 0 0 0 20 0 28 0 4222702 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887127679688 139887787516892 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29199] ppid=29180 vsize=13801768 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29199/stat : 29199 (java) S 29180 29180 15667 0 -1 1077944384 2631 0 0 0 63 0 0 0 20 0 28 0 4222702 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887126641264 139887805983362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29200] ppid=29180 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29200/stat : 29200 (java) S 29180 29180 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4222702 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887125588448 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29201] ppid=29180 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29201/stat : 29201 (java) S 29180 29180 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4222703 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887124535984 139887805983362 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29202] ppid=29180 vsize=13801768 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29202/stat : 29202 (java) R 29180 29180 15667 0 -1 4202560 64 0 0 0 52 0 0 0 20 0 28 0 4222768 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887116521808 139887442185393 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29203] ppid=29180 vsize=13801768 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29203/stat : 29203 (java) R 29180 29180 15667 0 -1 4202560 50 0 0 0 46 0 0 0 20 0 28 0 4222768 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887115468312 139887442864597 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29204] ppid=29180 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29204/stat : 29204 (java) R 29180 29180 15667 0 -1 4202560 45 0 0 0 59 0 0 0 20 0 28 0 4222768 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887114412952 139887442436192 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29205] ppid=29180 vsize=13801768 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29205/stat : 29205 (java) R 29180 29180 15667 0 -1 4202560 87 0 0 0 52 0 0 0 20 0 28 0 4222768 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887113364088 139887442161728 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29206] ppid=29180 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29206/stat : 29206 (java) R 29180 29180 15667 0 -1 4202560 30 0 0 0 59 0 0 0 20 0 28 0 4222768 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887112312104 139887442118607 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29207] ppid=29180 vsize=13801768 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29207/stat : 29207 (java) R 29180 29180 15667 0 -1 4202560 36 0 0 0 40 0 0 0 20 0 28 0 4222768 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887111254768 139887438289096 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29208] ppid=29180 vsize=13801768 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29208/stat : 29208 (java) R 29180 29180 15667 0 -1 4202560 43 0 0 0 62 0 0 0 20 0 28 0 4222768 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887110201880 139887441966256 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29209] ppid=29180 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29209/stat : 29209 (java) R 29180 29180 15667 0 -1 4202560 41 0 0 0 59 0 0 0 20 0 28 0 4222768 14133010432 39963 33554432000 4194304 4196468 140723797586688 139887109152888 139887442953055 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
Current children cumulated CPU time (s) 7.73
Current children cumulated vsize (KiB) 13811280
[startup+3.10155 s]
/proc/loadavg: 2.64 2.29 5.15 14/299 29209
/proc/meminfo: memFree=26200012/32770624 swapFree=5892/118688
[pid=29180] ppid=29177 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29180/stat : 29180 (xcsp3-exec) S 29177 29180 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4222694 9740288 346 33554432000 4194304 5098028 140725628888128 140725628886232 140057772946044 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32845824 140725628892304 140725628892512 140725628892512 140725628895211 0
/proc/29180/statm: 2378 346 289 221 0 87 0
[pid=29181] ppid=29180 vsize=13807688 CPUtime=20.25 cores=0,2,4,6,8,10,12,14
/proc/29181/stat : 29181 (java) S 29180 29180 15667 0 -1 1077944320 44798 0 0 0 2009 16 0 0 20 0 28 0 4222694 14139072512 68978 33554432000 4194304 4196468 140723797586688 140723797569232 139887805972215 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
/proc/29181/statm: 3451922 68978 3250 1 0 3439155 0
[pid=29181/tid=29182] ppid=29180 vsize=13807688 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29182/stat : 29182 (java) S 29180 29180 15667 0 -1 1077944384 6786 0 0 0 68 3 0 0 20 0 28 0 4222694 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887810212992 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29184] ppid=29180 vsize=13807688 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29184/stat : 29184 (java) S 29180 29180 15667 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 28 0 4222695 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887758592528 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29185] ppid=29180 vsize=13807688 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29185/stat : 29185 (java) S 29180 29180 15667 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 4222695 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887757539984 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29186] ppid=29180 vsize=13807688 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29186/stat : 29186 (java) S 29180 29180 15667 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 4222695 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887403006224 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29187] ppid=29180 vsize=13807688 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29187/stat : 29187 (java) S 29180 29180 15667 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 28 0 4222695 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887401953680 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29188] ppid=29180 vsize=13807688 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29188/stat : 29188 (java) S 29180 29180 15667 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4222695 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887400901648 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29189] ppid=29180 vsize=13807688 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29189/stat : 29189 (java) S 29180 29180 15667 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4222695 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887399849104 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29190] ppid=29180 vsize=13807688 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29190/stat : 29190 (java) S 29180 29180 15667 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 4222695 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887398796048 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29191] ppid=29180 vsize=13807688 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29191/stat : 29191 (java) S 29180 29180 15667 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4222695 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887397743504 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29192] ppid=29180 vsize=13807688 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29192/stat : 29192 (java) S 29180 29180 15667 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 4222697 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887134009584 139887805983362 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29193] ppid=29180 vsize=13807688 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29193/stat : 29193 (java) S 29180 29180 15667 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4222698 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887132955808 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29194] ppid=29180 vsize=13807688 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29194/stat : 29194 (java) S 29180 29180 15667 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4222698 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887131902720 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29195] ppid=29180 vsize=13807688 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29195/stat : 29195 (java) S 29180 29180 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4222702 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887130851280 139887805990811 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29196] ppid=29180 vsize=13807688 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29196/stat : 29196 (java) R 29180 29180 15667 0 -1 4202560 11007 0 0 0 147 2 0 0 20 0 28 0 4222702 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887129785144 139887785216041 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29197] ppid=29180 vsize=13807688 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29197/stat : 29197 (java) R 29180 29180 15667 0 -1 4202560 13117 0 0 0 162 2 0 0 20 0 28 0 4222702 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887128732328 139887798261597 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29198] ppid=29180 vsize=13807688 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29198/stat : 29198 (java) R 29180 29180 15667 0 -1 4202560 8109 0 0 0 138 2 0 0 20 0 28 0 4222702 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887127679688 139887790359270 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29199] ppid=29180 vsize=13807688 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29199/stat : 29199 (java) S 29180 29180 15667 0 -1 1077944384 2817 0 0 0 67 0 0 0 20 0 28 0 4222702 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887126641264 139887805983362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29200] ppid=29180 vsize=13807688 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29200/stat : 29200 (java) S 29180 29180 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4222702 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887125588448 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29201] ppid=29180 vsize=13807688 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29201/stat : 29201 (java) S 29180 29180 15667 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4222703 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887124535984 139887805983362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29202] ppid=29180 vsize=13807688 CPUtime=1.78 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29202/stat : 29202 (java) R 29180 29180 15667 0 -1 4202560 115 0 0 0 178 0 0 0 20 0 28 0 4222768 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887116524328 139887438288192 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29203] ppid=29180 vsize=13807688 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29203/stat : 29203 (java) R 29180 29180 15667 0 -1 4202560 92 0 0 0 171 0 0 0 20 0 28 0 4222768 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887115472336 139887443070432 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29204] ppid=29180 vsize=13807688 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29204/stat : 29204 (java) R 29180 29180 15667 0 -1 4202560 155 0 0 0 185 0 0 0 20 0 28 0 4222768 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887114416656 139887441998224 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29205] ppid=29180 vsize=13807688 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29205/stat : 29205 (java) R 29180 29180 15667 0 -1 4202560 195 0 0 0 161 0 0 0 20 0 28 0 4222768 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887113362896 139887443297583 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29206] ppid=29180 vsize=13807688 CPUtime=1.97 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29206/stat : 29206 (java) R 29180 29180 15667 0 -1 4202560 105 0 0 0 197 0 0 0 20 0 28 0 4222768 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887112315272 139887443245018 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29207] ppid=29180 vsize=13807688 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29207/stat : 29207 (java) R 29180 29180 15667 0 -1 4202560 69 0 0 0 177 0 0 0 20 0 28 0 4222768 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887111262224 139887442119345 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29208] ppid=29180 vsize=13807688 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29208/stat : 29208 (java) R 29180 29180 15667 0 -1 4202560 135 0 0 0 174 0 0 0 20 0 28 0 4222768 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887110209168 139887442186005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29209] ppid=29180 vsize=13807688 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29209/stat : 29209 (java) R 29180 29180 15667 0 -1 4202560 138 0 0 0 173 0 0 0 20 0 28 0 4222768 14139072512 68978 33554432000 4194304 4196468 140723797586688 139887109157128 139887443070540 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
Current children cumulated CPU time (s) 20.25
Current children cumulated vsize (KiB) 13817200
[startup+6.30169 s]
/proc/loadavg: 2.64 2.29 5.15 10/299 29209
/proc/meminfo: memFree=26133140/32770624 swapFree=5892/118696
################
# More data... #
################
[pid=29181/tid=29208] ppid=29180 vsize=13801768 CPUtime=217.08 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29208/stat : 29208 (java) R 29180 29180 15667 0 -1 4202560 3256 0 0 0 21702 6 0 0 20 0 28 0 4222768 14133010432 934093 33554432000 4194304 4196468 140723797586688 139887110206072 139887443046982 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29209] ppid=29180 vsize=13801768 CPUtime=217.19 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29209/stat : 29209 (java) R 29180 29180 15667 0 -1 4202560 2898 0 0 0 21710 9 0 0 20 0 28 0 4222768 14133010432 934093 33554432000 4194304 4196468 140723797586688 139887109157256 139887444057548 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
Current children cumulated CPU time (s) 1758.3
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 8.94 6.38 6.15 10/299 29213
/proc/meminfo: memFree=22567108/32770624 swapFree=5892/118952
[pid=29180] ppid=29177 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29180/stat : 29180 (xcsp3-exec) S 29177 29180 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4222694 9740288 346 33554432000 4194304 5098028 140725628888128 140725628886232 140057772946044 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32845824 140725628892304 140725628892512 140725628892512 140725628895211 0
/proc/29180/statm: 2378 346 289 221 0 87 0
[pid=29181] ppid=29180 vsize=13801768 CPUtime=2234.2 cores=0,2,4,6,8,10,12,14
/proc/29181/stat : 29181 (java) S 29180 29180 15667 0 -1 1077944320 98381 0 0 0 222950 470 0 0 20 0 28 0 4222694 14133010432 957236 33554432000 4194304 4196468 140723797586688 140723797569232 139887805972215 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
/proc/29181/statm: 3450442 957236 3276 1 0 3437675 0
[pid=29181/tid=29182] ppid=29180 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29182/stat : 29182 (java) S 29180 29180 15667 0 -1 1077944384 6786 0 0 0 68 3 0 0 20 0 28 0 4222694 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887810212992 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29184] ppid=29180 vsize=13801768 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29184/stat : 29184 (java) S 29180 29180 15667 0 -1 1077944384 1618 0 0 0 156 37 0 0 20 0 28 0 4222695 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887758592528 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29185] ppid=29180 vsize=13801768 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29185/stat : 29185 (java) S 29180 29180 15667 0 -1 1077944384 2002 0 0 0 149 40 0 0 20 0 28 0 4222695 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887757539984 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29186] ppid=29180 vsize=13801768 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29186/stat : 29186 (java) S 29180 29180 15667 0 -1 1077944384 1823 0 0 0 157 39 0 0 20 0 28 0 4222695 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887403006224 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29187] ppid=29180 vsize=13801768 CPUtime=1.98 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29187/stat : 29187 (java) S 29180 29180 15667 0 -1 1077944384 1234 0 0 0 159 39 0 0 20 0 28 0 4222695 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887401953680 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29188] ppid=29180 vsize=13801768 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29188/stat : 29188 (java) S 29180 29180 15667 0 -1 1077944384 1025 0 0 0 152 38 0 0 20 0 28 0 4222695 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887400901648 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29189] ppid=29180 vsize=13801768 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29189/stat : 29189 (java) S 29180 29180 15667 0 -1 1077944384 1644 0 0 0 159 37 0 0 20 0 28 0 4222695 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887399849104 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29190] ppid=29180 vsize=13801768 CPUtime=1.87 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29190/stat : 29190 (java) S 29180 29180 15667 0 -1 1077944384 1170 0 0 0 153 34 0 0 20 0 28 0 4222695 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887398796048 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29191] ppid=29180 vsize=13801768 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29191/stat : 29191 (java) S 29180 29180 15667 0 -1 1077944384 1222 0 0 0 158 38 0 0 20 0 28 0 4222695 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887397743504 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29192] ppid=29180 vsize=13801768 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29192/stat : 29192 (java) S 29180 29180 15667 0 -1 1077944384 11538 0 0 0 44 55 0 0 20 0 28 0 4222697 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887134009584 139887805983362 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29193] ppid=29180 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29193/stat : 29193 (java) S 29180 29180 15667 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4222698 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887132955808 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29194] ppid=29180 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29194/stat : 29194 (java) S 29180 29180 15667 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4222698 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887131902720 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29195] ppid=29180 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29195/stat : 29195 (java) S 29180 29180 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4222702 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887130851280 139887805990811 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29196] ppid=29180 vsize=13801768 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29196/stat : 29196 (java) S 29180 29180 15667 0 -1 1077944384 12589 0 0 0 198 2 0 0 20 0 28 0 4222702 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887129799408 139887805983362 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29197] ppid=29180 vsize=13801768 CPUtime=2.3 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29197/stat : 29197 (java) S 29180 29180 15667 0 -1 1077944384 16570 0 0 0 227 3 0 0 20 0 28 0 4222702 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887128746864 139887805983362 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29198] ppid=29180 vsize=13801768 CPUtime=1.98 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29198/stat : 29198 (java) S 29180 29180 15667 0 -1 1077944384 10835 0 0 0 195 3 0 0 20 0 28 0 4222702 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887127693808 139887805983362 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29199] ppid=29180 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29199/stat : 29199 (java) S 29180 29180 15667 0 -1 1077944384 4561 0 0 0 73 0 0 0 20 0 28 0 4222702 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887126641264 139887805983362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29200] ppid=29180 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29200/stat : 29200 (java) S 29180 29180 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4222702 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887125588448 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29201] ppid=29180 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29201/stat : 29201 (java) S 29180 29180 15667 0 -1 1077944384 198 0 0 0 7 7 0 0 20 0 28 0 4222703 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887124535984 139887805983362 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29202] ppid=29180 vsize=13801768 CPUtime=276.63 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29202/stat : 29202 (java) R 29180 29180 15667 0 -1 4202560 2910 0 0 0 27648 15 0 0 20 0 28 0 4222768 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887116523888 140723798091965 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29203] ppid=29180 vsize=13801768 CPUtime=275.91 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29203/stat : 29203 (java) R 29180 29180 15667 0 -1 4202560 2866 0 0 0 27565 26 0 0 20 0 28 0 4222768 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887115472528 139887442185149 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29204] ppid=29180 vsize=13801768 CPUtime=276.59 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29204/stat : 29204 (java) R 29180 29180 15667 0 -1 4202560 2482 0 0 0 27650 9 0 0 20 0 28 0 4222768 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887114420496 139887442185194 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29205] ppid=29180 vsize=13801768 CPUtime=276.33 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29205/stat : 29205 (java) R 29180 29180 15667 0 -1 4202560 3831 0 0 0 27622 11 0 0 20 0 28 0 4222768 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887113367888 139887443319694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29206] ppid=29180 vsize=13801768 CPUtime=276.03 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29206/stat : 29206 (java) R 29180 29180 15667 0 -1 4202560 2433 0 0 0 27596 7 0 0 20 0 28 0 4222768 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887112315400 139887443803427 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29207] ppid=29180 vsize=13801768 CPUtime=275.87 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29207/stat : 29207 (java) R 29180 29180 15667 0 -1 4202560 475 0 0 0 27586 1 0 0 20 0 28 0 4222768 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887111262856 139887443411200 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29208] ppid=29180 vsize=13801768 CPUtime=275.91 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29208/stat : 29208 (java) R 29180 29180 15667 0 -1 4202560 3567 0 0 0 27581 10 0 0 20 0 28 0 4222768 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887110206072 139887443207714 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29209] ppid=29180 vsize=13801768 CPUtime=276.4 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29209/stat : 29209 (java) R 29180 29180 15667 0 -1 4202560 3667 0 0 0 27629 11 0 0 20 0 28 0 4222768 14133010432 957236 33554432000 4194304 4196468 140723797586688 139887109155664 139887443319591 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
Current children cumulated CPU time (s) 2234.2
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.201 s]
/proc/loadavg: 8.96 6.55 6.21 10/299 29214
/proc/meminfo: memFree=22770268/32770624 swapFree=5892/118980
[pid=29180] ppid=29177 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29180/stat : 29180 (xcsp3-exec) S 29177 29180 15667 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4222694 9740288 346 33554432000 4194304 5098028 140725628888128 140725628886232 140057772946044 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 32845824 140725628892304 140725628892512 140725628892512 140725628895211 0
/proc/29180/statm: 2378 346 289 221 0 87 0
[pid=29181] ppid=29180 vsize=13801768 CPUtime=2400.4 cores=0,2,4,6,8,10,12,14
/proc/29181/stat : 29181 (java) S 29180 29180 15667 0 -1 1077944320 101687 0 0 0 239565 475 0 0 20 0 28 0 4222694 14133010432 906042 33554432000 4194304 4196468 140723797586688 140723797569232 139887805972215 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
/proc/29181/statm: 3450442 906042 3276 1 0 3437675 0
[pid=29181/tid=29182] ppid=29180 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29182/stat : 29182 (java) S 29180 29180 15667 0 -1 1077944384 6786 0 0 0 68 3 0 0 20 0 28 0 4222694 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887810212992 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29184] ppid=29180 vsize=13801768 CPUtime=1.99 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29184/stat : 29184 (java) S 29180 29180 15667 0 -1 1077944384 1918 0 0 0 162 37 0 0 20 0 28 0 4222695 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887758592528 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29185] ppid=29180 vsize=13801768 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29185/stat : 29185 (java) S 29180 29180 15667 0 -1 1077944384 2130 0 0 0 155 40 0 0 20 0 28 0 4222695 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887757539984 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29186] ppid=29180 vsize=13801768 CPUtime=2.01 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29186/stat : 29186 (java) S 29180 29180 15667 0 -1 1077944384 1938 0 0 0 162 39 0 0 20 0 28 0 4222695 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887403006224 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29187] ppid=29180 vsize=13801768 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29187/stat : 29187 (java) S 29180 29180 15667 0 -1 1077944384 1287 0 0 0 165 39 0 0 20 0 28 0 4222695 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887401953680 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29188] ppid=29180 vsize=13801768 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29188/stat : 29188 (java) S 29180 29180 15667 0 -1 1077944384 1090 0 0 0 158 38 0 0 20 0 28 0 4222695 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887400901648 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29189] ppid=29180 vsize=13801768 CPUtime=2.03 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29189/stat : 29189 (java) S 29180 29180 15667 0 -1 1077944384 1780 0 0 0 165 38 0 0 20 0 28 0 4222695 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887399849104 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29190] ppid=29180 vsize=13801768 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29190/stat : 29190 (java) S 29180 29180 15667 0 -1 1077944384 1210 0 0 0 159 34 0 0 20 0 28 0 4222695 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887398796048 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29191] ppid=29180 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29191/stat : 29191 (java) S 29180 29180 15667 0 -1 1077944384 1359 0 0 0 164 38 0 0 20 0 28 0 4222695 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887397743504 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29192] ppid=29180 vsize=13801768 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29192/stat : 29192 (java) S 29180 29180 15667 0 -1 1077944384 11809 0 0 0 46 57 0 0 20 0 28 0 4222697 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887134009584 139887805983362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29193] ppid=29180 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29193/stat : 29193 (java) S 29180 29180 15667 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4222698 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887132955808 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29194] ppid=29180 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29194/stat : 29194 (java) S 29180 29180 15667 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4222698 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887131902720 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29195] ppid=29180 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29195/stat : 29195 (java) S 29180 29180 15667 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4222702 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887130851280 139887805990811 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29196] ppid=29180 vsize=13801768 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29196/stat : 29196 (java) S 29180 29180 15667 0 -1 1077944384 12592 0 0 0 198 2 0 0 20 0 28 0 4222702 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887129799408 139887805983362 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29197] ppid=29180 vsize=13801768 CPUtime=2.3 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29197/stat : 29197 (java) S 29180 29180 15667 0 -1 1077944384 16574 0 0 0 227 3 0 0 20 0 28 0 4222702 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887128746864 139887805983362 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29198] ppid=29180 vsize=13801768 CPUtime=1.98 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29198/stat : 29198 (java) S 29180 29180 15667 0 -1 1077944384 10842 0 0 0 195 3 0 0 20 0 28 0 4222702 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887127693808 139887805983362 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29199] ppid=29180 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29199/stat : 29199 (java) S 29180 29180 15667 0 -1 1077944384 4565 0 0 0 73 0 0 0 20 0 28 0 4222702 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887126641264 139887805983362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29200] ppid=29180 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29200/stat : 29200 (java) S 29180 29180 15667 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4222702 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887125588448 139887805982421 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29201] ppid=29180 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29201/stat : 29201 (java) S 29180 29180 15667 0 -1 1077944384 230 0 0 0 8 7 0 0 20 0 28 0 4222703 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887124535984 139887805983362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29202] ppid=29180 vsize=13801768 CPUtime=297.35 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29202/stat : 29202 (java) R 29180 29180 15667 0 -1 4202560 2958 0 0 0 29720 15 0 0 20 0 28 0 4222768 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887116520216 139887443004096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29203] ppid=29180 vsize=13801768 CPUtime=296.31 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29203/stat : 29203 (java) R 29180 29180 15667 0 -1 4202560 2917 0 0 0 29605 26 0 0 20 0 28 0 4222768 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887115469304 139887442186161 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29204] ppid=29180 vsize=13801768 CPUtime=297.38 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29204/stat : 29204 (java) R 29180 29180 15667 0 -1 4202560 2754 0 0 0 29729 9 0 0 20 0 28 0 4222768 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887114416456 139887443319568 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29205] ppid=29180 vsize=13801768 CPUtime=296.99 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29205/stat : 29205 (java) R 29180 29180 15667 0 -1 4202560 4019 0 0 0 29688 11 0 0 20 0 28 0 4222768 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887113363912 139887443319631 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29206] ppid=29180 vsize=13801768 CPUtime=296.8 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29206/stat : 29206 (java) R 29180 29180 15667 0 -1 4202560 2764 0 0 0 29673 7 0 0 20 0 28 0 4222768 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887112313808 139887443803427 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29207] ppid=29180 vsize=13801768 CPUtime=296.64 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29207/stat : 29207 (java) R 29180 29180 15667 0 -1 4202560 527 0 0 0 29663 1 0 0 20 0 28 0 4222768 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887111258616 139887441998233 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29208] ppid=29180 vsize=13801768 CPUtime=296.7 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29208/stat : 29208 (java) R 29180 29180 15667 0 -1 4202560 4228 0 0 0 29660 10 0 0 20 0 28 0 4222768 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887110205560 139887443866296 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
[pid=29181/tid=29209] ppid=29180 vsize=13801768 CPUtime=297.16 cores=0,2,4,6,8,10,12,14
/proc/29181/task/29209/stat : 29209 (java) R 29180 29180 15667 0 -1 4202560 4075 0 0 0 29705 11 0 0 20 0 28 0 4222768 14133010432 906042 33554432000 4194304 4196468 140723797586688 139887109152624 139887444057956 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25243648 140723797591228 140723797591404 140723797591404 140723797594063 0
Current children cumulated CPU time (s) 2400.4
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 29181 sig 9
??? kill 29180 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29180 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1147
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1147
# CPU time returned by wait4() is 0.002294
# while last known CPU time is 2400.4
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.212
CPU time (s): 2400.4
CPU user time (s): 2395.65
CPU system time (s): 4.75
CPU usage (%): 791.657
Max. virtual memory (cumulated for all children) (KiB): 13817200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001147
system time used= 0.001147
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= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.97877 second user time and 4.7762 second system time
The end