runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13338 MiB free)
memory of node 1: 16384 MiB (13049 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259534-1502648011/watcher-4259534-1502648011 -o /tmp/evaluation-result-4259534-1502648011/solver-4259534-1502648011 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502644582-9044 --watchdog 312 bin/concrete HOME/instance-4259534-1502648011.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12088, runsolver pid=12085
[startup+0.100109 s]*
/proc/loadavg: 2.36 2.00 1.88 3/205 12142
/proc/meminfo: memFree=27011272/32770624 swapFree=67108860/67108860
[pid=12088] ppid=12085 vsize=13362960 memory=16552 CPUtime=0.09 cores=0,2,4,6
/proc/12088/stat : 12088 (java) S 12085 12088 3242 0 -1 1077944320 4250 12402 0 0 1 1 5 2 20 0 6 0 97882058 13683671040 4138 33554432000 4194304 4196468 140726254507952 140726254490496 140263321165559 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
/proc/12088/statm: 3340740 4138 1934 1 0 3329178 0
[pid=12088/tid=12138] ppid=12085 vsize=13379040 memory=4279135703946723981 CPUtime=0.08 cores=0,2,4,6
/proc/12088/task/12138/stat : 12138 (java) R 12085 12088 3242 0 -1 4202560 2147 12402 0 0 1 0 5 2 20 0 6 0 97882067 13700136960 4204 33554432000 4194304 4196468 140726254507952 140263325401680 140263306690557 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12139] ppid=12085 vsize=13379040 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12139/stat : 12139 (java) S 12085 12088 3242 0 -1 1077944384 2 12402 0 0 0 0 5 2 20 0 6 0 97882068 13700136960 4204 33554432000 4194304 4196468 140726254507952 140263236234384 140263321175765 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12140] ppid=12085 vsize=13379040 memory=139852456355456 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12140/stat : 12140 (java) S 12085 12088 3242 0 -1 1077944384 1 12402 0 0 0 0 5 2 20 0 6 0 97882068 13700136960 4204 33554432000 4194304 4196468 140726254507952 140263235181584 140263321175765 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12141] ppid=12085 vsize=13379040 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12141/stat : 12141 (java) S 12085 12088 3242 0 -1 1077944384 1 12402 0 0 0 0 5 2 20 0 6 0 97882068 13700136960 4204 33554432000 4194304 4196468 140726254507952 140263234128784 140263321175765 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12142] ppid=12085 vsize=13379040 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12142/stat : 12142 (java) S 12085 12088 3242 0 -1 1077944384 2 12402 0 0 0 0 5 2 20 0 6 0 97882068 13700136960 4204 33554432000 4194304 4196468 140726254507952 140263233075984 140263321175765 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13362960 KiB
Current children cumulated memory: 16552 KiB
[startup+0.209601 s]*
/proc/loadavg: 2.33 2.00 1.88 3/214 12151
/proc/meminfo: memFree=26996912/32770624 swapFree=67108860/67108860
[pid=12088] ppid=12085 vsize=13978600 memory=40104 CPUtime=0.25 cores=0,2,4,6
/proc/12088/stat : 12088 (java) S 12085 12088 3242 0 -1 1077944320 7699 12402 0 0 16 2 5 2 20 0 15 0 97882058 14314086400 10026 33554432000 4194304 4196468 140726254507952 140726254490496 140263321165559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
/proc/12088/statm: 3494650 10026 2960 1 0 3482967 0
[pid=12088/tid=12138] ppid=12085 vsize=13978600 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/12088/task/12138/stat : 12138 (java) R 12085 12088 3242 0 -1 4202560 4226 12402 0 0 11 1 5 2 20 0 15 0 97882067 14314086400 10026 33554432000 4194304 4196468 140726254507952 140263325360960 140263321177494 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12139] ppid=12085 vsize=13978600 memory=342 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12139/stat : 12139 (java) S 12085 12088 3242 0 -1 1077944384 2 12402 0 0 0 0 5 2 20 0 15 0 97882068 14314086400 10026 33554432000 4194304 4196468 140726254507952 140263236234384 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12140] ppid=12085 vsize=13978600 memory=139852456367105 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12140/stat : 12140 (java) S 12085 12088 3242 0 -1 1077944384 1 12402 0 0 0 0 5 2 20 0 15 0 97882068 14314086400 10026 33554432000 4194304 4196468 140726254507952 140263235181584 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12141] ppid=12085 vsize=13978600 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12141/stat : 12141 (java) S 12085 12088 3242 0 -1 1077944384 1 12402 0 0 0 0 5 2 20 0 15 0 97882068 14314086400 10026 33554432000 4194304 4196468 140726254507952 140263234128784 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12142] ppid=12085 vsize=13978600 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12142/stat : 12142 (java) S 12085 12088 3242 0 -1 1077944384 2 12402 0 0 0 0 5 2 20 0 15 0 97882068 14314086400 10026 33554432000 4194304 4196468 140726254507952 140263233075984 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12143] ppid=12085 vsize=13978600 memory=139852456355456 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12143/stat : 12143 (java) S 12085 12088 3242 0 -1 1077944384 2 12402 0 0 0 0 5 2 20 0 15 0 97882069 14314086400 10026 33554432000 4194304 4196468 140726254507952 140262795352432 140263321176706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12144] ppid=12085 vsize=13978600 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12144/stat : 12144 (java) S 12085 12088 3242 0 -1 1077944384 33 12402 0 0 0 0 5 2 20 0 15 0 97882070 14314086400 10026 33554432000 4194304 4196468 140726254507952 140262794298400 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12145] ppid=12085 vsize=13978600 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12145/stat : 12145 (java) S 12085 12088 3242 0 -1 1077944384 21 12402 0 0 0 0 5 2 20 0 15 0 97882070 14314086400 10026 33554432000 4194304 4196468 140726254507952 140262793245552 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12146] ppid=12085 vsize=13978600 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12146/stat : 12146 (java) S 12085 12088 3242 0 -1 1077944384 3 12402 0 0 0 0 5 2 20 0 15 0 97882073 14314086400 10026 33554432000 4194304 4196468 140726254507952 140262792193872 140263321184155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12147] ppid=12085 vsize=13978600 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12147/stat : 12147 (java) S 12085 12088 3242 0 -1 1077944384 625 12402 0 0 0 0 5 2 20 0 15 0 97882073 14314086400 10026 33554432000 4194304 4196468 140726254507952 140262791142256 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12148] ppid=12085 vsize=13978600 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12148/stat : 12148 (java) S 12085 12088 3242 0 -1 1077944384 147 12402 0 0 0 0 5 2 20 0 15 0 97882073 14314086400 10026 33554432000 4194304 4196468 140726254507952 140262790089456 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12149] ppid=12085 vsize=13978600 memory=139852456355456 CPUtime=0.1 cores=0,2,4,6
/proc/12088/task/12149/stat : 12149 (java) R 12085 12088 3242 0 -1 4202560 491 12402 0 0 3 0 5 2 20 0 15 0 97882073 14314086400 10026 33554432000 4194304 4196468 140726254507952 140262789036656 140263300103885 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12150] ppid=12085 vsize=13978600 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12150/stat : 12150 (java) S 12085 12088 3242 0 -1 1077944384 3 12402 0 0 0 0 5 2 20 0 15 0 97882073 14314086400 10026 33554432000 4194304 4196468 140726254507952 140262787984096 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12151] ppid=12085 vsize=13978600 memory=139852456355456 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12151/stat : 12151 (java) S 12085 12088 3242 0 -1 1077944384 1 12402 0 0 0 0 5 2 20 0 15 0 97882073 14314086400 10026 33554432000 4194304 4196468 140726254507952 140262786931376 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13978600 KiB
Current children cumulated memory: 40104 KiB
[startup+0.310106 s]*
/proc/loadavg: 2.33 2.00 1.88 3/214 12151
/proc/meminfo: memFree=26981904/32770624 swapFree=67108860/67108860
[pid=12088] ppid=12085 vsize=13979028 memory=50924 CPUtime=0.38 cores=0,2,4,6
/proc/12088/stat : 12088 (java) S 12085 12088 3242 0 -1 1077944320 10774 12402 0 0 28 3 5 2 20 0 15 0 97882058 14314524672 12731 33554432000 4194304 4196468 140726254507952 140726254490496 140263321165559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
/proc/12088/statm: 3494757 12731 3075 1 0 3482967 0
[pid=12088/tid=12138] ppid=12085 vsize=13979028 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/12088/task/12138/stat : 12138 (java) R 12085 12088 3242 0 -1 4202560 7290 12402 0 0 20 2 5 2 20 0 15 0 97882067 14314524672 12731 33554432000 4194304 4196468 140726254507952 140263325375584 140263304352350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12139] ppid=12085 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12139/stat : 12139 (java) S 12085 12088 3242 0 -1 1077944384 2 12402 0 0 0 0 5 2 20 0 15 0 97882068 14314524672 12731 33554432000 4194304 4196468 140726254507952 140263236234384 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12140] ppid=12085 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12140/stat : 12140 (java) S 12085 12088 3242 0 -1 1077944384 1 12402 0 0 0 0 5 2 20 0 15 0 97882068 14314524672 12731 33554432000 4194304 4196468 140726254507952 140263235181584 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12141] ppid=12085 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12141/stat : 12141 (java) S 12085 12088 3242 0 -1 1077944384 1 12402 0 0 0 0 5 2 20 0 15 0 97882068 14314524672 12731 33554432000 4194304 4196468 140726254507952 140263234128784 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12142] ppid=12085 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12142/stat : 12142 (java) S 12085 12088 3242 0 -1 1077944384 2 12402 0 0 0 0 5 2 20 0 15 0 97882068 14314524672 12731 33554432000 4194304 4196468 140726254507952 140263233075984 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12143] ppid=12085 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12143/stat : 12143 (java) S 12085 12088 3242 0 -1 1077944384 2 12402 0 0 0 0 5 2 20 0 15 0 97882069 14314524672 12731 33554432000 4194304 4196468 140726254507952 140262795352432 140263321176706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12144] ppid=12085 vsize=13979028 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12144/stat : 12144 (java) S 12085 12088 3242 0 -1 1077944384 33 12402 0 0 0 0 5 2 20 0 15 0 97882070 14314524672 12731 33554432000 4194304 4196468 140726254507952 140262794298400 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12145] ppid=12085 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12145/stat : 12145 (java) S 12085 12088 3242 0 -1 1077944384 21 12402 0 0 0 0 5 2 20 0 15 0 97882070 14314524672 12731 33554432000 4194304 4196468 140726254507952 140262793245552 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12146] ppid=12085 vsize=13979028 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12146/stat : 12146 (java) S 12085 12088 3242 0 -1 1077944384 3 12402 0 0 0 0 5 2 20 0 15 0 97882073 14314524672 12731 33554432000 4194304 4196468 140726254507952 140262792193872 140263321184155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12147] ppid=12085 vsize=13979028 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12088/task/12147/stat : 12147 (java) S 12085 12088 3242 0 -1 1077944384 628 12402 0 0 1 0 5 2 20 0 15 0 97882073 14314524672 12731 33554432000 4194304 4196468 140726254507952 140262791142256 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12148] ppid=12085 vsize=13979028 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12088/task/12148/stat : 12148 (java) S 12085 12088 3242 0 -1 1077944384 150 12402 0 0 1 0 5 2 20 0 15 0 97882073 14314524672 12731 33554432000 4194304 4196468 140726254507952 140262790089456 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12149] ppid=12085 vsize=13979028 memory=139852456355456 CPUtime=0.12 cores=0,2,4,6
/proc/12088/task/12149/stat : 12149 (java) R 12085 12088 3242 0 -1 4202560 496 12402 0 0 5 0 5 2 20 0 15 0 97882073 14314524672 12731 33554432000 4194304 4196468 140726254507952 140262789036656 140263299870319 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12150] ppid=12085 vsize=13979028 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12150/stat : 12150 (java) S 12085 12088 3242 0 -1 1077944384 3 12402 0 0 0 0 5 2 20 0 15 0 97882073 14314524672 12731 33554432000 4194304 4196468 140726254507952 140262787984096 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12151] ppid=12085 vsize=13979028 memory=139852456355456 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12151/stat : 12151 (java) S 12085 12088 3242 0 -1 1077944384 1 12402 0 0 0 0 5 2 20 0 15 0 97882073 14314524672 12731 33554432000 4194304 4196468 140726254507952 140262786931376 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 13979028 KiB
Current children cumulated memory: 50924 KiB
[startup+0.700713 s]
/proc/loadavg: 2.33 2.00 1.88 3/214 12151
/proc/meminfo: memFree=26975328/32770624 swapFree=67108860/67108860
[pid=12088] ppid=12085 vsize=13979176 memory=81564 CPUtime=0.96 cores=0,2,4,6
/proc/12088/stat : 12088 (java) S 12085 12088 3242 0 -1 1077944320 16533 12402 0 0 85 4 5 2 20 0 15 0 97882058 14314676224 20391 33554432000 4194304 4196468 140726254507952 140726254490496 140263321165559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
/proc/12088/statm: 3494794 20391 3267 1 0 3482967 0
[pid=12088/tid=12138] ppid=12085 vsize=13979176 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/12088/task/12138/stat : 12138 (java) R 12085 12088 3242 0 -1 4202560 12385 12402 0 0 56 2 5 2 20 0 15 0 97882067 14314676224 20391 33554432000 4194304 4196468 140726254507952 140263325384624 140263305246046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12139] ppid=12085 vsize=13979176 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12139/stat : 12139 (java) S 12085 12088 3242 0 -1 1077944384 2 12402 0 0 0 0 5 2 20 0 15 0 97882068 14314676224 20391 33554432000 4194304 4196468 140726254507952 140263236234384 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12140] ppid=12085 vsize=13979176 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12140/stat : 12140 (java) S 12085 12088 3242 0 -1 1077944384 1 12402 0 0 0 0 5 2 20 0 15 0 97882068 14314676224 20391 33554432000 4194304 4196468 140726254507952 140263235181584 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12141] ppid=12085 vsize=13979176 memory=139852322581040 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12141/stat : 12141 (java) S 12085 12088 3242 0 -1 1077944384 1 12402 0 0 0 0 5 2 20 0 15 0 97882068 14314676224 20391 33554432000 4194304 4196468 140726254507952 140263234128784 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12142] ppid=12085 vsize=13979176 memory=139852725092962 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12142/stat : 12142 (java) S 12085 12088 3242 0 -1 1077944384 2 12402 0 0 0 0 5 2 20 0 15 0 97882068 14314676224 20391 33554432000 4194304 4196468 140726254507952 140263233075984 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12143] ppid=12085 vsize=13979176 memory=4620 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12143/stat : 12143 (java) S 12085 12088 3242 0 -1 1077944384 5 12402 0 0 0 0 5 2 20 0 15 0 97882069 14314676224 20391 33554432000 4194304 4196468 140726254507952 140262795352432 140263321176706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12144] ppid=12085 vsize=13979176 memory=4639098309541128805 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12144/stat : 12144 (java) S 12085 12088 3242 0 -1 1077944384 33 12402 0 0 0 0 5 2 20 0 15 0 97882070 14314676224 20391 33554432000 4194304 4196468 140726254507952 140262794298400 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12145] ppid=12085 vsize=13979176 memory=7885635084775281009 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12145/stat : 12145 (java) S 12085 12088 3242 0 -1 1077944384 21 12402 0 0 0 0 5 2 20 0 15 0 97882070 14314676224 20391 33554432000 4194304 4196468 140726254507952 140262793245552 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12146] ppid=12085 vsize=13979176 memory=18476 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12146/stat : 12146 (java) S 12085 12088 3242 0 -1 1077944384 3 12402 0 0 0 0 5 2 20 0 15 0 97882073 14314676224 20391 33554432000 4194304 4196468 140726254507952 140262792193872 140263321184155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12147] ppid=12085 vsize=13979176 memory=16940 CPUtime=0.17 cores=0,2,4,6
/proc/12088/task/12147/stat : 12147 (java) S 12085 12088 3242 0 -1 1077944384 988 12402 0 0 10 0 5 2 20 0 15 0 97882073 14314676224 20391 33554432000 4194304 4196468 140726254507952 140262791142256 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12148] ppid=12085 vsize=13979176 memory=4048 CPUtime=0.12 cores=0,2,4,6
/proc/12088/task/12148/stat : 12148 (java) S 12085 12088 3242 0 -1 1077944384 396 12402 0 0 5 0 5 2 20 0 15 0 97882073 14314676224 20391 33554432000 4194304 4196468 140726254507952 140262790089456 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12149] ppid=12085 vsize=13979176 memory=1792 CPUtime=0.19 cores=0,2,4,6
/proc/12088/task/12149/stat : 12149 (java) S 12085 12088 3242 0 -1 1077944384 549 12402 0 0 12 0 5 2 20 0 15 0 97882073 14314676224 20391 33554432000 4194304 4196468 140726254507952 140262789036656 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12150] ppid=12085 vsize=13979176 memory=648 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12150/stat : 12150 (java) S 12085 12088 3242 0 -1 1077944384 3 12402 0 0 0 0 5 2 20 0 15 0 97882073 14314676224 20391 33554432000 4194304 4196468 140726254507952 140262787984096 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12151] ppid=12085 vsize=13979176 memory=1240 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12151/stat : 12151 (java) S 12085 12088 3242 0 -1 1077944384 1 12402 0 0 0 0 5 2 20 0 15 0 97882073 14314676224 20391 33554432000 4194304 4196468 140726254507952 140262786931376 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 13979176 KiB
Current children cumulated memory: 81564 KiB
[startup+1.50064 s]
/proc/loadavg: 2.33 2.00 1.88 3/214 12151
/proc/meminfo: memFree=26918820/32770624 swapFree=67108860/67108860
[pid=12088] ppid=12085 vsize=13991700 memory=174512 CPUtime=2.19 cores=0,2,4,6
/proc/12088/stat : 12088 (java) S 12085 12088 3242 0 -1 1077944320 26724 12402 0 0 203 9 5 2 20 0 15 0 97882058 14327500800 43628 33554432000 4194304 4196468 140726254507952 140726254490496 140263321165559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
/proc/12088/statm: 3497925 43628 3401 1 0 3486039 0
[pid=12088/tid=12138] ppid=12085 vsize=13991700 memory=4872558044660077418 CPUtime=1.43 cores=0,2,4,6
/proc/12088/task/12138/stat : 12138 (java) R 12085 12088 3242 0 -1 4202560 19579 12402 0 0 131 5 5 2 20 0 15 0 97882067 14327500800 43628 33554432000 4194304 4196468 140726254507952 140263325400352 140263321177494 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12139] ppid=12085 vsize=13991700 memory=279704645193376 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12139/stat : 12139 (java) S 12085 12088 3242 0 -1 1077944384 59 12402 0 0 0 0 5 2 20 0 15 0 97882068 14327500800 43628 33554432000 4194304 4196468 140726254507952 140263236234384 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12140] ppid=12085 vsize=13991700 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12088/task/12140/stat : 12140 (java) S 12085 12088 3242 0 -1 1077944384 52 12402 0 0 1 0 5 2 20 0 15 0 97882068 14327500800 43628 33554432000 4194304 4196468 140726254507952 140263235181584 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12141] ppid=12085 vsize=13991700 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12088/task/12141/stat : 12141 (java) S 12085 12088 3242 0 -1 1077944384 191 12402 0 0 1 0 5 2 20 0 15 0 97882068 14327500800 43628 33554432000 4194304 4196468 140726254507952 140263234128784 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12142] ppid=12085 vsize=13991700 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12088/task/12142/stat : 12142 (java) S 12085 12088 3242 0 -1 1077944384 53 12402 0 0 1 0 5 2 20 0 15 0 97882068 14327500800 43628 33554432000 4194304 4196468 140726254507952 140263233075984 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12143] ppid=12085 vsize=13991700 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12088/task/12143/stat : 12143 (java) S 12085 12088 3242 0 -1 1077944384 1164 12402 0 0 1 0 5 2 20 0 15 0 97882069 14327500800 43628 33554432000 4194304 4196468 140726254507952 140262795352432 140263321176706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12144] ppid=12085 vsize=13991700 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12144/stat : 12144 (java) S 12085 12088 3242 0 -1 1077944384 54 12402 0 0 0 0 5 2 20 0 15 0 97882070 14327500800 43628 33554432000 4194304 4196468 140726254507952 140262794298464 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12145] ppid=12085 vsize=13991700 memory=-5921431000321636112 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12145/stat : 12145 (java) S 12085 12088 3242 0 -1 1077944384 45 12402 0 0 0 0 5 2 20 0 15 0 97882070 14327500800 43628 33554432000 4194304 4196468 140726254507952 140262793245568 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12146] ppid=12085 vsize=13991700 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12146/stat : 12146 (java) S 12085 12088 3242 0 -1 1077944384 3 12402 0 0 0 0 5 2 20 0 15 0 97882073 14327500800 43628 33554432000 4194304 4196468 140726254507952 140262792193872 140263321184155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12147] ppid=12085 vsize=13991700 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/12088/task/12147/stat : 12147 (java) S 12085 12088 3242 0 -1 1077944384 1219 12402 0 0 18 0 5 2 20 0 15 0 97882073 14327500800 43628 33554432000 4194304 4196468 140726254507952 140262791142256 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12148] ppid=12085 vsize=13991700 memory=6791534058613427641 CPUtime=0.23 cores=0,2,4,6
/proc/12088/task/12148/stat : 12148 (java) S 12085 12088 3242 0 -1 1077944384 615 12402 0 0 16 0 5 2 20 0 15 0 97882073 14327500800 43628 33554432000 4194304 4196468 140726254507952 140262790089456 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12149] ppid=12085 vsize=13991700 memory=279704645433184 CPUtime=0.38 cores=0,2,4,6
/proc/12088/task/12149/stat : 12149 (java) R 12085 12088 3242 0 -1 4202560 1538 12402 0 0 31 0 5 2 20 0 15 0 97882073 14327500800 43628 33554432000 4194304 4196468 140726254507952 140262789036656 140263300123259 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12150] ppid=12085 vsize=13991700 memory=-7531822216213012384 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12150/stat : 12150 (java) S 12085 12088 3242 0 -1 1077944384 3 12402 0 0 0 0 5 2 20 0 15 0 97882073 14327500800 43628 33554432000 4194304 4196468 140726254507952 140262787984096 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12151] ppid=12085 vsize=13991700 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12151/stat : 12151 (java) S 12085 12088 3242 0 -1 1077944384 6 12402 0 0 0 0 5 2 20 0 15 0 97882073 14327500800 43628 33554432000 4194304 4196468 140726254507952 140262786931376 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
Current children cumulated CPU time: 2.19 s
Current children cumulated vsize: 13991700 KiB
################
# More data... #
################
/proc/12088/task/12138/stat : 12138 (java) R 12085 12088 3242 0 -1 4202560 51845 12402 0 0 16054 19 5 2 20 0 15 0 97882067 14409482240 200213 33554432000 4194304 4196468 140726254507952 140263325398800 140262921854745 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12139] ppid=12085 vsize=14071760 memory=800852 CPUtime=0.66 cores=0,2,4,6
/proc/12088/task/12139/stat : 12139 (java) S 12085 12088 3242 0 -1 1077944384 1327 12402 0 0 53 6 5 2 20 0 15 0 97882068 14409482240 200213 33554432000 4194304 4196468 140726254507952 140263236234384 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12140] ppid=12085 vsize=14071760 memory=800852 CPUtime=0.65 cores=0,2,4,6
/proc/12088/task/12140/stat : 12140 (java) S 12085 12088 3242 0 -1 1077944384 3113 12402 0 0 54 4 5 2 20 0 15 0 97882068 14409482240 200213 33554432000 4194304 4196468 140726254507952 140263235181584 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12141] ppid=12085 vsize=14071760 memory=800852 CPUtime=0.63 cores=0,2,4,6
/proc/12088/task/12141/stat : 12141 (java) S 12085 12088 3242 0 -1 1077944384 1350 12402 0 0 52 4 5 2 20 0 15 0 97882068 14409482240 200213 33554432000 4194304 4196468 140726254507952 140263234128784 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12142] ppid=12085 vsize=14071760 memory=800852 CPUtime=0.65 cores=0,2,4,6
/proc/12088/task/12142/stat : 12142 (java) S 12085 12088 3242 0 -1 1077944384 1945 12402 0 0 53 5 5 2 20 0 15 0 97882068 14409482240 200213 33554432000 4194304 4196468 140726254507952 140263233075984 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12143] ppid=12085 vsize=14071760 memory=800852 CPUtime=0.67 cores=0,2,4,6
/proc/12088/task/12143/stat : 12143 (java) S 12085 12088 3242 0 -1 1077944384 4418 12402 0 0 57 3 5 2 20 0 15 0 97882069 14409482240 200213 33554432000 4194304 4196468 140726254507952 140262795352432 140263321176706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12144] ppid=12085 vsize=14071760 memory=800852 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12144/stat : 12144 (java) S 12085 12088 3242 0 -1 1077944384 54 12402 0 0 0 0 5 2 20 0 15 0 97882070 14409482240 200213 33554432000 4194304 4196468 140726254507952 140262794298528 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12145] ppid=12085 vsize=14071760 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12145/stat : 12145 (java) S 12085 12088 3242 0 -1 1077944384 46 12402 0 0 0 0 5 2 20 0 15 0 97882070 14409482240 200213 33554432000 4194304 4196468 140726254507952 140262793245568 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12146] ppid=12085 vsize=14071760 memory=800852 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12146/stat : 12146 (java) S 12085 12088 3242 0 -1 1077944384 3 12402 0 0 0 0 5 2 20 0 15 0 97882073 14409482240 200213 33554432000 4194304 4196468 140726254507952 140262792193872 140263321184155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12147] ppid=12085 vsize=14071760 memory=800852 CPUtime=10.22 cores=0,2,4,6
/proc/12088/task/12147/stat : 12147 (java) S 12085 12088 3242 0 -1 1077944384 13809 12402 0 0 1010 5 5 2 20 0 15 0 97882073 14409482240 200213 33554432000 4194304 4196468 140726254507952 140262791142256 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12148] ppid=12085 vsize=14071760 memory=800852 CPUtime=9.55 cores=0,2,4,6
/proc/12088/task/12148/stat : 12148 (java) S 12085 12088 3242 0 -1 1077944384 7159 12402 0 0 945 3 5 2 20 0 15 0 97882073 14409482240 200213 33554432000 4194304 4196468 140726254507952 140262790089456 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12149] ppid=12085 vsize=14071760 memory=800852 CPUtime=2.95 cores=0,2,4,6
/proc/12088/task/12149/stat : 12149 (java) S 12085 12088 3242 0 -1 1077944384 9664 12402 0 0 283 5 5 2 20 0 15 0 97882073 14409482240 200213 33554432000 4194304 4196468 140726254507952 140262789036656 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12150] ppid=12085 vsize=14071760 memory=800852 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12150/stat : 12150 (java) S 12085 12088 3242 0 -1 1077944384 3 12402 0 0 0 0 5 2 20 0 15 0 97882073 14409482240 200213 33554432000 4194304 4196468 140726254507952 140262787984096 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12151] ppid=12085 vsize=14071760 memory=12032 CPUtime=0.15 cores=0,2,4,6
/proc/12088/task/12151/stat : 12151 (java) S 12085 12088 3242 0 -1 1077944384 622 12402 0 0 3 5 5 2 20 0 15 0 97882073 14409482240 200213 33554432000 4194304 4196468 140726254507952 140262786931376 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
Current children cumulated CPU time: 186.4 s
Current children cumulated vsize: 14071760 KiB
Current children cumulated memory: 800852 KiB
[startup+222.301 s]
/proc/loadavg: 1.79 1.91 1.87 3/216 12310
/proc/meminfo: memFree=25910368/32770624 swapFree=67108860/67108860
[pid=12088] ppid=12085 vsize=14071760 memory=800884 CPUtime=247.17 cores=0,2,4,6
/proc/12088/stat : 12088 (java) S 12085 12088 3242 0 -1 1077944320 100834 12402 0 0 24644 66 5 2 20 0 15 0 97882058 14409482240 200221 33554432000 4194304 4196468 140726254507952 140726254490496 140263321165559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
/proc/12088/statm: 3517940 200221 3491 1 0 3505495 0
[pid=12088/tid=12138] ppid=12085 vsize=14071760 memory=4144 CPUtime=220.16 cores=0,2,4,6
/proc/12088/task/12138/stat : 12138 (java) R 12085 12088 3242 0 -1 4202560 53162 12402 0 0 21988 21 5 2 20 0 15 0 97882067 14409482240 200221 33554432000 4194304 4196468 140726254507952 140263325398944 140262922091622 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12139] ppid=12085 vsize=14071760 memory=800852 CPUtime=0.93 cores=0,2,4,6
/proc/12088/task/12139/stat : 12139 (java) S 12085 12088 3242 0 -1 1077944384 1348 12402 0 0 80 6 5 2 20 0 15 0 97882068 14409482240 200221 33554432000 4194304 4196468 140726254507952 140263236234384 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12140] ppid=12085 vsize=14071760 memory=800880 CPUtime=0.92 cores=0,2,4,6
/proc/12088/task/12140/stat : 12140 (java) S 12085 12088 3242 0 -1 1077944384 3300 12402 0 0 80 5 5 2 20 0 15 0 97882068 14409482240 200221 33554432000 4194304 4196468 140726254507952 140263235181584 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12141] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.91 cores=0,2,4,6
/proc/12088/task/12141/stat : 12141 (java) S 12085 12088 3242 0 -1 1077944384 1409 12402 0 0 78 6 5 2 20 0 15 0 97882068 14409482240 200221 33554432000 4194304 4196468 140726254507952 140263234128784 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12142] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.91 cores=0,2,4,6
/proc/12088/task/12142/stat : 12142 (java) S 12085 12088 3242 0 -1 1077944384 3335 12402 0 0 77 7 5 2 20 0 15 0 97882068 14409482240 200221 33554432000 4194304 4196468 140726254507952 140263233075984 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12143] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.96 cores=0,2,4,6
/proc/12088/task/12143/stat : 12143 (java) S 12085 12088 3242 0 -1 1077944384 4746 12402 0 0 85 4 5 2 20 0 15 0 97882069 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262795352432 140263321176706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12144] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12144/stat : 12144 (java) S 12085 12088 3242 0 -1 1077944384 54 12402 0 0 0 0 5 2 20 0 15 0 97882070 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262794298528 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12145] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12145/stat : 12145 (java) S 12085 12088 3242 0 -1 1077944384 46 12402 0 0 0 0 5 2 20 0 15 0 97882070 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262793245568 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12146] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12146/stat : 12146 (java) S 12085 12088 3242 0 -1 1077944384 3 12402 0 0 0 0 5 2 20 0 15 0 97882073 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262792193872 140263321184155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12147] ppid=12085 vsize=14071760 memory=800884 CPUtime=10.22 cores=0,2,4,6
/proc/12088/task/12147/stat : 12147 (java) S 12085 12088 3242 0 -1 1077944384 13811 12402 0 0 1010 5 5 2 20 0 15 0 97882073 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262791142256 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12148] ppid=12085 vsize=14071760 memory=4620 CPUtime=9.55 cores=0,2,4,6
/proc/12088/task/12148/stat : 12148 (java) S 12085 12088 3242 0 -1 1077944384 7162 12402 0 0 945 3 5 2 20 0 15 0 97882073 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262790089456 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12149] ppid=12085 vsize=14071760 memory=800884 CPUtime=2.95 cores=0,2,4,6
/proc/12088/task/12149/stat : 12149 (java) S 12085 12088 3242 0 -1 1077944384 9667 12402 0 0 283 5 5 2 20 0 15 0 97882073 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262789036656 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12150] ppid=12085 vsize=14071760 memory=15872 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12150/stat : 12150 (java) S 12085 12088 3242 0 -1 1077944384 3 12402 0 0 0 0 5 2 20 0 15 0 97882073 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262787984096 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12151] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.18 cores=0,2,4,6
/proc/12088/task/12151/stat : 12151 (java) S 12085 12088 3242 0 -1 1077944384 645 12402 0 0 5 6 5 2 20 0 15 0 97882073 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262786931376 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
Current children cumulated CPU time: 247.17 s
Current children cumulated vsize: 14071760 KiB
Current children cumulated memory: 800884 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+227.11 s]
/proc/loadavg: 1.72 1.90 1.87 3/216 12310
/proc/meminfo: memFree=25914224/32770624 swapFree=67108860/67108860
[pid=12088] ppid=12085 vsize=14071760 memory=800884 CPUtime=252.04 cores=0,2,4,6
/proc/12088/stat : 12088 (java) S 12085 12088 3242 0 -1 1077944320 100873 12402 0 0 25131 66 5 2 20 0 15 0 97882058 14409482240 200221 33554432000 4194304 4196468 140726254507952 140726254490496 140263321165559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
/proc/12088/statm: 3517940 200221 3491 1 0 3505495 0
[pid=12088/tid=12138] ppid=12085 vsize=14071760 memory=800884 CPUtime=224.92 cores=0,2,4,6
/proc/12088/task/12138/stat : 12138 (java) R 12085 12088 3242 0 -1 4202560 53196 12402 0 0 22464 21 5 2 20 0 15 0 97882067 14409482240 200221 33554432000 4194304 4196468 140726254507952 140263325399744 140262922496768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12139] ppid=12085 vsize=14071760 memory=800880 CPUtime=0.96 cores=0,2,4,6
/proc/12088/task/12139/stat : 12139 (java) S 12085 12088 3242 0 -1 1077944384 1349 12402 0 0 82 7 5 2 20 0 15 0 97882068 14409482240 200221 33554432000 4194304 4196468 140726254507952 140263236234384 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12140] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.94 cores=0,2,4,6
/proc/12088/task/12140/stat : 12140 (java) S 12085 12088 3242 0 -1 1077944384 3301 12402 0 0 82 5 5 2 20 0 15 0 97882068 14409482240 200221 33554432000 4194304 4196468 140726254507952 140263235181584 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12141] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.93 cores=0,2,4,6
/proc/12088/task/12141/stat : 12141 (java) S 12085 12088 3242 0 -1 1077944384 1409 12402 0 0 80 6 5 2 20 0 15 0 97882068 14409482240 200221 33554432000 4194304 4196468 140726254507952 140263234128784 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12142] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.93 cores=0,2,4,6
/proc/12088/task/12142/stat : 12142 (java) S 12085 12088 3242 0 -1 1077944384 3335 12402 0 0 79 7 5 2 20 0 15 0 97882068 14409482240 200221 33554432000 4194304 4196468 140726254507952 140263233075984 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12143] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.99 cores=0,2,4,6
/proc/12088/task/12143/stat : 12143 (java) S 12085 12088 3242 0 -1 1077944384 4749 12402 0 0 88 4 5 2 20 0 15 0 97882069 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262795352432 140263321176706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12144] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12144/stat : 12144 (java) S 12085 12088 3242 0 -1 1077944384 54 12402 0 0 0 0 5 2 20 0 15 0 97882070 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262794298528 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12145] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12145/stat : 12145 (java) S 12085 12088 3242 0 -1 1077944384 46 12402 0 0 0 0 5 2 20 0 15 0 97882070 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262793245568 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12146] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12146/stat : 12146 (java) S 12085 12088 3242 0 -1 1077944384 3 12402 0 0 0 0 5 2 20 0 15 0 97882073 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262792193872 140263321184155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12147] ppid=12085 vsize=14071760 memory=800884 CPUtime=10.22 cores=0,2,4,6
/proc/12088/task/12147/stat : 12147 (java) S 12085 12088 3242 0 -1 1077944384 13811 12402 0 0 1010 5 5 2 20 0 15 0 97882073 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262791142256 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12148] ppid=12085 vsize=14071760 memory=800884 CPUtime=9.55 cores=0,2,4,6
/proc/12088/task/12148/stat : 12148 (java) S 12085 12088 3242 0 -1 1077944384 7162 12402 0 0 945 3 5 2 20 0 15 0 97882073 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262790089456 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12149] ppid=12085 vsize=14071760 memory=800884 CPUtime=2.95 cores=0,2,4,6
/proc/12088/task/12149/stat : 12149 (java) S 12085 12088 3242 0 -1 1077944384 9667 12402 0 0 283 5 5 2 20 0 15 0 97882073 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262789036656 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12150] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12150/stat : 12150 (java) S 12085 12088 3242 0 -1 1077944384 3 12402 0 0 0 0 5 2 20 0 15 0 97882073 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262787984096 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12151] ppid=12085 vsize=14071760 memory=4144 CPUtime=0.18 cores=0,2,4,6
/proc/12088/task/12151/stat : 12151 (java) S 12085 12088 3242 0 -1 1077944384 645 12402 0 0 5 6 5 2 20 0 15 0 97882073 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262786931376 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 14071760 KiB
Current children cumulated memory: 800884 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+227.141 s]
# the end of solver process 12088 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.394 s, system=0.709506 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+227.11 s]
/proc/loadavg: 1.72 1.90 1.87 3/216 12310
/proc/meminfo: memFree=25914224/32770624 swapFree=67108860/67108860
[pid=12088] ppid=12085 vsize=14071760 memory=800884 CPUtime=252.04 cores=0,2,4,6
/proc/12088/stat : 12088 (java) S 12085 12088 3242 0 -1 1077944320 100873 12402 0 0 25131 66 5 2 20 0 15 0 97882058 14409482240 200221 33554432000 4194304 4196468 140726254507952 140726254490496 140263321165559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
/proc/12088/statm: 3517940 200221 3491 1 0 3505495 0
[pid=12088/tid=12138] ppid=12085 vsize=14071760 memory=800884 CPUtime=224.92 cores=0,2,4,6
/proc/12088/task/12138/stat : 12138 (java) R 12085 12088 3242 0 -1 4202560 53196 12402 0 0 22464 21 5 2 20 0 15 0 97882067 14409482240 200221 33554432000 4194304 4196468 140726254507952 140263325399744 140262922496768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12139] ppid=12085 vsize=14071760 memory=800880 CPUtime=0.96 cores=0,2,4,6
/proc/12088/task/12139/stat : 12139 (java) S 12085 12088 3242 0 -1 1077944384 1349 12402 0 0 82 7 5 2 20 0 15 0 97882068 14409482240 200221 33554432000 4194304 4196468 140726254507952 140263236234384 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12140] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.94 cores=0,2,4,6
/proc/12088/task/12140/stat : 12140 (java) S 12085 12088 3242 0 -1 1077944384 3301 12402 0 0 82 5 5 2 20 0 15 0 97882068 14409482240 200221 33554432000 4194304 4196468 140726254507952 140263235181584 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12141] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.93 cores=0,2,4,6
/proc/12088/task/12141/stat : 12141 (java) S 12085 12088 3242 0 -1 1077944384 1409 12402 0 0 80 6 5 2 20 0 15 0 97882068 14409482240 200221 33554432000 4194304 4196468 140726254507952 140263234128784 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12142] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.93 cores=0,2,4,6
/proc/12088/task/12142/stat : 12142 (java) S 12085 12088 3242 0 -1 1077944384 3335 12402 0 0 79 7 5 2 20 0 15 0 97882068 14409482240 200221 33554432000 4194304 4196468 140726254507952 140263233075984 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12143] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.99 cores=0,2,4,6
/proc/12088/task/12143/stat : 12143 (java) S 12085 12088 3242 0 -1 1077944384 4749 12402 0 0 88 4 5 2 20 0 15 0 97882069 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262795352432 140263321176706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12144] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12144/stat : 12144 (java) S 12085 12088 3242 0 -1 1077944384 54 12402 0 0 0 0 5 2 20 0 15 0 97882070 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262794298528 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12145] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12145/stat : 12145 (java) S 12085 12088 3242 0 -1 1077944384 46 12402 0 0 0 0 5 2 20 0 15 0 97882070 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262793245568 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12146] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12146/stat : 12146 (java) S 12085 12088 3242 0 -1 1077944384 3 12402 0 0 0 0 5 2 20 0 15 0 97882073 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262792193872 140263321184155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12147] ppid=12085 vsize=14071760 memory=800884 CPUtime=10.22 cores=0,2,4,6
/proc/12088/task/12147/stat : 12147 (java) S 12085 12088 3242 0 -1 1077944384 13811 12402 0 0 1010 5 5 2 20 0 15 0 97882073 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262791142256 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12148] ppid=12085 vsize=14071760 memory=800884 CPUtime=9.55 cores=0,2,4,6
/proc/12088/task/12148/stat : 12148 (java) S 12085 12088 3242 0 -1 1077944384 7162 12402 0 0 945 3 5 2 20 0 15 0 97882073 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262790089456 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12149] ppid=12085 vsize=14071760 memory=800884 CPUtime=2.95 cores=0,2,4,6
/proc/12088/task/12149/stat : 12149 (java) S 12085 12088 3242 0 -1 1077944384 9667 12402 0 0 283 5 5 2 20 0 15 0 97882073 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262789036656 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12150] ppid=12085 vsize=14071760 memory=800884 CPUtime=0.07 cores=0,2,4,6
/proc/12088/task/12150/stat : 12150 (java) S 12085 12088 3242 0 -1 1077944384 3 12402 0 0 0 0 5 2 20 0 15 0 97882073 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262787984096 140263321175765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
[pid=12088/tid=12151] ppid=12085 vsize=14071760 memory=4144 CPUtime=0.18 cores=0,2,4,6
/proc/12088/task/12151/stat : 12151 (java) S 12085 12088 3242 0 -1 1077944384 645 12402 0 0 5 6 5 2 20 0 15 0 97882073 14409482240 200221 33554432000 4194304 4196468 140726254507952 140262786931376 140263321176706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 38920192 140726254516886 140726254519671 140726254519671 140726254522319 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 14071760 KiB
Current children cumulated memory: 800884 KiB
Child status: 143
Real time (s): 227.141
CPU time (s): 252.104
CPU user time (s): 251.394
CPU system time (s): 0.709506
CPU usage (%): 110.99
Max. virtual memory (cumulated for all children) (KiB): 14071808
Max. memory (cumulated for all children) (KiB): 803268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.394
system time used= 0.709506
maximum resident set size= 803780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116829
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40078
involuntary context switches= 1576
# summary of solver processes directly reported to runsolver:
# pid: 12088
# total CPU time (s): 252.104
# total CPU user time (s): 251.394
# total CPU system time (s): 0.709506
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.51047 second user time and 1.96954 second system time
The end