runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3454017-1307194959/watcher-3454017-1307194959 -o /tmp/evaluation-result-3454017-1307194959/solver-3454017-1307194959 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454017-1307194959.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.68 1.86 2.35 4/434 10413
/proc/meminfo: memFree=12467144/32951132 swapFree=67093840/67111528
[pid=10413] ppid=10411 vsize=33696 CPUtime=0 cores=1,3,5,7
/proc/10413/stat : 10413 (java) S 10411 10413 6192 0 -1 4202496 1289 0 0 0 0 0 0 0 22 0 2 0 831095538 34504704 999 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/10413/statm: 8425 1002 769 9 0 387 0
[pid=10413/tid=10415] ppid=10411 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10415/stat : 10415 (java) R 10411 10413 6192 0 -1 4202560 5627 0 1 0 0 0 0 0 24 0 2 0 831095539 10694979584 6443 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274664502331 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.046636 s]
/proc/loadavg: 1.68 1.86 2.35 4/434 10413
/proc/meminfo: memFree=12467144/32951132 swapFree=67093840/67111528
[pid=10413] ppid=10411 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/10413/stat : 10413 (java) S 10411 10413 6192 0 -1 4202496 11343 0 1 0 2 1 0 0 22 0 13 0 831095538 10718699520 11040 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/10413/statm: 2616870 11040 1679 9 0 2607618 0
[pid=10413/tid=10415] ppid=10411 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/10413/task/10415/stat : 10415 (java) R 10411 10413 6192 0 -1 4202560 10195 0 1 0 2 1 0 0 18 0 13 0 831095539 10718699520 11040 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676635083 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.107635 s]
/proc/loadavg: 1.68 1.86 2.35 4/434 10413
/proc/meminfo: memFree=12467144/32951132 swapFree=67093840/67111528
[pid=10413] ppid=10411 vsize=10539956 CPUtime=0.11 cores=1,3,5,7
/proc/10413/stat : 10413 (java) S 10411 10413 6192 0 -1 4202496 13173 0 1 0 10 1 0 0 22 0 18 0 831095538 10792914944 12869 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10413/statm: 2634989 12875 2114 9 0 2625723 0
[pid=10413/tid=10415] ppid=10411 vsize=10539956 CPUtime=0.09 cores=1,3,5,7
/proc/10413/task/10415/stat : 10415 (java) R 10411 10413 6192 0 -1 4202560 11226 0 1 0 8 1 0 0 22 0 18 0 831095539 10792914944 12875 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274664500944 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539956
[startup+0.300545 s]
/proc/loadavg: 1.68 1.86 2.35 4/434 10413
/proc/meminfo: memFree=12467144/32951132 swapFree=67093840/67111528
[pid=10413] ppid=10411 vsize=10540264 CPUtime=0.47 cores=1,3,5,7
/proc/10413/stat : 10413 (java) S 10411 10413 6192 0 -1 4202496 15542 0 1 0 45 2 0 0 22 0 18 0 831095538 10793230336 15004 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10413/statm: 2635066 15004 2206 9 0 2625800 0
[pid=10413/tid=10415] ppid=10411 vsize=10540264 CPUtime=0.27 cores=1,3,5,7
/proc/10413/task/10415/stat : 10415 (java) R 10411 10413 6192 0 -1 4202560 12779 0 1 0 26 1 0 0 22 0 18 0 831095539 10793230336 15004 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 46912505190954 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10540264
[startup+0.700479 s]
/proc/loadavg: 1.68 1.86 2.35 4/434 10413
/proc/meminfo: memFree=12467144/32951132 swapFree=67093840/67111528
[pid=10413] ppid=10411 vsize=10559820 CPUtime=1.59 cores=1,3,5,7
/proc/10413/stat : 10413 (java) S 10411 10413 6192 0 -1 4202496 36272 0 1 0 155 4 0 0 22 0 18 0 831095538 10813255680 30596 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10413/statm: 2639955 30596 2232 9 0 2630689 0
[pid=10413/tid=10415] ppid=10411 vsize=10559820 CPUtime=0.67 cores=1,3,5,7
/proc/10413/task/10415/stat : 10415 (java) R 10411 10413 6192 0 -1 4202560 20327 0 1 0 65 2 0 0 24 0 18 0 831095539 10813255680 30596 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 46912505733196 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10559820
[startup+1.50134 s]
/proc/loadavg: 1.68 1.86 2.35 12/476 10458
/proc/meminfo: memFree=12219744/32951132 swapFree=67093840/67111528
[pid=10413] ppid=10411 vsize=10562472 CPUtime=3.07 cores=1,3,5,7
/proc/10413/stat : 10413 (java) S 10411 10413 6192 0 -1 4202496 53471 0 1 0 300 7 0 0 22 0 22 0 831095538 10815971328 47424 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10413/statm: 2640618 47424 2243 9 0 2631352 0
[pid=10413/tid=10415] ppid=10411 vsize=10562472 CPUtime=0.91 cores=1,3,5,7
/proc/10413/task/10415/stat : 10415 (java) S 10411 10413 6192 0 -1 4202560 33497 0 1 0 87 4 0 0 21 0 22 0 831095539 10815971328 47424 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10426] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10426/stat : 10426 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831095541 10815971328 47424 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10427] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10427/stat : 10427 (java) S 10411 10413 6192 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831095541 10815971328 47424 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10428] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10428/stat : 10428 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831095541 10815971328 47424 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10429] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10429/stat : 10429 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831095541 10815971328 47424 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10430] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10430/stat : 10430 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831095541 10815971328 47424 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10431] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10431/stat : 10431 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831095541 10815971328 47424 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10432] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10432/stat : 10432 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831095541 10815971328 47424 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10433] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10433/stat : 10433 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831095541 10815971328 47424 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10436] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10436/stat : 10436 (java) S 10411 10413 6192 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 831095542 10815971328 47424 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 0 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10437] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10437/stat : 10437 (java) S 10411 10413 6192 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831095542 10815971328 47424 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10438] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10438/stat : 10438 (java) S 10411 10413 6192 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831095542 10815971328 47424 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10444] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10444/stat : 10444 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831095544 10815971328 47424 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676631985 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10445] ppid=10411 vsize=10562472 CPUtime=0.87 cores=1,3,5,7
/proc/10413/task/10445/stat : 10445 (java) R 10411 10413 6192 0 -1 4202560 7461 0 0 0 87 0 0 0 16 0 22 0 831095544 10815971328 47424 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 47461393473779 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10413/tid=10446] ppid=10411 vsize=10562472 CPUtime=0.92 cores=1,3,5,7
/proc/10413/task/10446/stat : 10446 (java) S 10411 10413 6192 0 -1 4202560 7726 0 0 0 92 0 0 0 17 0 22 0 831095544 10815971328 47424 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10447] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10447/stat : 10447 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831095544 10815971328 47424 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10448] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10448/stat : 10448 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831095544 10815971328 47424 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 4 0 16800975 18446604460187699136 0 0 -1 7 0 0 0
[pid=10413/tid=10458] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10458/stat : 10458 (java) S 10411 10413 6192 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831095638 10815971328 47424 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 4 0 16800975 18446604460187699136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 10562472
[startup+3.1011 s]
/proc/loadavg: 1.68 1.86 2.35 3/474 10471
/proc/meminfo: memFree=12119444/32951132 swapFree=67093840/67111528
[pid=10413] ppid=10411 vsize=10562472 CPUtime=3.57 cores=1,3,5,7
/proc/10413/stat : 10413 (java) S 10411 10413 6192 0 -1 4202496 59817 0 1 0 349 8 0 0 22 0 20 0 831095538 10815971328 53769 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10413/statm: 2640618 53772 2245 9 0 2631352 0
[pid=10413/tid=10415] ppid=10411 vsize=10562472 CPUtime=0.93 cores=1,3,5,7
/proc/10413/task/10415/stat : 10415 (java) S 10411 10413 6192 0 -1 4202560 33739 0 1 0 89 4 0 0 16 0 20 0 831095539 10815971328 53774 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10426] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10426/stat : 10426 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831095541 10815971328 53776 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10427] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10427/stat : 10427 (java) S 10411 10413 6192 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 831095541 10815971328 53778 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10428] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10428/stat : 10428 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831095541 10815971328 53779 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10429] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10429/stat : 10429 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831095541 10815971328 53781 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10430] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10430/stat : 10430 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831095541 10815971328 53783 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10431] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10431/stat : 10431 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831095541 10815971328 53784 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10432] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10432/stat : 10432 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831095541 10815971328 53786 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10433] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10433/stat : 10433 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831095541 10815971328 53787 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10436] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10436/stat : 10436 (java) S 10411 10413 6192 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 20 0 831095542 10815971328 53789 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 0 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10437] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10437/stat : 10437 (java) S 10411 10413 6192 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 831095542 10815971328 53790 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10438] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10438/stat : 10438 (java) S 10411 10413 6192 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 831095542 10815971328 53792 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10444] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10444/stat : 10444 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 831095544 10815971328 53794 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676631985 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10445] ppid=10411 vsize=10562472 CPUtime=1 cores=1,3,5,7
/proc/10413/task/10445/stat : 10445 (java) S 10411 10413 6192 0 -1 4202560 7484 0 0 0 100 0 0 0 15 0 20 0 831095544 10815971328 53795 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10446] ppid=10411 vsize=10562472 CPUtime=1.06 cores=1,3,5,7
/proc/10413/task/10446/stat : 10446 (java) S 10411 10413 6192 0 -1 4202560 7742 0 0 0 106 0 0 0 15 0 20 0 831095544 10815971328 53797 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10447] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10447/stat : 10447 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 831095544 10815971328 53798 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10448] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10448/stat : 10448 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 831095544 10815971328 53800 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 4 0 16800975 18446604460187699136 0 0 -1 7 0 0 0
[pid=10413/tid=10471] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10471/stat : 10471 (java) S 10411 10413 6192 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 20 0 831095740 10815971328 53801 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 4 0 16800975 18446604460187699136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 10562472
[startup+6.30155 s]
/proc/loadavg: 1.86 1.90 2.36 6/477 10494
/proc/meminfo: memFree=11651324/32951132 swapFree=67093840/67111528
[pid=10413] ppid=10411 vsize=10562472 CPUtime=7.11 cores=1,3,5,7
/proc/10413/stat : 10413 (java) S 10411 10413 6192 0 -1 4202496 143531 0 1 0 692 19 0 0 22 0 22 0 831095538 10815971328 137311 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10413/statm: 2640618 137311 2268 9 0 2631352 0
[pid=10413/tid=10415] ppid=10411 vsize=10562472 CPUtime=0.95 cores=1,3,5,7
/proc/10413/task/10415/stat : 10415 (java) S 10411 10413 6192 0 -1 4202560 34140 0 1 0 91 4 0 0 15 0 22 0 831095539 10815971328 137311 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 4 0 16800975 18446604460187699136 0 0 -1 7 0 0 0
[pid=10413/tid=10426] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10426/stat : 10426 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831095541 10815971328 137311 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10427] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10427/stat : 10427 (java) S 10411 10413 6192 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831095541 10815971328 137311 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10428] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10428/stat : 10428 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831095541 10815971328 137311 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10429] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10429/stat : 10429 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831095541 10815971328 137311 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10430] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10430/stat : 10430 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831095541 10815971328 137311 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10431] ppid=10411 vsize=10562472 CPUtime=0.03 cores=1,3,5,7
/proc/10413/task/10431/stat : 10431 (java) S 10411 10413 6192 0 -1 4202560 3806 0 0 0 3 0 0 0 18 0 22 0 831095541 10815971328 137311 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10432] ppid=10411 vsize=10562472 CPUtime=0.04 cores=1,3,5,7
/proc/10413/task/10432/stat : 10432 (java) S 10411 10413 6192 0 -1 4202560 3257 0 0 0 4 0 0 0 18 0 22 0 831095541 10815971328 137311 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10433] ppid=10411 vsize=10562472 CPUtime=0.03 cores=1,3,5,7
/proc/10413/task/10433/stat : 10433 (java) S 10411 10413 6192 0 -1 4202560 4407 0 0 0 3 0 0 0 18 0 22 0 831095541 10815971328 137311 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10436] ppid=10411 vsize=10562472 CPUtime=0.09 cores=1,3,5,7
/proc/10413/task/10436/stat : 10436 (java) R 10411 10413 6192 0 -1 4202560 1344 0 0 0 9 0 0 0 16 0 22 0 831095542 10815971328 137311 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 47461392564296 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=10413/tid=10437] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10437/stat : 10437 (java) S 10411 10413 6192 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831095542 10815971328 137311 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10438] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10438/stat : 10438 (java) S 10411 10413 6192 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831095542 10815971328 137311 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10444] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10444/stat : 10444 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831095544 10815971328 137311 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676631985 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10445] ppid=10411 vsize=10562472 CPUtime=1.29 cores=1,3,5,7
/proc/10413/task/10445/stat : 10445 (java) S 10411 10413 6192 0 -1 4202560 7505 0 0 0 129 0 0 0 15 0 22 0 831095544 10815971328 137311 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10446] ppid=10411 vsize=10562472 CPUtime=1.31 cores=1,3,5,7
/proc/10413/task/10446/stat : 10446 (java) S 10411 10413 6192 0 -1 4202560 7767 0 0 0 131 0 0 0 15 0 22 0 831095544 10815971328 137311 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=9249576/32951132 swapFree=67093840/67111528
[pid=10413] ppid=10411 vsize=10562472 CPUtime=1577.23 cores=1,3,5,7
/proc/10413/stat : 10413 (java) S 10411 10413 6192 0 -1 4202496 599103 0 1 0 157651 72 0 0 22 0 22 0 831095538 10815971328 592612 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10413/statm: 2640618 592612 2273 9 0 2631352 0
[pid=10413/tid=10415] ppid=10411 vsize=10562472 CPUtime=0.96 cores=1,3,5,7
/proc/10413/task/10415/stat : 10415 (java) S 10411 10413 6192 0 -1 4202560 34231 0 1 0 92 4 0 0 15 0 22 0 831095539 10815971328 592612 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 4 0 16800975 18446604460187699136 0 0 -1 1 0 0 0
[pid=10413/tid=10426] ppid=10411 vsize=10562472 CPUtime=0.84 cores=1,3,5,7
/proc/10413/task/10426/stat : 10426 (java) S 10411 10413 6192 0 -1 4202560 3040 0 0 0 84 0 0 0 15 0 22 0 831095541 10815971328 592612 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 1 0 0 0
[pid=10413/tid=10427] ppid=10411 vsize=10562472 CPUtime=0.96 cores=1,3,5,7
/proc/10413/task/10427/stat : 10427 (java) S 10411 10413 6192 0 -1 4202560 1484 0 0 0 96 0 0 0 16 0 22 0 831095541 10815971328 592612 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10428] ppid=10411 vsize=10562472 CPUtime=1.05 cores=1,3,5,7
/proc/10413/task/10428/stat : 10428 (java) S 10411 10413 6192 0 -1 4202560 4029 0 0 0 105 0 0 0 15 0 22 0 831095541 10815971328 592612 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 7 0 0 0
[pid=10413/tid=10429] ppid=10411 vsize=10562472 CPUtime=0.7 cores=1,3,5,7
/proc/10413/task/10429/stat : 10429 (java) S 10411 10413 6192 0 -1 4202560 3218 0 0 0 70 0 0 0 15 0 22 0 831095541 10815971328 592612 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 7 0 0 0
[pid=10413/tid=10430] ppid=10411 vsize=10562472 CPUtime=1 cores=1,3,5,7
/proc/10413/task/10430/stat : 10430 (java) S 10411 10413 6192 0 -1 4202560 5047 0 0 0 100 0 0 0 16 0 22 0 831095541 10815971328 592612 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10431] ppid=10411 vsize=10562472 CPUtime=0.95 cores=1,3,5,7
/proc/10413/task/10431/stat : 10431 (java) S 10411 10413 6192 0 -1 4202560 5944 0 0 0 95 0 0 0 16 0 22 0 831095541 10815971328 592612 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 1 0 0 0
[pid=10413/tid=10432] ppid=10411 vsize=10562472 CPUtime=1.12 cores=1,3,5,7
/proc/10413/task/10432/stat : 10432 (java) S 10411 10413 6192 0 -1 4202560 4997 0 0 0 112 0 0 0 15 0 22 0 831095541 10815971328 592612 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 7 0 0 0
[pid=10413/tid=10433] ppid=10411 vsize=10562472 CPUtime=0.96 cores=1,3,5,7
/proc/10413/task/10433/stat : 10433 (java) S 10411 10413 6192 0 -1 4202560 6610 0 0 0 95 1 0 0 16 0 22 0 831095541 10815971328 592612 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 7 0 0 0
[pid=10413/tid=10436] ppid=10411 vsize=10562472 CPUtime=61.51 cores=1,3,5,7
/proc/10413/task/10436/stat : 10436 (java) S 10411 10413 6192 0 -1 4202560 129763 0 0 0 6137 14 0 0 15 0 22 0 831095542 10815971328 592612 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 0 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10437] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10437/stat : 10437 (java) S 10411 10413 6192 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 831095542 10815971328 592612 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10438] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10438/stat : 10438 (java) S 10411 10413 6192 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 22 0 831095542 10815971328 592612 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10444] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10444/stat : 10444 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831095544 10815971328 592612 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676631985 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10445] ppid=10411 vsize=10562472 CPUtime=1.46 cores=1,3,5,7
/proc/10413/task/10445/stat : 10445 (java) S 10411 10413 6192 0 -1 4202560 7525 0 0 0 146 0 0 0 15 0 22 0 831095544 10815971328 592612 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10446] ppid=10411 vsize=10562472 CPUtime=1.68 cores=1,3,5,7
/proc/10413/task/10446/stat : 10446 (java) S 10411 10413 6192 0 -1 4202560 7803 0 0 0 168 0 0 0 15 0 22 0 831095544 10815971328 592612 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10447] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10447/stat : 10447 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831095544 10815971328 592612 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10448] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10448/stat : 10448 (java) S 10411 10413 6192 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 831095544 10815971328 592612 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10471] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10471/stat : 10471 (java) S 10411 10413 6192 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831095740 10815971328 592612 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 4 0 16800975 18446604460187699136 0 0 -1 7 0 0 0
[pid=10413/tid=10525] ppid=10411 vsize=10562472 CPUtime=480.87 cores=1,3,5,7
/proc/10413/task/10525/stat : 10525 (java) R 10411 10413 6192 0 -1 4202560 0 0 0 0 48087 0 0 0 25 0 22 0 831125157 10815971328 592612 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 46912506366214 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10413/tid=10526] ppid=10411 vsize=10562472 CPUtime=480.94 cores=1,3,5,7
/proc/10413/task/10526/stat : 10526 (java) R 10411 10413 6192 0 -1 4202560 1 0 0 0 48094 0 0 0 25 0 22 0 831125157 10815971328 592612 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 46912506507003 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10413/tid=10527] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10527/stat : 10527 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831125157 10815971328 592612 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 4 0 16800975 18446604460187699136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1577.23
Current children cumulated vsize (KiB) 10562472
[startup+882.301 s]
/proc/loadavg: 3.49 3.45 3.10 5/477 10542
/proc/meminfo: memFree=9204308/32951132 swapFree=67093840/67111528
[pid=10413] ppid=10411 vsize=10562472 CPUtime=1692.18 cores=1,3,5,7
/proc/10413/stat : 10413 (java) S 10411 10413 6192 0 -1 4202496 608960 0 1 0 169145 73 0 0 22 0 22 0 831095538 10815971328 602458 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10413/statm: 2640618 602458 2273 9 0 2631352 0
[pid=10413/tid=10415] ppid=10411 vsize=10562472 CPUtime=0.96 cores=1,3,5,7
/proc/10413/task/10415/stat : 10415 (java) S 10411 10413 6192 0 -1 4202560 34236 0 1 0 92 4 0 0 15 0 22 0 831095539 10815971328 602458 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 4 0 16800975 18446604460187699136 0 0 -1 1 0 0 0
[pid=10413/tid=10426] ppid=10411 vsize=10562472 CPUtime=0.89 cores=1,3,5,7
/proc/10413/task/10426/stat : 10426 (java) S 10411 10413 6192 0 -1 4202560 3052 0 0 0 89 0 0 0 15 0 22 0 831095541 10815971328 602458 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 1 0 0 0
[pid=10413/tid=10427] ppid=10411 vsize=10562472 CPUtime=1.06 cores=1,3,5,7
/proc/10413/task/10427/stat : 10427 (java) S 10411 10413 6192 0 -1 4202560 1489 0 0 0 106 0 0 0 16 0 22 0 831095541 10815971328 602458 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 7 0 0 0
[pid=10413/tid=10428] ppid=10411 vsize=10562472 CPUtime=1.11 cores=1,3,5,7
/proc/10413/task/10428/stat : 10428 (java) S 10411 10413 6192 0 -1 4202560 4029 0 0 0 111 0 0 0 15 0 22 0 831095541 10815971328 602458 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10429] ppid=10411 vsize=10562472 CPUtime=0.79 cores=1,3,5,7
/proc/10413/task/10429/stat : 10429 (java) S 10411 10413 6192 0 -1 4202560 3231 0 0 0 79 0 0 0 16 0 22 0 831095541 10815971328 602458 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10430] ppid=10411 vsize=10562472 CPUtime=1.06 cores=1,3,5,7
/proc/10413/task/10430/stat : 10430 (java) S 10411 10413 6192 0 -1 4202560 5047 0 0 0 106 0 0 0 15 0 22 0 831095541 10815971328 602458 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10431] ppid=10411 vsize=10562472 CPUtime=1.02 cores=1,3,5,7
/proc/10413/task/10431/stat : 10431 (java) S 10411 10413 6192 0 -1 4202560 5953 0 0 0 102 0 0 0 16 0 22 0 831095541 10815971328 602458 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 1 0 0 0
[pid=10413/tid=10432] ppid=10411 vsize=10562472 CPUtime=1.17 cores=1,3,5,7
/proc/10413/task/10432/stat : 10432 (java) S 10411 10413 6192 0 -1 4202560 5000 0 0 0 117 0 0 0 15 0 22 0 831095541 10815971328 602458 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 7 0 0 0
[pid=10413/tid=10433] ppid=10411 vsize=10562472 CPUtime=1.01 cores=1,3,5,7
/proc/10413/task/10433/stat : 10433 (java) S 10411 10413 6192 0 -1 4202560 6610 0 0 0 100 1 0 0 16 0 22 0 831095541 10815971328 602458 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10436] ppid=10411 vsize=10562472 CPUtime=66.78 cores=1,3,5,7
/proc/10413/task/10436/stat : 10436 (java) S 10411 10413 6192 0 -1 4202560 139569 0 0 0 6663 15 0 0 15 0 22 0 831095542 10815971328 602458 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 0 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10437] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10437/stat : 10437 (java) S 10411 10413 6192 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 831095542 10815971328 602458 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10438] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10438/stat : 10438 (java) S 10411 10413 6192 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 22 0 831095542 10815971328 602458 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10444] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10444/stat : 10444 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831095544 10815971328 602458 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676631985 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10445] ppid=10411 vsize=10562472 CPUtime=1.46 cores=1,3,5,7
/proc/10413/task/10445/stat : 10445 (java) S 10411 10413 6192 0 -1 4202560 7525 0 0 0 146 0 0 0 15 0 22 0 831095544 10815971328 602458 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10446] ppid=10411 vsize=10562472 CPUtime=1.68 cores=1,3,5,7
/proc/10413/task/10446/stat : 10446 (java) S 10411 10413 6192 0 -1 4202560 7803 0 0 0 168 0 0 0 15 0 22 0 831095544 10815971328 602458 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10447] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10447/stat : 10447 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831095544 10815971328 602458 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10448] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10448/stat : 10448 (java) S 10411 10413 6192 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831095544 10815971328 602458 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10471] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10471/stat : 10471 (java) S 10411 10413 6192 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831095740 10815971328 602458 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 4 0 16800975 18446604460187699136 0 0 -1 7 0 0 0
[pid=10413/tid=10525] ppid=10411 vsize=10562472 CPUtime=535.46 cores=1,3,5,7
/proc/10413/task/10525/stat : 10525 (java) R 10411 10413 6192 0 -1 4202560 0 0 0 0 53546 0 0 0 25 0 22 0 831125157 10815971328 602458 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 46912506427995 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10413/tid=10526] ppid=10411 vsize=10562472 CPUtime=535.54 cores=1,3,5,7
/proc/10413/task/10526/stat : 10526 (java) R 10411 10413 6192 0 -1 4202560 1 0 0 0 53554 0 0 0 25 0 22 0 831125157 10815971328 602458 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 46912506309874 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10413/tid=10527] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10527/stat : 10527 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831125157 10815971328 602458 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 4 0 16800975 18446604460187699136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1692.18
Current children cumulated vsize (KiB) 10562472
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+938.601 s]
/proc/loadavg: 3.37 3.43 3.10 5/477 10544
/proc/meminfo: memFree=9180976/32951132 swapFree=67093840/67111528
[pid=10413] ppid=10411 vsize=10562472 CPUtime=1800.05 cores=1,3,5,7
/proc/10413/stat : 10413 (java) S 10411 10413 6192 0 -1 4202496 612333 0 1 0 179932 73 0 0 22 0 22 0 831095538 10815971328 605820 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10413/statm: 2640618 605820 2273 9 0 2631352 0
[pid=10413/tid=10415] ppid=10411 vsize=10562472 CPUtime=0.96 cores=1,3,5,7
/proc/10413/task/10415/stat : 10415 (java) S 10411 10413 6192 0 -1 4202560 34241 0 1 0 92 4 0 0 15 0 22 0 831095539 10815971328 605820 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 4 0 16800975 18446604460187699136 0 0 -1 1 0 0 0
[pid=10413/tid=10426] ppid=10411 vsize=10562472 CPUtime=0.91 cores=1,3,5,7
/proc/10413/task/10426/stat : 10426 (java) S 10411 10413 6192 0 -1 4202560 3054 0 0 0 91 0 0 0 15 0 22 0 831095541 10815971328 605820 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 1 0 0 0
[pid=10413/tid=10427] ppid=10411 vsize=10562472 CPUtime=1.15 cores=1,3,5,7
/proc/10413/task/10427/stat : 10427 (java) S 10411 10413 6192 0 -1 4202560 1527 0 0 0 115 0 0 0 15 0 22 0 831095541 10815971328 605820 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 1 0 0 0
[pid=10413/tid=10428] ppid=10411 vsize=10562472 CPUtime=1.17 cores=1,3,5,7
/proc/10413/task/10428/stat : 10428 (java) S 10411 10413 6192 0 -1 4202560 4202 0 0 0 117 0 0 0 15 0 22 0 831095541 10815971328 605820 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10429] ppid=10411 vsize=10562472 CPUtime=0.82 cores=1,3,5,7
/proc/10413/task/10429/stat : 10429 (java) S 10411 10413 6192 0 -1 4202560 3232 0 0 0 82 0 0 0 16 0 22 0 831095541 10815971328 605820 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 1 0 0 0
[pid=10413/tid=10430] ppid=10411 vsize=10562472 CPUtime=1.13 cores=1,3,5,7
/proc/10413/task/10430/stat : 10430 (java) S 10411 10413 6192 0 -1 4202560 5047 0 0 0 113 0 0 0 16 0 22 0 831095541 10815971328 605820 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10431] ppid=10411 vsize=10562472 CPUtime=1.13 cores=1,3,5,7
/proc/10413/task/10431/stat : 10431 (java) S 10411 10413 6192 0 -1 4202560 6107 0 0 0 113 0 0 0 16 0 22 0 831095541 10815971328 605820 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 7 0 0 0
[pid=10413/tid=10432] ppid=10411 vsize=10562472 CPUtime=1.23 cores=1,3,5,7
/proc/10413/task/10432/stat : 10432 (java) S 10411 10413 6192 0 -1 4202560 5176 0 0 0 123 0 0 0 15 0 22 0 831095541 10815971328 605820 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 7 0 0 0
[pid=10413/tid=10433] ppid=10411 vsize=10562472 CPUtime=1.07 cores=1,3,5,7
/proc/10413/task/10433/stat : 10433 (java) S 10411 10413 6192 0 -1 4202560 6621 0 0 0 106 1 0 0 16 0 22 0 831095541 10815971328 605820 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10436] ppid=10411 vsize=10562472 CPUtime=71.72 cores=1,3,5,7
/proc/10413/task/10436/stat : 10436 (java) S 10411 10413 6192 0 -1 4202560 142380 0 0 0 7157 15 0 0 16 0 22 0 831095542 10815971328 605820 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 0 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10437] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10437/stat : 10437 (java) S 10411 10413 6192 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 831095542 10815971328 605820 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10438] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10438/stat : 10438 (java) S 10411 10413 6192 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 22 0 831095542 10815971328 605820 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10444] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10444/stat : 10444 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831095544 10815971328 605820 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676631985 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10445] ppid=10411 vsize=10562472 CPUtime=1.46 cores=1,3,5,7
/proc/10413/task/10445/stat : 10445 (java) S 10411 10413 6192 0 -1 4202560 7525 0 0 0 146 0 0 0 15 0 22 0 831095544 10815971328 605820 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 3 0 0 0
[pid=10413/tid=10446] ppid=10411 vsize=10562472 CPUtime=1.68 cores=1,3,5,7
/proc/10413/task/10446/stat : 10446 (java) S 10411 10413 6192 0 -1 4202560 7803 0 0 0 168 0 0 0 15 0 22 0 831095544 10815971328 605820 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10447] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10447/stat : 10447 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831095544 10815971328 605820 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624281 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10448] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10448/stat : 10448 (java) S 10411 10413 6192 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831095544 10815971328 605820 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 4 0 16800975 18446604460187699136 0 0 -1 5 0 0 0
[pid=10413/tid=10471] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10471/stat : 10471 (java) S 10411 10413 6192 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831095740 10815971328 605820 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 4 0 16800975 18446604460187699136 0 0 -1 7 0 0 0
[pid=10413/tid=10525] ppid=10411 vsize=10562472 CPUtime=586.68 cores=1,3,5,7
/proc/10413/task/10525/stat : 10525 (java) R 10411 10413 6192 0 -1 4202560 0 0 0 0 58668 0 0 0 18 0 22 0 831125157 10815971328 605820 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 46912506427880 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10413/tid=10526] ppid=10411 vsize=10562472 CPUtime=586.77 cores=1,3,5,7
/proc/10413/task/10526/stat : 10526 (java) R 10411 10413 6192 0 -1 4202560 1 0 0 0 58677 0 0 0 18 0 22 0 831125157 10815971328 605820 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 46912506313329 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10413/tid=10527] ppid=10411 vsize=10562472 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10527/stat : 10527 (java) S 10411 10413 6192 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831125157 10815971328 605820 33554432000 1073741824 1073778376 140736025682816 18446744073709551615 274676624896 0 4 0 16800975 18446604460187699136 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10562472
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+938.722 s]
/proc/loadavg: 3.37 3.43 3.10 5/477 10544
/proc/meminfo: memFree=9180976/32951132 swapFree=67093840/67111528
[pid=10413] ppid=10411 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/10413/stat : 10413 (java) Z 10411 10413 6192 0 -1 4203548 612361 0 1 0 179944 79 0 0 17 0 2 0 831095538 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10413/statm: 0 0 0 0 0 0 0
[pid=10413/tid=10447] ppid=10411 vsize=0 CPUtime=0.06 cores=1,3,5,7
/proc/10413/task/10447/stat : 10447 (java) R 10411 10413 6192 0 -1 4203588 1 0 0 0 0 6 0 0 18 0 2 0 831095544 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 938.753
CPU time (s): 1800.28
CPU user time (s): 1799.45
CPU system time (s): 0.827874
CPU usage (%): 191.773
Max. virtual memory (cumulated for all children) (KiB): 10562472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.827874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 612361
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24890
involuntary context switches= 25493
runsolver used 3.9594 second user time and 9.82451 second system time
The end