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-4259705-1501655109/watcher-4259705-1501655109 -o /tmp/evaluation-result-4259705-1501655109/solver-4259705-1501655109 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27967 --watchdog 300 bin/concrete HOME/instance-4259705-1501655109.xml
pid=15655
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.33 2.19 1.93 3/199 15658
/proc/meminfo: memFree=30930504/32770624 swapFree=0/251540
[pid=15658] ppid=15655 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15658/stat : 15658 (runsolver) D 15655 15658 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 7421485 24240128 106 18446744073709551615 4194304 4338465 140724307658416 140724307656056 140489500422871 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 31649792 140724307665105 140724307665479 140724307665479 140724307668938 0
/proc/15658/statm: 5918 106 53 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 2.33 2.19 1.93 3/199 15658
/proc/meminfo: memFree=30930504/32770624 swapFree=0/251540
[pid=15658] ppid=15655 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/15658/stat : 15658 (bash) S 15655 15658 3187 0 -1 4202496 651 0 0 0 0 0 0 0 20 0 1 0 7421485 9736192 352 18446744073709551615 4194304 5098028 140723156932928 140723156930568 140434402200576 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 9 0 0 7196144 7232144 8925184 140723156935186 140723156935271 140723156935271 140723156938730 0
/proc/15658/statm: 2377 352 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200271 s]
/proc/loadavg: 2.33 2.19 1.93 3/199 15658
/proc/meminfo: memFree=30930504/32770624 swapFree=0/251540
[pid=15658] ppid=15655 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/15658/stat : 15658 (bash) S 15655 15658 3187 0 -1 4202496 897 6493 0 0 0 0 0 1 20 0 1 0 7421485 9867264 377 18446744073709551615 4194304 5098028 140723156932928 140723156926936 140434402200576 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 9 0 0 7196144 7232144 8925184 140723156935186 140723156935271 140723156935271 140723156938730 0
/proc/15658/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300266 s]
/proc/loadavg: 2.33 2.19 1.93 3/199 15658
/proc/meminfo: memFree=30930504/32770624 swapFree=0/251540
[pid=15658] ppid=15655 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/15658/stat : 15658 (java) S 15655 15658 3187 0 -1 1077944320 5505 12672 0 0 5 1 4 3 20 0 14 0 7421485 14241083392 5177 18446744073709551615 4194304 4196468 140729999667936 140729999650480 140550095613687 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
/proc/15658/statm: 3476827 5177 2559 1 0 3466332 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.706191 s]
/proc/loadavg: 2.33 2.19 1.93 3/199 15658
/proc/meminfo: memFree=30930504/32770624 swapFree=0/251540
[pid=15658] ppid=15655 vsize=13974784 CPUtime=0.65 cores=1,3,5,7
/proc/15658/stat : 15658 (java) S 15655 15658 3187 0 -1 1077944320 13770 12672 0 0 54 4 4 3 20 0 15 0 7421485 14310178816 14152 18446744073709551615 4194304 4196468 140729999667936 140729999650480 140550095613687 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
/proc/15658/statm: 3493696 14152 3103 1 0 3482973 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 13974784
[startup+1.50236 s]
/proc/loadavg: 2.33 2.19 1.93 3/214 15721
/proc/meminfo: memFree=30837748/32770624 swapFree=0/251604
[pid=15658] ppid=15655 vsize=13985408 CPUtime=1.83 cores=1,3,5,7
/proc/15658/stat : 15658 (java) S 15655 15658 3187 0 -1 1077944320 28132 12672 0 0 168 8 4 3 20 0 15 0 7421485 14321057792 38091 18446744073709551615 4194304 4196468 140729999667936 140729999650480 140550095613687 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
/proc/15658/statm: 3496352 38091 3339 1 0 3485533 0
[pid=15658/tid=15708] ppid=15655 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/15658/task/15708/stat : 15708 (java) S 15655 15658 3187 0 -1 1077944384 22368 12672 0 0 115 6 4 3 20 0 15 0 7421508 14321057792 38091 18446744073709551615 4194304 4196468 140729999667936 140550099832048 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15709] ppid=15655 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15709/stat : 15709 (java) R 15655 15658 3187 0 -1 4202560 207 12672 0 0 0 0 4 3 20 0 15 0 7421508 14321057792 38091 18446744073709551615 4194304 4196468 140729999667936 140550056512400 140550080311321 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15710] ppid=15655 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15710/stat : 15710 (java) R 15655 15658 3187 0 -1 4202560 41 12672 0 0 0 0 4 3 20 0 15 0 7421508 14321057792 38091 18446744073709551615 4194304 4196468 140729999667936 140550055459600 140550080311321 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15711] ppid=15655 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15711/stat : 15711 (java) R 15655 15658 3187 0 -1 4202560 48 12672 0 0 0 0 4 3 20 0 15 0 7421508 14321057792 38091 18446744073709551615 4194304 4196468 140729999667936 140550054407312 140550080311321 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15712] ppid=15655 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15712/stat : 15712 (java) R 15655 15658 3187 0 -1 1077944384 4 12672 0 0 0 0 4 3 20 0 15 0 7421508 14321057792 38091 18446744073709551615 4194304 4196468 140729999667936 140549693041680 140550095623893 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15713] ppid=15655 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15713/stat : 15713 (java) S 15655 15658 3187 0 -1 1077944384 58 12672 0 0 0 0 4 3 20 0 15 0 7421510 14321057792 38091 18446744073709551615 4194304 4196468 140729999667936 140549574054336 140550095623893 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15714] ppid=15655 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15714/stat : 15714 (java) S 15655 15658 3187 0 -1 1077944384 33 12672 0 0 0 0 4 3 20 0 15 0 7421510 14321057792 38091 18446744073709551615 4194304 4196468 140729999667936 140549573002016 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15715] ppid=15655 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15715/stat : 15715 (java) S 15655 15658 3187 0 -1 1077944384 21 12672 0 0 0 0 4 3 20 0 15 0 7421510 14321057792 38091 18446744073709551615 4194304 4196468 140729999667936 140549571949680 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15716] ppid=15655 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15716/stat : 15716 (java) S 15655 15658 3187 0 -1 1077944384 3 12672 0 0 0 0 4 3 20 0 15 0 7421513 14321057792 38091 18446744073709551615 4194304 4196468 140729999667936 140549570898000 140550095632283 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15717] ppid=15655 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/15658/task/15717/stat : 15717 (java) S 15655 15658 3187 0 -1 1077944384 1174 12672 0 0 16 0 4 3 20 0 15 0 7421513 14321057792 38091 18446744073709551615 4194304 4196468 140729999667936 140549569845872 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15718] ppid=15655 vsize=13985408 CPUtime=0.19 cores=1,3,5,7
/proc/15658/task/15718/stat : 15718 (java) S 15655 15658 3187 0 -1 1077944384 621 12672 0 0 12 0 4 3 20 0 15 0 7421513 14321057792 38091 18446744073709551615 4194304 4196468 140729999667936 140549568793072 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15719] ppid=15655 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/15658/task/15719/stat : 15719 (java) S 15655 15658 3187 0 -1 1077944384 1387 12672 0 0 23 0 4 3 20 0 15 0 7421513 14321057792 38091 18446744073709551615 4194304 4196468 140729999667936 140549567736160 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15720] ppid=15655 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15720/stat : 15720 (java) S 15655 15658 3187 0 -1 1077944384 3 12672 0 0 0 0 4 3 20 0 15 0 7421513 14321057792 38091 18446744073709551615 4194304 4196468 140729999667936 140549566688224 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15721] ppid=15655 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15721/stat : 15721 (java) S 15655 15658 3187 0 -1 1077944384 10 12672 0 0 0 0 4 3 20 0 15 0 7421518 14321057792 38091 18446744073709551615 4194304 4196468 140729999667936 140549565634992 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 13985408
[startup+3.10075 s]
/proc/loadavg: 2.33 2.19 1.93 3/214 15721
/proc/meminfo: memFree=30762264/32770624 swapFree=0/251600
[pid=15658] ppid=15655 vsize=13997884 CPUtime=5.55 cores=1,3,5,7
/proc/15658/stat : 15658 (java) S 15655 15658 3187 0 -1 1077944320 44150 12672 0 0 534 14 4 3 20 0 15 0 7421485 14333833216 53997 18446744073709551615 4194304 4196468 140729999667936 140729999650480 140550095613687 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
/proc/15658/statm: 3499471 53997 3436 1 0 3488093 0
[pid=15658/tid=15708] ppid=15655 vsize=13997884 CPUtime=2.84 cores=1,3,5,7
/proc/15658/task/15708/stat : 15708 (java) R 15655 15658 3187 0 -1 4202560 29401 12672 0 0 269 8 4 3 20 0 15 0 7421508 14333833216 53997 18446744073709551615 4194304 4196468 140729999667936 140550099845200 140550075806503 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15709] ppid=15655 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15709/stat : 15709 (java) S 15655 15658 3187 0 -1 1077944384 228 12672 0 0 0 0 4 3 20 0 15 0 7421508 14333833216 53997 18446744073709551615 4194304 4196468 140729999667936 140550056512400 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15710] ppid=15655 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15658/task/15710/stat : 15710 (java) S 15655 15658 3187 0 -1 1077944384 55 12672 0 0 1 0 4 3 20 0 15 0 7421508 14333833216 53997 18446744073709551615 4194304 4196468 140729999667936 140550055459600 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15711] ppid=15655 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15711/stat : 15711 (java) S 15655 15658 3187 0 -1 1077944384 57 12672 0 0 0 0 4 3 20 0 15 0 7421508 14333833216 53997 18446744073709551615 4194304 4196468 140729999667936 140550054407312 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15712] ppid=15655 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15712/stat : 15712 (java) S 15655 15658 3187 0 -1 1077944384 10 12672 0 0 0 0 4 3 20 0 15 0 7421508 14333833216 53997 18446744073709551615 4194304 4196468 140729999667936 140549693041680 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15713] ppid=15655 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15658/task/15713/stat : 15713 (java) S 15655 15658 3187 0 -1 1077944384 1669 12672 0 0 1 0 4 3 20 0 15 0 7421510 14333833216 53997 18446744073709551615 4194304 4196468 140729999667936 140549574056048 140550095624834 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15714] ppid=15655 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15714/stat : 15714 (java) S 15655 15658 3187 0 -1 1077944384 55 12672 0 0 0 0 4 3 20 0 15 0 7421510 14333833216 53997 18446744073709551615 4194304 4196468 140729999667936 140549573002080 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15715] ppid=15655 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15715/stat : 15715 (java) S 15655 15658 3187 0 -1 1077944384 44 12672 0 0 0 0 4 3 20 0 15 0 7421510 14333833216 53997 18446744073709551615 4194304 4196468 140729999667936 140549571949680 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15716] ppid=15655 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15716/stat : 15716 (java) S 15655 15658 3187 0 -1 1077944384 3 12672 0 0 0 0 4 3 20 0 15 0 7421513 14333833216 53997 18446744073709551615 4194304 4196468 140729999667936 140549570898000 140550095632283 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15717] ppid=15655 vsize=13997884 CPUtime=0.88 cores=1,3,5,7
/proc/15658/task/15717/stat : 15717 (java) R 15655 15658 3187 0 -1 4202560 2418 12672 0 0 80 1 4 3 20 0 15 0 7421513 14333833216 53997 18446744073709551615 4194304 4196468 140729999667936 140549569834544 140550073630675 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15718] ppid=15655 vsize=13997884 CPUtime=0.75 cores=1,3,5,7
/proc/15658/task/15718/stat : 15718 (java) R 15655 15658 3187 0 -1 4202560 1738 12672 0 0 68 0 4 3 20 0 15 0 7421513 14333833216 53997 18446744073709551615 4194304 4196468 140729999667936 140549568792176 140550075066815 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15719] ppid=15655 vsize=13997884 CPUtime=1.16 cores=1,3,5,7
/proc/15658/task/15719/stat : 15719 (java) R 15655 15658 3187 0 -1 4202560 6308 12672 0 0 108 1 4 3 20 0 15 0 7421513 14333833216 53997 18446744073709551615 4194304 4196468 140729999667936 140549567740784 140550088713387 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15720] ppid=15655 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15720/stat : 15720 (java) S 15655 15658 3187 0 -1 1077944384 3 12672 0 0 0 0 4 3 20 0 15 0 7421513 14333833216 53997 18446744073709551615 4194304 4196468 140729999667936 140549566688224 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15721] ppid=15655 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15721/stat : 15721 (java) R 15655 15658 3187 0 -1 1077944384 13 12672 0 0 0 0 4 3 20 0 15 0 7421518 14333833216 53997 18446744073709551615 4194304 4196468 140729999667936 140549565634992 140550095624834 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
Current children cumulated CPU time (s) 5.55
Current children cumulated vsize (KiB) 13997884
[startup+6.30071 s]
/proc/loadavg: 2.38 2.21 1.93 3/214 15721
/proc/meminfo: memFree=30581356/32770624 swapFree=0/251616
[pid=15658] ppid=15655 vsize=14069564 CPUtime=12.58 cores=1,3,5,7
/proc/15658/stat : 15658 (java) S 15655 15658 3187 0 -1 1077944320 63936 12672 0 0 1230 21 4 3 20 0 15 0 7421485 14407233536 101235 18446744073709551615 4194304 4196468 140729999667936 140729999650480 140550095613687 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
/proc/15658/statm: 3517391 101235 3468 1 0 3506013 0
[pid=15658/tid=15708] ppid=15655 vsize=14069564 CPUtime=5.97 cores=1,3,5,7
/proc/15658/task/15708/stat : 15708 (java) R 15655 15658 3187 0 -1 4202560 43867 12672 0 0 579 11 4 3 20 0 15 0 7421508 14407233536 101235 18446744073709551615 4194304 4196468 140729999667936 140550099847888 140549751678491 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15709] ppid=15655 vsize=14069564 CPUtime=0.1 cores=1,3,5,7
/proc/15658/task/15709/stat : 15709 (java) S 15655 15658 3187 0 -1 1077944384 1042 12672 0 0 3 0 4 3 20 0 15 0 7421508 14407233536 101235 18446744073709551615 4194304 4196468 140729999667936 140550056512400 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15710] ppid=15655 vsize=14069564 CPUtime=0.1 cores=1,3,5,7
/proc/15658/task/15710/stat : 15710 (java) S 15655 15658 3187 0 -1 1077944384 104 12672 0 0 3 0 4 3 20 0 15 0 7421508 14407233536 101235 18446744073709551615 4194304 4196468 140729999667936 140550055459600 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15711] ppid=15655 vsize=14069564 CPUtime=0.1 cores=1,3,5,7
/proc/15658/task/15711/stat : 15711 (java) S 15655 15658 3187 0 -1 1077944384 165 12672 0 0 3 0 4 3 20 0 15 0 7421508 14407233536 101235 18446744073709551615 4194304 4196468 140729999667936 140550054407312 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15712] ppid=15655 vsize=14069564 CPUtime=0.1 cores=1,3,5,7
/proc/15658/task/15712/stat : 15712 (java) S 15655 15658 3187 0 -1 1077944384 114 12672 0 0 3 0 4 3 20 0 15 0 7421508 14407233536 101235 18446744073709551615 4194304 4196468 140729999667936 140549693041680 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15713] ppid=15655 vsize=14069564 CPUtime=0.11 cores=1,3,5,7
/proc/15658/task/15713/stat : 15713 (java) S 15655 15658 3187 0 -1 1077944384 2380 12672 0 0 4 0 4 3 20 0 15 0 7421510 14407233536 101235 18446744073709551615 4194304 4196468 140729999667936 140549574056048 140550095624834 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15714] ppid=15655 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15714/stat : 15714 (java) S 15655 15658 3187 0 -1 1077944384 55 12672 0 0 0 0 4 3 20 0 15 0 7421510 14407233536 101235 18446744073709551615 4194304 4196468 140729999667936 140549573002144 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15715] ppid=15655 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15715/stat : 15715 (java) S 15655 15658 3187 0 -1 1077944384 44 12672 0 0 0 0 4 3 20 0 15 0 7421510 14407233536 101235 18446744073709551615 4194304 4196468 140729999667936 140549571949696 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15716] ppid=15655 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15716/stat : 15716 (java) S 15655 15658 3187 0 -1 1077944384 3 12672 0 0 0 0 4 3 20 0 15 0 7421513 14407233536 101235 18446744073709551615 4194304 4196468 140729999667936 140549570898000 140550095632283 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15717] ppid=15655 vsize=14069564 CPUtime=2.36 cores=1,3,5,7
/proc/15658/task/15717/stat : 15717 (java) S 15655 15658 3187 0 -1 1077944384 3164 12672 0 0 228 1 4 3 20 0 15 0 7421513 14407233536 101235 18446744073709551615 4194304 4196468 140729999667936 140549569845872 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15718] ppid=15655 vsize=14069564 CPUtime=2.37 cores=1,3,5,7
/proc/15658/task/15718/stat : 15718 (java) S 15655 15658 3187 0 -1 1077944384 3404 12672 0 0 229 1 4 3 20 0 15 0 7421513 14407233536 101235 18446744073709551615 4194304 4196468 140729999667936 140549568793072 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15719] ppid=15655 vsize=14069564 CPUtime=1.8 cores=1,3,5,7
/proc/15658/task/15719/stat : 15719 (java) S 15655 15658 3187 0 -1 1077944384 7423 12672 0 0 171 2 4 3 20 0 15 0 7421513 14407233536 101235 18446744073709551615 4194304 4196468 140729999667936 140549567740784 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15720] ppid=15655 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15720/stat : 15720 (java) S 15655 15658 3187 0 -1 1077944384 3 12672 0 0 0 0 4 3 20 0 15 0 7421513 14407233536 101235 18446744073709551615 4194304 4196468 140729999667936 140549566688224 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15721] ppid=15655 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15721/stat : 15721 (java) S 15655 15658 3187 0 -1 1077944384 14 12672 0 0 0 0 4 3 20 0 15 0 7421518 14407233536 101235 18446744073709551615 4194304 4196468 140729999667936 140549565634992 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 14069564
[startup+12.7007 s]
/proc/loadavg: 2.27 2.19 1.93 3/214 15721
/proc/meminfo: memFree=30317056/32770624 swapFree=0/251616
[pid=15658] ppid=15655 vsize=14069564 CPUtime=19.58 cores=1,3,5,7
/proc/15658/stat : 15658 (java) S 15655 15658 3187 0 -1 1077944320 70087 12672 0 0 1925 26 4 3 20 0 15 0 7421485 14407233536 156752 18446744073709551615 4194304 4196468 140729999667936 140729999650480 140550095613687 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
/proc/15658/statm: 3517391 156752 3469 1 0 3506013 0
[pid=15658/tid=15708] ppid=15655 vsize=14069564 CPUtime=12.34 cores=1,3,5,7
/proc/15658/task/15708/stat : 15708 (java) R 15655 15658 3187 0 -1 4202560 44840 12672 0 0 1213 14 4 3 20 0 15 0 7421508 14407233536 156752 18446744073709551615 4194304 4196468 140729999667936 140550099847712 140549746577419 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15709] ppid=15655 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/15658/task/15709/stat : 15709 (java) S 15655 15658 3187 0 -1 1077944384 1219 12672 0 0 4 1 4 3 20 0 15 0 7421508 14407233536 156752 18446744073709551615 4194304 4196468 140729999667936 140550056512400 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15710] ppid=15655 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/15658/task/15710/stat : 15710 (java) S 15655 15658 3187 0 -1 1077944384 553 12672 0 0 4 1 4 3 20 0 15 0 7421508 14407233536 156752 18446744073709551615 4194304 4196468 140729999667936 140550055459600 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15711] ppid=15655 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/15658/task/15711/stat : 15711 (java) S 15655 15658 3187 0 -1 1077944384 500 12672 0 0 4 1 4 3 20 0 15 0 7421508 14407233536 156752 18446744073709551615 4194304 4196468 140729999667936 140550054407312 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15712] ppid=15655 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/15658/task/15712/stat : 15712 (java) S 15655 15658 3187 0 -1 1077944384 134 12672 0 0 4 1 4 3 20 0 15 0 7421508 14407233536 156752 18446744073709551615 4194304 4196468 140729999667936 140549693041680 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15713] ppid=15655 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/15658/task/15713/stat : 15713 (java) S 15655 15658 3187 0 -1 1077944384 2778 12672 0 0 5 0 4 3 20 0 15 0 7421510 14407233536 156752 18446744073709551615 4194304 4196468 140729999667936 140549574056048 140550095624834 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15714] ppid=15655 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15714/stat : 15714 (java) S 15655 15658 3187 0 -1 1077944384 55 12672 0 0 0 0 4 3 20 0 15 0 7421510 14407233536 156752 18446744073709551615 4194304 4196468 140729999667936 140549573002144 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15715] ppid=15655 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15715/stat : 15715 (java) S 15655 15658 3187 0 -1 1077944384 44 12672 0 0 0 0 4 3 20 0 15 0 7421510 14407233536 156752 18446744073709551615 4194304 4196468 140729999667936 140549571949696 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15716] ppid=15655 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15716/stat : 15716 (java) S 15655 15658 3187 0 -1 1077944384 3 12672 0 0 0 0 4 3 20 0 15 0 7421513 14407233536 156752 18446744073709551615 4194304 4196468 140729999667936 140549570898000 140550095632283 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
################
# More data... #
################
/proc/15658/task/15720/stat : 15720 (java) S 15655 15658 3187 0 -1 1077944384 3 12672 0 0 0 0 4 3 20 0 15 0 7421513 14407233536 220179 18446744073709551615 4194304 4196468 140729999667936 140549566688224 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15721] ppid=15655 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/15658/task/15721/stat : 15721 (java) S 15655 15658 3187 0 -1 1077944384 486 12672 0 0 2 3 4 3 20 0 15 0 7421518 14407233536 220179 18446744073709551615 4194304 4196468 140729999667936 140549565634992 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
Current children cumulated CPU time (s) 109.84
Current children cumulated vsize (KiB) 14069564
[startup+162.301 s]
/proc/loadavg: 1.40 1.86 1.84 3/214 15727
/proc/meminfo: memFree=30060852/32770624 swapFree=0/251688
[pid=15658] ppid=15655 vsize=14069564 CPUtime=170.55 cores=1,3,5,7
/proc/15658/stat : 15658 (java) S 15655 15658 3187 0 -1 1077944320 96355 12672 0 0 17000 48 4 3 20 0 15 0 7421485 14407233536 220704 18446744073709551615 4194304 4196468 140729999667936 140729999650480 140550095613687 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
/proc/15658/statm: 3517391 220704 3469 1 0 3506013 0
[pid=15658/tid=15708] ppid=15655 vsize=14069564 CPUtime=161.03 cores=1,3,5,7
/proc/15658/task/15708/stat : 15708 (java) R 15655 15658 3187 0 -1 4202560 50341 12672 0 0 16078 18 4 3 20 0 15 0 7421508 14407233536 220704 18446744073709551615 4194304 4196468 140729999667936 140550099847936 140549751679011 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15709] ppid=15655 vsize=14069564 CPUtime=0.53 cores=1,3,5,7
/proc/15658/task/15709/stat : 15709 (java) S 15655 15658 3187 0 -1 1077944384 1727 12672 0 0 42 4 4 3 20 0 15 0 7421508 14407233536 220704 18446744073709551615 4194304 4196468 140729999667936 140550056512400 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15710] ppid=15655 vsize=14069564 CPUtime=0.53 cores=1,3,5,7
/proc/15658/task/15710/stat : 15710 (java) S 15655 15658 3187 0 -1 1077944384 2418 12672 0 0 41 5 4 3 20 0 15 0 7421508 14407233536 220704 18446744073709551615 4194304 4196468 140729999667936 140550055459600 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15711] ppid=15655 vsize=14069564 CPUtime=0.53 cores=1,3,5,7
/proc/15658/task/15711/stat : 15711 (java) S 15655 15658 3187 0 -1 1077944384 2530 12672 0 0 41 5 4 3 20 0 15 0 7421508 14407233536 220704 18446744073709551615 4194304 4196468 140729999667936 140550054407312 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15712] ppid=15655 vsize=14069564 CPUtime=0.52 cores=1,3,5,7
/proc/15658/task/15712/stat : 15712 (java) S 15655 15658 3187 0 -1 1077944384 2884 12672 0 0 41 4 4 3 20 0 15 0 7421508 14407233536 220704 18446744073709551615 4194304 4196468 140729999667936 140549693041680 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15713] ppid=15655 vsize=14069564 CPUtime=0.51 cores=1,3,5,7
/proc/15658/task/15713/stat : 15713 (java) S 15655 15658 3187 0 -1 1077944384 4167 12672 0 0 41 3 4 3 20 0 15 0 7421510 14407233536 220704 18446744073709551615 4194304 4196468 140729999667936 140549574056048 140550095624834 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15714] ppid=15655 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15714/stat : 15714 (java) S 15655 15658 3187 0 -1 1077944384 55 12672 0 0 0 0 4 3 20 0 15 0 7421510 14407233536 220704 18446744073709551615 4194304 4196468 140729999667936 140549573002144 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15715] ppid=15655 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15715/stat : 15715 (java) S 15655 15658 3187 0 -1 1077944384 44 12672 0 0 0 0 4 3 20 0 15 0 7421510 14407233536 220704 18446744073709551615 4194304 4196468 140729999667936 140549571949696 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15716] ppid=15655 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15716/stat : 15716 (java) S 15655 15658 3187 0 -1 1077944384 3 12672 0 0 0 0 4 3 20 0 15 0 7421513 14407233536 220704 18446744073709551615 4194304 4196468 140729999667936 140549570898000 140550095632283 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15717] ppid=15655 vsize=14069564 CPUtime=2.78 cores=1,3,5,7
/proc/15658/task/15717/stat : 15717 (java) S 15655 15658 3187 0 -1 1077944384 7708 12672 0 0 270 1 4 3 20 0 15 0 7421513 14407233536 220704 18446744073709551615 4194304 4196468 140729999667936 140549569845872 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15718] ppid=15655 vsize=14069564 CPUtime=2.64 cores=1,3,5,7
/proc/15658/task/15718/stat : 15718 (java) S 15655 15658 3187 0 -1 1077944384 9042 12672 0 0 256 1 4 3 20 0 15 0 7421513 14407233536 220704 18446744073709551615 4194304 4196468 140729999667936 140549568793072 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15719] ppid=15655 vsize=14069564 CPUtime=1.83 cores=1,3,5,7
/proc/15658/task/15719/stat : 15719 (java) S 15655 15658 3187 0 -1 1077944384 12786 12672 0 0 174 2 4 3 20 0 15 0 7421513 14407233536 220704 18446744073709551615 4194304 4196468 140729999667936 140549567740784 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15720] ppid=15655 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15720/stat : 15720 (java) S 15655 15658 3187 0 -1 1077944384 3 12672 0 0 0 0 4 3 20 0 15 0 7421513 14407233536 220704 18446744073709551615 4194304 4196468 140729999667936 140549566688224 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15721] ppid=15655 vsize=14069564 CPUtime=0.15 cores=1,3,5,7
/proc/15658/task/15721/stat : 15721 (java) S 15655 15658 3187 0 -1 1077944384 493 12672 0 0 3 5 4 3 20 0 15 0 7421518 14407233536 220704 18446744073709551615 4194304 4196468 140729999667936 140549565634992 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
Current children cumulated CPU time (s) 170.55
Current children cumulated vsize (KiB) 14069564
[startup+222.307 s]
/proc/loadavg: 1.62 1.83 1.83 3/214 15854
/proc/meminfo: memFree=30107836/32770624 swapFree=0/251720
[pid=15658] ppid=15655 vsize=14069564 CPUtime=231.35 cores=1,3,5,7
/proc/15658/stat : 15658 (java) S 15655 15658 3187 0 -1 1077944320 99697 12672 0 0 23072 56 4 3 20 0 15 0 7421485 14407233536 220724 18446744073709551615 4194304 4196468 140729999667936 140729999650480 140550095613687 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
/proc/15658/statm: 3517391 220724 3469 1 0 3506013 0
[pid=15658/tid=15708] ppid=15655 vsize=14069564 CPUtime=220.47 cores=1,3,5,7
/proc/15658/task/15708/stat : 15708 (java) R 15655 15658 3187 0 -1 4202560 51472 12672 0 0 22021 19 4 3 20 0 15 0 7421508 14407233536 220724 18446744073709551615 4194304 4196468 140729999667936 140550099847888 140549752039944 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15709] ppid=15655 vsize=14069564 CPUtime=0.79 cores=1,3,5,7
/proc/15658/task/15709/stat : 15709 (java) S 15655 15658 3187 0 -1 1077944384 1911 12672 0 0 67 5 4 3 20 0 15 0 7421508 14407233536 220724 18446744073709551615 4194304 4196468 140729999667936 140550056512400 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15710] ppid=15655 vsize=14069564 CPUtime=0.81 cores=1,3,5,7
/proc/15658/task/15710/stat : 15710 (java) S 15655 15658 3187 0 -1 1077944384 2486 12672 0 0 67 7 4 3 20 0 15 0 7421508 14407233536 220724 18446744073709551615 4194304 4196468 140729999667936 140550055459600 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15711] ppid=15655 vsize=14069564 CPUtime=0.8 cores=1,3,5,7
/proc/15658/task/15711/stat : 15711 (java) S 15655 15658 3187 0 -1 1077944384 2660 12672 0 0 67 6 4 3 20 0 15 0 7421508 14407233536 220724 18446744073709551615 4194304 4196468 140729999667936 140550054407312 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15712] ppid=15655 vsize=14069564 CPUtime=0.8 cores=1,3,5,7
/proc/15658/task/15712/stat : 15712 (java) S 15655 15658 3187 0 -1 1077944384 4356 12672 0 0 67 6 4 3 20 0 15 0 7421508 14407233536 220724 18446744073709551615 4194304 4196468 140729999667936 140549693041680 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15713] ppid=15655 vsize=14069564 CPUtime=0.76 cores=1,3,5,7
/proc/15658/task/15713/stat : 15713 (java) S 15655 15658 3187 0 -1 1077944384 4499 12672 0 0 65 4 4 3 20 0 15 0 7421510 14407233536 220724 18446744073709551615 4194304 4196468 140729999667936 140549574056048 140550095624834 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15714] ppid=15655 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15714/stat : 15714 (java) S 15655 15658 3187 0 -1 1077944384 55 12672 0 0 0 0 4 3 20 0 15 0 7421510 14407233536 220724 18446744073709551615 4194304 4196468 140729999667936 140549573002144 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15715] ppid=15655 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15715/stat : 15715 (java) S 15655 15658 3187 0 -1 1077944384 44 12672 0 0 0 0 4 3 20 0 15 0 7421510 14407233536 220724 18446744073709551615 4194304 4196468 140729999667936 140549571949696 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15716] ppid=15655 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15716/stat : 15716 (java) S 15655 15658 3187 0 -1 1077944384 3 12672 0 0 0 0 4 3 20 0 15 0 7421513 14407233536 220724 18446744073709551615 4194304 4196468 140729999667936 140549570898000 140550095632283 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15717] ppid=15655 vsize=14069564 CPUtime=2.78 cores=1,3,5,7
/proc/15658/task/15717/stat : 15717 (java) S 15655 15658 3187 0 -1 1077944384 7711 12672 0 0 270 1 4 3 20 0 15 0 7421513 14407233536 220724 18446744073709551615 4194304 4196468 140729999667936 140549569845872 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15718] ppid=15655 vsize=14069564 CPUtime=2.64 cores=1,3,5,7
/proc/15658/task/15718/stat : 15718 (java) S 15655 15658 3187 0 -1 1077944384 9044 12672 0 0 256 1 4 3 20 0 15 0 7421513 14407233536 220724 18446744073709551615 4194304 4196468 140729999667936 140549568793072 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15719] ppid=15655 vsize=14069564 CPUtime=1.83 cores=1,3,5,7
/proc/15658/task/15719/stat : 15719 (java) S 15655 15658 3187 0 -1 1077944384 12788 12672 0 0 174 2 4 3 20 0 15 0 7421513 14407233536 220724 18446744073709551615 4194304 4196468 140729999667936 140549567740784 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15720] ppid=15655 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15720/stat : 15720 (java) S 15655 15658 3187 0 -1 1077944384 3 12672 0 0 0 0 4 3 20 0 15 0 7421513 14407233536 220724 18446744073709551615 4194304 4196468 140729999667936 140549566688224 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15721] ppid=15655 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/15658/task/15721/stat : 15721 (java) S 15655 15658 3187 0 -1 1077944384 511 12672 0 0 4 7 4 3 20 0 15 0 7421518 14407233536 220724 18446744073709551615 4194304 4196468 140729999667936 140549565634992 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
Current children cumulated CPU time (s) 231.35
Current children cumulated vsize (KiB) 14069564
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.78 1.85 1.84 3/214 15979
/proc/meminfo: memFree=30253444/32770624 swapFree=0/251852
[pid=15658] ppid=15655 vsize=14069564 CPUtime=249.3 cores=1,3,5,7
/proc/15658/stat : 15658 (java) S 15655 15658 3187 0 -1 1077944320 100158 12672 0 0 24864 59 4 3 20 0 15 0 7421485 14407233536 220600 18446744073709551615 4194304 4196468 140729999667936 140729999650480 140550095613687 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
/proc/15658/statm: 3517391 220600 3469 1 0 3506013 0
[pid=15658/tid=15708] ppid=15655 vsize=14069564 CPUtime=237.97 cores=1,3,5,7
/proc/15658/task/15708/stat : 15708 (java) R 15655 15658 3187 0 -1 4202560 51907 12672 0 0 23771 19 4 3 20 0 15 0 7421508 14407233536 220600 18446744073709551615 4194304 4196468 140729999667936 140550099848000 140549752728308 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15709] ppid=15655 vsize=14069564 CPUtime=0.87 cores=1,3,5,7
/proc/15658/task/15709/stat : 15709 (java) S 15655 15658 3187 0 -1 1077944384 1917 12672 0 0 75 5 4 3 20 0 15 0 7421508 14407233536 220600 18446744073709551615 4194304 4196468 140729999667936 140550056512400 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15710] ppid=15655 vsize=14069564 CPUtime=0.89 cores=1,3,5,7
/proc/15658/task/15710/stat : 15710 (java) S 15655 15658 3187 0 -1 1077944384 2492 12672 0 0 74 8 4 3 20 0 15 0 7421508 14407233536 220600 18446744073709551615 4194304 4196468 140729999667936 140550055459600 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15711] ppid=15655 vsize=14069564 CPUtime=0.89 cores=1,3,5,7
/proc/15658/task/15711/stat : 15711 (java) S 15655 15658 3187 0 -1 1077944384 2668 12672 0 0 76 6 4 3 20 0 15 0 7421508 14407233536 220600 18446744073709551615 4194304 4196468 140729999667936 140550054407312 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15712] ppid=15655 vsize=14069564 CPUtime=0.88 cores=1,3,5,7
/proc/15658/task/15712/stat : 15712 (java) S 15655 15658 3187 0 -1 1077944384 4361 12672 0 0 75 6 4 3 20 0 15 0 7421508 14407233536 220600 18446744073709551615 4194304 4196468 140729999667936 140549693041680 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15713] ppid=15655 vsize=14069564 CPUtime=0.84 cores=1,3,5,7
/proc/15658/task/15713/stat : 15713 (java) S 15655 15658 3187 0 -1 1077944384 4500 12672 0 0 73 4 4 3 20 0 15 0 7421510 14407233536 220600 18446744073709551615 4194304 4196468 140729999667936 140549574056048 140550095624834 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15714] ppid=15655 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15714/stat : 15714 (java) S 15655 15658 3187 0 -1 1077944384 55 12672 0 0 0 0 4 3 20 0 15 0 7421510 14407233536 220600 18446744073709551615 4194304 4196468 140729999667936 140549573002144 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15715] ppid=15655 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15715/stat : 15715 (java) S 15655 15658 3187 0 -1 1077944384 44 12672 0 0 0 0 4 3 20 0 15 0 7421510 14407233536 220600 18446744073709551615 4194304 4196468 140729999667936 140549571949696 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15716] ppid=15655 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15716/stat : 15716 (java) S 15655 15658 3187 0 -1 1077944384 3 12672 0 0 0 0 4 3 20 0 15 0 7421513 14407233536 220600 18446744073709551615 4194304 4196468 140729999667936 140549570898000 140550095632283 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15717] ppid=15655 vsize=14069564 CPUtime=2.78 cores=1,3,5,7
/proc/15658/task/15717/stat : 15717 (java) S 15655 15658 3187 0 -1 1077944384 7711 12672 0 0 270 1 4 3 20 0 15 0 7421513 14407233536 220600 18446744073709551615 4194304 4196468 140729999667936 140549569845872 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15718] ppid=15655 vsize=14069564 CPUtime=2.64 cores=1,3,5,7
/proc/15658/task/15718/stat : 15718 (java) S 15655 15658 3187 0 -1 1077944384 9044 12672 0 0 256 1 4 3 20 0 15 0 7421513 14407233536 220600 18446744073709551615 4194304 4196468 140729999667936 140549568793072 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15719] ppid=15655 vsize=14069564 CPUtime=1.83 cores=1,3,5,7
/proc/15658/task/15719/stat : 15719 (java) S 15655 15658 3187 0 -1 1077944384 12788 12672 0 0 174 2 4 3 20 0 15 0 7421513 14407233536 220600 18446744073709551615 4194304 4196468 140729999667936 140549567740784 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15720] ppid=15655 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15720/stat : 15720 (java) S 15655 15658 3187 0 -1 1077944384 3 12672 0 0 0 0 4 3 20 0 15 0 7421513 14407233536 220600 18446744073709551615 4194304 4196468 140729999667936 140549566688224 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15721] ppid=15655 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/15658/task/15721/stat : 15721 (java) S 15655 15658 3187 0 -1 1077944384 511 12672 0 0 5 8 4 3 20 0 15 0 7421518 14407233536 220600 18446744073709551615 4194304 4196468 140729999667936 140549565634992 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
Current children cumulated CPU time (s) 249.3
Current children cumulated vsize (KiB) 14069564
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 15658 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+240.201 s]
/proc/loadavg: 1.78 1.85 1.84 3/214 15979
/proc/meminfo: memFree=30253444/32770624 swapFree=0/251852
[pid=15658] ppid=15655 vsize=14202692 CPUtime=249.82 cores=1,3,5,7
/proc/15658/stat : 15658 (java) S 15655 15658 3187 0 -1 1077944320 112811 12672 0 0 24915 60 4 3 20 0 17 0 7421485 14543556608 221789 18446744073709551615 4194304 4196468 140729999667936 140729999650480 140550095613687 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
/proc/15658/statm: 3550673 221789 3469 1 0 3539295 0
[pid=15658/tid=15708] ppid=15655 vsize=14202692 CPUtime=237.98 cores=1,3,5,7
/proc/15658/task/15708/stat : 15708 (java) S 15655 15658 3187 0 -1 1077944384 52784 12672 0 0 23772 19 4 3 20 0 17 0 7421508 14543556608 221789 18446744073709551615 4194304 4196468 140729999667936 140550099851344 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15709] ppid=15655 vsize=14202692 CPUtime=0.98 cores=1,3,5,7
/proc/15658/task/15709/stat : 15709 (java) S 15655 15658 3187 0 -1 1077944384 1949 12672 0 0 86 5 4 3 20 0 17 0 7421508 14543556608 221789 18446744073709551615 4194304 4196468 140729999667936 140550056512400 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15710] ppid=15655 vsize=14202692 CPUtime=1 cores=1,3,5,7
/proc/15658/task/15710/stat : 15710 (java) S 15655 15658 3187 0 -1 1077944384 2504 12672 0 0 85 8 4 3 20 0 17 0 7421508 14543556608 221789 18446744073709551615 4194304 4196468 140729999667936 140550055459600 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15711] ppid=15655 vsize=14202692 CPUtime=0.99 cores=1,3,5,7
/proc/15658/task/15711/stat : 15711 (java) S 15655 15658 3187 0 -1 1077944384 2728 12672 0 0 86 6 4 3 20 0 17 0 7421508 14543556608 221789 18446744073709551615 4194304 4196468 140729999667936 140550054407312 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15712] ppid=15655 vsize=14202692 CPUtime=0.98 cores=1,3,5,7
/proc/15658/task/15712/stat : 15712 (java) S 15655 15658 3187 0 -1 1077944384 4404 12672 0 0 85 6 4 3 20 0 17 0 7421508 14543556608 221789 18446744073709551615 4194304 4196468 140729999667936 140549693041680 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15713] ppid=15655 vsize=14202692 CPUtime=0.93 cores=1,3,5,7
/proc/15658/task/15713/stat : 15713 (java) R 15655 15658 3187 0 -1 4202560 15087 12672 0 0 81 5 4 3 20 0 17 0 7421510 14543556608 221789 18446744073709551615 4194304 4196468 140729999667936 140549574054448 140550077252025 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15714] ppid=15655 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15714/stat : 15714 (java) S 15655 15658 3187 0 -1 1077944384 57 12672 0 0 0 0 4 3 20 0 17 0 7421510 14543556608 221789 18446744073709551615 4194304 4196468 140729999667936 140549573002048 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15715] ppid=15655 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15715/stat : 15715 (java) S 15655 15658 3187 0 -1 1077944384 44 12672 0 0 0 0 4 3 20 0 17 0 7421510 14543556608 221789 18446744073709551615 4194304 4196468 140729999667936 140549571949696 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15716] ppid=15655 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15716/stat : 15716 (java) S 15655 15658 3187 0 -1 1077944384 204 12672 0 0 0 0 4 3 20 0 17 0 7421513 14543556608 221789 18446744073709551615 4194304 4196468 140729999667936 140549570898000 140550095632283 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15717] ppid=15655 vsize=14202692 CPUtime=2.78 cores=1,3,5,7
/proc/15658/task/15717/stat : 15717 (java) S 15655 15658 3187 0 -1 1077944384 7711 12672 0 0 270 1 4 3 20 0 17 0 7421513 14543556608 221789 18446744073709551615 4194304 4196468 140729999667936 140549569845872 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15718] ppid=15655 vsize=14202692 CPUtime=2.64 cores=1,3,5,7
/proc/15658/task/15718/stat : 15718 (java) S 15655 15658 3187 0 -1 1077944384 9044 12672 0 0 256 1 4 3 20 0 17 0 7421513 14543556608 221789 18446744073709551615 4194304 4196468 140729999667936 140549568793072 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15719] ppid=15655 vsize=14202692 CPUtime=1.84 cores=1,3,5,7
/proc/15658/task/15719/stat : 15719 (java) S 15655 15658 3187 0 -1 1077944384 13279 12672 0 0 175 2 4 3 20 0 17 0 7421513 14543556608 221789 18446744073709551615 4194304 4196468 140729999667936 140549567740784 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15720] ppid=15655 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/15658/task/15720/stat : 15720 (java) S 15655 15658 3187 0 -1 1077944384 3 12672 0 0 0 0 4 3 20 0 17 0 7421513 14543556608 221789 18446744073709551615 4194304 4196468 140729999667936 140549566688224 140550095623893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
[pid=15658/tid=15721] ppid=15655 vsize=14202692 CPUtime=0.2 cores=1,3,5,7
/proc/15658/task/15721/stat : 15721 (java) S 15655 15658 3187 0 -1 1077944384 511 12672 0 0 5 8 4 3 20 0 17 0 7421518 14543556608 221789 18446744073709551615 4194304 4196468 140729999667936 140549565634992 140550095624834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20611072 140729999673294 140729999676079 140729999676079 140729999679439 0
Current children cumulated CPU time (s) 249.82
Current children cumulated vsize (KiB) 14202692
Child status: 143
Real time (s): 240.252
CPU time (s): 249.897
CPU user time (s): 249.245
CPU system time (s): 0.651711
CPU usage (%): 104.015
Max. virtual memory (cumulated for all children) (KiB): 14202692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.245
system time used= 0.651711
maximum resident set size= 887816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125803
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27957
involuntary context switches= 728
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.796653 second user time and 1.80569 second system time
The end