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-4262360-1502424633/watcher-4262360-1502424633 -o /tmp/evaluation-result-4262360-1502424633/solver-4262360-1502424633 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1395 --watchdog 2580 bin/concrete HOME/instance-4262360-1502424633.xml
pid=4235
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 1.42 1.40 1.40 2/194 4238
/proc/meminfo: memFree=29932136/32770624 swapFree=0/498560
[pid=4238] ppid=4235 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/4238/stat : 4238 (runsolver) D 4235 4238 1330 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 44684079 24240128 108 18446744073709551615 4194304 4338465 140734205058720 140734205056360 140031274472151 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 35074048 140734205063377 140734205063753 140734205063753 140734205067210 0
/proc/4238/statm: 5918 108 54 36 0 2156 0
[startup+0.100138 s]
/proc/loadavg: 1.42 1.40 1.40 2/194 4238
/proc/meminfo: memFree=29932136/32770624 swapFree=0/498560
[pid=4238] ppid=4235 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/4238/stat : 4238 (bash) S 4235 4238 1330 0 -1 4202496 896 6477 0 0 0 0 0 1 20 0 1 0 44684079 9867264 377 18446744073709551615 4194304 5098028 140735577757024 140735577751032 140075113352192 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 6 0 0 7196144 7232144 23494656 140735577764372 140735577764457 140735577764457 140735577767914 0
/proc/4238/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.200408 s]
/proc/loadavg: 1.42 1.40 1.40 2/194 4238
/proc/meminfo: memFree=29932136/32770624 swapFree=0/498560
[pid=4238] ppid=4235 vsize=9636 CPUtime=0.07 cores=1,3,5,7
/proc/4238/stat : 4238 (bash) R 4235 4238 1330 0 -1 4202496 959 12261 0 0 0 0 5 2 20 0 1 0 44684079 9867264 380 18446744073709551615 4194304 5098028 140735577757024 140735577752856 140075112913893 0 0 5 65536 0 0 0 17 5 0 0 6 0 0 7196144 7232144 23494656 140735577764372 140735577764457 140735577764457 140735577767914 0
/proc/4238/statm: 2409 380 299 221 0 118 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9636
[startup+0.300277 s]
/proc/loadavg: 1.42 1.40 1.40 2/194 4238
/proc/meminfo: memFree=29932136/32770624 swapFree=0/498560
[pid=4238] ppid=4235 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/4238/stat : 4238 (java) S 4235 4238 1330 0 -1 1077944320 5501 12261 0 0 5 1 5 2 20 0 14 0 44684079 14241083392 5170 18446744073709551615 4194304 4196468 140735972806448 140735972788992 140400955530999 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
/proc/4238/statm: 3476827 5170 2566 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.700292 s]
/proc/loadavg: 1.42 1.40 1.40 2/194 4238
/proc/meminfo: memFree=29932136/32770624 swapFree=0/498560
[pid=4238] ppid=4235 vsize=13974784 CPUtime=0.67 cores=1,3,5,7
/proc/4238/stat : 4238 (java) S 4235 4238 1330 0 -1 1077944320 13556 12261 0 0 56 4 5 2 20 0 15 0 44684079 14310178816 14384 18446744073709551615 4194304 4196468 140735972806448 140735972788992 140400955530999 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
/proc/4238/statm: 3493696 14384 3081 1 0 3482965 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 13974784
[startup+1.50361 s]
/proc/loadavg: 1.42 1.40 1.40 3/209 4301
/proc/meminfo: memFree=29835188/32770624 swapFree=0/498588
[pid=4238] ppid=4235 vsize=13985408 CPUtime=1.89 cores=1,3,5,7
/proc/4238/stat : 4238 (java) S 4235 4238 1330 0 -1 1077944320 28308 12261 0 0 172 10 5 2 20 0 15 0 44684079 14321057792 43228 18446744073709551615 4194304 4196468 140735972806448 140735972788992 140400955530999 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
/proc/4238/statm: 3496352 43228 3368 1 0 3485525 0
[pid=4238/tid=4288] ppid=4235 vsize=13985408 CPUtime=1.27 cores=1,3,5,7
/proc/4238/task/4288/stat : 4288 (java) S 4235 4238 1330 0 -1 1077944384 21547 12261 0 0 114 6 5 2 20 0 15 0 44684100 14321057792 43228 18446744073709551615 4194304 4196468 140735972806448 140400959753056 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4289] ppid=4235 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4289/stat : 4289 (java) S 4235 4238 1330 0 -1 1077944384 49 12261 0 0 0 0 5 2 20 0 15 0 44684100 14321057792 43228 18446744073709551615 4194304 4196468 140735972806448 140400874944912 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4290] ppid=4235 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4290/stat : 4290 (java) S 4235 4238 1330 0 -1 1077944384 56 12261 0 0 0 0 5 2 20 0 15 0 44684100 14321057792 43228 18446744073709551615 4194304 4196468 140735972806448 140400873892112 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4291] ppid=4235 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4291/stat : 4291 (java) S 4235 4238 1330 0 -1 1077944384 47 12261 0 0 0 0 5 2 20 0 15 0 44684100 14321057792 43228 18446744073709551615 4194304 4196468 140735972806448 140400872839824 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4292] ppid=4235 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4292/stat : 4292 (java) S 4235 4238 1330 0 -1 1077944384 203 12261 0 0 0 0 5 2 20 0 15 0 44684100 14321057792 43228 18446744073709551615 4194304 4196468 140735972806448 140400871787024 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4293] ppid=4235 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4293/stat : 4293 (java) R 4235 4238 1330 0 -1 4202560 1167 12261 0 0 0 0 5 2 20 0 15 0 44684102 14321057792 43228 18446744073709551615 4194304 4196468 140735972806448 140400434173088 140400933901179 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4294] ppid=4235 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4294/stat : 4294 (java) S 4235 4238 1330 0 -1 1077944384 33 12261 0 0 0 0 5 2 20 0 15 0 44684102 14321057792 43228 18446744073709551615 4194304 4196468 140735972806448 140400433120544 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4295] ppid=4235 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4295/stat : 4295 (java) S 4235 4238 1330 0 -1 1077944384 21 12261 0 0 0 0 5 2 20 0 15 0 44684102 14321057792 43228 18446744073709551615 4194304 4196468 140735972806448 140400432068208 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4296] ppid=4235 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4296/stat : 4296 (java) S 4235 4238 1330 0 -1 1077944384 3 12261 0 0 0 0 5 2 20 0 15 0 44684105 14321057792 43228 18446744073709551615 4194304 4196468 140735972806448 140400431016528 140400955549595 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4297] ppid=4235 vsize=13985408 CPUtime=0.22 cores=1,3,5,7
/proc/4238/task/4297/stat : 4297 (java) S 4235 4238 1330 0 -1 1077944384 882 12261 0 0 15 0 5 2 20 0 15 0 44684105 14321057792 43228 18446744073709551615 4194304 4196468 140735972806448 140400429963376 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4298] ppid=4235 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/4238/task/4298/stat : 4298 (java) S 4235 4238 1330 0 -1 1077944384 797 12261 0 0 14 0 5 2 20 0 15 0 44684105 14321057792 43228 18446744073709551615 4194304 4196468 140735972806448 140400428910576 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4299] ppid=4235 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/4238/task/4299/stat : 4299 (java) S 4235 4238 1330 0 -1 1077944384 1335 12261 0 0 23 0 5 2 20 0 15 0 44684105 14321057792 43175 18446744073709551615 4194304 4196468 140735972806448 140400427854160 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4300] ppid=4235 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4300/stat : 4300 (java) S 4235 4238 1330 0 -1 1077944384 3 12261 0 0 0 0 5 2 20 0 15 0 44684105 14321057792 43120 18446744073709551615 4194304 4196468 140735972806448 140400426805728 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4301] ppid=4235 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4301/stat : 4301 (java) S 4235 4238 1330 0 -1 1077944384 10 12261 0 0 0 0 5 2 20 0 15 0 44684111 14321057792 43120 18446744073709551615 4194304 4196468 140735972806448 140400425753520 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13985408
[startup+3.10085 s]
/proc/loadavg: 1.42 1.40 1.40 4/209 4301
/proc/meminfo: memFree=29757448/32770624 swapFree=0/498588
[pid=4238] ppid=4235 vsize=13997884 CPUtime=6.11 cores=1,3,5,7
/proc/4238/stat : 4238 (java) S 4235 4238 1330 0 -1 1077944320 45077 12261 0 0 589 15 5 2 20 0 15 0 44684079 14333833216 56043 18446744073709551615 4194304 4196468 140735972806448 140735972788992 140400955530999 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
/proc/4238/statm: 3499471 56043 3444 1 0 3488085 0
[pid=4238/tid=4288] ppid=4235 vsize=13997884 CPUtime=2.86 cores=1,3,5,7
/proc/4238/task/4288/stat : 4288 (java) R 4235 4238 1330 0 -1 4202560 27866 12261 0 0 271 8 5 2 20 0 15 0 44684100 14333833216 56043 18446744073709551615 4194304 4196468 140735972806448 140400959760432 140400560645692 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4289] ppid=4235 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4289/stat : 4289 (java) S 4235 4238 1330 0 -1 1077944384 49 12261 0 0 0 0 5 2 20 0 15 0 44684100 14333833216 56043 18446744073709551615 4194304 4196468 140735972806448 140400874944912 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4290] ppid=4235 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4290/stat : 4290 (java) S 4235 4238 1330 0 -1 1077944384 56 12261 0 0 0 0 5 2 20 0 15 0 44684100 14333833216 56043 18446744073709551615 4194304 4196468 140735972806448 140400873892112 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4291] ppid=4235 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4291/stat : 4291 (java) S 4235 4238 1330 0 -1 1077944384 47 12261 0 0 0 0 5 2 20 0 15 0 44684100 14333833216 56043 18446744073709551615 4194304 4196468 140735972806448 140400872839824 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4292] ppid=4235 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4292/stat : 4292 (java) S 4235 4238 1330 0 -1 1077944384 203 12261 0 0 0 0 5 2 20 0 15 0 44684100 14333833216 56043 18446744073709551615 4194304 4196468 140735972806448 140400871787024 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4293] ppid=4235 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/4238/task/4293/stat : 4293 (java) S 4235 4238 1330 0 -1 1077944384 1179 12261 0 0 1 0 5 2 20 0 15 0 44684102 14333833216 56043 18446744073709551615 4194304 4196468 140735972806448 140400434174576 140400955542146 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4294] ppid=4235 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4294/stat : 4294 (java) S 4235 4238 1330 0 -1 1077944384 56 12261 0 0 0 0 5 2 20 0 15 0 44684102 14333833216 56043 18446744073709551615 4194304 4196468 140735972806448 140400433120544 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4295] ppid=4235 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4295/stat : 4295 (java) S 4235 4238 1330 0 -1 1077944384 43 12261 0 0 0 0 5 2 20 0 15 0 44684102 14333833216 56043 18446744073709551615 4194304 4196468 140735972806448 140400432068208 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4296] ppid=4235 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4296/stat : 4296 (java) S 4235 4238 1330 0 -1 1077944384 3 12261 0 0 0 0 5 2 20 0 15 0 44684105 14333833216 56043 18446744073709551615 4194304 4196468 140735972806448 140400431016528 140400955549595 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4297] ppid=4235 vsize=13997884 CPUtime=0.94 cores=1,3,5,7
/proc/4238/task/4297/stat : 4297 (java) R 4235 4238 1330 0 -1 4202560 2618 12261 0 0 86 1 5 2 20 0 15 0 44684105 14333833216 56043 18446744073709551615 4194304 4196468 140735972806448 140400429950208 140400934959324 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4298] ppid=4235 vsize=13997884 CPUtime=1.19 cores=1,3,5,7
/proc/4238/task/4298/stat : 4298 (java) R 4235 4238 1330 0 -1 4202560 4732 12261 0 0 112 0 5 2 20 0 15 0 44684105 14333833216 56043 18446744073709551615 4194304 4196468 140735972806448 140400428896672 140400937075152 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4299] ppid=4235 vsize=13997884 CPUtime=1.21 cores=1,3,5,7
/proc/4238/task/4299/stat : 4299 (java) S 4235 4238 1330 0 -1 1077944384 6057 12261 0 0 113 1 5 2 20 0 15 0 44684105 14333833216 56043 18446744073709551615 4194304 4196468 140735972806448 140400427858288 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4300] ppid=4235 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4300/stat : 4300 (java) S 4235 4238 1330 0 -1 1077944384 3 12261 0 0 0 0 5 2 20 0 15 0 44684105 14333833216 56043 18446744073709551615 4194304 4196468 140735972806448 140400426805728 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4301] ppid=4235 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4301/stat : 4301 (java) S 4235 4238 1330 0 -1 1077944384 11 12261 0 0 0 0 5 2 20 0 15 0 44684111 14333833216 56043 18446744073709551615 4194304 4196468 140735972806448 140400425753520 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 13997884
[startup+6.30073 s]
/proc/loadavg: 1.55 1.42 1.41 5/209 4301
/proc/meminfo: memFree=29592476/32770624 swapFree=0/498580
[pid=4238] ppid=4235 vsize=14069564 CPUtime=13.97 cores=1,3,5,7
/proc/4238/stat : 4238 (java) S 4235 4238 1330 0 -1 1077944320 72893 12261 0 0 1368 22 5 2 20 0 15 0 44684079 14407233536 88515 18446744073709551615 4194304 4196468 140735972806448 140735972788992 140400955530999 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
/proc/4238/statm: 3517391 88515 3469 1 0 3506005 0
[pid=4238/tid=4288] ppid=4235 vsize=14069564 CPUtime=6.01 cores=1,3,5,7
/proc/4238/task/4288/stat : 4288 (java) R 4235 4238 1330 0 -1 4202560 41101 12261 0 0 582 12 5 2 20 0 15 0 44684100 14407233536 88515 18446744073709551615 4194304 4196468 140735972806448 140400959761320 140400569094596 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4289] ppid=4235 vsize=14069564 CPUtime=0.1 cores=1,3,5,7
/proc/4238/task/4289/stat : 4289 (java) S 4235 4238 1330 0 -1 1077944384 123 12261 0 0 3 0 5 2 20 0 15 0 44684100 14407233536 88515 18446744073709551615 4194304 4196468 140735972806448 140400874944912 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4290] ppid=4235 vsize=14069564 CPUtime=0.1 cores=1,3,5,7
/proc/4238/task/4290/stat : 4290 (java) S 4235 4238 1330 0 -1 1077944384 771 12261 0 0 3 0 5 2 20 0 15 0 44684100 14407233536 88515 18446744073709551615 4194304 4196468 140735972806448 140400873892112 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4291] ppid=4235 vsize=14069564 CPUtime=0.1 cores=1,3,5,7
/proc/4238/task/4291/stat : 4291 (java) S 4235 4238 1330 0 -1 1077944384 146 12261 0 0 3 0 5 2 20 0 15 0 44684100 14407233536 88515 18446744073709551615 4194304 4196468 140735972806448 140400872839824 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4292] ppid=4235 vsize=14069564 CPUtime=0.1 cores=1,3,5,7
/proc/4238/task/4292/stat : 4292 (java) S 4235 4238 1330 0 -1 1077944384 262 12261 0 0 3 0 5 2 20 0 15 0 44684100 14407233536 88515 18446744073709551615 4194304 4196468 140735972806448 140400871787024 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4293] ppid=4235 vsize=14069564 CPUtime=0.1 cores=1,3,5,7
/proc/4238/task/4293/stat : 4293 (java) S 4235 4238 1330 0 -1 1077944384 2078 12261 0 0 3 0 5 2 20 0 15 0 44684102 14407233536 88515 18446744073709551615 4194304 4196468 140735972806448 140400434174576 140400955542146 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4294] ppid=4235 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4294/stat : 4294 (java) S 4235 4238 1330 0 -1 1077944384 56 12261 0 0 0 0 5 2 20 0 15 0 44684102 14407233536 88515 18446744073709551615 4194304 4196468 140735972806448 140400433120672 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4295] ppid=4235 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4295/stat : 4295 (java) S 4235 4238 1330 0 -1 1077944384 43 12261 0 0 0 0 5 2 20 0 15 0 44684102 14407233536 88515 18446744073709551615 4194304 4196468 140735972806448 140400432068224 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4296] ppid=4235 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4296/stat : 4296 (java) S 4235 4238 1330 0 -1 1077944384 3 12261 0 0 0 0 5 2 20 0 15 0 44684105 14407233536 88515 18446744073709551615 4194304 4196468 140735972806448 140400431016528 140400955549595 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4297] ppid=4235 vsize=14069564 CPUtime=2.9 cores=1,3,5,7
/proc/4238/task/4297/stat : 4297 (java) R 4235 4238 1330 0 -1 4202560 8495 12261 0 0 281 2 5 2 20 0 15 0 44684105 14407233536 88515 18446744073709551615 4194304 4196468 140735972806448 140400429963376 140400938941800 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4298] ppid=4235 vsize=14069564 CPUtime=3.17 cores=1,3,5,7
/proc/4238/task/4298/stat : 4298 (java) R 4235 4238 1330 0 -1 4202560 9654 12261 0 0 309 1 5 2 20 0 15 0 44684105 14407233536 88515 18446744073709551615 4194304 4196468 140735972806448 140400428910576 140400939014445 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4299] ppid=4235 vsize=14069564 CPUtime=1.85 cores=1,3,5,7
/proc/4238/task/4299/stat : 4299 (java) S 4235 4238 1330 0 -1 1077944384 7890 12261 0 0 175 3 5 2 20 0 15 0 44684105 14407233536 88515 18446744073709551615 4194304 4196468 140735972806448 140400427858288 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4300] ppid=4235 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4300/stat : 4300 (java) S 4235 4238 1330 0 -1 1077944384 3 12261 0 0 0 0 5 2 20 0 15 0 44684105 14407233536 88515 18446744073709551615 4194304 4196468 140735972806448 140400426805728 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4301] ppid=4235 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4301/stat : 4301 (java) S 4235 4238 1330 0 -1 1077944384 113 12261 0 0 0 0 5 2 20 0 15 0 44684111 14407233536 88515 18446744073709551615 4194304 4196468 140735972806448 140400425753520 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
Current children cumulated CPU time (s) 13.97
Current children cumulated vsize (KiB) 14069564
[startup+12.7007 s]
/proc/loadavg: 1.58 1.43 1.41 3/209 4301
/proc/meminfo: memFree=29315496/32770624 swapFree=0/498572
[pid=4238] ppid=4235 vsize=14069564 CPUtime=21.36 cores=1,3,5,7
/proc/4238/stat : 4238 (java) S 4235 4238 1330 0 -1 1077944320 78315 12261 0 0 2102 27 5 2 20 0 15 0 44684079 14407233536 102097 18446744073709551615 4194304 4196468 140735972806448 140735972788992 140400955530999 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
/proc/4238/statm: 3517391 102097 3474 1 0 3506005 0
[pid=4238/tid=4288] ppid=4235 vsize=14069564 CPUtime=12.37 cores=1,3,5,7
/proc/4238/task/4288/stat : 4288 (java) R 4235 4238 1330 0 -1 4202560 42399 12261 0 0 1218 12 5 2 20 0 15 0 44684100 14407233536 102097 18446744073709551615 4194304 4196468 140735972806448 140400959761888 140400568545251 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4289] ppid=4235 vsize=14069564 CPUtime=0.13 cores=1,3,5,7
/proc/4238/task/4289/stat : 4289 (java) S 4235 4238 1330 0 -1 1077944384 150 12261 0 0 5 1 5 2 20 0 15 0 44684100 14407233536 102097 18446744073709551615 4194304 4196468 140735972806448 140400874944912 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4290] ppid=4235 vsize=14069564 CPUtime=0.13 cores=1,3,5,7
/proc/4238/task/4290/stat : 4290 (java) S 4235 4238 1330 0 -1 1077944384 1221 12261 0 0 5 1 5 2 20 0 15 0 44684100 14407233536 102097 18446744073709551615 4194304 4196468 140735972806448 140400873892112 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4291] ppid=4235 vsize=14069564 CPUtime=0.13 cores=1,3,5,7
/proc/4238/task/4291/stat : 4291 (java) S 4235 4238 1330 0 -1 1077944384 183 12261 0 0 5 1 5 2 20 0 15 0 44684100 14407233536 102097 18446744073709551615 4194304 4196468 140735972806448 140400872839824 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4292] ppid=4235 vsize=14069564 CPUtime=0.13 cores=1,3,5,7
/proc/4238/task/4292/stat : 4292 (java) S 4235 4238 1330 0 -1 1077944384 290 12261 0 0 5 1 5 2 20 0 15 0 44684100 14407233536 102097 18446744073709551615 4194304 4196468 140735972806448 140400871787024 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4293] ppid=4235 vsize=14069564 CPUtime=0.11 cores=1,3,5,7
/proc/4238/task/4293/stat : 4293 (java) S 4235 4238 1330 0 -1 1077944384 2284 12261 0 0 4 0 5 2 20 0 15 0 44684102 14407233536 102097 18446744073709551615 4194304 4196468 140735972806448 140400434174576 140400955542146 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4294] ppid=4235 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4294/stat : 4294 (java) S 4235 4238 1330 0 -1 1077944384 59 12261 0 0 0 0 5 2 20 0 15 0 44684102 14407233536 102097 18446744073709551615 4194304 4196468 140735972806448 140400433120672 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4295] ppid=4235 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4295/stat : 4295 (java) S 4235 4238 1330 0 -1 1077944384 52 12261 0 0 0 0 5 2 20 0 15 0 44684102 14407233536 102097 18446744073709551615 4194304 4196468 140735972806448 140400432068224 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4296] ppid=4235 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4296/stat : 4296 (java) S 4235 4238 1330 0 -1 1077944384 3 12261 0 0 0 0 5 2 20 0 15 0 44684105 14407233536 102097 18446744073709551615 4194304 4196468 140735972806448 140400431016528 140400955549595 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
################
# More data... #
################
/proc/4238/task/4300/stat : 4300 (java) S 4235 4238 1330 0 -1 1077944384 3 12261 0 0 0 0 5 2 20 0 15 0 44684105 14407233536 105237 18446744073709551615 4194304 4196468 140735972806448 140400426805728 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4301] ppid=4235 vsize=14069564 CPUtime=0.6 cores=1,3,5,7
/proc/4238/task/4301/stat : 4301 (java) S 4235 4238 1330 0 -1 1077944384 939 12261 0 0 23 30 5 2 20 0 15 0 44684111 14407233536 105237 18446744073709551615 4194304 4196468 140735972806448 140400425753520 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
Current children cumulated CPU time (s) 2399.39
Current children cumulated vsize (KiB) 14069564
[startup+2442.3 s]
/proc/loadavg: 1.37 1.36 1.39 3/209 4465
/proc/meminfo: memFree=28688584/32770624 swapFree=0/499244
[pid=4238] ppid=4235 vsize=14069564 CPUtime=2459.56 cores=1,3,5,7
/proc/4238/stat : 4238 (java) S 4235 4238 1330 0 -1 1077944320 215007 12261 0 0 245825 124 5 2 20 0 15 0 44684079 14407233536 105251 18446744073709551615 4194304 4196468 140735972806448 140735972788992 140400955530999 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
/proc/4238/statm: 3517391 105251 3478 1 0 3506005 0
[pid=4238/tid=4288] ppid=4235 vsize=14069564 CPUtime=2436.9 cores=1,3,5,7
/proc/4238/task/4288/stat : 4288 (java) R 4235 4238 1330 0 -1 4202560 73586 12261 0 0 243664 19 5 2 20 0 15 0 44684100 14407233536 105251 18446744073709551615 4194304 4196468 140735972806448 140400959765136 140400568739756 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4289] ppid=4235 vsize=14069564 CPUtime=2.68 cores=1,3,5,7
/proc/4238/task/4289/stat : 4289 (java) S 4235 4238 1330 0 -1 1077944384 14759 12261 0 0 242 19 5 2 20 0 15 0 44684100 14407233536 105251 18446744073709551615 4194304 4196468 140735972806448 140400874944912 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4290] ppid=4235 vsize=14069564 CPUtime=2.69 cores=1,3,5,7
/proc/4238/task/4290/stat : 4290 (java) S 4235 4238 1330 0 -1 1077944384 17443 12261 0 0 247 15 5 2 20 0 15 0 44684100 14407233536 105251 18446744073709551615 4194304 4196468 140735972806448 140400873892112 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4291] ppid=4235 vsize=14069564 CPUtime=2.69 cores=1,3,5,7
/proc/4238/task/4291/stat : 4291 (java) S 4235 4238 1330 0 -1 1077944384 7829 12261 0 0 247 15 5 2 20 0 15 0 44684100 14407233536 105251 18446744073709551615 4194304 4196468 140735972806448 140400872839824 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4292] ppid=4235 vsize=14069564 CPUtime=2.7 cores=1,3,5,7
/proc/4238/task/4292/stat : 4292 (java) S 4235 4238 1330 0 -1 1077944384 11429 12261 0 0 244 19 5 2 20 0 15 0 44684100 14407233536 105251 18446744073709551615 4194304 4196468 140735972806448 140400871787024 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4293] ppid=4235 vsize=14069564 CPUtime=2.02 cores=1,3,5,7
/proc/4238/task/4293/stat : 4293 (java) S 4235 4238 1330 0 -1 1077944384 12167 12261 0 0 183 12 5 2 20 0 15 0 44684102 14407233536 105251 18446744073709551615 4194304 4196468 140735972806448 140400434174576 140400955542146 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4294] ppid=4235 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4294/stat : 4294 (java) S 4235 4238 1330 0 -1 1077944384 59 12261 0 0 0 0 5 2 20 0 15 0 44684102 14407233536 105251 18446744073709551615 4194304 4196468 140735972806448 140400433120672 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4295] ppid=4235 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4295/stat : 4295 (java) S 4235 4238 1330 0 -1 1077944384 52 12261 0 0 0 0 5 2 20 0 15 0 44684102 14407233536 105251 18446744073709551615 4194304 4196468 140735972806448 140400432068224 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4296] ppid=4235 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4296/stat : 4296 (java) S 4235 4238 1330 0 -1 1077944384 3 12261 0 0 0 0 5 2 20 0 15 0 44684105 14407233536 105251 18446744073709551615 4194304 4196468 140735972806448 140400431016528 140400955549595 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4297] ppid=4235 vsize=14069564 CPUtime=3.63 cores=1,3,5,7
/proc/4238/task/4297/stat : 4297 (java) S 4235 4238 1330 0 -1 1077944384 23400 12261 0 0 353 3 5 2 20 0 15 0 44684105 14407233536 105251 18446744073709551615 4194304 4196468 140735972806448 140400429963376 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4298] ppid=4235 vsize=14069564 CPUtime=4.19 cores=1,3,5,7
/proc/4238/task/4298/stat : 4298 (java) S 4235 4238 1330 0 -1 1077944384 28869 12261 0 0 410 2 5 2 20 0 15 0 44684105 14407233536 105251 18446744073709551615 4194304 4196468 140735972806448 140400428910576 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4299] ppid=4235 vsize=14069564 CPUtime=1.94 cores=1,3,5,7
/proc/4238/task/4299/stat : 4299 (java) S 4235 4238 1330 0 -1 1077944384 22297 12261 0 0 183 4 5 2 20 0 15 0 44684105 14407233536 105251 18446744073709551615 4194304 4196468 140735972806448 140400427858288 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4300] ppid=4235 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4300/stat : 4300 (java) S 4235 4238 1330 0 -1 1077944384 3 12261 0 0 0 0 5 2 20 0 15 0 44684105 14407233536 105251 18446744073709551615 4194304 4196468 140735972806448 140400426805728 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4301] ppid=4235 vsize=14069564 CPUtime=0.62 cores=1,3,5,7
/proc/4238/task/4301/stat : 4301 (java) S 4235 4238 1330 0 -1 1077944384 956 12261 0 0 24 31 5 2 20 0 15 0 44684111 14407233536 105251 18446744073709551615 4194304 4196468 140735972806448 140400425753520 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
Current children cumulated CPU time (s) 2459.56
Current children cumulated vsize (KiB) 14069564
[startup+2502.3 s]
/proc/loadavg: 2.04 1.57 1.46 3/209 4839
/proc/meminfo: memFree=29912572/32770624 swapFree=0/499000
[pid=4238] ppid=4235 vsize=14069564 CPUtime=2519.72 cores=1,3,5,7
/proc/4238/stat : 4238 (java) S 4235 4238 1330 0 -1 1077944320 215791 12261 0 0 251840 125 5 2 20 0 15 0 44684079 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140735972788992 140400955530999 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
/proc/4238/statm: 3517391 105775 3478 1 0 3506005 0
[pid=4238/tid=4288] ppid=4235 vsize=14069564 CPUtime=2496.79 cores=1,3,5,7
/proc/4238/task/4288/stat : 4288 (java) R 4235 4238 1330 0 -1 4202560 73921 12261 0 0 249653 19 5 2 20 0 15 0 44684100 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400959765072 140400569607369 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4289] ppid=4235 vsize=14069564 CPUtime=2.74 cores=1,3,5,7
/proc/4238/task/4289/stat : 4289 (java) S 4235 4238 1330 0 -1 1077944384 14811 12261 0 0 247 20 5 2 20 0 15 0 44684100 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400874944912 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4290] ppid=4235 vsize=14069564 CPUtime=2.74 cores=1,3,5,7
/proc/4238/task/4290/stat : 4290 (java) S 4235 4238 1330 0 -1 1077944384 17450 12261 0 0 252 15 5 2 20 0 15 0 44684100 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400873892112 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4291] ppid=4235 vsize=14069564 CPUtime=2.75 cores=1,3,5,7
/proc/4238/task/4291/stat : 4291 (java) S 4235 4238 1330 0 -1 1077944384 7839 12261 0 0 252 16 5 2 20 0 15 0 44684100 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400872839824 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4292] ppid=4235 vsize=14069564 CPUtime=2.75 cores=1,3,5,7
/proc/4238/task/4292/stat : 4292 (java) S 4235 4238 1330 0 -1 1077944384 11649 12261 0 0 249 19 5 2 20 0 15 0 44684100 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400871787024 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4293] ppid=4235 vsize=14069564 CPUtime=2.06 cores=1,3,5,7
/proc/4238/task/4293/stat : 4293 (java) S 4235 4238 1330 0 -1 1077944384 12314 12261 0 0 187 12 5 2 20 0 15 0 44684102 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400434174576 140400955542146 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4294] ppid=4235 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4294/stat : 4294 (java) S 4235 4238 1330 0 -1 1077944384 59 12261 0 0 0 0 5 2 20 0 15 0 44684102 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400433120672 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4295] ppid=4235 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4295/stat : 4295 (java) S 4235 4238 1330 0 -1 1077944384 52 12261 0 0 0 0 5 2 20 0 15 0 44684102 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400432068224 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4296] ppid=4235 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4296/stat : 4296 (java) S 4235 4238 1330 0 -1 1077944384 3 12261 0 0 0 0 5 2 20 0 15 0 44684105 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400431016528 140400955549595 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4297] ppid=4235 vsize=14069564 CPUtime=3.63 cores=1,3,5,7
/proc/4238/task/4297/stat : 4297 (java) S 4235 4238 1330 0 -1 1077944384 23403 12261 0 0 353 3 5 2 20 0 15 0 44684105 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400429963376 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4298] ppid=4235 vsize=14069564 CPUtime=4.2 cores=1,3,5,7
/proc/4238/task/4298/stat : 4298 (java) S 4235 4238 1330 0 -1 1077944384 28871 12261 0 0 410 3 5 2 20 0 15 0 44684105 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400428910576 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4299] ppid=4235 vsize=14069564 CPUtime=1.94 cores=1,3,5,7
/proc/4238/task/4299/stat : 4299 (java) S 4235 4238 1330 0 -1 1077944384 22299 12261 0 0 183 4 5 2 20 0 15 0 44684105 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400427858288 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4300] ppid=4235 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4300/stat : 4300 (java) S 4235 4238 1330 0 -1 1077944384 3 12261 0 0 0 0 5 2 20 0 15 0 44684105 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400426805728 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4301] ppid=4235 vsize=14069564 CPUtime=0.62 cores=1,3,5,7
/proc/4238/task/4301/stat : 4301 (java) S 4235 4238 1330 0 -1 1077944384 962 12261 0 0 24 31 5 2 20 0 15 0 44684111 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400425753520 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
Current children cumulated CPU time (s) 2519.72
Current children cumulated vsize (KiB) 14069564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2502.61 s]
/proc/loadavg: 2.04 1.57 1.46 3/209 4839
/proc/meminfo: memFree=29910524/32770624 swapFree=0/499000
[pid=4238] ppid=4235 vsize=14069564 CPUtime=2520.02 cores=1,3,5,7
/proc/4238/stat : 4238 (java) S 4235 4238 1330 0 -1 1077944320 215791 12261 0 0 251870 125 5 2 20 0 15 0 44684079 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140735972788992 140400955530999 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 6 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
/proc/4238/statm: 3517391 105775 3478 1 0 3506005 0
[pid=4238/tid=4288] ppid=4235 vsize=14069564 CPUtime=2497.1 cores=1,3,5,7
/proc/4238/task/4288/stat : 4288 (java) R 4235 4238 1330 0 -1 4202560 73921 12261 0 0 249684 19 5 2 20 0 15 0 44684100 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400959765072 140400568545614 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4289] ppid=4235 vsize=14069564 CPUtime=2.74 cores=1,3,5,7
/proc/4238/task/4289/stat : 4289 (java) S 4235 4238 1330 0 -1 1077944384 14811 12261 0 0 247 20 5 2 20 0 15 0 44684100 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400874944912 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4290] ppid=4235 vsize=14069564 CPUtime=2.74 cores=1,3,5,7
/proc/4238/task/4290/stat : 4290 (java) S 4235 4238 1330 0 -1 1077944384 17450 12261 0 0 252 15 5 2 20 0 15 0 44684100 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400873892112 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4291] ppid=4235 vsize=14069564 CPUtime=2.75 cores=1,3,5,7
/proc/4238/task/4291/stat : 4291 (java) S 4235 4238 1330 0 -1 1077944384 7839 12261 0 0 252 16 5 2 20 0 15 0 44684100 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400872839824 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4292] ppid=4235 vsize=14069564 CPUtime=2.75 cores=1,3,5,7
/proc/4238/task/4292/stat : 4292 (java) S 4235 4238 1330 0 -1 1077944384 11649 12261 0 0 249 19 5 2 20 0 15 0 44684100 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400871787024 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4293] ppid=4235 vsize=14069564 CPUtime=2.06 cores=1,3,5,7
/proc/4238/task/4293/stat : 4293 (java) S 4235 4238 1330 0 -1 1077944384 12314 12261 0 0 187 12 5 2 20 0 15 0 44684102 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400434174576 140400955542146 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4294] ppid=4235 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4294/stat : 4294 (java) S 4235 4238 1330 0 -1 1077944384 59 12261 0 0 0 0 5 2 20 0 15 0 44684102 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400433120672 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4295] ppid=4235 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4295/stat : 4295 (java) S 4235 4238 1330 0 -1 1077944384 52 12261 0 0 0 0 5 2 20 0 15 0 44684102 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400432068224 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4296] ppid=4235 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4296/stat : 4296 (java) S 4235 4238 1330 0 -1 1077944384 3 12261 0 0 0 0 5 2 20 0 15 0 44684105 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400431016528 140400955549595 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4297] ppid=4235 vsize=14069564 CPUtime=3.63 cores=1,3,5,7
/proc/4238/task/4297/stat : 4297 (java) S 4235 4238 1330 0 -1 1077944384 23403 12261 0 0 353 3 5 2 20 0 15 0 44684105 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400429963376 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4298] ppid=4235 vsize=14069564 CPUtime=4.2 cores=1,3,5,7
/proc/4238/task/4298/stat : 4298 (java) S 4235 4238 1330 0 -1 1077944384 28871 12261 0 0 410 3 5 2 20 0 15 0 44684105 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400428910576 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4299] ppid=4235 vsize=14069564 CPUtime=1.94 cores=1,3,5,7
/proc/4238/task/4299/stat : 4299 (java) S 4235 4238 1330 0 -1 1077944384 22299 12261 0 0 183 4 5 2 20 0 15 0 44684105 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400427858288 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4300] ppid=4235 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4300/stat : 4300 (java) S 4235 4238 1330 0 -1 1077944384 3 12261 0 0 0 0 5 2 20 0 15 0 44684105 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400426805728 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4301] ppid=4235 vsize=14069564 CPUtime=0.62 cores=1,3,5,7
/proc/4238/task/4301/stat : 4301 (java) S 4235 4238 1330 0 -1 1077944384 962 12261 0 0 24 31 5 2 20 0 15 0 44684111 14407233536 105775 18446744073709551615 4194304 4196468 140735972806448 140400425753520 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
Current children cumulated CPU time (s) 2520.02
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 4238 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2502.8 s]
/proc/loadavg: 2.04 1.57 1.46 3/209 4839
/proc/meminfo: memFree=29910524/32770624 swapFree=0/499000
[pid=4238] ppid=4235 vsize=14202692 CPUtime=2520.57 cores=1,3,5,7
/proc/4238/stat : 4238 (java) S 4235 4238 1330 0 -1 1077944320 221225 12261 0 0 251924 126 5 2 20 0 17 0 44684079 14543556608 106154 18446744073709551615 4194304 4196468 140735972806448 140735972788992 140400955530999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
/proc/4238/statm: 3550673 106154 3478 1 0 3539287 0
[pid=4238/tid=4288] ppid=4235 vsize=14202692 CPUtime=2497.11 cores=1,3,5,7
/proc/4238/task/4288/stat : 4288 (java) S 4235 4238 1330 0 -1 1077944384 74185 12261 0 0 249685 19 5 2 20 0 17 0 44684100 14543556608 106154 18446744073709551615 4194304 4196468 140735972806448 140400959768544 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4289] ppid=4235 vsize=14202692 CPUtime=2.86 cores=1,3,5,7
/proc/4238/task/4289/stat : 4289 (java) S 4235 4238 1330 0 -1 1077944384 15120 12261 0 0 259 20 5 2 20 0 17 0 44684100 14543556608 106154 18446744073709551615 4194304 4196468 140735972806448 140400874944912 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4290] ppid=4235 vsize=14202692 CPUtime=2.86 cores=1,3,5,7
/proc/4238/task/4290/stat : 4290 (java) S 4235 4238 1330 0 -1 1077944384 17481 12261 0 0 264 15 5 2 20 0 17 0 44684100 14543556608 106154 18446744073709551615 4194304 4196468 140735972806448 140400873892112 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4291] ppid=4235 vsize=14202692 CPUtime=2.87 cores=1,3,5,7
/proc/4238/task/4291/stat : 4291 (java) R 4235 4238 1330 0 -1 1077944384 7867 12261 0 0 264 16 5 2 20 0 17 0 44684100 14543556608 106154 18446744073709551615 4194304 4196468 140735972806448 140400872839824 140400955541205 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4292] ppid=4235 vsize=14202692 CPUtime=2.87 cores=1,3,5,7
/proc/4238/task/4292/stat : 4292 (java) S 4235 4238 1330 0 -1 1077944384 11702 12261 0 0 261 19 5 2 20 0 17 0 44684100 14543556608 106154 18446744073709551615 4194304 4196468 140735972806448 140400871787024 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4293] ppid=4235 vsize=14202692 CPUtime=2.14 cores=1,3,5,7
/proc/4238/task/4293/stat : 4293 (java) R 4235 4238 1330 0 -1 1077944384 16876 12261 0 0 194 13 5 2 20 0 17 0 44684102 14543556608 106154 18446744073709551615 4194304 4196468 140735972806448 140400434173200 140400955542146 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4294] ppid=4235 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4294/stat : 4294 (java) S 4235 4238 1330 0 -1 1077944384 61 12261 0 0 0 0 5 2 20 0 17 0 44684102 14543556608 106154 18446744073709551615 4194304 4196468 140735972806448 140400433120272 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4295] ppid=4235 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4295/stat : 4295 (java) S 4235 4238 1330 0 -1 1077944384 52 12261 0 0 0 0 5 2 20 0 17 0 44684102 14543556608 106154 18446744073709551615 4194304 4196468 140735972806448 140400432068224 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4296] ppid=4235 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4296/stat : 4296 (java) S 4235 4238 1330 0 -1 1077944384 81 12261 0 0 0 0 5 2 20 0 17 0 44684105 14543556608 106154 18446744073709551615 4194304 4196468 140735972806448 140400431016528 140400955549595 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4297] ppid=4235 vsize=14202692 CPUtime=3.63 cores=1,3,5,7
/proc/4238/task/4297/stat : 4297 (java) S 4235 4238 1330 0 -1 1077944384 23403 12261 0 0 353 3 5 2 20 0 17 0 44684105 14543556608 106154 18446744073709551615 4194304 4196468 140735972806448 140400429963376 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4298] ppid=4235 vsize=14202692 CPUtime=4.2 cores=1,3,5,7
/proc/4238/task/4298/stat : 4298 (java) S 4235 4238 1330 0 -1 1077944384 28871 12261 0 0 410 3 5 2 20 0 17 0 44684105 14543556608 106154 18446744073709551615 4194304 4196468 140735972806448 140400428910576 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4299] ppid=4235 vsize=14202692 CPUtime=1.94 cores=1,3,5,7
/proc/4238/task/4299/stat : 4299 (java) S 4235 4238 1330 0 -1 1077944384 22299 12261 0 0 183 4 5 2 20 0 17 0 44684105 14543556608 106154 18446744073709551615 4194304 4196468 140735972806448 140400427858288 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4300] ppid=4235 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/4238/task/4300/stat : 4300 (java) S 4235 4238 1330 0 -1 1077944384 3 12261 0 0 0 0 5 2 20 0 17 0 44684105 14543556608 106154 18446744073709551615 4194304 4196468 140735972806448 140400426805728 140400955541205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
[pid=4238/tid=4301] ppid=4235 vsize=14202692 CPUtime=0.62 cores=1,3,5,7
/proc/4238/task/4301/stat : 4301 (java) S 4235 4238 1330 0 -1 1077944384 962 12261 0 0 24 31 5 2 20 0 17 0 44684111 14543556608 106154 18446744073709551615 4194304 4196468 140735972806448 140400425753520 140400955542146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140735972812752 140735972815537 140735972815537 140735972818895 0
Current children cumulated CPU time (s) 2520.57
Current children cumulated vsize (KiB) 14202692
Child status: 143
Real time (s): 2502.85
CPU time (s): 2520.7
CPU user time (s): 2519.4
CPU system time (s): 1.29786
CPU usage (%): 100.713
Max. virtual memory (cumulated for all children) (KiB): 14202692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.4
system time used= 1.29787
maximum resident set size= 588640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233637
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98860
involuntary context switches= 2763
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0106 second user time and 14.6666 second system time
The end