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: 63665 MiB (62839 MiB free)
memory of node 1: 64507 MiB (60404 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512293-1751533144/watcher-4512293-1751533144 -o /tmp/evaluation-result-4512293-1751533144/solver-4512293-1751533144 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751533144-79163 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4512293-1751533144.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 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
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB
solver pid=79204, runsolver pid=79196
[startup+0.10006 s]*
/proc/loadavg: 0.80 1.29 1.89 8/317 79271
/proc/meminfo: memFree=126142240/131249996 swapFree=33010672/33010684
[pid=79204] ppid=79196 vsize=18930384 memory=53208 CPUtime=0.11 cores=5,7
/proc/79204/stat : 79204 (java) S 79196 79204 79150 0 -1 4194304 6480 0 0 0 9 2 0 0 20 0 18 0 68992143 19384713216 13302 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
/proc/79204/statm: 4732596 13302 5337 1 0 547567 0
[pid=79204/tid=79217] ppid=79196 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=5,7
/proc/79204/task/79217/stat : 79217 (java) R 79196 79204 79150 0 -1 4194368 5012 0 0 0 5 1 0 0 20 0 18 0 68992145 19384713216 13302 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79243] ppid=79196 vsize=18930384 memory=16198 CPUtime=0 cores=5,7
/proc/79204/task/79243/stat : 79243 (Finalizer) S 79196 79204 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68992147 19384713216 13302 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79253] ppid=79196 vsize=18930384 memory=59585004307431 CPUtime=0 cores=5,7
/proc/79204/task/79253/stat : 79253 (Common-Cleaner) S 79196 79204 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 68992148 19384713216 13302 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53208 KiB
[startup+0.205723 s]*
/proc/loadavg: 0.80 1.29 1.89 12/333 79287
/proc/meminfo: memFree=126077208/131249996 swapFree=33010672/33010684
[pid=79204] ppid=79196 vsize=18930384 memory=62248 CPUtime=0.28 cores=5,7
/proc/79204/stat : 79204 (java) S 79196 79204 79150 0 -1 4194304 7095 0 0 0 26 2 0 0 20 0 18 0 68992143 19384713216 15562 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
/proc/79204/statm: 4732596 15562 5433 1 0 547972 0
[pid=79204/tid=79217] ppid=79196 vsize=18930384 memory=4026728732 CPUtime=0.15 cores=5,7
/proc/79204/task/79217/stat : 79217 (java) R 79196 79204 79150 0 -1 4194368 5380 0 0 0 14 1 0 0 20 0 18 0 68992145 19384713216 15562 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79243] ppid=79196 vsize=18930384 memory=16198 CPUtime=0 cores=5,7
/proc/79204/task/79243/stat : 79243 (Finalizer) S 79196 79204 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 68992147 19384713216 15562 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79253] ppid=79196 vsize=18930384 memory=59585004307431 CPUtime=0 cores=5,7
/proc/79204/task/79253/stat : 79253 (Common-Cleaner) S 79196 79204 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 68992148 19384713216 15562 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62248 KiB
[startup+0.305603 s]*
/proc/loadavg: 0.80 1.29 1.89 12/335 79289
/proc/meminfo: memFree=126012872/131249996 swapFree=33010672/33010684
[pid=79204] ppid=79196 vsize=18996948 memory=71936 CPUtime=0.47 cores=5,7
/proc/79204/stat : 79204 (java) S 79196 79204 79150 0 -1 4194304 7637 0 0 0 44 3 0 0 20 0 19 0 68992143 19452874752 17984 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
/proc/79204/statm: 4749237 17984 5465 1 0 548495 0
[pid=79204/tid=79217] ppid=79196 vsize=18996948 memory=-6000919481279865704 CPUtime=0.24 cores=5,7
/proc/79204/task/79217/stat : 79217 (java) R 79196 79204 79150 0 -1 4194368 5512 0 0 0 23 1 0 0 20 0 19 0 68992145 19452874752 17984 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79243] ppid=79196 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/79204/task/79243/stat : 79243 (Finalizer) S 79196 79204 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 68992147 19452874752 17984 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79253] ppid=79196 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/79204/task/79253/stat : 79253 (Common-Cleaner) S 79196 79204 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 68992148 19452874752 17984 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79289] ppid=79196 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/79204/task/79289/stat : 79289 (Timer-0) S 79196 79204 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 68992171 19452874752 17984 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71936 KiB
[startup+0.700245 s]
/proc/loadavg: 0.80 1.29 1.89 10/337 79291
/proc/meminfo: memFree=125788804/131249996 swapFree=33010672/33010684
[pid=79204] ppid=79196 vsize=19063512 memory=166232 CPUtime=1.23 cores=5,7
/proc/79204/stat : 79204 (java) S 79196 79204 79150 0 -1 4194304 11698 0 0 0 118 5 0 0 20 0 20 0 68992143 19521036288 41558 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
/proc/79204/statm: 4765878 41558 5529 1 0 550986 0
[pid=79204/tid=79217] ppid=79196 vsize=19063512 memory=18688 CPUtime=0.58 cores=5,7
/proc/79204/task/79217/stat : 79217 (java) R 79196 79204 79150 0 -1 4194368 5575 0 0 0 55 3 0 0 20 0 20 0 68992145 19521036288 41558 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79243] ppid=79196 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/79204/task/79243/stat : 79243 (Finalizer) S 79196 79204 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992147 19521036288 41558 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79253] ppid=79196 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/79204/task/79253/stat : 79253 (Common-Cleaner) S 79196 79204 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 41558 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79289] ppid=79196 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/79204/task/79289/stat : 79289 (Timer-0) S 79196 79204 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992171 19521036288 41558 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 166232 KiB
[startup+1.50025 s]
/proc/loadavg: 0.80 1.29 1.89 9/340 79294
/proc/meminfo: memFree=125608336/131249996 swapFree=33010672/33010684
[pid=79204] ppid=79196 vsize=19063512 memory=172116 CPUtime=2.74 cores=5,7
/proc/79204/stat : 79204 (java) S 79196 79204 79150 0 -1 4194304 16459 0 0 0 268 6 0 0 20 0 20 0 68992143 19521036288 43029 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
/proc/79204/statm: 4765878 43029 5529 1 0 552315 0
[pid=79204/tid=79217] ppid=79196 vsize=19063512 memory=10752 CPUtime=1.36 cores=5,7
/proc/79204/task/79217/stat : 79217 (java) R 79196 79204 79150 0 -1 4194368 5856 0 0 0 133 3 0 0 20 0 20 0 68992145 19521036288 43029 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79243] ppid=79196 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/79204/task/79243/stat : 79243 (Finalizer) S 79196 79204 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992147 19521036288 43029 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79253] ppid=79196 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/79204/task/79253/stat : 79253 (Common-Cleaner) S 79196 79204 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 43029 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79289] ppid=79196 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/79204/task/79289/stat : 79289 (Timer-0) S 79196 79204 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992171 19521036288 43029 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172116 KiB
[startup+3.10555 s]
/proc/loadavg: 1.54 1.44 1.93 7/341 79295
/proc/meminfo: memFree=124690832/131249996 swapFree=33010672/33010684
[pid=79204] ppid=79196 vsize=19063512 memory=182840 CPUtime=5.52 cores=5,7
/proc/79204/stat : 79204 (java) S 79196 79204 79150 0 -1 4194304 22622 0 0 0 545 7 0 0 20 0 20 0 68992143 19521036288 45710 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
/proc/79204/statm: 4765878 45710 5529 1 0 553265 0
[pid=79204/tid=79217] ppid=79196 vsize=19063512 memory=10752 CPUtime=2.92 cores=5,7
/proc/79204/task/79217/stat : 79217 (java) R 79196 79204 79150 0 -1 4194368 6288 0 0 0 289 3 0 0 20 0 20 0 68992145 19521036288 45710 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79243] ppid=79196 vsize=19063512 memory=-6000919481229599592 CPUtime=0 cores=5,7
/proc/79204/task/79243/stat : 79243 (Finalizer) S 79196 79204 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992147 19521036288 45710 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79253] ppid=79196 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/79204/task/79253/stat : 79253 (Common-Cleaner) S 79196 79204 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 45710 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79289] ppid=79196 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/79204/task/79289/stat : 79289 (Timer-0) S 79196 79204 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992171 19521036288 45710 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
Current children cumulated CPU time: 5.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182840 KiB
[startup+6.3002 s]
/proc/loadavg: 1.54 1.44 1.93 6/341 79295
/proc/meminfo: memFree=123031780/131249996 swapFree=33010672/33010684
[pid=79204] ppid=79196 vsize=19063512 memory=197804 CPUtime=9.95 cores=5,7
/proc/79204/stat : 79204 (java) S 79196 79204 79150 0 -1 4194304 23261 0 0 0 987 8 0 0 20 0 20 0 68992143 19521036288 49451 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
/proc/79204/statm: 4765878 49451 5529 1 0 553599 0
[pid=79204/tid=79217] ppid=79196 vsize=19063512 memory=0 CPUtime=6.04 cores=5,7
/proc/79204/task/79217/stat : 79217 (java) R 79196 79204 79150 0 -1 4194368 6303 0 0 0 601 3 0 0 20 0 20 0 68992145 19521036288 49451 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79243] ppid=79196 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/79204/task/79243/stat : 79243 (Finalizer) S 79196 79204 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992147 19521036288 49451 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79253] ppid=79196 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/79204/task/79253/stat : 79253 (Common-Cleaner) S 79196 79204 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 49451 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79289] ppid=79196 vsize=19063512 memory=172244 CPUtime=0 cores=5,7
/proc/79204/task/79289/stat : 79289 (Timer-0) S 79196 79204 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992171 19521036288 49451 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
Current children cumulated CPU time: 9.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 197804 KiB
[startup+12.7002 s]
/proc/loadavg: 2.23 1.59 1.98 5/341 79295
/proc/meminfo: memFree=121596968/131249996 swapFree=33010672/33010684
[pid=79204] ppid=79196 vsize=19063512 memory=418376 CPUtime=16.65 cores=5,7
/proc/79204/stat : 79204 (java) S 79196 79204 79150 0 -1 4194304 28275 0 0 0 1652 13 0 0 20 0 20 0 68992143 19521036288 104594 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
/proc/79204/statm: 4765878 104594 5529 1 0 553599 0
[pid=79204/tid=79217] ppid=79196 vsize=19063512 memory=172244 CPUtime=12.39 cores=5,7
/proc/79204/task/79217/stat : 79217 (java) R 79196 79204 79150 0 -1 4194368 7062 0 0 0 1233 6 0 0 20 0 20 0 68992145 19521036288 104594 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79243] ppid=79196 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/79204/task/79243/stat : 79243 (Finalizer) S 79196 79204 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992147 19521036288 104594 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79253] ppid=79196 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/79204/task/79253/stat : 79253 (Common-Cleaner) S 79196 79204 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 104594 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79289] ppid=79196 vsize=19063512 memory=5760 CPUtime=0 cores=5,7
/proc/79204/task/79289/stat : 79289 (Timer-0) S 79196 79204 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992171 19521036288 104594 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
Current children cumulated CPU time: 16.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 418376 KiB
[startup+25.5002 s]
/proc/loadavg: 2.50 1.67 2.00 5/341 79295
/proc/meminfo: memFree=119565776/131249996 swapFree=33010672/33010684
[pid=79204] ppid=79196 vsize=19063512 memory=1028836 CPUtime=29.52 cores=5,7
/proc/79204/stat : 79204 (java) S 79196 79204 79150 0 -1 4194304 32710 0 0 0 2925 27 0 0 20 0 20 0 68992143 19521036288 257209 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
/proc/79204/statm: 4765878 257209 5529 1 0 553615 0
[pid=79204/tid=79217] ppid=79196 vsize=19063512 memory=5760 CPUtime=25.08 cores=5,7
/proc/79204/task/79217/stat : 79217 (java) R 79196 79204 79150 0 -1 4194368 8460 0 0 0 2490 18 0 0 20 0 20 0 68992145 19521036288 257209 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79243] ppid=79196 vsize=19063512 memory=825996 CPUtime=0 cores=5,7
/proc/79204/task/79243/stat : 79243 (Finalizer) S 79196 79204 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992147 19521036288 257209 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79253] ppid=79196 vsize=19063512 memory=18688 CPUtime=0 cores=5,7
/proc/79204/task/79253/stat : 79253 (Common-Cleaner) S 79196 79204 79150 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 257209 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79289] ppid=79196 vsize=19063512 memory=-6000919481229599592 CPUtime=0 cores=5,7
/proc/79204/task/79289/stat : 79289 (Timer-0) S 79196 79204 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992171 19521036288 257209 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
Current children cumulated CPU time: 29.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1028836 KiB
[startup+51.1057 s]
/proc/loadavg: 3.16 1.89 2.06 5/341 79295
/proc/meminfo: memFree=117271904/131249996 swapFree=33010672/33010684
[pid=79204] ppid=79196 vsize=19063512 memory=1166076 CPUtime=55.24 cores=5,7
/proc/79204/stat : 79204 (java) S 79196 79204 79150 0 -1 4194304 32959 0 0 0 5493 31 0 0 20 0 20 0 68992143 19521036288 291519 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
/proc/79204/statm: 4765878 291519 5529 1 0 553615 0
[pid=79204/tid=79217] ppid=79196 vsize=19063512 memory=-6000919481229599592 CPUtime=50.44 cores=5,7
/proc/79204/task/79217/stat : 79217 (java) R 79196 79204 79150 0 -1 4194368 8558 0 0 0 5026 18 0 0 20 0 20 0 68992145 19521036288 291519 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79243] ppid=79196 vsize=19063512 memory=1151740 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/meminfo: memFree=100624772/131249996 swapFree=33010672/33010684
[pid=79204] ppid=79196 vsize=19063512 memory=8640668 CPUtime=3216.8 cores=5,7
/proc/79204/stat : 79204 (java) S 79196 79204 79150 0 -1 4194304 244315 0 0 0 321120 560 0 0 20 0 20 0 68992143 19521036288 2160167 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
/proc/79204/statm: 4765878 2160167 5529 1 0 2177989 0
[pid=79204/tid=79217] ppid=79196 vsize=19063512 memory=8131840 CPUtime=2702.66 cores=5,7
/proc/79204/task/79217/stat : 79217 (java) R 79196 79204 79150 0 -1 4194368 101240 0 0 0 270109 157 0 0 20 0 20 0 68992145 19521036288 2160167 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79243] ppid=79196 vsize=19063512 memory=8031808 CPUtime=0 cores=5,7
/proc/79204/task/79243/stat : 79243 (Finalizer) S 79196 79204 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992147 19521036288 2160167 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79253] ppid=79196 vsize=19063512 memory=8507164 CPUtime=0 cores=5,7
/proc/79204/task/79253/stat : 79253 (Common-Cleaner) S 79196 79204 79150 0 -1 4194368 1038 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 2160167 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79289] ppid=79196 vsize=19063512 memory=8532252 CPUtime=0 cores=5,7
/proc/79204/task/79289/stat : 79289 (Timer-0) S 79196 79204 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992171 19521036288 2160167 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
Current children cumulated CPU time: 3216.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8640668 KiB
[startup+2802.3 s]
/proc/loadavg: 4.77 4.83 4.61 5/342 79462
/proc/meminfo: memFree=100157536/131249996 swapFree=33010672/33010684
[pid=79204] ppid=79196 vsize=19063512 memory=8807428 CPUtime=3289.03 cores=5,7
/proc/79204/stat : 79204 (java) S 79196 79204 79150 0 -1 4194304 249984 0 0 0 328331 572 0 0 20 0 20 0 68992143 19521036288 2201857 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
/proc/79204/statm: 4765878 2201857 5529 1 0 2219765 0
[pid=79204/tid=79217] ppid=79196 vsize=19063512 memory=14824 CPUtime=2761.88 cores=5,7
/proc/79204/task/79217/stat : 79217 (java) R 79196 79204 79150 0 -1 4194368 103790 0 0 0 276028 160 0 0 20 0 20 0 68992145 19521036288 2201857 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79243] ppid=79196 vsize=19063512 memory=8740704 CPUtime=0 cores=5,7
/proc/79204/task/79243/stat : 79243 (Finalizer) S 79196 79204 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992147 19521036288 2201857 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79253] ppid=79196 vsize=19063512 memory=8740704 CPUtime=0 cores=5,7
/proc/79204/task/79253/stat : 79253 (Common-Cleaner) S 79196 79204 79150 0 -1 4194368 1101 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 2201857 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79289] ppid=79196 vsize=19063512 memory=8807428 CPUtime=0 cores=5,7
/proc/79204/task/79289/stat : 79289 (Timer-0) S 79196 79204 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992171 19521036288 2201857 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
Current children cumulated CPU time: 3289.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8807428 KiB
[startup+2862.3 s]
/proc/loadavg: 4.43 4.72 4.59 6/342 79464
/proc/meminfo: memFree=100018088/131249996 swapFree=33010672/33010684
[pid=79204] ppid=79196 vsize=19063512 memory=8949184 CPUtime=3363.81 cores=5,7
/proc/79204/stat : 79204 (java) S 79196 79204 79150 0 -1 4194304 254093 0 0 0 335795 586 0 0 20 0 20 0 68992143 19521036288 2237296 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
/proc/79204/statm: 4765878 2237296 5529 1 0 2255275 0
[pid=79204/tid=79217] ppid=79196 vsize=19063512 memory=14824 CPUtime=2820.89 cores=5,7
/proc/79204/task/79217/stat : 79217 (java) R 79196 79204 79150 0 -1 4194368 106398 0 0 0 281926 163 0 0 20 0 20 0 68992145 19521036288 2237296 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79243] ppid=79196 vsize=19063512 memory=8865824 CPUtime=0 cores=5,7
/proc/79204/task/79243/stat : 79243 (Finalizer) S 79196 79204 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992147 19521036288 2237296 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79253] ppid=79196 vsize=19063512 memory=8865824 CPUtime=0 cores=5,7
/proc/79204/task/79253/stat : 79253 (Common-Cleaner) S 79196 79204 79150 0 -1 4194368 1101 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 2237296 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79289] ppid=79196 vsize=19063512 memory=8949184 CPUtime=0 cores=5,7
/proc/79204/task/79289/stat : 79289 (Timer-0) S 79196 79204 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992171 19521036288 2237296 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
Current children cumulated CPU time: 3363.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8949184 KiB
[startup+2922.3 s]
/proc/loadavg: 4.69 4.73 4.60 7/341 79533
/proc/meminfo: memFree=108319944/131249996 swapFree=33010672/33010684
[pid=79204] ppid=79196 vsize=19063512 memory=9174552 CPUtime=3440.11 cores=5,7
/proc/79204/stat : 79204 (java) S 79196 79204 79150 0 -1 4194304 262708 0 0 0 343407 604 0 0 20 0 20 0 68992143 19521036288 2293638 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
/proc/79204/statm: 4765878 2293638 5529 1 0 2311716 0
[pid=79204/tid=79217] ppid=79196 vsize=19063512 memory=8865824 CPUtime=2880.14 cores=5,7
/proc/79204/task/79217/stat : 79217 (java) R 79196 79204 79150 0 -1 4194368 111391 0 0 0 287846 168 0 0 20 0 20 0 68992145 19521036288 2293638 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79243] ppid=79196 vsize=19063512 memory=9074520 CPUtime=0 cores=5,7
/proc/79204/task/79243/stat : 79243 (Finalizer) S 79196 79204 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992147 19521036288 2293638 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79253] ppid=79196 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/79204/task/79253/stat : 79253 (Common-Cleaner) S 79196 79204 79150 0 -1 4194368 1127 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 2293638 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79289] ppid=79196 vsize=19063512 memory=9173016 CPUtime=0 cores=5,7
/proc/79204/task/79289/stat : 79289 (Timer-0) S 79196 79204 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992171 19521036288 2293638 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
Current children cumulated CPU time: 3440.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9174552 KiB
[startup+2982.3 s]
/proc/loadavg: 4.58 4.70 4.60 5/340 79535
/proc/meminfo: memFree=107581088/131249996 swapFree=33010672/33010684
[pid=79204] ppid=79196 vsize=19063512 memory=9258056 CPUtime=3512.83 cores=5,7
/proc/79204/stat : 79204 (java) S 79196 79204 79150 0 -1 4194304 268135 0 0 0 350666 617 0 0 20 0 20 0 68992143 19521036288 2314514 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
/proc/79204/statm: 4765878 2314514 5529 1 0 2332613 0
[pid=79204/tid=79217] ppid=79196 vsize=19063512 memory=14824 CPUtime=2939.36 cores=5,7
/proc/79204/task/79217/stat : 79217 (java) R 79196 79204 79150 0 -1 4194368 114468 0 0 0 293766 170 0 0 20 0 20 0 68992145 19521036288 2314514 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79243] ppid=79196 vsize=19063512 memory=14824 CPUtime=0 cores=5,7
/proc/79204/task/79243/stat : 79243 (Finalizer) S 79196 79204 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992147 19521036288 2314514 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79253] ppid=79196 vsize=19063512 memory=14824 CPUtime=0 cores=5,7
/proc/79204/task/79253/stat : 79253 (Common-Cleaner) S 79196 79204 79150 0 -1 4194368 1153 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 2314514 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79289] ppid=79196 vsize=19063512 memory=9258056 CPUtime=0 cores=5,7
/proc/79204/task/79289/stat : 79289 (Timer-0) S 79196 79204 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992171 19521036288 2314514 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
Current children cumulated CPU time: 3512.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9258056 KiB
[startup+3042.3 s]
/proc/loadavg: 4.79 4.74 4.62 5/340 79537
/proc/meminfo: memFree=107360196/131249996 swapFree=33010672/33010684
[pid=79204] ppid=79196 vsize=19063512 memory=9410168 CPUtime=3585.72 cores=5,7
/proc/79204/stat : 79204 (java) S 79196 79204 79150 0 -1 4194304 275632 0 0 0 357943 629 0 0 20 0 20 0 68992143 19521036288 2352542 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
/proc/79204/statm: 4765878 2352542 5529 1 0 2370206 0
[pid=79204/tid=79217] ppid=79196 vsize=19063512 memory=14824 CPUtime=2998.43 cores=5,7
/proc/79204/task/79217/stat : 79217 (java) R 79196 79204 79150 0 -1 4194368 119558 0 0 0 299670 173 0 0 20 0 20 0 68992145 19521036288 2352542 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79243] ppid=79196 vsize=19063512 memory=9343480 CPUtime=0 cores=5,7
/proc/79204/task/79243/stat : 79243 (Finalizer) S 79196 79204 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992147 19521036288 2352542 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79253] ppid=79196 vsize=19063512 memory=14824 CPUtime=0 cores=5,7
/proc/79204/task/79253/stat : 79253 (Common-Cleaner) S 79196 79204 79150 0 -1 4194368 1223 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 2352542 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79289] ppid=79196 vsize=19063512 memory=9410168 CPUtime=0 cores=5,7
/proc/79204/task/79289/stat : 79289 (Timer-0) S 79196 79204 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992171 19521036288 2352542 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
Current children cumulated CPU time: 3585.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9410168 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3056.5 s]
/proc/loadavg: 4.62 4.70 4.61 5/340 79537
/proc/meminfo: memFree=107352792/131249996 swapFree=33010672/33010684
[pid=79204] ppid=79196 vsize=19063512 memory=9410168 CPUtime=3600.01 cores=5,7
/proc/79204/stat : 79204 (java) S 79196 79204 79150 0 -1 4194304 276770 0 0 0 359371 630 0 0 20 0 20 0 68992143 19521036288 2352542 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
/proc/79204/statm: 4765878 2352542 5529 1 0 2370206 0
[pid=79204/tid=79217] ppid=79196 vsize=19063512 memory=14824 CPUtime=3012.47 cores=5,7
/proc/79204/task/79217/stat : 79217 (java) R 79196 79204 79150 0 -1 4194368 120615 0 0 0 301073 174 0 0 20 0 20 0 68992145 19521036288 2352542 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79243] ppid=79196 vsize=19063512 memory=9410168 CPUtime=0 cores=5,7
/proc/79204/task/79243/stat : 79243 (Finalizer) S 79196 79204 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992147 19521036288 2352542 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79253] ppid=79196 vsize=19063512 memory=3491212 CPUtime=0 cores=5,7
/proc/79204/task/79253/stat : 79253 (Common-Cleaner) S 79196 79204 79150 0 -1 4194368 1223 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 2352542 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79289] ppid=79196 vsize=19063512 memory=18688 CPUtime=0 cores=5,7
/proc/79204/task/79289/stat : 79289 (Timer-0) S 79196 79204 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992171 19521036288 2352542 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9410168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3056.6 s]
# the end of solver process 79204 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3593.84 s, system=6.33899 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3056.5 s]
/proc/loadavg: 4.62 4.70 4.61 5/340 79537
/proc/meminfo: memFree=107352792/131249996 swapFree=33010672/33010684
[pid=79204] ppid=79196 vsize=19063512 memory=9410168 CPUtime=3600.01 cores=5,7
/proc/79204/stat : 79204 (java) S 79196 79204 79150 0 -1 4194304 276770 0 0 0 359371 630 0 0 20 0 20 0 68992143 19521036288 2352542 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
/proc/79204/statm: 4765878 2352542 5529 1 0 2370206 0
[pid=79204/tid=79217] ppid=79196 vsize=19063512 memory=14824 CPUtime=3012.47 cores=5,7
/proc/79204/task/79217/stat : 79217 (java) R 79196 79204 79150 0 -1 4194368 120615 0 0 0 301073 174 0 0 20 0 20 0 68992145 19521036288 2352542 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79243] ppid=79196 vsize=19063512 memory=9410168 CPUtime=0 cores=5,7
/proc/79204/task/79243/stat : 79243 (Finalizer) S 79196 79204 79150 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 68992147 19521036288 2352542 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79253] ppid=79196 vsize=19063512 memory=3491212 CPUtime=0 cores=5,7
/proc/79204/task/79253/stat : 79253 (Common-Cleaner) S 79196 79204 79150 0 -1 4194368 1223 0 0 0 0 0 0 0 20 0 20 0 68992148 19521036288 2352542 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
[pid=79204/tid=79289] ppid=79196 vsize=19063512 memory=18688 CPUtime=0 cores=5,7
/proc/79204/task/79289/stat : 79289 (Timer-0) S 79196 79204 79150 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 68992171 19521036288 2352542 18446744073709551615 94689446125568 94689446129264 140732301327552 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94689446137080 94689446137872 94689460830208 140732301334910 140732301335014 140732301335014 140732301340616 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 9410168 KiB
Child status: 143
Real time (s): 3056.6
CPU time (s): 3600.18
CPU user time (s): 3593.84
CPU system time (s): 6.33899
CPU usage (%): 117.784
Max. virtual memory (cumulated for all children) (KiB): 19069400
Max. memory (cumulated for all children) (KiB): 9410168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.84
system time used= 6.33899
maximum resident set size= 9411064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278448
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119939
involuntary context switches= 49841
# summary of solver processes directly reported to runsolver:
# pid: 79204
# total CPU time (s): 3600.18
# total CPU user time (s): 3593.84
# total CPU system time (s): 6.33899
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.32699 second user time and 14.7096 second system time
The end