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-3456216-1307226653/watcher-3456216-1307226653 -o /tmp/evaluation-result-3456216-1307226653/solver-3456216-1307226653 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456216-1307226653.opb
running on 4 cores: 0,2,4,6
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: 1.93 2.02 1.99 2/391 25866
/proc/meminfo: memFree=19002488/32951124 swapFree=37148216/67111528
[pid=25866] ppid=25864 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/25866/stat : 25866 (java) S 25864 25866 24770 0 -1 4202496 1853 0 1 0 0 0 0 0 25 0 2 0 834265764 10681323520 1555 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/25866/statm: 2607745 1568 906 9 0 2598901 0
[pid=25866/tid=25867] ppid=25864 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25867/stat : 25867 (java) R 25864 25866 24770 0 -1 4202560 2357 0 1 0 0 0 0 0 25 0 2 0 834265765 10694979584 3173 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230808859707 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.10989 s]
/proc/loadavg: 1.93 2.02 1.99 2/391 25866
/proc/meminfo: memFree=19002488/32951124 swapFree=37148216/67111528
[pid=25866] ppid=25864 vsize=10539556 CPUtime=0.11 cores=0,2,4,6
/proc/25866/stat : 25866 (java) S 25864 25866 24770 0 -1 4202496 13199 0 1 0 10 1 0 0 25 0 18 0 834265764 10792505344 12867 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25866/statm: 2634889 12867 2107 9 0 2625623 0
[pid=25866/tid=25867] ppid=25864 vsize=10539556 CPUtime=0.09 cores=0,2,4,6
/proc/25866/task/25867/stat : 25867 (java) R 25864 25866 24770 0 -1 4202560 11223 0 1 0 8 1 0 0 18 0 18 0 834265765 10792505344 12870 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 47910291279232 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539556
[startup+0.200892 s]
/proc/loadavg: 1.93 2.02 1.99 2/391 25866
/proc/meminfo: memFree=19002488/32951124 swapFree=37148216/67111528
[pid=25866] ppid=25864 vsize=10539704 CPUtime=0.26 cores=0,2,4,6
/proc/25866/stat : 25866 (java) S 25864 25866 24770 0 -1 4202496 14109 0 1 0 24 2 0 0 25 0 18 0 834265764 10792656896 13727 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25866/statm: 2634926 13727 2181 9 0 2625660 0
[pid=25866/tid=25867] ppid=25864 vsize=10539704 CPUtime=0.19 cores=0,2,4,6
/proc/25866/task/25867/stat : 25867 (java) R 25864 25866 24770 0 -1 4202560 11870 0 1 0 17 2 0 0 18 0 18 0 834265765 10792656896 13727 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 47910296898387 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10539704
[startup+0.312202 s]
/proc/loadavg: 1.93 2.02 1.99 2/391 25866
/proc/meminfo: memFree=19002488/32951124 swapFree=37148216/67111528
[pid=25866] ppid=25864 vsize=10542076 CPUtime=0.52 cores=0,2,4,6
/proc/25866/stat : 25866 (java) S 25864 25866 24770 0 -1 4202496 16617 0 1 0 50 2 0 0 25 0 18 0 834265764 10795085824 15792 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25866/statm: 2635519 15792 2222 9 0 2626253 0
[pid=25866/tid=25867] ppid=25864 vsize=10542076 CPUtime=0.29 cores=0,2,4,6
/proc/25866/task/25867/stat : 25867 (java) R 25864 25866 24770 0 -1 4202560 13023 0 1 0 27 2 0 0 18 0 18 0 834265765 10795085824 15793 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10542076
[startup+0.700817 s]
/proc/loadavg: 1.93 2.02 1.99 2/391 25866
/proc/meminfo: memFree=19002488/32951124 swapFree=37148216/67111528
[pid=25866] ppid=25864 vsize=10553444 CPUtime=1.58 cores=0,2,4,6
/proc/25866/stat : 25866 (java) S 25864 25866 24770 0 -1 4202496 40471 0 1 0 153 5 0 0 25 0 18 0 834265764 10806726656 37552 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25866/statm: 2638361 37555 2229 9 0 2629095 0
[pid=25866/tid=25867] ppid=25864 vsize=10553444 CPUtime=0.68 cores=0,2,4,6
/proc/25866/task/25867/stat : 25867 (java) R 25864 25866 24770 0 -1 4202560 30632 0 1 0 64 4 0 0 18 0 18 0 834265765 10806726656 37557 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 46912505566401 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 10553444
[startup+1.50165 s]
/proc/loadavg: 1.93 2.02 1.99 3/410 25886
/proc/meminfo: memFree=18775976/32951124 swapFree=37148216/67111528
[pid=25866] ppid=25864 vsize=10554472 CPUtime=2.82 cores=0,2,4,6
/proc/25866/stat : 25866 (java) S 25864 25866 24770 0 -1 4202496 74170 0 1 0 273 9 0 0 25 0 19 0 834265764 10807779328 71250 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25866/statm: 2638618 71252 2239 9 0 2629352 0
[pid=25866/tid=25867] ppid=25864 vsize=10554472 CPUtime=1.48 cores=0,2,4,6
/proc/25866/task/25867/stat : 25867 (java) R 25864 25866 24770 0 -1 4202560 64128 0 1 0 140 8 0 0 19 0 19 0 834265765 10807779328 71253 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 46912505920637 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25866/tid=25869] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25869/stat : 25869 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 71255 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25870] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25870/stat : 25870 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 71256 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25871] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25871/stat : 25871 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 71257 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25872] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25872/stat : 25872 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 71258 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25873] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25873/stat : 25873 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 71260 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25874] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25874/stat : 25874 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 71261 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25875] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25875/stat : 25875 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 71262 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25876] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25876/stat : 25876 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 71264 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25877] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25877/stat : 25877 (java) S 25864 25866 24770 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834265767 10807779328 71265 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820982272 0 0 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25879] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25879/stat : 25879 (java) S 25864 25866 24770 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834265768 10807779328 71266 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25880] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25880/stat : 25880 (java) S 25864 25866 24770 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834265768 10807779328 71267 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25881] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25881/stat : 25881 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265770 10807779328 71269 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820989361 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25882] ppid=25864 vsize=10554472 CPUtime=0.68 cores=0,2,4,6
/proc/25866/task/25882/stat : 25882 (java) R 25864 25866 24770 0 -1 4202560 5109 0 0 0 68 0 0 0 21 0 19 0 834265770 10807779328 71270 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 47910290944951 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25866/tid=25883] ppid=25864 vsize=10554472 CPUtime=0.62 cores=0,2,4,6
/proc/25866/task/25883/stat : 25883 (java) S 25864 25866 24770 0 -1 4202560 3776 0 0 0 62 0 0 0 15 0 19 0 834265770 10807779328 71271 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 6 0 0 0
[pid=25866/tid=25884] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25884/stat : 25884 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265770 10807779328 71273 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25885] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25885/stat : 25885 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834265770 10807779328 71274 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820982272 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25886] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25886/stat : 25886 (java) S 25864 25866 24770 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834265845 10807779328 71275 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820982272 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 10554472
[startup+3.10138 s]
/proc/loadavg: 1.93 2.02 1.99 3/410 25886
/proc/meminfo: memFree=18540004/32951124 swapFree=37148216/67111528
[pid=25866] ppid=25864 vsize=10554472 CPUtime=4.49 cores=0,2,4,6
/proc/25866/stat : 25866 (java) S 25864 25866 24770 0 -1 4202496 164092 0 1 0 431 18 0 0 25 0 19 0 834265764 10807779328 161171 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25866/statm: 2638618 161174 2239 9 0 2629352 0
[pid=25866/tid=25867] ppid=25864 vsize=10554472 CPUtime=3.08 cores=0,2,4,6
/proc/25866/task/25867/stat : 25867 (java) R 25864 25866 24770 0 -1 4202560 154039 0 1 0 291 17 0 0 25 0 19 0 834265765 10807779328 161175 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 46912505920637 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25866/tid=25869] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25869/stat : 25869 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 161176 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25870] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25870/stat : 25870 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 161178 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25871] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25871/stat : 25871 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 161180 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25872] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25872/stat : 25872 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 161181 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25873] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25873/stat : 25873 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 161183 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25874] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25874/stat : 25874 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 161184 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25875] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25875/stat : 25875 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 161185 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25876] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25876/stat : 25876 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 161187 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25877] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25877/stat : 25877 (java) S 25864 25866 24770 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834265767 10807779328 161189 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820982272 0 0 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25879] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25879/stat : 25879 (java) S 25864 25866 24770 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834265768 10807779328 161190 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25880] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25880/stat : 25880 (java) S 25864 25866 24770 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834265768 10807779328 161192 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25881] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25881/stat : 25881 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265770 10807779328 161193 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820989361 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25882] ppid=25864 vsize=10554472 CPUtime=0.75 cores=0,2,4,6
/proc/25866/task/25882/stat : 25882 (java) S 25864 25866 24770 0 -1 4202560 5119 0 0 0 75 0 0 0 15 0 19 0 834265770 10807779328 161195 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25883] ppid=25864 vsize=10554472 CPUtime=0.64 cores=0,2,4,6
/proc/25866/task/25883/stat : 25883 (java) S 25864 25866 24770 0 -1 4202560 3778 0 0 0 64 0 0 0 15 0 19 0 834265770 10807779328 161196 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 6 0 0 0
[pid=25866/tid=25884] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25884/stat : 25884 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265770 10807779328 161198 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25885] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25885/stat : 25885 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834265770 10807779328 161199 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820982272 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25886] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25886/stat : 25886 (java) S 25864 25866 24770 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834265845 10807779328 161201 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820982272 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 10554472
[startup+6.30077 s]
/proc/loadavg: 1.94 2.02 1.99 4/410 25886
/proc/meminfo: memFree=17819284/32951124 swapFree=37148216/67111528
[pid=25866] ppid=25864 vsize=10554472 CPUtime=7.89 cores=0,2,4,6
/proc/25866/stat : 25866 (java) S 25864 25866 24770 0 -1 4202496 338019 0 1 0 754 35 0 0 25 0 19 0 834265764 10807779328 335081 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25866/statm: 2638618 335105 2241 9 0 2629352 0
[pid=25866/tid=25867] ppid=25864 vsize=10554472 CPUtime=6.28 cores=0,2,4,6
/proc/25866/task/25867/stat : 25867 (java) R 25864 25866 24770 0 -1 4202560 327914 0 1 0 595 33 0 0 25 0 19 0 834265765 10807779328 335107 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 46912506244871 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25866/tid=25869] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25869/stat : 25869 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 335108 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25870] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25870/stat : 25870 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 335108 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25871] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25871/stat : 25871 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 335109 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25872] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25872/stat : 25872 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 335110 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25873] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25873/stat : 25873 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 335111 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25874] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25874/stat : 25874 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 335111 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25875] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25875/stat : 25875 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 335124 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25876] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25876/stat : 25876 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265766 10807779328 335142 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25877] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25877/stat : 25877 (java) S 25864 25866 24770 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 834265767 10807779328 335159 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820982272 0 0 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25879] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25879/stat : 25879 (java) S 25864 25866 24770 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834265768 10807779328 335177 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25880] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25880/stat : 25880 (java) S 25864 25866 24770 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834265768 10807779328 335179 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25881] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25881/stat : 25881 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265770 10807779328 335179 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820989361 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25882] ppid=25864 vsize=10554472 CPUtime=0.84 cores=0,2,4,6
/proc/25866/task/25882/stat : 25882 (java) S 25864 25866 24770 0 -1 4202560 5144 0 0 0 84 0 0 0 15 0 19 0 834265770 10807779328 335180 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25883] ppid=25864 vsize=10554472 CPUtime=0.73 cores=0,2,4,6
/proc/25866/task/25883/stat : 25883 (java) S 25864 25866 24770 0 -1 4202560 3828 0 0 0 73 0 0 0 15 0 19 0 834265770 10807779328 335181 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/25866/task/25880/stat : 25880 (java) S 25864 25866 24770 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834265768 10807779328 896411 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25881] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25881/stat : 25881 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265770 10807779328 896411 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820989361 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25882] ppid=25864 vsize=10554472 CPUtime=0.86 cores=0,2,4,6
/proc/25866/task/25882/stat : 25882 (java) S 25864 25866 24770 0 -1 4202560 5148 0 0 0 86 0 0 0 16 0 19 0 834265770 10807779328 896411 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 6 0 0 0
[pid=25866/tid=25883] ppid=25864 vsize=10554472 CPUtime=0.83 cores=0,2,4,6
/proc/25866/task/25883/stat : 25883 (java) S 25864 25866 24770 0 -1 4202560 3831 0 0 0 83 0 0 0 15 0 19 0 834265770 10807779328 896411 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25884] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25884/stat : 25884 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265770 10807779328 896411 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25885] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25885/stat : 25885 (java) S 25864 25866 24770 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 834265770 10807779328 896411 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820982272 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25886] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25886/stat : 25886 (java) S 25864 25866 24770 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834265845 10807779328 896411 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820982272 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1665.46
Current children cumulated vsize (KiB) 10554472
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/410 26074
/proc/meminfo: memFree=15463844/32951124 swapFree=37148216/67111528
[pid=25866] ppid=25864 vsize=10554472 CPUtime=1725.49 cores=0,2,4,6
/proc/25866/stat : 25866 (java) S 25864 25866 24770 0 -1 4202496 901755 0 1 0 172446 103 0 0 25 0 19 0 834265764 10807779328 897091 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25866/statm: 2638618 897091 2254 9 0 2629352 0
[pid=25866/tid=25867] ppid=25864 vsize=10554472 CPUtime=1721.63 cores=0,2,4,6
/proc/25866/task/25867/stat : 25867 (java) R 25864 25866 24770 0 -1 4202560 798393 0 1 0 172076 87 0 0 25 0 19 0 834265765 10807779328 897091 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 46912505974110 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25866/tid=25869] ppid=25864 vsize=10554472 CPUtime=0.23 cores=0,2,4,6
/proc/25866/task/25869/stat : 25869 (java) S 25864 25866 24770 0 -1 4202560 8525 0 0 0 22 1 0 0 15 0 19 0 834265766 10807779328 897091 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 6 0 0 0
[pid=25866/tid=25870] ppid=25864 vsize=10554472 CPUtime=0.16 cores=0,2,4,6
/proc/25866/task/25870/stat : 25870 (java) S 25864 25866 24770 0 -1 4202560 6578 0 0 0 16 0 0 0 15 0 19 0 834265766 10807779328 897091 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 2 0 0 0
[pid=25866/tid=25871] ppid=25864 vsize=10554472 CPUtime=0.22 cores=0,2,4,6
/proc/25866/task/25871/stat : 25871 (java) S 25864 25866 24770 0 -1 4202560 6269 0 0 0 22 0 0 0 16 0 19 0 834265766 10807779328 897091 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25872] ppid=25864 vsize=10554472 CPUtime=0.18 cores=0,2,4,6
/proc/25866/task/25872/stat : 25872 (java) S 25864 25866 24770 0 -1 4202560 7442 0 0 0 17 1 0 0 15 0 19 0 834265766 10807779328 897091 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25873] ppid=25864 vsize=10554472 CPUtime=0.29 cores=0,2,4,6
/proc/25866/task/25873/stat : 25873 (java) S 25864 25866 24770 0 -1 4202560 16990 0 0 0 27 2 0 0 16 0 19 0 834265766 10807779328 897091 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 2 0 0 0
[pid=25866/tid=25874] ppid=25864 vsize=10554472 CPUtime=0.35 cores=0,2,4,6
/proc/25866/task/25874/stat : 25874 (java) S 25864 25866 24770 0 -1 4202560 18942 0 0 0 32 3 0 0 16 0 19 0 834265766 10807779328 897091 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25875] ppid=25864 vsize=10554472 CPUtime=0.31 cores=0,2,4,6
/proc/25866/task/25875/stat : 25875 (java) S 25864 25866 24770 0 -1 4202560 13653 0 0 0 30 1 0 0 15 0 19 0 834265766 10807779328 897091 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 6 0 0 0
[pid=25866/tid=25876] ppid=25864 vsize=10554472 CPUtime=0.32 cores=0,2,4,6
/proc/25866/task/25876/stat : 25876 (java) S 25864 25866 24770 0 -1 4202560 14681 0 0 0 30 2 0 0 16 0 19 0 834265766 10807779328 897091 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 6 0 0 0
[pid=25866/tid=25877] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25877/stat : 25877 (java) S 25864 25866 24770 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 19 0 834265767 10807779328 897091 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820982272 0 0 0 16800975 18446604448884108032 0 0 -1 2 0 0 0
[pid=25866/tid=25879] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25879/stat : 25879 (java) S 25864 25866 24770 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834265768 10807779328 897091 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25880] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25880/stat : 25880 (java) S 25864 25866 24770 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834265768 10807779328 897091 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25881] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25881/stat : 25881 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265770 10807779328 897091 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820989361 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25882] ppid=25864 vsize=10554472 CPUtime=0.86 cores=0,2,4,6
/proc/25866/task/25882/stat : 25882 (java) S 25864 25866 24770 0 -1 4202560 5148 0 0 0 86 0 0 0 16 0 19 0 834265770 10807779328 897091 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 6 0 0 0
[pid=25866/tid=25883] ppid=25864 vsize=10554472 CPUtime=0.83 cores=0,2,4,6
/proc/25866/task/25883/stat : 25883 (java) S 25864 25866 24770 0 -1 4202560 3831 0 0 0 83 0 0 0 15 0 19 0 834265770 10807779328 897091 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25884] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25884/stat : 25884 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265770 10807779328 897091 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25885] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25885/stat : 25885 (java) S 25864 25866 24770 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 834265770 10807779328 897091 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820982272 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25886] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25886/stat : 25886 (java) S 25864 25866 24770 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834265845 10807779328 897091 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820982272 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1725.49
Current children cumulated vsize (KiB) 10554472
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/410 26076
/proc/meminfo: memFree=15453416/32951124 swapFree=37148216/67111528
[pid=25866] ppid=25864 vsize=10554472 CPUtime=1785.55 cores=0,2,4,6
/proc/25866/stat : 25866 (java) S 25864 25866 24770 0 -1 4202496 903216 0 1 0 178452 103 0 0 25 0 19 0 834265764 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25866/statm: 2638618 898539 2268 9 0 2629352 0
[pid=25866/tid=25867] ppid=25864 vsize=10554472 CPUtime=1781.37 cores=0,2,4,6
/proc/25866/task/25867/stat : 25867 (java) R 25864 25866 24770 0 -1 4202560 798394 0 1 0 178050 87 0 0 25 0 19 0 834265765 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 46912506043298 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25866/tid=25869] ppid=25864 vsize=10554472 CPUtime=0.24 cores=0,2,4,6
/proc/25866/task/25869/stat : 25869 (java) S 25864 25866 24770 0 -1 4202560 8624 0 0 0 23 1 0 0 16 0 19 0 834265766 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 6 0 0 0
[pid=25866/tid=25870] ppid=25864 vsize=10554472 CPUtime=0.17 cores=0,2,4,6
/proc/25866/task/25870/stat : 25870 (java) S 25864 25866 24770 0 -1 4202560 6748 0 0 0 17 0 0 0 16 0 19 0 834265766 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25871] ppid=25864 vsize=10554472 CPUtime=0.22 cores=0,2,4,6
/proc/25866/task/25871/stat : 25871 (java) S 25864 25866 24770 0 -1 4202560 6269 0 0 0 22 0 0 0 15 0 19 0 834265766 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25872] ppid=25864 vsize=10554472 CPUtime=0.2 cores=0,2,4,6
/proc/25866/task/25872/stat : 25872 (java) S 25864 25866 24770 0 -1 4202560 7589 0 0 0 19 1 0 0 16 0 19 0 834265766 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25873] ppid=25864 vsize=10554472 CPUtime=0.29 cores=0,2,4,6
/proc/25866/task/25873/stat : 25873 (java) S 25864 25866 24770 0 -1 4202560 16991 0 0 0 27 2 0 0 15 0 19 0 834265766 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 6 0 0 0
[pid=25866/tid=25874] ppid=25864 vsize=10554472 CPUtime=0.35 cores=0,2,4,6
/proc/25866/task/25874/stat : 25874 (java) S 25864 25866 24770 0 -1 4202560 18942 0 0 0 32 3 0 0 15 0 19 0 834265766 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25875] ppid=25864 vsize=10554472 CPUtime=0.32 cores=0,2,4,6
/proc/25866/task/25875/stat : 25875 (java) S 25864 25866 24770 0 -1 4202560 13678 0 0 0 31 1 0 0 16 0 19 0 834265766 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25876] ppid=25864 vsize=10554472 CPUtime=0.32 cores=0,2,4,6
/proc/25866/task/25876/stat : 25876 (java) S 25864 25866 24770 0 -1 4202560 14682 0 0 0 30 2 0 0 15 0 19 0 834265766 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 6 0 0 0
[pid=25866/tid=25877] ppid=25864 vsize=10554472 CPUtime=0.24 cores=0,2,4,6
/proc/25866/task/25877/stat : 25877 (java) S 25864 25866 24770 0 -1 4202560 1060 0 0 0 24 0 0 0 15 0 19 0 834265767 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820982272 0 0 0 16800975 18446604448884108032 0 0 -1 2 0 0 0
[pid=25866/tid=25879] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25879/stat : 25879 (java) S 25864 25866 24770 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834265768 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25880] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25880/stat : 25880 (java) S 25864 25866 24770 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834265768 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25881] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25881/stat : 25881 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265770 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820989361 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25882] ppid=25864 vsize=10554472 CPUtime=0.86 cores=0,2,4,6
/proc/25866/task/25882/stat : 25882 (java) S 25864 25866 24770 0 -1 4202560 5149 0 0 0 86 0 0 0 15 0 19 0 834265770 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 6 0 0 0
[pid=25866/tid=25883] ppid=25864 vsize=10554472 CPUtime=0.84 cores=0,2,4,6
/proc/25866/task/25883/stat : 25883 (java) S 25864 25866 24770 0 -1 4202560 3838 0 0 0 84 0 0 0 15 0 19 0 834265770 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25884] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25884/stat : 25884 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265770 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25885] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25885/stat : 25885 (java) S 25864 25866 24770 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 834265770 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820982272 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25886] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25886/stat : 25886 (java) S 25864 25866 24770 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834265845 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820982272 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 10554472
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.8 s]
/proc/loadavg: 2.00 2.03 2.00 4/410 26076
/proc/meminfo: memFree=15453288/32951124 swapFree=37148216/67111528
[pid=25866] ppid=25864 vsize=10554472 CPUtime=1800.06 cores=0,2,4,6
/proc/25866/stat : 25866 (java) S 25864 25866 24770 0 -1 4202496 903216 0 1 0 179903 103 0 0 25 0 19 0 834265764 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25866/statm: 2638618 898539 2268 9 0 2629352 0
[pid=25866/tid=25867] ppid=25864 vsize=10554472 CPUtime=1795.88 cores=0,2,4,6
/proc/25866/task/25867/stat : 25867 (java) R 25864 25866 24770 0 -1 4202560 798394 0 1 0 179501 87 0 0 25 0 19 0 834265765 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 46912506018748 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25866/tid=25869] ppid=25864 vsize=10554472 CPUtime=0.24 cores=0,2,4,6
/proc/25866/task/25869/stat : 25869 (java) S 25864 25866 24770 0 -1 4202560 8624 0 0 0 23 1 0 0 16 0 19 0 834265766 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 6 0 0 0
[pid=25866/tid=25870] ppid=25864 vsize=10554472 CPUtime=0.17 cores=0,2,4,6
/proc/25866/task/25870/stat : 25870 (java) S 25864 25866 24770 0 -1 4202560 6748 0 0 0 17 0 0 0 16 0 19 0 834265766 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25871] ppid=25864 vsize=10554472 CPUtime=0.22 cores=0,2,4,6
/proc/25866/task/25871/stat : 25871 (java) S 25864 25866 24770 0 -1 4202560 6269 0 0 0 22 0 0 0 15 0 19 0 834265766 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25872] ppid=25864 vsize=10554472 CPUtime=0.2 cores=0,2,4,6
/proc/25866/task/25872/stat : 25872 (java) S 25864 25866 24770 0 -1 4202560 7589 0 0 0 19 1 0 0 16 0 19 0 834265766 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25873] ppid=25864 vsize=10554472 CPUtime=0.29 cores=0,2,4,6
/proc/25866/task/25873/stat : 25873 (java) S 25864 25866 24770 0 -1 4202560 16991 0 0 0 27 2 0 0 15 0 19 0 834265766 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 6 0 0 0
[pid=25866/tid=25874] ppid=25864 vsize=10554472 CPUtime=0.35 cores=0,2,4,6
/proc/25866/task/25874/stat : 25874 (java) S 25864 25866 24770 0 -1 4202560 18942 0 0 0 32 3 0 0 15 0 19 0 834265766 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25875] ppid=25864 vsize=10554472 CPUtime=0.32 cores=0,2,4,6
/proc/25866/task/25875/stat : 25875 (java) S 25864 25866 24770 0 -1 4202560 13678 0 0 0 31 1 0 0 16 0 19 0 834265766 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25876] ppid=25864 vsize=10554472 CPUtime=0.32 cores=0,2,4,6
/proc/25866/task/25876/stat : 25876 (java) S 25864 25866 24770 0 -1 4202560 14682 0 0 0 30 2 0 0 15 0 19 0 834265766 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 6 0 0 0
[pid=25866/tid=25877] ppid=25864 vsize=10554472 CPUtime=0.24 cores=0,2,4,6
/proc/25866/task/25877/stat : 25877 (java) S 25864 25866 24770 0 -1 4202560 1060 0 0 0 24 0 0 0 15 0 19 0 834265767 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820982272 0 0 0 16800975 18446604448884108032 0 0 -1 2 0 0 0
[pid=25866/tid=25879] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25879/stat : 25879 (java) S 25864 25866 24770 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834265768 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25880] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25880/stat : 25880 (java) S 25864 25866 24770 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834265768 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25881] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25881/stat : 25881 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265770 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820989361 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25882] ppid=25864 vsize=10554472 CPUtime=0.86 cores=0,2,4,6
/proc/25866/task/25882/stat : 25882 (java) S 25864 25866 24770 0 -1 4202560 5149 0 0 0 86 0 0 0 15 0 19 0 834265770 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 6 0 0 0
[pid=25866/tid=25883] ppid=25864 vsize=10554472 CPUtime=0.84 cores=0,2,4,6
/proc/25866/task/25883/stat : 25883 (java) S 25864 25866 24770 0 -1 4202560 3838 0 0 0 84 0 0 0 15 0 19 0 834265770 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25884] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25884/stat : 25884 (java) S 25864 25866 24770 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834265770 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820981657 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
[pid=25866/tid=25885] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25885/stat : 25885 (java) S 25864 25866 24770 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 834265770 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820982272 0 4 0 16800975 18446604448884108032 0 0 -1 0 0 0 0
[pid=25866/tid=25886] ppid=25864 vsize=10554472 CPUtime=0 cores=0,2,4,6
/proc/25866/task/25886/stat : 25886 (java) S 25864 25866 24770 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834265845 10807779328 898539 33554432000 1073741824 1073778376 140736740743056 18446744073709551615 230820982272 0 4 0 16800975 18446604448884108032 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10554472
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.92 s]
/proc/loadavg: 2.00 2.03 2.00 4/410 26076
/proc/meminfo: memFree=15453288/32951124 swapFree=37148216/67111528
[pid=25866] ppid=25864 vsize=0 CPUtime=1800.19 cores=0,2,4,6
/proc/25866/stat : 25866 (java) Z 25864 25866 24770 0 -1 4203548 903252 0 1 0 179909 110 0 0 17 0 2 0 834265764 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/25866/statm: 0 0 0 0 0 0 0
[pid=25866/tid=25867] ppid=25864 vsize=0 CPUtime=1795.97 cores=0,2,4,6
/proc/25866/task/25867/stat : 25867 (java) R 25864 25866 24770 0 -1 4203588 798394 0 1 0 179503 94 0 0 25 0 2 0 834265765 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.98
CPU time (s): 1800.26
CPU user time (s): 1799.09
CPU system time (s): 1.16782
CPU usage (%): 100.183
Max. virtual memory (cumulated for all children) (KiB): 10554472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.16782
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 903252
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= 37350
involuntary context switches= 6158
runsolver used 6.85796 second user time and 14.4288 second system time
The end