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-3456514-1307215866/watcher-3456514-1307215866 -o /tmp/evaluation-result-3456514-1307215866/solver-3456514-1307215866 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456514-1307215866.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: 0.00 0.00 0.00 4/539 4824
/proc/meminfo: memFree=21332748/32951124 swapFree=58800704/67111528
[pid=4824] ppid=4822 vsize=86844 CPUtime=0 cores=1,3,5,7
/proc/4824/stat : 4824 (java) S 4822 4824 4768 0 -1 4202496 1447 0 1 0 0 0 0 0 22 0 2 0 814002131 88928256 1149 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/4824/statm: 2607745 1156 902 9 0 2598901 0
[pid=4824/tid=4825] ppid=4822 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4825/stat : 4825 (java) R 4822 4824 4768 0 -1 4202560 7802 0 1 0 0 0 0 0 24 0 2 0 814002132 10694979584 8618 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228095145019 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.067488 s]
/proc/loadavg: 0.00 0.00 0.00 4/539 4824
/proc/meminfo: memFree=21332748/32951124 swapFree=58800704/67111528
[pid=4824] ppid=4822 vsize=10473836 CPUtime=0.05 cores=1,3,5,7
/proc/4824/stat : 4824 (java) S 4822 4824 4768 0 -1 4202496 11749 0 1 0 4 1 0 0 22 0 18 0 814002131 10725208064 11446 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4824/statm: 2618459 11446 1741 9 0 2609193 0
[pid=4824/tid=4825] ppid=4822 vsize=10473836 CPUtime=0.05 cores=1,3,5,7
/proc/4824/task/4825/stat : 4825 (java) R 4822 4824 4768 0 -1 4202560 10575 0 1 0 4 1 0 0 25 0 18 0 814002132 10725208064 11446 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 47028260456908 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10473836
[startup+0.100479 s]
/proc/loadavg: 0.00 0.00 0.00 4/539 4824
/proc/meminfo: memFree=21332748/32951124 swapFree=58800704/67111528
[pid=4824] ppid=4822 vsize=10540396 CPUtime=0.1 cores=1,3,5,7
/proc/4824/stat : 4824 (java) S 4822 4824 4768 0 -1 4202496 12879 0 1 0 8 2 0 0 22 0 18 0 814002131 10793365504 12576 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4824/statm: 2635099 12576 2092 9 0 2625833 0
[pid=4824/tid=4825] ppid=4822 vsize=10540396 CPUtime=0.07 cores=1,3,5,7
/proc/4824/task/4825/stat : 4825 (java) R 4822 4824 4768 0 -1 4202560 11074 0 1 0 6 1 0 0 25 0 18 0 814002132 10793365504 12576 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107258246 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540396
[startup+0.323466 s]
/proc/loadavg: 0.00 0.00 0.00 4/539 4824
/proc/meminfo: memFree=21332748/32951124 swapFree=58800704/67111528
[pid=4824] ppid=4822 vsize=10543472 CPUtime=0.52 cores=1,3,5,7
/proc/4824/stat : 4824 (java) S 4822 4824 4768 0 -1 4202496 16063 0 1 0 50 2 0 0 22 0 19 0 814002131 10796515328 15419 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4824/statm: 2635868 15419 2210 9 0 2626602 0
[pid=4824/tid=4825] ppid=4822 vsize=10543472 CPUtime=0.3 cores=1,3,5,7
/proc/4824/task/4825/stat : 4825 (java) R 4822 4824 4768 0 -1 4202560 13051 0 1 0 28 2 0 0 25 0 19 0 814002132 10796515328 15420 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 46912505540484 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10543472
[startup+0.700339 s]
/proc/loadavg: 0.00 0.00 0.00 4/539 4824
/proc/meminfo: memFree=21332748/32951124 swapFree=58800704/67111528
[pid=4824] ppid=4822 vsize=10555760 CPUtime=1.59 cores=1,3,5,7
/proc/4824/stat : 4824 (java) S 4822 4824 4768 0 -1 4202496 42253 0 1 0 153 6 0 0 22 0 19 0 814002131 10809098240 39761 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4824/statm: 2638940 39763 2222 9 0 2629674 0
[pid=4824/tid=4825] ppid=4822 vsize=10555760 CPUtime=0.68 cores=1,3,5,7
/proc/4824/task/4825/stat : 4825 (java) R 4822 4824 4768 0 -1 4202560 31555 0 1 0 63 5 0 0 25 0 19 0 814002132 10809098240 39765 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 46912505712502 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10555760
[startup+1.50122 s]
/proc/loadavg: 0.00 0.00 0.00 3/558 4843
/proc/meminfo: memFree=20710132/32951124 swapFree=58800704/67111528
[pid=4824] ppid=4822 vsize=10555760 CPUtime=2.63 cores=1,3,5,7
/proc/4824/stat : 4824 (java) S 4822 4824 4768 0 -1 4202496 118572 0 1 0 248 15 0 0 22 0 19 0 814002131 10809098240 116079 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4824/statm: 2638940 116082 2226 9 0 2629674 0
[pid=4824/tid=4825] ppid=4822 vsize=10555760 CPUtime=1.48 cores=1,3,5,7
/proc/4824/task/4825/stat : 4825 (java) R 4822 4824 4768 0 -1 4202560 107834 0 1 0 134 14 0 0 25 0 19 0 814002132 10809098240 116083 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 46912506058653 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4824/tid=4827] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4827/stat : 4827 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 116084 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4828] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4828/stat : 4828 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 116086 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4829] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4829/stat : 4829 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 116088 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4830] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4830/stat : 4830 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 116093 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4831] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4831/stat : 4831 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 116098 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4832] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4832/stat : 4832 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 116102 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4833] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4833/stat : 4833 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 116107 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4834] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4834/stat : 4834 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 116111 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4835] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4835/stat : 4835 (java) S 4822 4824 4768 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814002135 10809098240 116115 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107267584 0 0 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4836] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4836/stat : 4836 (java) S 4822 4824 4768 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814002135 10809098240 116120 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4837] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4837/stat : 4837 (java) S 4822 4824 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002135 10809098240 116124 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4838] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4838/stat : 4838 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002137 10809098240 116128 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107274673 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4839] ppid=4822 vsize=10555760 CPUtime=0.54 cores=1,3,5,7
/proc/4824/task/4839/stat : 4839 (java) S 4822 4824 4768 0 -1 4202560 3564 0 0 0 54 0 0 0 20 0 19 0 814002137 10809098240 116133 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4840] ppid=4822 vsize=10555760 CPUtime=0.59 cores=1,3,5,7
/proc/4824/task/4840/stat : 4840 (java) S 4822 4824 4768 0 -1 4202560 6018 0 0 0 59 0 0 0 15 0 19 0 814002137 10809098240 116137 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 5 0 0 0
[pid=4824/tid=4841] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4841/stat : 4841 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002137 10809098240 116141 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4842] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4842/stat : 4842 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814002137 10809098240 116145 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107267584 0 4 0 16800975 18446604468567127936 0 0 -1 1 0 0 0
[pid=4824/tid=4843] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4843/stat : 4843 (java) S 4822 4824 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002162 10809098240 116149 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107267584 0 4 0 16800975 18446604468567127936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 10555760
[startup+3.10094 s]
/proc/loadavg: 0.00 0.00 0.00 4/558 4843
/proc/meminfo: memFree=19790920/32951124 swapFree=58800704/67111528
[pid=4824] ppid=4822 vsize=10555760 CPUtime=4.25 cores=1,3,5,7
/proc/4824/stat : 4824 (java) S 4822 4824 4768 0 -1 4202496 281092 0 1 0 390 35 0 0 22 0 19 0 814002131 10809098240 278600 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4824/statm: 2638940 278603 2226 9 0 2629674 0
[pid=4824/tid=4825] ppid=4822 vsize=10555760 CPUtime=3.08 cores=1,3,5,7
/proc/4824/task/4825/stat : 4825 (java) R 4822 4824 4768 0 -1 4202560 270355 0 1 0 274 34 0 0 25 0 19 0 814002132 10809098240 278605 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 46912505655910 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4824/tid=4827] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4827/stat : 4827 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 278607 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4828] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4828/stat : 4828 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 278609 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4829] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4829/stat : 4829 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 278611 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4830] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4830/stat : 4830 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 278613 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4831] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4831/stat : 4831 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 278615 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4832] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4832/stat : 4832 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 278617 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4833] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4833/stat : 4833 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 278620 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4834] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4834/stat : 4834 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 278625 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4835] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4835/stat : 4835 (java) S 4822 4824 4768 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814002135 10809098240 278629 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107267584 0 0 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4836] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4836/stat : 4836 (java) S 4822 4824 4768 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814002135 10809098240 278633 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4837] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4837/stat : 4837 (java) S 4822 4824 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002135 10809098240 278638 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4838] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4838/stat : 4838 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002137 10809098240 278642 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107274673 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4839] ppid=4822 vsize=10555760 CPUtime=0.54 cores=1,3,5,7
/proc/4824/task/4839/stat : 4839 (java) S 4822 4824 4768 0 -1 4202560 3564 0 0 0 54 0 0 0 20 0 19 0 814002137 10809098240 278646 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4840] ppid=4822 vsize=10555760 CPUtime=0.61 cores=1,3,5,7
/proc/4824/task/4840/stat : 4840 (java) S 4822 4824 4768 0 -1 4202560 6019 0 0 0 61 0 0 0 15 0 19 0 814002137 10809098240 278649 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 5 0 0 0
[pid=4824/tid=4841] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4841/stat : 4841 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002137 10809098240 278653 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4842] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4842/stat : 4842 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814002137 10809098240 278657 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107267584 0 4 0 16800975 18446604468567127936 0 0 -1 1 0 0 0
[pid=4824/tid=4843] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4843/stat : 4843 (java) S 4822 4824 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002162 10809098240 278660 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107267584 0 4 0 16800975 18446604468567127936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 10555760
[startup+6.30135 s]
/proc/loadavg: 0.16 0.03 0.01 3/558 4843
/proc/meminfo: memFree=17124676/32951124 swapFree=58800704/67111528
[pid=4824] ppid=4822 vsize=10555760 CPUtime=7.46 cores=1,3,5,7
/proc/4824/stat : 4824 (java) S 4822 4824 4768 0 -1 4202496 586367 0 1 0 678 68 0 0 22 0 19 0 814002131 10809098240 583435 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4824/statm: 2638940 583439 2227 9 0 2629674 0
[pid=4824/tid=4825] ppid=4822 vsize=10555760 CPUtime=6.28 cores=1,3,5,7
/proc/4824/task/4825/stat : 4825 (java) R 4822 4824 4768 0 -1 4202560 575627 0 1 0 561 67 0 0 25 0 19 0 814002132 10809098240 583440 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 46912505712785 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4824/tid=4827] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4827/stat : 4827 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 583443 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4828] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4828/stat : 4828 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 583445 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4829] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4829/stat : 4829 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 583448 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4830] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4830/stat : 4830 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 583450 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4831] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4831/stat : 4831 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 583452 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4832] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4832/stat : 4832 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 583454 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4833] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4833/stat : 4833 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 583457 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4834] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4834/stat : 4834 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002134 10809098240 583459 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4835] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4835/stat : 4835 (java) S 4822 4824 4768 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814002135 10809098240 583462 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107267584 0 0 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4836] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4836/stat : 4836 (java) S 4822 4824 4768 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814002135 10809098240 583464 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4837] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4837/stat : 4837 (java) S 4822 4824 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002135 10809098240 583467 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4838] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4838/stat : 4838 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002137 10809098240 583469 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107274673 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4839] ppid=4822 vsize=10555760 CPUtime=0.54 cores=1,3,5,7
/proc/4824/task/4839/stat : 4839 (java) S 4822 4824 4768 0 -1 4202560 3564 0 0 0 54 0 0 0 20 0 19 0 814002137 10809098240 583472 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4840] ppid=4822 vsize=10555760 CPUtime=0.62 cores=1,3,5,7
/proc/4824/task/4840/stat : 4840 (java) S 4822 4824 4768 0 -1 4202560 6021 0 0 0 62 0 0 0 15 0 19 0 814002137 10809098240 583474 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/4824/task/4837/stat : 4837 (java) S 4822 4824 4768 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814002135 10809098240 920344 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4838] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4838/stat : 4838 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002137 10809098240 920344 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107274673 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4839] ppid=4822 vsize=10555760 CPUtime=0.7 cores=1,3,5,7
/proc/4824/task/4839/stat : 4839 (java) S 4822 4824 4768 0 -1 4202560 3611 0 0 0 70 0 0 0 15 0 19 0 814002137 10809098240 920344 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4840] ppid=4822 vsize=10555760 CPUtime=0.72 cores=1,3,5,7
/proc/4824/task/4840/stat : 4840 (java) S 4822 4824 4768 0 -1 4202560 6052 0 0 0 72 0 0 0 16 0 19 0 814002137 10809098240 920344 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 5 0 0 0
[pid=4824/tid=4841] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4841/stat : 4841 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002137 10809098240 920344 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4842] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4842/stat : 4842 (java) S 4822 4824 4768 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 814002137 10809098240 920344 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107267584 0 4 0 16800975 18446604468567127936 0 0 -1 1 0 0 0
[pid=4824/tid=4843] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4843/stat : 4843 (java) S 4822 4824 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002162 10809098240 920344 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107267584 0 4 0 16800975 18446604468567127936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1666.9
Current children cumulated vsize (KiB) 10555760
[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 1.70 3/558 4889
/proc/meminfo: memFree=14042544/32951124 swapFree=58800704/67111528
[pid=4824] ppid=4822 vsize=10555760 CPUtime=1727.01 cores=1,3,5,7
/proc/4824/stat : 4824 (java) S 4822 4824 4768 0 -1 4202496 924425 0 1 0 172593 108 0 0 22 0 19 0 814002131 10809098240 920377 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4824/statm: 2638940 920377 2257 9 0 2629674 0
[pid=4824/tid=4825] ppid=4822 vsize=10555760 CPUtime=1719.67 cores=1,3,5,7
/proc/4824/task/4825/stat : 4825 (java) R 4822 4824 4768 0 -1 4202560 836507 0 1 0 171872 95 0 0 25 0 19 0 814002132 10809098240 920377 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 46912505681932 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4824/tid=4827] ppid=4822 vsize=10555760 CPUtime=0.53 cores=1,3,5,7
/proc/4824/task/4827/stat : 4827 (java) S 4822 4824 4768 0 -1 4202560 6032 0 0 0 53 0 0 0 16 0 19 0 814002134 10809098240 920377 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 5 0 0 0
[pid=4824/tid=4828] ppid=4822 vsize=10555760 CPUtime=0.59 cores=1,3,5,7
/proc/4824/task/4828/stat : 4828 (java) S 4822 4824 4768 0 -1 4202560 9158 0 0 0 58 1 0 0 16 0 19 0 814002134 10809098240 920377 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4829] ppid=4822 vsize=10555760 CPUtime=0.57 cores=1,3,5,7
/proc/4824/task/4829/stat : 4829 (java) S 4822 4824 4768 0 -1 4202560 8803 0 0 0 56 1 0 0 15 0 19 0 814002134 10809098240 920377 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 5 0 0 0
[pid=4824/tid=4830] ppid=4822 vsize=10555760 CPUtime=0.68 cores=1,3,5,7
/proc/4824/task/4830/stat : 4830 (java) S 4822 4824 4768 0 -1 4202560 11778 0 0 0 67 1 0 0 16 0 19 0 814002134 10809098240 920377 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 1 0 0 0
[pid=4824/tid=4831] ppid=4822 vsize=10555760 CPUtime=0.67 cores=1,3,5,7
/proc/4824/task/4831/stat : 4831 (java) S 4822 4824 4768 0 -1 4202560 8193 0 0 0 67 0 0 0 15 0 19 0 814002134 10809098240 920377 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4832] ppid=4822 vsize=10555760 CPUtime=0.62 cores=1,3,5,7
/proc/4824/task/4832/stat : 4832 (java) S 4822 4824 4768 0 -1 4202560 10782 0 0 0 61 1 0 0 15 0 19 0 814002134 10809098240 920377 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4833] ppid=4822 vsize=10555760 CPUtime=0.6 cores=1,3,5,7
/proc/4824/task/4833/stat : 4833 (java) S 4822 4824 4768 0 -1 4202560 7467 0 0 0 59 1 0 0 15 0 19 0 814002134 10809098240 920377 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 5 0 0 0
[pid=4824/tid=4834] ppid=4822 vsize=10555760 CPUtime=0.56 cores=1,3,5,7
/proc/4824/task/4834/stat : 4834 (java) S 4822 4824 4768 0 -1 4202560 9072 0 0 0 55 1 0 0 16 0 19 0 814002134 10809098240 920377 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 1 0 0 0
[pid=4824/tid=4835] ppid=4822 vsize=10555760 CPUtime=0.99 cores=1,3,5,7
/proc/4824/task/4835/stat : 4835 (java) S 4822 4824 4768 0 -1 4202560 5719 0 0 0 98 1 0 0 15 0 19 0 814002135 10809098240 920377 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107267584 0 0 0 16800975 18446604468567127936 0 0 -1 1 0 0 0
[pid=4824/tid=4836] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4836/stat : 4836 (java) S 4822 4824 4768 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814002135 10809098240 920377 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4837] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4837/stat : 4837 (java) S 4822 4824 4768 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814002135 10809098240 920377 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4838] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4838/stat : 4838 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002137 10809098240 920377 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107274673 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4839] ppid=4822 vsize=10555760 CPUtime=0.7 cores=1,3,5,7
/proc/4824/task/4839/stat : 4839 (java) S 4822 4824 4768 0 -1 4202560 3611 0 0 0 70 0 0 0 15 0 19 0 814002137 10809098240 920377 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4840] ppid=4822 vsize=10555760 CPUtime=0.72 cores=1,3,5,7
/proc/4824/task/4840/stat : 4840 (java) S 4822 4824 4768 0 -1 4202560 6052 0 0 0 72 0 0 0 16 0 19 0 814002137 10809098240 920377 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 5 0 0 0
[pid=4824/tid=4841] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4841/stat : 4841 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002137 10809098240 920377 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4842] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4842/stat : 4842 (java) S 4822 4824 4768 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 814002137 10809098240 920377 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107267584 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4843] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4843/stat : 4843 (java) S 4822 4824 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002162 10809098240 920377 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107267584 0 4 0 16800975 18446604468567127936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1727.01
Current children cumulated vsize (KiB) 10555760
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 1.72 3/558 4891
/proc/meminfo: memFree=14036444/32951124 swapFree=58800704/67111528
[pid=4824] ppid=4822 vsize=10555760 CPUtime=1787.15 cores=1,3,5,7
/proc/4824/stat : 4824 (java) S 4822 4824 4768 0 -1 4202496 924480 0 1 0 178606 109 0 0 22 0 19 0 814002131 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4824/statm: 2638940 920423 2257 9 0 2629674 0
[pid=4824/tid=4825] ppid=4822 vsize=10555760 CPUtime=1779.61 cores=1,3,5,7
/proc/4824/task/4825/stat : 4825 (java) R 4822 4824 4768 0 -1 4202560 836511 0 1 0 177866 95 0 0 25 0 19 0 814002132 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 46912505885223 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4824/tid=4827] ppid=4822 vsize=10555760 CPUtime=0.55 cores=1,3,5,7
/proc/4824/task/4827/stat : 4827 (java) S 4822 4824 4768 0 -1 4202560 6034 0 0 0 55 0 0 0 16 0 19 0 814002134 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4828] ppid=4822 vsize=10555760 CPUtime=0.61 cores=1,3,5,7
/proc/4824/task/4828/stat : 4828 (java) S 4822 4824 4768 0 -1 4202560 9163 0 0 0 60 1 0 0 15 0 19 0 814002134 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4829] ppid=4822 vsize=10555760 CPUtime=0.62 cores=1,3,5,7
/proc/4824/task/4829/stat : 4829 (java) S 4822 4824 4768 0 -1 4202560 8814 0 0 0 61 1 0 0 16 0 19 0 814002134 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 1 0 0 0
[pid=4824/tid=4830] ppid=4822 vsize=10555760 CPUtime=0.72 cores=1,3,5,7
/proc/4824/task/4830/stat : 4830 (java) S 4822 4824 4768 0 -1 4202560 11786 0 0 0 71 1 0 0 16 0 19 0 814002134 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4831] ppid=4822 vsize=10555760 CPUtime=0.68 cores=1,3,5,7
/proc/4824/task/4831/stat : 4831 (java) S 4822 4824 4768 0 -1 4202560 8196 0 0 0 68 0 0 0 15 0 19 0 814002134 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4832] ppid=4822 vsize=10555760 CPUtime=0.65 cores=1,3,5,7
/proc/4824/task/4832/stat : 4832 (java) S 4822 4824 4768 0 -1 4202560 10795 0 0 0 64 1 0 0 15 0 19 0 814002134 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4833] ppid=4822 vsize=10555760 CPUtime=0.61 cores=1,3,5,7
/proc/4824/task/4833/stat : 4833 (java) S 4822 4824 4768 0 -1 4202560 7467 0 0 0 60 1 0 0 15 0 19 0 814002134 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 5 0 0 0
[pid=4824/tid=4834] ppid=4822 vsize=10555760 CPUtime=0.57 cores=1,3,5,7
/proc/4824/task/4834/stat : 4834 (java) S 4822 4824 4768 0 -1 4202560 9077 0 0 0 56 1 0 0 16 0 19 0 814002134 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 5 0 0 0
[pid=4824/tid=4835] ppid=4822 vsize=10555760 CPUtime=0.99 cores=1,3,5,7
/proc/4824/task/4835/stat : 4835 (java) S 4822 4824 4768 0 -1 4202560 5721 0 0 0 98 1 0 0 15 0 19 0 814002135 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107267584 0 0 0 16800975 18446604468567127936 0 0 -1 1 0 0 0
[pid=4824/tid=4836] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4836/stat : 4836 (java) S 4822 4824 4768 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814002135 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4837] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4837/stat : 4837 (java) S 4822 4824 4768 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814002135 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4838] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4838/stat : 4838 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002137 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107274673 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4839] ppid=4822 vsize=10555760 CPUtime=0.7 cores=1,3,5,7
/proc/4824/task/4839/stat : 4839 (java) S 4822 4824 4768 0 -1 4202560 3611 0 0 0 70 0 0 0 15 0 19 0 814002137 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4840] ppid=4822 vsize=10555760 CPUtime=0.72 cores=1,3,5,7
/proc/4824/task/4840/stat : 4840 (java) S 4822 4824 4768 0 -1 4202560 6052 0 0 0 72 0 0 0 16 0 19 0 814002137 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 5 0 0 0
[pid=4824/tid=4841] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4841/stat : 4841 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002137 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4842] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4842/stat : 4842 (java) S 4822 4824 4768 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814002137 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107267584 0 4 0 16800975 18446604468567127936 0 0 -1 1 0 0 0
[pid=4824/tid=4843] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4843/stat : 4843 (java) S 4822 4824 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002162 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107267584 0 4 0 16800975 18446604468567127936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1787.15
Current children cumulated vsize (KiB) 10555760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.22 s]
/proc/loadavg: 2.01 2.04 1.72 2/539 4903
/proc/meminfo: memFree=17697296/32951124 swapFree=58800704/67111528
[pid=4824] ppid=4822 vsize=10555760 CPUtime=1800.08 cores=1,3,5,7
/proc/4824/stat : 4824 (java) S 4822 4824 4768 0 -1 4202496 924482 0 1 0 179899 109 0 0 22 0 19 0 814002131 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4824/statm: 2638940 920423 2257 9 0 2629674 0
[pid=4824/tid=4825] ppid=4822 vsize=10555760 CPUtime=1792.55 cores=1,3,5,7
/proc/4824/task/4825/stat : 4825 (java) R 4822 4824 4768 0 -1 4202560 836511 0 1 0 179160 95 0 0 25 0 19 0 814002132 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 46912505712153 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4824/tid=4827] ppid=4822 vsize=10555760 CPUtime=0.55 cores=1,3,5,7
/proc/4824/task/4827/stat : 4827 (java) S 4822 4824 4768 0 -1 4202560 6034 0 0 0 55 0 0 0 16 0 19 0 814002134 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4828] ppid=4822 vsize=10555760 CPUtime=0.61 cores=1,3,5,7
/proc/4824/task/4828/stat : 4828 (java) S 4822 4824 4768 0 -1 4202560 9163 0 0 0 60 1 0 0 15 0 19 0 814002134 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4829] ppid=4822 vsize=10555760 CPUtime=0.62 cores=1,3,5,7
/proc/4824/task/4829/stat : 4829 (java) S 4822 4824 4768 0 -1 4202560 8814 0 0 0 61 1 0 0 16 0 19 0 814002134 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 1 0 0 0
[pid=4824/tid=4830] ppid=4822 vsize=10555760 CPUtime=0.72 cores=1,3,5,7
/proc/4824/task/4830/stat : 4830 (java) S 4822 4824 4768 0 -1 4202560 11786 0 0 0 71 1 0 0 16 0 19 0 814002134 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4831] ppid=4822 vsize=10555760 CPUtime=0.68 cores=1,3,5,7
/proc/4824/task/4831/stat : 4831 (java) S 4822 4824 4768 0 -1 4202560 8196 0 0 0 68 0 0 0 15 0 19 0 814002134 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4832] ppid=4822 vsize=10555760 CPUtime=0.65 cores=1,3,5,7
/proc/4824/task/4832/stat : 4832 (java) S 4822 4824 4768 0 -1 4202560 10795 0 0 0 64 1 0 0 15 0 19 0 814002134 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4833] ppid=4822 vsize=10555760 CPUtime=0.61 cores=1,3,5,7
/proc/4824/task/4833/stat : 4833 (java) S 4822 4824 4768 0 -1 4202560 7467 0 0 0 60 1 0 0 15 0 19 0 814002134 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 5 0 0 0
[pid=4824/tid=4834] ppid=4822 vsize=10555760 CPUtime=0.57 cores=1,3,5,7
/proc/4824/task/4834/stat : 4834 (java) S 4822 4824 4768 0 -1 4202560 9077 0 0 0 56 1 0 0 16 0 19 0 814002134 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 5 0 0 0
[pid=4824/tid=4835] ppid=4822 vsize=10555760 CPUtime=0.99 cores=1,3,5,7
/proc/4824/task/4835/stat : 4835 (java) S 4822 4824 4768 0 -1 4202560 5721 0 0 0 98 1 0 0 15 0 19 0 814002135 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107267584 0 0 0 16800975 18446604468567127936 0 0 -1 1 0 0 0
[pid=4824/tid=4836] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4836/stat : 4836 (java) S 4822 4824 4768 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814002135 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4837] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4837/stat : 4837 (java) S 4822 4824 4768 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814002135 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4838] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4838/stat : 4838 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002137 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107274673 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4839] ppid=4822 vsize=10555760 CPUtime=0.7 cores=1,3,5,7
/proc/4824/task/4839/stat : 4839 (java) S 4822 4824 4768 0 -1 4202560 3611 0 0 0 70 0 0 0 15 0 19 0 814002137 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 7 0 0 0
[pid=4824/tid=4840] ppid=4822 vsize=10555760 CPUtime=0.72 cores=1,3,5,7
/proc/4824/task/4840/stat : 4840 (java) S 4822 4824 4768 0 -1 4202560 6052 0 0 0 72 0 0 0 16 0 19 0 814002137 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 5 0 0 0
[pid=4824/tid=4841] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4841/stat : 4841 (java) S 4822 4824 4768 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002137 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107266969 0 4 0 16800975 18446604468567127936 0 0 -1 3 0 0 0
[pid=4824/tid=4842] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4842/stat : 4842 (java) S 4822 4824 4768 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 814002137 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107267584 0 4 0 16800975 18446604468567127936 0 0 -1 1 0 0 0
[pid=4824/tid=4843] ppid=4822 vsize=10555760 CPUtime=0 cores=1,3,5,7
/proc/4824/task/4843/stat : 4843 (java) S 4822 4824 4768 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002162 10809098240 920423 33554432000 1073741824 1073778376 140735690424224 18446744073709551615 228107267584 0 4 0 16800975 18446604468567127936 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10555760
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.4 s]
/proc/loadavg: 2.01 2.04 1.72 2/539 4903
/proc/meminfo: memFree=17697296/32951124 swapFree=58800704/67111528
[pid=4824] ppid=4822 vsize=0 CPUtime=1800.26 cores=1,3,5,7
/proc/4824/stat : 4824 (java) Z 4822 4824 4768 0 -1 4203548 924521 0 1 0 179905 121 0 0 17 0 2 0 814002131 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4824/statm: 0 0 0 0 0 0 0
[pid=4824/tid=4841] ppid=4822 vsize=0 CPUtime=0.12 cores=1,3,5,7
/proc/4824/task/4841/stat : 4841 (java) R 4822 4824 4768 0 -1 4203588 1 0 0 0 0 12 0 0 18 0 2 0 814002137 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.42
CPU time (s): 1800.29
CPU user time (s): 1799.05
CPU system time (s): 1.23381
CPU usage (%): 100.271
Max. virtual memory (cumulated for all children) (KiB): 10555760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.23381
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 924521
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= 40018
involuntary context switches= 9716
runsolver used 9.2256 second user time and 21.9587 second system time
The end