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-3456394-1307647675/watcher-3456394-1307647675 -o /tmp/evaluation-result-3456394-1307647675/solver-3456394-1307647675 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456394-1307647675.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: 2.22 2.05 2.02 2/195 30182
/proc/meminfo: memFree=29245436/32950928 swapFree=67051812/67111528
[pid=30182] ppid=30180 vsize=31604 CPUtime=0 cores=1,3,5,7
/proc/30182/stat : 30182 (java) S 30180 30182 28735 0 -1 4202496 1261 0 0 0 0 0 0 0 25 0 2 0 954998232 32362496 980 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/30182/statm: 7901 988 759 9 0 386 0
[pid=30182/tid=30183] ppid=30180 vsize=31608 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30183/stat : 30183 (java) R 30180 30182 28735 0 -1 4202560 160 0 0 0 0 0 0 0 25 0 2 0 954998232 32366592 992 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260905437319 0 0 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0766801 s]
/proc/loadavg: 2.22 2.05 2.02 2/195 30182
/proc/meminfo: memFree=29245436/32950928 swapFree=67051812/67111528
[pid=30182] ppid=30180 vsize=10473088 CPUtime=0.07 cores=1,3,5,7
/proc/30182/stat : 30182 (java) S 30180 30182 28735 0 -1 4202496 11995 0 1 0 5 2 0 0 25 0 18 0 954998232 10724442112 11692 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30182/statm: 2618272 11693 1755 9 0 2609006 0
[pid=30182/tid=30183] ppid=30180 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/30182/task/30183/stat : 30183 (java) R 30180 30182 28735 0 -1 4202560 10822 0 1 0 5 1 0 0 25 0 18 0 954998232 10724442112 11693 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 47163132671029 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473088
[startup+0.1007 s]
/proc/loadavg: 2.22 2.05 2.02 2/195 30182
/proc/meminfo: memFree=29245436/32950928 swapFree=67051812/67111528
[pid=30182] ppid=30180 vsize=10539680 CPUtime=0.11 cores=1,3,5,7
/proc/30182/stat : 30182 (java) S 30180 30182 28735 0 -1 4202496 13093 0 1 0 9 2 0 0 25 0 18 0 954998232 10792632320 12762 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30182/statm: 2634920 12763 2092 9 0 2625654 0
[pid=30182/tid=30183] ppid=30180 vsize=10539680 CPUtime=0.08 cores=1,3,5,7
/proc/30182/task/30183/stat : 30183 (java) R 30180 30182 28735 0 -1 4202560 11138 0 1 0 7 1 0 0 25 0 18 0 954998232 10792632320 12763 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 47163133967187 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539680
[startup+0.300582 s]
/proc/loadavg: 2.22 2.05 2.02 2/195 30182
/proc/meminfo: memFree=29245436/32950928 swapFree=67051812/67111528
[pid=30182] ppid=30180 vsize=10542764 CPUtime=0.56 cores=1,3,5,7
/proc/30182/stat : 30182 (java) S 30180 30182 28735 0 -1 4202496 19111 0 1 0 54 2 0 0 25 0 18 0 954998232 10795790336 17672 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30182/statm: 2635691 17673 2202 9 0 2626425 0
[pid=30182/tid=30183] ppid=30180 vsize=10542764 CPUtime=0.28 cores=1,3,5,7
/proc/30182/task/30183/stat : 30183 (java) R 30180 30182 28735 0 -1 4202560 14172 0 1 0 26 2 0 0 25 0 18 0 954998232 10795790336 17673 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 46912505550121 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10542764
[startup+0.700507 s]
/proc/loadavg: 2.22 2.05 2.02 2/195 30182
/proc/meminfo: memFree=29245436/32950928 swapFree=67051812/67111528
[pid=30182] ppid=30180 vsize=10552748 CPUtime=1.43 cores=1,3,5,7
/proc/30182/stat : 30182 (java) S 30180 30182 28735 0 -1 4202496 37169 0 1 0 138 5 0 0 25 0 19 0 954998232 10806013952 33429 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30182/statm: 2638187 33429 2228 9 0 2628921 0
[pid=30182/tid=30183] ppid=30180 vsize=10552748 CPUtime=0.68 cores=1,3,5,7
/proc/30182/task/30183/stat : 30183 (java) R 30180 30182 28735 0 -1 4202560 27008 0 1 0 65 3 0 0 25 0 19 0 954998232 10806013952 33429 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 46912505534457 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 10552748
[startup+1.50136 s]
/proc/loadavg: 2.36 2.08 2.03 3/214 30201
/proc/meminfo: memFree=29043944/32950928 swapFree=67051812/67111528
[pid=30182] ppid=30180 vsize=10552748 CPUtime=2.72 cores=1,3,5,7
/proc/30182/stat : 30182 (java) S 30180 30182 28735 0 -1 4202496 90012 0 1 0 261 11 0 0 25 0 19 0 954998232 10806013952 84337 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30182/statm: 2638187 84339 2234 9 0 2628921 0
[pid=30182/tid=30183] ppid=30180 vsize=10552748 CPUtime=1.48 cores=1,3,5,7
/proc/30182/task/30183/stat : 30183 (java) R 30180 30182 28735 0 -1 4202560 77370 0 1 0 139 9 0 0 25 0 19 0 954998232 10806013952 84340 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 46912505616078 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30182/tid=30185] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30185/stat : 30185 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998234 10806013952 84341 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30186] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30186/stat : 30186 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998234 10806013952 84342 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 3 0 0 0
[pid=30182/tid=30187] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30187/stat : 30187 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998234 10806013952 84343 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30188] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30188/stat : 30188 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998234 10806013952 84345 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 3 0 0 0
[pid=30182/tid=30189] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30189/stat : 30189 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998234 10806013952 84349 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30190] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30190/stat : 30190 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998234 10806013952 84351 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30191] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30191/stat : 30191 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998234 10806013952 84354 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 3 0 0 0
[pid=30182/tid=30192] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30192/stat : 30192 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998234 10806013952 84358 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 3 0 0 0
[pid=30182/tid=30193] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30193/stat : 30193 (java) S 30180 30182 28735 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 954998235 10806013952 84361 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210624 0 0 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30194] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30194/stat : 30194 (java) S 30180 30182 28735 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954998235 10806013952 84365 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30195] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30195/stat : 30195 (java) S 30180 30182 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954998235 10806013952 84367 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30196] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30196/stat : 30196 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998237 10806013952 84370 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917217713 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30197] ppid=30180 vsize=10552748 CPUtime=0.55 cores=1,3,5,7
/proc/30182/task/30197/stat : 30197 (java) S 30180 30182 28735 0 -1 4202560 5901 0 0 0 55 0 0 0 20 0 19 0 954998237 10806013952 84373 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30198] ppid=30180 vsize=10552748 CPUtime=0.65 cores=1,3,5,7
/proc/30182/task/30198/stat : 30198 (java) R 30180 30182 28735 0 -1 4202560 5585 0 0 0 65 0 0 0 21 0 19 0 954998237 10806013952 84375 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 47163128859976 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30182/tid=30199] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30199/stat : 30199 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998237 10806013952 84377 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30200] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30200/stat : 30200 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954998237 10806013952 84379 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210624 0 4 0 16800975 18446604471152584832 0 0 -1 7 0 0 0
[pid=30182/tid=30201] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30201/stat : 30201 (java) S 30180 30182 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954998289 10806013952 84381 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210624 0 4 0 16800975 18446604471152584832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 10552748
[startup+3.10107 s]
/proc/loadavg: 2.36 2.08 2.03 4/214 30201
/proc/meminfo: memFree=28626312/32950928 swapFree=67051812/67111528
[pid=30182] ppid=30180 vsize=10552748 CPUtime=4.43 cores=1,3,5,7
/proc/30182/stat : 30182 (java) S 30180 30182 28735 0 -1 4202496 309071 0 1 0 409 34 0 0 25 0 19 0 954998232 10806013952 302055 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30182/statm: 2638187 302066 2234 9 0 2628921 0
[pid=30182/tid=30183] ppid=30180 vsize=10552748 CPUtime=3.08 cores=1,3,5,7
/proc/30182/task/30183/stat : 30183 (java) R 30180 30182 28735 0 -1 4202560 295089 0 1 0 276 32 0 0 25 0 19 0 954998232 10806013952 302071 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 46912505615942 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30182/tid=30185] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30185/stat : 30185 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998234 10806013952 302075 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30186] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30186/stat : 30186 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998234 10806013952 302075 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 3 0 0 0
[pid=30182/tid=30187] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30187/stat : 30187 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998234 10806013952 302078 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30188] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30188/stat : 30188 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998234 10806013952 302084 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 3 0 0 0
[pid=30182/tid=30189] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30189/stat : 30189 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998234 10806013952 302089 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30190] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30190/stat : 30190 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998234 10806013952 302096 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30191] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30191/stat : 30191 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998234 10806013952 302103 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 3 0 0 0
[pid=30182/tid=30192] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30192/stat : 30192 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998234 10806013952 302104 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 3 0 0 0
[pid=30182/tid=30193] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30193/stat : 30193 (java) S 30180 30182 28735 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 954998235 10806013952 302104 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210624 0 0 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30194] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30194/stat : 30194 (java) S 30180 30182 28735 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954998235 10806013952 302109 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30195] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30195/stat : 30195 (java) S 30180 30182 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954998235 10806013952 302114 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30196] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30196/stat : 30196 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998237 10806013952 302120 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917217713 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30197] ppid=30180 vsize=10552748 CPUtime=0.63 cores=1,3,5,7
/proc/30182/task/30197/stat : 30197 (java) S 30180 30182 28735 0 -1 4202560 7255 0 0 0 63 0 0 0 18 0 19 0 954998237 10806013952 302128 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30198] ppid=30180 vsize=10552748 CPUtime=0.68 cores=1,3,5,7
/proc/30182/task/30198/stat : 30198 (java) S 30180 30182 28735 0 -1 4202560 5585 0 0 0 68 0 0 0 19 0 19 0 954998237 10806013952 302133 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 3 0 0 0
[pid=30182/tid=30199] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30199/stat : 30199 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998237 10806013952 302133 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30200] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30200/stat : 30200 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954998237 10806013952 302134 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210624 0 4 0 16800975 18446604471152584832 0 0 -1 7 0 0 0
[pid=30182/tid=30201] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30201/stat : 30201 (java) S 30180 30182 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954998289 10806013952 302140 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210624 0 4 0 16800975 18446604471152584832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 10552748
[startup+6.30148 s]
/proc/loadavg: 2.33 2.08 2.02 3/214 30201
/proc/meminfo: memFree=26232496/32950928 swapFree=67051812/67111528
[pid=30182] ppid=30180 vsize=10552748 CPUtime=7.67 cores=1,3,5,7
/proc/30182/stat : 30182 (java) S 30180 30182 28735 0 -1 4202496 668260 0 1 0 698 69 0 0 25 0 19 0 954998232 10806013952 661236 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30182/statm: 2638187 661236 2248 9 0 2628921 0
[pid=30182/tid=30183] ppid=30180 vsize=10552748 CPUtime=6.27 cores=1,3,5,7
/proc/30182/task/30183/stat : 30183 (java) R 30180 30182 28735 0 -1 4202560 651018 0 1 0 560 67 0 0 25 0 19 0 954998232 10806013952 661236 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 46912505616337 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30182/tid=30185] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30185/stat : 30185 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 954998234 10806013952 661236 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30186] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30186/stat : 30186 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 954998234 10806013952 661236 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 3 0 0 0
[pid=30182/tid=30187] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30187/stat : 30187 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 954998234 10806013952 661236 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30188] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30188/stat : 30188 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 954998234 10806013952 661236 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 3 0 0 0
[pid=30182/tid=30189] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30189/stat : 30189 (java) S 30180 30182 28735 0 -1 4202560 541 0 0 0 0 0 0 0 18 0 19 0 954998234 10806013952 661236 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 7 0 0 0
[pid=30182/tid=30190] ppid=30180 vsize=10552748 CPUtime=0.01 cores=1,3,5,7
/proc/30182/task/30190/stat : 30190 (java) S 30180 30182 28735 0 -1 4202560 939 0 0 0 1 0 0 0 18 0 19 0 954998234 10806013952 661236 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30191] ppid=30180 vsize=10552748 CPUtime=0.01 cores=1,3,5,7
/proc/30182/task/30191/stat : 30191 (java) S 30180 30182 28735 0 -1 4202560 833 0 0 0 1 0 0 0 18 0 19 0 954998234 10806013952 661236 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 3 0 0 0
[pid=30182/tid=30192] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30192/stat : 30192 (java) S 30180 30182 28735 0 -1 4202560 923 0 0 0 0 0 0 0 18 0 19 0 954998234 10806013952 661236 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30193] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30193/stat : 30193 (java) S 30180 30182 28735 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 19 0 954998235 10806013952 661236 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210624 0 0 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30194] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30194/stat : 30194 (java) S 30180 30182 28735 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954998235 10806013952 661236 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30195] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30195/stat : 30195 (java) S 30180 30182 28735 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954998235 10806013952 661236 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30196] ppid=30180 vsize=10552748 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30196/stat : 30196 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998237 10806013952 661236 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917217713 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30197] ppid=30180 vsize=10552748 CPUtime=0.65 cores=1,3,5,7
/proc/30182/task/30197/stat : 30197 (java) S 30180 30182 28735 0 -1 4202560 7257 0 0 0 65 0 0 0 15 0 19 0 954998237 10806013952 661236 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30198] ppid=30180 vsize=10552748 CPUtime=0.68 cores=1,3,5,7
/proc/30182/task/30198/stat : 30198 (java) S 30180 30182 28735 0 -1 4202560 5585 0 0 0 68 0 0 0 19 0 19 0 954998237 10806013952 661236 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/30182/task/30194/stat : 30194 (java) S 30180 30182 28735 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954998235 10803675136 943482 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30195] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30195/stat : 30195 (java) S 30180 30182 28735 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954998235 10803675136 943482 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30196] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30196/stat : 30196 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998237 10803675136 943482 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917217713 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30197] ppid=30180 vsize=10550464 CPUtime=0.72 cores=1,3,5,7
/proc/30182/task/30197/stat : 30197 (java) S 30180 30182 28735 0 -1 4202560 7269 0 0 0 72 0 0 0 15 0 19 0 954998237 10803675136 943482 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30198] ppid=30180 vsize=10550464 CPUtime=1.29 cores=1,3,5,7
/proc/30182/task/30198/stat : 30198 (java) S 30180 30182 28735 0 -1 4202560 9050 0 0 0 129 0 0 0 15 0 19 0 954998237 10803675136 943482 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 3 0 0 0
[pid=30182/tid=30199] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30199/stat : 30199 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998237 10803675136 943482 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30200] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30200/stat : 30200 (java) S 30180 30182 28735 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 954998237 10803675136 943482 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210624 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30201] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30201/stat : 30201 (java) S 30180 30182 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954998289 10803675136 943482 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210624 0 4 0 16800975 18446604471152584832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1667.05
Current children cumulated vsize (KiB) 10550464
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 30250
/proc/meminfo: memFree=23549652/32950928 swapFree=67051812/67111528
[pid=30182] ppid=30180 vsize=10550464 CPUtime=1727.15 cores=1,3,5,7
/proc/30182/stat : 30182 (java) S 30180 30182 28735 0 -1 4202496 958870 0 1 0 172612 103 0 0 25 0 19 0 954998232 10803675136 944782 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30182/statm: 2637616 944782 2264 9 0 2628350 0
[pid=30182/tid=30183] ppid=30180 vsize=10550464 CPUtime=1720.71 cores=1,3,5,7
/proc/30182/task/30183/stat : 30183 (java) R 30180 30182 28735 0 -1 4202560 833390 0 1 0 171985 86 0 0 25 0 19 0 954998232 10803675136 944782 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 46912505739824 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30182/tid=30185] ppid=30180 vsize=10550464 CPUtime=0.49 cores=1,3,5,7
/proc/30182/task/30185/stat : 30185 (java) S 30180 30182 28735 0 -1 4202560 14413 0 0 0 48 1 0 0 16 0 19 0 954998234 10803675136 944782 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30186] ppid=30180 vsize=10550464 CPUtime=0.46 cores=1,3,5,7
/proc/30182/task/30186/stat : 30186 (java) S 30180 30182 28735 0 -1 4202560 13960 0 0 0 44 2 0 0 16 0 19 0 954998234 10803675136 944782 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 3 0 0 0
[pid=30182/tid=30187] ppid=30180 vsize=10550464 CPUtime=0.5 cores=1,3,5,7
/proc/30182/task/30187/stat : 30187 (java) S 30180 30182 28735 0 -1 4202560 15054 0 0 0 49 1 0 0 15 0 19 0 954998234 10803675136 944782 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 3 0 0 0
[pid=30182/tid=30188] ppid=30180 vsize=10550464 CPUtime=0.47 cores=1,3,5,7
/proc/30182/task/30188/stat : 30188 (java) S 30180 30182 28735 0 -1 4202560 9354 0 0 0 47 0 0 0 15 0 19 0 954998234 10803675136 944782 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30189] ppid=30180 vsize=10550464 CPUtime=0.48 cores=1,3,5,7
/proc/30182/task/30189/stat : 30189 (java) S 30180 30182 28735 0 -1 4202560 12182 0 0 0 47 1 0 0 16 0 19 0 954998234 10803675136 944782 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 3 0 0 0
[pid=30182/tid=30190] ppid=30180 vsize=10550464 CPUtime=0.46 cores=1,3,5,7
/proc/30182/task/30190/stat : 30190 (java) S 30180 30182 28735 0 -1 4202560 12783 0 0 0 44 2 0 0 15 0 19 0 954998234 10803675136 944782 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 7 0 0 0
[pid=30182/tid=30191] ppid=30180 vsize=10550464 CPUtime=0.5 cores=1,3,5,7
/proc/30182/task/30191/stat : 30191 (java) S 30180 30182 28735 0 -1 4202560 15723 0 0 0 49 1 0 0 16 0 19 0 954998234 10803675136 944782 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 7 0 0 0
[pid=30182/tid=30192] ppid=30180 vsize=10550464 CPUtime=0.43 cores=1,3,5,7
/proc/30182/task/30192/stat : 30192 (java) S 30180 30182 28735 0 -1 4202560 12869 0 0 0 41 2 0 0 15 0 19 0 954998234 10803675136 944782 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 7 0 0 0
[pid=30182/tid=30193] ppid=30180 vsize=10550464 CPUtime=0.53 cores=1,3,5,7
/proc/30182/task/30193/stat : 30193 (java) S 30180 30182 28735 0 -1 4202560 1572 0 0 0 53 0 0 0 15 0 19 0 954998235 10803675136 944782 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210624 0 0 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30194] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30194/stat : 30194 (java) S 30180 30182 28735 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954998235 10803675136 944782 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30195] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30195/stat : 30195 (java) S 30180 30182 28735 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954998235 10803675136 944782 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30196] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30196/stat : 30196 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998237 10803675136 944782 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917217713 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30197] ppid=30180 vsize=10550464 CPUtime=0.72 cores=1,3,5,7
/proc/30182/task/30197/stat : 30197 (java) S 30180 30182 28735 0 -1 4202560 7269 0 0 0 72 0 0 0 15 0 19 0 954998237 10803675136 944782 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30198] ppid=30180 vsize=10550464 CPUtime=1.29 cores=1,3,5,7
/proc/30182/task/30198/stat : 30198 (java) S 30180 30182 28735 0 -1 4202560 9050 0 0 0 129 0 0 0 15 0 19 0 954998237 10803675136 944782 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 3 0 0 0
[pid=30182/tid=30199] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30199/stat : 30199 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998237 10803675136 944782 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30200] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30200/stat : 30200 (java) S 30180 30182 28735 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 954998237 10803675136 944782 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210624 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30201] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30201/stat : 30201 (java) S 30180 30182 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954998289 10803675136 944782 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210624 0 4 0 16800975 18446604471152584832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1727.15
Current children cumulated vsize (KiB) 10550464
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 30262
/proc/meminfo: memFree=28382352/32950928 swapFree=67051812/67111528
[pid=30182] ppid=30180 vsize=10550464 CPUtime=1787.25 cores=1,3,5,7
/proc/30182/stat : 30182 (java) S 30180 30182 28735 0 -1 4202496 959885 0 1 0 178622 103 0 0 25 0 19 0 954998232 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30182/statm: 2637616 945771 2264 9 0 2628350 0
[pid=30182/tid=30183] ppid=30180 vsize=10550464 CPUtime=1780.67 cores=1,3,5,7
/proc/30182/task/30183/stat : 30183 (java) R 30180 30182 28735 0 -1 4202560 833393 0 1 0 177981 86 0 0 25 0 19 0 954998232 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 46912505739851 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30182/tid=30185] ppid=30180 vsize=10550464 CPUtime=0.51 cores=1,3,5,7
/proc/30182/task/30185/stat : 30185 (java) S 30180 30182 28735 0 -1 4202560 14690 0 0 0 50 1 0 0 16 0 19 0 954998234 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30186] ppid=30180 vsize=10550464 CPUtime=0.47 cores=1,3,5,7
/proc/30182/task/30186/stat : 30186 (java) S 30180 30182 28735 0 -1 4202560 14002 0 0 0 45 2 0 0 15 0 19 0 954998234 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 7 0 0 0
[pid=30182/tid=30187] ppid=30180 vsize=10550464 CPUtime=0.51 cores=1,3,5,7
/proc/30182/task/30187/stat : 30187 (java) S 30180 30182 28735 0 -1 4202560 15119 0 0 0 50 1 0 0 16 0 19 0 954998234 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 3 0 0 0
[pid=30182/tid=30188] ppid=30180 vsize=10550464 CPUtime=0.48 cores=1,3,5,7
/proc/30182/task/30188/stat : 30188 (java) S 30180 30182 28735 0 -1 4202560 9520 0 0 0 48 0 0 0 15 0 19 0 954998234 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30189] ppid=30180 vsize=10550464 CPUtime=0.5 cores=1,3,5,7
/proc/30182/task/30189/stat : 30189 (java) S 30180 30182 28735 0 -1 4202560 12237 0 0 0 49 1 0 0 16 0 19 0 954998234 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 7 0 0 0
[pid=30182/tid=30190] ppid=30180 vsize=10550464 CPUtime=0.49 cores=1,3,5,7
/proc/30182/task/30190/stat : 30190 (java) S 30180 30182 28735 0 -1 4202560 12990 0 0 0 47 2 0 0 16 0 19 0 954998234 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30191] ppid=30180 vsize=10550464 CPUtime=0.52 cores=1,3,5,7
/proc/30182/task/30191/stat : 30191 (java) S 30180 30182 28735 0 -1 4202560 15826 0 0 0 51 1 0 0 15 0 19 0 954998234 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30192] ppid=30180 vsize=10550464 CPUtime=0.44 cores=1,3,5,7
/proc/30182/task/30192/stat : 30192 (java) S 30180 30182 28735 0 -1 4202560 12960 0 0 0 42 2 0 0 15 0 19 0 954998234 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 7 0 0 0
[pid=30182/tid=30193] ppid=30180 vsize=10550464 CPUtime=0.53 cores=1,3,5,7
/proc/30182/task/30193/stat : 30193 (java) S 30180 30182 28735 0 -1 4202560 1576 0 0 0 53 0 0 0 15 0 19 0 954998235 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210624 0 0 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30194] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30194/stat : 30194 (java) S 30180 30182 28735 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954998235 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30195] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30195/stat : 30195 (java) S 30180 30182 28735 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954998235 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30196] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30196/stat : 30196 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998237 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917217713 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30197] ppid=30180 vsize=10550464 CPUtime=0.72 cores=1,3,5,7
/proc/30182/task/30197/stat : 30197 (java) S 30180 30182 28735 0 -1 4202560 7269 0 0 0 72 0 0 0 15 0 19 0 954998237 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30198] ppid=30180 vsize=10550464 CPUtime=1.29 cores=1,3,5,7
/proc/30182/task/30198/stat : 30198 (java) S 30180 30182 28735 0 -1 4202560 9050 0 0 0 129 0 0 0 15 0 19 0 954998237 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 3 0 0 0
[pid=30182/tid=30199] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30199/stat : 30199 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998237 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30200] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30200/stat : 30200 (java) S 30180 30182 28735 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954998237 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210624 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30201] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30201/stat : 30201 (java) S 30180 30182 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954998289 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210624 0 4 0 16800975 18446604471152584832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1787.25
Current children cumulated vsize (KiB) 10550464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.1 s]
/proc/loadavg: 1.85 1.97 1.99 2/190 30279
/proc/meminfo: memFree=28464384/32950928 swapFree=67051812/67111528
[pid=30182] ppid=30180 vsize=10550464 CPUtime=1800.06 cores=1,3,5,7
/proc/30182/stat : 30182 (java) S 30180 30182 28735 0 -1 4202496 959887 0 1 0 179903 103 0 0 25 0 19 0 954998232 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30182/statm: 2637616 945771 2264 9 0 2628350 0
[pid=30182/tid=30183] ppid=30180 vsize=10550464 CPUtime=1793.48 cores=1,3,5,7
/proc/30182/task/30183/stat : 30183 (java) R 30180 30182 28735 0 -1 4202560 833393 0 1 0 179262 86 0 0 25 0 19 0 954998232 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 46912505696101 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30182/tid=30185] ppid=30180 vsize=10550464 CPUtime=0.51 cores=1,3,5,7
/proc/30182/task/30185/stat : 30185 (java) S 30180 30182 28735 0 -1 4202560 14690 0 0 0 50 1 0 0 16 0 19 0 954998234 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30186] ppid=30180 vsize=10550464 CPUtime=0.47 cores=1,3,5,7
/proc/30182/task/30186/stat : 30186 (java) S 30180 30182 28735 0 -1 4202560 14002 0 0 0 45 2 0 0 15 0 19 0 954998234 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 7 0 0 0
[pid=30182/tid=30187] ppid=30180 vsize=10550464 CPUtime=0.51 cores=1,3,5,7
/proc/30182/task/30187/stat : 30187 (java) S 30180 30182 28735 0 -1 4202560 15119 0 0 0 50 1 0 0 16 0 19 0 954998234 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 3 0 0 0
[pid=30182/tid=30188] ppid=30180 vsize=10550464 CPUtime=0.48 cores=1,3,5,7
/proc/30182/task/30188/stat : 30188 (java) S 30180 30182 28735 0 -1 4202560 9520 0 0 0 48 0 0 0 15 0 19 0 954998234 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30189] ppid=30180 vsize=10550464 CPUtime=0.5 cores=1,3,5,7
/proc/30182/task/30189/stat : 30189 (java) S 30180 30182 28735 0 -1 4202560 12237 0 0 0 49 1 0 0 16 0 19 0 954998234 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 7 0 0 0
[pid=30182/tid=30190] ppid=30180 vsize=10550464 CPUtime=0.49 cores=1,3,5,7
/proc/30182/task/30190/stat : 30190 (java) S 30180 30182 28735 0 -1 4202560 12990 0 0 0 47 2 0 0 16 0 19 0 954998234 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30191] ppid=30180 vsize=10550464 CPUtime=0.52 cores=1,3,5,7
/proc/30182/task/30191/stat : 30191 (java) S 30180 30182 28735 0 -1 4202560 15826 0 0 0 51 1 0 0 15 0 19 0 954998234 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30192] ppid=30180 vsize=10550464 CPUtime=0.44 cores=1,3,5,7
/proc/30182/task/30192/stat : 30192 (java) S 30180 30182 28735 0 -1 4202560 12960 0 0 0 42 2 0 0 15 0 19 0 954998234 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 7 0 0 0
[pid=30182/tid=30193] ppid=30180 vsize=10550464 CPUtime=0.53 cores=1,3,5,7
/proc/30182/task/30193/stat : 30193 (java) S 30180 30182 28735 0 -1 4202560 1576 0 0 0 53 0 0 0 15 0 19 0 954998235 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210624 0 0 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30194] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30194/stat : 30194 (java) S 30180 30182 28735 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954998235 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30195] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30195/stat : 30195 (java) S 30180 30182 28735 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954998235 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30196] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30196/stat : 30196 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998237 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917217713 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30197] ppid=30180 vsize=10550464 CPUtime=0.72 cores=1,3,5,7
/proc/30182/task/30197/stat : 30197 (java) S 30180 30182 28735 0 -1 4202560 7269 0 0 0 72 0 0 0 15 0 19 0 954998237 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30198] ppid=30180 vsize=10550464 CPUtime=1.29 cores=1,3,5,7
/proc/30182/task/30198/stat : 30198 (java) S 30180 30182 28735 0 -1 4202560 9050 0 0 0 129 0 0 0 15 0 19 0 954998237 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 3 0 0 0
[pid=30182/tid=30199] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30199/stat : 30199 (java) S 30180 30182 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954998237 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210009 0 4 0 16800975 18446604471152584832 0 0 -1 1 0 0 0
[pid=30182/tid=30200] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30200/stat : 30200 (java) S 30180 30182 28735 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 954998237 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210624 0 4 0 16800975 18446604471152584832 0 0 -1 5 0 0 0
[pid=30182/tid=30201] ppid=30180 vsize=10550464 CPUtime=0 cores=1,3,5,7
/proc/30182/task/30201/stat : 30201 (java) S 30180 30182 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954998289 10803675136 945771 33554432000 1073741824 1073778376 140735152350288 18446744073709551615 260917210624 0 4 0 16800975 18446604471152584832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10550464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.22 s]
/proc/loadavg: 1.85 1.97 1.99 2/190 30279
/proc/meminfo: memFree=28464384/32950928 swapFree=67051812/67111528
[pid=30182] ppid=30180 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/30182/stat : 30182 (java) Z 30180 30182 28735 0 -1 4203548 959923 0 1 0 179907 112 0 0 17 0 2 0 954998232 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30182/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.27
CPU time (s): 1800.24
CPU user time (s): 1799.07
CPU system time (s): 1.17082
CPU usage (%): 100.277
Max. virtual memory (cumulated for all children) (KiB): 10565012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.17082
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 959923
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= 39191
involuntary context switches= 9720
runsolver used 2.96855 second user time and 6.84096 second system time
The end