runsolver version 3.4.2 (svn: 4680) 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: 63794 MiB (59032 MiB free)
memory of node 1: 64507 MiB (58603 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4495863-1751161394/watcher-4495863-1751161394 -o /tmp/evaluation-result-4495863-1751161394/solver-4495863-1751161394 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751157827-19986 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4495863-1751161394 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4495863-1751161394.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=21095, runsolver pid=21092
Current StackSize limit: 8192 KiB
[startup+0.100072 s]*
/proc/loadavg: 4.32 4.21 4.19 7/330 21113
/proc/meminfo: memFree=120438856/131382112 swapFree=33010684/33010684
[pid=21095] ppid=21092 vsize=18930384 memory=50588 CPUtime=0.13 cores=4,6
/proc/21095/stat : 21095 (java) S 21092 21095 19975 0 -1 4194304 5828 0 0 0 10 3 0 0 20 0 18 0 31819166 19384713216 12647 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
/proc/21095/statm: 4732596 12647 5333 1 0 547042 0
[pid=21095/tid=21097] ppid=21092 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/21095/task/21097/stat : 21097 (java) R 21092 21095 19975 0 -1 4194368 4709 0 0 0 6 2 0 0 20 0 18 0 31819168 19384713216 12647 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21106] ppid=21092 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/21095/task/21106/stat : 21106 (Finalizer) S 21092 21095 19975 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31819172 19384713216 12647 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21113] ppid=21092 vsize=18930384 memory=59593594258114 CPUtime=0 cores=4,6
/proc/21095/task/21113/stat : 21113 (Common-Cleaner) S 21092 21095 19975 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31819173 19384713216 12647 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50588 KiB
[startup+0.223854 s]*
/proc/loadavg: 4.32 4.21 4.19 7/330 21113
/proc/meminfo: memFree=120432072/131382112 swapFree=33010684/33010684
[pid=21095] ppid=21092 vsize=18930384 memory=59512 CPUtime=0.33 cores=4,6
/proc/21095/stat : 21095 (java) S 21092 21095 19975 0 -1 4194304 6464 0 0 0 28 5 0 0 20 0 18 0 31819166 19384713216 14878 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
/proc/21095/statm: 4732596 14878 5365 1 0 547603 0
[pid=21095/tid=21097] ppid=21092 vsize=18930384 memory=4026597660 CPUtime=0.2 cores=4,6
/proc/21095/task/21097/stat : 21097 (java) R 21092 21095 19975 0 -1 4194368 5050 0 0 0 17 3 0 0 20 0 18 0 31819168 19384713216 14878 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21106] ppid=21092 vsize=18930384 memory=16142 CPUtime=0 cores=4,6
/proc/21095/task/21106/stat : 21106 (Finalizer) S 21092 21095 19975 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31819172 19384713216 14878 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21113] ppid=21092 vsize=18930384 memory=58494082614266 CPUtime=0 cores=4,6
/proc/21095/task/21113/stat : 21113 (Common-Cleaner) S 21092 21095 19975 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31819173 19384713216 14878 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59512 KiB
[startup+0.313885 s]*
/proc/loadavg: 4.32 4.21 4.19 7/330 21113
/proc/meminfo: memFree=120427976/131382112 swapFree=33010684/33010684
[pid=21095] ppid=21092 vsize=18930384 memory=60536 CPUtime=0.48 cores=4,6
/proc/21095/stat : 21095 (java) S 21092 21095 19975 0 -1 4194304 6713 0 0 0 43 5 0 0 20 0 18 0 31819166 19384713216 15134 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
/proc/21095/statm: 4732596 15134 5365 1 0 547828 0
[pid=21095/tid=21097] ppid=21092 vsize=18930384 memory=-6000919498409536365 CPUtime=0.29 cores=4,6
/proc/21095/task/21097/stat : 21097 (java) R 21092 21095 19975 0 -1 4194368 5240 0 0 0 26 3 0 0 20 0 18 0 31819168 19384713216 15134 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21106] ppid=21092 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/21095/task/21106/stat : 21106 (Finalizer) S 21092 21095 19975 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31819172 19384713216 15134 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21113] ppid=21092 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/21095/task/21113/stat : 21113 (Common-Cleaner) S 21092 21095 19975 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 31819173 19384713216 15134 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60536 KiB
[startup+0.700322 s]
/proc/loadavg: 4.32 4.21 4.19 7/331 21114
/proc/meminfo: memFree=120427976/131382112 swapFree=33010684/33010684
[pid=21095] ppid=21092 vsize=18996948 memory=88040 CPUtime=1.16 cores=4,6
/proc/21095/stat : 21095 (java) S 21092 21095 19975 0 -1 4194304 8672 0 0 0 109 7 0 0 20 0 19 0 31819166 19452874752 22010 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
/proc/21095/statm: 4749237 22010 5429 1 0 549221 0
[pid=21095/tid=21097] ppid=21092 vsize=18996948 memory=17024 CPUtime=0.59 cores=4,6
/proc/21095/task/21097/stat : 21097 (java) R 21092 21095 19975 0 -1 4194368 5434 0 0 0 56 3 0 0 20 0 19 0 31819168 19452874752 22010 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21106] ppid=21092 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/21095/task/21106/stat : 21106 (Finalizer) S 21092 21095 19975 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31819172 19452874752 22010 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21113] ppid=21092 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/21095/task/21113/stat : 21113 (Common-Cleaner) S 21092 21095 19975 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 31819173 19452874752 22010 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21114] ppid=21092 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/21095/task/21114/stat : 21114 (Timer-0) S 21092 21095 19975 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31819208 19452874752 22010 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 88040 KiB
[startup+1.50029 s]
/proc/loadavg: 4.32 4.21 4.19 7/331 21114
/proc/meminfo: memFree=120360300/131382112 swapFree=33010684/33010684
[pid=21095] ppid=21092 vsize=19063512 memory=167368 CPUtime=2.73 cores=4,6
/proc/21095/stat : 21095 (java) S 21092 21095 19975 0 -1 4194304 16752 0 0 0 262 11 0 0 20 0 20 0 31819166 19521036288 41842 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
/proc/21095/statm: 4765878 41842 5461 1 0 551779 0
[pid=21095/tid=21097] ppid=21092 vsize=19063512 memory=0 CPUtime=1.27 cores=4,6
/proc/21095/task/21097/stat : 21097 (java) R 21092 21095 19975 0 -1 4194368 5907 0 0 0 122 5 0 0 20 0 20 0 31819168 19521036288 41842 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21106] ppid=21092 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/21095/task/21106/stat : 21106 (Finalizer) S 21092 21095 19975 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31819172 19521036288 41842 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21113] ppid=21092 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/21095/task/21113/stat : 21113 (Common-Cleaner) S 21092 21095 19975 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31819173 19521036288 41842 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21114] ppid=21092 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/21095/task/21114/stat : 21114 (Timer-0) S 21092 21095 19975 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31819208 19521036288 41842 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 167368 KiB
[startup+3.10579 s]
/proc/loadavg: 4.37 4.23 4.19 6/332 21115
/proc/meminfo: memFree=120056764/131382112 swapFree=33010684/33010684
[pid=21095] ppid=21092 vsize=19063512 memory=432656 CPUtime=5.91 cores=4,6
/proc/21095/stat : 21095 (java) S 21092 21095 19975 0 -1 4194304 29400 0 0 0 572 19 0 0 20 0 20 0 31819166 19521036288 108164 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
/proc/21095/statm: 4765878 108164 5461 1 0 559095 0
[pid=21095/tid=21097] ppid=21092 vsize=19063512 memory=10624 CPUtime=2.81 cores=4,6
/proc/21095/task/21097/stat : 21097 (java) R 21092 21095 19975 0 -1 4194368 6523 0 0 0 271 10 0 0 20 0 20 0 31819168 19521036288 108164 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21106] ppid=21092 vsize=19063512 memory=-6000919498409536365 CPUtime=0 cores=4,6
/proc/21095/task/21106/stat : 21106 (Finalizer) S 21092 21095 19975 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31819172 19521036288 108164 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21113] ppid=21092 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/21095/task/21113/stat : 21113 (Common-Cleaner) S 21092 21095 19975 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 31819173 19521036288 108164 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21114] ppid=21092 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/21095/task/21114/stat : 21114 (Timer-0) S 21092 21095 19975 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31819208 19521036288 108164 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
Current children cumulated CPU time: 5.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 432656 KiB
[startup+6.30024 s]
/proc/loadavg: 4.37 4.23 4.19 6/332 21115
/proc/meminfo: memFree=119587776/131382112 swapFree=33010684/33010684
[pid=21095] ppid=21092 vsize=19063512 memory=740352 CPUtime=11.71 cores=4,6
/proc/21095/stat : 21095 (java) S 21092 21095 19975 0 -1 4194304 33905 0 0 0 1143 28 0 0 20 0 20 0 31819166 19521036288 185088 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
/proc/21095/statm: 4765878 185088 5461 1 0 559163 0
[pid=21095/tid=21097] ppid=21092 vsize=19063512 memory=0 CPUtime=5.88 cores=4,6
/proc/21095/task/21097/stat : 21097 (java) R 21092 21095 19975 0 -1 4194368 7595 0 0 0 571 17 0 0 20 0 20 0 31819168 19521036288 185088 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21106] ppid=21092 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/21095/task/21106/stat : 21106 (Finalizer) S 21092 21095 19975 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31819172 19521036288 185088 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21113] ppid=21092 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/21095/task/21113/stat : 21113 (Common-Cleaner) S 21092 21095 19975 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 31819173 19521036288 185088 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21114] ppid=21092 vsize=19063512 memory=167368 CPUtime=0 cores=4,6
/proc/21095/task/21114/stat : 21114 (Timer-0) S 21092 21095 19975 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31819208 19521036288 185088 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
Current children cumulated CPU time: 11.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 740352 KiB
[startup+12.7004 s]
/proc/loadavg: 4.34 4.22 4.19 6/332 21115
/proc/meminfo: memFree=118584896/131382112 swapFree=33010684/33010684
[pid=21095] ppid=21092 vsize=19063512 memory=1531600 CPUtime=18.85 cores=4,6
/proc/21095/stat : 21095 (java) S 21092 21095 19975 0 -1 4194304 38098 0 0 0 1839 46 0 0 20 0 20 0 31819166 19521036288 382900 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
/proc/21095/statm: 4765878 382900 5461 1 0 665689 0
[pid=21095/tid=21097] ppid=21092 vsize=19063512 memory=167368 CPUtime=11.98 cores=4,6
/proc/21095/task/21097/stat : 21097 (java) R 21092 21095 19975 0 -1 4194368 9301 0 0 0 1164 34 0 0 20 0 20 0 31819168 19521036288 382900 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21106] ppid=21092 vsize=19063512 memory=1531600 CPUtime=0 cores=4,6
/proc/21095/task/21106/stat : 21106 (Finalizer) S 21092 21095 19975 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31819172 19521036288 382900 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21113] ppid=21092 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/21095/task/21113/stat : 21113 (Common-Cleaner) S 21092 21095 19975 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 31819173 19521036288 382900 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21114] ppid=21092 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/21095/task/21114/stat : 21114 (Timer-0) S 21092 21095 19975 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31819208 19521036288 382900 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
Current children cumulated CPU time: 18.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1531600 KiB
[startup+25.5005 s]
/proc/loadavg: 4.35 4.23 4.19 5/332 21115
/proc/meminfo: memFree=117376732/131382112 swapFree=33010684/33010684
[pid=21095] ppid=21092 vsize=19063512 memory=2730488 CPUtime=31.83 cores=4,6
/proc/21095/stat : 21095 (java) S 21092 21095 19975 0 -1 4194304 41878 0 0 0 3108 75 0 0 20 0 20 0 31819166 19521036288 682622 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
/proc/21095/statm: 4765878 682622 5461 1 0 949784 0
[pid=21095/tid=21097] ppid=21092 vsize=19063512 memory=-6000919498409536365 CPUtime=24.23 cores=4,6
/proc/21095/task/21097/stat : 21097 (java) R 21092 21095 19975 0 -1 4194368 10875 0 0 0 2363 60 0 0 20 0 20 0 31819168 19521036288 682622 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21106] ppid=21092 vsize=19063512 memory=2198000 CPUtime=0 cores=4,6
/proc/21095/task/21106/stat : 21106 (Finalizer) S 21092 21095 19975 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31819172 19521036288 682622 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21113] ppid=21092 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/21095/task/21113/stat : 21113 (Common-Cleaner) S 21092 21095 19975 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 31819173 19521036288 682622 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21114] ppid=21092 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/21095/task/21114/stat : 21114 (Timer-0) S 21092 21095 19975 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31819208 19521036288 682622 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
Current children cumulated CPU time: 31.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2730488 KiB
[startup+51.1098 s]
/proc/loadavg: 4.29 4.23 4.19 5/333 21117
/proc/meminfo: memFree=116930732/131382112 swapFree=33010684/33010684
[pid=21095] ppid=21092 vsize=19063512 memory=2734592 CPUtime=57.56 cores=4,6
/proc/21095/stat : 21095 (java) S 21092 21095 19975 0 -1 4194304 45956 0 0 0 5677 79 0 0 20 0 20 0 31819166 19521036288 683648 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
/proc/21095/statm: 4765878 683648 5461 1 0 949785 0
[pid=21095/tid=21097] ppid=21092 vsize=19063512 memory=2734592 CPUtime=49.49 cores=4,6
/proc/21095/task/21097/stat : 21097 (java) R 21092 21095 19975 0 -1 4194368 12586 0 0 0 4886 63 0 0 20 0 20 0 31819168 19521036288 683648 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21106] ppid=21092 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/21095/task/21106/stat : 21106 (Finalizer) S 21092 21095 19975 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31819172 19521036288 683648 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.10 4.18 4.17 5/330 21414
/proc/meminfo: memFree=118875756/131382112 swapFree=33010684/33010684
[pid=21095] ppid=21092 vsize=19063512 memory=3197772 CPUtime=3289.14 cores=4,6
/proc/21095/stat : 21095 (java) S 21092 21095 19975 0 -1 4194304 132935 0 0 0 328572 342 0 0 20 0 20 0 31819166 19521036288 799443 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
/proc/21095/statm: 4765878 799443 5461 1 0 950049 0
[pid=21095/tid=21097] ppid=21092 vsize=19063512 memory=3197772 CPUtime=3246.57 cores=4,6
/proc/21095/task/21097/stat : 21097 (java) R 21092 21095 19975 0 -1 4194368 65803 0 0 0 324543 114 0 0 20 0 20 0 31819168 19521036288 799443 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21106] ppid=21092 vsize=19063512 memory=3197772 CPUtime=0 cores=4,6
/proc/21095/task/21106/stat : 21106 (Finalizer) S 21092 21095 19975 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31819172 19521036288 799443 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21113] ppid=21092 vsize=19063512 memory=3197772 CPUtime=0 cores=4,6
/proc/21095/task/21113/stat : 21113 (Common-Cleaner) S 21092 21095 19975 0 -1 4194368 2361 0 0 0 0 0 0 0 20 0 20 0 31819173 19521036288 799443 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21114] ppid=21092 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/21095/task/21114/stat : 21114 (Timer-0) S 21092 21095 19975 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31819208 19521036288 799443 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
Current children cumulated CPU time: 3289.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3197772 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.20 4.18 5/330 21416
/proc/meminfo: memFree=118851408/131382112 swapFree=33010684/33010684
[pid=21095] ppid=21092 vsize=19063512 memory=3205996 CPUtime=3349.21 cores=4,6
/proc/21095/stat : 21095 (java) S 21092 21095 19975 0 -1 4194304 133421 0 0 0 334576 345 0 0 20 0 20 0 31819166 19521036288 801499 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
/proc/21095/statm: 4765878 801499 5461 1 0 950049 0
[pid=21095/tid=21097] ppid=21092 vsize=19063512 memory=3199824 CPUtime=3306.07 cores=4,6
/proc/21095/task/21097/stat : 21097 (java) R 21092 21095 19975 0 -1 4194368 66203 0 0 0 330493 114 0 0 20 0 20 0 31819168 19521036288 801499 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21106] ppid=21092 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/21095/task/21106/stat : 21106 (Finalizer) S 21092 21095 19975 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31819172 19521036288 801499 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21113] ppid=21092 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/21095/task/21113/stat : 21113 (Common-Cleaner) S 21092 21095 19975 0 -1 4194368 2416 0 0 0 0 0 0 0 20 0 20 0 31819173 19521036288 801499 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21114] ppid=21092 vsize=19063512 memory=3205996 CPUtime=0 cores=4,6
/proc/21095/task/21114/stat : 21114 (Timer-0) S 21092 21095 19975 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31819208 19521036288 801499 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
Current children cumulated CPU time: 3349.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3205996 KiB
[startup+3402.3 s]
/proc/loadavg: 4.26 4.20 4.18 5/329 21421
/proc/meminfo: memFree=118806392/131382112 swapFree=33010684/33010684
[pid=21095] ppid=21092 vsize=19063512 memory=3212140 CPUtime=3409.36 cores=4,6
/proc/21095/stat : 21095 (java) S 21092 21095 19975 0 -1 4194304 136077 0 0 0 340586 350 0 0 20 0 20 0 31819166 19521036288 803035 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
/proc/21095/statm: 4765878 803035 5461 1 0 950049 0
[pid=21095/tid=21097] ppid=21092 vsize=19063512 memory=17024 CPUtime=3365.51 cores=4,6
/proc/21095/task/21097/stat : 21097 (java) R 21092 21095 19975 0 -1 4194368 67977 0 0 0 336436 115 0 0 20 0 20 0 31819168 19521036288 803035 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21106] ppid=21092 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/21095/task/21106/stat : 21106 (Finalizer) S 21092 21095 19975 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31819172 19521036288 803035 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21113] ppid=21092 vsize=19063512 memory=3210092 CPUtime=0 cores=4,6
/proc/21095/task/21113/stat : 21113 (Common-Cleaner) S 21092 21095 19975 0 -1 4194368 2416 0 0 0 0 0 0 0 20 0 20 0 31819173 19521036288 803035 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21114] ppid=21092 vsize=19063512 memory=3212140 CPUtime=0 cores=4,6
/proc/21095/task/21114/stat : 21114 (Timer-0) S 21092 21095 19975 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31819208 19521036288 803035 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
Current children cumulated CPU time: 3409.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3212140 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.18 4.18 5/329 21423
/proc/meminfo: memFree=118765908/131382112 swapFree=33010684/33010684
[pid=21095] ppid=21092 vsize=19063512 memory=3218324 CPUtime=3469.81 cores=4,6
/proc/21095/stat : 21095 (java) S 21092 21095 19975 0 -1 4194304 138338 0 0 0 346626 355 0 0 20 0 20 0 31819166 19521036288 804581 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
/proc/21095/statm: 4765878 804581 5461 1 0 950049 0
[pid=21095/tid=21097] ppid=21092 vsize=19063512 memory=14560 CPUtime=3424.99 cores=4,6
/proc/21095/task/21097/stat : 21097 (java) R 21092 21095 19975 0 -1 4194368 69288 0 0 0 342383 116 0 0 20 0 20 0 31819168 19521036288 804581 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21106] ppid=21092 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/21095/task/21106/stat : 21106 (Finalizer) S 21092 21095 19975 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31819172 19521036288 804581 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21113] ppid=21092 vsize=19063512 memory=3216272 CPUtime=0 cores=4,6
/proc/21095/task/21113/stat : 21113 (Common-Cleaner) S 21092 21095 19975 0 -1 4194368 2472 0 0 0 0 0 0 0 20 0 20 0 31819173 19521036288 804581 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21114] ppid=21092 vsize=19063512 memory=3216272 CPUtime=0 cores=4,6
/proc/21095/task/21114/stat : 21114 (Timer-0) S 21092 21095 19975 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31819208 19521036288 804581 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
Current children cumulated CPU time: 3469.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3218324 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.20 4.18 5/330 21426
/proc/meminfo: memFree=118748148/131382112 swapFree=33010684/33010684
[pid=21095] ppid=21092 vsize=19063512 memory=3222420 CPUtime=3529.39 cores=4,6
/proc/21095/stat : 21095 (java) S 21092 21095 19975 0 -1 4194304 138583 0 0 0 352580 359 0 0 20 0 20 0 31819166 19521036288 805605 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
/proc/21095/statm: 4765878 805605 5461 1 0 950049 0
[pid=21095/tid=21097] ppid=21092 vsize=19063512 memory=14560 CPUtime=3483.41 cores=4,6
/proc/21095/task/21097/stat : 21097 (java) R 21092 21095 19975 0 -1 4194368 69416 0 0 0 348224 117 0 0 20 0 20 0 31819168 19521036288 805605 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21106] ppid=21092 vsize=19063512 memory=17024 CPUtime=0 cores=4,6
/proc/21095/task/21106/stat : 21106 (Finalizer) S 21092 21095 19975 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31819172 19521036288 805605 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21113] ppid=21092 vsize=19063512 memory=3222420 CPUtime=0 cores=4,6
/proc/21095/task/21113/stat : 21113 (Common-Cleaner) S 21092 21095 19975 0 -1 4194368 2544 0 0 0 0 0 0 0 20 0 20 0 31819173 19521036288 805605 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21114] ppid=21092 vsize=19063512 memory=17024 CPUtime=0 cores=4,6
/proc/21095/task/21114/stat : 21114 (Timer-0) S 21092 21095 19975 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31819208 19521036288 805605 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
Current children cumulated CPU time: 3529.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3222420 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.18 4.18 6/328 21494
/proc/meminfo: memFree=120807408/131382112 swapFree=33010684/33010684
[pid=21095] ppid=21092 vsize=19063512 memory=3232664 CPUtime=3589.48 cores=4,6
/proc/21095/stat : 21095 (java) S 21092 21095 19975 0 -1 4194304 140869 0 0 0 358584 364 0 0 20 0 20 0 31819166 19521036288 808166 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
/proc/21095/statm: 4765878 808166 5461 1 0 950049 0
[pid=21095/tid=21097] ppid=21092 vsize=19063512 memory=3230616 CPUtime=3542.82 cores=4,6
/proc/21095/task/21097/stat : 21097 (java) R 21092 21095 19975 0 -1 4194368 70981 0 0 0 354165 117 0 0 20 0 20 0 31819168 19521036288 808166 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21106] ppid=21092 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/21095/task/21106/stat : 21106 (Finalizer) S 21092 21095 19975 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31819172 19521036288 808166 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21113] ppid=21092 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/21095/task/21113/stat : 21113 (Common-Cleaner) S 21092 21095 19975 0 -1 4194368 2545 0 0 0 0 0 0 0 20 0 20 0 31819173 19521036288 808166 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21114] ppid=21092 vsize=19063512 memory=3232664 CPUtime=0 cores=4,6
/proc/21095/task/21114/stat : 21114 (Timer-0) S 21092 21095 19975 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31819208 19521036288 808166 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
Current children cumulated CPU time: 3589.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3232664 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3592.9 s]
/proc/loadavg: 4.19 4.19 4.18 5/328 21494
/proc/meminfo: memFree=119784160/131382112 swapFree=33010684/33010684
[pid=21095] ppid=21092 vsize=19063512 memory=3232664 CPUtime=3600.09 cores=4,6
/proc/21095/stat : 21095 (java) S 21092 21095 19975 0 -1 4194304 141009 0 0 0 359644 365 0 0 20 0 20 0 31819166 19521036288 808166 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
/proc/21095/statm: 4765878 808166 5461 1 0 950049 0
[pid=21095/tid=21097] ppid=21092 vsize=19063512 memory=3197772 CPUtime=3553.37 cores=4,6
/proc/21095/task/21097/stat : 21097 (java) R 21092 21095 19975 0 -1 4194368 71117 0 0 0 355220 117 0 0 20 0 20 0 31819168 19521036288 808166 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21106] ppid=21092 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/21095/task/21106/stat : 21106 (Finalizer) S 21092 21095 19975 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31819172 19521036288 808166 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21113] ppid=21092 vsize=19063512 memory=3228568 CPUtime=0 cores=4,6
/proc/21095/task/21113/stat : 21113 (Common-Cleaner) S 21092 21095 19975 0 -1 4194368 2545 0 0 0 0 0 0 0 20 0 20 0 31819173 19521036288 808166 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21114] ppid=21092 vsize=19063512 memory=3232664 CPUtime=0 cores=4,6
/proc/21095/task/21114/stat : 21114 (Timer-0) S 21092 21095 19975 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31819208 19521036288 808166 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3232664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3593.07 s]
# the end of solver process 21095 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.65 s, system=3.68478 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3593 s]*
/proc/loadavg: 4.17 4.19 4.18 7/329 21497
/proc/meminfo: memFree=119783208/131382112 swapFree=33010684/33010684
[pid=21095] ppid=21092 vsize=19263204 memory=3233688 CPUtime=3600.31 cores=4,6
/proc/21095/stat : 21095 (java) S 21092 21095 19975 0 -1 4194304 143714 0 0 0 359665 366 0 0 20 0 15 0 31819166 19725520896 808422 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
/proc/21095/statm: 4815801 808422 5493 1 0 951051 0
[pid=21095/tid=21097] ppid=21092 vsize=19263204 memory=-6000919502737795949 CPUtime=3553.47 cores=4,6
/proc/21095/task/21097/stat : 21097 (java) S 21092 21095 19975 0 -1 4194368 71363 0 0 0 355230 117 0 0 20 0 15 0 31819168 19725520896 808422 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21106] ppid=21092 vsize=19263204 memory=2744 CPUtime=0 cores=4,6
/proc/21095/task/21106/stat : 21106 (Finalizer) S 21092 21095 19975 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 31819172 19725520896 808422 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
[pid=21095/tid=21113] ppid=21092 vsize=19263204 memory=17100 CPUtime=0 cores=4,6
/proc/21095/task/21113/stat : 21113 (Common-Cleaner) S 21092 21095 19975 0 -1 4194368 2545 0 0 0 0 0 0 0 20 0 15 0 31819173 19725520896 808422 18446744073709551615 93832241283072 93832241286768 140723248102192 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93832241294584 93832241295376 93832251744256 140723248105773 140723248105958 140723248105958 140723248111560 0
Current children cumulated CPU time: 3600.31 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3233688 KiB
Child status: 143
Real time (s): 3593.07
CPU time (s): 3600.34
CPU user time (s): 3596.65
CPU system time (s): 3.68478
CPU usage (%): 100.202
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3233688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.65
system time used= 3.68478
maximum resident set size= 3233816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143743
page faults= 0
swaps= 0
block input operations= 0
block output operations= 267528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126252
involuntary context switches= 10633
# summary of solver processes directly reported to runsolver:
# pid: 21095
# total CPU time (s): 3600.34
# total CPU user time (s): 3596.65
# total CPU system time (s): 3.68478
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0586 second user time and 38.8284 second system time
The end