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-3312104-1304075616/watcher-3312104-1304075616 -o /tmp/evaluation-result-3312104-1304075616/solver-3312104-1304075616 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312104-1304075616.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: 3.13 4.03 5.60 3/198 32046
/proc/meminfo: memFree=31052272/32951124 swapFree=67110188/67111528
[pid=32046] ppid=32044 vsize=26140 CPUtime=0 cores=1,3,5,7
/proc/32046/stat : 32046 (java) S 32044 32046 31842 0 -1 4202496 1392 0 0 0 0 0 0 0 21 0 2 0 519162450 26767360 870 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933579749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/32046/statm: 6535 875 670 9 0 381 0
[pid=32046/tid=32047] ppid=32044 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32047/stat : 32047 (java) R 32044 32046 31842 0 -1 4202560 52 0 0 0 0 0 0 0 22 0 2 0 519162451 26714112 881 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222921773061 0 0 4096 0 0 0 0 -1 1 0 0 0
[startup+0.0507101 s]
/proc/loadavg: 3.13 4.03 5.60 3/198 32046
/proc/meminfo: memFree=31052272/32951124 swapFree=67110188/67111528
[pid=32046] ppid=32044 vsize=15609648 CPUtime=0.04 cores=1,3,5,7
/proc/32046/stat : 32046 (java) S 32044 32046 31842 0 -1 4202496 4062 0 1 0 3 1 0 0 21 0 18 0 519162450 15984279552 3500 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32046/statm: 3902412 3501 1754 9 0 3893131 0
[pid=32046/tid=32047] ppid=32044 vsize=15609648 CPUtime=0.03 cores=1,3,5,7
/proc/32046/task/32047/stat : 32047 (java) R 32044 32046 31842 0 -1 4202560 2645 0 1 0 3 0 0 0 25 0 18 0 519162451 15984279552 3502 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 47924057217043 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15609648
[startup+0.100698 s]
/proc/loadavg: 3.13 4.03 5.60 3/198 32046
/proc/meminfo: memFree=31052272/32951124 swapFree=67110188/67111528
[pid=32046] ppid=32044 vsize=15676736 CPUtime=0.1 cores=1,3,5,7
/proc/32046/stat : 32046 (java) S 32044 32046 31842 0 -1 4202496 5561 0 1 0 9 1 0 0 21 0 18 0 519162450 16052977664 4998 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32046/statm: 3919184 4999 2118 9 0 3909903 0
[pid=32046/tid=32047] ppid=32044 vsize=15676736 CPUtime=0.09 cores=1,3,5,7
/proc/32046/task/32047/stat : 32047 (java) R 32044 32046 31842 0 -1 4202560 3468 0 1 0 8 1 0 0 18 0 18 0 519162451 16052977664 4999 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 47924057880058 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676736
[startup+0.300662 s]
/proc/loadavg: 3.13 4.03 5.60 3/198 32046
/proc/meminfo: memFree=31052272/32951124 swapFree=67110188/67111528
[pid=32046] ppid=32044 vsize=15680612 CPUtime=0.51 cores=1,3,5,7
/proc/32046/stat : 32046 (java) S 32044 32046 31842 0 -1 4202496 15646 0 1 0 48 3 0 0 21 0 18 0 519162450 16056946688 14169 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32046/statm: 3920153 14176 2207 9 0 3910872 0
[pid=32046/tid=32047] ppid=32044 vsize=15680612 CPUtime=0.28 cores=1,3,5,7
/proc/32046/task/32047/stat : 32047 (java) R 32044 32046 31842 0 -1 4202560 10670 0 1 0 26 2 0 0 18 0 18 0 519162451 16056946688 14179 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 46912505635539 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680612
[startup+0.700591 s]
/proc/loadavg: 3.13 4.03 5.60 3/198 32046
/proc/meminfo: memFree=31052272/32951124 swapFree=67110188/67111528
[pid=32046] ppid=32044 vsize=15680612 CPUtime=0.93 cores=1,3,5,7
/proc/32046/stat : 32046 (java) S 32044 32046 31842 0 -1 4202496 42129 0 1 0 87 6 0 0 21 0 18 0 519162450 16056946688 40648 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32046/statm: 3920153 40648 2223 9 0 3910872 0
[pid=32046/tid=32047] ppid=32044 vsize=15680612 CPUtime=0.68 cores=1,3,5,7
/proc/32046/task/32047/stat : 32047 (java) R 32044 32046 31842 0 -1 4202560 35537 0 1 0 63 5 0 0 18 0 18 0 519162451 16056946688 40648 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 46912505634860 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15680612
[startup+1.50144 s]
/proc/loadavg: 3.13 4.03 5.60 6/216 32064
/proc/meminfo: memFree=30802292/32951124 swapFree=67110188/67111528
[pid=32046] ppid=32044 vsize=15680612 CPUtime=1.74 cores=1,3,5,7
/proc/32046/stat : 32046 (java) S 32044 32046 31842 0 -1 4202496 49937 0 1 0 167 7 0 0 21 0 18 0 519162450 16056946688 48439 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32046/statm: 3920153 48445 2223 9 0 3910872 0
[pid=32046/tid=32047] ppid=32044 vsize=15680612 CPUtime=1.47 cores=1,3,5,7
/proc/32046/task/32047/stat : 32047 (java) R 32044 32046 31842 0 -1 4202560 40087 0 1 0 141 6 0 0 19 0 18 0 519162451 16056946688 48449 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 46912505635639 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32046/tid=32049] ppid=32044 vsize=15680612 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32049/stat : 32049 (java) S 32044 32046 31842 0 -1 4202560 1093 0 0 0 0 0 0 0 16 0 18 0 519162451 16056946688 48453 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32050] ppid=32044 vsize=15680612 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32050/stat : 32050 (java) S 32044 32046 31842 0 -1 4202560 525 0 0 0 0 0 0 0 15 0 18 0 519162451 16056946688 48456 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32051] ppid=32044 vsize=15680612 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32051/stat : 32051 (java) S 32044 32046 31842 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 18 0 519162451 16056946688 48460 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32052] ppid=32044 vsize=15680612 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32052/stat : 32052 (java) S 32044 32046 31842 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 18 0 519162451 16056946688 48460 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32053] ppid=32044 vsize=15680612 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32053/stat : 32053 (java) S 32044 32046 31842 0 -1 4202560 2151 0 0 0 0 0 0 0 16 0 18 0 519162451 16056946688 48460 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32054] ppid=32044 vsize=15680612 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32054/stat : 32054 (java) S 32044 32046 31842 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 18 0 519162451 16056946688 48460 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 3 0 0 0
[pid=32046/tid=32055] ppid=32044 vsize=15680612 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32055/stat : 32055 (java) S 32044 32046 31842 0 -1 4202560 655 0 0 0 0 0 0 0 15 0 18 0 519162451 16056946688 48460 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 3 0 0 0
[pid=32046/tid=32056] ppid=32044 vsize=15680612 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32056/stat : 32056 (java) S 32044 32046 31842 0 -1 4202560 354 0 0 0 0 0 0 0 15 0 18 0 519162451 16056946688 48460 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32057] ppid=32044 vsize=15680612 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32057/stat : 32057 (java) S 32044 32046 31842 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 18 0 519162452 16056946688 48460 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933593600 0 0 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32058] ppid=32044 vsize=15680612 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32058/stat : 32058 (java) S 32044 32046 31842 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 519162453 16056946688 48464 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32059] ppid=32044 vsize=15680612 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32059/stat : 32059 (java) S 32044 32046 31842 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 519162453 16056946688 48468 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32060] ppid=32044 vsize=15680612 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32060/stat : 32060 (java) S 32044 32046 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 519162455 16056946688 48482 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933600689 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32061] ppid=32044 vsize=15680612 CPUtime=0.09 cores=1,3,5,7
/proc/32046/task/32061/stat : 32061 (java) S 32044 32046 31842 0 -1 4202560 1419 0 0 0 9 0 0 0 25 0 18 0 519162455 16056946688 48497 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32062] ppid=32044 vsize=15680612 CPUtime=0.12 cores=1,3,5,7
/proc/32046/task/32062/stat : 32062 (java) S 32044 32046 31842 0 -1 4202560 2173 0 0 0 12 0 0 0 17 0 18 0 519162455 16056946688 48511 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32063] ppid=32044 vsize=15680612 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32063/stat : 32063 (java) S 32044 32046 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 519162455 16056946688 48527 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32064] ppid=32044 vsize=15680612 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32064/stat : 32064 (java) S 32044 32046 31842 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 519162455 16056946688 48542 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933593600 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 15680612
[startup+3.10115 s]
/proc/loadavg: 3.13 4.03 5.60 6/216 32064
/proc/meminfo: memFree=30560616/32951124 swapFree=67110188/67111528
[pid=32046] ppid=32044 vsize=15684724 CPUtime=3.64 cores=1,3,5,7
/proc/32046/stat : 32046 (java) S 32044 32046 31842 0 -1 4202496 136819 0 1 0 346 18 0 0 21 0 22 0 519162450 16061157376 133685 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32046/statm: 3921181 133690 2266 9 0 3911900 0
[pid=32046/tid=32047] ppid=32044 vsize=15684724 CPUtime=3.06 cores=1,3,5,7
/proc/32046/task/32047/stat : 32047 (java) R 32044 32046 31842 0 -1 4202560 119931 0 1 0 290 16 0 0 18 0 22 0 519162451 16061157376 133693 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 47924054284167 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32046/tid=32049] ppid=32044 vsize=15684724 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32049/stat : 32049 (java) S 32044 32046 31842 0 -1 4202560 1094 0 0 0 0 0 0 0 15 0 22 0 519162451 16061157376 133694 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32050] ppid=32044 vsize=15684724 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32050/stat : 32050 (java) S 32044 32046 31842 0 -1 4202560 772 0 0 0 0 0 0 0 15 0 22 0 519162451 16061157376 133694 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32051] ppid=32044 vsize=15684724 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32051/stat : 32051 (java) S 32044 32046 31842 0 -1 4202560 2583 0 0 0 0 0 0 0 15 0 22 0 519162451 16061157376 133694 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32052] ppid=32044 vsize=15684724 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32052/stat : 32052 (java) S 32044 32046 31842 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 519162451 16061157376 133695 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32053] ppid=32044 vsize=15684724 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32053/stat : 32053 (java) S 32044 32046 31842 0 -1 4202560 2187 0 0 0 0 0 0 0 15 0 22 0 519162451 16061157376 133699 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32054] ppid=32044 vsize=15684724 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32054/stat : 32054 (java) S 32044 32046 31842 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 22 0 519162451 16061157376 133699 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 3 0 0 0
[pid=32046/tid=32055] ppid=32044 vsize=15684724 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32055/stat : 32055 (java) S 32044 32046 31842 0 -1 4202560 657 0 0 0 0 0 0 0 15 0 22 0 519162451 16061157376 133700 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 3 0 0 0
[pid=32046/tid=32056] ppid=32044 vsize=15684724 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32056/stat : 32056 (java) S 32044 32046 31842 0 -1 4202560 603 0 0 0 0 0 0 0 16 0 22 0 519162451 16061157376 133701 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32057] ppid=32044 vsize=15684724 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32057/stat : 32057 (java) S 32044 32046 31842 0 -1 4202560 197 0 0 0 0 0 0 0 16 0 22 0 519162452 16061157376 133701 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933593600 0 0 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32058] ppid=32044 vsize=15684724 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32058/stat : 32058 (java) S 32044 32046 31842 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 519162453 16061157376 133701 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32059] ppid=32044 vsize=15684724 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32059/stat : 32059 (java) S 32044 32046 31842 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 519162453 16061157376 133702 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32060] ppid=32044 vsize=15684724 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32060/stat : 32060 (java) S 32044 32046 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519162455 16061157376 133705 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933600689 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32061] ppid=32044 vsize=15684724 CPUtime=0.21 cores=1,3,5,7
/proc/32046/task/32061/stat : 32061 (java) S 32044 32046 31842 0 -1 4202560 1468 0 0 0 21 0 0 0 15 0 22 0 519162455 16061157376 133705 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32062] ppid=32044 vsize=15684724 CPUtime=0.27 cores=1,3,5,7
/proc/32046/task/32062/stat : 32062 (java) R 32044 32046 31842 0 -1 4202560 5845 0 0 0 27 0 0 0 15 0 22 0 519162455 16061157376 133705 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 47924053507780 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32046/tid=32063] ppid=32044 vsize=15684724 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32063/stat : 32063 (java) S 32044 32046 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519162455 16061157376 133705 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32064] ppid=32044 vsize=15684724 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32064/stat : 32064 (java) S 32044 32046 31842 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 519162455 16061157376 133706 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933593600 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 15684724
[startup+6.30156 s]
/proc/loadavg: 3.28 4.05 5.60 6/220 32068
/proc/meminfo: memFree=29519268/32951124 swapFree=67110188/67111528
[pid=32046] ppid=32044 vsize=15684116 CPUtime=7.54 cores=1,3,5,7
/proc/32046/stat : 32046 (java) S 32044 32046 31842 0 -1 4202496 145283 0 1 0 735 19 0 0 21 0 22 0 519162450 16060534784 136237 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32046/statm: 3921029 136237 2276 9 0 3911748 0
[pid=32046/tid=32047] ppid=32044 vsize=15684116 CPUtime=6.26 cores=1,3,5,7
/proc/32046/task/32047/stat : 32047 (java) R 32044 32046 31842 0 -1 4202560 119942 0 1 0 610 16 0 0 25 0 22 0 519162451 16060534784 136237 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 46912506078368 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32046/tid=32049] ppid=32044 vsize=15684116 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32049/stat : 32049 (java) S 32044 32046 31842 0 -1 4202560 1094 0 0 0 0 0 0 0 15 0 22 0 519162451 16060534784 136237 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32050] ppid=32044 vsize=15684116 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32050/stat : 32050 (java) S 32044 32046 31842 0 -1 4202560 772 0 0 0 0 0 0 0 15 0 22 0 519162451 16060534784 136237 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32051] ppid=32044 vsize=15684116 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32051/stat : 32051 (java) S 32044 32046 31842 0 -1 4202560 2583 0 0 0 0 0 0 0 15 0 22 0 519162451 16060534784 136237 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32052] ppid=32044 vsize=15684116 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32052/stat : 32052 (java) S 32044 32046 31842 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 519162451 16060534784 136237 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32053] ppid=32044 vsize=15684116 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32053/stat : 32053 (java) S 32044 32046 31842 0 -1 4202560 2187 0 0 0 0 0 0 0 15 0 22 0 519162451 16060534784 136237 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32054] ppid=32044 vsize=15684116 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32054/stat : 32054 (java) S 32044 32046 31842 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 22 0 519162451 16060534784 136237 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 3 0 0 0
[pid=32046/tid=32055] ppid=32044 vsize=15684116 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32055/stat : 32055 (java) S 32044 32046 31842 0 -1 4202560 657 0 0 0 0 0 0 0 15 0 22 0 519162451 16060534784 136237 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 3 0 0 0
[pid=32046/tid=32056] ppid=32044 vsize=15684116 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32056/stat : 32056 (java) S 32044 32046 31842 0 -1 4202560 603 0 0 0 0 0 0 0 16 0 22 0 519162451 16060534784 136237 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32057] ppid=32044 vsize=15684116 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32057/stat : 32057 (java) S 32044 32046 31842 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 22 0 519162452 16060534784 136237 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933593600 0 0 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32058] ppid=32044 vsize=15684116 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32058/stat : 32058 (java) S 32044 32046 31842 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 519162453 16060534784 136237 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32059] ppid=32044 vsize=15684116 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32059/stat : 32059 (java) S 32044 32046 31842 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 519162453 16060534784 136237 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32060] ppid=32044 vsize=15684116 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32060/stat : 32060 (java) S 32044 32046 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519162455 16060534784 136237 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933600689 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32061] ppid=32044 vsize=15684116 CPUtime=0.46 cores=1,3,5,7
/proc/32046/task/32061/stat : 32061 (java) S 32044 32046 31842 0 -1 4202560 3000 0 0 0 46 0 0 0 15 0 22 0 519162455 16060534784 136237 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32062] ppid=32044 vsize=15684116 CPUtime=0.72 cores=1,3,5,7
/proc/32046/task/32062/stat : 32062 (java) S 32044 32046 31842 0 -1 4202560 12745 0 0 0 71 1 0 0 15 0 22 0 519162455 16060534784 136237 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32063] ppid=32044 vsize=15684116 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32063/stat : 32063 (java) S 32044 32046 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519162455 16060534784 136237 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32064] ppid=32044 vsize=15684116 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32064/stat : 32064 (java) S 32044 32046 31842 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 519162455 16060534784 136237 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933593600 0 4 0 16800975 18446604462193453056 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/32046/task/32050/stat : 32050 (java) S 32044 32046 31842 0 -1 4202560 453617 0 0 0 941 71 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32051] ppid=32044 vsize=15749652 CPUtime=9.5 cores=1,3,5,7
/proc/32046/task/32051/stat : 32051 (java) S 32044 32046 31842 0 -1 4202560 432883 0 0 0 887 63 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32052] ppid=32044 vsize=15749652 CPUtime=9.75 cores=1,3,5,7
/proc/32046/task/32052/stat : 32052 (java) S 32044 32046 31842 0 -1 4202560 381066 0 0 0 916 59 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 3 0 0 0
[pid=32046/tid=32053] ppid=32044 vsize=15749652 CPUtime=9.5 cores=1,3,5,7
/proc/32046/task/32053/stat : 32053 (java) S 32044 32046 31842 0 -1 4202560 436118 0 0 0 885 65 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32054] ppid=32044 vsize=15749652 CPUtime=11.26 cores=1,3,5,7
/proc/32046/task/32054/stat : 32054 (java) S 32044 32046 31842 0 -1 4202560 520834 0 0 0 1042 84 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32055] ppid=32044 vsize=15749652 CPUtime=9.35 cores=1,3,5,7
/proc/32046/task/32055/stat : 32055 (java) S 32044 32046 31842 0 -1 4202560 485421 0 0 0 860 75 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32056] ppid=32044 vsize=15749652 CPUtime=10.69 cores=1,3,5,7
/proc/32046/task/32056/stat : 32056 (java) S 32044 32046 31842 0 -1 4202560 488091 0 0 0 991 78 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 3 0 0 0
[pid=32046/tid=32057] ppid=32044 vsize=15749652 CPUtime=121.23 cores=1,3,5,7
/proc/32046/task/32057/stat : 32057 (java) S 32044 32046 31842 0 -1 4202560 132602 0 0 0 12106 17 0 0 15 0 21 0 519162452 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933593600 0 0 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32058] ppid=32044 vsize=15749652 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32058/stat : 32058 (java) S 32044 32046 31842 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 21 0 519162453 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32059] ppid=32044 vsize=15749652 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32059/stat : 32059 (java) S 32044 32046 31842 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 21 0 519162453 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32060] ppid=32044 vsize=15749652 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32060/stat : 32060 (java) S 32044 32046 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 519162455 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933600689 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32061] ppid=32044 vsize=15749652 CPUtime=1.05 cores=1,3,5,7
/proc/32046/task/32061/stat : 32061 (java) S 32044 32046 31842 0 -1 4202560 3055 0 0 0 105 0 0 0 15 0 21 0 519162455 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32062] ppid=32044 vsize=15749652 CPUtime=1.44 cores=1,3,5,7
/proc/32046/task/32062/stat : 32062 (java) S 32044 32046 31842 0 -1 4202560 12825 0 0 0 143 1 0 0 15 0 21 0 519162455 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32063] ppid=32044 vsize=15749652 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32063/stat : 32063 (java) S 32044 32046 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 519162455 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32064] ppid=32044 vsize=15749652 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32064/stat : 32064 (java) S 32044 32046 31842 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 21 0 519162455 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933593600 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32065] ppid=32044 vsize=15749652 CPUtime=979.91 cores=1,3,5,7
/proc/32046/task/32065/stat : 32065 (java) R 32044 32046 31842 0 -1 4202560 156 0 0 0 97991 0 0 0 20 0 21 0 519162719 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 46912506106578 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32046/tid=32067] ppid=32044 vsize=15749652 CPUtime=976.47 cores=1,3,5,7
/proc/32046/task/32067/stat : 32067 (java) R 32044 32046 31842 0 -1 4202560 78 0 0 0 97647 0 0 0 20 0 21 0 519162719 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 46912506106655 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32046/tid=32068] ppid=32044 vsize=15749652 CPUtime=927.23 cores=1,3,5,7
/proc/32046/task/32068/stat : 32068 (java) R 32044 32046 31842 0 -1 4202560 93 0 0 0 92723 0 0 0 20 0 21 0 519162719 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 46912506106707 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3935.91
Current children cumulated vsize (KiB) 15749652
[startup+1242.3 s]
/proc/loadavg: 5.95 6.86 6.85 6/219 32152
/proc/meminfo: memFree=13285524/32951124 swapFree=67110188/67111528
[pid=32046] ppid=32044 vsize=15749652 CPUtime=4073.66 cores=1,3,5,7
/proc/32046/stat : 32046 (java) S 32044 32046 31842 0 -1 4202496 3925154 0 1 0 406756 610 0 0 21 0 21 0 519162450 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32046/statm: 3937413 3810273 2296 9 0 3928132 0
[pid=32046/tid=32047] ppid=32044 vsize=15749652 CPUtime=58.12 cores=1,3,5,7
/proc/32046/task/32047/stat : 32047 (java) S 32044 32046 31842 0 -1 4202560 121947 0 1 0 5795 17 0 0 25 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 3 0 0 0
[pid=32046/tid=32049] ppid=32044 vsize=15749652 CPUtime=9.91 cores=1,3,5,7
/proc/32046/task/32049/stat : 32049 (java) S 32044 32046 31842 0 -1 4202560 454789 0 0 0 919 72 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 3 0 0 0
[pid=32046/tid=32050] ppid=32044 vsize=15749652 CPUtime=10.12 cores=1,3,5,7
/proc/32046/task/32050/stat : 32050 (java) S 32044 32046 31842 0 -1 4202560 453617 0 0 0 941 71 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32051] ppid=32044 vsize=15749652 CPUtime=9.5 cores=1,3,5,7
/proc/32046/task/32051/stat : 32051 (java) S 32044 32046 31842 0 -1 4202560 432883 0 0 0 887 63 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32052] ppid=32044 vsize=15749652 CPUtime=9.75 cores=1,3,5,7
/proc/32046/task/32052/stat : 32052 (java) S 32044 32046 31842 0 -1 4202560 381066 0 0 0 916 59 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 3 0 0 0
[pid=32046/tid=32053] ppid=32044 vsize=15749652 CPUtime=9.5 cores=1,3,5,7
/proc/32046/task/32053/stat : 32053 (java) S 32044 32046 31842 0 -1 4202560 436118 0 0 0 885 65 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32054] ppid=32044 vsize=15749652 CPUtime=11.26 cores=1,3,5,7
/proc/32046/task/32054/stat : 32054 (java) S 32044 32046 31842 0 -1 4202560 520834 0 0 0 1042 84 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32055] ppid=32044 vsize=15749652 CPUtime=9.35 cores=1,3,5,7
/proc/32046/task/32055/stat : 32055 (java) S 32044 32046 31842 0 -1 4202560 485421 0 0 0 860 75 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32056] ppid=32044 vsize=15749652 CPUtime=10.69 cores=1,3,5,7
/proc/32046/task/32056/stat : 32056 (java) S 32044 32046 31842 0 -1 4202560 488091 0 0 0 991 78 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 3 0 0 0
[pid=32046/tid=32057] ppid=32044 vsize=15749652 CPUtime=142.33 cores=1,3,5,7
/proc/32046/task/32057/stat : 32057 (java) R 32044 32046 31842 0 -1 4202560 132606 0 0 0 14216 17 0 0 16 0 21 0 519162452 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 47924058404867 0 0 0 16800975 0 0 0 -1 7 0 0 0
[pid=32046/tid=32058] ppid=32044 vsize=15749652 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32058/stat : 32058 (java) S 32044 32046 31842 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 21 0 519162453 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32059] ppid=32044 vsize=15749652 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32059/stat : 32059 (java) S 32044 32046 31842 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 21 0 519162453 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32060] ppid=32044 vsize=15749652 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32060/stat : 32060 (java) S 32044 32046 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 519162455 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933600689 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32061] ppid=32044 vsize=15749652 CPUtime=1.05 cores=1,3,5,7
/proc/32046/task/32061/stat : 32061 (java) S 32044 32046 31842 0 -1 4202560 3055 0 0 0 105 0 0 0 15 0 21 0 519162455 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32062] ppid=32044 vsize=15749652 CPUtime=1.44 cores=1,3,5,7
/proc/32046/task/32062/stat : 32062 (java) S 32044 32046 31842 0 -1 4202560 12825 0 0 0 143 1 0 0 15 0 21 0 519162455 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32063] ppid=32044 vsize=15749652 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32063/stat : 32063 (java) S 32044 32046 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 519162455 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32064] ppid=32044 vsize=15749652 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32064/stat : 32064 (java) S 32044 32046 31842 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 21 0 519162455 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933593600 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32065] ppid=32044 vsize=15749652 CPUtime=1018.79 cores=1,3,5,7
/proc/32046/task/32065/stat : 32065 (java) S 32044 32046 31842 0 -1 4202560 179 0 0 0 101879 0 0 0 15 0 21 0 519162719 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32067] ppid=32044 vsize=15749652 CPUtime=1015.37 cores=1,3,5,7
/proc/32046/task/32067/stat : 32067 (java) S 32044 32046 31842 0 -1 4202560 89 0 0 0 101537 0 0 0 15 0 21 0 519162719 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32068] ppid=32044 vsize=15749652 CPUtime=966.11 cores=1,3,5,7
/proc/32046/task/32068/stat : 32068 (java) S 32044 32046 31842 0 -1 4202560 123 0 0 0 96611 0 0 0 16 0 21 0 519162719 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4073.66
Current children cumulated vsize (KiB) 15749652
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 5.87 6.64 6.77 6/219 32153
/proc/meminfo: memFree=10509656/32951124 swapFree=67110188/67111528
[pid=32046] ppid=32044 vsize=15749652 CPUtime=4167.36 cores=1,3,5,7
/proc/32046/stat : 32046 (java) S 32044 32046 31842 0 -1 4202496 3925302 0 1 0 416122 614 0 0 21 0 21 0 519162450 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32046/statm: 3937413 3810273 2296 9 0 3928132 0
[pid=32046/tid=32047] ppid=32044 vsize=15749652 CPUtime=58.12 cores=1,3,5,7
/proc/32046/task/32047/stat : 32047 (java) S 32044 32046 31842 0 -1 4202560 121947 0 1 0 5795 17 0 0 25 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 3 0 0 0
[pid=32046/tid=32049] ppid=32044 vsize=15749652 CPUtime=9.91 cores=1,3,5,7
/proc/32046/task/32049/stat : 32049 (java) S 32044 32046 31842 0 -1 4202560 454789 0 0 0 919 72 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 3 0 0 0
[pid=32046/tid=32050] ppid=32044 vsize=15749652 CPUtime=10.12 cores=1,3,5,7
/proc/32046/task/32050/stat : 32050 (java) S 32044 32046 31842 0 -1 4202560 453617 0 0 0 941 71 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32051] ppid=32044 vsize=15749652 CPUtime=9.5 cores=1,3,5,7
/proc/32046/task/32051/stat : 32051 (java) S 32044 32046 31842 0 -1 4202560 432883 0 0 0 887 63 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32052] ppid=32044 vsize=15749652 CPUtime=9.75 cores=1,3,5,7
/proc/32046/task/32052/stat : 32052 (java) S 32044 32046 31842 0 -1 4202560 381066 0 0 0 916 59 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 3 0 0 0
[pid=32046/tid=32053] ppid=32044 vsize=15749652 CPUtime=9.5 cores=1,3,5,7
/proc/32046/task/32053/stat : 32053 (java) S 32044 32046 31842 0 -1 4202560 436118 0 0 0 885 65 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32054] ppid=32044 vsize=15749652 CPUtime=11.26 cores=1,3,5,7
/proc/32046/task/32054/stat : 32054 (java) S 32044 32046 31842 0 -1 4202560 520834 0 0 0 1042 84 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32055] ppid=32044 vsize=15749652 CPUtime=9.35 cores=1,3,5,7
/proc/32046/task/32055/stat : 32055 (java) S 32044 32046 31842 0 -1 4202560 485421 0 0 0 860 75 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32056] ppid=32044 vsize=15749652 CPUtime=10.69 cores=1,3,5,7
/proc/32046/task/32056/stat : 32056 (java) S 32044 32046 31842 0 -1 4202560 488091 0 0 0 991 78 0 0 16 0 21 0 519162451 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 3 0 0 0
[pid=32046/tid=32057] ppid=32044 vsize=15749652 CPUtime=182.02 cores=1,3,5,7
/proc/32046/task/32057/stat : 32057 (java) R 32044 32046 31842 0 -1 4202560 132610 0 0 0 18183 19 0 0 16 0 21 0 519162452 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 47924058405333 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=32046/tid=32058] ppid=32044 vsize=15749652 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32058/stat : 32058 (java) S 32044 32046 31842 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 21 0 519162453 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32059] ppid=32044 vsize=15749652 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32059/stat : 32059 (java) S 32044 32046 31842 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 21 0 519162453 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32060] ppid=32044 vsize=15749652 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32060/stat : 32060 (java) S 32044 32046 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 519162455 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933600689 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32061] ppid=32044 vsize=15749652 CPUtime=1.05 cores=1,3,5,7
/proc/32046/task/32061/stat : 32061 (java) S 32044 32046 31842 0 -1 4202560 3055 0 0 0 105 0 0 0 15 0 21 0 519162455 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 7 0 0 0
[pid=32046/tid=32062] ppid=32044 vsize=15749652 CPUtime=1.44 cores=1,3,5,7
/proc/32046/task/32062/stat : 32062 (java) S 32044 32046 31842 0 -1 4202560 12825 0 0 0 143 1 0 0 15 0 21 0 519162455 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32063] ppid=32044 vsize=15749652 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32063/stat : 32063 (java) S 32044 32046 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 519162455 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32064] ppid=32044 vsize=15749652 CPUtime=0 cores=1,3,5,7
/proc/32046/task/32064/stat : 32064 (java) S 32044 32046 31842 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 21 0 519162455 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933593600 0 4 0 16800975 18446604462193453056 0 0 -1 3 0 0 0
[pid=32046/tid=32065] ppid=32044 vsize=15749652 CPUtime=1036.79 cores=1,3,5,7
/proc/32046/task/32065/stat : 32065 (java) S 32044 32046 31842 0 -1 4202560 237 0 0 0 103679 0 0 0 16 0 21 0 519162719 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 1 0 0 0
[pid=32046/tid=32067] ppid=32044 vsize=15749652 CPUtime=1033.38 cores=1,3,5,7
/proc/32046/task/32067/stat : 32067 (java) S 32044 32046 31842 0 -1 4202560 135 0 0 0 103337 1 0 0 15 0 21 0 519162719 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 5 0 0 0
[pid=32046/tid=32068] ppid=32044 vsize=15749652 CPUtime=984.11 cores=1,3,5,7
/proc/32046/task/32068/stat : 32068 (java) S 32044 32046 31842 0 -1 4202560 159 0 0 0 98410 1 0 0 15 0 21 0 519162719 16127643648 3810273 33554432000 1073741824 1073778376 140733629683584 18446744073709551615 222933592985 0 4 0 16800975 18446604462193453056 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4167.36
Current children cumulated vsize (KiB) 15749652
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -32046
[startup+1302.3 s]
/proc/loadavg: 5.87 6.64 6.77 6/221 32155
/proc/meminfo: memFree=10509516/32951124 swapFree=67110188/67111528
[pid=32046] ppid=32044 vsize=0 CPUtime=4169.66 cores=1,3,5,7
/proc/32046/stat : 32046 (java) Z 32044 32046 31842 0 -1 4203548 3925315 0 1 0 416324 642 0 0 18 0 2 0 519162450 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32046/statm: 0 0 0 0 0 0 0
[pid=32046/tid=32057] ppid=32044 vsize=0 CPUtime=184.31 cores=1,3,5,7
/proc/32046/task/32057/stat : 32057 (java) R 32044 32046 31842 0 -1 4203588 132610 0 0 0 18383 48 0 0 19 0 2 0 519162452 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4169.66
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.5 s]
/proc/loadavg: 5.87 6.64 6.77 6/221 32155
/proc/meminfo: memFree=10509516/32951124 swapFree=67110188/67111528
[pid=32046] ppid=32044 vsize=0 CPUtime=4169.86 cores=1,3,5,7
/proc/32046/stat : 32046 (java) Z 32044 32046 31842 0 -1 4203548 3925315 0 1 0 416324 662 0 0 18 0 2 0 519162450 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32046/statm: 0 0 0 0 0 0 0
[pid=32046/tid=32057] ppid=32044 vsize=0 CPUtime=184.51 cores=1,3,5,7
/proc/32046/task/32057/stat : 32057 (java) R 32044 32046 31842 0 -1 4203588 132610 0 0 0 18383 68 0 0 19 0 2 0 519162452 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4169.86
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.52
CPU time (s): 4169.89
CPU user time (s): 4163.24
CPU system time (s): 6.64499
CPU usage (%): 320.14
Max. virtual memory (cumulated for all children) (KiB): 15749652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4163.24
system time used= 6.64499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3925315
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= 40365
involuntary context switches= 76736
runsolver used 2.23666 second user time and 4.91425 second system time
The end