runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3733488-1338743479/watcher-3733488-1338743479 -o /tmp/evaluation-result-3733488-1338743479/solver-3733488-1338743479 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3733488-1338743479.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: 0.08 0.10 1.03 2/195 26518
/proc/meminfo: memFree=25727396/32873660 swapFree=7120/7120
[pid=26518] ppid=26516 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/26518/stat : 26518 (java6) D 26516 26518 25443 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 340473625 9515008 182 33554432000 1073741824 1073778376 140736534842848 140736534833880 270330052277 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/26518/statm: 2323 182 140 9 0 71 0
[startup+0.0134291 s]
/proc/loadavg: 0.08 0.10 1.03 2/195 26518
/proc/meminfo: memFree=25727396/32873660 swapFree=7120/7120
[pid=26518] ppid=26516 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/26518/stat : 26518 (java) S 26516 26518 25443 0 -1 4202496 1276 0 0 0 0 0 0 0 20 0 2 0 340473625 98570240 976 33554432000 1073741824 1073778376 140734427187584 140734427178720 270333411389 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26518/statm: 24065 979 745 9 0 16771 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96260
[startup+0.100235 s]
/proc/loadavg: 0.08 0.10 1.03 2/195 26518
/proc/meminfo: memFree=25727396/32873660 swapFree=7120/7120
[pid=26518] ppid=26516 vsize=2699928 CPUtime=0.09 cores=1,3,5,7
/proc/26518/stat : 26518 (java) S 26516 26518 25443 0 -1 4202496 4710 0 1 0 8 1 0 0 20 0 18 0 340473625 2764726272 6410 33554432000 1073741824 1073778376 140734427187584 140734427178720 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26518/statm: 674982 6410 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.300241 s]
/proc/loadavg: 0.08 0.10 1.03 2/195 26518
/proc/meminfo: memFree=25727396/32873660 swapFree=7120/7120
[pid=26518] ppid=26516 vsize=2699928 CPUtime=0.52 cores=1,3,5,7
/proc/26518/stat : 26518 (java) S 26516 26518 25443 0 -1 4202496 6367 0 1 0 51 1 0 0 20 0 18 0 340473625 2764726272 10945 33554432000 1073741824 1073778376 140734427187584 140734427178720 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26518/statm: 674982 10945 2219 9 0 665676 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2699928
[startup+0.700198 s]
/proc/loadavg: 0.08 0.10 1.03 2/195 26518
/proc/meminfo: memFree=25727396/32873660 swapFree=7120/7120
[pid=26518] ppid=26516 vsize=2966184 CPUtime=1.99 cores=1,3,5,7
/proc/26518/stat : 26518 (java) S 26516 26518 25443 0 -1 4202496 10148 0 1 0 196 3 0 0 20 0 22 0 340473625 3037372416 22144 33554432000 1073741824 1073778376 140734427187584 140734427178720 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26518/statm: 741546 22144 2255 9 0 732240 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 2966184
[startup+1.50073 s]
/proc/loadavg: 0.08 0.10 1.03 4/217 26540
/proc/meminfo: memFree=25457012/32873660 swapFree=7120/7120
[pid=26518] ppid=26516 vsize=2966184 CPUtime=3.76 cores=1,3,5,7
/proc/26518/stat : 26518 (java) S 26516 26518 25443 0 -1 4202496 10346 0 1 0 368 8 0 0 20 0 22 0 340473625 3037372416 96923 33554432000 1073741824 1073778376 140734427187584 140734427178720 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26518/statm: 741546 96923 2270 9 0 732240 0
[pid=26518/tid=26520] ppid=26516 vsize=2966184 CPUtime=0.32 cores=1,3,5,7
/proc/26518/task/26520/stat : 26520 (java) S 26516 26518 25443 0 -1 4202560 2810 0 1 0 31 1 0 0 20 0 22 0 340473626 3037372416 96923 33554432000 1073741824 1073778376 140734427187584 140267909858456 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26521] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26521/stat : 26521 (java) S 26516 26518 25443 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 340473627 3037372416 96923 33554432000 1073741824 1073778376 140734427187584 140267894139176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26522] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26522/stat : 26522 (java) S 26516 26518 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 340473627 3037372416 96923 33554432000 1073741824 1073778376 140734427187584 140267893086376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26523] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26523/stat : 26523 (java) S 26516 26518 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340473627 3037372416 96923 33554432000 1073741824 1073778376 140734427187584 140267892034088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26518/tid=26524] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26524/stat : 26524 (java) S 26516 26518 25443 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 340473627 3037372416 96923 33554432000 1073741824 1073778376 140734427187584 140267890981288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26525] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26525/stat : 26525 (java) S 26516 26518 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 340473627 3037372416 96923 33554432000 1073741824 1073778376 140734427187584 140267889929000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26526] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26526/stat : 26526 (java) S 26516 26518 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 340473627 3037372416 96923 33554432000 1073741824 1073778376 140734427187584 140267888876200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26518/tid=26527] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26527/stat : 26527 (java) S 26516 26518 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 340473627 3037372416 96923 33554432000 1073741824 1073778376 140734427187584 140267887823912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26528] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26528/stat : 26528 (java) S 26516 26518 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 340473627 3037372416 96923 33554432000 1073741824 1073778376 140734427187584 140267886771112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26529] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26529/stat : 26529 (java) S 26516 26518 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340473628 3037372416 96923 33554432000 1073741824 1073778376 140734427187584 140267874359528 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26530] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26530/stat : 26530 (java) S 26516 26518 25443 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340473629 3037372416 96923 33554432000 1073741824 1073778376 140734427187584 140267873305592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26531] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26531/stat : 26531 (java) S 26516 26518 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340473629 3037372416 96923 33554432000 1073741824 1073778376 140734427187584 140267872253192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26532] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26532/stat : 26532 (java) S 26516 26518 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340473631 3037372416 96923 33554432000 1073741824 1073778376 140734427187584 140267871201680 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26533] ppid=26516 vsize=2966184 CPUtime=0.57 cores=1,3,5,7
/proc/26518/task/26533/stat : 26533 (java) S 26516 26518 25443 0 -1 4202560 3296 0 0 0 57 0 0 0 20 0 22 0 340473631 3037372416 96923 33554432000 1073741824 1073778376 140734427187584 140267870149304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26534] ppid=26516 vsize=2966184 CPUtime=0.56 cores=1,3,5,7
/proc/26518/task/26534/stat : 26534 (java) S 26516 26518 25443 0 -1 4202560 2740 0 0 0 56 0 0 0 20 0 22 0 340473631 3037372416 96923 33554432000 1073741824 1073778376 140734427187584 140267869096504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26535] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26535/stat : 26535 (java) S 26516 26518 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340473631 3037372416 96923 33554432000 1073741824 1073778376 140734427187584 140267868044408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26536] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26536/stat : 26536 (java) S 26516 26518 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340473631 3037372416 96923 33554432000 1073741824 1073778376 140734427187584 140267866991816 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26537] ppid=26516 vsize=2966184 CPUtime=1.09 cores=1,3,5,7
/proc/26518/task/26537/stat : 26537 (java) R 26516 26518 25443 0 -1 4202560 43 0 0 0 109 0 0 0 20 0 22 0 340473661 3037372416 96923 33554432000 1073741824 1073778376 140734427187584 140267865935880 140267743799862 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=26518/tid=26538] ppid=26516 vsize=2966184 CPUtime=1.11 cores=1,3,5,7
/proc/26518/task/26538/stat : 26538 (java) R 26516 26518 25443 0 -1 4202560 221 0 0 0 106 5 0 0 20 0 22 0 340473661 3037372416 96923 33554432000 1073741824 1073778376 140734427187584 140267864881848 140267743555053 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26539] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26539/stat : 26539 (java) S 26516 26518 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340473670 3037372416 96923 33554432000 1073741824 1073778376 140734427187584 140267863831720 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26518/tid=26540] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26540/stat : 26540 (java) S 26516 26518 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340473670 3037372416 96923 33554432000 1073741824 1073778376 140734427187584 140267862778920 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 2966184
[startup+3.10088 s]
/proc/loadavg: 0.08 0.10 1.03 3/217 26540
/proc/meminfo: memFree=25339284/32873660 swapFree=7120/7120
[pid=26518] ppid=26516 vsize=2966184 CPUtime=7.03 cores=1,3,5,7
/proc/26518/stat : 26518 (java) S 26516 26518 25443 0 -1 4202496 10370 0 1 0 693 10 0 0 20 0 22 0 340473625 3037372416 98978 33554432000 1073741824 1073778376 140734427187584 140734427178720 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26518/statm: 741546 98978 2270 9 0 732240 0
[pid=26518/tid=26520] ppid=26516 vsize=2966184 CPUtime=0.32 cores=1,3,5,7
/proc/26518/task/26520/stat : 26520 (java) S 26516 26518 25443 0 -1 4202560 2810 0 1 0 31 1 0 0 20 0 22 0 340473626 3037372416 98978 33554432000 1073741824 1073778376 140734427187584 140267909858456 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26521] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26521/stat : 26521 (java) S 26516 26518 25443 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340473627 3037372416 98978 33554432000 1073741824 1073778376 140734427187584 140267894139176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26522] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26522/stat : 26522 (java) S 26516 26518 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340473627 3037372416 98978 33554432000 1073741824 1073778376 140734427187584 140267893086376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26523] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26523/stat : 26523 (java) S 26516 26518 25443 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 340473627 3037372416 98978 33554432000 1073741824 1073778376 140734427187584 140267892034088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26518/tid=26524] ppid=26516 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/26518/task/26524/stat : 26524 (java) S 26516 26518 25443 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 340473627 3037372416 98978 33554432000 1073741824 1073778376 140734427187584 140267890981288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26525] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26525/stat : 26525 (java) S 26516 26518 25443 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 340473627 3037372416 98978 33554432000 1073741824 1073778376 140734427187584 140267889929000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26526] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26526/stat : 26526 (java) S 26516 26518 25443 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 340473627 3037372416 98978 33554432000 1073741824 1073778376 140734427187584 140267888876200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26518/tid=26527] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26527/stat : 26527 (java) S 26516 26518 25443 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 340473627 3037372416 98978 33554432000 1073741824 1073778376 140734427187584 140267887823912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26528] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26528/stat : 26528 (java) S 26516 26518 25443 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 340473627 3037372416 98978 33554432000 1073741824 1073778376 140734427187584 140267886771112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26518/tid=26529] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26529/stat : 26529 (java) S 26516 26518 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340473628 3037372416 98978 33554432000 1073741824 1073778376 140734427187584 140267874359528 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26530] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26530/stat : 26530 (java) S 26516 26518 25443 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340473629 3037372416 98978 33554432000 1073741824 1073778376 140734427187584 140267873305592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26531] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26531/stat : 26531 (java) S 26516 26518 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340473629 3037372416 98978 33554432000 1073741824 1073778376 140734427187584 140267872253192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26532] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26532/stat : 26532 (java) S 26516 26518 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340473631 3037372416 98978 33554432000 1073741824 1073778376 140734427187584 140267871201680 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26533] ppid=26516 vsize=2966184 CPUtime=0.61 cores=1,3,5,7
/proc/26518/task/26533/stat : 26533 (java) S 26516 26518 25443 0 -1 4202560 3297 0 0 0 61 0 0 0 20 0 22 0 340473631 3037372416 98978 33554432000 1073741824 1073778376 140734427187584 140267870149304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26534] ppid=26516 vsize=2966184 CPUtime=0.56 cores=1,3,5,7
/proc/26518/task/26534/stat : 26534 (java) S 26516 26518 25443 0 -1 4202560 2740 0 0 0 56 0 0 0 20 0 22 0 340473631 3037372416 98978 33554432000 1073741824 1073778376 140734427187584 140267869096504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26535] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26535/stat : 26535 (java) S 26516 26518 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340473631 3037372416 98978 33554432000 1073741824 1073778376 140734427187584 140267868044408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26536] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26536/stat : 26536 (java) S 26516 26518 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340473631 3037372416 98978 33554432000 1073741824 1073778376 140734427187584 140267866991816 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26537] ppid=26516 vsize=2966184 CPUtime=2.66 cores=1,3,5,7
/proc/26518/task/26537/stat : 26537 (java) R 26516 26518 25443 0 -1 4202560 43 0 0 0 266 0 0 0 20 0 22 0 340473661 3037372416 98978 33554432000 1073741824 1073778376 140734427187584 140267865934008 140267743725745 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26538] ppid=26516 vsize=2966184 CPUtime=2.69 cores=1,3,5,7
/proc/26518/task/26538/stat : 26538 (java) R 26516 26518 25443 0 -1 4202560 224 0 0 0 264 5 0 0 20 0 22 0 340473661 3037372416 98978 33554432000 1073741824 1073778376 140734427187584 140267864881872 140267743855504 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26539] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26539/stat : 26539 (java) S 26516 26518 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340473670 3037372416 98978 33554432000 1073741824 1073778376 140734427187584 140267863831720 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26518/tid=26540] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26540/stat : 26540 (java) S 26516 26518 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340473670 3037372416 98978 33554432000 1073741824 1073778376 140734427187584 140267862778920 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 2966184
[startup+6.30089 s]
/proc/loadavg: 0.23 0.13 1.03 3/217 26540
/proc/meminfo: memFree=25234852/32873660 swapFree=7120/7120
[pid=26518] ppid=26516 vsize=2966184 CPUtime=13.44 cores=1,3,5,7
/proc/26518/stat : 26518 (java) S 26516 26518 25443 0 -1 4202496 10450 0 1 0 1330 14 0 0 20 0 22 0 340473625 3037372416 125406 33554432000 1073741824 1073778376 140734427187584 140734427178720 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26518/statm: 741546 125406 2270 9 0 732240 0
[pid=26518/tid=26520] ppid=26516 vsize=2966184 CPUtime=0.32 cores=1,3,5,7
/proc/26518/task/26520/stat : 26520 (java) S 26516 26518 25443 0 -1 4202560 2810 0 1 0 31 1 0 0 20 0 22 0 340473626 3037372416 125406 33554432000 1073741824 1073778376 140734427187584 140267909858456 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26521] ppid=26516 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/26518/task/26521/stat : 26521 (java) S 26516 26518 25443 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 340473627 3037372416 125406 33554432000 1073741824 1073778376 140734427187584 140267894139176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26518/tid=26522] ppid=26516 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/26518/task/26522/stat : 26522 (java) S 26516 26518 25443 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 340473627 3037372416 125406 33554432000 1073741824 1073778376 140734427187584 140267893086376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26523] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26523/stat : 26523 (java) S 26516 26518 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340473627 3037372416 125406 33554432000 1073741824 1073778376 140734427187584 140267892034088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26524] ppid=26516 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/26518/task/26524/stat : 26524 (java) S 26516 26518 25443 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 340473627 3037372416 125406 33554432000 1073741824 1073778376 140734427187584 140267890981288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26525] ppid=26516 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/26518/task/26525/stat : 26525 (java) S 26516 26518 25443 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 340473627 3037372416 125406 33554432000 1073741824 1073778376 140734427187584 140267889929000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26526] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26526/stat : 26526 (java) S 26516 26518 25443 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 340473627 3037372416 125406 33554432000 1073741824 1073778376 140734427187584 140267888876200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26518/tid=26527] ppid=26516 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/26518/task/26527/stat : 26527 (java) S 26516 26518 25443 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 340473627 3037372416 125406 33554432000 1073741824 1073778376 140734427187584 140267887823912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26528] ppid=26516 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/26518/task/26528/stat : 26528 (java) S 26516 26518 25443 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 340473627 3037372416 125406 33554432000 1073741824 1073778376 140734427187584 140267886771112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26529] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26529/stat : 26529 (java) S 26516 26518 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340473628 3037372416 125406 33554432000 1073741824 1073778376 140734427187584 140267874359528 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26530] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26530/stat : 26530 (java) S 26516 26518 25443 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340473629 3037372416 125406 33554432000 1073741824 1073778376 140734427187584 140267873305592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26531] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26531/stat : 26531 (java) S 26516 26518 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340473629 3037372416 125406 33554432000 1073741824 1073778376 140734427187584 140267872253192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26532] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26532/stat : 26532 (java) S 26516 26518 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340473631 3037372416 125406 33554432000 1073741824 1073778376 140734427187584 140267871201680 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26533] ppid=26516 vsize=2966184 CPUtime=0.63 cores=1,3,5,7
/proc/26518/task/26533/stat : 26533 (java) S 26516 26518 25443 0 -1 4202560 3297 0 0 0 63 0 0 0 20 0 22 0 340473631 3037372416 125406 33554432000 1073741824 1073778376 140734427187584 140267870149304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
/proc/26518/statm: 741546 173513 2283 9 0 732240 0
[pid=26518/tid=26520] ppid=26516 vsize=2966184 CPUtime=0.34 cores=1,3,5,7
/proc/26518/task/26520/stat : 26520 (java) S 26516 26518 25443 0 -1 4202560 2820 0 1 0 31 3 0 0 20 0 22 0 340473626 3037372416 173513 33554432000 1073741824 1073778376 140734427187584 140267909858456 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26521] ppid=26516 vsize=2966184 CPUtime=2.1 cores=1,3,5,7
/proc/26518/task/26521/stat : 26521 (java) S 26516 26518 25443 0 -1 4202560 105 0 0 0 206 4 0 0 20 0 22 0 340473627 3037372416 173513 33554432000 1073741824 1073778376 140734427187584 140267894139176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26518/tid=26522] ppid=26516 vsize=2966184 CPUtime=2.08 cores=1,3,5,7
/proc/26518/task/26522/stat : 26522 (java) S 26516 26518 25443 0 -1 4202560 78 0 0 0 203 5 0 0 20 0 22 0 340473627 3037372416 173513 33554432000 1073741824 1073778376 140734427187584 140267893086376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26523] ppid=26516 vsize=2966184 CPUtime=2.13 cores=1,3,5,7
/proc/26518/task/26523/stat : 26523 (java) S 26516 26518 25443 0 -1 4202560 100 0 0 0 209 4 0 0 20 0 22 0 340473627 3037372416 173513 33554432000 1073741824 1073778376 140734427187584 140267892034088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26524] ppid=26516 vsize=2966184 CPUtime=2.12 cores=1,3,5,7
/proc/26518/task/26524/stat : 26524 (java) S 26516 26518 25443 0 -1 4202560 102 0 0 0 209 3 0 0 20 0 22 0 340473627 3037372416 173513 33554432000 1073741824 1073778376 140734427187584 140267890981288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26525] ppid=26516 vsize=2966184 CPUtime=2.03 cores=1,3,5,7
/proc/26518/task/26525/stat : 26525 (java) S 26516 26518 25443 0 -1 4202560 88 0 0 0 199 4 0 0 20 0 22 0 340473627 3037372416 173513 33554432000 1073741824 1073778376 140734427187584 140267889929000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26526] ppid=26516 vsize=2966184 CPUtime=2.05 cores=1,3,5,7
/proc/26518/task/26526/stat : 26526 (java) S 26516 26518 25443 0 -1 4202560 75 0 0 0 202 3 0 0 20 0 22 0 340473627 3037372416 173513 33554432000 1073741824 1073778376 140734427187584 140267888876200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26527] ppid=26516 vsize=2966184 CPUtime=2.01 cores=1,3,5,7
/proc/26518/task/26527/stat : 26527 (java) S 26516 26518 25443 0 -1 4202560 98 0 0 0 195 6 0 0 20 0 22 0 340473627 3037372416 173513 33554432000 1073741824 1073778376 140734427187584 140267887823912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26518/tid=26528] ppid=26516 vsize=2966184 CPUtime=2 cores=1,3,5,7
/proc/26518/task/26528/stat : 26528 (java) S 26516 26518 25443 0 -1 4202560 82 0 0 0 196 4 0 0 20 0 22 0 340473627 3037372416 173513 33554432000 1073741824 1073778376 140734427187584 140267886771112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26529] ppid=26516 vsize=2966184 CPUtime=4.22 cores=1,3,5,7
/proc/26518/task/26529/stat : 26529 (java) S 26516 26518 25443 0 -1 4202560 289 0 0 0 368 54 0 0 20 0 22 0 340473628 3037372416 173513 33554432000 1073741824 1073778376 140734427187584 140267874359528 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26530] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26530/stat : 26530 (java) S 26516 26518 25443 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340473629 3037372416 173513 33554432000 1073741824 1073778376 140734427187584 140267873305592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26531] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26531/stat : 26531 (java) S 26516 26518 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340473629 3037372416 173513 33554432000 1073741824 1073778376 140734427187584 140267872253192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26532] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26532/stat : 26532 (java) S 26516 26518 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340473631 3037372416 173513 33554432000 1073741824 1073778376 140734427187584 140267871201680 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26533] ppid=26516 vsize=2966184 CPUtime=0.78 cores=1,3,5,7
/proc/26518/task/26533/stat : 26533 (java) S 26516 26518 25443 0 -1 4202560 3306 0 0 0 78 0 0 0 20 0 22 0 340473631 3037372416 173513 33554432000 1073741824 1073778376 140734427187584 140267870149304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26534] ppid=26516 vsize=2966184 CPUtime=0.85 cores=1,3,5,7
/proc/26518/task/26534/stat : 26534 (java) S 26516 26518 25443 0 -1 4202560 4585 0 0 0 85 0 0 0 20 0 22 0 340473631 3037372416 173513 33554432000 1073741824 1073778376 140734427187584 140267869096504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26535] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26535/stat : 26535 (java) S 26516 26518 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340473631 3037372416 173513 33554432000 1073741824 1073778376 140734427187584 140267868044408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26536] ppid=26516 vsize=2966184 CPUtime=0.32 cores=1,3,5,7
/proc/26518/task/26536/stat : 26536 (java) S 26516 26518 25443 0 -1 4202560 51 0 0 0 13 19 0 0 20 0 22 0 340473631 3037372416 173513 33554432000 1073741824 1073778376 140734427187584 140267866991816 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26537] ppid=26516 vsize=2966184 CPUtime=869.77 cores=1,3,5,7
/proc/26518/task/26537/stat : 26537 (java) R 26516 26518 25443 0 -1 4202560 498 0 0 0 86960 17 0 0 20 0 22 0 340473661 3037372416 173513 33554432000 1073741824 1073778376 140734427187584 140267865935136 140267743897141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26538] ppid=26516 vsize=2966184 CPUtime=869.77 cores=1,3,5,7
/proc/26518/task/26538/stat : 26538 (java) R 26516 26518 25443 0 -1 4202560 938 0 0 0 86955 22 0 0 20 0 22 0 340473661 3037372416 173513 33554432000 1073741824 1073778376 140734427187584 140267864881456 140267743840290 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26539] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26539/stat : 26539 (java) S 26516 26518 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340473670 3037372416 173513 33554432000 1073741824 1073778376 140734427187584 140267863831720 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26518/tid=26540] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26540/stat : 26540 (java) S 26516 26518 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340473670 3037372416 173513 33554432000 1073741824 1073778376 140734427187584 140267862778920 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1766.81
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.901 s]
/proc/loadavg: 3.78 3.60 2.69 6/219 26727
/proc/meminfo: memFree=25807768/32873660 swapFree=7120/7120
[pid=26518] ppid=26516 vsize=2966184 CPUtime=1800.17 cores=1,3,5,7
/proc/26518/stat : 26518 (java) S 26516 26518 25443 0 -1 4202496 14443 0 1 0 179886 131 0 0 20 0 22 0 340473625 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140734427178720 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26518/statm: 741546 173531 2283 9 0 732240 0
[pid=26518/tid=26520] ppid=26516 vsize=2966184 CPUtime=0.34 cores=1,3,5,7
/proc/26518/task/26520/stat : 26520 (java) S 26516 26518 25443 0 -1 4202560 2820 0 1 0 31 3 0 0 20 0 22 0 340473626 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267909858456 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26521] ppid=26516 vsize=2966184 CPUtime=2.13 cores=1,3,5,7
/proc/26518/task/26521/stat : 26521 (java) S 26516 26518 25443 0 -1 4202560 107 0 0 0 209 4 0 0 20 0 22 0 340473627 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267894139176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26522] ppid=26516 vsize=2966184 CPUtime=2.15 cores=1,3,5,7
/proc/26518/task/26522/stat : 26522 (java) R 26516 26518 25443 0 -1 4202560 83 0 0 0 210 5 0 0 20 0 22 0 340473627 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267893086376 270333424700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26523] ppid=26516 vsize=2966184 CPUtime=2.2 cores=1,3,5,7
/proc/26518/task/26523/stat : 26523 (java) S 26516 26518 25443 0 -1 4202560 105 0 0 0 216 4 0 0 20 0 22 0 340473627 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267892034088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26518/tid=26524] ppid=26516 vsize=2966184 CPUtime=2.2 cores=1,3,5,7
/proc/26518/task/26524/stat : 26524 (java) S 26516 26518 25443 0 -1 4202560 105 0 0 0 217 3 0 0 20 0 22 0 340473627 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267890981288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26525] ppid=26516 vsize=2966184 CPUtime=2.09 cores=1,3,5,7
/proc/26518/task/26525/stat : 26525 (java) S 26516 26518 25443 0 -1 4202560 88 0 0 0 204 5 0 0 20 0 22 0 340473627 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267889929000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26526] ppid=26516 vsize=2966184 CPUtime=2.12 cores=1,3,5,7
/proc/26518/task/26526/stat : 26526 (java) S 26516 26518 25443 0 -1 4202560 75 0 0 0 209 3 0 0 20 0 22 0 340473627 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267888876200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26527] ppid=26516 vsize=2966184 CPUtime=2.07 cores=1,3,5,7
/proc/26518/task/26527/stat : 26527 (java) S 26516 26518 25443 0 -1 4202560 98 0 0 0 201 6 0 0 20 0 22 0 340473627 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267887823912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26528] ppid=26516 vsize=2966184 CPUtime=2.06 cores=1,3,5,7
/proc/26518/task/26528/stat : 26528 (java) S 26516 26518 25443 0 -1 4202560 85 0 0 0 202 4 0 0 20 0 22 0 340473627 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267886771112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26518/tid=26529] ppid=26516 vsize=2966184 CPUtime=4.23 cores=1,3,5,7
/proc/26518/task/26529/stat : 26529 (java) S 26516 26518 25443 0 -1 4202560 289 0 0 0 369 54 0 0 20 0 22 0 340473628 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267874359528 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26530] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26530/stat : 26530 (java) S 26516 26518 25443 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340473629 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267873305592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26531] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26531/stat : 26531 (java) S 26516 26518 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340473629 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267872253192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26532] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26532/stat : 26532 (java) S 26516 26518 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340473631 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267871201680 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26533] ppid=26516 vsize=2966184 CPUtime=0.78 cores=1,3,5,7
/proc/26518/task/26533/stat : 26533 (java) S 26516 26518 25443 0 -1 4202560 3306 0 0 0 78 0 0 0 20 0 22 0 340473631 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267870149304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26534] ppid=26516 vsize=2966184 CPUtime=0.85 cores=1,3,5,7
/proc/26518/task/26534/stat : 26534 (java) S 26516 26518 25443 0 -1 4202560 4585 0 0 0 85 0 0 0 20 0 22 0 340473631 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267869096504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26535] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26535/stat : 26535 (java) S 26516 26518 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340473631 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267868044408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26536] ppid=26516 vsize=2966184 CPUtime=0.33 cores=1,3,5,7
/proc/26518/task/26536/stat : 26536 (java) S 26516 26518 25443 0 -1 4202560 51 0 0 0 13 20 0 0 20 0 22 0 340473631 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267866991816 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26537] ppid=26516 vsize=2966184 CPUtime=886.15 cores=1,3,5,7
/proc/26518/task/26537/stat : 26537 (java) R 26516 26518 25443 0 -1 4202560 503 0 0 0 88598 17 0 0 20 0 22 0 340473661 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267865934264 140267743914482 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26538] ppid=26516 vsize=2966184 CPUtime=886.17 cores=1,3,5,7
/proc/26518/task/26538/stat : 26538 (java) R 26516 26518 25443 0 -1 4202560 954 0 0 0 88595 22 0 0 20 0 22 0 340473661 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267864882000 140267743555357 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26539] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26539/stat : 26539 (java) S 26516 26518 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340473670 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267863831720 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26518/tid=26540] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26540/stat : 26540 (java) S 26516 26518 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340473670 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267862778920 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+898.901 s]
/proc/loadavg: 3.78 3.60 2.69 6/219 26727
/proc/meminfo: memFree=25807768/32873660 swapFree=7120/7120
[pid=26518] ppid=26516 vsize=2966184 CPUtime=1800.17 cores=1,3,5,7
/proc/26518/stat : 26518 (java) S 26516 26518 25443 0 -1 4202496 14443 0 1 0 179886 131 0 0 20 0 22 0 340473625 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140734427178720 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26518/statm: 741546 173531 2283 9 0 732240 0
[pid=26518/tid=26520] ppid=26516 vsize=2966184 CPUtime=0.34 cores=1,3,5,7
/proc/26518/task/26520/stat : 26520 (java) S 26516 26518 25443 0 -1 4202560 2820 0 1 0 31 3 0 0 20 0 22 0 340473626 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267909858456 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26521] ppid=26516 vsize=2966184 CPUtime=2.13 cores=1,3,5,7
/proc/26518/task/26521/stat : 26521 (java) S 26516 26518 25443 0 -1 4202560 107 0 0 0 209 4 0 0 20 0 22 0 340473627 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267894139176 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26522] ppid=26516 vsize=2966184 CPUtime=2.15 cores=1,3,5,7
/proc/26518/task/26522/stat : 26522 (java) R 26516 26518 25443 0 -1 4202560 83 0 0 0 210 5 0 0 20 0 22 0 340473627 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267893086376 270333424700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26523] ppid=26516 vsize=2966184 CPUtime=2.2 cores=1,3,5,7
/proc/26518/task/26523/stat : 26523 (java) S 26516 26518 25443 0 -1 4202560 105 0 0 0 216 4 0 0 20 0 22 0 340473627 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267892034088 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26518/tid=26524] ppid=26516 vsize=2966184 CPUtime=2.2 cores=1,3,5,7
/proc/26518/task/26524/stat : 26524 (java) S 26516 26518 25443 0 -1 4202560 105 0 0 0 217 3 0 0 20 0 22 0 340473627 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267890981288 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26525] ppid=26516 vsize=2966184 CPUtime=2.09 cores=1,3,5,7
/proc/26518/task/26525/stat : 26525 (java) S 26516 26518 25443 0 -1 4202560 88 0 0 0 204 5 0 0 20 0 22 0 340473627 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267889929000 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26526] ppid=26516 vsize=2966184 CPUtime=2.12 cores=1,3,5,7
/proc/26518/task/26526/stat : 26526 (java) S 26516 26518 25443 0 -1 4202560 75 0 0 0 209 3 0 0 20 0 22 0 340473627 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267888876200 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26527] ppid=26516 vsize=2966184 CPUtime=2.07 cores=1,3,5,7
/proc/26518/task/26527/stat : 26527 (java) S 26516 26518 25443 0 -1 4202560 98 0 0 0 201 6 0 0 20 0 22 0 340473627 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267887823912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26528] ppid=26516 vsize=2966184 CPUtime=2.06 cores=1,3,5,7
/proc/26518/task/26528/stat : 26528 (java) S 26516 26518 25443 0 -1 4202560 85 0 0 0 202 4 0 0 20 0 22 0 340473627 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267886771112 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26518/tid=26529] ppid=26516 vsize=2966184 CPUtime=4.23 cores=1,3,5,7
/proc/26518/task/26529/stat : 26529 (java) S 26516 26518 25443 0 -1 4202560 289 0 0 0 369 54 0 0 20 0 22 0 340473628 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267874359528 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26530] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26530/stat : 26530 (java) S 26516 26518 25443 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340473629 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267873305592 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26531] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26531/stat : 26531 (java) S 26516 26518 25443 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340473629 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267872253192 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26532] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26532/stat : 26532 (java) S 26516 26518 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340473631 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267871201680 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26533] ppid=26516 vsize=2966184 CPUtime=0.78 cores=1,3,5,7
/proc/26518/task/26533/stat : 26533 (java) S 26516 26518 25443 0 -1 4202560 3306 0 0 0 78 0 0 0 20 0 22 0 340473631 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267870149304 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26534] ppid=26516 vsize=2966184 CPUtime=0.85 cores=1,3,5,7
/proc/26518/task/26534/stat : 26534 (java) S 26516 26518 25443 0 -1 4202560 4585 0 0 0 85 0 0 0 20 0 22 0 340473631 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267869096504 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26535] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26535/stat : 26535 (java) S 26516 26518 25443 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340473631 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267868044408 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26518/tid=26536] ppid=26516 vsize=2966184 CPUtime=0.33 cores=1,3,5,7
/proc/26518/task/26536/stat : 26536 (java) S 26516 26518 25443 0 -1 4202560 51 0 0 0 13 20 0 0 20 0 22 0 340473631 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267866991816 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26537] ppid=26516 vsize=2966184 CPUtime=886.15 cores=1,3,5,7
/proc/26518/task/26537/stat : 26537 (java) R 26516 26518 25443 0 -1 4202560 503 0 0 0 88598 17 0 0 20 0 22 0 340473661 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267865934264 140267743914482 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26518/tid=26538] ppid=26516 vsize=2966184 CPUtime=886.17 cores=1,3,5,7
/proc/26518/task/26538/stat : 26538 (java) R 26516 26518 25443 0 -1 4202560 954 0 0 0 88595 22 0 0 20 0 22 0 340473661 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267864882000 140267743555357 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26518/tid=26539] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26539/stat : 26539 (java) S 26516 26518 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340473670 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267863831720 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26518/tid=26540] ppid=26516 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/26518/task/26540/stat : 26540 (java) S 26516 26518 25443 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340473670 3037372416 173531 33554432000 1073741824 1073778376 140734427187584 140267862778920 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 2966184
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26518 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=578182
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=660747
# CPU time returned by wait4() is 1796.24
# while last known CPU time is 1800.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 898.932
CPU time (s): 1800.17
CPU user time (s): 1798.86
CPU system time (s): 1.31
CPU usage (%): 200.257
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.58
system time used= 1.66075
maximum resident set size= 694252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14479
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51731
involuntary context switches= 70939
runsolver used 3.2815 second user time and 8.30274 second system time
The end