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-3455948-1307225558/watcher-3455948-1307225558 -o /tmp/evaluation-result-3455948-1307225558/solver-3455948-1307225558 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455948-1307225558.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.01 2.04 2.00 2/418 18176
/proc/meminfo: memFree=28578504/32950904 swapFree=56615552/67111528
[pid=18176] ppid=18174 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18176/stat : 18176 (java) S 18174 18176 15661 0 -1 4202496 4093 0 1 0 0 0 0 0 25 0 2 0 834155572 10694979584 3795 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/18176/statm: 2611079 3808 917 9 0 2602235 0
[pid=18176/tid=18177] ppid=18174 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18177/stat : 18177 (java) R 18174 18176 15661 0 -1 4202560 5083 0 1 0 0 0 0 0 25 0 2 0 834155572 10694979584 5899 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0394709 s]
/proc/loadavg: 2.01 2.04 2.00 2/418 18176
/proc/meminfo: memFree=28578504/32950904 swapFree=56615552/67111528
[pid=18176] ppid=18174 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/18176/stat : 18176 (java) S 18174 18176 15661 0 -1 4202496 11197 0 1 0 2 1 0 0 25 0 13 0 834155572 10718699520 10894 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/18176/statm: 2616870 10895 1660 9 0 2607618 0
[pid=18176/tid=18177] ppid=18174 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/18176/task/18177/stat : 18177 (java) R 18174 18176 15661 0 -1 4202560 10052 0 1 0 2 1 0 0 25 0 13 0 834155572 10718699520 10896 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 47131201955859 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100462 s]
/proc/loadavg: 2.01 2.04 2.00 2/418 18176
/proc/meminfo: memFree=28578504/32950904 swapFree=56615552/67111528
[pid=18176] ppid=18174 vsize=10539596 CPUtime=0.1 cores=1,3,5,7
/proc/18176/stat : 18176 (java) S 18174 18176 15661 0 -1 4202496 12940 0 1 0 9 1 0 0 25 0 18 0 834155572 10792546304 12637 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18176/statm: 2634899 12637 2093 9 0 2625633 0
[pid=18176/tid=18177] ppid=18174 vsize=10539596 CPUtime=0.08 cores=1,3,5,7
/proc/18176/task/18177/stat : 18177 (java) R 18174 18176 15661 0 -1 4202560 11194 0 1 0 7 1 0 0 25 0 18 0 834155572 10792546304 12638 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 47131204053812 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) 10539596
[startup+0.300428 s]
/proc/loadavg: 2.01 2.04 2.00 2/418 18176
/proc/meminfo: memFree=28578504/32950904 swapFree=56615552/67111528
[pid=18176] ppid=18174 vsize=10543152 CPUtime=0.51 cores=1,3,5,7
/proc/18176/stat : 18176 (java) S 18174 18176 15661 0 -1 4202496 17512 0 1 0 49 2 0 0 25 0 19 0 834155572 10796187648 15953 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18176/statm: 2635788 15953 2201 9 0 2626522 0
[pid=18176/tid=18177] ppid=18174 vsize=10543152 CPUtime=0.28 cores=1,3,5,7
/proc/18176/task/18177/stat : 18177 (java) R 18174 18176 15661 0 -1 4202560 12852 0 1 0 27 1 0 0 25 0 19 0 834155572 10796187648 15953 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 47131204053843 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10543152
[startup+0.700357 s]
/proc/loadavg: 2.01 2.04 2.00 2/418 18176
/proc/meminfo: memFree=28578504/32950904 swapFree=56615552/67111528
[pid=18176] ppid=18174 vsize=10552640 CPUtime=1.65 cores=1,3,5,7
/proc/18176/stat : 18176 (java) S 18174 18176 15661 0 -1 4202496 41818 0 1 0 160 5 0 0 25 0 19 0 834155572 10805903360 37842 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18176/statm: 2638160 37842 2223 9 0 2628894 0
[pid=18176/tid=18177] ppid=18174 vsize=10552640 CPUtime=0.68 cores=1,3,5,7
/proc/18176/task/18177/stat : 18177 (java) R 18174 18176 15661 0 -1 4202560 29778 0 1 0 65 3 0 0 25 0 19 0 834155572 10805903360 37842 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 46912505366018 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10552640
[startup+1.50128 s]
/proc/loadavg: 2.01 2.04 2.00 3/437 18195
/proc/meminfo: memFree=27912660/32950904 swapFree=56615552/67111528
[pid=18176] ppid=18174 vsize=10552640 CPUtime=2.68 cores=1,3,5,7
/proc/18176/stat : 18176 (java) S 18174 18176 15661 0 -1 4202496 123540 0 1 0 253 15 0 0 25 0 19 0 834155572 10805903360 119132 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18176/statm: 2638160 119137 2226 9 0 2628894 0
[pid=18176/tid=18177] ppid=18174 vsize=10552640 CPUtime=1.48 cores=1,3,5,7
/proc/18176/task/18177/stat : 18177 (java) R 18174 18176 15661 0 -1 4202560 111467 0 1 0 135 13 0 0 25 0 19 0 834155572 10805903360 119138 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 46912505541675 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18176/tid=18179] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18179/stat : 18179 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 119140 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18180] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18180/stat : 18180 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 119142 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18181] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18181/stat : 18181 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 119143 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18182] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18182/stat : 18182 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 119146 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18183] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18183/stat : 18183 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 119148 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18184] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18184/stat : 18184 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 119151 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18185] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18185/stat : 18185 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 119153 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18186] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18186/stat : 18186 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 119156 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18187] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18187/stat : 18187 (java) S 18174 18176 15661 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834155575 10805903360 119158 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290696192 0 0 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18188] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18188/stat : 18188 (java) S 18174 18176 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834155575 10805903360 119161 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18189] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18189/stat : 18189 (java) S 18174 18176 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834155575 10805903360 119164 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18190] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18190/stat : 18190 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155577 10805903360 119166 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290703281 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18191] ppid=18174 vsize=10552640 CPUtime=0.64 cores=1,3,5,7
/proc/18176/task/18191/stat : 18191 (java) S 18174 18176 15661 0 -1 4202560 6130 0 0 0 63 1 0 0 20 0 19 0 834155577 10805903360 119169 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18192] ppid=18174 vsize=10552640 CPUtime=0.54 cores=1,3,5,7
/proc/18176/task/18192/stat : 18192 (java) S 18174 18176 15661 0 -1 4202560 4789 0 0 0 54 0 0 0 25 0 19 0 834155577 10805903360 119172 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 3 0 0 0
[pid=18176/tid=18193] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18193/stat : 18193 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155577 10805903360 119174 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18194] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18194/stat : 18194 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834155577 10805903360 119176 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290696192 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18195] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18195/stat : 18195 (java) S 18174 18176 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834155592 10805903360 119179 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290696192 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 10552640
[startup+3.10093 s]
/proc/loadavg: 2.01 2.04 2.00 3/437 18195
/proc/meminfo: memFree=26996548/32950904 swapFree=56615552/67111528
[pid=18176] ppid=18174 vsize=10552640 CPUtime=4.3 cores=1,3,5,7
/proc/18176/stat : 18176 (java) S 18174 18176 15661 0 -1 4202496 290692 0 1 0 396 34 0 0 25 0 19 0 834155572 10805903360 286284 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18176/statm: 2638160 286288 2226 9 0 2628894 0
[pid=18176/tid=18177] ppid=18174 vsize=10552640 CPUtime=3.08 cores=1,3,5,7
/proc/18176/task/18177/stat : 18177 (java) R 18174 18176 15661 0 -1 4202560 278618 0 1 0 276 32 0 0 25 0 19 0 834155572 10805903360 286290 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 46912505554888 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18176/tid=18179] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18179/stat : 18179 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 286293 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18180] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18180/stat : 18180 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 286295 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18181] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18181/stat : 18181 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 286298 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18182] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18182/stat : 18182 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 286301 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18183] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18183/stat : 18183 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 286303 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18184] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18184/stat : 18184 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 286305 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18185] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18185/stat : 18185 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 286307 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18186] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18186/stat : 18186 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 286310 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18187] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18187/stat : 18187 (java) S 18174 18176 15661 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834155575 10805903360 286312 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290696192 0 0 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18188] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18188/stat : 18188 (java) S 18174 18176 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834155575 10805903360 286314 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18189] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18189/stat : 18189 (java) S 18174 18176 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834155575 10805903360 286317 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18190] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18190/stat : 18190 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155577 10805903360 286319 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290703281 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18191] ppid=18174 vsize=10552640 CPUtime=0.66 cores=1,3,5,7
/proc/18176/task/18191/stat : 18191 (java) S 18174 18176 15661 0 -1 4202560 6132 0 0 0 65 1 0 0 17 0 19 0 834155577 10805903360 286322 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18192] ppid=18174 vsize=10552640 CPUtime=0.54 cores=1,3,5,7
/proc/18176/task/18192/stat : 18192 (java) S 18174 18176 15661 0 -1 4202560 4789 0 0 0 54 0 0 0 17 0 19 0 834155577 10805903360 286324 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 3 0 0 0
[pid=18176/tid=18193] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18193/stat : 18193 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155577 10805903360 286327 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18194] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18194/stat : 18194 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834155577 10805903360 286329 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290696192 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18195] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18195/stat : 18195 (java) S 18174 18176 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834155592 10805903360 286332 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290696192 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 10552640
[startup+6.30138 s]
/proc/loadavg: 2.01 2.04 2.00 3/437 18196
/proc/meminfo: memFree=25679660/32950904 swapFree=56615552/67111528
[pid=18176] ppid=18174 vsize=10552640 CPUtime=7.5 cores=1,3,5,7
/proc/18176/stat : 18176 (java) S 18174 18176 15661 0 -1 4202496 597304 0 1 0 684 66 0 0 25 0 19 0 834155572 10805903360 592553 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18176/statm: 2638160 592557 2227 9 0 2628894 0
[pid=18176/tid=18177] ppid=18174 vsize=10552640 CPUtime=6.29 cores=1,3,5,7
/proc/18176/task/18177/stat : 18177 (java) R 18174 18176 15661 0 -1 4202560 585227 0 1 0 564 65 0 0 25 0 19 0 834155572 10805903360 592558 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 46912505554595 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18176/tid=18179] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18179/stat : 18179 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 592560 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18180] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18180/stat : 18180 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 592562 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18181] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18181/stat : 18181 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 592565 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18182] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18182/stat : 18182 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 592567 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18183] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18183/stat : 18183 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 592569 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18184] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18184/stat : 18184 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 592571 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18185] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18185/stat : 18185 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 592573 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18186] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18186/stat : 18186 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155574 10805903360 592575 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18187] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18187/stat : 18187 (java) S 18174 18176 15661 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 834155575 10805903360 592577 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290696192 0 0 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18188] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18188/stat : 18188 (java) S 18174 18176 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834155575 10805903360 592579 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18189] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18189/stat : 18189 (java) S 18174 18176 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834155575 10805903360 592581 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18190] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18190/stat : 18190 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155577 10805903360 592584 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290703281 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18191] ppid=18174 vsize=10552640 CPUtime=0.66 cores=1,3,5,7
/proc/18176/task/18191/stat : 18191 (java) S 18174 18176 15661 0 -1 4202560 6132 0 0 0 65 1 0 0 17 0 19 0 834155577 10805903360 592585 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18192] ppid=18174 vsize=10552640 CPUtime=0.54 cores=1,3,5,7
/proc/18176/task/18192/stat : 18192 (java) S 18174 18176 15661 0 -1 4202560 4789 0 0 0 54 0 0 0 15 0 19 0 834155577 10805903360 592588 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/18176/task/18188/stat : 18188 (java) S 18174 18176 15661 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834155575 10805903360 961243 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18189] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18189/stat : 18189 (java) S 18174 18176 15661 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834155575 10805903360 961243 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18190] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18190/stat : 18190 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155577 10805903360 961243 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290703281 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18191] ppid=18174 vsize=10552640 CPUtime=0.7 cores=1,3,5,7
/proc/18176/task/18191/stat : 18191 (java) S 18174 18176 15661 0 -1 4202560 6146 0 0 0 69 1 0 0 15 0 19 0 834155577 10805903360 961243 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18192] ppid=18174 vsize=10552640 CPUtime=0.74 cores=1,3,5,7
/proc/18176/task/18192/stat : 18192 (java) S 18174 18176 15661 0 -1 4202560 4835 0 0 0 74 0 0 0 15 0 19 0 834155577 10805903360 961243 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 3 0 0 0
[pid=18176/tid=18193] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18193/stat : 18193 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155577 10805903360 961243 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18194] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18194/stat : 18194 (java) S 18174 18176 15661 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 834155577 10805903360 961243 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290696192 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18195] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18195/stat : 18195 (java) S 18174 18176 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834155592 10805903360 961243 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290696192 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1668.39
Current children cumulated vsize (KiB) 10552640
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 18241
/proc/meminfo: memFree=22310448/32950904 swapFree=56615552/67111528
[pid=18176] ppid=18174 vsize=10552640 CPUtime=1728.59 cores=1,3,5,7
/proc/18176/stat : 18176 (java) S 18174 18176 15661 0 -1 4202496 969081 0 1 0 172748 111 0 0 25 0 19 0 834155572 10805903360 962225 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18176/statm: 2638160 962225 2257 9 0 2628894 0
[pid=18176/tid=18177] ppid=18174 vsize=10552640 CPUtime=1717.88 cores=1,3,5,7
/proc/18176/task/18177/stat : 18177 (java) R 18174 18176 15661 0 -1 4202560 832458 0 1 0 171698 90 0 0 25 0 19 0 834155572 10805903360 962225 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 46912505862065 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18176/tid=18179] ppid=18174 vsize=10552640 CPUtime=0.94 cores=1,3,5,7
/proc/18176/task/18179/stat : 18179 (java) S 18174 18176 15661 0 -1 4202560 14421 0 0 0 92 2 0 0 16 0 19 0 834155574 10805903360 962225 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18180] ppid=18174 vsize=10552640 CPUtime=0.89 cores=1,3,5,7
/proc/18176/task/18180/stat : 18180 (java) S 18174 18176 15661 0 -1 4202560 13915 0 0 0 88 1 0 0 15 0 19 0 834155574 10805903360 962225 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 1 0 0 0
[pid=18176/tid=18181] ppid=18174 vsize=10552640 CPUtime=0.96 cores=1,3,5,7
/proc/18176/task/18181/stat : 18181 (java) S 18174 18176 15661 0 -1 4202560 13695 0 0 0 94 2 0 0 15 0 19 0 834155574 10805903360 962225 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18182] ppid=18174 vsize=10552640 CPUtime=0.86 cores=1,3,5,7
/proc/18176/task/18182/stat : 18182 (java) S 18174 18176 15661 0 -1 4202560 15206 0 0 0 84 2 0 0 16 0 19 0 834155574 10805903360 962225 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 1 0 0 0
[pid=18176/tid=18183] ppid=18174 vsize=10552640 CPUtime=0.91 cores=1,3,5,7
/proc/18176/task/18183/stat : 18183 (java) S 18174 18176 15661 0 -1 4202560 16690 0 0 0 89 2 0 0 15 0 19 0 834155574 10805903360 962225 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 3 0 0 0
[pid=18176/tid=18184] ppid=18174 vsize=10552640 CPUtime=0.95 cores=1,3,5,7
/proc/18176/task/18184/stat : 18184 (java) S 18174 18176 15661 0 -1 4202560 15058 0 0 0 94 1 0 0 16 0 19 0 834155574 10805903360 962225 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 3 0 0 0
[pid=18176/tid=18185] ppid=18174 vsize=10552640 CPUtime=0.83 cores=1,3,5,7
/proc/18176/task/18185/stat : 18185 (java) S 18174 18176 15661 0 -1 4202560 13606 0 0 0 82 1 0 0 15 0 19 0 834155574 10805903360 962225 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18186] ppid=18174 vsize=10552640 CPUtime=0.86 cores=1,3,5,7
/proc/18176/task/18186/stat : 18186 (java) S 18174 18176 15661 0 -1 4202560 10607 0 0 0 85 1 0 0 16 0 19 0 834155574 10805903360 962225 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18187] ppid=18174 vsize=10552640 CPUtime=1.94 cores=1,3,5,7
/proc/18176/task/18187/stat : 18187 (java) S 18174 18176 15661 0 -1 4202560 11195 0 0 0 193 1 0 0 16 0 19 0 834155575 10805903360 962225 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290696192 0 0 0 16800975 18446604468344308096 0 0 -1 3 0 0 0
[pid=18176/tid=18188] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18188/stat : 18188 (java) S 18174 18176 15661 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834155575 10805903360 962225 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18189] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18189/stat : 18189 (java) S 18174 18176 15661 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834155575 10805903360 962225 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18190] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18190/stat : 18190 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155577 10805903360 962225 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290703281 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18191] ppid=18174 vsize=10552640 CPUtime=0.7 cores=1,3,5,7
/proc/18176/task/18191/stat : 18191 (java) S 18174 18176 15661 0 -1 4202560 6146 0 0 0 69 1 0 0 15 0 19 0 834155577 10805903360 962225 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18192] ppid=18174 vsize=10552640 CPUtime=0.74 cores=1,3,5,7
/proc/18176/task/18192/stat : 18192 (java) S 18174 18176 15661 0 -1 4202560 4835 0 0 0 74 0 0 0 15 0 19 0 834155577 10805903360 962225 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 3 0 0 0
[pid=18176/tid=18193] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18193/stat : 18193 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155577 10805903360 962225 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18194] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18194/stat : 18194 (java) S 18174 18176 15661 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 834155577 10805903360 962225 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290696192 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18195] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18195/stat : 18195 (java) S 18174 18176 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834155592 10805903360 962225 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290696192 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728.59
Current children cumulated vsize (KiB) 10552640
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 18243
/proc/meminfo: memFree=22297040/32950904 swapFree=56615552/67111528
[pid=18176] ppid=18174 vsize=10552640 CPUtime=1788.74 cores=1,3,5,7
/proc/18176/stat : 18176 (java) S 18174 18176 15661 0 -1 4202496 969771 0 1 0 178763 111 0 0 25 0 19 0 834155572 10805903360 962901 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18176/statm: 2638160 962901 2257 9 0 2628894 0
[pid=18176/tid=18177] ppid=18174 vsize=10552640 CPUtime=1777.82 cores=1,3,5,7
/proc/18176/task/18177/stat : 18177 (java) R 18174 18176 15661 0 -1 4202560 832462 0 1 0 177692 90 0 0 25 0 19 0 834155572 10805903360 962901 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 46912505541533 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18176/tid=18179] ppid=18174 vsize=10552640 CPUtime=0.94 cores=1,3,5,7
/proc/18176/task/18179/stat : 18179 (java) S 18174 18176 15661 0 -1 4202560 14421 0 0 0 92 2 0 0 15 0 19 0 834155574 10805903360 962901 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18180] ppid=18174 vsize=10552640 CPUtime=0.95 cores=1,3,5,7
/proc/18176/task/18180/stat : 18180 (java) S 18174 18176 15661 0 -1 4202560 14073 0 0 0 94 1 0 0 16 0 19 0 834155574 10805903360 962901 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 1 0 0 0
[pid=18176/tid=18181] ppid=18174 vsize=10552640 CPUtime=1 cores=1,3,5,7
/proc/18176/task/18181/stat : 18181 (java) S 18174 18176 15661 0 -1 4202560 13859 0 0 0 98 2 0 0 15 0 19 0 834155574 10805903360 962901 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18182] ppid=18174 vsize=10552640 CPUtime=0.88 cores=1,3,5,7
/proc/18176/task/18182/stat : 18182 (java) S 18174 18176 15661 0 -1 4202560 15265 0 0 0 86 2 0 0 16 0 19 0 834155574 10805903360 962901 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 3 0 0 0
[pid=18176/tid=18183] ppid=18174 vsize=10552640 CPUtime=0.93 cores=1,3,5,7
/proc/18176/task/18183/stat : 18183 (java) S 18174 18176 15661 0 -1 4202560 16695 0 0 0 91 2 0 0 16 0 19 0 834155574 10805903360 962901 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18184] ppid=18174 vsize=10552640 CPUtime=0.98 cores=1,3,5,7
/proc/18176/task/18184/stat : 18184 (java) S 18174 18176 15661 0 -1 4202560 15107 0 0 0 97 1 0 0 15 0 19 0 834155574 10805903360 962901 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 3 0 0 0
[pid=18176/tid=18185] ppid=18174 vsize=10552640 CPUtime=0.84 cores=1,3,5,7
/proc/18176/task/18185/stat : 18185 (java) S 18174 18176 15661 0 -1 4202560 13673 0 0 0 83 1 0 0 16 0 19 0 834155574 10805903360 962901 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18186] ppid=18174 vsize=10552640 CPUtime=0.88 cores=1,3,5,7
/proc/18176/task/18186/stat : 18186 (java) S 18174 18176 15661 0 -1 4202560 10785 0 0 0 87 1 0 0 15 0 19 0 834155574 10805903360 962901 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18187] ppid=18174 vsize=10552640 CPUtime=1.94 cores=1,3,5,7
/proc/18176/task/18187/stat : 18187 (java) S 18174 18176 15661 0 -1 4202560 11197 0 0 0 193 1 0 0 15 0 19 0 834155575 10805903360 962901 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290696192 0 0 0 16800975 18446604468344308096 0 0 -1 3 0 0 0
[pid=18176/tid=18188] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18188/stat : 18188 (java) S 18174 18176 15661 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834155575 10805903360 962901 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18189] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18189/stat : 18189 (java) S 18174 18176 15661 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834155575 10805903360 962901 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18190] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18190/stat : 18190 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155577 10805903360 962901 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290703281 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18191] ppid=18174 vsize=10552640 CPUtime=0.7 cores=1,3,5,7
/proc/18176/task/18191/stat : 18191 (java) S 18174 18176 15661 0 -1 4202560 6146 0 0 0 69 1 0 0 15 0 19 0 834155577 10805903360 962901 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18192] ppid=18174 vsize=10552640 CPUtime=0.74 cores=1,3,5,7
/proc/18176/task/18192/stat : 18192 (java) S 18174 18176 15661 0 -1 4202560 4835 0 0 0 74 0 0 0 15 0 19 0 834155577 10805903360 962901 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 3 0 0 0
[pid=18176/tid=18193] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18193/stat : 18193 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155577 10805903360 962901 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18194] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18194/stat : 18194 (java) S 18174 18176 15661 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834155577 10805903360 962901 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290696192 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18195] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18195/stat : 18195 (java) S 18174 18176 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834155592 10805903360 962901 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290696192 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 10552640
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 18291
/proc/meminfo: memFree=25927032/32950904 swapFree=56615552/67111528
[pid=18176] ppid=18174 vsize=10552640 CPUtime=1800.08 cores=1,3,5,7
/proc/18176/stat : 18176 (java) S 18174 18176 15661 0 -1 4202496 969935 0 1 0 179897 111 0 0 25 0 19 0 834155572 10805903360 963062 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18176/statm: 2638160 963062 2257 9 0 2628894 0
[pid=18176/tid=18177] ppid=18174 vsize=10552640 CPUtime=1789.12 cores=1,3,5,7
/proc/18176/task/18177/stat : 18177 (java) R 18174 18176 15661 0 -1 4202560 832463 0 1 0 178822 90 0 0 25 0 19 0 834155572 10805903360 963062 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 46912505552439 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18176/tid=18179] ppid=18174 vsize=10552640 CPUtime=0.94 cores=1,3,5,7
/proc/18176/task/18179/stat : 18179 (java) S 18174 18176 15661 0 -1 4202560 14421 0 0 0 92 2 0 0 15 0 19 0 834155574 10805903360 963062 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18180] ppid=18174 vsize=10552640 CPUtime=0.96 cores=1,3,5,7
/proc/18176/task/18180/stat : 18180 (java) S 18174 18176 15661 0 -1 4202560 14100 0 0 0 95 1 0 0 16 0 19 0 834155574 10805903360 963062 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 1 0 0 0
[pid=18176/tid=18181] ppid=18174 vsize=10552640 CPUtime=1.01 cores=1,3,5,7
/proc/18176/task/18181/stat : 18181 (java) S 18174 18176 15661 0 -1 4202560 13916 0 0 0 99 2 0 0 16 0 19 0 834155574 10805903360 963062 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18182] ppid=18174 vsize=10552640 CPUtime=0.88 cores=1,3,5,7
/proc/18176/task/18182/stat : 18182 (java) S 18174 18176 15661 0 -1 4202560 15265 0 0 0 86 2 0 0 15 0 19 0 834155574 10805903360 963062 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 3 0 0 0
[pid=18176/tid=18183] ppid=18174 vsize=10552640 CPUtime=0.93 cores=1,3,5,7
/proc/18176/task/18183/stat : 18183 (java) S 18174 18176 15661 0 -1 4202560 16695 0 0 0 91 2 0 0 15 0 19 0 834155574 10805903360 963062 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
[pid=18176/tid=18184] ppid=18174 vsize=10552640 CPUtime=0.98 cores=1,3,5,7
/proc/18176/task/18184/stat : 18184 (java) S 18174 18176 15661 0 -1 4202560 15107 0 0 0 97 1 0 0 15 0 19 0 834155574 10805903360 963062 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 3 0 0 0
[pid=18176/tid=18185] ppid=18174 vsize=10552640 CPUtime=0.86 cores=1,3,5,7
/proc/18176/task/18185/stat : 18185 (java) S 18174 18176 15661 0 -1 4202560 13733 0 0 0 85 1 0 0 16 0 19 0 834155574 10805903360 963062 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18186] ppid=18174 vsize=10552640 CPUtime=0.9 cores=1,3,5,7
/proc/18176/task/18186/stat : 18186 (java) S 18174 18176 15661 0 -1 4202560 10802 0 0 0 89 1 0 0 16 0 19 0 834155574 10805903360 963062 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 3 0 0 0
[pid=18176/tid=18187] ppid=18174 vsize=10552640 CPUtime=1.94 cores=1,3,5,7
/proc/18176/task/18187/stat : 18187 (java) S 18174 18176 15661 0 -1 4202560 11199 0 0 0 193 1 0 0 15 0 19 0 834155575 10805903360 963062 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290696192 0 0 0 16800975 18446604468344308096 0 0 -1 3 0 0 0
[pid=18176/tid=18188] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18188/stat : 18188 (java) S 18174 18176 15661 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834155575 10805903360 963062 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18189] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18189/stat : 18189 (java) S 18174 18176 15661 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834155575 10805903360 963062 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18190] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18190/stat : 18190 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155577 10805903360 963062 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290703281 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18191] ppid=18174 vsize=10552640 CPUtime=0.7 cores=1,3,5,7
/proc/18176/task/18191/stat : 18191 (java) S 18174 18176 15661 0 -1 4202560 6146 0 0 0 69 1 0 0 15 0 19 0 834155577 10805903360 963062 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18192] ppid=18174 vsize=10552640 CPUtime=0.74 cores=1,3,5,7
/proc/18176/task/18192/stat : 18192 (java) S 18174 18176 15661 0 -1 4202560 4835 0 0 0 74 0 0 0 15 0 19 0 834155577 10805903360 963062 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 3 0 0 0
[pid=18176/tid=18193] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18193/stat : 18193 (java) S 18174 18176 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834155577 10805903360 963062 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290695577 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18194] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18194/stat : 18194 (java) S 18174 18176 15661 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834155577 10805903360 963062 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290696192 0 4 0 16800975 18446604468344308096 0 0 -1 5 0 0 0
[pid=18176/tid=18195] ppid=18174 vsize=10552640 CPUtime=0 cores=1,3,5,7
/proc/18176/task/18195/stat : 18195 (java) S 18174 18176 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834155592 10805903360 963062 33554432000 1073741824 1073778376 140734002869904 18446744073709551615 237290696192 0 4 0 16800975 18446604468344308096 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10552640
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.72 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 18291
/proc/meminfo: memFree=25927032/32950904 swapFree=56615552/67111528
[pid=18176] ppid=18174 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/18176/stat : 18176 (java) Z 18174 18176 15661 0 -1 4203548 969976 0 1 0 179906 118 0 0 17 0 2 0 834155572 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18176/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.8
CPU time (s): 1800.33
CPU user time (s): 1799.07
CPU system time (s): 1.26281
CPU usage (%): 100.364
Max. virtual memory (cumulated for all children) (KiB): 10552640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.07
system time used= 1.26281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 969976
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= 40734
involuntary context switches= 38995
runsolver used 6.88395 second user time and 17.5883 second system time
The end