runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3457492-1307221295/watcher-3457492-1307221295 -o /tmp/evaluation-result-3457492-1307221295/solver-3457492-1307221295 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457492-1307221295.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: 1.93 2.01 1.99 3/471 31239
/proc/meminfo: memFree=28996712/32951124 swapFree=55639044/67111528
[pid=31239] ppid=31237 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31239/stat : 31239 (java) S 31237 31239 30316 0 -1 4202496 4806 0 1 0 0 0 0 0 25 0 2 0 833727405 10694979584 4507 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/31239/statm: 2611079 4519 917 9 0 2602235 0
[pid=31239/tid=31240] ppid=31237 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31240/stat : 31240 (java) R 31237 31239 30316 0 -1 4202560 3751 0 1 0 0 0 0 0 25 0 2 0 833727406 10694979584 4566 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271550231611 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0960931 s]
/proc/loadavg: 1.93 2.01 1.99 3/471 31239
/proc/meminfo: memFree=28996712/32951124 swapFree=55639044/67111528
[pid=31239] ppid=31237 vsize=10540200 CPUtime=0.09 cores=1,3,5,7
/proc/31239/stat : 31239 (java) S 31237 31239 30316 0 -1 4202496 12944 0 1 0 8 1 0 0 25 0 18 0 833727405 10793164800 12640 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31239/statm: 2635050 12640 2092 9 0 2625784 0
[pid=31239/tid=31240] ppid=31237 vsize=10540200 CPUtime=0.07 cores=1,3,5,7
/proc/31239/task/31240/stat : 31240 (java) R 31237 31239 30316 0 -1 4202560 11041 0 1 0 6 1 0 0 22 0 18 0 833727406 10793164800 12640 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540200
[startup+0.101 s]
/proc/loadavg: 1.93 2.01 1.99 3/471 31239
/proc/meminfo: memFree=28996712/32951124 swapFree=55639044/67111528
[pid=31239] ppid=31237 vsize=10540200 CPUtime=0.1 cores=1,3,5,7
/proc/31239/stat : 31239 (java) S 31237 31239 30316 0 -1 4202496 13021 0 1 0 9 1 0 0 25 0 18 0 833727405 10793164800 12717 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31239/statm: 2635050 12717 2092 9 0 2625784 0
[pid=31239/tid=31240] ppid=31237 vsize=10540200 CPUtime=0.08 cores=1,3,5,7
/proc/31239/task/31240/stat : 31240 (java) R 31237 31239 30316 0 -1 4202560 11120 0 1 0 7 1 0 0 22 0 18 0 833727406 10793164800 12719 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 46912496197392 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540200
[startup+0.301995 s]
/proc/loadavg: 1.93 2.01 1.99 3/471 31239
/proc/meminfo: memFree=28996712/32951124 swapFree=55639044/67111528
[pid=31239] ppid=31237 vsize=10544144 CPUtime=0.48 cores=1,3,5,7
/proc/31239/stat : 31239 (java) S 31237 31239 30316 0 -1 4202496 16129 0 1 0 46 2 0 0 25 0 19 0 833727405 10797203456 15252 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31239/statm: 2636611 16953 2212 9 0 2627345 0
[pid=31239/tid=31240] ppid=31237 vsize=10546444 CPUtime=0.31 cores=1,3,5,7
/proc/31239/task/31240/stat : 31240 (java) R 31237 31239 30316 0 -1 4202560 13214 0 1 0 30 1 0 0 18 0 19 0 833727406 10799558656 16953 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 46912505366048 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10544144
[startup+0.700931 s]
/proc/loadavg: 1.93 2.01 1.99 3/471 31239
/proc/meminfo: memFree=28996712/32951124 swapFree=55639044/67111528
[pid=31239] ppid=31237 vsize=10560100 CPUtime=1.68 cores=1,3,5,7
/proc/31239/stat : 31239 (java) S 31237 31239 30316 0 -1 4202496 43463 0 1 0 162 6 0 0 25 0 19 0 833727405 10813542400 40165 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31239/statm: 2640025 40166 2217 9 0 2630759 0
[pid=31239/tid=31240] ppid=31237 vsize=10560100 CPUtime=0.67 cores=1,3,5,7
/proc/31239/task/31240/stat : 31240 (java) R 31237 31239 30316 0 -1 4202560 30325 0 1 0 64 3 0 0 18 0 19 0 833727406 10813542400 40166 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 10560100
[startup+1.5008 s]
/proc/loadavg: 1.93 2.01 1.99 3/490 31258
/proc/meminfo: memFree=28721676/32951124 swapFree=55639044/67111528
[pid=31239] ppid=31237 vsize=10560100 CPUtime=2.86 cores=1,3,5,7
/proc/31239/stat : 31239 (java) S 31237 31239 30316 0 -1 4202496 126796 0 1 0 271 15 0 0 25 0 19 0 833727405 10813542400 123497 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31239/statm: 2640025 123498 2225 9 0 2630759 0
[pid=31239/tid=31240] ppid=31237 vsize=10560100 CPUtime=1.47 cores=1,3,5,7
/proc/31239/task/31240/stat : 31240 (java) R 31237 31239 30316 0 -1 4202560 113597 0 1 0 135 12 0 0 18 0 19 0 833727406 10813542400 123498 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 46912505710014 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31239/tid=31242] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31242/stat : 31242 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 123498 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31243] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31243/stat : 31243 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 123498 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31244] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31244/stat : 31244 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 123498 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31245] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31245/stat : 31245 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 123500 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31246] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31246/stat : 31246 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 123503 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31247] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31247/stat : 31247 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 123506 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31248] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31248/stat : 31248 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 123508 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31249] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31249/stat : 31249 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 123510 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31250] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31250/stat : 31250 (java) S 31237 31239 30316 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833727409 10813542400 123513 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562354176 0 0 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31239/tid=31251] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31251/stat : 31251 (java) S 31237 31239 30316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833727409 10813542400 123518 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31252] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31252/stat : 31252 (java) S 31237 31239 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833727409 10813542400 123523 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31253] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31253/stat : 31253 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833727412 10813542400 123527 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562361265 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31254] ppid=31237 vsize=10560100 CPUtime=0.65 cores=1,3,5,7
/proc/31239/task/31254/stat : 31254 (java) S 31237 31239 30316 0 -1 4202560 6005 0 0 0 64 1 0 0 15 0 19 0 833727412 10813542400 123531 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31239/tid=31255] ppid=31237 vsize=10560100 CPUtime=0.71 cores=1,3,5,7
/proc/31239/task/31255/stat : 31255 (java) S 31237 31239 30316 0 -1 4202560 6035 0 0 0 71 0 0 0 15 0 19 0 833727412 10813542400 123536 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31256] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31256/stat : 31256 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833727412 10813542400 123540 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31257] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31257/stat : 31257 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833727412 10813542400 123544 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31258] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31258/stat : 31258 (java) S 31237 31239 30316 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 833727426 10813542400 123548 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 10560100
[startup+3.10149 s]
/proc/loadavg: 1.93 2.01 1.99 3/490 31258
/proc/meminfo: memFree=28242260/32951124 swapFree=55639044/67111528
[pid=31239] ppid=31237 vsize=10560100 CPUtime=4.51 cores=1,3,5,7
/proc/31239/stat : 31239 (java) S 31237 31239 30316 0 -1 4202496 297672 0 1 0 420 31 0 0 25 0 19 0 833727405 10813542400 294372 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31239/statm: 2640025 294378 2225 9 0 2630759 0
[pid=31239/tid=31240] ppid=31237 vsize=10560100 CPUtime=3.08 cores=1,3,5,7
/proc/31239/task/31240/stat : 31240 (java) R 31237 31239 30316 0 -1 4202560 284479 0 1 0 279 29 0 0 21 0 19 0 833727406 10813542400 294382 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 46912505591917 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31239/tid=31242] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31242/stat : 31242 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 294385 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31243] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31243/stat : 31243 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 294389 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31244] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31244/stat : 31244 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 294392 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31245] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31245/stat : 31245 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 294395 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31246] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31246/stat : 31246 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 294398 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31247] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31247/stat : 31247 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 294401 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31248] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31248/stat : 31248 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 294403 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31249] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31249/stat : 31249 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 294405 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31250] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31250/stat : 31250 (java) S 31237 31239 30316 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833727409 10813542400 294407 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562354176 0 0 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31239/tid=31251] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31251/stat : 31251 (java) S 31237 31239 30316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833727409 10813542400 294409 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31252] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31252/stat : 31252 (java) S 31237 31239 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833727409 10813542400 294411 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31253] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31253/stat : 31253 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833727412 10813542400 294413 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562361265 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31254] ppid=31237 vsize=10560100 CPUtime=0.65 cores=1,3,5,7
/proc/31239/task/31254/stat : 31254 (java) S 31237 31239 30316 0 -1 4202560 6005 0 0 0 64 1 0 0 15 0 19 0 833727412 10813542400 294415 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31239/tid=31255] ppid=31237 vsize=10560100 CPUtime=0.77 cores=1,3,5,7
/proc/31239/task/31255/stat : 31255 (java) S 31237 31239 30316 0 -1 4202560 6038 0 0 0 77 0 0 0 15 0 19 0 833727412 10813542400 294417 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31256] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31256/stat : 31256 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833727412 10813542400 294419 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31257] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31257/stat : 31257 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833727412 10813542400 294421 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31239/tid=31258] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31258/stat : 31258 (java) S 31237 31239 30316 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 833727426 10813542400 294423 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.51
Current children cumulated vsize (KiB) 10560100
[startup+6.30092 s]
/proc/loadavg: 1.94 2.01 1.99 3/490 31258
/proc/meminfo: memFree=26850228/32951124 swapFree=55639044/67111528
[pid=31239] ppid=31237 vsize=10560100 CPUtime=7.75 cores=1,3,5,7
/proc/31239/stat : 31239 (java) S 31237 31239 30316 0 -1 4202496 616397 0 1 0 708 67 0 0 25 0 19 0 833727405 10813542400 612992 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31239/statm: 2640025 612995 2226 9 0 2630759 0
[pid=31239/tid=31240] ppid=31237 vsize=10560100 CPUtime=6.27 cores=1,3,5,7
/proc/31239/task/31240/stat : 31240 (java) R 31237 31239 30316 0 -1 4202560 603193 0 1 0 563 64 0 0 21 0 19 0 833727406 10813542400 612996 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 46912505645400 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31239/tid=31242] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31242/stat : 31242 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 612998 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31243] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31243/stat : 31243 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 613000 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31244] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31244/stat : 31244 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 613001 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31245] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31245/stat : 31245 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 613003 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31246] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31246/stat : 31246 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 613006 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31247] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31247/stat : 31247 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 613008 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31248] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31248/stat : 31248 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 613011 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31249] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31249/stat : 31249 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833727408 10813542400 613013 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31250] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31250/stat : 31250 (java) S 31237 31239 30316 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833727409 10813542400 613016 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562354176 0 0 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31239/tid=31251] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31251/stat : 31251 (java) S 31237 31239 30316 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833727409 10813542400 613018 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31252] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31252/stat : 31252 (java) S 31237 31239 30316 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833727409 10813542400 613020 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31253] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31253/stat : 31253 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833727412 10813542400 613023 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562361265 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31254] ppid=31237 vsize=10560100 CPUtime=0.65 cores=1,3,5,7
/proc/31239/task/31254/stat : 31254 (java) S 31237 31239 30316 0 -1 4202560 6005 0 0 0 64 1 0 0 15 0 19 0 833727412 10813542400 613025 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31239/tid=31255] ppid=31237 vsize=10560100 CPUtime=0.8 cores=1,3,5,7
/proc/31239/task/31255/stat : 31255 (java) S 31237 31239 30316 0 -1 4202560 6042 0 0 0 80 0 0 0 15 0 19 0 833727412 10813542400 613027 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/31239/task/31252/stat : 31252 (java) S 31237 31239 30316 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833727409 10813542400 925730 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31253] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31253/stat : 31253 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833727412 10813542400 925730 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562361265 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31254] ppid=31237 vsize=10560100 CPUtime=0.75 cores=1,3,5,7
/proc/31239/task/31254/stat : 31254 (java) S 31237 31239 30316 0 -1 4202560 6060 0 0 0 74 1 0 0 15 0 19 0 833727412 10813542400 925730 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31255] ppid=31237 vsize=10560100 CPUtime=1 cores=1,3,5,7
/proc/31239/task/31255/stat : 31255 (java) S 31237 31239 30316 0 -1 4202560 6078 0 0 0 100 0 0 0 15 0 19 0 833727412 10813542400 925730 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31256] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31256/stat : 31256 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833727412 10813542400 925730 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31257] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31257/stat : 31257 (java) S 31237 31239 30316 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 833727412 10813542400 925730 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31239/tid=31258] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31258/stat : 31258 (java) S 31237 31239 30316 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 833727426 10813542400 925730 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1667.71
Current children cumulated vsize (KiB) 10560100
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/490 31353
/proc/meminfo: memFree=24370812/32951124 swapFree=55639044/67111528
[pid=31239] ppid=31237 vsize=10560100 CPUtime=1728.37 cores=1,3,5,7
/proc/31239/stat : 31239 (java) S 31237 31239 30316 0 -1 4202496 931047 0 1 0 172734 103 0 0 25 0 19 0 833727405 10813542400 926369 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31239/statm: 2640025 926369 2256 9 0 2630759 0
[pid=31239/tid=31240] ppid=31237 vsize=10560100 CPUtime=1719.16 cores=1,3,5,7
/proc/31239/task/31240/stat : 31240 (java) R 31237 31239 30316 0 -1 4202560 831289 0 1 0 171827 89 0 0 25 0 19 0 833727406 10813542400 926369 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 46912505584478 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31239/tid=31242] ppid=31237 vsize=10560100 CPUtime=0.7 cores=1,3,5,7
/proc/31239/task/31242/stat : 31242 (java) S 31237 31239 30316 0 -1 4202560 11524 0 0 0 69 1 0 0 16 0 19 0 833727408 10813542400 926369 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31243] ppid=31237 vsize=10560100 CPUtime=0.75 cores=1,3,5,7
/proc/31239/task/31243/stat : 31243 (java) S 31237 31239 30316 0 -1 4202560 5879 0 0 0 75 0 0 0 15 0 19 0 833727408 10813542400 926369 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31239/tid=31244] ppid=31237 vsize=10560100 CPUtime=0.91 cores=1,3,5,7
/proc/31239/task/31244/stat : 31244 (java) S 31237 31239 30316 0 -1 4202560 8682 0 0 0 90 1 0 0 15 0 19 0 833727408 10813542400 926369 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31239/tid=31245] ppid=31237 vsize=10560100 CPUtime=0.68 cores=1,3,5,7
/proc/31239/task/31245/stat : 31245 (java) S 31237 31239 30316 0 -1 4202560 7327 0 0 0 67 1 0 0 15 0 19 0 833727408 10813542400 926369 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31246] ppid=31237 vsize=10560100 CPUtime=0.71 cores=1,3,5,7
/proc/31239/task/31246/stat : 31246 (java) S 31237 31239 30316 0 -1 4202560 7968 0 0 0 71 0 0 0 16 0 19 0 833727408 10813542400 926369 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31239/tid=31247] ppid=31237 vsize=10560100 CPUtime=0.97 cores=1,3,5,7
/proc/31239/task/31247/stat : 31247 (java) S 31237 31239 30316 0 -1 4202560 15156 0 0 0 95 2 0 0 15 0 19 0 833727408 10813542400 926369 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31248] ppid=31237 vsize=10560100 CPUtime=0.66 cores=1,3,5,7
/proc/31239/task/31248/stat : 31248 (java) S 31237 31239 30316 0 -1 4202560 6692 0 0 0 66 0 0 0 16 0 19 0 833727408 10813542400 926369 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31249] ppid=31237 vsize=10560100 CPUtime=0.94 cores=1,3,5,7
/proc/31239/task/31249/stat : 31249 (java) S 31237 31239 30316 0 -1 4202560 12232 0 0 0 93 1 0 0 16 0 19 0 833727408 10813542400 926369 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31239/tid=31250] ppid=31237 vsize=10560100 CPUtime=1.03 cores=1,3,5,7
/proc/31239/task/31250/stat : 31250 (java) S 31237 31239 30316 0 -1 4202560 10910 0 0 0 101 2 0 0 15 0 19 0 833727409 10813542400 926369 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562354176 0 0 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31239/tid=31251] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31251/stat : 31251 (java) S 31237 31239 30316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833727409 10813542400 926369 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31252] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31252/stat : 31252 (java) S 31237 31239 30316 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833727409 10813542400 926369 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31253] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31253/stat : 31253 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833727412 10813542400 926369 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562361265 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31254] ppid=31237 vsize=10560100 CPUtime=0.75 cores=1,3,5,7
/proc/31239/task/31254/stat : 31254 (java) S 31237 31239 30316 0 -1 4202560 6060 0 0 0 74 1 0 0 15 0 19 0 833727412 10813542400 926369 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31255] ppid=31237 vsize=10560100 CPUtime=1 cores=1,3,5,7
/proc/31239/task/31255/stat : 31255 (java) S 31237 31239 30316 0 -1 4202560 6078 0 0 0 100 0 0 0 15 0 19 0 833727412 10813542400 926369 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31256] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31256/stat : 31256 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833727412 10813542400 926369 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31257] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31257/stat : 31257 (java) S 31237 31239 30316 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833727412 10813542400 926369 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31239/tid=31258] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31258/stat : 31258 (java) S 31237 31239 30316 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 833727426 10813542400 926369 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1728.37
Current children cumulated vsize (KiB) 10560100
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/490 31354
/proc/meminfo: memFree=24366692/32951124 swapFree=55639044/67111528
[pid=31239] ppid=31237 vsize=10560100 CPUtime=1788.54 cores=1,3,5,7
/proc/31239/stat : 31239 (java) S 31237 31239 30316 0 -1 4202496 931825 0 1 0 178750 104 0 0 25 0 19 0 833727405 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31239/statm: 2640025 927119 2256 9 0 2630759 0
[pid=31239/tid=31240] ppid=31237 vsize=10560100 CPUtime=1779.1 cores=1,3,5,7
/proc/31239/task/31240/stat : 31240 (java) R 31237 31239 30316 0 -1 4202560 831293 0 1 0 177821 89 0 0 25 0 19 0 833727406 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 46912505643999 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31239/tid=31242] ppid=31237 vsize=10560100 CPUtime=0.71 cores=1,3,5,7
/proc/31239/task/31242/stat : 31242 (java) S 31237 31239 30316 0 -1 4202560 11557 0 0 0 70 1 0 0 16 0 19 0 833727408 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31239/tid=31243] ppid=31237 vsize=10560100 CPUtime=0.79 cores=1,3,5,7
/proc/31239/task/31243/stat : 31243 (java) S 31237 31239 30316 0 -1 4202560 6011 0 0 0 79 0 0 0 16 0 19 0 833727408 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31239/tid=31244] ppid=31237 vsize=10560100 CPUtime=0.93 cores=1,3,5,7
/proc/31239/task/31244/stat : 31244 (java) S 31237 31239 30316 0 -1 4202560 8749 0 0 0 92 1 0 0 15 0 19 0 833727408 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31245] ppid=31237 vsize=10560100 CPUtime=0.7 cores=1,3,5,7
/proc/31239/task/31245/stat : 31245 (java) S 31237 31239 30316 0 -1 4202560 7398 0 0 0 69 1 0 0 16 0 19 0 833727408 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31246] ppid=31237 vsize=10560100 CPUtime=0.74 cores=1,3,5,7
/proc/31239/task/31246/stat : 31246 (java) S 31237 31239 30316 0 -1 4202560 8069 0 0 0 74 0 0 0 15 0 19 0 833727408 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31239/tid=31247] ppid=31237 vsize=10560100 CPUtime=1 cores=1,3,5,7
/proc/31239/task/31247/stat : 31247 (java) S 31237 31239 30316 0 -1 4202560 15292 0 0 0 98 2 0 0 16 0 19 0 833727408 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31248] ppid=31237 vsize=10560100 CPUtime=0.72 cores=1,3,5,7
/proc/31239/task/31248/stat : 31248 (java) S 31237 31239 30316 0 -1 4202560 6888 0 0 0 72 0 0 0 16 0 19 0 833727408 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31239/tid=31249] ppid=31237 vsize=10560100 CPUtime=0.96 cores=1,3,5,7
/proc/31239/task/31249/stat : 31249 (java) S 31237 31239 30316 0 -1 4202560 12262 0 0 0 95 1 0 0 15 0 19 0 833727408 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31239/tid=31250] ppid=31237 vsize=10560100 CPUtime=1.03 cores=1,3,5,7
/proc/31239/task/31250/stat : 31250 (java) S 31237 31239 30316 0 -1 4202560 10914 0 0 0 101 2 0 0 15 0 19 0 833727409 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562354176 0 0 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31239/tid=31251] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31251/stat : 31251 (java) S 31237 31239 30316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833727409 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31252] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31252/stat : 31252 (java) S 31237 31239 30316 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833727409 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31253] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31253/stat : 31253 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833727412 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562361265 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31254] ppid=31237 vsize=10560100 CPUtime=0.75 cores=1,3,5,7
/proc/31239/task/31254/stat : 31254 (java) S 31237 31239 30316 0 -1 4202560 6060 0 0 0 74 1 0 0 15 0 19 0 833727412 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31255] ppid=31237 vsize=10560100 CPUtime=1 cores=1,3,5,7
/proc/31239/task/31255/stat : 31255 (java) S 31237 31239 30316 0 -1 4202560 6078 0 0 0 100 0 0 0 15 0 19 0 833727412 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31256] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31256/stat : 31256 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833727412 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31257] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31257/stat : 31257 (java) S 31237 31239 30316 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833727412 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31239/tid=31258] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31258/stat : 31258 (java) S 31237 31239 30316 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 833727426 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1788.54
Current children cumulated vsize (KiB) 10560100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 31355
/proc/meminfo: memFree=24366068/32951124 swapFree=55639044/67111528
[pid=31239] ppid=31237 vsize=10560100 CPUtime=1800.06 cores=1,3,5,7
/proc/31239/stat : 31239 (java) S 31237 31239 30316 0 -1 4202496 931825 0 1 0 179902 104 0 0 25 0 19 0 833727405 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31239/statm: 2640025 927119 2256 9 0 2630759 0
[pid=31239/tid=31240] ppid=31237 vsize=10560100 CPUtime=1790.61 cores=1,3,5,7
/proc/31239/task/31240/stat : 31240 (java) R 31237 31239 30316 0 -1 4202560 831293 0 1 0 178972 89 0 0 25 0 19 0 833727406 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 46912505600180 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31239/tid=31242] ppid=31237 vsize=10560100 CPUtime=0.71 cores=1,3,5,7
/proc/31239/task/31242/stat : 31242 (java) S 31237 31239 30316 0 -1 4202560 11557 0 0 0 70 1 0 0 16 0 19 0 833727408 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31239/tid=31243] ppid=31237 vsize=10560100 CPUtime=0.79 cores=1,3,5,7
/proc/31239/task/31243/stat : 31243 (java) S 31237 31239 30316 0 -1 4202560 6011 0 0 0 79 0 0 0 16 0 19 0 833727408 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31239/tid=31244] ppid=31237 vsize=10560100 CPUtime=0.93 cores=1,3,5,7
/proc/31239/task/31244/stat : 31244 (java) S 31237 31239 30316 0 -1 4202560 8749 0 0 0 92 1 0 0 15 0 19 0 833727408 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31245] ppid=31237 vsize=10560100 CPUtime=0.7 cores=1,3,5,7
/proc/31239/task/31245/stat : 31245 (java) S 31237 31239 30316 0 -1 4202560 7398 0 0 0 69 1 0 0 16 0 19 0 833727408 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31246] ppid=31237 vsize=10560100 CPUtime=0.74 cores=1,3,5,7
/proc/31239/task/31246/stat : 31246 (java) S 31237 31239 30316 0 -1 4202560 8069 0 0 0 74 0 0 0 15 0 19 0 833727408 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31239/tid=31247] ppid=31237 vsize=10560100 CPUtime=1 cores=1,3,5,7
/proc/31239/task/31247/stat : 31247 (java) S 31237 31239 30316 0 -1 4202560 15292 0 0 0 98 2 0 0 16 0 19 0 833727408 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31248] ppid=31237 vsize=10560100 CPUtime=0.72 cores=1,3,5,7
/proc/31239/task/31248/stat : 31248 (java) S 31237 31239 30316 0 -1 4202560 6888 0 0 0 72 0 0 0 16 0 19 0 833727408 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31239/tid=31249] ppid=31237 vsize=10560100 CPUtime=0.96 cores=1,3,5,7
/proc/31239/task/31249/stat : 31249 (java) S 31237 31239 30316 0 -1 4202560 12262 0 0 0 95 1 0 0 15 0 19 0 833727408 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 1 0 0 0
[pid=31239/tid=31250] ppid=31237 vsize=10560100 CPUtime=1.03 cores=1,3,5,7
/proc/31239/task/31250/stat : 31250 (java) S 31237 31239 30316 0 -1 4202560 10914 0 0 0 101 2 0 0 15 0 19 0 833727409 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562354176 0 0 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31239/tid=31251] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31251/stat : 31251 (java) S 31237 31239 30316 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833727409 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31252] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31252/stat : 31252 (java) S 31237 31239 30316 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833727409 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31253] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31253/stat : 31253 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 833727412 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562361265 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31254] ppid=31237 vsize=10560100 CPUtime=0.75 cores=1,3,5,7
/proc/31239/task/31254/stat : 31254 (java) S 31237 31239 30316 0 -1 4202560 6060 0 0 0 74 1 0 0 15 0 19 0 833727412 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 7 0 0 0
[pid=31239/tid=31255] ppid=31237 vsize=10560100 CPUtime=1 cores=1,3,5,7
/proc/31239/task/31255/stat : 31255 (java) S 31237 31239 30316 0 -1 4202560 6078 0 0 0 100 0 0 0 15 0 19 0 833727412 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31256] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31256/stat : 31256 (java) S 31237 31239 30316 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 833727412 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562353561 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
[pid=31239/tid=31257] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31257/stat : 31257 (java) S 31237 31239 30316 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833727412 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 3 0 0 0
[pid=31239/tid=31258] ppid=31237 vsize=10560100 CPUtime=0 cores=1,3,5,7
/proc/31239/task/31258/stat : 31258 (java) S 31237 31239 30316 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 833727426 10813542400 927119 33554432000 1073741824 1073778376 140733542559840 18446744073709551615 271562354176 0 4 0 16800975 18446604470463877504 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10560100
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 31355
/proc/meminfo: memFree=24366068/32951124 swapFree=55639044/67111528
[pid=31239] ppid=31237 vsize=0 CPUtime=1800.18 cores=1,3,5,7
/proc/31239/stat : 31239 (java) Z 31237 31239 30316 0 -1 4203548 931864 0 1 0 179908 110 0 0 17 0 2 0 833727405 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/31239/statm: 0 0 0 0 0 0 0
[pid=31239/tid=31240] ppid=31237 vsize=0 CPUtime=1790.71 cores=1,3,5,7
/proc/31239/task/31240/stat : 31240 (java) R 31237 31239 30316 0 -1 4203588 831293 0 1 0 178976 95 0 0 25 0 2 0 833727406 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794
CPU time (s): 1800.27
CPU user time (s): 1799.09
CPU system time (s): 1.17682
CPU usage (%): 100.349
Max. virtual memory (cumulated for all children) (KiB): 10560100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.17682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 931864
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39950
involuntary context switches= 11967
runsolver used 8.88265 second user time and 18.3792 second system time
The end