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-3689929-1337894454/watcher-3689929-1337894454 -o /tmp/evaluation-result-3689929-1337894454/solver-3689929-1337894454 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689929-1337894454.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.31 2.10 2.03 3/195 28280
/proc/meminfo: memFree=26470188/32873648 swapFree=6852/6852
[pid=28280] ppid=28278 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/28280/stat : 28280 (java) D 28278 28280 21497 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 255571529 9515008 182 33554432000 1073741824 1073778376 140736175288352 140736175279384 266435641013 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/28280/statm: 2323 182 140 9 0 71 0
[startup+0.10444 s]
/proc/loadavg: 2.31 2.10 2.03 3/195 28280
/proc/meminfo: memFree=26470188/32873648 swapFree=6852/6852
[pid=28280] ppid=28278 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/28280/stat : 28280 (java) S 28278 28280 21497 0 -1 4202496 4389 0 1 0 8 1 0 0 20 0 18 0 255571529 9787813888 6098 33554432000 1073741824 1073778376 140736214674704 140736214665840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28280/statm: 2389603 6098 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.200264 s]
/proc/loadavg: 2.31 2.10 2.03 3/195 28280
/proc/meminfo: memFree=26470188/32873648 swapFree=6852/6852
[pid=28280] ppid=28278 vsize=9558412 CPUtime=0.28 cores=1,3,5,7
/proc/28280/stat : 28280 (java) S 28278 28280 21497 0 -1 4202496 4947 0 1 0 27 1 0 0 20 0 18 0 255571529 9787813888 9005 33554432000 1073741824 1073778376 140736214674704 140736214665840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28280/statm: 2389603 9005 2206 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558412
[startup+0.300316 s]
/proc/loadavg: 2.31 2.10 2.03 3/195 28280
/proc/meminfo: memFree=26470188/32873648 swapFree=6852/6852
[pid=28280] ppid=28278 vsize=9558412 CPUtime=0.46 cores=1,3,5,7
/proc/28280/stat : 28280 (java) S 28278 28280 21497 0 -1 4202496 5824 0 1 0 44 2 0 0 20 0 18 0 255571529 9787813888 15526 33554432000 1073741824 1073778376 140736214674704 140736214665840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28280/statm: 2389603 15526 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412
[startup+0.700225 s]
/proc/loadavg: 2.31 2.10 2.03 3/195 28280
/proc/meminfo: memFree=26470188/32873648 swapFree=6852/6852
[pid=28280] ppid=28278 vsize=9558412 CPUtime=0.94 cores=1,3,5,7
/proc/28280/stat : 28280 (java) S 28278 28280 21497 0 -1 4202496 6055 0 1 0 88 6 0 0 20 0 18 0 255571529 9787813888 45328 33554432000 1073741824 1073778376 140736214674704 140736214665840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28280/statm: 2389603 45328 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 9558412
[startup+1.50071 s]
/proc/loadavg: 2.36 2.11 2.03 3/213 28298
/proc/meminfo: memFree=26253088/32873648 swapFree=6852/6852
[pid=28280] ppid=28278 vsize=9558412 CPUtime=2.39 cores=1,3,5,7
/proc/28280/stat : 28280 (java) S 28278 28280 21497 0 -1 4202496 10755 0 1 0 222 17 0 0 20 0 18 0 255571529 9787813888 96067 33554432000 1073741824 1073778376 140736214674704 140736214665840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28280/statm: 2389603 96067 2247 9 0 2380296 0
[pid=28280/tid=28282] ppid=28278 vsize=9558412 CPUtime=1.34 cores=1,3,5,7
/proc/28280/task/28282/stat : 28282 (java) R 28278 28280 21497 0 -1 4202560 2558 0 1 0 128 6 0 0 20 0 18 0 255571530 9787813888 96067 33554432000 1073741824 1073778376 140736214674704 140260861823928 140260697075301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28280/tid=28283] ppid=28278 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/28280/task/28283/stat : 28283 (java) S 28278 28280 21497 0 -1 4202560 29 0 0 0 2 1 0 0 20 0 18 0 255571531 9787813888 96067 33554432000 1073741824 1073778376 140736214674704 140260823317544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28284] ppid=28278 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/28280/task/28284/stat : 28284 (java) S 28278 28280 21497 0 -1 4202560 30 0 0 0 3 2 0 0 20 0 18 0 255571531 9787813888 96067 33554432000 1073741824 1073778376 140736214674704 140260822264744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28285] ppid=28278 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/28280/task/28285/stat : 28285 (java) S 28278 28280 21497 0 -1 4202560 43 0 0 0 2 2 0 0 20 0 18 0 255571531 9787813888 96067 33554432000 1073741824 1073778376 140736214674704 140260821211944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28280/tid=28286] ppid=28278 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/28280/task/28286/stat : 28286 (java) S 28278 28280 21497 0 -1 4202560 43 0 0 0 4 1 0 0 20 0 18 0 255571531 9787813888 96067 33554432000 1073741824 1073778376 140736214674704 140260820159144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28280/tid=28287] ppid=28278 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/28280/task/28287/stat : 28287 (java) S 28278 28280 21497 0 -1 4202560 65 0 0 0 3 0 0 0 20 0 18 0 255571531 9787813888 96067 33554432000 1073741824 1073778376 140736214674704 140260819106344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28288] ppid=28278 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/28280/task/28288/stat : 28288 (java) S 28278 28280 21497 0 -1 4202560 70 0 0 0 3 0 0 0 20 0 18 0 255571531 9787813888 96067 33554432000 1073741824 1073778376 140736214674704 140260818053544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28280/tid=28289] ppid=28278 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/28280/task/28289/stat : 28289 (java) S 28278 28280 21497 0 -1 4202560 267 0 0 0 4 2 0 0 20 0 18 0 255571531 9787813888 96067 33554432000 1073741824 1073778376 140736214674704 140260817000744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28280/tid=28290] ppid=28278 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/28280/task/28290/stat : 28290 (java) S 28278 28280 21497 0 -1 4202560 87 0 0 0 6 2 0 0 20 0 18 0 255571531 9787813888 96067 33554432000 1073741824 1073778376 140736214674704 140260815947944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28291] ppid=28278 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28291/stat : 28291 (java) S 28278 28280 21497 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 255571532 9787813888 96067 33554432000 1073741824 1073778376 140736214674704 140260685503464 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28292] ppid=28278 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28292/stat : 28292 (java) S 28278 28280 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 255571533 9787813888 96067 33554432000 1073741824 1073778376 140736214674704 140260684449528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28293] ppid=28278 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28293/stat : 28293 (java) S 28278 28280 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 255571533 9787813888 96067 33554432000 1073741824 1073778376 140736214674704 140260683396616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28294] ppid=28278 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28294/stat : 28294 (java) S 28278 28280 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255571535 9787813888 96067 33554432000 1073741824 1073778376 140736214674704 140260682345104 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28295] ppid=28278 vsize=9558412 CPUtime=0.27 cores=1,3,5,7
/proc/28280/task/28295/stat : 28295 (java) S 28278 28280 21497 0 -1 4202560 2971 0 0 0 27 0 0 0 20 0 18 0 255571535 9787813888 96067 33554432000 1073741824 1073778376 140736214674704 140260681292216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28296] ppid=28278 vsize=9558412 CPUtime=0.28 cores=1,3,5,7
/proc/28280/task/28296/stat : 28296 (java) S 28278 28280 21497 0 -1 4202560 3222 0 0 0 28 0 0 0 20 0 18 0 255571535 9787813888 96067 33554432000 1073741824 1073778376 140736214674704 140259807455544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28297] ppid=28278 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28297/stat : 28297 (java) S 28278 28280 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255571535 9787813888 96067 33554432000 1073741824 1073778376 140736214674704 140259806402936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28298] ppid=28278 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28298/stat : 28298 (java) S 28278 28280 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255571535 9787813888 96067 33554432000 1073741824 1073778376 140736214674704 140259805350344 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 9558412
[startup+3.1006 s]
/proc/loadavg: 2.36 2.11 2.03 3/213 28298
/proc/meminfo: memFree=25312692/32873648 swapFree=6852/6852
[pid=28280] ppid=28278 vsize=9558412 CPUtime=4.62 cores=1,3,5,7
/proc/28280/stat : 28280 (java) S 28278 28280 21497 0 -1 4202496 14342 0 1 0 407 55 0 0 20 0 18 0 255571529 9787813888 546619 33554432000 1073741824 1073778376 140736214674704 140736214665840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28280/statm: 2389603 546619 2247 9 0 2380296 0
[pid=28280/tid=28282] ppid=28278 vsize=9558412 CPUtime=2.71 cores=1,3,5,7
/proc/28280/task/28282/stat : 28282 (java) S 28278 28280 21497 0 -1 4202560 4025 0 1 0 240 31 0 0 20 0 18 0 255571530 9787813888 546619 33554432000 1073741824 1073778376 140736214674704 140260861823608 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28283] ppid=28278 vsize=9558412 CPUtime=0.17 cores=1,3,5,7
/proc/28280/task/28283/stat : 28283 (java) R 28278 28280 21497 0 -1 4202560 356 0 0 0 14 3 0 0 20 0 18 0 255571531 9787813888 546619 33554432000 1073741824 1073778376 140736214674704 140260823317720 140260864296649 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28284] ppid=28278 vsize=9558412 CPUtime=0.15 cores=1,3,5,7
/proc/28280/task/28284/stat : 28284 (java) D 28278 28280 21497 0 -1 4202560 336 0 0 0 13 2 0 0 20 0 18 0 255571531 9787813888 546619 33554432000 1073741824 1073778376 140736214674704 140260822264504 266435683303 0 4 0 16800975 18446744071581355491 0 0 -1 1 0 0 0 0 0
[pid=28280/tid=28285] ppid=28278 vsize=9558412 CPUtime=0.17 cores=1,3,5,7
/proc/28280/task/28285/stat : 28285 (java) R 28278 28280 21497 0 -1 4202560 79 0 0 0 13 4 0 0 20 0 18 0 255571531 9787813888 546619 33554432000 1073741824 1073778376 140736214674704 140260821211824 140260864296649 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28280/tid=28286] ppid=28278 vsize=9558412 CPUtime=0.14 cores=1,3,5,7
/proc/28280/task/28286/stat : 28286 (java) D 28278 28280 21497 0 -1 4202560 342 0 0 0 12 2 0 0 20 0 18 0 255571531 9787813888 546619 33554432000 1073741824 1073778376 140736214674704 140260820158904 266435683303 0 4 0 16800975 18446744071581355491 0 0 -1 1 0 0 0 0 0
[pid=28280/tid=28287] ppid=28278 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/28280/task/28287/stat : 28287 (java) R 28278 28280 21497 0 -1 4202560 336 0 0 0 10 1 0 0 20 0 18 0 255571531 9787813888 546619 33554432000 1073741824 1073778376 140736214674704 140260819106520 140260864296649 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28288] ppid=28278 vsize=9558412 CPUtime=0.15 cores=1,3,5,7
/proc/28280/task/28288/stat : 28288 (java) R 28278 28280 21497 0 -1 4202560 123 0 0 0 12 3 0 0 20 0 18 0 255571531 9787813888 546619 33554432000 1073741824 1073778376 140736214674704 140260818053720 140260869320419 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28289] ppid=28278 vsize=9558412 CPUtime=0.15 cores=1,3,5,7
/proc/28280/task/28289/stat : 28289 (java) R 28278 28280 21497 0 -1 4202560 293 0 0 0 12 3 0 0 20 0 18 0 255571531 9787813888 546619 33554432000 1073741824 1073778376 140736214674704 140260817000920 140260868723956 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28290] ppid=28278 vsize=9558412 CPUtime=0.17 cores=1,3,5,7
/proc/28280/task/28290/stat : 28290 (java) R 28278 28280 21497 0 -1 4202560 119 0 0 0 13 4 0 0 20 0 18 0 255571531 9787813888 546619 33554432000 1073741824 1073778376 140736214674704 140260815948120 140260865582220 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=28280/tid=28291] ppid=28278 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28291/stat : 28291 (java) S 28278 28280 21497 0 -1 4202560 966 0 0 0 0 0 0 0 20 0 18 0 255571532 9787813888 546619 33554432000 1073741824 1073778376 140736214674704 140260685502344 266439013436 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28292] ppid=28278 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28292/stat : 28292 (java) S 28278 28280 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 255571533 9787813888 546619 33554432000 1073741824 1073778376 140736214674704 140260684449528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28293] ppid=28278 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28293/stat : 28293 (java) S 28278 28280 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 255571533 9787813888 546619 33554432000 1073741824 1073778376 140736214674704 140260683396616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28294] ppid=28278 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28294/stat : 28294 (java) S 28278 28280 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255571535 9787813888 546619 33554432000 1073741824 1073778376 140736214674704 140260682345104 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28295] ppid=28278 vsize=9558412 CPUtime=0.27 cores=1,3,5,7
/proc/28280/task/28295/stat : 28295 (java) S 28278 28280 21497 0 -1 4202560 2971 0 0 0 27 0 0 0 20 0 18 0 255571535 9787813888 546619 33554432000 1073741824 1073778376 140736214674704 140260681292216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28296] ppid=28278 vsize=9558412 CPUtime=0.28 cores=1,3,5,7
/proc/28280/task/28296/stat : 28296 (java) S 28278 28280 21497 0 -1 4202560 3222 0 0 0 28 0 0 0 20 0 18 0 255571535 9787813888 546619 33554432000 1073741824 1073778376 140736214674704 140259807455544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28297] ppid=28278 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28297/stat : 28297 (java) S 28278 28280 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255571535 9787813888 546619 33554432000 1073741824 1073778376 140736214674704 140259806402936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28298] ppid=28278 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28298/stat : 28298 (java) S 28278 28280 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255571535 9787813888 546619 33554432000 1073741824 1073778376 140736214674704 140259805350344 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 9558412
[startup+6.30072 s]
/proc/loadavg: 2.36 2.11 2.03 3/213 28298
/proc/meminfo: memFree=24243956/32873648 swapFree=6852/6852
[pid=28280] ppid=28278 vsize=9624976 CPUtime=9.23 cores=1,3,5,7
/proc/28280/stat : 28280 (java) S 28278 28280 21497 0 -1 4202496 17143 0 1 0 852 71 0 0 20 0 19 0 255571529 9855975424 590455 33554432000 1073741824 1073778376 140736214674704 140736214665840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28280/statm: 2406244 590455 2262 9 0 2396937 0
[pid=28280/tid=28282] ppid=28278 vsize=9624976 CPUtime=5.56 cores=1,3,5,7
/proc/28280/task/28282/stat : 28282 (java) R 28278 28280 21497 0 -1 4202560 4040 0 1 0 523 33 0 0 20 0 19 0 255571530 9855975424 590455 33554432000 1073741824 1073778376 140736214674704 140260861825416 140260697472618 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28280/tid=28283] ppid=28278 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/28280/task/28283/stat : 28283 (java) S 28278 28280 21497 0 -1 4202560 687 0 0 0 33 6 0 0 20 0 19 0 255571531 9855975424 590455 33554432000 1073741824 1073778376 140736214674704 140260823317544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28284] ppid=28278 vsize=9624976 CPUtime=0.31 cores=1,3,5,7
/proc/28280/task/28284/stat : 28284 (java) S 28278 28280 21497 0 -1 4202560 396 0 0 0 27 4 0 0 20 0 19 0 255571531 9855975424 590455 33554432000 1073741824 1073778376 140736214674704 140260822264744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28285] ppid=28278 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/28280/task/28285/stat : 28285 (java) S 28278 28280 21497 0 -1 4202560 137 0 0 0 30 5 0 0 20 0 19 0 255571531 9855975424 590455 33554432000 1073741824 1073778376 140736214674704 140260821211944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28280/tid=28286] ppid=28278 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/28280/task/28286/stat : 28286 (java) S 28278 28280 21497 0 -1 4202560 491 0 0 0 25 4 0 0 20 0 19 0 255571531 9855975424 590455 33554432000 1073741824 1073778376 140736214674704 140260820159144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28287] ppid=28278 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/28280/task/28287/stat : 28287 (java) S 28278 28280 21497 0 -1 4202560 393 0 0 0 25 3 0 0 20 0 19 0 255571531 9855975424 590455 33554432000 1073741824 1073778376 140736214674704 140260819106344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28280/tid=28288] ppid=28278 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/28280/task/28288/stat : 28288 (java) S 28278 28280 21497 0 -1 4202560 181 0 0 0 27 5 0 0 20 0 19 0 255571531 9855975424 590455 33554432000 1073741824 1073778376 140736214674704 140260818053544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28289] ppid=28278 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/28280/task/28289/stat : 28289 (java) S 28278 28280 21497 0 -1 4202560 599 0 0 0 29 5 0 0 20 0 19 0 255571531 9855975424 590455 33554432000 1073741824 1073778376 140736214674704 140260817000744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28290] ppid=28278 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/28280/task/28290/stat : 28290 (java) S 28278 28280 21497 0 -1 4202560 777 0 0 0 25 5 0 0 20 0 19 0 255571531 9855975424 590455 33554432000 1073741824 1073778376 140736214674704 140260815947944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28280/tid=28291] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28291/stat : 28291 (java) S 28278 28280 21497 0 -1 4202560 1265 0 0 0 0 0 0 0 20 0 19 0 255571532 9855975424 590455 33554432000 1073741824 1073778376 140736214674704 140260685503464 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28292] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28292/stat : 28292 (java) S 28278 28280 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255571533 9855975424 590455 33554432000 1073741824 1073778376 140736214674704 140260684449528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28293] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28293/stat : 28293 (java) S 28278 28280 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255571533 9855975424 590455 33554432000 1073741824 1073778376 140736214674704 140260683396616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28294] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28294/stat : 28294 (java) S 28278 28280 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255571535 9855975424 590455 33554432000 1073741824 1073778376 140736214674704 140260682345104 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28295] ppid=28278 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/28280/task/28295/stat : 28295 (java) S 28278 28280 21497 0 -1 4202560 3713 0 0 0 49 0 0 0 20 0 19 0 255571535 9855975424 590455 33554432000 1073741824 1073778376 140736214674704 140260681292216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28296] ppid=28278 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/28280/task/28296/stat : 28296 (java) S 28278 28280 21497 0 -1 4202560 3281 0 0 0 45 0 0 0 20 0 19 0 255571535 9855975424 590455 33554432000 1073741824 1073778376 140736214674704 140259807455544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28297] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28297/stat : 28297 (java) S 28278 28280 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255571535 9855975424 590455 33554432000 1073741824 1073778376 140736214674704 140259806402936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28298] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28298/stat : 28298 (java) S 28278 28280 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255571535 9855975424 590455 33554432000 1073741824 1073778376 140736214674704 140259805350344 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 9.23
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
/proc/loadavg: 2.31 2.11 2.03 3/213 28299
/proc/meminfo: memFree=24112648/32873648 swapFree=6852/6852
[pid=28280] ppid=28278 vsize=9624976 CPUtime=15.77 cores=1,3,5,7
/proc/28280/stat : 28280 (java) S 28278 28280 21497 0 -1 4202496 17158 0 1 0 1506 71 0 0 20 0 19 0 255571529 9855975424 590321 33554432000 1073741824 1073778376 140736214674704 140736214665840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28280/statm: 2406244 590321 2266 9 0 2396937 0
[pid=28280/tid=28282] ppid=28278 vsize=9624976 CPUtime=11.96 cores=1,3,5,7
################
# More data... #
################
[pid=28280/tid=28288] ppid=28278 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/28280/task/28288/stat : 28288 (java) S 28278 28280 21497 0 -1 4202560 207 0 0 0 36 6 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260818053544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28280/tid=28289] ppid=28278 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/28280/task/28289/stat : 28289 (java) S 28278 28280 21497 0 -1 4202560 612 0 0 0 39 6 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260817000744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28290] ppid=28278 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/28280/task/28290/stat : 28290 (java) S 28278 28280 21497 0 -1 4202560 787 0 0 0 33 6 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260815947944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28291] ppid=28278 vsize=9624976 CPUtime=7.07 cores=1,3,5,7
/proc/28280/task/28291/stat : 28291 (java) S 28278 28280 21497 0 -1 4202560 1375 0 0 0 703 4 0 0 20 0 19 0 255571532 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260685503464 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28280/tid=28292] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28292/stat : 28292 (java) S 28278 28280 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255571533 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260684449528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28293] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28293/stat : 28293 (java) S 28278 28280 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255571533 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260683396616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28294] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28294/stat : 28294 (java) S 28278 28280 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255571535 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260682345104 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28295] ppid=28278 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/28280/task/28295/stat : 28295 (java) S 28278 28280 21497 0 -1 4202560 4224 0 0 0 65 0 0 0 20 0 19 0 255571535 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260681292216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28280/tid=28296] ppid=28278 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/28280/task/28296/stat : 28296 (java) S 28278 28280 21497 0 -1 4202560 3300 0 0 0 62 0 0 0 20 0 19 0 255571535 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140259807455544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28297] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28297/stat : 28297 (java) S 28278 28280 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255571535 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140259806402936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28298] ppid=28278 vsize=9624976 CPUtime=0.7 cores=1,3,5,7
/proc/28280/task/28298/stat : 28298 (java) S 28278 28280 21497 0 -1 4202560 97 0 0 0 31 39 0 0 20 0 19 0 255571535 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140259805350344 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28299] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28299/stat : 28299 (java) S 28278 28280 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255572133 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140259804296872 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1666.67
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 1.04 1.51 1.80 2/189 28339
/proc/meminfo: memFree=26298476/32873648 swapFree=6852/6852
[pid=28280] ppid=28278 vsize=9624976 CPUtime=1726.66 cores=1,3,5,7
/proc/28280/stat : 28280 (java) S 28278 28280 21497 0 -1 4202496 18038 0 1 0 172543 123 0 0 20 0 19 0 255571529 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140736214665840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28280/statm: 2406244 642100 2281 9 0 2396937 0
[pid=28280/tid=28282] ppid=28278 vsize=9624976 CPUtime=1714.19 cores=1,3,5,7
/proc/28280/task/28282/stat : 28282 (java) R 28278 28280 21497 0 -1 4202560 4060 0 1 0 171360 59 0 0 20 0 19 0 255571530 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260861825312 140260697514705 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28283] ppid=28278 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/28280/task/28283/stat : 28283 (java) S 28278 28280 21497 0 -1 4202560 695 0 0 0 42 6 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260823317544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28284] ppid=28278 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/28280/task/28284/stat : 28284 (java) S 28278 28280 21497 0 -1 4202560 426 0 0 0 43 6 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260822264744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28285] ppid=28278 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/28280/task/28285/stat : 28285 (java) S 28278 28280 21497 0 -1 4202560 160 0 0 0 39 6 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260821211944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28280/tid=28286] ppid=28278 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/28280/task/28286/stat : 28286 (java) S 28278 28280 21497 0 -1 4202560 508 0 0 0 35 5 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260820159144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28287] ppid=28278 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/28280/task/28287/stat : 28287 (java) S 28278 28280 21497 0 -1 4202560 403 0 0 0 36 4 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260819106344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28288] ppid=28278 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/28280/task/28288/stat : 28288 (java) S 28278 28280 21497 0 -1 4202560 207 0 0 0 36 6 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260818053544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28280/tid=28289] ppid=28278 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/28280/task/28289/stat : 28289 (java) S 28278 28280 21497 0 -1 4202560 612 0 0 0 39 6 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260817000744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28290] ppid=28278 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/28280/task/28290/stat : 28290 (java) S 28278 28280 21497 0 -1 4202560 787 0 0 0 33 6 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260815947944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28291] ppid=28278 vsize=9624976 CPUtime=7.07 cores=1,3,5,7
/proc/28280/task/28291/stat : 28291 (java) S 28278 28280 21497 0 -1 4202560 1375 0 0 0 703 4 0 0 20 0 19 0 255571532 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260685503464 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28280/tid=28292] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28292/stat : 28292 (java) S 28278 28280 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255571533 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260684449528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28293] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28293/stat : 28293 (java) S 28278 28280 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255571533 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260683396616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28294] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28294/stat : 28294 (java) S 28278 28280 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255571535 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260682345104 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28295] ppid=28278 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/28280/task/28295/stat : 28295 (java) S 28278 28280 21497 0 -1 4202560 4224 0 0 0 65 0 0 0 20 0 19 0 255571535 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260681292216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28280/tid=28296] ppid=28278 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/28280/task/28296/stat : 28296 (java) S 28278 28280 21497 0 -1 4202560 3300 0 0 0 62 0 0 0 20 0 19 0 255571535 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140259807455544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28297] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28297/stat : 28297 (java) S 28278 28280 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255571535 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140259806402936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28298] ppid=28278 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/28280/task/28298/stat : 28298 (java) S 28278 28280 21497 0 -1 4202560 99 0 0 0 32 41 0 0 20 0 19 0 255571535 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140259805350344 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28299] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28299/stat : 28299 (java) S 28278 28280 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255572133 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140259804296872 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.66
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 1.07 1.43 1.76 2/190 28342
/proc/meminfo: memFree=26298576/32873648 swapFree=6852/6852
[pid=28280] ppid=28278 vsize=9624976 CPUtime=1786.65 cores=1,3,5,7
/proc/28280/stat : 28280 (java) S 28278 28280 21497 0 -1 4202496 18042 0 1 0 178541 124 0 0 20 0 19 0 255571529 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140736214665840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28280/statm: 2406244 642100 2281 9 0 2396937 0
[pid=28280/tid=28282] ppid=28278 vsize=9624976 CPUtime=1774.16 cores=1,3,5,7
/proc/28280/task/28282/stat : 28282 (java) R 28278 28280 21497 0 -1 4202560 4060 0 1 0 177357 59 0 0 20 0 19 0 255571530 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260861825312 140260697586998 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28283] ppid=28278 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/28280/task/28283/stat : 28283 (java) S 28278 28280 21497 0 -1 4202560 695 0 0 0 42 6 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260823317544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28284] ppid=28278 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/28280/task/28284/stat : 28284 (java) S 28278 28280 21497 0 -1 4202560 426 0 0 0 43 6 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260822264744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28285] ppid=28278 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/28280/task/28285/stat : 28285 (java) S 28278 28280 21497 0 -1 4202560 160 0 0 0 39 6 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260821211944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28280/tid=28286] ppid=28278 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/28280/task/28286/stat : 28286 (java) S 28278 28280 21497 0 -1 4202560 508 0 0 0 35 5 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260820159144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28287] ppid=28278 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/28280/task/28287/stat : 28287 (java) S 28278 28280 21497 0 -1 4202560 403 0 0 0 36 4 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260819106344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28288] ppid=28278 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/28280/task/28288/stat : 28288 (java) S 28278 28280 21497 0 -1 4202560 207 0 0 0 36 6 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260818053544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28280/tid=28289] ppid=28278 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/28280/task/28289/stat : 28289 (java) S 28278 28280 21497 0 -1 4202560 612 0 0 0 39 6 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260817000744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28290] ppid=28278 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/28280/task/28290/stat : 28290 (java) S 28278 28280 21497 0 -1 4202560 787 0 0 0 33 6 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260815947944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28291] ppid=28278 vsize=9624976 CPUtime=7.08 cores=1,3,5,7
/proc/28280/task/28291/stat : 28291 (java) S 28278 28280 21497 0 -1 4202560 1375 0 0 0 703 5 0 0 20 0 19 0 255571532 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260685503464 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28280/tid=28292] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28292/stat : 28292 (java) S 28278 28280 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255571533 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260684449528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28293] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28293/stat : 28293 (java) S 28278 28280 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255571533 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260683396616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28294] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28294/stat : 28294 (java) S 28278 28280 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255571535 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260682345104 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28295] ppid=28278 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/28280/task/28295/stat : 28295 (java) S 28278 28280 21497 0 -1 4202560 4224 0 0 0 65 0 0 0 20 0 19 0 255571535 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260681292216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28280/tid=28296] ppid=28278 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/28280/task/28296/stat : 28296 (java) S 28278 28280 21497 0 -1 4202560 3300 0 0 0 62 0 0 0 20 0 19 0 255571535 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140259807455544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28297] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28297/stat : 28297 (java) S 28278 28280 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255571535 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140259806402936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28298] ppid=28278 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/28280/task/28298/stat : 28298 (java) S 28278 28280 21497 0 -1 4202560 103 0 0 0 32 43 0 0 20 0 19 0 255571535 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140259805350344 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28299] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28299/stat : 28299 (java) S 28278 28280 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255572133 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140259804296872 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.65
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.7 s]
/proc/loadavg: 1.06 1.42 1.75 2/190 28342
/proc/meminfo: memFree=26298580/32873648 swapFree=6852/6852
[pid=28280] ppid=28278 vsize=9624976 CPUtime=1800.06 cores=1,3,5,7
/proc/28280/stat : 28280 (java) S 28278 28280 21497 0 -1 4202496 18042 0 1 0 179881 125 0 0 20 0 19 0 255571529 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140736214665840 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28280/statm: 2406244 642100 2281 9 0 2396937 0
[pid=28280/tid=28282] ppid=28278 vsize=9624976 CPUtime=1787.57 cores=1,3,5,7
/proc/28280/task/28282/stat : 28282 (java) R 28278 28280 21497 0 -1 4202560 4060 0 1 0 178697 60 0 0 20 0 19 0 255571530 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260861825312 140260697515048 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28283] ppid=28278 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/28280/task/28283/stat : 28283 (java) S 28278 28280 21497 0 -1 4202560 695 0 0 0 42 6 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260823317544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28284] ppid=28278 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/28280/task/28284/stat : 28284 (java) S 28278 28280 21497 0 -1 4202560 426 0 0 0 43 6 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260822264744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28285] ppid=28278 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/28280/task/28285/stat : 28285 (java) S 28278 28280 21497 0 -1 4202560 160 0 0 0 39 6 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260821211944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28280/tid=28286] ppid=28278 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/28280/task/28286/stat : 28286 (java) S 28278 28280 21497 0 -1 4202560 508 0 0 0 35 5 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260820159144 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28287] ppid=28278 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/28280/task/28287/stat : 28287 (java) S 28278 28280 21497 0 -1 4202560 403 0 0 0 36 4 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260819106344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28288] ppid=28278 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/28280/task/28288/stat : 28288 (java) S 28278 28280 21497 0 -1 4202560 207 0 0 0 36 6 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260818053544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28280/tid=28289] ppid=28278 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/28280/task/28289/stat : 28289 (java) S 28278 28280 21497 0 -1 4202560 612 0 0 0 39 6 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260817000744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28290] ppid=28278 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/28280/task/28290/stat : 28290 (java) S 28278 28280 21497 0 -1 4202560 787 0 0 0 33 6 0 0 20 0 19 0 255571531 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260815947944 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28291] ppid=28278 vsize=9624976 CPUtime=7.08 cores=1,3,5,7
/proc/28280/task/28291/stat : 28291 (java) S 28278 28280 21497 0 -1 4202560 1375 0 0 0 703 5 0 0 20 0 19 0 255571532 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260685503464 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28280/tid=28292] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28292/stat : 28292 (java) S 28278 28280 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255571533 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260684449528 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28293] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28293/stat : 28293 (java) S 28278 28280 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255571533 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260683396616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28294] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28294/stat : 28294 (java) S 28278 28280 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255571535 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260682345104 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28295] ppid=28278 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/28280/task/28295/stat : 28295 (java) S 28278 28280 21497 0 -1 4202560 4224 0 0 0 65 0 0 0 20 0 19 0 255571535 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140260681292216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28280/tid=28296] ppid=28278 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/28280/task/28296/stat : 28296 (java) S 28278 28280 21497 0 -1 4202560 3300 0 0 0 62 0 0 0 20 0 19 0 255571535 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140259807455544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28297] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28297/stat : 28297 (java) S 28278 28280 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255571535 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140259806402936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28280/tid=28298] ppid=28278 vsize=9624976 CPUtime=0.76 cores=1,3,5,7
/proc/28280/task/28298/stat : 28298 (java) S 28278 28280 21497 0 -1 4202560 103 0 0 0 33 43 0 0 20 0 19 0 255571535 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140259805350344 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28280/tid=28299] ppid=28278 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28280/task/28299/stat : 28299 (java) S 28278 28280 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255572133 9855975424 642100 33554432000 1073741824 1073778376 140736214674704 140259804296872 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1795.75
CPU time (s): 1800.46
CPU user time (s): 1798.79
CPU system time (s): 1.67174
CPU usage (%): 100.263
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.67175
maximum resident set size= 2568524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18077
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39523
involuntary context switches= 7747
runsolver used 6.10007 second user time and 14.8527 second system time
The end