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-3454297-1307193133/watcher-3454297-1307193133 -o /tmp/evaluation-result-3454297-1307193133/solver-3454297-1307193133 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454297-1307193133.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: 1.73 2.48 3.18 3/556 20727
/proc/meminfo: memFree=23354320/32951124 swapFree=46970528/67111528
[pid=20727] ppid=20725 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/20727/stat : 20727 (java) S 20725 20727 16282 0 -1 4202496 5798 0 1 0 0 0 0 0 18 0 2 0 811729645 10694979584 5500 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/20727/statm: 2611079 5514 917 9 0 2602235 0
[pid=20727/tid=20728] ppid=20725 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20728/stat : 20728 (java) R 20725 20727 16282 0 -1 4202560 8522 0 1 0 0 0 0 0 19 0 2 0 811729645 10694979584 9338 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0657389 s]
/proc/loadavg: 1.73 2.48 3.18 3/556 20727
/proc/meminfo: memFree=23354320/32951124 swapFree=46970528/67111528
[pid=20727] ppid=20725 vsize=10473088 CPUtime=0.05 cores=0,2,4,6
/proc/20727/stat : 20727 (java) S 20725 20727 16282 0 -1 4202496 11804 0 1 0 4 1 0 0 18 0 18 0 811729645 10724442112 11500 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20727/statm: 2618272 11502 1742 9 0 2609006 0
[pid=20727/tid=20728] ppid=20725 vsize=10473088 CPUtime=0.05 cores=0,2,4,6
/proc/20727/task/20728/stat : 20728 (java) R 20725 20727 16282 0 -1 4202560 10631 0 1 0 4 1 0 0 25 0 18 0 811729645 10724442112 11502 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051482059 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10473088
[startup+0.100733 s]
/proc/loadavg: 1.73 2.48 3.18 3/556 20727
/proc/meminfo: memFree=23354320/32951124 swapFree=46970528/67111528
[pid=20727] ppid=20725 vsize=10540228 CPUtime=0.1 cores=0,2,4,6
/proc/20727/stat : 20727 (java) S 20725 20727 16282 0 -1 4202496 13119 0 1 0 9 1 0 0 18 0 18 0 811729645 10793193472 12815 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20727/statm: 2635057 12815 2092 9 0 2625791 0
[pid=20727/tid=20728] ppid=20725 vsize=10540228 CPUtime=0.08 cores=0,2,4,6
/proc/20727/task/20728/stat : 20728 (java) R 20725 20727 16282 0 -1 4202560 11212 0 1 0 7 1 0 0 18 0 18 0 811729645 10793193472 12815 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 46912496202745 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540228
[startup+0.310751 s]
/proc/loadavg: 1.73 2.48 3.18 3/556 20727
/proc/meminfo: memFree=23354320/32951124 swapFree=46970528/67111528
[pid=20727] ppid=20725 vsize=10543328 CPUtime=0.54 cores=0,2,4,6
/proc/20727/stat : 20727 (java) S 20725 20727 16282 0 -1 4202496 18276 0 1 0 52 2 0 0 18 0 18 0 811729645 10796367872 17473 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20727/statm: 2635832 17474 2202 9 0 2626566 0
[pid=20727/tid=20728] ppid=20725 vsize=10543328 CPUtime=0.3 cores=0,2,4,6
/proc/20727/task/20728/stat : 20728 (java) R 20725 20727 16282 0 -1 4202560 14703 0 1 0 28 2 0 0 18 0 18 0 811729645 10796367872 17474 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10543328
[startup+0.700657 s]
/proc/loadavg: 1.73 2.48 3.18 3/556 20727
/proc/meminfo: memFree=23354320/32951124 swapFree=46970528/67111528
[pid=20727] ppid=20725 vsize=10548076 CPUtime=1.23 cores=0,2,4,6
/proc/20727/stat : 20727 (java) S 20725 20727 16282 0 -1 4202496 58563 0 1 0 115 8 0 0 18 0 18 0 811729645 10801229824 56487 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20727/statm: 2637019 56492 2214 9 0 2627753 0
[pid=20727/tid=20728] ppid=20725 vsize=10548076 CPUtime=0.69 cores=0,2,4,6
/proc/20727/task/20728/stat : 20728 (java) R 20725 20727 16282 0 -1 4202560 51846 0 1 0 62 7 0 0 18 0 18 0 811729645 10801229824 56495 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 46912505595559 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 10548076
[startup+1.50151 s]
/proc/loadavg: 1.73 2.48 3.18 4/574 20745
/proc/meminfo: memFree=22363432/32951124 swapFree=46970528/67111528
[pid=20727] ppid=20725 vsize=10548076 CPUtime=2.02 cores=0,2,4,6
/proc/20727/stat : 20727 (java) S 20725 20727 16282 0 -1 4202496 156076 0 1 0 183 19 0 0 18 0 18 0 811729645 10801229824 154001 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20727/statm: 2637019 154006 2214 9 0 2627753 0
[pid=20727/tid=20728] ppid=20725 vsize=10548076 CPUtime=1.48 cores=0,2,4,6
/proc/20727/task/20728/stat : 20728 (java) R 20725 20727 16282 0 -1 4202560 149359 0 1 0 130 18 0 0 19 0 18 0 811729645 10801229824 154008 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 46912505539157 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20727/tid=20730] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20730/stat : 20730 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 811729647 10801229824 154011 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20731] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20731/stat : 20731 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811729647 10801229824 154014 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20732] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20732/stat : 20732 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811729647 10801229824 154017 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20733] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20733/stat : 20733 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811729647 10801229824 154020 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20734] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20734/stat : 20734 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811729647 10801229824 154023 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20735] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20735/stat : 20735 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811729647 10801229824 154026 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20736] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20736/stat : 20736 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811729647 10801229824 154029 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20737] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20737/stat : 20737 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 811729647 10801229824 154032 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 6 0 0 0
[pid=20727/tid=20738] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20738/stat : 20738 (java) S 20725 20727 16282 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 811729648 10801229824 154035 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471872 0 0 0 16800975 18446604453548780480 0 0 -1 6 0 0 0
[pid=20727/tid=20739] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20739/stat : 20739 (java) S 20725 20727 16282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 811729648 10801229824 154038 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20740] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20740/stat : 20740 (java) S 20725 20727 16282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 811729648 10801229824 154041 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20741] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20741/stat : 20741 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811729650 10801229824 154045 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051478961 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20742] ppid=20725 vsize=10548076 CPUtime=0.25 cores=0,2,4,6
/proc/20727/task/20742/stat : 20742 (java) S 20725 20727 16282 0 -1 4202560 2545 0 0 0 25 0 0 0 25 0 18 0 811729650 10801229824 154048 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 0 0 0 0
[pid=20727/tid=20743] ppid=20725 vsize=10548076 CPUtime=0.27 cores=0,2,4,6
/proc/20727/task/20743/stat : 20743 (java) S 20725 20727 16282 0 -1 4202560 3029 0 0 0 27 0 0 0 16 0 18 0 811729650 10801229824 154051 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 2 0 0 0
[pid=20727/tid=20744] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20744/stat : 20744 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811729650 10801229824 154054 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20745] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20745/stat : 20745 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 811729650 10801229824 154057 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471872 0 4 0 16800975 18446604453548780480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 10548076
[startup+3.10122 s]
/proc/loadavg: 1.91 2.51 3.18 4/574 20745
/proc/meminfo: memFree=21548256/32951124 swapFree=46970528/67111528
[pid=20727] ppid=20725 vsize=10548076 CPUtime=3.63 cores=0,2,4,6
/proc/20727/stat : 20727 (java) S 20725 20727 16282 0 -1 4202496 250109 0 1 0 331 32 0 0 18 0 18 0 811729645 10801229824 248033 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20727/statm: 2637019 248034 2216 9 0 2627753 0
[pid=20727/tid=20728] ppid=20725 vsize=10548076 CPUtime=3.09 cores=0,2,4,6
/proc/20727/task/20728/stat : 20728 (java) R 20725 20727 16282 0 -1 4202560 243383 0 1 0 278 31 0 0 23 0 18 0 811729645 10801229824 248034 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 46912505366294 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20727/tid=20730] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20730/stat : 20730 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 811729647 10801229824 248035 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20731] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20731/stat : 20731 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811729647 10801229824 248036 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20732] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20732/stat : 20732 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811729647 10801229824 248036 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20733] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20733/stat : 20733 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811729647 10801229824 248037 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20734] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20734/stat : 20734 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811729647 10801229824 248037 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20735] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20735/stat : 20735 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811729647 10801229824 248038 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20736] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20736/stat : 20736 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811729647 10801229824 248039 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20737] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20737/stat : 20737 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 811729647 10801229824 248039 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 6 0 0 0
[pid=20727/tid=20738] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20738/stat : 20738 (java) S 20725 20727 16282 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 811729648 10801229824 248040 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471872 0 0 0 16800975 18446604453548780480 0 0 -1 6 0 0 0
[pid=20727/tid=20739] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20739/stat : 20739 (java) S 20725 20727 16282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 811729648 10801229824 248040 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20740] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20740/stat : 20740 (java) S 20725 20727 16282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 811729648 10801229824 248041 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20741] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20741/stat : 20741 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811729650 10801229824 248042 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051478961 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20742] ppid=20725 vsize=10548076 CPUtime=0.25 cores=0,2,4,6
/proc/20727/task/20742/stat : 20742 (java) S 20725 20727 16282 0 -1 4202560 2545 0 0 0 25 0 0 0 25 0 18 0 811729650 10801229824 248042 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 0 0 0 0
[pid=20727/tid=20743] ppid=20725 vsize=10548076 CPUtime=0.27 cores=0,2,4,6
/proc/20727/task/20743/stat : 20743 (java) S 20725 20727 16282 0 -1 4202560 3031 0 0 0 27 0 0 0 15 0 18 0 811729650 10801229824 248042 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 2 0 0 0
[pid=20727/tid=20744] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20744/stat : 20744 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811729650 10801229824 248043 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20745] ppid=20725 vsize=10548076 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20745/stat : 20745 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 811729650 10801229824 248044 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471872 0 4 0 16800975 18446604453548780480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 10548076
[startup+6.30159 s]
/proc/loadavg: 1.91 2.51 3.18 5/578 20749
/proc/meminfo: memFree=21249384/32951124 swapFree=46970528/67111528
[pid=20727] ppid=20725 vsize=10552188 CPUtime=9.81 cores=0,2,4,6
/proc/20727/stat : 20727 (java) S 20725 20727 16282 0 -1 4202496 303059 0 1 0 944 37 0 0 18 0 22 0 811729645 10805440512 297888 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20727/statm: 2638047 297888 2237 9 0 2628781 0
[pid=20727/tid=20728] ppid=20725 vsize=10552188 CPUtime=4.07 cores=0,2,4,6
/proc/20727/task/20728/stat : 20728 (java) S 20725 20727 16282 0 -1 4202560 276864 0 1 0 372 35 0 0 15 0 22 0 811729645 10805440512 297888 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471872 0 4 0 16800975 18446604453548780480 0 0 -1 6 0 0 0
[pid=20727/tid=20730] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20730/stat : 20730 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811729647 10805440512 297888 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20731] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20731/stat : 20731 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811729647 10805440512 297888 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20732] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20732/stat : 20732 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811729647 10805440512 297888 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20733] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20733/stat : 20733 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811729647 10805440512 297888 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20734] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20734/stat : 20734 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811729647 10805440512 297888 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20735] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20735/stat : 20735 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811729647 10805440512 297888 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20736] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20736/stat : 20736 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 811729647 10805440512 297888 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20737] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20737/stat : 20737 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 811729647 10805440512 297888 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 6 0 0 0
[pid=20727/tid=20738] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20738/stat : 20738 (java) S 20725 20727 16282 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 811729648 10805440512 297888 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471872 0 0 0 16800975 18446604453548780480 0 0 -1 6 0 0 0
[pid=20727/tid=20739] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20739/stat : 20739 (java) S 20725 20727 16282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811729648 10805440512 297888 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20740] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20740/stat : 20740 (java) S 20725 20727 16282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811729648 10805440512 297888 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20741] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20741/stat : 20741 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811729650 10805440512 297888 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051478961 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20742] ppid=20725 vsize=10552188 CPUtime=0.8 cores=0,2,4,6
/proc/20727/task/20742/stat : 20742 (java) S 20725 20727 16282 0 -1 4202560 5718 0 0 0 80 0 0 0 15 0 22 0 811729650 10805440512 297888 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 0 0 0 0
[pid=20727/tid=20743] ppid=20725 vsize=10552188 CPUtime=0.49 cores=0,2,4,6
/proc/20727/task/20743/stat : 20743 (java) S 20725 20727 16282 0 -1 4202560 3086 0 0 0 49 0 0 0 15 0 22 0 811729650 10805440512 297888 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 2 0 0 0
[pid=20727/tid=20744] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20744/stat : 20744 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811729650 10805440512 297888 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20745] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20745/stat : 20745 (java) S 20725 20727 16282 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 811729650 10805440512 297888 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471872 0 4 0 16800975 18446604453548780480 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=17467344/32951124 swapFree=46970528/67111528
[pid=20727] ppid=20725 vsize=10552188 CPUtime=1644.09 cores=0,2,4,6
/proc/20727/stat : 20727 (java) S 20725 20727 16282 0 -1 4202496 921184 0 1 0 164288 121 0 0 18 0 22 0 811729645 10805440512 915077 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20727/statm: 2638047 915077 2253 9 0 2628781 0
[pid=20727/tid=20728] ppid=20725 vsize=10552188 CPUtime=4.07 cores=0,2,4,6
/proc/20727/task/20728/stat : 20728 (java) S 20725 20727 16282 0 -1 4202560 276869 0 1 0 372 35 0 0 15 0 22 0 811729645 10805440512 915077 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471872 0 4 0 16800975 18446604453548780480 0 0 -1 0 0 0 0
[pid=20727/tid=20730] ppid=20725 vsize=10552188 CPUtime=0.51 cores=0,2,4,6
/proc/20727/task/20730/stat : 20730 (java) S 20725 20727 16282 0 -1 4202560 15877 0 0 0 49 2 0 0 15 0 22 0 811729647 10805440512 915077 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20731] ppid=20725 vsize=10552188 CPUtime=0.6 cores=0,2,4,6
/proc/20727/task/20731/stat : 20731 (java) S 20725 20727 16282 0 -1 4202560 19129 0 0 0 57 3 0 0 15 0 22 0 811729647 10805440512 915077 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 2 0 0 0
[pid=20727/tid=20732] ppid=20725 vsize=10552188 CPUtime=0.68 cores=0,2,4,6
/proc/20727/task/20732/stat : 20732 (java) S 20725 20727 16282 0 -1 4202560 32243 0 0 0 64 4 0 0 16 0 22 0 811729647 10805440512 915077 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 0 0 0 0
[pid=20727/tid=20733] ppid=20725 vsize=10552188 CPUtime=0.34 cores=0,2,4,6
/proc/20727/task/20733/stat : 20733 (java) S 20725 20727 16282 0 -1 4202560 7080 0 0 0 34 0 0 0 15 0 22 0 811729647 10805440512 915077 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 2 0 0 0
[pid=20727/tid=20734] ppid=20725 vsize=10552188 CPUtime=0.67 cores=0,2,4,6
/proc/20727/task/20734/stat : 20734 (java) S 20725 20727 16282 0 -1 4202560 22912 0 0 0 65 2 0 0 16 0 22 0 811729647 10805440512 915077 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 2 0 0 0
[pid=20727/tid=20735] ppid=20725 vsize=10552188 CPUtime=0.47 cores=0,2,4,6
/proc/20727/task/20735/stat : 20735 (java) S 20725 20727 16282 0 -1 4202560 17964 0 0 0 45 2 0 0 16 0 22 0 811729647 10805440512 915077 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20736] ppid=20725 vsize=10552188 CPUtime=0.46 cores=0,2,4,6
/proc/20727/task/20736/stat : 20736 (java) S 20725 20727 16282 0 -1 4202560 20982 0 0 0 43 3 0 0 16 0 22 0 811729647 10805440512 915077 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20737] ppid=20725 vsize=10552188 CPUtime=0.42 cores=0,2,4,6
/proc/20727/task/20737/stat : 20737 (java) S 20725 20727 16282 0 -1 4202560 11052 0 0 0 40 2 0 0 15 0 22 0 811729647 10805440512 915077 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 2 0 0 0
[pid=20727/tid=20738] ppid=20725 vsize=10552188 CPUtime=0.13 cores=0,2,4,6
/proc/20727/task/20738/stat : 20738 (java) S 20725 20727 16282 0 -1 4202560 60 0 0 0 6 7 0 0 15 0 22 0 811729648 10805440512 915077 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471872 0 0 0 16800975 18446604453548780480 0 0 -1 6 0 0 0
[pid=20727/tid=20739] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20739/stat : 20739 (java) S 20725 20727 16282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811729648 10805440512 915077 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20740] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20740/stat : 20740 (java) S 20725 20727 16282 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811729648 10805440512 915077 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20741] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20741/stat : 20741 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811729650 10805440512 915077 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051478961 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20742] ppid=20725 vsize=10552188 CPUtime=1.22 cores=0,2,4,6
/proc/20727/task/20742/stat : 20742 (java) S 20725 20727 16282 0 -1 4202560 5783 0 0 0 122 0 0 0 15 0 22 0 811729650 10805440512 915077 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 0 0 0 0
[pid=20727/tid=20743] ppid=20725 vsize=10552188 CPUtime=0.71 cores=0,2,4,6
/proc/20727/task/20743/stat : 20743 (java) S 20725 20727 16282 0 -1 4202560 3103 0 0 0 71 0 0 0 15 0 22 0 811729650 10805440512 915077 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 2 0 0 0
[pid=20727/tid=20744] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20744/stat : 20744 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811729650 10805440512 915077 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20745] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20745/stat : 20745 (java) S 20725 20727 16282 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 811729650 10805440512 915077 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471872 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20746] ppid=20725 vsize=10552188 CPUtime=816.79 cores=0,2,4,6
/proc/20727/task/20746/stat : 20746 (java) R 20725 20727 16282 0 -1 4202560 6496 0 0 0 81676 3 0 0 25 0 22 0 811730052 10805440512 915077 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 46912505796839 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20727/tid=20747] ppid=20725 vsize=10552188 CPUtime=816.9 cores=0,2,4,6
/proc/20727/task/20747/stat : 20747 (java) R 20725 20727 16282 0 -1 4202560 480427 0 0 0 81638 52 0 0 25 0 22 0 811730052 10805440512 915077 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 46912505787006 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20727/tid=20748] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20748/stat : 20748 (java) S 20725 20727 16282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811730059 10805440512 915077 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471872 0 4 0 16800975 18446604453548780480 0 0 -1 0 0 0 0
[pid=20727/tid=20749] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20749/stat : 20749 (java) S 20725 20727 16282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811730060 10805440512 915077 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471872 0 4 0 16800975 18446604453548780480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.09
Current children cumulated vsize (KiB) 10552188
[startup+882.301 s]
/proc/loadavg: 4.01 3.99 3.73 5/578 20779
/proc/meminfo: memFree=17420316/32951124 swapFree=46970528/67111528
[pid=20727] ppid=20725 vsize=10552188 CPUtime=1764.13 cores=0,2,4,6
/proc/20727/stat : 20727 (java) S 20725 20727 16282 0 -1 4202496 921622 0 1 0 176291 122 0 0 18 0 22 0 811729645 10805440512 915493 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20727/statm: 2638047 915493 2253 9 0 2628781 0
[pid=20727/tid=20728] ppid=20725 vsize=10552188 CPUtime=4.07 cores=0,2,4,6
/proc/20727/task/20728/stat : 20728 (java) S 20725 20727 16282 0 -1 4202560 276869 0 1 0 372 35 0 0 15 0 22 0 811729645 10805440512 915493 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471872 0 4 0 16800975 18446604453548780480 0 0 -1 0 0 0 0
[pid=20727/tid=20730] ppid=20725 vsize=10552188 CPUtime=0.52 cores=0,2,4,6
/proc/20727/task/20730/stat : 20730 (java) S 20725 20727 16282 0 -1 4202560 15920 0 0 0 50 2 0 0 16 0 22 0 811729647 10805440512 915493 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20731] ppid=20725 vsize=10552188 CPUtime=0.61 cores=0,2,4,6
/proc/20727/task/20731/stat : 20731 (java) S 20725 20727 16282 0 -1 4202560 19130 0 0 0 58 3 0 0 15 0 22 0 811729647 10805440512 915493 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 2 0 0 0
[pid=20727/tid=20732] ppid=20725 vsize=10552188 CPUtime=0.7 cores=0,2,4,6
/proc/20727/task/20732/stat : 20732 (java) S 20725 20727 16282 0 -1 4202560 32255 0 0 0 66 4 0 0 16 0 22 0 811729647 10805440512 915493 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 0 0 0 0
[pid=20727/tid=20733] ppid=20725 vsize=10552188 CPUtime=0.35 cores=0,2,4,6
/proc/20727/task/20733/stat : 20733 (java) S 20725 20727 16282 0 -1 4202560 7080 0 0 0 35 0 0 0 15 0 22 0 811729647 10805440512 915493 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 2 0 0 0
[pid=20727/tid=20734] ppid=20725 vsize=10552188 CPUtime=0.68 cores=0,2,4,6
/proc/20727/task/20734/stat : 20734 (java) S 20725 20727 16282 0 -1 4202560 23031 0 0 0 66 2 0 0 15 0 22 0 811729647 10805440512 915493 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20735] ppid=20725 vsize=10552188 CPUtime=0.48 cores=0,2,4,6
/proc/20727/task/20735/stat : 20735 (java) S 20725 20727 16282 0 -1 4202560 18023 0 0 0 46 2 0 0 16 0 22 0 811729647 10805440512 915493 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 2 0 0 0
[pid=20727/tid=20736] ppid=20725 vsize=10552188 CPUtime=0.48 cores=0,2,4,6
/proc/20727/task/20736/stat : 20736 (java) S 20725 20727 16282 0 -1 4202560 21068 0 0 0 45 3 0 0 16 0 22 0 811729647 10805440512 915493 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 2 0 0 0
[pid=20727/tid=20737] ppid=20725 vsize=10552188 CPUtime=0.43 cores=0,2,4,6
/proc/20727/task/20737/stat : 20737 (java) S 20725 20727 16282 0 -1 4202560 11148 0 0 0 41 2 0 0 15 0 22 0 811729647 10805440512 915493 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20738] ppid=20725 vsize=10552188 CPUtime=0.15 cores=0,2,4,6
/proc/20727/task/20738/stat : 20738 (java) S 20725 20727 16282 0 -1 4202560 64 0 0 0 7 8 0 0 15 0 22 0 811729648 10805440512 915493 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471872 0 0 0 16800975 18446604453548780480 0 0 -1 6 0 0 0
[pid=20727/tid=20739] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20739/stat : 20739 (java) S 20725 20727 16282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811729648 10805440512 915493 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20740] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20740/stat : 20740 (java) S 20725 20727 16282 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811729648 10805440512 915493 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20741] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20741/stat : 20741 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811729650 10805440512 915493 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051478961 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20742] ppid=20725 vsize=10552188 CPUtime=1.22 cores=0,2,4,6
/proc/20727/task/20742/stat : 20742 (java) S 20725 20727 16282 0 -1 4202560 5783 0 0 0 122 0 0 0 15 0 22 0 811729650 10805440512 915493 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 0 0 0 0
[pid=20727/tid=20743] ppid=20725 vsize=10552188 CPUtime=0.71 cores=0,2,4,6
/proc/20727/task/20743/stat : 20743 (java) S 20725 20727 16282 0 -1 4202560 3103 0 0 0 71 0 0 0 15 0 22 0 811729650 10805440512 915493 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 2 0 0 0
[pid=20727/tid=20744] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20744/stat : 20744 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811729650 10805440512 915493 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20745] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20745/stat : 20745 (java) S 20725 20727 16282 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 811729650 10805440512 915493 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471872 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20746] ppid=20725 vsize=10552188 CPUtime=876.73 cores=0,2,4,6
/proc/20727/task/20746/stat : 20746 (java) R 20725 20727 16282 0 -1 4202560 6504 0 0 0 87670 3 0 0 25 0 22 0 811730052 10805440512 915493 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 46912505778672 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20727/tid=20747] ppid=20725 vsize=10552188 CPUtime=876.86 cores=0,2,4,6
/proc/20727/task/20747/stat : 20747 (java) R 20725 20727 16282 0 -1 4202560 480433 0 0 0 87634 52 0 0 25 0 22 0 811730052 10805440512 915493 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 46912506179394 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20727/tid=20748] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20748/stat : 20748 (java) S 20725 20727 16282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811730059 10805440512 915493 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471872 0 4 0 16800975 18446604453548780480 0 0 -1 0 0 0 0
[pid=20727/tid=20749] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20749/stat : 20749 (java) S 20725 20727 16282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811730060 10805440512 915493 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471872 0 4 0 16800975 18446604453548780480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.13
Current children cumulated vsize (KiB) 10552188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.301 s]
/proc/loadavg: 3.92 3.97 3.72 5/578 20830
/proc/meminfo: memFree=20803048/32951124 swapFree=46970528/67111528
[pid=20727] ppid=20725 vsize=10552188 CPUtime=1800.16 cores=0,2,4,6
/proc/20727/stat : 20727 (java) S 20725 20727 16282 0 -1 4202496 921797 0 1 0 179894 122 0 0 18 0 22 0 811729645 10805440512 915664 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20727/statm: 2638047 915664 2253 9 0 2628781 0
[pid=20727/tid=20728] ppid=20725 vsize=10552188 CPUtime=4.07 cores=0,2,4,6
/proc/20727/task/20728/stat : 20728 (java) S 20725 20727 16282 0 -1 4202560 276869 0 1 0 372 35 0 0 15 0 22 0 811729645 10805440512 915664 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471872 0 4 0 16800975 18446604453548780480 0 0 -1 0 0 0 0
[pid=20727/tid=20730] ppid=20725 vsize=10552188 CPUtime=0.53 cores=0,2,4,6
/proc/20727/task/20730/stat : 20730 (java) S 20725 20727 16282 0 -1 4202560 15920 0 0 0 51 2 0 0 16 0 22 0 811729647 10805440512 915664 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20731] ppid=20725 vsize=10552188 CPUtime=0.61 cores=0,2,4,6
/proc/20727/task/20731/stat : 20731 (java) S 20725 20727 16282 0 -1 4202560 19130 0 0 0 58 3 0 0 15 0 22 0 811729647 10805440512 915664 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 2 0 0 0
[pid=20727/tid=20732] ppid=20725 vsize=10552188 CPUtime=0.71 cores=0,2,4,6
/proc/20727/task/20732/stat : 20732 (java) S 20725 20727 16282 0 -1 4202560 32308 0 0 0 67 4 0 0 16 0 22 0 811729647 10805440512 915664 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 0 0 0 0
[pid=20727/tid=20733] ppid=20725 vsize=10552188 CPUtime=0.35 cores=0,2,4,6
/proc/20727/task/20733/stat : 20733 (java) S 20725 20727 16282 0 -1 4202560 7086 0 0 0 35 0 0 0 15 0 22 0 811729647 10805440512 915664 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 6 0 0 0
[pid=20727/tid=20734] ppid=20725 vsize=10552188 CPUtime=0.68 cores=0,2,4,6
/proc/20727/task/20734/stat : 20734 (java) S 20725 20727 16282 0 -1 4202560 23068 0 0 0 66 2 0 0 16 0 22 0 811729647 10805440512 915664 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 2 0 0 0
[pid=20727/tid=20735] ppid=20725 vsize=10552188 CPUtime=0.48 cores=0,2,4,6
/proc/20727/task/20735/stat : 20735 (java) S 20725 20727 16282 0 -1 4202560 18023 0 0 0 46 2 0 0 15 0 22 0 811729647 10805440512 915664 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 2 0 0 0
[pid=20727/tid=20736] ppid=20725 vsize=10552188 CPUtime=0.48 cores=0,2,4,6
/proc/20727/task/20736/stat : 20736 (java) S 20725 20727 16282 0 -1 4202560 21106 0 0 0 45 3 0 0 15 0 22 0 811729647 10805440512 915664 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 6 0 0 0
[pid=20727/tid=20737] ppid=20725 vsize=10552188 CPUtime=0.43 cores=0,2,4,6
/proc/20727/task/20737/stat : 20737 (java) S 20725 20727 16282 0 -1 4202560 11185 0 0 0 41 2 0 0 15 0 22 0 811729647 10805440512 915664 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20738] ppid=20725 vsize=10552188 CPUtime=0.15 cores=0,2,4,6
/proc/20727/task/20738/stat : 20738 (java) S 20725 20727 16282 0 -1 4202560 64 0 0 0 7 8 0 0 15 0 22 0 811729648 10805440512 915664 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471872 0 0 0 16800975 18446604453548780480 0 0 -1 2 0 0 0
[pid=20727/tid=20739] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20739/stat : 20739 (java) S 20725 20727 16282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811729648 10805440512 915664 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20740] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20740/stat : 20740 (java) S 20725 20727 16282 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 811729648 10805440512 915664 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20741] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20741/stat : 20741 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811729650 10805440512 915664 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051478961 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20742] ppid=20725 vsize=10552188 CPUtime=1.22 cores=0,2,4,6
/proc/20727/task/20742/stat : 20742 (java) S 20725 20727 16282 0 -1 4202560 5783 0 0 0 122 0 0 0 15 0 22 0 811729650 10805440512 915664 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 0 0 0 0
[pid=20727/tid=20743] ppid=20725 vsize=10552188 CPUtime=0.71 cores=0,2,4,6
/proc/20727/task/20743/stat : 20743 (java) S 20725 20727 16282 0 -1 4202560 3103 0 0 0 71 0 0 0 15 0 22 0 811729650 10805440512 915664 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 2 0 0 0
[pid=20727/tid=20744] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20744/stat : 20744 (java) S 20725 20727 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811729650 10805440512 915664 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471257 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20745] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20745/stat : 20745 (java) S 20725 20727 16282 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 811729650 10805440512 915664 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471872 0 4 0 16800975 18446604453548780480 0 0 -1 4 0 0 0
[pid=20727/tid=20746] ppid=20725 vsize=10552188 CPUtime=894.74 cores=0,2,4,6
/proc/20727/task/20746/stat : 20746 (java) R 20725 20727 16282 0 -1 4202560 6504 0 0 0 89471 3 0 0 25 0 22 0 811730052 10805440512 915664 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 46912505778677 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20727/tid=20747] ppid=20725 vsize=10552188 CPUtime=894.86 cores=0,2,4,6
/proc/20727/task/20747/stat : 20747 (java) R 20725 20727 16282 0 -1 4202560 480437 0 0 0 89434 52 0 0 25 0 22 0 811730052 10805440512 915664 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 46912505786393 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20727/tid=20748] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20748/stat : 20748 (java) S 20725 20727 16282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811730059 10805440512 915664 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471872 0 4 0 16800975 18446604453548780480 0 0 -1 0 0 0 0
[pid=20727/tid=20749] ppid=20725 vsize=10552188 CPUtime=0 cores=0,2,4,6
/proc/20727/task/20749/stat : 20749 (java) S 20725 20727 16282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811730060 10805440512 915664 33554432000 1073741824 1073778376 140734385977648 18446744073709551615 212051471872 0 4 0 16800975 18446604453548780480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 10552188
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.427 s]
/proc/loadavg: 3.92 3.97 3.72 5/578 20830
/proc/meminfo: memFree=20803048/32951124 swapFree=46970528/67111528
[pid=20727] ppid=20725 vsize=0 CPUtime=1800.28 cores=0,2,4,6
/proc/20727/stat : 20727 (java) Z 20725 20727 16282 0 -1 4203548 921824 0 1 0 179896 132 0 0 17 0 2 0 811729645 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20727/statm: 0 0 0 0 0 0 0
[pid=20727/tid=20747] ppid=20725 vsize=0 CPUtime=894.97 cores=0,2,4,6
/proc/20727/task/20747/stat : 20747 (java) R 20725 20727 16282 0 -1 4203588 480437 0 0 0 89435 62 0 0 25 0 2 0 811730052 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 900.464
CPU time (s): 1800.33
CPU user time (s): 1798.97
CPU system time (s): 1.35679
CPU usage (%): 199.933
Max. virtual memory (cumulated for all children) (KiB): 10552188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.35679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 921824
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= 26357
involuntary context switches= 17364
runsolver used 5.2752 second user time and 11.1293 second system time
The end