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-4259769-1501996010/watcher-4259769-1501996010 -o /tmp/evaluation-result-4259769-1501996010/solver-4259769-1501996010 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501995163-16060 --watchdog 300 bin/concrete HOME/instance-4259769-1501996010.xml
pid=16080
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: 0.95 1.33 1.54 3/181 16085
/proc/meminfo: memFree=31582352/32770624 swapFree=0/296936
[pid=16085] ppid=16080 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/16085/stat : 16085 (runsolver) D 16080 16085 30500 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 47416317 24240128 106 18446744073709551615 4194304 4338465 140733010082032 140733010079672 139685212095191 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 35229696 140733010084054 140733010084428 140733010084428 140733010087882 0
/proc/16085/statm: 5918 106 53 36 0 2156 0
[startup+0.100115 s]
/proc/loadavg: 0.95 1.33 1.54 3/181 16085
/proc/meminfo: memFree=31582352/32770624 swapFree=0/296936
[pid=16085] ppid=16080 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/16085/stat : 16085 (bash) S 16080 16085 30500 0 -1 4202496 715 3539 0 0 0 0 0 0 20 0 1 0 47416317 9736192 355 18446744073709551615 4194304 5098028 140727836881120 140727836878760 140487528614912 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 8 0 0 7196144 7232144 11988992 140727836885527 140727836885612 140727836885612 140727836889066 0
/proc/16085/statm: 2377 355 282 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200193 s]
/proc/loadavg: 0.95 1.33 1.54 3/181 16085
/proc/meminfo: memFree=31582352/32770624 swapFree=0/296936
[pid=16085] ppid=16080 vsize=100812 CPUtime=0.07 cores=1,3,5,7
/proc/16085/stat : 16085 (java) S 16080 16085 30500 0 -1 1077944320 2245 12507 0 0 0 0 5 2 20 0 2 0 47416317 103231488 1176 18446744073709551615 4194304 4196468 140721932803600 140721932786144 140172526771959 0 0 1 0 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
/proc/16085/statm: 25203 1176 874 1 0 16801 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 100812
[startup+0.300238 s]
/proc/loadavg: 0.95 1.33 1.54 3/181 16085
/proc/meminfo: memFree=31582352/32770624 swapFree=0/296936
[pid=16085] ppid=16080 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/16085/stat : 16085 (java) S 16080 16085 30500 0 -1 1077944320 5543 12507 0 0 5 1 5 2 20 0 14 0 47416317 14241083392 5224 18446744073709551615 4194304 4196468 140721932803600 140721932786144 140172526771959 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
/proc/16085/statm: 3476827 5224 2562 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.700238 s]
/proc/loadavg: 0.95 1.33 1.54 3/181 16085
/proc/meminfo: memFree=31582352/32770624 swapFree=0/296936
[pid=16085] ppid=16080 vsize=13974784 CPUtime=0.68 cores=1,3,5,7
/proc/16085/stat : 16085 (java) S 16080 16085 30500 0 -1 1077944320 13960 12507 0 0 58 3 5 2 20 0 15 0 47416317 14310178816 14887 18446744073709551615 4194304 4196468 140721932803600 140721932786144 140172526771959 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
/proc/16085/statm: 3493696 14887 3115 1 0 3482965 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13974784
[startup+1.50503 s]
/proc/loadavg: 0.95 1.33 1.54 3/214 16214
/proc/meminfo: memFree=31399752/32770624 swapFree=0/297264
[pid=16085] ppid=16080 vsize=13985408 CPUtime=1.89 cores=1,3,5,7
/proc/16085/stat : 16085 (java) S 16080 16085 30500 0 -1 1077944320 28885 12507 0 0 172 10 5 2 20 0 15 0 47416317 14321057792 43261 18446744073709551615 4194304 4196468 140721932803600 140721932786144 140172526771959 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
/proc/16085/statm: 3496352 43261 3368 1 0 3485525 0
[pid=16085/tid=16183] ppid=16080 vsize=13985408 CPUtime=1.27 cores=1,3,5,7
/proc/16085/task/16183/stat : 16183 (java) S 16080 16085 30500 0 -1 1077944384 22583 12507 0 0 114 6 5 2 20 0 15 0 47416337 14321057792 43261 18446744073709551615 4194304 4196468 140721932803600 140172530989264 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16184] ppid=16080 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16184/stat : 16184 (java) S 16080 16085 30500 0 -1 1077944384 48 12507 0 0 0 0 5 2 20 0 15 0 47416337 14321057792 43261 18446744073709551615 4194304 4196468 140721932803600 140172446186000 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16185] ppid=16080 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16185/stat : 16185 (java) S 16080 16085 30500 0 -1 1077944384 41 12507 0 0 0 0 5 2 20 0 15 0 47416337 14321057792 43261 18446744073709551615 4194304 4196468 140721932803600 140172445133456 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16186] ppid=16080 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16085/task/16186/stat : 16186 (java) S 16080 16085 30500 0 -1 1077944384 51 12507 0 0 1 0 5 2 20 0 15 0 47416337 14321057792 43261 18446744073709551615 4194304 4196468 140721932803600 140172444080400 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16187] ppid=16080 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16187/stat : 16187 (java) S 16080 16085 30500 0 -1 1077944384 204 12507 0 0 0 0 5 2 20 0 15 0 47416337 14321057792 43261 18446744073709551615 4194304 4196468 140721932803600 140172443027856 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16188] ppid=16080 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16085/task/16188/stat : 16188 (java) R 16080 16085 30500 0 -1 4202560 705 12507 0 0 1 0 5 2 20 0 15 0 47416339 14321057792 43261 18446744073709551615 4194304 4196468 140721932803600 140172004427040 140172526793306 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16189] ppid=16080 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16189/stat : 16189 (java) S 16080 16085 30500 0 -1 1077944384 33 12507 0 0 0 0 5 2 20 0 15 0 47416339 14321057792 43261 18446744073709551615 4194304 4196468 140721932803600 140172003374752 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16190] ppid=16080 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16190/stat : 16190 (java) S 16080 16085 30500 0 -1 1077944384 21 12507 0 0 0 0 5 2 20 0 15 0 47416339 14321057792 43261 18446744073709551615 4194304 4196468 140721932803600 140172002321648 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16200] ppid=16080 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16200/stat : 16200 (java) S 16080 16085 30500 0 -1 1077944384 3 12507 0 0 0 0 5 2 20 0 15 0 47416342 14321057792 43261 18446744073709551615 4194304 4196468 140721932803600 140172001270224 140172526790555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16201] ppid=16080 vsize=13985408 CPUtime=0.22 cores=1,3,5,7
/proc/16085/task/16201/stat : 16201 (java) S 16080 16085 30500 0 -1 1077944384 1113 12507 0 0 15 0 5 2 20 0 15 0 47416342 14321057792 43261 18446744073709551615 4194304 4196468 140721932803600 140172000217328 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16202] ppid=16080 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/16085/task/16202/stat : 16202 (java) S 16080 16085 30500 0 -1 1077944384 549 12507 0 0 14 0 5 2 20 0 15 0 47416342 14321057792 43261 18446744073709551615 4194304 4196468 140721932803600 140171999164784 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16203] ppid=16080 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/16085/task/16203/stat : 16203 (java) S 16080 16085 30500 0 -1 1077944384 1374 12507 0 0 23 0 5 2 20 0 15 0 47416342 14321057792 43261 18446744073709551615 4194304 4196468 140721932803600 140171998111728 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16204] ppid=16080 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16204/stat : 16204 (java) S 16080 16085 30500 0 -1 1077944384 3 12507 0 0 0 0 5 2 20 0 15 0 47416342 14321057792 43208 18446744073709551615 4194304 4196468 140721932803600 140171997059424 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16213] ppid=16080 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16213/stat : 16213 (java) S 16080 16085 30500 0 -1 1077944384 5 12507 0 0 0 0 5 2 20 0 15 0 47416347 14321057792 43153 18446744073709551615 4194304 4196468 140721932803600 140171996007472 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13985408
[startup+3.10289 s]
/proc/loadavg: 1.11 1.36 1.55 9/215 16215
/proc/meminfo: memFree=31223568/32770624 swapFree=0/297264
[pid=16085] ppid=16080 vsize=13997884 CPUtime=5.9 cores=1,3,5,7
/proc/16085/stat : 16085 (java) S 16080 16085 30500 0 -1 1077944320 48979 12507 0 0 567 16 5 2 20 0 15 0 47416317 14333833216 56628 18446744073709551615 4194304 4196468 140721932803600 140721932786144 140172526771959 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
/proc/16085/statm: 3499471 56628 3447 1 0 3488085 0
[pid=16085/tid=16183] ppid=16080 vsize=13997884 CPUtime=2.86 cores=1,3,5,7
/proc/16085/task/16183/stat : 16183 (java) R 16080 16085 30500 0 -1 4202560 35749 12507 0 0 270 9 5 2 20 0 15 0 47416337 14333833216 56628 18446744073709551615 4194304 4196468 140721932803600 140172531002112 140172526783894 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16184] ppid=16080 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16184/stat : 16184 (java) S 16080 16085 30500 0 -1 1077944384 48 12507 0 0 0 0 5 2 20 0 15 0 47416337 14333833216 56628 18446744073709551615 4194304 4196468 140721932803600 140172446186000 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16185] ppid=16080 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16185/stat : 16185 (java) S 16080 16085 30500 0 -1 1077944384 41 12507 0 0 0 0 5 2 20 0 15 0 47416337 14333833216 56628 18446744073709551615 4194304 4196468 140721932803600 140172445133456 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16186] ppid=16080 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/16085/task/16186/stat : 16186 (java) S 16080 16085 30500 0 -1 1077944384 51 12507 0 0 1 0 5 2 20 0 15 0 47416337 14333833216 56628 18446744073709551615 4194304 4196468 140721932803600 140172444080400 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16187] ppid=16080 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16187/stat : 16187 (java) S 16080 16085 30500 0 -1 1077944384 204 12507 0 0 0 0 5 2 20 0 15 0 47416337 14333833216 56628 18446744073709551615 4194304 4196468 140721932803600 140172443027856 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16188] ppid=16080 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/16085/task/16188/stat : 16188 (java) S 16080 16085 30500 0 -1 1077944384 742 12507 0 0 1 0 5 2 20 0 15 0 47416339 14333833216 56628 18446744073709551615 4194304 4196468 140721932803600 140172004428528 140172526783106 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16189] ppid=16080 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16189/stat : 16189 (java) S 16080 16085 30500 0 -1 1077944384 54 12507 0 0 0 0 5 2 20 0 15 0 47416339 14333833216 56628 18446744073709551615 4194304 4196468 140721932803600 140172003374816 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16190] ppid=16080 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16190/stat : 16190 (java) S 16080 16085 30500 0 -1 1077944384 45 12507 0 0 0 0 5 2 20 0 15 0 47416339 14333833216 56628 18446744073709551615 4194304 4196468 140721932803600 140172002321664 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16200] ppid=16080 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16200/stat : 16200 (java) S 16080 16085 30500 0 -1 1077944384 3 12507 0 0 0 0 5 2 20 0 15 0 47416342 14333833216 56628 18446744073709551615 4194304 4196468 140721932803600 140172001270224 140172526790555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16201] ppid=16080 vsize=13997884 CPUtime=1.08 cores=1,3,5,7
/proc/16085/task/16201/stat : 16201 (java) R 16080 16085 30500 0 -1 1077944384 3890 12507 0 0 100 1 5 2 20 0 15 0 47416342 14333833216 56628 18446744073709551615 4194304 4196468 140721932803600 140172000217328 140172526783106 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16202] ppid=16080 vsize=13997884 CPUtime=0.98 cores=1,3,5,7
/proc/16085/task/16202/stat : 16202 (java) S 16080 16085 30500 0 -1 1077944384 2137 12507 0 0 91 0 5 2 20 0 15 0 47416342 14333833216 56628 18446744073709551615 4194304 4196468 140721932803600 140171999164784 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16203] ppid=16080 vsize=13997884 CPUtime=1.07 cores=1,3,5,7
/proc/16085/task/16203/stat : 16203 (java) S 16080 16085 30500 0 -1 1077944384 3851 12507 0 0 99 1 5 2 20 0 15 0 47416342 14333833216 56628 18446744073709551615 4194304 4196468 140721932803600 140171998111728 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16204] ppid=16080 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16204/stat : 16204 (java) S 16080 16085 30500 0 -1 1077944384 3 12507 0 0 0 0 5 2 20 0 15 0 47416342 14333833216 56628 18446744073709551615 4194304 4196468 140721932803600 140171997059424 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16213] ppid=16080 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16213/stat : 16213 (java) S 16080 16085 30500 0 -1 1077944384 9 12507 0 0 0 0 5 2 20 0 15 0 47416347 14333833216 56628 18446744073709551615 4194304 4196468 140721932803600 140171996007472 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 13997884
[startup+6.30162 s]
/proc/loadavg: 1.11 1.36 1.55 9/215 16216
/proc/meminfo: memFree=30878544/32770624 swapFree=0/297276
[pid=16085] ppid=16080 vsize=14001980 CPUtime=16.12 cores=1,3,5,7
/proc/16085/stat : 16085 (java) S 16080 16085 30500 0 -1 1077944320 76155 12507 0 0 1580 25 5 2 20 0 15 0 47416317 14338027520 109914 18446744073709551615 4194304 4196468 140721932803600 140721932786144 140172526771959 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
/proc/16085/statm: 3500495 109914 3467 1 0 3489109 0
[pid=16085/tid=16183] ppid=16080 vsize=14001980 CPUtime=5.8 cores=1,3,5,7
/proc/16085/task/16183/stat : 16183 (java) R 16080 16085 30500 0 -1 4202560 39210 12507 0 0 561 12 5 2 20 0 15 0 47416337 14338027520 109914 18446744073709551615 4194304 4196468 140721932803600 140172531003824 140172121978184 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16184] ppid=16080 vsize=14001980 CPUtime=0.23 cores=1,3,5,7
/proc/16085/task/16184/stat : 16184 (java) S 16080 16085 30500 0 -1 1077944384 648 12507 0 0 16 0 5 2 20 0 15 0 47416337 14338027520 109914 18446744073709551615 4194304 4196468 140721932803600 140172446186000 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16185] ppid=16080 vsize=14001980 CPUtime=0.22 cores=1,3,5,7
/proc/16085/task/16185/stat : 16185 (java) S 16080 16085 30500 0 -1 1077944384 143 12507 0 0 14 1 5 2 20 0 15 0 47416337 14338027520 109914 18446744073709551615 4194304 4196468 140721932803600 140172445133456 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16186] ppid=16080 vsize=14001980 CPUtime=0.24 cores=1,3,5,7
/proc/16085/task/16186/stat : 16186 (java) S 16080 16085 30500 0 -1 1077944384 318 12507 0 0 16 1 5 2 20 0 15 0 47416337 14338027520 109914 18446744073709551615 4194304 4196468 140721932803600 140172444080400 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16187] ppid=16080 vsize=14001980 CPUtime=0.23 cores=1,3,5,7
/proc/16085/task/16187/stat : 16187 (java) S 16080 16085 30500 0 -1 1077944384 1033 12507 0 0 15 1 5 2 20 0 15 0 47416337 14338027520 109914 18446744073709551615 4194304 4196468 140721932803600 140172443027856 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16188] ppid=16080 vsize=14001980 CPUtime=0.11 cores=1,3,5,7
/proc/16085/task/16188/stat : 16188 (java) S 16080 16085 30500 0 -1 1077944384 2174 12507 0 0 4 0 5 2 20 0 15 0 47416339 14338027520 109914 18446744073709551615 4194304 4196468 140721932803600 140172004428528 140172526783106 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16189] ppid=16080 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16189/stat : 16189 (java) S 16080 16085 30500 0 -1 1077944384 57 12507 0 0 0 0 5 2 20 0 15 0 47416339 14338027520 109914 18446744073709551615 4194304 4196468 140721932803600 140172003374816 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16190] ppid=16080 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16190/stat : 16190 (java) S 16080 16085 30500 0 -1 1077944384 52 12507 0 0 0 0 5 2 20 0 15 0 47416339 14338027520 109914 18446744073709551615 4194304 4196468 140721932803600 140172002321664 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16200] ppid=16080 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16200/stat : 16200 (java) S 16080 16085 30500 0 -1 1077944384 3 12507 0 0 0 0 5 2 20 0 15 0 47416342 14338027520 109914 18446744073709551615 4194304 4196468 140721932803600 140172001270224 140172526790555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16201] ppid=16080 vsize=14001980 CPUtime=4 cores=1,3,5,7
/proc/16085/task/16201/stat : 16201 (java) R 16080 16085 30500 0 -1 4202560 12938 12507 0 0 391 2 5 2 20 0 15 0 47416342 14338027520 109914 18446744073709551615 4194304 4196468 140721932803600 140172000203896 140172506624046 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16202] ppid=16080 vsize=14001980 CPUtime=3.89 cores=1,3,5,7
/proc/16085/task/16202/stat : 16202 (java) R 16080 16085 30500 0 -1 4202560 10347 12507 0 0 380 2 5 2 20 0 15 0 47416342 14338027520 109914 18446744073709551615 4194304 4196468 140721932803600 140171999154576 140172511693941 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16203] ppid=16080 vsize=14001980 CPUtime=1.86 cores=1,3,5,7
/proc/16085/task/16203/stat : 16203 (java) S 16080 16085 30500 0 -1 1077944384 7049 12507 0 0 177 2 5 2 20 0 15 0 47416342 14338027520 109914 18446744073709551615 4194304 4196468 140721932803600 140171998111728 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16204] ppid=16080 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16204/stat : 16204 (java) S 16080 16085 30500 0 -1 1077944384 3 12507 0 0 0 0 5 2 20 0 15 0 47416342 14338027520 109914 18446744073709551615 4194304 4196468 140721932803600 140171997059424 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16213] ppid=16080 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16213/stat : 16213 (java) S 16080 16085 30500 0 -1 1077944384 28 12507 0 0 0 0 5 2 20 0 15 0 47416347 14338027520 109914 18446744073709551615 4194304 4196468 140721932803600 140171996007472 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
Current children cumulated CPU time (s) 16.12
Current children cumulated vsize (KiB) 14001980
[startup+12.7007 s]
/proc/loadavg: 1.48 1.43 1.57 3/215 16216
/proc/meminfo: memFree=29885784/32770624 swapFree=0/297268
[pid=16085] ppid=16080 vsize=14071612 CPUtime=31.83 cores=1,3,5,7
/proc/16085/stat : 16085 (java) S 16080 16085 30500 0 -1 1077944320 115966 12507 0 0 3122 54 5 2 20 0 15 0 47416317 14409330688 266867 18446744073709551615 4194304 4196468 140721932803600 140721932786144 140172526771959 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
/proc/16085/statm: 3517903 266867 3482 1 0 3506517 0
[pid=16085/tid=16183] ppid=16080 vsize=14071612 CPUtime=11.99 cores=1,3,5,7
/proc/16085/task/16183/stat : 16183 (java) R 16080 16085 30500 0 -1 4202560 57820 12507 0 0 1172 20 5 2 20 0 15 0 47416337 14409330688 266867 18446744073709551615 4194304 4196468 140721932803600 140172531005424 140172112986612 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16184] ppid=16080 vsize=14071612 CPUtime=0.41 cores=1,3,5,7
/proc/16085/task/16184/stat : 16184 (java) S 16080 16085 30500 0 -1 1077944384 868 12507 0 0 29 5 5 2 20 0 15 0 47416337 14409330688 266867 18446744073709551615 4194304 4196468 140721932803600 140172446186000 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16185] ppid=16080 vsize=14071612 CPUtime=0.39 cores=1,3,5,7
/proc/16085/task/16185/stat : 16185 (java) S 16080 16085 30500 0 -1 1077944384 575 12507 0 0 27 5 5 2 20 0 15 0 47416337 14409330688 266867 18446744073709551615 4194304 4196468 140721932803600 140172445133456 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16186] ppid=16080 vsize=14071612 CPUtime=0.41 cores=1,3,5,7
/proc/16085/task/16186/stat : 16186 (java) S 16080 16085 30500 0 -1 1077944384 1046 12507 0 0 29 5 5 2 20 0 15 0 47416337 14409330688 266867 18446744073709551615 4194304 4196468 140721932803600 140172444080400 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16187] ppid=16080 vsize=14071612 CPUtime=0.4 cores=1,3,5,7
/proc/16085/task/16187/stat : 16187 (java) S 16080 16085 30500 0 -1 1077944384 1215 12507 0 0 28 5 5 2 20 0 15 0 47416337 14409330688 266867 18446744073709551615 4194304 4196468 140721932803600 140172443027856 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16188] ppid=16080 vsize=14071612 CPUtime=0.12 cores=1,3,5,7
/proc/16085/task/16188/stat : 16188 (java) S 16080 16085 30500 0 -1 1077944384 2691 12507 0 0 5 0 5 2 20 0 15 0 47416339 14409330688 266867 18446744073709551615 4194304 4196468 140721932803600 140172004428528 140172526783106 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16189] ppid=16080 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16189/stat : 16189 (java) S 16080 16085 30500 0 -1 1077944384 60 12507 0 0 0 0 5 2 20 0 15 0 47416339 14409330688 266867 18446744073709551615 4194304 4196468 140721932803600 140172003374816 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16190] ppid=16080 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16190/stat : 16190 (java) S 16080 16085 30500 0 -1 1077944384 59 12507 0 0 0 0 5 2 20 0 15 0 47416339 14409330688 266867 18446744073709551615 4194304 4196468 140721932803600 140172002321664 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16200] ppid=16080 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16200/stat : 16200 (java) S 16080 16085 30500 0 -1 1077944384 3 12507 0 0 0 0 5 2 20 0 15 0 47416342 14409330688 266867 18446744073709551615 4194304 4196468 140721932803600 140172001270224 140172526790555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
################
# More data... #
################
/proc/16085/statm: 3517903 786429 3484 1 0 3506517 0
[pid=16085/tid=16183] ppid=16080 vsize=14071612 CPUtime=220.87 cores=1,3,5,7
/proc/16085/task/16183/stat : 16183 (java) R 16080 16085 30500 0 -1 4202560 74062 12507 0 0 22026 54 5 2 20 0 15 0 47416337 14409330688 786429 18446744073709551615 4194304 4196468 140721932803600 140172531005760 140172134950812 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16184] ppid=16080 vsize=14071612 CPUtime=0.96 cores=1,3,5,7
/proc/16085/task/16184/stat : 16184 (java) S 16080 16085 30500 0 -1 1077944384 3886 12507 0 0 81 8 5 2 20 0 15 0 47416337 14409330688 786429 18446744073709551615 4194304 4196468 140721932803600 140172446186000 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16185] ppid=16080 vsize=14071612 CPUtime=0.94 cores=1,3,5,7
/proc/16085/task/16185/stat : 16185 (java) S 16080 16085 30500 0 -1 1077944384 1153 12507 0 0 78 9 5 2 20 0 15 0 47416337 14409330688 786429 18446744073709551615 4194304 4196468 140721932803600 140172445133456 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16186] ppid=16080 vsize=14071612 CPUtime=0.97 cores=1,3,5,7
/proc/16085/task/16186/stat : 16186 (java) S 16080 16085 30500 0 -1 1077944384 4100 12507 0 0 82 8 5 2 20 0 15 0 47416337 14409330688 786429 18446744073709551615 4194304 4196468 140721932803600 140172444080400 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16187] ppid=16080 vsize=14071612 CPUtime=0.95 cores=1,3,5,7
/proc/16085/task/16187/stat : 16187 (java) S 16080 16085 30500 0 -1 1077944384 2765 12507 0 0 80 8 5 2 20 0 15 0 47416337 14409330688 786429 18446744073709551615 4194304 4196468 140721932803600 140172443027856 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16188] ppid=16080 vsize=14071612 CPUtime=0.28 cores=1,3,5,7
/proc/16085/task/16188/stat : 16188 (java) S 16080 16085 30500 0 -1 1077944384 5142 12507 0 0 18 3 5 2 20 0 15 0 47416339 14409330688 786429 18446744073709551615 4194304 4196468 140721932803600 140172004428528 140172526783106 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16189] ppid=16080 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16189/stat : 16189 (java) S 16080 16085 30500 0 -1 1077944384 60 12507 0 0 0 0 5 2 20 0 15 0 47416339 14409330688 786429 18446744073709551615 4194304 4196468 140721932803600 140172003374816 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16190] ppid=16080 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16190/stat : 16190 (java) S 16080 16085 30500 0 -1 1077944384 59 12507 0 0 0 0 5 2 20 0 15 0 47416339 14409330688 786429 18446744073709551615 4194304 4196468 140721932803600 140172002321664 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16200] ppid=16080 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16200/stat : 16200 (java) S 16080 16085 30500 0 -1 1077944384 3 12507 0 0 0 0 5 2 20 0 15 0 47416342 14409330688 786429 18446744073709551615 4194304 4196468 140721932803600 140172001270224 140172526790555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16201] ppid=16080 vsize=14071612 CPUtime=8.47 cores=1,3,5,7
/proc/16085/task/16201/stat : 16201 (java) S 16080 16085 30500 0 -1 1077944384 23597 12507 0 0 837 3 5 2 20 0 15 0 47416342 14409330688 786429 18446744073709551615 4194304 4196468 140721932803600 140172000217328 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16202] ppid=16080 vsize=14071612 CPUtime=8.58 cores=1,3,5,7
/proc/16085/task/16202/stat : 16202 (java) S 16080 16085 30500 0 -1 1077944384 20568 12507 0 0 848 3 5 2 20 0 15 0 47416342 14409330688 786429 18446744073709551615 4194304 4196468 140721932803600 140171999164784 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16203] ppid=16080 vsize=14071612 CPUtime=2.92 cores=1,3,5,7
/proc/16085/task/16203/stat : 16203 (java) S 16080 16085 30500 0 -1 1077944384 16820 12507 0 0 281 4 5 2 20 0 15 0 47416342 14409330688 786429 18446744073709551615 4194304 4196468 140721932803600 140171998111728 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16204] ppid=16080 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16204/stat : 16204 (java) S 16080 16085 30500 0 -1 1077944384 3 12507 0 0 0 0 5 2 20 0 15 0 47416342 14409330688 786429 18446744073709551615 4194304 4196468 140721932803600 140171997059424 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16213] ppid=16080 vsize=14071612 CPUtime=0.19 cores=1,3,5,7
/proc/16085/task/16213/stat : 16213 (java) S 16080 16085 30500 0 -1 1077944384 1638 12507 0 0 5 7 5 2 20 0 15 0 47416347 14409330688 786429 18446744073709551615 4194304 4196468 140721932803600 140171996007472 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
Current children cumulated CPU time (s) 244.6
Current children cumulated vsize (KiB) 14071612
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.56 1.52 1.58 3/215 16225
/proc/meminfo: memFree=27205844/32770624 swapFree=0/297408
[pid=16085] ppid=16080 vsize=14071612 CPUtime=262.61 cores=1,3,5,7
/proc/16085/stat : 16085 (java) S 16080 16085 30500 0 -1 1077944320 158013 12507 0 0 26145 109 5 2 20 0 15 0 47416317 14409330688 783372 18446744073709551615 4194304 4196468 140721932803600 140721932786144 140172526771959 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
/proc/16085/statm: 3517903 783372 3484 1 0 3506517 0
[pid=16085/tid=16183] ppid=16080 vsize=14071612 CPUtime=238.41 cores=1,3,5,7
/proc/16085/task/16183/stat : 16183 (java) R 16080 16085 30500 0 -1 4202560 74665 12507 0 0 23780 54 5 2 20 0 15 0 47416337 14409330688 783372 18446744073709551615 4194304 4196468 140721932803600 140172531005760 140172508178258 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16184] ppid=16080 vsize=14071612 CPUtime=1.07 cores=1,3,5,7
/proc/16085/task/16184/stat : 16184 (java) S 16080 16085 30500 0 -1 1077944384 4958 12507 0 0 92 8 5 2 20 0 15 0 47416337 14409330688 783372 18446744073709551615 4194304 4196468 140721932803600 140172446186000 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16185] ppid=16080 vsize=14071612 CPUtime=1.05 cores=1,3,5,7
/proc/16085/task/16185/stat : 16185 (java) S 16080 16085 30500 0 -1 1077944384 1315 12507 0 0 89 9 5 2 20 0 15 0 47416337 14409330688 783372 18446744073709551615 4194304 4196468 140721932803600 140172445133456 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16186] ppid=16080 vsize=14071612 CPUtime=1.07 cores=1,3,5,7
/proc/16085/task/16186/stat : 16186 (java) S 16080 16085 30500 0 -1 1077944384 4175 12507 0 0 92 8 5 2 20 0 15 0 47416337 14409330688 783372 18446744073709551615 4194304 4196468 140721932803600 140172444080400 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16187] ppid=16080 vsize=14071612 CPUtime=1.05 cores=1,3,5,7
/proc/16085/task/16187/stat : 16187 (java) S 16080 16085 30500 0 -1 1077944384 2805 12507 0 0 90 8 5 2 20 0 15 0 47416337 14409330688 783372 18446744073709551615 4194304 4196468 140721932803600 140172443027856 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16188] ppid=16080 vsize=14071612 CPUtime=0.31 cores=1,3,5,7
/proc/16085/task/16188/stat : 16188 (java) S 16080 16085 30500 0 -1 1077944384 5177 12507 0 0 21 3 5 2 20 0 15 0 47416339 14409330688 783372 18446744073709551615 4194304 4196468 140721932803600 140172004428528 140172526783106 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16189] ppid=16080 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16189/stat : 16189 (java) S 16080 16085 30500 0 -1 1077944384 60 12507 0 0 0 0 5 2 20 0 15 0 47416339 14409330688 783372 18446744073709551615 4194304 4196468 140721932803600 140172003374816 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16190] ppid=16080 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16190/stat : 16190 (java) S 16080 16085 30500 0 -1 1077944384 59 12507 0 0 0 0 5 2 20 0 15 0 47416339 14409330688 783372 18446744073709551615 4194304 4196468 140721932803600 140172002321664 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16200] ppid=16080 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16200/stat : 16200 (java) S 16080 16085 30500 0 -1 1077944384 3 12507 0 0 0 0 5 2 20 0 15 0 47416342 14409330688 783372 18446744073709551615 4194304 4196468 140721932803600 140172001270224 140172526790555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16201] ppid=16080 vsize=14071612 CPUtime=8.47 cores=1,3,5,7
/proc/16085/task/16201/stat : 16201 (java) S 16080 16085 30500 0 -1 1077944384 23597 12507 0 0 837 3 5 2 20 0 15 0 47416342 14409330688 783372 18446744073709551615 4194304 4196468 140721932803600 140172000217328 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16202] ppid=16080 vsize=14071612 CPUtime=8.58 cores=1,3,5,7
/proc/16085/task/16202/stat : 16202 (java) S 16080 16085 30500 0 -1 1077944384 20568 12507 0 0 848 3 5 2 20 0 15 0 47416342 14409330688 783372 18446744073709551615 4194304 4196468 140721932803600 140171999164784 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16203] ppid=16080 vsize=14071612 CPUtime=2.92 cores=1,3,5,7
/proc/16085/task/16203/stat : 16203 (java) S 16080 16085 30500 0 -1 1077944384 16820 12507 0 0 281 4 5 2 20 0 15 0 47416342 14409330688 783372 18446744073709551615 4194304 4196468 140721932803600 140171998111728 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16204] ppid=16080 vsize=14071612 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16204/stat : 16204 (java) S 16080 16085 30500 0 -1 1077944384 3 12507 0 0 0 0 5 2 20 0 15 0 47416342 14409330688 783372 18446744073709551615 4194304 4196468 140721932803600 140171997059424 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16213] ppid=16080 vsize=14071612 CPUtime=0.2 cores=1,3,5,7
/proc/16085/task/16213/stat : 16213 (java) S 16080 16085 30500 0 -1 1077944384 1656 12507 0 0 6 7 5 2 20 0 15 0 47416347 14409330688 783372 18446744073709551615 4194304 4196468 140721932803600 140171996007472 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
Current children cumulated CPU time (s) 262.61
Current children cumulated vsize (KiB) 14071612
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 16085 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+240.402 s]
/proc/loadavg: 1.56 1.52 1.58 3/215 16225
/proc/meminfo: memFree=27205844/32770624 swapFree=0/297408
[pid=16085] ppid=16080 vsize=14204740 CPUtime=264 cores=1,3,5,7
/proc/16085/stat : 16085 (java) S 16080 16085 30500 0 -1 1077944320 174195 12507 0 0 26283 110 5 2 20 0 17 0 47416317 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140721932786144 140172526771959 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
/proc/16085/statm: 3551185 785375 3484 1 0 3539799 0
[pid=16085/tid=16183] ppid=16080 vsize=14204740 CPUtime=238.42 cores=1,3,5,7
/proc/16085/task/16183/stat : 16183 (java) S 16080 16085 30500 0 -1 1077944384 75983 12507 0 0 23781 54 5 2 20 0 17 0 47416337 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140172531009616 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16184] ppid=16080 vsize=14204740 CPUtime=1.4 cores=1,3,5,7
/proc/16085/task/16184/stat : 16184 (java) R 16080 16085 30500 0 -1 4202560 5739 12507 0 0 124 9 5 2 20 0 17 0 47416337 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140172446186000 140172508368451 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16185] ppid=16080 vsize=14204740 CPUtime=1.37 cores=1,3,5,7
/proc/16085/task/16185/stat : 16185 (java) R 16080 16085 30500 0 -1 4202560 1467 12507 0 0 121 9 5 2 20 0 17 0 47416337 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140172445133344 140172511469745 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16186] ppid=16080 vsize=14204740 CPUtime=1.4 cores=1,3,5,7
/proc/16085/task/16186/stat : 16186 (java) R 16080 16085 30500 0 -1 4202560 4381 12507 0 0 125 8 5 2 20 0 17 0 47416337 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140172444080400 140172508367776 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16187] ppid=16080 vsize=14204740 CPUtime=1.38 cores=1,3,5,7
/proc/16085/task/16187/stat : 16187 (java) R 16080 16085 30500 0 -1 4202560 3003 12507 0 0 123 8 5 2 20 0 17 0 47416337 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140172443028056 140172511469569 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16188] ppid=16080 vsize=14204740 CPUtime=0.37 cores=1,3,5,7
/proc/16085/task/16188/stat : 16188 (java) S 16080 16085 30500 0 -1 1077944384 16912 12507 0 0 27 3 5 2 20 0 17 0 47416339 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140172004426928 140172526782165 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16189] ppid=16080 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16189/stat : 16189 (java) S 16080 16085 30500 0 -1 1077944384 61 12507 0 0 0 0 5 2 20 0 17 0 47416339 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140172003374720 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16190] ppid=16080 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16190/stat : 16190 (java) S 16080 16085 30500 0 -1 1077944384 59 12507 0 0 0 0 5 2 20 0 17 0 47416339 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140172002321664 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16200] ppid=16080 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16200/stat : 16200 (java) S 16080 16085 30500 0 -1 1077944384 286 12507 0 0 0 0 5 2 20 0 17 0 47416342 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140172001270224 140172526790555 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16201] ppid=16080 vsize=14204740 CPUtime=8.47 cores=1,3,5,7
/proc/16085/task/16201/stat : 16201 (java) S 16080 16085 30500 0 -1 1077944384 23600 12507 0 0 837 3 5 2 20 0 17 0 47416342 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140172000217328 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16202] ppid=16080 vsize=14204740 CPUtime=8.58 cores=1,3,5,7
/proc/16085/task/16202/stat : 16202 (java) S 16080 16085 30500 0 -1 1077944384 21674 12507 0 0 848 3 5 2 20 0 17 0 47416342 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140171999164352 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16203] ppid=16080 vsize=14204740 CPUtime=2.92 cores=1,3,5,7
/proc/16085/task/16203/stat : 16203 (java) S 16080 16085 30500 0 -1 1077944384 16823 12507 0 0 281 4 5 2 20 0 17 0 47416342 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140171998111728 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16204] ppid=16080 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16204/stat : 16204 (java) S 16080 16085 30500 0 -1 1077944384 3 12507 0 0 0 0 5 2 20 0 17 0 47416342 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140171997059424 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16213] ppid=16080 vsize=14204740 CPUtime=0.2 cores=1,3,5,7
/proc/16085/task/16213/stat : 16213 (java) S 16080 16085 30500 0 -1 1077944384 1656 12507 0 0 6 7 5 2 20 0 17 0 47416347 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140171996007472 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
Current children cumulated CPU time (s) 264
Current children cumulated vsize (KiB) 14204740
[startup+240.601 s]
/proc/loadavg: 1.56 1.52 1.58 3/215 16225
/proc/meminfo: memFree=27205844/32770624 swapFree=0/297408
[pid=16085] ppid=16080 vsize=14204740 CPUtime=264.67 cores=1,3,5,7
/proc/16085/stat : 16085 (java) S 16080 16085 30500 0 -1 1077944320 174257 12507 0 0 26350 110 5 2 20 0 17 0 47416317 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140721932786144 140172526771959 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
/proc/16085/statm: 3551185 785375 3484 1 0 3539799 0
[pid=16085/tid=16183] ppid=16080 vsize=14204740 CPUtime=238.42 cores=1,3,5,7
/proc/16085/task/16183/stat : 16183 (java) S 16080 16085 30500 0 -1 1077944384 75983 12507 0 0 23781 54 5 2 20 0 17 0 47416337 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140172531009616 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16184] ppid=16080 vsize=14204740 CPUtime=1.56 cores=1,3,5,7
/proc/16085/task/16184/stat : 16184 (java) R 16080 16085 30500 0 -1 4202560 5739 12507 0 0 140 9 5 2 20 0 17 0 47416337 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140172446185896 140172519400167 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16185] ppid=16080 vsize=14204740 CPUtime=1.53 cores=1,3,5,7
/proc/16085/task/16185/stat : 16185 (java) R 16080 16085 30500 0 -1 4202560 1492 12507 0 0 137 9 5 2 20 0 17 0 47416337 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140172445133456 140172519400167 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16186] ppid=16080 vsize=14204740 CPUtime=1.56 cores=1,3,5,7
/proc/16085/task/16186/stat : 16186 (java) R 16080 16085 30500 0 -1 4202560 4409 12507 0 0 141 8 5 2 20 0 17 0 47416337 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140172444080400 140172519400167 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16187] ppid=16080 vsize=14204740 CPUtime=1.53 cores=1,3,5,7
/proc/16085/task/16187/stat : 16187 (java) R 16080 16085 30500 0 -1 4202560 3010 12507 0 0 138 8 5 2 20 0 17 0 47416337 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140172443027856 140172511469711 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16188] ppid=16080 vsize=14204740 CPUtime=0.41 cores=1,3,5,7
/proc/16085/task/16188/stat : 16188 (java) S 16080 16085 30500 0 -1 1077944384 16912 12507 0 0 31 3 5 2 20 0 17 0 47416339 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140172004426928 140172526782165 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16189] ppid=16080 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16189/stat : 16189 (java) S 16080 16085 30500 0 -1 1077944384 62 12507 0 0 0 0 5 2 20 0 17 0 47416339 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140172003374320 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16190] ppid=16080 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16190/stat : 16190 (java) S 16080 16085 30500 0 -1 1077944384 59 12507 0 0 0 0 5 2 20 0 17 0 47416339 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140172002321664 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16200] ppid=16080 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16200/stat : 16200 (java) S 16080 16085 30500 0 -1 1077944384 286 12507 0 0 0 0 5 2 20 0 17 0 47416342 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140172001270224 140172526790555 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16201] ppid=16080 vsize=14204740 CPUtime=8.47 cores=1,3,5,7
/proc/16085/task/16201/stat : 16201 (java) S 16080 16085 30500 0 -1 1077944384 23600 12507 0 0 837 3 5 2 20 0 17 0 47416342 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140172000217328 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16202] ppid=16080 vsize=14204740 CPUtime=8.58 cores=1,3,5,7
/proc/16085/task/16202/stat : 16202 (java) S 16080 16085 30500 0 -1 1077944384 21674 12507 0 0 848 3 5 2 20 0 17 0 47416342 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140171999164352 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16203] ppid=16080 vsize=14204740 CPUtime=2.92 cores=1,3,5,7
/proc/16085/task/16203/stat : 16203 (java) S 16080 16085 30500 0 -1 1077944384 16823 12507 0 0 281 4 5 2 20 0 17 0 47416342 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140171998111728 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16204] ppid=16080 vsize=14204740 CPUtime=0.07 cores=1,3,5,7
/proc/16085/task/16204/stat : 16204 (java) S 16080 16085 30500 0 -1 1077944384 3 12507 0 0 0 0 5 2 20 0 17 0 47416342 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140171997059424 140172526782165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
[pid=16085/tid=16213] ppid=16080 vsize=14204740 CPUtime=0.2 cores=1,3,5,7
/proc/16085/task/16213/stat : 16213 (java) S 16080 16085 30500 0 -1 1077944384 1656 12507 0 0 6 7 5 2 20 0 17 0 47416347 14545653760 785375 18446744073709551615 4194304 4196468 140721932803600 140171996007472 140172526783106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20140032 140721932806099 140721932808884 140721932808884 140721932812239 0
Current children cumulated CPU time (s) 264.67
Current children cumulated vsize (KiB) 14204740
[startup+240.702 s]
/proc/loadavg: 1.56 1.52 1.58 3/215 16225
/proc/meminfo: memFree=27205844/32770624 swapFree=0/297408
[pid=16085] ppid=16080 vsize=0 CPUtime=264.92 cores=1,3,5,7
/proc/16085/stat : 16085 (java) Z 16080 16085 30500 0 -1 4228108 174527 12507 0 0 26372 113 5 2 20 0 2 0 47416317 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 0 0 0 0 0 0 0 0
/proc/16085/statm: 0 0 0 0 0 0 0
[pid=16085/tid=16183] ppid=16080 vsize=0 CPUtime=238.45 cores=1,3,5,7
/proc/16085/task/16183/stat : 16183 (java) R 16080 16085 30500 0 -1 4203588 76095 12507 0 0 23782 56 5 2 20 0 2 0 47416337 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 7 0 0 5 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 264.92
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 240.703
CPU time (s): 264.945
CPU user time (s): 263.785
CPU system time (s): 1.15915
CPU usage (%): 110.071
Max. virtual memory (cumulated for all children) (KiB): 14204740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 263.785
system time used= 1.15915
maximum resident set size= 3384796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187034
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18715
involuntary context switches= 972
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.997488 second user time and 1.61628 second system time
The end