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-3455197-1307190952/watcher-3455197-1307190952 -o /tmp/evaluation-result-3455197-1307190952/solver-3455197-1307190952 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455197-1307190952.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.37 3.41 3.62 2/443 25431
/proc/meminfo: memFree=31310472/32950928 swapFree=34365992/67111528
[pid=25431] ppid=25429 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/25431/stat : 25431 (java) S 25429 25431 22425 0 -1 4202496 1316 0 0 0 0 0 0 0 23 0 2 0 830694019 36646912 1018 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/25431/statm: 8947 1018 782 9 0 386 0
[pid=25431/tid=25432] ppid=25429 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25432/stat : 25432 (java) R 25429 25431 22425 0 -1 4202560 2862 0 1 0 0 0 0 0 24 0 2 0 830694020 10694979584 3678 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.116974 s]
/proc/loadavg: 2.37 3.41 3.62 2/443 25431
/proc/meminfo: memFree=31310472/32950928 swapFree=34365992/67111528
[pid=25431] ppid=25429 vsize=10540156 CPUtime=0.11 cores=1,3,5,7
/proc/25431/stat : 25431 (java) S 25429 25431 22425 0 -1 4202496 13149 0 1 0 9 2 0 0 23 0 18 0 830694019 10793119744 12829 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25431/statm: 2635039 12829 2092 9 0 2625773 0
[pid=25431/tid=25432] ppid=25429 vsize=10540156 CPUtime=0.08 cores=1,3,5,7
/proc/25431/task/25432/stat : 25432 (java) R 25429 25431 22425 0 -1 4202560 11231 0 1 0 7 1 0 0 25 0 18 0 830694020 10793119744 12830 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 47932710488915 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540156
[startup+0.200962 s]
/proc/loadavg: 2.37 3.41 3.62 2/443 25431
/proc/meminfo: memFree=31310472/32950928 swapFree=34365992/67111528
[pid=25431] ppid=25429 vsize=10550288 CPUtime=0.27 cores=1,3,5,7
/proc/25431/stat : 25431 (java) S 25429 25431 22425 0 -1 4202496 17017 0 1 0 25 2 0 0 23 0 18 0 830694019 10803494912 16120 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25431/statm: 2637572 16120 2171 9 0 2628306 0
[pid=25431/tid=25432] ppid=25429 vsize=10550288 CPUtime=0.18 cores=1,3,5,7
/proc/25431/task/25432/stat : 25432 (java) R 25429 25431 22425 0 -1 4202560 11861 0 1 0 16 2 0 0 25 0 18 0 830694020 10803494912 16120 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 46912505389540 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10550288
[startup+0.300944 s]
/proc/loadavg: 2.37 3.41 3.62 2/443 25431
/proc/meminfo: memFree=31310472/32950928 swapFree=34365992/67111528
[pid=25431] ppid=25429 vsize=10564764 CPUtime=0.57 cores=1,3,5,7
/proc/25431/stat : 25431 (java) S 25429 25431 22425 0 -1 4202496 23482 0 1 0 54 3 0 0 23 0 18 0 830694019 10818318336 20052 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25431/statm: 2641191 20052 2172 9 0 2631925 0
[pid=25431/tid=25432] ppid=25429 vsize=10564764 CPUtime=0.27 cores=1,3,5,7
/proc/25431/task/25432/stat : 25432 (java) R 25429 25431 22425 0 -1 4202560 12279 0 1 0 25 2 0 0 25 0 18 0 830694020 10818318336 20052 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 47932706010064 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10564764
[startup+0.700873 s]
/proc/loadavg: 2.37 3.41 3.62 2/443 25431
/proc/meminfo: memFree=31310472/32950928 swapFree=34365992/67111528
[pid=25431] ppid=25429 vsize=10569604 CPUtime=2.01 cores=1,3,5,7
/proc/25431/stat : 25431 (java) S 25429 25431 22425 0 -1 4202496 31324 0 1 0 197 4 0 0 23 0 19 0 830694019 10823274496 26995 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25431/statm: 2642401 26995 2223 9 0 2633135 0
[pid=25431/tid=25432] ppid=25429 vsize=10569604 CPUtime=0.43 cores=1,3,5,7
/proc/25431/task/25432/stat : 25432 (java) S 25429 25431 22425 0 -1 4202560 13826 0 1 0 41 2 0 0 25 0 19 0 830694020 10823274496 26995 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 10569604
[startup+1.50073 s]
/proc/loadavg: 2.58 3.44 3.63 9/487 25482
/proc/meminfo: memFree=30915972/32950928 swapFree=34365992/67111528
[pid=25431] ppid=25429 vsize=10569604 CPUtime=3.72 cores=1,3,5,7
/proc/25431/stat : 25431 (java) S 25429 25431 22425 0 -1 4202496 71804 0 1 0 363 9 0 0 23 0 22 0 830694019 10823274496 64358 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25431/statm: 2642401 64359 2231 9 0 2633135 0
[pid=25431/tid=25432] ppid=25429 vsize=10569604 CPUtime=0.43 cores=1,3,5,7
/proc/25431/task/25432/stat : 25432 (java) S 25429 25431 22425 0 -1 4202560 13852 0 1 0 41 2 0 0 17 0 22 0 830694020 10823274496 64360 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25434] ppid=25429 vsize=10569604 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25434/stat : 25434 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830694022 10823274496 64362 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25435] ppid=25429 vsize=10569604 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25435/stat : 25435 (java) S 25429 25431 22425 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830694022 10823274496 64366 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25436] ppid=25429 vsize=10569604 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25436/stat : 25436 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830694022 10823274496 64369 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25437] ppid=25429 vsize=10569604 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25437/stat : 25437 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830694022 10823274496 64372 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25438] ppid=25429 vsize=10569604 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25438/stat : 25438 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830694022 10823274496 64374 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25439] ppid=25429 vsize=10569604 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25439/stat : 25439 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830694022 10823274496 64375 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25440] ppid=25429 vsize=10569604 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25440/stat : 25440 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830694022 10823274496 64376 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25441] ppid=25429 vsize=10569604 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25441/stat : 25441 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830694022 10823274496 64377 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25442] ppid=25429 vsize=10569604 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25442/stat : 25442 (java) S 25429 25431 22425 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 830694023 10823274496 64381 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 0 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25443] ppid=25429 vsize=10569604 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25443/stat : 25443 (java) S 25429 25431 22425 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830694023 10823274496 64384 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25444] ppid=25429 vsize=10569604 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25444/stat : 25444 (java) S 25429 25431 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830694023 10823274496 64387 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25446] ppid=25429 vsize=10569604 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25446/stat : 25446 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830694026 10823274496 64390 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606690225 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25447] ppid=25429 vsize=10569604 CPUtime=0.82 cores=1,3,5,7
/proc/25431/task/25447/stat : 25447 (java) S 25429 25431 22425 0 -1 4202560 9729 0 0 0 82 0 0 0 24 0 22 0 830694026 10823274496 64391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25448] ppid=25429 vsize=10569604 CPUtime=0.89 cores=1,3,5,7
/proc/25431/task/25448/stat : 25448 (java) S 25429 25431 22425 0 -1 4202560 6309 0 0 0 89 0 0 0 15 0 22 0 830694026 10823274496 64392 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 5 0 0 0
[pid=25431/tid=25449] ppid=25429 vsize=10569604 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25449/stat : 25449 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830694026 10823274496 64393 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25450] ppid=25429 vsize=10569604 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25450/stat : 25450 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830694026 10823274496 64395 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25476] ppid=25429 vsize=10569604 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25476/stat : 25476 (java) S 25429 25431 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830694066 10823274496 64396 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25478] ppid=25429 vsize=10569604 CPUtime=0.53 cores=1,3,5,7
/proc/25431/task/25478/stat : 25478 (java) R 25429 25431 22425 0 -1 4202560 220 0 0 0 53 0 0 0 25 0 22 0 830694116 10823274496 64398 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 46912505811909 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25431/tid=25479] ppid=25429 vsize=10569604 CPUtime=0.52 cores=1,3,5,7
/proc/25431/task/25479/stat : 25479 (java) R 25429 25431 22425 0 -1 4202560 37071 0 0 0 48 4 0 0 25 0 22 0 830694116 10823274496 64399 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 46912505630248 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25431/tid=25480] ppid=25429 vsize=10569604 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25480/stat : 25480 (java) S 25429 25431 22425 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 22 0 830694116 10823274496 64399 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 10569604
[startup+3.10145 s]
/proc/loadavg: 2.58 3.44 3.63 6/485 25528
/proc/meminfo: memFree=30806136/32950928 swapFree=34365992/67111528
[pid=25431] ppid=25429 vsize=10570220 CPUtime=7.48 cores=1,3,5,7
/proc/25431/stat : 25431 (java) S 25429 25431 22425 0 -1 4202496 120311 0 1 0 733 15 0 0 23 0 22 0 830694019 10823905280 112575 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25431/statm: 2642555 112575 2260 9 0 2633289 0
[pid=25431/tid=25432] ppid=25429 vsize=10570220 CPUtime=0.43 cores=1,3,5,7
/proc/25431/task/25432/stat : 25432 (java) S 25429 25431 22425 0 -1 4202560 13852 0 1 0 41 2 0 0 15 0 22 0 830694020 10823905280 112575 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25434] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25434/stat : 25434 (java) S 25429 25431 22425 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 22 0 830694022 10823905280 112575 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 5 0 0 0
[pid=25431/tid=25435] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25435/stat : 25435 (java) S 25429 25431 22425 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830694022 10823905280 112575 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25436] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25436/stat : 25436 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830694022 10823905280 112575 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25437] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25437/stat : 25437 (java) S 25429 25431 22425 0 -1 4202560 166 0 0 0 0 0 0 0 15 0 22 0 830694022 10823905280 112575 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25438] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25438/stat : 25438 (java) S 25429 25431 22425 0 -1 4202560 448 0 0 0 0 0 0 0 16 0 22 0 830694022 10823905280 112575 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25439] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25439/stat : 25439 (java) S 25429 25431 22425 0 -1 4202560 376 0 0 0 0 0 0 0 15 0 22 0 830694022 10823905280 112575 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25440] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25440/stat : 25440 (java) S 25429 25431 22425 0 -1 4202560 402 0 0 0 0 0 0 0 15 0 22 0 830694022 10823905280 112575 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25441] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25441/stat : 25441 (java) S 25429 25431 22425 0 -1 4202560 339 0 0 0 0 0 0 0 15 0 22 0 830694022 10823905280 112575 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25442] ppid=25429 vsize=10570220 CPUtime=0.04 cores=1,3,5,7
/proc/25431/task/25442/stat : 25442 (java) S 25429 25431 22425 0 -1 4202560 1862 0 0 0 4 0 0 0 15 0 22 0 830694023 10823905280 112575 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 0 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25443] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25443/stat : 25443 (java) S 25429 25431 22425 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830694023 10823905280 112575 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25444] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25444/stat : 25444 (java) S 25429 25431 22425 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830694023 10823905280 112575 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25446] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25446/stat : 25446 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830694026 10823905280 112575 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606690225 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25447] ppid=25429 vsize=10570220 CPUtime=1 cores=1,3,5,7
/proc/25431/task/25447/stat : 25447 (java) S 25429 25431 22425 0 -1 4202560 10416 0 0 0 100 0 0 0 15 0 22 0 830694026 10823905280 112575 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25448] ppid=25429 vsize=10570220 CPUtime=1.31 cores=1,3,5,7
/proc/25431/task/25448/stat : 25448 (java) S 25429 25431 22425 0 -1 4202560 6860 0 0 0 131 0 0 0 15 0 22 0 830694026 10823905280 112575 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 5 0 0 0
[pid=25431/tid=25449] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25449/stat : 25449 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830694026 10823905280 112575 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25450] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25450/stat : 25450 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830694026 10823905280 112575 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25476] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25476/stat : 25476 (java) S 25429 25431 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830694066 10823905280 112575 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25478] ppid=25429 vsize=10570220 CPUtime=2.07 cores=1,3,5,7
/proc/25431/task/25478/stat : 25478 (java) R 25429 25431 22425 0 -1 4202560 371 0 0 0 207 0 0 0 25 0 22 0 830694116 10823905280 112575 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 46912505811935 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25431/tid=25479] ppid=25429 vsize=10570220 CPUtime=2.07 cores=1,3,5,7
/proc/25431/task/25479/stat : 25479 (java) R 25429 25431 22425 0 -1 4202560 80337 0 0 0 197 10 0 0 25 0 22 0 830694116 10823905280 112575 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 46912505849167 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25431/tid=25480] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25480/stat : 25480 (java) S 25429 25431 22425 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 22 0 830694116 10823905280 112575 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (KiB) 10570220
Solver just ended. Dumping a history of the last processes samples
[startup+3.20143 s]
/proc/loadavg: 2.58 3.44 3.63 6/485 25528
/proc/meminfo: memFree=30806136/32950928 swapFree=34365992/67111528
[pid=25431] ppid=25429 vsize=10570220 CPUtime=7.68 cores=1,3,5,7
/proc/25431/stat : 25431 (java) S 25429 25431 22425 0 -1 4202496 120349 0 1 0 753 15 0 0 23 0 22 0 830694019 10823905280 112613 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25431/statm: 2642555 112613 2260 9 0 2633289 0
[pid=25431/tid=25432] ppid=25429 vsize=10570220 CPUtime=0.43 cores=1,3,5,7
/proc/25431/task/25432/stat : 25432 (java) S 25429 25431 22425 0 -1 4202560 13852 0 1 0 41 2 0 0 15 0 22 0 830694020 10823905280 112613 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25434] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25434/stat : 25434 (java) S 25429 25431 22425 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 22 0 830694022 10823905280 112613 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 5 0 0 0
[pid=25431/tid=25435] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25435/stat : 25435 (java) S 25429 25431 22425 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830694022 10823905280 112613 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25436] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25436/stat : 25436 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830694022 10823905280 112613 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25437] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25437/stat : 25437 (java) S 25429 25431 22425 0 -1 4202560 166 0 0 0 0 0 0 0 15 0 22 0 830694022 10823905280 112613 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25438] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25438/stat : 25438 (java) S 25429 25431 22425 0 -1 4202560 448 0 0 0 0 0 0 0 16 0 22 0 830694022 10823905280 112613 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25439] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25439/stat : 25439 (java) S 25429 25431 22425 0 -1 4202560 376 0 0 0 0 0 0 0 15 0 22 0 830694022 10823905280 112613 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25440] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25440/stat : 25440 (java) S 25429 25431 22425 0 -1 4202560 402 0 0 0 0 0 0 0 15 0 22 0 830694022 10823905280 112613 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/25431/task/25443/stat : 25443 (java) S 25429 25431 22425 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830694023 10823905280 112613 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25444] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25444/stat : 25444 (java) S 25429 25431 22425 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830694023 10823905280 112613 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25446] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25446/stat : 25446 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830694026 10823905280 112613 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606690225 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25447] ppid=25429 vsize=10570220 CPUtime=1 cores=1,3,5,7
/proc/25431/task/25447/stat : 25447 (java) S 25429 25431 22425 0 -1 4202560 10416 0 0 0 100 0 0 0 15 0 22 0 830694026 10823905280 112613 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25448] ppid=25429 vsize=10570220 CPUtime=1.31 cores=1,3,5,7
/proc/25431/task/25448/stat : 25448 (java) S 25429 25431 22425 0 -1 4202560 6860 0 0 0 131 0 0 0 15 0 22 0 830694026 10823905280 112613 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 5 0 0 0
[pid=25431/tid=25449] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25449/stat : 25449 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830694026 10823905280 112613 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25450] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25450/stat : 25450 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830694026 10823905280 112613 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25476] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25476/stat : 25476 (java) S 25429 25431 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830694066 10823905280 112613 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25478] ppid=25429 vsize=10570220 CPUtime=2.17 cores=1,3,5,7
/proc/25431/task/25478/stat : 25478 (java) R 25429 25431 22425 0 -1 4202560 409 0 0 0 217 0 0 0 25 0 22 0 830694116 10823905280 112613 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 46912505811808 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25431/tid=25479] ppid=25429 vsize=10570220 CPUtime=2.17 cores=1,3,5,7
/proc/25431/task/25479/stat : 25479 (java) R 25429 25431 22425 0 -1 4202560 80337 0 0 0 207 10 0 0 25 0 22 0 830694116 10823905280 112613 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 46912505528943 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25431/tid=25480] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25480/stat : 25480 (java) S 25429 25431 22425 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 22 0 830694116 10823905280 112613 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.68
Current children cumulated vsize (KiB) 10570220
[startup+4.80115 s]
/proc/loadavg: 2.58 3.44 3.63 4/489 25532
/proc/meminfo: memFree=30588988/32950928 swapFree=34365992/67111528
[pid=25431] ppid=25429 vsize=10570220 CPUtime=10.99 cores=1,3,5,7
/proc/25431/stat : 25431 (java) S 25429 25431 22425 0 -1 4202496 121130 0 1 0 1083 16 0 0 23 0 22 0 830694019 10823905280 113391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25431/statm: 2642555 113391 2260 9 0 2633289 0
[pid=25431/tid=25432] ppid=25429 vsize=10570220 CPUtime=0.43 cores=1,3,5,7
/proc/25431/task/25432/stat : 25432 (java) S 25429 25431 22425 0 -1 4202560 13852 0 1 0 41 2 0 0 15 0 22 0 830694020 10823905280 113391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25434] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25434/stat : 25434 (java) S 25429 25431 22425 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 22 0 830694022 10823905280 113391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25435] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25435/stat : 25435 (java) S 25429 25431 22425 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 830694022 10823905280 113391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25436] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25436/stat : 25436 (java) S 25429 25431 22425 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 830694022 10823905280 113391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25437] ppid=25429 vsize=10570220 CPUtime=0.01 cores=1,3,5,7
/proc/25431/task/25437/stat : 25437 (java) S 25429 25431 22425 0 -1 4202560 166 0 0 0 1 0 0 0 15 0 22 0 830694022 10823905280 113391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25438] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25438/stat : 25438 (java) S 25429 25431 22425 0 -1 4202560 454 0 0 0 0 0 0 0 15 0 22 0 830694022 10823905280 113391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25439] ppid=25429 vsize=10570220 CPUtime=0.01 cores=1,3,5,7
/proc/25431/task/25439/stat : 25439 (java) S 25429 25431 22425 0 -1 4202560 376 0 0 0 1 0 0 0 15 0 22 0 830694022 10823905280 113391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25440] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25440/stat : 25440 (java) S 25429 25431 22425 0 -1 4202560 402 0 0 0 0 0 0 0 15 0 22 0 830694022 10823905280 113391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25441] ppid=25429 vsize=10570220 CPUtime=0.01 cores=1,3,5,7
/proc/25431/task/25441/stat : 25441 (java) S 25429 25431 22425 0 -1 4202560 352 0 0 0 1 0 0 0 15 0 22 0 830694022 10823905280 113391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25442] ppid=25429 vsize=10570220 CPUtime=0.11 cores=1,3,5,7
/proc/25431/task/25442/stat : 25442 (java) S 25429 25431 22425 0 -1 4202560 2559 0 0 0 11 0 0 0 15 0 22 0 830694023 10823905280 113391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 0 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25443] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25443/stat : 25443 (java) S 25429 25431 22425 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830694023 10823905280 113391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25444] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25444/stat : 25444 (java) S 25429 25431 22425 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830694023 10823905280 113391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25446] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25446/stat : 25446 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830694026 10823905280 113391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606690225 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25447] ppid=25429 vsize=10570220 CPUtime=1.16 cores=1,3,5,7
/proc/25431/task/25447/stat : 25447 (java) S 25429 25431 22425 0 -1 4202560 10445 0 0 0 116 0 0 0 15 0 22 0 830694026 10823905280 113391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 5 0 0 0
[pid=25431/tid=25448] ppid=25429 vsize=10570220 CPUtime=1.32 cores=1,3,5,7
/proc/25431/task/25448/stat : 25448 (java) S 25429 25431 22425 0 -1 4202560 6861 0 0 0 132 0 0 0 16 0 22 0 830694026 10823905280 113391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25449] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25449/stat : 25449 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830694026 10823905280 113391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25450] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25450/stat : 25450 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830694026 10823905280 113391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25476] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25476/stat : 25476 (java) S 25429 25431 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830694066 10823905280 113391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25478] ppid=25429 vsize=10570220 CPUtime=3.68 cores=1,3,5,7
/proc/25431/task/25478/stat : 25478 (java) R 25429 25431 22425 0 -1 4202560 433 0 0 0 368 0 0 0 25 0 22 0 830694116 10823905280 113391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 46912505894053 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=25431/tid=25479] ppid=25429 vsize=10570220 CPUtime=3.67 cores=1,3,5,7
/proc/25431/task/25479/stat : 25479 (java) R 25429 25431 22425 0 -1 4202560 80337 0 0 0 357 10 0 0 25 0 22 0 830694116 10823905280 113391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 46912505850272 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25431/tid=25480] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25480/stat : 25480 (java) S 25429 25431 22425 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 22 0 830694116 10823905280 113391 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.99
Current children cumulated vsize (KiB) 10570220
[startup+5.61806 s]
/proc/loadavg: 2.58 3.44 3.63 5/489 25532
/proc/meminfo: memFree=30352720/32950928 swapFree=34365992/67111528
[pid=25431] ppid=25429 vsize=10570220 CPUtime=12.59 cores=1,3,5,7
/proc/25431/stat : 25431 (java) S 25429 25431 22425 0 -1 4202496 121653 0 1 0 1243 16 0 0 23 0 22 0 830694019 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25431/statm: 2642555 113285 2260 9 0 2633289 0
[pid=25431/tid=25432] ppid=25429 vsize=10570220 CPUtime=0.43 cores=1,3,5,7
/proc/25431/task/25432/stat : 25432 (java) S 25429 25431 22425 0 -1 4202560 13852 0 1 0 41 2 0 0 15 0 22 0 830694020 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25434] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25434/stat : 25434 (java) S 25429 25431 22425 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 22 0 830694022 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25435] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25435/stat : 25435 (java) S 25429 25431 22425 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 22 0 830694022 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25436] ppid=25429 vsize=10570220 CPUtime=0.01 cores=1,3,5,7
/proc/25431/task/25436/stat : 25436 (java) S 25429 25431 22425 0 -1 4202560 11 0 0 0 1 0 0 0 16 0 22 0 830694022 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 5 0 0 0
[pid=25431/tid=25437] ppid=25429 vsize=10570220 CPUtime=0.01 cores=1,3,5,7
/proc/25431/task/25437/stat : 25437 (java) S 25429 25431 22425 0 -1 4202560 166 0 0 0 1 0 0 0 15 0 22 0 830694022 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25438] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25438/stat : 25438 (java) S 25429 25431 22425 0 -1 4202560 459 0 0 0 0 0 0 0 15 0 22 0 830694022 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25439] ppid=25429 vsize=10570220 CPUtime=0.01 cores=1,3,5,7
/proc/25431/task/25439/stat : 25439 (java) S 25429 25431 22425 0 -1 4202560 377 0 0 0 1 0 0 0 16 0 22 0 830694022 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 5 0 0 0
[pid=25431/tid=25440] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25440/stat : 25440 (java) S 25429 25431 22425 0 -1 4202560 402 0 0 0 0 0 0 0 15 0 22 0 830694022 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25441] ppid=25429 vsize=10570220 CPUtime=0.01 cores=1,3,5,7
/proc/25431/task/25441/stat : 25441 (java) S 25429 25431 22425 0 -1 4202560 352 0 0 0 1 0 0 0 15 0 22 0 830694022 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25442] ppid=25429 vsize=10570220 CPUtime=0.15 cores=1,3,5,7
/proc/25431/task/25442/stat : 25442 (java) S 25429 25431 22425 0 -1 4202560 3067 0 0 0 15 0 0 0 15 0 22 0 830694023 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 0 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25443] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25443/stat : 25443 (java) S 25429 25431 22425 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830694023 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25444] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25444/stat : 25444 (java) S 25429 25431 22425 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830694023 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25446] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25446/stat : 25446 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830694026 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606690225 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25447] ppid=25429 vsize=10570220 CPUtime=1.16 cores=1,3,5,7
/proc/25431/task/25447/stat : 25447 (java) S 25429 25431 22425 0 -1 4202560 10445 0 0 0 116 0 0 0 15 0 22 0 830694026 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 5 0 0 0
[pid=25431/tid=25448] ppid=25429 vsize=10570220 CPUtime=1.32 cores=1,3,5,7
/proc/25431/task/25448/stat : 25448 (java) S 25429 25431 22425 0 -1 4202560 6861 0 0 0 132 0 0 0 16 0 22 0 830694026 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25449] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25449/stat : 25449 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830694026 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25450] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25450/stat : 25450 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830694026 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25476] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25476/stat : 25476 (java) S 25429 25431 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830694066 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25478] ppid=25429 vsize=10570220 CPUtime=4.45 cores=1,3,5,7
/proc/25431/task/25478/stat : 25478 (java) R 25429 25431 22425 0 -1 4202560 435 0 0 0 445 0 0 0 25 0 22 0 830694116 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 46912506153411 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25431/tid=25479] ppid=25429 vsize=10570220 CPUtime=4.45 cores=1,3,5,7
/proc/25431/task/25479/stat : 25479 (java) R 25429 25431 22425 0 -1 4202560 80337 0 0 0 435 10 0 0 25 0 22 0 830694116 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 46912505851490 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25431/tid=25480] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25480/stat : 25480 (java) S 25429 25431 22425 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 22 0 830694116 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 10570220
[startup+6.00099 s]
/proc/loadavg: 2.58 3.44 3.63 5/489 25532
/proc/meminfo: memFree=30352720/32950928 swapFree=34365992/67111528
[pid=25431] ppid=25429 vsize=10570220 CPUtime=13.08 cores=1,3,5,7
/proc/25431/stat : 25431 (java) S 25429 25431 22425 0 -1 4202496 121653 0 1 0 1292 16 0 0 23 0 19 0 830694019 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25431/statm: 2642555 113285 2260 9 0 2633289 0
[pid=25431/tid=25432] ppid=25429 vsize=10570220 CPUtime=0.44 cores=1,3,5,7
/proc/25431/task/25432/stat : 25432 (java) R 25429 25431 22425 0 -1 4202560 13852 0 1 0 42 2 0 0 15 0 19 0 830694020 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 46912506388212 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25431/tid=25434] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25434/stat : 25434 (java) S 25429 25431 22425 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 19 0 830694022 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25435] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25435/stat : 25435 (java) S 25429 25431 22425 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 19 0 830694022 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25436] ppid=25429 vsize=10570220 CPUtime=0.01 cores=1,3,5,7
/proc/25431/task/25436/stat : 25436 (java) S 25429 25431 22425 0 -1 4202560 11 0 0 0 1 0 0 0 16 0 19 0 830694022 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 5 0 0 0
[pid=25431/tid=25437] ppid=25429 vsize=10570220 CPUtime=0.01 cores=1,3,5,7
/proc/25431/task/25437/stat : 25437 (java) S 25429 25431 22425 0 -1 4202560 166 0 0 0 1 0 0 0 15 0 19 0 830694022 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25438] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25438/stat : 25438 (java) S 25429 25431 22425 0 -1 4202560 459 0 0 0 0 0 0 0 15 0 19 0 830694022 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25439] ppid=25429 vsize=10570220 CPUtime=0.01 cores=1,3,5,7
/proc/25431/task/25439/stat : 25439 (java) S 25429 25431 22425 0 -1 4202560 377 0 0 0 1 0 0 0 16 0 19 0 830694022 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 5 0 0 0
[pid=25431/tid=25440] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25440/stat : 25440 (java) S 25429 25431 22425 0 -1 4202560 402 0 0 0 0 0 0 0 15 0 19 0 830694022 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25441] ppid=25429 vsize=10570220 CPUtime=0.01 cores=1,3,5,7
/proc/25431/task/25441/stat : 25441 (java) S 25429 25431 22425 0 -1 4202560 352 0 0 0 1 0 0 0 15 0 19 0 830694022 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25442] ppid=25429 vsize=10570220 CPUtime=0.15 cores=1,3,5,7
/proc/25431/task/25442/stat : 25442 (java) S 25429 25431 22425 0 -1 4202560 3067 0 0 0 15 0 0 0 15 0 19 0 830694023 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 0 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25443] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25443/stat : 25443 (java) S 25429 25431 22425 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 830694023 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25444] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25444/stat : 25444 (java) S 25429 25431 22425 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 830694023 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 7 0 0 0
[pid=25431/tid=25446] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25446/stat : 25446 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830694026 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606690225 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25447] ppid=25429 vsize=10570220 CPUtime=1.16 cores=1,3,5,7
/proc/25431/task/25447/stat : 25447 (java) S 25429 25431 22425 0 -1 4202560 10445 0 0 0 116 0 0 0 15 0 19 0 830694026 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 5 0 0 0
[pid=25431/tid=25448] ppid=25429 vsize=10570220 CPUtime=1.33 cores=1,3,5,7
/proc/25431/task/25448/stat : 25448 (java) S 25429 25431 22425 0 -1 4202560 6861 0 0 0 133 0 0 0 15 0 19 0 830694026 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25449] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25449/stat : 25449 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830694026 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606682521 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
[pid=25431/tid=25450] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25450/stat : 25450 (java) S 25429 25431 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830694026 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 1 0 0 0
[pid=25431/tid=25476] ppid=25429 vsize=10570220 CPUtime=0 cores=1,3,5,7
/proc/25431/task/25476/stat : 25476 (java) S 25429 25431 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830694066 10823905280 113285 33554432000 1073741824 1073778376 140737465472576 18446744073709551615 235606683136 0 4 0 16800975 18446604471118959616 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 13.08
Current children cumulated vsize (KiB) 10570220
Child status: 30
Real time (s): 6.07303
CPU time (s): 13.166
CPU user time (s): 12.988
CPU system time (s): 0.177972
CPU usage (%): 216.794
Max. virtual memory (cumulated for all children) (KiB): 10570220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.988
system time used= 0.177972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121660
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= 613
involuntary context switches= 483
runsolver used 0.027995 second user time and 0.075988 second system time
The end