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-3479326-1307450178/watcher-3479326-1307450178 -o /tmp/evaluation-result-3479326-1307450178/solver-3479326-1307450178 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3479326-1307450178.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.13 2.06 2.01 2/476 9293
/proc/meminfo: memFree=24512272/32951124 swapFree=60688864/67111528
[pid=9293] ppid=9291 vsize=30536 CPUtime=0 cores=0,2,4,6
/proc/9293/stat : 9293 (java) S 9291 9293 8793 0 -1 4202496 1245 0 0 0 0 0 0 0 24 0 2 0 856616076 31268864 963 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/9293/statm: 7901 963 736 9 0 385 0
[pid=9293/tid=9294] ppid=9291 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9294/stat : 9294 (java) R 9291 9293 8793 0 -1 4202560 6439 0 1 0 0 0 0 0 25 0 2 0 856616076 10694979584 7255 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232335586363 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0926101 s]
/proc/loadavg: 2.13 2.06 2.01 2/476 9293
/proc/meminfo: memFree=24512272/32951124 swapFree=60688864/67111528
[pid=9293] ppid=9291 vsize=10474936 CPUtime=0.09 cores=0,2,4,6
/proc/9293/stat : 9293 (java) S 9291 9293 8793 0 -1 4202496 12964 0 1 0 8 1 0 0 24 0 18 0 856616076 10726334464 12660 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9293/statm: 2618734 12660 2093 9 0 2609468 0
[pid=9293/tid=9294] ppid=9291 vsize=10474936 CPUtime=0.07 cores=0,2,4,6
/proc/9293/task/9294/stat : 9294 (java) R 9291 9293 8793 0 -1 4202560 11046 0 1 0 6 1 0 0 18 0 18 0 856616076 10726334464 12660 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 46947860964530 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10474936
[startup+0.100552 s]
/proc/loadavg: 2.13 2.06 2.01 2/476 9293
/proc/meminfo: memFree=24512272/32951124 swapFree=60688864/67111528
[pid=9293] ppid=9291 vsize=10474936 CPUtime=0.1 cores=0,2,4,6
/proc/9293/stat : 9293 (java) S 9291 9293 8793 0 -1 4202496 13047 0 1 0 9 1 0 0 24 0 18 0 856616076 10726334464 12743 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9293/statm: 2618734 12743 2093 9 0 2609468 0
[pid=9293/tid=9294] ppid=9291 vsize=10474936 CPUtime=0.08 cores=0,2,4,6
/proc/9293/task/9294/stat : 9294 (java) R 9291 9293 8793 0 -1 4202560 11129 0 1 0 7 1 0 0 18 0 18 0 856616076 10726334464 12743 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 46912496214937 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10474936
[startup+0.300555 s]
/proc/loadavg: 2.13 2.06 2.01 2/476 9293
/proc/meminfo: memFree=24512272/32951124 swapFree=60688864/67111528
[pid=9293] ppid=9291 vsize=10608776 CPUtime=0.47 cores=0,2,4,6
/proc/9293/stat : 9293 (java) S 9291 9293 8793 0 -1 4202496 19894 0 1 0 45 2 0 0 24 0 18 0 856616076 10863386624 19069 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9293/statm: 2652194 19071 2200 9 0 2642928 0
[pid=9293/tid=9294] ppid=9291 vsize=10608776 CPUtime=0.29 cores=0,2,4,6
/proc/9293/task/9294/stat : 9294 (java) R 9291 9293 8793 0 -1 4202560 16261 0 1 0 27 2 0 0 18 0 18 0 856616076 10863386624 19072 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 46912505564646 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10608776
[startup+0.756384 s]
/proc/loadavg: 2.13 2.06 2.01 2/476 9293
/proc/meminfo: memFree=24512272/32951124 swapFree=60688864/67111528
[pid=9293] ppid=9291 vsize=10608904 CPUtime=1.09 cores=0,2,4,6
/proc/9293/stat : 9293 (java) S 9291 9293 8793 0 -1 4202496 44899 0 1 0 104 5 0 0 24 0 18 0 856616076 10863517696 42885 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9293/statm: 2652226 42885 2205 9 0 2642960 0
[pid=9293/tid=9294] ppid=9291 vsize=10608904 CPUtime=0.73 cores=0,2,4,6
/proc/9293/task/9294/stat : 9294 (java) R 9291 9293 8793 0 -1 4202560 39929 0 1 0 69 4 0 0 18 0 18 0 856616076 10863517696 42887 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 46912505652077 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 10608904
[startup+1.50136 s]
/proc/loadavg: 2.13 2.06 2.01 3/494 9311
/proc/meminfo: memFree=24133440/32951124 swapFree=60688864/67111528
[pid=9293] ppid=9291 vsize=10608904 CPUtime=1.84 cores=0,2,4,6
/proc/9293/stat : 9293 (java) S 9291 9293 8793 0 -1 4202496 119443 0 1 0 169 15 0 0 24 0 18 0 856616076 10863517696 117377 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9293/statm: 2652226 117381 2205 9 0 2642960 0
[pid=9293/tid=9294] ppid=9291 vsize=10608904 CPUtime=1.48 cores=0,2,4,6
/proc/9293/task/9294/stat : 9294 (java) R 9291 9293 8793 0 -1 4202560 114422 0 1 0 134 14 0 0 19 0 18 0 856616076 10863517696 117383 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 46912505573854 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9293/tid=9296] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9296/stat : 9296 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856616078 10863517696 117385 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 0 0 0 0
[pid=9293/tid=9297] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9297/stat : 9297 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856616078 10863517696 117388 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9298] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9298/stat : 9298 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 856616078 10863517696 117390 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9299] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9299/stat : 9299 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856616078 10863517696 117393 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9300] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9300/stat : 9300 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856616078 10863517696 117395 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 0 0 0 0
[pid=9293/tid=9301] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9301/stat : 9301 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856616078 10863517696 117397 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9302] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9302/stat : 9302 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856616078 10863517696 117400 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9303] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9303/stat : 9303 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856616078 10863517696 117402 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9304] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9304/stat : 9304 (java) S 9291 9293 8793 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 856616079 10863517696 117405 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708928 0 0 0 16800975 18446604453684228544 0 0 -1 2 0 0 0
[pid=9293/tid=9305] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9305/stat : 9305 (java) S 9291 9293 8793 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 856616079 10863517696 117407 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 2 0 0 0
[pid=9293/tid=9306] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9306/stat : 9306 (java) S 9291 9293 8793 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 856616079 10863517696 117410 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9307] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9307/stat : 9307 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 856616082 10863517696 117412 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347716017 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9308] ppid=9291 vsize=10608904 CPUtime=0.19 cores=0,2,4,6
/proc/9293/task/9308/stat : 9308 (java) S 9291 9293 8793 0 -1 4202560 2390 0 0 0 19 0 0 0 16 0 18 0 856616082 10863517696 117414 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9309] ppid=9291 vsize=10608904 CPUtime=0.15 cores=0,2,4,6
/proc/9293/task/9309/stat : 9309 (java) S 9291 9293 8793 0 -1 4202560 1484 0 0 0 15 0 0 0 15 0 18 0 856616082 10863517696 117417 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9310] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9310/stat : 9310 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 856616082 10863517696 117419 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9311] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9311/stat : 9311 (java) S 9291 9293 8793 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 856616082 10863517696 117422 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708928 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 10608904
[startup+3.10111 s]
/proc/loadavg: 2.13 2.06 2.01 3/494 9311
/proc/meminfo: memFree=23695836/32951124 swapFree=60688864/67111528
[pid=9293] ppid=9291 vsize=10608904 CPUtime=3.45 cores=0,2,4,6
/proc/9293/stat : 9293 (java) S 9291 9293 8793 0 -1 4202496 275301 0 1 0 309 36 0 0 24 0 18 0 856616076 10863517696 273235 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9293/statm: 2652226 273242 2205 9 0 2642960 0
[pid=9293/tid=9294] ppid=9291 vsize=10608904 CPUtime=3.08 cores=0,2,4,6
/proc/9293/task/9294/stat : 9294 (java) R 9291 9293 8793 0 -1 4202560 270289 0 1 0 273 35 0 0 25 0 18 0 856616076 10863517696 273251 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 46912505622960 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9293/tid=9296] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9296/stat : 9296 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856616078 10863517696 273259 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 0 0 0 0
[pid=9293/tid=9297] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9297/stat : 9297 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856616078 10863517696 273268 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9298] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9298/stat : 9298 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 856616078 10863517696 273273 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9299] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9299/stat : 9299 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856616078 10863517696 273275 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9300] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9300/stat : 9300 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856616078 10863517696 273277 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 0 0 0 0
[pid=9293/tid=9301] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9301/stat : 9301 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856616078 10863517696 273279 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9302] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9302/stat : 9302 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856616078 10863517696 273284 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9303] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9303/stat : 9303 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 856616078 10863517696 273284 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9304] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9304/stat : 9304 (java) S 9291 9293 8793 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 856616079 10863517696 273285 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708928 0 0 0 16800975 18446604453684228544 0 0 -1 2 0 0 0
[pid=9293/tid=9305] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9305/stat : 9305 (java) S 9291 9293 8793 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 856616079 10863517696 273286 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 2 0 0 0
[pid=9293/tid=9306] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9306/stat : 9306 (java) S 9291 9293 8793 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 856616079 10863517696 273289 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9307] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9307/stat : 9307 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 856616082 10863517696 273291 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347716017 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9308] ppid=9291 vsize=10608904 CPUtime=0.19 cores=0,2,4,6
/proc/9293/task/9308/stat : 9308 (java) S 9291 9293 8793 0 -1 4202560 2390 0 0 0 19 0 0 0 16 0 18 0 856616082 10863517696 273294 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9309] ppid=9291 vsize=10608904 CPUtime=0.16 cores=0,2,4,6
/proc/9293/task/9309/stat : 9309 (java) S 9291 9293 8793 0 -1 4202560 1484 0 0 0 16 0 0 0 15 0 18 0 856616082 10863517696 273296 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9310] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9310/stat : 9310 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 856616082 10863517696 273298 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9311] ppid=9291 vsize=10608904 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9311/stat : 9311 (java) S 9291 9293 8793 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 856616082 10863517696 273303 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708928 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 10608904
[startup+6.3015 s]
/proc/loadavg: 2.12 2.06 2.01 3/494 9311
/proc/meminfo: memFree=22716592/32951124 swapFree=60688864/67111528
[pid=9293] ppid=9291 vsize=10609932 CPUtime=6.94 cores=0,2,4,6
/proc/9293/stat : 9293 (java) S 9291 9293 8793 0 -1 4202496 418037 0 1 0 638 56 0 0 24 0 19 0 856616076 10864570368 415448 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9293/statm: 2652483 415448 2223 9 0 2643217 0
[pid=9293/tid=9294] ppid=9291 vsize=10609932 CPUtime=6.28 cores=0,2,4,6
/proc/9293/task/9294/stat : 9294 (java) R 9291 9293 8793 0 -1 4202560 412093 0 1 0 573 55 0 0 18 0 19 0 856616076 10864570368 415448 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 46912505804018 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9293/tid=9296] ppid=9291 vsize=10609932 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9296/stat : 9296 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856616078 10864570368 415448 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 0 0 0 0
[pid=9293/tid=9297] ppid=9291 vsize=10609932 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9297/stat : 9297 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856616078 10864570368 415448 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9298] ppid=9291 vsize=10609932 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9298/stat : 9298 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856616078 10864570368 415448 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9299] ppid=9291 vsize=10609932 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9299/stat : 9299 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856616078 10864570368 415448 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9300] ppid=9291 vsize=10609932 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9300/stat : 9300 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856616078 10864570368 415448 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 0 0 0 0
[pid=9293/tid=9301] ppid=9291 vsize=10609932 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9301/stat : 9301 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856616078 10864570368 415448 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9302] ppid=9291 vsize=10609932 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9302/stat : 9302 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856616078 10864570368 415448 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9303] ppid=9291 vsize=10609932 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9303/stat : 9303 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 856616078 10864570368 415448 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9304] ppid=9291 vsize=10609932 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9304/stat : 9304 (java) S 9291 9293 8793 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 856616079 10864570368 415449 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708928 0 0 0 16800975 18446604453684228544 0 0 -1 2 0 0 0
[pid=9293/tid=9305] ppid=9291 vsize=10609932 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9305/stat : 9305 (java) S 9291 9293 8793 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 856616079 10864570368 415449 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 2 0 0 0
[pid=9293/tid=9306] ppid=9291 vsize=10609932 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9306/stat : 9306 (java) S 9291 9293 8793 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 856616079 10864570368 415449 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9307] ppid=9291 vsize=10609932 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9307/stat : 9307 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856616082 10864570368 415449 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347716017 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9308] ppid=9291 vsize=10609932 CPUtime=0.33 cores=0,2,4,6
/proc/9293/task/9308/stat : 9308 (java) S 9291 9293 8793 0 -1 4202560 2427 0 0 0 33 0 0 0 15 0 19 0 856616082 10864570368 415449 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9309] ppid=9291 vsize=10609932 CPUtime=0.31 cores=0,2,4,6
/proc/9293/task/9309/stat : 9309 (java) S 9291 9293 8793 0 -1 4202560 2353 0 0 0 31 0 0 0 15 0 19 0 856616082 10864570368 415449 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9310] ppid=9291 vsize=10609932 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9310/stat : 9310 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 856616082 10864570368 415449 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9311] ppid=9291 vsize=10609932 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9311/stat : 9311 (java) S 9291 9293 8793 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 856616082 10864570368 415449 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708928 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/9293/task/9306/stat : 9306 (java) S 9291 9293 8793 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 856616079 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9307] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9307/stat : 9307 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856616082 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347716017 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9308] ppid=9291 vsize=10610804 CPUtime=0.65 cores=0,2,4,6
/proc/9293/task/9308/stat : 9308 (java) S 9291 9293 8793 0 -1 4202560 3961 0 0 0 65 0 0 0 15 0 19 0 856616082 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9309] ppid=9291 vsize=10610804 CPUtime=0.5 cores=0,2,4,6
/proc/9293/task/9309/stat : 9309 (java) S 9291 9293 8793 0 -1 4202560 3511 0 0 0 49 1 0 0 15 0 19 0 856616082 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9310] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9310/stat : 9310 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 856616082 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9311] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9311/stat : 9311 (java) S 9291 9293 8793 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 856616082 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708928 0 4 0 16800975 18446604453684228544 0 0 -1 0 0 0 0
[pid=9293/tid=9312] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9312/stat : 9312 (java) S 9291 9293 8793 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856616637 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708928 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1663.66
Current children cumulated vsize (KiB) 10610804
[startup+1722.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/495 9370
/proc/meminfo: memFree=19689648/32951124 swapFree=60688864/67111528
[pid=9293] ppid=9291 vsize=10610804 CPUtime=1723.66 cores=0,2,4,6
/proc/9293/stat : 9293 (java) S 9291 9293 8793 0 -1 4202496 692477 0 1 0 172271 95 0 0 24 0 19 0 856616076 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9293/statm: 2652701 687911 2242 9 0 2643435 0
[pid=9293/tid=9294] ppid=9291 vsize=10610804 CPUtime=1722.08 cores=0,2,4,6
/proc/9293/task/9294/stat : 9294 (java) R 9291 9293 8793 0 -1 4202560 650717 0 1 0 172120 88 0 0 25 0 19 0 856616076 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 46912505879081 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9293/tid=9296] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9296/stat : 9296 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 0 0 0 0
[pid=9293/tid=9297] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9297/stat : 9297 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9298] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9298/stat : 9298 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9299] ppid=9291 vsize=10610804 CPUtime=0.05 cores=0,2,4,6
/proc/9293/task/9299/stat : 9299 (java) S 9291 9293 8793 0 -1 4202560 4488 0 0 0 4 1 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 2 0 0 0
[pid=9293/tid=9300] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9300/stat : 9300 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 0 0 0 0
[pid=9293/tid=9301] ppid=9291 vsize=10610804 CPUtime=0.08 cores=0,2,4,6
/proc/9293/task/9301/stat : 9301 (java) S 9291 9293 8793 0 -1 4202560 9188 0 0 0 8 0 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9302] ppid=9291 vsize=10610804 CPUtime=0.12 cores=0,2,4,6
/proc/9293/task/9302/stat : 9302 (java) S 9291 9293 8793 0 -1 4202560 10375 0 0 0 11 1 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 0 0 0 0
[pid=9293/tid=9303] ppid=9291 vsize=10610804 CPUtime=0.12 cores=0,2,4,6
/proc/9293/task/9303/stat : 9303 (java) S 9291 9293 8793 0 -1 4202560 8963 0 0 0 11 1 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9304] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9304/stat : 9304 (java) S 9291 9293 8793 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 856616079 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708928 0 0 0 16800975 18446604453684228544 0 0 -1 2 0 0 0
[pid=9293/tid=9305] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9305/stat : 9305 (java) S 9291 9293 8793 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856616079 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9306] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9306/stat : 9306 (java) S 9291 9293 8793 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 856616079 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9307] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9307/stat : 9307 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856616082 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347716017 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9308] ppid=9291 vsize=10610804 CPUtime=0.65 cores=0,2,4,6
/proc/9293/task/9308/stat : 9308 (java) S 9291 9293 8793 0 -1 4202560 3961 0 0 0 65 0 0 0 15 0 19 0 856616082 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9309] ppid=9291 vsize=10610804 CPUtime=0.5 cores=0,2,4,6
/proc/9293/task/9309/stat : 9309 (java) S 9291 9293 8793 0 -1 4202560 3511 0 0 0 49 1 0 0 15 0 19 0 856616082 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9310] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9310/stat : 9310 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 856616082 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9311] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9311/stat : 9311 (java) S 9291 9293 8793 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 856616082 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708928 0 4 0 16800975 18446604453684228544 0 0 -1 0 0 0 0
[pid=9293/tid=9312] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9312/stat : 9312 (java) S 9291 9293 8793 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856616637 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708928 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1723.66
Current children cumulated vsize (KiB) 10610804
[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/495 9371
/proc/meminfo: memFree=19688432/32951124 swapFree=60688864/67111528
[pid=9293] ppid=9291 vsize=10610804 CPUtime=1783.66 cores=0,2,4,6
/proc/9293/stat : 9293 (java) S 9291 9293 8793 0 -1 4202496 692481 0 1 0 178270 96 0 0 24 0 19 0 856616076 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9293/statm: 2652701 687911 2242 9 0 2643435 0
[pid=9293/tid=9294] ppid=9291 vsize=10610804 CPUtime=1782.07 cores=0,2,4,6
/proc/9293/task/9294/stat : 9294 (java) R 9291 9293 8793 0 -1 4202560 650717 0 1 0 178119 88 0 0 25 0 19 0 856616076 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 46912505878901 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9293/tid=9296] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9296/stat : 9296 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 0 0 0 0
[pid=9293/tid=9297] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9297/stat : 9297 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9298] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9298/stat : 9298 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9299] ppid=9291 vsize=10610804 CPUtime=0.05 cores=0,2,4,6
/proc/9293/task/9299/stat : 9299 (java) S 9291 9293 8793 0 -1 4202560 4488 0 0 0 4 1 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 2 0 0 0
[pid=9293/tid=9300] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9300/stat : 9300 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 0 0 0 0
[pid=9293/tid=9301] ppid=9291 vsize=10610804 CPUtime=0.08 cores=0,2,4,6
/proc/9293/task/9301/stat : 9301 (java) S 9291 9293 8793 0 -1 4202560 9188 0 0 0 8 0 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9302] ppid=9291 vsize=10610804 CPUtime=0.12 cores=0,2,4,6
/proc/9293/task/9302/stat : 9302 (java) S 9291 9293 8793 0 -1 4202560 10375 0 0 0 11 1 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 0 0 0 0
[pid=9293/tid=9303] ppid=9291 vsize=10610804 CPUtime=0.12 cores=0,2,4,6
/proc/9293/task/9303/stat : 9303 (java) S 9291 9293 8793 0 -1 4202560 8963 0 0 0 11 1 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9304] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9304/stat : 9304 (java) S 9291 9293 8793 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 856616079 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708928 0 0 0 16800975 18446604453684228544 0 0 -1 2 0 0 0
[pid=9293/tid=9305] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9305/stat : 9305 (java) S 9291 9293 8793 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856616079 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9306] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9306/stat : 9306 (java) S 9291 9293 8793 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 856616079 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9307] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9307/stat : 9307 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856616082 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347716017 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9308] ppid=9291 vsize=10610804 CPUtime=0.65 cores=0,2,4,6
/proc/9293/task/9308/stat : 9308 (java) S 9291 9293 8793 0 -1 4202560 3961 0 0 0 65 0 0 0 15 0 19 0 856616082 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9309] ppid=9291 vsize=10610804 CPUtime=0.5 cores=0,2,4,6
/proc/9293/task/9309/stat : 9309 (java) S 9291 9293 8793 0 -1 4202560 3511 0 0 0 49 1 0 0 15 0 19 0 856616082 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9310] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9310/stat : 9310 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 856616082 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9311] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9311/stat : 9311 (java) S 9291 9293 8793 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 856616082 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708928 0 4 0 16800975 18446604453684228544 0 0 -1 0 0 0 0
[pid=9293/tid=9312] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9312/stat : 9312 (java) S 9291 9293 8793 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856616637 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708928 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1783.66
Current children cumulated vsize (KiB) 10610804
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.7 s]
/proc/loadavg: 1.87 2.01 1.99 2/471 9392
/proc/meminfo: memFree=23318940/32951124 swapFree=60688864/67111528
[pid=9293] ppid=9291 vsize=10610804 CPUtime=1800.07 cores=0,2,4,6
/proc/9293/stat : 9293 (java) S 9291 9293 8793 0 -1 4202496 692481 0 1 0 179911 96 0 0 24 0 19 0 856616076 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9293/statm: 2652701 687911 2242 9 0 2643435 0
[pid=9293/tid=9294] ppid=9291 vsize=10610804 CPUtime=1798.49 cores=0,2,4,6
/proc/9293/task/9294/stat : 9294 (java) R 9291 9293 8793 0 -1 4202560 650717 0 1 0 179761 88 0 0 25 0 19 0 856616076 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 46912505878879 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9293/tid=9296] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9296/stat : 9296 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 0 0 0 0
[pid=9293/tid=9297] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9297/stat : 9297 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9298] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9298/stat : 9298 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9299] ppid=9291 vsize=10610804 CPUtime=0.05 cores=0,2,4,6
/proc/9293/task/9299/stat : 9299 (java) S 9291 9293 8793 0 -1 4202560 4488 0 0 0 4 1 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 2 0 0 0
[pid=9293/tid=9300] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9300/stat : 9300 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 0 0 0 0
[pid=9293/tid=9301] ppid=9291 vsize=10610804 CPUtime=0.08 cores=0,2,4,6
/proc/9293/task/9301/stat : 9301 (java) S 9291 9293 8793 0 -1 4202560 9188 0 0 0 8 0 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9302] ppid=9291 vsize=10610804 CPUtime=0.12 cores=0,2,4,6
/proc/9293/task/9302/stat : 9302 (java) S 9291 9293 8793 0 -1 4202560 10375 0 0 0 11 1 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 0 0 0 0
[pid=9293/tid=9303] ppid=9291 vsize=10610804 CPUtime=0.12 cores=0,2,4,6
/proc/9293/task/9303/stat : 9303 (java) S 9291 9293 8793 0 -1 4202560 8963 0 0 0 11 1 0 0 18 0 19 0 856616078 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9304] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9304/stat : 9304 (java) S 9291 9293 8793 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 856616079 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708928 0 0 0 16800975 18446604453684228544 0 0 -1 2 0 0 0
[pid=9293/tid=9305] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9305/stat : 9305 (java) S 9291 9293 8793 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 856616079 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9306] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9306/stat : 9306 (java) S 9291 9293 8793 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 856616079 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9307] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9307/stat : 9307 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 856616082 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347716017 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9308] ppid=9291 vsize=10610804 CPUtime=0.65 cores=0,2,4,6
/proc/9293/task/9308/stat : 9308 (java) S 9291 9293 8793 0 -1 4202560 3961 0 0 0 65 0 0 0 15 0 19 0 856616082 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
[pid=9293/tid=9309] ppid=9291 vsize=10610804 CPUtime=0.5 cores=0,2,4,6
/proc/9293/task/9309/stat : 9309 (java) S 9291 9293 8793 0 -1 4202560 3511 0 0 0 49 1 0 0 15 0 19 0 856616082 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9310] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9310/stat : 9310 (java) S 9291 9293 8793 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 856616082 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708313 0 4 0 16800975 18446604453684228544 0 0 -1 4 0 0 0
[pid=9293/tid=9311] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9311/stat : 9311 (java) S 9291 9293 8793 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 856616082 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708928 0 4 0 16800975 18446604453684228544 0 0 -1 0 0 0 0
[pid=9293/tid=9312] ppid=9291 vsize=10610804 CPUtime=0 cores=0,2,4,6
/proc/9293/task/9312/stat : 9312 (java) S 9291 9293 8793 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 856616637 10865463296 687911 33554432000 1073741824 1073778376 140736779911920 18446744073709551615 232347708928 0 4 0 16800975 18446604453684228544 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10610804
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.82 s]
/proc/loadavg: 1.87 2.01 1.99 2/471 9392
/proc/meminfo: memFree=23318940/32951124 swapFree=60688864/67111528
[pid=9293] ppid=9291 vsize=0 CPUtime=1800.19 cores=0,2,4,6
/proc/9293/stat : 9293 (java) Z 9291 9293 8793 0 -1 4203548 692510 0 1 0 179913 106 0 0 17 0 2 0 856616076 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9293/statm: 0 0 0 0 0 0 0
[pid=9293/tid=9294] ppid=9291 vsize=0 CPUtime=1798.59 cores=0,2,4,6
/proc/9293/task/9294/stat : 9294 (java) R 9291 9293 8793 0 -1 4203588 650717 0 1 0 179761 98 0 0 25 0 2 0 856616076 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.84
CPU time (s): 1800.21
CPU user time (s): 1799.13
CPU system time (s): 1.07883
CPU usage (%): 100.076
Max. virtual memory (cumulated for all children) (KiB): 10613660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 1.07883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 692510
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= 36764
involuntary context switches= 20015
runsolver used 8.95064 second user time and 18.8651 second system time
The end