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-3456159-1307664083/watcher-3456159-1307664083 -o /tmp/evaluation-result-3456159-1307664083/solver-3456159-1307664083 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456159-1307664083.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.00 1.09 1.43 2/189 31520
/proc/meminfo: memFree=32187844/32950928 swapFree=67051812/67111528
[pid=31520] ppid=31518 vsize=31604 CPUtime=0 cores=1,3,5,7
/proc/31520/stat : 31520 (java) S 31518 31520 28735 0 -1 4202496 1248 0 0 0 0 0 0 0 25 0 2 0 956638953 32362496 967 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/31520/statm: 7901 967 739 9 0 386 0
[pid=31520/tid=31523] ppid=31518 vsize=31604 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31523/stat : 31523 (java) R 31518 31520 28735 0 -1 4202560 153 0 0 0 0 0 0 0 25 0 2 0 956638954 32362496 985 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260905655504 0 0 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0903269 s]
/proc/loadavg: 1.00 1.09 1.43 2/189 31520
/proc/meminfo: memFree=32187844/32950928 swapFree=67051812/67111528
[pid=31520] ppid=31518 vsize=10539892 CPUtime=0.1 cores=1,3,5,7
/proc/31520/stat : 31520 (java) S 31518 31520 28735 0 -1 4202496 12980 0 1 0 8 2 0 0 25 0 18 0 956638953 10792849408 12658 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31520/statm: 2634973 12658 2093 9 0 2625707 0
[pid=31520/tid=31523] ppid=31518 vsize=10539892 CPUtime=0.07 cores=1,3,5,7
/proc/31520/task/31523/stat : 31523 (java) R 31518 31520 28735 0 -1 4202560 11032 0 1 0 6 1 0 0 25 0 18 0 956638954 10792849408 12658 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 47608150671267 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539892
[startup+0.100322 s]
/proc/loadavg: 1.00 1.09 1.43 2/189 31520
/proc/meminfo: memFree=32187844/32950928 swapFree=67051812/67111528
[pid=31520] ppid=31518 vsize=10539892 CPUtime=0.11 cores=1,3,5,7
/proc/31520/stat : 31520 (java) S 31518 31520 28735 0 -1 4202496 13114 0 1 0 9 2 0 0 25 0 18 0 956638953 10792849408 12792 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31520/statm: 2634973 12792 2093 9 0 2625707 0
[pid=31520/tid=31523] ppid=31518 vsize=10539892 CPUtime=0.08 cores=1,3,5,7
/proc/31520/task/31523/stat : 31523 (java) R 31518 31520 28735 0 -1 4202560 11166 0 1 0 7 1 0 0 25 0 18 0 956638954 10792849408 12792 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 47608154382911 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539892
[startup+0.30029 s]
/proc/loadavg: 1.00 1.09 1.43 2/189 31520
/proc/meminfo: memFree=32187844/32950928 swapFree=67051812/67111528
[pid=31520] ppid=31518 vsize=10541028 CPUtime=0.48 cores=1,3,5,7
/proc/31520/stat : 31520 (java) S 31518 31520 28735 0 -1 4202496 15698 0 1 0 46 2 0 0 25 0 18 0 956638953 10794012672 15181 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31520/statm: 2635257 15181 2220 9 0 2625991 0
[pid=31520/tid=31523] ppid=31518 vsize=10541028 CPUtime=0.28 cores=1,3,5,7
/proc/31520/task/31523/stat : 31523 (java) R 31518 31520 28735 0 -1 4202560 12877 0 1 0 27 1 0 0 25 0 18 0 956638954 10794012672 15181 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 46912505546092 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10541028
[startup+0.700219 s]
/proc/loadavg: 1.00 1.09 1.43 2/189 31520
/proc/meminfo: memFree=32187844/32950928 swapFree=67051812/67111528
[pid=31520] ppid=31518 vsize=10550444 CPUtime=1.67 cores=1,3,5,7
/proc/31520/stat : 31520 (java) S 31518 31520 28735 0 -1 4202496 36398 0 1 0 162 5 0 0 25 0 18 0 956638953 10803654656 30317 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31520/statm: 2637611 30321 2234 9 0 2628345 0
[pid=31520/tid=31523] ppid=31518 vsize=10550444 CPUtime=0.69 cores=1,3,5,7
/proc/31520/task/31523/stat : 31523 (java) R 31518 31520 28735 0 -1 4202560 23600 0 1 0 66 3 0 0 25 0 18 0 956638954 10803654656 30323 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 46912505586715 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 10550444
[startup+1.50116 s]
/proc/loadavg: 1.08 1.10 1.43 3/214 31545
/proc/meminfo: memFree=31830960/32950928 swapFree=67051812/67111528
[pid=31520] ppid=31518 vsize=10551472 CPUtime=3.2 cores=1,3,5,7
/proc/31520/stat : 31520 (java) S 31518 31520 28735 0 -1 4202496 76383 0 1 0 311 9 0 0 25 0 19 0 956638953 10804707328 70176 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31520/statm: 2637868 70176 2241 9 0 2628602 0
[pid=31520/tid=31523] ppid=31518 vsize=10551472 CPUtime=1.49 cores=1,3,5,7
/proc/31520/task/31523/stat : 31523 (java) R 31518 31520 28735 0 -1 4202560 63344 0 1 0 141 8 0 0 25 0 19 0 956638954 10804707328 70177 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 46912506056391 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31520/tid=31528] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31528/stat : 31528 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10804707328 70178 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31529] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31529/stat : 31529 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10804707328 70178 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31530] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31530/stat : 31530 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10804707328 70178 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31531] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31531/stat : 31531 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10804707328 70178 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31532] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31532/stat : 31532 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10804707328 70178 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31533] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31533/stat : 31533 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10804707328 70180 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31534] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31534/stat : 31534 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10804707328 70181 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31535] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31535/stat : 31535 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10804707328 70182 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31536] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31536/stat : 31536 (java) S 31518 31520 28735 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956638956 10804707328 70183 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210624 0 0 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31537] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31537/stat : 31537 (java) S 31518 31520 28735 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956638957 10804707328 70184 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31538] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31538/stat : 31538 (java) S 31518 31520 28735 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 956638957 10804707328 70184 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 7 0 0 0
[pid=31520/tid=31539] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31539/stat : 31539 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638959 10804707328 70186 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917217713 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31540] ppid=31518 vsize=10551472 CPUtime=0.81 cores=1,3,5,7
/proc/31520/task/31540/stat : 31540 (java) S 31518 31520 28735 0 -1 4202560 5430 0 0 0 81 0 0 0 23 0 19 0 956638959 10804707328 70186 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31541] ppid=31518 vsize=10551472 CPUtime=0.88 cores=1,3,5,7
/proc/31520/task/31541/stat : 31541 (java) S 31518 31520 28735 0 -1 4202560 6449 0 0 0 88 0 0 0 25 0 19 0 956638959 10804707328 70186 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 7 0 0 0
[pid=31520/tid=31542] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31542/stat : 31542 (java) S 31518 31520 28735 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 956638959 10804707328 70188 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31543] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31543/stat : 31543 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956638959 10804707328 70188 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=31520/tid=31545] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31545/stat : 31545 (java) S 31518 31520 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956639048 10804707328 70188 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 10551472
[startup+3.10078 s]
/proc/loadavg: 1.08 1.10 1.43 3/214 31545
/proc/meminfo: memFree=31458340/32950928 swapFree=67051812/67111528
[pid=31520] ppid=31518 vsize=10551472 CPUtime=4.96 cores=1,3,5,7
/proc/31520/stat : 31520 (java) S 31518 31520 28735 0 -1 4202496 132481 0 1 0 481 15 0 0 25 0 19 0 956638953 10804707328 126273 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31520/statm: 2637868 126275 2241 9 0 2628602 0
[pid=31520/tid=31523] ppid=31518 vsize=10551472 CPUtime=3.08 cores=1,3,5,7
/proc/31520/task/31523/stat : 31523 (java) R 31518 31520 28735 0 -1 4202560 119409 0 1 0 295 13 0 0 25 0 19 0 956638954 10804707328 126277 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 46912505803940 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31520/tid=31528] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31528/stat : 31528 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10804707328 126277 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31529] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31529/stat : 31529 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10804707328 126277 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31530] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31530/stat : 31530 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10804707328 126278 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31531] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31531/stat : 31531 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10804707328 126279 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31532] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31532/stat : 31532 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10804707328 126280 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31533] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31533/stat : 31533 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10804707328 126280 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31534] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31534/stat : 31534 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10804707328 126281 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31535] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31535/stat : 31535 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10804707328 126281 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31536] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31536/stat : 31536 (java) S 31518 31520 28735 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 956638956 10804707328 126282 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210624 0 0 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31537] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31537/stat : 31537 (java) S 31518 31520 28735 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956638957 10804707328 126282 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31538] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31538/stat : 31538 (java) S 31518 31520 28735 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 956638957 10804707328 126283 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 7 0 0 0
[pid=31520/tid=31539] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31539/stat : 31539 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638959 10804707328 126283 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917217713 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31540] ppid=31518 vsize=10551472 CPUtime=0.95 cores=1,3,5,7
/proc/31520/task/31540/stat : 31540 (java) S 31518 31520 28735 0 -1 4202560 5467 0 0 0 95 0 0 0 16 0 19 0 956638959 10804707328 126284 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31541] ppid=31518 vsize=10551472 CPUtime=0.9 cores=1,3,5,7
/proc/31520/task/31541/stat : 31541 (java) S 31518 31520 28735 0 -1 4202560 6449 0 0 0 90 0 0 0 15 0 19 0 956638959 10804707328 126285 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 7 0 0 0
[pid=31520/tid=31542] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31542/stat : 31542 (java) S 31518 31520 28735 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 956638959 10804707328 126285 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31543] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31543/stat : 31543 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956638959 10804707328 126285 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=31520/tid=31545] ppid=31518 vsize=10551472 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31545/stat : 31545 (java) S 31518 31520 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956639048 10804707328 126286 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 10551472
[startup+6.30119 s]
/proc/loadavg: 1.15 1.12 1.43 3/214 31545
/proc/meminfo: memFree=30655192/32950928 swapFree=67051812/67111528
[pid=31520] ppid=31518 vsize=10551788 CPUtime=8.28 cores=1,3,5,7
/proc/31520/stat : 31520 (java) S 31518 31520 28735 0 -1 4202496 231285 0 1 0 803 25 0 0 25 0 19 0 956638953 10805030912 224671 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31520/statm: 2637947 224671 2244 9 0 2628681 0
[pid=31520/tid=31523] ppid=31518 vsize=10551788 CPUtime=6.29 cores=1,3,5,7
/proc/31520/task/31523/stat : 31523 (java) R 31518 31520 28735 0 -1 4202560 218144 0 1 0 606 23 0 0 25 0 19 0 956638954 10805030912 224671 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 46912506056368 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31520/tid=31528] ppid=31518 vsize=10551788 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31528/stat : 31528 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10805030912 224671 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31529] ppid=31518 vsize=10551788 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31529/stat : 31529 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10805030912 224672 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31530] ppid=31518 vsize=10551788 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31530/stat : 31530 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10805030912 224672 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31531] ppid=31518 vsize=10551788 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31531/stat : 31531 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10805030912 224672 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31532] ppid=31518 vsize=10551788 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31532/stat : 31532 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10805030912 224672 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31533] ppid=31518 vsize=10551788 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31533/stat : 31533 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10805030912 224673 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31534] ppid=31518 vsize=10551788 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31534/stat : 31534 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10805030912 224673 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31535] ppid=31518 vsize=10551788 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31535/stat : 31535 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638955 10805030912 224673 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31536] ppid=31518 vsize=10551788 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31536/stat : 31536 (java) S 31518 31520 28735 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 956638956 10805030912 224673 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210624 0 0 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31537] ppid=31518 vsize=10551788 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31537/stat : 31537 (java) S 31518 31520 28735 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956638957 10805030912 224674 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31538] ppid=31518 vsize=10551788 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31538/stat : 31538 (java) S 31518 31520 28735 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 956638957 10805030912 224674 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 7 0 0 0
[pid=31520/tid=31539] ppid=31518 vsize=10551788 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31539/stat : 31539 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638959 10805030912 224674 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917217713 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31540] ppid=31518 vsize=10551788 CPUtime=1.04 cores=1,3,5,7
/proc/31520/task/31540/stat : 31540 (java) S 31518 31520 28735 0 -1 4202560 5529 0 0 0 104 0 0 0 15 0 19 0 956638959 10805030912 224674 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31541] ppid=31518 vsize=10551788 CPUtime=0.92 cores=1,3,5,7
/proc/31520/task/31541/stat : 31541 (java) S 31518 31520 28735 0 -1 4202560 6451 0 0 0 92 0 0 0 15 0 19 0 956638959 10805030912 224675 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/31520/task/31538/stat : 31538 (java) S 31518 31520 28735 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 956638957 10805342208 1101268 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 7 0 0 0
[pid=31520/tid=31539] ppid=31518 vsize=10552092 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31539/stat : 31539 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638959 10805342208 1101268 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917217713 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31540] ppid=31518 vsize=10552092 CPUtime=1.2 cores=1,3,5,7
/proc/31520/task/31540/stat : 31540 (java) S 31518 31520 28735 0 -1 4202560 5560 0 0 0 120 0 0 0 15 0 19 0 956638959 10805342208 1101268 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=31520/tid=31541] ppid=31518 vsize=10552092 CPUtime=1.2 cores=1,3,5,7
/proc/31520/task/31541/stat : 31541 (java) S 31518 31520 28735 0 -1 4202560 6566 0 0 0 120 0 0 0 16 0 19 0 956638959 10805342208 1101268 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31542] ppid=31518 vsize=10552092 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31542/stat : 31542 (java) S 31518 31520 28735 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 956638959 10805342208 1101268 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31543] ppid=31518 vsize=10552092 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31543/stat : 31543 (java) S 31518 31520 28735 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 956638959 10805342208 1101268 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31545] ppid=31518 vsize=10552092 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31545/stat : 31545 (java) S 31518 31520 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956639048 10805342208 1101268 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1672.74
Current children cumulated vsize (KiB) 10552092
[startup+1722.3 s]
/proc/loadavg: 2.10 2.08 1.91 3/214 31591
/proc/meminfo: memFree=23387312/32950928 swapFree=67051812/67111528
[pid=31520] ppid=31518 vsize=10552092 CPUtime=1733.02 cores=1,3,5,7
/proc/31520/stat : 31520 (java) S 31518 31520 28735 0 -1 4202496 1127206 0 1 0 173172 130 0 0 25 0 19 0 956638953 10805342208 1113429 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31520/statm: 2638023 1113429 2270 9 0 2628757 0
[pid=31520/tid=31523] ppid=31518 vsize=10552092 CPUtime=1718.33 cores=1,3,5,7
/proc/31520/task/31523/stat : 31523 (java) R 31518 31520 28735 0 -1 4202560 668874 0 1 0 171759 74 0 0 25 0 19 0 956638954 10805342208 1113429 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 46912506131102 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31520/tid=31528] ppid=31518 vsize=10552092 CPUtime=1.38 cores=1,3,5,7
/proc/31520/task/31528/stat : 31528 (java) S 31518 31520 28735 0 -1 4202560 64776 0 0 0 130 8 0 0 15 0 19 0 956638955 10805342208 1113429 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31529] ppid=31518 vsize=10552092 CPUtime=1.05 cores=1,3,5,7
/proc/31520/task/31529/stat : 31529 (java) S 31518 31520 28735 0 -1 4202560 35195 0 0 0 102 3 0 0 16 0 19 0 956638955 10805342208 1113429 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 7 0 0 0
[pid=31520/tid=31530] ppid=31518 vsize=10552092 CPUtime=1.69 cores=1,3,5,7
/proc/31520/task/31530/stat : 31530 (java) S 31518 31520 28735 0 -1 4202560 53092 0 0 0 164 5 0 0 16 0 19 0 956638955 10805342208 1113429 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=31520/tid=31531] ppid=31518 vsize=10552092 CPUtime=1.3 cores=1,3,5,7
/proc/31520/task/31531/stat : 31531 (java) S 31518 31520 28735 0 -1 4202560 47818 0 0 0 126 4 0 0 15 0 19 0 956638955 10805342208 1113429 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=31520/tid=31532] ppid=31518 vsize=10552092 CPUtime=1.58 cores=1,3,5,7
/proc/31520/task/31532/stat : 31532 (java) S 31518 31520 28735 0 -1 4202560 64383 0 0 0 151 7 0 0 16 0 19 0 956638955 10805342208 1113429 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31533] ppid=31518 vsize=10552092 CPUtime=1.58 cores=1,3,5,7
/proc/31520/task/31533/stat : 31533 (java) S 31518 31520 28735 0 -1 4202560 66717 0 0 0 150 8 0 0 16 0 19 0 956638955 10805342208 1113429 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31534] ppid=31518 vsize=10552092 CPUtime=1.35 cores=1,3,5,7
/proc/31520/task/31534/stat : 31534 (java) S 31518 31520 28735 0 -1 4202560 57226 0 0 0 127 8 0 0 16 0 19 0 956638955 10805342208 1113429 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31535] ppid=31518 vsize=10552092 CPUtime=1.05 cores=1,3,5,7
/proc/31520/task/31535/stat : 31535 (java) S 31518 31520 28735 0 -1 4202560 51723 0 0 0 98 7 0 0 15 0 19 0 956638955 10805342208 1113429 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=31520/tid=31536] ppid=31518 vsize=10552092 CPUtime=1.18 cores=1,3,5,7
/proc/31520/task/31536/stat : 31536 (java) S 31518 31520 28735 0 -1 4202560 4020 0 0 0 118 0 0 0 15 0 19 0 956638956 10805342208 1113429 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210624 0 0 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31537] ppid=31518 vsize=10552092 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31537/stat : 31537 (java) S 31518 31520 28735 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956638957 10805342208 1113429 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31538] ppid=31518 vsize=10552092 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31538/stat : 31538 (java) S 31518 31520 28735 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 956638957 10805342208 1113429 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 7 0 0 0
[pid=31520/tid=31539] ppid=31518 vsize=10552092 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31539/stat : 31539 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638959 10805342208 1113429 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917217713 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31540] ppid=31518 vsize=10552092 CPUtime=1.22 cores=1,3,5,7
/proc/31520/task/31540/stat : 31540 (java) S 31518 31520 28735 0 -1 4202560 5563 0 0 0 122 0 0 0 15 0 19 0 956638959 10805342208 1113429 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=31520/tid=31541] ppid=31518 vsize=10552092 CPUtime=1.2 cores=1,3,5,7
/proc/31520/task/31541/stat : 31541 (java) S 31518 31520 28735 0 -1 4202560 6566 0 0 0 120 0 0 0 16 0 19 0 956638959 10805342208 1113429 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31542] ppid=31518 vsize=10552092 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31542/stat : 31542 (java) S 31518 31520 28735 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 956638959 10805342208 1113429 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31543] ppid=31518 vsize=10552092 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31543/stat : 31543 (java) S 31518 31520 28735 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 956638959 10805342208 1113429 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31545] ppid=31518 vsize=10552092 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31545/stat : 31545 (java) S 31518 31520 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956639048 10805342208 1113429 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1733.02
Current children cumulated vsize (KiB) 10552092
[startup+1782.3 s]
/proc/loadavg: 2.03 2.06 1.91 3/214 31592
/proc/meminfo: memFree=23332692/32950928 swapFree=67051812/67111528
[pid=31520] ppid=31518 vsize=10552092 CPUtime=1793.18 cores=1,3,5,7
/proc/31520/stat : 31520 (java) S 31518 31520 28735 0 -1 4202496 1133726 0 1 0 179187 131 0 0 25 0 19 0 956638953 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31520/statm: 2638023 1119502 2270 9 0 2628757 0
[pid=31520/tid=31523] ppid=31518 vsize=10552092 CPUtime=1778.28 cores=1,3,5,7
/proc/31520/task/31523/stat : 31523 (java) R 31518 31520 28735 0 -1 4202560 668875 0 1 0 177754 74 0 0 25 0 19 0 956638954 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 46912506056182 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31520/tid=31528] ppid=31518 vsize=10552092 CPUtime=1.38 cores=1,3,5,7
/proc/31520/task/31528/stat : 31528 (java) S 31518 31520 28735 0 -1 4202560 64776 0 0 0 130 8 0 0 15 0 19 0 956638955 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31529] ppid=31518 vsize=10552092 CPUtime=1.05 cores=1,3,5,7
/proc/31520/task/31529/stat : 31529 (java) S 31518 31520 28735 0 -1 4202560 35195 0 0 0 102 3 0 0 15 0 19 0 956638955 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 7 0 0 0
[pid=31520/tid=31530] ppid=31518 vsize=10552092 CPUtime=1.73 cores=1,3,5,7
/proc/31520/task/31530/stat : 31530 (java) S 31518 31520 28735 0 -1 4202560 54022 0 0 0 168 5 0 0 16 0 19 0 956638955 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 7 0 0 0
[pid=31520/tid=31531] ppid=31518 vsize=10552092 CPUtime=1.35 cores=1,3,5,7
/proc/31520/task/31531/stat : 31531 (java) S 31518 31520 28735 0 -1 4202560 50649 0 0 0 131 4 0 0 16 0 19 0 956638955 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=31520/tid=31532] ppid=31518 vsize=10552092 CPUtime=1.6 cores=1,3,5,7
/proc/31520/task/31532/stat : 31532 (java) S 31518 31520 28735 0 -1 4202560 64387 0 0 0 153 7 0 0 16 0 19 0 956638955 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31533] ppid=31518 vsize=10552092 CPUtime=1.58 cores=1,3,5,7
/proc/31520/task/31533/stat : 31533 (java) S 31518 31520 28735 0 -1 4202560 66717 0 0 0 150 8 0 0 15 0 19 0 956638955 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31534] ppid=31518 vsize=10552092 CPUtime=1.38 cores=1,3,5,7
/proc/31520/task/31534/stat : 31534 (java) S 31518 31520 28735 0 -1 4202560 57576 0 0 0 130 8 0 0 16 0 19 0 956638955 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31535] ppid=31518 vsize=10552092 CPUtime=1.12 cores=1,3,5,7
/proc/31520/task/31535/stat : 31535 (java) S 31518 31520 28735 0 -1 4202560 54123 0 0 0 104 8 0 0 16 0 19 0 956638955 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 7 0 0 0
[pid=31520/tid=31536] ppid=31518 vsize=10552092 CPUtime=1.18 cores=1,3,5,7
/proc/31520/task/31536/stat : 31536 (java) S 31518 31520 28735 0 -1 4202560 4022 0 0 0 118 0 0 0 15 0 19 0 956638956 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210624 0 0 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31537] ppid=31518 vsize=10552092 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31537/stat : 31537 (java) S 31518 31520 28735 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956638957 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31538] ppid=31518 vsize=10552092 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31538/stat : 31538 (java) S 31518 31520 28735 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 956638957 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 7 0 0 0
[pid=31520/tid=31539] ppid=31518 vsize=10552092 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31539/stat : 31539 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638959 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917217713 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31540] ppid=31518 vsize=10552092 CPUtime=1.22 cores=1,3,5,7
/proc/31520/task/31540/stat : 31540 (java) S 31518 31520 28735 0 -1 4202560 5563 0 0 0 122 0 0 0 15 0 19 0 956638959 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=31520/tid=31541] ppid=31518 vsize=10552092 CPUtime=1.2 cores=1,3,5,7
/proc/31520/task/31541/stat : 31541 (java) S 31518 31520 28735 0 -1 4202560 6566 0 0 0 120 0 0 0 16 0 19 0 956638959 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31542] ppid=31518 vsize=10552092 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31542/stat : 31542 (java) S 31518 31520 28735 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 956638959 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31543] ppid=31518 vsize=10552092 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31543/stat : 31543 (java) S 31518 31520 28735 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 956638959 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31545] ppid=31518 vsize=10552092 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31545/stat : 31545 (java) S 31518 31520 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956639048 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1793.18
Current children cumulated vsize (KiB) 10552092
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789.2 s]
/proc/loadavg: 2.03 2.06 1.91 3/214 31592
/proc/meminfo: memFree=23332568/32950928 swapFree=67051812/67111528
[pid=31520] ppid=31518 vsize=10552092 CPUtime=1800.08 cores=1,3,5,7
/proc/31520/stat : 31520 (java) S 31518 31520 28735 0 -1 4202496 1133728 0 1 0 179877 131 0 0 25 0 19 0 956638953 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31520/statm: 2638023 1119502 2270 9 0 2628757 0
[pid=31520/tid=31523] ppid=31518 vsize=10552092 CPUtime=1785.18 cores=1,3,5,7
/proc/31520/task/31523/stat : 31523 (java) R 31518 31520 28735 0 -1 4202560 668875 0 1 0 178444 74 0 0 25 0 19 0 956638954 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 46912506076240 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31520/tid=31528] ppid=31518 vsize=10552092 CPUtime=1.38 cores=1,3,5,7
/proc/31520/task/31528/stat : 31528 (java) S 31518 31520 28735 0 -1 4202560 64776 0 0 0 130 8 0 0 15 0 19 0 956638955 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31529] ppid=31518 vsize=10552092 CPUtime=1.05 cores=1,3,5,7
/proc/31520/task/31529/stat : 31529 (java) S 31518 31520 28735 0 -1 4202560 35195 0 0 0 102 3 0 0 15 0 19 0 956638955 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 7 0 0 0
[pid=31520/tid=31530] ppid=31518 vsize=10552092 CPUtime=1.73 cores=1,3,5,7
/proc/31520/task/31530/stat : 31530 (java) S 31518 31520 28735 0 -1 4202560 54022 0 0 0 168 5 0 0 16 0 19 0 956638955 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 7 0 0 0
[pid=31520/tid=31531] ppid=31518 vsize=10552092 CPUtime=1.35 cores=1,3,5,7
/proc/31520/task/31531/stat : 31531 (java) S 31518 31520 28735 0 -1 4202560 50649 0 0 0 131 4 0 0 16 0 19 0 956638955 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=31520/tid=31532] ppid=31518 vsize=10552092 CPUtime=1.6 cores=1,3,5,7
/proc/31520/task/31532/stat : 31532 (java) S 31518 31520 28735 0 -1 4202560 64387 0 0 0 153 7 0 0 16 0 19 0 956638955 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31533] ppid=31518 vsize=10552092 CPUtime=1.58 cores=1,3,5,7
/proc/31520/task/31533/stat : 31533 (java) S 31518 31520 28735 0 -1 4202560 66717 0 0 0 150 8 0 0 15 0 19 0 956638955 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31534] ppid=31518 vsize=10552092 CPUtime=1.38 cores=1,3,5,7
/proc/31520/task/31534/stat : 31534 (java) S 31518 31520 28735 0 -1 4202560 57576 0 0 0 130 8 0 0 16 0 19 0 956638955 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31535] ppid=31518 vsize=10552092 CPUtime=1.12 cores=1,3,5,7
/proc/31520/task/31535/stat : 31535 (java) S 31518 31520 28735 0 -1 4202560 54123 0 0 0 104 8 0 0 16 0 19 0 956638955 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 7 0 0 0
[pid=31520/tid=31536] ppid=31518 vsize=10552092 CPUtime=1.18 cores=1,3,5,7
/proc/31520/task/31536/stat : 31536 (java) S 31518 31520 28735 0 -1 4202560 4022 0 0 0 118 0 0 0 15 0 19 0 956638956 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210624 0 0 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31537] ppid=31518 vsize=10552092 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31537/stat : 31537 (java) S 31518 31520 28735 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 956638957 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31538] ppid=31518 vsize=10552092 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31538/stat : 31538 (java) S 31518 31520 28735 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 956638957 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 7 0 0 0
[pid=31520/tid=31539] ppid=31518 vsize=10552092 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31539/stat : 31539 (java) S 31518 31520 28735 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956638959 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917217713 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
[pid=31520/tid=31540] ppid=31518 vsize=10552092 CPUtime=1.22 cores=1,3,5,7
/proc/31520/task/31540/stat : 31540 (java) S 31518 31520 28735 0 -1 4202560 5563 0 0 0 122 0 0 0 15 0 19 0 956638959 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 3 0 0 0
[pid=31520/tid=31541] ppid=31518 vsize=10552092 CPUtime=1.2 cores=1,3,5,7
/proc/31520/task/31541/stat : 31541 (java) S 31518 31520 28735 0 -1 4202560 6566 0 0 0 120 0 0 0 16 0 19 0 956638959 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31542] ppid=31518 vsize=10552092 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31542/stat : 31542 (java) S 31518 31520 28735 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 956638959 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210009 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31543] ppid=31518 vsize=10552092 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31543/stat : 31543 (java) S 31518 31520 28735 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 956638959 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 1 0 0 0
[pid=31520/tid=31545] ppid=31518 vsize=10552092 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31545/stat : 31545 (java) S 31518 31520 28735 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956639048 10805342208 1119502 33554432000 1073741824 1073778376 140735894020512 18446744073709551615 260917210624 0 4 0 16800975 18446604471149804288 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10552092
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1789.31 s]
/proc/loadavg: 2.03 2.06 1.91 3/214 31592
/proc/meminfo: memFree=23332568/32950928 swapFree=67051812/67111528
[pid=31520] ppid=31518 vsize=0 CPUtime=1800.21 cores=1,3,5,7
/proc/31520/stat : 31520 (java) Z 31518 31520 28735 0 -1 4203548 1133760 0 1 0 179881 140 0 0 17 0 2 0 956638953 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31520/statm: 0 0 0 0 0 0 0
[pid=31520/tid=31523] ppid=31518 vsize=0 CPUtime=1785.28 cores=1,3,5,7
/proc/31520/task/31523/stat : 31523 (java) R 31518 31520 28735 0 -1 4203588 668875 0 1 0 178446 82 0 0 25 0 2 0 956638954 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1789.39
CPU time (s): 1800.3
CPU user time (s): 1798.82
CPU system time (s): 1.48277
CPU usage (%): 100.61
Max. virtual memory (cumulated for all children) (KiB): 10552852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.82
system time used= 1.48277
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1133760
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= 37789
involuntary context switches= 12232
runsolver used 2.96455 second user time and 6.80896 second system time
The end