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-3456690-1307219545/watcher-3456690-1307219545 -o /tmp/evaluation-result-3456690-1307219545/solver-3456690-1307219545 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456690-1307219545.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.06 2.03 1.96 3/542 416
/proc/meminfo: memFree=18670212/32951124 swapFree=56930356/67111528
[pid=416] ppid=414 vsize=252 CPUtime=0 cores=1,3,5,7
/proc/416/stat : 416 (java) R 414 416 32290 0 -1 4194304 77 0 0 0 0 0 0 0 25 0 1 0 833552225 258048 32 33554432000 1073741824 1073778376 140736995954320 18446744073709551615 218900807303 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/416/statm: 63 32 24 9 0 22 0
[pid=416/tid=417] ppid=414 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/416/task/417/stat : 417 (java) R 414 416 32290 0 -1 4202560 7067 0 1 0 0 0 0 0 25 0 2 0 833552225 10694979584 7883 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218905424955 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.06075 s]
/proc/loadavg: 2.06 2.03 1.96 3/542 416
/proc/meminfo: memFree=18670212/32951124 swapFree=56930356/67111528
[pid=416] ppid=414 vsize=10472784 CPUtime=0.05 cores=1,3,5,7
/proc/416/stat : 416 (java) S 414 416 32290 0 -1 4202496 11638 0 1 0 4 1 0 0 25 0 18 0 833552225 10724130816 11336 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/416/statm: 2618196 11337 1730 9 0 2608937 0
[pid=416/tid=417] ppid=414 vsize=10472784 CPUtime=0.04 cores=1,3,5,7
/proc/416/task/417/stat : 417 (java) R 414 416 32290 0 -1 4202560 10466 0 1 0 3 1 0 0 25 0 18 0 833552225 10724130816 11337 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 47507148713891 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472784
[startup+0.10073 s]
/proc/loadavg: 2.06 2.03 1.96 3/542 416
/proc/meminfo: memFree=18670212/32951124 swapFree=56930356/67111528
[pid=416] ppid=414 vsize=10540220 CPUtime=0.1 cores=1,3,5,7
/proc/416/stat : 416 (java) S 414 416 32290 0 -1 4202496 13097 0 1 0 9 1 0 0 25 0 18 0 833552225 10793185280 12778 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/416/statm: 2635055 12778 2093 9 0 2625789 0
[pid=416/tid=417] ppid=414 vsize=10540220 CPUtime=0.08 cores=1,3,5,7
/proc/416/task/417/stat : 417 (java) R 414 416 32290 0 -1 4202560 11185 0 1 0 7 1 0 0 25 0 18 0 833552225 10793185280 12778 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 47507152429973 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540220
[startup+0.300663 s]
/proc/loadavg: 2.06 2.03 1.96 3/542 416
/proc/meminfo: memFree=18670212/32951124 swapFree=56930356/67111528
[pid=416] ppid=414 vsize=10546492 CPUtime=0.57 cores=1,3,5,7
/proc/416/stat : 416 (java) S 414 416 32290 0 -1 4202496 18635 0 1 0 55 2 0 0 25 0 18 0 833552225 10799607808 17554 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/416/statm: 2636623 17558 2202 9 0 2627357 0
[pid=416/tid=417] ppid=414 vsize=10546492 CPUtime=0.28 cores=1,3,5,7
/proc/416/task/417/stat : 417 (java) R 414 416 32290 0 -1 4202560 13993 0 1 0 27 1 0 0 18 0 18 0 833552225 10799607808 17558 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 46912505609470 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10546492
[startup+0.70059 s]
/proc/loadavg: 2.06 2.03 1.96 3/542 416
/proc/meminfo: memFree=18670212/32951124 swapFree=56930356/67111528
[pid=416] ppid=414 vsize=10547964 CPUtime=1.53 cores=1,3,5,7
/proc/416/stat : 416 (java) S 414 416 32290 0 -1 4202496 27895 0 1 0 150 3 0 0 25 0 19 0 833552225 10801115136 25896 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/416/statm: 2636991 25897 2234 9 0 2627725 0
[pid=416/tid=417] ppid=414 vsize=10547964 CPUtime=0.69 cores=1,3,5,7
/proc/416/task/417/stat : 417 (java) R 414 416 32290 0 -1 4202560 21625 0 1 0 66 3 0 0 19 0 19 0 833552225 10801115136 25897 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 46912505912126 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 10547964
[startup+1.50148 s]
/proc/loadavg: 2.06 2.03 1.96 5/561 435
/proc/meminfo: memFree=18512960/32951124 swapFree=56930356/67111528
[pid=416] ppid=414 vsize=10558448 CPUtime=3.3 cores=1,3,5,7
/proc/416/stat : 416 (java) S 414 416 32290 0 -1 4202496 78887 0 1 0 320 10 0 0 25 0 19 0 833552225 10811850752 70593 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/416/statm: 2639612 70597 2237 9 0 2630346 0
[pid=416/tid=417] ppid=414 vsize=10558448 CPUtime=1.49 cores=1,3,5,7
/proc/416/task/417/stat : 417 (java) R 414 416 32290 0 -1 4202560 59638 0 1 0 142 7 0 0 18 0 19 0 833552225 10811850752 70598 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 46912506108118 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=416/tid=419] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/419/stat : 419 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 70600 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=420] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/420/stat : 420 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 70601 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=421] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/421/stat : 421 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 70603 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=422] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/422/stat : 422 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 70605 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=423] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/423/stat : 423 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 70606 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=424] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/424/stat : 424 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 70607 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=425] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/425/stat : 425 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 70610 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=426] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/426/stat : 426 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 70611 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=427] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/427/stat : 427 (java) S 414 416 32290 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833552228 10811850752 70612 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917547520 0 0 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=428] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/428/stat : 428 (java) S 414 416 32290 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833552228 10811850752 70614 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=429] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/429/stat : 429 (java) S 414 416 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833552228 10811850752 70616 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=430] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/430/stat : 430 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552231 10811850752 70616 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917554609 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=431] ppid=414 vsize=10558448 CPUtime=0.86 cores=1,3,5,7
/proc/416/task/431/stat : 431 (java) S 414 416 32290 0 -1 4202560 5385 0 0 0 86 0 0 0 25 0 19 0 833552231 10811850752 70619 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=432] ppid=414 vsize=10558448 CPUtime=0.93 cores=1,3,5,7
/proc/416/task/432/stat : 432 (java) S 414 416 32290 0 -1 4202560 12709 0 0 0 92 1 0 0 15 0 19 0 833552231 10811850752 70621 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 5 0 0 0
[pid=416/tid=433] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/433/stat : 433 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552231 10811850752 70621 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=434] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/434/stat : 434 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833552231 10811850752 70623 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917547520 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=435] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/435/stat : 435 (java) S 414 416 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833552266 10811850752 70625 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917547520 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 10558448
[startup+3.10119 s]
/proc/loadavg: 2.06 2.03 1.96 3/561 435
/proc/meminfo: memFree=18188492/32951124 swapFree=56930356/67111528
[pid=416] ppid=414 vsize=10558448 CPUtime=4.96 cores=1,3,5,7
/proc/416/stat : 416 (java) S 414 416 32290 0 -1 4202496 189823 0 1 0 474 22 0 0 25 0 19 0 833552225 10811850752 181528 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/416/statm: 2639612 181529 2238 9 0 2630346 0
[pid=416/tid=417] ppid=414 vsize=10558448 CPUtime=3.08 cores=1,3,5,7
/proc/416/task/417/stat : 417 (java) R 414 416 32290 0 -1 4202560 170531 0 1 0 289 19 0 0 21 0 19 0 833552225 10811850752 181530 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 46912505852650 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=416/tid=419] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/419/stat : 419 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 181531 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=420] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/420/stat : 420 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 181534 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=421] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/421/stat : 421 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 181534 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=422] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/422/stat : 422 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 181535 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=423] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/423/stat : 423 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 181536 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=424] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/424/stat : 424 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 181537 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=425] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/425/stat : 425 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 181538 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=426] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/426/stat : 426 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 181539 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=427] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/427/stat : 427 (java) S 414 416 32290 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833552228 10811850752 181540 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917547520 0 0 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=428] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/428/stat : 428 (java) S 414 416 32290 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833552228 10811850752 181541 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=429] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/429/stat : 429 (java) S 414 416 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833552228 10811850752 181542 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=430] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/430/stat : 430 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552231 10811850752 181544 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917554609 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=431] ppid=414 vsize=10558448 CPUtime=0.87 cores=1,3,5,7
/proc/416/task/431/stat : 431 (java) S 414 416 32290 0 -1 4202560 5386 0 0 0 87 0 0 0 16 0 19 0 833552231 10811850752 181544 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=432] ppid=414 vsize=10558448 CPUtime=0.97 cores=1,3,5,7
/proc/416/task/432/stat : 432 (java) S 414 416 32290 0 -1 4202560 12748 0 0 0 96 1 0 0 15 0 19 0 833552231 10811850752 181546 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 5 0 0 0
[pid=416/tid=433] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/433/stat : 433 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552231 10811850752 181547 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=434] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/434/stat : 434 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833552231 10811850752 181547 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917547520 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=435] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/435/stat : 435 (java) S 414 416 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833552266 10811850752 181548 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917547520 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 10558448
[startup+6.30061 s]
/proc/loadavg: 2.06 2.03 1.96 3/561 435
/proc/meminfo: memFree=17479332/32951124 swapFree=56930356/67111528
[pid=416] ppid=414 vsize=10558448 CPUtime=8.15 cores=1,3,5,7
/proc/416/stat : 416 (java) S 414 416 32290 0 -1 4202496 346430 0 1 0 778 37 0 0 25 0 19 0 833552225 10811850752 338126 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/416/statm: 2639612 338128 2240 9 0 2630346 0
[pid=416/tid=417] ppid=414 vsize=10558448 CPUtime=6.29 cores=1,3,5,7
/proc/416/task/417/stat : 417 (java) R 414 416 32290 0 -1 4202560 327138 0 1 0 594 35 0 0 25 0 19 0 833552225 10811850752 338129 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 46912505855566 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=416/tid=419] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/419/stat : 419 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 338131 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=420] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/420/stat : 420 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 338132 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=421] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/421/stat : 421 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 338133 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=422] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/422/stat : 422 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 338134 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=423] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/423/stat : 423 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 338135 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=424] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/424/stat : 424 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 338137 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=425] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/425/stat : 425 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 338138 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=426] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/426/stat : 426 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552227 10811850752 338139 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=427] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/427/stat : 427 (java) S 414 416 32290 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 833552228 10811850752 338141 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917547520 0 0 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=428] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/428/stat : 428 (java) S 414 416 32290 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833552228 10811850752 338142 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=429] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/429/stat : 429 (java) S 414 416 32290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833552228 10811850752 338144 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=430] ppid=414 vsize=10558448 CPUtime=0 cores=1,3,5,7
/proc/416/task/430/stat : 430 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552231 10811850752 338145 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917554609 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=431] ppid=414 vsize=10558448 CPUtime=0.87 cores=1,3,5,7
/proc/416/task/431/stat : 431 (java) S 414 416 32290 0 -1 4202560 5386 0 0 0 87 0 0 0 16 0 19 0 833552231 10811850752 338146 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=432] ppid=414 vsize=10558448 CPUtime=0.97 cores=1,3,5,7
/proc/416/task/432/stat : 432 (java) S 414 416 32290 0 -1 4202560 12748 0 0 0 96 1 0 0 15 0 19 0 833552231 10811850752 338148 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=416/tid=435] ppid=414 vsize=10554068 CPUtime=0 cores=1,3,5,7
/proc/416/task/435/stat : 435 (java) S 414 416 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833552266 10807365632 1006992 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917547520 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1668.51
Current children cumulated vsize (KiB) 10554068
[startup+1722.3 s]
/proc/loadavg: 2.01 2.06 2.01 3/561 548
/proc/meminfo: memFree=15797840/32951124 swapFree=56930356/67111528
[pid=416] ppid=414 vsize=10554068 CPUtime=1728.76 cores=1,3,5,7
/proc/416/stat : 416 (java) S 414 416 32290 0 -1 4202496 1025289 0 1 0 172762 114 0 0 25 0 19 0 833552225 10807365632 1012896 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/416/statm: 2638517 1012896 2268 9 0 2629251 0
[pid=416/tid=417] ppid=414 vsize=10554068 CPUtime=1719.73 cores=1,3,5,7
/proc/416/task/417/stat : 417 (java) R 414 416 32290 0 -1 4202560 808322 0 1 0 171887 86 0 0 25 0 19 0 833552225 10807365632 1012896 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 46912506102747 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=416/tid=419] ppid=414 vsize=10554068 CPUtime=0.81 cores=1,3,5,7
/proc/416/task/419/stat : 419 (java) S 414 416 32290 0 -1 4202560 28993 0 0 0 78 3 0 0 16 0 19 0 833552227 10807365632 1012896 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=420] ppid=414 vsize=10554068 CPUtime=0.86 cores=1,3,5,7
/proc/416/task/420/stat : 420 (java) S 414 416 32290 0 -1 4202560 28179 0 0 0 84 2 0 0 16 0 19 0 833552227 10807365632 1012896 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=421] ppid=414 vsize=10554068 CPUtime=0.79 cores=1,3,5,7
/proc/416/task/421/stat : 421 (java) S 414 416 32290 0 -1 4202560 25373 0 0 0 77 2 0 0 16 0 19 0 833552227 10807365632 1012896 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 5 0 0 0
[pid=416/tid=422] ppid=414 vsize=10554068 CPUtime=0.79 cores=1,3,5,7
/proc/416/task/422/stat : 422 (java) S 414 416 32290 0 -1 4202560 25086 0 0 0 76 3 0 0 16 0 19 0 833552227 10807365632 1012896 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 1 0 0 0
[pid=416/tid=423] ppid=414 vsize=10554068 CPUtime=0.69 cores=1,3,5,7
/proc/416/task/423/stat : 423 (java) S 414 416 32290 0 -1 4202560 21859 0 0 0 67 2 0 0 15 0 19 0 833552227 10807365632 1012896 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 5 0 0 0
[pid=416/tid=424] ppid=414 vsize=10554068 CPUtime=0.71 cores=1,3,5,7
/proc/416/task/424/stat : 424 (java) S 414 416 32290 0 -1 4202560 24323 0 0 0 69 2 0 0 15 0 19 0 833552227 10807365632 1012896 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 5 0 0 0
[pid=416/tid=425] ppid=414 vsize=10554068 CPUtime=0.66 cores=1,3,5,7
/proc/416/task/425/stat : 425 (java) S 414 416 32290 0 -1 4202560 23085 0 0 0 63 3 0 0 15 0 19 0 833552227 10807365632 1012896 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 5 0 0 0
[pid=416/tid=426] ppid=414 vsize=10554068 CPUtime=0.79 cores=1,3,5,7
/proc/416/task/426/stat : 426 (java) S 414 416 32290 0 -1 4202560 20155 0 0 0 78 1 0 0 15 0 19 0 833552227 10807365632 1012896 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=427] ppid=414 vsize=10554068 CPUtime=0.64 cores=1,3,5,7
/proc/416/task/427/stat : 427 (java) S 414 416 32290 0 -1 4202560 411 0 0 0 63 1 0 0 15 0 19 0 833552228 10807365632 1012896 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917547520 0 0 0 16800975 18446604470111580544 0 0 -1 5 0 0 0
[pid=416/tid=428] ppid=414 vsize=10554068 CPUtime=0 cores=1,3,5,7
/proc/416/task/428/stat : 428 (java) S 414 416 32290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833552228 10807365632 1012896 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=429] ppid=414 vsize=10554068 CPUtime=0 cores=1,3,5,7
/proc/416/task/429/stat : 429 (java) S 414 416 32290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833552228 10807365632 1012896 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=430] ppid=414 vsize=10554068 CPUtime=0 cores=1,3,5,7
/proc/416/task/430/stat : 430 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552231 10807365632 1012896 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917554609 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=431] ppid=414 vsize=10554068 CPUtime=1 cores=1,3,5,7
/proc/416/task/431/stat : 431 (java) S 414 416 32290 0 -1 4202560 5403 0 0 0 100 0 0 0 15 0 19 0 833552231 10807365632 1012896 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=432] ppid=414 vsize=10554068 CPUtime=1.15 cores=1,3,5,7
/proc/416/task/432/stat : 432 (java) S 414 416 32290 0 -1 4202560 12851 0 0 0 114 1 0 0 15 0 19 0 833552231 10807365632 1012896 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 5 0 0 0
[pid=416/tid=433] ppid=414 vsize=10554068 CPUtime=0 cores=1,3,5,7
/proc/416/task/433/stat : 433 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552231 10807365632 1012896 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=434] ppid=414 vsize=10554068 CPUtime=0 cores=1,3,5,7
/proc/416/task/434/stat : 434 (java) S 414 416 32290 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833552231 10807365632 1012896 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917547520 0 4 0 16800975 18446604470111580544 0 0 -1 5 0 0 0
[pid=416/tid=435] ppid=414 vsize=10554068 CPUtime=0 cores=1,3,5,7
/proc/416/task/435/stat : 435 (java) S 414 416 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833552266 10807365632 1012896 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917547520 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1728.76
Current children cumulated vsize (KiB) 10554068
[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/561 549
/proc/meminfo: memFree=15790632/32951124 swapFree=56930356/67111528
[pid=416] ppid=414 vsize=10554068 CPUtime=1788.82 cores=1,3,5,7
/proc/416/stat : 416 (java) S 414 416 32290 0 -1 4202496 1027125 0 1 0 178767 115 0 0 25 0 19 0 833552225 10807365632 1014664 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/416/statm: 2638517 1014664 2268 9 0 2629251 0
[pid=416/tid=417] ppid=414 vsize=10554068 CPUtime=1779.68 cores=1,3,5,7
/proc/416/task/417/stat : 417 (java) R 414 416 32290 0 -1 4202560 808323 0 1 0 177882 86 0 0 25 0 19 0 833552225 10807365632 1014664 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 46912506133991 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=416/tid=419] ppid=414 vsize=10554068 CPUtime=0.87 cores=1,3,5,7
/proc/416/task/419/stat : 419 (java) S 414 416 32290 0 -1 4202560 29979 0 0 0 83 4 0 0 16 0 19 0 833552227 10807365632 1014664 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=420] ppid=414 vsize=10554068 CPUtime=0.86 cores=1,3,5,7
/proc/416/task/420/stat : 420 (java) S 414 416 32290 0 -1 4202560 28179 0 0 0 84 2 0 0 15 0 19 0 833552227 10807365632 1014664 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=421] ppid=414 vsize=10554068 CPUtime=0.79 cores=1,3,5,7
/proc/416/task/421/stat : 421 (java) S 414 416 32290 0 -1 4202560 25373 0 0 0 77 2 0 0 15 0 19 0 833552227 10807365632 1014664 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 5 0 0 0
[pid=416/tid=422] ppid=414 vsize=10554068 CPUtime=0.79 cores=1,3,5,7
/proc/416/task/422/stat : 422 (java) S 414 416 32290 0 -1 4202560 25086 0 0 0 76 3 0 0 15 0 19 0 833552227 10807365632 1014664 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 1 0 0 0
[pid=416/tid=423] ppid=414 vsize=10554068 CPUtime=0.69 cores=1,3,5,7
/proc/416/task/423/stat : 423 (java) S 414 416 32290 0 -1 4202560 21859 0 0 0 67 2 0 0 15 0 19 0 833552227 10807365632 1014664 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=424] ppid=414 vsize=10554068 CPUtime=0.75 cores=1,3,5,7
/proc/416/task/424/stat : 424 (java) S 414 416 32290 0 -1 4202560 25168 0 0 0 73 2 0 0 16 0 19 0 833552227 10807365632 1014664 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 5 0 0 0
[pid=416/tid=425] ppid=414 vsize=10554068 CPUtime=0.66 cores=1,3,5,7
/proc/416/task/425/stat : 425 (java) S 414 416 32290 0 -1 4202560 23085 0 0 0 63 3 0 0 15 0 19 0 833552227 10807365632 1014664 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 1 0 0 0
[pid=416/tid=426] ppid=414 vsize=10554068 CPUtime=0.79 cores=1,3,5,7
/proc/416/task/426/stat : 426 (java) S 414 416 32290 0 -1 4202560 20155 0 0 0 78 1 0 0 15 0 19 0 833552227 10807365632 1014664 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=427] ppid=414 vsize=10554068 CPUtime=0.64 cores=1,3,5,7
/proc/416/task/427/stat : 427 (java) S 414 416 32290 0 -1 4202560 413 0 0 0 63 1 0 0 15 0 19 0 833552228 10807365632 1014664 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917547520 0 0 0 16800975 18446604470111580544 0 0 -1 5 0 0 0
[pid=416/tid=428] ppid=414 vsize=10554068 CPUtime=0 cores=1,3,5,7
/proc/416/task/428/stat : 428 (java) S 414 416 32290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833552228 10807365632 1014664 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=429] ppid=414 vsize=10554068 CPUtime=0 cores=1,3,5,7
/proc/416/task/429/stat : 429 (java) S 414 416 32290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833552228 10807365632 1014664 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=430] ppid=414 vsize=10554068 CPUtime=0 cores=1,3,5,7
/proc/416/task/430/stat : 430 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552231 10807365632 1014664 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917554609 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=431] ppid=414 vsize=10554068 CPUtime=1 cores=1,3,5,7
/proc/416/task/431/stat : 431 (java) S 414 416 32290 0 -1 4202560 5403 0 0 0 100 0 0 0 15 0 19 0 833552231 10807365632 1014664 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=432] ppid=414 vsize=10554068 CPUtime=1.15 cores=1,3,5,7
/proc/416/task/432/stat : 432 (java) S 414 416 32290 0 -1 4202560 12851 0 0 0 114 1 0 0 15 0 19 0 833552231 10807365632 1014664 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 5 0 0 0
[pid=416/tid=433] ppid=414 vsize=10554068 CPUtime=0 cores=1,3,5,7
/proc/416/task/433/stat : 433 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552231 10807365632 1014664 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=434] ppid=414 vsize=10554068 CPUtime=0 cores=1,3,5,7
/proc/416/task/434/stat : 434 (java) S 414 416 32290 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 833552231 10807365632 1014664 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917547520 0 4 0 16800975 18446604470111580544 0 0 -1 5 0 0 0
[pid=416/tid=435] ppid=414 vsize=10554068 CPUtime=0 cores=1,3,5,7
/proc/416/task/435/stat : 435 (java) S 414 416 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833552266 10807365632 1014664 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917547520 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1788.82
Current children cumulated vsize (KiB) 10554068
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.5 s]
/proc/loadavg: 2.00 2.04 2.00 3/561 550
/proc/meminfo: memFree=15789764/32951124 swapFree=56930356/67111528
[pid=416] ppid=414 vsize=10554068 CPUtime=1800.07 cores=1,3,5,7
/proc/416/stat : 416 (java) S 414 416 32290 0 -1 4202496 1027457 0 1 0 179892 115 0 0 25 0 19 0 833552225 10807365632 1014991 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/416/statm: 2638517 1014991 2268 9 0 2629251 0
[pid=416/tid=417] ppid=414 vsize=10554068 CPUtime=1790.88 cores=1,3,5,7
/proc/416/task/417/stat : 417 (java) R 414 416 32290 0 -1 4202560 808324 0 1 0 179002 86 0 0 25 0 19 0 833552225 10807365632 1014991 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 46912505855257 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=416/tid=419] ppid=414 vsize=10554068 CPUtime=0.87 cores=1,3,5,7
/proc/416/task/419/stat : 419 (java) S 414 416 32290 0 -1 4202560 29979 0 0 0 83 4 0 0 15 0 19 0 833552227 10807365632 1014991 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=420] ppid=414 vsize=10554068 CPUtime=0.88 cores=1,3,5,7
/proc/416/task/420/stat : 420 (java) S 414 416 32290 0 -1 4202560 28245 0 0 0 86 2 0 0 16 0 19 0 833552227 10807365632 1014991 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=421] ppid=414 vsize=10554068 CPUtime=0.79 cores=1,3,5,7
/proc/416/task/421/stat : 421 (java) S 414 416 32290 0 -1 4202560 25373 0 0 0 77 2 0 0 15 0 19 0 833552227 10807365632 1014991 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 5 0 0 0
[pid=416/tid=422] ppid=414 vsize=10554068 CPUtime=0.81 cores=1,3,5,7
/proc/416/task/422/stat : 422 (java) S 414 416 32290 0 -1 4202560 25239 0 0 0 77 4 0 0 16 0 19 0 833552227 10807365632 1014991 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 1 0 0 0
[pid=416/tid=423] ppid=414 vsize=10554068 CPUtime=0.69 cores=1,3,5,7
/proc/416/task/423/stat : 423 (java) S 414 416 32290 0 -1 4202560 21859 0 0 0 67 2 0 0 15 0 19 0 833552227 10807365632 1014991 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=424] ppid=414 vsize=10554068 CPUtime=0.77 cores=1,3,5,7
/proc/416/task/424/stat : 424 (java) S 414 416 32290 0 -1 4202560 25229 0 0 0 75 2 0 0 16 0 19 0 833552227 10807365632 1014991 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=425] ppid=414 vsize=10554068 CPUtime=0.66 cores=1,3,5,7
/proc/416/task/425/stat : 425 (java) S 414 416 32290 0 -1 4202560 23085 0 0 0 63 3 0 0 15 0 19 0 833552227 10807365632 1014991 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 1 0 0 0
[pid=416/tid=426] ppid=414 vsize=10554068 CPUtime=0.81 cores=1,3,5,7
/proc/416/task/426/stat : 426 (java) S 414 416 32290 0 -1 4202560 20204 0 0 0 80 1 0 0 16 0 19 0 833552227 10807365632 1014991 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 5 0 0 0
[pid=416/tid=427] ppid=414 vsize=10554068 CPUtime=0.64 cores=1,3,5,7
/proc/416/task/427/stat : 427 (java) S 414 416 32290 0 -1 4202560 413 0 0 0 63 1 0 0 15 0 19 0 833552228 10807365632 1014991 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917547520 0 0 0 16800975 18446604470111580544 0 0 -1 5 0 0 0
[pid=416/tid=428] ppid=414 vsize=10554068 CPUtime=0 cores=1,3,5,7
/proc/416/task/428/stat : 428 (java) S 414 416 32290 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833552228 10807365632 1014991 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=429] ppid=414 vsize=10554068 CPUtime=0 cores=1,3,5,7
/proc/416/task/429/stat : 429 (java) S 414 416 32290 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833552228 10807365632 1014991 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=430] ppid=414 vsize=10554068 CPUtime=0 cores=1,3,5,7
/proc/416/task/430/stat : 430 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552231 10807365632 1014991 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917554609 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=431] ppid=414 vsize=10554068 CPUtime=1 cores=1,3,5,7
/proc/416/task/431/stat : 431 (java) S 414 416 32290 0 -1 4202560 5403 0 0 0 100 0 0 0 15 0 19 0 833552231 10807365632 1014991 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 7 0 0 0
[pid=416/tid=432] ppid=414 vsize=10554068 CPUtime=1.15 cores=1,3,5,7
/proc/416/task/432/stat : 432 (java) S 414 416 32290 0 -1 4202560 12851 0 0 0 114 1 0 0 15 0 19 0 833552231 10807365632 1014991 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 5 0 0 0
[pid=416/tid=433] ppid=414 vsize=10554068 CPUtime=0 cores=1,3,5,7
/proc/416/task/433/stat : 433 (java) S 414 416 32290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833552231 10807365632 1014991 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917546905 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
[pid=416/tid=434] ppid=414 vsize=10554068 CPUtime=0 cores=1,3,5,7
/proc/416/task/434/stat : 434 (java) S 414 416 32290 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833552231 10807365632 1014991 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917547520 0 4 0 16800975 18446604470111580544 0 0 -1 5 0 0 0
[pid=416/tid=435] ppid=414 vsize=10554068 CPUtime=0 cores=1,3,5,7
/proc/416/task/435/stat : 435 (java) S 414 416 32290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833552266 10807365632 1014991 33554432000 1073741824 1073778376 140734970540416 18446744073709551615 218917547520 0 4 0 16800975 18446604470111580544 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10554068
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.63 s]
/proc/loadavg: 2.00 2.04 2.00 3/561 550
/proc/meminfo: memFree=15789764/32951124 swapFree=56930356/67111528
[pid=416] ppid=414 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/416/stat : 416 (java) Z 414 416 32290 0 -1 4203548 1027489 0 1 0 179901 121 0 0 17 0 2 0 833552225 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/416/statm: 0 0 0 0 0 0 0
[pid=416/tid=432] ppid=414 vsize=0 CPUtime=1.24 cores=1,3,5,7
/proc/416/task/432/stat : 432 (java) R 414 416 32290 0 -1 4203588 12853 0 0 0 116 8 0 0 16 0 2 0 833552231 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
[startup+1793.7 s]
/proc/loadavg: 2.00 2.04 2.00 3/561 550
/proc/meminfo: memFree=15789764/32951124 swapFree=56930356/67111528
[pid=416] ppid=414 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/416/stat : 416 (java) Z 414 416 32290 0 -1 4203548 1027489 0 1 0 179901 129 0 0 17 0 2 0 833552225 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/416/statm: 0 0 0 0 0 0 0
[pid=416/tid=432] ppid=414 vsize=0 CPUtime=1.31 cores=1,3,5,7
/proc/416/task/432/stat : 432 (java) R 414 416 32290 0 -1 4203588 12853 0 0 0 116 15 0 0 16 0 2 0 833552231 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.71
CPU time (s): 1800.32
CPU user time (s): 1799.02
CPU system time (s): 1.3008
CPU usage (%): 100.368
Max. virtual memory (cumulated for all children) (KiB): 10558448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.3008
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1027489
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= 38840
involuntary context switches= 9811
runsolver used 9.32258 second user time and 23.3105 second system time
The end