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-3456165-1307664107/watcher-3456165-1307664107 -o /tmp/evaluation-result-3456165-1307664107/solver-3456165-1307664107 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456165-1307664107.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: 2.09 2.07 2.02 2/195 12863
/proc/meminfo: memFree=30433976/32951124 swapFree=67053156/67111528
[pid=12863] ppid=12861 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/12863/stat : 12863 (java) R 12861 12863 11294 0 -1 4202496 1042 0 0 0 0 0 0 0 25 0 1 0 878008414 23580672 786 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 47762888694624 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12863/statm: 5757 804 600 9 0 124 0
[pid=12863/tid=12864] ppid=12861 vsize=24004 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12864/stat : 12864 (java) R 12861 12863 11294 0 -1 4202560 12 0 0 0 0 0 0 0 25 0 2 0 878008415 24580096 864 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218905729024 0 0 4096 0 0 0 0 -1 1 0 0 0
[startup+0.039136 s]
/proc/loadavg: 2.09 2.07 2.02 2/195 12863
/proc/meminfo: memFree=30433976/32951124 swapFree=67053156/67111528
[pid=12863] ppid=12861 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/12863/stat : 12863 (java) S 12861 12863 11294 0 -1 4202496 11157 0 1 0 2 1 0 0 25 0 13 0 878008414 10718699520 10854 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917533669 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/12863/statm: 2616870 10854 1653 9 0 2607618 0
[pid=12863/tid=12864] ppid=12861 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/12863/task/12864/stat : 12864 (java) R 12861 12863 11294 0 -1 4202560 10010 0 1 0 2 1 0 0 25 0 13 0 878008415 10718699520 10854 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 47762888898072 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.101128 s]
/proc/loadavg: 2.09 2.07 2.02 2/195 12863
/proc/meminfo: memFree=30433976/32951124 swapFree=67053156/67111528
[pid=12863] ppid=12861 vsize=10539176 CPUtime=0.1 cores=1,3,5,7
/proc/12863/stat : 12863 (java) S 12861 12863 11294 0 -1 4202496 13080 0 1 0 9 1 0 0 25 0 18 0 878008414 10792116224 12777 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12863/statm: 2634794 12778 2092 9 0 2625528 0
[pid=12863/tid=12864] ppid=12861 vsize=10539176 CPUtime=0.08 cores=1,3,5,7
/proc/12863/task/12864/stat : 12864 (java) R 12861 12863 11294 0 -1 4202560 11185 0 1 0 7 1 0 0 25 0 18 0 878008415 10792116224 12779 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 47762888235027 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539176
[startup+0.301055 s]
/proc/loadavg: 2.09 2.07 2.02 2/195 12863
/proc/meminfo: memFree=30433976/32951124 swapFree=67053156/67111528
[pid=12863] ppid=12861 vsize=10539696 CPUtime=0.49 cores=1,3,5,7
/proc/12863/stat : 12863 (java) S 12861 12863 11294 0 -1 4202496 15738 0 1 0 47 2 0 0 25 0 18 0 878008414 10792648704 15050 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12863/statm: 2634924 15051 2210 9 0 2625658 0
[pid=12863/tid=12864] ppid=12861 vsize=10539696 CPUtime=0.28 cores=1,3,5,7
/proc/12863/task/12864/stat : 12864 (java) R 12861 12863 11294 0 -1 4202560 12862 0 1 0 27 1 0 0 25 0 18 0 878008415 10792648704 15051 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 46912505582200 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10539696
[startup+0.700985 s]
/proc/loadavg: 2.09 2.07 2.02 2/195 12863
/proc/meminfo: memFree=30433976/32951124 swapFree=67053156/67111528
[pid=12863] ppid=12861 vsize=10549904 CPUtime=1.66 cores=1,3,5,7
/proc/12863/stat : 12863 (java) S 12861 12863 11294 0 -1 4202496 36967 0 1 0 160 6 0 0 25 0 18 0 878008414 10803101696 31485 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12863/statm: 2637476 31485 2234 9 0 2628210 0
[pid=12863/tid=12864] ppid=12861 vsize=10549904 CPUtime=0.68 cores=1,3,5,7
/proc/12863/task/12864/stat : 12864 (java) R 12861 12863 11294 0 -1 4202560 24568 0 1 0 65 3 0 0 25 0 18 0 878008415 10803101696 31485 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 46912505366054 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10549904
[startup+1.50088 s]
/proc/loadavg: 2.09 2.07 2.02 5/214 12882
/proc/meminfo: memFree=29992340/32951124 swapFree=67053156/67111528
[pid=12863] ppid=12861 vsize=10550932 CPUtime=3.18 cores=1,3,5,7
/proc/12863/stat : 12863 (java) S 12861 12863 11294 0 -1 4202496 62469 0 1 0 309 9 0 0 25 0 19 0 878008414 10804154368 55657 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12863/statm: 2637733 55658 2242 9 0 2628467 0
[pid=12863/tid=12864] ppid=12861 vsize=10550932 CPUtime=1.49 cores=1,3,5,7
/proc/12863/task/12864/stat : 12864 (java) R 12861 12863 11294 0 -1 4202560 48634 0 1 0 143 6 0 0 18 0 19 0 878008415 10804154368 55660 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 46912506252871 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12863/tid=12866] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12866/stat : 12866 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008416 10804154368 55660 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 7 0 0 0
[pid=12863/tid=12867] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12867/stat : 12867 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008416 10804154368 55661 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 7 0 0 0
[pid=12863/tid=12868] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12868/stat : 12868 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008416 10804154368 55662 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 7 0 0 0
[pid=12863/tid=12869] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12869/stat : 12869 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008416 10804154368 55664 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 7 0 0 0
[pid=12863/tid=12870] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12870/stat : 12870 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008416 10804154368 55664 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12871] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12871/stat : 12871 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008416 10804154368 55665 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12872] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12872/stat : 12872 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008416 10804154368 55666 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 7 0 0 0
[pid=12863/tid=12873] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12873/stat : 12873 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 878008416 10804154368 55667 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 7 0 0 0
[pid=12863/tid=12874] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12874/stat : 12874 (java) S 12861 12863 11294 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 878008417 10804154368 55668 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917547520 0 0 0 16800975 18446604471149066368 0 0 -1 7 0 0 0
[pid=12863/tid=12875] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12875/stat : 12875 (java) S 12861 12863 11294 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 878008418 10804154368 55669 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12876] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12876/stat : 12876 (java) S 12861 12863 11294 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878008418 10804154368 55670 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12877] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12877/stat : 12877 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008420 10804154368 55671 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917554609 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12878] ppid=12861 vsize=10550932 CPUtime=0.81 cores=1,3,5,7
/proc/12863/task/12878/stat : 12878 (java) S 12861 12863 11294 0 -1 4202560 7126 0 0 0 81 0 0 0 15 0 19 0 878008420 10804154368 55671 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12879] ppid=12861 vsize=10550932 CPUtime=0.85 cores=1,3,5,7
/proc/12863/task/12879/stat : 12879 (java) S 12861 12863 11294 0 -1 4202560 5552 0 0 0 84 1 0 0 15 0 19 0 878008420 10804154368 55672 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12880] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12880/stat : 12880 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008420 10804154368 55673 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 5 0 0 0
[pid=12863/tid=12881] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12881/stat : 12881 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 878008420 10804154368 55674 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917547520 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12882] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12882/stat : 12882 (java) S 12861 12863 11294 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878008486 10804154368 55675 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917547520 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 10550932
[startup+3.1016 s]
/proc/loadavg: 2.16 2.08 2.03 3/214 12882
/proc/meminfo: memFree=29537784/32951124 swapFree=67053156/67111528
[pid=12863] ppid=12861 vsize=10550932 CPUtime=4.88 cores=1,3,5,7
/proc/12863/stat : 12863 (java) S 12861 12863 11294 0 -1 4202496 111843 0 1 0 474 14 0 0 25 0 19 0 878008414 10804154368 104919 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12863/statm: 2637733 104919 2243 9 0 2628467 0
[pid=12863/tid=12864] ppid=12861 vsize=10550932 CPUtime=3.09 cores=1,3,5,7
/proc/12863/task/12864/stat : 12864 (java) R 12861 12863 11294 0 -1 4202560 97877 0 1 0 298 11 0 0 19 0 19 0 878008415 10804154368 104919 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 46912506055045 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12863/tid=12866] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12866/stat : 12866 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008416 10804154368 104920 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 7 0 0 0
[pid=12863/tid=12867] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12867/stat : 12867 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008416 10804154368 104920 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 7 0 0 0
[pid=12863/tid=12868] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12868/stat : 12868 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008416 10804154368 104920 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 7 0 0 0
[pid=12863/tid=12869] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12869/stat : 12869 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008416 10804154368 104920 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 7 0 0 0
[pid=12863/tid=12870] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12870/stat : 12870 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008416 10804154368 104920 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12871] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12871/stat : 12871 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008416 10804154368 104921 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12872] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12872/stat : 12872 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008416 10804154368 104921 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 7 0 0 0
[pid=12863/tid=12873] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12873/stat : 12873 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 878008416 10804154368 104922 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 7 0 0 0
[pid=12863/tid=12874] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12874/stat : 12874 (java) S 12861 12863 11294 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 878008417 10804154368 104922 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917547520 0 0 0 16800975 18446604471149066368 0 0 -1 7 0 0 0
[pid=12863/tid=12875] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12875/stat : 12875 (java) S 12861 12863 11294 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 878008418 10804154368 104923 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12876] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12876/stat : 12876 (java) S 12861 12863 11294 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878008418 10804154368 104923 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12877] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12877/stat : 12877 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008420 10804154368 104923 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917554609 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12878] ppid=12861 vsize=10550932 CPUtime=0.82 cores=1,3,5,7
/proc/12863/task/12878/stat : 12878 (java) S 12861 12863 11294 0 -1 4202560 7128 0 0 0 82 0 0 0 15 0 19 0 878008420 10804154368 104923 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12879] ppid=12861 vsize=10550932 CPUtime=0.95 cores=1,3,5,7
/proc/12863/task/12879/stat : 12879 (java) S 12861 12863 11294 0 -1 4202560 5678 0 0 0 93 2 0 0 15 0 19 0 878008420 10804154368 104923 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12880] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12880/stat : 12880 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008420 10804154368 104924 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 5 0 0 0
[pid=12863/tid=12881] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12881/stat : 12881 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 878008420 10804154368 104924 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917547520 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12882] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12882/stat : 12882 (java) S 12861 12863 11294 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878008486 10804154368 104924 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917547520 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.88
Current children cumulated vsize (KiB) 10550932
[startup+6.30101 s]
/proc/loadavg: 2.16 2.08 2.03 3/214 12882
/proc/meminfo: memFree=28712884/32951124 swapFree=67053156/67111528
[pid=12863] ppid=12861 vsize=10550932 CPUtime=8.11 cores=1,3,5,7
/proc/12863/stat : 12863 (java) S 12861 12863 11294 0 -1 4202496 199124 0 1 0 787 24 0 0 25 0 19 0 878008414 10804154368 192041 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12863/statm: 2637733 192042 2245 9 0 2628467 0
[pid=12863/tid=12864] ppid=12861 vsize=10550932 CPUtime=6.29 cores=1,3,5,7
/proc/12863/task/12864/stat : 12864 (java) R 12861 12863 11294 0 -1 4202560 185157 0 1 0 608 21 0 0 18 0 19 0 878008415 10804154368 192042 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 46912505578495 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12863/tid=12866] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12866/stat : 12866 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008416 10804154368 192043 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 7 0 0 0
[pid=12863/tid=12867] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12867/stat : 12867 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008416 10804154368 192043 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 7 0 0 0
[pid=12863/tid=12868] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12868/stat : 12868 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008416 10804154368 192044 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 7 0 0 0
[pid=12863/tid=12869] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12869/stat : 12869 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008416 10804154368 192044 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 7 0 0 0
[pid=12863/tid=12870] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12870/stat : 12870 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008416 10804154368 192045 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12871] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12871/stat : 12871 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008416 10804154368 192045 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12872] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12872/stat : 12872 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008416 10804154368 192046 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 7 0 0 0
[pid=12863/tid=12873] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12873/stat : 12873 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 878008416 10804154368 192046 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 7 0 0 0
[pid=12863/tid=12874] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12874/stat : 12874 (java) S 12861 12863 11294 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 878008417 10804154368 192047 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917547520 0 0 0 16800975 18446604471149066368 0 0 -1 7 0 0 0
[pid=12863/tid=12875] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12875/stat : 12875 (java) S 12861 12863 11294 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 878008418 10804154368 192048 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12876] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12876/stat : 12876 (java) S 12861 12863 11294 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878008418 10804154368 192048 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12877] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12877/stat : 12877 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008420 10804154368 192049 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917554609 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12878] ppid=12861 vsize=10550932 CPUtime=0.83 cores=1,3,5,7
/proc/12863/task/12878/stat : 12878 (java) S 12861 12863 11294 0 -1 4202560 7128 0 0 0 83 0 0 0 16 0 19 0 878008420 10804154368 192050 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12879] ppid=12861 vsize=10550932 CPUtime=0.98 cores=1,3,5,7
/proc/12863/task/12879/stat : 12879 (java) S 12861 12863 11294 0 -1 4202560 5679 0 0 0 96 2 0 0 15 0 19 0 878008420 10804154368 192050 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/12863/task/12876/stat : 12876 (java) S 12861 12863 11294 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 878008418 10804154368 1076928 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12877] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12877/stat : 12877 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008420 10804154368 1076928 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917554609 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12878] ppid=12861 vsize=10550932 CPUtime=0.94 cores=1,3,5,7
/proc/12863/task/12878/stat : 12878 (java) S 12861 12863 11294 0 -1 4202560 7146 0 0 0 94 0 0 0 15 0 19 0 878008420 10804154368 1076928 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12879] ppid=12861 vsize=10550932 CPUtime=1.22 cores=1,3,5,7
/proc/12863/task/12879/stat : 12879 (java) S 12861 12863 11294 0 -1 4202560 5811 0 0 0 120 2 0 0 16 0 19 0 878008420 10804154368 1076928 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12880] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12880/stat : 12880 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008420 10804154368 1076928 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 5 0 0 0
[pid=12863/tid=12881] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12881/stat : 12881 (java) S 12861 12863 11294 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 878008420 10804154368 1076928 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917547520 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12882] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12882/stat : 12882 (java) S 12861 12863 11294 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878008486 10804154368 1076928 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917547520 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1672.24
Current children cumulated vsize (KiB) 10550932
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 12931
/proc/meminfo: memFree=23888792/32951124 swapFree=67053156/67111528
[pid=12863] ppid=12861 vsize=10550932 CPUtime=1732.35 cores=1,3,5,7
/proc/12863/stat : 12863 (java) S 12861 12863 11294 0 -1 4202496 1092867 0 1 0 173099 136 0 0 25 0 19 0 878008414 10804154368 1079960 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12863/statm: 2637733 1079960 2271 9 0 2628467 0
[pid=12863/tid=12864] ppid=12861 vsize=10550932 CPUtime=1718.21 cores=1,3,5,7
/proc/12863/task/12864/stat : 12864 (java) R 12861 12863 11294 0 -1 4202560 664643 0 1 0 171743 78 0 0 25 0 19 0 878008415 10804154368 1079960 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 46912506040299 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12863/tid=12866] ppid=12861 vsize=10550932 CPUtime=1.17 cores=1,3,5,7
/proc/12863/task/12866/stat : 12866 (java) S 12861 12863 11294 0 -1 4202560 33733 0 0 0 113 4 0 0 15 0 19 0 878008416 10804154368 1079960 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12867] ppid=12861 vsize=10550932 CPUtime=1.29 cores=1,3,5,7
/proc/12863/task/12867/stat : 12867 (java) S 12861 12863 11294 0 -1 4202560 56454 0 0 0 122 7 0 0 16 0 19 0 878008416 10804154368 1079960 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12868] ppid=12861 vsize=10550932 CPUtime=1.29 cores=1,3,5,7
/proc/12863/task/12868/stat : 12868 (java) S 12861 12863 11294 0 -1 4202560 50738 0 0 0 122 7 0 0 16 0 19 0 878008416 10804154368 1079960 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 5 0 0 0
[pid=12863/tid=12869] ppid=12861 vsize=10550932 CPUtime=1.44 cores=1,3,5,7
/proc/12863/task/12869/stat : 12869 (java) S 12861 12863 11294 0 -1 4202560 65370 0 0 0 136 8 0 0 15 0 19 0 878008416 10804154368 1079960 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 5 0 0 0
[pid=12863/tid=12870] ppid=12861 vsize=10550932 CPUtime=1.41 cores=1,3,5,7
/proc/12863/task/12870/stat : 12870 (java) S 12861 12863 11294 0 -1 4202560 60391 0 0 0 133 8 0 0 16 0 19 0 878008416 10804154368 1079960 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12871] ppid=12861 vsize=10550932 CPUtime=1.39 cores=1,3,5,7
/proc/12863/task/12871/stat : 12871 (java) S 12861 12863 11294 0 -1 4202560 48732 0 0 0 134 5 0 0 16 0 19 0 878008416 10804154368 1079960 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 7 0 0 0
[pid=12863/tid=12872] ppid=12861 vsize=10550932 CPUtime=1.39 cores=1,3,5,7
/proc/12863/task/12872/stat : 12872 (java) S 12861 12863 11294 0 -1 4202560 58580 0 0 0 132 7 0 0 15 0 19 0 878008416 10804154368 1079960 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12873] ppid=12861 vsize=10550932 CPUtime=1.06 cores=1,3,5,7
/proc/12863/task/12873/stat : 12873 (java) S 12861 12863 11294 0 -1 4202560 39495 0 0 0 102 4 0 0 15 0 19 0 878008416 10804154368 1079960 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 5 0 0 0
[pid=12863/tid=12874] ppid=12861 vsize=10550932 CPUtime=1.43 cores=1,3,5,7
/proc/12863/task/12874/stat : 12874 (java) S 12861 12863 11294 0 -1 4202560 521 0 0 0 143 0 0 0 15 0 19 0 878008417 10804154368 1079960 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917547520 0 0 0 16800975 18446604471149066368 0 0 -1 5 0 0 0
[pid=12863/tid=12875] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12875/stat : 12875 (java) S 12861 12863 11294 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878008418 10804154368 1079960 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12876] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12876/stat : 12876 (java) S 12861 12863 11294 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 878008418 10804154368 1079960 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12877] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12877/stat : 12877 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008420 10804154368 1079960 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917554609 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12878] ppid=12861 vsize=10550932 CPUtime=0.94 cores=1,3,5,7
/proc/12863/task/12878/stat : 12878 (java) S 12861 12863 11294 0 -1 4202560 7146 0 0 0 94 0 0 0 15 0 19 0 878008420 10804154368 1079960 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12879] ppid=12861 vsize=10550932 CPUtime=1.22 cores=1,3,5,7
/proc/12863/task/12879/stat : 12879 (java) S 12861 12863 11294 0 -1 4202560 5811 0 0 0 120 2 0 0 16 0 19 0 878008420 10804154368 1079960 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12880] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12880/stat : 12880 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008420 10804154368 1079960 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 5 0 0 0
[pid=12863/tid=12881] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12881/stat : 12881 (java) S 12861 12863 11294 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 878008420 10804154368 1079960 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917547520 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12882] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12882/stat : 12882 (java) S 12861 12863 11294 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878008486 10804154368 1079960 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917547520 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1732.35
Current children cumulated vsize (KiB) 10550932
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 12932
/proc/meminfo: memFree=23881060/32951124 swapFree=67053156/67111528
[pid=12863] ppid=12861 vsize=10550932 CPUtime=1792.45 cores=1,3,5,7
/proc/12863/stat : 12863 (java) S 12861 12863 11294 0 -1 4202496 1094580 0 1 0 179109 136 0 0 25 0 19 0 878008414 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12863/statm: 2637733 1081632 2271 9 0 2628467 0
[pid=12863/tid=12864] ppid=12861 vsize=10550932 CPUtime=1778.18 cores=1,3,5,7
/proc/12863/task/12864/stat : 12864 (java) R 12861 12863 11294 0 -1 4202560 664644 0 1 0 177740 78 0 0 25 0 19 0 878008415 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 46912506040160 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12863/tid=12866] ppid=12861 vsize=10550932 CPUtime=1.17 cores=1,3,5,7
/proc/12863/task/12866/stat : 12866 (java) S 12861 12863 11294 0 -1 4202560 33733 0 0 0 113 4 0 0 15 0 19 0 878008416 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12867] ppid=12861 vsize=10550932 CPUtime=1.31 cores=1,3,5,7
/proc/12863/task/12867/stat : 12867 (java) S 12861 12863 11294 0 -1 4202560 56636 0 0 0 124 7 0 0 16 0 19 0 878008416 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12868] ppid=12861 vsize=10550932 CPUtime=1.32 cores=1,3,5,7
/proc/12863/task/12868/stat : 12868 (java) S 12861 12863 11294 0 -1 4202560 51374 0 0 0 125 7 0 0 16 0 19 0 878008416 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 5 0 0 0
[pid=12863/tid=12869] ppid=12861 vsize=10550932 CPUtime=1.44 cores=1,3,5,7
/proc/12863/task/12869/stat : 12869 (java) S 12861 12863 11294 0 -1 4202560 65370 0 0 0 136 8 0 0 15 0 19 0 878008416 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 5 0 0 0
[pid=12863/tid=12870] ppid=12861 vsize=10550932 CPUtime=1.43 cores=1,3,5,7
/proc/12863/task/12870/stat : 12870 (java) S 12861 12863 11294 0 -1 4202560 60425 0 0 0 135 8 0 0 16 0 19 0 878008416 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12871] ppid=12861 vsize=10550932 CPUtime=1.42 cores=1,3,5,7
/proc/12863/task/12871/stat : 12871 (java) S 12861 12863 11294 0 -1 4202560 48972 0 0 0 137 5 0 0 16 0 19 0 878008416 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12872] ppid=12861 vsize=10550932 CPUtime=1.42 cores=1,3,5,7
/proc/12863/task/12872/stat : 12872 (java) S 12861 12863 11294 0 -1 4202560 59196 0 0 0 135 7 0 0 16 0 19 0 878008416 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12873] ppid=12861 vsize=10550932 CPUtime=1.06 cores=1,3,5,7
/proc/12863/task/12873/stat : 12873 (java) S 12861 12863 11294 0 -1 4202560 39495 0 0 0 102 4 0 0 15 0 19 0 878008416 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 5 0 0 0
[pid=12863/tid=12874] ppid=12861 vsize=10550932 CPUtime=1.43 cores=1,3,5,7
/proc/12863/task/12874/stat : 12874 (java) S 12861 12863 11294 0 -1 4202560 523 0 0 0 143 0 0 0 15 0 19 0 878008417 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917547520 0 0 0 16800975 18446604471149066368 0 0 -1 5 0 0 0
[pid=12863/tid=12875] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12875/stat : 12875 (java) S 12861 12863 11294 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878008418 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12876] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12876/stat : 12876 (java) S 12861 12863 11294 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 878008418 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12877] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12877/stat : 12877 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008420 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917554609 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12878] ppid=12861 vsize=10550932 CPUtime=0.94 cores=1,3,5,7
/proc/12863/task/12878/stat : 12878 (java) S 12861 12863 11294 0 -1 4202560 7146 0 0 0 94 0 0 0 15 0 19 0 878008420 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12879] ppid=12861 vsize=10550932 CPUtime=1.22 cores=1,3,5,7
/proc/12863/task/12879/stat : 12879 (java) S 12861 12863 11294 0 -1 4202560 5811 0 0 0 120 2 0 0 16 0 19 0 878008420 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12880] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12880/stat : 12880 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008420 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 5 0 0 0
[pid=12863/tid=12881] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12881/stat : 12881 (java) S 12861 12863 11294 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 878008420 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917547520 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12882] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12882/stat : 12882 (java) S 12861 12863 11294 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878008486 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917547520 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1792.45
Current children cumulated vsize (KiB) 10550932
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 2.00 2/194 12935
/proc/meminfo: memFree=27693336/32951124 swapFree=67053156/67111528
[pid=12863] ppid=12861 vsize=10550932 CPUtime=1800.06 cores=1,3,5,7
/proc/12863/stat : 12863 (java) S 12861 12863 11294 0 -1 4202496 1094580 0 1 0 179870 136 0 0 25 0 19 0 878008414 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12863/statm: 2637733 1081632 2271 9 0 2628467 0
[pid=12863/tid=12864] ppid=12861 vsize=10550932 CPUtime=1785.78 cores=1,3,5,7
/proc/12863/task/12864/stat : 12864 (java) R 12861 12863 11294 0 -1 4202560 664644 0 1 0 178500 78 0 0 25 0 19 0 878008415 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 46912506054816 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12863/tid=12866] ppid=12861 vsize=10550932 CPUtime=1.17 cores=1,3,5,7
/proc/12863/task/12866/stat : 12866 (java) S 12861 12863 11294 0 -1 4202560 33733 0 0 0 113 4 0 0 15 0 19 0 878008416 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12867] ppid=12861 vsize=10550932 CPUtime=1.31 cores=1,3,5,7
/proc/12863/task/12867/stat : 12867 (java) S 12861 12863 11294 0 -1 4202560 56636 0 0 0 124 7 0 0 16 0 19 0 878008416 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12868] ppid=12861 vsize=10550932 CPUtime=1.32 cores=1,3,5,7
/proc/12863/task/12868/stat : 12868 (java) S 12861 12863 11294 0 -1 4202560 51374 0 0 0 125 7 0 0 16 0 19 0 878008416 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 5 0 0 0
[pid=12863/tid=12869] ppid=12861 vsize=10550932 CPUtime=1.44 cores=1,3,5,7
/proc/12863/task/12869/stat : 12869 (java) S 12861 12863 11294 0 -1 4202560 65370 0 0 0 136 8 0 0 15 0 19 0 878008416 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 5 0 0 0
[pid=12863/tid=12870] ppid=12861 vsize=10550932 CPUtime=1.43 cores=1,3,5,7
/proc/12863/task/12870/stat : 12870 (java) S 12861 12863 11294 0 -1 4202560 60425 0 0 0 135 8 0 0 16 0 19 0 878008416 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12871] ppid=12861 vsize=10550932 CPUtime=1.42 cores=1,3,5,7
/proc/12863/task/12871/stat : 12871 (java) S 12861 12863 11294 0 -1 4202560 48972 0 0 0 137 5 0 0 16 0 19 0 878008416 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12872] ppid=12861 vsize=10550932 CPUtime=1.42 cores=1,3,5,7
/proc/12863/task/12872/stat : 12872 (java) S 12861 12863 11294 0 -1 4202560 59196 0 0 0 135 7 0 0 16 0 19 0 878008416 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12873] ppid=12861 vsize=10550932 CPUtime=1.06 cores=1,3,5,7
/proc/12863/task/12873/stat : 12873 (java) S 12861 12863 11294 0 -1 4202560 39495 0 0 0 102 4 0 0 15 0 19 0 878008416 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 5 0 0 0
[pid=12863/tid=12874] ppid=12861 vsize=10550932 CPUtime=1.43 cores=1,3,5,7
/proc/12863/task/12874/stat : 12874 (java) S 12861 12863 11294 0 -1 4202560 523 0 0 0 143 0 0 0 15 0 19 0 878008417 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917547520 0 0 0 16800975 18446604471149066368 0 0 -1 5 0 0 0
[pid=12863/tid=12875] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12875/stat : 12875 (java) S 12861 12863 11294 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 878008418 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12876] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12876/stat : 12876 (java) S 12861 12863 11294 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 878008418 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12877] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12877/stat : 12877 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008420 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917554609 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12878] ppid=12861 vsize=10550932 CPUtime=0.94 cores=1,3,5,7
/proc/12863/task/12878/stat : 12878 (java) S 12861 12863 11294 0 -1 4202560 7146 0 0 0 94 0 0 0 15 0 19 0 878008420 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 1 0 0 0
[pid=12863/tid=12879] ppid=12861 vsize=10550932 CPUtime=1.22 cores=1,3,5,7
/proc/12863/task/12879/stat : 12879 (java) S 12861 12863 11294 0 -1 4202560 5811 0 0 0 120 2 0 0 16 0 19 0 878008420 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12880] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12880/stat : 12880 (java) S 12861 12863 11294 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 878008420 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917546905 0 4 0 16800975 18446604471149066368 0 0 -1 5 0 0 0
[pid=12863/tid=12881] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12881/stat : 12881 (java) S 12861 12863 11294 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 878008420 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917547520 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
[pid=12863/tid=12882] ppid=12861 vsize=10550932 CPUtime=0 cores=1,3,5,7
/proc/12863/task/12882/stat : 12882 (java) S 12861 12863 11294 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 878008486 10804154368 1081632 33554432000 1073741824 1073778376 140734988235680 18446744073709551615 218917547520 0 4 0 16800975 18446604471149066368 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10550932
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1790.01 s]
/proc/loadavg: 2.00 2.00 2.00 2/194 12935
/proc/meminfo: memFree=27693336/32951124 swapFree=67053156/67111528
[pid=12863] ppid=12861 vsize=0 CPUtime=1800.18 cores=1,3,5,7
/proc/12863/stat : 12863 (java) Z 12861 12863 11294 0 -1 4203548 1094612 0 1 0 179873 145 0 0 17 0 2 0 878008414 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/12863/statm: 0 0 0 0 0 0 0
[pid=12863/tid=12864] ppid=12861 vsize=0 CPUtime=1785.89 cores=1,3,5,7
/proc/12863/task/12864/stat : 12864 (java) R 12861 12863 11294 0 -1 4203588 664644 0 1 0 178502 87 0 0 25 0 2 0 878008415 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1790.08
CPU time (s): 1800.25
CPU user time (s): 1798.74
CPU system time (s): 1.51477
CPU usage (%): 100.568
Max. virtual memory (cumulated for all children) (KiB): 10553704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.74
system time used= 1.51477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1094612
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= 37710
involuntary context switches= 28524
runsolver used 2.93855 second user time and 6.84896 second system time
The end