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-3459076-1307152909/watcher-3459076-1307152909 -o /tmp/evaluation-result-3459076-1307152909/solver-3459076-1307152909 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459076-1307152909.opb
running on 4 cores: 0,2,4,6
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: 2.02 2.05 2.01 2/548 2125
/proc/meminfo: memFree=15033636/32951132 swapFree=46579808/67111528
[pid=2125] ppid=2123 vsize=2464 CPUtime=0 cores=0,2,4,6
/proc/2125/stat : 2125 (java) S 2123 2125 32282 0 -1 4194304 279 0 0 0 0 0 0 0 25 0 1 0 826889514 2523136 44 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242965626503 0 2147483391 4096 0 18446744071699109054 0 0 17 4 0 0 0
/proc/2125/statm: 616 44 35 9 0 27 0
[pid=2125/tid=2126] ppid=2123 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2126/stat : 2126 (java) R 2123 2125 32282 0 -1 4202560 5999 0 1 0 0 0 0 0 25 0 2 0 826889515 13850947584 6815 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242970244155 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.114503 s]
/proc/loadavg: 2.02 2.05 2.01 2/548 2125
/proc/meminfo: memFree=15033636/32951132 swapFree=46579808/67111528
[pid=2125] ppid=2123 vsize=13622476 CPUtime=0.12 cores=0,2,4,6
/proc/2125/stat : 2125 (java) S 2123 2125 32282 0 -1 4202496 15687 0 1 0 10 2 0 0 25 0 18 0 826889514 13949415424 15349 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2125/statm: 3405619 15350 2108 9 0 3396353 0
[pid=2125/tid=2126] ppid=2123 vsize=13622476 CPUtime=0.09 cores=0,2,4,6
/proc/2125/task/2126/stat : 2126 (java) R 2123 2125 32282 0 -1 4202560 13701 0 1 0 8 1 0 0 25 0 18 0 826889515 13949415424 15350 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 47309590752052 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13622476
[startup+0.200488 s]
/proc/loadavg: 2.02 2.05 2.01 2/548 2125
/proc/meminfo: memFree=15033636/32951132 swapFree=46579808/67111528
[pid=2125] ppid=2123 vsize=13622476 CPUtime=0.26 cores=0,2,4,6
/proc/2125/stat : 2125 (java) S 2123 2125 32282 0 -1 4202496 16448 0 1 0 24 2 0 0 25 0 18 0 826889514 13949415424 16048 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2125/statm: 3405619 16048 2180 9 0 3396353 0
[pid=2125/tid=2126] ppid=2123 vsize=13622476 CPUtime=0.17 cores=0,2,4,6
/proc/2125/task/2126/stat : 2126 (java) R 2123 2125 32282 0 -1 4202560 14212 0 1 0 16 1 0 0 25 0 18 0 826889515 13949415424 16048 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 46912505121410 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13622476
[startup+0.300475 s]
/proc/loadavg: 2.02 2.05 2.01 2/548 2125
/proc/meminfo: memFree=15033636/32951132 swapFree=46579808/67111528
[pid=2125] ppid=2123 vsize=13632716 CPUtime=0.55 cores=0,2,4,6
/proc/2125/stat : 2125 (java) S 2123 2125 32282 0 -1 4202496 22407 0 1 0 52 3 0 0 25 0 18 0 826889514 13959901184 20276 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2125/statm: 3408179 20278 2203 9 0 3398913 0
[pid=2125/tid=2126] ppid=2123 vsize=13632716 CPUtime=0.27 cores=0,2,4,6
/proc/2125/task/2126/stat : 2126 (java) R 2123 2125 32282 0 -1 4202560 15342 0 1 0 26 1 0 0 25 0 18 0 826889515 13959901184 20278 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 46912505544358 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 13632716
[startup+0.700407 s]
/proc/loadavg: 2.02 2.05 2.01 2/548 2125
/proc/meminfo: memFree=15033636/32951132 swapFree=46579808/67111528
[pid=2125] ppid=2123 vsize=13633744 CPUtime=1.32 cores=0,2,4,6
/proc/2125/stat : 2125 (java) S 2123 2125 32282 0 -1 4202496 38576 0 1 0 127 5 0 0 25 0 19 0 826889514 13960953856 35822 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2125/statm: 3408436 35822 2226 9 0 3399170 0
[pid=2125/tid=2126] ppid=2123 vsize=13633744 CPUtime=0.67 cores=0,2,4,6
/proc/2125/task/2126/stat : 2126 (java) R 2123 2125 32282 0 -1 4202560 30257 0 1 0 64 3 0 0 25 0 19 0 826889515 13960953856 35822 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 46912505725524 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 13633744
[startup+1.50129 s]
/proc/loadavg: 2.18 2.08 2.02 3/567 2144
/proc/meminfo: memFree=14897960/32951132 swapFree=46579808/67111528
[pid=2125] ppid=2123 vsize=13633744 CPUtime=2.18 cores=0,2,4,6
/proc/2125/stat : 2125 (java) S 2123 2125 32282 0 -1 4202496 38701 0 1 0 213 5 0 0 25 0 19 0 826889514 13960953856 35907 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2125/statm: 3408436 35907 2232 9 0 3399170 0
[pid=2125/tid=2126] ppid=2123 vsize=13633744 CPUtime=1.47 cores=0,2,4,6
/proc/2125/task/2126/stat : 2126 (java) R 2123 2125 32282 0 -1 4202560 30353 0 1 0 144 3 0 0 25 0 19 0 826889515 13960953856 35907 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 46912505725945 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2125/tid=2128] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2128/stat : 2128 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 35907 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2129] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2129/stat : 2129 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 35907 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2130] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2130/stat : 2130 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 35907 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2131] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2131/stat : 2131 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 35907 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2132] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2132/stat : 2132 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 35907 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2133] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2133/stat : 2133 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 35907 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2134] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2134/stat : 2134 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 35907 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2135] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2135/stat : 2135 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 35907 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2136] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2136/stat : 2136 (java) S 2123 2125 32282 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826889518 13960953856 35907 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366720 0 0 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2137] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2137/stat : 2137 (java) S 2123 2125 32282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826889519 13960953856 35907 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2138] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2138/stat : 2138 (java) S 2123 2125 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826889519 13960953856 35907 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2139] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2139/stat : 2139 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889521 13960953856 35907 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982373809 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2140] ppid=2123 vsize=13633744 CPUtime=0.41 cores=0,2,4,6
/proc/2125/task/2140/stat : 2140 (java) R 2123 2125 32282 0 -1 4202560 3113 0 0 0 41 0 0 0 15 0 19 0 826889521 13960953856 35907 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 47309590704819 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2125/tid=2141] ppid=2123 vsize=13633744 CPUtime=0.26 cores=0,2,4,6
/proc/2125/task/2141/stat : 2141 (java) S 2123 2125 32282 0 -1 4202560 4076 0 0 0 26 0 0 0 15 0 19 0 826889521 13960953856 35907 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 4 0 0 0
[pid=2125/tid=2142] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2142/stat : 2142 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889521 13960953856 35907 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
[pid=2125/tid=2143] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2143/stat : 2143 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826889521 13960953856 35907 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366720 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
[pid=2125/tid=2144] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2144/stat : 2144 (java) S 2123 2125 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826889567 13960953856 35907 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366720 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 13633744
[startup+3.10105 s]
/proc/loadavg: 2.18 2.08 2.02 3/567 2144
/proc/meminfo: memFree=14896348/32951132 swapFree=46579808/67111528
[pid=2125] ppid=2123 vsize=13633744 CPUtime=3.78 cores=0,2,4,6
/proc/2125/stat : 2125 (java) S 2123 2125 32282 0 -1 4202496 38814 0 1 0 373 5 0 0 25 0 19 0 826889514 13960953856 36019 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2125/statm: 3408436 36019 2232 9 0 3399170 0
[pid=2125/tid=2126] ppid=2123 vsize=13633744 CPUtime=3.07 cores=0,2,4,6
/proc/2125/task/2126/stat : 2126 (java) R 2123 2125 32282 0 -1 4202560 30466 0 1 0 304 3 0 0 25 0 19 0 826889515 13960953856 36019 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 46912505726789 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2125/tid=2128] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2128/stat : 2128 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 36019 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2129] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2129/stat : 2129 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 36019 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2130] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2130/stat : 2130 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 36019 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2131] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2131/stat : 2131 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 36019 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2132] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2132/stat : 2132 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 36019 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2133] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2133/stat : 2133 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 36019 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2134] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2134/stat : 2134 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 36019 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2135] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2135/stat : 2135 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 36019 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2136] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2136/stat : 2136 (java) S 2123 2125 32282 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826889518 13960953856 36019 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366720 0 0 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2137] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2137/stat : 2137 (java) S 2123 2125 32282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826889519 13960953856 36019 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2138] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2138/stat : 2138 (java) S 2123 2125 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826889519 13960953856 36019 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2139] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2139/stat : 2139 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889521 13960953856 36019 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982373809 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2140] ppid=2123 vsize=13633744 CPUtime=0.41 cores=0,2,4,6
/proc/2125/task/2140/stat : 2140 (java) S 2123 2125 32282 0 -1 4202560 3113 0 0 0 41 0 0 0 15 0 19 0 826889521 13960953856 36019 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2141] ppid=2123 vsize=13633744 CPUtime=0.26 cores=0,2,4,6
/proc/2125/task/2141/stat : 2141 (java) S 2123 2125 32282 0 -1 4202560 4076 0 0 0 26 0 0 0 15 0 19 0 826889521 13960953856 36019 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 4 0 0 0
[pid=2125/tid=2142] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2142/stat : 2142 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889521 13960953856 36019 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
[pid=2125/tid=2143] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2143/stat : 2143 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826889521 13960953856 36019 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366720 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
[pid=2125/tid=2144] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2144/stat : 2144 (java) S 2123 2125 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826889567 13960953856 36019 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366720 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 13633744
[startup+6.30145 s]
/proc/loadavg: 2.16 2.08 2.02 3/551 2147
/proc/meminfo: memFree=15072056/32951132 swapFree=46579808/67111528
[pid=2125] ppid=2123 vsize=13633744 CPUtime=7.11 cores=0,2,4,6
/proc/2125/stat : 2125 (java) S 2123 2125 32282 0 -1 4202496 39362 0 1 0 704 7 0 0 25 0 19 0 826889514 13960953856 36304 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2125/statm: 3408436 36304 2236 9 0 3399170 0
[pid=2125/tid=2126] ppid=2123 vsize=13633744 CPUtime=6.27 cores=0,2,4,6
/proc/2125/task/2126/stat : 2126 (java) R 2123 2125 32282 0 -1 4202560 30748 0 1 0 624 3 0 0 19 0 19 0 826889515 13960953856 36304 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 46912505745031 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2125/tid=2128] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2128/stat : 2128 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 36304 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2129] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2129/stat : 2129 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 36304 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2130] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2130/stat : 2130 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 36304 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2131] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2131/stat : 2131 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 36304 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2132] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2132/stat : 2132 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 36304 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2133] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2133/stat : 2133 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 36304 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2134] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2134/stat : 2134 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 36304 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2135] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2135/stat : 2135 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889517 13960953856 36304 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2136] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2136/stat : 2136 (java) S 2123 2125 32282 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 826889518 13960953856 36304 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366720 0 0 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2137] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2137/stat : 2137 (java) S 2123 2125 32282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826889519 13960953856 36304 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2138] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2138/stat : 2138 (java) S 2123 2125 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826889519 13960953856 36304 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2139] ppid=2123 vsize=13633744 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2139/stat : 2139 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889521 13960953856 36304 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982373809 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2140] ppid=2123 vsize=13633744 CPUtime=0.51 cores=0,2,4,6
/proc/2125/task/2140/stat : 2140 (java) S 2123 2125 32282 0 -1 4202560 3376 0 0 0 49 2 0 0 15 0 19 0 826889521 13960953856 36304 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
[pid=2125/tid=2141] ppid=2123 vsize=13633744 CPUtime=0.29 cores=0,2,4,6
/proc/2125/task/2141/stat : 2141 (java) S 2123 2125 32282 0 -1 4202560 4078 0 0 0 29 0 0 0 15 0 19 0 826889521 13960953856 36304 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=2125/tid=2133] ppid=2123 vsize=13650748 CPUtime=0.08 cores=0,2,4,6
/proc/2125/task/2133/stat : 2133 (java) S 2123 2125 32282 0 -1 4202560 14 0 0 0 8 0 0 0 15 0 19 0 826889517 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 0 0 0 0
[pid=2125/tid=2134] ppid=2123 vsize=13650748 CPUtime=0.07 cores=0,2,4,6
/proc/2125/task/2134/stat : 2134 (java) S 2123 2125 32282 0 -1 4202560 31 0 0 0 7 0 0 0 15 0 19 0 826889517 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2135] ppid=2123 vsize=13650748 CPUtime=0.09 cores=0,2,4,6
/proc/2125/task/2135/stat : 2135 (java) S 2123 2125 32282 0 -1 4202560 87 0 0 0 9 0 0 0 15 0 19 0 826889517 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2136] ppid=2123 vsize=13650748 CPUtime=4.63 cores=0,2,4,6
/proc/2125/task/2136/stat : 2136 (java) S 2123 2125 32282 0 -1 4202560 1830 0 0 0 458 5 0 0 15 0 19 0 826889518 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366720 0 0 0 16800975 18446604448530221184 0 0 -1 4 0 0 0
[pid=2125/tid=2137] ppid=2123 vsize=13650748 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2137/stat : 2137 (java) S 2123 2125 32282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826889519 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2138] ppid=2123 vsize=13650748 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2138/stat : 2138 (java) S 2123 2125 32282 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826889519 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2139] ppid=2123 vsize=13650748 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2139/stat : 2139 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889521 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982373809 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2140] ppid=2123 vsize=13650748 CPUtime=1.24 cores=0,2,4,6
/proc/2125/task/2140/stat : 2140 (java) S 2123 2125 32282 0 -1 4202560 14191 0 0 0 119 5 0 0 15 0 19 0 826889521 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2141] ppid=2123 vsize=13650748 CPUtime=1.11 cores=0,2,4,6
/proc/2125/task/2141/stat : 2141 (java) S 2123 2125 32282 0 -1 4202560 9751 0 0 0 110 1 0 0 15 0 19 0 826889521 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 4 0 0 0
[pid=2125/tid=2142] ppid=2123 vsize=13650748 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2142/stat : 2142 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889521 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
[pid=2125/tid=2143] ppid=2123 vsize=13650748 CPUtime=0.02 cores=0,2,4,6
/proc/2125/task/2143/stat : 2143 (java) S 2123 2125 32282 0 -1 4202560 96 0 0 0 1 1 0 0 15 0 19 0 826889521 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366720 0 4 0 16800975 18446604448530221184 0 0 -1 0 0 0 0
[pid=2125/tid=2144] ppid=2123 vsize=13650748 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2144/stat : 2144 (java) S 2123 2125 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826889567 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366720 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1664.78
Current children cumulated vsize (KiB) 13650748
[startup+1722.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/567 2876
/proc/meminfo: memFree=14968532/32951132 swapFree=46579808/67111528
[pid=2125] ppid=2123 vsize=13650748 CPUtime=1724.78 cores=0,2,4,6
/proc/2125/stat : 2125 (java) S 2123 2125 32282 0 -1 4202496 59383 0 1 0 172459 19 0 0 25 0 19 0 826889514 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2125/statm: 3412687 46709 2262 9 0 3403421 0
[pid=2125/tid=2126] ppid=2123 vsize=13650748 CPUtime=1716.87 cores=0,2,4,6
/proc/2125/task/2126/stat : 2126 (java) R 2123 2125 32282 0 -1 4202560 31041 0 1 0 171683 4 0 0 25 0 19 0 826889515 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 46912505705003 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2125/tid=2128] ppid=2123 vsize=13650748 CPUtime=0.08 cores=0,2,4,6
/proc/2125/task/2128/stat : 2128 (java) S 2123 2125 32282 0 -1 4202560 462 0 0 0 8 0 0 0 15 0 19 0 826889517 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2129] ppid=2123 vsize=13650748 CPUtime=0.09 cores=0,2,4,6
/proc/2125/task/2129/stat : 2129 (java) S 2123 2125 32282 0 -1 4202560 402 0 0 0 9 0 0 0 15 0 19 0 826889517 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
[pid=2125/tid=2130] ppid=2123 vsize=13650748 CPUtime=0.08 cores=0,2,4,6
/proc/2125/task/2130/stat : 2130 (java) S 2123 2125 32282 0 -1 4202560 207 0 0 0 8 0 0 0 15 0 19 0 826889517 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 0 0 0 0
[pid=2125/tid=2131] ppid=2123 vsize=13650748 CPUtime=0.08 cores=0,2,4,6
/proc/2125/task/2131/stat : 2131 (java) S 2123 2125 32282 0 -1 4202560 10 0 0 0 8 0 0 0 15 0 19 0 826889517 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2132] ppid=2123 vsize=13650748 CPUtime=0.09 cores=0,2,4,6
/proc/2125/task/2132/stat : 2132 (java) S 2123 2125 32282 0 -1 4202560 103 0 0 0 9 0 0 0 15 0 19 0 826889517 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2133] ppid=2123 vsize=13650748 CPUtime=0.08 cores=0,2,4,6
/proc/2125/task/2133/stat : 2133 (java) S 2123 2125 32282 0 -1 4202560 14 0 0 0 8 0 0 0 15 0 19 0 826889517 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
[pid=2125/tid=2134] ppid=2123 vsize=13650748 CPUtime=0.07 cores=0,2,4,6
/proc/2125/task/2134/stat : 2134 (java) S 2123 2125 32282 0 -1 4202560 31 0 0 0 7 0 0 0 15 0 19 0 826889517 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2135] ppid=2123 vsize=13650748 CPUtime=0.09 cores=0,2,4,6
/proc/2125/task/2135/stat : 2135 (java) S 2123 2125 32282 0 -1 4202560 87 0 0 0 9 0 0 0 15 0 19 0 826889517 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
[pid=2125/tid=2136] ppid=2123 vsize=13650748 CPUtime=4.78 cores=0,2,4,6
/proc/2125/task/2136/stat : 2136 (java) S 2123 2125 32282 0 -1 4202560 1834 0 0 0 473 5 0 0 15 0 19 0 826889518 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366720 0 0 0 16800975 18446604448530221184 0 0 -1 4 0 0 0
[pid=2125/tid=2137] ppid=2123 vsize=13650748 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2137/stat : 2137 (java) S 2123 2125 32282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826889519 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2138] ppid=2123 vsize=13650748 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2138/stat : 2138 (java) S 2123 2125 32282 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826889519 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2139] ppid=2123 vsize=13650748 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2139/stat : 2139 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889521 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982373809 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2140] ppid=2123 vsize=13650748 CPUtime=1.24 cores=0,2,4,6
/proc/2125/task/2140/stat : 2140 (java) S 2123 2125 32282 0 -1 4202560 14191 0 0 0 119 5 0 0 15 0 19 0 826889521 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2141] ppid=2123 vsize=13650748 CPUtime=1.11 cores=0,2,4,6
/proc/2125/task/2141/stat : 2141 (java) S 2123 2125 32282 0 -1 4202560 9751 0 0 0 110 1 0 0 15 0 19 0 826889521 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 4 0 0 0
[pid=2125/tid=2142] ppid=2123 vsize=13650748 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2142/stat : 2142 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889521 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
[pid=2125/tid=2143] ppid=2123 vsize=13650748 CPUtime=0.02 cores=0,2,4,6
/proc/2125/task/2143/stat : 2143 (java) S 2123 2125 32282 0 -1 4202560 100 0 0 0 1 1 0 0 15 0 19 0 826889521 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366720 0 4 0 16800975 18446604448530221184 0 0 -1 0 0 0 0
[pid=2125/tid=2144] ppid=2123 vsize=13650748 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2144/stat : 2144 (java) S 2123 2125 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826889567 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366720 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.78
Current children cumulated vsize (KiB) 13650748
[startup+1782.3 s]
/proc/loadavg: 2.35 2.13 2.03 3/567 3070
/proc/meminfo: memFree=14751448/32951132 swapFree=46579808/67111528
[pid=2125] ppid=2123 vsize=13650748 CPUtime=1784.84 cores=0,2,4,6
/proc/2125/stat : 2125 (java) S 2123 2125 32282 0 -1 4202496 59395 0 1 0 178463 21 0 0 25 0 19 0 826889514 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2125/statm: 3412687 46709 2262 9 0 3403421 0
[pid=2125/tid=2126] ppid=2123 vsize=13650748 CPUtime=1776.65 cores=0,2,4,6
/proc/2125/task/2126/stat : 2126 (java) R 2123 2125 32282 0 -1 4202560 31049 0 1 0 177661 4 0 0 25 0 19 0 826889515 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 46912505924862 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2125/tid=2128] ppid=2123 vsize=13650748 CPUtime=0.1 cores=0,2,4,6
/proc/2125/task/2128/stat : 2128 (java) S 2123 2125 32282 0 -1 4202560 462 0 0 0 10 0 0 0 15 0 19 0 826889517 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
[pid=2125/tid=2129] ppid=2123 vsize=13650748 CPUtime=0.09 cores=0,2,4,6
/proc/2125/task/2129/stat : 2129 (java) S 2123 2125 32282 0 -1 4202560 402 0 0 0 9 0 0 0 15 0 19 0 826889517 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 0 0 0 0
[pid=2125/tid=2130] ppid=2123 vsize=13650748 CPUtime=0.11 cores=0,2,4,6
/proc/2125/task/2130/stat : 2130 (java) S 2123 2125 32282 0 -1 4202560 207 0 0 0 11 0 0 0 15 0 19 0 826889517 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
[pid=2125/tid=2131] ppid=2123 vsize=13650748 CPUtime=0.08 cores=0,2,4,6
/proc/2125/task/2131/stat : 2131 (java) S 2123 2125 32282 0 -1 4202560 10 0 0 0 8 0 0 0 15 0 19 0 826889517 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 0 0 0 0
[pid=2125/tid=2132] ppid=2123 vsize=13650748 CPUtime=0.11 cores=0,2,4,6
/proc/2125/task/2132/stat : 2132 (java) S 2123 2125 32282 0 -1 4202560 103 0 0 0 11 0 0 0 15 0 19 0 826889517 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
[pid=2125/tid=2133] ppid=2123 vsize=13650748 CPUtime=0.08 cores=0,2,4,6
/proc/2125/task/2133/stat : 2133 (java) S 2123 2125 32282 0 -1 4202560 14 0 0 0 8 0 0 0 15 0 19 0 826889517 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
[pid=2125/tid=2134] ppid=2123 vsize=13650748 CPUtime=0.09 cores=0,2,4,6
/proc/2125/task/2134/stat : 2134 (java) S 2123 2125 32282 0 -1 4202560 31 0 0 0 9 0 0 0 15 0 19 0 826889517 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2135] ppid=2123 vsize=13650748 CPUtime=0.1 cores=0,2,4,6
/proc/2125/task/2135/stat : 2135 (java) S 2123 2125 32282 0 -1 4202560 87 0 0 0 10 0 0 0 15 0 19 0 826889517 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
[pid=2125/tid=2136] ppid=2123 vsize=13650748 CPUtime=4.94 cores=0,2,4,6
/proc/2125/task/2136/stat : 2136 (java) S 2123 2125 32282 0 -1 4202560 1836 0 0 0 489 5 0 0 15 0 19 0 826889518 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366720 0 0 0 16800975 18446604448530221184 0 0 -1 4 0 0 0
[pid=2125/tid=2137] ppid=2123 vsize=13650748 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2137/stat : 2137 (java) S 2123 2125 32282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826889519 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2138] ppid=2123 vsize=13650748 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2138/stat : 2138 (java) S 2123 2125 32282 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826889519 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2139] ppid=2123 vsize=13650748 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2139/stat : 2139 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889521 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982373809 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2140] ppid=2123 vsize=13650748 CPUtime=1.24 cores=0,2,4,6
/proc/2125/task/2140/stat : 2140 (java) S 2123 2125 32282 0 -1 4202560 14191 0 0 0 119 5 0 0 15 0 19 0 826889521 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2141] ppid=2123 vsize=13650748 CPUtime=1.11 cores=0,2,4,6
/proc/2125/task/2141/stat : 2141 (java) S 2123 2125 32282 0 -1 4202560 9751 0 0 0 110 1 0 0 15 0 19 0 826889521 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 4 0 0 0
[pid=2125/tid=2142] ppid=2123 vsize=13650748 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2142/stat : 2142 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889521 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
[pid=2125/tid=2143] ppid=2123 vsize=13650748 CPUtime=0.02 cores=0,2,4,6
/proc/2125/task/2143/stat : 2143 (java) S 2123 2125 32282 0 -1 4202560 102 0 0 0 1 1 0 0 15 0 19 0 826889521 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366720 0 4 0 16800975 18446604448530221184 0 0 -1 0 0 0 0
[pid=2125/tid=2144] ppid=2123 vsize=13650748 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2144/stat : 2144 (java) S 2123 2125 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826889567 13978365952 46709 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366720 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.84
Current children cumulated vsize (KiB) 13650748
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.52 s]
/proc/loadavg: 2.27 2.12 2.03 3/567 3070
/proc/meminfo: memFree=14724240/32951132 swapFree=46579808/67111528
[pid=2125] ppid=2123 vsize=13650748 CPUtime=1800.06 cores=0,2,4,6
/proc/2125/stat : 2125 (java) S 2123 2125 32282 0 -1 4202496 59403 0 1 0 179985 21 0 0 25 0 19 0 826889514 13978365952 46711 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2125/statm: 3412687 46711 2262 9 0 3403421 0
[pid=2125/tid=2126] ppid=2123 vsize=13650748 CPUtime=1791.85 cores=0,2,4,6
/proc/2125/task/2126/stat : 2126 (java) R 2123 2125 32282 0 -1 4202560 31051 0 1 0 179181 4 0 0 25 0 19 0 826889515 13978365952 46711 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 46912505725879 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2125/tid=2128] ppid=2123 vsize=13650748 CPUtime=0.1 cores=0,2,4,6
/proc/2125/task/2128/stat : 2128 (java) S 2123 2125 32282 0 -1 4202560 462 0 0 0 10 0 0 0 15 0 19 0 826889517 13978365952 46711 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2129] ppid=2123 vsize=13650748 CPUtime=0.09 cores=0,2,4,6
/proc/2125/task/2129/stat : 2129 (java) S 2123 2125 32282 0 -1 4202560 402 0 0 0 9 0 0 0 15 0 19 0 826889517 13978365952 46711 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 0 0 0 0
[pid=2125/tid=2130] ppid=2123 vsize=13650748 CPUtime=0.11 cores=0,2,4,6
/proc/2125/task/2130/stat : 2130 (java) S 2123 2125 32282 0 -1 4202560 207 0 0 0 11 0 0 0 15 0 19 0 826889517 13978365952 46711 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
[pid=2125/tid=2131] ppid=2123 vsize=13650748 CPUtime=0.09 cores=0,2,4,6
/proc/2125/task/2131/stat : 2131 (java) S 2123 2125 32282 0 -1 4202560 10 0 0 0 9 0 0 0 15 0 19 0 826889517 13978365952 46711 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 0 0 0 0
[pid=2125/tid=2132] ppid=2123 vsize=13650748 CPUtime=0.11 cores=0,2,4,6
/proc/2125/task/2132/stat : 2132 (java) S 2123 2125 32282 0 -1 4202560 105 0 0 0 11 0 0 0 15 0 19 0 826889517 13978365952 46711 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
[pid=2125/tid=2133] ppid=2123 vsize=13650748 CPUtime=0.08 cores=0,2,4,6
/proc/2125/task/2133/stat : 2133 (java) S 2123 2125 32282 0 -1 4202560 14 0 0 0 8 0 0 0 15 0 19 0 826889517 13978365952 46711 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
[pid=2125/tid=2134] ppid=2123 vsize=13650748 CPUtime=0.09 cores=0,2,4,6
/proc/2125/task/2134/stat : 2134 (java) S 2123 2125 32282 0 -1 4202560 31 0 0 0 9 0 0 0 15 0 19 0 826889517 13978365952 46711 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2135] ppid=2123 vsize=13650748 CPUtime=0.1 cores=0,2,4,6
/proc/2125/task/2135/stat : 2135 (java) S 2123 2125 32282 0 -1 4202560 87 0 0 0 10 0 0 0 15 0 19 0 826889517 13978365952 46711 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 4 0 0 0
[pid=2125/tid=2136] ppid=2123 vsize=13650748 CPUtime=4.97 cores=0,2,4,6
/proc/2125/task/2136/stat : 2136 (java) S 2123 2125 32282 0 -1 4202560 1838 0 0 0 492 5 0 0 15 0 19 0 826889518 13978365952 46711 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366720 0 0 0 16800975 18446604448530221184 0 0 -1 4 0 0 0
[pid=2125/tid=2137] ppid=2123 vsize=13650748 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2137/stat : 2137 (java) S 2123 2125 32282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826889519 13978365952 46711 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2138] ppid=2123 vsize=13650748 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2138/stat : 2138 (java) S 2123 2125 32282 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 826889519 13978365952 46711 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2139] ppid=2123 vsize=13650748 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2139/stat : 2139 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889521 13978365952 46711 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982373809 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2140] ppid=2123 vsize=13650748 CPUtime=1.24 cores=0,2,4,6
/proc/2125/task/2140/stat : 2140 (java) S 2123 2125 32282 0 -1 4202560 14191 0 0 0 119 5 0 0 15 0 19 0 826889521 13978365952 46711 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 2 0 0 0
[pid=2125/tid=2141] ppid=2123 vsize=13650748 CPUtime=1.11 cores=0,2,4,6
/proc/2125/task/2141/stat : 2141 (java) S 2123 2125 32282 0 -1 4202560 9751 0 0 0 110 1 0 0 15 0 19 0 826889521 13978365952 46711 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 4 0 0 0
[pid=2125/tid=2142] ppid=2123 vsize=13650748 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2142/stat : 2142 (java) S 2123 2125 32282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826889521 13978365952 46711 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366105 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
[pid=2125/tid=2143] ppid=2123 vsize=13650748 CPUtime=0.02 cores=0,2,4,6
/proc/2125/task/2143/stat : 2143 (java) S 2123 2125 32282 0 -1 4202560 104 0 0 0 1 1 0 0 15 0 19 0 826889521 13978365952 46711 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366720 0 4 0 16800975 18446604448530221184 0 0 -1 0 0 0 0
[pid=2125/tid=2144] ppid=2123 vsize=13650748 CPUtime=0 cores=0,2,4,6
/proc/2125/task/2144/stat : 2144 (java) S 2123 2125 32282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826889567 13978365952 46711 33554432000 1073741824 1073778376 140734071744992 18446744073709551615 242982366720 0 4 0 16800975 18446604448530221184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13650748
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1797.58
CPU time (s): 1800.14
CPU user time (s): 1799.91
CPU system time (s): 0.225965
CPU usage (%): 100.142
Max. virtual memory (cumulated for all children) (KiB): 13650748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.225965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59467
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= 44119
involuntary context switches= 15462
runsolver used 10.2704 second user time and 21.1478 second system time
The end