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-3457281-1307219496/watcher-3457281-1307219496 -o /tmp/evaluation-result-3457281-1307219496/solver-3457281-1307219496 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457281-1307219496.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.08 2.04 1.96 2/464 30260
/proc/meminfo: memFree=30183992/32950928 swapFree=34365992/67111528
[pid=30260] ppid=30258 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/30260/stat : 30260 (java) S 30258 30260 29607 0 -1 4202496 7020 0 1 0 0 0 0 0 25 0 2 0 833548368 10694979584 6723 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/30260/statm: 2611079 6735 917 9 0 2602235 0
[pid=30260/tid=30261] ppid=30258 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30261/stat : 30261 (java) R 30258 30260 29607 0 -1 4202560 6555 0 1 0 0 0 0 0 25 0 2 0 833548368 10694979584 7371 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.101211 s]
/proc/loadavg: 2.08 2.04 1.96 2/464 30260
/proc/meminfo: memFree=30183992/32950928 swapFree=34365992/67111528
[pid=30260] ppid=30258 vsize=10540144 CPUtime=0.1 cores=1,3,5,7
/proc/30260/stat : 30260 (java) S 30258 30260 29607 0 -1 4202496 13114 0 1 0 9 1 0 0 25 0 18 0 833548368 10793107456 12782 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30260/statm: 2635036 12783 2092 9 0 2625770 0
[pid=30260/tid=30261] ppid=30258 vsize=10540144 CPUtime=0.08 cores=1,3,5,7
/proc/30260/task/30261/stat : 30261 (java) R 30258 30260 29607 0 -1 4202560 11224 0 1 0 7 1 0 0 25 0 18 0 833548368 10793107456 12783 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 47335607716388 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540144
[startup+0.200195 s]
/proc/loadavg: 2.08 2.04 1.96 2/464 30260
/proc/meminfo: memFree=30183992/32950928 swapFree=34365992/67111528
[pid=30260] ppid=30258 vsize=10541632 CPUtime=0.29 cores=1,3,5,7
/proc/30260/stat : 30260 (java) S 30258 30260 29607 0 -1 4202496 14210 0 1 0 27 2 0 0 25 0 18 0 833548368 10794631168 13878 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30260/statm: 2635408 13879 2185 9 0 2626142 0
[pid=30260/tid=30261] ppid=30258 vsize=10541632 CPUtime=0.18 cores=1,3,5,7
/proc/30260/task/30261/stat : 30261 (java) R 30258 30260 29607 0 -1 4202560 11834 0 1 0 17 1 0 0 25 0 18 0 833548368 10794631168 13879 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10541632
[startup+0.301177 s]
/proc/loadavg: 2.08 2.04 1.96 2/464 30260
/proc/meminfo: memFree=30183992/32950928 swapFree=34365992/67111528
[pid=30260] ppid=30258 vsize=10544292 CPUtime=0.49 cores=1,3,5,7
/proc/30260/stat : 30260 (java) S 30258 30260 29607 0 -1 4202496 15452 0 1 0 47 2 0 0 25 0 19 0 833548368 10797355008 15009 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30260/statm: 2636073 15009 2210 9 0 2626807 0
[pid=30260/tid=30261] ppid=30258 vsize=10544292 CPUtime=0.29 cores=1,3,5,7
/proc/30260/task/30261/stat : 30261 (java) R 30258 30260 29607 0 -1 4202560 12439 0 1 0 27 2 0 0 25 0 19 0 833548368 10797355008 15009 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 47335606875014 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10544292
[startup+0.70111 s]
/proc/loadavg: 2.08 2.04 1.96 2/464 30260
/proc/meminfo: memFree=30183992/32950928 swapFree=34365992/67111528
[pid=30260] ppid=30258 vsize=10554636 CPUtime=1.69 cores=1,3,5,7
/proc/30260/stat : 30260 (java) S 30258 30260 29607 0 -1 4202496 36740 0 1 0 164 5 0 0 25 0 19 0 833548368 10807947264 31353 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30260/statm: 2638659 31354 2218 9 0 2629393 0
[pid=30260/tid=30261] ppid=30258 vsize=10554636 CPUtime=0.68 cores=1,3,5,7
/proc/30260/task/30261/stat : 30261 (java) R 30258 30260 29607 0 -1 4202560 22715 0 1 0 65 3 0 0 25 0 19 0 833548368 10807947264 31355 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 46912505584040 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 10554636
[startup+1.50097 s]
/proc/loadavg: 2.08 2.04 1.96 5/483 30282
/proc/meminfo: memFree=29643772/32950928 swapFree=34365992/67111528
[pid=30260] ppid=30258 vsize=10554636 CPUtime=2.79 cores=1,3,5,7
/proc/30260/stat : 30260 (java) S 30258 30260 29607 0 -1 4202496 105027 0 1 0 267 12 0 0 25 0 19 0 833548368 10807947264 99416 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30260/statm: 2638659 99419 2224 9 0 2629393 0
[pid=30260/tid=30261] ppid=30258 vsize=10554636 CPUtime=1.48 cores=1,3,5,7
/proc/30260/task/30261/stat : 30261 (java) R 30258 30260 29607 0 -1 4202560 90700 0 1 0 138 10 0 0 25 0 19 0 833548368 10807947264 99421 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 46912505686291 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30260/tid=30264] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30264/stat : 30264 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 99424 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30265] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30265/stat : 30265 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 99426 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30266] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30266/stat : 30266 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 99428 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30267] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30267/stat : 30267 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 99431 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30268] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30268/stat : 30268 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 99433 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30269] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30269/stat : 30269 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 99436 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30271] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30271/stat : 30271 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 99438 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30272] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30272/stat : 30272 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 99440 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30273] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30273/stat : 30273 (java) S 30258 30260 29607 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833548371 10807947264 99443 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606683136 0 0 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30274] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30274/stat : 30274 (java) S 30258 30260 29607 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833548371 10807947264 99446 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30275] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30275/stat : 30275 (java) S 30258 30260 29607 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833548371 10807947264 99448 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30276] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30276/stat : 30276 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548373 10807947264 99450 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606690225 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30277] ppid=30258 vsize=10554636 CPUtime=0.65 cores=1,3,5,7
/proc/30260/task/30277/stat : 30277 (java) S 30258 30260 29607 0 -1 4202560 7506 0 0 0 64 1 0 0 24 0 19 0 833548373 10807947264 99453 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30278] ppid=30258 vsize=10554636 CPUtime=0.63 cores=1,3,5,7
/proc/30260/task/30278/stat : 30278 (java) S 30258 30260 29607 0 -1 4202560 5668 0 0 0 63 0 0 0 23 0 19 0 833548373 10807947264 99455 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 3 0 0 0
[pid=30260/tid=30279] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30279/stat : 30279 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548373 10807947264 99456 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30280] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30280/stat : 30280 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833548373 10807947264 99459 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606683136 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30282] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30282/stat : 30282 (java) S 30258 30260 29607 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833548390 10807947264 99462 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606683136 0 4 0 16800975 18446604468955055040 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 10554636
[startup+3.10677 s]
/proc/loadavg: 2.08 2.04 1.96 3/483 30282
/proc/meminfo: memFree=29139836/32950928 swapFree=34365992/67111528
[pid=30260] ppid=30258 vsize=10554636 CPUtime=4.44 cores=1,3,5,7
/proc/30260/stat : 30260 (java) S 30258 30260 29607 0 -1 4202496 240471 0 1 0 415 29 0 0 25 0 19 0 833548368 10807947264 234860 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30260/statm: 2638659 234863 2225 9 0 2629393 0
[pid=30260/tid=30261] ppid=30258 vsize=10554636 CPUtime=3.09 cores=1,3,5,7
/proc/30260/task/30261/stat : 30261 (java) R 30258 30260 29607 0 -1 4202560 226139 0 1 0 282 27 0 0 25 0 19 0 833548368 10807947264 234864 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 46912505686356 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30260/tid=30264] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30264/stat : 30264 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 234867 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30265] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30265/stat : 30265 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 234869 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30266] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30266/stat : 30266 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 234871 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30267] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30267/stat : 30267 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 234873 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30268] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30268/stat : 30268 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 234875 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30269] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30269/stat : 30269 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 234878 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30271] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30271/stat : 30271 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 234880 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30272] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30272/stat : 30272 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 234882 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30273] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30273/stat : 30273 (java) S 30258 30260 29607 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 833548371 10807947264 234884 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606683136 0 0 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30274] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30274/stat : 30274 (java) S 30258 30260 29607 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833548371 10807947264 234886 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30275] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30275/stat : 30275 (java) S 30258 30260 29607 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833548371 10807947264 234887 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30276] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30276/stat : 30276 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548373 10807947264 234889 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606690225 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30277] ppid=30258 vsize=10554636 CPUtime=0.68 cores=1,3,5,7
/proc/30260/task/30277/stat : 30277 (java) R 30258 30260 29607 0 -1 4202560 7508 0 0 0 67 1 0 0 15 0 19 0 833548373 10807947264 234892 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235594559184 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30260/tid=30278] ppid=30258 vsize=10554636 CPUtime=0.65 cores=1,3,5,7
/proc/30260/task/30278/stat : 30278 (java) S 30258 30260 29607 0 -1 4202560 5670 0 0 0 65 0 0 0 18 0 19 0 833548373 10807947264 234895 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 3 0 0 0
[pid=30260/tid=30279] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30279/stat : 30279 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548373 10807947264 234897 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30280] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30280/stat : 30280 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833548373 10807947264 234900 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606683136 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30282] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30282/stat : 30282 (java) S 30258 30260 29607 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833548390 10807947264 234902 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606683136 0 4 0 16800975 18446604468955055040 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 10554636
[startup+6.30119 s]
/proc/loadavg: 2.08 2.04 1.96 3/483 30282
/proc/meminfo: memFree=27794936/32950928 swapFree=34365992/67111528
[pid=30260] ppid=30258 vsize=10554636 CPUtime=7.77 cores=1,3,5,7
/proc/30260/stat : 30260 (java) S 30258 30260 29607 0 -1 4202496 505837 0 1 0 718 59 0 0 25 0 19 0 833548368 10807947264 500214 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30260/statm: 2638659 500218 2227 9 0 2629393 0
[pid=30260/tid=30261] ppid=30258 vsize=10554636 CPUtime=6.28 cores=1,3,5,7
/proc/30260/task/30261/stat : 30261 (java) R 30258 30260 29607 0 -1 4202560 491485 0 1 0 571 57 0 0 25 0 19 0 833548368 10807947264 500220 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 46912505791259 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30260/tid=30264] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30264/stat : 30264 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 500222 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30265] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30265/stat : 30265 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 500223 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30266] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30266/stat : 30266 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 500225 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30267] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30267/stat : 30267 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 500228 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30268] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30268/stat : 30268 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 500230 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30269] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30269/stat : 30269 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 500231 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30271] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30271/stat : 30271 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 500233 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30272] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30272/stat : 30272 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548370 10807947264 500235 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30273] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30273/stat : 30273 (java) S 30258 30260 29607 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 833548371 10807947264 500237 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606683136 0 0 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30274] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30274/stat : 30274 (java) S 30258 30260 29607 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833548371 10807947264 500239 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30275] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30275/stat : 30275 (java) S 30258 30260 29607 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833548371 10807947264 500241 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30276] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30276/stat : 30276 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548373 10807947264 500243 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606690225 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30277] ppid=30258 vsize=10554636 CPUtime=0.81 cores=1,3,5,7
/proc/30260/task/30277/stat : 30277 (java) S 30258 30260 29607 0 -1 4202560 7528 0 0 0 80 1 0 0 15 0 19 0 833548373 10807947264 500245 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 3 0 0 0
[pid=30260/tid=30278] ppid=30258 vsize=10554636 CPUtime=0.66 cores=1,3,5,7
/proc/30260/task/30278/stat : 30278 (java) S 30258 30260 29607 0 -1 4202560 5670 0 0 0 66 0 0 0 15 0 19 0 833548373 10807947264 500247 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/30260/task/30274/stat : 30274 (java) S 30258 30260 29607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833548371 10807947264 921829 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30275] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30275/stat : 30275 (java) S 30258 30260 29607 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833548371 10807947264 921829 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30276] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30276/stat : 30276 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548373 10807947264 921829 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606690225 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30277] ppid=30258 vsize=10554636 CPUtime=0.92 cores=1,3,5,7
/proc/30260/task/30277/stat : 30277 (java) S 30258 30260 29607 0 -1 4202560 7540 0 0 0 91 1 0 0 16 0 19 0 833548373 10807947264 921829 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 3 0 0 0
[pid=30260/tid=30278] ppid=30258 vsize=10554636 CPUtime=0.78 cores=1,3,5,7
/proc/30260/task/30278/stat : 30278 (java) S 30258 30260 29607 0 -1 4202560 5703 0 0 0 78 0 0 0 15 0 19 0 833548373 10807947264 921829 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30279] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30279/stat : 30279 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548373 10807947264 921829 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30280] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30280/stat : 30280 (java) S 30258 30260 29607 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 833548373 10807947264 921829 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606683136 0 4 0 16800975 18446604468955055040 0 0 -1 1 0 0 0
[pid=30260/tid=30282] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30282/stat : 30282 (java) S 30258 30260 29607 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833548390 10807947264 921829 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606683136 0 4 0 16800975 18446604468955055040 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1666.67
Current children cumulated vsize (KiB) 10554636
[startup+1722.3 s]
/proc/loadavg: 2.01 2.06 2.01 3/483 30331
/proc/meminfo: memFree=23250656/32950928 swapFree=34365992/67111528
[pid=30260] ppid=30258 vsize=10554636 CPUtime=1726.78 cores=1,3,5,7
/proc/30260/stat : 30260 (java) S 30258 30260 29607 0 -1 4202496 929572 0 1 0 172569 109 0 0 25 0 19 0 833548368 10807947264 922775 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30260/statm: 2638659 922775 2256 9 0 2629393 0
[pid=30260/tid=30261] ppid=30258 vsize=10554636 CPUtime=1720.3 cores=1,3,5,7
/proc/30260/task/30261/stat : 30261 (java) R 30258 30260 29607 0 -1 4202560 835139 0 1 0 171935 95 0 0 25 0 19 0 833548368 10807947264 922775 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 46912505791173 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30260/tid=30264] ppid=30258 vsize=10554636 CPUtime=0.5 cores=1,3,5,7
/proc/30260/task/30264/stat : 30264 (java) S 30258 30260 29607 0 -1 4202560 8685 0 0 0 49 1 0 0 15 0 19 0 833548370 10807947264 922775 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 3 0 0 0
[pid=30260/tid=30265] ppid=30258 vsize=10554636 CPUtime=0.51 cores=1,3,5,7
/proc/30260/task/30265/stat : 30265 (java) S 30258 30260 29607 0 -1 4202560 7807 0 0 0 50 1 0 0 16 0 19 0 833548370 10807947264 922775 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 1 0 0 0
[pid=30260/tid=30266] ppid=30258 vsize=10554636 CPUtime=0.52 cores=1,3,5,7
/proc/30260/task/30266/stat : 30266 (java) S 30258 30260 29607 0 -1 4202560 12485 0 0 0 51 1 0 0 16 0 19 0 833548370 10807947264 922775 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 3 0 0 0
[pid=30260/tid=30267] ppid=30258 vsize=10554636 CPUtime=0.42 cores=1,3,5,7
/proc/30260/task/30267/stat : 30267 (java) S 30258 30260 29607 0 -1 4202560 6214 0 0 0 42 0 0 0 15 0 19 0 833548370 10807947264 922775 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30268] ppid=30258 vsize=10554636 CPUtime=0.59 cores=1,3,5,7
/proc/30260/task/30268/stat : 30268 (java) S 30258 30260 29607 0 -1 4202560 10684 0 0 0 58 1 0 0 15 0 19 0 833548370 10807947264 922775 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 1 0 0 0
[pid=30260/tid=30269] ppid=30258 vsize=10554636 CPUtime=0.53 cores=1,3,5,7
/proc/30260/task/30269/stat : 30269 (java) S 30258 30260 29607 0 -1 4202560 10005 0 0 0 52 1 0 0 16 0 19 0 833548370 10807947264 922775 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30271] ppid=30258 vsize=10554636 CPUtime=0.49 cores=1,3,5,7
/proc/30260/task/30271/stat : 30271 (java) S 30258 30260 29607 0 -1 4202560 9603 0 0 0 49 0 0 0 15 0 19 0 833548370 10807947264 922775 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 3 0 0 0
[pid=30260/tid=30272] ppid=30258 vsize=10554636 CPUtime=0.52 cores=1,3,5,7
/proc/30260/task/30272/stat : 30272 (java) S 30258 30260 29607 0 -1 4202560 12598 0 0 0 50 2 0 0 16 0 19 0 833548370 10807947264 922775 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30273] ppid=30258 vsize=10554636 CPUtime=0.57 cores=1,3,5,7
/proc/30260/task/30273/stat : 30273 (java) S 30258 30260 29607 0 -1 4202560 1859 0 0 0 57 0 0 0 15 0 19 0 833548371 10807947264 922775 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606683136 0 0 0 16800975 18446604468955055040 0 0 -1 1 0 0 0
[pid=30260/tid=30274] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30274/stat : 30274 (java) S 30258 30260 29607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833548371 10807947264 922775 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30275] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30275/stat : 30275 (java) S 30258 30260 29607 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833548371 10807947264 922775 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30276] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30276/stat : 30276 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548373 10807947264 922775 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606690225 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30277] ppid=30258 vsize=10554636 CPUtime=0.92 cores=1,3,5,7
/proc/30260/task/30277/stat : 30277 (java) S 30258 30260 29607 0 -1 4202560 7540 0 0 0 91 1 0 0 16 0 19 0 833548373 10807947264 922775 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 3 0 0 0
[pid=30260/tid=30278] ppid=30258 vsize=10554636 CPUtime=0.78 cores=1,3,5,7
/proc/30260/task/30278/stat : 30278 (java) S 30258 30260 29607 0 -1 4202560 5703 0 0 0 78 0 0 0 15 0 19 0 833548373 10807947264 922775 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30279] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30279/stat : 30279 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548373 10807947264 922775 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30280] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30280/stat : 30280 (java) S 30258 30260 29607 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 833548373 10807947264 922775 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606683136 0 4 0 16800975 18446604468955055040 0 0 -1 1 0 0 0
[pid=30260/tid=30282] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30282/stat : 30282 (java) S 30258 30260 29607 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833548390 10807947264 922775 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606683136 0 4 0 16800975 18446604468955055040 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1726.78
Current children cumulated vsize (KiB) 10554636
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/483 30389
/proc/meminfo: memFree=24973832/32950928 swapFree=34365992/67111528
[pid=30260] ppid=30258 vsize=10554636 CPUtime=1786.88 cores=1,3,5,7
/proc/30260/stat : 30260 (java) S 30258 30260 29607 0 -1 4202496 930246 0 1 0 178579 109 0 0 25 0 19 0 833548368 10807947264 923428 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30260/statm: 2638659 923428 2256 9 0 2629393 0
[pid=30260/tid=30261] ppid=30258 vsize=10554636 CPUtime=1780.26 cores=1,3,5,7
/proc/30260/task/30261/stat : 30261 (java) R 30258 30260 29607 0 -1 4202560 835142 0 1 0 177931 95 0 0 25 0 19 0 833548368 10807947264 923428 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 46912505791826 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30260/tid=30264] ppid=30258 vsize=10554636 CPUtime=0.53 cores=1,3,5,7
/proc/30260/task/30264/stat : 30264 (java) S 30258 30260 29607 0 -1 4202560 8847 0 0 0 52 1 0 0 16 0 19 0 833548370 10807947264 923428 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 3 0 0 0
[pid=30260/tid=30265] ppid=30258 vsize=10554636 CPUtime=0.52 cores=1,3,5,7
/proc/30260/task/30265/stat : 30265 (java) S 30258 30260 29607 0 -1 4202560 7827 0 0 0 51 1 0 0 15 0 19 0 833548370 10807947264 923428 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30266] ppid=30258 vsize=10554636 CPUtime=0.54 cores=1,3,5,7
/proc/30260/task/30266/stat : 30266 (java) S 30258 30260 29607 0 -1 4202560 12605 0 0 0 53 1 0 0 15 0 19 0 833548370 10807947264 923428 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 3 0 0 0
[pid=30260/tid=30267] ppid=30258 vsize=10554636 CPUtime=0.44 cores=1,3,5,7
/proc/30260/task/30267/stat : 30267 (java) S 30258 30260 29607 0 -1 4202560 6326 0 0 0 44 0 0 0 15 0 19 0 833548370 10807947264 923428 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30268] ppid=30258 vsize=10554636 CPUtime=0.62 cores=1,3,5,7
/proc/30260/task/30268/stat : 30268 (java) S 30258 30260 29607 0 -1 4202560 10799 0 0 0 61 1 0 0 16 0 19 0 833548370 10807947264 923428 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 1 0 0 0
[pid=30260/tid=30269] ppid=30258 vsize=10554636 CPUtime=0.55 cores=1,3,5,7
/proc/30260/task/30269/stat : 30269 (java) S 30258 30260 29607 0 -1 4202560 10069 0 0 0 54 1 0 0 16 0 19 0 833548370 10807947264 923428 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30271] ppid=30258 vsize=10554636 CPUtime=0.5 cores=1,3,5,7
/proc/30260/task/30271/stat : 30271 (java) S 30258 30260 29607 0 -1 4202560 9604 0 0 0 50 0 0 0 15 0 19 0 833548370 10807947264 923428 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30272] ppid=30258 vsize=10554636 CPUtime=0.54 cores=1,3,5,7
/proc/30260/task/30272/stat : 30272 (java) S 30258 30260 29607 0 -1 4202560 12671 0 0 0 52 2 0 0 16 0 19 0 833548370 10807947264 923428 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30273] ppid=30258 vsize=10554636 CPUtime=0.57 cores=1,3,5,7
/proc/30260/task/30273/stat : 30273 (java) S 30258 30260 29607 0 -1 4202560 1861 0 0 0 57 0 0 0 15 0 19 0 833548371 10807947264 923428 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606683136 0 0 0 16800975 18446604468955055040 0 0 -1 1 0 0 0
[pid=30260/tid=30274] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30274/stat : 30274 (java) S 30258 30260 29607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833548371 10807947264 923428 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30275] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30275/stat : 30275 (java) S 30258 30260 29607 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833548371 10807947264 923428 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30276] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30276/stat : 30276 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548373 10807947264 923428 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606690225 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30277] ppid=30258 vsize=10554636 CPUtime=0.92 cores=1,3,5,7
/proc/30260/task/30277/stat : 30277 (java) S 30258 30260 29607 0 -1 4202560 7540 0 0 0 91 1 0 0 16 0 19 0 833548373 10807947264 923428 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 3 0 0 0
[pid=30260/tid=30278] ppid=30258 vsize=10554636 CPUtime=0.78 cores=1,3,5,7
/proc/30260/task/30278/stat : 30278 (java) S 30258 30260 29607 0 -1 4202560 5703 0 0 0 78 0 0 0 15 0 19 0 833548373 10807947264 923428 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30279] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30279/stat : 30279 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548373 10807947264 923428 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30280] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30280/stat : 30280 (java) S 30258 30260 29607 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833548373 10807947264 923428 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606683136 0 4 0 16800975 18446604468955055040 0 0 -1 1 0 0 0
[pid=30260/tid=30282] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30282/stat : 30282 (java) S 30258 30260 29607 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833548390 10807947264 923428 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606683136 0 4 0 16800975 18446604468955055040 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1786.88
Current children cumulated vsize (KiB) 10554636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.4 s]
/proc/loadavg: 2.00 2.04 2.01 3/483 30390
/proc/meminfo: memFree=24933924/32950928 swapFree=34365992/67111528
[pid=30260] ppid=30258 vsize=10554636 CPUtime=1800.02 cores=1,3,5,7
/proc/30260/stat : 30260 (java) S 30258 30260 29607 0 -1 4202496 930367 0 1 0 179893 109 0 0 25 0 19 0 833548368 10807947264 923544 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30260/statm: 2638659 923544 2256 9 0 2629393 0
[pid=30260/tid=30261] ppid=30258 vsize=10554636 CPUtime=1793.36 cores=1,3,5,7
/proc/30260/task/30261/stat : 30261 (java) R 30258 30260 29607 0 -1 4202560 835143 0 1 0 179241 95 0 0 25 0 19 0 833548368 10807947264 923544 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 46912505686359 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30260/tid=30264] ppid=30258 vsize=10554636 CPUtime=0.53 cores=1,3,5,7
/proc/30260/task/30264/stat : 30264 (java) S 30258 30260 29607 0 -1 4202560 8847 0 0 0 52 1 0 0 16 0 19 0 833548370 10807947264 923544 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 3 0 0 0
[pid=30260/tid=30265] ppid=30258 vsize=10554636 CPUtime=0.52 cores=1,3,5,7
/proc/30260/task/30265/stat : 30265 (java) S 30258 30260 29607 0 -1 4202560 7827 0 0 0 51 1 0 0 15 0 19 0 833548370 10807947264 923544 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30266] ppid=30258 vsize=10554636 CPUtime=0.55 cores=1,3,5,7
/proc/30260/task/30266/stat : 30266 (java) S 30258 30260 29607 0 -1 4202560 12626 0 0 0 54 1 0 0 16 0 19 0 833548370 10807947264 923544 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 3 0 0 0
[pid=30260/tid=30267] ppid=30258 vsize=10554636 CPUtime=0.45 cores=1,3,5,7
/proc/30260/task/30267/stat : 30267 (java) S 30258 30260 29607 0 -1 4202560 6372 0 0 0 45 0 0 0 16 0 19 0 833548370 10807947264 923544 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30268] ppid=30258 vsize=10554636 CPUtime=0.63 cores=1,3,5,7
/proc/30260/task/30268/stat : 30268 (java) S 30258 30260 29607 0 -1 4202560 10814 0 0 0 62 1 0 0 16 0 19 0 833548370 10807947264 923544 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30269] ppid=30258 vsize=10554636 CPUtime=0.55 cores=1,3,5,7
/proc/30260/task/30269/stat : 30269 (java) S 30258 30260 29607 0 -1 4202560 10069 0 0 0 54 1 0 0 15 0 19 0 833548370 10807947264 923544 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30271] ppid=30258 vsize=10554636 CPUtime=0.5 cores=1,3,5,7
/proc/30260/task/30271/stat : 30271 (java) S 30258 30260 29607 0 -1 4202560 9604 0 0 0 50 0 0 0 15 0 19 0 833548370 10807947264 923544 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30272] ppid=30258 vsize=10554636 CPUtime=0.56 cores=1,3,5,7
/proc/30260/task/30272/stat : 30272 (java) S 30258 30260 29607 0 -1 4202560 12705 0 0 0 54 2 0 0 16 0 19 0 833548370 10807947264 923544 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30273] ppid=30258 vsize=10554636 CPUtime=0.57 cores=1,3,5,7
/proc/30260/task/30273/stat : 30273 (java) S 30258 30260 29607 0 -1 4202560 1863 0 0 0 57 0 0 0 15 0 19 0 833548371 10807947264 923544 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606683136 0 0 0 16800975 18446604468955055040 0 0 -1 1 0 0 0
[pid=30260/tid=30274] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30274/stat : 30274 (java) S 30258 30260 29607 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833548371 10807947264 923544 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30275] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30275/stat : 30275 (java) S 30258 30260 29607 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 833548371 10807947264 923544 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30276] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30276/stat : 30276 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548373 10807947264 923544 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606690225 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30277] ppid=30258 vsize=10554636 CPUtime=0.92 cores=1,3,5,7
/proc/30260/task/30277/stat : 30277 (java) S 30258 30260 29607 0 -1 4202560 7540 0 0 0 91 1 0 0 16 0 19 0 833548373 10807947264 923544 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 3 0 0 0
[pid=30260/tid=30278] ppid=30258 vsize=10554636 CPUtime=0.78 cores=1,3,5,7
/proc/30260/task/30278/stat : 30278 (java) S 30258 30260 29607 0 -1 4202560 5703 0 0 0 78 0 0 0 15 0 19 0 833548373 10807947264 923544 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 7 0 0 0
[pid=30260/tid=30279] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30279/stat : 30279 (java) S 30258 30260 29607 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833548373 10807947264 923544 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606682521 0 4 0 16800975 18446604468955055040 0 0 -1 5 0 0 0
[pid=30260/tid=30280] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30280/stat : 30280 (java) S 30258 30260 29607 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 833548373 10807947264 923544 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606683136 0 4 0 16800975 18446604468955055040 0 0 -1 1 0 0 0
[pid=30260/tid=30282] ppid=30258 vsize=10554636 CPUtime=0 cores=1,3,5,7
/proc/30260/task/30282/stat : 30282 (java) S 30258 30260 29607 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833548390 10807947264 923544 33554432000 1073741824 1073778376 140734070694912 18446744073709551615 235606683136 0 4 0 16800975 18446604468955055040 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10554636
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.52 s]
/proc/loadavg: 2.00 2.04 2.01 3/483 30390
/proc/meminfo: memFree=24933924/32950928 swapFree=34365992/67111528
[pid=30260] ppid=30258 vsize=0 CPUtime=1800.13 cores=1,3,5,7
/proc/30260/stat : 30260 (java) Z 30258 30260 29607 0 -1 4203548 930404 0 1 0 179897 116 0 0 17 0 2 0 833548368 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/30260/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.58
CPU time (s): 1800.2
CPU user time (s): 1798.98
CPU system time (s): 1.22381
CPU usage (%): 100.257
Max. virtual memory (cumulated for all children) (KiB): 10554636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.98
system time used= 1.22381
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 930404
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= 39576
involuntary context switches= 11836
runsolver used 7.94779 second user time and 18.4372 second system time
The end