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-3455951-1307225684/watcher-3455951-1307225684 -o /tmp/evaluation-result-3455951-1307225684/solver-3455951-1307225684 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455951-1307225684.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.04 2.00 2/576 15599
/proc/meminfo: memFree=25018812/32951124 swapFree=34426104/67111528
[pid=15599] ppid=15597 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/15599/stat : 15599 (java) S 15597 15599 14484 0 -1 4202496 2078 0 1 0 0 0 0 0 23 0 2 0 912799043 10681323520 1782 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/15599/statm: 2607745 1794 906 9 0 2598901 0
[pid=15599/tid=15600] ppid=15597 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15600/stat : 15600 (java) R 15597 15599 14484 0 -1 4202560 6631 0 1 0 0 0 0 0 25 0 2 0 912799044 10694979584 7447 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224284619835 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0373811 s]
/proc/loadavg: 2.07 2.04 2.00 2/576 15599
/proc/meminfo: memFree=25018812/32951124 swapFree=34426104/67111528
[pid=15599] ppid=15597 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/15599/stat : 15599 (java) S 15597 15599 14484 0 -1 4202496 10993 0 1 0 1 1 0 0 23 0 11 0 912799043 10716594176 10693 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/15599/statm: 2616356 10694 1608 9 0 2607104 0
[pid=15599/tid=15600] ppid=15597 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/15599/task/15600/stat : 15600 (java) R 15597 15599 14484 0 -1 4202560 9871 0 1 0 1 1 0 0 25 0 11 0 912799044 10716594176 10694 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 47587182878752 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.112522 s]
/proc/loadavg: 2.07 2.04 2.00 2/576 15599
/proc/meminfo: memFree=25018812/32951124 swapFree=34426104/67111528
[pid=15599] ppid=15597 vsize=10540100 CPUtime=0.13 cores=1,3,5,7
/proc/15599/stat : 15599 (java) S 15597 15599 14484 0 -1 4202496 13343 0 1 0 12 1 0 0 23 0 18 0 912799043 10793062400 13013 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15599/statm: 2635025 13013 2134 9 0 2625759 0
[pid=15599/tid=15600] ppid=15597 vsize=10540100 CPUtime=0.1 cores=1,3,5,7
/proc/15599/task/15600/stat : 15600 (java) R 15597 15599 14484 0 -1 4202560 11337 0 1 0 9 1 0 0 22 0 18 0 912799044 10793062400 13013 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224284618448 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10540100
[startup+0.300351 s]
/proc/loadavg: 2.07 2.04 2.00 2/576 15599
/proc/meminfo: memFree=25018812/32951124 swapFree=34426104/67111528
[pid=15599] ppid=15597 vsize=10544552 CPUtime=0.5 cores=1,3,5,7
/proc/15599/stat : 15599 (java) S 15597 15599 14484 0 -1 4202496 16852 0 1 0 48 2 0 0 23 0 19 0 912799043 10797621248 15548 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15599/statm: 2636138 15550 2201 9 0 2626872 0
[pid=15599/tid=15600] ppid=15597 vsize=10544552 CPUtime=0.27 cores=1,3,5,7
/proc/15599/task/15600/stat : 15600 (java) R 15597 15599 14484 0 -1 4202560 12717 0 1 0 26 1 0 0 18 0 19 0 912799044 10797621248 15550 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 46912505581083 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10544552
[startup+0.700273 s]
/proc/loadavg: 2.07 2.04 2.00 2/576 15599
/proc/meminfo: memFree=25018812/32951124 swapFree=34426104/67111528
[pid=15599] ppid=15597 vsize=10551888 CPUtime=1.63 cores=1,3,5,7
/proc/15599/stat : 15599 (java) S 15597 15599 14484 0 -1 4202496 42902 0 1 0 158 5 0 0 23 0 19 0 912799043 10805133312 35716 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15599/statm: 2637972 35718 2222 9 0 2628706 0
[pid=15599/tid=15600] ppid=15597 vsize=10551888 CPUtime=0.67 cores=1,3,5,7
/proc/15599/task/15600/stat : 15600 (java) R 15597 15599 14484 0 -1 4202560 28286 0 1 0 65 2 0 0 18 0 19 0 912799044 10805133312 35721 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 46912505581098 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 10551888
[startup+1.50114 s]
/proc/loadavg: 2.07 2.04 2.00 3/595 15621
/proc/meminfo: memFree=24769368/32951124 swapFree=34426104/67111528
[pid=15599] ppid=15597 vsize=10553572 CPUtime=2.76 cores=1,3,5,7
/proc/15599/stat : 15599 (java) S 15597 15599 14484 0 -1 4202496 123406 0 1 0 262 14 0 0 23 0 19 0 912799043 10806857728 115465 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15599/statm: 2638393 115470 2225 9 0 2629127 0
[pid=15599/tid=15600] ppid=15597 vsize=10553572 CPUtime=1.48 cores=1,3,5,7
/proc/15599/task/15600/stat : 15600 (java) R 15597 15599 14484 0 -1 4202560 107576 0 1 0 136 12 0 0 18 0 19 0 912799044 10806857728 115474 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 46912505581102 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15599/tid=15603] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15603/stat : 15603 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10806857728 115478 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15604] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15604/stat : 15604 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10806857728 115482 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15605] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15605/stat : 15605 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10806857728 115486 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15607] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15607/stat : 15607 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10806857728 115489 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15608] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15608/stat : 15608 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10806857728 115493 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15609] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15609/stat : 15609 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10806857728 115496 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15610] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15610/stat : 15610 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10806857728 115500 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15611] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15611/stat : 15611 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10806857728 115503 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15612] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15612/stat : 15612 (java) S 15597 15599 14484 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912799047 10806857728 115507 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296742400 0 0 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15613] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15613/stat : 15613 (java) S 15597 15599 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912799047 10806857728 115510 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15614] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15614/stat : 15614 (java) S 15597 15599 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912799047 10806857728 115514 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15615] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15615/stat : 15615 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912799049 10806857728 115518 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296749489 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15616] ppid=15597 vsize=10553572 CPUtime=0.6 cores=1,3,5,7
/proc/15599/task/15616/stat : 15616 (java) S 15597 15599 14484 0 -1 4202560 6727 0 0 0 60 0 0 0 19 0 19 0 912799049 10806857728 115522 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 3 0 0 0
[pid=15599/tid=15617] ppid=15597 vsize=10553572 CPUtime=0.66 cores=1,3,5,7
/proc/15599/task/15617/stat : 15617 (java) S 15597 15599 14484 0 -1 4202560 7953 0 0 0 65 1 0 0 15 0 19 0 912799049 10806857728 115526 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15618] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15618/stat : 15618 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912799050 10806857728 115529 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15619] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15619/stat : 15619 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912799050 10806857728 115533 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296742400 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15621] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15621/stat : 15621 (java) S 15597 15599 14484 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 912799064 10806857728 115536 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296742400 0 4 0 16800975 18446604463120667904 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 10553572
[startup+3.10088 s]
/proc/loadavg: 2.07 2.04 2.00 3/595 15621
/proc/meminfo: memFree=24319744/32951124 swapFree=34426104/67111528
[pid=15599] ppid=15597 vsize=10553572 CPUtime=4.38 cores=1,3,5,7
/proc/15599/stat : 15599 (java) S 15597 15599 14484 0 -1 4202496 285319 0 1 0 407 31 0 0 23 0 19 0 912799043 10806857728 277377 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15599/statm: 2638393 277380 2225 9 0 2629127 0
[pid=15599/tid=15600] ppid=15597 vsize=10553572 CPUtime=3.07 cores=1,3,5,7
/proc/15599/task/15600/stat : 15600 (java) R 15597 15599 14484 0 -1 4202560 269481 0 1 0 279 28 0 0 19 0 19 0 912799044 10806857728 277382 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 46912505553842 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15599/tid=15603] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15603/stat : 15603 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10806857728 277384 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15604] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15604/stat : 15604 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10806857728 277386 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15605] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15605/stat : 15605 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10806857728 277389 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15607] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15607/stat : 15607 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10806857728 277391 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15608] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15608/stat : 15608 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10806857728 277394 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15609] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15609/stat : 15609 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10806857728 277396 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15610] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15610/stat : 15610 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10806857728 277398 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15611] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15611/stat : 15611 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10806857728 277400 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15612] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15612/stat : 15612 (java) S 15597 15599 14484 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912799047 10806857728 277403 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296742400 0 0 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15613] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15613/stat : 15613 (java) S 15597 15599 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912799047 10806857728 277405 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15614] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15614/stat : 15614 (java) S 15597 15599 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912799047 10806857728 277408 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15615] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15615/stat : 15615 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912799049 10806857728 277410 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296749489 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15616] ppid=15597 vsize=10553572 CPUtime=0.62 cores=1,3,5,7
/proc/15599/task/15616/stat : 15616 (java) S 15597 15599 14484 0 -1 4202560 6731 0 0 0 62 0 0 0 15 0 19 0 912799049 10806857728 277412 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 3 0 0 0
[pid=15599/tid=15617] ppid=15597 vsize=10553572 CPUtime=0.66 cores=1,3,5,7
/proc/15599/task/15617/stat : 15617 (java) S 15597 15599 14484 0 -1 4202560 7953 0 0 0 65 1 0 0 15 0 19 0 912799049 10806857728 277415 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15618] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15618/stat : 15618 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912799050 10806857728 277417 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15619] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15619/stat : 15619 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912799050 10806857728 277419 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296742400 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15621] ppid=15597 vsize=10553572 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15621/stat : 15621 (java) S 15597 15599 14484 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 912799064 10806857728 277422 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296742400 0 4 0 16800975 18446604463120667904 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 10553572
[startup+6.30134 s]
/proc/loadavg: 2.06 2.04 2.00 3/595 15621
/proc/meminfo: memFree=23042752/32951124 swapFree=34426104/67111528
[pid=15599] ppid=15597 vsize=10551016 CPUtime=7.58 cores=1,3,5,7
/proc/15599/stat : 15599 (java) S 15597 15599 14484 0 -1 4202496 584893 0 1 0 692 66 0 0 23 0 19 0 912799043 10804240384 576204 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15599/statm: 2637754 576207 2226 9 0 2628488 0
[pid=15599/tid=15600] ppid=15597 vsize=10551016 CPUtime=6.27 cores=1,3,5,7
/proc/15599/task/15600/stat : 15600 (java) R 15597 15599 14484 0 -1 4202560 569054 0 1 0 564 63 0 0 25 0 19 0 912799044 10804240384 576209 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 46912505571528 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15599/tid=15603] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15603/stat : 15603 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10804240384 576211 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15604] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15604/stat : 15604 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10804240384 576213 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15605] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15605/stat : 15605 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10804240384 576215 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15607] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15607/stat : 15607 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10804240384 576218 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15608] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15608/stat : 15608 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10804240384 576220 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15609] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15609/stat : 15609 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10804240384 576222 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15610] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15610/stat : 15610 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10804240384 576224 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15611] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15611/stat : 15611 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912799046 10804240384 576227 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15612] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15612/stat : 15612 (java) S 15597 15599 14484 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912799047 10804240384 576229 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296742400 0 0 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15613] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15613/stat : 15613 (java) S 15597 15599 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912799047 10804240384 576231 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15614] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15614/stat : 15614 (java) S 15597 15599 14484 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912799047 10804240384 576233 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15615] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15615/stat : 15615 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912799049 10804240384 576236 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296749489 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15616] ppid=15597 vsize=10551016 CPUtime=0.62 cores=1,3,5,7
/proc/15599/task/15616/stat : 15616 (java) S 15597 15599 14484 0 -1 4202560 6731 0 0 0 62 0 0 0 15 0 19 0 912799049 10804240384 576238 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 3 0 0 0
[pid=15599/tid=15617] ppid=15597 vsize=10551016 CPUtime=0.66 cores=1,3,5,7
/proc/15599/task/15617/stat : 15617 (java) S 15597 15599 14484 0 -1 4202560 7953 0 0 0 65 1 0 0 15 0 19 0 912799049 10804240384 576240 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/15599/task/15614/stat : 15614 (java) S 15597 15599 14484 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912799047 10804240384 968316 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15615] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15615/stat : 15615 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912799049 10804240384 968316 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296749489 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15616] ppid=15597 vsize=10551016 CPUtime=0.84 cores=1,3,5,7
/proc/15599/task/15616/stat : 15616 (java) S 15597 15599 14484 0 -1 4202560 6788 0 0 0 84 0 0 0 15 0 19 0 912799049 10804240384 968316 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 3 0 0 0
[pid=15599/tid=15617] ppid=15597 vsize=10551016 CPUtime=0.71 cores=1,3,5,7
/proc/15599/task/15617/stat : 15617 (java) S 15597 15599 14484 0 -1 4202560 7971 0 0 0 70 1 0 0 15 0 19 0 912799049 10804240384 968316 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15618] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15618/stat : 15618 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912799050 10804240384 968316 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15619] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15619/stat : 15619 (java) S 15597 15599 14484 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 912799050 10804240384 968316 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296742400 0 4 0 16800975 18446604463120667904 0 0 -1 3 0 0 0
[pid=15599/tid=15621] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15621/stat : 15621 (java) S 15597 15599 14484 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 912799064 10804240384 968316 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296742400 0 4 0 16800975 18446604463120667904 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1669.09
Current children cumulated vsize (KiB) 10551016
[startup+1722.3 s]
/proc/loadavg: 2.15 2.08 2.02 3/595 15731
/proc/meminfo: memFree=21110172/32951124 swapFree=34426104/67111528
[pid=15599] ppid=15597 vsize=10551016 CPUtime=1729.29 cores=1,3,5,7
/proc/15599/stat : 15599 (java) S 15597 15599 14484 0 -1 4202496 980206 0 1 0 172816 113 0 0 23 0 19 0 912799043 10804240384 969354 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15599/statm: 2637754 969354 2257 9 0 2628488 0
[pid=15599/tid=15600] ppid=15597 vsize=10551016 CPUtime=1716.3 cores=1,3,5,7
/proc/15599/task/15600/stat : 15600 (java) R 15597 15599 14484 0 -1 4202560 836247 0 1 0 171537 93 0 0 25 0 19 0 912799044 10804240384 969354 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 46912505551681 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15599/tid=15603] ppid=15597 vsize=10551016 CPUtime=0.99 cores=1,3,5,7
/proc/15599/task/15603/stat : 15603 (java) S 15597 15599 14484 0 -1 4202560 12920 0 0 0 98 1 0 0 15 0 19 0 912799046 10804240384 969354 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 3 0 0 0
[pid=15599/tid=15604] ppid=15597 vsize=10551016 CPUtime=0.92 cores=1,3,5,7
/proc/15599/task/15604/stat : 15604 (java) S 15597 15599 14484 0 -1 4202560 10667 0 0 0 91 1 0 0 15 0 19 0 912799046 10804240384 969354 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 1 0 0 0
[pid=15599/tid=15605] ppid=15597 vsize=10551016 CPUtime=1.04 cores=1,3,5,7
/proc/15599/task/15605/stat : 15605 (java) S 15597 15599 14484 0 -1 4202560 13648 0 0 0 103 1 0 0 16 0 19 0 912799046 10804240384 969354 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15607] ppid=15597 vsize=10551016 CPUtime=1.04 cores=1,3,5,7
/proc/15599/task/15607/stat : 15607 (java) S 15597 15599 14484 0 -1 4202560 14206 0 0 0 103 1 0 0 16 0 19 0 912799046 10804240384 969354 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 1 0 0 0
[pid=15599/tid=15608] ppid=15597 vsize=10551016 CPUtime=1.08 cores=1,3,5,7
/proc/15599/task/15608/stat : 15608 (java) S 15597 15599 14484 0 -1 4202560 16078 0 0 0 106 2 0 0 16 0 19 0 912799046 10804240384 969354 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 3 0 0 0
[pid=15599/tid=15609] ppid=15597 vsize=10551016 CPUtime=1.03 cores=1,3,5,7
/proc/15599/task/15609/stat : 15609 (java) S 15597 15599 14484 0 -1 4202560 14909 0 0 0 101 2 0 0 15 0 19 0 912799046 10804240384 969354 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 7 0 0 0
[pid=15599/tid=15610] ppid=15597 vsize=10551016 CPUtime=0.97 cores=1,3,5,7
/proc/15599/task/15610/stat : 15610 (java) S 15597 15599 14484 0 -1 4202560 16508 0 0 0 96 1 0 0 15 0 19 0 912799046 10804240384 969354 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 1 0 0 0
[pid=15599/tid=15611] ppid=15597 vsize=10551016 CPUtime=1 cores=1,3,5,7
/proc/15599/task/15611/stat : 15611 (java) S 15597 15599 14484 0 -1 4202560 16655 0 0 0 98 2 0 0 15 0 19 0 912799046 10804240384 969354 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 3 0 0 0
[pid=15599/tid=15612] ppid=15597 vsize=10551016 CPUtime=3.26 cores=1,3,5,7
/proc/15599/task/15612/stat : 15612 (java) S 15597 15599 14484 0 -1 4202560 12362 0 0 0 324 2 0 0 15 0 19 0 912799047 10804240384 969354 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296742400 0 0 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15613] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15613/stat : 15613 (java) S 15597 15599 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912799047 10804240384 969354 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15614] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15614/stat : 15614 (java) S 15597 15599 14484 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912799047 10804240384 969354 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15615] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15615/stat : 15615 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912799049 10804240384 969354 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296749489 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15616] ppid=15597 vsize=10551016 CPUtime=0.84 cores=1,3,5,7
/proc/15599/task/15616/stat : 15616 (java) S 15597 15599 14484 0 -1 4202560 6788 0 0 0 84 0 0 0 15 0 19 0 912799049 10804240384 969354 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 3 0 0 0
[pid=15599/tid=15617] ppid=15597 vsize=10551016 CPUtime=0.71 cores=1,3,5,7
/proc/15599/task/15617/stat : 15617 (java) S 15597 15599 14484 0 -1 4202560 7971 0 0 0 70 1 0 0 15 0 19 0 912799049 10804240384 969354 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15618] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15618/stat : 15618 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912799050 10804240384 969354 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15619] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15619/stat : 15619 (java) S 15597 15599 14484 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 912799050 10804240384 969354 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296742400 0 4 0 16800975 18446604463120667904 0 0 -1 3 0 0 0
[pid=15599/tid=15621] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15621/stat : 15621 (java) S 15597 15599 14484 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 912799064 10804240384 969354 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296742400 0 4 0 16800975 18446604463120667904 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1729.29
Current children cumulated vsize (KiB) 10551016
[startup+1782.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/595 15733
/proc/meminfo: memFree=21096104/32951124 swapFree=34426104/67111528
[pid=15599] ppid=15597 vsize=10551016 CPUtime=1789.52 cores=1,3,5,7
/proc/15599/stat : 15599 (java) S 15597 15599 14484 0 -1 4202496 981638 0 1 0 178839 113 0 0 23 0 19 0 912799043 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15599/statm: 2637754 970720 2257 9 0 2628488 0
[pid=15599/tid=15600] ppid=15597 vsize=10551016 CPUtime=1776.19 cores=1,3,5,7
/proc/15599/task/15600/stat : 15600 (java) R 15597 15599 14484 0 -1 4202560 836252 0 1 0 177526 93 0 0 25 0 19 0 912799044 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 46912505567235 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15599/tid=15603] ppid=15597 vsize=10551016 CPUtime=1.03 cores=1,3,5,7
/proc/15599/task/15603/stat : 15603 (java) S 15597 15599 14484 0 -1 4202560 13045 0 0 0 102 1 0 0 16 0 19 0 912799046 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 3 0 0 0
[pid=15599/tid=15604] ppid=15597 vsize=10551016 CPUtime=1.01 cores=1,3,5,7
/proc/15599/task/15604/stat : 15604 (java) S 15597 15599 14484 0 -1 4202560 10781 0 0 0 100 1 0 0 16 0 19 0 912799046 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15605] ppid=15597 vsize=10551016 CPUtime=1.1 cores=1,3,5,7
/proc/15599/task/15605/stat : 15605 (java) S 15597 15599 14484 0 -1 4202560 14088 0 0 0 109 1 0 0 16 0 19 0 912799046 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15607] ppid=15597 vsize=10551016 CPUtime=1.04 cores=1,3,5,7
/proc/15599/task/15607/stat : 15607 (java) S 15597 15599 14484 0 -1 4202560 14206 0 0 0 103 1 0 0 15 0 19 0 912799046 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 1 0 0 0
[pid=15599/tid=15608] ppid=15597 vsize=10551016 CPUtime=1.12 cores=1,3,5,7
/proc/15599/task/15608/stat : 15608 (java) S 15597 15599 14484 0 -1 4202560 16349 0 0 0 110 2 0 0 16 0 19 0 912799046 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 3 0 0 0
[pid=15599/tid=15609] ppid=15597 vsize=10551016 CPUtime=1.05 cores=1,3,5,7
/proc/15599/task/15609/stat : 15609 (java) S 15597 15599 14484 0 -1 4202560 15007 0 0 0 103 2 0 0 15 0 19 0 912799046 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15610] ppid=15597 vsize=10551016 CPUtime=1.02 cores=1,3,5,7
/proc/15599/task/15610/stat : 15610 (java) S 15597 15599 14484 0 -1 4202560 16739 0 0 0 101 1 0 0 16 0 19 0 912799046 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 1 0 0 0
[pid=15599/tid=15611] ppid=15597 vsize=10551016 CPUtime=1.04 cores=1,3,5,7
/proc/15599/task/15611/stat : 15611 (java) S 15597 15599 14484 0 -1 4202560 16795 0 0 0 102 2 0 0 15 0 19 0 912799046 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 3 0 0 0
[pid=15599/tid=15612] ppid=15597 vsize=10551016 CPUtime=3.26 cores=1,3,5,7
/proc/15599/task/15612/stat : 15612 (java) S 15597 15599 14484 0 -1 4202560 12366 0 0 0 324 2 0 0 15 0 19 0 912799047 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296742400 0 0 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15613] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15613/stat : 15613 (java) S 15597 15599 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912799047 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15614] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15614/stat : 15614 (java) S 15597 15599 14484 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912799047 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15615] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15615/stat : 15615 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912799049 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296749489 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15616] ppid=15597 vsize=10551016 CPUtime=0.84 cores=1,3,5,7
/proc/15599/task/15616/stat : 15616 (java) S 15597 15599 14484 0 -1 4202560 6788 0 0 0 84 0 0 0 15 0 19 0 912799049 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 3 0 0 0
[pid=15599/tid=15617] ppid=15597 vsize=10551016 CPUtime=0.71 cores=1,3,5,7
/proc/15599/task/15617/stat : 15617 (java) S 15597 15599 14484 0 -1 4202560 7971 0 0 0 70 1 0 0 15 0 19 0 912799049 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15618] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15618/stat : 15618 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912799050 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15619] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15619/stat : 15619 (java) S 15597 15599 14484 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 912799050 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296742400 0 4 0 16800975 18446604463120667904 0 0 -1 3 0 0 0
[pid=15599/tid=15621] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15621/stat : 15621 (java) S 15597 15599 14484 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 912799064 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296742400 0 4 0 16800975 18446604463120667904 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1789.52
Current children cumulated vsize (KiB) 10551016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.8 s]
/proc/loadavg: 2.04 2.06 2.01 3/595 15733
/proc/meminfo: memFree=21093488/32951124 swapFree=34426104/67111528
[pid=15599] ppid=15597 vsize=10551016 CPUtime=1800.03 cores=1,3,5,7
/proc/15599/stat : 15599 (java) S 15597 15599 14484 0 -1 4202496 981638 0 1 0 179890 113 0 0 23 0 19 0 912799043 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15599/statm: 2637754 970720 2257 9 0 2628488 0
[pid=15599/tid=15600] ppid=15597 vsize=10551016 CPUtime=1786.71 cores=1,3,5,7
/proc/15599/task/15600/stat : 15600 (java) R 15597 15599 14484 0 -1 4202560 836252 0 1 0 178578 93 0 0 25 0 19 0 912799044 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 46912505551927 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15599/tid=15603] ppid=15597 vsize=10551016 CPUtime=1.03 cores=1,3,5,7
/proc/15599/task/15603/stat : 15603 (java) S 15597 15599 14484 0 -1 4202560 13045 0 0 0 102 1 0 0 16 0 19 0 912799046 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 3 0 0 0
[pid=15599/tid=15604] ppid=15597 vsize=10551016 CPUtime=1.01 cores=1,3,5,7
/proc/15599/task/15604/stat : 15604 (java) S 15597 15599 14484 0 -1 4202560 10781 0 0 0 100 1 0 0 16 0 19 0 912799046 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15605] ppid=15597 vsize=10551016 CPUtime=1.1 cores=1,3,5,7
/proc/15599/task/15605/stat : 15605 (java) S 15597 15599 14484 0 -1 4202560 14088 0 0 0 109 1 0 0 16 0 19 0 912799046 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15607] ppid=15597 vsize=10551016 CPUtime=1.04 cores=1,3,5,7
/proc/15599/task/15607/stat : 15607 (java) S 15597 15599 14484 0 -1 4202560 14206 0 0 0 103 1 0 0 15 0 19 0 912799046 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 1 0 0 0
[pid=15599/tid=15608] ppid=15597 vsize=10551016 CPUtime=1.12 cores=1,3,5,7
/proc/15599/task/15608/stat : 15608 (java) S 15597 15599 14484 0 -1 4202560 16349 0 0 0 110 2 0 0 16 0 19 0 912799046 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 3 0 0 0
[pid=15599/tid=15609] ppid=15597 vsize=10551016 CPUtime=1.05 cores=1,3,5,7
/proc/15599/task/15609/stat : 15609 (java) S 15597 15599 14484 0 -1 4202560 15007 0 0 0 103 2 0 0 15 0 19 0 912799046 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15610] ppid=15597 vsize=10551016 CPUtime=1.02 cores=1,3,5,7
/proc/15599/task/15610/stat : 15610 (java) S 15597 15599 14484 0 -1 4202560 16739 0 0 0 101 1 0 0 16 0 19 0 912799046 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 1 0 0 0
[pid=15599/tid=15611] ppid=15597 vsize=10551016 CPUtime=1.04 cores=1,3,5,7
/proc/15599/task/15611/stat : 15611 (java) S 15597 15599 14484 0 -1 4202560 16795 0 0 0 102 2 0 0 15 0 19 0 912799046 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 3 0 0 0
[pid=15599/tid=15612] ppid=15597 vsize=10551016 CPUtime=3.26 cores=1,3,5,7
/proc/15599/task/15612/stat : 15612 (java) S 15597 15599 14484 0 -1 4202560 12366 0 0 0 324 2 0 0 15 0 19 0 912799047 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296742400 0 0 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15613] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15613/stat : 15613 (java) S 15597 15599 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912799047 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15614] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15614/stat : 15614 (java) S 15597 15599 14484 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 912799047 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15615] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15615/stat : 15615 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 912799049 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296749489 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15616] ppid=15597 vsize=10551016 CPUtime=0.84 cores=1,3,5,7
/proc/15599/task/15616/stat : 15616 (java) S 15597 15599 14484 0 -1 4202560 6788 0 0 0 84 0 0 0 15 0 19 0 912799049 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 3 0 0 0
[pid=15599/tid=15617] ppid=15597 vsize=10551016 CPUtime=0.71 cores=1,3,5,7
/proc/15599/task/15617/stat : 15617 (java) S 15597 15599 14484 0 -1 4202560 7971 0 0 0 70 1 0 0 15 0 19 0 912799049 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15618] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15618/stat : 15618 (java) S 15597 15599 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912799050 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296741785 0 4 0 16800975 18446604463120667904 0 0 -1 5 0 0 0
[pid=15599/tid=15619] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15619/stat : 15619 (java) S 15597 15599 14484 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 912799050 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296742400 0 4 0 16800975 18446604463120667904 0 0 -1 3 0 0 0
[pid=15599/tid=15621] ppid=15597 vsize=10551016 CPUtime=0 cores=1,3,5,7
/proc/15599/task/15621/stat : 15621 (java) S 15597 15599 14484 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 912799064 10804240384 970720 33554432000 1073741824 1073778376 140733591468576 18446744073709551615 224296742400 0 4 0 16800975 18446604463120667904 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10551016
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.93 s]
/proc/loadavg: 2.04 2.06 2.01 3/579 15738
/proc/meminfo: memFree=22514704/32951124 swapFree=34426104/67111528
[pid=15599] ppid=15597 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/15599/stat : 15599 (java) Z 15597 15599 14484 0 -1 4203548 981678 0 1 0 179900 120 0 0 17 0 2 0 912799043 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15599/statm: 0 0 0 0 0 0 0
[pid=15599/tid=15738] ppid=15597 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/15599/task/15738/stat : 15738 (java) R 15597 15599 14484 0 -1 4203588 8 0 0 0 1 7 0 0 21 0 2 0 912978326 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.02
CPU time (s): 1800.29
CPU user time (s): 1799
CPU system time (s): 1.2908
CPU usage (%): 100.406
Max. virtual memory (cumulated for all children) (KiB): 10554060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.2908
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 981678
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= 40990
involuntary context switches= 13730
runsolver used 9.74152 second user time and 24.5963 second system time
The end