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-4261833-1502474487/watcher-4261833-1502474487 -o /tmp/evaluation-result-4261833-1502474487/solver-4261833-1502474487 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1395 --watchdog 2580 bin/concrete HOME/instance-4261833-1502474487.xml
pid=16428
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.30 1.39 1.41 2/194 16431
/proc/meminfo: memFree=30457204/32770624 swapFree=0/510896
[pid=16431] ppid=16428 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/16431/stat : 16431 (runsolver) D 16428 16431 1330 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 49669500 24240128 108 18446744073709551615 4194304 4338465 140735533842592 140735533840232 139739820270295 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 34181120 140735533846737 140735533847113 140735533847113 140735533850570 0
/proc/16431/statm: 5918 108 54 36 0 2156 0
[startup+0.100122 s]
/proc/loadavg: 1.30 1.39 1.41 2/194 16431
/proc/meminfo: memFree=30457204/32770624 swapFree=0/510896
[pid=16431] ppid=16428 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/16431/stat : 16431 (bash) R 16428 16431 1330 0 -1 4202496 762 5087 0 0 0 0 0 1 20 0 1 0 49669500 9867264 360 18446744073709551615 4194304 5098028 140734895400256 140734895398184 139629737147392 0 0 5 65536 0 0 0 17 3 0 0 8 0 0 7196144 7232144 8912896 140734895403540 140734895403625 140734895403625 140734895407082 0
/proc/16431/statm: 2409 360 286 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.200232 s]
/proc/loadavg: 1.30 1.39 1.41 2/194 16431
/proc/meminfo: memFree=30457204/32770624 swapFree=0/510896
[pid=16431] ppid=16428 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/16431/stat : 16431 (bash) S 16428 16431 1330 0 -1 4202496 896 6476 0 0 0 0 0 1 20 0 1 0 49669500 9867264 377 18446744073709551615 4194304 5098028 140734895400256 140734895394264 139629737147392 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 8912896 140734895403540 140734895403625 140734895403625 140734895407082 0
/proc/16431/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300936 s]
/proc/loadavg: 1.30 1.39 1.41 2/194 16431
/proc/meminfo: memFree=30457204/32770624 swapFree=0/510896
[pid=16431] ppid=16428 vsize=13907308 CPUtime=0.14 cores=1,3,5,7
/proc/16431/stat : 16431 (java) S 16428 16431 1330 0 -1 1077944320 5949 12736 0 0 5 1 5 3 20 0 14 0 49669500 14241083392 5604 18446744073709551615 4194304 4196468 140730002866176 140730002848720 140107538927351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
/proc/16431/statm: 3476827 5604 2553 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308
[startup+0.703751 s]
/proc/loadavg: 1.30 1.39 1.41 2/194 16431
/proc/meminfo: memFree=30457204/32770624 swapFree=0/510896
[pid=16431] ppid=16428 vsize=13974784 CPUtime=0.64 cores=1,3,5,7
/proc/16431/stat : 16431 (java) S 16428 16431 1330 0 -1 1077944320 13954 12736 0 0 52 4 5 3 20 0 15 0 49669500 14310178816 14346 18446744073709551615 4194304 4196468 140730002866176 140730002848720 140107538927351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
/proc/16431/statm: 3493696 14346 3100 1 0 3482965 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 13974784
[startup+1.50064 s]
/proc/loadavg: 1.30 1.39 1.41 3/209 16494
/proc/meminfo: memFree=30364472/32770624 swapFree=0/511152
[pid=16431] ppid=16428 vsize=13985408 CPUtime=1.83 cores=1,3,5,7
/proc/16431/stat : 16431 (java) S 16428 16431 1330 0 -1 1077944320 27640 12736 0 0 167 8 5 3 20 0 15 0 49669500 14321057792 34391 18446744073709551615 4194304 4196468 140730002866176 140730002848720 140107538927351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
/proc/16431/statm: 3496352 34391 3341 1 0 3485525 0
[pid=16431/tid=16481] ppid=16428 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/16431/task/16481/stat : 16481 (java) R 16428 16431 1330 0 -1 4202560 22402 12736 0 0 114 6 5 3 20 0 15 0 49669524 14321057792 34391 18446744073709551615 4194304 4196468 140730002866176 140107543161328 140107538939286 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16482] ppid=16428 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16482/stat : 16482 (java) S 16428 16431 1330 0 -1 1077944384 2 12736 0 0 0 0 5 3 20 0 15 0 49669525 14321057792 34391 18446744073709551615 4194304 4196468 140730002866176 140107473361168 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16483] ppid=16428 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16483/stat : 16483 (java) S 16428 16431 1330 0 -1 1077944384 2 12736 0 0 0 0 5 3 20 0 15 0 49669525 14321057792 34391 18446744073709551615 4194304 4196468 140730002866176 140107472308624 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16484] ppid=16428 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16484/stat : 16484 (java) S 16428 16431 1330 0 -1 1077944384 1 12736 0 0 0 0 5 3 20 0 15 0 49669525 14321057792 34391 18446744073709551615 4194304 4196468 140730002866176 140107136547344 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16485] ppid=16428 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16485/stat : 16485 (java) S 16428 16431 1330 0 -1 1077944384 1 12736 0 0 0 0 5 3 20 0 15 0 49669525 14321057792 34391 18446744073709551615 4194304 4196468 140730002866176 140107135494800 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16486] ppid=16428 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16486/stat : 16486 (java) S 16428 16431 1330 0 -1 1077944384 5 12736 0 0 0 0 5 3 20 0 15 0 49669526 14321057792 34391 18446744073709551615 4194304 4196468 140730002866176 140107084638704 140107538938498 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16487] ppid=16428 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16487/stat : 16487 (java) S 16428 16431 1330 0 -1 1077944384 34 12736 0 0 0 0 5 3 20 0 15 0 49669527 14321057792 34391 18446744073709551615 4194304 4196468 140730002866176 140107083584928 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16488] ppid=16428 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16488/stat : 16488 (java) S 16428 16431 1330 0 -1 1077944384 21 12736 0 0 0 0 5 3 20 0 15 0 49669527 14321057792 34391 18446744073709551615 4194304 4196468 140730002866176 140107082532336 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16489] ppid=16428 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16489/stat : 16489 (java) S 16428 16431 1330 0 -1 1077944384 3 12736 0 0 0 0 5 3 20 0 15 0 49669530 14321057792 34391 18446744073709551615 4194304 4196468 140730002866176 140107081480912 140107538945947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16490] ppid=16428 vsize=13985408 CPUtime=0.25 cores=1,3,5,7
/proc/16431/task/16490/stat : 16490 (java) S 16428 16431 1330 0 -1 1077944384 1016 12736 0 0 17 0 5 3 20 0 15 0 49669530 14321057792 34391 18446744073709551615 4194304 4196468 140730002866176 140107080427504 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16491] ppid=16428 vsize=13985408 CPUtime=0.19 cores=1,3,5,7
/proc/16431/task/16491/stat : 16491 (java) S 16428 16431 1330 0 -1 1077944384 660 12736 0 0 11 0 5 3 20 0 15 0 49669530 14321057792 34391 18446744073709551615 4194304 4196468 140730002866176 140107079374960 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16492] ppid=16428 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/16431/task/16492/stat : 16492 (java) S 16428 16431 1330 0 -1 1077944384 1325 12736 0 0 22 0 5 3 20 0 15 0 49669530 14321057792 34391 18446744073709551615 4194304 4196468 140730002866176 140107078322416 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16493] ppid=16428 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16493/stat : 16493 (java) S 16428 16431 1330 0 -1 1077944384 3 12736 0 0 0 0 5 3 20 0 15 0 49669530 14321057792 34391 18446744073709551615 4194304 4196468 140730002866176 140107077270112 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16494] ppid=16428 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16494/stat : 16494 (java) S 16428 16431 1330 0 -1 1077944384 10 12736 0 0 0 0 5 3 20 0 15 0 49669533 14321057792 34391 18446744073709551615 4194304 4196468 140730002866176 140107076217648 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 13985408
[startup+3.10067 s]
/proc/loadavg: 1.30 1.39 1.41 5/209 16494
/proc/meminfo: memFree=30289588/32770624 swapFree=0/511152
[pid=16431] ppid=16428 vsize=13995836 CPUtime=5.61 cores=1,3,5,7
/proc/16431/stat : 16431 (java) S 16428 16431 1330 0 -1 1077944320 41921 12736 0 0 537 16 5 3 20 0 15 0 49669500 14331736064 70589 18446744073709551615 4194304 4196468 140730002866176 140730002848720 140107538927351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
/proc/16431/statm: 3498959 70589 3461 1 0 3487573 0
[pid=16431/tid=16481] ppid=16428 vsize=13995836 CPUtime=2.84 cores=1,3,5,7
/proc/16431/task/16481/stat : 16481 (java) R 16428 16431 1330 0 -1 4202560 27896 12736 0 0 266 10 5 3 20 0 15 0 49669524 14331736064 70589 18446744073709551615 4194304 4196468 140730002866176 140107543158096 140107519203111 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16482] ppid=16428 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/16431/task/16482/stat : 16482 (java) S 16428 16431 1330 0 -1 1077944384 91 12736 0 0 1 0 5 3 20 0 15 0 49669525 14331736064 70589 18446744073709551615 4194304 4196468 140730002866176 140107473361168 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16483] ppid=16428 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/16431/task/16483/stat : 16483 (java) S 16428 16431 1330 0 -1 1077944384 209 12736 0 0 1 0 5 3 20 0 15 0 49669525 14331736064 70589 18446744073709551615 4194304 4196468 140730002866176 140107472308624 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16484] ppid=16428 vsize=13995836 CPUtime=0.1 cores=1,3,5,7
/proc/16431/task/16484/stat : 16484 (java) S 16428 16431 1330 0 -1 1077944384 53 12736 0 0 2 0 5 3 20 0 15 0 49669525 14331736064 70589 18446744073709551615 4194304 4196468 140730002866176 140107136547344 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16485] ppid=16428 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/16431/task/16485/stat : 16485 (java) S 16428 16431 1330 0 -1 1077944384 162 12736 0 0 1 0 5 3 20 0 15 0 49669525 14331736064 70589 18446744073709551615 4194304 4196468 140730002866176 140107135494800 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16486] ppid=16428 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/16431/task/16486/stat : 16486 (java) S 16428 16431 1330 0 -1 1077944384 1526 12736 0 0 1 0 5 3 20 0 15 0 49669526 14331736064 70589 18446744073709551615 4194304 4196468 140730002866176 140107084638704 140107538938498 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16487] ppid=16428 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16487/stat : 16487 (java) S 16428 16431 1330 0 -1 1077944384 56 12736 0 0 0 0 5 3 20 0 15 0 49669527 14331736064 70589 18446744073709551615 4194304 4196468 140730002866176 140107083584992 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16488] ppid=16428 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16488/stat : 16488 (java) S 16428 16431 1330 0 -1 1077944384 46 12736 0 0 0 0 5 3 20 0 15 0 49669527 14331736064 70589 18446744073709551615 4194304 4196468 140730002866176 140107082532352 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16489] ppid=16428 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16489/stat : 16489 (java) S 16428 16431 1330 0 -1 1077944384 3 12736 0 0 0 0 5 3 20 0 15 0 49669530 14331736064 70589 18446744073709551615 4194304 4196468 140730002866176 140107081480912 140107538945947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16490] ppid=16428 vsize=13995836 CPUtime=0.89 cores=1,3,5,7
/proc/16431/task/16490/stat : 16490 (java) S 16428 16431 1330 0 -1 1077944384 2329 12736 0 0 81 0 5 3 20 0 15 0 49669530 14331736064 70589 18446744073709551615 4194304 4196468 140730002866176 140107080427504 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16491] ppid=16428 vsize=13995836 CPUtime=1.07 cores=1,3,5,7
/proc/16431/task/16491/stat : 16491 (java) S 16428 16431 1330 0 -1 1077944384 4327 12736 0 0 99 0 5 3 20 0 15 0 49669530 14331736064 70589 18446744073709551615 4194304 4196468 140730002866176 140107079374960 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16492] ppid=16428 vsize=13995836 CPUtime=0.88 cores=1,3,5,7
/proc/16431/task/16492/stat : 16492 (java) S 16428 16431 1330 0 -1 1077944384 3052 12736 0 0 80 0 5 3 20 0 15 0 49669530 14331736064 70589 18446744073709551615 4194304 4196468 140730002866176 140107078322416 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16493] ppid=16428 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16493/stat : 16493 (java) S 16428 16431 1330 0 -1 1077944384 3 12736 0 0 0 0 5 3 20 0 15 0 49669530 14331736064 70589 18446744073709551615 4194304 4196468 140730002866176 140107077270112 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16494] ppid=16428 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16494/stat : 16494 (java) S 16428 16431 1330 0 -1 1077944384 13 12736 0 0 0 0 5 3 20 0 15 0 49669533 14331736064 70589 18446744073709551615 4194304 4196468 140730002866176 140107076217648 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
Current children cumulated CPU time (s) 5.61
Current children cumulated vsize (KiB) 13995836
[startup+6.30059 s]
/proc/loadavg: 1.35 1.40 1.41 5/209 16494
/proc/meminfo: memFree=29913268/32770624 swapFree=0/511156
[pid=16431] ppid=16428 vsize=13999932 CPUtime=13.96 cores=1,3,5,7
/proc/16431/stat : 16431 (java) S 16428 16431 1330 0 -1 1077944320 55290 12736 0 0 1354 34 5 3 20 0 15 0 49669500 14335930368 151353 18446744073709551615 4194304 4196468 140730002866176 140730002848720 140107538927351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
/proc/16431/statm: 3499983 151353 3466 1 0 3488597 0
[pid=16431/tid=16481] ppid=16428 vsize=13999932 CPUtime=5.87 cores=1,3,5,7
/proc/16431/task/16481/stat : 16481 (java) R 16428 16431 1330 0 -1 1077944384 36294 12736 0 0 566 13 5 3 20 0 15 0 49669524 14335930368 151353 18446744073709551615 4194304 4196468 140730002866176 140107543158368 140107538937557 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16482] ppid=16428 vsize=13999932 CPUtime=0.23 cores=1,3,5,7
/proc/16431/task/16482/stat : 16482 (java) S 16428 16431 1330 0 -1 1077944384 259 12736 0 0 11 4 5 3 20 0 15 0 49669525 14335930368 151353 18446744073709551615 4194304 4196468 140730002866176 140107473361168 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16483] ppid=16428 vsize=13999932 CPUtime=0.21 cores=1,3,5,7
/proc/16431/task/16483/stat : 16483 (java) S 16428 16431 1330 0 -1 1077944384 431 12736 0 0 10 3 5 3 20 0 15 0 49669525 14335930368 151353 18446744073709551615 4194304 4196468 140730002866176 140107472308624 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16484] ppid=16428 vsize=13999932 CPUtime=0.21 cores=1,3,5,7
/proc/16431/task/16484/stat : 16484 (java) S 16428 16431 1330 0 -1 1077944384 169 12736 0 0 10 3 5 3 20 0 15 0 49669525 14335930368 151353 18446744073709551615 4194304 4196468 140730002866176 140107136547344 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16485] ppid=16428 vsize=13999932 CPUtime=0.22 cores=1,3,5,7
/proc/16431/task/16485/stat : 16485 (java) S 16428 16431 1330 0 -1 1077944384 338 12736 0 0 10 4 5 3 20 0 15 0 49669525 14335930368 151353 18446744073709551615 4194304 4196468 140730002866176 140107135494800 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16486] ppid=16428 vsize=13999932 CPUtime=0.12 cores=1,3,5,7
/proc/16431/task/16486/stat : 16486 (java) S 16428 16431 1330 0 -1 1077944384 2500 12736 0 0 4 0 5 3 20 0 15 0 49669526 14335930368 151353 18446744073709551615 4194304 4196468 140730002866176 140107084638704 140107538938498 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16487] ppid=16428 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16487/stat : 16487 (java) S 16428 16431 1330 0 -1 1077944384 56 12736 0 0 0 0 5 3 20 0 15 0 49669527 14335930368 151353 18446744073709551615 4194304 4196468 140730002866176 140107083584992 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16488] ppid=16428 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16488/stat : 16488 (java) S 16428 16431 1330 0 -1 1077944384 46 12736 0 0 0 0 5 3 20 0 15 0 49669527 14335930368 151353 18446744073709551615 4194304 4196468 140730002866176 140107082532352 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16489] ppid=16428 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16489/stat : 16489 (java) S 16428 16431 1330 0 -1 1077944384 3 12736 0 0 0 0 5 3 20 0 15 0 49669530 14335930368 151353 18446744073709551615 4194304 4196468 140730002866176 140107081480912 140107538945947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16490] ppid=16428 vsize=13999932 CPUtime=2.91 cores=1,3,5,7
/proc/16431/task/16490/stat : 16490 (java) S 16428 16431 1330 0 -1 1077944384 3812 12736 0 0 283 0 5 3 20 0 15 0 49669530 14335930368 151353 18446744073709551615 4194304 4196468 140730002866176 140107080427504 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16491] ppid=16428 vsize=13999932 CPUtime=3.49 cores=1,3,5,7
/proc/16431/task/16491/stat : 16491 (java) R 16428 16431 1330 0 -1 4202560 5518 12736 0 0 340 1 5 3 20 0 15 0 49669530 14335930368 151353 18446744073709551615 4194304 4196468 140730002866176 140107079358800 140107518419480 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16492] ppid=16428 vsize=13999932 CPUtime=1.25 cores=1,3,5,7
/proc/16431/task/16492/stat : 16492 (java) R 16428 16431 1330 0 -1 4202560 3688 12736 0 0 116 1 5 3 20 0 15 0 49669530 14335930368 151353 18446744073709551615 4194304 4196468 140730002866176 140107078322416 140107517514960 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16493] ppid=16428 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16493/stat : 16493 (java) S 16428 16431 1330 0 -1 1077944384 3 12736 0 0 0 0 5 3 20 0 15 0 49669530 14335930368 151353 18446744073709551615 4194304 4196468 140730002866176 140107077270112 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16494] ppid=16428 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16494/stat : 16494 (java) S 16428 16431 1330 0 -1 1077944384 18 12736 0 0 0 0 5 3 20 0 15 0 49669533 14335930368 151353 18446744073709551615 4194304 4196468 140730002866176 140107076217648 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
Current children cumulated CPU time (s) 13.96
Current children cumulated vsize (KiB) 13999932
[startup+12.7007 s]
/proc/loadavg: 1.40 1.41 1.42 3/209 16494
/proc/meminfo: memFree=29382716/32770624 swapFree=0/511152
[pid=16431] ppid=16428 vsize=14069564 CPUtime=25.98 cores=1,3,5,7
/proc/16431/stat : 16431 (java) S 16428 16431 1330 0 -1 1077944320 72788 12736 0 0 2541 49 5 3 20 0 15 0 49669500 14407233536 274884 18446744073709551615 4194304 4196468 140730002866176 140730002848720 140107538927351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
/proc/16431/statm: 3517391 274884 3478 1 0 3506005 0
[pid=16431/tid=16481] ppid=16428 vsize=14069564 CPUtime=12.22 cores=1,3,5,7
/proc/16431/task/16481/stat : 16481 (java) R 16428 16431 1330 0 -1 4202560 42858 12736 0 0 1194 20 5 3 20 0 15 0 49669524 14407233536 274884 18446744073709551615 4194304 4196468 140730002866176 140107543149280 140107166952936 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16482] ppid=16428 vsize=14069564 CPUtime=0.26 cores=1,3,5,7
/proc/16431/task/16482/stat : 16482 (java) S 16428 16431 1330 0 -1 1077944384 315 12736 0 0 13 5 5 3 20 0 15 0 49669525 14407233536 274884 18446744073709551615 4194304 4196468 140730002866176 140107473361168 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16483] ppid=16428 vsize=14069564 CPUtime=0.25 cores=1,3,5,7
/proc/16431/task/16483/stat : 16483 (java) S 16428 16431 1330 0 -1 1077944384 1359 12736 0 0 12 5 5 3 20 0 15 0 49669525 14407233536 274884 18446744073709551615 4194304 4196468 140730002866176 140107472308624 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16484] ppid=16428 vsize=14069564 CPUtime=0.25 cores=1,3,5,7
/proc/16431/task/16484/stat : 16484 (java) S 16428 16431 1330 0 -1 1077944384 244 12736 0 0 12 5 5 3 20 0 15 0 49669525 14407233536 274884 18446744073709551615 4194304 4196468 140730002866176 140107136547344 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16485] ppid=16428 vsize=14069564 CPUtime=0.25 cores=1,3,5,7
/proc/16431/task/16485/stat : 16485 (java) S 16428 16431 1330 0 -1 1077944384 444 12736 0 0 12 5 5 3 20 0 15 0 49669525 14407233536 274884 18446744073709551615 4194304 4196468 140730002866176 140107135494800 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16486] ppid=16428 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/16431/task/16486/stat : 16486 (java) S 16428 16431 1330 0 -1 1077944384 2695 12736 0 0 4 0 5 3 20 0 15 0 49669526 14407233536 274884 18446744073709551615 4194304 4196468 140730002866176 140107084638704 140107538938498 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16487] ppid=16428 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16487/stat : 16487 (java) S 16428 16431 1330 0 -1 1077944384 56 12736 0 0 0 0 5 3 20 0 15 0 49669527 14407233536 274884 18446744073709551615 4194304 4196468 140730002866176 140107083584992 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16488] ppid=16428 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16488/stat : 16488 (java) S 16428 16431 1330 0 -1 1077944384 46 12736 0 0 0 0 5 3 20 0 15 0 49669527 14407233536 274884 18446744073709551615 4194304 4196468 140730002866176 140107082532352 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16489] ppid=16428 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16489/stat : 16489 (java) S 16428 16431 1330 0 -1 1077944384 3 12736 0 0 0 0 5 3 20 0 15 0 49669530 14407233536 274884 18446744073709551615 4194304 4196468 140730002866176 140107081480912 140107538945947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
################
# More data... #
################
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2467.1 s]
/proc/loadavg: 1.49 1.51 1.56 3/210 16791
/proc/meminfo: memFree=22932112/32770624 swapFree=0/510996
[pid=16431] ppid=16428 vsize=14069564 CPUtime=2520.07 cores=1,3,5,7
/proc/16431/stat : 16431 (java) S 16428 16431 1330 0 -1 1077944320 546506 12736 0 0 251465 534 5 3 20 0 15 0 49669500 14407233536 803187 18446744073709551615 4194304 4196468 140730002866176 140730002848720 140107538927351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
/proc/16431/statm: 3517391 803187 3481 1 0 3506005 0
[pid=16431/tid=16481] ppid=16428 vsize=14069564 CPUtime=2453.26 cores=1,3,5,7
/proc/16431/task/16481/stat : 16481 (java) R 16428 16431 1330 0 -1 4202560 304208 12736 0 0 245188 130 5 3 20 0 15 0 49669524 14407233536 803187 18446744073709551615 4194304 4196468 140730002866176 140107543161712 140107152691133 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16482] ppid=16428 vsize=14069564 CPUtime=12.46 cores=1,3,5,7
/proc/16431/task/16482/stat : 16482 (java) S 16428 16431 1330 0 -1 1077944384 31141 12736 0 0 1161 77 5 3 20 0 15 0 49669525 14407233536 803187 18446744073709551615 4194304 4196468 140730002866176 140107473361168 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16483] ppid=16428 vsize=14069564 CPUtime=12.46 cores=1,3,5,7
/proc/16431/task/16483/stat : 16483 (java) S 16428 16431 1330 0 -1 1077944384 33922 12736 0 0 1158 80 5 3 20 0 15 0 49669525 14407233536 803187 18446744073709551615 4194304 4196468 140730002866176 140107472308624 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16484] ppid=16428 vsize=14069564 CPUtime=12.47 cores=1,3,5,7
/proc/16431/task/16484/stat : 16484 (java) S 16428 16431 1330 0 -1 1077944384 34744 12736 0 0 1161 78 5 3 20 0 15 0 49669525 14407233536 803187 18446744073709551615 4194304 4196468 140730002866176 140107136547344 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16485] ppid=16428 vsize=14069564 CPUtime=12.47 cores=1,3,5,7
/proc/16431/task/16485/stat : 16485 (java) S 16428 16431 1330 0 -1 1077944384 31729 12736 0 0 1161 78 5 3 20 0 15 0 49669525 14407233536 803187 18446744073709551615 4194304 4196468 140730002866176 140107135494800 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16486] ppid=16428 vsize=14069564 CPUtime=1.12 cores=1,3,5,7
/proc/16431/task/16486/stat : 16486 (java) S 16428 16431 1330 0 -1 1077944384 53739 12736 0 0 84 20 5 3 20 0 15 0 49669526 14407233536 803187 18446744073709551615 4194304 4196468 140730002866176 140107084638704 140107538938498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16487] ppid=16428 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16487/stat : 16487 (java) S 16428 16431 1330 0 -1 1077944384 56 12736 0 0 0 0 5 3 20 0 15 0 49669527 14407233536 803187 18446744073709551615 4194304 4196468 140730002866176 140107083584992 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16488] ppid=16428 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16488/stat : 16488 (java) S 16428 16431 1330 0 -1 1077944384 46 12736 0 0 0 0 5 3 20 0 15 0 49669527 14407233536 803187 18446744073709551615 4194304 4196468 140730002866176 140107082532352 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16489] ppid=16428 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16489/stat : 16489 (java) S 16428 16431 1330 0 -1 1077944384 3 12736 0 0 0 0 5 3 20 0 15 0 49669530 14407233536 803187 18446744073709551615 4194304 4196468 140730002866176 140107081480912 140107538945947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16490] ppid=16428 vsize=14069564 CPUtime=5.95 cores=1,3,5,7
/proc/16431/task/16490/stat : 16490 (java) S 16428 16431 1330 0 -1 1077944384 16465 12736 0 0 584 3 5 3 20 0 15 0 49669530 14407233536 803187 18446744073709551615 4194304 4196468 140730002866176 140107080427504 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16491] ppid=16428 vsize=14069564 CPUtime=7.09 cores=1,3,5,7
/proc/16431/task/16491/stat : 16491 (java) S 16428 16431 1330 0 -1 1077944384 25178 12736 0 0 698 3 5 3 20 0 15 0 49669530 14407233536 803187 18446744073709551615 4194304 4196468 140730002866176 140107079374960 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16492] ppid=16428 vsize=14069564 CPUtime=1.83 cores=1,3,5,7
/proc/16431/task/16492/stat : 16492 (java) S 16428 16431 1330 0 -1 1077944384 11751 12736 0 0 172 3 5 3 20 0 15 0 49669530 14407233536 803187 18446744073709551615 4194304 4196468 140730002866176 140107078322416 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16493] ppid=16428 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16493/stat : 16493 (java) S 16428 16431 1330 0 -1 1077944384 3 12736 0 0 0 0 5 3 20 0 15 0 49669530 14407233536 803187 18446744073709551615 4194304 4196468 140730002866176 140107077270112 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16494] ppid=16428 vsize=14069564 CPUtime=1.57 cores=1,3,5,7
/proc/16431/task/16494/stat : 16494 (java) S 16428 16431 1330 0 -1 1077944384 1366 12736 0 0 71 78 5 3 20 0 15 0 49669533 14407233536 803187 18446744073709551615 4194304 4196468 140730002866176 140107076217648 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
Current children cumulated CPU time (s) 2520.07
Current children cumulated vsize (KiB) 14069564
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16431 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2467.21 s]
/proc/loadavg: 1.49 1.51 1.56 3/210 16791
/proc/meminfo: memFree=22932112/32770624 swapFree=0/510996
[pid=16431] ppid=16428 vsize=14202692 CPUtime=2520.41 cores=1,3,5,7
/proc/16431/stat : 16431 (java) S 16428 16431 1330 0 -1 1077944320 559575 12736 0 0 251497 536 5 3 20 0 17 0 49669500 14543556608 804342 18446744073709551615 4194304 4196468 140730002866176 140730002848720 140107538927351 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
/proc/16431/statm: 3550673 804342 3482 1 0 3539287 0
[pid=16431/tid=16481] ppid=16428 vsize=14202692 CPUtime=2453.27 cores=1,3,5,7
/proc/16431/task/16481/stat : 16481 (java) S 16428 16431 1330 0 -1 1077944384 305301 12736 0 0 245189 130 5 3 20 0 17 0 49669524 14543556608 804342 18446744073709551615 4194304 4196468 140730002866176 140107543164992 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16482] ppid=16428 vsize=14202692 CPUtime=12.53 cores=1,3,5,7
/proc/16431/task/16482/stat : 16482 (java) R 16428 16431 1330 0 -1 4202560 31271 12736 0 0 1168 77 5 3 20 0 17 0 49669525 14543556608 804342 18446744073709551615 4194304 4196468 140730002866176 140107473361168 140107523923696 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16483] ppid=16428 vsize=14202692 CPUtime=12.53 cores=1,3,5,7
/proc/16431/task/16483/stat : 16483 (java) R 16428 16431 1330 0 -1 4202560 34056 12736 0 0 1165 80 5 3 20 0 17 0 49669525 14543556608 804342 18446744073709551615 4194304 4196468 140730002866176 140107472308624 140107523628042 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16484] ppid=16428 vsize=14202692 CPUtime=12.55 cores=1,3,5,7
/proc/16431/task/16484/stat : 16484 (java) R 16428 16431 1330 0 -1 4202560 34833 12736 0 0 1168 79 5 3 20 0 17 0 49669525 14543556608 804342 18446744073709551615 4194304 4196468 140730002866176 140107136547344 140107523923852 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16485] ppid=16428 vsize=14202692 CPUtime=12.54 cores=1,3,5,7
/proc/16431/task/16485/stat : 16485 (java) R 16428 16431 1330 0 -1 4202560 31894 12736 0 0 1168 78 5 3 20 0 17 0 49669525 14543556608 804342 18446744073709551615 4194304 4196468 140730002866176 140107135495000 140107523628039 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16486] ppid=16428 vsize=14202692 CPUtime=1.15 cores=1,3,5,7
/proc/16431/task/16486/stat : 16486 (java) S 16428 16431 1330 0 -1 1077944384 63393 12736 0 0 86 21 5 3 20 0 17 0 49669526 14543556608 804342 18446744073709551615 4194304 4196468 140730002866176 140107084637328 140107538937557 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16487] ppid=16428 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16487/stat : 16487 (java) S 16428 16431 1330 0 -1 1077944384 56 12736 0 0 0 0 5 3 20 0 17 0 49669527 14543556608 804342 18446744073709551615 4194304 4196468 140730002866176 140107083584992 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16488] ppid=16428 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16488/stat : 16488 (java) S 16428 16431 1330 0 -1 1077944384 46 12736 0 0 0 0 5 3 20 0 17 0 49669527 14543556608 804342 18446744073709551615 4194304 4196468 140730002866176 140107082532352 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16489] ppid=16428 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16489/stat : 16489 (java) S 16428 16431 1330 0 -1 1077944384 246 12736 0 0 0 0 5 3 20 0 17 0 49669530 14543556608 804342 18446744073709551615 4194304 4196468 140730002866176 140107081480912 140107538945947 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16490] ppid=16428 vsize=14202692 CPUtime=5.95 cores=1,3,5,7
/proc/16431/task/16490/stat : 16490 (java) S 16428 16431 1330 0 -1 1077944384 16465 12736 0 0 584 3 5 3 20 0 17 0 49669530 14543556608 804342 18446744073709551615 4194304 4196468 140730002866176 140107080427504 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16491] ppid=16428 vsize=14202692 CPUtime=7.1 cores=1,3,5,7
/proc/16431/task/16491/stat : 16491 (java) S 16428 16431 1330 0 -1 1077944384 25922 12736 0 0 698 4 5 3 20 0 17 0 49669530 14543556608 804342 18446744073709551615 4194304 4196468 140730002866176 140107079374960 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16492] ppid=16428 vsize=14202692 CPUtime=1.83 cores=1,3,5,7
/proc/16431/task/16492/stat : 16492 (java) S 16428 16431 1330 0 -1 1077944384 12192 12736 0 0 172 3 5 3 20 0 17 0 49669530 14543556608 804342 18446744073709551615 4194304 4196468 140730002866176 140107078316736 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16493] ppid=16428 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16493/stat : 16493 (java) S 16428 16431 1330 0 -1 1077944384 3 12736 0 0 0 0 5 3 20 0 17 0 49669530 14543556608 804342 18446744073709551615 4194304 4196468 140730002866176 140107077270112 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16494] ppid=16428 vsize=14202692 CPUtime=1.57 cores=1,3,5,7
/proc/16431/task/16494/stat : 16494 (java) S 16428 16431 1330 0 -1 1077944384 1366 12736 0 0 71 78 5 3 20 0 17 0 49669533 14543556608 804342 18446744073709551615 4194304 4196468 140730002866176 140107076217648 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
Current children cumulated CPU time (s) 2520.41
Current children cumulated vsize (KiB) 14202692
[startup+2467.6 s]
/proc/loadavg: 1.49 1.51 1.56 6/212 16793
/proc/meminfo: memFree=22936300/32770624 swapFree=0/510996
[pid=16431] ppid=16428 vsize=14202692 CPUtime=2521.87 cores=1,3,5,7
/proc/16431/stat : 16431 (java) S 16428 16431 1330 0 -1 1077944320 559750 12736 0 0 251643 536 5 3 20 0 17 0 49669500 14543556608 799469 18446744073709551615 4194304 4196468 140730002866176 140730002848720 140107538927351 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
/proc/16431/statm: 3550673 799469 3482 1 0 3539287 0
[pid=16431/tid=16481] ppid=16428 vsize=14202692 CPUtime=2453.27 cores=1,3,5,7
/proc/16431/task/16481/stat : 16481 (java) S 16428 16431 1330 0 -1 1077944384 305302 12736 0 0 245189 130 5 3 20 0 17 0 49669524 14543556608 799469 18446744073709551615 4194304 4196468 140730002866176 140107543164992 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16482] ppid=16428 vsize=14202692 CPUtime=12.89 cores=1,3,5,7
/proc/16431/task/16482/stat : 16482 (java) R 16428 16431 1330 0 -1 4202560 31271 12736 0 0 1204 77 5 3 20 0 17 0 49669525 14543556608 799469 18446744073709551615 4194304 4196468 140730002866176 140107473361168 140107523625103 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16483] ppid=16428 vsize=14202692 CPUtime=12.89 cores=1,3,5,7
/proc/16431/task/16483/stat : 16483 (java) R 16428 16431 1330 0 -1 4202560 34063 12736 0 0 1201 80 5 3 20 0 17 0 49669525 14543556608 799469 18446744073709551615 4194304 4196468 140730002866176 140107472308824 140107520523933 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16484] ppid=16428 vsize=14202692 CPUtime=12.9 cores=1,3,5,7
/proc/16431/task/16484/stat : 16484 (java) R 16428 16431 1330 0 -1 4202560 34843 12736 0 0 1203 79 5 3 20 0 17 0 49669525 14543556608 799469 18446744073709551615 4194304 4196468 140730002866176 140107136547544 140107523625103 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16485] ppid=16428 vsize=14202692 CPUtime=12.89 cores=1,3,5,7
/proc/16431/task/16485/stat : 16485 (java) R 16428 16431 1330 0 -1 4202560 31894 12736 0 0 1203 78 5 3 20 0 17 0 49669525 14543556608 799469 18446744073709551615 4194304 4196468 140730002866176 140107135494800 140107523912648 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16486] ppid=16428 vsize=14202692 CPUtime=1.18 cores=1,3,5,7
/proc/16431/task/16486/stat : 16486 (java) S 16428 16431 1330 0 -1 1077944384 63546 12736 0 0 89 21 5 3 20 0 17 0 49669526 14543556608 799469 18446744073709551615 4194304 4196468 140730002866176 140107084637104 140107538937557 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16487] ppid=16428 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16487/stat : 16487 (java) S 16428 16431 1330 0 -1 1077944384 57 12736 0 0 0 0 5 3 20 0 17 0 49669527 14543556608 799469 18446744073709551615 4194304 4196468 140730002866176 140107083584896 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16488] ppid=16428 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16488/stat : 16488 (java) S 16428 16431 1330 0 -1 1077944384 46 12736 0 0 0 0 5 3 20 0 17 0 49669527 14543556608 799469 18446744073709551615 4194304 4196468 140730002866176 140107082532352 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16489] ppid=16428 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16489/stat : 16489 (java) S 16428 16431 1330 0 -1 1077944384 246 12736 0 0 0 0 5 3 20 0 17 0 49669530 14543556608 799469 18446744073709551615 4194304 4196468 140730002866176 140107081480912 140107538945947 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16490] ppid=16428 vsize=14202692 CPUtime=5.95 cores=1,3,5,7
/proc/16431/task/16490/stat : 16490 (java) S 16428 16431 1330 0 -1 1077944384 16465 12736 0 0 584 3 5 3 20 0 17 0 49669530 14543556608 799469 18446744073709551615 4194304 4196468 140730002866176 140107080427504 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16491] ppid=16428 vsize=14202692 CPUtime=7.1 cores=1,3,5,7
/proc/16431/task/16491/stat : 16491 (java) S 16428 16431 1330 0 -1 1077944384 25922 12736 0 0 698 4 5 3 20 0 17 0 49669530 14543556608 799469 18446744073709551615 4194304 4196468 140730002866176 140107079374960 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16492] ppid=16428 vsize=14202692 CPUtime=1.83 cores=1,3,5,7
/proc/16431/task/16492/stat : 16492 (java) S 16428 16431 1330 0 -1 1077944384 12194 12736 0 0 172 3 5 3 20 0 17 0 49669530 14543556608 799469 18446744073709551615 4194304 4196468 140730002866176 140107078316736 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16493] ppid=16428 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16493/stat : 16493 (java) S 16428 16431 1330 0 -1 1077944384 3 12736 0 0 0 0 5 3 20 0 17 0 49669530 14543556608 799469 18446744073709551615 4194304 4196468 140730002866176 140107077270112 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16494] ppid=16428 vsize=14202692 CPUtime=1.57 cores=1,3,5,7
/proc/16431/task/16494/stat : 16494 (java) R 16428 16431 1330 0 -1 1077944384 1366 12736 0 0 71 78 5 3 20 0 17 0 49669533 14543556608 799469 18446744073709551615 4194304 4196468 140730002866176 140107076217648 140107538938498 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16792] ppid=16428 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16792/stat : 16792 (java) S 16428 16431 1330 0 -1 1077944384 345 12736 0 0 0 0 5 3 20 0 17 0 49916211 14543556608 799469 18446744073709551615 4194304 4196468 140730002866176 140106977329776 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16793] ppid=16428 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16793/stat : 16793 (java) S 16428 16431 1330 0 -1 1077944384 31 12736 0 0 0 0 5 3 20 0 17 0 49916211 14543556608 799469 18446744073709551615 4194304 4196468 140730002866176 140106976277952 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
Current children cumulated CPU time (s) 2521.87
Current children cumulated vsize (KiB) 14202692
[startup+2467.8 s]
/proc/loadavg: 1.49 1.51 1.56 6/212 16793
/proc/meminfo: memFree=22936300/32770624 swapFree=0/510996
[pid=16431] ppid=16428 vsize=14202692 CPUtime=2522.55 cores=1,3,5,7
/proc/16431/stat : 16431 (java) S 16428 16431 1330 0 -1 1077944320 559980 12736 0 0 251711 536 5 3 20 0 17 0 49669500 14543556608 799486 18446744073709551615 4194304 4196468 140730002866176 140730002848720 140107538927351 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
/proc/16431/statm: 3550673 799486 3483 1 0 3539287 0
[pid=16431/tid=16481] ppid=16428 vsize=14202692 CPUtime=2453.27 cores=1,3,5,7
/proc/16431/task/16481/stat : 16481 (java) S 16428 16431 1330 0 -1 1077944384 305399 12736 0 0 245189 130 5 3 20 0 17 0 49669524 14543556608 799486 18446744073709551615 4194304 4196468 140730002866176 140107543170224 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16482] ppid=16428 vsize=14202692 CPUtime=13.05 cores=1,3,5,7
/proc/16431/task/16482/stat : 16482 (java) S 16428 16431 1330 0 -1 1077944384 31271 12736 0 0 1220 77 5 3 20 0 17 0 49669525 14543556608 799486 18446744073709551615 4194304 4196468 140730002866176 140107473361168 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16483] ppid=16428 vsize=14202692 CPUtime=13.05 cores=1,3,5,7
/proc/16431/task/16483/stat : 16483 (java) S 16428 16431 1330 0 -1 1077944384 34064 12736 0 0 1217 80 5 3 20 0 17 0 49669525 14543556608 799486 18446744073709551615 4194304 4196468 140730002866176 140107472308624 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16484] ppid=16428 vsize=14202692 CPUtime=13.06 cores=1,3,5,7
/proc/16431/task/16484/stat : 16484 (java) S 16428 16431 1330 0 -1 1077944384 34843 12736 0 0 1219 79 5 3 20 0 17 0 49669525 14543556608 799486 18446744073709551615 4194304 4196468 140730002866176 140107136547344 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16485] ppid=16428 vsize=14202692 CPUtime=13.05 cores=1,3,5,7
/proc/16431/task/16485/stat : 16485 (java) S 16428 16431 1330 0 -1 1077944384 31894 12736 0 0 1219 78 5 3 20 0 17 0 49669525 14543556608 799486 18446744073709551615 4194304 4196468 140730002866176 140107135494800 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16486] ppid=16428 vsize=14202692 CPUtime=1.22 cores=1,3,5,7
/proc/16431/task/16486/stat : 16486 (java) S 16428 16431 1330 0 -1 1077944384 63546 12736 0 0 93 21 5 3 20 0 17 0 49669526 14543556608 799486 18446744073709551615 4194304 4196468 140730002866176 140107084638704 140107538938498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16487] ppid=16428 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16487/stat : 16487 (java) S 16428 16431 1330 0 -1 1077944384 58 12736 0 0 0 0 5 3 20 0 17 0 49669527 14543556608 799486 18446744073709551615 4194304 4196468 140730002866176 140107083584992 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16488] ppid=16428 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16488/stat : 16488 (java) S 16428 16431 1330 0 -1 1077944384 48 12736 0 0 0 0 5 3 20 0 17 0 49669527 14543556608 799486 18446744073709551615 4194304 4196468 140730002866176 140107082532352 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16489] ppid=16428 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16489/stat : 16489 (java) S 16428 16431 1330 0 -1 1077944384 246 12736 0 0 0 0 5 3 20 0 17 0 49669530 14543556608 799486 18446744073709551615 4194304 4196468 140730002866176 140107081480912 140107538945947 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16490] ppid=16428 vsize=14202692 CPUtime=5.95 cores=1,3,5,7
/proc/16431/task/16490/stat : 16490 (java) S 16428 16431 1330 0 -1 1077944384 16506 12736 0 0 584 3 5 3 20 0 17 0 49669530 14543556608 799486 18446744073709551615 4194304 4196468 140730002866176 140107080427504 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16491] ppid=16428 vsize=14202692 CPUtime=7.1 cores=1,3,5,7
/proc/16431/task/16491/stat : 16491 (java) S 16428 16431 1330 0 -1 1077944384 25922 12736 0 0 698 4 5 3 20 0 17 0 49669530 14543556608 799486 18446744073709551615 4194304 4196468 140730002866176 140107079374960 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16492] ppid=16428 vsize=14202692 CPUtime=1.84 cores=1,3,5,7
/proc/16431/task/16492/stat : 16492 (java) S 16428 16431 1330 0 -1 1077944384 12282 12736 0 0 172 4 5 3 20 0 17 0 49669530 14543556608 799486 18446744073709551615 4194304 4196468 140730002866176 140107078322416 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16493] ppid=16428 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16493/stat : 16493 (java) S 16428 16431 1330 0 -1 1077944384 3 12736 0 0 0 0 5 3 20 0 17 0 49669530 14543556608 799486 18446744073709551615 4194304 4196468 140730002866176 140107077270112 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16494] ppid=16428 vsize=14202692 CPUtime=1.57 cores=1,3,5,7
/proc/16431/task/16494/stat : 16494 (java) S 16428 16431 1330 0 -1 1077944384 1366 12736 0 0 71 78 5 3 20 0 17 0 49669533 14543556608 799486 18446744073709551615 4194304 4196468 140730002866176 140107076217648 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16792] ppid=16428 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16792/stat : 16792 (java) S 16428 16431 1330 0 -1 1077944384 345 12736 0 0 0 0 5 3 20 0 17 0 49916211 14543556608 799486 18446744073709551615 4194304 4196468 140730002866176 140106977329776 140107538937557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
[pid=16431/tid=16793] ppid=16428 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/16431/task/16793/stat : 16793 (java) S 16428 16431 1330 0 -1 1077944384 31 12736 0 0 0 0 5 3 20 0 17 0 49916211 14543556608 799486 18446744073709551615 4194304 4196468 140730002866176 140106976278256 140107538938498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730002868176 140730002870961 140730002870961 140730002874319 0
Current children cumulated CPU time (s) 2522.55
Current children cumulated vsize (KiB) 14202692
Child status: 143
Real time (s): 2467.83
CPU time (s): 2522.59
CPU user time (s): 2517.17
CPU system time (s): 5.42386
CPU usage (%): 102.219
Max. virtual memory (cumulated for all children) (KiB): 14202692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.17
system time used= 5.42386
maximum resident set size= 4433308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 572743
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76482
involuntary context switches= 2772
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3169 second user time and 14.3502 second system time
The end