runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3312311-1304101691/watcher-3312311-1304101691 -o /tmp/evaluation-result-3312311-1304101691/solver-3312311-1304101691 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312311-1304101691.cnf -hbr 2
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 6.84 7.79 7.19 2/174 25608
/proc/meminfo: memFree=15202216/32951124 swapFree=67102140/67111528
[pid=25608] ppid=25606 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/25608/stat : 25608 (java) R 25606 25608 24128 0 -1 4202496 902 0 0 0 0 0 0 0 21 0 1 0 600399806 23580672 388 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216730216213 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/25608/statm: 5757 400 310 9 0 124 0
[startup+0.016138 s]
/proc/loadavg: 6.84 7.79 7.19 2/174 25608
/proc/meminfo: memFree=15202216/32951124 swapFree=67102140/67111528
[pid=25608] ppid=25606 vsize=15591648 CPUtime=0 cores=1,3,5,7
/proc/25608/stat : 25608 (java) S 25606 25608 24128 0 -1 4202496 2609 0 1 0 0 0 0 0 21 0 10 0 600399806 15965847552 2050 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/25608/statm: 3897912 2057 1188 9 0 3888660 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15591648
[startup+0.101089 s]
/proc/loadavg: 6.84 7.79 7.19 2/174 25608
/proc/meminfo: memFree=15202216/32951124 swapFree=67102140/67111528
[pid=25608] ppid=25606 vsize=15676208 CPUtime=0.1 cores=1,3,5,7
/proc/25608/stat : 25608 (java) S 25606 25608 24128 0 -1 4202496 5354 0 1 0 9 1 0 0 21 0 18 0 600399806 16052436992 4793 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25608/statm: 3919052 4793 2116 9 0 3909771 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676208
[startup+0.301055 s]
/proc/loadavg: 6.84 7.79 7.19 2/174 25608
/proc/meminfo: memFree=15202216/32951124 swapFree=67102140/67111528
[pid=25608] ppid=25606 vsize=15680616 CPUtime=0.51 cores=1,3,5,7
/proc/25608/stat : 25608 (java) S 25606 25608 24128 0 -1 4202496 14453 0 1 0 47 4 0 0 21 0 18 0 600399806 16056950784 12877 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25608/statm: 3920154 12883 2206 9 0 3910873 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680616
[startup+0.701023 s]
/proc/loadavg: 6.84 7.79 7.19 2/174 25608
/proc/meminfo: memFree=15202216/32951124 swapFree=67102140/67111528
[pid=25608] ppid=25606 vsize=15680616 CPUtime=0.92 cores=1,3,5,7
/proc/25608/stat : 25608 (java) S 25606 25608 24128 0 -1 4202496 42001 0 1 0 85 7 0 0 21 0 18 0 600399806 16056950784 40423 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25608/statm: 3920154 40423 2222 9 0 3910873 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15680616
[startup+1.50088 s]
/proc/loadavg: 6.84 7.79 7.19 3/192 25626
/proc/meminfo: memFree=15008880/32951124 swapFree=67102140/67111528
[pid=25608] ppid=25606 vsize=15680616 CPUtime=1.74 cores=1,3,5,7
/proc/25608/stat : 25608 (java) S 25606 25608 24128 0 -1 4202496 53650 0 1 0 165 9 0 0 21 0 18 0 600399806 16056950784 52054 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25608/statm: 3920154 52059 2222 9 0 3910873 0
[pid=25608/tid=25610] ppid=25606 vsize=15680616 CPUtime=1.47 cores=1,3,5,7
/proc/25608/task/25610/stat : 25610 (java) R 25606 25608 24128 0 -1 4202560 44026 0 1 0 139 8 0 0 19 0 18 0 600399807 16056950784 52062 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 46912505638880 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25608/tid=25611] ppid=25606 vsize=15680616 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25611/stat : 25611 (java) S 25606 25608 24128 0 -1 4202560 540 0 0 0 0 0 0 0 16 0 18 0 600399807 16056950784 52066 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25612] ppid=25606 vsize=15680616 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25612/stat : 25612 (java) S 25606 25608 24128 0 -1 4202560 1290 0 0 0 0 0 0 0 16 0 18 0 600399807 16056950784 52070 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25613] ppid=25606 vsize=15680616 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25613/stat : 25613 (java) S 25606 25608 24128 0 -1 4202560 1451 0 0 0 0 0 0 0 16 0 18 0 600399807 16056950784 52074 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 7 0 0 0
[pid=25608/tid=25614] ppid=25606 vsize=15680616 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25614/stat : 25614 (java) S 25606 25608 24128 0 -1 4202560 56 0 0 0 0 0 0 0 16 0 18 0 600399807 16056950784 52078 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25615] ppid=25606 vsize=15680616 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25615/stat : 25615 (java) S 25606 25608 24128 0 -1 4202560 735 0 0 0 0 0 0 0 16 0 18 0 600399807 16056950784 52082 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25616] ppid=25606 vsize=15680616 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25616/stat : 25616 (java) S 25606 25608 24128 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 18 0 600399807 16056950784 52086 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25617] ppid=25606 vsize=15680616 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25617/stat : 25617 (java) S 25606 25608 24128 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 18 0 600399807 16056950784 52089 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 7 0 0 0
[pid=25608/tid=25618] ppid=25606 vsize=15680616 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25618/stat : 25618 (java) S 25606 25608 24128 0 -1 4202560 369 0 0 0 0 0 0 0 15 0 18 0 600399807 16056950784 52092 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25619] ppid=25606 vsize=15680616 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25619/stat : 25619 (java) S 25606 25608 24128 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 18 0 600399808 16056950784 52096 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746995200 0 0 0 16800975 18446604455153477696 0 0 -1 7 0 0 0
[pid=25608/tid=25620] ppid=25606 vsize=15680616 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25620/stat : 25620 (java) S 25606 25608 24128 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 600399809 16056950784 52100 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25621] ppid=25606 vsize=15680616 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25621/stat : 25621 (java) S 25606 25608 24128 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 600399809 16056950784 52104 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25622] ppid=25606 vsize=15680616 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25622/stat : 25622 (java) S 25606 25608 24128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 600399811 16056950784 52108 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216747002289 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25623] ppid=25606 vsize=15680616 CPUtime=0.11 cores=1,3,5,7
/proc/25608/task/25623/stat : 25623 (java) S 25606 25608 24128 0 -1 4202560 1040 0 0 0 11 0 0 0 25 0 18 0 600399811 16056950784 52112 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25624] ppid=25606 vsize=15680616 CPUtime=0.11 cores=1,3,5,7
/proc/25608/task/25624/stat : 25624 (java) S 25606 25608 24128 0 -1 4202560 2650 0 0 0 11 0 0 0 17 0 18 0 600399811 16056950784 52116 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 7 0 0 0
[pid=25608/tid=25625] ppid=25606 vsize=15680616 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25625/stat : 25625 (java) S 25606 25608 24128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 600399811 16056950784 52120 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25626] ppid=25606 vsize=15680616 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25626/stat : 25626 (java) S 25606 25608 24128 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 600399811 16056950784 52123 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746995200 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 15680616
[startup+3.1006 s]
/proc/loadavg: 6.84 7.79 7.19 3/192 25626
/proc/meminfo: memFree=14830952/32951124 swapFree=67102140/67111528
[pid=25608] ppid=25606 vsize=15714508 CPUtime=3.92 cores=1,3,5,7
/proc/25608/stat : 25608 (java) S 25606 25608 24128 0 -1 4202496 156673 0 1 0 372 20 0 0 21 0 22 0 600399806 16091656192 152846 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25608/statm: 3928627 152846 2265 9 0 3919346 0
[pid=25608/tid=25610] ppid=25606 vsize=15714508 CPUtime=3.01 cores=1,3,5,7
/proc/25608/task/25610/stat : 25610 (java) R 25606 25608 24128 0 -1 4202560 117131 0 1 0 286 15 0 0 18 0 22 0 600399807 16091656192 152846 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 46912505228560 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25608/tid=25611] ppid=25606 vsize=15714508 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25611/stat : 25611 (java) S 25606 25608 24128 0 -1 4202560 540 0 0 0 0 0 0 0 15 0 22 0 600399807 16091656192 152846 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25612] ppid=25606 vsize=15714508 CPUtime=0.03 cores=1,3,5,7
/proc/25608/task/25612/stat : 25612 (java) S 25606 25608 24128 0 -1 4202560 4200 0 0 0 3 0 0 0 16 0 22 0 600399807 16091656192 152846 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 1 0 0 0
[pid=25608/tid=25613] ppid=25606 vsize=15714508 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25613/stat : 25613 (java) S 25606 25608 24128 0 -1 4202560 1451 0 0 0 0 0 0 0 15 0 22 0 600399807 16091656192 152846 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 7 0 0 0
[pid=25608/tid=25614] ppid=25606 vsize=15714508 CPUtime=0.04 cores=1,3,5,7
/proc/25608/task/25614/stat : 25614 (java) S 25606 25608 24128 0 -1 4202560 7153 0 0 0 4 0 0 0 16 0 22 0 600399807 16091656192 152846 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25615] ppid=25606 vsize=15714508 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25615/stat : 25615 (java) S 25606 25608 24128 0 -1 4202560 736 0 0 0 0 0 0 0 15 0 22 0 600399807 16091656192 152846 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25616] ppid=25606 vsize=15714508 CPUtime=0.03 cores=1,3,5,7
/proc/25608/task/25616/stat : 25616 (java) S 25606 25608 24128 0 -1 4202560 5696 0 0 0 3 0 0 0 16 0 22 0 600399807 16091656192 152846 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25617] ppid=25606 vsize=15714508 CPUtime=0.03 cores=1,3,5,7
/proc/25608/task/25617/stat : 25617 (java) S 25606 25608 24128 0 -1 4202560 4493 0 0 0 3 0 0 0 16 0 22 0 600399807 16091656192 152846 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25618] ppid=25606 vsize=15714508 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25618/stat : 25618 (java) S 25606 25608 24128 0 -1 4202560 427 0 0 0 0 0 0 0 15 0 22 0 600399807 16091656192 152846 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25619] ppid=25606 vsize=15714508 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25619/stat : 25619 (java) S 25606 25608 24128 0 -1 4202560 375 0 0 0 0 0 0 0 15 0 22 0 600399808 16091656192 152846 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746995200 0 0 0 16800975 18446604455153477696 0 0 -1 7 0 0 0
[pid=25608/tid=25620] ppid=25606 vsize=15714508 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25620/stat : 25620 (java) S 25606 25608 24128 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 600399809 16091656192 152846 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25621] ppid=25606 vsize=15714508 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25621/stat : 25621 (java) S 25606 25608 24128 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 600399809 16091656192 152846 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25622] ppid=25606 vsize=15714508 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25622/stat : 25622 (java) S 25606 25608 24128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 600399811 16091656192 152846 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216747002289 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25623] ppid=25606 vsize=15714508 CPUtime=0.48 cores=1,3,5,7
/proc/25608/task/25623/stat : 25623 (java) R 25606 25608 24128 0 -1 4202560 10289 0 0 0 47 1 0 0 16 0 22 0 600399811 16091656192 152846 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 47018306004294 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25608/tid=25624] ppid=25606 vsize=15714508 CPUtime=0.2 cores=1,3,5,7
/proc/25608/task/25624/stat : 25624 (java) S 25606 25608 24128 0 -1 4202560 2725 0 0 0 20 0 0 0 15 0 22 0 600399811 16091656192 152846 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 7 0 0 0
[pid=25608/tid=25625] ppid=25606 vsize=15714508 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25625/stat : 25625 (java) S 25606 25608 24128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 600399811 16091656192 152846 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25626] ppid=25606 vsize=15714508 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25626/stat : 25626 (java) S 25606 25608 24128 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 600399811 16091656192 152846 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746995200 0 4 0 16800975 18446604455153477696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 15714508
[startup+6.30104 s]
/proc/loadavg: 6.45 7.69 7.16 3/196 25630
/proc/meminfo: memFree=14409448/32951124 swapFree=67102140/67111528
[pid=25608] ppid=25606 vsize=15701948 CPUtime=7.94 cores=1,3,5,7
/proc/25608/stat : 25608 (java) S 25606 25608 24128 0 -1 4202496 162504 0 1 0 774 20 0 0 21 0 22 0 600399806 16078794752 149976 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25608/statm: 3925487 149976 2275 9 0 3916206 0
[pid=25608/tid=25610] ppid=25606 vsize=15701948 CPUtime=6.21 cores=1,3,5,7
/proc/25608/task/25610/stat : 25610 (java) R 25606 25608 24128 0 -1 4202560 117148 0 1 0 606 15 0 0 21 0 22 0 600399807 16078794752 149976 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 46912506059064 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25608/tid=25611] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25611/stat : 25611 (java) S 25606 25608 24128 0 -1 4202560 540 0 0 0 0 0 0 0 15 0 22 0 600399807 16078794752 149976 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25612] ppid=25606 vsize=15701948 CPUtime=0.03 cores=1,3,5,7
/proc/25608/task/25612/stat : 25612 (java) S 25606 25608 24128 0 -1 4202560 4200 0 0 0 3 0 0 0 16 0 22 0 600399807 16078794752 149976 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 1 0 0 0
[pid=25608/tid=25613] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25613/stat : 25613 (java) S 25606 25608 24128 0 -1 4202560 1451 0 0 0 0 0 0 0 15 0 22 0 600399807 16078794752 149976 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 7 0 0 0
[pid=25608/tid=25614] ppid=25606 vsize=15701948 CPUtime=0.04 cores=1,3,5,7
/proc/25608/task/25614/stat : 25614 (java) S 25606 25608 24128 0 -1 4202560 7153 0 0 0 4 0 0 0 16 0 22 0 600399807 16078794752 149976 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25615] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25615/stat : 25615 (java) S 25606 25608 24128 0 -1 4202560 736 0 0 0 0 0 0 0 15 0 22 0 600399807 16078794752 149976 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25616] ppid=25606 vsize=15701948 CPUtime=0.03 cores=1,3,5,7
/proc/25608/task/25616/stat : 25616 (java) S 25606 25608 24128 0 -1 4202560 5696 0 0 0 3 0 0 0 16 0 22 0 600399807 16078794752 149976 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25617] ppid=25606 vsize=15701948 CPUtime=0.03 cores=1,3,5,7
/proc/25608/task/25617/stat : 25617 (java) S 25606 25608 24128 0 -1 4202560 4493 0 0 0 3 0 0 0 16 0 22 0 600399807 16078794752 149976 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25618] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25618/stat : 25618 (java) S 25606 25608 24128 0 -1 4202560 427 0 0 0 0 0 0 0 15 0 22 0 600399807 16078794752 149976 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25619] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25619/stat : 25619 (java) S 25606 25608 24128 0 -1 4202560 375 0 0 0 0 0 0 0 15 0 22 0 600399808 16078794752 149976 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746995200 0 0 0 16800975 18446604455153477696 0 0 -1 7 0 0 0
[pid=25608/tid=25620] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25620/stat : 25620 (java) S 25606 25608 24128 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 600399809 16078794752 149976 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25621] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25621/stat : 25621 (java) S 25606 25608 24128 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 600399809 16078794752 149976 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25622] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25622/stat : 25622 (java) S 25606 25608 24128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 600399811 16078794752 149976 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216747002289 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25623] ppid=25606 vsize=15701948 CPUtime=0.94 cores=1,3,5,7
/proc/25608/task/25623/stat : 25623 (java) S 25606 25608 24128 0 -1 4202560 13427 0 0 0 93 1 0 0 16 0 22 0 600399811 16078794752 149976 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 1 0 0 0
[pid=25608/tid=25624] ppid=25606 vsize=15701948 CPUtime=0.56 cores=1,3,5,7
/proc/25608/task/25624/stat : 25624 (java) S 25606 25608 24128 0 -1 4202560 5399 0 0 0 56 0 0 0 15 0 22 0 600399811 16078794752 149976 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25625] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25625/stat : 25625 (java) S 25606 25608 24128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 600399811 16078794752 149976 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25626] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25626/stat : 25626 (java) S 25606 25608 24128 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 600399811 16078794752 149976 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746995200 0 4 0 16800975 18446604455153477696 0 0 -1 7 0 0 0
[pid=25608/tid=25627] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25627/stat : 25627 (java) S 25606 25608 24128 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 22 0 600400050 16078794752 149976 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746995200 0 4 0 16800975 18446604455153477696 0 0 -1 7 0 0 0
[pid=25608/tid=25628] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25628/stat : 25628 (java) S 25606 25608 24128 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 600400050 16078794752 149976 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746995200 0 4 0 16800975 18446604455153477696 0 0 -1 7 0 0 0
[pid=25608/tid=25629] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25629/stat : 25629 (java) S 25606 25608 24128 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 600400050 16078794752 149976 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746995200 0 4 0 16800975 18446604455153477696 0 0 -1 7 0 0 0
[pid=25608/tid=25630] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25630/stat : 25630 (java) S 25606 25608 24128 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 600400050 16078794752 149976 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746995200 0 4 0 16800975 18446604455153477696 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.94
Current children cumulated vsize (KiB) 15701948
################
# More data... #
################
/proc/meminfo: memFree=98544/32951124 swapFree=67102140/67111528
[pid=25608] ppid=25606 vsize=15701948 CPUtime=3914.77 cores=1,3,5,7
/proc/25608/stat : 25608 (java) S 25606 25608 24128 0 -1 4202496 2229529 0 1 0 391089 388 0 0 21 0 22 0 600399806 16078794752 2142815 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25608/statm: 3925487 2142815 2300 9 0 3916206 0
[pid=25608/tid=25610] ppid=25606 vsize=15701948 CPUtime=49.81 cores=1,3,5,7
/proc/25608/task/25610/stat : 25610 (java) S 25606 25608 24128 0 -1 4202560 127432 0 1 0 4964 17 0 0 25 0 22 0 600399807 16078794752 2142815 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25611] ppid=25606 vsize=15701948 CPUtime=5.28 cores=1,3,5,7
/proc/25608/task/25611/stat : 25611 (java) S 25606 25608 24128 0 -1 4202560 144880 0 0 0 503 25 0 0 15 0 22 0 600399807 16078794752 2142815 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25612] ppid=25606 vsize=15701948 CPUtime=6.02 cores=1,3,5,7
/proc/25608/task/25612/stat : 25612 (java) S 25606 25608 24128 0 -1 4202560 370506 0 0 0 539 63 0 0 16 0 22 0 600399807 16078794752 2142815 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 1 0 0 0
[pid=25608/tid=25613] ppid=25606 vsize=15701948 CPUtime=5.09 cores=1,3,5,7
/proc/25608/task/25613/stat : 25613 (java) S 25606 25608 24128 0 -1 4202560 220313 0 0 0 469 40 0 0 15 0 22 0 600399807 16078794752 2142815 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25614] ppid=25606 vsize=15701948 CPUtime=4.71 cores=1,3,5,7
/proc/25608/task/25614/stat : 25614 (java) S 25606 25608 24128 0 -1 4202560 195827 0 0 0 437 34 0 0 16 0 22 0 600399807 16078794752 2142815 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25615] ppid=25606 vsize=15701948 CPUtime=5.84 cores=1,3,5,7
/proc/25608/task/25615/stat : 25615 (java) S 25606 25608 24128 0 -1 4202560 259084 0 0 0 539 45 0 0 16 0 22 0 600399807 16078794752 2142815 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25616] ppid=25606 vsize=15701948 CPUtime=5.45 cores=1,3,5,7
/proc/25608/task/25616/stat : 25616 (java) S 25606 25608 24128 0 -1 4202560 265324 0 0 0 499 46 0 0 15 0 22 0 600399807 16078794752 2142815 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 7 0 0 0
[pid=25608/tid=25617] ppid=25606 vsize=15701948 CPUtime=5.87 cores=1,3,5,7
/proc/25608/task/25617/stat : 25617 (java) S 25606 25608 24128 0 -1 4202560 250789 0 0 0 543 44 0 0 16 0 22 0 600399807 16078794752 2142815 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25618] ppid=25606 vsize=15701948 CPUtime=5.52 cores=1,3,5,7
/proc/25608/task/25618/stat : 25618 (java) S 25606 25608 24128 0 -1 4202560 276938 0 0 0 501 51 0 0 16 0 22 0 600399807 16078794752 2142815 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 7 0 0 0
[pid=25608/tid=25619] ppid=25606 vsize=15701948 CPUtime=4.06 cores=1,3,5,7
/proc/25608/task/25619/stat : 25619 (java) S 25606 25608 24128 0 -1 4202560 6507 0 0 0 404 2 0 0 15 0 22 0 600399808 16078794752 2142815 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746995200 0 0 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25620] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25620/stat : 25620 (java) S 25606 25608 24128 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 600399809 16078794752 2142815 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 1 0 0 0
[pid=25608/tid=25621] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25621/stat : 25621 (java) S 25606 25608 24128 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 600399809 16078794752 2142815 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 1 0 0 0
[pid=25608/tid=25622] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25622/stat : 25622 (java) S 25606 25608 24128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 600399811 16078794752 2142815 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216747002289 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25623] ppid=25606 vsize=15701948 CPUtime=1.95 cores=1,3,5,7
/proc/25608/task/25623/stat : 25623 (java) S 25606 25608 24128 0 -1 4202560 13602 0 0 0 194 1 0 0 16 0 22 0 600399811 16078794752 2142815 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 1 0 0 0
[pid=25608/tid=25624] ppid=25606 vsize=15701948 CPUtime=1.43 cores=1,3,5,7
/proc/25608/task/25624/stat : 25624 (java) S 25606 25608 24128 0 -1 4202560 8732 0 0 0 142 1 0 0 15 0 22 0 600399811 16078794752 2142815 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25625] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25625/stat : 25625 (java) S 25606 25608 24128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 600399811 16078794752 2142815 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25626] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25626/stat : 25626 (java) S 25606 25608 24128 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 600399811 16078794752 2142815 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746995200 0 4 0 16800975 18446604455153477696 0 0 -1 1 0 0 0
[pid=25608/tid=25627] ppid=25606 vsize=15701948 CPUtime=1068.44 cores=1,3,5,7
/proc/25608/task/25627/stat : 25627 (java) R 25606 25608 24128 0 -1 4202560 6134 0 0 0 106842 2 0 0 25 0 22 0 600400050 16078794752 2142815 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 46912506131533 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25608/tid=25628] ppid=25606 vsize=15701948 CPUtime=792.57 cores=1,3,5,7
/proc/25608/task/25628/stat : 25628 (java) R 25606 25608 24128 0 -1 4202560 6246 0 0 0 79256 1 0 0 25 0 22 0 600400050 16078794752 2142815 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25608/tid=25629] ppid=25606 vsize=15701948 CPUtime=1115.94 cores=1,3,5,7
/proc/25608/task/25629/stat : 25629 (java) R 25606 25608 24128 0 -1 4202560 41824 0 0 0 111589 5 0 0 25 0 22 0 600400050 16078794752 2142815 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 46912506444822 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25608/tid=25630] ppid=25606 vsize=15701948 CPUtime=836.66 cores=1,3,5,7
/proc/25608/task/25630/stat : 25630 (java) R 25606 25608 24128 0 -1 4202560 33935 0 0 0 83661 5 0 0 25 0 22 0 600400050 16078794752 2142815 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 46912505366048 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3914.77
Current children cumulated vsize (KiB) 15701948
[startup+1242.3 s]
/proc/loadavg: 5.65 5.89 6.26 6/219 25693
/proc/meminfo: memFree=97868/32951124 swapFree=67102140/67111528
[pid=25608] ppid=25606 vsize=15701948 CPUtime=4154.41 cores=1,3,5,7
/proc/25608/stat : 25608 (java) S 25606 25608 24128 0 -1 4202496 2229545 0 1 0 415053 388 0 0 21 0 22 0 600399806 16078794752 2142800 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25608/statm: 3925487 2142800 2300 9 0 3916206 0
[pid=25608/tid=25610] ppid=25606 vsize=15701948 CPUtime=49.81 cores=1,3,5,7
/proc/25608/task/25610/stat : 25610 (java) S 25606 25608 24128 0 -1 4202560 127432 0 1 0 4964 17 0 0 25 0 22 0 600399807 16078794752 2142800 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25611] ppid=25606 vsize=15701948 CPUtime=5.36 cores=1,3,5,7
/proc/25608/task/25611/stat : 25611 (java) S 25606 25608 24128 0 -1 4202560 144880 0 0 0 511 25 0 0 15 0 22 0 600399807 16078794752 2142800 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 7 0 0 0
[pid=25608/tid=25612] ppid=25606 vsize=15701948 CPUtime=6.08 cores=1,3,5,7
/proc/25608/task/25612/stat : 25612 (java) S 25606 25608 24128 0 -1 4202560 370506 0 0 0 545 63 0 0 16 0 22 0 600399807 16078794752 2142800 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 1 0 0 0
[pid=25608/tid=25613] ppid=25606 vsize=15701948 CPUtime=5.14 cores=1,3,5,7
/proc/25608/task/25613/stat : 25613 (java) S 25606 25608 24128 0 -1 4202560 220314 0 0 0 474 40 0 0 16 0 22 0 600399807 16078794752 2142800 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 1 0 0 0
[pid=25608/tid=25614] ppid=25606 vsize=15701948 CPUtime=4.78 cores=1,3,5,7
/proc/25608/task/25614/stat : 25614 (java) S 25606 25608 24128 0 -1 4202560 195827 0 0 0 444 34 0 0 16 0 22 0 600399807 16078794752 2142800 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25615] ppid=25606 vsize=15701948 CPUtime=5.9 cores=1,3,5,7
/proc/25608/task/25615/stat : 25615 (java) S 25606 25608 24128 0 -1 4202560 259084 0 0 0 545 45 0 0 16 0 22 0 600399807 16078794752 2142800 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25616] ppid=25606 vsize=15701948 CPUtime=5.52 cores=1,3,5,7
/proc/25608/task/25616/stat : 25616 (java) S 25606 25608 24128 0 -1 4202560 265324 0 0 0 506 46 0 0 16 0 22 0 600399807 16078794752 2142800 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25617] ppid=25606 vsize=15701948 CPUtime=5.94 cores=1,3,5,7
/proc/25608/task/25617/stat : 25617 (java) S 25606 25608 24128 0 -1 4202560 250789 0 0 0 550 44 0 0 16 0 22 0 600399807 16078794752 2142800 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25618] ppid=25606 vsize=15701948 CPUtime=5.61 cores=1,3,5,7
/proc/25608/task/25618/stat : 25618 (java) S 25606 25608 24128 0 -1 4202560 276938 0 0 0 510 51 0 0 16 0 22 0 600399807 16078794752 2142800 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 7 0 0 0
[pid=25608/tid=25619] ppid=25606 vsize=15701948 CPUtime=4.06 cores=1,3,5,7
/proc/25608/task/25619/stat : 25619 (java) S 25606 25608 24128 0 -1 4202560 6508 0 0 0 404 2 0 0 15 0 22 0 600399808 16078794752 2142800 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746995200 0 0 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25620] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25620/stat : 25620 (java) S 25606 25608 24128 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 600399809 16078794752 2142800 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 1 0 0 0
[pid=25608/tid=25621] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25621/stat : 25621 (java) S 25606 25608 24128 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 600399809 16078794752 2142800 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 1 0 0 0
[pid=25608/tid=25622] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25622/stat : 25622 (java) S 25606 25608 24128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 600399811 16078794752 2142800 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216747002289 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25623] ppid=25606 vsize=15701948 CPUtime=1.95 cores=1,3,5,7
/proc/25608/task/25623/stat : 25623 (java) S 25606 25608 24128 0 -1 4202560 13602 0 0 0 194 1 0 0 16 0 22 0 600399811 16078794752 2142800 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 1 0 0 0
[pid=25608/tid=25624] ppid=25606 vsize=15701948 CPUtime=1.43 cores=1,3,5,7
/proc/25608/task/25624/stat : 25624 (java) S 25606 25608 24128 0 -1 4202560 8732 0 0 0 142 1 0 0 15 0 22 0 600399811 16078794752 2142800 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25625] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25625/stat : 25625 (java) S 25606 25608 24128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 600399811 16078794752 2142800 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25626] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25626/stat : 25626 (java) S 25606 25608 24128 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 600399811 16078794752 2142800 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746995200 0 4 0 16800975 18446604455153477696 0 0 -1 1 0 0 0
[pid=25608/tid=25627] ppid=25606 vsize=15701948 CPUtime=1128.29 cores=1,3,5,7
/proc/25608/task/25627/stat : 25627 (java) R 25606 25608 24128 0 -1 4202560 6137 0 0 0 112827 2 0 0 25 0 22 0 600400050 16078794752 2142800 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 46912506293384 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25608/tid=25628] ppid=25606 vsize=15701948 CPUtime=852.42 cores=1,3,5,7
/proc/25608/task/25628/stat : 25628 (java) R 25606 25608 24128 0 -1 4202560 6247 0 0 0 85241 1 0 0 25 0 22 0 600400050 16078794752 2142800 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 46912506446444 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25608/tid=25629] ppid=25606 vsize=15701948 CPUtime=1175.79 cores=1,3,5,7
/proc/25608/task/25629/stat : 25629 (java) R 25606 25608 24128 0 -1 4202560 41828 0 0 0 117574 5 0 0 25 0 22 0 600400050 16078794752 2142800 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 46912506167911 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25608/tid=25630] ppid=25606 vsize=15701948 CPUtime=896.19 cores=1,3,5,7
/proc/25608/task/25630/stat : 25630 (java) R 25606 25608 24128 0 -1 4202560 33939 0 0 0 89614 5 0 0 25 0 22 0 600400050 16078794752 2142800 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 18446744073699065949 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4154.41
Current children cumulated vsize (KiB) 15701948
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 5.55 5.81 6.21 8/219 25695
/proc/meminfo: memFree=97820/32951124 swapFree=67102140/67111528
[pid=25608] ppid=25606 vsize=15701948 CPUtime=4384.9 cores=1,3,5,7
/proc/25608/stat : 25608 (java) S 25606 25608 24128 0 -1 4202496 2229569 0 1 0 438101 389 0 0 21 0 22 0 600399806 16078794752 2142788 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25608/statm: 3925487 2142788 2300 9 0 3916206 0
[pid=25608/tid=25610] ppid=25606 vsize=15701948 CPUtime=49.81 cores=1,3,5,7
/proc/25608/task/25610/stat : 25610 (java) S 25606 25608 24128 0 -1 4202560 127432 0 1 0 4964 17 0 0 25 0 22 0 600399807 16078794752 2142788 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25611] ppid=25606 vsize=15701948 CPUtime=5.43 cores=1,3,5,7
/proc/25608/task/25611/stat : 25611 (java) S 25606 25608 24128 0 -1 4202560 144880 0 0 0 518 25 0 0 15 0 22 0 600399807 16078794752 2142788 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25612] ppid=25606 vsize=15701948 CPUtime=6.17 cores=1,3,5,7
/proc/25608/task/25612/stat : 25612 (java) S 25606 25608 24128 0 -1 4202560 370507 0 0 0 554 63 0 0 16 0 22 0 600399807 16078794752 2142788 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 1 0 0 0
[pid=25608/tid=25613] ppid=25606 vsize=15701948 CPUtime=5.2 cores=1,3,5,7
/proc/25608/task/25613/stat : 25613 (java) S 25606 25608 24128 0 -1 4202560 220314 0 0 0 480 40 0 0 15 0 22 0 600399807 16078794752 2142788 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25614] ppid=25606 vsize=15701948 CPUtime=4.86 cores=1,3,5,7
/proc/25608/task/25614/stat : 25614 (java) S 25606 25608 24128 0 -1 4202560 195827 0 0 0 452 34 0 0 15 0 22 0 600399807 16078794752 2142788 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25615] ppid=25606 vsize=15701948 CPUtime=5.93 cores=1,3,5,7
/proc/25608/task/25615/stat : 25615 (java) S 25606 25608 24128 0 -1 4202560 259084 0 0 0 548 45 0 0 15 0 22 0 600399807 16078794752 2142788 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25616] ppid=25606 vsize=15701948 CPUtime=5.58 cores=1,3,5,7
/proc/25608/task/25616/stat : 25616 (java) S 25606 25608 24128 0 -1 4202560 265324 0 0 0 512 46 0 0 16 0 22 0 600399807 16078794752 2142788 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 7 0 0 0
[pid=25608/tid=25617] ppid=25606 vsize=15701948 CPUtime=6.06 cores=1,3,5,7
/proc/25608/task/25617/stat : 25617 (java) S 25606 25608 24128 0 -1 4202560 250789 0 0 0 562 44 0 0 16 0 22 0 600399807 16078794752 2142788 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25618] ppid=25606 vsize=15701948 CPUtime=5.67 cores=1,3,5,7
/proc/25608/task/25618/stat : 25618 (java) S 25606 25608 24128 0 -1 4202560 276941 0 0 0 516 51 0 0 16 0 22 0 600399807 16078794752 2142788 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25619] ppid=25606 vsize=15701948 CPUtime=4.06 cores=1,3,5,7
/proc/25608/task/25619/stat : 25619 (java) S 25606 25608 24128 0 -1 4202560 6510 0 0 0 404 2 0 0 15 0 22 0 600399808 16078794752 2142788 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746995200 0 0 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25620] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25620/stat : 25620 (java) S 25606 25608 24128 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 600399809 16078794752 2142788 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 1 0 0 0
[pid=25608/tid=25621] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25621/stat : 25621 (java) S 25606 25608 24128 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 600399809 16078794752 2142788 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 1 0 0 0
[pid=25608/tid=25622] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25622/stat : 25622 (java) S 25606 25608 24128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 600399811 16078794752 2142788 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216747002289 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25623] ppid=25606 vsize=15701948 CPUtime=1.95 cores=1,3,5,7
/proc/25608/task/25623/stat : 25623 (java) S 25606 25608 24128 0 -1 4202560 13602 0 0 0 194 1 0 0 16 0 22 0 600399811 16078794752 2142788 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 1 0 0 0
[pid=25608/tid=25624] ppid=25606 vsize=15701948 CPUtime=1.43 cores=1,3,5,7
/proc/25608/task/25624/stat : 25624 (java) S 25606 25608 24128 0 -1 4202560 8732 0 0 0 142 1 0 0 15 0 22 0 600399811 16078794752 2142788 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 3 0 0 0
[pid=25608/tid=25625] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25625/stat : 25625 (java) S 25606 25608 24128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 600399811 16078794752 2142788 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746994585 0 4 0 16800975 18446604455153477696 0 0 -1 5 0 0 0
[pid=25608/tid=25626] ppid=25606 vsize=15701948 CPUtime=0 cores=1,3,5,7
/proc/25608/task/25626/stat : 25626 (java) S 25606 25608 24128 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 22 0 600399811 16078794752 2142788 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 216746995200 0 4 0 16800975 18446604455153477696 0 0 -1 1 0 0 0
[pid=25608/tid=25627] ppid=25606 vsize=15701948 CPUtime=1185.85 cores=1,3,5,7
/proc/25608/task/25627/stat : 25627 (java) R 25606 25608 24128 0 -1 4202560 6142 0 0 0 118583 2 0 0 25 0 22 0 600400050 16078794752 2142788 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 46912505916707 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25608/tid=25628] ppid=25606 vsize=15701948 CPUtime=909.98 cores=1,3,5,7
/proc/25608/task/25628/stat : 25628 (java) R 25606 25608 24128 0 -1 4202560 6250 0 0 0 90997 1 0 0 25 0 22 0 600400050 16078794752 2142788 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 46912506058477 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25608/tid=25629] ppid=25606 vsize=15701948 CPUtime=1233.35 cores=1,3,5,7
/proc/25608/task/25629/stat : 25629 (java) R 25606 25608 24128 0 -1 4202560 41833 0 0 0 123330 5 0 0 25 0 22 0 600400050 16078794752 2142788 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 46912506132261 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25608/tid=25630] ppid=25606 vsize=15701948 CPUtime=953.43 cores=1,3,5,7
/proc/25608/task/25630/stat : 25630 (java) R 25606 25608 24128 0 -1 4202560 33940 0 0 0 95338 5 0 0 25 0 22 0 600400050 16078794752 2142788 33554432000 1073741824 1073778376 140736790341824 18446744073709551615 46912505728078 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4384.9
Current children cumulated vsize (KiB) 15701948
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300.31 s]
/proc/loadavg: 5.55 5.81 6.21 5/200 25698
/proc/meminfo: memFree=4317144/32951124 swapFree=67102140/67111528
[pid=25608] ppid=25606 vsize=0 CPUtime=4385.22 cores=1,3,5,7
/proc/25608/stat : 25608 (java) Z 25606 25608 24128 0 -1 4203548 2229596 0 1 0 438104 418 0 0 17 0 2 0 600399806 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/25608/statm: 0 0 0 0 0 0 0
[pid=25608/tid=25627] ppid=25606 vsize=0 CPUtime=1186.14 cores=1,3,5,7
/proc/25608/task/25627/stat : 25627 (java) R 25606 25608 24128 0 -1 4203588 6142 0 0 0 118583 31 0 0 25 0 2 0 600400050 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) 4385.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1300.37
CPU time (s): 4385.29
CPU user time (s): 4381.05
CPU system time (s): 4.24835
CPU usage (%): 337.234
Max. virtual memory (cumulated for all children) (KiB): 15718620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4381.04
system time used= 4.24835
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2229596
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= 59943
involuntary context switches= 77825
runsolver used 2.11768 second user time and 5.04323 second system time
The end