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-3456953-1307209217/watcher-3456953-1307209217 -o /tmp/evaluation-result-3456953-1307209217/solver-3456953-1307209217 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456953-1307209217.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.02 2.02 2.00 2/461 32134
/proc/meminfo: memFree=26315736/32950928 swapFree=52246700/67111528
[pid=32134] ppid=32132 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/32134/stat : 32134 (java) S 32132 32134 31238 0 -1 4202496 5505 0 1 0 0 0 0 0 22 0 2 0 911152347 10694979584 5206 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/32134/statm: 2611079 5220 917 9 0 2602235 0
[pid=32134/tid=32135] ppid=32132 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32135/stat : 32135 (java) R 32132 32134 31238 0 -1 4202560 4452 0 1 0 0 0 0 0 23 0 2 0 911152348 10694979584 5268 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.023044 s]
/proc/loadavg: 2.02 2.02 2.00 2/461 32134
/proc/meminfo: memFree=26315736/32950928 swapFree=52246700/67111528
[pid=32134] ppid=32132 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/32134/stat : 32134 (java) S 32132 32134 31238 0 -1 4202496 9497 0 1 0 0 1 0 0 22 0 2 0 911152347 10694979584 9198 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/32134/statm: 2611079 9222 917 9 0 2602235 0
[pid=32134/tid=32135] ppid=32132 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32135/stat : 32135 (java) R 32132 32134 31238 0 -1 4202560 8418 0 1 0 0 0 0 0 23 0 2 0 911152348 10694979584 9234 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316
[startup+0.108106 s]
/proc/loadavg: 2.02 2.02 2.00 2/461 32134
/proc/meminfo: memFree=26315736/32950928 swapFree=52246700/67111528
[pid=32134] ppid=32132 vsize=10540300 CPUtime=0.1 cores=1,3,5,7
/proc/32134/stat : 32134 (java) S 32132 32134 31238 0 -1 4202496 13118 0 1 0 9 1 0 0 22 0 18 0 911152347 10793267200 12814 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32134/statm: 2635075 12814 2092 9 0 2625809 0
[pid=32134/tid=32135] ppid=32132 vsize=10540300 CPUtime=0.08 cores=1,3,5,7
/proc/32134/task/32135/stat : 32135 (java) R 32132 32134 31238 0 -1 4202560 11205 0 1 0 7 1 0 0 18 0 18 0 911152348 10793267200 12814 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540300
[startup+0.3799 s]
/proc/loadavg: 2.02 2.02 2.00 2/461 32134
/proc/meminfo: memFree=26315736/32950928 swapFree=52246700/67111528
[pid=32134] ppid=32132 vsize=10549120 CPUtime=0.76 cores=1,3,5,7
/proc/32134/stat : 32134 (java) S 32132 32134 31238 0 -1 4202496 26319 0 1 0 73 3 0 0 22 0 19 0 911152347 10802298880 23813 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32134/statm: 2637280 23818 2215 9 0 2628014 0
[pid=32134/tid=32135] ppid=32132 vsize=10549120 CPUtime=0.36 cores=1,3,5,7
/proc/32134/task/32135/stat : 32135 (java) R 32132 32134 31238 0 -1 4202560 17395 0 1 0 34 2 0 0 18 0 19 0 911152348 10802298880 23821 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 46912505528746 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 10549120
[startup+0.70084 s]
/proc/loadavg: 2.02 2.02 2.00 2/461 32134
/proc/meminfo: memFree=26315736/32950928 swapFree=52246700/67111528
[pid=32134] ppid=32132 vsize=10553632 CPUtime=1.63 cores=1,3,5,7
/proc/32134/stat : 32134 (java) S 32132 32134 31238 0 -1 4202496 54862 0 1 0 156 7 0 0 22 0 19 0 911152347 10806919168 50799 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32134/statm: 2638408 50800 2218 9 0 2629142 0
[pid=32134/tid=32135] ppid=32132 vsize=10553632 CPUtime=0.68 cores=1,3,5,7
/proc/32134/task/32135/stat : 32135 (java) R 32132 32134 31238 0 -1 4202560 43409 0 1 0 63 5 0 0 18 0 19 0 911152348 10806919168 50800 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 46912505917921 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 10553632
[startup+1.50075 s]
/proc/loadavg: 2.02 2.02 2.00 3/480 32153
/proc/meminfo: memFree=26004540/32950928 swapFree=52246700/67111528
[pid=32134] ppid=32132 vsize=10553632 CPUtime=2.56 cores=1,3,5,7
/proc/32134/stat : 32134 (java) S 32132 32134 31238 0 -1 4202496 126395 0 1 0 243 13 0 0 22 0 19 0 911152347 10806919168 122331 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32134/statm: 2638408 122333 2224 9 0 2629142 0
[pid=32134/tid=32135] ppid=32132 vsize=10553632 CPUtime=1.47 cores=1,3,5,7
/proc/32134/task/32135/stat : 32135 (java) R 32132 32134 31238 0 -1 4202560 114922 0 1 0 136 11 0 0 19 0 19 0 911152348 10806919168 122333 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 46912505585360 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32134/tid=32137] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32137/stat : 32137 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 911152350 10806919168 122333 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32138] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32138/stat : 32138 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911152350 10806919168 122333 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 5 0 0 0
[pid=32134/tid=32139] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32139/stat : 32139 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911152350 10806919168 122333 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
[pid=32134/tid=32140] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32140/stat : 32140 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911152350 10806919168 122333 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 5 0 0 0
[pid=32134/tid=32141] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32141/stat : 32141 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911152350 10806919168 122333 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
[pid=32134/tid=32142] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32142/stat : 32142 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911152350 10806919168 122333 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
[pid=32134/tid=32143] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32143/stat : 32143 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911152350 10806919168 122333 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 5 0 0 0
[pid=32134/tid=32144] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32144/stat : 32144 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911152350 10806919168 122333 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 5 0 0 0
[pid=32134/tid=32145] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32145/stat : 32145 (java) S 32132 32134 31238 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911152351 10806919168 122334 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907307008 0 0 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32146] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32146/stat : 32146 (java) S 32132 32134 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911152351 10806919168 122337 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32147] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32147/stat : 32147 (java) S 32132 32134 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911152351 10806919168 122345 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32148] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32148/stat : 32148 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911152353 10806919168 122352 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907314097 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32149] ppid=32132 vsize=10553632 CPUtime=0.63 cores=1,3,5,7
/proc/32134/task/32149/stat : 32149 (java) S 32132 32134 31238 0 -1 4202560 5639 0 0 0 62 1 0 0 15 0 19 0 911152353 10806919168 122358 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
[pid=32134/tid=32150] ppid=32132 vsize=10553632 CPUtime=0.44 cores=1,3,5,7
/proc/32134/task/32150/stat : 32150 (java) S 32132 32134 31238 0 -1 4202560 4675 0 0 0 44 0 0 0 15 0 19 0 911152353 10806919168 122365 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32151] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32151/stat : 32151 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911152353 10806919168 122366 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32152] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32152/stat : 32152 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911152353 10806919168 122366 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907307008 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
[pid=32134/tid=32153] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32153/stat : 32153 (java) S 32132 32134 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911152364 10806919168 122366 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907307008 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 10553632
[startup+3.10258 s]
/proc/loadavg: 2.02 2.02 2.00 3/480 32153
/proc/meminfo: memFree=25675568/32950928 swapFree=52246700/67111528
[pid=32134] ppid=32132 vsize=10553632 CPUtime=4.19 cores=1,3,5,7
/proc/32134/stat : 32134 (java) S 32132 32134 31238 0 -1 4202496 216442 0 1 0 396 23 0 0 22 0 19 0 911152347 10806919168 212378 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32134/statm: 2638408 212383 2224 9 0 2629142 0
[pid=32134/tid=32135] ppid=32132 vsize=10553632 CPUtime=3.07 cores=1,3,5,7
/proc/32134/task/32135/stat : 32135 (java) R 32132 32134 31238 0 -1 4202560 204974 0 1 0 286 21 0 0 19 0 19 0 911152348 10806919168 212386 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 46912505585360 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32134/tid=32137] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32137/stat : 32137 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 911152350 10806919168 212389 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32138] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32138/stat : 32138 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911152350 10806919168 212392 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 5 0 0 0
[pid=32134/tid=32139] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32139/stat : 32139 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911152350 10806919168 212395 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
[pid=32134/tid=32140] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32140/stat : 32140 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911152350 10806919168 212397 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 5 0 0 0
[pid=32134/tid=32141] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32141/stat : 32141 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911152350 10806919168 212401 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
[pid=32134/tid=32142] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32142/stat : 32142 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911152350 10806919168 212404 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
[pid=32134/tid=32143] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32143/stat : 32143 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911152350 10806919168 212406 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 5 0 0 0
[pid=32134/tid=32144] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32144/stat : 32144 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911152350 10806919168 212410 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 5 0 0 0
[pid=32134/tid=32145] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32145/stat : 32145 (java) S 32132 32134 31238 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 911152351 10806919168 212413 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907307008 0 0 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32146] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32146/stat : 32146 (java) S 32132 32134 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911152351 10806919168 212416 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32147] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32147/stat : 32147 (java) S 32132 32134 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911152351 10806919168 212419 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32148] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32148/stat : 32148 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911152353 10806919168 212422 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907314097 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32149] ppid=32132 vsize=10553632 CPUtime=0.63 cores=1,3,5,7
/proc/32134/task/32149/stat : 32149 (java) S 32132 32134 31238 0 -1 4202560 5639 0 0 0 62 1 0 0 15 0 19 0 911152353 10806919168 212425 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
[pid=32134/tid=32150] ppid=32132 vsize=10553632 CPUtime=0.46 cores=1,3,5,7
/proc/32134/task/32150/stat : 32150 (java) S 32132 32134 31238 0 -1 4202560 4677 0 0 0 46 0 0 0 15 0 19 0 911152353 10806919168 212427 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32151] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32151/stat : 32151 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911152353 10806919168 212431 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32152] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32152/stat : 32152 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911152353 10806919168 212434 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907307008 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
[pid=32134/tid=32153] ppid=32132 vsize=10553632 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32153/stat : 32153 (java) S 32132 32134 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911152364 10806919168 212437 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907307008 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 10553632
[startup+6.30087 s]
/proc/loadavg: 2.02 2.02 2.00 3/480 32153
/proc/meminfo: memFree=25293532/32950928 swapFree=52246700/67111528
[pid=32134] ppid=32132 vsize=10550912 CPUtime=7.4 cores=1,3,5,7
/proc/32134/stat : 32134 (java) S 32132 32134 31238 0 -1 4202496 280129 0 1 0 709 31 0 0 22 0 19 0 911152347 10804133888 275179 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32134/statm: 2637728 275181 2225 9 0 2628462 0
[pid=32134/tid=32135] ppid=32132 vsize=10550912 CPUtime=6.28 cores=1,3,5,7
/proc/32134/task/32135/stat : 32135 (java) R 32132 32134 31238 0 -1 4202560 268654 0 1 0 599 29 0 0 25 0 19 0 911152348 10804133888 275182 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 46912505585360 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32134/tid=32137] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32137/stat : 32137 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 911152350 10804133888 275186 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32138] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32138/stat : 32138 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911152350 10804133888 275186 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 5 0 0 0
[pid=32134/tid=32139] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32139/stat : 32139 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911152350 10804133888 275186 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
[pid=32134/tid=32140] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32140/stat : 32140 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911152350 10804133888 275186 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 5 0 0 0
[pid=32134/tid=32141] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32141/stat : 32141 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911152350 10804133888 275187 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
[pid=32134/tid=32142] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32142/stat : 32142 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911152350 10804133888 275190 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
[pid=32134/tid=32143] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32143/stat : 32143 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911152350 10804133888 275190 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 5 0 0 0
[pid=32134/tid=32144] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32144/stat : 32144 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911152350 10804133888 275192 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 5 0 0 0
[pid=32134/tid=32145] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32145/stat : 32145 (java) S 32132 32134 31238 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 911152351 10804133888 275192 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907307008 0 0 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32146] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32146/stat : 32146 (java) S 32132 32134 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911152351 10804133888 275192 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32147] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32147/stat : 32147 (java) S 32132 32134 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 911152351 10804133888 275194 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32148] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32148/stat : 32148 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911152353 10804133888 275195 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907314097 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32149] ppid=32132 vsize=10550912 CPUtime=0.63 cores=1,3,5,7
/proc/32134/task/32149/stat : 32149 (java) S 32132 32134 31238 0 -1 4202560 5639 0 0 0 62 1 0 0 15 0 19 0 911152353 10804133888 275199 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
[pid=32134/tid=32150] ppid=32132 vsize=10550912 CPUtime=0.46 cores=1,3,5,7
/proc/32134/task/32150/stat : 32150 (java) S 32132 32134 31238 0 -1 4202560 4677 0 0 0 46 0 0 0 15 0 19 0 911152353 10804133888 275199 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=32134/tid=32153] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32153/stat : 32153 (java) S 32132 32134 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911152364 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907307008 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1664.12
Current children cumulated vsize (KiB) 10550912
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/480 32256
/proc/meminfo: memFree=22592376/32950928 swapFree=52246700/67111528
[pid=32134] ppid=32132 vsize=10550912 CPUtime=1724.12 cores=1,3,5,7
/proc/32134/stat : 32134 (java) S 32132 32134 31238 0 -1 4202496 917925 0 1 0 172301 111 0 0 22 0 19 0 911152347 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32134/statm: 2637728 909660 2238 9 0 2628462 0
[pid=32134/tid=32135] ppid=32132 vsize=10550912 CPUtime=1722.1 cores=1,3,5,7
/proc/32134/task/32135/stat : 32135 (java) R 32132 32134 31238 0 -1 4202560 739582 0 1 0 172130 80 0 0 25 0 19 0 911152348 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 46912505586196 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32134/tid=32137] ppid=32132 vsize=10550912 CPUtime=0.1 cores=1,3,5,7
/proc/32134/task/32137/stat : 32137 (java) S 32132 32134 31238 0 -1 4202560 23379 0 0 0 6 4 0 0 16 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
[pid=32134/tid=32138] ppid=32132 vsize=10550912 CPUtime=0.07 cores=1,3,5,7
/proc/32134/task/32138/stat : 32138 (java) S 32132 32134 31238 0 -1 4202560 13325 0 0 0 6 1 0 0 16 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32139] ppid=32132 vsize=10550912 CPUtime=0.11 cores=1,3,5,7
/proc/32134/task/32139/stat : 32139 (java) S 32132 32134 31238 0 -1 4202560 22774 0 0 0 8 3 0 0 15 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32140] ppid=32132 vsize=10550912 CPUtime=0.09 cores=1,3,5,7
/proc/32134/task/32140/stat : 32140 (java) S 32132 32134 31238 0 -1 4202560 19393 0 0 0 7 2 0 0 15 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 1 0 0 0
[pid=32134/tid=32141] ppid=32132 vsize=10550912 CPUtime=0.1 cores=1,3,5,7
/proc/32134/task/32141/stat : 32141 (java) S 32132 32134 31238 0 -1 4202560 21637 0 0 0 6 4 0 0 16 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 5 0 0 0
[pid=32134/tid=32142] ppid=32132 vsize=10550912 CPUtime=0.08 cores=1,3,5,7
/proc/32134/task/32142/stat : 32142 (java) S 32132 32134 31238 0 -1 4202560 14086 0 0 0 6 2 0 0 16 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 1 0 0 0
[pid=32134/tid=32143] ppid=32132 vsize=10550912 CPUtime=0.14 cores=1,3,5,7
/proc/32134/task/32143/stat : 32143 (java) S 32132 32134 31238 0 -1 4202560 33404 0 0 0 8 6 0 0 16 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32144] ppid=32132 vsize=10550912 CPUtime=0.08 cores=1,3,5,7
/proc/32134/task/32144/stat : 32144 (java) S 32132 32134 31238 0 -1 4202560 18742 0 0 0 5 3 0 0 15 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 5 0 0 0
[pid=32134/tid=32145] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32145/stat : 32145 (java) S 32132 32134 31238 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 911152351 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907307008 0 0 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32146] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32146/stat : 32146 (java) S 32132 32134 31238 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 911152351 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32147] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32147/stat : 32147 (java) S 32132 32134 31238 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911152351 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32148] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32148/stat : 32148 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911152353 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907314097 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32149] ppid=32132 vsize=10550912 CPUtime=0.67 cores=1,3,5,7
/proc/32134/task/32149/stat : 32149 (java) S 32132 32134 31238 0 -1 4202560 5649 0 0 0 66 1 0 0 15 0 19 0 911152353 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
[pid=32134/tid=32150] ppid=32132 vsize=10550912 CPUtime=0.47 cores=1,3,5,7
/proc/32134/task/32150/stat : 32150 (java) S 32132 32134 31238 0 -1 4202560 4677 0 0 0 47 0 0 0 15 0 19 0 911152353 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32151] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32151/stat : 32151 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911152353 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32152] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32152/stat : 32152 (java) S 32132 32134 31238 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 911152353 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907307008 0 4 0 16800975 18446604460632416576 0 0 -1 1 0 0 0
[pid=32134/tid=32153] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32153/stat : 32153 (java) S 32132 32134 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911152364 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907307008 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.12
Current children cumulated vsize (KiB) 10550912
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/480 32258
/proc/meminfo: memFree=22591840/32950928 swapFree=52246700/67111528
[pid=32134] ppid=32132 vsize=10550912 CPUtime=1784.12 cores=1,3,5,7
/proc/32134/stat : 32134 (java) S 32132 32134 31238 0 -1 4202496 917929 0 1 0 178301 111 0 0 22 0 19 0 911152347 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32134/statm: 2637728 909660 2238 9 0 2628462 0
[pid=32134/tid=32135] ppid=32132 vsize=10550912 CPUtime=1782.1 cores=1,3,5,7
/proc/32134/task/32135/stat : 32135 (java) R 32132 32134 31238 0 -1 4202560 739582 0 1 0 178130 80 0 0 25 0 19 0 911152348 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 46912505669825 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32134/tid=32137] ppid=32132 vsize=10550912 CPUtime=0.1 cores=1,3,5,7
/proc/32134/task/32137/stat : 32137 (java) S 32132 32134 31238 0 -1 4202560 23379 0 0 0 6 4 0 0 16 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
[pid=32134/tid=32138] ppid=32132 vsize=10550912 CPUtime=0.07 cores=1,3,5,7
/proc/32134/task/32138/stat : 32138 (java) S 32132 32134 31238 0 -1 4202560 13325 0 0 0 6 1 0 0 16 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32139] ppid=32132 vsize=10550912 CPUtime=0.11 cores=1,3,5,7
/proc/32134/task/32139/stat : 32139 (java) S 32132 32134 31238 0 -1 4202560 22774 0 0 0 8 3 0 0 15 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32140] ppid=32132 vsize=10550912 CPUtime=0.09 cores=1,3,5,7
/proc/32134/task/32140/stat : 32140 (java) S 32132 32134 31238 0 -1 4202560 19393 0 0 0 7 2 0 0 15 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 1 0 0 0
[pid=32134/tid=32141] ppid=32132 vsize=10550912 CPUtime=0.1 cores=1,3,5,7
/proc/32134/task/32141/stat : 32141 (java) S 32132 32134 31238 0 -1 4202560 21637 0 0 0 6 4 0 0 16 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 5 0 0 0
[pid=32134/tid=32142] ppid=32132 vsize=10550912 CPUtime=0.08 cores=1,3,5,7
/proc/32134/task/32142/stat : 32142 (java) S 32132 32134 31238 0 -1 4202560 14086 0 0 0 6 2 0 0 16 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 1 0 0 0
[pid=32134/tid=32143] ppid=32132 vsize=10550912 CPUtime=0.14 cores=1,3,5,7
/proc/32134/task/32143/stat : 32143 (java) S 32132 32134 31238 0 -1 4202560 33404 0 0 0 8 6 0 0 16 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32144] ppid=32132 vsize=10550912 CPUtime=0.08 cores=1,3,5,7
/proc/32134/task/32144/stat : 32144 (java) S 32132 32134 31238 0 -1 4202560 18742 0 0 0 5 3 0 0 15 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 5 0 0 0
[pid=32134/tid=32145] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32145/stat : 32145 (java) S 32132 32134 31238 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 911152351 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907307008 0 0 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32146] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32146/stat : 32146 (java) S 32132 32134 31238 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 911152351 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32147] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32147/stat : 32147 (java) S 32132 32134 31238 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911152351 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32148] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32148/stat : 32148 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911152353 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907314097 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32149] ppid=32132 vsize=10550912 CPUtime=0.67 cores=1,3,5,7
/proc/32134/task/32149/stat : 32149 (java) S 32132 32134 31238 0 -1 4202560 5649 0 0 0 66 1 0 0 15 0 19 0 911152353 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
[pid=32134/tid=32150] ppid=32132 vsize=10550912 CPUtime=0.47 cores=1,3,5,7
/proc/32134/task/32150/stat : 32150 (java) S 32132 32134 31238 0 -1 4202560 4677 0 0 0 47 0 0 0 15 0 19 0 911152353 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32151] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32151/stat : 32151 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911152353 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32152] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32152/stat : 32152 (java) S 32132 32134 31238 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 911152353 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907307008 0 4 0 16800975 18446604460632416576 0 0 -1 1 0 0 0
[pid=32134/tid=32153] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32153/stat : 32153 (java) S 32132 32134 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911152364 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907307008 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.12
Current children cumulated vsize (KiB) 10550912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/480 32258
/proc/meminfo: memFree=22591828/32950928 swapFree=52246700/67111528
[pid=32134] ppid=32132 vsize=10550912 CPUtime=1800.04 cores=1,3,5,7
/proc/32134/stat : 32134 (java) S 32132 32134 31238 0 -1 4202496 917929 0 1 0 179893 111 0 0 22 0 19 0 911152347 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32134/statm: 2637728 909660 2238 9 0 2628462 0
[pid=32134/tid=32135] ppid=32132 vsize=10550912 CPUtime=1798.02 cores=1,3,5,7
/proc/32134/task/32135/stat : 32135 (java) R 32132 32134 31238 0 -1 4202560 739582 0 1 0 179722 80 0 0 25 0 19 0 911152348 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 46912505586221 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32134/tid=32137] ppid=32132 vsize=10550912 CPUtime=0.1 cores=1,3,5,7
/proc/32134/task/32137/stat : 32137 (java) S 32132 32134 31238 0 -1 4202560 23379 0 0 0 6 4 0 0 16 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
[pid=32134/tid=32138] ppid=32132 vsize=10550912 CPUtime=0.07 cores=1,3,5,7
/proc/32134/task/32138/stat : 32138 (java) S 32132 32134 31238 0 -1 4202560 13325 0 0 0 6 1 0 0 16 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32139] ppid=32132 vsize=10550912 CPUtime=0.11 cores=1,3,5,7
/proc/32134/task/32139/stat : 32139 (java) S 32132 32134 31238 0 -1 4202560 22774 0 0 0 8 3 0 0 15 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32140] ppid=32132 vsize=10550912 CPUtime=0.09 cores=1,3,5,7
/proc/32134/task/32140/stat : 32140 (java) S 32132 32134 31238 0 -1 4202560 19393 0 0 0 7 2 0 0 15 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 1 0 0 0
[pid=32134/tid=32141] ppid=32132 vsize=10550912 CPUtime=0.1 cores=1,3,5,7
/proc/32134/task/32141/stat : 32141 (java) S 32132 32134 31238 0 -1 4202560 21637 0 0 0 6 4 0 0 16 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 5 0 0 0
[pid=32134/tid=32142] ppid=32132 vsize=10550912 CPUtime=0.08 cores=1,3,5,7
/proc/32134/task/32142/stat : 32142 (java) S 32132 32134 31238 0 -1 4202560 14086 0 0 0 6 2 0 0 16 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 1 0 0 0
[pid=32134/tid=32143] ppid=32132 vsize=10550912 CPUtime=0.14 cores=1,3,5,7
/proc/32134/task/32143/stat : 32143 (java) S 32132 32134 31238 0 -1 4202560 33404 0 0 0 8 6 0 0 16 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32144] ppid=32132 vsize=10550912 CPUtime=0.08 cores=1,3,5,7
/proc/32134/task/32144/stat : 32144 (java) S 32132 32134 31238 0 -1 4202560 18742 0 0 0 5 3 0 0 15 0 19 0 911152350 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 5 0 0 0
[pid=32134/tid=32145] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32145/stat : 32145 (java) S 32132 32134 31238 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 911152351 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907307008 0 0 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32146] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32146/stat : 32146 (java) S 32132 32134 31238 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 911152351 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32147] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32147/stat : 32147 (java) S 32132 32134 31238 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911152351 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32148] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32148/stat : 32148 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911152353 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907314097 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32149] ppid=32132 vsize=10550912 CPUtime=0.67 cores=1,3,5,7
/proc/32134/task/32149/stat : 32149 (java) S 32132 32134 31238 0 -1 4202560 5649 0 0 0 66 1 0 0 15 0 19 0 911152353 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
[pid=32134/tid=32150] ppid=32132 vsize=10550912 CPUtime=0.47 cores=1,3,5,7
/proc/32134/task/32150/stat : 32150 (java) S 32132 32134 31238 0 -1 4202560 4677 0 0 0 47 0 0 0 15 0 19 0 911152353 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32151] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32151/stat : 32151 (java) S 32132 32134 31238 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911152353 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907306393 0 4 0 16800975 18446604460632416576 0 0 -1 3 0 0 0
[pid=32134/tid=32152] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32152/stat : 32152 (java) S 32132 32134 31238 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 911152353 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907307008 0 4 0 16800975 18446604460632416576 0 0 -1 1 0 0 0
[pid=32134/tid=32153] ppid=32132 vsize=10550912 CPUtime=0 cores=1,3,5,7
/proc/32134/task/32153/stat : 32153 (java) S 32132 32134 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911152364 10804133888 909660 33554432000 1073741824 1073778376 140734273578592 18446744073709551615 231907307008 0 4 0 16800975 18446604460632416576 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10550912
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/464 32261
/proc/meminfo: memFree=23227144/32950928 swapFree=52246700/67111528
[pid=32134] ppid=32132 vsize=0 CPUtime=1800.39 cores=1,3,5,7
/proc/32134/stat : 32134 (java) Z 32132 32134 31238 0 -1 4203548 917960 0 1 0 179909 130 0 0 16 0 2 0 911152347 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32134/statm: 0 0 0 0 0 0 0
[pid=32134/tid=32151] ppid=32132 vsize=0 CPUtime=0.04 cores=1,3,5,7
/proc/32134/task/32151/stat : 32151 (java) R 32132 32134 31238 0 -1 4203588 1 0 0 0 0 4 0 0 18 0 2 0 911152353 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 0
[startup+1798.52 s]
/proc/loadavg: 2.00 2.01 2.00 3/464 32261
/proc/meminfo: memFree=23227144/32950928 swapFree=52246700/67111528
[pid=32134] ppid=32132 vsize=0 CPUtime=1800.49 cores=1,3,5,7
/proc/32134/stat : 32134 (java) Z 32132 32134 31238 0 -1 4203548 917960 0 1 0 179909 140 0 0 16 0 2 0 911152347 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32134/statm: 0 0 0 0 0 0 0
[pid=32134/tid=32151] ppid=32132 vsize=0 CPUtime=0.14 cores=1,3,5,7
/proc/32134/task/32151/stat : 32151 (java) R 32132 32134 31238 0 -1 4203588 1 0 0 0 0 14 0 0 18 0 2 0 911152353 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.52
CPU time (s): 1800.5
CPU user time (s): 1799.09
CPU system time (s): 1.40879
CPU usage (%): 100.11
Max. virtual memory (cumulated for all children) (KiB): 10556084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.40878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 917960
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= 36895
involuntary context switches= 21110
runsolver used 7.63184 second user time and 18.0843 second system time
The end