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-3454510-1307188916/watcher-3454510-1307188916 -o /tmp/evaluation-result-3454510-1307188916/solver-3454510-1307188916 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454510-1307188916.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: 3.61 3.69 3.46 4/421 12559
/proc/meminfo: memFree=28112724/32950904 swapFree=56615552/67111528
[pid=12559] ppid=12557 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/12559/stat : 12559 (java) S 12557 12559 8078 0 -1 4202496 2263 0 1 0 0 0 0 0 25 0 2 0 830491371 10681323520 1964 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/12559/statm: 2607745 1976 906 9 0 2598901 0
[pid=12559/tid=12560] ppid=12557 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12560/stat : 12560 (java) R 12557 12559 8078 0 -1 4202560 4623 0 1 0 0 0 0 0 25 0 2 0 830491372 10694979584 5439 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.036769 s]
/proc/loadavg: 3.61 3.69 3.46 4/421 12559
/proc/meminfo: memFree=28112724/32950904 swapFree=56615552/67111528
[pid=12559] ppid=12557 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/12559/stat : 12559 (java) S 12557 12559 8078 0 -1 4202496 11114 0 1 0 2 1 0 0 25 0 13 0 830491371 10718699520 10810 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/12559/statm: 2616870 10811 1645 9 0 2607618 0
[pid=12559/tid=12560] ppid=12557 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/12559/task/12560/stat : 12560 (java) R 12557 12559 8078 0 -1 4202560 9966 0 1 0 1 1 0 0 25 0 13 0 830491372 10718699520 10811 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 47535737289524 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100757 s]
/proc/loadavg: 3.61 3.69 3.46 4/421 12559
/proc/meminfo: memFree=28112724/32950904 swapFree=56615552/67111528
[pid=12559] ppid=12557 vsize=10539940 CPUtime=0.11 cores=1,3,5,7
/proc/12559/stat : 12559 (java) S 12557 12559 8078 0 -1 4202496 13136 0 1 0 10 1 0 0 25 0 18 0 830491371 10792898560 12783 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12559/statm: 2634985 12783 2093 9 0 2625719 0
[pid=12559/tid=12560] ppid=12557 vsize=10539940 CPUtime=0.09 cores=1,3,5,7
/proc/12559/task/12560/stat : 12560 (java) R 12557 12559 8078 0 -1 4202560 11176 0 1 0 8 1 0 0 25 0 18 0 830491372 10792898560 12783 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 47535735993397 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539940
[startup+0.300725 s]
/proc/loadavg: 3.61 3.69 3.46 4/421 12559
/proc/meminfo: memFree=28112724/32950904 swapFree=56615552/67111528
[pid=12559] ppid=12557 vsize=10542716 CPUtime=0.58 cores=1,3,5,7
/proc/12559/stat : 12559 (java) S 12557 12559 8078 0 -1 4202496 17539 0 1 0 56 2 0 0 25 0 18 0 830491371 10795741184 16590 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12559/statm: 2635679 16591 2205 9 0 2626413 0
[pid=12559/tid=12560] ppid=12557 vsize=10542716 CPUtime=0.28 cores=1,3,5,7
/proc/12559/task/12560/stat : 12560 (java) R 12557 12559 8078 0 -1 4202560 13420 0 1 0 27 1 0 0 25 0 18 0 830491372 10795741184 16592 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 46912505547848 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 10542716
[startup+0.70065 s]
/proc/loadavg: 3.61 3.69 3.46 4/421 12559
/proc/meminfo: memFree=28112724/32950904 swapFree=56615552/67111528
[pid=12559] ppid=12557 vsize=10551928 CPUtime=1.52 cores=1,3,5,7
/proc/12559/stat : 12559 (java) S 12557 12559 8078 0 -1 4202496 22324 0 1 0 149 3 0 0 25 0 19 0 830491371 10805174272 20959 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12559/statm: 2637982 20959 2239 9 0 2628716 0
[pid=12559/tid=12560] ppid=12557 vsize=10551928 CPUtime=0.33 cores=1,3,5,7
/proc/12559/task/12560/stat : 12560 (java) S 12557 12559 8078 0 -1 4202560 15179 0 1 0 32 1 0 0 25 0 19 0 830491372 10805174272 20959 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 10551928
[startup+1.50151 s]
/proc/loadavg: 3.61 3.69 3.46 5/440 12584
/proc/meminfo: memFree=28015852/32950904 swapFree=56615552/67111528
[pid=12559] ppid=12557 vsize=10562104 CPUtime=2.48 cores=1,3,5,7
/proc/12559/stat : 12559 (java) S 12557 12559 8078 0 -1 4202496 36009 0 1 0 244 4 0 0 25 0 22 0 830491371 10815594496 32386 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12559/statm: 2640526 32388 2242 9 0 2631260 0
[pid=12559/tid=12560] ppid=12557 vsize=10562104 CPUtime=0.34 cores=1,3,5,7
/proc/12559/task/12560/stat : 12560 (java) S 12557 12559 8078 0 -1 4202560 15361 0 1 0 33 1 0 0 17 0 22 0 830491372 10815594496 32390 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12562] ppid=12557 vsize=10562104 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12562/stat : 12562 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830491373 10815594496 32391 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12563] ppid=12557 vsize=10562104 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12563/stat : 12563 (java) S 12557 12559 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830491373 10815594496 32392 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12564] ppid=12557 vsize=10562104 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12564/stat : 12564 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830491373 10815594496 32393 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12565] ppid=12557 vsize=10562104 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12565/stat : 12565 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830491373 10815594496 32394 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12566] ppid=12557 vsize=10562104 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12566/stat : 12566 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830491373 10815594496 32395 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12567] ppid=12557 vsize=10562104 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12567/stat : 12567 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830491373 10815594496 32396 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12568] ppid=12557 vsize=10562104 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12568/stat : 12568 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830491373 10815594496 32397 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12569] ppid=12557 vsize=10562104 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12569/stat : 12569 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830491374 10815594496 32398 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12570] ppid=12557 vsize=10562104 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12570/stat : 12570 (java) S 12557 12559 8078 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830491375 10815594496 32399 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 0 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12571] ppid=12557 vsize=10562104 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12571/stat : 12571 (java) S 12557 12559 8078 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830491375 10815594496 32400 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12572] ppid=12557 vsize=10562104 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12572/stat : 12572 (java) S 12557 12559 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830491375 10815594496 32400 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12573] ppid=12557 vsize=10562104 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12573/stat : 12573 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830491377 10815594496 32401 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290703281 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12574] ppid=12557 vsize=10562104 CPUtime=0.6 cores=1,3,5,7
/proc/12559/task/12574/stat : 12574 (java) R 12557 12559 8078 0 -1 4202560 7140 0 0 0 60 0 0 0 19 0 22 0 830491377 10815594496 32402 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 47535733641727 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=12559/tid=12575] ppid=12557 vsize=10562104 CPUtime=0.62 cores=1,3,5,7
/proc/12559/task/12575/stat : 12575 (java) R 12557 12559 8078 0 -1 4202560 3036 0 0 0 62 0 0 0 19 0 22 0 830491377 10815594496 32403 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 47535733102705 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12559/tid=12576] ppid=12557 vsize=10562104 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12576/stat : 12576 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830491377 10815594496 32404 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12577] ppid=12557 vsize=10562104 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12577/stat : 12577 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830491377 10815594496 32405 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12580] ppid=12557 vsize=10562104 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12580/stat : 12580 (java) S 12557 12559 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830491408 10815594496 32406 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 10562104
[startup+3.10123 s]
/proc/loadavg: 3.48 3.66 3.45 5/443 12587
/proc/meminfo: memFree=27796380/32950904 swapFree=56615552/67111528
[pid=12559] ppid=12557 vsize=10564600 CPUtime=6.46 cores=1,3,5,7
/proc/12559/stat : 12559 (java) S 12557 12559 8078 0 -1 4202496 132132 0 1 0 633 13 0 0 25 0 22 0 830491371 10818150400 122748 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12559/statm: 2641150 122748 2268 9 0 2631884 0
[pid=12559/tid=12560] ppid=12557 vsize=10564600 CPUtime=0.34 cores=1,3,5,7
/proc/12559/task/12560/stat : 12560 (java) S 12557 12559 8078 0 -1 4202560 15361 0 1 0 33 1 0 0 15 0 22 0 830491372 10818150400 122748 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12562] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12562/stat : 12562 (java) S 12557 12559 8078 0 -1 4202560 285 0 0 0 0 0 0 0 15 0 22 0 830491373 10818150400 122748 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12563] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12563/stat : 12563 (java) S 12557 12559 8078 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830491373 10818150400 122748 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12564] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12564/stat : 12564 (java) S 12557 12559 8078 0 -1 4202560 222 0 0 0 0 0 0 0 15 0 22 0 830491373 10818150400 122748 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12565] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12565/stat : 12565 (java) S 12557 12559 8078 0 -1 4202560 221 0 0 0 0 0 0 0 16 0 22 0 830491373 10818150400 122748 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
[pid=12559/tid=12566] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12566/stat : 12566 (java) S 12557 12559 8078 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 22 0 830491373 10818150400 122748 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12567] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12567/stat : 12567 (java) S 12557 12559 8078 0 -1 4202560 291 0 0 0 0 0 0 0 15 0 22 0 830491373 10818150400 122748 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12568] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12568/stat : 12568 (java) S 12557 12559 8078 0 -1 4202560 299 0 0 0 0 0 0 0 15 0 22 0 830491373 10818150400 122748 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12569] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12569/stat : 12569 (java) S 12557 12559 8078 0 -1 4202560 303 0 0 0 0 0 0 0 16 0 22 0 830491374 10818150400 122748 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12570] ppid=12557 vsize=10564600 CPUtime=0.03 cores=1,3,5,7
/proc/12559/task/12570/stat : 12570 (java) S 12557 12559 8078 0 -1 4202560 1379 0 0 0 3 0 0 0 15 0 22 0 830491375 10818150400 122748 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 0 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12571] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12571/stat : 12571 (java) S 12557 12559 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830491375 10818150400 122748 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12572] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12572/stat : 12572 (java) S 12557 12559 8078 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830491375 10818150400 122748 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12573] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12573/stat : 12573 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830491377 10818150400 122748 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290703281 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12574] ppid=12557 vsize=10564600 CPUtime=0.89 cores=1,3,5,7
/proc/12559/task/12574/stat : 12574 (java) S 12557 12559 8078 0 -1 4202560 7988 0 0 0 89 0 0 0 15 0 22 0 830491377 10818150400 122748 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12575] ppid=12557 vsize=10564600 CPUtime=1.15 cores=1,3,5,7
/proc/12559/task/12575/stat : 12575 (java) S 12557 12559 8078 0 -1 4202560 10708 0 0 0 114 1 0 0 17 0 22 0 830491377 10818150400 122748 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12576] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12576/stat : 12576 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830491377 10818150400 122748 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12577] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12577/stat : 12577 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830491377 10818150400 122748 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12580] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12580/stat : 12580 (java) S 12557 12559 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830491408 10818150400 122748 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
[pid=12559/tid=12585] ppid=12557 vsize=10564600 CPUtime=1.68 cores=1,3,5,7
/proc/12559/task/12585/stat : 12585 (java) R 12557 12559 8078 0 -1 4202560 493 0 0 0 168 0 0 0 19 0 22 0 830491509 10818150400 122748 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 46912506099999 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12559/tid=12586] ppid=12557 vsize=10564600 CPUtime=1.67 cores=1,3,5,7
/proc/12559/task/12586/stat : 12586 (java) R 12557 12559 8078 0 -1 4202560 88559 0 0 0 159 8 0 0 21 0 22 0 830491509 10818150400 122748 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 46912506072599 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12559/tid=12587] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12587/stat : 12587 (java) S 12557 12559 8078 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830491509 10818150400 122748 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.46
Current children cumulated vsize (KiB) 10564600
[startup+6.30065 s]
/proc/loadavg: 3.48 3.66 3.45 5/443 12587
/proc/meminfo: memFree=27576812/32950904 swapFree=56615552/67111528
[pid=12559] ppid=12557 vsize=10564600 CPUtime=12.74 cores=1,3,5,7
/proc/12559/stat : 12559 (java) S 12557 12559 8078 0 -1 4202496 168949 0 1 0 1256 18 0 0 25 0 22 0 830491371 10818150400 159552 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12559/statm: 2641150 159554 2268 9 0 2631884 0
[pid=12559/tid=12560] ppid=12557 vsize=10564600 CPUtime=0.34 cores=1,3,5,7
/proc/12559/task/12560/stat : 12560 (java) S 12557 12559 8078 0 -1 4202560 15363 0 1 0 33 1 0 0 16 0 22 0 830491372 10818150400 159555 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
[pid=12559/tid=12562] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12562/stat : 12562 (java) S 12557 12559 8078 0 -1 4202560 285 0 0 0 0 0 0 0 15 0 22 0 830491373 10818150400 159557 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12563] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12563/stat : 12563 (java) S 12557 12559 8078 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 830491373 10818150400 159559 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12564] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12564/stat : 12564 (java) S 12557 12559 8078 0 -1 4202560 223 0 0 0 0 0 0 0 16 0 22 0 830491373 10818150400 159561 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12565] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12565/stat : 12565 (java) S 12557 12559 8078 0 -1 4202560 223 0 0 0 0 0 0 0 15 0 22 0 830491373 10818150400 159562 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
[pid=12559/tid=12566] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12566/stat : 12566 (java) S 12557 12559 8078 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 22 0 830491373 10818150400 159564 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12567] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12567/stat : 12567 (java) S 12557 12559 8078 0 -1 4202560 291 0 0 0 0 0 0 0 15 0 22 0 830491373 10818150400 159565 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12568] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12568/stat : 12568 (java) S 12557 12559 8078 0 -1 4202560 302 0 0 0 0 0 0 0 15 0 22 0 830491373 10818150400 159567 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
[pid=12559/tid=12569] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12569/stat : 12569 (java) S 12557 12559 8078 0 -1 4202560 303 0 0 0 0 0 0 0 15 0 22 0 830491374 10818150400 159568 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
[pid=12559/tid=12570] ppid=12557 vsize=10564600 CPUtime=0.08 cores=1,3,5,7
/proc/12559/task/12570/stat : 12570 (java) S 12557 12559 8078 0 -1 4202560 1737 0 0 0 8 0 0 0 16 0 22 0 830491375 10818150400 159569 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 0 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12571] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12571/stat : 12571 (java) S 12557 12559 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830491375 10818150400 159571 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12572] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12572/stat : 12572 (java) S 12557 12559 8078 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830491375 10818150400 159573 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=12559/tid=12597] ppid=12557 vsize=10564600 CPUtime=715.07 cores=1,3,5,7
/proc/12559/task/12597/stat : 12597 (java) R 12557 12559 8078 0 -1 4202560 311 0 0 0 71507 0 0 0 25 0 22 0 830492213 10818150400 255350 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 46912505783233 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12559/tid=12598] ppid=12557 vsize=10564600 CPUtime=715.1 cores=1,3,5,7
/proc/12559/task/12598/stat : 12598 (java) R 12557 12559 8078 0 -1 4202560 46268 0 0 0 71504 6 0 0 25 0 22 0 830492213 10818150400 255350 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 46912506018902 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12559/tid=12599] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12599/stat : 12599 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830492213 10818150400 255350 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1487.95
Current children cumulated vsize (KiB) 10564600
[startup+822.301 s]
/proc/loadavg: 3.81 3.85 3.69 5/443 12624
/proc/meminfo: memFree=26857248/32950904 swapFree=56615552/67111528
[pid=12559] ppid=12557 vsize=10564600 CPUtime=1604.12 cores=1,3,5,7
/proc/12559/stat : 12559 (java) S 12557 12559 8078 0 -1 4202496 272176 0 1 0 160375 37 0 0 25 0 22 0 830491371 10818150400 255633 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12559/statm: 2641150 255633 2270 9 0 2631884 0
[pid=12559/tid=12560] ppid=12557 vsize=10564600 CPUtime=0.36 cores=1,3,5,7
/proc/12559/task/12560/stat : 12560 (java) S 12557 12559 8078 0 -1 4202560 15367 0 1 0 34 2 0 0 15 0 22 0 830491372 10818150400 255633 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12562] ppid=12557 vsize=10564600 CPUtime=0.62 cores=1,3,5,7
/proc/12559/task/12562/stat : 12562 (java) S 12557 12559 8078 0 -1 4202560 568 0 0 0 62 0 0 0 15 0 22 0 830491373 10818150400 255633 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12563] ppid=12557 vsize=10564600 CPUtime=0.53 cores=1,3,5,7
/proc/12559/task/12563/stat : 12563 (java) S 12557 12559 8078 0 -1 4202560 473 0 0 0 53 0 0 0 15 0 22 0 830491373 10818150400 255633 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12564] ppid=12557 vsize=10564600 CPUtime=0.54 cores=1,3,5,7
/proc/12559/task/12564/stat : 12564 (java) S 12557 12559 8078 0 -1 4202560 855 0 0 0 54 0 0 0 15 0 22 0 830491373 10818150400 255633 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12565] ppid=12557 vsize=10564600 CPUtime=0.53 cores=1,3,5,7
/proc/12559/task/12565/stat : 12565 (java) S 12557 12559 8078 0 -1 4202560 770 0 0 0 52 1 0 0 15 0 22 0 830491373 10818150400 255633 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12566] ppid=12557 vsize=10564600 CPUtime=0.53 cores=1,3,5,7
/proc/12559/task/12566/stat : 12566 (java) S 12557 12559 8078 0 -1 4202560 844 0 0 0 53 0 0 0 15 0 22 0 830491373 10818150400 255633 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12567] ppid=12557 vsize=10564600 CPUtime=0.49 cores=1,3,5,7
/proc/12559/task/12567/stat : 12567 (java) S 12557 12559 8078 0 -1 4202560 699 0 0 0 49 0 0 0 15 0 22 0 830491373 10818150400 255633 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
[pid=12559/tid=12568] ppid=12557 vsize=10564600 CPUtime=0.61 cores=1,3,5,7
/proc/12559/task/12568/stat : 12568 (java) S 12557 12559 8078 0 -1 4202560 671 0 0 0 61 0 0 0 16 0 22 0 830491373 10818150400 255633 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12569] ppid=12557 vsize=10564600 CPUtime=0.58 cores=1,3,5,7
/proc/12559/task/12569/stat : 12569 (java) S 12557 12559 8078 0 -1 4202560 748 0 0 0 58 0 0 0 15 0 22 0 830491374 10818150400 255633 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12570] ppid=12557 vsize=10564600 CPUtime=41.48 cores=1,3,5,7
/proc/12559/task/12570/stat : 12570 (java) S 12557 12559 8078 0 -1 4202560 24848 0 0 0 4144 4 0 0 16 0 22 0 830491375 10818150400 255633 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 0 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12571] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12571/stat : 12571 (java) S 12557 12559 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830491375 10818150400 255633 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
[pid=12559/tid=12572] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12572/stat : 12572 (java) S 12557 12559 8078 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 830491375 10818150400 255633 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12573] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12573/stat : 12573 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830491377 10818150400 255633 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290703281 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12574] ppid=12557 vsize=10564600 CPUtime=1.98 cores=1,3,5,7
/proc/12559/task/12574/stat : 12574 (java) S 12557 12559 8078 0 -1 4202560 14590 0 0 0 197 1 0 0 15 0 22 0 830491377 10818150400 255633 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12575] ppid=12557 vsize=10564600 CPUtime=1.66 cores=1,3,5,7
/proc/12559/task/12575/stat : 12575 (java) S 12557 12559 8078 0 -1 4202560 11402 0 0 0 165 1 0 0 15 0 22 0 830491377 10818150400 255633 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
[pid=12559/tid=12576] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12576/stat : 12576 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830491377 10818150400 255633 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12577] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12577/stat : 12577 (java) S 12557 12559 8078 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 830491377 10818150400 255633 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12580] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12580/stat : 12580 (java) S 12557 12559 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830491408 10818150400 255633 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
[pid=12559/tid=12597] ppid=12557 vsize=10564600 CPUtime=771 cores=1,3,5,7
/proc/12559/task/12597/stat : 12597 (java) R 12557 12559 8078 0 -1 4202560 334 0 0 0 77100 0 0 0 25 0 22 0 830492213 10818150400 255633 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 46912505756097 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12559/tid=12598] ppid=12557 vsize=10564600 CPUtime=771.03 cores=1,3,5,7
/proc/12559/task/12598/stat : 12598 (java) R 12557 12559 8078 0 -1 4202560 46268 0 0 0 77097 6 0 0 25 0 22 0 830492213 10818150400 255633 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 46912505667474 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12559/tid=12599] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12599/stat : 12599 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830492213 10818150400 255633 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1604.12
Current children cumulated vsize (KiB) 10564600
[startup+882.302 s]
/proc/loadavg: 3.85 3.86 3.70 5/443 12701
/proc/meminfo: memFree=27213780/32950904 swapFree=56615552/67111528
[pid=12559] ppid=12557 vsize=10564600 CPUtime=1720.24 cores=1,3,5,7
/proc/12559/stat : 12559 (java) S 12557 12559 8078 0 -1 4202496 272480 0 1 0 171987 37 0 0 25 0 22 0 830491371 10818150400 255910 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12559/statm: 2641150 255910 2270 9 0 2631884 0
[pid=12559/tid=12560] ppid=12557 vsize=10564600 CPUtime=0.36 cores=1,3,5,7
/proc/12559/task/12560/stat : 12560 (java) S 12557 12559 8078 0 -1 4202560 15368 0 1 0 34 2 0 0 15 0 22 0 830491372 10818150400 255910 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12562] ppid=12557 vsize=10564600 CPUtime=0.65 cores=1,3,5,7
/proc/12559/task/12562/stat : 12562 (java) S 12557 12559 8078 0 -1 4202560 568 0 0 0 65 0 0 0 15 0 22 0 830491373 10818150400 255910 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12563] ppid=12557 vsize=10564600 CPUtime=0.57 cores=1,3,5,7
/proc/12559/task/12563/stat : 12563 (java) S 12557 12559 8078 0 -1 4202560 473 0 0 0 57 0 0 0 15 0 22 0 830491373 10818150400 255910 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
[pid=12559/tid=12564] ppid=12557 vsize=10564600 CPUtime=0.59 cores=1,3,5,7
/proc/12559/task/12564/stat : 12564 (java) S 12557 12559 8078 0 -1 4202560 862 0 0 0 59 0 0 0 16 0 22 0 830491373 10818150400 255910 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
[pid=12559/tid=12565] ppid=12557 vsize=10564600 CPUtime=0.58 cores=1,3,5,7
/proc/12559/task/12565/stat : 12565 (java) S 12557 12559 8078 0 -1 4202560 777 0 0 0 57 1 0 0 15 0 22 0 830491373 10818150400 255910 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12566] ppid=12557 vsize=10564600 CPUtime=0.58 cores=1,3,5,7
/proc/12559/task/12566/stat : 12566 (java) S 12557 12559 8078 0 -1 4202560 850 0 0 0 58 0 0 0 15 0 22 0 830491373 10818150400 255910 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12567] ppid=12557 vsize=10564600 CPUtime=0.54 cores=1,3,5,7
/proc/12559/task/12567/stat : 12567 (java) S 12557 12559 8078 0 -1 4202560 701 0 0 0 54 0 0 0 15 0 22 0 830491373 10818150400 255910 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12568] ppid=12557 vsize=10564600 CPUtime=0.64 cores=1,3,5,7
/proc/12559/task/12568/stat : 12568 (java) S 12557 12559 8078 0 -1 4202560 678 0 0 0 64 0 0 0 15 0 22 0 830491373 10818150400 255910 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
[pid=12559/tid=12569] ppid=12557 vsize=10564600 CPUtime=0.63 cores=1,3,5,7
/proc/12559/task/12569/stat : 12569 (java) S 12557 12559 8078 0 -1 4202560 748 0 0 0 63 0 0 0 16 0 22 0 830491374 10818150400 255910 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12570] ppid=12557 vsize=10564600 CPUtime=45.48 cores=1,3,5,7
/proc/12559/task/12570/stat : 12570 (java) S 12557 12559 8078 0 -1 4202560 25098 0 0 0 4544 4 0 0 16 0 22 0 830491375 10818150400 255910 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 0 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12571] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12571/stat : 12571 (java) S 12557 12559 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830491375 10818150400 255910 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
[pid=12559/tid=12572] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12572/stat : 12572 (java) S 12557 12559 8078 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 830491375 10818150400 255910 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12573] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12573/stat : 12573 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830491377 10818150400 255910 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290703281 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12574] ppid=12557 vsize=10564600 CPUtime=1.98 cores=1,3,5,7
/proc/12559/task/12574/stat : 12574 (java) S 12557 12559 8078 0 -1 4202560 14590 0 0 0 197 1 0 0 15 0 22 0 830491377 10818150400 255910 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12575] ppid=12557 vsize=10564600 CPUtime=1.66 cores=1,3,5,7
/proc/12559/task/12575/stat : 12575 (java) S 12557 12559 8078 0 -1 4202560 11402 0 0 0 165 1 0 0 15 0 22 0 830491377 10818150400 255910 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
[pid=12559/tid=12576] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12576/stat : 12576 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830491377 10818150400 255910 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12577] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12577/stat : 12577 (java) S 12557 12559 8078 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830491377 10818150400 255910 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12580] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12580/stat : 12580 (java) S 12557 12559 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830491408 10818150400 255910 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
[pid=12559/tid=12597] ppid=12557 vsize=10564600 CPUtime=826.89 cores=1,3,5,7
/proc/12559/task/12597/stat : 12597 (java) R 12557 12559 8078 0 -1 4202560 356 0 0 0 82689 0 0 0 24 0 22 0 830492213 10818150400 255910 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 46912505777792 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12559/tid=12598] ppid=12557 vsize=10564600 CPUtime=826.92 cores=1,3,5,7
/proc/12559/task/12598/stat : 12598 (java) R 12557 12559 8078 0 -1 4202560 46268 0 0 0 82686 6 0 0 24 0 22 0 830492213 10818150400 255910 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 46912506072542 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12559/tid=12599] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12599/stat : 12599 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830492213 10818150400 255910 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1720.24
Current children cumulated vsize (KiB) 10564600
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+923.401 s]
/proc/loadavg: 3.92 3.88 3.72 5/443 12702
/proc/meminfo: memFree=27200492/32950904 swapFree=56615552/67111528
[pid=12559] ppid=12557 vsize=10564600 CPUtime=1800.02 cores=1,3,5,7
/proc/12559/stat : 12559 (java) S 12557 12559 8078 0 -1 4202496 272653 0 1 0 179964 38 0 0 25 0 22 0 830491371 10818150400 256063 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12559/statm: 2641150 256063 2270 9 0 2631884 0
[pid=12559/tid=12560] ppid=12557 vsize=10564600 CPUtime=0.36 cores=1,3,5,7
/proc/12559/task/12560/stat : 12560 (java) S 12557 12559 8078 0 -1 4202560 15368 0 1 0 34 2 0 0 15 0 22 0 830491372 10818150400 256063 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12562] ppid=12557 vsize=10564600 CPUtime=0.69 cores=1,3,5,7
/proc/12559/task/12562/stat : 12562 (java) S 12557 12559 8078 0 -1 4202560 568 0 0 0 69 0 0 0 15 0 22 0 830491373 10818150400 256063 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12563] ppid=12557 vsize=10564600 CPUtime=0.59 cores=1,3,5,7
/proc/12559/task/12563/stat : 12563 (java) S 12557 12559 8078 0 -1 4202560 473 0 0 0 59 0 0 0 16 0 22 0 830491373 10818150400 256063 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12564] ppid=12557 vsize=10564600 CPUtime=0.61 cores=1,3,5,7
/proc/12559/task/12564/stat : 12564 (java) S 12557 12559 8078 0 -1 4202560 862 0 0 0 61 0 0 0 16 0 22 0 830491373 10818150400 256063 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12565] ppid=12557 vsize=10564600 CPUtime=0.6 cores=1,3,5,7
/proc/12559/task/12565/stat : 12565 (java) S 12557 12559 8078 0 -1 4202560 777 0 0 0 59 1 0 0 15 0 22 0 830491373 10818150400 256063 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12566] ppid=12557 vsize=10564600 CPUtime=0.61 cores=1,3,5,7
/proc/12559/task/12566/stat : 12566 (java) S 12557 12559 8078 0 -1 4202560 853 0 0 0 61 0 0 0 15 0 22 0 830491373 10818150400 256063 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12567] ppid=12557 vsize=10564600 CPUtime=0.57 cores=1,3,5,7
/proc/12559/task/12567/stat : 12567 (java) S 12557 12559 8078 0 -1 4202560 704 0 0 0 57 0 0 0 15 0 22 0 830491373 10818150400 256063 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12568] ppid=12557 vsize=10564600 CPUtime=0.67 cores=1,3,5,7
/proc/12559/task/12568/stat : 12568 (java) S 12557 12559 8078 0 -1 4202560 678 0 0 0 67 0 0 0 16 0 22 0 830491373 10818150400 256063 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 7 0 0 0
[pid=12559/tid=12569] ppid=12557 vsize=10564600 CPUtime=0.64 cores=1,3,5,7
/proc/12559/task/12569/stat : 12569 (java) S 12557 12559 8078 0 -1 4202560 748 0 0 0 64 0 0 0 16 0 22 0 830491374 10818150400 256063 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
[pid=12559/tid=12570] ppid=12557 vsize=10564600 CPUtime=48 cores=1,3,5,7
/proc/12559/task/12570/stat : 12570 (java) S 12557 12559 8078 0 -1 4202560 25247 0 0 0 4796 4 0 0 15 0 22 0 830491375 10818150400 256063 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 0 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12571] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12571/stat : 12571 (java) S 12557 12559 8078 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830491375 10818150400 256063 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
[pid=12559/tid=12572] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12572/stat : 12572 (java) S 12557 12559 8078 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 830491375 10818150400 256063 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12573] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12573/stat : 12573 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830491377 10818150400 256063 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290703281 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12574] ppid=12557 vsize=10564600 CPUtime=1.98 cores=1,3,5,7
/proc/12559/task/12574/stat : 12574 (java) S 12557 12559 8078 0 -1 4202560 14590 0 0 0 197 1 0 0 15 0 22 0 830491377 10818150400 256063 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12575] ppid=12557 vsize=10564600 CPUtime=1.66 cores=1,3,5,7
/proc/12559/task/12575/stat : 12575 (java) S 12557 12559 8078 0 -1 4202560 11402 0 0 0 165 1 0 0 15 0 22 0 830491377 10818150400 256063 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
[pid=12559/tid=12576] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12576/stat : 12576 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830491377 10818150400 256063 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290695577 0 4 0 16800975 18446604459431026752 0 0 -1 5 0 0 0
[pid=12559/tid=12577] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12577/stat : 12577 (java) S 12557 12559 8078 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830491377 10818150400 256063 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 4 0 16800975 18446604459431026752 0 0 -1 1 0 0 0
[pid=12559/tid=12580] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12580/stat : 12580 (java) S 12557 12559 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830491408 10818150400 256063 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
[pid=12559/tid=12597] ppid=12557 vsize=10564600 CPUtime=865.41 cores=1,3,5,7
/proc/12559/task/12597/stat : 12597 (java) R 12557 12559 8078 0 -1 4202560 370 0 0 0 86541 0 0 0 25 0 22 0 830492213 10818150400 256063 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 46912505783568 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12559/tid=12598] ppid=12557 vsize=10564600 CPUtime=865.44 cores=1,3,5,7
/proc/12559/task/12598/stat : 12598 (java) R 12557 12559 8078 0 -1 4202560 46268 0 0 0 86538 6 0 0 25 0 22 0 830492213 10818150400 256063 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 46912505756097 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12559/tid=12599] ppid=12557 vsize=10564600 CPUtime=0 cores=1,3,5,7
/proc/12559/task/12599/stat : 12599 (java) S 12557 12559 8078 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830492213 10818150400 256063 33554432000 1073741824 1073778376 140733660636960 18446744073709551615 237290696192 0 4 0 16800975 18446604459431026752 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10564600
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 923.483
CPU time (s): 1800.15
CPU user time (s): 1799.72
CPU system time (s): 0.426935
CPU usage (%): 194.93
Max. virtual memory (cumulated for all children) (KiB): 10564600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.426935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272684
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= 33127
involuntary context switches= 27669
runsolver used 3.67844 second user time and 8.98863 second system time
The end