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: 63708 MiB (63002 MiB free)
memory of node 1: 64465 MiB (63977 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4511198-1751207448/watcher-4511198-1751207448 -o /tmp/evaluation-result-4511198-1751207448/solver-4511198-1751207448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751207447-27125 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4511198-1751207448.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
Starting watchdog thread
solver pid=27176, runsolver pid=27165
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 1.23 1.97 2.70 11/332 27249
/proc/meminfo: memFree=129963940/131250000 swapFree=33010684/33010684
[pid=27176] ppid=27165 vsize=18930384 memory=53228 CPUtime=0.11 cores=5,7
/proc/27176/stat : 27176 (java) S 27165 27176 27112 0 -1 4194304 6198 0 318 0 9 2 0 0 20 0 18 0 36367288 19384713216 13307 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
/proc/27176/statm: 4732596 13307 5334 1 0 547551 0
[pid=27176/tid=27193] ppid=27165 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=5,7
/proc/27176/task/27193/stat : 27193 (java) R 27165 27176 27112 0 -1 4194368 4714 0 318 0 6 1 0 0 20 0 18 0 36367291 19384713216 13307 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27234] ppid=27165 vsize=18930384 memory=16124 CPUtime=0 cores=5,7
/proc/27176/task/27234/stat : 27234 (Finalizer) S 27165 27176 27112 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36367293 19384713216 13307 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27249] ppid=27165 vsize=18930384 memory=59585004307431 CPUtime=0 cores=5,7
/proc/27176/task/27249/stat : 27249 (Common-Cleaner) S 27165 27176 27112 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 36367293 19384713216 13307 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53228 KiB
[startup+0.209222 s]*
/proc/loadavg: 1.23 1.97 2.70 14/335 27252
/proc/meminfo: memFree=129930232/131250000 swapFree=33010684/33010684
[pid=27176] ppid=27165 vsize=18996948 memory=64548 CPUtime=0.3 cores=5,7
/proc/27176/stat : 27176 (java) S 27165 27176 27112 0 -1 4194304 6908 0 318 0 28 2 0 0 20 0 19 0 36367288 19452874752 16137 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
/proc/27176/statm: 4749237 16137 5398 1 0 548296 0
[pid=27176/tid=27193] ppid=27165 vsize=18996948 memory=4026597660 CPUtime=0.16 cores=5,7
/proc/27176/task/27193/stat : 27193 (java) R 27165 27176 27112 0 -1 4194368 5148 0 318 0 15 1 0 0 20 0 19 0 36367291 19452874752 16137 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27234] ppid=27165 vsize=18996948 memory=16124 CPUtime=0 cores=5,7
/proc/27176/task/27234/stat : 27234 (Finalizer) S 27165 27176 27112 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 36367293 19452874752 16137 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27249] ppid=27165 vsize=18996948 memory=59585004307431 CPUtime=0 cores=5,7
/proc/27176/task/27249/stat : 27249 (Common-Cleaner) S 27165 27176 27112 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 36367293 19452874752 16137 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27252] ppid=27165 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/27176/task/27252/stat : 27252 (Timer-0) S 27165 27176 27112 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 36367309 19452874752 16137 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64548 KiB
[startup+0.304769 s]*
/proc/loadavg: 1.23 1.97 2.70 11/336 27253
/proc/meminfo: memFree=129871000/131250000 swapFree=33010684/33010684
[pid=27176] ppid=27165 vsize=18996948 memory=88056 CPUtime=0.49 cores=5,7
/proc/27176/stat : 27176 (java) S 27165 27176 27112 0 -1 4194304 8589 0 318 0 46 3 0 0 20 0 19 0 36367288 19452874752 22014 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
/proc/27176/statm: 4749237 22014 5398 1 0 549022 0
[pid=27176/tid=27193] ppid=27165 vsize=18996948 memory=-6000919498459800941 CPUtime=0.24 cores=5,7
/proc/27176/task/27193/stat : 27193 (java) R 27165 27176 27112 0 -1 4194368 5184 0 318 0 23 1 0 0 20 0 19 0 36367291 19452874752 22014 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27234] ppid=27165 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/27176/task/27234/stat : 27234 (Finalizer) S 27165 27176 27112 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 36367293 19452874752 22014 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27249] ppid=27165 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/27176/task/27249/stat : 27249 (Common-Cleaner) S 27165 27176 27112 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 36367293 19452874752 22014 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27252] ppid=27165 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/27176/task/27252/stat : 27252 (Timer-0) S 27165 27176 27112 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 36367309 19452874752 22014 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 88056 KiB
[startup+0.700202 s]
/proc/loadavg: 1.23 1.97 2.70 11/340 27257
/proc/meminfo: memFree=129565316/131250000 swapFree=33010684/33010684
[pid=27176] ppid=27165 vsize=19063512 memory=172460 CPUtime=1.25 cores=5,7
/proc/27176/stat : 27176 (java) S 27165 27176 27112 0 -1 4194304 11808 0 318 0 120 5 0 0 20 0 20 0 36367288 19521036288 43115 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
/proc/27176/statm: 4765878 43115 5462 1 0 551097 0
[pid=27176/tid=27193] ppid=27165 vsize=19063512 memory=17408 CPUtime=0.6 cores=5,7
/proc/27176/task/27193/stat : 27193 (java) R 27165 27176 27112 0 -1 4194368 5224 0 318 0 57 3 0 0 20 0 20 0 36367291 19521036288 43115 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27234] ppid=27165 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/27176/task/27234/stat : 27234 (Finalizer) S 27165 27176 27112 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 43115 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27249] ppid=27165 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/27176/task/27249/stat : 27249 (Common-Cleaner) S 27165 27176 27112 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 43115 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27252] ppid=27165 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/27176/task/27252/stat : 27252 (Timer-0) S 27165 27176 27112 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36367309 19521036288 43115 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172460 KiB
[startup+1.50019 s]
/proc/loadavg: 1.23 1.97 2.70 11/340 27257
/proc/meminfo: memFree=128950620/131250000 swapFree=33010684/33010684
[pid=27176] ppid=27165 vsize=19063512 memory=550884 CPUtime=2.83 cores=5,7
/proc/27176/stat : 27176 (java) S 27165 27176 27112 0 -1 4194304 22743 0 318 0 270 13 0 0 20 0 20 0 36367288 19521036288 137721 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
/proc/27176/statm: 4765878 137721 5462 1 0 555993 0
[pid=27176/tid=27193] ppid=27165 vsize=19063512 memory=0 CPUtime=1.35 cores=5,7
/proc/27176/task/27193/stat : 27193 (java) R 27165 27176 27112 0 -1 4194368 5584 0 318 0 126 9 0 0 20 0 20 0 36367291 19521036288 137721 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27234] ppid=27165 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/27176/task/27234/stat : 27234 (Finalizer) S 27165 27176 27112 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 137721 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27249] ppid=27165 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/27176/task/27249/stat : 27249 (Common-Cleaner) S 27165 27176 27112 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 137721 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27252] ppid=27165 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/27176/task/27252/stat : 27252 (Timer-0) S 27165 27176 27112 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36367309 19521036288 137721 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 550884 KiB
[startup+3.10566 s]
/proc/loadavg: 1.23 1.97 2.70 8/340 27257
/proc/meminfo: memFree=125536424/131250000 swapFree=33010684/33010684
[pid=27176] ppid=27165 vsize=19063512 memory=1345304 CPUtime=5.66 cores=5,7
/proc/27176/stat : 27176 (java) S 27165 27176 27112 0 -1 4194304 28923 0 318 0 536 30 0 0 20 0 20 0 36367288 19521036288 336326 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
/proc/27176/statm: 4765878 336326 5462 1 0 679251 0
[pid=27176/tid=27193] ppid=27165 vsize=19063512 memory=10752 CPUtime=2.91 cores=5,7
/proc/27176/task/27193/stat : 27193 (java) R 27165 27176 27112 0 -1 4194368 6840 0 318 0 266 25 0 0 20 0 20 0 36367291 19521036288 336326 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27234] ppid=27165 vsize=19063512 memory=-6000919485574899053 CPUtime=0 cores=5,7
/proc/27176/task/27234/stat : 27234 (Finalizer) S 27165 27176 27112 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 336326 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27249] ppid=27165 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/27176/task/27249/stat : 27249 (Common-Cleaner) S 27165 27176 27112 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 336326 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27252] ppid=27165 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/27176/task/27252/stat : 27252 (Timer-0) S 27165 27176 27112 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36367309 19521036288 336326 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
Current children cumulated CPU time: 5.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1345304 KiB
[startup+6.30017 s]
/proc/loadavg: 1.53 2.02 2.71 6/317 27267
/proc/meminfo: memFree=125508928/131250000 swapFree=33010684/33010684
[pid=27176] ppid=27165 vsize=19063512 memory=1607608 CPUtime=8.95 cores=5,7
/proc/27176/stat : 27176 (java) S 27165 27176 27112 0 -1 4194304 29520 0 318 0 859 36 0 0 20 0 20 0 36367288 19521036288 401902 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
/proc/27176/statm: 4765878 401902 5462 1 0 679265 0
[pid=27176/tid=27193] ppid=27165 vsize=19063512 memory=0 CPUtime=6.05 cores=5,7
/proc/27176/task/27193/stat : 27193 (java) R 27165 27176 27112 0 -1 4194368 7189 0 318 0 576 29 0 0 20 0 20 0 36367291 19521036288 401902 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27234] ppid=27165 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/27176/task/27234/stat : 27234 (Finalizer) S 27165 27176 27112 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 401902 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27249] ppid=27165 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/27176/task/27249/stat : 27249 (Common-Cleaner) S 27165 27176 27112 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 401902 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27252] ppid=27165 vsize=19063512 memory=630776 CPUtime=0 cores=5,7
/proc/27176/task/27252/stat : 27252 (Timer-0) S 27165 27176 27112 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36367309 19521036288 401902 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
Current children cumulated CPU time: 8.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1607608 KiB
[startup+12.7002 s]
/proc/loadavg: 1.73 2.06 2.72 7/340 27323
/proc/meminfo: memFree=124195864/131250000 swapFree=33010684/33010684
[pid=27176] ppid=27165 vsize=19063512 memory=1615860 CPUtime=15.36 cores=5,7
/proc/27176/stat : 27176 (java) S 27165 27176 27112 0 -1 4194304 30247 0 318 0 1499 37 0 0 20 0 20 0 36367288 19521036288 403965 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
/proc/27176/statm: 4765878 403965 5462 1 0 679265 0
[pid=27176/tid=27193] ppid=27165 vsize=19063512 memory=630776 CPUtime=12.35 cores=5,7
/proc/27176/task/27193/stat : 27193 (java) R 27165 27176 27112 0 -1 4194368 7823 0 318 0 1205 30 0 0 20 0 20 0 36367291 19521036288 403965 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27234] ppid=27165 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/27176/task/27234/stat : 27234 (Finalizer) S 27165 27176 27112 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 403965 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27249] ppid=27165 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/27176/task/27249/stat : 27249 (Common-Cleaner) S 27165 27176 27112 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 403965 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27252] ppid=27165 vsize=19063512 memory=-6000919485574899053 CPUtime=0 cores=5,7
/proc/27176/task/27252/stat : 27252 (Timer-0) S 27165 27176 27112 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36367309 19521036288 403965 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
Current children cumulated CPU time: 15.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1615860 KiB
[startup+25.5002 s]
/proc/loadavg: 2.23 2.15 2.74 7/340 27323
/proc/meminfo: memFree=124139608/131250000 swapFree=33010684/33010684
[pid=27176] ppid=27165 vsize=19063512 memory=1628260 CPUtime=28.19 cores=5,7
/proc/27176/stat : 27176 (java) S 27165 27176 27112 0 -1 4194304 34559 0 318 0 2781 38 0 0 20 0 20 0 36367288 19521036288 407065 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
/proc/27176/statm: 4765878 407065 5462 1 0 679265 0
[pid=27176/tid=27193] ppid=27165 vsize=19063512 memory=0 CPUtime=24.97 cores=5,7
/proc/27176/task/27193/stat : 27193 (java) R 27165 27176 27112 0 -1 4194368 9695 0 318 0 2467 30 0 0 20 0 20 0 36367291 19521036288 407065 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27234] ppid=27165 vsize=19063512 memory=1615860 CPUtime=0 cores=5,7
/proc/27176/task/27234/stat : 27234 (Finalizer) S 27165 27176 27112 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 407065 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27249] ppid=27165 vsize=19063512 memory=630776 CPUtime=0 cores=5,7
/proc/27176/task/27249/stat : 27249 (Common-Cleaner) S 27165 27176 27112 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 407065 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27252] ppid=27165 vsize=19063512 memory=1607608 CPUtime=0 cores=5,7
/proc/27176/task/27252/stat : 27252 (Timer-0) S 27165 27176 27112 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36367309 19521036288 407065 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
Current children cumulated CPU time: 28.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1628260 KiB
[startup+51.1059 s]
/proc/loadavg: 2.96 2.33 2.78 7/340 27324
/proc/meminfo: memFree=124048548/131250000 swapFree=33010684/33010684
[pid=27176] ppid=27165 vsize=19063512 memory=1653180 CPUtime=54.09 cores=5,7
/proc/27176/stat : 27176 (java) S 27165 27176 27112 0 -1 4194304 41710 0 318 0 5369 40 0 0 20 0 20 0 36367288 19521036288 413295 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
/proc/27176/statm: 4765878 413295 5462 1 0 679265 0
[pid=27176/tid=27193] ppid=27165 vsize=19063512 memory=1640672 CPUtime=50.13 cores=5,7
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.16 4.20 4.16 7/340 27490
/proc/meminfo: memFree=120994560/131250000 swapFree=33010684/33010684
[pid=27176] ppid=27165 vsize=19063512 memory=2447332 CPUtime=3272.94 cores=5,7
/proc/27176/stat : 27176 (java) S 27165 27176 27112 0 -1 4194304 111439 0 318 0 327131 163 0 0 20 0 20 0 36367288 19521036288 611833 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
/proc/27176/statm: 4765878 611833 5462 1 0 680304 0
[pid=27176/tid=27193] ppid=27165 vsize=19063512 memory=2445148 CPUtime=3179.97 cores=5,7
/proc/27176/task/27193/stat : 27193 (java) R 27165 27176 27112 0 -1 4194368 49441 0 318 0 317957 40 0 0 20 0 20 0 36367291 19521036288 611833 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27234] ppid=27165 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/27176/task/27234/stat : 27234 (Finalizer) S 27165 27176 27112 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 611833 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27249] ppid=27165 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/27176/task/27249/stat : 27249 (Common-Cleaner) S 27165 27176 27112 0 -1 4194368 1718 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 611833 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27252] ppid=27165 vsize=19063512 memory=2445276 CPUtime=0 cores=5,7
/proc/27176/task/27252/stat : 27252 (Timer-0) S 27165 27176 27112 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36367309 19521036288 611833 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2447332 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.22 4.17 7/341 27493
/proc/meminfo: memFree=120965732/131250000 swapFree=33010684/33010684
[pid=27176] ppid=27165 vsize=19063512 memory=2459688 CPUtime=3334.9 cores=5,7
/proc/27176/stat : 27176 (java) S 27165 27176 27112 0 -1 4194304 113009 0 318 0 333325 165 0 0 20 0 20 0 36367288 19521036288 614922 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
/proc/27176/statm: 4765878 614922 5462 1 0 680304 0
[pid=27176/tid=27193] ppid=27165 vsize=19063512 memory=2457640 CPUtime=3239.1 cores=5,7
/proc/27176/task/27193/stat : 27193 (java) R 27165 27176 27112 0 -1 4194368 50568 0 318 0 323870 40 0 0 20 0 20 0 36367291 19521036288 614922 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27234] ppid=27165 vsize=19063512 memory=2451428 CPUtime=0 cores=5,7
/proc/27176/task/27234/stat : 27234 (Finalizer) S 27165 27176 27112 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 614922 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27249] ppid=27165 vsize=19063512 memory=-6000919485574899053 CPUtime=0 cores=5,7
/proc/27176/task/27249/stat : 27249 (Common-Cleaner) S 27165 27176 27112 0 -1 4194368 1796 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 614922 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27252] ppid=27165 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/27176/task/27252/stat : 27252 (Timer-0) S 27165 27176 27112 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36367309 19521036288 614922 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
Current children cumulated CPU time: 3334.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2459688 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.21 4.17 7/341 27495
/proc/meminfo: memFree=120951664/131250000 swapFree=33010684/33010684
[pid=27176] ppid=27165 vsize=19063512 memory=2461736 CPUtime=3396.65 cores=5,7
/proc/27176/stat : 27176 (java) S 27165 27176 27112 0 -1 4194304 113166 0 318 0 339499 166 0 0 20 0 20 0 36367288 19521036288 615434 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
/proc/27176/statm: 4765878 615434 5462 1 0 680304 0
[pid=27176/tid=27193] ppid=27165 vsize=19063512 memory=225 CPUtime=3298.05 cores=5,7
/proc/27176/task/27193/stat : 27193 (java) R 27165 27176 27112 0 -1 4194368 50618 0 318 0 329765 40 0 0 20 0 20 0 36367291 19521036288 615434 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27234] ppid=27165 vsize=19063512 memory=2461736 CPUtime=0 cores=5,7
/proc/27176/task/27234/stat : 27234 (Finalizer) S 27165 27176 27112 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 615434 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27249] ppid=27165 vsize=19063512 memory=2461736 CPUtime=0 cores=5,7
/proc/27176/task/27249/stat : 27249 (Common-Cleaner) S 27165 27176 27112 0 -1 4194368 1837 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 615434 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27252] ppid=27165 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/27176/task/27252/stat : 27252 (Timer-0) S 27165 27176 27112 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36367309 19521036288 615434 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
Current children cumulated CPU time: 3396.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2461736 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.21 4.18 7/342 27498
/proc/meminfo: memFree=120922572/131250000 swapFree=33010684/33010684
[pid=27176] ppid=27165 vsize=19063512 memory=2469940 CPUtime=3458.32 cores=5,7
/proc/27176/stat : 27176 (java) S 27165 27176 27112 0 -1 4194304 113973 0 318 0 345664 168 0 0 20 0 20 0 36367288 19521036288 617485 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
/proc/27176/statm: 4765878 617485 5462 1 0 680304 0
[pid=27176/tid=27193] ppid=27165 vsize=19063512 memory=2461736 CPUtime=3357.17 cores=5,7
/proc/27176/task/27193/stat : 27193 (java) R 27165 27176 27112 0 -1 4194368 50930 0 318 0 335677 40 0 0 20 0 20 0 36367291 19521036288 617485 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27234] ppid=27165 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/27176/task/27234/stat : 27234 (Finalizer) S 27165 27176 27112 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 617485 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27249] ppid=27165 vsize=19063512 memory=2467892 CPUtime=0 cores=5,7
/proc/27176/task/27249/stat : 27249 (Common-Cleaner) S 27165 27176 27112 0 -1 4194368 1837 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 617485 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27252] ppid=27165 vsize=19063512 memory=2469940 CPUtime=0 cores=5,7
/proc/27176/task/27252/stat : 27252 (Timer-0) S 27165 27176 27112 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36367309 19521036288 617485 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
Current children cumulated CPU time: 3458.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2469940 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.20 4.18 7/342 27502
/proc/meminfo: memFree=120909132/131250000 swapFree=33010684/33010684
[pid=27176] ppid=27165 vsize=19063512 memory=2476084 CPUtime=3520.4 cores=5,7
/proc/27176/stat : 27176 (java) S 27165 27176 27112 0 -1 4194304 115606 0 318 0 351869 171 0 0 20 0 20 0 36367288 19521036288 619021 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
/proc/27176/statm: 4765878 619021 5462 1 0 680304 0
[pid=27176/tid=27193] ppid=27165 vsize=19063512 memory=2461736 CPUtime=3416.2 cores=5,7
/proc/27176/task/27193/stat : 27193 (java) R 27165 27176 27112 0 -1 4194368 52091 0 318 0 341579 41 0 0 20 0 20 0 36367291 19521036288 619021 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27234] ppid=27165 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/27176/task/27234/stat : 27234 (Finalizer) S 27165 27176 27112 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 619021 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27249] ppid=27165 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/27176/task/27249/stat : 27249 (Common-Cleaner) S 27165 27176 27112 0 -1 4194368 1837 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 619021 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27252] ppid=27165 vsize=19063512 memory=2467892 CPUtime=0 cores=5,7
/proc/27176/task/27252/stat : 27252 (Timer-0) S 27165 27176 27112 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36367309 19521036288 619021 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
Current children cumulated CPU time: 3520.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2476084 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.18 4.17 7/341 27570
/proc/meminfo: memFree=122789652/131250000 swapFree=33010684/33010684
[pid=27176] ppid=27165 vsize=19063512 memory=2488372 CPUtime=3582.23 cores=5,7
/proc/27176/stat : 27176 (java) S 27165 27176 27112 0 -1 4194304 115775 0 318 0 358050 173 0 0 20 0 20 0 36367288 19521036288 622093 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
/proc/27176/statm: 4765878 622093 5462 1 0 680304 0
[pid=27176/tid=27193] ppid=27165 vsize=19063512 memory=2476084 CPUtime=3475.19 cores=5,7
/proc/27176/task/27193/stat : 27193 (java) R 27165 27176 27112 0 -1 4194368 52115 0 318 0 347478 41 0 0 20 0 20 0 36367291 19521036288 622093 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27234] ppid=27165 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/27176/task/27234/stat : 27234 (Finalizer) S 27165 27176 27112 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 622093 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27249] ppid=27165 vsize=19063512 memory=2486324 CPUtime=0 cores=5,7
/proc/27176/task/27249/stat : 27249 (Common-Cleaner) S 27165 27176 27112 0 -1 4194368 1931 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 622093 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27252] ppid=27165 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/27176/task/27252/stat : 27252 (Timer-0) S 27165 27176 27112 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36367309 19521036288 622093 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
Current children cumulated CPU time: 3582.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2488372 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3539.8 s]
/proc/loadavg: 4.11 4.17 4.17 6/342 27571
/proc/meminfo: memFree=116475744/131250000 swapFree=33010684/33010684
[pid=27176] ppid=27165 vsize=19063512 memory=2490420 CPUtime=3600.05 cores=5,7
/proc/27176/stat : 27176 (java) S 27165 27176 27112 0 -1 4194304 115795 0 318 0 359832 173 0 0 20 0 20 0 36367288 19521036288 622605 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
/proc/27176/statm: 4765878 622605 5462 1 0 680304 0
[pid=27176/tid=27193] ppid=27165 vsize=19063512 memory=6836 CPUtime=3492.48 cores=5,7
/proc/27176/task/27193/stat : 27193 (java) R 27165 27176 27112 0 -1 4194368 52129 0 318 0 349207 41 0 0 20 0 20 0 36367291 19521036288 622605 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27234] ppid=27165 vsize=19063512 memory=5736 CPUtime=0 cores=5,7
/proc/27176/task/27234/stat : 27234 (Finalizer) S 27165 27176 27112 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 622605 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27249] ppid=27165 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/27176/task/27249/stat : 27249 (Common-Cleaner) S 27165 27176 27112 0 -1 4194368 1931 0 0 0 0 0 0 0 20 0 20 0 36367293 19521036288 622605 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27252] ppid=27165 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/27176/task/27252/stat : 27252 (Timer-0) S 27165 27176 27112 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36367309 19521036288 622605 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2490420 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3539.92 s]
# the end of solver process 27176 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.53 s, system=1.74776 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3539.91 s]
/proc/loadavg: 4.11 4.17 4.17 6/342 27571
/proc/meminfo: memFree=116475744/131250000 swapFree=33010684/33010684
[pid=27176] ppid=27165 vsize=19263204 memory=2491316 CPUtime=3600.25 cores=5,7
/proc/27176/stat : 27176 (java) S 27165 27176 27112 0 -1 4194304 118045 0 318 0 359852 173 0 0 20 0 21 0 36367288 19725520896 622829 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
/proc/27176/statm: 4815801 622829 5462 1 0 681240 0
[pid=27176/tid=27193] ppid=27165 vsize=19263204 memory=14848 CPUtime=3492.59 cores=5,7
/proc/27176/task/27193/stat : 27193 (java) R 27165 27176 27112 0 -1 4194368 52165 0 318 0 349218 41 0 0 20 0 21 0 36367291 19725520896 622829 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27234] ppid=27165 vsize=19263204 memory=2486324 CPUtime=0 cores=5,7
/proc/27176/task/27234/stat : 27234 (Finalizer) S 27165 27176 27112 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 36367293 19725520896 622829 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
[pid=27176/tid=27249] ppid=27165 vsize=19263204 memory=14848 CPUtime=0 cores=5,7
/proc/27176/task/27249/stat : 27249 (Common-Cleaner) S 27165 27176 27112 0 -1 4194368 1931 0 0 0 0 0 0 0 20 0 21 0 36367293 19725520896 622829 18446744073709551615 94035878674432 94035878678128 140735634998256 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94035878685944 94035878686736 94035897524224 140735635003774 140735635003878 140735635003878 140735635009480 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2491316 KiB
Child status: 143
Real time (s): 3539.92
CPU time (s): 3600.28
CPU user time (s): 3598.53
CPU system time (s): 1.74776
CPU usage (%): 101.705
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2491316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.53
system time used= 1.74777
maximum resident set size= 2491444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118144
page faults= 318
swaps= 0
block input operations= 0
block output operations= 22184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 144187
involuntary context switches= 14475
# summary of solver processes directly reported to runsolver:
# pid: 27176
# total CPU time (s): 3600.28
# total CPU user time (s): 3598.53
# total CPU system time (s): 1.74776
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82974 second user time and 16.3975 second system time
The end