runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454208-1307645842/watcher-3454208-1307645842 -o /tmp/evaluation-result-3454208-1307645842/solver-3454208-1307645842 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454208-1307645842.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.09 3.87 3.64 3/196 12391
/proc/meminfo: memFree=30140168/32951132 swapFree=67054608/67111528
[pid=12391] ppid=12389 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/12391/stat : 12391 (java) R 12389 12391 11485 0 -1 4202496 712 0 0 0 0 0 0 0 25 0 1 0 876183823 23580672 456 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274659845909 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12391/statm: 5757 466 352 9 0 124 0
[startup+0.0853721 s]
/proc/loadavg: 4.09 3.87 3.64 3/196 12391
/proc/meminfo: memFree=30140168/32951132 swapFree=67054608/67111528
[pid=12391] ppid=12389 vsize=10473248 CPUtime=0.07 cores=1,3,5,7
/proc/12391/stat : 12391 (java) S 12389 12391 11485 0 -1 4202496 12069 0 1 0 6 1 0 0 25 0 18 0 876183823 10724605952 11765 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12391/statm: 2618312 11777 1764 9 0 2609046 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473248
[startup+0.100368 s]
/proc/loadavg: 4.09 3.87 3.64 3/196 12391
/proc/meminfo: memFree=30140168/32951132 swapFree=67054608/67111528
[pid=12391] ppid=12389 vsize=10540164 CPUtime=0.1 cores=1,3,5,7
/proc/12391/stat : 12391 (java) S 12389 12391 11485 0 -1 4202496 13066 0 1 0 9 1 0 0 25 0 18 0 876183823 10793127936 12724 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12391/statm: 2635041 12725 2093 9 0 2625775 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540164
[startup+0.300301 s]
/proc/loadavg: 4.09 3.87 3.64 3/196 12391
/proc/meminfo: memFree=30140168/32951132 swapFree=67054608/67111528
[pid=12391] ppid=12389 vsize=10542212 CPUtime=0.47 cores=1,3,5,7
/proc/12391/stat : 12391 (java) S 12389 12391 11485 0 -1 4202496 20660 0 1 0 44 3 0 0 25 0 18 0 876183823 10795225088 19777 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12391/statm: 2635553 19777 2200 9 0 2626287 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10542212
[startup+0.700266 s]
/proc/loadavg: 4.09 3.87 3.64 3/196 12391
/proc/meminfo: memFree=30140168/32951132 swapFree=67054608/67111528
[pid=12391] ppid=12389 vsize=10557624 CPUtime=1.28 cores=1,3,5,7
/proc/12391/stat : 12391 (java) S 12389 12391 11485 0 -1 4202496 55402 0 1 0 121 7 0 0 25 0 18 0 876183823 10811006976 52692 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12391/statm: 2639406 52699 2207 9 0 2630140 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 10557624
[startup+1.5011 s]
/proc/loadavg: 4.09 3.87 3.64 5/214 12409
/proc/meminfo: memFree=29823168/32951132 swapFree=67054608/67111528
[pid=12391] ppid=12389 vsize=10561736 CPUtime=2.78 cores=1,3,5,7
/proc/12391/stat : 12391 (java) S 12389 12391 11485 0 -1 4202496 112441 0 1 0 264 14 0 0 25 0 22 0 876183823 10815217664 108935 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12391/statm: 2640434 108936 2234 9 0 2631168 0
[pid=12391/tid=12393] ppid=12389 vsize=10561736 CPUtime=1.22 cores=1,3,5,7
/proc/12391/task/12393/stat : 12393 (java) S 12389 12391 11485 0 -1 4202560 96844 0 1 0 111 11 0 0 20 0 22 0 876183824 10815217664 108937 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 4 0 16800975 18446604459147350400 0 0 -1 3 0 0 0
[pid=12391/tid=12394] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12394/stat : 12394 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183826 10815217664 108938 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12395] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12395/stat : 12395 (java) S 12389 12391 11485 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 876183826 10815217664 108938 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12396] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12396/stat : 12396 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183826 10815217664 108939 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12397] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12397/stat : 12397 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183826 10815217664 108940 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12398] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12398/stat : 12398 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183826 10815217664 108940 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12399] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12399/stat : 12399 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183826 10815217664 108941 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12400] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12400/stat : 12400 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183826 10815217664 108942 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12401] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12401/stat : 12401 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183826 10815217664 108943 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12402] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12402/stat : 12402 (java) S 12389 12391 11485 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 876183827 10815217664 108943 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 0 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12403] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12403/stat : 12403 (java) S 12389 12391 11485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 876183827 10815217664 108944 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12404] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12404/stat : 12404 (java) S 12389 12391 11485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 876183827 10815217664 108945 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12405] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12405/stat : 12405 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183830 10815217664 108945 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676631985 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12406] ppid=12389 vsize=10561736 CPUtime=0.6 cores=1,3,5,7
/proc/12391/task/12406/stat : 12406 (java) R 12389 12391 11485 0 -1 4202560 5932 0 0 0 59 1 0 0 19 0 22 0 876183830 10815217664 108946 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 46990987661007 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=12391/tid=12407] ppid=12389 vsize=10561736 CPUtime=0.42 cores=1,3,5,7
/proc/12391/task/12407/stat : 12407 (java) S 12389 12391 11485 0 -1 4202560 3341 0 0 0 42 0 0 0 15 0 22 0 876183830 10815217664 108946 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 3 0 0 0
[pid=12391/tid=12408] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12408/stat : 12408 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183830 10815217664 108947 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12409] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12409/stat : 12409 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 876183830 10815217664 108948 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 4 0 16800975 18446604459147350400 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 10561736
[startup+3.10085 s]
/proc/loadavg: 4.08 3.87 3.64 5/218 12413
/proc/meminfo: memFree=29657640/32951132 swapFree=67054608/67111528
[pid=12391] ppid=12389 vsize=10561736 CPUtime=6.56 cores=1,3,5,7
/proc/12391/stat : 12391 (java) S 12389 12391 11485 0 -1 4202496 165473 0 1 0 635 21 0 0 25 0 22 0 876183823 10815217664 158021 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12391/statm: 2640434 158022 2237 9 0 2631168 0
[pid=12391/tid=12393] ppid=12389 vsize=10561736 CPUtime=1.22 cores=1,3,5,7
/proc/12391/task/12393/stat : 12393 (java) S 12389 12391 11485 0 -1 4202560 96844 0 1 0 111 11 0 0 15 0 22 0 876183824 10815217664 158023 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
[pid=12391/tid=12394] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12394/stat : 12394 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183826 10815217664 158023 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12395] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12395/stat : 12395 (java) S 12389 12391 11485 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 876183826 10815217664 158024 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12396] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12396/stat : 12396 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183826 10815217664 158025 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12397] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12397/stat : 12397 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183826 10815217664 158025 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12398] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12398/stat : 12398 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183826 10815217664 158026 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12399] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12399/stat : 12399 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183826 10815217664 158026 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12400] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12400/stat : 12400 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183826 10815217664 158027 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12401] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12401/stat : 12401 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183826 10815217664 158029 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12402] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12402/stat : 12402 (java) S 12389 12391 11485 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 876183827 10815217664 158029 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 0 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12403] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12403/stat : 12403 (java) S 12389 12391 11485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 876183827 10815217664 158030 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12404] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12404/stat : 12404 (java) S 12389 12391 11485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 876183827 10815217664 158030 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12405] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12405/stat : 12405 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183830 10815217664 158031 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676631985 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12406] ppid=12389 vsize=10561736 CPUtime=0.91 cores=1,3,5,7
/proc/12391/task/12406/stat : 12406 (java) S 12389 12391 11485 0 -1 4202560 8433 0 0 0 90 1 0 0 15 0 22 0 876183830 10815217664 158031 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
[pid=12391/tid=12407] ppid=12389 vsize=10561736 CPUtime=0.69 cores=1,3,5,7
/proc/12391/task/12407/stat : 12407 (java) S 12389 12391 11485 0 -1 4202560 5165 0 0 0 68 1 0 0 16 0 22 0 876183830 10815217664 158032 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 3 0 0 0
[pid=12391/tid=12408] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12408/stat : 12408 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183830 10815217664 158033 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12409] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12409/stat : 12409 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 876183830 10815217664 158033 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 4 0 16800975 18446604459147350400 0 0 -1 5 0 0 0
[pid=12391/tid=12410] ppid=12389 vsize=10561736 CPUtime=1.85 cores=1,3,5,7
/proc/12391/task/12410/stat : 12410 (java) R 12389 12391 11485 0 -1 4202560 1967 0 0 0 185 0 0 0 22 0 22 0 876183948 10815217664 158034 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 46990987557715 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12391/tid=12411] ppid=12389 vsize=10561736 CPUtime=1.84 cores=1,3,5,7
/proc/12391/task/12411/stat : 12411 (java) R 12389 12391 11485 0 -1 4202560 51910 0 0 0 178 6 0 0 25 0 22 0 876183948 10815217664 158034 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 46912505699761 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12391/tid=12412] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12412/stat : 12412 (java) S 12389 12391 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 876183958 10815217664 158035 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12413] ppid=12389 vsize=10561736 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12413/stat : 12413 (java) S 12389 12391 11485 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 876183959 10815217664 158035 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.56
Current children cumulated vsize (KiB) 10561736
[startup+6.3013 s]
/proc/loadavg: 4.08 3.87 3.64 5/218 12413
/proc/meminfo: memFree=28788140/32951132 swapFree=67054608/67111528
[pid=12391] ppid=12389 vsize=10556936 CPUtime=13 cores=1,3,5,7
/proc/12391/stat : 12391 (java) S 12389 12391 11485 0 -1 4202496 361736 0 1 0 1256 44 0 0 25 0 22 0 876183823 10810302464 353096 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12391/statm: 2639234 353096 2263 9 0 2629968 0
[pid=12391/tid=12393] ppid=12389 vsize=10556936 CPUtime=1.22 cores=1,3,5,7
/proc/12391/task/12393/stat : 12393 (java) S 12389 12391 11485 0 -1 4202560 96844 0 1 0 111 11 0 0 15 0 22 0 876183824 10810302464 353096 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
[pid=12391/tid=12394] ppid=12389 vsize=10556936 CPUtime=0.06 cores=1,3,5,7
/proc/12391/task/12394/stat : 12394 (java) S 12389 12391 11485 0 -1 4202560 6309 0 0 0 6 0 0 0 18 0 22 0 876183826 10810302464 353096 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12395] ppid=12389 vsize=10556936 CPUtime=0.06 cores=1,3,5,7
/proc/12391/task/12395/stat : 12395 (java) S 12389 12391 11485 0 -1 4202560 6334 0 0 0 5 1 0 0 18 0 22 0 876183826 10810302464 353096 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
[pid=12391/tid=12396] ppid=12389 vsize=10556936 CPUtime=0.06 cores=1,3,5,7
/proc/12391/task/12396/stat : 12396 (java) S 12389 12391 11485 0 -1 4202560 5797 0 0 0 6 0 0 0 18 0 22 0 876183826 10810302464 353096 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12397] ppid=12389 vsize=10556936 CPUtime=0.05 cores=1,3,5,7
/proc/12391/task/12397/stat : 12397 (java) S 12389 12391 11485 0 -1 4202560 4323 0 0 0 5 0 0 0 18 0 22 0 876183826 10810302464 353096 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 3 0 0 0
[pid=12391/tid=12398] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12398/stat : 12398 (java) S 12389 12391 11485 0 -1 4202560 69 0 0 0 0 0 0 0 18 0 22 0 876183826 10810302464 353096 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 3 0 0 0
[pid=12391/tid=12399] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12399/stat : 12399 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 876183826 10810302464 353096 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12400] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12400/stat : 12400 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 876183826 10810302464 353096 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12401] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12401/stat : 12401 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 876183826 10810302464 353096 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
[pid=12391/tid=12402] ppid=12389 vsize=10556936 CPUtime=0.29 cores=1,3,5,7
/proc/12391/task/12402/stat : 12402 (java) S 12389 12391 11485 0 -1 4202560 27120 0 0 0 26 3 0 0 15 0 22 0 876183827 10810302464 353096 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 0 0 16800975 18446604459147350400 0 0 -1 5 0 0 0
[pid=12391/tid=12403] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12403/stat : 12403 (java) S 12389 12391 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 876183827 10810302464 353096 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12404] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12404/stat : 12404 (java) S 12389 12391 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 876183827 10810302464 353096 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12405] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12405/stat : 12405 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183830 10810302464 353096 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676631985 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12406] ppid=12389 vsize=10556936 CPUtime=1.02 cores=1,3,5,7
/proc/12391/task/12406/stat : 12406 (java) S 12389 12391 11485 0 -1 4202560 8453 0 0 0 101 1 0 0 15 0 22 0 876183830 10810302464 353096 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
[pid=12391/tid=12407] ppid=12389 vsize=10556936 CPUtime=0.81 cores=1,3,5,7
/proc/12391/task/12407/stat : 12407 (java) S 12389 12391 11485 0 -1 4202560 5298 0 0 0 80 1 0 0 15 0 22 0 876183830 10810302464 353096 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 3 0 0 0
[pid=12391/tid=12408] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12408/stat : 12408 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183830 10810302464 353096 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12409] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12409/stat : 12409 (java) S 12389 12391 11485 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 876183830 10810302464 353096 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
[pid=12391/tid=12410] ppid=12389 vsize=10556936 CPUtime=4.67 cores=1,3,5,7
/proc/12391/task/12410/stat : 12410 (java) R 12389 12391 11485 0 -1 4202560 2329 0 0 0 466 1 0 0 25 0 22 0 876183948 10810302464 353096 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 46912505877648 0 4 0 16800975 0 0 0 -1 1 0 0 0
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 3.52 3.48 3.54 3/218 12448
/proc/meminfo: memFree=27321244/32951132 swapFree=67054608/67111528
[pid=12391] ppid=12389 vsize=10556936 CPUtime=1639.36 cores=1,3,5,7
/proc/12391/stat : 12391 (java) S 12389 12391 11485 0 -1 4202496 635398 0 1 0 163854 82 0 0 25 0 22 0 876183823 10810302464 619936 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12391/statm: 2639234 619936 2265 9 0 2629968 0
[pid=12391/tid=12393] ppid=12389 vsize=10556936 CPUtime=1.23 cores=1,3,5,7
/proc/12391/task/12393/stat : 12393 (java) S 12389 12391 11485 0 -1 4202560 97014 0 1 0 112 11 0 0 15 0 22 0 876183824 10810302464 619936 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12394] ppid=12389 vsize=10556936 CPUtime=1.29 cores=1,3,5,7
/proc/12391/task/12394/stat : 12394 (java) S 12389 12391 11485 0 -1 4202560 6469 0 0 0 128 1 0 0 16 0 22 0 876183826 10810302464 619936 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 5 0 0 0
[pid=12391/tid=12395] ppid=12389 vsize=10556936 CPUtime=1.24 cores=1,3,5,7
/proc/12391/task/12395/stat : 12395 (java) S 12389 12391 11485 0 -1 4202560 6468 0 0 0 123 1 0 0 15 0 22 0 876183826 10810302464 619936 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 5 0 0 0
[pid=12391/tid=12396] ppid=12389 vsize=10556936 CPUtime=1.21 cores=1,3,5,7
/proc/12391/task/12396/stat : 12396 (java) S 12389 12391 11485 0 -1 4202560 5947 0 0 0 120 1 0 0 15 0 22 0 876183826 10810302464 619936 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12397] ppid=12389 vsize=10556936 CPUtime=1.22 cores=1,3,5,7
/proc/12391/task/12397/stat : 12397 (java) S 12389 12391 11485 0 -1 4202560 4459 0 0 0 122 0 0 0 16 0 22 0 876183826 10810302464 619936 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 5 0 0 0
[pid=12391/tid=12398] ppid=12389 vsize=10556936 CPUtime=1.15 cores=1,3,5,7
/proc/12391/task/12398/stat : 12398 (java) S 12389 12391 11485 0 -1 4202560 211 0 0 0 115 0 0 0 15 0 22 0 876183826 10810302464 619936 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
[pid=12391/tid=12399] ppid=12389 vsize=10556936 CPUtime=1.32 cores=1,3,5,7
/proc/12391/task/12399/stat : 12399 (java) S 12389 12391 11485 0 -1 4202560 154 0 0 0 132 0 0 0 15 0 22 0 876183826 10810302464 619936 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12400] ppid=12389 vsize=10556936 CPUtime=1.2 cores=1,3,5,7
/proc/12391/task/12400/stat : 12400 (java) S 12389 12391 11485 0 -1 4202560 135 0 0 0 120 0 0 0 16 0 22 0 876183826 10810302464 619936 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12401] ppid=12389 vsize=10556936 CPUtime=1.18 cores=1,3,5,7
/proc/12391/task/12401/stat : 12401 (java) S 12389 12391 11485 0 -1 4202560 139 0 0 0 118 0 0 0 16 0 22 0 876183826 10810302464 619936 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
[pid=12391/tid=12402] ppid=12389 vsize=10556936 CPUtime=130.74 cores=1,3,5,7
/proc/12391/task/12402/stat : 12402 (java) R 12389 12391 11485 0 -1 4202560 80323 0 0 0 13062 12 0 0 16 0 22 0 876183827 10810302464 619936 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 46990985919631 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=12391/tid=12403] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12403/stat : 12403 (java) S 12389 12391 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 876183827 10810302464 619936 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12404] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12404/stat : 12404 (java) S 12389 12391 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 876183827 10810302464 619936 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12405] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12405/stat : 12405 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183830 10810302464 619936 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676631985 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12406] ppid=12389 vsize=10556936 CPUtime=1.13 cores=1,3,5,7
/proc/12391/task/12406/stat : 12406 (java) S 12389 12391 11485 0 -1 4202560 8462 0 0 0 112 1 0 0 16 0 22 0 876183830 10810302464 619936 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
[pid=12391/tid=12407] ppid=12389 vsize=10556936 CPUtime=1.46 cores=1,3,5,7
/proc/12391/task/12407/stat : 12407 (java) S 12389 12391 11485 0 -1 4202560 11783 0 0 0 144 2 0 0 16 0 22 0 876183830 10810302464 619936 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12408] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12408/stat : 12408 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183830 10810302464 619936 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12409] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12409/stat : 12409 (java) S 12389 12391 11485 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 876183830 10810302464 619936 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
[pid=12391/tid=12410] ppid=12389 vsize=10556936 CPUtime=747.39 cores=1,3,5,7
/proc/12391/task/12410/stat : 12410 (java) S 12389 12391 11485 0 -1 4202560 2430 0 0 0 74737 2 0 0 25 0 22 0 876183948 10810302464 619936 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 5 0 0 0
[pid=12391/tid=12411] ppid=12389 vsize=10556936 CPUtime=747.47 cores=1,3,5,7
/proc/12391/task/12411/stat : 12411 (java) S 12389 12391 11485 0 -1 4202560 410196 0 0 0 74703 44 0 0 25 0 22 0 876183948 10810302464 619936 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12412] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12412/stat : 12412 (java) S 12389 12391 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 876183958 10810302464 619936 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12413] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12413/stat : 12413 (java) S 12389 12391 11485 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 876183959 10810302464 619936 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1639.36
Current children cumulated vsize (KiB) 10556936
[startup+942.301 s]
/proc/loadavg: 3.52 3.48 3.53 5/218 12449
/proc/meminfo: memFree=27306812/32951132 swapFree=67054608/67111528
[pid=12391] ppid=12389 vsize=10556936 CPUtime=1754.92 cores=1,3,5,7
/proc/12391/stat : 12391 (java) S 12389 12391 11485 0 -1 4202496 636920 0 1 0 175409 83 0 0 25 0 22 0 876183823 10810302464 621443 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12391/statm: 2639234 621443 2265 9 0 2629968 0
[pid=12391/tid=12393] ppid=12389 vsize=10556936 CPUtime=1.23 cores=1,3,5,7
/proc/12391/task/12393/stat : 12393 (java) S 12389 12391 11485 0 -1 4202560 97021 0 1 0 112 11 0 0 15 0 22 0 876183824 10810302464 621443 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12394] ppid=12389 vsize=10556936 CPUtime=1.34 cores=1,3,5,7
/proc/12391/task/12394/stat : 12394 (java) S 12389 12391 11485 0 -1 4202560 6481 0 0 0 133 1 0 0 16 0 22 0 876183826 10810302464 621443 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12395] ppid=12389 vsize=10556936 CPUtime=1.27 cores=1,3,5,7
/proc/12391/task/12395/stat : 12395 (java) S 12389 12391 11485 0 -1 4202560 6476 0 0 0 126 1 0 0 16 0 22 0 876183826 10810302464 621443 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
[pid=12391/tid=12396] ppid=12389 vsize=10556936 CPUtime=1.28 cores=1,3,5,7
/proc/12391/task/12396/stat : 12396 (java) S 12389 12391 11485 0 -1 4202560 5951 0 0 0 127 1 0 0 16 0 22 0 876183826 10810302464 621443 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 5 0 0 0
[pid=12391/tid=12397] ppid=12389 vsize=10556936 CPUtime=1.22 cores=1,3,5,7
/proc/12391/task/12397/stat : 12397 (java) S 12389 12391 11485 0 -1 4202560 4459 0 0 0 122 0 0 0 15 0 22 0 876183826 10810302464 621443 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 5 0 0 0
[pid=12391/tid=12398] ppid=12389 vsize=10556936 CPUtime=1.2 cores=1,3,5,7
/proc/12391/task/12398/stat : 12398 (java) S 12389 12391 11485 0 -1 4202560 227 0 0 0 120 0 0 0 16 0 22 0 876183826 10810302464 621443 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
[pid=12391/tid=12399] ppid=12389 vsize=10556936 CPUtime=1.38 cores=1,3,5,7
/proc/12391/task/12399/stat : 12399 (java) S 12389 12391 11485 0 -1 4202560 158 0 0 0 138 0 0 0 15 0 22 0 876183826 10810302464 621443 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
[pid=12391/tid=12400] ppid=12389 vsize=10556936 CPUtime=1.22 cores=1,3,5,7
/proc/12391/task/12400/stat : 12400 (java) S 12389 12391 11485 0 -1 4202560 135 0 0 0 122 0 0 0 15 0 22 0 876183826 10810302464 621443 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12401] ppid=12389 vsize=10556936 CPUtime=1.21 cores=1,3,5,7
/proc/12391/task/12401/stat : 12401 (java) S 12389 12391 11485 0 -1 4202560 140 0 0 0 121 0 0 0 15 0 22 0 876183826 10810302464 621443 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12402] ppid=12389 vsize=10556936 CPUtime=135.35 cores=1,3,5,7
/proc/12391/task/12402/stat : 12402 (java) S 12389 12391 11485 0 -1 4202560 81789 0 0 0 13522 13 0 0 15 0 22 0 876183827 10810302464 621443 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 0 0 16800975 18446604459147350400 0 0 -1 3 0 0 0
[pid=12391/tid=12403] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12403/stat : 12403 (java) S 12389 12391 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 876183827 10810302464 621443 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12404] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12404/stat : 12404 (java) S 12389 12391 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 876183827 10810302464 621443 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12405] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12405/stat : 12405 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183830 10810302464 621443 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676631985 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12406] ppid=12389 vsize=10556936 CPUtime=1.13 cores=1,3,5,7
/proc/12391/task/12406/stat : 12406 (java) S 12389 12391 11485 0 -1 4202560 8462 0 0 0 112 1 0 0 16 0 22 0 876183830 10810302464 621443 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
[pid=12391/tid=12407] ppid=12389 vsize=10556936 CPUtime=1.46 cores=1,3,5,7
/proc/12391/task/12407/stat : 12407 (java) S 12389 12391 11485 0 -1 4202560 11783 0 0 0 144 2 0 0 16 0 22 0 876183830 10810302464 621443 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12408] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12408/stat : 12408 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183830 10810302464 621443 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12409] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12409/stat : 12409 (java) S 12389 12391 11485 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 876183830 10810302464 621443 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 4 0 16800975 18446604459147350400 0 0 -1 5 0 0 0
[pid=12391/tid=12410] ppid=12389 vsize=10556936 CPUtime=802.7 cores=1,3,5,7
/proc/12391/task/12410/stat : 12410 (java) R 12389 12391 11485 0 -1 4202560 2430 0 0 0 80268 2 0 0 25 0 22 0 876183948 10810302464 621443 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 46912506006240 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12391/tid=12411] ppid=12389 vsize=10556936 CPUtime=802.79 cores=1,3,5,7
/proc/12391/task/12411/stat : 12411 (java) R 12389 12391 11485 0 -1 4202560 410196 0 0 0 80235 44 0 0 25 0 22 0 876183948 10810302464 621443 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 46912505891384 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12391/tid=12412] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12412/stat : 12412 (java) S 12389 12391 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 876183958 10810302464 621443 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12413] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12413/stat : 12413 (java) S 12389 12391 11485 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 876183959 10810302464 621443 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1754.92
Current children cumulated vsize (KiB) 10556936
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+965.701 s]
/proc/loadavg: 3.68 3.52 3.55 5/218 12451
/proc/meminfo: memFree=27297732/32951132 swapFree=67054608/67111528
[pid=12391] ppid=12389 vsize=10556936 CPUtime=1800.02 cores=1,3,5,7
/proc/12391/stat : 12391 (java) S 12389 12391 11485 0 -1 4202496 638220 0 1 0 179919 83 0 0 25 0 22 0 876183823 10810302464 622740 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12391/statm: 2639234 622740 2265 9 0 2629968 0
[pid=12391/tid=12393] ppid=12389 vsize=10556936 CPUtime=1.23 cores=1,3,5,7
/proc/12391/task/12393/stat : 12393 (java) S 12389 12391 11485 0 -1 4202560 97024 0 1 0 112 11 0 0 15 0 22 0 876183824 10810302464 622740 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12394] ppid=12389 vsize=10556936 CPUtime=1.36 cores=1,3,5,7
/proc/12391/task/12394/stat : 12394 (java) S 12389 12391 11485 0 -1 4202560 6481 0 0 0 135 1 0 0 16 0 22 0 876183826 10810302464 622740 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
[pid=12391/tid=12395] ppid=12389 vsize=10556936 CPUtime=1.28 cores=1,3,5,7
/proc/12391/task/12395/stat : 12395 (java) S 12389 12391 11485 0 -1 4202560 6476 0 0 0 127 1 0 0 15 0 22 0 876183826 10810302464 622740 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
[pid=12391/tid=12396] ppid=12389 vsize=10556936 CPUtime=1.29 cores=1,3,5,7
/proc/12391/task/12396/stat : 12396 (java) S 12389 12391 11485 0 -1 4202560 5951 0 0 0 128 1 0 0 16 0 22 0 876183826 10810302464 622740 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12397] ppid=12389 vsize=10556936 CPUtime=1.25 cores=1,3,5,7
/proc/12391/task/12397/stat : 12397 (java) S 12389 12391 11485 0 -1 4202560 4459 0 0 0 125 0 0 0 16 0 22 0 876183826 10810302464 622740 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 5 0 0 0
[pid=12391/tid=12398] ppid=12389 vsize=10556936 CPUtime=1.21 cores=1,3,5,7
/proc/12391/task/12398/stat : 12398 (java) S 12389 12391 11485 0 -1 4202560 227 0 0 0 121 0 0 0 15 0 22 0 876183826 10810302464 622740 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
[pid=12391/tid=12399] ppid=12389 vsize=10556936 CPUtime=1.4 cores=1,3,5,7
/proc/12391/task/12399/stat : 12399 (java) S 12389 12391 11485 0 -1 4202560 162 0 0 0 140 0 0 0 16 0 22 0 876183826 10810302464 622740 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 5 0 0 0
[pid=12391/tid=12400] ppid=12389 vsize=10556936 CPUtime=1.23 cores=1,3,5,7
/proc/12391/task/12400/stat : 12400 (java) S 12389 12391 11485 0 -1 4202560 135 0 0 0 123 0 0 0 15 0 22 0 876183826 10810302464 622740 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12401] ppid=12389 vsize=10556936 CPUtime=1.23 cores=1,3,5,7
/proc/12391/task/12401/stat : 12401 (java) S 12389 12391 11485 0 -1 4202560 140 0 0 0 123 0 0 0 15 0 22 0 876183826 10810302464 622740 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12402] ppid=12389 vsize=10556936 CPUtime=137.13 cores=1,3,5,7
/proc/12391/task/12402/stat : 12402 (java) S 12389 12391 11485 0 -1 4202560 83082 0 0 0 13700 13 0 0 15 0 22 0 876183827 10810302464 622740 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 0 0 16800975 18446604459147350400 0 0 -1 3 0 0 0
[pid=12391/tid=12403] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12403/stat : 12403 (java) S 12389 12391 11485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 876183827 10810302464 622740 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12404] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12404/stat : 12404 (java) S 12389 12391 11485 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 876183827 10810302464 622740 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12405] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12405/stat : 12405 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183830 10810302464 622740 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676631985 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12406] ppid=12389 vsize=10556936 CPUtime=1.13 cores=1,3,5,7
/proc/12391/task/12406/stat : 12406 (java) S 12389 12391 11485 0 -1 4202560 8462 0 0 0 112 1 0 0 16 0 22 0 876183830 10810302464 622740 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
[pid=12391/tid=12407] ppid=12389 vsize=10556936 CPUtime=1.46 cores=1,3,5,7
/proc/12391/task/12407/stat : 12407 (java) S 12389 12391 11485 0 -1 4202560 11783 0 0 0 144 2 0 0 16 0 22 0 876183830 10810302464 622740 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12408] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12408/stat : 12408 (java) S 12389 12391 11485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876183830 10810302464 622740 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624281 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12409] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12409/stat : 12409 (java) S 12389 12391 11485 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 876183830 10810302464 622740 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 4 0 16800975 18446604459147350400 0 0 -1 5 0 0 0
[pid=12391/tid=12410] ppid=12389 vsize=10556936 CPUtime=824.29 cores=1,3,5,7
/proc/12391/task/12410/stat : 12410 (java) R 12389 12391 11485 0 -1 4202560 2430 0 0 0 82427 2 0 0 25 0 22 0 876183948 10810302464 622740 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 46912506235885 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12391/tid=12411] ppid=12389 vsize=10556936 CPUtime=824.38 cores=1,3,5,7
/proc/12391/task/12411/stat : 12411 (java) R 12389 12391 11485 0 -1 4202560 410196 0 0 0 82394 44 0 0 25 0 22 0 876183948 10810302464 622740 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 46912505890641 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12391/tid=12412] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12412/stat : 12412 (java) S 12389 12391 11485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 876183958 10810302464 622740 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 4 0 16800975 18446604459147350400 0 0 -1 1 0 0 0
[pid=12391/tid=12413] ppid=12389 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/12391/task/12413/stat : 12413 (java) S 12389 12391 11485 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 876183959 10810302464 622740 33554432000 1073741824 1073778376 140736752308416 18446744073709551615 274676624896 0 4 0 16800975 18446604459147350400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10556936
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+965.818 s]
/proc/loadavg: 3.68 3.52 3.55 5/218 12451
/proc/meminfo: memFree=27297732/32951132 swapFree=67054608/67111528
[pid=12391] ppid=12389 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/12391/stat : 12391 (java) Z 12389 12391 11485 0 -1 4203548 638253 0 1 0 179925 91 0 0 17 0 2 0 876183823 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12391/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 965.833
CPU time (s): 1800.19
CPU user time (s): 1799.26
CPU system time (s): 0.930858
CPU usage (%): 186.387
Max. virtual memory (cumulated for all children) (KiB): 10561736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.26
system time used= 0.930858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 638253
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= 30431
involuntary context switches= 17021
runsolver used 1.56076 second user time and 3.76343 second system time
The end