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-4261846-1502470466/watcher-4261846-1502470466 -o /tmp/evaluation-result-4261846-1502470466/solver-4261846-1502470466 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4960 --watchdog 2580 bin/concrete HOME/instance-4261846-1502470466.xml
pid=22201
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.82 1.73 1.69 2/201 22204
/proc/meminfo: memFree=26226440/32770624 swapFree=0/453996
[pid=22204] ppid=22201 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/22204/stat : 22204 (runsolver) D 22201 22204 4896 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 146699427 24240128 107 18446744073709551615 4194304 4338465 140723070215088 140723070212728 140352297099991 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 34959360 140723070222545 140723070222921 140723070222921 140723070226378 0
/proc/22204/statm: 5918 107 54 36 0 2156 0
[startup+0.100148 s]
/proc/loadavg: 1.82 1.73 1.69 2/201 22204
/proc/meminfo: memFree=26226440/32770624 swapFree=0/453996
[pid=22204] ppid=22201 vsize=3580 CPUtime=0 cores=1,3,5,7
/proc/22204/stat : 22204 (bash) R 22201 22204 4896 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 146699427 3665920 46 18446744073709551615 4194304 5098028 140728938932544 140728938932544 140442509803026 0 0 1 0 0 0 0 17 3 0 0 9 0 0 7196144 7232144 15208448 140728938938900 140728938938985 140728938938985 140728938942442 0
/proc/22204/statm: 895 46 37 221 0 44 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3580
[startup+0.200273 s]
/proc/loadavg: 1.82 1.73 1.69 2/201 22204
/proc/meminfo: memFree=26226440/32770624 swapFree=0/453996
[pid=22204] ppid=22201 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/22204/stat : 22204 (bash) S 22201 22204 4896 0 -1 4202496 896 6486 0 0 0 0 0 1 20 0 1 0 146699427 9867264 377 18446744073709551615 4194304 5098028 140728938932544 140728938926552 140442502335488 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 9 0 0 7196144 7232144 15208448 140728938938900 140728938938985 140728938938985 140728938942442 0
/proc/22204/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300345 s]
/proc/loadavg: 1.82 1.73 1.69 2/201 22204
/proc/meminfo: memFree=26226440/32770624 swapFree=0/453996
[pid=22204] ppid=22201 vsize=13574488 CPUtime=0.13 cores=1,3,5,7
/proc/22204/stat : 22204 (java) S 22201 22204 4896 0 -1 1077944320 5222 12824 0 0 4 1 5 3 20 0 9 0 146699427 13900275712 4931 18446744073709551615 4194304 4196468 140735656056576 140735656039120 139891525701367 0 0 1 16800970 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
/proc/22204/statm: 3393622 4931 2137 1 0 3383119 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13574488
[startup+0.700357 s]
/proc/loadavg: 1.82 1.73 1.69 2/201 22204
/proc/meminfo: memFree=26226440/32770624 swapFree=0/453996
[pid=22204] ppid=22201 vsize=13974784 CPUtime=0.59 cores=1,3,5,7
/proc/22204/stat : 22204 (java) S 22201 22204 4896 0 -1 1077944320 13757 12824 0 0 48 3 5 3 20 0 15 0 146699427 14310178816 14182 18446744073709551615 4194304 4196468 140735656056576 140735656039120 139891525701367 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
/proc/22204/statm: 3493696 14182 3057 1 0 3482965 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 13974784
[startup+1.50062 s]
/proc/loadavg: 1.82 1.73 1.69 3/216 22267
/proc/meminfo: memFree=26137280/32770624 swapFree=0/454032
[pid=22204] ppid=22201 vsize=13985408 CPUtime=1.83 cores=1,3,5,7
/proc/22204/stat : 22204 (java) S 22201 22204 4896 0 -1 1077944320 29387 12824 0 0 167 8 5 3 20 0 15 0 146699427 14321057792 33805 18446744073709551615 4194304 4196468 140735656056576 140735656039120 139891525701367 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
/proc/22204/statm: 3496352 33805 3339 1 0 3485525 0
[pid=22204/tid=22254] ppid=22201 vsize=13985408 CPUtime=1.26 cores=1,3,5,7
/proc/22204/task/22254/stat : 22254 (java) R 22201 22204 4896 0 -1 4202560 24242 12824 0 0 112 6 5 3 20 0 15 0 146699452 14321057792 33805 18446744073709551615 4194304 4196468 140735656056576 139891529919824 139891505917991 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22255] ppid=22201 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22255/stat : 22255 (java) S 22201 22204 4896 0 -1 1077944384 1 12824 0 0 0 0 5 3 20 0 15 0 146699453 14321057792 33805 18446744073709551615 4194304 4196468 140735656056576 139891460135568 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22256] ppid=22201 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22256/stat : 22256 (java) S 22201 22204 4896 0 -1 1077944384 1 12824 0 0 0 0 5 3 20 0 15 0 146699453 14321057792 33805 18446744073709551615 4194304 4196468 140735656056576 139891459082768 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22257] ppid=22201 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22257/stat : 22257 (java) S 22201 22204 4896 0 -1 1077944384 1 12824 0 0 0 0 5 3 20 0 15 0 146699453 14321057792 33805 18446744073709551615 4194304 4196468 140735656056576 139891458029968 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22258] ppid=22201 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22258/stat : 22258 (java) S 22201 22204 4896 0 -1 1077944384 2 12824 0 0 0 0 5 3 20 0 15 0 146699453 14321057792 33805 18446744073709551615 4194304 4196468 140735656056576 139891456977168 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22259] ppid=22201 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22259/stat : 22259 (java) S 22201 22204 4896 0 -1 1077944384 5 12824 0 0 0 0 5 3 20 0 15 0 146699454 14321057792 33805 18446744073709551615 4194304 4196468 140735656056576 139891003992944 139891525712514 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22260] ppid=22201 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22260/stat : 22260 (java) S 22201 22204 4896 0 -1 1077944384 33 12824 0 0 0 0 5 3 20 0 15 0 146699455 14321057792 33805 18446744073709551615 4194304 4196468 140735656056576 139891002938912 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22261] ppid=22201 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22261/stat : 22261 (java) S 22201 22204 4896 0 -1 1077944384 21 12824 0 0 0 0 5 3 20 0 15 0 146699455 14321057792 33805 18446744073709551615 4194304 4196468 140735656056576 139891001886064 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22262] ppid=22201 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22262/stat : 22262 (java) S 22201 22204 4896 0 -1 1077944384 3 12824 0 0 0 0 5 3 20 0 15 0 146699458 14321057792 33805 18446744073709551615 4194304 4196468 140735656056576 139891000834384 139891525719963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22263] ppid=22201 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/22204/task/22263/stat : 22263 (java) S 22201 22204 4896 0 -1 1077944384 1036 12824 0 0 16 0 5 3 20 0 15 0 146699458 14321057792 33805 18446744073709551615 4194304 4196468 140735656056576 139890999781744 139891525712514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22264] ppid=22201 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/22204/task/22264/stat : 22264 (java) S 22201 22204 4896 0 -1 1077944384 954 12824 0 0 16 0 5 3 20 0 15 0 146699458 14321057792 33805 18446744073709551615 4194304 4196468 140735656056576 139890998728944 139891525712514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22265] ppid=22201 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/22204/task/22265/stat : 22265 (java) S 22201 22204 4896 0 -1 1077944384 922 12824 0 0 21 0 5 3 20 0 15 0 146699458 14321057792 33805 18446744073709551615 4194304 4196468 140735656056576 139890997676144 139891525712514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22266] ppid=22201 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22266/stat : 22266 (java) S 22201 22204 4896 0 -1 1077944384 3 12824 0 0 0 0 5 3 20 0 15 0 146699458 14321057792 33805 18446744073709551615 4194304 4196468 140735656056576 139890996623584 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22267] ppid=22201 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22267/stat : 22267 (java) S 22201 22204 4896 0 -1 1077944384 10 12824 0 0 0 0 5 3 20 0 15 0 146699463 14321057792 33805 18446744073709551615 4194304 4196468 140735656056576 139890995571888 139891525712514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 13985408
[startup+3.10123 s]
/proc/loadavg: 1.82 1.73 1.69 5/216 22267
/proc/meminfo: memFree=26059296/32770624 swapFree=0/454032
[pid=22204] ppid=22201 vsize=13997884 CPUtime=6.02 cores=1,3,5,7
/proc/22204/stat : 22204 (java) S 22201 22204 4896 0 -1 1077944320 43992 12824 0 0 579 15 5 3 20 0 15 0 146699427 14333833216 60666 18446744073709551615 4194304 4196468 140735656056576 140735656039120 139891525701367 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
/proc/22204/statm: 3499471 60666 3446 1 0 3488085 0
[pid=22204/tid=22254] ppid=22201 vsize=13997884 CPUtime=2.82 cores=1,3,5,7
/proc/22204/task/22254/stat : 22254 (java) R 22201 22204 4896 0 -1 4202560 30974 12824 0 0 265 9 5 3 20 0 15 0 146699452 14333833216 60666 18446744073709551615 4194304 4196468 140735656056576 139891529935352 139891138417632 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22255] ppid=22201 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22255/stat : 22255 (java) S 22201 22204 4896 0 -1 1077944384 51 12824 0 0 0 0 5 3 20 0 15 0 146699453 14333833216 60666 18446744073709551615 4194304 4196468 140735656056576 139891460135568 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22256] ppid=22201 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22256/stat : 22256 (java) S 22201 22204 4896 0 -1 1077944384 47 12824 0 0 0 0 5 3 20 0 15 0 146699453 14333833216 60666 18446744073709551615 4194304 4196468 140735656056576 139891459082768 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22257] ppid=22201 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/22204/task/22257/stat : 22257 (java) S 22201 22204 4896 0 -1 1077944384 62 12824 0 0 1 0 5 3 20 0 15 0 146699453 14333833216 60666 18446744073709551615 4194304 4196468 140735656056576 139891458029968 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22258] ppid=22201 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22258/stat : 22258 (java) S 22201 22204 4896 0 -1 1077944384 231 12824 0 0 0 0 5 3 20 0 15 0 146699453 14333833216 60666 18446744073709551615 4194304 4196468 140735656056576 139891456977168 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22259] ppid=22201 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/22204/task/22259/stat : 22259 (java) S 22201 22204 4896 0 -1 1077944384 2094 12824 0 0 1 0 5 3 20 0 15 0 146699454 14333833216 60666 18446744073709551615 4194304 4196468 140735656056576 139891003992944 139891525712514 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22260] ppid=22201 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22260/stat : 22260 (java) S 22201 22204 4896 0 -1 1077944384 55 12824 0 0 0 0 5 3 20 0 15 0 146699455 14333833216 60666 18446744073709551615 4194304 4196468 140735656056576 139891002938976 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22261] ppid=22201 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22261/stat : 22261 (java) S 22201 22204 4896 0 -1 1077944384 43 12824 0 0 0 0 5 3 20 0 15 0 146699455 14333833216 60666 18446744073709551615 4194304 4196468 140735656056576 139891001886064 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22262] ppid=22201 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22262/stat : 22262 (java) S 22201 22204 4896 0 -1 1077944384 3 12824 0 0 0 0 5 3 20 0 15 0 146699458 14333833216 60666 18446744073709551615 4194304 4196468 140735656056576 139891000834384 139891525719963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22263] ppid=22201 vsize=13997884 CPUtime=1 cores=1,3,5,7
/proc/22204/task/22263/stat : 22263 (java) R 22201 22204 4896 0 -1 4202560 1959 12824 0 0 91 1 5 3 20 0 15 0 146699458 14333833216 60666 18446744073709551615 4194304 4196468 140735656056576 139890999781744 139891525722714 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22264] ppid=22201 vsize=13997884 CPUtime=1.22 cores=1,3,5,7
/proc/22204/task/22264/stat : 22264 (java) R 22201 22204 4896 0 -1 4202560 3329 12824 0 0 113 1 5 3 20 0 15 0 146699458 14333833216 60666 18446744073709551615 4194304 4196468 140735656056576 139890998715488 139891509258725 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22265] ppid=22201 vsize=13997884 CPUtime=1.12 cores=1,3,5,7
/proc/22204/task/22265/stat : 22265 (java) R 22201 22204 4896 0 -1 4202560 2982 12824 0 0 103 1 5 3 20 0 15 0 146699458 14333833216 60666 18446744073709551615 4194304 4196468 140735656056576 139890997671872 139891525713302 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22266] ppid=22201 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22266/stat : 22266 (java) S 22201 22204 4896 0 -1 1077944384 3 12824 0 0 0 0 5 3 20 0 15 0 146699458 14333833216 60666 18446744073709551615 4194304 4196468 140735656056576 139890996623584 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22267] ppid=22201 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22267/stat : 22267 (java) S 22201 22204 4896 0 -1 1077944384 11 12824 0 0 0 0 5 3 20 0 15 0 146699463 14333833216 60666 18446744073709551615 4194304 4196468 140735656056576 139890995571888 139891525712514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 13997884
[startup+6.30847 s]
/proc/loadavg: 1.83 1.73 1.69 4/216 22267
/proc/meminfo: memFree=25889212/32770624 swapFree=0/454024
[pid=22204] ppid=22201 vsize=14001980 CPUtime=15.41 cores=1,3,5,7
/proc/22204/stat : 22204 (java) S 22201 22204 4896 0 -1 1077944320 77710 12824 0 0 1499 34 5 3 20 0 15 0 146699427 14338027520 103272 18446744073709551615 4194304 4196468 140735656056576 140735656039120 139891525701367 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
/proc/22204/statm: 3500495 103272 3469 1 0 3489109 0
[pid=22204/tid=22254] ppid=22201 vsize=14001980 CPUtime=5.84 cores=1,3,5,7
/proc/22204/task/22254/stat : 22254 (java) R 22201 22204 4896 0 -1 4202560 44955 12824 0 0 562 14 5 3 20 0 15 0 146699452 14338027520 103272 18446744073709551615 4194304 4196468 140735656056576 139891529935264 139891509058941 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22255] ppid=22201 vsize=14001980 CPUtime=0.21 cores=1,3,5,7
/proc/22204/task/22255/stat : 22255 (java) S 22201 22204 4896 0 -1 1077944384 210 12824 0 0 11 2 5 3 20 0 15 0 146699453 14338027520 103272 18446744073709551615 4194304 4196468 140735656056576 139891460135568 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22256] ppid=22201 vsize=14001980 CPUtime=0.23 cores=1,3,5,7
/proc/22204/task/22256/stat : 22256 (java) S 22201 22204 4896 0 -1 1077944384 152 12824 0 0 13 2 5 3 20 0 15 0 146699453 14338027520 103272 18446744073709551615 4194304 4196468 140735656056576 139891459082768 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22257] ppid=22201 vsize=14001980 CPUtime=0.22 cores=1,3,5,7
/proc/22204/task/22257/stat : 22257 (java) S 22201 22204 4896 0 -1 1077944384 319 12824 0 0 12 2 5 3 20 0 15 0 146699453 14338027520 103272 18446744073709551615 4194304 4196468 140735656056576 139891458029968 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22258] ppid=22201 vsize=14001980 CPUtime=0.21 cores=1,3,5,7
/proc/22204/task/22258/stat : 22258 (java) S 22201 22204 4896 0 -1 1077944384 282 12824 0 0 11 2 5 3 20 0 15 0 146699453 14338027520 103272 18446744073709551615 4194304 4196468 140735656056576 139891456977168 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22259] ppid=22201 vsize=14001980 CPUtime=0.12 cores=1,3,5,7
/proc/22204/task/22259/stat : 22259 (java) S 22201 22204 4896 0 -1 1077944384 4919 12824 0 0 4 0 5 3 20 0 15 0 146699454 14338027520 103272 18446744073709551615 4194304 4196468 140735656056576 139891003992944 139891525712514 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22260] ppid=22201 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22260/stat : 22260 (java) S 22201 22204 4896 0 -1 1077944384 60 12824 0 0 0 0 5 3 20 0 15 0 146699455 14338027520 103272 18446744073709551615 4194304 4196468 140735656056576 139891002939040 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22261] ppid=22201 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22261/stat : 22261 (java) S 22201 22204 4896 0 -1 1077944384 50 12824 0 0 0 0 5 3 20 0 15 0 146699455 14338027520 103272 18446744073709551615 4194304 4196468 140735656056576 139891001886080 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22262] ppid=22201 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22262/stat : 22262 (java) S 22201 22204 4896 0 -1 1077944384 3 12824 0 0 0 0 5 3 20 0 15 0 146699458 14338027520 103272 18446744073709551615 4194304 4196468 140735656056576 139891000834384 139891525719963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22263] ppid=22201 vsize=14001980 CPUtime=3.46 cores=1,3,5,7
/proc/22204/task/22263/stat : 22263 (java) R 22201 22204 4896 0 -1 4202560 7934 12824 0 0 335 3 5 3 20 0 15 0 146699458 14338027520 103272 18446744073709551615 4194304 4196468 140735656056576 139890999781744 139891503937753 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22264] ppid=22201 vsize=14001980 CPUtime=3.69 cores=1,3,5,7
/proc/22204/task/22264/stat : 22264 (java) R 22201 22204 4896 0 -1 4202560 8086 12824 0 0 359 2 5 3 20 0 15 0 146699458 14338027520 103272 18446744073709551615 4194304 4196468 140735656056576 139890998728944 139891525713302 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22265] ppid=22201 vsize=14001980 CPUtime=1.96 cores=1,3,5,7
/proc/22204/task/22265/stat : 22265 (java) R 22201 22204 4896 0 -1 1077944384 8557 12824 0 0 186 2 5 3 20 0 15 0 146699458 14338027520 103272 18446744073709551615 4194304 4196468 140735656056576 139890997669808 139891525711573 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22266] ppid=22201 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22266/stat : 22266 (java) S 22201 22204 4896 0 -1 1077944384 3 12824 0 0 0 0 5 3 20 0 15 0 146699458 14338027520 103272 18446744073709551615 4194304 4196468 140735656056576 139890996623584 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22267] ppid=22201 vsize=14001980 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22267/stat : 22267 (java) S 22201 22204 4896 0 -1 1077944384 28 12824 0 0 0 0 5 3 20 0 15 0 146699463 14338027520 103272 18446744073709551615 4194304 4196468 140735656056576 139890995571888 139891525712514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
Current children cumulated CPU time (s) 15.41
Current children cumulated vsize (KiB) 14001980
[startup+12.7008 s]
/proc/loadavg: 1.85 1.74 1.70 4/216 22267
/proc/meminfo: memFree=25245516/32770624 swapFree=0/454016
[pid=22204] ppid=22201 vsize=14069564 CPUtime=26.08 cores=1,3,5,7
/proc/22204/stat : 22204 (java) S 22201 22204 4896 0 -1 1077944320 93216 12824 0 0 2545 55 5 3 20 0 15 0 146699427 14407233536 267817 18446744073709551615 4194304 4196468 140735656056576 140735656039120 139891525701367 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
/proc/22204/statm: 3517391 267817 3473 1 0 3506005 0
[pid=22204/tid=22254] ppid=22201 vsize=14069564 CPUtime=12.13 cores=1,3,5,7
/proc/22204/task/22254/stat : 22254 (java) R 22201 22204 4896 0 -1 4202560 54122 12824 0 0 1181 24 5 3 20 0 15 0 146699452 14407233536 267817 18446744073709551615 4194304 4196468 140735656056576 139891529934136 139891135155695 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22255] ppid=22201 vsize=14069564 CPUtime=0.29 cores=1,3,5,7
/proc/22204/task/22255/stat : 22255 (java) S 22201 22204 4896 0 -1 1077944384 256 12824 0 0 17 4 5 3 20 0 15 0 146699453 14407233536 267817 18446744073709551615 4194304 4196468 140735656056576 139891460135568 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22256] ppid=22201 vsize=14069564 CPUtime=0.3 cores=1,3,5,7
/proc/22204/task/22256/stat : 22256 (java) S 22201 22204 4896 0 -1 1077944384 207 12824 0 0 18 4 5 3 20 0 15 0 146699453 14407233536 267817 18446744073709551615 4194304 4196468 140735656056576 139891459082768 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22257] ppid=22201 vsize=14069564 CPUtime=0.29 cores=1,3,5,7
/proc/22204/task/22257/stat : 22257 (java) S 22201 22204 4896 0 -1 1077944384 363 12824 0 0 17 4 5 3 20 0 15 0 146699453 14407233536 267817 18446744073709551615 4194304 4196468 140735656056576 139891458029968 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22258] ppid=22201 vsize=14069564 CPUtime=0.3 cores=1,3,5,7
/proc/22204/task/22258/stat : 22258 (java) S 22201 22204 4896 0 -1 1077944384 337 12824 0 0 17 5 5 3 20 0 15 0 146699453 14407233536 267817 18446744073709551615 4194304 4196468 140735656056576 139891456977168 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22259] ppid=22201 vsize=14069564 CPUtime=0.14 cores=1,3,5,7
/proc/22204/task/22259/stat : 22259 (java) S 22201 22204 4896 0 -1 1077944384 5304 12824 0 0 5 1 5 3 20 0 15 0 146699454 14407233536 267817 18446744073709551615 4194304 4196468 140735656056576 139891003992944 139891525712514 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22260] ppid=22201 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22260/stat : 22260 (java) S 22201 22204 4896 0 -1 1077944384 60 12824 0 0 0 0 5 3 20 0 15 0 146699455 14407233536 267817 18446744073709551615 4194304 4196468 140735656056576 139891002939040 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22261] ppid=22201 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22261/stat : 22261 (java) S 22201 22204 4896 0 -1 1077944384 50 12824 0 0 0 0 5 3 20 0 15 0 146699455 14407233536 267817 18446744073709551615 4194304 4196468 140735656056576 139891001886080 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22262] ppid=22201 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22262/stat : 22262 (java) S 22201 22204 4896 0 -1 1077944384 3 12824 0 0 0 0 5 3 20 0 15 0 146699458 14407233536 267817 18446744073709551615 4194304 4196468 140735656056576 139891000834384 139891525719963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
################
# More data... #
################
/proc/meminfo: memFree=25397580/32770624 swapFree=0/454664
[pid=22204] ppid=22201 vsize=14069564 CPUtime=2498.34 cores=1,3,5,7
/proc/22204/stat : 22204 (java) S 22201 22204 4896 0 -1 1077944320 365778 12824 0 0 249378 448 5 3 20 0 15 0 146699427 14407233536 138755 18446744073709551615 4194304 4196468 140735656056576 140735656039120 139891525701367 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
/proc/22204/statm: 3517391 138755 3481 1 0 3506005 0
[pid=22204/tid=22254] ppid=22201 vsize=14069564 CPUtime=2415.54 cores=1,3,5,7
/proc/22204/task/22254/stat : 22254 (java) R 22201 22204 4896 0 -1 4202560 151049 12824 0 0 241468 78 5 3 20 0 15 0 146699452 14407233536 138755 18446744073709551615 4194304 4196468 140735656056576 139891529935696 139891147620039 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22255] ppid=22201 vsize=14069564 CPUtime=14.34 cores=1,3,5,7
/proc/22204/task/22255/stat : 22255 (java) S 22201 22204 4896 0 -1 1077944384 17629 12824 0 0 1365 61 5 3 20 0 15 0 146699453 14407233536 138755 18446744073709551615 4194304 4196468 140735656056576 139891460135568 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22256] ppid=22201 vsize=14069564 CPUtime=14.35 cores=1,3,5,7
/proc/22204/task/22256/stat : 22256 (java) S 22201 22204 4896 0 -1 1077944384 22229 12824 0 0 1366 61 5 3 20 0 15 0 146699453 14407233536 138755 18446744073709551615 4194304 4196468 140735656056576 139891459082768 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22257] ppid=22201 vsize=14069564 CPUtime=14.34 cores=1,3,5,7
/proc/22204/task/22257/stat : 22257 (java) S 22201 22204 4896 0 -1 1077944384 31409 12824 0 0 1365 61 5 3 20 0 15 0 146699453 14407233536 138755 18446744073709551615 4194304 4196468 140735656056576 139891458029968 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22258] ppid=22201 vsize=14069564 CPUtime=14.33 cores=1,3,5,7
/proc/22204/task/22258/stat : 22258 (java) S 22201 22204 4896 0 -1 1077944384 21606 12824 0 0 1364 61 5 3 20 0 15 0 146699453 14407233536 138755 18446744073709551615 4194304 4196468 140735656056576 139891456977168 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22259] ppid=22201 vsize=14069564 CPUtime=9.57 cores=1,3,5,7
/proc/22204/task/22259/stat : 22259 (java) S 22201 22204 4896 0 -1 1077944384 19950 12824 0 0 865 84 5 3 20 0 15 0 146699454 14407233536 138755 18446744073709551615 4194304 4196468 140735656056576 139891003992944 139891525712514 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22260] ppid=22201 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22260/stat : 22260 (java) S 22201 22204 4896 0 -1 1077944384 60 12824 0 0 0 0 5 3 20 0 15 0 146699455 14407233536 138755 18446744073709551615 4194304 4196468 140735656056576 139891002939040 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22261] ppid=22201 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22261/stat : 22261 (java) S 22201 22204 4896 0 -1 1077944384 50 12824 0 0 0 0 5 3 20 0 15 0 146699455 14407233536 138755 18446744073709551615 4194304 4196468 140735656056576 139891001886080 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22262] ppid=22201 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22262/stat : 22262 (java) S 22201 22204 4896 0 -1 1077944384 3 12824 0 0 0 0 5 3 20 0 15 0 146699458 14407233536 138755 18446744073709551615 4194304 4196468 140735656056576 139891000834384 139891525719963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22263] ppid=22201 vsize=14069564 CPUtime=6.39 cores=1,3,5,7
/proc/22204/task/22263/stat : 22263 (java) S 22201 22204 4896 0 -1 1077944384 34922 12824 0 0 624 7 5 3 20 0 15 0 146699458 14407233536 138755 18446744073709551615 4194304 4196468 140735656056576 139890999781744 139891525712514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22264] ppid=22201 vsize=14069564 CPUtime=6.01 cores=1,3,5,7
/proc/22204/task/22264/stat : 22264 (java) S 22201 22204 4896 0 -1 1077944384 32990 12824 0 0 589 4 5 3 20 0 15 0 146699458 14407233536 138755 18446744073709551615 4194304 4196468 140735656056576 139890998728944 139891525712514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22265] ppid=22201 vsize=14069564 CPUtime=2.4 cores=1,3,5,7
/proc/22204/task/22265/stat : 22265 (java) S 22201 22204 4896 0 -1 1077944384 30440 12824 0 0 227 5 5 3 20 0 15 0 146699458 14407233536 138755 18446744073709551615 4194304 4196468 140735656056576 139890997676144 139891525712514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22266] ppid=22201 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22266/stat : 22266 (java) S 22201 22204 4896 0 -1 1077944384 3 12824 0 0 0 0 5 3 20 0 15 0 146699458 14407233536 138755 18446744073709551615 4194304 4196468 140735656056576 139890996623584 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22267] ppid=22201 vsize=14069564 CPUtime=1.68 cores=1,3,5,7
/proc/22204/task/22267/stat : 22267 (java) S 22201 22204 4896 0 -1 1077944384 1285 12824 0 0 77 83 5 3 20 0 15 0 146699463 14407233536 138755 18446744073709551615 4194304 4196468 140735656056576 139890995571888 139891525712514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
Current children cumulated CPU time (s) 2498.34
Current children cumulated vsize (KiB) 14069564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2463.6 s]
/proc/loadavg: 1.68 1.57 1.52 3/216 22568
/proc/meminfo: memFree=25416736/32770624 swapFree=0/454664
[pid=22204] ppid=22201 vsize=14069564 CPUtime=2520.03 cores=1,3,5,7
/proc/22204/stat : 22204 (java) S 22201 22204 4896 0 -1 1077944320 366934 12824 0 0 251544 451 5 3 20 0 15 0 146699427 14407233536 134908 18446744073709551615 4194304 4196468 140735656056576 140735656039120 139891525701367 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
/proc/22204/statm: 3517391 134908 3481 1 0 3506005 0
[pid=22204/tid=22254] ppid=22201 vsize=14069564 CPUtime=2436.58 cores=1,3,5,7
/proc/22204/task/22254/stat : 22254 (java) R 22201 22204 4896 0 -1 4202560 151308 12824 0 0 243572 78 5 3 20 0 15 0 146699452 14407233536 134908 18446744073709551615 4194304 4196468 140735656056576 139891529935808 139891148891667 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22255] ppid=22201 vsize=14069564 CPUtime=14.49 cores=1,3,5,7
/proc/22204/task/22255/stat : 22255 (java) S 22201 22204 4896 0 -1 1077944384 17785 12824 0 0 1379 62 5 3 20 0 15 0 146699453 14407233536 134908 18446744073709551615 4194304 4196468 140735656056576 139891460135568 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22256] ppid=22201 vsize=14069564 CPUtime=14.48 cores=1,3,5,7
/proc/22204/task/22256/stat : 22256 (java) S 22201 22204 4896 0 -1 1077944384 22453 12824 0 0 1379 61 5 3 20 0 15 0 146699453 14407233536 134908 18446744073709551615 4194304 4196468 140735656056576 139891459082768 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22257] ppid=22201 vsize=14069564 CPUtime=14.47 cores=1,3,5,7
/proc/22204/task/22257/stat : 22257 (java) S 22201 22204 4896 0 -1 1077944384 31668 12824 0 0 1378 61 5 3 20 0 15 0 146699453 14407233536 134908 18446744073709551615 4194304 4196468 140735656056576 139891458029968 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22258] ppid=22201 vsize=14069564 CPUtime=14.47 cores=1,3,5,7
/proc/22204/task/22258/stat : 22258 (java) S 22201 22204 4896 0 -1 1077944384 21796 12824 0 0 1378 61 5 3 20 0 15 0 146699453 14407233536 134908 18446744073709551615 4194304 4196468 140735656056576 139891456977168 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22259] ppid=22201 vsize=14069564 CPUtime=9.66 cores=1,3,5,7
/proc/22204/task/22259/stat : 22259 (java) S 22201 22204 4896 0 -1 1077944384 20000 12824 0 0 873 85 5 3 20 0 15 0 146699454 14407233536 134908 18446744073709551615 4194304 4196468 140735656056576 139891003992944 139891525712514 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22260] ppid=22201 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22260/stat : 22260 (java) S 22201 22204 4896 0 -1 1077944384 60 12824 0 0 0 0 5 3 20 0 15 0 146699455 14407233536 134908 18446744073709551615 4194304 4196468 140735656056576 139891002939040 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22261] ppid=22201 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22261/stat : 22261 (java) S 22201 22204 4896 0 -1 1077944384 50 12824 0 0 0 0 5 3 20 0 15 0 146699455 14407233536 134908 18446744073709551615 4194304 4196468 140735656056576 139891001886080 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22262] ppid=22201 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22262/stat : 22262 (java) S 22201 22204 4896 0 -1 1077944384 3 12824 0 0 0 0 5 3 20 0 15 0 146699458 14407233536 134908 18446744073709551615 4194304 4196468 140735656056576 139891000834384 139891525719963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22263] ppid=22201 vsize=14069564 CPUtime=6.39 cores=1,3,5,7
/proc/22204/task/22263/stat : 22263 (java) S 22201 22204 4896 0 -1 1077944384 34924 12824 0 0 624 7 5 3 20 0 15 0 146699458 14407233536 134908 18446744073709551615 4194304 4196468 140735656056576 139890999781744 139891525712514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22264] ppid=22201 vsize=14069564 CPUtime=6.01 cores=1,3,5,7
/proc/22204/task/22264/stat : 22264 (java) S 22201 22204 4896 0 -1 1077944384 32992 12824 0 0 589 4 5 3 20 0 15 0 146699458 14407233536 134908 18446744073709551615 4194304 4196468 140735656056576 139890998728944 139891525712514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22265] ppid=22201 vsize=14069564 CPUtime=2.4 cores=1,3,5,7
/proc/22204/task/22265/stat : 22265 (java) S 22201 22204 4896 0 -1 1077944384 30442 12824 0 0 227 5 5 3 20 0 15 0 146699458 14407233536 134908 18446744073709551615 4194304 4196468 140735656056576 139890997676144 139891525712514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22266] ppid=22201 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22266/stat : 22266 (java) S 22201 22204 4896 0 -1 1077944384 3 12824 0 0 0 0 5 3 20 0 15 0 146699458 14407233536 134908 18446744073709551615 4194304 4196468 140735656056576 139890996623584 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22267] ppid=22201 vsize=14069564 CPUtime=1.7 cores=1,3,5,7
/proc/22204/task/22267/stat : 22267 (java) S 22201 22204 4896 0 -1 1077944384 1297 12824 0 0 78 84 5 3 20 0 15 0 146699463 14407233536 134908 18446744073709551615 4194304 4196468 140735656056576 139890995571888 139891525712514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
Current children cumulated CPU time (s) 2520.03
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 22204 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2464 s]
/proc/loadavg: 1.68 1.57 1.52 3/218 22570
/proc/meminfo: memFree=25411384/32770624 swapFree=0/454664
[pid=22204] ppid=22201 vsize=14202692 CPUtime=2521.44 cores=1,3,5,7
/proc/22204/stat : 22204 (java) S 22201 22204 4896 0 -1 1077944320 374346 12824 0 0 251684 452 5 3 20 0 17 0 146699427 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 140735656039120 139891525701367 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
/proc/22204/statm: 3550673 136529 3482 1 0 3539287 0
[pid=22204/tid=22254] ppid=22201 vsize=14202692 CPUtime=2436.59 cores=1,3,5,7
/proc/22204/task/22254/stat : 22254 (java) S 22201 22204 4896 0 -1 1077944384 151711 12824 0 0 243573 78 5 3 20 0 17 0 146699452 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139891529939120 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22255] ppid=22201 vsize=14202692 CPUtime=14.82 cores=1,3,5,7
/proc/22204/task/22255/stat : 22255 (java) S 22201 22204 4896 0 -1 1077944384 17824 12824 0 0 1412 62 5 3 20 0 17 0 146699453 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139891460135568 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22256] ppid=22201 vsize=14202692 CPUtime=14.82 cores=1,3,5,7
/proc/22204/task/22256/stat : 22256 (java) S 22201 22204 4896 0 -1 1077944384 22582 12824 0 0 1413 61 5 3 20 0 17 0 146699453 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139891459082768 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22257] ppid=22201 vsize=14202692 CPUtime=14.81 cores=1,3,5,7
/proc/22204/task/22257/stat : 22257 (java) S 22201 22204 4896 0 -1 1077944384 31859 12824 0 0 1412 61 5 3 20 0 17 0 146699453 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139891458029968 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22258] ppid=22201 vsize=14202692 CPUtime=14.8 cores=1,3,5,7
/proc/22204/task/22258/stat : 22258 (java) S 22201 22204 4896 0 -1 1077944384 21812 12824 0 0 1411 61 5 3 20 0 17 0 146699453 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139891456977168 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22259] ppid=22201 vsize=14202692 CPUtime=9.71 cores=1,3,5,7
/proc/22204/task/22259/stat : 22259 (java) R 22201 22204 4896 0 -1 4202560 26279 12824 0 0 878 85 5 3 20 0 17 0 146699454 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139891003991344 139891511393067 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22260] ppid=22201 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22260/stat : 22260 (java) S 22201 22204 4896 0 -1 1077944384 62 12824 0 0 0 0 5 3 20 0 17 0 146699455 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139891002939024 139891525712514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22261] ppid=22201 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22261/stat : 22261 (java) S 22201 22204 4896 0 -1 1077944384 50 12824 0 0 0 0 5 3 20 0 17 0 146699455 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139891001886080 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22262] ppid=22201 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22262/stat : 22262 (java) S 22201 22204 4896 0 -1 1077944384 112 12824 0 0 0 0 5 3 20 0 17 0 146699458 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139891000834384 139891525719963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22263] ppid=22201 vsize=14202692 CPUtime=6.39 cores=1,3,5,7
/proc/22204/task/22263/stat : 22263 (java) S 22201 22204 4896 0 -1 1077944384 34924 12824 0 0 624 7 5 3 20 0 17 0 146699458 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139890999781744 139891525712514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22264] ppid=22201 vsize=14202692 CPUtime=6.01 cores=1,3,5,7
/proc/22204/task/22264/stat : 22264 (java) S 22201 22204 4896 0 -1 1077944384 32992 12824 0 0 589 4 5 3 20 0 17 0 146699458 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139890998728944 139891525712514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22265] ppid=22201 vsize=14202692 CPUtime=2.4 cores=1,3,5,7
/proc/22204/task/22265/stat : 22265 (java) S 22201 22204 4896 0 -1 1077944384 30563 12824 0 0 227 5 5 3 20 0 17 0 146699458 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139890997675712 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22266] ppid=22201 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22266/stat : 22266 (java) S 22201 22204 4896 0 -1 1077944384 3 12824 0 0 0 0 5 3 20 0 17 0 146699458 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139890996623584 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22267] ppid=22201 vsize=14202692 CPUtime=1.7 cores=1,3,5,7
/proc/22204/task/22267/stat : 22267 (java) S 22201 22204 4896 0 -1 1077944384 1297 12824 0 0 78 84 5 3 20 0 17 0 146699463 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139890995571888 139891525712514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22569] ppid=22201 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22569/stat : 22569 (java) S 22201 22204 4896 0 -1 1077944384 97 12824 0 0 0 0 5 3 20 0 17 0 146945788 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139890978882288 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22570] ppid=22201 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22570/stat : 22570 (java) S 22201 22204 4896 0 -1 1077944384 24 12824 0 0 0 0 5 3 20 0 17 0 146945788 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139890534806848 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
Current children cumulated CPU time (s) 2521.44
Current children cumulated vsize (KiB) 14202692
[startup+2464.11 s]
/proc/loadavg: 1.68 1.57 1.52 3/218 22570
/proc/meminfo: memFree=25411384/32770624 swapFree=0/454664
[pid=22204] ppid=22201 vsize=14202692 CPUtime=2521.77 cores=1,3,5,7
/proc/22204/stat : 22204 (java) S 22201 22204 4896 0 -1 1077944320 374349 12824 0 0 251717 452 5 3 20 0 17 0 146699427 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 140735656039120 139891525701367 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
/proc/22204/statm: 3550673 136529 3482 1 0 3539287 0
[pid=22204/tid=22254] ppid=22201 vsize=14202692 CPUtime=2436.59 cores=1,3,5,7
/proc/22204/task/22254/stat : 22254 (java) S 22201 22204 4896 0 -1 1077944384 151713 12824 0 0 243573 78 5 3 20 0 17 0 146699452 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139891529939120 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22255] ppid=22201 vsize=14202692 CPUtime=14.9 cores=1,3,5,7
/proc/22204/task/22255/stat : 22255 (java) R 22201 22204 4896 0 -1 4202560 17824 12824 0 0 1420 62 5 3 20 0 17 0 146699453 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139891460135768 139891507297200 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22256] ppid=22201 vsize=14202692 CPUtime=14.89 cores=1,3,5,7
/proc/22204/task/22256/stat : 22256 (java) R 22201 22204 4896 0 -1 4202560 22582 12824 0 0 1420 61 5 3 20 0 17 0 146699453 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139891459082768 139891510399064 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22257] ppid=22201 vsize=14202692 CPUtime=14.89 cores=1,3,5,7
/proc/22204/task/22257/stat : 22257 (java) R 22201 22204 4896 0 -1 4202560 31859 12824 0 0 1420 61 5 3 20 0 17 0 146699453 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139891458029968 139891507348432 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22258] ppid=22201 vsize=14202692 CPUtime=14.88 cores=1,3,5,7
/proc/22204/task/22258/stat : 22258 (java) R 22201 22204 4896 0 -1 4202560 21812 12824 0 0 1419 61 5 3 20 0 17 0 146699453 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139891456977056 139891507297915 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22259] ppid=22201 vsize=14202692 CPUtime=9.74 cores=1,3,5,7
/proc/22204/task/22259/stat : 22259 (java) S 22201 22204 4896 0 -1 1077944384 26279 12824 0 0 881 85 5 3 20 0 17 0 146699454 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139891003991344 139891525711573 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22260] ppid=22201 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22260/stat : 22260 (java) S 22201 22204 4896 0 -1 1077944384 62 12824 0 0 0 0 5 3 20 0 17 0 146699455 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139891002939120 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22261] ppid=22201 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22261/stat : 22261 (java) S 22201 22204 4896 0 -1 1077944384 50 12824 0 0 0 0 5 3 20 0 17 0 146699455 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139891001886080 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22262] ppid=22201 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22262/stat : 22262 (java) S 22201 22204 4896 0 -1 1077944384 112 12824 0 0 0 0 5 3 20 0 17 0 146699458 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139891000834384 139891525719963 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22263] ppid=22201 vsize=14202692 CPUtime=6.39 cores=1,3,5,7
/proc/22204/task/22263/stat : 22263 (java) S 22201 22204 4896 0 -1 1077944384 34924 12824 0 0 624 7 5 3 20 0 17 0 146699458 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139890999781744 139891525712514 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22264] ppid=22201 vsize=14202692 CPUtime=6.01 cores=1,3,5,7
/proc/22204/task/22264/stat : 22264 (java) S 22201 22204 4896 0 -1 1077944384 32992 12824 0 0 589 4 5 3 20 0 17 0 146699458 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139890998728944 139891525712514 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22265] ppid=22201 vsize=14202692 CPUtime=2.4 cores=1,3,5,7
/proc/22204/task/22265/stat : 22265 (java) S 22201 22204 4896 0 -1 1077944384 30563 12824 0 0 227 5 5 3 20 0 17 0 146699458 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139890997675712 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22266] ppid=22201 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22266/stat : 22266 (java) S 22201 22204 4896 0 -1 1077944384 3 12824 0 0 0 0 5 3 20 0 17 0 146699458 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139890996623584 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22267] ppid=22201 vsize=14202692 CPUtime=1.7 cores=1,3,5,7
/proc/22204/task/22267/stat : 22267 (java) S 22201 22204 4896 0 -1 1077944384 1297 12824 0 0 78 84 5 3 20 0 17 0 146699463 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139890995571888 139891525712514 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22569] ppid=22201 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22569/stat : 22569 (java) S 22201 22204 4896 0 -1 1077944384 97 12824 0 0 0 0 5 3 20 0 17 0 146945788 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139890978882288 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
[pid=22204/tid=22570] ppid=22201 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22204/task/22570/stat : 22570 (java) S 22201 22204 4896 0 -1 1077944384 25 12824 0 0 0 0 5 3 20 0 17 0 146945788 14543556608 136529 18446744073709551615 4194304 4196468 140735656056576 139890534806848 139891525711573 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17203200 140735656064976 140735656067761 140735656067761 140735656071119 0
Current children cumulated CPU time (s) 2521.77
Current children cumulated vsize (KiB) 14202692
Child status: 143
Real time (s): 2464.18
CPU time (s): 2521.97
CPU user time (s): 2517.42
CPU system time (s): 4.55722
CPU usage (%): 102.345
Max. virtual memory (cumulated for all children) (KiB): 14202692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.42
system time used= 4.55722
maximum resident set size= 1844764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 387287
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 250852
involuntary context switches= 7434
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3485 second user time and 13.7914 second system time
The end