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-3312437-1304114877/watcher-3312437-1304114877 -o /tmp/evaluation-result-3312437-1304114877/solver-3312437-1304114877 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312437-1304114877.cnf
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: 8.10 8.10 8.03 1/175 5761
/proc/meminfo: memFree=24785500/32951124 swapFree=67111348/67111528
[pid=5761] ppid=5759 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/5761/stat : 5761 (java) S 5759 5761 4980 0 -1 4202496 669 0 0 0 0 0 0 0 25 0 1 0 601718234 9318400 156 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252453142151 0 2147483391 4096 0 18446744071699199166 0 0 17 1 0 0 0
/proc/5761/statm: 2275 156 126 9 0 67 0
[startup+0.027493 s]
/proc/loadavg: 8.10 8.10 8.03 1/175 5761
/proc/meminfo: memFree=24785500/32951124 swapFree=67111348/67111528
[pid=5761] ppid=5759 vsize=15602060 CPUtime=0.01 cores=1,3,5,7
/proc/5761/stat : 5761 (java) S 5759 5761 4980 0 -1 4202496 3374 0 1 0 1 0 0 0 25 0 11 0 601718234 15976509440 2814 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/5761/statm: 3900515 2814 1619 9 0 3891263 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15602060
[startup+0.10047 s]
/proc/loadavg: 8.10 8.10 8.03 1/175 5761
/proc/meminfo: memFree=24785500/32951124 swapFree=67111348/67111528
[pid=5761] ppid=5759 vsize=15676596 CPUtime=0.1 cores=1,3,5,7
/proc/5761/stat : 5761 (java) S 5759 5761 4980 0 -1 4202496 5552 0 1 0 9 1 0 0 25 0 18 0 601718234 16052834304 4960 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5761/statm: 3919149 4960 2116 9 0 3909868 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676596
[startup+0.300398 s]
/proc/loadavg: 8.10 8.10 8.03 1/175 5761
/proc/meminfo: memFree=24785500/32951124 swapFree=67111348/67111528
[pid=5761] ppid=5759 vsize=15681760 CPUtime=0.51 cores=1,3,5,7
/proc/5761/stat : 5761 (java) S 5759 5761 4980 0 -1 4202496 15251 0 1 0 48 3 0 0 25 0 18 0 601718234 16058122240 13431 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5761/statm: 3920440 13437 2206 9 0 3911159 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15681760
[startup+0.700364 s]
/proc/loadavg: 8.10 8.10 8.03 1/175 5761
/proc/meminfo: memFree=24785500/32951124 swapFree=67111348/67111528
[pid=5761] ppid=5759 vsize=15681760 CPUtime=0.92 cores=1,3,5,7
/proc/5761/stat : 5761 (java) S 5759 5761 4980 0 -1 4202496 41850 0 1 0 85 7 0 0 25 0 18 0 601718234 16058122240 40026 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5761/statm: 3920440 40026 2222 9 0 3911159 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15681760
[startup+1.50121 s]
/proc/loadavg: 8.10 8.10 8.03 3/216 5827
/proc/meminfo: memFree=24482476/32951124 swapFree=67111348/67111528
[pid=5761] ppid=5759 vsize=15690132 CPUtime=2.23 cores=1,3,5,7
/proc/5761/stat : 5761 (java) S 5759 5761 4980 0 -1 4202496 48527 0 1 0 215 8 0 0 25 0 22 0 601718234 16066695168 43909 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5761/statm: 3922533 43909 2265 9 0 3913252 0
[pid=5761/tid=5763] ppid=5759 vsize=15690132 CPUtime=1.46 cores=1,3,5,7
/proc/5761/task/5763/stat : 5763 (java) R 5759 5761 4980 0 -1 4202560 35634 0 1 0 141 5 0 0 21 0 22 0 601718235 16066695168 43909 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 46912505216993 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5761/tid=5764] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5764/stat : 5764 (java) S 5759 5761 4980 0 -1 4202560 63 0 0 0 0 0 0 0 18 0 22 0 601718235 16066695168 43909 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5765] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5765/stat : 5765 (java) S 5759 5761 4980 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 601718235 16066695168 43909 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5766] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5766/stat : 5766 (java) S 5759 5761 4980 0 -1 4202560 692 0 0 0 0 0 0 0 18 0 22 0 601718235 16066695168 43909 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5767] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5767/stat : 5767 (java) S 5759 5761 4980 0 -1 4202560 35 0 0 0 0 0 0 0 18 0 22 0 601718235 16066695168 43909 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5768] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5768/stat : 5768 (java) S 5759 5761 4980 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 601718235 16066695168 43909 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 7 0 0 0
[pid=5761/tid=5769] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5769/stat : 5769 (java) S 5759 5761 4980 0 -1 4202560 39 0 0 0 0 0 0 0 18 0 22 0 601718235 16066695168 43909 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 5 0 0 0
[pid=5761/tid=5770] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5770/stat : 5770 (java) S 5759 5761 4980 0 -1 4202560 639 0 0 0 0 0 0 0 18 0 22 0 601718235 16066695168 43909 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 5 0 0 0
[pid=5761/tid=5771] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5771/stat : 5771 (java) S 5759 5761 4980 0 -1 4202560 40 0 0 0 0 0 0 0 18 0 22 0 601718235 16066695168 43909 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5772] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5772/stat : 5772 (java) S 5759 5761 4980 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 601718236 16066695168 43909 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469882368 0 0 0 16800975 18446604471128002688 0 0 -1 5 0 0 0
[pid=5761/tid=5773] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5773/stat : 5773 (java) S 5759 5761 4980 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 601718237 16066695168 43909 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 7 0 0 0
[pid=5761/tid=5774] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5774/stat : 5774 (java) S 5759 5761 4980 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 601718237 16066695168 43909 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 7 0 0 0
[pid=5761/tid=5775] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5775/stat : 5775 (java) S 5759 5761 4980 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601718239 16066695168 43909 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469889457 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5776] ppid=5759 vsize=15690132 CPUtime=0.37 cores=1,3,5,7
/proc/5761/task/5776/stat : 5776 (java) S 5759 5761 4980 0 -1 4202560 4441 0 0 0 37 0 0 0 19 0 22 0 601718239 16066695168 43909 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 7 0 0 0
[pid=5761/tid=5777] ppid=5759 vsize=15690132 CPUtime=0.35 cores=1,3,5,7
/proc/5761/task/5777/stat : 5777 (java) R 5759 5761 4980 0 -1 4202560 5507 0 0 0 34 1 0 0 16 0 22 0 601718239 16066695168 43910 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 47579144679156 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5761/tid=5778] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5778/stat : 5778 (java) S 5759 5761 4980 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601718239 16066695168 43910 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5779] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5779/stat : 5779 (java) S 5759 5761 4980 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 601718239 16066695168 43910 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469882368 0 4 0 16800975 18446604471128002688 0 0 -1 7 0 0 0
[pid=5761/tid=5824] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5824/stat : 5824 (java) S 5759 5761 4980 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 601718319 16066695168 43910 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469882368 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5825] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5825/stat : 5825 (java) S 5759 5761 4980 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 601718319 16066695168 43910 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469882368 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5826] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5826/stat : 5826 (java) S 5759 5761 4980 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 601718319 16066695168 43910 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469882368 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5827] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5827/stat : 5827 (java) S 5759 5761 4980 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 601718319 16066695168 43910 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469882368 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 15690132
[startup+3.10088 s]
/proc/loadavg: 7.69 8.01 8.01 3/220 5831
/proc/meminfo: memFree=24431552/32951124 swapFree=67111348/67111528
[pid=5761] ppid=5759 vsize=15690132 CPUtime=6.3 cores=1,3,5,7
/proc/5761/stat : 5761 (java) S 5759 5761 4980 0 -1 4202496 85074 0 1 0 617 13 0 0 25 0 22 0 601718234 16066695168 80229 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5761/statm: 3922533 80229 2275 9 0 3913252 0
[pid=5761/tid=5763] ppid=5759 vsize=15690132 CPUtime=2.04 cores=1,3,5,7
/proc/5761/task/5763/stat : 5763 (java) S 5759 5761 4980 0 -1 4202560 35686 0 1 0 199 5 0 0 22 0 22 0 601718235 16066695168 80229 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 5 0 0 0
[pid=5761/tid=5764] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5764/stat : 5764 (java) S 5759 5761 4980 0 -1 4202560 1731 0 0 0 0 0 0 0 15 0 22 0 601718235 16066695168 80229 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5765] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5765/stat : 5765 (java) S 5759 5761 4980 0 -1 4202560 1398 0 0 0 0 0 0 0 15 0 22 0 601718235 16066695168 80229 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5766] ppid=5759 vsize=15690132 CPUtime=0.04 cores=1,3,5,7
/proc/5761/task/5766/stat : 5766 (java) S 5759 5761 4980 0 -1 4202560 8093 0 0 0 4 0 0 0 16 0 22 0 601718235 16066695168 80229 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 7 0 0 0
[pid=5761/tid=5767] ppid=5759 vsize=15690132 CPUtime=0.04 cores=1,3,5,7
/proc/5761/task/5767/stat : 5767 (java) S 5759 5761 4980 0 -1 4202560 7435 0 0 0 4 0 0 0 15 0 22 0 601718235 16066695168 80229 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5768] ppid=5759 vsize=15690132 CPUtime=0.03 cores=1,3,5,7
/proc/5761/task/5768/stat : 5768 (java) S 5759 5761 4980 0 -1 4202560 7245 0 0 0 3 0 0 0 16 0 22 0 601718235 16066695168 80229 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5769] ppid=5759 vsize=15690132 CPUtime=0.04 cores=1,3,5,7
/proc/5761/task/5769/stat : 5769 (java) S 5759 5761 4980 0 -1 4202560 6115 0 0 0 4 0 0 0 15 0 22 0 601718235 16066695168 80229 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 5 0 0 0
[pid=5761/tid=5770] ppid=5759 vsize=15690132 CPUtime=0.01 cores=1,3,5,7
/proc/5761/task/5770/stat : 5770 (java) S 5759 5761 4980 0 -1 4202560 2832 0 0 0 1 0 0 0 15 0 22 0 601718235 16066695168 80229 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5771] ppid=5759 vsize=15690132 CPUtime=0.01 cores=1,3,5,7
/proc/5761/task/5771/stat : 5771 (java) S 5759 5761 4980 0 -1 4202560 2890 0 0 0 1 0 0 0 15 0 22 0 601718235 16066695168 80229 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 5 0 0 0
[pid=5761/tid=5772] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5772/stat : 5772 (java) S 5759 5761 4980 0 -1 4202560 128 0 0 0 0 0 0 0 15 0 22 0 601718236 16066695168 80229 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469882368 0 0 0 16800975 18446604471128002688 0 0 -1 7 0 0 0
[pid=5761/tid=5773] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5773/stat : 5773 (java) S 5759 5761 4980 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 601718237 16066695168 80229 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5774] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5774/stat : 5774 (java) S 5759 5761 4980 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 601718237 16066695168 80229 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5775] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5775/stat : 5775 (java) S 5759 5761 4980 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601718239 16066695168 80229 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469889457 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5776] ppid=5759 vsize=15690132 CPUtime=0.82 cores=1,3,5,7
/proc/5761/task/5776/stat : 5776 (java) S 5759 5761 4980 0 -1 4202560 4506 0 0 0 82 0 0 0 15 0 22 0 601718239 16066695168 80229 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5777] ppid=5759 vsize=15690132 CPUtime=0.82 cores=1,3,5,7
/proc/5761/task/5777/stat : 5777 (java) S 5759 5761 4980 0 -1 4202560 5572 0 0 0 80 2 0 0 16 0 22 0 601718239 16066695168 80229 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5778] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5778/stat : 5778 (java) S 5759 5761 4980 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601718239 16066695168 80229 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5779] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5779/stat : 5779 (java) S 5759 5761 4980 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 601718239 16066695168 80229 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469882368 0 4 0 16800975 18446604471128002688 0 0 -1 7 0 0 0
[pid=5761/tid=5824] ppid=5759 vsize=15690132 CPUtime=0.46 cores=1,3,5,7
/proc/5761/task/5824/stat : 5824 (java) R 5759 5761 4980 0 -1 4202560 18 0 0 0 46 0 0 0 16 0 22 0 601718319 16066695168 80229 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 46912506219913 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5761/tid=5825] ppid=5759 vsize=15690132 CPUtime=0.67 cores=1,3,5,7
/proc/5761/task/5825/stat : 5825 (java) R 5759 5761 4980 0 -1 4202560 9 0 0 0 67 0 0 0 16 0 22 0 601718319 16066695168 80229 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 47579145310614 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5761/tid=5826] ppid=5759 vsize=15690132 CPUtime=0.51 cores=1,3,5,7
/proc/5761/task/5826/stat : 5826 (java) R 5759 5761 4980 0 -1 4202560 19 0 0 0 51 0 0 0 16 0 22 0 601718319 16066695168 80229 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 46912506372837 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5761/tid=5827] ppid=5759 vsize=15690132 CPUtime=0.67 cores=1,3,5,7
/proc/5761/task/5827/stat : 5827 (java) R 5759 5761 4980 0 -1 4202560 10 0 0 0 67 0 0 0 16 0 22 0 601718319 16066695168 80229 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 47579145311095 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 15690132
[startup+6.30128 s]
/proc/loadavg: 7.69 8.01 8.01 9/220 5831
/proc/meminfo: memFree=22909204/32951124 swapFree=67111348/67111528
[pid=5761] ppid=5759 vsize=15690132 CPUtime=19.04 cores=1,3,5,7
/proc/5761/stat : 5761 (java) S 5759 5761 4980 0 -1 4202496 313867 0 1 0 1860 44 0 0 25 0 22 0 601718234 16066695168 308171 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5761/statm: 3922533 308171 2279 9 0 3913252 0
[pid=5761/tid=5763] ppid=5759 vsize=15690132 CPUtime=2.04 cores=1,3,5,7
/proc/5761/task/5763/stat : 5763 (java) S 5759 5761 4980 0 -1 4202560 35686 0 1 0 199 5 0 0 22 0 22 0 601718235 16066695168 308171 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 5 0 0 0
[pid=5761/tid=5764] ppid=5759 vsize=15690132 CPUtime=0.23 cores=1,3,5,7
/proc/5761/task/5764/stat : 5764 (java) S 5759 5761 4980 0 -1 4202560 38552 0 0 0 18 5 0 0 16 0 22 0 601718235 16066695168 308171 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5765] ppid=5759 vsize=15690132 CPUtime=0.11 cores=1,3,5,7
/proc/5761/task/5765/stat : 5765 (java) S 5759 5761 4980 0 -1 4202560 27569 0 0 0 8 3 0 0 16 0 22 0 601718235 16066695168 308171 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 7 0 0 0
[pid=5761/tid=5766] ppid=5759 vsize=15690132 CPUtime=0.18 cores=1,3,5,7
/proc/5761/task/5766/stat : 5766 (java) S 5759 5761 4980 0 -1 4202560 29759 0 0 0 15 3 0 0 16 0 22 0 601718235 16066695168 308171 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5767] ppid=5759 vsize=15690132 CPUtime=0.15 cores=1,3,5,7
/proc/5761/task/5767/stat : 5767 (java) S 5759 5761 4980 0 -1 4202560 36090 0 0 0 12 3 0 0 15 0 22 0 601718235 16066695168 308171 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5768] ppid=5759 vsize=15690132 CPUtime=0.19 cores=1,3,5,7
/proc/5761/task/5768/stat : 5768 (java) S 5759 5761 4980 0 -1 4202560 33890 0 0 0 15 4 0 0 16 0 22 0 601718235 16066695168 308171 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5769] ppid=5759 vsize=15690132 CPUtime=0.12 cores=1,3,5,7
/proc/5761/task/5769/stat : 5769 (java) S 5759 5761 4980 0 -1 4202560 20188 0 0 0 10 2 0 0 15 0 22 0 601718235 16066695168 308171 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5770] ppid=5759 vsize=15690132 CPUtime=0.09 cores=1,3,5,7
/proc/5761/task/5770/stat : 5770 (java) S 5759 5761 4980 0 -1 4202560 17430 0 0 0 6 3 0 0 15 0 22 0 601718235 16066695168 308171 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5771] ppid=5759 vsize=15690132 CPUtime=0.25 cores=1,3,5,7
/proc/5761/task/5771/stat : 5771 (java) S 5759 5761 4980 0 -1 4202560 35672 0 0 0 20 5 0 0 16 0 22 0 601718235 16066695168 308171 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 7 0 0 0
[pid=5761/tid=5772] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5772/stat : 5772 (java) R 5759 5761 4980 0 -1 4202560 653 0 0 0 0 0 0 0 15 0 22 0 601718236 16066695168 308171 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 47579142361425 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=5761/tid=5773] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5773/stat : 5773 (java) S 5759 5761 4980 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 601718237 16066695168 308171 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5774] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5774/stat : 5774 (java) S 5759 5761 4980 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 601718237 16066695168 308171 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5775] ppid=5759 vsize=15690132 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5775/stat : 5775 (java) S 5759 5761 4980 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601718239 16066695168 308171 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469889457 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5776] ppid=5759 vsize=15690132 CPUtime=0.84 cores=1,3,5,7
/proc/5761/task/5776/stat : 5776 (java) S 5759 5761 4980 0 -1 4202560 4508 0 0 0 84 0 0 0 15 0 22 0 601718239 16066695168 308171 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=5761/tid=5774] ppid=5759 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5774/stat : 5774 (java) S 5759 5761 4980 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 601718237 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5775] ppid=5759 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5775/stat : 5775 (java) S 5759 5761 4980 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601718239 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469889457 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5776] ppid=5759 vsize=15686260 CPUtime=1.07 cores=1,3,5,7
/proc/5761/task/5776/stat : 5776 (java) S 5759 5761 4980 0 -1 4202560 4535 0 0 0 107 0 0 0 15 0 22 0 601718239 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5777] ppid=5759 vsize=15686260 CPUtime=0.84 cores=1,3,5,7
/proc/5761/task/5777/stat : 5777 (java) S 5759 5761 4980 0 -1 4202560 5572 0 0 0 82 2 0 0 16 0 22 0 601718239 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5778] ppid=5759 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5778/stat : 5778 (java) S 5759 5761 4980 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601718239 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5779] ppid=5759 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5779/stat : 5779 (java) S 5759 5761 4980 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 601718239 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469882368 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5824] ppid=5759 vsize=15686260 CPUtime=303.05 cores=1,3,5,7
/proc/5761/task/5824/stat : 5824 (java) S 5759 5761 4980 0 -1 4202560 50382 0 0 0 30290 15 0 0 16 0 22 0 601718319 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 5 0 0 0
[pid=5761/tid=5825] ppid=5759 vsize=15686260 CPUtime=303.8 cores=1,3,5,7
/proc/5761/task/5825/stat : 5825 (java) S 5759 5761 4980 0 -1 4202560 57812 0 0 0 30364 16 0 0 15 0 22 0 601718319 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5826] ppid=5759 vsize=15686260 CPUtime=302.17 cores=1,3,5,7
/proc/5761/task/5826/stat : 5826 (java) S 5759 5761 4980 0 -1 4202560 51552 0 0 0 30206 11 0 0 15 0 22 0 601718319 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5827] ppid=5759 vsize=15686260 CPUtime=303.25 cores=1,3,5,7
/proc/5761/task/5827/stat : 5827 (java) S 5759 5761 4980 0 -1 4202560 59319 0 0 0 30309 16 0 0 15 0 22 0 601718319 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2110.31
Current children cumulated vsize (KiB) 15686260
[startup+1242.3 s]
/proc/loadavg: 3.46 4.80 6.02 2/193 5884
/proc/meminfo: memFree=13886984/32951124 swapFree=67111348/67111528
[pid=5761] ppid=5759 vsize=15686260 CPUtime=2171.01 cores=1,3,5,7
/proc/5761/stat : 5761 (java) S 5759 5761 4980 0 -1 4202496 3877934 0 1 0 216116 985 0 0 25 0 22 0 601718234 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5761/statm: 3921565 3836063 2294 9 0 3912284 0
[pid=5761/tid=5763] ppid=5759 vsize=15686260 CPUtime=2.04 cores=1,3,5,7
/proc/5761/task/5763/stat : 5763 (java) S 5759 5761 4980 0 -1 4202560 35686 0 1 0 199 5 0 0 22 0 22 0 601718235 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 5 0 0 0
[pid=5761/tid=5764] ppid=5759 vsize=15686260 CPUtime=3.39 cores=1,3,5,7
/proc/5761/task/5764/stat : 5764 (java) S 5759 5761 4980 0 -1 4202560 440829 0 0 0 235 104 0 0 16 0 22 0 601718235 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5765] ppid=5759 vsize=15686260 CPUtime=2.66 cores=1,3,5,7
/proc/5761/task/5765/stat : 5765 (java) S 5759 5761 4980 0 -1 4202560 324718 0 0 0 184 82 0 0 16 0 22 0 601718235 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5766] ppid=5759 vsize=15686260 CPUtime=3.32 cores=1,3,5,7
/proc/5761/task/5766/stat : 5766 (java) S 5759 5761 4980 0 -1 4202560 332201 0 0 0 246 86 0 0 16 0 22 0 601718235 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5767] ppid=5759 vsize=15686260 CPUtime=3.32 cores=1,3,5,7
/proc/5761/task/5767/stat : 5767 (java) S 5759 5761 4980 0 -1 4202560 417213 0 0 0 240 92 0 0 16 0 22 0 601718235 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 17
[pid=5761/tid=5768] ppid=5759 vsize=15686260 CPUtime=3.31 cores=1,3,5,7
/proc/5761/task/5768/stat : 5768 (java) S 5759 5761 4980 0 -1 4202560 327078 0 0 0 245 86 0 0 16 0 22 0 601718235 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5769] ppid=5759 vsize=15686260 CPUtime=3.66 cores=1,3,5,7
/proc/5761/task/5769/stat : 5769 (java) S 5759 5761 4980 0 -1 4202560 421450 0 0 0 263 103 0 0 16 0 22 0 601718235 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5770] ppid=5759 vsize=15686260 CPUtime=2.8 cores=1,3,5,7
/proc/5761/task/5770/stat : 5770 (java) S 5759 5761 4980 0 -1 4202560 388061 0 0 0 178 102 0 0 16 0 22 0 601718235 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 25
[pid=5761/tid=5771] ppid=5759 vsize=15686260 CPUtime=2.85 cores=1,3,5,7
/proc/5761/task/5771/stat : 5771 (java) S 5759 5761 4980 0 -1 4202560 366815 0 0 0 203 82 0 0 16 0 22 0 601718235 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5772] ppid=5759 vsize=15686260 CPUtime=928.32 cores=1,3,5,7
/proc/5761/task/5772/stat : 5772 (java) R 5759 5761 4980 0 -1 4202560 592719 0 0 0 92661 171 0 0 18 0 22 0 601718236 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 47579144732744 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=5761/tid=5773] ppid=5759 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5773/stat : 5773 (java) S 5759 5761 4980 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 601718237 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5774] ppid=5759 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5774/stat : 5774 (java) S 5759 5761 4980 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 601718237 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5775] ppid=5759 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5775/stat : 5775 (java) S 5759 5761 4980 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601718239 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469889457 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5776] ppid=5759 vsize=15686260 CPUtime=1.07 cores=1,3,5,7
/proc/5761/task/5776/stat : 5776 (java) S 5759 5761 4980 0 -1 4202560 4535 0 0 0 107 0 0 0 15 0 22 0 601718239 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5777] ppid=5759 vsize=15686260 CPUtime=0.84 cores=1,3,5,7
/proc/5761/task/5777/stat : 5777 (java) S 5759 5761 4980 0 -1 4202560 5572 0 0 0 82 2 0 0 16 0 22 0 601718239 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5778] ppid=5759 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5778/stat : 5778 (java) S 5759 5761 4980 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601718239 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5779] ppid=5759 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5779/stat : 5779 (java) S 5759 5761 4980 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 601718239 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469882368 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5824] ppid=5759 vsize=15686260 CPUtime=303.33 cores=1,3,5,7
/proc/5761/task/5824/stat : 5824 (java) S 5759 5761 4980 0 -1 4202560 50406 0 0 0 30317 16 0 0 15 0 22 0 601718319 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 5 0 0 0
[pid=5761/tid=5825] ppid=5759 vsize=15686260 CPUtime=304.03 cores=1,3,5,7
/proc/5761/task/5825/stat : 5825 (java) S 5759 5761 4980 0 -1 4202560 58149 0 0 0 30386 17 0 0 15 0 22 0 601718319 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5826] ppid=5759 vsize=15686260 CPUtime=302.41 cores=1,3,5,7
/proc/5761/task/5826/stat : 5826 (java) S 5759 5761 4980 0 -1 4202560 51663 0 0 0 30230 11 0 0 15 0 22 0 601718319 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 5 0 0 0
[pid=5761/tid=5827] ppid=5759 vsize=15686260 CPUtime=303.48 cores=1,3,5,7
/proc/5761/task/5827/stat : 5827 (java) S 5759 5761 4980 0 -1 4202560 59381 0 0 0 30331 17 0 0 15 0 22 0 601718319 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2171.01
Current children cumulated vsize (KiB) 15686260
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 1.95 4.12 5.70 2/193 5885
/proc/meminfo: memFree=13886840/32951124 swapFree=67111348/67111528
[pid=5761] ppid=5759 vsize=15686260 CPUtime=2228.76 cores=1,3,5,7
/proc/5761/stat : 5761 (java) S 5759 5761 4980 0 -1 4202496 3878497 0 1 0 221886 990 0 0 25 0 22 0 601718234 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5761/statm: 3921565 3836063 2294 9 0 3912284 0
[pid=5761/tid=5763] ppid=5759 vsize=15686260 CPUtime=2.04 cores=1,3,5,7
/proc/5761/task/5763/stat : 5763 (java) S 5759 5761 4980 0 -1 4202560 35686 0 1 0 199 5 0 0 22 0 22 0 601718235 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 5 0 0 0
[pid=5761/tid=5764] ppid=5759 vsize=15686260 CPUtime=3.39 cores=1,3,5,7
/proc/5761/task/5764/stat : 5764 (java) S 5759 5761 4980 0 -1 4202560 440829 0 0 0 235 104 0 0 16 0 22 0 601718235 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5765] ppid=5759 vsize=15686260 CPUtime=2.66 cores=1,3,5,7
/proc/5761/task/5765/stat : 5765 (java) S 5759 5761 4980 0 -1 4202560 324718 0 0 0 184 82 0 0 16 0 22 0 601718235 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5766] ppid=5759 vsize=15686260 CPUtime=3.32 cores=1,3,5,7
/proc/5761/task/5766/stat : 5766 (java) S 5759 5761 4980 0 -1 4202560 332201 0 0 0 246 86 0 0 16 0 22 0 601718235 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5767] ppid=5759 vsize=15686260 CPUtime=3.32 cores=1,3,5,7
/proc/5761/task/5767/stat : 5767 (java) S 5759 5761 4980 0 -1 4202560 417213 0 0 0 240 92 0 0 16 0 22 0 601718235 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 17
[pid=5761/tid=5768] ppid=5759 vsize=15686260 CPUtime=3.31 cores=1,3,5,7
/proc/5761/task/5768/stat : 5768 (java) S 5759 5761 4980 0 -1 4202560 327078 0 0 0 245 86 0 0 16 0 22 0 601718235 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5769] ppid=5759 vsize=15686260 CPUtime=3.66 cores=1,3,5,7
/proc/5761/task/5769/stat : 5769 (java) S 5759 5761 4980 0 -1 4202560 421450 0 0 0 263 103 0 0 16 0 22 0 601718235 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5770] ppid=5759 vsize=15686260 CPUtime=2.8 cores=1,3,5,7
/proc/5761/task/5770/stat : 5770 (java) S 5759 5761 4980 0 -1 4202560 388061 0 0 0 178 102 0 0 16 0 22 0 601718235 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 25
[pid=5761/tid=5771] ppid=5759 vsize=15686260 CPUtime=2.85 cores=1,3,5,7
/proc/5761/task/5771/stat : 5771 (java) S 5759 5761 4980 0 -1 4202560 366815 0 0 0 203 82 0 0 16 0 22 0 601718235 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5772] ppid=5759 vsize=15686260 CPUtime=986.02 cores=1,3,5,7
/proc/5761/task/5772/stat : 5772 (java) R 5759 5761 4980 0 -1 4202560 592721 0 0 0 98427 175 0 0 18 0 22 0 601718236 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 47579140794176 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=5761/tid=5773] ppid=5759 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5773/stat : 5773 (java) S 5759 5761 4980 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 601718237 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5774] ppid=5759 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5774/stat : 5774 (java) S 5759 5761 4980 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 601718237 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5775] ppid=5759 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5775/stat : 5775 (java) S 5759 5761 4980 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601718239 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469889457 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5776] ppid=5759 vsize=15686260 CPUtime=1.07 cores=1,3,5,7
/proc/5761/task/5776/stat : 5776 (java) S 5759 5761 4980 0 -1 4202560 4535 0 0 0 107 0 0 0 15 0 22 0 601718239 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5777] ppid=5759 vsize=15686260 CPUtime=0.84 cores=1,3,5,7
/proc/5761/task/5777/stat : 5777 (java) S 5759 5761 4980 0 -1 4202560 5572 0 0 0 82 2 0 0 16 0 22 0 601718239 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5778] ppid=5759 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5778/stat : 5778 (java) S 5759 5761 4980 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601718239 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5779] ppid=5759 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/5761/task/5779/stat : 5779 (java) S 5759 5761 4980 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 601718239 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469882368 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
[pid=5761/tid=5824] ppid=5759 vsize=15686260 CPUtime=303.33 cores=1,3,5,7
/proc/5761/task/5824/stat : 5824 (java) S 5759 5761 4980 0 -1 4202560 50406 0 0 0 30317 16 0 0 15 0 22 0 601718319 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 5 0 0 0
[pid=5761/tid=5825] ppid=5759 vsize=15686260 CPUtime=304.03 cores=1,3,5,7
/proc/5761/task/5825/stat : 5825 (java) S 5759 5761 4980 0 -1 4202560 58149 0 0 0 30386 17 0 0 15 0 22 0 601718319 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 1 0 0 0
[pid=5761/tid=5826] ppid=5759 vsize=15686260 CPUtime=302.44 cores=1,3,5,7
/proc/5761/task/5826/stat : 5826 (java) S 5759 5761 4980 0 -1 4202560 52222 0 0 0 30232 12 0 0 15 0 22 0 601718319 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 5 0 0 0
[pid=5761/tid=5827] ppid=5759 vsize=15686260 CPUtime=303.52 cores=1,3,5,7
/proc/5761/task/5827/stat : 5827 (java) S 5759 5761 4980 0 -1 4202560 59381 0 0 0 30333 19 0 0 15 0 22 0 601718319 16062730240 3836063 33554432000 1073741824 1073778376 140735642907616 18446744073709551615 252469881753 0 4 0 16800975 18446604471128002688 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2228.76
Current children cumulated vsize (KiB) 15686260
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -5761
[startup+1302.3 s]
/proc/loadavg: 1.87 4.07 5.68 2/194 5886
/proc/meminfo: memFree=13886708/32951124 swapFree=67111348/67111528
[pid=5761] ppid=5759 vsize=0 CPUtime=2231.05 cores=1,3,5,7
/proc/5761/stat : 5761 (java) Z 5759 5761 4980 0 -1 4203548 3878527 0 1 0 222086 1019 0 0 18 0 2 0 601718234 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5761/statm: 0 0 0 0 0 0 0
[pid=5761/tid=5827] ppid=5759 vsize=0 CPUtime=303.8 cores=1,3,5,7
/proc/5761/task/5827/stat : 5827 (java) R 5759 5761 4980 0 -1 4203588 59381 0 0 0 30333 47 0 0 16 0 2 0 601718319 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) 2231.05
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.4 s]
/proc/loadavg: 1.87 4.07 5.68 2/194 5886
/proc/meminfo: memFree=13886708/32951124 swapFree=67111348/67111528
[pid=5761] ppid=5759 vsize=0 CPUtime=2231.15 cores=1,3,5,7
/proc/5761/stat : 5761 (java) Z 5759 5761 4980 0 -1 4203548 3878527 0 1 0 222086 1029 0 0 18 0 2 0 601718234 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5761/statm: 0 0 0 0 0 0 0
[pid=5761/tid=5827] ppid=5759 vsize=0 CPUtime=303.9 cores=1,3,5,7
/proc/5761/task/5827/stat : 5827 (java) R 5759 5761 4980 0 -1 4203588 59381 0 0 0 30333 57 0 0 16 0 2 0 601718319 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) 2231.15
Current children cumulated vsize (KiB) 0
[startup+1302.6 s]
/proc/loadavg: 1.87 4.07 5.68 2/194 5886
/proc/meminfo: memFree=13886708/32951124 swapFree=67111348/67111528
[pid=5761] ppid=5759 vsize=0 CPUtime=2231.35 cores=1,3,5,7
/proc/5761/stat : 5761 (java) Z 5759 5761 4980 0 -1 4203548 3878527 0 1 0 222086 1049 0 0 18 0 2 0 601718234 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5761/statm: 0 0 0 0 0 0 0
[pid=5761/tid=5827] ppid=5759 vsize=0 CPUtime=304.1 cores=1,3,5,7
/proc/5761/task/5827/stat : 5827 (java) R 5759 5761 4980 0 -1 4203588 59381 0 0 0 30333 77 0 0 16 0 2 0 601718319 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) 2231.35
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.62
CPU time (s): 2231.38
CPU user time (s): 2220.87
CPU system time (s): 10.5154
CPU usage (%): 171.299
Max. virtual memory (cumulated for all children) (KiB): 15691592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2220.87
system time used= 10.5154
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3878527
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= 80814
involuntary context switches= 39380
runsolver used 2.15467 second user time and 5.04323 second system time
The end