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-3456907-1307202007/watcher-3456907-1307202007 -o /tmp/evaluation-result-3456907-1307202007/solver-3456907-1307202007 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456907-1307202007.opb
running on 4 cores: 0,2,4,6
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.02 2.03 1.75 2/532 19492
/proc/meminfo: memFree=18770528/32950940 swapFree=67111364/67111528
[pid=19492] ppid=19490 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/19492/stat : 19492 (java) S 19490 19492 19289 0 -1 4202496 2697 0 1 0 0 0 0 0 25 0 2 0 910431475 10681323520 2400 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/19492/statm: 2607745 2414 906 9 0 2598901 0
[pid=19492/tid=19493] ppid=19490 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19493/stat : 19493 (java) R 19490 19492 19289 0 -1 4202560 7279 0 1 0 0 0 0 0 25 0 2 0 910431475 10694979584 8095 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.0583001 s]
/proc/loadavg: 2.02 2.03 1.75 2/532 19492
/proc/meminfo: memFree=18770528/32950940 swapFree=67111364/67111528
[pid=19492] ppid=19490 vsize=10470700 CPUtime=0.04 cores=0,2,4,6
/proc/19492/stat : 19492 (java) S 19490 19492 19289 0 -1 4202496 11584 0 1 0 4 0 0 0 25 0 16 0 910431475 10721996800 11282 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19492/statm: 2617675 11282 1714 9 0 2608423 0
[pid=19492/tid=19493] ppid=19490 vsize=10470700 CPUtime=0.04 cores=0,2,4,6
/proc/19492/task/19493/stat : 19493 (java) R 19490 19492 19289 0 -1 4202560 10413 0 1 0 4 0 0 0 25 0 16 0 910431475 10721996800 11282 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 215988545847 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10470700
[startup+0.104325 s]
/proc/loadavg: 2.02 2.03 1.75 2/532 19492
/proc/meminfo: memFree=18770528/32950940 swapFree=67111364/67111528
[pid=19492] ppid=19490 vsize=10540096 CPUtime=0.11 cores=0,2,4,6
/proc/19492/stat : 19492 (java) S 19490 19492 19289 0 -1 4202496 13159 0 1 0 10 1 0 0 25 0 18 0 910431475 10793058304 12788 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19492/statm: 2635024 12788 2093 9 0 2625758 0
[pid=19492/tid=19493] ppid=19490 vsize=10540096 CPUtime=0.09 cores=0,2,4,6
/proc/19492/task/19493/stat : 19493 (java) R 19490 19492 19289 0 -1 4202560 11229 0 1 0 8 1 0 0 25 0 18 0 910431475 10793058304 12788 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540096
[startup+0.300241 s]
/proc/loadavg: 2.02 2.03 1.75 2/532 19492
/proc/meminfo: memFree=18770528/32950940 swapFree=67111364/67111528
[pid=19492] ppid=19490 vsize=10544176 CPUtime=0.49 cores=0,2,4,6
/proc/19492/stat : 19492 (java) S 19490 19492 19289 0 -1 4202496 16423 0 1 0 47 2 0 0 25 0 19 0 910431475 10797236224 15372 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19492/statm: 2636044 15373 2206 9 0 2626778 0
[pid=19492/tid=19493] ppid=19490 vsize=10544176 CPUtime=0.29 cores=0,2,4,6
/proc/19492/task/19493/stat : 19493 (java) R 19490 19492 19289 0 -1 4202560 12400 0 1 0 28 1 0 0 25 0 19 0 910431475 10797236224 15373 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 47742018218804 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10544176
[startup+0.701233 s]
/proc/loadavg: 2.02 2.03 1.75 2/532 19492
/proc/meminfo: memFree=18770528/32950940 swapFree=67111364/67111528
[pid=19492] ppid=19490 vsize=10556688 CPUtime=1.62 cores=0,2,4,6
/proc/19492/stat : 19492 (java) S 19490 19492 19289 0 -1 4202496 32285 0 1 0 159 3 0 0 25 0 19 0 910431475 10810048512 28521 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19492/statm: 2639172 28524 2225 9 0 2629906 0
[pid=19492/tid=19493] ppid=19490 vsize=10556688 CPUtime=0.69 cores=0,2,4,6
/proc/19492/task/19493/stat : 19493 (java) R 19490 19492 19289 0 -1 4202560 20991 0 1 0 67 2 0 0 25 0 19 0 910431475 10810048512 28525 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 46912505661558 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10556688
[startup+1.50107 s]
/proc/loadavg: 2.10 2.05 1.75 3/551 19511
/proc/meminfo: memFree=18184556/32950940 swapFree=67111364/67111528
[pid=19492] ppid=19490 vsize=10556688 CPUtime=2.77 cores=0,2,4,6
/proc/19492/stat : 19492 (java) S 19490 19492 19289 0 -1 4202496 84404 0 1 0 267 10 0 0 25 0 19 0 910431475 10810048512 78547 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19492/statm: 2639172 78549 2227 9 0 2629906 0
[pid=19492/tid=19493] ppid=19490 vsize=10556688 CPUtime=1.49 cores=0,2,4,6
/proc/19492/task/19493/stat : 19493 (java) R 19490 19492 19289 0 -1 4202560 70977 0 1 0 140 9 0 0 25 0 19 0 910431475 10810048512 78550 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 46912505617609 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19492/tid=19495] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19495/stat : 19495 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10810048512 78551 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19496] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19496/stat : 19496 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10810048512 78552 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19497] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19497/stat : 19497 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10810048512 78554 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19498] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19498/stat : 19498 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10810048512 78555 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19499] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19499/stat : 19499 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10810048512 78556 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19500] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19500/stat : 19500 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10810048512 78557 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19501] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19501/stat : 19501 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10810048512 78558 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19502] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19502/stat : 19502 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10810048512 78560 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19503] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19503/stat : 19503 (java) S 19490 19492 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 910431478 10810048512 78562 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000409088 0 0 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19504] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19504/stat : 19504 (java) S 19490 19492 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910431478 10810048512 78563 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19505] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19505/stat : 19505 (java) S 19490 19492 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910431478 10810048512 78564 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19506] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19506/stat : 19506 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431481 10810048512 78566 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000416177 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19507] ppid=19490 vsize=10556688 CPUtime=0.59 cores=0,2,4,6
/proc/19492/task/19507/stat : 19507 (java) S 19490 19492 19289 0 -1 4202560 5539 0 0 0 59 0 0 0 15 0 19 0 910431481 10810048512 78567 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 2 0 0 0
[pid=19492/tid=19508] ppid=19490 vsize=10556688 CPUtime=0.69 cores=0,2,4,6
/proc/19492/task/19508/stat : 19508 (java) S 19490 19492 19289 0 -1 4202560 6733 0 0 0 68 1 0 0 15 0 19 0 910431481 10810048512 78568 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 4 0 0 0
[pid=19492/tid=19509] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19509/stat : 19509 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431481 10810048512 78569 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19510] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19510/stat : 19510 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910431481 10810048512 78570 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000409088 0 4 0 16800975 18446604448191050112 0 0 -1 0 0 0 0
[pid=19492/tid=19511] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19511/stat : 19511 (java) S 19490 19492 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910431498 10810048512 78571 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000409088 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 10556688
[startup+3.10081 s]
/proc/loadavg: 2.10 2.05 1.75 3/551 19511
/proc/meminfo: memFree=17581048/32950940 swapFree=67111364/67111528
[pid=19492] ppid=19490 vsize=10556688 CPUtime=4.41 cores=0,2,4,6
/proc/19492/stat : 19492 (java) S 19490 19492 19289 0 -1 4202496 187223 0 1 0 418 23 0 0 25 0 19 0 910431475 10810048512 181366 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19492/statm: 2639172 181368 2228 9 0 2629906 0
[pid=19492/tid=19493] ppid=19490 vsize=10556688 CPUtime=3.08 cores=0,2,4,6
/proc/19492/task/19493/stat : 19493 (java) R 19490 19492 19289 0 -1 4202560 173791 0 1 0 287 21 0 0 25 0 19 0 910431475 10810048512 181369 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 46912505596111 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19492/tid=19495] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19495/stat : 19495 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10810048512 181371 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19496] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19496/stat : 19496 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10810048512 181372 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19497] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19497/stat : 19497 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10810048512 181373 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19498] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19498/stat : 19498 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10810048512 181374 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19499] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19499/stat : 19499 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10810048512 181375 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19500] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19500/stat : 19500 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10810048512 181376 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19501] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19501/stat : 19501 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10810048512 181377 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19502] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19502/stat : 19502 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10810048512 181377 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19503] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19503/stat : 19503 (java) S 19490 19492 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 910431478 10810048512 181378 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000409088 0 0 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19504] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19504/stat : 19504 (java) S 19490 19492 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910431478 10810048512 181382 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19505] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19505/stat : 19505 (java) S 19490 19492 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910431478 10810048512 181382 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19506] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19506/stat : 19506 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431481 10810048512 181383 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000416177 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19507] ppid=19490 vsize=10556688 CPUtime=0.59 cores=0,2,4,6
/proc/19492/task/19507/stat : 19507 (java) S 19490 19492 19289 0 -1 4202560 5539 0 0 0 59 0 0 0 15 0 19 0 910431481 10810048512 181384 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 2 0 0 0
[pid=19492/tid=19508] ppid=19490 vsize=10556688 CPUtime=0.72 cores=0,2,4,6
/proc/19492/task/19508/stat : 19508 (java) R 19490 19492 19289 0 -1 4202560 6738 0 0 0 71 1 0 0 15 0 19 0 910431481 10810048512 181385 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 47742016412097 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19492/tid=19509] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19509/stat : 19509 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431481 10810048512 181386 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19510] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19510/stat : 19510 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 910431481 10810048512 181386 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000409088 0 4 0 16800975 18446604448191050112 0 0 -1 0 0 0 0
[pid=19492/tid=19511] ppid=19490 vsize=10556688 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19511/stat : 19511 (java) S 19490 19492 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910431498 10810048512 181387 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000409088 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 10556688
[startup+6.30127 s]
/proc/loadavg: 2.09 2.04 1.76 3/551 19511
/proc/meminfo: memFree=15782784/32950940 swapFree=67111364/67111528
[pid=19492] ppid=19490 vsize=10554264 CPUtime=7.75 cores=0,2,4,6
/proc/19492/stat : 19492 (java) S 19490 19492 19289 0 -1 4202496 398868 0 1 0 729 46 0 0 25 0 19 0 910431475 10807566336 391129 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19492/statm: 2638566 391131 2229 9 0 2629300 0
[pid=19492/tid=19493] ppid=19490 vsize=10554264 CPUtime=6.29 cores=0,2,4,6
/proc/19492/task/19493/stat : 19493 (java) R 19490 19492 19289 0 -1 4202560 383896 0 1 0 585 44 0 0 21 0 19 0 910431475 10807566336 391132 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 46912505585791 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19492/tid=19495] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19495/stat : 19495 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10807566336 391133 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19496] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19496/stat : 19496 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10807566336 391135 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19497] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19497/stat : 19497 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10807566336 391137 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19498] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19498/stat : 19498 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10807566336 391138 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19499] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19499/stat : 19499 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10807566336 391139 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19500] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19500/stat : 19500 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10807566336 391141 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19501] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19501/stat : 19501 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10807566336 391142 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19502] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19502/stat : 19502 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431477 10807566336 391143 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19503] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19503/stat : 19503 (java) S 19490 19492 19289 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 910431478 10807566336 391144 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000409088 0 0 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19504] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19504/stat : 19504 (java) S 19490 19492 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910431478 10807566336 391146 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19505] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19505/stat : 19505 (java) S 19490 19492 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910431478 10807566336 391147 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19506] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19506/stat : 19506 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431481 10807566336 391149 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000416177 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19507] ppid=19490 vsize=10554264 CPUtime=0.59 cores=0,2,4,6
/proc/19492/task/19507/stat : 19507 (java) S 19490 19492 19289 0 -1 4202560 5539 0 0 0 59 0 0 0 15 0 19 0 910431481 10807566336 391150 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 2 0 0 0
[pid=19492/tid=19508] ppid=19490 vsize=10554264 CPUtime=0.86 cores=0,2,4,6
/proc/19492/task/19508/stat : 19508 (java) S 19490 19492 19289 0 -1 4202560 8276 0 0 0 85 1 0 0 15 0 19 0 910431481 10807566336 391151 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/19492/task/19505/stat : 19505 (java) S 19490 19492 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 910431478 10807566336 927778 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19506] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19506/stat : 19506 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431481 10807566336 927778 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000416177 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19507] ppid=19490 vsize=10554264 CPUtime=0.71 cores=0,2,4,6
/proc/19492/task/19507/stat : 19507 (java) S 19490 19492 19289 0 -1 4202560 5566 0 0 0 71 0 0 0 15 0 19 0 910431481 10807566336 927778 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 2 0 0 0
[pid=19492/tid=19508] ppid=19490 vsize=10554264 CPUtime=0.95 cores=0,2,4,6
/proc/19492/task/19508/stat : 19508 (java) S 19490 19492 19289 0 -1 4202560 8291 0 0 0 94 1 0 0 16 0 19 0 910431481 10807566336 927778 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 4 0 0 0
[pid=19492/tid=19509] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19509/stat : 19509 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431481 10807566336 927778 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19510] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19510/stat : 19510 (java) S 19490 19492 19289 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 910431481 10807566336 927778 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000409088 0 4 0 16800975 18446604448191050112 0 0 -1 2 0 0 0
[pid=19492/tid=19511] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19511/stat : 19511 (java) S 19490 19492 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910431498 10807566336 927778 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000409088 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1666.63
Current children cumulated vsize (KiB) 10554264
[startup+1722.3 s]
/proc/loadavg: 2.16 2.05 1.96 3/551 19612
/proc/meminfo: memFree=11703784/32950940 swapFree=67111364/67111528
[pid=19492] ppid=19490 vsize=10554264 CPUtime=1726.7 cores=0,2,4,6
/proc/19492/stat : 19492 (java) S 19490 19492 19289 0 -1 4202496 937958 0 1 0 172560 110 0 0 25 0 19 0 910431475 10807566336 928666 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19492/statm: 2638566 928666 2258 9 0 2629300 0
[pid=19492/tid=19493] ppid=19490 vsize=10554264 CPUtime=1720.3 cores=0,2,4,6
/proc/19492/task/19493/stat : 19493 (java) R 19490 19492 19289 0 -1 4202560 816410 0 1 0 171937 93 0 0 25 0 19 0 910431475 10807566336 928666 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 46912505659701 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19492/tid=19495] ppid=19490 vsize=10554264 CPUtime=0.67 cores=0,2,4,6
/proc/19492/task/19495/stat : 19495 (java) S 19490 19492 19289 0 -1 4202560 21628 0 0 0 65 2 0 0 15 0 19 0 910431477 10807566336 928666 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19496] ppid=19490 vsize=10554264 CPUtime=0.41 cores=0,2,4,6
/proc/19492/task/19496/stat : 19496 (java) S 19490 19492 19289 0 -1 4202560 5856 0 0 0 41 0 0 0 15 0 19 0 910431477 10807566336 928666 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 4 0 0 0
[pid=19492/tid=19497] ppid=19490 vsize=10554264 CPUtime=0.51 cores=0,2,4,6
/proc/19492/task/19497/stat : 19497 (java) S 19490 19492 19289 0 -1 4202560 14911 0 0 0 50 1 0 0 16 0 19 0 910431477 10807566336 928666 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 2 0 0 0
[pid=19492/tid=19498] ppid=19490 vsize=10554264 CPUtime=0.43 cores=0,2,4,6
/proc/19492/task/19498/stat : 19498 (java) S 19490 19492 19289 0 -1 4202560 12916 0 0 0 42 1 0 0 16 0 19 0 910431477 10807566336 928666 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19499] ppid=19490 vsize=10554264 CPUtime=0.48 cores=0,2,4,6
/proc/19492/task/19499/stat : 19499 (java) S 19490 19492 19289 0 -1 4202560 7564 0 0 0 47 1 0 0 15 0 19 0 910431477 10807566336 928666 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 0 0 0 0
[pid=19492/tid=19500] ppid=19490 vsize=10554264 CPUtime=0.48 cores=0,2,4,6
/proc/19492/task/19500/stat : 19500 (java) S 19490 19492 19289 0 -1 4202560 11496 0 0 0 47 1 0 0 16 0 19 0 910431477 10807566336 928666 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 4 0 0 0
[pid=19492/tid=19501] ppid=19490 vsize=10554264 CPUtime=0.47 cores=0,2,4,6
/proc/19492/task/19501/stat : 19501 (java) S 19490 19492 19289 0 -1 4202560 12982 0 0 0 45 2 0 0 15 0 19 0 910431477 10807566336 928666 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 4 0 0 0
[pid=19492/tid=19502] ppid=19490 vsize=10554264 CPUtime=0.62 cores=0,2,4,6
/proc/19492/task/19502/stat : 19502 (java) S 19490 19492 19289 0 -1 4202560 18415 0 0 0 60 2 0 0 15 0 19 0 910431477 10807566336 928666 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 2 0 0 0
[pid=19492/tid=19503] ppid=19490 vsize=10554264 CPUtime=0.56 cores=0,2,4,6
/proc/19492/task/19503/stat : 19503 (java) S 19490 19492 19289 0 -1 4202560 673 0 0 0 56 0 0 0 15 0 19 0 910431478 10807566336 928666 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000409088 0 0 0 16800975 18446604448191050112 0 0 -1 0 0 0 0
[pid=19492/tid=19504] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19504/stat : 19504 (java) S 19490 19492 19289 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 910431478 10807566336 928666 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19505] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19505/stat : 19505 (java) S 19490 19492 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 910431478 10807566336 928666 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19506] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19506/stat : 19506 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431481 10807566336 928666 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000416177 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19507] ppid=19490 vsize=10554264 CPUtime=0.71 cores=0,2,4,6
/proc/19492/task/19507/stat : 19507 (java) S 19490 19492 19289 0 -1 4202560 5566 0 0 0 71 0 0 0 15 0 19 0 910431481 10807566336 928666 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 2 0 0 0
[pid=19492/tid=19508] ppid=19490 vsize=10554264 CPUtime=0.95 cores=0,2,4,6
/proc/19492/task/19508/stat : 19508 (java) S 19490 19492 19289 0 -1 4202560 8291 0 0 0 94 1 0 0 16 0 19 0 910431481 10807566336 928666 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 4 0 0 0
[pid=19492/tid=19509] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19509/stat : 19509 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431481 10807566336 928666 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19510] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19510/stat : 19510 (java) S 19490 19492 19289 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 910431481 10807566336 928666 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000409088 0 4 0 16800975 18446604448191050112 0 0 -1 2 0 0 0
[pid=19492/tid=19511] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19511/stat : 19511 (java) S 19490 19492 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910431498 10807566336 928666 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000409088 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1726.7
Current children cumulated vsize (KiB) 10554264
[startup+1782.3 s]
/proc/loadavg: 2.13 2.06 1.96 3/551 19613
/proc/meminfo: memFree=11677328/32950940 swapFree=67111364/67111528
[pid=19492] ppid=19490 vsize=10554264 CPUtime=1786.79 cores=0,2,4,6
/proc/19492/stat : 19492 (java) S 19490 19492 19289 0 -1 4202496 938606 0 1 0 178568 111 0 0 25 0 19 0 910431475 10807566336 929299 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19492/statm: 2638566 929299 2258 9 0 2629300 0
[pid=19492/tid=19493] ppid=19490 vsize=10554264 CPUtime=1780.26 cores=0,2,4,6
/proc/19492/task/19493/stat : 19493 (java) R 19490 19492 19289 0 -1 4202560 816412 0 1 0 177933 93 0 0 25 0 19 0 910431475 10807566336 929299 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 46912505868712 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19492/tid=19495] ppid=19490 vsize=10554264 CPUtime=0.7 cores=0,2,4,6
/proc/19492/task/19495/stat : 19495 (java) S 19490 19492 19289 0 -1 4202560 21865 0 0 0 68 2 0 0 16 0 19 0 910431477 10807566336 929299 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19496] ppid=19490 vsize=10554264 CPUtime=0.42 cores=0,2,4,6
/proc/19492/task/19496/stat : 19496 (java) S 19490 19492 19289 0 -1 4202560 5867 0 0 0 42 0 0 0 15 0 19 0 910431477 10807566336 929299 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 4 0 0 0
[pid=19492/tid=19497] ppid=19490 vsize=10554264 CPUtime=0.52 cores=0,2,4,6
/proc/19492/task/19497/stat : 19497 (java) S 19490 19492 19289 0 -1 4202560 14968 0 0 0 51 1 0 0 15 0 19 0 910431477 10807566336 929299 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 2 0 0 0
[pid=19492/tid=19498] ppid=19490 vsize=10554264 CPUtime=0.43 cores=0,2,4,6
/proc/19492/task/19498/stat : 19498 (java) S 19490 19492 19289 0 -1 4202560 12916 0 0 0 42 1 0 0 15 0 19 0 910431477 10807566336 929299 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19499] ppid=19490 vsize=10554264 CPUtime=0.51 cores=0,2,4,6
/proc/19492/task/19499/stat : 19499 (java) S 19490 19492 19289 0 -1 4202560 7760 0 0 0 50 1 0 0 16 0 19 0 910431477 10807566336 929299 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 0 0 0 0
[pid=19492/tid=19500] ppid=19490 vsize=10554264 CPUtime=0.48 cores=0,2,4,6
/proc/19492/task/19500/stat : 19500 (java) S 19490 19492 19289 0 -1 4202560 11496 0 0 0 47 1 0 0 15 0 19 0 910431477 10807566336 929299 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 4 0 0 0
[pid=19492/tid=19501] ppid=19490 vsize=10554264 CPUtime=0.48 cores=0,2,4,6
/proc/19492/task/19501/stat : 19501 (java) S 19490 19492 19289 0 -1 4202560 13024 0 0 0 46 2 0 0 15 0 19 0 910431477 10807566336 929299 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 4 0 0 0
[pid=19492/tid=19502] ppid=19490 vsize=10554264 CPUtime=0.64 cores=0,2,4,6
/proc/19492/task/19502/stat : 19502 (java) S 19490 19492 19289 0 -1 4202560 18512 0 0 0 62 2 0 0 16 0 19 0 910431477 10807566336 929299 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 2 0 0 0
[pid=19492/tid=19503] ppid=19490 vsize=10554264 CPUtime=0.56 cores=0,2,4,6
/proc/19492/task/19503/stat : 19503 (java) S 19490 19492 19289 0 -1 4202560 677 0 0 0 56 0 0 0 15 0 19 0 910431478 10807566336 929299 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000409088 0 0 0 16800975 18446604448191050112 0 0 -1 0 0 0 0
[pid=19492/tid=19504] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19504/stat : 19504 (java) S 19490 19492 19289 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 910431478 10807566336 929299 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19505] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19505/stat : 19505 (java) S 19490 19492 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 910431478 10807566336 929299 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19506] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19506/stat : 19506 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431481 10807566336 929299 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000416177 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19507] ppid=19490 vsize=10554264 CPUtime=0.71 cores=0,2,4,6
/proc/19492/task/19507/stat : 19507 (java) S 19490 19492 19289 0 -1 4202560 5566 0 0 0 71 0 0 0 15 0 19 0 910431481 10807566336 929299 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 2 0 0 0
[pid=19492/tid=19508] ppid=19490 vsize=10554264 CPUtime=0.95 cores=0,2,4,6
/proc/19492/task/19508/stat : 19508 (java) S 19490 19492 19289 0 -1 4202560 8291 0 0 0 94 1 0 0 16 0 19 0 910431481 10807566336 929299 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 4 0 0 0
[pid=19492/tid=19509] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19509/stat : 19509 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431481 10807566336 929299 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19510] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19510/stat : 19510 (java) S 19490 19492 19289 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 910431481 10807566336 929299 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000409088 0 4 0 16800975 18446604448191050112 0 0 -1 2 0 0 0
[pid=19492/tid=19511] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19511/stat : 19511 (java) S 19490 19492 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910431498 10807566336 929299 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000409088 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1786.79
Current children cumulated vsize (KiB) 10554264
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.5 s]
/proc/loadavg: 2.10 2.05 1.96 3/551 19614
/proc/meminfo: memFree=11676704/32950940 swapFree=67111364/67111528
[pid=19492] ppid=19490 vsize=10554264 CPUtime=1800.03 cores=0,2,4,6
/proc/19492/stat : 19492 (java) S 19490 19492 19289 0 -1 4202496 938879 0 1 0 179892 111 0 0 25 0 19 0 910431475 10807566336 929566 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19492/statm: 2638566 929566 2258 9 0 2629300 0
[pid=19492/tid=19493] ppid=19490 vsize=10554264 CPUtime=1793.46 cores=0,2,4,6
/proc/19492/task/19493/stat : 19493 (java) R 19490 19492 19289 0 -1 4202560 816413 0 1 0 179253 93 0 0 25 0 19 0 910431475 10807566336 929566 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 46912505659541 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19492/tid=19495] ppid=19490 vsize=10554264 CPUtime=0.7 cores=0,2,4,6
/proc/19492/task/19495/stat : 19495 (java) S 19490 19492 19289 0 -1 4202560 21865 0 0 0 68 2 0 0 15 0 19 0 910431477 10807566336 929566 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19496] ppid=19490 vsize=10554264 CPUtime=0.42 cores=0,2,4,6
/proc/19492/task/19496/stat : 19496 (java) S 19490 19492 19289 0 -1 4202560 5867 0 0 0 42 0 0 0 15 0 19 0 910431477 10807566336 929566 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 4 0 0 0
[pid=19492/tid=19497] ppid=19490 vsize=10554264 CPUtime=0.52 cores=0,2,4,6
/proc/19492/task/19497/stat : 19497 (java) S 19490 19492 19289 0 -1 4202560 14968 0 0 0 51 1 0 0 16 0 19 0 910431477 10807566336 929566 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 2 0 0 0
[pid=19492/tid=19498] ppid=19490 vsize=10554264 CPUtime=0.43 cores=0,2,4,6
/proc/19492/task/19498/stat : 19498 (java) S 19490 19492 19289 0 -1 4202560 12916 0 0 0 42 1 0 0 16 0 19 0 910431477 10807566336 929566 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19499] ppid=19490 vsize=10554264 CPUtime=0.53 cores=0,2,4,6
/proc/19492/task/19499/stat : 19499 (java) S 19490 19492 19289 0 -1 4202560 7852 0 0 0 52 1 0 0 16 0 19 0 910431477 10807566336 929566 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 0 0 0 0
[pid=19492/tid=19500] ppid=19490 vsize=10554264 CPUtime=0.49 cores=0,2,4,6
/proc/19492/task/19500/stat : 19500 (java) S 19490 19492 19289 0 -1 4202560 11594 0 0 0 48 1 0 0 16 0 19 0 910431477 10807566336 929566 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19501] ppid=19490 vsize=10554264 CPUtime=0.5 cores=0,2,4,6
/proc/19492/task/19501/stat : 19501 (java) S 19490 19492 19289 0 -1 4202560 13102 0 0 0 48 2 0 0 16 0 19 0 910431477 10807566336 929566 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 4 0 0 0
[pid=19492/tid=19502] ppid=19490 vsize=10554264 CPUtime=0.64 cores=0,2,4,6
/proc/19492/task/19502/stat : 19502 (java) S 19490 19492 19289 0 -1 4202560 18512 0 0 0 62 2 0 0 16 0 19 0 910431477 10807566336 929566 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 2 0 0 0
[pid=19492/tid=19503] ppid=19490 vsize=10554264 CPUtime=0.56 cores=0,2,4,6
/proc/19492/task/19503/stat : 19503 (java) S 19490 19492 19289 0 -1 4202560 679 0 0 0 56 0 0 0 15 0 19 0 910431478 10807566336 929566 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000409088 0 0 0 16800975 18446604448191050112 0 0 -1 0 0 0 0
[pid=19492/tid=19504] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19504/stat : 19504 (java) S 19490 19492 19289 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 910431478 10807566336 929566 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19505] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19505/stat : 19505 (java) S 19490 19492 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 910431478 10807566336 929566 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19506] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19506/stat : 19506 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431481 10807566336 929566 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000416177 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19507] ppid=19490 vsize=10554264 CPUtime=0.71 cores=0,2,4,6
/proc/19492/task/19507/stat : 19507 (java) S 19490 19492 19289 0 -1 4202560 5566 0 0 0 71 0 0 0 15 0 19 0 910431481 10807566336 929566 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 2 0 0 0
[pid=19492/tid=19508] ppid=19490 vsize=10554264 CPUtime=0.95 cores=0,2,4,6
/proc/19492/task/19508/stat : 19508 (java) S 19490 19492 19289 0 -1 4202560 8291 0 0 0 94 1 0 0 16 0 19 0 910431481 10807566336 929566 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 4 0 0 0
[pid=19492/tid=19509] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19509/stat : 19509 (java) S 19490 19492 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910431481 10807566336 929566 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000408473 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
[pid=19492/tid=19510] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19510/stat : 19510 (java) S 19490 19492 19289 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 910431481 10807566336 929566 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000409088 0 4 0 16800975 18446604448191050112 0 0 -1 2 0 0 0
[pid=19492/tid=19511] ppid=19490 vsize=10554264 CPUtime=0 cores=0,2,4,6
/proc/19492/task/19511/stat : 19511 (java) S 19490 19492 19289 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 910431498 10807566336 929566 33554432000 1073741824 1073778376 140735609321456 18446744073709551615 216000409088 0 4 0 16800975 18446604448191050112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10554264
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.63 s]
/proc/loadavg: 2.10 2.05 1.96 3/551 19614
/proc/meminfo: memFree=11676704/32950940 swapFree=67111364/67111528
[pid=19492] ppid=19490 vsize=0 CPUtime=1800.16 cores=0,2,4,6
/proc/19492/stat : 19492 (java) Z 19490 19492 19289 0 -1 4203548 938912 0 1 0 179896 120 0 0 17 0 2 0 910431475 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19492/statm: 0 0 0 0 0 0 0
[pid=19492/tid=19493] ppid=19490 vsize=0 CPUtime=1793.57 cores=0,2,4,6
/proc/19492/task/19493/stat : 19493 (java) R 19490 19492 19289 0 -1 4203588 816413 0 1 0 179255 102 0 0 25 0 2 0 910431475 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.68
CPU time (s): 1800.23
CPU user time (s): 1798.97
CPU system time (s): 1.25681
CPU usage (%): 100.253
Max. virtual memory (cumulated for all children) (KiB): 10556688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.25681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 938912
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= 38883
involuntary context switches= 9920
runsolver used 9.75952 second user time and 21.2408 second system time
The end