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-3454517-1307188355/watcher-3454517-1307188355 -o /tmp/evaluation-result-3454517-1307188355/solver-3454517-1307188355 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454517-1307188355.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: 1.00 1.02 1.23 5/433 9314
/proc/meminfo: memFree=12486256/32951132 swapFree=67093840/67111528
[pid=9314] ppid=9310 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/9314/stat : 9314 (java) R 9310 9314 6192 0 -1 4202496 949 0 0 0 0 0 0 0 18 0 1 0 830435157 23580672 693 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274659846033 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/9314/statm: 5757 693 510 9 0 124 0
[pid=9314/tid=9315] ppid=9310 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9315/stat : 9315 (java) R 9310 9314 6192 0 -1 4202560 2943 0 1 0 0 0 0 0 17 0 2 0 830435158 10694979584 3759 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274664502331 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.031825 s]
/proc/loadavg: 1.00 1.02 1.23 5/433 9314
/proc/meminfo: memFree=12486256/32951132 swapFree=67093840/67111528
[pid=9314] ppid=9310 vsize=10455012 CPUtime=0.01 cores=1,3,5,7
/proc/9314/stat : 9314 (java) S 9310 9314 6192 0 -1 4202496 10694 0 1 0 0 1 0 0 18 0 10 0 830435157 10705932288 10393 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/9314/statm: 2613753 10394 1513 9 0 2604501 0
[pid=9314/tid=9315] ppid=9310 vsize=10455012 CPUtime=0.01 cores=1,3,5,7
/proc/9314/task/9315/stat : 9315 (java) R 9310 9314 6192 0 -1 4202560 9573 0 1 0 0 1 0 0 19 0 10 0 830435158 10705932288 10395 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 47707058365976 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) 10455012
[startup+0.186404 s]
/proc/loadavg: 1.00 1.02 1.23 5/433 9314
/proc/meminfo: memFree=12486256/32951132 swapFree=67093840/67111528
[pid=9314] ppid=9310 vsize=10541104 CPUtime=0.25 cores=1,3,5,7
/proc/9314/stat : 9314 (java) S 9310 9314 6192 0 -1 4202496 14054 0 1 0 23 2 0 0 18 0 18 0 830435157 10794090496 13686 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9314/statm: 2635276 13686 2172 9 0 2626010 0
[pid=9314/tid=9315] ppid=9310 vsize=10541104 CPUtime=0.16 cores=1,3,5,7
/proc/9314/task/9315/stat : 9315 (java) R 9310 9314 6192 0 -1 4202560 11681 0 1 0 15 1 0 0 18 0 18 0 830435158 10794090496 13686 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10541104
[startup+0.300779 s]
/proc/loadavg: 1.00 1.02 1.23 5/433 9314
/proc/meminfo: memFree=12486256/32951132 swapFree=67093840/67111528
[pid=9314] ppid=9310 vsize=10541136 CPUtime=0.46 cores=1,3,5,7
/proc/9314/stat : 9314 (java) S 9310 9314 6192 0 -1 4202496 15662 0 1 0 44 2 0 0 18 0 18 0 830435157 10794123264 15098 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9314/statm: 2635284 15099 2198 9 0 2626018 0
[pid=9314/tid=9315] ppid=9310 vsize=10541136 CPUtime=0.28 cores=1,3,5,7
/proc/9314/task/9315/stat : 9315 (java) R 9310 9314 6192 0 -1 4202560 12873 0 1 0 26 2 0 0 18 0 18 0 830435158 10794123264 15099 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541136
[startup+0.700722 s]
/proc/loadavg: 1.00 1.02 1.23 5/433 9314
/proc/meminfo: memFree=12486256/32951132 swapFree=67093840/67111528
[pid=9314] ppid=9310 vsize=10545732 CPUtime=0.63 cores=1,3,5,7
/proc/9314/stat : 9314 (java) S 9310 9314 6192 0 -1 4202496 18275 0 1 0 61 2 0 0 18 0 19 0 830435157 10798829568 17015 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9314/statm: 2636433 17015 2223 9 0 2627167 0
[pid=9314/tid=9315] ppid=9310 vsize=10545732 CPUtime=0.32 cores=1,3,5,7
/proc/9314/task/9315/stat : 9315 (java) S 9310 9314 6192 0 -1 4202560 13694 0 1 0 30 2 0 0 19 0 19 0 830435158 10798829568 17015 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 10545732
[startup+1.50158 s]
/proc/loadavg: 1.00 1.02 1.23 8/475 9363
/proc/meminfo: memFree=12359520/32951132 swapFree=67093840/67111528
[pid=9314] ppid=9310 vsize=10547664 CPUtime=1.71 cores=1,3,5,7
/proc/9314/stat : 9314 (java) S 9310 9314 6192 0 -1 4202496 21361 0 1 0 168 3 0 0 18 0 22 0 830435157 10800807936 20100 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9314/statm: 2636916 20100 2235 9 0 2627650 0
[pid=9314/tid=9315] ppid=9310 vsize=10547664 CPUtime=0.34 cores=1,3,5,7
/proc/9314/task/9315/stat : 9315 (java) S 9310 9314 6192 0 -1 4202560 14109 0 1 0 32 2 0 0 15 0 22 0 830435158 10800807936 20100 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9327] ppid=9310 vsize=10547664 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9327/stat : 9327 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830435159 10800807936 20100 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9328] ppid=9310 vsize=10547664 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9328/stat : 9328 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830435159 10800807936 20100 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9329] ppid=9310 vsize=10547664 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9329/stat : 9329 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830435159 10800807936 20100 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9330] ppid=9310 vsize=10547664 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9330/stat : 9330 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830435159 10800807936 20100 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9331] ppid=9310 vsize=10547664 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9331/stat : 9331 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830435159 10800807936 20100 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9332] ppid=9310 vsize=10547664 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9332/stat : 9332 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830435159 10800807936 20100 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9333] ppid=9310 vsize=10547664 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9333/stat : 9333 (java) S 9310 9314 6192 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 830435159 10800807936 20100 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9334] ppid=9310 vsize=10547664 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9334/stat : 9334 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830435159 10800807936 20100 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9336] ppid=9310 vsize=10547664 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9336/stat : 9336 (java) S 9310 9314 6192 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830435161 10800807936 20100 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 0 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9339] ppid=9310 vsize=10547664 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9339/stat : 9339 (java) S 9310 9314 6192 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 22 0 830435161 10800807936 20100 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9340] ppid=9310 vsize=10547664 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9340/stat : 9340 (java) S 9310 9314 6192 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 830435161 10800807936 20100 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9343] ppid=9310 vsize=10547664 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9343/stat : 9343 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830435163 10800807936 20100 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676631985 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9344] ppid=9310 vsize=10547664 CPUtime=0.42 cores=1,3,5,7
/proc/9314/task/9344/stat : 9344 (java) S 9310 9314 6192 0 -1 4202560 2462 0 0 0 42 0 0 0 15 0 22 0 830435163 10800807936 20100 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9346] ppid=9310 vsize=10547664 CPUtime=0.37 cores=1,3,5,7
/proc/9314/task/9346/stat : 9346 (java) S 9310 9314 6192 0 -1 4202560 1453 0 0 0 37 0 0 0 16 0 22 0 830435163 10800807936 20100 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9348] ppid=9310 vsize=10547664 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9348/stat : 9348 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830435163 10800807936 20100 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9350] ppid=9310 vsize=10547664 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9350/stat : 9350 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830435163 10800807936 20100 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9356] ppid=9310 vsize=10547664 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9356/stat : 9356 (java) S 9310 9314 6192 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830435192 10800807936 20100 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9363] ppid=9310 vsize=10547664 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9363/stat : 9363 (java) S 9310 9314 6192 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 22 0 830435253 10800807936 20100 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 10547664
[startup+3.10126 s]
/proc/loadavg: 1.00 1.02 1.23 3/474 9372
/proc/meminfo: memFree=12307452/32951132 swapFree=67093840/67111528
[pid=9314] ppid=9310 vsize=10562648 CPUtime=4.5 cores=1,3,5,7
/proc/9314/stat : 9314 (java) S 9310 9314 6192 0 -1 4202496 40230 0 1 0 444 6 0 0 18 0 22 0 830435157 10816151552 36209 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9314/statm: 2640662 36209 2238 9 0 2631396 0
[pid=9314/tid=9315] ppid=9310 vsize=10562648 CPUtime=0.35 cores=1,3,5,7
/proc/9314/task/9315/stat : 9315 (java) S 9310 9314 6192 0 -1 4202560 14497 0 1 0 33 2 0 0 16 0 22 0 830435158 10816151552 36209 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9327] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9327/stat : 9327 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830435159 10816151552 36209 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9328] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9328/stat : 9328 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830435159 10816151552 36209 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9329] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9329/stat : 9329 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830435159 10816151552 36209 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9330] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9330/stat : 9330 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830435159 10816151552 36209 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9331] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9331/stat : 9331 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830435159 10816151552 36209 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9332] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9332/stat : 9332 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830435159 10816151552 36209 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9333] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9333/stat : 9333 (java) S 9310 9314 6192 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 830435159 10816151552 36209 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9334] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9334/stat : 9334 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830435159 10816151552 36209 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9336] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9336/stat : 9336 (java) S 9310 9314 6192 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 830435161 10816151552 36209 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 0 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9339] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9339/stat : 9339 (java) S 9310 9314 6192 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 22 0 830435161 10816151552 36209 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9340] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9340/stat : 9340 (java) S 9310 9314 6192 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 830435161 10816151552 36209 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9343] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9343/stat : 9343 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830435163 10816151552 36209 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676631985 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9344] ppid=9310 vsize=10562648 CPUtime=0.52 cores=1,3,5,7
/proc/9314/task/9344/stat : 9344 (java) S 9310 9314 6192 0 -1 4202560 2793 0 0 0 52 0 0 0 15 0 22 0 830435163 10816151552 36209 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9346] ppid=9310 vsize=10562648 CPUtime=0.68 cores=1,3,5,7
/proc/9314/task/9346/stat : 9346 (java) S 9310 9314 6192 0 -1 4202560 7625 0 0 0 68 0 0 0 16 0 22 0 830435163 10816151552 36209 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9348] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9348/stat : 9348 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830435163 10816151552 36209 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9350] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9350/stat : 9350 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830435163 10816151552 36209 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9363] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9363/stat : 9363 (java) S 9310 9314 6192 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 22 0 830435253 10816151552 36209 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 10562648
[startup+6.3007 s]
/proc/loadavg: 1.24 1.07 1.25 4/474 9390
/proc/meminfo: memFree=11861260/32951132 swapFree=67093840/67111528
[pid=9314] ppid=9310 vsize=10562648 CPUtime=9.58 cores=1,3,5,7
/proc/9314/stat : 9314 (java) S 9310 9314 6192 0 -1 4202496 84563 0 1 0 947 11 0 0 18 0 22 0 830435157 10816151552 80527 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9314/statm: 2640662 80527 2264 9 0 2631396 0
[pid=9314/tid=9315] ppid=9310 vsize=10562648 CPUtime=0.35 cores=1,3,5,7
/proc/9314/task/9315/stat : 9315 (java) S 9310 9314 6192 0 -1 4202560 14861 0 1 0 33 2 0 0 16 0 22 0 830435158 10816151552 80527 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9327] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9327/stat : 9327 (java) S 9310 9314 6192 0 -1 4202560 797 0 0 0 0 0 0 0 17 0 22 0 830435159 10816151552 80527 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9328] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9328/stat : 9328 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830435159 10816151552 80527 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9329] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9329/stat : 9329 (java) S 9310 9314 6192 0 -1 4202560 2099 0 0 0 0 0 0 0 15 0 22 0 830435159 10816151552 80527 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9330] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9330/stat : 9330 (java) S 9310 9314 6192 0 -1 4202560 2285 0 0 0 0 0 0 0 16 0 22 0 830435159 10816151552 80527 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9331] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9331/stat : 9331 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830435159 10816151552 80527 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9332] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9332/stat : 9332 (java) S 9310 9314 6192 0 -1 4202560 1390 0 0 0 0 0 0 0 18 0 22 0 830435159 10816151552 80527 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9333] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9333/stat : 9333 (java) S 9310 9314 6192 0 -1 4202560 2248 0 0 0 0 0 0 0 17 0 22 0 830435159 10816151552 80527 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9334] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9334/stat : 9334 (java) S 9310 9314 6192 0 -1 4202560 2198 0 0 0 0 0 0 0 16 0 22 0 830435159 10816151552 80527 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9336] ppid=9310 vsize=10562648 CPUtime=0.04 cores=1,3,5,7
/proc/9314/task/9336/stat : 9336 (java) S 9310 9314 6192 0 -1 4202560 7498 0 0 0 4 0 0 0 15 0 22 0 830435161 10816151552 80527 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 0 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9339] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9339/stat : 9339 (java) S 9310 9314 6192 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830435161 10816151552 80527 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9340] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9340/stat : 9340 (java) S 9310 9314 6192 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830435161 10816151552 80528 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9343] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9343/stat : 9343 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830435163 10816151552 80528 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676631985 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9344] ppid=9310 vsize=10562648 CPUtime=0.65 cores=1,3,5,7
/proc/9314/task/9344/stat : 9344 (java) S 9310 9314 6192 0 -1 4202560 2803 0 0 0 65 0 0 0 15 0 22 0 830435163 10816151552 80528 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=8934912/32951132 swapFree=67093840/67111528
[pid=9314] ppid=9310 vsize=10562648 CPUtime=1678.85 cores=1,3,5,7
/proc/9314/stat : 9314 (java) S 9310 9314 6192 0 -1 4202496 454279 0 1 0 167830 55 0 0 18 0 22 0 830435157 10816151552 449137 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9314/statm: 2640662 449137 2266 9 0 2631396 0
[pid=9314/tid=9315] ppid=9310 vsize=10562648 CPUtime=0.39 cores=1,3,5,7
/proc/9314/task/9315/stat : 9315 (java) S 9310 9314 6192 0 -1 4202560 15099 0 1 0 37 2 0 0 15 0 22 0 830435158 10816151552 449137 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9327] ppid=9310 vsize=10562648 CPUtime=2.2 cores=1,3,5,7
/proc/9314/task/9327/stat : 9327 (java) S 9310 9314 6192 0 -1 4202560 4130 0 0 0 219 1 0 0 16 0 22 0 830435159 10816151552 449137 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9328] ppid=9310 vsize=10562648 CPUtime=1.89 cores=1,3,5,7
/proc/9314/task/9328/stat : 9328 (java) S 9310 9314 6192 0 -1 4202560 536 0 0 0 189 0 0 0 16 0 22 0 830435159 10816151552 449137 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9329] ppid=9310 vsize=10562648 CPUtime=2.24 cores=1,3,5,7
/proc/9314/task/9329/stat : 9329 (java) S 9310 9314 6192 0 -1 4202560 4159 0 0 0 223 1 0 0 16 0 22 0 830435159 10816151552 449137 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9330] ppid=9310 vsize=10562648 CPUtime=2.34 cores=1,3,5,7
/proc/9314/task/9330/stat : 9330 (java) S 9310 9314 6192 0 -1 4202560 4819 0 0 0 234 0 0 0 15 0 22 0 830435159 10816151552 449137 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9331] ppid=9310 vsize=10562648 CPUtime=1.98 cores=1,3,5,7
/proc/9314/task/9331/stat : 9331 (java) S 9310 9314 6192 0 -1 4202560 1975 0 0 0 198 0 0 0 16 0 22 0 830435159 10816151552 449137 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9332] ppid=9310 vsize=10562648 CPUtime=2.19 cores=1,3,5,7
/proc/9314/task/9332/stat : 9332 (java) S 9310 9314 6192 0 -1 4202560 2437 0 0 0 219 0 0 0 16 0 22 0 830435159 10816151552 449137 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9333] ppid=9310 vsize=10562648 CPUtime=1.96 cores=1,3,5,7
/proc/9314/task/9333/stat : 9333 (java) S 9310 9314 6192 0 -1 4202560 7890 0 0 0 196 0 0 0 16 0 22 0 830435159 10816151552 449137 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9334] ppid=9310 vsize=10562648 CPUtime=2.23 cores=1,3,5,7
/proc/9314/task/9334/stat : 9334 (java) S 9310 9314 6192 0 -1 4202560 3484 0 0 0 223 0 0 0 15 0 22 0 830435159 10816151552 449137 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9336] ppid=9310 vsize=10562648 CPUtime=204.23 cores=1,3,5,7
/proc/9314/task/9336/stat : 9336 (java) S 9310 9314 6192 0 -1 4202560 198908 0 0 0 20403 20 0 0 17 0 22 0 830435161 10816151552 449137 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 0 0 16800975 18446604458014340352 0 0 -1 1 0 0 0
[pid=9314/tid=9339] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9339/stat : 9339 (java) S 9310 9314 6192 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 830435161 10816151552 449137 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9340] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9340/stat : 9340 (java) S 9310 9314 6192 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 830435161 10816151552 449137 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9343] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9343/stat : 9343 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830435163 10816151552 449137 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676631985 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9344] ppid=9310 vsize=10562648 CPUtime=0.73 cores=1,3,5,7
/proc/9314/task/9344/stat : 9344 (java) S 9310 9314 6192 0 -1 4202560 4009 0 0 0 73 0 0 0 15 0 22 0 830435163 10816151552 449137 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9346] ppid=9310 vsize=10562648 CPUtime=1.07 cores=1,3,5,7
/proc/9314/task/9346/stat : 9346 (java) S 9310 9314 6192 0 -1 4202560 7680 0 0 0 107 0 0 0 15 0 22 0 830435163 10816151552 449137 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9348] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9348/stat : 9348 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830435163 10816151552 449137 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9350] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9350/stat : 9350 (java) S 9310 9314 6192 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830435163 10816151552 449137 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9363] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9363/stat : 9363 (java) S 9310 9314 6192 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 22 0 830435253 10816151552 449137 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9464] ppid=9310 vsize=10562648 CPUtime=487.81 cores=1,3,5,7
/proc/9314/task/9464/stat : 9464 (java) R 9310 9314 6192 0 -1 4202560 118 0 0 0 48781 0 0 0 18 0 22 0 830462807 10816151552 449137 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 46912505723541 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9314/tid=9465] ppid=9310 vsize=10562648 CPUtime=487.82 cores=1,3,5,7
/proc/9314/task/9465/stat : 9465 (java) R 9310 9314 6192 0 -1 4202560 9628 0 0 0 48781 1 0 0 18 0 22 0 830462807 10816151552 449137 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 46912506198726 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9314/tid=9466] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9466/stat : 9466 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830462807 10816151552 449137 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 4 0 16800975 18446604458014340352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1678.85
Current children cumulated vsize (KiB) 10562648
[startup+1002.3 s]
/proc/loadavg: 3.31 3.56 2.83 5/477 9507
/proc/meminfo: memFree=8857408/32951132 swapFree=67093840/67111528
[pid=9314] ppid=9310 vsize=10562648 CPUtime=1781.31 cores=1,3,5,7
/proc/9314/stat : 9314 (java) S 9310 9314 6192 0 -1 4202496 468853 0 1 0 178074 57 0 0 18 0 22 0 830435157 10816151552 463692 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9314/statm: 2640662 463692 2266 9 0 2631396 0
[pid=9314/tid=9315] ppid=9310 vsize=10562648 CPUtime=0.39 cores=1,3,5,7
/proc/9314/task/9315/stat : 9315 (java) S 9310 9314 6192 0 -1 4202560 15110 0 1 0 37 2 0 0 15 0 22 0 830435158 10816151552 463692 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9327] ppid=9310 vsize=10562648 CPUtime=2.29 cores=1,3,5,7
/proc/9314/task/9327/stat : 9327 (java) S 9310 9314 6192 0 -1 4202560 4130 0 0 0 228 1 0 0 15 0 22 0 830435159 10816151552 463692 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9328] ppid=9310 vsize=10562648 CPUtime=2.03 cores=1,3,5,7
/proc/9314/task/9328/stat : 9328 (java) S 9310 9314 6192 0 -1 4202560 540 0 0 0 203 0 0 0 16 0 22 0 830435159 10816151552 463692 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9329] ppid=9310 vsize=10562648 CPUtime=2.4 cores=1,3,5,7
/proc/9314/task/9329/stat : 9329 (java) S 9310 9314 6192 0 -1 4202560 4166 0 0 0 239 1 0 0 16 0 22 0 830435159 10816151552 463692 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9330] ppid=9310 vsize=10562648 CPUtime=2.44 cores=1,3,5,7
/proc/9314/task/9330/stat : 9330 (java) S 9310 9314 6192 0 -1 4202560 4819 0 0 0 244 0 0 0 15 0 22 0 830435159 10816151552 463692 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9331] ppid=9310 vsize=10562648 CPUtime=2.14 cores=1,3,5,7
/proc/9314/task/9331/stat : 9331 (java) S 9310 9314 6192 0 -1 4202560 1980 0 0 0 214 0 0 0 16 0 22 0 830435159 10816151552 463692 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9332] ppid=9310 vsize=10562648 CPUtime=2.34 cores=1,3,5,7
/proc/9314/task/9332/stat : 9332 (java) S 9310 9314 6192 0 -1 4202560 2444 0 0 0 234 0 0 0 15 0 22 0 830435159 10816151552 463692 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9333] ppid=9310 vsize=10562648 CPUtime=2.1 cores=1,3,5,7
/proc/9314/task/9333/stat : 9333 (java) S 9310 9314 6192 0 -1 4202560 7894 0 0 0 210 0 0 0 16 0 22 0 830435159 10816151552 463692 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9334] ppid=9310 vsize=10562648 CPUtime=2.37 cores=1,3,5,7
/proc/9314/task/9334/stat : 9334 (java) S 9310 9314 6192 0 -1 4202560 3484 0 0 0 237 0 0 0 16 0 22 0 830435159 10816151552 463692 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9336] ppid=9310 vsize=10562648 CPUtime=222.3 cores=1,3,5,7
/proc/9314/task/9336/stat : 9336 (java) S 9310 9314 6192 0 -1 4202560 203847 0 0 0 22209 21 0 0 18 0 22 0 830435161 10816151552 463692 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 0 0 16800975 18446604458014340352 0 0 -1 1 0 0 0
[pid=9314/tid=9339] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9339/stat : 9339 (java) S 9310 9314 6192 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 830435161 10816151552 463692 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9340] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9340/stat : 9340 (java) S 9310 9314 6192 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 830435161 10816151552 463692 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9343] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9343/stat : 9343 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830435163 10816151552 463692 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676631985 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9344] ppid=9310 vsize=10562648 CPUtime=0.73 cores=1,3,5,7
/proc/9314/task/9344/stat : 9344 (java) S 9310 9314 6192 0 -1 4202560 4009 0 0 0 73 0 0 0 15 0 22 0 830435163 10816151552 463692 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9346] ppid=9310 vsize=10562648 CPUtime=1.07 cores=1,3,5,7
/proc/9314/task/9346/stat : 9346 (java) S 9310 9314 6192 0 -1 4202560 7680 0 0 0 107 0 0 0 15 0 22 0 830435163 10816151552 463692 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9348] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9348/stat : 9348 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830435163 10816151552 463692 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9350] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9350/stat : 9350 (java) S 9310 9314 6192 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 830435163 10816151552 463692 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9363] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9363/stat : 9363 (java) S 9310 9314 6192 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 22 0 830435253 10816151552 463692 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9464] ppid=9310 vsize=10562648 CPUtime=529.47 cores=1,3,5,7
/proc/9314/task/9464/stat : 9464 (java) R 9310 9314 6192 0 -1 4202560 118 0 0 0 52947 0 0 0 19 0 22 0 830462807 10816151552 463692 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 46912505743589 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9314/tid=9465] ppid=9310 vsize=10562648 CPUtime=529.47 cores=1,3,5,7
/proc/9314/task/9465/stat : 9465 (java) R 9310 9314 6192 0 -1 4202560 19221 0 0 0 52946 1 0 0 19 0 22 0 830462807 10816151552 463692 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 46912505818870 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9314/tid=9466] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9466/stat : 9466 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830462807 10816151552 463692 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 4 0 16800975 18446604458014340352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1781.31
Current children cumulated vsize (KiB) 10562648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1013.12 s]
/proc/loadavg: 3.39 3.56 2.84 5/477 9561
/proc/meminfo: memFree=10330652/32951132 swapFree=67093840/67111528
[pid=9314] ppid=9310 vsize=10562648 CPUtime=1800.06 cores=1,3,5,7
/proc/9314/stat : 9314 (java) S 9310 9314 6192 0 -1 4202496 470123 0 1 0 179948 58 0 0 18 0 22 0 830435157 10816151552 464960 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9314/statm: 2640662 464960 2266 9 0 2631396 0
[pid=9314/tid=9315] ppid=9310 vsize=10562648 CPUtime=0.39 cores=1,3,5,7
/proc/9314/task/9315/stat : 9315 (java) S 9310 9314 6192 0 -1 4202560 15112 0 1 0 37 2 0 0 15 0 22 0 830435158 10816151552 464960 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9327] ppid=9310 vsize=10562648 CPUtime=2.34 cores=1,3,5,7
/proc/9314/task/9327/stat : 9327 (java) S 9310 9314 6192 0 -1 4202560 4130 0 0 0 233 1 0 0 16 0 22 0 830435159 10816151552 464960 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 1 0 0 0
[pid=9314/tid=9328] ppid=9310 vsize=10562648 CPUtime=2.09 cores=1,3,5,7
/proc/9314/task/9328/stat : 9328 (java) S 9310 9314 6192 0 -1 4202560 540 0 0 0 209 0 0 0 16 0 22 0 830435159 10816151552 464960 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9329] ppid=9310 vsize=10562648 CPUtime=2.41 cores=1,3,5,7
/proc/9314/task/9329/stat : 9329 (java) S 9310 9314 6192 0 -1 4202560 4166 0 0 0 240 1 0 0 15 0 22 0 830435159 10816151552 464960 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 7 0 0 0
[pid=9314/tid=9330] ppid=9310 vsize=10562648 CPUtime=2.45 cores=1,3,5,7
/proc/9314/task/9330/stat : 9330 (java) S 9310 9314 6192 0 -1 4202560 4819 0 0 0 245 0 0 0 15 0 22 0 830435159 10816151552 464960 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9331] ppid=9310 vsize=10562648 CPUtime=2.16 cores=1,3,5,7
/proc/9314/task/9331/stat : 9331 (java) S 9310 9314 6192 0 -1 4202560 1980 0 0 0 216 0 0 0 15 0 22 0 830435159 10816151552 464960 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9332] ppid=9310 vsize=10562648 CPUtime=2.37 cores=1,3,5,7
/proc/9314/task/9332/stat : 9332 (java) S 9310 9314 6192 0 -1 4202560 2444 0 0 0 237 0 0 0 15 0 22 0 830435159 10816151552 464960 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9333] ppid=9310 vsize=10562648 CPUtime=2.12 cores=1,3,5,7
/proc/9314/task/9333/stat : 9333 (java) S 9310 9314 6192 0 -1 4202560 7894 0 0 0 212 0 0 0 16 0 22 0 830435159 10816151552 464960 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9334] ppid=9310 vsize=10562648 CPUtime=2.39 cores=1,3,5,7
/proc/9314/task/9334/stat : 9334 (java) S 9310 9314 6192 0 -1 4202560 3484 0 0 0 239 0 0 0 16 0 22 0 830435159 10816151552 464960 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9336] ppid=9310 vsize=10562648 CPUtime=225.29 cores=1,3,5,7
/proc/9314/task/9336/stat : 9336 (java) S 9310 9314 6192 0 -1 4202560 205115 0 0 0 22508 21 0 0 15 0 22 0 830435161 10816151552 464960 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 0 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9339] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9339/stat : 9339 (java) S 9310 9314 6192 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 830435161 10816151552 464960 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9340] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9340/stat : 9340 (java) S 9310 9314 6192 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 830435161 10816151552 464960 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9343] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9343/stat : 9343 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830435163 10816151552 464960 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676631985 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9344] ppid=9310 vsize=10562648 CPUtime=0.73 cores=1,3,5,7
/proc/9314/task/9344/stat : 9344 (java) S 9310 9314 6192 0 -1 4202560 4009 0 0 0 73 0 0 0 15 0 22 0 830435163 10816151552 464960 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9346] ppid=9310 vsize=10562648 CPUtime=1.07 cores=1,3,5,7
/proc/9314/task/9346/stat : 9346 (java) S 9310 9314 6192 0 -1 4202560 7680 0 0 0 107 0 0 0 15 0 22 0 830435163 10816151552 464960 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 5 0 0 0
[pid=9314/tid=9348] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9348/stat : 9348 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830435163 10816151552 464960 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624281 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9350] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9350/stat : 9350 (java) S 9310 9314 6192 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 830435163 10816151552 464960 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 4 0 16800975 18446604458014340352 0 0 -1 1 0 0 0
[pid=9314/tid=9363] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9363/stat : 9363 (java) S 9310 9314 6192 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 22 0 830435253 10816151552 464960 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 4 0 16800975 18446604458014340352 0 0 -1 3 0 0 0
[pid=9314/tid=9464] ppid=9310 vsize=10562648 CPUtime=537.25 cores=1,3,5,7
/proc/9314/task/9464/stat : 9464 (java) R 9310 9314 6192 0 -1 4202560 118 0 0 0 53725 0 0 0 19 0 22 0 830462807 10816151552 464960 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 46912505755104 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9314/tid=9465] ppid=9310 vsize=10562648 CPUtime=537.26 cores=1,3,5,7
/proc/9314/task/9465/stat : 9465 (java) R 9310 9314 6192 0 -1 4202560 19221 0 0 0 53725 1 0 0 19 0 22 0 830462807 10816151552 464960 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 46912505974777 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9314/tid=9466] ppid=9310 vsize=10562648 CPUtime=0 cores=1,3,5,7
/proc/9314/task/9466/stat : 9466 (java) S 9310 9314 6192 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830462807 10816151552 464960 33554432000 1073741824 1073778376 140735661541632 18446744073709551615 274676624896 0 4 0 16800975 18446604458014340352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10562648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1013.22 s]
/proc/loadavg: 3.39 3.56 2.84 5/477 9561
/proc/meminfo: memFree=10330652/32951132 swapFree=67093840/67111528
[pid=9314] ppid=9310 vsize=0 CPUtime=1800.21 cores=1,3,5,7
/proc/9314/stat : 9314 (java) Z 9310 9314 6192 0 -1 4203548 470152 0 1 0 179957 64 0 0 17 0 2 0 830435157 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9314/statm: 0 0 0 0 0 0 0
[pid=9314/tid=9464] ppid=9310 vsize=0 CPUtime=537.34 cores=1,3,5,7
/proc/9314/task/9464/stat : 9464 (java) R 9310 9314 6192 0 -1 4203588 118 0 0 0 53728 6 0 0 20 0 2 0 830462807 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1013.23
CPU time (s): 1800.23
CPU user time (s): 1799.57
CPU system time (s): 0.6549
CPU usage (%): 177.672
Max. virtual memory (cumulated for all children) (KiB): 10565892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.6549
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 470152
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= 30653
involuntary context switches= 28761
runsolver used 4.45432 second user time and 10.5684 second system time
The end