207.56/208.45 c initialize IPBHS solver
207.56/208.45 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:19:29), with Glucose 3.0, with Gurobi 10.0.1, with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
207.56/208.45 c optimizer = "gurobi"
207.56/208.45 c pbsolver = "roundingsat"
207.56/208.45 c load symmetries from file ""
207.56/208.45 c set time limit for symmetry computation to 100 seconds.
207.56/208.45 c set interchangeable summation variable limit to 3
207.56/208.45 c set abs symmetric core budget per WCE-iteration to 100
207.56/208.45 c set rel symmetric core budget per WCE-iteration to 0
207.56/208.45 c set lit symmetric core budget per WCE-iteration to 0
207.56/208.45 c set sym generation to 's'
207.56/208.45 c set abstraction set creation to 10 iterations without LB change
207.56/208.45 c set abstraction set inputs to 0
207.56/208.45 c set abstraction set cluster min size to 2
207.56/208.45 c set abstraction set cluster max size to 100000000
207.56/208.45 c set abstraction set cluster activation limit to 2
207.56/208.45 c enable abstraction set require equal cost
207.56/208.45 c set abstraction set assumptions to 0
207.56/208.45 c set abstraction set constraint type to 0
207.56/208.45 c set abstract core extraction strategy to b
207.56/208.45 c set core extraction strategy to 2
207.56/208.45 c set core extraction shuffles 10
207.56/208.45 c set cores per iteration to 5
207.56/208.45 c set optimizer bound usage strategy to 2
207.56/208.45 c set optimizer max non-optimal iterations to 1000
207.56/208.45 c set small core cardinality limit to 2
207.56/208.45 c set max coef in cores to 1000000000
207.56/208.45 c set SIS iterations to 5
207.56/208.45 c set SIS budget abs to 1000
207.56/208.45 c set SIS budget rel to 0.05
207.56/208.45 c limit for coefficient in constraints and objective to 9223372036854775807
207.56/208.45 c will solve HOME/instance-4431516-1721104664.opb
207.56/208.45 c [0.05] solve iteration 1, LB=0, UB=5751
207.56/208.45 c [0.66] solve iteration 2, LB=0, UB=52
207.56/208.45 c [1.29] solve iteration 3, LB=19, UB=48
207.56/208.45 c [1.86] solve iteration 4, LB=19, UB=48
207.56/208.45 c [2.51] solve iteration 5, LB=20, UB=48
207.56/208.45 c [5.03] solve iteration 6, LB=21, UB=47
207.56/208.45 c [5.54] solve iteration 7, LB=21, UB=43
207.56/208.45 c [6] solve iteration 8, LB=21, UB=43
207.56/208.45 c [6.44] solve iteration 9, LB=21, UB=43
207.56/208.45 c [6.84] solve iteration 10, LB=21, UB=43
207.56/208.45 c [14.01] solve iteration 11, LB=22, UB=43
207.56/208.45 c [14.56] solve iteration 12, LB=22, UB=43
207.56/208.45 c [15.3] solve iteration 13, LB=22, UB=43
207.56/208.45 c [15.98] solve iteration 14, LB=22, UB=43
207.56/208.45 c [16.47] solve iteration 15, LB=22, UB=43
207.56/208.45 c [23.49] solve iteration 16, LB=22, UB=43
207.56/208.45 c [24.06] solve iteration 17, LB=22, UB=43
207.56/208.45 c [24.78] solve iteration 18, LB=22, UB=43
207.56/208.45 c [25.35] solve iteration 19, LB=22, UB=43
207.56/208.45 c [25.76] solve iteration 20, LB=22, UB=42
207.56/208.45 c [28.88] solve iteration 21, LB=22, UB=41
207.56/208.45 c [29.66] solve iteration 22, LB=23, UB=41
207.56/208.45 c [30.22] solve iteration 23, LB=23, UB=41
207.56/208.45 c [30.87] solve iteration 24, LB=23, UB=41
207.56/208.45 c [31.63] solve iteration 25, LB=23, UB=41
207.56/208.45 c [41.16] solve iteration 26, LB=23, UB=41
207.56/208.45 c [41.8] solve iteration 27, LB=23, UB=41
207.56/208.45 c [42.38] solve iteration 28, LB=23, UB=41
207.56/208.45 c [42.98] solve iteration 29, LB=23, UB=41
207.56/208.45 c [43.64] solve iteration 30, LB=23, UB=41
207.56/208.45 c [54.16] solve iteration 31, LB=23, UB=41
207.56/208.45 c [55.03] solve iteration 32, LB=23, UB=41
207.56/208.45 c [55.94] solve iteration 33, LB=23, UB=41
207.56/208.45 c [56.91] solve iteration 34, LB=23, UB=41
207.56/208.45 c [57.99] solve iteration 35, LB=23, UB=41
207.56/208.45 c [58.62] solve iteration 36, LB=23, UB=38
207.56/208.45 c [59.43] solve iteration 37, LB=23, UB=38
207.56/208.45 c [60.24] solve iteration 38, LB=23, UB=38
207.56/208.45 c [61.44] solve iteration 39, LB=23, UB=38
207.56/208.45 c [62.3] solve iteration 40, LB=23, UB=38
207.56/208.45 c [78.34] solve iteration 41, LB=23, UB=38
207.56/208.45 c [79.44] solve iteration 42, LB=23, UB=38
207.56/208.45 c [80.8] solve iteration 43, LB=23, UB=38
207.56/208.45 c [82.03] solve iteration 44, LB=23, UB=38
207.56/208.45 c [82.76] solve iteration 45, LB=23, UB=35
207.56/208.45 c [106.21] solve iteration 46, LB=23, UB=35
207.56/208.45 c [107.25] solve iteration 47, LB=23, UB=35
207.56/208.45 c [108.72] solve iteration 48, LB=23, UB=35
207.56/208.45 c [110.35] solve iteration 49, LB=23, UB=35
207.56/208.45 c [112.04] solve iteration 50, LB=24, UB=35
207.56/208.45 c [130.25] solve iteration 51, LB=24, UB=35
207.56/208.45 c [131.51] solve iteration 52, LB=24, UB=35
207.56/208.45 c [132.57] solve iteration 53, LB=24, UB=35
207.56/208.45 c [133.59] solve iteration 54, LB=24, UB=35
207.56/208.45 c [134.6] solve iteration 55, LB=24, UB=35
207.56/208.45 c [151.64] solve iteration 56, LB=24, UB=35
207.56/208.45 c [153.03] solve iteration 57, LB=24, UB=35
207.56/208.45 c [154.22] solve iteration 58, LB=24, UB=35
207.56/208.45 c [155.67] solve iteration 59, LB=24, UB=35
207.56/208.45 c [156.57] solve iteration 60, LB=24, UB=35
207.56/208.45 c [178.28] solve iteration 61HOME/run-glibc-2.34.sh: line 2: 865317 Terminated LD_LIBRARY_PATH=/home/evaluation/evaluation/priv/lib:/home/evaluation/evaluation/tools/lib64:/home/evaluation/evaluation/tools/lib:/usr/local/lib:/home/evaluation/evaluation/tools/glibc-2.34/lib/:/lib64 /home/evaluation/evaluation/tools/glibc-2.34/lib/ld-linux-x86-64.so.2 $*
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: 63931 MiB (60560 MiB free)
memory of node 1: 64510 MiB (60324 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431516-1721104664/watcher-4431516-1721104664 -o /tmp/evaluation-result-4431516-1721104664/solver-4431516-1721104664 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721095365-859151 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431516-1721104664.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=865315, runsolver pid=865312
[startup+0.100086 s]*
/proc/loadavg: 4.11 4.10 4.09 5/261 865317
/proc/meminfo: memFree=123767244/131524600 swapFree=131071996/131071996
[pid=865315] ppid=865312 vsize=9928 memory=2652 CPUtime=0 cores=0,2
/proc/865315/stat : 865315 (run-glibc-2.34.) S 865312 865315 859141 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 162628268 10166272 663 134679101440 94059045183488 94059046262808 140725368848032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94059048361264 94059048408452 94059050348544 140725368849355 140725368849500 140725368849500 140725368856515 0
/proc/865315/statm: 2482 663 583 264 0 133 0
[pid=865317] ppid=865315 vsize=144632 memory=30368 CPUtime=0.09 cores=0,2
/proc/865317/stat : 865317 (ld-linux-x86-64) R 865315 865315 859141 0 -1 4194304 4230 0 0 0 6 3 0 0 20 0 2 0 162628268 148103168 7592 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
/proc/865317/statm: 36158 7592 2553 46 0 8753 0
[pid=865317/tid=865318] ppid=865315 vsize=144632 memory=4026561614 CPUtime=0 cores=0,2
/proc/865317/task/865318/stat : 865318 (ld-linux-x86-64) R 865315 865315 859141 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 162628278 148103168 7592 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 2147221247 4096 0 0 0 0 -1 2 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 154560 KiB
Current children cumulated memory: 33020 KiB
[startup+0.205636 s]*
/proc/loadavg: 4.11 4.10 4.09 5/262 865318
/proc/meminfo: memFree=123749824/131524600 swapFree=131071996/131071996
[pid=865315] ppid=865312 vsize=9928 memory=2652 CPUtime=0 cores=0,2
/proc/865315/stat : 865315 (run-glibc-2.34.) S 865312 865315 859141 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 162628268 10166272 663 134679101440 94059045183488 94059046262808 140725368848032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94059048361264 94059048408452 94059050348544 140725368849355 140725368849500 140725368849500 140725368856515 0
/proc/865315/statm: 2482 663 583 264 0 133 0
[pid=865317] ppid=865315 vsize=163960 memory=48104 CPUtime=0.2 cores=0,2
/proc/865317/stat : 865317 (ld-linux-x86-64) R 865315 865315 859141 0 -1 4194304 10984 0 0 0 14 6 0 0 20 0 2 0 162628268 167895040 12026 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
/proc/865317/statm: 40990 12026 3294 46 0 13585 0
[pid=865317/tid=865318] ppid=865315 vsize=163960 memory=3471202400344241230 CPUtime=0 cores=0,2
/proc/865317/task/865318/stat : 865318 (ld-linux-x86-64) R 865315 865315 859141 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 162628278 167895040 12026 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 173888 KiB
Current children cumulated memory: 50756 KiB
[startup+0.305806 s]*
/proc/loadavg: 4.11 4.10 4.09 5/262 865318
/proc/meminfo: memFree=123749684/131524600 swapFree=131071996/131071996
[pid=865315] ppid=865312 vsize=9928 memory=2652 CPUtime=0 cores=0,2
/proc/865315/stat : 865315 (run-glibc-2.34.) S 865312 865315 859141 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 162628268 10166272 663 134679101440 94059045183488 94059046262808 140725368848032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94059048361264 94059048408452 94059050348544 140725368849355 140725368849500 140725368849500 140725368856515 0
/proc/865315/statm: 2482 663 583 264 0 133 0
[pid=865317] ppid=865315 vsize=164128 memory=48104 CPUtime=0.29 cores=0,2
/proc/865317/stat : 865317 (ld-linux-x86-64) R 865315 865315 859141 0 -1 4194304 11001 0 0 0 22 7 0 0 20 0 2 0 162628268 168067072 12026 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
/proc/865317/statm: 41032 12026 3294 46 0 13627 0
[pid=865317/tid=865318] ppid=865315 vsize=164128 memory=-8969692236372665953 CPUtime=0 cores=0,2
/proc/865317/task/865318/stat : 865318 (ld-linux-x86-64) S 865315 865315 859141 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 162628278 168067072 12026 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 174056 KiB
Current children cumulated memory: 50756 KiB
[startup+0.700219 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 865318
/proc/meminfo: memFree=123749516/131524600 swapFree=131071996/131071996
[pid=865315] ppid=865312 vsize=9928 memory=2652 CPUtime=0 cores=0,2
/proc/865315/stat : 865315 (run-glibc-2.34.) S 865312 865315 859141 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 162628268 10166272 663 134679101440 94059045183488 94059046262808 140725368848032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94059048361264 94059048408452 94059050348544 140725368849355 140725368849500 140725368849500 140725368856515 0
/proc/865315/statm: 2482 663 583 264 0 133 0
[pid=865317] ppid=865315 vsize=164128 memory=48104 CPUtime=0.68 cores=0,2
/proc/865317/stat : 865317 (ld-linux-x86-64) R 865315 865315 859141 0 -1 4194304 11023 0 0 0 53 15 0 0 20 0 2 0 162628268 168067072 12026 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
/proc/865317/statm: 41032 12026 3294 46 0 13627 0
[pid=865317/tid=865318] ppid=865315 vsize=164128 memory=2028 CPUtime=0 cores=0,2
/proc/865317/task/865318/stat : 865318 (ld-linux-x86-64) S 865315 865315 859141 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 162628278 168067072 12026 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 174056 KiB
Current children cumulated memory: 50756 KiB
[startup+1.50022 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 865318
/proc/meminfo: memFree=123739660/131524600 swapFree=131071996/131071996
[pid=865315] ppid=865312 vsize=9928 memory=2652 CPUtime=0 cores=0,2
/proc/865315/stat : 865315 (run-glibc-2.34.) S 865312 865315 859141 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 162628268 10166272 663 134679101440 94059045183488 94059046262808 140725368848032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94059048361264 94059048408452 94059050348544 140725368849355 140725368849500 140725368849500 140725368856515 0
/proc/865315/statm: 2482 663 583 264 0 133 0
[pid=865317] ppid=865315 vsize=169368 memory=57028 CPUtime=1.49 cores=0,2
/proc/865317/stat : 865317 (ld-linux-x86-64) R 865315 865315 859141 0 -1 4194304 14430 0 0 0 117 32 0 0 20 0 2 0 162628268 173432832 14257 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
/proc/865317/statm: 42342 14257 3517 46 0 14937 0
[pid=865317/tid=865318] ppid=865315 vsize=169368 memory=11544 CPUtime=0 cores=0,2
/proc/865317/task/865318/stat : 865318 (ld-linux-x86-64) S 865315 865315 859141 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 162628278 173432832 14257 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 179296 KiB
Current children cumulated memory: 59680 KiB
[startup+3.10517 s]
/proc/loadavg: 4.10 4.10 4.09 5/262 865318
/proc/meminfo: memFree=123736636/131524600 swapFree=131071996/131071996
[pid=865315] ppid=865312 vsize=9928 memory=2652 CPUtime=0 cores=0,2
/proc/865315/stat : 865315 (run-glibc-2.34.) S 865312 865315 859141 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 162628268 10166272 663 134679101440 94059045183488 94059046262808 140725368848032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94059048361264 94059048408452 94059050348544 140725368849355 140725368849500 140725368849500 140725368856515 0
/proc/865315/statm: 2482 663 583 264 0 133 0
[pid=865317] ppid=865315 vsize=171108 memory=61084 CPUtime=3.08 cores=0,2
/proc/865317/stat : 865317 (ld-linux-x86-64) R 865315 865315 859141 0 -1 4194304 23881 0 0 0 244 64 0 0 20 0 2 0 162628268 175214592 15271 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
/proc/865317/statm: 42777 15271 3771 46 0 15372 0
[pid=865317/tid=865318] ppid=865315 vsize=171108 memory=2652 CPUtime=0 cores=0,2
/proc/865317/task/865318/stat : 865318 (ld-linux-x86-64) S 865315 865315 859141 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 162628278 175214592 15271 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 181036 KiB
Current children cumulated memory: 63736 KiB
[startup+6.30023 s]
/proc/loadavg: 4.10 4.10 4.09 5/262 865319
/proc/meminfo: memFree=123707644/131524600 swapFree=131071996/131071996
[pid=865315] ppid=865312 vsize=9928 memory=2652 CPUtime=0 cores=0,2
/proc/865315/stat : 865315 (run-glibc-2.34.) S 865312 865315 859141 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 162628268 10166272 663 134679101440 94059045183488 94059046262808 140725368848032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94059048361264 94059048408452 94059050348544 140725368849355 140725368849500 140725368849500 140725368856515 0
/proc/865315/statm: 2482 663 583 264 0 133 0
[pid=865317] ppid=865315 vsize=203176 memory=95176 CPUtime=6.26 cores=0,2
/proc/865317/stat : 865317 (ld-linux-x86-64) R 865315 865315 859141 0 -1 4194304 33193 0 0 0 502 124 0 0 20 0 2 0 162628268 208052224 23794 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
/proc/865317/statm: 50794 23794 3771 46 0 23389 0
[pid=865317/tid=865318] ppid=865315 vsize=203176 memory=2652 CPUtime=0 cores=0,2
/proc/865317/task/865318/stat : 865318 (ld-linux-x86-64) S 865315 865315 859141 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 2 0 162628278 208052224 23794 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 213104 KiB
Current children cumulated memory: 97828 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.10 4.09 5/262 865319
/proc/meminfo: memFree=123672040/131524600 swapFree=131071996/131071996
[pid=865315] ppid=865312 vsize=9928 memory=2652 CPUtime=0 cores=0,2
/proc/865315/stat : 865315 (run-glibc-2.34.) S 865312 865315 859141 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 162628268 10166272 663 134679101440 94059045183488 94059046262808 140725368848032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94059048361264 94059048408452 94059050348544 140725368849355 140725368849500 140725368849500 140725368856515 0
/proc/865315/statm: 2482 663 583 264 0 133 0
[pid=865317] ppid=865315 vsize=255820 memory=132936 CPUtime=12.65 cores=0,2
/proc/865317/stat : 865317 (ld-linux-x86-64) R 865315 865315 859141 0 -1 4194304 70485 0 0 0 1009 256 0 0 20 0 2 0 162628268 261959680 33234 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
/proc/865317/statm: 63955 33234 3835 46 0 36550 0
[pid=865317/tid=865318] ppid=865315 vsize=255820 memory=2652 CPUtime=0 cores=0,2
/proc/865317/task/865318/stat : 865318 (ld-linux-x86-64) S 865315 865315 859141 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 2 0 162628278 261959680 33234 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 265748 KiB
Current children cumulated memory: 135588 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.11 4.09 5/262 865321
/proc/meminfo: memFree=123578412/131524600 swapFree=131071996/131071996
[pid=865315] ppid=865312 vsize=9928 memory=2652 CPUtime=0 cores=0,2
/proc/865315/stat : 865315 (run-glibc-2.34.) S 865312 865315 859141 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 162628268 10166272 663 134679101440 94059045183488 94059046262808 140725368848032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94059048361264 94059048408452 94059050348544 140725368849355 140725368849500 140725368849500 140725368856515 0
/proc/865315/statm: 2482 663 583 264 0 133 0
[pid=865317] ppid=865315 vsize=330740 memory=201364 CPUtime=25.39 cores=0,2
/proc/865317/stat : 865317 (ld-linux-x86-64) R 865315 865315 859141 0 -1 4194304 132782 0 0 0 2065 474 0 0 20 0 2 0 162628268 338677760 50341 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
/proc/865317/statm: 82685 50341 3835 46 0 55280 0
[pid=865317/tid=865318] ppid=865315 vsize=330740 memory=5472 CPUtime=0 cores=0,2
/proc/865317/task/865318/stat : 865318 (ld-linux-x86-64) S 865315 865315 859141 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 2 0 162628278 338677760 50341 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 340668 KiB
Current children cumulated memory: 204016 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 865326
/proc/meminfo: memFree=123514528/131524600 swapFree=131071996/131071996
[pid=865315] ppid=865312 vsize=9928 memory=2652 CPUtime=0 cores=0,2
/proc/865315/stat : 865315 (run-glibc-2.34.) S 865312 865315 859141 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 162628268 10166272 663 134679101440 94059045183488 94059046262808 140725368848032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94059048361264 94059048408452 94059050348544 140725368849355 140725368849500 140725368849500 140725368856515 0
/proc/865315/statm: 2482 663 583 264 0 133 0
[pid=865317] ppid=865315 vsize=406144 memory=273300 CPUtime=50.92 cores=0,2
/proc/865317/stat : 865317 (ld-linux-x86-64) R 865315 865315 859141 0 -1 4194304 205470 0 0 0 4119 973 0 0 20 0 2 0 162628268 415891456 68325 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
/proc/865317/statm: 101536 68325 3835 46 0 74131 0
[pid=865317/tid=865318] ppid=865315 vsize=406144 memory=2652 CPUtime=0.01 cores=0,2
/proc/865317/task/865318/stat : 865318 (ld-linux-x86-64) S 865315 865315 859141 0 -1 1077936192 26 0 0 0 0 1 0 0 20 0 2 0 162628278 415891456 68325 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 416072 KiB
Current children cumulated memory: 275952 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/263 865335
/proc/meminfo: memFree=123384576/131524600 swapFree=131071996/131071996
[pid=865315] ppid=865312 vsize=9928 memory=2652 CPUtime=0 cores=0,2
/proc/865315/stat : 865315 (run-glibc-2.34.) S 865312 865315 859141 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 162628268 10166272 663 134679101440 94059045183488 94059046262808 140725368848032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94059048361264 94059048408452 94059050348544 140725368849355 140725368849500 140725368849500 140725368856515 0
/proc/865315/statm: 2482 663 583 264 0 133 0
[pid=865317] ppid=865315 vsize=488352 memory=370520 CPUtime=101.88 cores=0,2
/proc/865317/stat : 865317 (ld-linux-x86-64) R 865315 865315 859141 0 -1 4194304 271800 0 0 0 8520 1668 0 0 20 0 2 0 162628268 500072448 92630 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
/proc/865317/statm: 122088 92630 3961 46 0 94683 0
[pid=865317/tid=865318] ppid=865315 vsize=488352 memory=2652 CPUtime=0.04 cores=0,2
/proc/865317/task/865318/stat : 865318 (ld-linux-x86-64) S 865315 865315 859141 0 -1 1077936192 32 0 0 0 2 2 0 0 20 0 2 0 162628278 500072448 92630 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 498280 KiB
Current children cumulated memory: 373172 KiB
[startup+162.3 s]
################
# More data... #
################
/proc/865317/statm: 240265 182573 4023 46 0 212860 0
[pid=865317/tid=865318] ppid=865315 vsize=961060 memory=2652 CPUtime=1.35 cores=0,2
/proc/865317/task/865318/stat : 865318 (ld-linux-x86-64) S 865315 865315 859141 0 -1 1077936192 138 0 0 0 40 95 0 0 20 0 2 0 162628278 984125440 182573 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
Current children cumulated CPU time: 3093.91 s
Current children cumulated vsize: 970988 KiB
Current children cumulated memory: 732944 KiB
[startup+3162.3 s]
/proc/loadavg: 1.08 1.14 1.76 2/240 867167
/proc/meminfo: memFree=124907008/131524600 swapFree=131071996/131071996
[pid=865315] ppid=865312 vsize=9928 memory=2652 CPUtime=0 cores=0,2
/proc/865315/stat : 865315 (run-glibc-2.34.) S 865312 865315 859141 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 162628268 10166272 663 134679101440 94059045183488 94059046262808 140725368848032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94059048361264 94059048408452 94059050348544 140725368849355 140725368849500 140725368849500 140725368856515 0
/proc/865315/statm: 2482 663 583 264 0 133 0
[pid=865317] ppid=865315 vsize=961060 memory=732372 CPUtime=3153.78 cores=0,2
/proc/865317/stat : 865317 (ld-linux-x86-64) R 865315 865315 859141 0 -1 4194304 1418795 0 0 0 311143 4235 0 0 20 0 2 0 162628268 984125440 183093 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
/proc/865317/statm: 240265 183093 4023 46 0 212860 0
[pid=865317/tid=865318] ppid=865315 vsize=961060 memory=2652 CPUtime=1.37 cores=0,2
/proc/865317/task/865318/stat : 865318 (ld-linux-x86-64) S 865315 865315 859141 0 -1 1077936192 140 0 0 0 41 96 0 0 20 0 2 0 162628278 984125440 183093 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
Current children cumulated CPU time: 3153.78 s
Current children cumulated vsize: 970988 KiB
Current children cumulated memory: 735024 KiB
[startup+3222.3 s]
/proc/loadavg: 1.16 1.14 1.72 2/240 867178
/proc/meminfo: memFree=124907048/131524600 swapFree=131071996/131071996
[pid=865315] ppid=865312 vsize=9928 memory=2652 CPUtime=0 cores=0,2
/proc/865315/stat : 865315 (run-glibc-2.34.) S 865312 865315 859141 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 162628268 10166272 663 134679101440 94059045183488 94059046262808 140725368848032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94059048361264 94059048408452 94059050348544 140725368849355 140725368849500 140725368849500 140725368856515 0
/proc/865315/statm: 2482 663 583 264 0 133 0
[pid=865317] ppid=865315 vsize=961060 memory=732372 CPUtime=3213.65 cores=0,2
/proc/865317/stat : 865317 (ld-linux-x86-64) R 865315 865315 859141 0 -1 4194304 1420324 0 0 0 317128 4237 0 0 20 0 2 0 162628268 984125440 183093 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
/proc/865317/statm: 240265 183093 4023 46 0 212860 0
[pid=865317/tid=865318] ppid=865315 vsize=961060 memory=2652 CPUtime=1.39 cores=0,2
/proc/865317/task/865318/stat : 865318 (ld-linux-x86-64) S 865315 865315 859141 0 -1 1077936192 142 0 0 0 42 97 0 0 20 0 2 0 162628278 984125440 183093 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
Current children cumulated CPU time: 3213.65 s
Current children cumulated vsize: 970988 KiB
Current children cumulated memory: 735024 KiB
[startup+3282.3 s]
/proc/loadavg: 1.10 1.13 1.68 2/240 867188
/proc/meminfo: memFree=124906652/131524600 swapFree=131071996/131071996
[pid=865315] ppid=865312 vsize=9928 memory=2652 CPUtime=0 cores=0,2
/proc/865315/stat : 865315 (run-glibc-2.34.) S 865312 865315 859141 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 162628268 10166272 663 134679101440 94059045183488 94059046262808 140725368848032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94059048361264 94059048408452 94059050348544 140725368849355 140725368849500 140725368849500 140725368856515 0
/proc/865315/statm: 2482 663 583 264 0 133 0
[pid=865317] ppid=865315 vsize=961060 memory=732512 CPUtime=3273.51 cores=0,2
/proc/865317/stat : 865317 (ld-linux-x86-64) R 865315 865315 859141 0 -1 4194304 1423187 0 0 0 323113 4238 0 0 20 0 2 0 162628268 984125440 183128 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
/proc/865317/statm: 240265 183128 4023 46 0 212860 0
[pid=865317/tid=865318] ppid=865315 vsize=961060 memory=42856 CPUtime=1.41 cores=0,2
/proc/865317/task/865318/stat : 865318 (ld-linux-x86-64) S 865315 865315 859141 0 -1 1077936192 144 0 0 0 42 99 0 0 20 0 2 0 162628278 984125440 183128 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
Current children cumulated CPU time: 3273.51 s
Current children cumulated vsize: 970988 KiB
Current children cumulated memory: 735164 KiB
[startup+3342.3 s]
/proc/loadavg: 1.22 1.15 1.65 2/239 867198
/proc/meminfo: memFree=124906196/131524600 swapFree=131071996/131071996
[pid=865315] ppid=865312 vsize=9928 memory=2652 CPUtime=0 cores=0,2
/proc/865315/stat : 865315 (run-glibc-2.34.) S 865312 865315 859141 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 162628268 10166272 663 134679101440 94059045183488 94059046262808 140725368848032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94059048361264 94059048408452 94059050348544 140725368849355 140725368849500 140725368849500 140725368856515 0
/proc/865315/statm: 2482 663 583 264 0 133 0
[pid=865317] ppid=865315 vsize=961060 memory=732708 CPUtime=3333.37 cores=0,2
/proc/865317/stat : 865317 (ld-linux-x86-64) R 865315 865315 859141 0 -1 4194304 1425688 0 0 0 329097 4240 0 0 20 0 2 0 162628268 984125440 183177 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
/proc/865317/statm: 240265 183177 4023 46 0 212860 0
[pid=865317/tid=865318] ppid=865315 vsize=961060 memory=2652 CPUtime=1.44 cores=0,2
/proc/865317/task/865318/stat : 865318 (ld-linux-x86-64) S 865315 865315 859141 0 -1 1077936192 147 0 0 0 43 101 0 0 20 0 2 0 162628278 984125440 183177 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 970988 KiB
Current children cumulated memory: 735360 KiB
[startup+3402.3 s]
/proc/loadavg: 1.08 1.12 1.61 2/239 867211
/proc/meminfo: memFree=124904884/131524600 swapFree=131071996/131071996
[pid=865315] ppid=865312 vsize=9928 memory=2652 CPUtime=0 cores=0,2
/proc/865315/stat : 865315 (run-glibc-2.34.) S 865312 865315 859141 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 162628268 10166272 663 134679101440 94059045183488 94059046262808 140725368848032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94059048361264 94059048408452 94059050348544 140725368849355 140725368849500 140725368849500 140725368856515 0
/proc/865315/statm: 2482 663 583 264 0 133 0
[pid=865317] ppid=865315 vsize=961060 memory=733668 CPUtime=3393.24 cores=0,2
/proc/865317/stat : 865317 (ld-linux-x86-64) R 865315 865315 859141 0 -1 4194304 1429477 0 0 0 335082 4242 0 0 20 0 2 0 162628268 984125440 183417 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
/proc/865317/statm: 240265 183417 4023 46 0 212860 0
[pid=865317/tid=865318] ppid=865315 vsize=961060 memory=2652 CPUtime=1.46 cores=0,2
/proc/865317/task/865318/stat : 865318 (ld-linux-x86-64) S 865315 865315 859141 0 -1 1077936192 150 0 0 0 44 102 0 0 20 0 2 0 162628278 984125440 183417 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
Current children cumulated CPU time: 3393.24 s
Current children cumulated vsize: 970988 KiB
Current children cumulated memory: 736320 KiB
[startup+3462.3 s]
/proc/loadavg: 1.07 1.11 1.57 2/235 867222
/proc/meminfo: memFree=124904648/131524600 swapFree=131071996/131071996
[pid=865315] ppid=865312 vsize=9928 memory=2652 CPUtime=0 cores=0,2
/proc/865315/stat : 865315 (run-glibc-2.34.) S 865312 865315 859141 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 162628268 10166272 663 134679101440 94059045183488 94059046262808 140725368848032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94059048361264 94059048408452 94059050348544 140725368849355 140725368849500 140725368849500 140725368856515 0
/proc/865315/statm: 2482 663 583 264 0 133 0
[pid=865317] ppid=865315 vsize=961060 memory=733668 CPUtime=3453.1 cores=0,2
/proc/865317/stat : 865317 (ld-linux-x86-64) R 865315 865315 859141 0 -1 4194304 1431077 0 0 0 341067 4243 0 0 20 0 2 0 162628268 984125440 183417 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
/proc/865317/statm: 240265 183417 4023 46 0 212860 0
[pid=865317/tid=865318] ppid=865315 vsize=961060 memory=2652 CPUtime=1.48 cores=0,2
/proc/865317/task/865318/stat : 865318 (ld-linux-x86-64) S 865315 865315 859141 0 -1 1077936192 151 0 0 0 44 104 0 0 20 0 2 0 162628278 984125440 183417 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
Current children cumulated CPU time: 3453.1 s
Current children cumulated vsize: 970988 KiB
Current children cumulated memory: 736320 KiB
[startup+3522.3 s]
/proc/loadavg: 1.16 1.13 1.55 2/235 867232
/proc/meminfo: memFree=124906568/131524600 swapFree=131071996/131071996
[pid=865315] ppid=865312 vsize=9928 memory=2652 CPUtime=0 cores=0,2
/proc/865315/stat : 865315 (run-glibc-2.34.) S 865312 865315 859141 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 162628268 10166272 663 134679101440 94059045183488 94059046262808 140725368848032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94059048361264 94059048408452 94059050348544 140725368849355 140725368849500 140725368849500 140725368856515 0
/proc/865315/statm: 2482 663 583 264 0 133 0
[pid=865317] ppid=865315 vsize=961060 memory=733668 CPUtime=3512.98 cores=0,2
/proc/865317/stat : 865317 (ld-linux-x86-64) R 865315 865315 859141 0 -1 4194304 1432170 0 0 0 347052 4246 0 0 20 0 2 0 162628268 984125440 183417 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
/proc/865317/statm: 240265 183417 4023 46 0 212860 0
[pid=865317/tid=865318] ppid=865315 vsize=961060 memory=13196 CPUtime=1.51 cores=0,2
/proc/865317/task/865318/stat : 865318 (ld-linux-x86-64) S 865315 865315 859141 0 -1 1077936192 154 0 0 0 45 106 0 0 20 0 2 0 162628278 984125440 183417 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
Current children cumulated CPU time: 3512.98 s
Current children cumulated vsize: 970988 KiB
Current children cumulated memory: 736320 KiB
[startup+3582.3 s]
/proc/loadavg: 1.11 1.12 1.52 2/235 867243
/proc/meminfo: memFree=124906016/131524600 swapFree=131071996/131071996
[pid=865315] ppid=865312 vsize=9928 memory=2652 CPUtime=0 cores=0,2
/proc/865315/stat : 865315 (run-glibc-2.34.) S 865312 865315 859141 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 162628268 10166272 663 134679101440 94059045183488 94059046262808 140725368848032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94059048361264 94059048408452 94059050348544 140725368849355 140725368849500 140725368849500 140725368856515 0
/proc/865315/statm: 2482 663 583 264 0 133 0
[pid=865317] ppid=865315 vsize=961060 memory=734012 CPUtime=3572.84 cores=0,2
/proc/865317/stat : 865317 (ld-linux-x86-64) R 865315 865315 859141 0 -1 4194304 1432437 0 0 0 353036 4248 0 0 20 0 2 0 162628268 984125440 183503 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
/proc/865317/statm: 240265 183503 4023 46 0 212860 0
[pid=865317/tid=865318] ppid=865315 vsize=961060 memory=11544 CPUtime=1.53 cores=0,2
/proc/865317/task/865318/stat : 865318 (ld-linux-x86-64) S 865315 865315 859141 0 -1 1077936192 156 0 0 0 45 108 0 0 20 0 2 0 162628278 984125440 183503 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
Current children cumulated CPU time: 3572.84 s
Current children cumulated vsize: 970988 KiB
Current children cumulated memory: 736664 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 1.07 1.11 1.50 2/235 867249
/proc/meminfo: memFree=124905884/131524600 swapFree=131071996/131071996
[pid=865315] ppid=865312 vsize=9928 memory=2652 CPUtime=0 cores=0,2
/proc/865315/stat : 865315 (run-glibc-2.34.) S 865312 865315 859141 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 162628268 10166272 663 134679101440 94059045183488 94059046262808 140725368848032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94059048361264 94059048408452 94059050348544 140725368849355 140725368849500 140725368849500 140725368856515 0
/proc/865315/statm: 2482 663 583 264 0 133 0
[pid=865317] ppid=865315 vsize=961060 memory=734012 CPUtime=3600.08 cores=0,2
/proc/865317/stat : 865317 (ld-linux-x86-64) R 865315 865315 859141 0 -1 4194304 1432594 0 0 0 355759 4249 0 0 20 0 2 0 162628268 984125440 183503 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
/proc/865317/statm: 240265 183503 4023 46 0 212860 0
[pid=865317/tid=865318] ppid=865315 vsize=961060 memory=279608143102112 CPUtime=1.54 cores=0,2
/proc/865317/task/865318/stat : 865318 (ld-linux-x86-64) S 865315 865315 859141 0 -1 1077936192 158 0 0 0 46 108 0 0 20 0 2 0 162628278 984125440 183503 134679101440 140452859580416 140452859768028 140733664736672 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140452861868928 140452861878376 93825003511808 140733664744291 140733664744443 140733664744443 140733664751538 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 970988 KiB
Current children cumulated memory: 736664 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.61 s]
# the end of solver process 865315 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3557.6 s, system=42.4943 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3609.61
CPU time (s): 3600.1
CPU user time (s): 3557.6
CPU system time (s): 42.4943
CPU usage (%): 99.7365
Max. virtual memory (cumulated for all children) (KiB): 1032472
Max. memory (cumulated for all children) (KiB): 779760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.6
system time used= 42.4943
maximum resident set size= 777108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1432810
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357537
involuntary context switches= 25248
# summary of solver processes directly reported to runsolver:
# pid: 865315
# total CPU time (s): 3600.1
# total CPU user time (s): 3557.6
# total CPU system time (s): 42.4943
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.05527 second user time and 14.5557 second system time
The end