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-3457215-1307217677/watcher-3457215-1307217677 -o /tmp/evaluation-result-3457215-1307217677/solver-3457215-1307217677 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457215-1307217677.opb
running on 4 cores: 0,2,4,6
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.84 2.00 1.71 2/506 25530
/proc/meminfo: memFree=21127104/32951124 swapFree=46575304/67111528
[pid=25530] ppid=25528 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/25530/stat : 25530 (java) S 25528 25530 25273 0 -1 4202496 4320 0 1 0 0 0 0 0 18 0 2 0 565959019 10694979584 4022 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/25530/statm: 2611079 4034 917 9 0 2602235 0
[pid=25530/tid=25531] ppid=25528 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25531/stat : 25531 (java) R 25528 25530 25273 0 -1 4202560 7266 0 1 0 0 0 0 0 19 0 2 0 565959020 10694979584 8082 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.092097 s]
/proc/loadavg: 1.84 2.00 1.71 2/506 25530
/proc/meminfo: memFree=21127104/32951124 swapFree=46575304/67111528
[pid=25530] ppid=25528 vsize=10474768 CPUtime=0.09 cores=0,2,4,6
/proc/25530/stat : 25530 (java) S 25528 25530 25273 0 -1 4202496 12914 0 1 0 8 1 0 0 18 0 18 0 565959019 10726162432 12611 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25530/statm: 2618692 12611 2093 9 0 2609426 0
[pid=25530/tid=25531] ppid=25528 vsize=10474768 CPUtime=0.07 cores=0,2,4,6
/proc/25530/task/25531/stat : 25531 (java) R 25528 25530 25273 0 -1 4202560 10998 0 1 0 6 1 0 0 25 0 18 0 565959020 10726162432 12611 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672488907 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10474768
[startup+0.101159 s]
/proc/loadavg: 1.84 2.00 1.71 2/506 25530
/proc/meminfo: memFree=21127104/32951124 swapFree=46575304/67111528
[pid=25530] ppid=25528 vsize=10474900 CPUtime=0.1 cores=0,2,4,6
/proc/25530/stat : 25530 (java) S 25528 25530 25273 0 -1 4202496 13018 0 1 0 9 1 0 0 18 0 18 0 565959019 10726297600 12715 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25530/statm: 2618725 12715 2093 9 0 2609459 0
[pid=25530/tid=25531] ppid=25528 vsize=10474900 CPUtime=0.08 cores=0,2,4,6
/proc/25530/task/25531/stat : 25531 (java) R 25528 25530 25273 0 -1 4202560 11102 0 1 0 7 1 0 0 25 0 18 0 565959020 10726297600 12715 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 47314834650811 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10474900
[startup+0.340131 s]
/proc/loadavg: 1.84 2.00 1.71 2/506 25530
/proc/meminfo: memFree=21127104/32951124 swapFree=46575304/67111528
[pid=25530] ppid=25528 vsize=10543748 CPUtime=0.64 cores=0,2,4,6
/proc/25530/stat : 25530 (java) S 25528 25530 25273 0 -1 4202496 18965 0 1 0 62 2 0 0 18 0 18 0 565959019 10796797952 17470 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25530/statm: 2635937 17472 2209 9 0 2626671 0
[pid=25530/tid=25531] ppid=25528 vsize=10543748 CPUtime=0.32 cores=0,2,4,6
/proc/25530/task/25531/stat : 25531 (java) R 25528 25530 25273 0 -1 4202560 14349 0 1 0 31 1 0 0 18 0 18 0 565959020 10796797952 17472 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 46912505640496 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 10543748
[startup+1.04199 s]
/proc/loadavg: 1.84 2.00 1.71 2/506 25530
/proc/meminfo: memFree=21127104/32951124 swapFree=46575304/67111528
[pid=25530] ppid=25528 vsize=10554004 CPUtime=2.45 cores=0,2,4,6
/proc/25530/stat : 25530 (java) S 25528 25530 25273 0 -1 4202496 58653 0 1 0 239 6 0 0 18 0 19 0 565959019 10807300096 52538 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25530/statm: 2638501 52541 2238 9 0 2629235 0
[pid=25530/tid=25531] ppid=25528 vsize=10554004 CPUtime=1.02 cores=0,2,4,6
/proc/25530/task/25531/stat : 25531 (java) R 25528 25530 25273 0 -1 4202560 44140 0 1 0 98 4 0 0 18 0 19 0 565959020 10807300096 52543 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 46912505818419 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 10554004
[startup+1.50091 s]
/proc/loadavg: 1.84 2.00 1.71 3/508 25550
/proc/meminfo: memFree=20563684/32951124 swapFree=46575304/67111528
[pid=25530] ppid=25528 vsize=10554004 CPUtime=3.09 cores=0,2,4,6
/proc/25530/stat : 25530 (java) S 25528 25530 25273 0 -1 4202496 96959 0 1 0 297 12 0 0 18 0 19 0 565959019 10807300096 90843 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25530/statm: 2638501 90848 2239 9 0 2629235 0
[pid=25530/tid=25531] ppid=25528 vsize=10554004 CPUtime=1.47 cores=0,2,4,6
/proc/25530/task/25531/stat : 25531 (java) R 25528 25530 25273 0 -1 4202560 82418 0 1 0 138 9 0 0 18 0 19 0 565959020 10807300096 90849 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 46912505896099 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25530/tid=25533] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25533/stat : 25533 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 565959021 10807300096 90851 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25534] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25534/stat : 25534 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 565959021 10807300096 90853 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25535] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25535/stat : 25535 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 565959021 10807300096 90862 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25536] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25536/stat : 25536 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 565959021 10807300096 90864 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25537] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25537/stat : 25537 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 565959021 10807300096 90866 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25538] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25538/stat : 25538 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 565959021 10807300096 90868 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25539] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25539/stat : 25539 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 565959021 10807300096 90871 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25540] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25540/stat : 25540 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 565959021 10807300096 90873 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25541] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25541/stat : 25541 (java) S 25528 25530 25273 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 565959022 10807300096 90876 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478720 0 0 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25542] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25542/stat : 25542 (java) S 25528 25530 25273 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 565959023 10807300096 90879 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25543] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25543/stat : 25543 (java) S 25528 25530 25273 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 565959023 10807300096 90883 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25544] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25544/stat : 25544 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565959025 10807300096 90887 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672485809 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25545] ppid=25528 vsize=10554004 CPUtime=0.73 cores=0,2,4,6
/proc/25530/task/25545/stat : 25545 (java) S 25528 25530 25273 0 -1 4202560 5965 0 0 0 73 0 0 0 23 0 19 0 565959025 10807300096 90890 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 0 0 0 0
[pid=25530/tid=25546] ppid=25528 vsize=10554004 CPUtime=0.85 cores=0,2,4,6
/proc/25530/task/25546/stat : 25546 (java) S 25528 25530 25273 0 -1 4202560 7422 0 0 0 84 1 0 0 16 0 19 0 565959025 10807300096 90893 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 4 0 0 0
[pid=25530/tid=25547] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25547/stat : 25547 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565959025 10807300096 90897 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25548] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25548/stat : 25548 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 565959025 10807300096 90900 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478720 0 4 0 16800975 18446604443353437312 0 0 -1 0 0 0 0
[pid=25530/tid=25549] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25549/stat : 25549 (java) S 25528 25530 25273 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 565959074 10807300096 90902 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478720 0 4 0 16800975 18446604443353437312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10554004
[startup+3.1016 s]
/proc/loadavg: 1.78 1.98 1.70 2/502 25567
/proc/meminfo: memFree=20671128/32951124 swapFree=46575304/67111528
[pid=25530] ppid=25528 vsize=10554004 CPUtime=4.81 cores=0,2,4,6
/proc/25530/stat : 25530 (java) S 25528 25530 25273 0 -1 4202496 245696 0 1 0 453 28 0 0 18 0 19 0 565959019 10807300096 239578 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25530/statm: 2638501 239581 2242 9 0 2629235 0
[pid=25530/tid=25531] ppid=25528 vsize=10554004 CPUtime=3.08 cores=0,2,4,6
/proc/25530/task/25531/stat : 25531 (java) R 25528 25530 25273 0 -1 4202560 231134 0 1 0 282 26 0 0 21 0 19 0 565959020 10807300096 239583 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 46912505896081 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25530/tid=25533] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25533/stat : 25533 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 565959021 10807300096 239584 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25534] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25534/stat : 25534 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 565959021 10807300096 239585 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25535] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25535/stat : 25535 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 565959021 10807300096 239586 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25536] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25536/stat : 25536 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 565959021 10807300096 239587 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25537] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25537/stat : 25537 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 565959021 10807300096 239588 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25538] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25538/stat : 25538 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 565959021 10807300096 239589 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25539] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25539/stat : 25539 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 565959021 10807300096 239590 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25540] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25540/stat : 25540 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 565959021 10807300096 239591 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25541] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25541/stat : 25541 (java) S 25528 25530 25273 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 565959022 10807300096 239593 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478720 0 0 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25542] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25542/stat : 25542 (java) S 25528 25530 25273 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 565959023 10807300096 239596 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25543] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25543/stat : 25543 (java) S 25528 25530 25273 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 565959023 10807300096 239598 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25544] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25544/stat : 25544 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565959025 10807300096 239600 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672485809 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25545] ppid=25528 vsize=10554004 CPUtime=0.8 cores=0,2,4,6
/proc/25530/task/25545/stat : 25545 (java) S 25528 25530 25273 0 -1 4202560 5978 0 0 0 80 0 0 0 21 0 19 0 565959025 10807300096 239602 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 0 0 0 0
[pid=25530/tid=25546] ppid=25528 vsize=10554004 CPUtime=0.91 cores=0,2,4,6
/proc/25530/task/25546/stat : 25546 (java) S 25528 25530 25273 0 -1 4202560 7428 0 0 0 90 1 0 0 16 0 19 0 565959025 10807300096 239604 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 4 0 0 0
[pid=25530/tid=25547] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25547/stat : 25547 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565959025 10807300096 239606 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25548] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25548/stat : 25548 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 565959025 10807300096 239608 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478720 0 4 0 16800975 18446604443353437312 0 0 -1 0 0 0 0
[pid=25530/tid=25549] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25549/stat : 25549 (java) S 25528 25530 25273 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 565959074 10807300096 239610 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478720 0 4 0 16800975 18446604443353437312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 10554004
[startup+6.30107 s]
/proc/loadavg: 1.78 1.98 1.70 3/525 25595
/proc/meminfo: memFree=19143008/32951124 swapFree=46575304/67111528
[pid=25530] ppid=25528 vsize=10554004 CPUtime=8.01 cores=0,2,4,6
/proc/25530/stat : 25530 (java) S 25528 25530 25273 0 -1 4202496 516697 0 1 0 745 56 0 0 18 0 19 0 565959019 10807300096 510570 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25530/statm: 2638501 510576 2242 9 0 2629235 0
[pid=25530/tid=25531] ppid=25528 vsize=10554004 CPUtime=6.28 cores=0,2,4,6
/proc/25530/task/25531/stat : 25531 (java) R 25528 25530 25273 0 -1 4202560 502137 0 1 0 574 54 0 0 25 0 19 0 565959020 10807300096 510577 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 46912505570161 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=25530/tid=25533] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25533/stat : 25533 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 565959021 10807300096 510581 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25534] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25534/stat : 25534 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 565959021 10807300096 510585 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25535] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25535/stat : 25535 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 565959021 10807300096 510587 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25536] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25536/stat : 25536 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 565959021 10807300096 510589 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25537] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25537/stat : 25537 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 565959021 10807300096 510591 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25538] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25538/stat : 25538 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 565959021 10807300096 510592 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25539] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25539/stat : 25539 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 565959021 10807300096 510594 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25540] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25540/stat : 25540 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 565959021 10807300096 510595 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25541] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25541/stat : 25541 (java) S 25528 25530 25273 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 565959022 10807300096 510597 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478720 0 0 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25542] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25542/stat : 25542 (java) S 25528 25530 25273 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 565959023 10807300096 510599 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25543] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25543/stat : 25543 (java) S 25528 25530 25273 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 565959023 10807300096 510600 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25544] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25544/stat : 25544 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565959025 10807300096 510601 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672485809 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25545] ppid=25528 vsize=10554004 CPUtime=0.8 cores=0,2,4,6
/proc/25530/task/25545/stat : 25545 (java) S 25528 25530 25273 0 -1 4202560 5978 0 0 0 80 0 0 0 21 0 19 0 565959025 10807300096 510602 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 0 0 0 0
[pid=25530/tid=25546] ppid=25528 vsize=10554004 CPUtime=0.91 cores=0,2,4,6
/proc/25530/task/25546/stat : 25546 (java) S 25528 25530 25273 0 -1 4202560 7428 0 0 0 90 1 0 0 15 0 19 0 565959025 10807300096 510603 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=25530/tid=25549] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25549/stat : 25549 (java) S 25528 25530 25273 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 565959074 10807300096 1012858 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478720 0 4 0 16800975 18446604443353437312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1670.92
Current children cumulated vsize (KiB) 10554004
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 1.95 3/525 25641
/proc/meminfo: memFree=13476788/32951124 swapFree=46575304/67111528
[pid=25530] ppid=25528 vsize=10554004 CPUtime=1731.07 cores=0,2,4,6
/proc/25530/stat : 25530 (java) S 25528 25530 25273 0 -1 4202496 1028937 0 1 0 172983 124 0 0 18 0 19 0 565959019 10807300096 1016992 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25530/statm: 2638501 1016992 2268 9 0 2629235 0
[pid=25530/tid=25531] ppid=25528 vsize=10554004 CPUtime=1715.79 cores=0,2,4,6
/proc/25530/task/25531/stat : 25531 (java) R 25528 25530 25273 0 -1 4202560 802064 0 1 0 171492 87 0 0 25 0 19 0 565959020 10807300096 1016992 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 46912505894007 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25530/tid=25533] ppid=25528 vsize=10554004 CPUtime=1.08 cores=0,2,4,6
/proc/25530/task/25533/stat : 25533 (java) S 25528 25530 25273 0 -1 4202560 22593 0 0 0 105 3 0 0 15 0 19 0 565959021 10807300096 1016992 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 4 0 0 0
[pid=25530/tid=25534] ppid=25528 vsize=10554004 CPUtime=1.13 cores=0,2,4,6
/proc/25530/task/25534/stat : 25534 (java) S 25528 25530 25273 0 -1 4202560 25950 0 0 0 109 4 0 0 16 0 19 0 565959021 10807300096 1016992 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 0 0 0 0
[pid=25530/tid=25535] ppid=25528 vsize=10554004 CPUtime=1.11 cores=0,2,4,6
/proc/25530/task/25535/stat : 25535 (java) S 25528 25530 25273 0 -1 4202560 21602 0 0 0 109 2 0 0 15 0 19 0 565959021 10807300096 1016992 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25536] ppid=25528 vsize=10554004 CPUtime=1.28 cores=0,2,4,6
/proc/25530/task/25536/stat : 25536 (java) S 25528 25530 25273 0 -1 4202560 25895 0 0 0 125 3 0 0 16 0 19 0 565959021 10807300096 1016992 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25537] ppid=25528 vsize=10554004 CPUtime=1.47 cores=0,2,4,6
/proc/25530/task/25537/stat : 25537 (java) S 25528 25530 25273 0 -1 4202560 28732 0 0 0 142 5 0 0 15 0 19 0 565959021 10807300096 1016992 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 4 0 0 0
[pid=25530/tid=25538] ppid=25528 vsize=10554004 CPUtime=1.06 cores=0,2,4,6
/proc/25530/task/25538/stat : 25538 (java) S 25528 25530 25273 0 -1 4202560 19216 0 0 0 104 2 0 0 16 0 19 0 565959021 10807300096 1016992 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25539] ppid=25528 vsize=10554004 CPUtime=0.97 cores=0,2,4,6
/proc/25530/task/25539/stat : 25539 (java) S 25528 25530 25273 0 -1 4202560 14395 0 0 0 95 2 0 0 15 0 19 0 565959021 10807300096 1016992 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25540] ppid=25528 vsize=10554004 CPUtime=1.37 cores=0,2,4,6
/proc/25530/task/25540/stat : 25540 (java) S 25528 25530 25273 0 -1 4202560 29842 0 0 0 133 4 0 0 16 0 19 0 565959021 10807300096 1016992 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 4 0 0 0
[pid=25530/tid=25541] ppid=25528 vsize=10554004 CPUtime=3.42 cores=0,2,4,6
/proc/25530/task/25541/stat : 25541 (java) S 25528 25530 25273 0 -1 4202560 21367 0 0 0 339 3 0 0 15 0 19 0 565959022 10807300096 1016992 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478720 0 0 0 16800975 18446604443353437312 0 0 -1 0 0 0 0
[pid=25530/tid=25542] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25542/stat : 25542 (java) S 25528 25530 25273 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 565959023 10807300096 1016992 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25543] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25543/stat : 25543 (java) S 25528 25530 25273 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 565959023 10807300096 1016992 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25544] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25544/stat : 25544 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565959025 10807300096 1016992 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672485809 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25545] ppid=25528 vsize=10554004 CPUtime=0.89 cores=0,2,4,6
/proc/25530/task/25545/stat : 25545 (java) S 25528 25530 25273 0 -1 4202560 5987 0 0 0 89 0 0 0 16 0 19 0 565959025 10807300096 1016992 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 0 0 0 0
[pid=25530/tid=25546] ppid=25528 vsize=10554004 CPUtime=1.37 cores=0,2,4,6
/proc/25530/task/25546/stat : 25546 (java) S 25528 25530 25273 0 -1 4202560 10044 0 0 0 136 1 0 0 15 0 19 0 565959025 10807300096 1016992 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 4 0 0 0
[pid=25530/tid=25547] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25547/stat : 25547 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565959025 10807300096 1016992 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25548] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25548/stat : 25548 (java) S 25528 25530 25273 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 565959025 10807300096 1016992 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478720 0 4 0 16800975 18446604443353437312 0 0 -1 4 0 0 0
[pid=25530/tid=25549] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25549/stat : 25549 (java) S 25528 25530 25273 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 565959074 10807300096 1016992 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478720 0 4 0 16800975 18446604443353437312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1731.07
Current children cumulated vsize (KiB) 10554004
[startup+1782.32 s]
/proc/loadavg: 2.00 2.02 1.95 3/525 25643
/proc/meminfo: memFree=13458160/32951124 swapFree=46575304/67111528
[pid=25530] ppid=25528 vsize=10554004 CPUtime=1791.31 cores=0,2,4,6
/proc/25530/stat : 25530 (java) S 25528 25530 25273 0 -1 4202496 1031316 0 1 0 179007 124 0 0 18 0 19 0 565959019 10807300096 1019314 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25530/statm: 2638501 1019314 2268 9 0 2629235 0
[pid=25530/tid=25531] ppid=25528 vsize=10554004 CPUtime=1775.71 cores=0,2,4,6
/proc/25530/task/25531/stat : 25531 (java) R 25528 25530 25273 0 -1 4202560 802067 0 1 0 177484 87 0 0 25 0 19 0 565959020 10807300096 1019314 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 46912505969017 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25530/tid=25533] ppid=25528 vsize=10554004 CPUtime=1.15 cores=0,2,4,6
/proc/25530/task/25533/stat : 25533 (java) S 25528 25530 25273 0 -1 4202560 23090 0 0 0 112 3 0 0 16 0 19 0 565959021 10807300096 1019314 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25534] ppid=25528 vsize=10554004 CPUtime=1.15 cores=0,2,4,6
/proc/25530/task/25534/stat : 25534 (java) S 25528 25530 25273 0 -1 4202560 26086 0 0 0 111 4 0 0 15 0 19 0 565959021 10807300096 1019314 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 0 0 0 0
[pid=25530/tid=25535] ppid=25528 vsize=10554004 CPUtime=1.17 cores=0,2,4,6
/proc/25530/task/25535/stat : 25535 (java) S 25528 25530 25273 0 -1 4202560 22172 0 0 0 115 2 0 0 15 0 19 0 565959021 10807300096 1019314 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 0 0 0 0
[pid=25530/tid=25536] ppid=25528 vsize=10554004 CPUtime=1.32 cores=0,2,4,6
/proc/25530/task/25536/stat : 25536 (java) S 25528 25530 25273 0 -1 4202560 26093 0 0 0 129 3 0 0 16 0 19 0 565959021 10807300096 1019314 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25537] ppid=25528 vsize=10554004 CPUtime=1.47 cores=0,2,4,6
/proc/25530/task/25537/stat : 25537 (java) S 25528 25530 25273 0 -1 4202560 28732 0 0 0 142 5 0 0 15 0 19 0 565959021 10807300096 1019314 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 4 0 0 0
[pid=25530/tid=25538] ppid=25528 vsize=10554004 CPUtime=1.08 cores=0,2,4,6
/proc/25530/task/25538/stat : 25538 (java) S 25528 25530 25273 0 -1 4202560 19421 0 0 0 106 2 0 0 15 0 19 0 565959021 10807300096 1019314 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25539] ppid=25528 vsize=10554004 CPUtime=1.03 cores=0,2,4,6
/proc/25530/task/25539/stat : 25539 (java) S 25528 25530 25273 0 -1 4202560 14892 0 0 0 101 2 0 0 15 0 19 0 565959021 10807300096 1019314 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25540] ppid=25528 vsize=10554004 CPUtime=1.41 cores=0,2,4,6
/proc/25530/task/25540/stat : 25540 (java) S 25528 25530 25273 0 -1 4202560 30109 0 0 0 137 4 0 0 16 0 19 0 565959021 10807300096 1019314 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 4 0 0 0
[pid=25530/tid=25541] ppid=25528 vsize=10554004 CPUtime=3.42 cores=0,2,4,6
/proc/25530/task/25541/stat : 25541 (java) S 25528 25530 25273 0 -1 4202560 21369 0 0 0 339 3 0 0 15 0 19 0 565959022 10807300096 1019314 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478720 0 0 0 16800975 18446604443353437312 0 0 -1 0 0 0 0
[pid=25530/tid=25542] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25542/stat : 25542 (java) S 25528 25530 25273 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 565959023 10807300096 1019314 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25543] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25543/stat : 25543 (java) S 25528 25530 25273 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 565959023 10807300096 1019314 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25544] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25544/stat : 25544 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565959025 10807300096 1019314 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672485809 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25545] ppid=25528 vsize=10554004 CPUtime=0.89 cores=0,2,4,6
/proc/25530/task/25545/stat : 25545 (java) S 25528 25530 25273 0 -1 4202560 5987 0 0 0 89 0 0 0 16 0 19 0 565959025 10807300096 1019314 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 0 0 0 0
[pid=25530/tid=25546] ppid=25528 vsize=10554004 CPUtime=1.37 cores=0,2,4,6
/proc/25530/task/25546/stat : 25546 (java) S 25528 25530 25273 0 -1 4202560 10044 0 0 0 136 1 0 0 15 0 19 0 565959025 10807300096 1019314 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 4 0 0 0
[pid=25530/tid=25547] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25547/stat : 25547 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565959025 10807300096 1019314 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25548] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25548/stat : 25548 (java) S 25528 25530 25273 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 565959025 10807300096 1019314 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478720 0 4 0 16800975 18446604443353437312 0 0 -1 4 0 0 0
[pid=25530/tid=25549] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25549/stat : 25549 (java) S 25528 25530 25273 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 565959074 10807300096 1019314 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478720 0 4 0 16800975 18446604443353437312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1791.31
Current children cumulated vsize (KiB) 10554004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791 s]
/proc/loadavg: 2.00 2.02 1.95 4/525 25643
/proc/meminfo: memFree=13455556/32951124 swapFree=46575304/67111528
[pid=25530] ppid=25528 vsize=10554004 CPUtime=1800.12 cores=0,2,4,6
/proc/25530/stat : 25530 (java) S 25528 25530 25273 0 -1 4202496 1032035 0 1 0 179887 125 0 0 18 0 19 0 565959019 10807300096 1020025 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25530/statm: 2638501 1020025 2268 9 0 2629235 0
[pid=25530/tid=25531] ppid=25528 vsize=10554004 CPUtime=1784.4 cores=0,2,4,6
/proc/25530/task/25531/stat : 25531 (java) R 25528 25530 25273 0 -1 4202560 802068 0 1 0 178353 87 0 0 25 0 19 0 565959020 10807300096 1020025 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 46912505969279 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=25530/tid=25533] ppid=25528 vsize=10554004 CPUtime=1.15 cores=0,2,4,6
/proc/25530/task/25533/stat : 25533 (java) S 25528 25530 25273 0 -1 4202560 23090 0 0 0 112 3 0 0 15 0 19 0 565959021 10807300096 1020025 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25534] ppid=25528 vsize=10554004 CPUtime=1.19 cores=0,2,4,6
/proc/25530/task/25534/stat : 25534 (java) S 25528 25530 25273 0 -1 4202560 26260 0 0 0 114 5 0 0 16 0 19 0 565959021 10807300096 1020025 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 0 0 0 0
[pid=25530/tid=25535] ppid=25528 vsize=10554004 CPUtime=1.17 cores=0,2,4,6
/proc/25530/task/25535/stat : 25535 (java) S 25528 25530 25273 0 -1 4202560 22172 0 0 0 115 2 0 0 15 0 19 0 565959021 10807300096 1020025 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25536] ppid=25528 vsize=10554004 CPUtime=1.33 cores=0,2,4,6
/proc/25530/task/25536/stat : 25536 (java) S 25528 25530 25273 0 -1 4202560 26119 0 0 0 130 3 0 0 16 0 19 0 565959021 10807300096 1020025 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25537] ppid=25528 vsize=10554004 CPUtime=1.47 cores=0,2,4,6
/proc/25530/task/25537/stat : 25537 (java) S 25528 25530 25273 0 -1 4202560 28732 0 0 0 142 5 0 0 15 0 19 0 565959021 10807300096 1020025 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 4 0 0 0
[pid=25530/tid=25538] ppid=25528 vsize=10554004 CPUtime=1.11 cores=0,2,4,6
/proc/25530/task/25538/stat : 25538 (java) S 25528 25530 25273 0 -1 4202560 19547 0 0 0 109 2 0 0 16 0 19 0 565959021 10807300096 1020025 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25539] ppid=25528 vsize=10554004 CPUtime=1.04 cores=0,2,4,6
/proc/25530/task/25539/stat : 25539 (java) S 25528 25530 25273 0 -1 4202560 15094 0 0 0 102 2 0 0 16 0 19 0 565959021 10807300096 1020025 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25540] ppid=25528 vsize=10554004 CPUtime=1.44 cores=0,2,4,6
/proc/25530/task/25540/stat : 25540 (java) S 25528 25530 25273 0 -1 4202560 30297 0 0 0 140 4 0 0 16 0 19 0 565959021 10807300096 1020025 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 4 0 0 0
[pid=25530/tid=25541] ppid=25528 vsize=10554004 CPUtime=3.42 cores=0,2,4,6
/proc/25530/task/25541/stat : 25541 (java) S 25528 25530 25273 0 -1 4202560 21371 0 0 0 339 3 0 0 15 0 19 0 565959022 10807300096 1020025 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478720 0 0 0 16800975 18446604443353437312 0 0 -1 0 0 0 0
[pid=25530/tid=25542] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25542/stat : 25542 (java) S 25528 25530 25273 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 565959023 10807300096 1020025 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25543] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25543/stat : 25543 (java) S 25528 25530 25273 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 565959023 10807300096 1020025 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 2 0 0 0
[pid=25530/tid=25544] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25544/stat : 25544 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565959025 10807300096 1020025 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672485809 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25545] ppid=25528 vsize=10554004 CPUtime=0.89 cores=0,2,4,6
/proc/25530/task/25545/stat : 25545 (java) S 25528 25530 25273 0 -1 4202560 5987 0 0 0 89 0 0 0 16 0 19 0 565959025 10807300096 1020025 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 0 0 0 0
[pid=25530/tid=25546] ppid=25528 vsize=10554004 CPUtime=1.37 cores=0,2,4,6
/proc/25530/task/25546/stat : 25546 (java) S 25528 25530 25273 0 -1 4202560 10044 0 0 0 136 1 0 0 15 0 19 0 565959025 10807300096 1020025 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 4 0 0 0
[pid=25530/tid=25547] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25547/stat : 25547 (java) S 25528 25530 25273 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 565959025 10807300096 1020025 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478105 0 4 0 16800975 18446604443353437312 0 0 -1 6 0 0 0
[pid=25530/tid=25548] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25548/stat : 25548 (java) S 25528 25530 25273 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 565959025 10807300096 1020025 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478720 0 4 0 16800975 18446604443353437312 0 0 -1 4 0 0 0
[pid=25530/tid=25549] ppid=25528 vsize=10554004 CPUtime=0 cores=0,2,4,6
/proc/25530/task/25549/stat : 25549 (java) S 25528 25530 25273 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 565959074 10807300096 1020025 33554432000 1073741824 1073778376 140736310751984 18446744073709551615 268672478720 0 4 0 16800975 18446604443353437312 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 10554004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.14 s]
/proc/loadavg: 2.00 2.02 1.95 4/525 25643
/proc/meminfo: memFree=13455556/32951124 swapFree=46575304/67111528
[pid=25530] ppid=25528 vsize=0 CPUtime=1800.26 cores=0,2,4,6
/proc/25530/stat : 25530 (java) Z 25528 25530 25273 0 -1 4203548 1032064 0 1 0 179894 132 0 0 17 0 2 0 565959019 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25530/statm: 0 0 0 0 0 0 0
[pid=25530/tid=25531] ppid=25528 vsize=0 CPUtime=1784.48 cores=0,2,4,6
/proc/25530/task/25531/stat : 25531 (java) R 25528 25530 25273 0 -1 4203588 802068 0 1 0 178354 94 0 0 25 0 2 0 565959020 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0
[startup+1791.2 s]
/proc/loadavg: 2.00 2.02 1.95 4/525 25643
/proc/meminfo: memFree=13455556/32951124 swapFree=46575304/67111528
[pid=25530] ppid=25528 vsize=0 CPUtime=1800.32 cores=0,2,4,6
/proc/25530/stat : 25530 (java) Z 25528 25530 25273 0 -1 4203548 1032064 0 1 0 179894 138 0 0 17 0 2 0 565959019 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25530/statm: 0 0 0 0 0 0 0
[pid=25530/tid=25531] ppid=25528 vsize=0 CPUtime=1784.54 cores=0,2,4,6
/proc/25530/task/25531/stat : 25531 (java) R 25528 25530 25273 0 -1 4203588 802068 0 1 0 178354 100 0 0 25 0 2 0 565959020 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1791.23
CPU time (s): 1800.35
CPU user time (s): 1798.94
CPU system time (s): 1.40679
CPU usage (%): 100.509
Max. virtual memory (cumulated for all children) (KiB): 10554004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.94
system time used= 1.40679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1032064
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= 39843
involuntary context switches= 9863
runsolver used 9.57354 second user time and 19.779 second system time
The end