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-4262569-1502427413/watcher-4262569-1502427413 -o /tmp/evaluation-result-4262569-1502427413/solver-4262569-1502427413 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1395 --watchdog 2580 bin/concrete HOME/instance-4262569-1502427413.xml
pid=5172
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.70 1.56 1.48 3/194 5175
/proc/meminfo: memFree=29608136/32770624 swapFree=0/500136
[pid=5175] ppid=5172 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/5175/stat : 5175 (runsolver) D 5172 5175 1330 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 44962121 24240128 106 18446744073709551615 4194304 4338465 140737249290896 140737249288536 140483914973911 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 32796672 140737249292497 140737249292873 140737249292873 140737249296330 0
/proc/5175/statm: 5918 106 53 36 0 2156 0
[startup+0.100154 s]
/proc/loadavg: 1.70 1.56 1.48 3/194 5175
/proc/meminfo: memFree=29608136/32770624 swapFree=0/500136
[pid=5175] ppid=5172 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/5175/stat : 5175 (bash) S 5172 5175 1330 0 -1 4202496 685 1541 0 0 0 0 0 0 20 0 1 0 44962121 9736192 352 18446744073709551615 4194304 5098028 140721667283184 140721667280824 140160987945984 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 9 0 0 7196144 7232144 35799040 140721667285524 140721667285609 140721667285609 140721667289066 0
/proc/5175/statm: 2377 352 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200266 s]
/proc/loadavg: 1.70 1.56 1.48 3/194 5175
/proc/meminfo: memFree=29608136/32770624 swapFree=0/500136
[pid=5175] ppid=5172 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/5175/stat : 5175 (bash) S 5172 5175 1330 0 -1 4202496 897 6475 0 0 0 0 0 1 20 0 1 0 44962121 9867264 377 18446744073709551615 4194304 5098028 140721667283184 140721667277192 140160987945984 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 9 0 0 7196144 7232144 35799040 140721667285524 140721667285609 140721667285609 140721667289066 0
/proc/5175/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300311 s]
/proc/loadavg: 1.70 1.56 1.48 3/194 5175
/proc/meminfo: memFree=29608136/32770624 swapFree=0/500136
[pid=5175] ppid=5172 vsize=13907308 CPUtime=0.14 cores=1,3,5,7
/proc/5175/stat : 5175 (java) S 5172 5175 1330 0 -1 1077944320 5741 12637 0 0 5 1 5 3 20 0 14 0 44962121 14241083392 5415 18446744073709551615 4194304 4196468 140737123020592 140737123003136 140479853612791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
/proc/5175/statm: 3476827 5415 2567 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308
[startup+0.710408 s]
/proc/loadavg: 1.70 1.56 1.48 3/194 5175
/proc/meminfo: memFree=29608136/32770624 swapFree=0/500136
[pid=5175] ppid=5172 vsize=13974784 CPUtime=0.7 cores=1,3,5,7
/proc/5175/stat : 5175 (java) S 5172 5175 1330 0 -1 1077944320 13913 12637 0 0 58 4 5 3 20 0 15 0 44962121 14310178816 14829 18446744073709551615 4194304 4196468 140737123020592 140737123003136 140479853612791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
/proc/5175/statm: 3493696 14829 3121 1 0 3482965 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13974784
[startup+1.50562 s]
/proc/loadavg: 1.70 1.56 1.48 3/209 5238
/proc/meminfo: memFree=29512416/32770624 swapFree=0/500128
[pid=5175] ppid=5172 vsize=13985408 CPUtime=1.91 cores=1,3,5,7
/proc/5175/stat : 5175 (java) S 5172 5175 1330 0 -1 1077944320 29480 12637 0 0 173 10 5 3 20 0 15 0 44962121 14321057792 42731 18446744073709551615 4194304 4196468 140737123020592 140737123003136 140479853612791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
/proc/5175/statm: 3496352 42731 3366 1 0 3485525 0
[pid=5175/tid=5225] ppid=5172 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/5175/task/5225/stat : 5225 (java) S 5172 5175 1330 0 -1 1077944384 22498 12637 0 0 114 6 5 3 20 0 15 0 44962142 14321057792 42731 18446744073709551615 4194304 4196468 140737123020592 140479857829568 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5226] ppid=5172 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5226/stat : 5226 (java) S 5172 5175 1330 0 -1 1077944384 68 12637 0 0 0 0 5 3 20 0 15 0 44962143 14321057792 42731 18446744073709551615 4194304 4196468 140737123020592 140479795558672 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5227] ppid=5172 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5227/stat : 5227 (java) R 5172 5175 1330 0 -1 1077944384 39 12637 0 0 0 0 5 3 20 0 15 0 44962143 14321057792 42731 18446744073709551615 4194304 4196468 140737123020592 140479794506144 140479853622997 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5228] ppid=5172 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/5175/task/5228/stat : 5228 (java) S 5172 5175 1330 0 -1 1077944384 194 12637 0 0 1 0 5 3 20 0 15 0 44962143 14321057792 42731 18446744073709551615 4194304 4196468 140737123020592 140479793453584 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5229] ppid=5172 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5229/stat : 5229 (java) S 5172 5175 1330 0 -1 1077944384 58 12637 0 0 0 0 5 3 20 0 15 0 44962143 14321057792 42731 18446744073709551615 4194304 4196468 140737123020592 140479792401040 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5230] ppid=5172 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/5175/task/5230/stat : 5230 (java) S 5172 5175 1330 0 -1 1077944384 1285 12637 0 0 1 0 5 3 20 0 15 0 44962144 14321057792 42731 18446744073709551615 4194304 4196468 140737123020592 140479399367712 140479853622997 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5231] ppid=5172 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5231/stat : 5231 (java) S 5172 5175 1330 0 -1 1077944384 33 12637 0 0 0 0 5 3 20 0 15 0 44962144 14321057792 42731 18446744073709551615 4194304 4196468 140737123020592 140479398315424 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5232] ppid=5172 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5232/stat : 5232 (java) S 5172 5175 1330 0 -1 1077944384 21 12637 0 0 0 0 5 3 20 0 15 0 44962145 14321057792 42731 18446744073709551615 4194304 4196468 140737123020592 140479397262832 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5233] ppid=5172 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5233/stat : 5233 (java) S 5172 5175 1330 0 -1 1077944384 3 12637 0 0 0 0 5 3 20 0 15 0 44962147 14321057792 42731 18446744073709551615 4194304 4196468 140737123020592 140479396211408 140479853631387 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5234] ppid=5172 vsize=13985408 CPUtime=0.25 cores=1,3,5,7
/proc/5175/task/5234/stat : 5234 (java) S 5172 5175 1330 0 -1 1077944384 1135 12637 0 0 17 0 5 3 20 0 15 0 44962147 14321057792 42731 18446744073709551615 4194304 4196468 140737123020592 140479395158000 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5235] ppid=5172 vsize=13985408 CPUtime=0.2 cores=1,3,5,7
/proc/5175/task/5235/stat : 5235 (java) S 5172 5175 1330 0 -1 1077944384 596 12637 0 0 12 0 5 3 20 0 15 0 44962147 14321057792 42731 18446744073709551615 4194304 4196468 140737123020592 140479394105456 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5236] ppid=5172 vsize=13985408 CPUtime=0.31 cores=1,3,5,7
/proc/5175/task/5236/stat : 5236 (java) S 5172 5175 1330 0 -1 1077944384 1385 12637 0 0 23 0 5 3 20 0 15 0 44962147 14321057792 42731 18446744073709551615 4194304 4196468 140737123020592 140479393052912 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5237] ppid=5172 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5237/stat : 5237 (java) S 5172 5175 1330 0 -1 1077944384 3 12637 0 0 0 0 5 3 20 0 15 0 44962148 14321057792 42731 18446744073709551615 4194304 4196468 140737123020592 140479392000608 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5238] ppid=5172 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5238/stat : 5238 (java) S 5172 5175 1330 0 -1 1077944384 8 12637 0 0 0 0 5 3 20 0 15 0 44962152 14321057792 42731 18446744073709551615 4194304 4196468 140737123020592 140479390948144 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 13985408
[startup+3.10067 s]
/proc/loadavg: 1.70 1.56 1.48 6/209 5238
/proc/meminfo: memFree=29435492/32770624 swapFree=0/500128
[pid=5175] ppid=5172 vsize=13993788 CPUtime=5.69 cores=1,3,5,7
/proc/5175/stat : 5175 (java) S 5172 5175 1330 0 -1 1077944320 43164 12637 0 0 534 27 5 3 20 0 15 0 44962121 14329638912 102073 18446744073709551615 4194304 4196468 140737123020592 140737123003136 140479853612791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
/proc/5175/statm: 3498447 102073 3457 1 0 3487061 0
[pid=5175/tid=5225] ppid=5172 vsize=13993788 CPUtime=2.8 cores=1,3,5,7
/proc/5175/task/5225/stat : 5225 (java) R 5172 5175 1330 0 -1 4202560 28674 12637 0 0 261 11 5 3 20 0 15 0 44962142 14329638912 102073 18446744073709551615 4194304 4196468 140737123020592 140479857847536 140479837805518 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5226] ppid=5172 vsize=13993788 CPUtime=0.16 cores=1,3,5,7
/proc/5175/task/5226/stat : 5226 (java) S 5172 5175 1330 0 -1 1077944384 279 12637 0 0 5 3 5 3 20 0 15 0 44962143 14329638912 102073 18446744073709551615 4194304 4196468 140737123020592 140479795558672 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5227] ppid=5172 vsize=13993788 CPUtime=0.16 cores=1,3,5,7
/proc/5175/task/5227/stat : 5227 (java) S 5172 5175 1330 0 -1 1077944384 139 12637 0 0 5 3 5 3 20 0 15 0 44962143 14329638912 102073 18446744073709551615 4194304 4196468 140737123020592 140479794506128 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5228] ppid=5172 vsize=13993788 CPUtime=0.16 cores=1,3,5,7
/proc/5175/task/5228/stat : 5228 (java) S 5172 5175 1330 0 -1 1077944384 276 12637 0 0 5 3 5 3 20 0 15 0 44962143 14329638912 102073 18446744073709551615 4194304 4196468 140737123020592 140479793453584 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5229] ppid=5172 vsize=13993788 CPUtime=0.16 cores=1,3,5,7
/proc/5175/task/5229/stat : 5229 (java) S 5172 5175 1330 0 -1 1077944384 247 12637 0 0 5 3 5 3 20 0 15 0 44962143 14329638912 102073 18446744073709551615 4194304 4196468 140737123020592 140479792401040 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5230] ppid=5172 vsize=13993788 CPUtime=0.09 cores=1,3,5,7
/proc/5175/task/5230/stat : 5230 (java) S 5172 5175 1330 0 -1 1077944384 1806 12637 0 0 1 0 5 3 20 0 15 0 44962144 14329638912 102073 18446744073709551615 4194304 4196468 140737123020592 140479399369200 140479853623938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5231] ppid=5172 vsize=13993788 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5231/stat : 5231 (java) S 5172 5175 1330 0 -1 1077944384 55 12637 0 0 0 0 5 3 20 0 15 0 44962144 14329638912 102073 18446744073709551615 4194304 4196468 140737123020592 140479398315488 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5232] ppid=5172 vsize=13993788 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5232/stat : 5232 (java) S 5172 5175 1330 0 -1 1077944384 43 12637 0 0 0 0 5 3 20 0 15 0 44962145 14329638912 102073 18446744073709551615 4194304 4196468 140737123020592 140479397262848 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5233] ppid=5172 vsize=13993788 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5233/stat : 5233 (java) S 5172 5175 1330 0 -1 1077944384 3 12637 0 0 0 0 5 3 20 0 15 0 44962147 14329638912 102073 18446744073709551615 4194304 4196468 140737123020592 140479396211408 140479853631387 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5234] ppid=5172 vsize=13993788 CPUtime=1.02 cores=1,3,5,7
/proc/5175/task/5234/stat : 5234 (java) S 5172 5175 1330 0 -1 1077944384 4604 12637 0 0 94 0 5 3 20 0 15 0 44962147 14329638912 102073 18446744073709551615 4194304 4196468 140737123020592 140479395158000 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5235] ppid=5172 vsize=13993788 CPUtime=0.84 cores=1,3,5,7
/proc/5175/task/5235/stat : 5235 (java) S 5172 5175 1330 0 -1 1077944384 1833 12637 0 0 76 0 5 3 20 0 15 0 44962147 14329638912 102073 18446744073709551615 4194304 4196468 140737123020592 140479394105456 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5236] ppid=5172 vsize=13993788 CPUtime=0.86 cores=1,3,5,7
/proc/5175/task/5236/stat : 5236 (java) R 5172 5175 1330 0 -1 4202560 3037 12637 0 0 78 0 5 3 20 0 15 0 44962147 14329638912 102073 18446744073709551615 4194304 4196468 140737123020592 140479393052912 140479853634138 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5237] ppid=5172 vsize=13993788 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5237/stat : 5237 (java) S 5172 5175 1330 0 -1 1077944384 3 12637 0 0 0 0 5 3 20 0 15 0 44962148 14329638912 102073 18446744073709551615 4194304 4196468 140737123020592 140479392000608 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5238] ppid=5172 vsize=13993788 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5238/stat : 5238 (java) S 5172 5175 1330 0 -1 1077944384 11 12637 0 0 0 0 5 3 20 0 15 0 44962152 14329638912 102073 18446744073709551615 4194304 4196468 140737123020592 140479390948144 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
Current children cumulated CPU time (s) 5.69
Current children cumulated vsize (KiB) 13993788
[startup+6.30068 s]
/proc/loadavg: 1.81 1.58 1.49 5/209 5238
/proc/meminfo: memFree=28906648/32770624 swapFree=0/500124
[pid=5175] ppid=5172 vsize=13999932 CPUtime=12.23 cores=1,3,5,7
/proc/5175/stat : 5175 (java) S 5172 5175 1330 0 -1 1077944320 54683 12637 0 0 1162 53 5 3 20 0 15 0 44962121 14335930368 257257 18446744073709551615 4194304 4196468 140737123020592 140737123003136 140479853612791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
/proc/5175/statm: 3499983 257257 3464 1 0 3488597 0
[pid=5175/tid=5225] ppid=5172 vsize=13999932 CPUtime=5.87 cores=1,3,5,7
/proc/5175/task/5225/stat : 5225 (java) R 5172 5175 1330 0 -1 4202560 36890 12637 0 0 561 18 5 3 20 0 15 0 44962142 14335930368 257257 18446744073709551615 4194304 4196468 140737123020592 140479857844784 140479471686793 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5226] ppid=5172 vsize=13999932 CPUtime=0.26 cores=1,3,5,7
/proc/5175/task/5226/stat : 5226 (java) S 5172 5175 1330 0 -1 1077944384 484 12637 0 0 12 6 5 3 20 0 15 0 44962143 14335930368 257257 18446744073709551615 4194304 4196468 140737123020592 140479795558672 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5227] ppid=5172 vsize=13999932 CPUtime=0.27 cores=1,3,5,7
/proc/5175/task/5227/stat : 5227 (java) S 5172 5175 1330 0 -1 1077944384 466 12637 0 0 12 7 5 3 20 0 15 0 44962143 14335930368 257257 18446744073709551615 4194304 4196468 140737123020592 140479794506128 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5228] ppid=5172 vsize=13999932 CPUtime=0.27 cores=1,3,5,7
/proc/5175/task/5228/stat : 5228 (java) S 5172 5175 1330 0 -1 1077944384 630 12637 0 0 12 7 5 3 20 0 15 0 44962143 14335930368 257257 18446744073709551615 4194304 4196468 140737123020592 140479793453584 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5229] ppid=5172 vsize=13999932 CPUtime=0.27 cores=1,3,5,7
/proc/5175/task/5229/stat : 5229 (java) S 5172 5175 1330 0 -1 1077944384 453 12637 0 0 12 7 5 3 20 0 15 0 44962143 14335930368 257257 18446744073709551615 4194304 4196468 140737123020592 140479792401040 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5230] ppid=5172 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/5175/task/5230/stat : 5230 (java) S 5172 5175 1330 0 -1 1077944384 2168 12637 0 0 2 0 5 3 20 0 15 0 44962144 14335930368 257257 18446744073709551615 4194304 4196468 140737123020592 140479399369200 140479853623938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5231] ppid=5172 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5231/stat : 5231 (java) S 5172 5175 1330 0 -1 1077944384 55 12637 0 0 0 0 5 3 20 0 15 0 44962144 14335930368 257257 18446744073709551615 4194304 4196468 140737123020592 140479398315488 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5232] ppid=5172 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5232/stat : 5232 (java) S 5172 5175 1330 0 -1 1077944384 43 12637 0 0 0 0 5 3 20 0 15 0 44962145 14335930368 257257 18446744073709551615 4194304 4196468 140737123020592 140479397262848 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5233] ppid=5172 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5233/stat : 5233 (java) S 5172 5175 1330 0 -1 1077944384 3 12637 0 0 0 0 5 3 20 0 15 0 44962147 14335930368 257257 18446744073709551615 4194304 4196468 140737123020592 140479396211408 140479853631387 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5234] ppid=5172 vsize=13999932 CPUtime=2.36 cores=1,3,5,7
/proc/5175/task/5234/stat : 5234 (java) R 5172 5175 1330 0 -1 4202560 5073 12637 0 0 227 1 5 3 20 0 15 0 44962147 14335930368 257257 18446744073709551615 4194304 4196468 140737123020592 140479395144192 140479833443082 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5235] ppid=5172 vsize=13999932 CPUtime=2.12 cores=1,3,5,7
/proc/5175/task/5235/stat : 5235 (java) R 5172 5175 1330 0 -1 4202560 2537 12637 0 0 203 1 5 3 20 0 15 0 44962147 14335930368 257257 18446744073709551615 4194304 4196468 140737123020592 140479394105456 140479833298794 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5236] ppid=5172 vsize=13999932 CPUtime=1.25 cores=1,3,5,7
/proc/5175/task/5236/stat : 5236 (java) S 5172 5175 1330 0 -1 1077944384 3708 12637 0 0 116 1 5 3 20 0 15 0 44962147 14335930368 257257 18446744073709551615 4194304 4196468 140737123020592 140479393052912 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5237] ppid=5172 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5237/stat : 5237 (java) S 5172 5175 1330 0 -1 1077944384 3 12637 0 0 0 0 5 3 20 0 15 0 44962148 14335930368 257257 18446744073709551615 4194304 4196468 140737123020592 140479392000608 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5238] ppid=5172 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5238/stat : 5238 (java) S 5172 5175 1330 0 -1 1077944384 16 12637 0 0 0 0 5 3 20 0 15 0 44962152 14335930368 257257 18446744073709551615 4194304 4196468 140737123020592 140479390948144 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 13999932
[startup+12.7007 s]
/proc/loadavg: 1.82 1.59 1.49 3/209 5238
/proc/meminfo: memFree=28158248/32770624 swapFree=0/500128
[pid=5175] ppid=5172 vsize=14067516 CPUtime=23.04 cores=1,3,5,7
/proc/5175/stat : 5175 (java) S 5172 5175 1330 0 -1 1077944320 71731 12637 0 0 2222 74 5 3 20 0 15 0 44962121 14405136384 415277 18446744073709551615 4194304 4196468 140737123020592 140737123003136 140479853612791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
/proc/5175/statm: 3516879 415277 3466 1 0 3505493 0
[pid=5175/tid=5225] ppid=5172 vsize=14067516 CPUtime=12.07 cores=1,3,5,7
/proc/5175/task/5225/stat : 5225 (java) R 5172 5175 1330 0 -1 4202560 45722 12637 0 0 1172 27 5 3 20 0 15 0 44962142 14405136384 415277 18446744073709551615 4194304 4196468 140737123020592 140479857843232 140479485832903 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5226] ppid=5172 vsize=14067516 CPUtime=0.44 cores=1,3,5,7
/proc/5175/task/5226/stat : 5226 (java) S 5172 5175 1330 0 -1 1077944384 640 12637 0 0 27 9 5 3 20 0 15 0 44962143 14405136384 415277 18446744073709551615 4194304 4196468 140737123020592 140479795558672 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5227] ppid=5172 vsize=14067516 CPUtime=0.44 cores=1,3,5,7
/proc/5175/task/5227/stat : 5227 (java) S 5172 5175 1330 0 -1 1077944384 544 12637 0 0 27 9 5 3 20 0 15 0 44962143 14405136384 415277 18446744073709551615 4194304 4196468 140737123020592 140479794506128 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5228] ppid=5172 vsize=14067516 CPUtime=0.44 cores=1,3,5,7
/proc/5175/task/5228/stat : 5228 (java) S 5172 5175 1330 0 -1 1077944384 753 12637 0 0 27 9 5 3 20 0 15 0 44962143 14405136384 415277 18446744073709551615 4194304 4196468 140737123020592 140479793453584 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5229] ppid=5172 vsize=14067516 CPUtime=0.44 cores=1,3,5,7
/proc/5175/task/5229/stat : 5229 (java) S 5172 5175 1330 0 -1 1077944384 592 12637 0 0 27 9 5 3 20 0 15 0 44962143 14405136384 415277 18446744073709551615 4194304 4196468 140737123020592 140479792401040 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5230] ppid=5172 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/5175/task/5230/stat : 5230 (java) S 5172 5175 1330 0 -1 1077944384 3297 12637 0 0 4 0 5 3 20 0 15 0 44962144 14405136384 415277 18446744073709551615 4194304 4196468 140737123020592 140479399369200 140479853623938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5231] ppid=5172 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5231/stat : 5231 (java) S 5172 5175 1330 0 -1 1077944384 55 12637 0 0 0 0 5 3 20 0 15 0 44962144 14405136384 415277 18446744073709551615 4194304 4196468 140737123020592 140479398315552 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5232] ppid=5172 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5232/stat : 5232 (java) S 5172 5175 1330 0 -1 1077944384 43 12637 0 0 0 0 5 3 20 0 15 0 44962145 14405136384 415277 18446744073709551615 4194304 4196468 140737123020592 140479397262848 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5233] ppid=5172 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5233/stat : 5233 (java) S 5172 5175 1330 0 -1 1077944384 3 12637 0 0 0 0 5 3 20 0 15 0 44962147 14405136384 415277 18446744073709551615 4194304 4196468 140737123020592 140479396211408 140479853631387 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
################
# More data... #
################
/proc/5175/task/5237/stat : 5237 (java) S 5172 5175 1330 0 -1 1077944384 3 12637 0 0 0 0 5 3 20 0 15 0 44962148 14405136384 1076937 18446744073709551615 4194304 4196468 140737123020592 140479392000608 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5238] ppid=5172 vsize=14067516 CPUtime=1.44 cores=1,3,5,7
/proc/5175/task/5238/stat : 5238 (java) S 5172 5175 1330 0 -1 1077944384 1338 12637 0 0 64 72 5 3 20 0 15 0 44962152 14405136384 1076937 18446744073709551615 4194304 4196468 140737123020592 140479390948144 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
Current children cumulated CPU time (s) 2428.37
Current children cumulated vsize (KiB) 14067516
[startup+2442.3 s]
/proc/loadavg: 1.53 1.59 1.55 3/210 5531
/proc/meminfo: memFree=26013660/32770624 swapFree=0/500848
[pid=5175] ppid=5172 vsize=14067516 CPUtime=2489.1 cores=1,3,5,7
/proc/5175/stat : 5175 (java) S 5172 5175 1330 0 -1 1077944320 464265 12637 0 0 248517 385 5 3 20 0 15 0 44962121 14405136384 1079548 18446744073709551615 4194304 4196468 140737123020592 140737123003136 140479853612791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
/proc/5175/statm: 3516879 1079548 3471 1 0 3505493 0
[pid=5175/tid=5225] ppid=5172 vsize=14067516 CPUtime=2429.74 cores=1,3,5,7
/proc/5175/task/5225/stat : 5225 (java) R 5172 5175 1330 0 -1 4202560 285248 12637 0 0 242861 105 5 3 20 0 15 0 44962142 14405136384 1079548 18446744073709551615 4194304 4196468 140737123020592 140479857838880 140479486376036 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5226] ppid=5172 vsize=14067516 CPUtime=11.86 cores=1,3,5,7
/proc/5175/task/5226/stat : 5226 (java) S 5172 5175 1330 0 -1 1077944384 25840 12637 0 0 1128 50 5 3 20 0 15 0 44962143 14405136384 1079548 18446744073709551615 4194304 4196468 140737123020592 140479795558672 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5227] ppid=5172 vsize=14067516 CPUtime=11.88 cores=1,3,5,7
/proc/5175/task/5227/stat : 5227 (java) S 5172 5175 1330 0 -1 1077944384 23885 12637 0 0 1129 51 5 3 20 0 15 0 44962143 14405136384 1079548 18446744073709551615 4194304 4196468 140737123020592 140479794506128 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5228] ppid=5172 vsize=14067516 CPUtime=11.85 cores=1,3,5,7
/proc/5175/task/5228/stat : 5228 (java) S 5172 5175 1330 0 -1 1077944384 29206 12637 0 0 1128 49 5 3 20 0 15 0 44962143 14405136384 1079548 18446744073709551615 4194304 4196468 140737123020592 140479793453584 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5229] ppid=5172 vsize=14067516 CPUtime=11.82 cores=1,3,5,7
/proc/5175/task/5229/stat : 5229 (java) S 5172 5175 1330 0 -1 1077944384 28573 12637 0 0 1124 50 5 3 20 0 15 0 44962143 14405136384 1079548 18446744073709551615 4194304 4196468 140737123020592 140479792401040 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5230] ppid=5172 vsize=14067516 CPUtime=0.6 cores=1,3,5,7
/proc/5175/task/5230/stat : 5230 (java) S 5172 5175 1330 0 -1 1077944384 29517 12637 0 0 42 10 5 3 20 0 15 0 44962144 14405136384 1079548 18446744073709551615 4194304 4196468 140737123020592 140479399369200 140479853623938 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5231] ppid=5172 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5231/stat : 5231 (java) S 5172 5175 1330 0 -1 1077944384 55 12637 0 0 0 0 5 3 20 0 15 0 44962144 14405136384 1079548 18446744073709551615 4194304 4196468 140737123020592 140479398315552 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5232] ppid=5172 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5232/stat : 5232 (java) S 5172 5175 1330 0 -1 1077944384 43 12637 0 0 0 0 5 3 20 0 15 0 44962145 14405136384 1079548 18446744073709551615 4194304 4196468 140737123020592 140479397262848 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5233] ppid=5172 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5233/stat : 5233 (java) S 5172 5175 1330 0 -1 1077944384 3 12637 0 0 0 0 5 3 20 0 15 0 44962147 14405136384 1079548 18446744073709551615 4194304 4196468 140737123020592 140479396211408 140479853631387 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5234] ppid=5172 vsize=14067516 CPUtime=4.38 cores=1,3,5,7
/proc/5175/task/5234/stat : 5234 (java) S 5172 5175 1330 0 -1 1077944384 11161 12637 0 0 427 3 5 3 20 0 15 0 44962147 14405136384 1079548 18446744073709551615 4194304 4196468 140737123020592 140479395158000 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5235] ppid=5172 vsize=14067516 CPUtime=4.43 cores=1,3,5,7
/proc/5175/task/5235/stat : 5235 (java) S 5172 5175 1330 0 -1 1077944384 13985 12637 0 0 432 3 5 3 20 0 15 0 44962147 14405136384 1079548 18446744073709551615 4194304 4196468 140737123020592 140479394105456 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5236] ppid=5172 vsize=14067516 CPUtime=1.68 cores=1,3,5,7
/proc/5175/task/5236/stat : 5236 (java) S 5172 5175 1330 0 -1 1077944384 13231 12637 0 0 156 4 5 3 20 0 15 0 44962147 14405136384 1079548 18446744073709551615 4194304 4196468 140737123020592 140479393052912 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5237] ppid=5172 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5237/stat : 5237 (java) S 5172 5175 1330 0 -1 1077944384 3 12637 0 0 0 0 5 3 20 0 15 0 44962148 14405136384 1079548 18446744073709551615 4194304 4196468 140737123020592 140479392000608 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5238] ppid=5172 vsize=14067516 CPUtime=1.47 cores=1,3,5,7
/proc/5175/task/5238/stat : 5238 (java) S 5172 5175 1330 0 -1 1077944384 1361 12637 0 0 65 74 5 3 20 0 15 0 44962152 14405136384 1079548 18446744073709551615 4194304 4196468 140737123020592 140479390948144 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
Current children cumulated CPU time (s) 2489.1
Current children cumulated vsize (KiB) 14067516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2472.8 s]
/proc/loadavg: 1.39 1.55 1.53 3/210 5532
/proc/meminfo: memFree=26018920/32770624 swapFree=0/500856
[pid=5175] ppid=5172 vsize=14067516 CPUtime=2520.04 cores=1,3,5,7
/proc/5175/stat : 5175 (java) S 5172 5175 1330 0 -1 1077944320 465462 12637 0 0 251610 386 5 3 20 0 15 0 44962121 14405136384 1080065 18446744073709551615 4194304 4196468 140737123020592 140737123003136 140479853612791 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
/proc/5175/statm: 3516879 1080065 3471 1 0 3505493 0
[pid=5175/tid=5225] ppid=5172 vsize=14067516 CPUtime=2460.09 cores=1,3,5,7
/proc/5175/task/5225/stat : 5225 (java) R 5172 5175 1330 0 -1 4202560 286175 12637 0 0 245895 106 5 3 20 0 15 0 44962142 14405136384 1080065 18446744073709551615 4194304 4196468 140737123020592 140479857846704 140479485833346 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5226] ppid=5172 vsize=14067516 CPUtime=12 cores=1,3,5,7
/proc/5175/task/5226/stat : 5226 (java) S 5172 5175 1330 0 -1 1077944384 25899 12637 0 0 1142 50 5 3 20 0 15 0 44962143 14405136384 1080065 18446744073709551615 4194304 4196468 140737123020592 140479795558672 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5227] ppid=5172 vsize=14067516 CPUtime=12.02 cores=1,3,5,7
/proc/5175/task/5227/stat : 5227 (java) S 5172 5175 1330 0 -1 1077944384 23960 12637 0 0 1143 51 5 3 20 0 15 0 44962143 14405136384 1080065 18446744073709551615 4194304 4196468 140737123020592 140479794506128 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5228] ppid=5172 vsize=14067516 CPUtime=11.99 cores=1,3,5,7
/proc/5175/task/5228/stat : 5228 (java) S 5172 5175 1330 0 -1 1077944384 29270 12637 0 0 1142 49 5 3 20 0 15 0 44962143 14405136384 1080065 18446744073709551615 4194304 4196468 140737123020592 140479793453584 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5229] ppid=5172 vsize=14067516 CPUtime=11.96 cores=1,3,5,7
/proc/5175/task/5229/stat : 5229 (java) S 5172 5175 1330 0 -1 1077944384 28635 12637 0 0 1138 50 5 3 20 0 15 0 44962143 14405136384 1080065 18446744073709551615 4194304 4196468 140737123020592 140479792401040 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5230] ppid=5172 vsize=14067516 CPUtime=0.61 cores=1,3,5,7
/proc/5175/task/5230/stat : 5230 (java) S 5172 5175 1330 0 -1 1077944384 29525 12637 0 0 43 10 5 3 20 0 15 0 44962144 14405136384 1080065 18446744073709551615 4194304 4196468 140737123020592 140479399369200 140479853623938 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5231] ppid=5172 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5231/stat : 5231 (java) S 5172 5175 1330 0 -1 1077944384 55 12637 0 0 0 0 5 3 20 0 15 0 44962144 14405136384 1080065 18446744073709551615 4194304 4196468 140737123020592 140479398315552 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5232] ppid=5172 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5232/stat : 5232 (java) S 5172 5175 1330 0 -1 1077944384 43 12637 0 0 0 0 5 3 20 0 15 0 44962145 14405136384 1080065 18446744073709551615 4194304 4196468 140737123020592 140479397262848 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5233] ppid=5172 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5233/stat : 5233 (java) S 5172 5175 1330 0 -1 1077944384 3 12637 0 0 0 0 5 3 20 0 15 0 44962147 14405136384 1080065 18446744073709551615 4194304 4196468 140737123020592 140479396211408 140479853631387 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5234] ppid=5172 vsize=14067516 CPUtime=4.38 cores=1,3,5,7
/proc/5175/task/5234/stat : 5234 (java) S 5172 5175 1330 0 -1 1077944384 11161 12637 0 0 427 3 5 3 20 0 15 0 44962147 14405136384 1080065 18446744073709551615 4194304 4196468 140737123020592 140479395158000 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5235] ppid=5172 vsize=14067516 CPUtime=4.43 cores=1,3,5,7
/proc/5175/task/5235/stat : 5235 (java) S 5172 5175 1330 0 -1 1077944384 13985 12637 0 0 432 3 5 3 20 0 15 0 44962147 14405136384 1080065 18446744073709551615 4194304 4196468 140737123020592 140479394105456 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5236] ppid=5172 vsize=14067516 CPUtime=1.68 cores=1,3,5,7
/proc/5175/task/5236/stat : 5236 (java) S 5172 5175 1330 0 -1 1077944384 13231 12637 0 0 156 4 5 3 20 0 15 0 44962147 14405136384 1080065 18446744073709551615 4194304 4196468 140737123020592 140479393052912 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5237] ppid=5172 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5237/stat : 5237 (java) S 5172 5175 1330 0 -1 1077944384 3 12637 0 0 0 0 5 3 20 0 15 0 44962148 14405136384 1080065 18446744073709551615 4194304 4196468 140737123020592 140479392000608 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5238] ppid=5172 vsize=14067516 CPUtime=1.49 cores=1,3,5,7
/proc/5175/task/5238/stat : 5238 (java) S 5172 5175 1330 0 -1 1077944384 1363 12637 0 0 66 75 5 3 20 0 15 0 44962152 14405136384 1080065 18446744073709551615 4194304 4196468 140737123020592 140479390948144 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
Current children cumulated CPU time (s) 2520.04
Current children cumulated vsize (KiB) 14067516
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 5175 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2473.2 s]
/proc/loadavg: 1.39 1.55 1.53 3/210 5532
/proc/meminfo: memFree=26018920/32770624 swapFree=0/500856
[pid=5175] ppid=5172 vsize=14200644 CPUtime=2521.43 cores=1,3,5,7
/proc/5175/stat : 5175 (java) S 5172 5175 1330 0 -1 1077944320 477873 12637 0 0 251748 387 5 3 20 0 17 0 44962121 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140737123003136 140479853612791 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
/proc/5175/statm: 3550161 1080542 3472 1 0 3538775 0
[pid=5175/tid=5225] ppid=5172 vsize=14200644 CPUtime=2460.1 cores=1,3,5,7
/proc/5175/task/5225/stat : 5225 (java) S 5172 5175 1330 0 -1 1077944384 287334 12637 0 0 245896 106 5 3 20 0 17 0 44962142 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479857850336 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5226] ppid=5172 vsize=14200644 CPUtime=12.33 cores=1,3,5,7
/proc/5175/task/5226/stat : 5226 (java) R 5172 5175 1330 0 -1 4202560 25967 12637 0 0 1175 50 5 3 20 0 17 0 44962143 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479795558872 140479835209501 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5227] ppid=5172 vsize=14200644 CPUtime=12.35 cores=1,3,5,7
/proc/5175/task/5227/stat : 5227 (java) R 5172 5175 1330 0 -1 4202560 24029 12637 0 0 1176 51 5 3 20 0 17 0 44962143 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479794506128 140479838310430 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5228] ppid=5172 vsize=14200644 CPUtime=12.32 cores=1,3,5,7
/proc/5175/task/5228/stat : 5228 (java) R 5172 5175 1330 0 -1 4202560 29365 12637 0 0 1175 49 5 3 20 0 17 0 44962143 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479793453584 140479835209391 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5229] ppid=5172 vsize=14200644 CPUtime=12.29 cores=1,3,5,7
/proc/5175/task/5229/stat : 5229 (java) R 5172 5175 1330 0 -1 4202560 28723 12637 0 0 1171 50 5 3 20 0 17 0 44962143 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479792401040 140479838598087 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5230] ppid=5172 vsize=14200644 CPUtime=0.66 cores=1,3,5,7
/proc/5175/task/5230/stat : 5230 (java) S 5172 5175 1330 0 -1 1077944384 39842 12637 0 0 48 10 5 3 20 0 17 0 44962144 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479399367600 140479853622997 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5231] ppid=5172 vsize=14200644 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5231/stat : 5231 (java) S 5172 5175 1330 0 -1 1077944384 58 12637 0 0 0 0 5 3 20 0 17 0 44962144 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479398315056 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5232] ppid=5172 vsize=14200644 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5232/stat : 5232 (java) S 5172 5175 1330 0 -1 1077944384 43 12637 0 0 0 0 5 3 20 0 17 0 44962145 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479397262848 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5233] ppid=5172 vsize=14200644 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5233/stat : 5233 (java) S 5172 5175 1330 0 -1 1077944384 245 12637 0 0 0 0 5 3 20 0 17 0 44962147 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479396211408 140479853631387 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5234] ppid=5172 vsize=14200644 CPUtime=4.38 cores=1,3,5,7
/proc/5175/task/5234/stat : 5234 (java) S 5172 5175 1330 0 -1 1077944384 11161 12637 0 0 427 3 5 3 20 0 17 0 44962147 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479395158000 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5235] ppid=5172 vsize=14200644 CPUtime=4.43 cores=1,3,5,7
/proc/5175/task/5235/stat : 5235 (java) S 5172 5175 1330 0 -1 1077944384 13985 12637 0 0 432 3 5 3 20 0 17 0 44962147 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479394105456 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5236] ppid=5172 vsize=14200644 CPUtime=1.68 cores=1,3,5,7
/proc/5175/task/5236/stat : 5236 (java) S 5172 5175 1330 0 -1 1077944384 13231 12637 0 0 156 4 5 3 20 0 17 0 44962147 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479393052912 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5237] ppid=5172 vsize=14200644 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5237/stat : 5237 (java) S 5172 5175 1330 0 -1 1077944384 3 12637 0 0 0 0 5 3 20 0 17 0 44962148 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479392000608 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5238] ppid=5172 vsize=14200644 CPUtime=1.49 cores=1,3,5,7
/proc/5175/task/5238/stat : 5238 (java) S 5172 5175 1330 0 -1 1077944384 1363 12637 0 0 66 75 5 3 20 0 17 0 44962152 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479390948144 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
Current children cumulated CPU time (s) 2521.43
Current children cumulated vsize (KiB) 14200644
[startup+2473.3 s]
/proc/loadavg: 1.39 1.55 1.53 3/210 5532
/proc/meminfo: memFree=26018920/32770624 swapFree=0/500856
[pid=5175] ppid=5172 vsize=14200644 CPUtime=2521.78 cores=1,3,5,7
/proc/5175/stat : 5175 (java) S 5172 5175 1330 0 -1 1077944320 477877 12637 0 0 251783 387 5 3 20 0 17 0 44962121 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140737123003136 140479853612791 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
/proc/5175/statm: 3550161 1080542 3472 1 0 3538775 0
[pid=5175/tid=5225] ppid=5172 vsize=14200644 CPUtime=2460.1 cores=1,3,5,7
/proc/5175/task/5225/stat : 5225 (java) S 5172 5175 1330 0 -1 1077944384 287334 12637 0 0 245896 106 5 3 20 0 17 0 44962142 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479857850336 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5226] ppid=5172 vsize=14200644 CPUtime=12.42 cores=1,3,5,7
/proc/5175/task/5226/stat : 5226 (java) R 5172 5175 1330 0 -1 4202560 25967 12637 0 0 1184 50 5 3 20 0 17 0 44962143 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479795558672 140479838310583 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5227] ppid=5172 vsize=14200644 CPUtime=12.44 cores=1,3,5,7
/proc/5175/task/5227/stat : 5227 (java) R 5172 5175 1330 0 -1 4202560 24029 12637 0 0 1185 51 5 3 20 0 17 0 44962143 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479794506328 140479838563396 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5228] ppid=5172 vsize=14200644 CPUtime=12.41 cores=1,3,5,7
/proc/5175/task/5228/stat : 5228 (java) R 5172 5175 1330 0 -1 4202560 29369 12637 0 0 1184 49 5 3 20 0 17 0 44962143 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479793453784 140479835209520 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5229] ppid=5172 vsize=14200644 CPUtime=12.37 cores=1,3,5,7
/proc/5175/task/5229/stat : 5229 (java) R 5172 5175 1330 0 -1 4202560 28723 12637 0 0 1179 50 5 3 20 0 17 0 44962143 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479792401040 140479835208754 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5230] ppid=5172 vsize=14200644 CPUtime=0.67 cores=1,3,5,7
/proc/5175/task/5230/stat : 5230 (java) S 5172 5175 1330 0 -1 1077944384 39842 12637 0 0 49 10 5 3 20 0 17 0 44962144 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479399367600 140479853622997 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5231] ppid=5172 vsize=14200644 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5231/stat : 5231 (java) S 5172 5175 1330 0 -1 1077944384 58 12637 0 0 0 0 5 3 20 0 17 0 44962144 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479398315056 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5232] ppid=5172 vsize=14200644 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5232/stat : 5232 (java) S 5172 5175 1330 0 -1 1077944384 43 12637 0 0 0 0 5 3 20 0 17 0 44962145 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479397262848 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5233] ppid=5172 vsize=14200644 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5233/stat : 5233 (java) S 5172 5175 1330 0 -1 1077944384 245 12637 0 0 0 0 5 3 20 0 17 0 44962147 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479396211408 140479853631387 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5234] ppid=5172 vsize=14200644 CPUtime=4.38 cores=1,3,5,7
/proc/5175/task/5234/stat : 5234 (java) S 5172 5175 1330 0 -1 1077944384 11161 12637 0 0 427 3 5 3 20 0 17 0 44962147 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479395158000 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5235] ppid=5172 vsize=14200644 CPUtime=4.43 cores=1,3,5,7
/proc/5175/task/5235/stat : 5235 (java) S 5172 5175 1330 0 -1 1077944384 13985 12637 0 0 432 3 5 3 20 0 17 0 44962147 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479394105456 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5236] ppid=5172 vsize=14200644 CPUtime=1.68 cores=1,3,5,7
/proc/5175/task/5236/stat : 5236 (java) S 5172 5175 1330 0 -1 1077944384 13231 12637 0 0 156 4 5 3 20 0 17 0 44962147 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479393052912 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5237] ppid=5172 vsize=14200644 CPUtime=0.08 cores=1,3,5,7
/proc/5175/task/5237/stat : 5237 (java) S 5172 5175 1330 0 -1 1077944384 3 12637 0 0 0 0 5 3 20 0 17 0 44962148 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479392000608 140479853622997 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
[pid=5175/tid=5238] ppid=5172 vsize=14200644 CPUtime=1.49 cores=1,3,5,7
/proc/5175/task/5238/stat : 5238 (java) S 5172 5175 1330 0 -1 1077944384 1363 12637 0 0 66 75 5 3 20 0 17 0 44962152 14541459456 1080542 18446744073709551615 4194304 4196468 140737123020592 140479390948144 140479853623938 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39198720 140737123026896 140737123029681 140737123029681 140737123033039 0
Current children cumulated CPU time (s) 2521.78
Current children cumulated vsize (KiB) 14200644
Child status: 143
Real time (s): 2473.38
CPU time (s): 2521.98
CPU user time (s): 2518.05
CPU system time (s): 3.93539
CPU usage (%): 101.965
Max. virtual memory (cumulated for all children) (KiB): 14200644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.05
system time used= 3.93539
maximum resident set size= 4322864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 491166
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68938
involuntary context switches= 2312
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6771 second user time and 15.7612 second system time
The end