runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3311160-1304112416/watcher-3311160-1304112416 -o /tmp/evaluation-result-3311160-1304112416/solver-3311160-1304112416 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311160-1304112416.cnf -hbr 2
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 6.55 7.74 7.90 2/194 9496
/proc/meminfo: memFree=28226136/32951124 swapFree=67111524/67111528
[pid=9496] ppid=9494 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/9496/stat : 9496 (java) S 9494 9496 9441 0 -1 4202496 1415 0 0 0 0 0 0 0 22 0 2 0 522842060 26714112 885 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820968421 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/9496/statm: 6522 885 678 9 0 381 0
[pid=9496/tid=9497] ppid=9494 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9497/stat : 9497 (java) S 9494 9496 9441 0 -1 4202560 66 0 0 0 0 0 0 0 24 0 2 0 522842060 27824128 894 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230804242055 0 2147483391 4096 0 18446744071699199166 0 0 -1 5 0 0 0
[startup+0.058641 s]
/proc/loadavg: 6.55 7.74 7.90 2/194 9496
/proc/meminfo: memFree=28226136/32951124 swapFree=67111524/67111528
[pid=9496] ppid=9494 vsize=15609780 CPUtime=0.05 cores=1,3,5,7
/proc/9496/stat : 9496 (java) S 9494 9496 9441 0 -1 4202496 4250 0 1 0 4 1 0 0 22 0 18 0 522842060 15984414720 3688 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9496/statm: 3902445 3690 1768 9 0 3893164 0
[pid=9496/tid=9497] ppid=9494 vsize=15609780 CPUtime=0.04 cores=1,3,5,7
/proc/9496/task/9497/stat : 9497 (java) R 9494 9496 9441 0 -1 4202560 2835 0 1 0 4 0 0 0 25 0 18 0 522842060 15984414720 3691 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 47461367229539 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15609780
[startup+0.100651 s]
/proc/loadavg: 6.55 7.74 7.90 2/194 9496
/proc/meminfo: memFree=28226136/32951124 swapFree=67111524/67111528
[pid=9496] ppid=9494 vsize=15676556 CPUtime=0.1 cores=1,3,5,7
/proc/9496/stat : 9496 (java) S 9494 9496 9441 0 -1 4202496 5546 0 1 0 9 1 0 0 22 0 18 0 522842060 16052793344 4952 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9496/statm: 3919139 4952 2116 9 0 3909858 0
[pid=9496/tid=9497] ppid=9494 vsize=15676556 CPUtime=0.08 cores=1,3,5,7
/proc/9496/task/9497/stat : 9497 (java) R 9494 9496 9441 0 -1 4202560 3372 0 1 0 7 1 0 0 25 0 18 0 522842060 16052793344 4952 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230809161573 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676556
[startup+0.300588 s]
/proc/loadavg: 6.55 7.74 7.90 2/194 9496
/proc/meminfo: memFree=28226136/32951124 swapFree=67111524/67111528
[pid=9496] ppid=9494 vsize=15680044 CPUtime=0.51 cores=1,3,5,7
/proc/9496/stat : 9496 (java) S 9494 9496 9441 0 -1 4202496 14998 0 1 0 48 3 0 0 22 0 18 0 522842060 16056365056 13427 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9496/statm: 3920011 13433 2206 9 0 3910730 0
[pid=9496/tid=9497] ppid=9494 vsize=15680044 CPUtime=0.28 cores=1,3,5,7
/proc/9496/task/9497/stat : 9497 (java) R 9494 9496 9441 0 -1 4202560 9836 0 1 0 26 2 0 0 25 0 18 0 522842060 16056365056 13437 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 46912505588786 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680044
[startup+0.700518 s]
/proc/loadavg: 6.55 7.74 7.90 2/194 9496
/proc/meminfo: memFree=28226136/32951124 swapFree=67111524/67111528
[pid=9496] ppid=9494 vsize=15680044 CPUtime=0.92 cores=1,3,5,7
/proc/9496/stat : 9496 (java) S 9494 9496 9441 0 -1 4202496 41840 0 1 0 85 7 0 0 22 0 18 0 522842060 16056365056 40266 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9496/statm: 3920011 40266 2222 9 0 3910730 0
[pid=9496/tid=9497] ppid=9494 vsize=15680044 CPUtime=0.68 cores=1,3,5,7
/proc/9496/task/9497/stat : 9497 (java) R 9494 9496 9441 0 -1 4202560 35496 0 1 0 62 6 0 0 25 0 18 0 522842060 16056365056 40266 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 46912505624076 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15680044
[startup+1.50136 s]
/proc/loadavg: 6.35 7.67 7.88 7/220 9522
/proc/meminfo: memFree=27887340/32951124 swapFree=67111524/67111528
[pid=9496] ppid=9494 vsize=15717488 CPUtime=2.43 cores=1,3,5,7
/proc/9496/stat : 9496 (java) S 9494 9496 9441 0 -1 4202496 57009 0 1 0 234 9 0 0 22 0 22 0 522842060 16094707712 51244 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9496/statm: 3929372 51244 2258 9 0 3920091 0
[pid=9496/tid=9497] ppid=9494 vsize=15717488 CPUtime=1.47 cores=1,3,5,7
/proc/9496/task/9497/stat : 9497 (java) R 9494 9496 9441 0 -1 4202560 35601 0 1 0 141 6 0 0 25 0 22 0 522842060 16094707712 51244 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 46912505181446 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9496/tid=9499] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9499/stat : 9499 (java) S 9494 9496 9441 0 -1 4202560 921 0 0 0 0 0 0 0 16 0 22 0 522842060 16094707712 51244 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9500] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9500/stat : 9500 (java) S 9494 9496 9441 0 -1 4202560 433 0 0 0 0 0 0 0 16 0 22 0 522842060 16094707712 51244 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9501] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9501/stat : 9501 (java) S 9494 9496 9441 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 22 0 522842060 16094707712 51244 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9502] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9502/stat : 9502 (java) S 9494 9496 9441 0 -1 4202560 787 0 0 0 0 0 0 0 16 0 22 0 522842060 16094707712 51244 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 7 0 0 0
[pid=9496/tid=9503] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9503/stat : 9503 (java) S 9494 9496 9441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522842060 16094707712 51244 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9504] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9504/stat : 9504 (java) S 9494 9496 9441 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 22 0 522842060 16094707712 51244 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9505] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9505/stat : 9505 (java) S 9494 9496 9441 0 -1 4202560 757 0 0 0 0 0 0 0 16 0 22 0 522842060 16094707712 51244 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9506] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9506/stat : 9506 (java) S 9494 9496 9441 0 -1 4202560 716 0 0 0 0 0 0 0 15 0 22 0 522842060 16094707712 51244 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9507] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9507/stat : 9507 (java) S 9494 9496 9441 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 522842062 16094707712 51244 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820982272 0 0 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9508] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9508/stat : 9508 (java) S 9494 9496 9441 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522842062 16094707712 51244 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9509] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9509/stat : 9509 (java) S 9494 9496 9441 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522842062 16094707712 51244 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9510] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9510/stat : 9510 (java) S 9494 9496 9441 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 522842064 16094707712 51244 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820989361 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9511] ppid=9494 vsize=15717488 CPUtime=0.69 cores=1,3,5,7
/proc/9496/task/9511/stat : 9511 (java) R 9494 9496 9441 0 -1 4202560 13650 0 0 0 68 1 0 0 17 0 22 0 522842064 16094707712 51244 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 47461363893787 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9496/tid=9512] ppid=9494 vsize=15717488 CPUtime=0.22 cores=1,3,5,7
/proc/9496/task/9512/stat : 9512 (java) S 9494 9496 9441 0 -1 4202560 2584 0 0 0 22 0 0 0 15 0 22 0 522842064 16094707712 51244 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 7 0 0 0
[pid=9496/tid=9513] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9513/stat : 9513 (java) S 9494 9496 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522842064 16094707712 51244 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9514] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9514/stat : 9514 (java) S 9494 9496 9441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522842064 16094707712 51244 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820982272 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9519] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9519/stat : 9519 (java) S 9494 9496 9441 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 522842138 16094707712 51244 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820982272 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9520] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9520/stat : 9520 (java) S 9494 9496 9441 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 522842138 16094707712 51244 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820982272 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9521] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9521/stat : 9521 (java) S 9494 9496 9441 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 22 0 522842138 16094707712 51244 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820982272 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9522] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9522/stat : 9522 (java) S 9494 9496 9441 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 522842138 16094707712 51244 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820982272 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 15717488
[startup+3.10107 s]
/proc/loadavg: 6.35 7.67 7.88 9/220 9522
/proc/meminfo: memFree=27809972/32951124 swapFree=67111524/67111528
[pid=9496] ppid=9494 vsize=15717488 CPUtime=6.06 cores=1,3,5,7
/proc/9496/stat : 9496 (java) S 9494 9496 9441 0 -1 4202496 72716 0 1 0 595 11 0 0 22 0 22 0 522842060 16094707712 66683 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9496/statm: 3929372 66683 2275 9 0 3920091 0
[pid=9496/tid=9497] ppid=9494 vsize=15717488 CPUtime=2.3 cores=1,3,5,7
/proc/9496/task/9497/stat : 9497 (java) S 9494 9496 9441 0 -1 4202560 35661 0 1 0 224 6 0 0 18 0 22 0 522842060 16094707712 66683 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9499] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9499/stat : 9499 (java) S 9494 9496 9441 0 -1 4202560 921 0 0 0 0 0 0 0 15 0 22 0 522842060 16094707712 66683 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9500] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9500/stat : 9500 (java) S 9494 9496 9441 0 -1 4202560 1002 0 0 0 0 0 0 0 15 0 22 0 522842060 16094707712 66683 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9501] ppid=9494 vsize=15717488 CPUtime=0.01 cores=1,3,5,7
/proc/9496/task/9501/stat : 9501 (java) S 9494 9496 9441 0 -1 4202560 3278 0 0 0 1 0 0 0 16 0 22 0 522842060 16094707712 66683 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9502] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9502/stat : 9502 (java) S 9494 9496 9441 0 -1 4202560 787 0 0 0 0 0 0 0 15 0 22 0 522842060 16094707712 66683 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9503] ppid=9494 vsize=15717488 CPUtime=0.01 cores=1,3,5,7
/proc/9496/task/9503/stat : 9503 (java) S 9494 9496 9441 0 -1 4202560 2793 0 0 0 1 0 0 0 16 0 22 0 522842060 16094707712 66683 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 7 0 0 0
[pid=9496/tid=9504] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9504/stat : 9504 (java) S 9494 9496 9441 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 22 0 522842060 16094707712 66683 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9505] ppid=9494 vsize=15717488 CPUtime=0.02 cores=1,3,5,7
/proc/9496/task/9505/stat : 9505 (java) S 9494 9496 9441 0 -1 4202560 4053 0 0 0 2 0 0 0 16 0 22 0 522842060 16094707712 66683 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9506] ppid=9494 vsize=15717488 CPUtime=0.01 cores=1,3,5,7
/proc/9496/task/9506/stat : 9506 (java) S 9494 9496 9441 0 -1 4202560 3007 0 0 0 1 0 0 0 16 0 22 0 522842060 16094707712 66683 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9507] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9507/stat : 9507 (java) S 9494 9496 9441 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 522842062 16094707712 66683 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820982272 0 0 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9508] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9508/stat : 9508 (java) S 9494 9496 9441 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522842062 16094707712 66683 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9509] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9509/stat : 9509 (java) S 9494 9496 9441 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522842062 16094707712 66683 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9510] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9510/stat : 9510 (java) S 9494 9496 9441 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 522842064 16094707712 66683 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820989361 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9511] ppid=9494 vsize=15717488 CPUtime=1.43 cores=1,3,5,7
/proc/9496/task/9511/stat : 9511 (java) S 9494 9496 9441 0 -1 4202560 13916 0 0 0 141 2 0 0 15 0 22 0 522842064 16094707712 66683 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 7 0 0 0
[pid=9496/tid=9512] ppid=9494 vsize=15717488 CPUtime=0.77 cores=1,3,5,7
/proc/9496/task/9512/stat : 9512 (java) S 9494 9496 9441 0 -1 4202560 2828 0 0 0 77 0 0 0 15 0 22 0 522842064 16094707712 66683 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9513] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9513/stat : 9513 (java) S 9494 9496 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522842064 16094707712 66683 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9514] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9514/stat : 9514 (java) S 9494 9496 9441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522842064 16094707712 66683 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820982272 0 4 0 16800975 18446604463550186560 0 0 -1 7 0 0 0
[pid=9496/tid=9519] ppid=9494 vsize=15717488 CPUtime=0.3 cores=1,3,5,7
/proc/9496/task/9519/stat : 9519 (java) S 9494 9496 9441 0 -1 4202560 46 0 0 0 30 0 0 0 16 0 22 0 522842138 16094707712 66683 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820982272 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9520] ppid=9494 vsize=15717488 CPUtime=0.27 cores=1,3,5,7
/proc/9496/task/9520/stat : 9520 (java) R 9494 9496 9441 0 -1 4202560 1241 0 0 0 27 0 0 0 16 0 22 0 522842138 16094707712 66683 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 46912506159342 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9496/tid=9521] ppid=9494 vsize=15717488 CPUtime=0.27 cores=1,3,5,7
/proc/9496/task/9521/stat : 9521 (java) S 9494 9496 9441 0 -1 4202560 12 0 0 0 27 0 0 0 15 0 22 0 522842138 16094707712 66683 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820982272 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9522] ppid=9494 vsize=15717488 CPUtime=0.57 cores=1,3,5,7
/proc/9496/task/9522/stat : 9522 (java) R 9494 9496 9441 0 -1 4202560 1674 0 0 0 57 0 0 0 16 0 22 0 522842138 16094707712 66683 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 46912506159412 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 15717488
[startup+6.30145 s]
/proc/loadavg: 6.35 7.67 7.88 13/220 9522
/proc/meminfo: memFree=26330296/32951124 swapFree=67111524/67111528
[pid=9496] ppid=9494 vsize=15717488 CPUtime=18.67 cores=1,3,5,7
/proc/9496/stat : 9496 (java) S 9494 9496 9441 0 -1 4202496 272747 0 1 0 1829 38 0 0 22 0 22 0 522842060 16094707712 266279 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9496/statm: 3929372 266279 2275 9 0 3920091 0
[pid=9496/tid=9497] ppid=9494 vsize=15717488 CPUtime=2.3 cores=1,3,5,7
/proc/9496/task/9497/stat : 9497 (java) S 9494 9496 9441 0 -1 4202560 35661 0 1 0 224 6 0 0 18 0 22 0 522842060 16094707712 266279 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9499] ppid=9494 vsize=15717488 CPUtime=0.02 cores=1,3,5,7
/proc/9496/task/9499/stat : 9499 (java) S 9494 9496 9441 0 -1 4202560 7319 0 0 0 2 0 0 0 15 0 22 0 522842060 16094707712 266279 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9500] ppid=9494 vsize=15717488 CPUtime=0.1 cores=1,3,5,7
/proc/9496/task/9500/stat : 9500 (java) S 9494 9496 9441 0 -1 4202560 13155 0 0 0 8 2 0 0 15 0 22 0 522842060 16094707712 266279 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9501] ppid=9494 vsize=15717488 CPUtime=0.21 cores=1,3,5,7
/proc/9496/task/9501/stat : 9501 (java) S 9494 9496 9441 0 -1 4202560 42136 0 0 0 15 6 0 0 16 0 22 0 522842060 16094707712 266279 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9502] ppid=9494 vsize=15717488 CPUtime=0.16 cores=1,3,5,7
/proc/9496/task/9502/stat : 9502 (java) S 9494 9496 9441 0 -1 4202560 24773 0 0 0 13 3 0 0 15 0 22 0 522842060 16094707712 266279 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9503] ppid=9494 vsize=15717488 CPUtime=0.12 cores=1,3,5,7
/proc/9496/task/9503/stat : 9503 (java) S 9494 9496 9441 0 -1 4202560 19163 0 0 0 10 2 0 0 15 0 22 0 522842060 16094707712 266279 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 7 0 0 0
[pid=9496/tid=9504] ppid=9494 vsize=15717488 CPUtime=0.04 cores=1,3,5,7
/proc/9496/task/9504/stat : 9504 (java) S 9494 9496 9441 0 -1 4202560 7639 0 0 0 4 0 0 0 15 0 22 0 522842060 16094707712 266279 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9505] ppid=9494 vsize=15717488 CPUtime=0.12 cores=1,3,5,7
/proc/9496/task/9505/stat : 9505 (java) S 9494 9496 9441 0 -1 4202560 19431 0 0 0 9 3 0 0 15 0 22 0 522842060 16094707712 266279 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9506] ppid=9494 vsize=15717488 CPUtime=0.07 cores=1,3,5,7
/proc/9496/task/9506/stat : 9506 (java) S 9494 9496 9441 0 -1 4202560 12494 0 0 0 6 1 0 0 15 0 22 0 522842060 16094707712 266279 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/9496/task/9503/stat : 9503 (java) S 9494 9496 9441 0 -1 4202560 362075 0 0 0 197 60 0 0 16 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9504] ppid=9494 vsize=15717488 CPUtime=2.34 cores=1,3,5,7
/proc/9496/task/9504/stat : 9504 (java) S 9494 9496 9441 0 -1 4202560 328347 0 0 0 175 59 0 0 15 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9505] ppid=9494 vsize=15717488 CPUtime=2.37 cores=1,3,5,7
/proc/9496/task/9505/stat : 9505 (java) S 9494 9496 9441 0 -1 4202560 331635 0 0 0 182 55 0 0 16 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 7 0 0 0
[pid=9496/tid=9506] ppid=9494 vsize=15717488 CPUtime=3.31 cores=1,3,5,7
/proc/9496/task/9506/stat : 9506 (java) S 9494 9496 9441 0 -1 4202560 429095 0 0 0 257 74 0 0 16 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9507] ppid=9494 vsize=15717488 CPUtime=886.67 cores=1,3,5,7
/proc/9496/task/9507/stat : 9507 (java) R 9494 9496 9441 0 -1 4202560 686499 0 0 0 88545 122 0 0 25 0 22 0 522842062 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 47461365928870 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=9496/tid=9508] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9508/stat : 9508 (java) S 9494 9496 9441 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 522842062 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9509] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9509/stat : 9509 (java) S 9494 9496 9441 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522842062 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9510] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9510/stat : 9510 (java) S 9494 9496 9441 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 522842064 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820989361 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9511] ppid=9494 vsize=15717488 CPUtime=1.62 cores=1,3,5,7
/proc/9496/task/9511/stat : 9511 (java) S 9494 9496 9441 0 -1 4202560 13953 0 0 0 160 2 0 0 15 0 22 0 522842064 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 7 0 0 0
[pid=9496/tid=9512] ppid=9494 vsize=15717488 CPUtime=0.88 cores=1,3,5,7
/proc/9496/task/9512/stat : 9512 (java) S 9494 9496 9441 0 -1 4202560 2842 0 0 0 88 0 0 0 16 0 22 0 522842064 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9513] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9513/stat : 9513 (java) S 9494 9496 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522842064 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9514] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9514/stat : 9514 (java) S 9494 9496 9441 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 522842064 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820982272 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9519] ppid=9494 vsize=15717488 CPUtime=287.31 cores=1,3,5,7
/proc/9496/task/9519/stat : 9519 (java) S 9494 9496 9441 0 -1 4202560 107283 0 0 0 28712 19 0 0 15 0 22 0 522842138 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9520] ppid=9494 vsize=15717488 CPUtime=285.64 cores=1,3,5,7
/proc/9496/task/9520/stat : 9520 (java) S 9494 9496 9441 0 -1 4202560 98539 0 0 0 28549 15 0 0 15 0 22 0 522842138 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9521] ppid=9494 vsize=15717488 CPUtime=287.39 cores=1,3,5,7
/proc/9496/task/9521/stat : 9521 (java) S 9494 9496 9441 0 -1 4202560 105253 0 0 0 28720 19 0 0 15 0 22 0 522842138 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 20
[pid=9496/tid=9522] ppid=9494 vsize=15717488 CPUtime=287.52 cores=1,3,5,7
/proc/9496/task/9522/stat : 9522 (java) S 9494 9496 9441 0 -1 4202560 98043 0 0 0 28736 16 0 0 15 0 22 0 522842138 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2059.93
Current children cumulated vsize (KiB) 15717488
[startup+1242.3 s]
/proc/loadavg: 4.94 5.13 6.06 6/220 9606
/proc/meminfo: memFree=8466604/32951124 swapFree=67111524/67111528
[pid=9496] ppid=9494 vsize=15717488 CPUtime=2119.93 cores=1,3,5,7
/proc/9496/stat : 9496 (java) S 9494 9496 9441 0 -1 4202496 3893941 0 1 0 211319 674 0 0 22 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9496/statm: 3929372 3848261 2294 9 0 3920091 0
[pid=9496/tid=9497] ppid=9494 vsize=15717488 CPUtime=2.3 cores=1,3,5,7
/proc/9496/task/9497/stat : 9497 (java) S 9494 9496 9441 0 -1 4202560 35661 0 1 0 224 6 0 0 18 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9499] ppid=9494 vsize=15717488 CPUtime=2.99 cores=1,3,5,7
/proc/9496/task/9499/stat : 9499 (java) S 9494 9496 9441 0 -1 4202560 375006 0 0 0 237 62 0 0 16 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9500] ppid=9494 vsize=15717488 CPUtime=2.33 cores=1,3,5,7
/proc/9496/task/9500/stat : 9500 (java) S 9494 9496 9441 0 -1 4202560 326883 0 0 0 175 58 0 0 16 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9501] ppid=9494 vsize=15717488 CPUtime=2.63 cores=1,3,5,7
/proc/9496/task/9501/stat : 9501 (java) S 9494 9496 9441 0 -1 4202560 355609 0 0 0 205 58 0 0 15 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9502] ppid=9494 vsize=15717488 CPUtime=1.91 cores=1,3,5,7
/proc/9496/task/9502/stat : 9502 (java) S 9494 9496 9441 0 -1 4202560 235224 0 0 0 153 38 0 0 15 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9503] ppid=9494 vsize=15717488 CPUtime=2.57 cores=1,3,5,7
/proc/9496/task/9503/stat : 9503 (java) S 9494 9496 9441 0 -1 4202560 362075 0 0 0 197 60 0 0 16 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9504] ppid=9494 vsize=15717488 CPUtime=2.34 cores=1,3,5,7
/proc/9496/task/9504/stat : 9504 (java) S 9494 9496 9441 0 -1 4202560 328347 0 0 0 175 59 0 0 15 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9505] ppid=9494 vsize=15717488 CPUtime=2.37 cores=1,3,5,7
/proc/9496/task/9505/stat : 9505 (java) S 9494 9496 9441 0 -1 4202560 331635 0 0 0 182 55 0 0 16 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 7 0 0 0
[pid=9496/tid=9506] ppid=9494 vsize=15717488 CPUtime=3.31 cores=1,3,5,7
/proc/9496/task/9506/stat : 9506 (java) S 9494 9496 9441 0 -1 4202560 429095 0 0 0 257 74 0 0 16 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9507] ppid=9494 vsize=15717488 CPUtime=946.65 cores=1,3,5,7
/proc/9496/task/9507/stat : 9507 (java) R 9494 9496 9441 0 -1 4202560 686503 0 0 0 94542 123 0 0 25 0 22 0 522842062 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 47461367571872 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=9496/tid=9508] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9508/stat : 9508 (java) S 9494 9496 9441 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 522842062 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9509] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9509/stat : 9509 (java) S 9494 9496 9441 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522842062 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9510] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9510/stat : 9510 (java) S 9494 9496 9441 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 522842064 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820989361 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9511] ppid=9494 vsize=15717488 CPUtime=1.62 cores=1,3,5,7
/proc/9496/task/9511/stat : 9511 (java) S 9494 9496 9441 0 -1 4202560 13953 0 0 0 160 2 0 0 15 0 22 0 522842064 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 7 0 0 0
[pid=9496/tid=9512] ppid=9494 vsize=15717488 CPUtime=0.88 cores=1,3,5,7
/proc/9496/task/9512/stat : 9512 (java) S 9494 9496 9441 0 -1 4202560 2842 0 0 0 88 0 0 0 16 0 22 0 522842064 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9513] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9513/stat : 9513 (java) S 9494 9496 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522842064 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9514] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9514/stat : 9514 (java) S 9494 9496 9441 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 522842064 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820982272 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9519] ppid=9494 vsize=15717488 CPUtime=287.31 cores=1,3,5,7
/proc/9496/task/9519/stat : 9519 (java) S 9494 9496 9441 0 -1 4202560 107283 0 0 0 28712 19 0 0 15 0 22 0 522842138 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9520] ppid=9494 vsize=15717488 CPUtime=285.64 cores=1,3,5,7
/proc/9496/task/9520/stat : 9520 (java) S 9494 9496 9441 0 -1 4202560 98539 0 0 0 28549 15 0 0 15 0 22 0 522842138 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9521] ppid=9494 vsize=15717488 CPUtime=287.4 cores=1,3,5,7
/proc/9496/task/9521/stat : 9521 (java) S 9494 9496 9441 0 -1 4202560 105790 0 0 0 28721 19 0 0 15 0 22 0 522842138 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 20
[pid=9496/tid=9522] ppid=9494 vsize=15717488 CPUtime=287.52 cores=1,3,5,7
/proc/9496/task/9522/stat : 9522 (java) S 9494 9496 9441 0 -1 4202560 98043 0 0 0 28736 16 0 0 15 0 22 0 522842138 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2119.93
Current children cumulated vsize (KiB) 15717488
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 5.05 5.12 6.00 6/220 9607
/proc/meminfo: memFree=4360304/32951124 swapFree=67111524/67111528
[pid=9496] ppid=9494 vsize=15717488 CPUtime=2177.65 cores=1,3,5,7
/proc/9496/stat : 9496 (java) S 9494 9496 9441 0 -1 4202496 3894460 0 1 0 217090 675 0 0 22 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9496/statm: 3929372 3848261 2294 9 0 3920091 0
[pid=9496/tid=9497] ppid=9494 vsize=15717488 CPUtime=2.3 cores=1,3,5,7
/proc/9496/task/9497/stat : 9497 (java) S 9494 9496 9441 0 -1 4202560 35661 0 1 0 224 6 0 0 18 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9499] ppid=9494 vsize=15717488 CPUtime=2.99 cores=1,3,5,7
/proc/9496/task/9499/stat : 9499 (java) S 9494 9496 9441 0 -1 4202560 375006 0 0 0 237 62 0 0 16 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9500] ppid=9494 vsize=15717488 CPUtime=2.33 cores=1,3,5,7
/proc/9496/task/9500/stat : 9500 (java) S 9494 9496 9441 0 -1 4202560 326883 0 0 0 175 58 0 0 16 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9501] ppid=9494 vsize=15717488 CPUtime=2.63 cores=1,3,5,7
/proc/9496/task/9501/stat : 9501 (java) S 9494 9496 9441 0 -1 4202560 355609 0 0 0 205 58 0 0 15 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9502] ppid=9494 vsize=15717488 CPUtime=1.91 cores=1,3,5,7
/proc/9496/task/9502/stat : 9502 (java) S 9494 9496 9441 0 -1 4202560 235224 0 0 0 153 38 0 0 15 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9503] ppid=9494 vsize=15717488 CPUtime=2.57 cores=1,3,5,7
/proc/9496/task/9503/stat : 9503 (java) S 9494 9496 9441 0 -1 4202560 362075 0 0 0 197 60 0 0 16 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9504] ppid=9494 vsize=15717488 CPUtime=2.34 cores=1,3,5,7
/proc/9496/task/9504/stat : 9504 (java) S 9494 9496 9441 0 -1 4202560 328347 0 0 0 175 59 0 0 15 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9505] ppid=9494 vsize=15717488 CPUtime=2.37 cores=1,3,5,7
/proc/9496/task/9505/stat : 9505 (java) S 9494 9496 9441 0 -1 4202560 331635 0 0 0 182 55 0 0 16 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 7 0 0 0
[pid=9496/tid=9506] ppid=9494 vsize=15717488 CPUtime=3.31 cores=1,3,5,7
/proc/9496/task/9506/stat : 9506 (java) S 9494 9496 9441 0 -1 4202560 429095 0 0 0 257 74 0 0 16 0 22 0 522842060 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9507] ppid=9494 vsize=15717488 CPUtime=1004.36 cores=1,3,5,7
/proc/9496/task/9507/stat : 9507 (java) R 9494 9496 9441 0 -1 4202560 686505 0 0 0 100312 124 0 0 25 0 22 0 522842062 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 47461366660372 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=9496/tid=9508] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9508/stat : 9508 (java) S 9494 9496 9441 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 522842062 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9509] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9509/stat : 9509 (java) S 9494 9496 9441 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522842062 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9510] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9510/stat : 9510 (java) S 9494 9496 9441 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 522842064 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820989361 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9511] ppid=9494 vsize=15717488 CPUtime=1.62 cores=1,3,5,7
/proc/9496/task/9511/stat : 9511 (java) S 9494 9496 9441 0 -1 4202560 13953 0 0 0 160 2 0 0 15 0 22 0 522842064 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 7 0 0 0
[pid=9496/tid=9512] ppid=9494 vsize=15717488 CPUtime=0.88 cores=1,3,5,7
/proc/9496/task/9512/stat : 9512 (java) S 9494 9496 9441 0 -1 4202560 2842 0 0 0 88 0 0 0 16 0 22 0 522842064 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
[pid=9496/tid=9513] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9513/stat : 9513 (java) S 9494 9496 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522842064 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9514] ppid=9494 vsize=15717488 CPUtime=0 cores=1,3,5,7
/proc/9496/task/9514/stat : 9514 (java) S 9494 9496 9441 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 522842064 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820982272 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9519] ppid=9494 vsize=15717488 CPUtime=287.31 cores=1,3,5,7
/proc/9496/task/9519/stat : 9519 (java) S 9494 9496 9441 0 -1 4202560 107283 0 0 0 28712 19 0 0 15 0 22 0 522842138 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 0
[pid=9496/tid=9520] ppid=9494 vsize=15717488 CPUtime=285.64 cores=1,3,5,7
/proc/9496/task/9520/stat : 9520 (java) S 9494 9496 9441 0 -1 4202560 98539 0 0 0 28549 15 0 0 15 0 22 0 522842138 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 5 0 0 0
[pid=9496/tid=9521] ppid=9494 vsize=15717488 CPUtime=287.42 cores=1,3,5,7
/proc/9496/task/9521/stat : 9521 (java) S 9494 9496 9441 0 -1 4202560 106305 0 0 0 28722 20 0 0 15 0 22 0 522842138 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 3 0 0 20
[pid=9496/tid=9522] ppid=9494 vsize=15717488 CPUtime=287.52 cores=1,3,5,7
/proc/9496/task/9522/stat : 9522 (java) S 9494 9496 9441 0 -1 4202560 98043 0 0 0 28736 16 0 0 15 0 22 0 522842138 16094707712 3848261 33554432000 1073741824 1073778376 140735191702800 18446744073709551615 230820981657 0 4 0 16800975 18446604463550186560 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2177.65
Current children cumulated vsize (KiB) 15717488
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9496
[startup+1302.3 s]
/proc/loadavg: 5.04 5.12 6.00 3/221 9608
/proc/meminfo: memFree=4044096/32951124 swapFree=67111524/67111528
[pid=9496] ppid=9494 vsize=0 CPUtime=2179.94 cores=1,3,5,7
/proc/9496/stat : 9496 (java) Z 9494 9496 9441 0 -1 4203548 3894484 0 1 0 217291 703 0 0 18 0 2 0 522842060 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9496/statm: 0 0 0 0 0 0 0
[pid=9496/tid=9497] ppid=9494 vsize=0 CPUtime=2.58 cores=1,3,5,7
/proc/9496/task/9497/stat : 9497 (java) R 9494 9496 9441 0 -1 4203588 35661 0 1 0 224 34 0 0 18 0 2 0 522842060 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2179.94
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.51 s]
/proc/loadavg: 5.04 5.12 6.00 6/200 9609
/proc/meminfo: memFree=14986768/32951124 swapFree=67111524/67111528
[pid=9496] ppid=9494 vsize=0 CPUtime=2180.14 cores=1,3,5,7
/proc/9496/stat : 9496 (java) Z 9494 9496 9441 0 -1 4203548 3894484 0 1 0 217291 723 0 0 18 0 2 0 522842060 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9496/statm: 0 0 0 0 0 0 0
[pid=9496/tid=9497] ppid=9494 vsize=0 CPUtime=2.78 cores=1,3,5,7
/proc/9496/task/9497/stat : 9497 (java) R 9494 9496 9441 0 -1 4203588 35661 0 1 0 224 54 0 0 18 0 2 0 522842060 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2180.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.57
CPU time (s): 2180.21
CPU user time (s): 2172.91
CPU system time (s): 7.29789
CPU usage (%): 167.378
Max. virtual memory (cumulated for all children) (KiB): 15717488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2172.91
system time used= 7.29789
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3894484
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= 72231
involuntary context switches= 40858
runsolver used 2.18067 second user time and 4.96924 second system time
The end