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-3479306-1307449494/watcher-3479306-1307449494 -o /tmp/evaluation-result-3479306-1307449494/solver-3479306-1307449494 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3479306-1307449494.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: 1.59 1.19 1.32 2/533 8534
/proc/meminfo: memFree=18402896/32950928 swapFree=58671692/67111528
[pid=8534] ppid=8532 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/8534/stat : 8534 (java) S 8532 8534 8125 0 -1 4202496 2103 0 1 0 0 0 0 0 18 0 2 0 935182559 10681323520 1805 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/8534/statm: 2607745 1820 906 9 0 2598901 0
[pid=8534/tid=8535] ppid=8532 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/8534/task/8535/stat : 8535 (java) R 8532 8534 8125 0 -1 4202560 8336 0 1 0 0 1 0 0 19 0 2 0 935182560 10694979584 9151 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0432869 s]
/proc/loadavg: 1.59 1.19 1.32 2/533 8534
/proc/meminfo: memFree=18402896/32950928 swapFree=58671692/67111528
[pid=8534] ppid=8532 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/8534/stat : 8534 (java) S 8532 8534 8125 0 -1 4202496 11284 0 1 0 2 1 0 0 18 0 13 0 935182559 10718699520 10981 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/8534/statm: 2616870 10982 1675 9 0 2607618 0
[pid=8534/tid=8535] ppid=8532 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/8534/task/8535/stat : 8535 (java) R 8532 8534 8125 0 -1 4202560 10139 0 1 0 2 1 0 0 25 0 13 0 935182560 10718699520 10982 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427218379 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100245 s]
/proc/loadavg: 1.59 1.19 1.32 2/533 8534
/proc/meminfo: memFree=18402896/32950928 swapFree=58671692/67111528
[pid=8534] ppid=8532 vsize=10539200 CPUtime=0.11 cores=1,3,5,7
/proc/8534/stat : 8534 (java) S 8532 8534 8125 0 -1 4202496 13119 0 1 0 9 2 0 0 18 0 18 0 935182559 10792140800 12784 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8534/statm: 2634800 12785 2092 9 0 2625534 0
[pid=8534/tid=8535] ppid=8532 vsize=10539200 CPUtime=0.08 cores=1,3,5,7
/proc/8534/task/8535/stat : 8535 (java) R 8532 8534 8125 0 -1 4202560 11170 0 1 0 7 1 0 0 18 0 18 0 935182560 10792140800 12785 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 47683696088570 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539200
[startup+0.301228 s]
/proc/loadavg: 1.59 1.19 1.32 2/533 8534
/proc/meminfo: memFree=18402896/32950928 swapFree=58671692/67111528
[pid=8534] ppid=8532 vsize=10539200 CPUtime=0.38 cores=1,3,5,7
/proc/8534/stat : 8534 (java) S 8532 8534 8125 0 -1 4202496 84300 0 1 0 28 10 0 0 18 0 18 0 935182559 10792140800 83804 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8534/statm: 2634800 83804 2184 9 0 2625534 0
[pid=8534/tid=8535] ppid=8532 vsize=10539200 CPUtime=0.28 cores=1,3,5,7
/proc/8534/task/8535/stat : 8535 (java) R 8532 8534 8125 0 -1 4202560 81829 0 1 0 19 9 0 0 18 0 18 0 935182560 10792140800 83805 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 47683697523539 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 10539200
[startup+0.701158 s]
/proc/loadavg: 1.59 1.19 1.32 2/533 8534
/proc/meminfo: memFree=18402896/32950928 swapFree=58671692/67111528
[pid=8534] ppid=8532 vsize=10539860 CPUtime=0.86 cores=1,3,5,7
/proc/8534/stat : 8534 (java) S 8532 8534 8125 0 -1 4202496 117539 0 1 0 72 14 0 0 18 0 18 0 935182559 10792816640 116807 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8534/statm: 2634965 116811 2199 9 0 2625699 0
[pid=8534/tid=8535] ppid=8532 vsize=10539860 CPUtime=0.68 cores=1,3,5,7
/proc/8534/task/8535/stat : 8535 (java) R 8532 8534 8125 0 -1 4202560 114498 0 1 0 55 13 0 0 18 0 18 0 935182560 10792816640 116813 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 46912505564939 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 10539860
[startup+1.50101 s]
/proc/loadavg: 1.59 1.19 1.32 3/551 8552
/proc/meminfo: memFree=17833912/32950928 swapFree=58671692/67111528
[pid=8534] ppid=8532 vsize=10539860 CPUtime=1.65 cores=1,3,5,7
/proc/8534/stat : 8534 (java) S 8532 8534 8125 0 -1 4202496 192439 0 1 0 143 22 0 0 18 0 18 0 935182559 10792816640 191708 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8534/statm: 2634965 191712 2199 9 0 2625699 0
[pid=8534/tid=8535] ppid=8532 vsize=10539860 CPUtime=1.48 cores=1,3,5,7
/proc/8534/task/8535/stat : 8535 (java) R 8532 8534 8125 0 -1 4202560 189399 0 1 0 126 22 0 0 19 0 18 0 935182560 10792816640 191714 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 46912505556062 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8534/tid=8537] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8537/stat : 8537 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 935182561 10792816640 191716 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8538] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8538/stat : 8538 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935182561 10792816640 191719 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8539] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8539/stat : 8539 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935182561 10792816640 191721 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8540] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8540/stat : 8540 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935182561 10792816640 191723 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8541] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8541/stat : 8541 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935182561 10792816640 191726 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8542] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8542/stat : 8542 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935182561 10792816640 191728 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8543] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8543/stat : 8543 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935182561 10792816640 191730 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8544] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8544/stat : 8544 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 935182561 10792816640 191732 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8545] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8545/stat : 8545 (java) S 8532 8534 8125 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 935182562 10792816640 191735 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427208192 0 0 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8546] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8546/stat : 8546 (java) S 8532 8534 8125 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 935182563 10792816640 191737 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8547] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8547/stat : 8547 (java) S 8532 8534 8125 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 935182563 10792816640 191739 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8548] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8548/stat : 8548 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 935182565 10792816640 191742 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427215281 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8549] ppid=8532 vsize=10539860 CPUtime=0.08 cores=1,3,5,7
/proc/8534/task/8549/stat : 8549 (java) S 8532 8534 8125 0 -1 4202560 888 0 0 0 8 0 0 0 16 0 18 0 935182565 10792816640 191744 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 5 0 0 0
[pid=8534/tid=8550] ppid=8532 vsize=10539860 CPUtime=0.07 cores=1,3,5,7
/proc/8534/task/8550/stat : 8550 (java) S 8532 8534 8125 0 -1 4202560 1009 0 0 0 7 0 0 0 16 0 18 0 935182565 10792816640 191746 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8551] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8551/stat : 8551 (java) S 8532 8534 8125 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 935182565 10792816640 191749 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8552] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8552/stat : 8552 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 935182565 10792816640 191751 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427208192 0 4 0 16800975 18446604459529648256 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10539860
[startup+3.1007 s]
/proc/loadavg: 1.59 1.19 1.32 3/551 8552
/proc/meminfo: memFree=17439224/32950928 swapFree=58671692/67111528
[pid=8534] ppid=8532 vsize=10539860 CPUtime=3.26 cores=1,3,5,7
/proc/8534/stat : 8534 (java) S 8532 8534 8125 0 -1 4202496 332834 0 1 0 287 39 0 0 18 0 18 0 935182559 10792816640 332103 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8534/statm: 2634965 332107 2203 9 0 2625699 0
[pid=8534/tid=8535] ppid=8532 vsize=10539860 CPUtime=3.08 cores=1,3,5,7
/proc/8534/task/8535/stat : 8535 (java) R 8532 8534 8125 0 -1 4202560 329790 0 1 0 270 38 0 0 24 0 18 0 935182560 10792816640 332109 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 46912505608222 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8534/tid=8537] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8537/stat : 8537 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 935182561 10792816640 332111 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8538] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8538/stat : 8538 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935182561 10792816640 332113 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8539] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8539/stat : 8539 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935182561 10792816640 332115 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8540] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8540/stat : 8540 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935182561 10792816640 332117 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8541] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8541/stat : 8541 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935182561 10792816640 332120 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8542] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8542/stat : 8542 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935182561 10792816640 332122 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8543] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8543/stat : 8543 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935182561 10792816640 332124 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8544] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8544/stat : 8544 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 935182561 10792816640 332126 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8545] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8545/stat : 8545 (java) S 8532 8534 8125 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 935182562 10792816640 332128 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427208192 0 0 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8546] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8546/stat : 8546 (java) S 8532 8534 8125 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 935182563 10792816640 332130 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8547] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8547/stat : 8547 (java) S 8532 8534 8125 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 935182563 10792816640 332133 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8548] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8548/stat : 8548 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 935182565 10792816640 332135 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427215281 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8549] ppid=8532 vsize=10539860 CPUtime=0.08 cores=1,3,5,7
/proc/8534/task/8549/stat : 8549 (java) S 8532 8534 8125 0 -1 4202560 888 0 0 0 8 0 0 0 16 0 18 0 935182565 10792816640 332137 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 5 0 0 0
[pid=8534/tid=8550] ppid=8532 vsize=10539860 CPUtime=0.07 cores=1,3,5,7
/proc/8534/task/8550/stat : 8550 (java) S 8532 8534 8125 0 -1 4202560 1013 0 0 0 7 0 0 0 15 0 18 0 935182565 10792816640 332139 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8551] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8551/stat : 8551 (java) S 8532 8534 8125 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 935182565 10792816640 332141 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8552] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8552/stat : 8552 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 935182565 10792816640 332143 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427208192 0 4 0 16800975 18446604459529648256 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 10539860
[startup+6.30111 s]
/proc/loadavg: 1.63 1.20 1.32 3/551 8553
/proc/meminfo: memFree=16192404/32950928 swapFree=58671692/67111528
[pid=8534] ppid=8532 vsize=10539860 CPUtime=6.47 cores=1,3,5,7
/proc/8534/stat : 8534 (java) S 8532 8534 8125 0 -1 4202496 643957 0 1 0 573 74 0 0 18 0 18 0 935182559 10792816640 643208 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8534/statm: 2634965 643212 2205 9 0 2625699 0
[pid=8534/tid=8535] ppid=8532 vsize=10539860 CPUtime=6.28 cores=1,3,5,7
/proc/8534/task/8535/stat : 8535 (java) R 8532 8534 8125 0 -1 4202560 640909 0 1 0 554 74 0 0 19 0 18 0 935182560 10792816640 643215 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 46912505581346 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8534/tid=8537] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8537/stat : 8537 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 935182561 10792816640 643217 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8538] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8538/stat : 8538 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935182561 10792816640 643220 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8539] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8539/stat : 8539 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935182561 10792816640 643223 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8540] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8540/stat : 8540 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935182561 10792816640 643225 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8541] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8541/stat : 8541 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935182561 10792816640 643228 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8542] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8542/stat : 8542 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935182561 10792816640 643230 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8543] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8543/stat : 8543 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 935182561 10792816640 643233 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8544] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8544/stat : 8544 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 935182561 10792816640 643235 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8545] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8545/stat : 8545 (java) S 8532 8534 8125 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 935182562 10792816640 643238 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427208192 0 0 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8546] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8546/stat : 8546 (java) S 8532 8534 8125 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 18 0 935182563 10792816640 643241 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8547] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8547/stat : 8547 (java) S 8532 8534 8125 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 935182563 10792816640 643243 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8548] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8548/stat : 8548 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 935182565 10792816640 643246 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427215281 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8549] ppid=8532 vsize=10539860 CPUtime=0.09 cores=1,3,5,7
/proc/8534/task/8549/stat : 8549 (java) S 8532 8534 8125 0 -1 4202560 888 0 0 0 9 0 0 0 15 0 18 0 935182565 10792816640 643248 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 5 0 0 0
[pid=8534/tid=8550] ppid=8532 vsize=10539860 CPUtime=0.09 cores=1,3,5,7
/proc/8534/task/8550/stat : 8550 (java) S 8532 8534 8125 0 -1 4202560 1016 0 0 0 9 0 0 0 15 0 18 0 935182565 10792816640 643251 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8551] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8551/stat : 8551 (java) S 8532 8534 8125 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 935182565 10792816640 643253 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8552] ppid=8532 vsize=10539860 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8552/stat : 8552 (java) S 8532 8534 8125 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 935182565 10792816640 643256 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427208192 0 4 0 16800975 18446604459529648256 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=8534/tid=8556] ppid=8532 vsize=10628892 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8556/stat : 8556 (java) S 8532 8534 8125 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 935192410 10883985408 2140487 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427208192 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1643.48
Current children cumulated vsize (KiB) 10628892
[startup+1422.3 s]
/proc/loadavg: 2.56 2.33 2.07 3/552 8594
/proc/meminfo: memFree=9605004/32950928 swapFree=58671692/67111528
[pid=8534] ppid=8532 vsize=10628892 CPUtime=1714.57 cores=1,3,5,7
/proc/8534/stat : 8534 (java) S 8532 8534 8125 0 -1 4202496 2168780 0 1 0 171050 407 0 0 18 0 19 0 935182559 10883985408 2140838 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8534/statm: 2657223 2140838 2265 9 0 2647957 0
[pid=8534/tid=8535] ppid=8532 vsize=10628892 CPUtime=1311.75 cores=1,3,5,7
/proc/8534/task/8535/stat : 8535 (java) R 8532 8534 8125 0 -1 4202560 651494 0 1 0 131060 115 0 0 25 0 19 0 935182560 10883985408 2140838 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 46912505968293 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8534/tid=8537] ppid=8532 vsize=10628892 CPUtime=51.45 cores=1,3,5,7
/proc/8534/task/8537/stat : 8537 (java) S 8532 8534 8125 0 -1 4202560 197884 0 0 0 5110 35 0 0 16 0 19 0 935182561 10883985408 2140838 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 5 0 0 0
[pid=8534/tid=8538] ppid=8532 vsize=10628892 CPUtime=47.29 cores=1,3,5,7
/proc/8534/task/8538/stat : 8538 (java) S 8532 8534 8125 0 -1 4202560 168076 0 0 0 4700 29 0 0 16 0 19 0 935182561 10883985408 2140838 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 5 0 0 0
[pid=8534/tid=8539] ppid=8532 vsize=10628892 CPUtime=53.77 cores=1,3,5,7
/proc/8534/task/8539/stat : 8539 (java) S 8532 8534 8125 0 -1 4202560 179168 0 0 0 5348 29 0 0 16 0 19 0 935182561 10883985408 2140838 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 5 0 0 0
[pid=8534/tid=8540] ppid=8532 vsize=10628892 CPUtime=49.44 cores=1,3,5,7
/proc/8534/task/8540/stat : 8540 (java) S 8532 8534 8125 0 -1 4202560 247814 0 0 0 4901 43 0 0 16 0 19 0 935182561 10883985408 2140838 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 3 0 0 0
[pid=8534/tid=8541] ppid=8532 vsize=10628892 CPUtime=43.93 cores=1,3,5,7
/proc/8534/task/8541/stat : 8541 (java) S 8532 8534 8125 0 -1 4202560 168871 0 0 0 4363 30 0 0 16 0 19 0 935182561 10883985408 2140838 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8542] ppid=8532 vsize=10628892 CPUtime=48.63 cores=1,3,5,7
/proc/8534/task/8542/stat : 8542 (java) S 8532 8534 8125 0 -1 4202560 158201 0 0 0 4824 39 0 0 16 0 19 0 935182561 10883985408 2140838 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8543] ppid=8532 vsize=10628892 CPUtime=47.61 cores=1,3,5,7
/proc/8534/task/8543/stat : 8543 (java) S 8532 8534 8125 0 -1 4202560 200480 0 0 0 4722 39 0 0 16 0 19 0 935182561 10883985408 2140838 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 3 0 0 0
[pid=8534/tid=8544] ppid=8532 vsize=10628892 CPUtime=48.18 cores=1,3,5,7
/proc/8534/task/8544/stat : 8544 (java) S 8532 8534 8125 0 -1 4202560 189862 0 0 0 4782 36 0 0 16 0 19 0 935182561 10883985408 2140838 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 3 0 0 0
[pid=8534/tid=8545] ppid=8532 vsize=10628892 CPUtime=10.6 cores=1,3,5,7
/proc/8534/task/8545/stat : 8545 (java) S 8532 8534 8125 0 -1 4202560 108 0 0 0 1054 6 0 0 15 0 19 0 935182562 10883985408 2140838 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427208192 0 0 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8546] ppid=8532 vsize=10628892 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8546/stat : 8546 (java) S 8532 8534 8125 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 935182563 10883985408 2140838 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8547] ppid=8532 vsize=10628892 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8547/stat : 8547 (java) S 8532 8534 8125 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 935182563 10883985408 2140838 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8548] ppid=8532 vsize=10628892 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8548/stat : 8548 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 935182565 10883985408 2140838 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427215281 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8549] ppid=8532 vsize=10628892 CPUtime=1.2 cores=1,3,5,7
/proc/8534/task/8549/stat : 8549 (java) S 8532 8534 8125 0 -1 4202560 3307 0 0 0 120 0 0 0 15 0 19 0 935182565 10883985408 2140838 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 5 0 0 0
[pid=8534/tid=8550] ppid=8532 vsize=10628892 CPUtime=0.6 cores=1,3,5,7
/proc/8534/task/8550/stat : 8550 (java) S 8532 8534 8125 0 -1 4202560 2281 0 0 0 60 0 0 0 15 0 19 0 935182565 10883985408 2140838 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 3 0 0 0
[pid=8534/tid=8551] ppid=8532 vsize=10628892 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8551/stat : 8551 (java) S 8532 8534 8125 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 935182565 10883985408 2140838 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8552] ppid=8532 vsize=10628892 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8552/stat : 8552 (java) S 8532 8534 8125 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 935182565 10883985408 2140838 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427208192 0 4 0 16800975 18446604459529648256 0 0 -1 3 0 0 0
[pid=8534/tid=8556] ppid=8532 vsize=10628892 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8556/stat : 8556 (java) S 8532 8534 8125 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 935192410 10883985408 2140838 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427208192 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1714.57
Current children cumulated vsize (KiB) 10628892
[startup+1482.3 s]
/proc/loadavg: 2.47 2.34 2.09 3/552 8596
/proc/meminfo: memFree=9585804/32950928 swapFree=58671692/67111528
[pid=8534] ppid=8532 vsize=10628892 CPUtime=1787.59 cores=1,3,5,7
/proc/8534/stat : 8534 (java) S 8532 8534 8125 0 -1 4202496 2169313 0 1 0 178346 413 0 0 18 0 19 0 935182559 10883985408 2141321 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8534/statm: 2657223 2141321 2265 9 0 2647957 0
[pid=8534/tid=8535] ppid=8532 vsize=10628892 CPUtime=1367.26 cores=1,3,5,7
/proc/8534/task/8535/stat : 8535 (java) R 8532 8534 8125 0 -1 4202560 651535 0 1 0 136611 115 0 0 25 0 19 0 935182560 10883985408 2141321 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 47683697523809 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8534/tid=8537] ppid=8532 vsize=10628892 CPUtime=53.87 cores=1,3,5,7
/proc/8534/task/8537/stat : 8537 (java) S 8532 8534 8125 0 -1 4202560 197943 0 0 0 5352 35 0 0 16 0 19 0 935182561 10883985408 2141321 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 5 0 0 0
[pid=8534/tid=8538] ppid=8532 vsize=10628892 CPUtime=49.74 cores=1,3,5,7
/proc/8534/task/8538/stat : 8538 (java) S 8532 8534 8125 0 -1 4202560 168143 0 0 0 4944 30 0 0 16 0 19 0 935182561 10883985408 2141321 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8539] ppid=8532 vsize=10628892 CPUtime=55.65 cores=1,3,5,7
/proc/8534/task/8539/stat : 8539 (java) S 8532 8534 8125 0 -1 4202560 179227 0 0 0 5536 29 0 0 16 0 19 0 935182561 10883985408 2141321 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8540] ppid=8532 vsize=10628892 CPUtime=51.23 cores=1,3,5,7
/proc/8534/task/8540/stat : 8540 (java) S 8532 8534 8125 0 -1 4202560 247870 0 0 0 5079 44 0 0 16 0 19 0 935182561 10883985408 2141321 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8541] ppid=8532 vsize=10628892 CPUtime=46.24 cores=1,3,5,7
/proc/8534/task/8541/stat : 8541 (java) S 8532 8534 8125 0 -1 4202560 168935 0 0 0 4593 31 0 0 16 0 19 0 935182561 10883985408 2141321 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 5 0 0 0
[pid=8534/tid=8542] ppid=8532 vsize=10628892 CPUtime=51.01 cores=1,3,5,7
/proc/8534/task/8542/stat : 8542 (java) S 8532 8534 8125 0 -1 4202560 158262 0 0 0 5061 40 0 0 16 0 19 0 935182561 10883985408 2141321 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 3 0 0 0
[pid=8534/tid=8543] ppid=8532 vsize=10628892 CPUtime=50.21 cores=1,3,5,7
/proc/8534/task/8543/stat : 8543 (java) S 8532 8534 8125 0 -1 4202560 200541 0 0 0 4982 39 0 0 16 0 19 0 935182561 10883985408 2141321 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 3 0 0 0
[pid=8534/tid=8544] ppid=8532 vsize=10628892 CPUtime=49.81 cores=1,3,5,7
/proc/8534/task/8544/stat : 8544 (java) S 8532 8534 8125 0 -1 4202560 189914 0 0 0 4945 36 0 0 16 0 19 0 935182561 10883985408 2141321 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8545] ppid=8532 vsize=10628892 CPUtime=10.61 cores=1,3,5,7
/proc/8534/task/8545/stat : 8545 (java) S 8532 8534 8125 0 -1 4202560 113 0 0 0 1055 6 0 0 15 0 19 0 935182562 10883985408 2141321 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427208192 0 0 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8546] ppid=8532 vsize=10628892 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8546/stat : 8546 (java) S 8532 8534 8125 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 935182563 10883985408 2141321 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8547] ppid=8532 vsize=10628892 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8547/stat : 8547 (java) S 8532 8534 8125 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 935182563 10883985408 2141321 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8548] ppid=8532 vsize=10628892 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8548/stat : 8548 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 935182565 10883985408 2141321 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427215281 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8549] ppid=8532 vsize=10628892 CPUtime=1.23 cores=1,3,5,7
/proc/8534/task/8549/stat : 8549 (java) S 8532 8534 8125 0 -1 4202560 3311 0 0 0 123 0 0 0 15 0 19 0 935182565 10883985408 2141321 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 5 0 0 0
[pid=8534/tid=8550] ppid=8532 vsize=10628892 CPUtime=0.6 cores=1,3,5,7
/proc/8534/task/8550/stat : 8550 (java) S 8532 8534 8125 0 -1 4202560 2281 0 0 0 60 0 0 0 15 0 19 0 935182565 10883985408 2141321 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 3 0 0 0
[pid=8534/tid=8551] ppid=8532 vsize=10628892 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8551/stat : 8551 (java) S 8532 8534 8125 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 935182565 10883985408 2141321 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8552] ppid=8532 vsize=10628892 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8552/stat : 8552 (java) S 8532 8534 8125 0 -1 4202560 88 0 0 0 0 0 0 0 15 0 19 0 935182565 10883985408 2141321 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427208192 0 4 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8556] ppid=8532 vsize=10628892 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8556/stat : 8556 (java) S 8532 8534 8125 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 935192410 10883985408 2141321 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427208192 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1787.59
Current children cumulated vsize (KiB) 10628892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1492.75 s]
/proc/loadavg: 2.36 2.32 2.09 4/552 8596
/proc/meminfo: memFree=9585048/32950928 swapFree=58671692/67111528
[pid=8534] ppid=8532 vsize=10628892 CPUtime=1800.22 cores=1,3,5,7
/proc/8534/stat : 8534 (java) S 8532 8534 8125 0 -1 4202496 2169423 0 1 0 179608 414 0 0 18 0 19 0 935182559 10883985408 2141421 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8534/statm: 2657223 2141421 2265 9 0 2647957 0
[pid=8534/tid=8535] ppid=8532 vsize=10628892 CPUtime=1376.98 cores=1,3,5,7
/proc/8534/task/8535/stat : 8535 (java) R 8532 8534 8125 0 -1 4202560 651544 0 1 0 137583 115 0 0 25 0 19 0 935182560 10883985408 2141421 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 46912506249262 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8534/tid=8537] ppid=8532 vsize=10628892 CPUtime=54.05 cores=1,3,5,7
/proc/8534/task/8537/stat : 8537 (java) S 8532 8534 8125 0 -1 4202560 197950 0 0 0 5370 35 0 0 16 0 19 0 935182561 10883985408 2141421 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8538] ppid=8532 vsize=10628892 CPUtime=50.1 cores=1,3,5,7
/proc/8534/task/8538/stat : 8538 (java) S 8532 8534 8125 0 -1 4202560 168156 0 0 0 4980 30 0 0 16 0 19 0 935182561 10883985408 2141421 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 5 0 0 0
[pid=8534/tid=8539] ppid=8532 vsize=10628892 CPUtime=55.96 cores=1,3,5,7
/proc/8534/task/8539/stat : 8539 (java) S 8532 8534 8125 0 -1 4202560 179241 0 0 0 5566 30 0 0 16 0 19 0 935182561 10883985408 2141421 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 3 0 0 0
[pid=8534/tid=8540] ppid=8532 vsize=10628892 CPUtime=51.65 cores=1,3,5,7
/proc/8534/task/8540/stat : 8540 (java) S 8532 8534 8125 0 -1 4202560 247882 0 0 0 5121 44 0 0 16 0 19 0 935182561 10883985408 2141421 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8541] ppid=8532 vsize=10628892 CPUtime=46.65 cores=1,3,5,7
/proc/8534/task/8541/stat : 8541 (java) S 8532 8534 8125 0 -1 4202560 168951 0 0 0 4634 31 0 0 16 0 19 0 935182561 10883985408 2141421 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 5 0 0 0
[pid=8534/tid=8542] ppid=8532 vsize=10628892 CPUtime=51.44 cores=1,3,5,7
/proc/8534/task/8542/stat : 8542 (java) S 8532 8534 8125 0 -1 4202560 158274 0 0 0 5104 40 0 0 16 0 19 0 935182561 10883985408 2141421 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 5 0 0 0
[pid=8534/tid=8543] ppid=8532 vsize=10628892 CPUtime=50.67 cores=1,3,5,7
/proc/8534/task/8543/stat : 8543 (java) S 8532 8534 8125 0 -1 4202560 200554 0 0 0 5027 40 0 0 15 0 19 0 935182561 10883985408 2141421 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 5 0 0 0
[pid=8534/tid=8544] ppid=8532 vsize=10628892 CPUtime=50.16 cores=1,3,5,7
/proc/8534/task/8544/stat : 8544 (java) S 8532 8534 8125 0 -1 4202560 189927 0 0 0 4979 37 0 0 16 0 19 0 935182561 10883985408 2141421 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 3 0 0 0
[pid=8534/tid=8545] ppid=8532 vsize=10628892 CPUtime=10.61 cores=1,3,5,7
/proc/8534/task/8545/stat : 8545 (java) S 8532 8534 8125 0 -1 4202560 113 0 0 0 1055 6 0 0 15 0 19 0 935182562 10883985408 2141421 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427208192 0 0 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8546] ppid=8532 vsize=10628892 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8546/stat : 8546 (java) S 8532 8534 8125 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 935182563 10883985408 2141421 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8547] ppid=8532 vsize=10628892 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8547/stat : 8547 (java) S 8532 8534 8125 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 935182563 10883985408 2141421 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8548] ppid=8532 vsize=10628892 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8548/stat : 8548 (java) S 8532 8534 8125 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 935182565 10883985408 2141421 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427215281 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
[pid=8534/tid=8549] ppid=8532 vsize=10628892 CPUtime=1.23 cores=1,3,5,7
/proc/8534/task/8549/stat : 8549 (java) S 8532 8534 8125 0 -1 4202560 3312 0 0 0 123 0 0 0 15 0 19 0 935182565 10883985408 2141421 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 5 0 0 0
[pid=8534/tid=8550] ppid=8532 vsize=10628892 CPUtime=0.6 cores=1,3,5,7
/proc/8534/task/8550/stat : 8550 (java) S 8532 8534 8125 0 -1 4202560 2281 0 0 0 60 0 0 0 15 0 19 0 935182565 10883985408 2141421 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 3 0 0 0
[pid=8534/tid=8551] ppid=8532 vsize=10628892 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8551/stat : 8551 (java) S 8532 8534 8125 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 935182565 10883985408 2141421 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427207577 0 4 0 16800975 18446604459529648256 0 0 -1 1 0 0 0
[pid=8534/tid=8552] ppid=8532 vsize=10628892 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8552/stat : 8552 (java) S 8532 8534 8125 0 -1 4202560 88 0 0 0 0 0 0 0 15 0 19 0 935182565 10883985408 2141421 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427208192 0 4 0 16800975 18446604459529648256 0 0 -1 5 0 0 0
[pid=8534/tid=8556] ppid=8532 vsize=10628892 CPUtime=0 cores=1,3,5,7
/proc/8534/task/8556/stat : 8556 (java) S 8532 8534 8125 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 935192410 10883985408 2141421 33554432000 1073741824 1073778376 140734778478256 18446744073709551615 256427208192 0 4 0 16800975 18446604459529648256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 10628892
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1492.9 s]
/proc/loadavg: 2.36 2.32 2.09 4/552 8596
/proc/meminfo: memFree=9585048/32950928 swapFree=58671692/67111528
[pid=8534] ppid=8532 vsize=0 CPUtime=1800.35 cores=1,3,5,7
/proc/8534/stat : 8534 (java) Z 8532 8534 8125 0 -1 4203548 2169451 0 1 0 179611 424 0 0 17 0 2 0 935182559 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8534/statm: 0 0 0 0 0 0 0
[pid=8534/tid=8535] ppid=8532 vsize=0 CPUtime=1377.08 cores=1,3,5,7
/proc/8534/task/8535/stat : 8535 (java) R 8532 8534 8125 0 -1 4203588 651544 0 1 0 137584 124 0 0 25 0 2 0 935182560 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.35
Current children cumulated vsize (KiB) 0
[startup+1493.1 s]
/proc/loadavg: 2.36 2.32 2.09 4/552 8596
/proc/meminfo: memFree=9585048/32950928 swapFree=58671692/67111528
[pid=8534] ppid=8532 vsize=0 CPUtime=1800.55 cores=1,3,5,7
/proc/8534/stat : 8534 (java) Z 8532 8534 8125 0 -1 4203548 2169451 0 1 0 179611 444 0 0 17 0 2 0 935182559 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8534/statm: 0 0 0 0 0 0 0
[pid=8534/tid=8535] ppid=8532 vsize=0 CPUtime=1377.28 cores=1,3,5,7
/proc/8534/task/8535/stat : 8535 (java) R 8532 8534 8125 0 -1 4203588 651544 0 1 0 137584 144 0 0 25 0 2 0 935182560 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.55
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1493.11
CPU time (s): 1800.57
CPU user time (s): 1796.12
CPU system time (s): 4.45132
CPU usage (%): 120.592
Max. virtual memory (cumulated for all children) (KiB): 10632576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.12
system time used= 4.45132
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2169451
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= 86542
involuntary context switches= 798076
runsolver used 7.80481 second user time and 18.6902 second system time
The end