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-4262251-1502463256/watcher-4262251-1502463256 -o /tmp/evaluation-result-4262251-1502463256/solver-4262251-1502463256 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502411438-1524 --watchdog 2580 bin/concrete HOME/instance-4262251-1502463256.xml
pid=15894
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.96 1.65 1.51 3/202 15897
/proc/meminfo: memFree=29857232/32770624 swapFree=0/573044
[pid=15897] ppid=15894 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15897/stat : 15897 (runsolver) D 15894 15897 1460 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 93831912 24240128 107 18446744073709551615 4194304 4338465 140734516675008 140734516672648 140020801131223 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 22859776 140734516682961 140734516683337 140734516683337 140734516686794 0
/proc/15897/statm: 5918 107 54 36 0 2156 0
[startup+0.10008 s]
/proc/loadavg: 1.96 1.65 1.51 3/202 15897
/proc/meminfo: memFree=29857232/32770624 swapFree=0/573044
[pid=15897] ppid=15894 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/15897/stat : 15897 (bash) S 15894 15897 1460 0 -1 4202496 714 3536 0 0 0 0 0 0 20 0 1 0 93831912 9736192 355 18446744073709551615 4194304 5098028 140733157695056 140733157692696 140388232330240 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 8 0 0 7196144 7232144 12525568 140733157700116 140733157700201 140733157700201 140733157703658 0
/proc/15897/statm: 2377 355 282 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200276 s]
/proc/loadavg: 1.96 1.65 1.51 3/202 15897
/proc/meminfo: memFree=29857232/32770624 swapFree=0/573044
[pid=15897] ppid=15894 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/15897/stat : 15897 (bash) S 15894 15897 1460 0 -1 4202496 891 6486 0 0 0 0 0 1 20 0 1 0 93831912 9867264 377 18446744073709551615 4194304 5098028 140733157695056 140733157689064 140388232330240 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 8 0 0 7196144 7232144 12525568 140733157700116 140733157700201 140733157700201 140733157703658 0
/proc/15897/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300299 s]
/proc/loadavg: 1.96 1.65 1.51 3/202 15897
/proc/meminfo: memFree=29857232/32770624 swapFree=0/573044
[pid=15897] ppid=15894 vsize=13907308 CPUtime=0.14 cores=1,3,5,7
/proc/15897/stat : 15897 (java) S 15894 15897 1460 0 -1 1077944320 5850 12340 0 0 5 1 5 3 20 0 14 0 93831912 14241083392 5549 18446744073709551615 4194304 4196468 140725124408544 140725124391088 140515150077687 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
/proc/15897/statm: 3476827 5549 2664 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308
[startup+0.704347 s]
/proc/loadavg: 1.96 1.65 1.51 3/202 15897
/proc/meminfo: memFree=29857232/32770624 swapFree=0/573044
[pid=15897] ppid=15894 vsize=13974784 CPUtime=0.64 cores=1,3,5,7
/proc/15897/stat : 15897 (java) S 15894 15897 1460 0 -1 1077944320 13720 12340 0 0 52 4 5 3 20 0 15 0 93831912 14310178816 14113 18446744073709551615 4194304 4196468 140725124408544 140725124391088 140515150077687 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
/proc/15897/statm: 3493696 14113 3079 1 0 3482965 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 13974784
[startup+1.5006 s]
/proc/loadavg: 1.96 1.65 1.51 3/217 15960
/proc/meminfo: memFree=29764388/32770624 swapFree=0/573376
[pid=15897] ppid=15894 vsize=13985408 CPUtime=1.83 cores=1,3,5,7
/proc/15897/stat : 15897 (java) S 15894 15897 1460 0 -1 1077944320 27331 12340 0 0 167 8 5 3 20 0 15 0 93831912 14321057792 33901 18446744073709551615 4194304 4196468 140725124408544 140725124391088 140515150077687 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
/proc/15897/statm: 3496352 33901 3343 1 0 3485525 0
[pid=15897/tid=15947] ppid=15894 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/15897/task/15947/stat : 15947 (java) R 15894 15897 1460 0 -1 4202560 22121 12340 0 0 114 6 5 3 20 0 15 0 93831936 14321057792 33901 18446744073709551615 4194304 4196468 140725124408544 140515154303904 140515150099613 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15948] ppid=15894 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15948/stat : 15948 (java) S 15894 15897 1460 0 -1 1077944384 1 12340 0 0 0 0 5 3 20 0 15 0 93831936 14321057792 33901 18446744073709551615 4194304 4196468 140725124408544 140515092024336 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15949] ppid=15894 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15949/stat : 15949 (java) S 15894 15897 1460 0 -1 1077944384 1 12340 0 0 0 0 5 3 20 0 15 0 93831936 14321057792 33901 18446744073709551615 4194304 4196468 140725124408544 140515090971792 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15950] ppid=15894 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15950/stat : 15950 (java) S 15894 15897 1460 0 -1 1077944384 1 12340 0 0 0 0 5 3 20 0 15 0 93831936 14321057792 33901 18446744073709551615 4194304 4196468 140725124408544 140514748275472 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15951] ppid=15894 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15951/stat : 15951 (java) S 15894 15897 1460 0 -1 1077944384 2 12340 0 0 0 0 5 3 20 0 15 0 93831936 14321057792 33901 18446744073709551615 4194304 4196468 140725124408544 140514747222928 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15952] ppid=15894 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15952/stat : 15952 (java) S 15894 15897 1460 0 -1 1077944384 5 12340 0 0 0 0 5 3 20 0 15 0 93831938 14321057792 33901 18446744073709551615 4194304 4196468 140725124408544 140514695805168 140515150088834 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15953] ppid=15894 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15953/stat : 15953 (java) S 15894 15897 1460 0 -1 1077944384 33 12340 0 0 0 0 5 3 20 0 15 0 93831938 14321057792 33901 18446744073709551615 4194304 4196468 140725124408544 140514694751392 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15954] ppid=15894 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15954/stat : 15954 (java) S 15894 15897 1460 0 -1 1077944384 21 12340 0 0 0 0 5 3 20 0 15 0 93831938 14321057792 33901 18446744073709551615 4194304 4196468 140725124408544 140514693698288 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15955] ppid=15894 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15955/stat : 15955 (java) S 15894 15897 1460 0 -1 1077944384 3 12340 0 0 0 0 5 3 20 0 15 0 93831941 14321057792 33929 18446744073709551615 4194304 4196468 140725124408544 140514692646864 140515150096283 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15956] ppid=15894 vsize=13985408 CPUtime=0.22 cores=1,3,5,7
/proc/15897/task/15956/stat : 15956 (java) R 15894 15897 1460 0 -1 4202560 1034 12340 0 0 14 0 5 3 20 0 15 0 93831941 14321057792 33929 18446744073709551615 4194304 4196468 140725124408544 140514691594992 140515131263676 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15957] ppid=15894 vsize=13985408 CPUtime=0.22 cores=1,3,5,7
/proc/15897/task/15957/stat : 15957 (java) S 15894 15897 1460 0 -1 1077944384 566 12340 0 0 14 0 5 3 20 0 15 0 93831941 14321057792 33929 18446744073709551615 4194304 4196468 140725124408544 140514690542448 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15958] ppid=15894 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/15897/task/15958/stat : 15958 (java) R 15894 15897 1460 0 -1 4202560 1384 12340 0 0 22 0 5 3 20 0 15 0 93831941 14321057792 33929 18446744073709551615 4194304 4196468 140725124408544 140514689489392 140515128911225 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15959] ppid=15894 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15959/stat : 15959 (java) S 15894 15897 1460 0 -1 1077944384 3 12340 0 0 0 0 5 3 20 0 15 0 93831941 14321057792 33929 18446744073709551615 4194304 4196468 140725124408544 140514688437088 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15960] ppid=15894 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15960/stat : 15960 (java) S 15894 15897 1460 0 -1 1077944384 8 12340 0 0 0 0 5 3 20 0 15 0 93831946 14321057792 33929 18446744073709551615 4194304 4196468 140725124408544 140514619812400 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 13985408
[startup+3.10065 s]
/proc/loadavg: 1.96 1.65 1.51 4/217 15960
/proc/meminfo: memFree=29686524/32770624 swapFree=0/573364
[pid=15897] ppid=15894 vsize=13997884 CPUtime=5.52 cores=1,3,5,7
/proc/15897/stat : 15897 (java) S 15894 15897 1460 0 -1 1077944320 49290 12340 0 0 530 14 5 3 20 0 15 0 93831912 14333833216 55494 18446744073709551615 4194304 4196468 140725124408544 140725124391088 140515150077687 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
/proc/15897/statm: 3499471 55494 3448 1 0 3488085 0
[pid=15897/tid=15947] ppid=15894 vsize=13997884 CPUtime=2.84 cores=1,3,5,7
/proc/15897/task/15947/stat : 15947 (java) R 15894 15897 1460 0 -1 4202560 35439 12340 0 0 268 8 5 3 20 0 15 0 93831936 14333833216 55494 18446744073709551615 4194304 4196468 140725124408544 140515154308000 140515134158174 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15948] ppid=15894 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15948/stat : 15948 (java) S 15894 15897 1460 0 -1 1077944384 55 12340 0 0 0 0 5 3 20 0 15 0 93831936 14333833216 55494 18446744073709551615 4194304 4196468 140725124408544 140515092024336 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15949] ppid=15894 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/15897/task/15949/stat : 15949 (java) S 15894 15897 1460 0 -1 1077944384 44 12340 0 0 1 0 5 3 20 0 15 0 93831936 14333833216 55494 18446744073709551615 4194304 4196468 140725124408544 140515090971792 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15950] ppid=15894 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/15897/task/15950/stat : 15950 (java) S 15894 15897 1460 0 -1 1077944384 59 12340 0 0 1 0 5 3 20 0 15 0 93831936 14333833216 55494 18446744073709551615 4194304 4196468 140725124408544 140514748275472 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15951] ppid=15894 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/15897/task/15951/stat : 15951 (java) S 15894 15897 1460 0 -1 1077944384 207 12340 0 0 1 0 5 3 20 0 15 0 93831936 14333833216 55494 18446744073709551615 4194304 4196468 140725124408544 140514747222928 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15952] ppid=15894 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/15897/task/15952/stat : 15952 (java) S 15894 15897 1460 0 -1 1077944384 1524 12340 0 0 1 0 5 3 20 0 15 0 93831938 14333833216 55494 18446744073709551615 4194304 4196468 140725124408544 140514695805168 140515150088834 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15953] ppid=15894 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15953/stat : 15953 (java) S 15894 15897 1460 0 -1 1077944384 54 12340 0 0 0 0 5 3 20 0 15 0 93831938 14333833216 55494 18446744073709551615 4194304 4196468 140725124408544 140514694751456 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15954] ppid=15894 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15954/stat : 15954 (java) S 15894 15897 1460 0 -1 1077944384 44 12340 0 0 0 0 5 3 20 0 15 0 93831938 14333833216 55494 18446744073709551615 4194304 4196468 140725124408544 140514693698304 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15955] ppid=15894 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15955/stat : 15955 (java) S 15894 15897 1460 0 -1 1077944384 3 12340 0 0 0 0 5 3 20 0 15 0 93831941 14333833216 55494 18446744073709551615 4194304 4196468 140725124408544 140514692646864 140515150096283 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15956] ppid=15894 vsize=13997884 CPUtime=0.99 cores=1,3,5,7
/proc/15897/task/15956/stat : 15956 (java) S 15894 15897 1460 0 -1 1077944384 4527 12340 0 0 91 0 5 3 20 0 15 0 93831941 14333833216 55494 18446744073709551615 4194304 4196468 140725124408544 140514691594992 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15957] ppid=15894 vsize=13997884 CPUtime=0.76 cores=1,3,5,7
/proc/15897/task/15957/stat : 15957 (java) S 15894 15897 1460 0 -1 1077944384 1525 12340 0 0 67 1 5 3 20 0 15 0 93831941 14333833216 55494 18446744073709551615 4194304 4196468 140725124408544 140514690542448 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15958] ppid=15894 vsize=13997884 CPUtime=1.05 cores=1,3,5,7
/proc/15897/task/15958/stat : 15958 (java) S 15894 15897 1460 0 -1 1077944384 3645 12340 0 0 96 1 5 3 20 0 15 0 93831941 14333833216 55494 18446744073709551615 4194304 4196468 140725124408544 140514689489392 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15959] ppid=15894 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15959/stat : 15959 (java) S 15894 15897 1460 0 -1 1077944384 3 12340 0 0 0 0 5 3 20 0 15 0 93831941 14333833216 55494 18446744073709551615 4194304 4196468 140725124408544 140514688437088 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15960] ppid=15894 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15960/stat : 15960 (java) S 15894 15897 1460 0 -1 1077944384 11 12340 0 0 0 0 5 3 20 0 15 0 93831946 14333833216 55494 18446744073709551615 4194304 4196468 140725124408544 140514619812400 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
Current children cumulated CPU time (s) 5.52
Current children cumulated vsize (KiB) 13997884
[startup+6.30152 s]
/proc/loadavg: 2.05 1.67 1.52 3/217 15961
/proc/meminfo: memFree=29503320/32770624 swapFree=0/573364
[pid=15897] ppid=15894 vsize=14067516 CPUtime=14.11 cores=1,3,5,7
/proc/15897/stat : 15897 (java) S 15894 15897 1460 0 -1 1077944320 71007 12340 0 0 1380 23 5 3 20 0 15 0 93831912 14405136384 111804 18446744073709551615 4194304 4196468 140725124408544 140725124391088 140515150077687 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
/proc/15897/statm: 3516879 111804 3473 1 0 3505493 0
[pid=15897/tid=15947] ppid=15894 vsize=14067516 CPUtime=5.6 cores=1,3,5,7
/proc/15897/task/15947/stat : 15947 (java) R 15894 15897 1460 0 -1 4202560 41831 12340 0 0 539 13 5 3 20 0 15 0 93831936 14405136384 111804 18446744073709551615 4194304 4196468 140725124408544 140515154311968 140514771149888 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15948] ppid=15894 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/15897/task/15948/stat : 15948 (java) S 15894 15897 1460 0 -1 1077944384 327 12340 0 0 4 0 5 3 20 0 15 0 93831936 14405136384 111804 18446744073709551615 4194304 4196468 140725124408544 140515092024336 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15949] ppid=15894 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/15897/task/15949/stat : 15949 (java) S 15894 15897 1460 0 -1 1077944384 132 12340 0 0 5 0 5 3 20 0 15 0 93831936 14405136384 111804 18446744073709551615 4194304 4196468 140725124408544 140515090971792 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15950] ppid=15894 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/15897/task/15950/stat : 15950 (java) S 15894 15897 1460 0 -1 1077944384 105 12340 0 0 5 0 5 3 20 0 15 0 93831936 14405136384 111804 18446744073709551615 4194304 4196468 140725124408544 140514748275472 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15951] ppid=15894 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/15897/task/15951/stat : 15951 (java) S 15894 15897 1460 0 -1 1077944384 1098 12340 0 0 5 0 5 3 20 0 15 0 93831936 14405136384 111804 18446744073709551615 4194304 4196468 140725124408544 140514747222928 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15952] ppid=15894 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/15897/task/15952/stat : 15952 (java) S 15894 15897 1460 0 -1 1077944384 2593 12340 0 0 4 0 5 3 20 0 15 0 93831938 14405136384 111804 18446744073709551615 4194304 4196468 140725124408544 140514695805168 140515150088834 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15953] ppid=15894 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15953/stat : 15953 (java) S 15894 15897 1460 0 -1 1077944384 54 12340 0 0 0 0 5 3 20 0 15 0 93831938 14405136384 111804 18446744073709551615 4194304 4196468 140725124408544 140514694751456 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15954] ppid=15894 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15954/stat : 15954 (java) S 15894 15897 1460 0 -1 1077944384 44 12340 0 0 0 0 5 3 20 0 15 0 93831938 14405136384 111804 18446744073709551615 4194304 4196468 140725124408544 140514693698304 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15955] ppid=15894 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15955/stat : 15955 (java) S 15894 15897 1460 0 -1 1077944384 3 12340 0 0 0 0 5 3 20 0 15 0 93831941 14405136384 111804 18446744073709551615 4194304 4196468 140725124408544 140514692646864 140515150096283 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15956] ppid=15894 vsize=14067516 CPUtime=3.33 cores=1,3,5,7
/proc/15897/task/15956/stat : 15956 (java) S 15894 15897 1460 0 -1 1077944384 10409 12340 0 0 323 2 5 3 20 0 15 0 93831941 14405136384 111804 18446744073709551615 4194304 4196468 140725124408544 140514691594992 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 39 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15957] ppid=15894 vsize=14067516 CPUtime=3.32 cores=1,3,5,7
/proc/15897/task/15957/stat : 15957 (java) R 15894 15897 1460 0 -1 4202560 6158 12340 0 0 322 2 5 3 20 0 15 0 93831941 14405136384 111804 18446744073709551615 4194304 4196468 140725124408544 140514690528472 140515131621921 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15958] ppid=15894 vsize=14067516 CPUtime=1.77 cores=1,3,5,7
/proc/15897/task/15958/stat : 15958 (java) S 15894 15897 1460 0 -1 1077944384 6074 12340 0 0 167 2 5 3 20 0 15 0 93831941 14405136384 111804 18446744073709551615 4194304 4196468 140725124408544 140514689489392 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15959] ppid=15894 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15959/stat : 15959 (java) S 15894 15897 1460 0 -1 1077944384 3 12340 0 0 0 0 5 3 20 0 15 0 93831941 14405136384 111804 18446744073709551615 4194304 4196468 140725124408544 140514688437088 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15960] ppid=15894 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15960/stat : 15960 (java) S 15894 15897 1460 0 -1 1077944384 26 12340 0 0 0 0 5 3 20 0 15 0 93831946 14405136384 111804 18446744073709551615 4194304 4196468 140725124408544 140514619812400 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
Current children cumulated CPU time (s) 14.11
Current children cumulated vsize (KiB) 14067516
[startup+12.7007 s]
/proc/loadavg: 2.04 1.68 1.52 3/217 15961
/proc/meminfo: memFree=28805288/32770624 swapFree=0/573364
[pid=15897] ppid=15894 vsize=14067516 CPUtime=20.69 cores=1,3,5,7
/proc/15897/stat : 15897 (java) S 15894 15897 1460 0 -1 1077944320 73049 12340 0 0 2027 34 5 3 20 0 15 0 93831912 14405136384 284482 18446744073709551615 4194304 4196468 140725124408544 140725124391088 140515150077687 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
/proc/15897/statm: 3516879 284482 3473 1 0 3505493 0
[pid=15897/tid=15947] ppid=15894 vsize=14067516 CPUtime=11.96 cores=1,3,5,7
/proc/15897/task/15947/stat : 15947 (java) R 15894 15897 1460 0 -1 4202560 43151 12340 0 0 1167 21 5 3 20 0 15 0 93831936 14405136384 284482 18446744073709551615 4194304 4196468 140725124408544 140515154311984 140514786624094 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15948] ppid=15894 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/15897/task/15948/stat : 15948 (java) S 15894 15897 1460 0 -1 1077944384 340 12340 0 0 6 1 5 3 20 0 15 0 93831936 14405136384 284482 18446744073709551615 4194304 4196468 140725124408544 140515092024336 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15949] ppid=15894 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/15897/task/15949/stat : 15949 (java) S 15894 15897 1460 0 -1 1077944384 149 12340 0 0 6 0 5 3 20 0 15 0 93831936 14405136384 284482 18446744073709551615 4194304 4196468 140725124408544 140515090971792 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15950] ppid=15894 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/15897/task/15950/stat : 15950 (java) S 15894 15897 1460 0 -1 1077944384 116 12340 0 0 6 1 5 3 20 0 15 0 93831936 14405136384 284482 18446744073709551615 4194304 4196468 140725124408544 140514748275472 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15951] ppid=15894 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/15897/task/15951/stat : 15951 (java) S 15894 15897 1460 0 -1 1077944384 1111 12340 0 0 6 0 5 3 20 0 15 0 93831936 14405136384 284482 18446744073709551615 4194304 4196468 140725124408544 140514747222928 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15952] ppid=15894 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/15897/task/15952/stat : 15952 (java) S 15894 15897 1460 0 -1 1077944384 2926 12340 0 0 5 0 5 3 20 0 15 0 93831938 14405136384 284482 18446744073709551615 4194304 4196468 140725124408544 140514695805168 140515150088834 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15953] ppid=15894 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15953/stat : 15953 (java) S 15894 15897 1460 0 -1 1077944384 54 12340 0 0 0 0 5 3 20 0 15 0 93831938 14405136384 284482 18446744073709551615 4194304 4196468 140725124408544 140514694751456 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15954] ppid=15894 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15954/stat : 15954 (java) S 15894 15897 1460 0 -1 1077944384 44 12340 0 0 0 0 5 3 20 0 15 0 93831938 14405136384 284482 18446744073709551615 4194304 4196468 140725124408544 140514693698304 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15955] ppid=15894 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15955/stat : 15955 (java) S 15894 15897 1460 0 -1 1077944384 3 12340 0 0 0 0 5 3 20 0 15 0 93831941 14405136384 284482 18446744073709551615 4194304 4196468 140725124408544 140514692646864 140515150096283 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
################
# More data... #
################
/proc/15897/task/15959/stat : 15959 (java) S 15894 15897 1460 0 -1 1077944384 3 12340 0 0 0 0 5 3 20 0 15 0 93831941 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514688437088 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15960] ppid=15894 vsize=14067516 CPUtime=1.61 cores=1,3,5,7
/proc/15897/task/15960/stat : 15960 (java) S 15894 15897 1460 0 -1 1077944384 1292 12340 0 0 70 83 5 3 20 0 15 0 93831946 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514619812400 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
Current children cumulated CPU time (s) 2366.22
Current children cumulated vsize (KiB) 14067516
[startup+2382.3 s]
/proc/loadavg: 1.46 1.41 1.43 3/216 16528
/proc/meminfo: memFree=27513568/32770624 swapFree=0/574080
[pid=15897] ppid=15894 vsize=14067516 CPUtime=2427.19 cores=1,3,5,7
/proc/15897/stat : 15897 (java) S 15894 15897 1460 0 -1 1077944320 260911 12340 0 0 242294 417 5 3 20 0 15 0 93831912 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140725124391088 140515150077687 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
/proc/15897/statm: 3516879 430949 3473 1 0 3505493 0
[pid=15897/tid=15947] ppid=15894 vsize=14067516 CPUtime=2354.28 cores=1,3,5,7
/proc/15897/task/15947/stat : 15947 (java) R 15894 15897 1460 0 -1 4202560 106667 12340 0 0 235350 70 5 3 20 0 15 0 93831936 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140515154312112 140514787770475 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15948] ppid=15894 vsize=14067516 CPUtime=12.77 cores=1,3,5,7
/proc/15897/task/15948/stat : 15948 (java) S 15894 15897 1460 0 -1 1077944384 22051 12340 0 0 1203 66 5 3 20 0 15 0 93831936 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140515092024336 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15949] ppid=15894 vsize=14067516 CPUtime=12.8 cores=1,3,5,7
/proc/15897/task/15949/stat : 15949 (java) S 15894 15897 1460 0 -1 1077944384 26762 12340 0 0 1208 64 5 3 20 0 15 0 93831936 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140515090971792 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15950] ppid=15894 vsize=14067516 CPUtime=12.79 cores=1,3,5,7
/proc/15897/task/15950/stat : 15950 (java) S 15894 15897 1460 0 -1 1077944384 23677 12340 0 0 1206 65 5 3 20 0 15 0 93831936 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514748275472 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15951] ppid=15894 vsize=14067516 CPUtime=12.8 cores=1,3,5,7
/proc/15897/task/15951/stat : 15951 (java) S 15894 15897 1460 0 -1 1077944384 21262 12340 0 0 1208 64 5 3 20 0 15 0 93831936 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514747222928 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15952] ppid=15894 vsize=14067516 CPUtime=12.05 cores=1,3,5,7
/proc/15897/task/15952/stat : 15952 (java) S 15894 15897 1460 0 -1 1077944384 22843 12340 0 0 1130 67 5 3 20 0 15 0 93831938 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514695805168 140515150088834 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15953] ppid=15894 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15953/stat : 15953 (java) S 15894 15897 1460 0 -1 1077944384 54 12340 0 0 0 0 5 3 20 0 15 0 93831938 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514694751456 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15954] ppid=15894 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15954/stat : 15954 (java) S 15894 15897 1460 0 -1 1077944384 44 12340 0 0 0 0 5 3 20 0 15 0 93831938 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514693698304 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15955] ppid=15894 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15955/stat : 15955 (java) S 15894 15897 1460 0 -1 1077944384 3 12340 0 0 0 0 5 3 20 0 15 0 93831941 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514692646864 140515150096283 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15956] ppid=15894 vsize=14067516 CPUtime=3.38 cores=1,3,5,7
/proc/15897/task/15956/stat : 15956 (java) S 15894 15897 1460 0 -1 1077944384 11737 12340 0 0 328 2 5 3 20 0 15 0 93831941 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514691594992 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15957] ppid=15894 vsize=14067516 CPUtime=3.45 cores=1,3,5,7
/proc/15897/task/15957/stat : 15957 (java) S 15894 15897 1460 0 -1 1077944384 8920 12340 0 0 335 2 5 3 20 0 15 0 93831941 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514690542448 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15958] ppid=15894 vsize=14067516 CPUtime=1.83 cores=1,3,5,7
/proc/15897/task/15958/stat : 15958 (java) S 15894 15897 1460 0 -1 1077944384 13416 12340 0 0 172 3 5 3 20 0 15 0 93831941 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514689489392 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15959] ppid=15894 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15959/stat : 15959 (java) S 15894 15897 1460 0 -1 1077944384 3 12340 0 0 0 0 5 3 20 0 15 0 93831941 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514688437088 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15960] ppid=15894 vsize=14067516 CPUtime=1.66 cores=1,3,5,7
/proc/15897/task/15960/stat : 15960 (java) S 15894 15897 1460 0 -1 1077944384 1322 12340 0 0 73 85 5 3 20 0 15 0 93831946 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514619812400 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
Current children cumulated CPU time (s) 2427.19
Current children cumulated vsize (KiB) 14067516
[startup+2442.31 s]
/proc/loadavg: 1.63 1.47 1.45 3/217 16531
/proc/meminfo: memFree=27526672/32770624 swapFree=0/574092
[pid=15897] ppid=15894 vsize=14067516 CPUtime=2488.19 cores=1,3,5,7
/proc/15897/stat : 15897 (java) S 15894 15897 1460 0 -1 1077944320 263051 12340 0 0 248385 426 5 3 20 0 15 0 93831912 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140725124391088 140515150077687 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
/proc/15897/statm: 3516879 430949 3473 1 0 3505493 0
[pid=15897/tid=15947] ppid=15894 vsize=14067516 CPUtime=2413.57 cores=1,3,5,7
/proc/15897/task/15947/stat : 15947 (java) R 15894 15897 1460 0 -1 4202560 107842 12340 0 0 241278 71 5 3 20 0 15 0 93831936 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140515154311792 140514787258815 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15948] ppid=15894 vsize=14067516 CPUtime=13.12 cores=1,3,5,7
/proc/15897/task/15948/stat : 15948 (java) S 15894 15897 1460 0 -1 1077944384 22130 12340 0 0 1236 68 5 3 20 0 15 0 93831936 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140515092024336 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15949] ppid=15894 vsize=14067516 CPUtime=13.13 cores=1,3,5,7
/proc/15897/task/15949/stat : 15949 (java) S 15894 15897 1460 0 -1 1077944384 26822 12340 0 0 1240 65 5 3 20 0 15 0 93831936 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140515090971792 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15950] ppid=15894 vsize=14067516 CPUtime=13.13 cores=1,3,5,7
/proc/15897/task/15950/stat : 15950 (java) S 15894 15897 1460 0 -1 1077944384 23925 12340 0 0 1238 67 5 3 20 0 15 0 93831936 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514748275472 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15951] ppid=15894 vsize=14067516 CPUtime=13.13 cores=1,3,5,7
/proc/15897/task/15951/stat : 15951 (java) S 15894 15897 1460 0 -1 1077944384 21479 12340 0 0 1239 66 5 3 20 0 15 0 93831936 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514747222928 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15952] ppid=15894 vsize=14067516 CPUtime=12.37 cores=1,3,5,7
/proc/15897/task/15952/stat : 15952 (java) S 15894 15897 1460 0 -1 1077944384 23173 12340 0 0 1160 69 5 3 20 0 15 0 93831938 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514695805168 140515150088834 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15953] ppid=15894 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15953/stat : 15953 (java) S 15894 15897 1460 0 -1 1077944384 54 12340 0 0 0 0 5 3 20 0 15 0 93831938 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514694751456 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15954] ppid=15894 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15954/stat : 15954 (java) S 15894 15897 1460 0 -1 1077944384 44 12340 0 0 0 0 5 3 20 0 15 0 93831938 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514693698304 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15955] ppid=15894 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15955/stat : 15955 (java) S 15894 15897 1460 0 -1 1077944384 3 12340 0 0 0 0 5 3 20 0 15 0 93831941 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514692646864 140515150096283 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15956] ppid=15894 vsize=14067516 CPUtime=3.38 cores=1,3,5,7
/proc/15897/task/15956/stat : 15956 (java) S 15894 15897 1460 0 -1 1077944384 11741 12340 0 0 328 2 5 3 20 0 15 0 93831941 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514691594992 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15957] ppid=15894 vsize=14067516 CPUtime=3.45 cores=1,3,5,7
/proc/15897/task/15957/stat : 15957 (java) S 15894 15897 1460 0 -1 1077944384 8924 12340 0 0 335 2 5 3 20 0 15 0 93831941 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514690542448 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15958] ppid=15894 vsize=14067516 CPUtime=1.83 cores=1,3,5,7
/proc/15897/task/15958/stat : 15958 (java) S 15894 15897 1460 0 -1 1077944384 13420 12340 0 0 172 3 5 3 20 0 15 0 93831941 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514689489392 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15959] ppid=15894 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15959/stat : 15959 (java) S 15894 15897 1460 0 -1 1077944384 3 12340 0 0 0 0 5 3 20 0 15 0 93831941 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514688437088 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15960] ppid=15894 vsize=14067516 CPUtime=1.7 cores=1,3,5,7
/proc/15897/task/15960/stat : 15960 (java) S 15894 15897 1460 0 -1 1077944384 1341 12340 0 0 75 87 5 3 20 0 15 0 93831946 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514619812400 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 36 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
Current children cumulated CPU time (s) 2488.19
Current children cumulated vsize (KiB) 14067516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2473.6 s]
/proc/loadavg: 1.37 1.43 1.43 3/217 16533
/proc/meminfo: memFree=27526808/32770624 swapFree=0/574112
[pid=15897] ppid=15894 vsize=14067516 CPUtime=2520 cores=1,3,5,7
/proc/15897/stat : 15897 (java) S 15894 15897 1460 0 -1 1077944320 264253 12340 0 0 251561 431 5 3 20 0 15 0 93831912 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140725124391088 140515150077687 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
/proc/15897/statm: 3516879 430949 3473 1 0 3505493 0
[pid=15897/tid=15947] ppid=15894 vsize=14067516 CPUtime=2444.51 cores=1,3,5,7
/proc/15897/task/15947/stat : 15947 (java) R 15894 15897 1460 0 -1 4202560 108491 12340 0 0 244371 72 5 3 20 0 15 0 93831936 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140515154311904 140514786624597 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15948] ppid=15894 vsize=14067516 CPUtime=13.29 cores=1,3,5,7
/proc/15897/task/15948/stat : 15948 (java) S 15894 15897 1460 0 -1 1077944384 22191 12340 0 0 1253 68 5 3 20 0 15 0 93831936 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140515092024336 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15949] ppid=15894 vsize=14067516 CPUtime=13.31 cores=1,3,5,7
/proc/15897/task/15949/stat : 15949 (java) S 15894 15897 1460 0 -1 1077944384 26868 12340 0 0 1257 66 5 3 20 0 15 0 93831936 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140515090971792 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15950] ppid=15894 vsize=14067516 CPUtime=13.31 cores=1,3,5,7
/proc/15897/task/15950/stat : 15950 (java) S 15894 15897 1460 0 -1 1077944384 24119 12340 0 0 1255 68 5 3 20 0 15 0 93831936 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514748275472 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15951] ppid=15894 vsize=14067516 CPUtime=13.31 cores=1,3,5,7
/proc/15897/task/15951/stat : 15951 (java) S 15894 15897 1460 0 -1 1077944384 21521 12340 0 0 1256 67 5 3 20 0 15 0 93831936 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514747222928 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15952] ppid=15894 vsize=14067516 CPUtime=12.53 cores=1,3,5,7
/proc/15897/task/15952/stat : 15952 (java) S 15894 15897 1460 0 -1 1077944384 23361 12340 0 0 1175 70 5 3 20 0 15 0 93831938 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514695805168 140515150088834 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15953] ppid=15894 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15953/stat : 15953 (java) S 15894 15897 1460 0 -1 1077944384 54 12340 0 0 0 0 5 3 20 0 15 0 93831938 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514694751456 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15954] ppid=15894 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15954/stat : 15954 (java) S 15894 15897 1460 0 -1 1077944384 44 12340 0 0 0 0 5 3 20 0 15 0 93831938 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514693698304 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15955] ppid=15894 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15955/stat : 15955 (java) S 15894 15897 1460 0 -1 1077944384 3 12340 0 0 0 0 5 3 20 0 15 0 93831941 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514692646864 140515150096283 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15956] ppid=15894 vsize=14067516 CPUtime=3.38 cores=1,3,5,7
/proc/15897/task/15956/stat : 15956 (java) S 15894 15897 1460 0 -1 1077944384 11743 12340 0 0 328 2 5 3 20 0 15 0 93831941 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514691594992 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15957] ppid=15894 vsize=14067516 CPUtime=3.45 cores=1,3,5,7
/proc/15897/task/15957/stat : 15957 (java) S 15894 15897 1460 0 -1 1077944384 8926 12340 0 0 335 2 5 3 20 0 15 0 93831941 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514690542448 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15958] ppid=15894 vsize=14067516 CPUtime=1.83 cores=1,3,5,7
/proc/15897/task/15958/stat : 15958 (java) S 15894 15897 1460 0 -1 1077944384 13422 12340 0 0 172 3 5 3 20 0 15 0 93831941 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514689489392 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15959] ppid=15894 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15959/stat : 15959 (java) S 15894 15897 1460 0 -1 1077944384 3 12340 0 0 0 0 5 3 20 0 15 0 93831941 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514688437088 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15960] ppid=15894 vsize=14067516 CPUtime=1.72 cores=1,3,5,7
/proc/15897/task/15960/stat : 15960 (java) S 15894 15897 1460 0 -1 1077944384 1357 12340 0 0 76 88 5 3 20 0 15 0 93831946 14405136384 430949 18446744073709551615 4194304 4196468 140725124408544 140514619812400 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
Current children cumulated CPU time (s) 2520
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 15897 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2473.8 s]
/proc/loadavg: 1.37 1.43 1.43 3/217 16533
/proc/meminfo: memFree=27526808/32770624 swapFree=0/574112
[pid=15897] ppid=15894 vsize=14200644 CPUtime=2520.53 cores=1,3,5,7
/proc/15897/stat : 15897 (java) S 15894 15897 1460 0 -1 1077944320 270884 12340 0 0 251613 432 5 3 20 0 17 0 93831912 14541459456 432753 18446744073709551615 4194304 4196468 140725124408544 140725124391088 140515150077687 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
/proc/15897/statm: 3550161 432753 3473 1 0 3538775 0
[pid=15897/tid=15947] ppid=15894 vsize=14200644 CPUtime=2444.52 cores=1,3,5,7
/proc/15897/task/15947/stat : 15947 (java) S 15894 15897 1460 0 -1 1077944384 108863 12340 0 0 244372 72 5 3 20 0 17 0 93831936 14541459456 432753 18446744073709551615 4194304 4196468 140725124408544 140515154315392 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15948] ppid=15894 vsize=14200644 CPUtime=13.39 cores=1,3,5,7
/proc/15897/task/15948/stat : 15948 (java) R 15894 15897 1460 0 -1 4202560 22210 12340 0 0 1263 68 5 3 20 0 17 0 93831936 14541459456 432753 18446744073709551615 4194304 4196468 140725124408544 140515092024336 140515142705895 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15949] ppid=15894 vsize=14200644 CPUtime=13.42 cores=1,3,5,7
/proc/15897/task/15949/stat : 15949 (java) R 15894 15897 1460 0 -1 4202560 26879 12340 0 0 1268 66 5 3 20 0 17 0 93831936 14541459456 432753 18446744073709551615 4194304 4196468 140725124408544 140515090971912 140515142705895 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15950] ppid=15894 vsize=14200644 CPUtime=13.41 cores=1,3,5,7
/proc/15897/task/15950/stat : 15950 (java) R 15894 15897 1460 0 -1 4202560 24142 12340 0 0 1265 68 5 3 20 0 17 0 93831936 14541459456 432753 18446744073709551615 4194304 4196468 140725124408544 140514748275472 140515142705895 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15951] ppid=15894 vsize=14200644 CPUtime=13.42 cores=1,3,5,7
/proc/15897/task/15951/stat : 15951 (java) R 15894 15897 1460 0 -1 4202560 21559 12340 0 0 1267 67 5 3 20 0 17 0 93831936 14541459456 432753 18446744073709551615 4194304 4196468 140725124408544 140514747222928 140515135074088 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15952] ppid=15894 vsize=14200644 CPUtime=12.61 cores=1,3,5,7
/proc/15897/task/15952/stat : 15952 (java) S 15894 15897 1460 0 -1 1077944384 29290 12340 0 0 1183 70 5 3 20 0 17 0 93831938 14541459456 432753 18446744073709551615 4194304 4196468 140725124408544 140514695803792 140515150087893 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15953] ppid=15894 vsize=14200644 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15953/stat : 15953 (java) S 15894 15897 1460 0 -1 1077944384 57 12340 0 0 0 0 5 3 20 0 17 0 93831938 14541459456 432753 18446744073709551615 4194304 4196468 140725124408544 140514694751088 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15954] ppid=15894 vsize=14200644 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15954/stat : 15954 (java) S 15894 15897 1460 0 -1 1077944384 44 12340 0 0 0 0 5 3 20 0 17 0 93831938 14541459456 432753 18446744073709551615 4194304 4196468 140725124408544 140514693698304 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15955] ppid=15894 vsize=14200644 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15955/stat : 15955 (java) S 15894 15897 1460 0 -1 1077944384 114 12340 0 0 0 0 5 3 20 0 17 0 93831941 14541459456 432753 18446744073709551615 4194304 4196468 140725124408544 140514692646864 140515150096283 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15956] ppid=15894 vsize=14200644 CPUtime=3.38 cores=1,3,5,7
/proc/15897/task/15956/stat : 15956 (java) S 15894 15897 1460 0 -1 1077944384 11743 12340 0 0 328 2 5 3 20 0 17 0 93831941 14541459456 432753 18446744073709551615 4194304 4196468 140725124408544 140514691594992 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15957] ppid=15894 vsize=14200644 CPUtime=3.45 cores=1,3,5,7
/proc/15897/task/15957/stat : 15957 (java) S 15894 15897 1460 0 -1 1077944384 8926 12340 0 0 335 2 5 3 20 0 17 0 93831941 14541459456 432753 18446744073709551615 4194304 4196468 140725124408544 140514690542448 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15958] ppid=15894 vsize=14200644 CPUtime=1.83 cores=1,3,5,7
/proc/15897/task/15958/stat : 15958 (java) S 15894 15897 1460 0 -1 1077944384 13422 12340 0 0 172 3 5 3 20 0 17 0 93831941 14541459456 432753 18446744073709551615 4194304 4196468 140725124408544 140514689489392 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15959] ppid=15894 vsize=14200644 CPUtime=0.08 cores=1,3,5,7
/proc/15897/task/15959/stat : 15959 (java) S 15894 15897 1460 0 -1 1077944384 3 12340 0 0 0 0 5 3 20 0 17 0 93831941 14541459456 432753 18446744073709551615 4194304 4196468 140725124408544 140514688437088 140515150087893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
[pid=15897/tid=15960] ppid=15894 vsize=14200644 CPUtime=1.72 cores=1,3,5,7
/proc/15897/task/15960/stat : 15960 (java) S 15894 15897 1460 0 -1 1077944384 1357 12340 0 0 76 88 5 3 20 0 17 0 93831946 14541459456 432753 18446744073709551615 4194304 4196468 140725124408544 140514619812400 140515150088834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 6885376 140725124417488 140725124420273 140725124420273 140725124423631 0
Current children cumulated CPU time (s) 2520.53
Current children cumulated vsize (KiB) 14200644
Child status: 143
Real time (s): 2473.82
CPU time (s): 2520.57
CPU user time (s): 2516.2
CPU system time (s): 4.36679
CPU usage (%): 101.89
Max. virtual memory (cumulated for all children) (KiB): 14200644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.2
system time used= 4.36679
maximum resident set size= 1731608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283308
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 324651
involuntary context switches= 8031
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5246 second user time and 16.2276 second system time
The end