0.08/0.16 c initialize IPBHS solver
0.08/0.16 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
0.08/0.16 c optimizer = "gurobi"
0.08/0.16 c pbsolver = "roundingsat"
0.08/0.16 c load symmetries from file ""
0.08/0.16 c set time limit for symmetry computation to 100 seconds.
0.08/0.16 c set interchangeable summation variable limit to 3
0.08/0.16 c find symmetric cores by applying each permutation and add them to optimizer
0.08/0.16 c set abs symmetric core budget per WCE-iteration to 100
0.08/0.16 c set rel symmetric core budget per WCE-iteration to 0
0.08/0.16 c set lit symmetric core budget per WCE-iteration to 0
0.08/0.16 c set sym generation to 's'
0.08/0.16 c set abstraction set creation to 10 iterations without LB change
0.08/0.16 c set abstraction set inputs to 0
0.08/0.16 c set abstraction set cluster min size to 2
0.08/0.16 c set abstraction set cluster max size to 100000000
0.08/0.16 c set abstraction set cluster activation limit to 2
0.08/0.16 c enable abstraction set require equal cost
0.08/0.16 c set abstraction set assumptions to 0
0.08/0.16 c set abstraction set constraint type to 0
0.08/0.16 c set abstract core extraction strategy to b
0.08/0.16 c set core extraction strategy to 2
0.08/0.16 c set core extraction shuffles 10
0.08/0.16 c set cores per iteration to 5
0.08/0.16 c set optimizer bound usage strategy to 2
0.08/0.16 c set optimizer max non-optimal iterations to 1000
0.08/0.16 c set small core cardinality limit to 2
0.08/0.16 c set max coef in cores to 1000000000
0.08/0.16 c set SIS iterations to 5
0.08/0.16 c set SIS budget abs to 1000
0.08/0.16 c set SIS budget rel to 0.05
0.08/0.16 c limit for coefficient in constraints and objective to 9223372036854775807
0.08/0.16 c will solve HOME/instance-4431220-1721120323.opb
3085.23/3094.89 c [0.25] solve iteration 1, LB=-109612, UB=60997
3085.23/3094.89 c [1.58] solve iteration 2, LB=-13048, UB=-3695
3085.23/3094.89 c [21.52] solve iteration 3, LB=-10615, UB=-9876
3085.23/3094.89 c [26.63] solve iteration 4, LB=-10615, UB=-9876
3085.23/3094.89 c [32.8] solve iteration 5, LB=-10615, UB=-9876
3085.23/3094.89 c [39.3] solve iteration 6, LB=-10615, UB=-9876
3085.23/3094.89 c [46.6] solve iteration 7, LB=-10615, UB=-9876
3085.23/3094.89 c [73.74] solve iteration 8, LB=-10615, UB=-9876
3085.23/3094.89 c [84.33] solve iteration 9, LB=-10615, UB=-9876
3085.23/3094.89 c [94.59] solve iteration 10, LB=-10615, UB=-9876
3085.23/3094.89 c [106.09] solve iteration 11, LB=-10615, UB=-9876
3085.23/3094.89 c [120.29] solve iteration 12, LB=-10615, UB=-9876
3085.23/3094.89 c [154.58] solve iteration 13, LB=-10615, UB=-9876
3085.23/3094.89 c [166.28] solve iteration 14, LB=-10615, UB=-9876
3085.23/3094.89 c [179.97] solve iteration 15, LB=-10615, UB=-9876
3085.23/3094.89 c [194.67] solve iteration 16, LB=-10615, UB=-9876
3085.23/3094.89 c [206.94] solve iteration 17, LB=-10615, UB=-9876
3085.23/3094.89 c [239.57] solve iteration 18, LB=-10615, UB=-9876
3085.23/3094.89 c [254.72] solve iteration 19, LB=-10615, UB=-9876
3085.23/3094.89 c [269.06] solve iteration 20, LB=-10615, UB=-9876
3085.23/3094.89 c [284.16] solve iteration 21, LB=-10615, UB=-9876
3085.23/3094.89 c [297.85] solve iteration 22, LB=-10615, UB=-9876
3085.23/3094.89 c [353.14] solve iteration 23, LB=-10615, UB=-9876
3085.23/3094.89 c [371.85] solve iteration 24, LB=-10615, UB=-9876
3085.23/3094.89 c [387.77] solve iteration 25, LB=-10615, UB=-9876
3085.23/3094.89 c [408.23] solve iteration 26, LB=-10615, UB=-9876
3085.23/3094.89 c [425.95] solve iteration 27, LB=-10615, UB=-9876
3085.23/3094.89 c [487.32] solve iteration 28, LB=-10615, UB=-9876
3085.23/3094.89 c [507.85] solve iteration 29, LB=-10615, UB=-9876
3085.23/3094.89 c [530.11] solve iteration 30, LB=-10615, UB=-9876
3085.23/3094.89 c [550.65] solve iteration 31, LB=-10615, UB=-9876
3085.23/3094.89 c [572.52] solve iteration 32, LB=-10615, UB=-9876
3085.23/3094.89 c [641.98] solve iteration 33, LB=-10615, UB=-9876
3085.23/3094.89 c [662.24] solve iteration 34, LB=-10615, UB=-9876
3085.23/3094.89 c [684.75] solve iteration 35, LB=-10615, UB=-9876
3085.23/3094.89 c [707.6] solve iteration 36, LB=-10615, UB=-9876
3085.23/3094.89 c [739.35] solve iteration 37, LB=-10615, UB=-9876
3085.23/3094.89 c [817.91] solve iteration 38, LB=-10615, UB=-9876
3085.23/3094.89 c [847.09] solve iteration 39, LB=-10615, UB=-9876
3085.23/3094.89 c [882.99] solve iteration 40, LB=-10615, UB=-9876
3085.23/3094.89 c [909.88] solve iteration 41, LB=-10615, UB=-9876
3085.23/3094.89 c [932] solve iteration 42, LB=-10615, UB=-9876
3085.23/3094.89 c [1028.32] solve iteration 43, LB=-10615, UB=-9876
3085.23/3094.89 c [1059.35] solve iteration 44, LB=-10615, UB=-9876
3085.23/3094.89 c [1090.43] solve iteration 45, LB=-10615, UB=-9876
3085.23/3094.89 c [1122.53] solve iteration 46, LB=-10615, UB=-9876
3085.23/3094.89 c [1154.67] solve iteration 47, LB=-10615, UB=-9876
3085.23/3094.89 c [1249.2] solve iteration 48, LB=-10615, UB=-9876
3085.23/3094.89 c [1276.74] solve iteration 49, LB=-10615, UB=-9876
3085.23/3094.89 c [1311.51] solve iteration 50, LB=-10615, UB=-9876
3085.23/3094.89 c [1351.59] solve iteration 51, LB=-10615, UB=-9876
3085.23/3094.89 c [1389.93] solve iteration 52, LB=-10615, UB=-9876
3085.23/3094.89 c [1421.22] solve iteration 53, LB=-10615, UB=-9909
3085.23/3094.89 c [1459.3] solve iteration 54, LB=-10615, UB=-9909
3085.23/3094.89 c [1492.17] solve iteration 55, LB=-10615, UB=-9909
3085.23/3094.89 c [1523.87] solve iteration 56, LB=-10615, UB=-9909
3085.23/3094.89 c [1558.19] solve iteration 57, LB=-10615, UB=-9909
3085.23/3094.89 c [1663.61] solve iteration 58, LB=-10615, UB=-9909
3085.23/3094.89 c [1701.86] solve iteration 59, LB=-10615, UB=-9909
3085.23/3094.89 c [1769.03] solve iteration 60, LB=-10615, UB=-9909
3085.23/3094.89 c [1846.73] solve iteration 61, LB=-10615, UB=-9909
3085.23/3094.89 c [1883.61] solve iteration 62, LB=-10615, UB=-9909
3085.23/3094.89 c [2009.22] solve iteration 63, LB=-10615, UB=-9909
3085.23/3094.89 c [2049.48] solve iteration 64, LB=-10615, UB=-9909
3085.23/3094.89 c [2085.47] solve iteration 65, LB=-10615, UB=-9909
3085.23/3094.89 c [2124.03] solve iteration 66, LB=-10615, UB=-9909
3085.23/3094.89 c [2168.99] solve iteration 67, LB=-10615, UB=-9909
3085.23/3094.89 c [2292.83] solve iteration 68, LB=-10615, UB=-9909
3085.23/3094.89 c [2343.72] solve iteration 69, LB=-10615, UB=-9909
3085.23/3094.89 c [2394.75] solve iteration 70, LB=-10615, UB=-9909
3085.23/3094.89 c [2434.82] solve iteration 71, LB=-10615, UB=-9909
3085.23/3094.89 c [2485.22] solve iteration 72, LB=-10615, UB=-9909
3085.23/3094.89 c [2633.34] solve iteration 73, LB=-10615, UB=-9909
3085.23/3094.89 c [2678.94] solve iteration 74, LB=-10615, UB=-9909
3085.23/3094.89 c [2722.21] solve iteration 75, LB=-10615, UB=-9909
3085.23/3094.89 c [2771.08] solve iteration 76, LB=-10615, UB=-9909
3085.23/3094.89 c [2818.78] solve iteration 77, LB=-10615, UB=-9909
3085.23/3094.89 c [2923.74] solve iteration 78, LB=-10615, UB=-9920
3085.23/3094.89 c [2973.36] solve iteration 79, LB=-10615, UB=-9920
3085.23/3094.89 c [3029.54] solve iteration 80, LB=-10615, UB=-9920
3085.23/3094.89 c [3070HOME/run-glibc-2.34.sh: line 2: 852991 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 (61932 MiB free)
memory of node 1: 64510 MiB (61597 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431220-1721120323/watcher-4431220-1721120323 -o /tmp/evaluation-result-4431220-1721120323/solver-4431220-1721120323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721116306-848667 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4431220-1721120323.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
solver pid=852989, runsolver pid=852986
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 4.06 4.17 4.15 5/267 852992
/proc/meminfo: memFree=126467528/131524600 swapFree=130796312/131071996
[pid=852989] ppid=852986 vsize=9928 memory=2780 CPUtime=0 cores=0,2
/proc/852989/stat : 852989 (run-glibc-2.34.) S 852986 852989 848657 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 164191498 10166272 695 134679101440 94298020847616 94298021926936 140728085453712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94298024025392 94298024072580 94298045480960 140728085459903 140728085460060 140728085460060 140728085467075 0
/proc/852989/statm: 2482 695 614 264 0 133 0
[pid=852991] ppid=852989 vsize=149992 memory=37148 CPUtime=0.08 cores=0,2
/proc/852991/stat : 852991 (ld-linux-x86-64) R 852989 852989 848657 0 -1 4194304 5583 0 0 0 6 2 0 0 20 0 2 0 164191498 153591808 9287 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
/proc/852991/statm: 37498 9287 2690 46 0 10093 0
[pid=852991/tid=852992] ppid=852989 vsize=149992 memory=4026561614 CPUtime=0 cores=0,2
/proc/852991/task/852992/stat : 852992 (ld-linux-x86-64) S 852989 852989 848657 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 164191507 153591808 9287 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 1 0 0 -1 0 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 159920 KiB
Current children cumulated memory: 39928 KiB
[startup+0.206079 s]*
/proc/loadavg: 4.06 4.17 4.15 5/267 852992
/proc/meminfo: memFree=126453332/131524600 swapFree=130796312/131071996
[pid=852989] ppid=852986 vsize=9928 memory=2780 CPUtime=0 cores=0,2
/proc/852989/stat : 852989 (run-glibc-2.34.) S 852986 852989 848657 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 164191498 10166272 695 134679101440 94298020847616 94298021926936 140728085453712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94298024025392 94298024072580 94298045480960 140728085459903 140728085460060 140728085460060 140728085467075 0
/proc/852989/statm: 2482 695 614 264 0 133 0
[pid=852991] ppid=852989 vsize=164272 memory=51384 CPUtime=0.19 cores=0,2
/proc/852991/stat : 852991 (ld-linux-x86-64) R 852989 852989 848657 0 -1 4194304 9990 0 0 0 16 3 0 0 20 0 2 0 164191498 168214528 12846 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
/proc/852991/statm: 41068 12846 2706 46 0 13663 0
[pid=852991/tid=852992] ppid=852989 vsize=164272 memory=3471202400344241230 CPUtime=0 cores=0,2
/proc/852991/task/852992/stat : 852992 (ld-linux-x86-64) S 852989 852989 848657 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 164191507 168214528 12846 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 1 0 0 -1 0 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 174200 KiB
Current children cumulated memory: 54164 KiB
[startup+0.306078 s]*
/proc/loadavg: 4.06 4.17 4.15 5/267 852992
/proc/meminfo: memFree=126451976/131524600 swapFree=130796312/131071996
[pid=852989] ppid=852986 vsize=9928 memory=2780 CPUtime=0 cores=0,2
/proc/852989/stat : 852989 (run-glibc-2.34.) S 852986 852989 848657 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 164191498 10166272 695 134679101440 94298020847616 94298021926936 140728085453712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94298024025392 94298024072580 94298045480960 140728085459903 140728085460060 140728085460060 140728085467075 0
/proc/852989/statm: 2482 695 614 264 0 133 0
[pid=852991] ppid=852989 vsize=164604 memory=52008 CPUtime=0.28 cores=0,2
/proc/852991/stat : 852991 (ld-linux-x86-64) R 852989 852989 848657 0 -1 4194304 10321 0 0 0 24 4 0 0 20 0 2 0 164191498 168554496 13002 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
/proc/852991/statm: 41151 13002 2706 46 0 13746 0
[pid=852991/tid=852992] ppid=852989 vsize=164604 memory=-8538192222222051682 CPUtime=0 cores=0,2
/proc/852991/task/852992/stat : 852992 (ld-linux-x86-64) R 852989 852989 848657 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 164191507 168554496 13002 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 174532 KiB
Current children cumulated memory: 54788 KiB
[startup+0.700166 s]
/proc/loadavg: 4.06 4.17 4.15 5/267 852992
/proc/meminfo: memFree=126448488/131524600 swapFree=130796312/131071996
[pid=852989] ppid=852986 vsize=9928 memory=2780 CPUtime=0 cores=0,2
/proc/852989/stat : 852989 (run-glibc-2.34.) S 852986 852989 848657 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 164191498 10166272 695 134679101440 94298020847616 94298021926936 140728085453712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94298024025392 94298024072580 94298045480960 140728085459903 140728085460060 140728085460060 140728085467075 0
/proc/852989/statm: 2482 695 614 264 0 133 0
[pid=852991] ppid=852989 vsize=168688 memory=57848 CPUtime=0.67 cores=0,2
/proc/852991/stat : 852991 (ld-linux-x86-64) R 852989 852989 848657 0 -1 4194304 12213 0 0 0 59 8 0 0 20 0 2 0 164191498 172736512 14462 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
/proc/852991/statm: 42172 14462 3170 46 0 14767 0
[pid=852991/tid=852992] ppid=852989 vsize=168688 memory=2240 CPUtime=0 cores=0,2
/proc/852991/task/852992/stat : 852992 (ld-linux-x86-64) S 852989 852989 848657 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 164191507 172736512 14462 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 178616 KiB
Current children cumulated memory: 60628 KiB
[startup+1.5002 s]
/proc/loadavg: 4.06 4.17 4.15 5/267 852992
/proc/meminfo: memFree=126447852/131524600 swapFree=130796312/131071996
[pid=852989] ppid=852986 vsize=9928 memory=2780 CPUtime=0 cores=0,2
/proc/852989/stat : 852989 (run-glibc-2.34.) S 852986 852989 848657 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 164191498 10166272 695 134679101440 94298020847616 94298021926936 140728085453712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94298024025392 94298024072580 94298045480960 140728085459903 140728085460060 140728085460060 140728085467075 0
/proc/852989/statm: 2482 695 614 264 0 133 0
[pid=852991] ppid=852989 vsize=226504 memory=78916 CPUtime=1.46 cores=0,2
/proc/852991/stat : 852991 (ld-linux-x86-64) R 852989 852989 848657 0 -1 4194304 15156 0 0 0 137 9 0 0 20 0 2 0 164191498 231940096 19729 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
/proc/852991/statm: 56626 19729 3440 46 0 29221 0
[pid=852991/tid=852992] ppid=852989 vsize=226504 memory=7544 CPUtime=0 cores=0,2
/proc/852991/task/852992/stat : 852992 (ld-linux-x86-64) S 852989 852989 848657 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 164191507 231940096 19729 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 236432 KiB
Current children cumulated memory: 81696 KiB
[startup+3.10573 s]
/proc/loadavg: 4.06 4.17 4.15 5/267 852992
/proc/meminfo: memFree=126393132/131524600 swapFree=130796312/131071996
[pid=852989] ppid=852986 vsize=9928 memory=2780 CPUtime=0 cores=0,2
/proc/852989/stat : 852989 (run-glibc-2.34.) S 852986 852989 848657 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 164191498 10166272 695 134679101440 94298020847616 94298021926936 140728085453712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94298024025392 94298024072580 94298045480960 140728085459903 140728085460060 140728085460060 140728085467075 0
/proc/852989/statm: 2482 695 614 264 0 133 0
[pid=852991] ppid=852989 vsize=285604 memory=128436 CPUtime=3.06 cores=0,2
/proc/852991/stat : 852991 (ld-linux-x86-64) R 852989 852989 848657 0 -1 4194304 30295 0 0 0 295 11 0 0 20 0 2 0 164191498 292458496 32109 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
/proc/852991/statm: 71401 32109 3946 46 0 43996 0
[pid=852991/tid=852992] ppid=852989 vsize=285604 memory=2780 CPUtime=0 cores=0,2
/proc/852991/task/852992/stat : 852992 (ld-linux-x86-64) S 852989 852989 848657 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 164191507 292458496 32109 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 295532 KiB
Current children cumulated memory: 131216 KiB
[startup+6.3002 s]
/proc/loadavg: 4.05 4.16 4.15 5/267 852992
/proc/meminfo: memFree=126362836/131524600 swapFree=130796312/131071996
[pid=852989] ppid=852986 vsize=9928 memory=2780 CPUtime=0 cores=0,2
/proc/852989/stat : 852989 (run-glibc-2.34.) S 852986 852989 848657 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 164191498 10166272 695 134679101440 94298020847616 94298021926936 140728085453712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94298024025392 94298024072580 94298045480960 140728085459903 140728085460060 140728085460060 140728085467075 0
/proc/852989/statm: 2482 695 614 264 0 133 0
[pid=852991] ppid=852989 vsize=313128 memory=145408 CPUtime=6.25 cores=0,2
/proc/852991/stat : 852991 (ld-linux-x86-64) R 852989 852989 848657 0 -1 4194304 38765 0 0 0 613 12 0 0 20 0 2 0 164191498 320643072 36352 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
/proc/852991/statm: 78282 36352 3992 46 0 50877 0
[pid=852991/tid=852992] ppid=852989 vsize=313128 memory=2780 CPUtime=0 cores=0,2
/proc/852991/task/852992/stat : 852992 (ld-linux-x86-64) S 852989 852989 848657 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 2 0 164191507 320643072 36352 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 323056 KiB
Current children cumulated memory: 148188 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.16 4.15 5/267 852994
/proc/meminfo: memFree=126361440/131524600 swapFree=130796312/131071996
[pid=852989] ppid=852986 vsize=9928 memory=2780 CPUtime=0 cores=0,2
/proc/852989/stat : 852989 (run-glibc-2.34.) S 852986 852989 848657 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 164191498 10166272 695 134679101440 94298020847616 94298021926936 140728085453712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94298024025392 94298024072580 94298045480960 140728085459903 140728085460060 140728085460060 140728085467075 0
/proc/852989/statm: 2482 695 614 264 0 133 0
[pid=852991] ppid=852989 vsize=313128 memory=145876 CPUtime=12.62 cores=0,2
/proc/852991/stat : 852991 (ld-linux-x86-64) R 852989 852989 848657 0 -1 4194304 49268 0 0 0 1250 12 0 0 20 0 2 0 164191498 320643072 36469 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
/proc/852991/statm: 78282 36469 3993 46 0 50877 0
[pid=852991/tid=852992] ppid=852989 vsize=313128 memory=2780 CPUtime=0 cores=0,2
/proc/852991/task/852992/stat : 852992 (ld-linux-x86-64) S 852989 852989 848657 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 2 0 164191507 320643072 36469 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 323056 KiB
Current children cumulated memory: 148656 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.17 4.15 5/267 852995
/proc/meminfo: memFree=126301304/131524600 swapFree=130796312/131071996
[pid=852989] ppid=852986 vsize=9928 memory=2780 CPUtime=0 cores=0,2
/proc/852989/stat : 852989 (run-glibc-2.34.) S 852986 852989 848657 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 164191498 10166272 695 134679101440 94298020847616 94298021926936 140728085453712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94298024025392 94298024072580 94298045480960 140728085459903 140728085460060 140728085460060 140728085467075 0
/proc/852989/statm: 2482 695 614 264 0 133 0
[pid=852991] ppid=852989 vsize=283876 memory=160120 CPUtime=25.36 cores=0,2
/proc/852991/stat : 852991 (ld-linux-x86-64) R 852989 852989 848657 0 -1 4194304 74716 0 0 0 2518 18 0 0 20 0 2 0 164191498 290689024 40030 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
/proc/852991/statm: 70969 40030 4025 46 0 43564 0
[pid=852991/tid=852992] ppid=852989 vsize=283876 memory=145964 CPUtime=0 cores=0,2
/proc/852991/task/852992/stat : 852992 (ld-linux-x86-64) S 852989 852989 848657 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 2 0 164191507 290689024 40030 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 293804 KiB
Current children cumulated memory: 162900 KiB
[startup+51.1057 s]
/proc/loadavg: 4.07 4.16 4.15 5/267 853000
/proc/meminfo: memFree=126205960/131524600 swapFree=130796312/131071996
[pid=852989] ppid=852986 vsize=9928 memory=2780 CPUtime=0 cores=0,2
/proc/852989/stat : 852989 (run-glibc-2.34.) S 852986 852989 848657 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 164191498 10166272 695 134679101440 94298020847616 94298021926936 140728085453712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94298024025392 94298024072580 94298045480960 140728085459903 140728085460060 140728085460060 140728085467075 0
/proc/852989/statm: 2482 695 614 264 0 133 0
[pid=852991] ppid=852989 vsize=399372 memory=284080 CPUtime=50.85 cores=0,2
/proc/852991/stat : 852991 (ld-linux-x86-64) R 852989 852989 848657 0 -1 4194304 137501 0 0 0 5044 41 0 0 20 0 2 0 164191498 408956928 71020 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
/proc/852991/statm: 99843 71020 4025 46 0 72438 0
[pid=852991/tid=852992] ppid=852989 vsize=399372 memory=2780 CPUtime=0.01 cores=0,2
/proc/852991/task/852992/stat : 852992 (ld-linux-x86-64) S 852989 852989 848657 0 -1 1077936192 30 0 0 0 0 1 0 0 20 0 2 0 164191507 408956928 71020 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 409300 KiB
Current children cumulated memory: 286860 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.14 4.14 5/267 853011
/proc/meminfo: memFree=126134240/131524600 swapFree=130796312/131071996
[pid=852989] ppid=852986 vsize=9928 memory=2780 CPUtime=0 cores=0,2
/proc/852989/stat : 852989 (run-glibc-2.34.) S 852986 852989 848657 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 164191498 10166272 695 134679101440 94298020847616 94298021926936 140728085453712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94298024025392 94298024072580 94298045480960 140728085459903 140728085460060 140728085460060 140728085467075 0
/proc/852989/statm: 2482 695 614 264 0 133 0
[pid=852991] ppid=852989 vsize=471140 memory=344796 CPUtime=101.86 cores=0,2
/proc/852991/stat : 852991 (ld-linux-x86-64) R 852989 852989 848657 0 -1 4194304 181312 0 0 0 10114 72 0 0 20 0 2 0 164191498 482447360 86199 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
/proc/852991/statm: 117785 86199 4025 46 0 90380 0
[pid=852991/tid=852992] ppid=852989 vsize=471140 memory=2780 CPUtime=0.05 cores=0,2
/proc/852991/task/852992/stat : 852992 (ld-linux-x86-64) S 852989 852989 848657 0 -1 1077936192 36 0 0 0 2 3 0 0 20 0 2 0 164191507 482447360 86199 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 481068 KiB
Current children cumulated memory: 347576 KiB
[startup+162.3 s]
################
# More data... #
################
/proc/852991/statm: 254492 181609 4025 46 0 227087 0
[pid=852991/tid=852992] ppid=852989 vsize=1017968 memory=2780 CPUtime=2.04 cores=0,2
/proc/852991/task/852992/stat : 852992 (ld-linux-x86-64) S 852989 852989 848657 0 -1 1077936192 118 0 0 0 82 122 0 0 20 0 2 0 164191507 1042399232 181609 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
Current children cumulated CPU time: 3152.52 s
Current children cumulated vsize: 1027896 KiB
Current children cumulated memory: 729216 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/267 854278
/proc/meminfo: memFree=125218208/131524600 swapFree=130796312/131071996
[pid=852989] ppid=852986 vsize=9928 memory=2780 CPUtime=0 cores=0,2
/proc/852989/stat : 852989 (run-glibc-2.34.) S 852986 852989 848657 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 164191498 10166272 695 134679101440 94298020847616 94298021926936 140728085453712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94298024025392 94298024072580 94298045480960 140728085459903 140728085460060 140728085460060 140728085467075 0
/proc/852989/statm: 2482 695 614 264 0 133 0
[pid=852991] ppid=852989 vsize=978444 memory=741904 CPUtime=3212.34 cores=0,2
/proc/852991/stat : 852991 (ld-linux-x86-64) R 852989 852989 848657 0 -1 4194304 1610140 0 0 0 319657 1577 0 0 20 0 2 0 164191498 1001926656 185476 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
/proc/852991/statm: 244611 185476 4025 46 0 217206 0
[pid=852991/tid=852992] ppid=852989 vsize=978444 memory=719544 CPUtime=2.08 cores=0,2
/proc/852991/task/852992/stat : 852992 (ld-linux-x86-64) S 852989 852989 848657 0 -1 1077936192 118 0 0 0 83 125 0 0 20 0 2 0 164191507 1001926656 185476 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
Current children cumulated CPU time: 3212.34 s
Current children cumulated vsize: 988372 KiB
Current children cumulated memory: 744684 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/267 854289
/proc/meminfo: memFree=125241592/131524600 swapFree=130796312/131071996
[pid=852989] ppid=852986 vsize=9928 memory=2780 CPUtime=0 cores=0,2
/proc/852989/stat : 852989 (run-glibc-2.34.) S 852986 852989 848657 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 164191498 10166272 695 134679101440 94298020847616 94298021926936 140728085453712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94298024025392 94298024072580 94298045480960 140728085459903 140728085460060 140728085460060 140728085467075 0
/proc/852989/statm: 2482 695 614 264 0 133 0
[pid=852991] ppid=852989 vsize=947844 memory=706420 CPUtime=3272.18 cores=0,2
/proc/852991/stat : 852991 (ld-linux-x86-64) R 852989 852989 848657 0 -1 4194304 1613782 0 0 0 325623 1595 0 0 20 0 2 0 164191498 970592256 176605 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
/proc/852991/statm: 236961 176605 4025 46 0 209556 0
[pid=852991/tid=852992] ppid=852989 vsize=947844 memory=706420 CPUtime=2.12 cores=0,2
/proc/852991/task/852992/stat : 852992 (ld-linux-x86-64) S 852989 852989 848657 0 -1 1077936192 119 0 0 0 85 127 0 0 20 0 2 0 164191507 970592256 176605 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
Current children cumulated CPU time: 3272.18 s
Current children cumulated vsize: 957772 KiB
Current children cumulated memory: 709200 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.16 4.16 5/267 854445
/proc/meminfo: memFree=124429672/131524600 swapFree=130796312/131071996
[pid=852989] ppid=852986 vsize=9928 memory=2780 CPUtime=0 cores=0,2
/proc/852989/stat : 852989 (run-glibc-2.34.) S 852986 852989 848657 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 164191498 10166272 695 134679101440 94298020847616 94298021926936 140728085453712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94298024025392 94298024072580 94298045480960 140728085459903 140728085460060 140728085460060 140728085467075 0
/proc/852989/statm: 2482 695 614 264 0 133 0
[pid=852991] ppid=852989 vsize=947844 memory=706420 CPUtime=3332.03 cores=0,2
/proc/852991/stat : 852991 (ld-linux-x86-64) R 852989 852989 848657 0 -1 4194304 1614082 0 0 0 331594 1609 0 0 20 0 2 0 164191498 970592256 176605 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
/proc/852991/statm: 236961 176605 4025 46 0 209556 0
[pid=852991/tid=852992] ppid=852989 vsize=947844 memory=2780 CPUtime=2.18 cores=0,2
/proc/852991/task/852992/stat : 852992 (ld-linux-x86-64) S 852989 852989 848657 0 -1 1077936192 121 0 0 0 88 130 0 0 20 0 2 0 164191507 970592256 176605 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
Current children cumulated CPU time: 3332.03 s
Current children cumulated vsize: 957772 KiB
Current children cumulated memory: 709200 KiB
[startup+3402.3 s]
/proc/loadavg: 4.36 4.23 4.18 5/268 854839
/proc/meminfo: memFree=124294428/131524600 swapFree=130796312/131071996
[pid=852989] ppid=852986 vsize=9928 memory=2780 CPUtime=0 cores=0,2
/proc/852989/stat : 852989 (run-glibc-2.34.) S 852986 852989 848657 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 164191498 10166272 695 134679101440 94298020847616 94298021926936 140728085453712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94298024025392 94298024072580 94298045480960 140728085459903 140728085460060 140728085460060 140728085467075 0
/proc/852989/statm: 2482 695 614 264 0 133 0
[pid=852991] ppid=852989 vsize=956184 memory=733368 CPUtime=3391.85 cores=0,2
/proc/852991/stat : 852991 (ld-linux-x86-64) R 852989 852989 848657 0 -1 4194304 1641958 0 0 0 337546 1639 0 0 20 0 2 0 164191498 979132416 183342 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
/proc/852991/statm: 239046 183342 4025 46 0 211641 0
[pid=852991/tid=852992] ppid=852989 vsize=956184 memory=2780 CPUtime=2.22 cores=0,2
/proc/852991/task/852992/stat : 852992 (ld-linux-x86-64) S 852989 852989 848657 0 -1 1077936192 122 0 0 0 89 133 0 0 20 0 2 0 164191507 979132416 183342 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
Current children cumulated CPU time: 3391.85 s
Current children cumulated vsize: 966112 KiB
Current children cumulated memory: 736148 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.20 4.18 5/266 854849
/proc/meminfo: memFree=124326364/131524600 swapFree=130796312/131071996
[pid=852989] ppid=852986 vsize=9928 memory=2780 CPUtime=0 cores=0,2
/proc/852989/stat : 852989 (run-glibc-2.34.) S 852986 852989 848657 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 164191498 10166272 695 134679101440 94298020847616 94298021926936 140728085453712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94298024025392 94298024072580 94298045480960 140728085459903 140728085460060 140728085460060 140728085467075 0
/proc/852989/statm: 2482 695 614 264 0 133 0
[pid=852991] ppid=852989 vsize=947204 memory=729200 CPUtime=3451.68 cores=0,2
/proc/852991/stat : 852991 (ld-linux-x86-64) R 852989 852989 848657 0 -1 4194304 1670718 0 0 0 343506 1662 0 0 20 0 2 0 164191498 969936896 182300 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
/proc/852991/statm: 236801 182300 4025 46 0 209396 0
[pid=852991/tid=852992] ppid=852989 vsize=947204 memory=2780 CPUtime=2.26 cores=0,2
/proc/852991/task/852992/stat : 852992 (ld-linux-x86-64) S 852989 852989 848657 0 -1 1077936192 124 0 0 0 91 135 0 0 20 0 2 0 164191507 969936896 182300 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
Current children cumulated CPU time: 3451.68 s
Current children cumulated vsize: 957132 KiB
Current children cumulated memory: 731980 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.19 4.18 5/266 854860
/proc/meminfo: memFree=124260436/131524600 swapFree=130796312/131071996
[pid=852989] ppid=852986 vsize=9928 memory=2780 CPUtime=0 cores=0,2
/proc/852989/stat : 852989 (run-glibc-2.34.) S 852986 852989 848657 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 164191498 10166272 695 134679101440 94298020847616 94298021926936 140728085453712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94298024025392 94298024072580 94298045480960 140728085459903 140728085460060 140728085460060 140728085467075 0
/proc/852989/statm: 2482 695 614 264 0 133 0
[pid=852991] ppid=852989 vsize=997424 memory=739324 CPUtime=3511.51 cores=0,2
/proc/852991/stat : 852991 (ld-linux-x86-64) R 852989 852989 848657 0 -1 4194304 1696983 0 0 0 349472 1679 0 0 20 0 2 0 164191498 1021362176 184831 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
/proc/852991/statm: 249356 184831 4025 46 0 221951 0
[pid=852991/tid=852992] ppid=852989 vsize=997424 memory=732028 CPUtime=2.31 cores=0,2
/proc/852991/task/852992/stat : 852992 (ld-linux-x86-64) S 852989 852989 848657 0 -1 1077936192 124 0 0 0 93 138 0 0 20 0 2 0 164191507 1021362176 184831 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
Current children cumulated CPU time: 3511.51 s
Current children cumulated vsize: 1007352 KiB
Current children cumulated memory: 742104 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/266 855038
/proc/meminfo: memFree=124192032/131524600 swapFree=130796312/131071996
[pid=852989] ppid=852986 vsize=9928 memory=2780 CPUtime=0 cores=0,2
/proc/852989/stat : 852989 (run-glibc-2.34.) S 852986 852989 848657 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 164191498 10166272 695 134679101440 94298020847616 94298021926936 140728085453712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94298024025392 94298024072580 94298045480960 140728085459903 140728085460060 140728085460060 140728085467075 0
/proc/852989/statm: 2482 695 614 264 0 133 0
[pid=852991] ppid=852989 vsize=1005832 memory=809644 CPUtime=3571.33 cores=0,2
/proc/852991/stat : 852991 (ld-linux-x86-64) R 852989 852989 848657 0 -1 4194304 1705443 0 0 0 355445 1688 0 0 20 0 2 0 164191498 1029971968 202411 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
/proc/852991/statm: 251458 202411 4025 46 0 224053 0
[pid=852991/tid=852992] ppid=852989 vsize=1005832 memory=7544 CPUtime=2.36 cores=0,2
/proc/852991/task/852992/stat : 852992 (ld-linux-x86-64) S 852989 852989 848657 0 -1 1077936192 126 0 0 0 95 141 0 0 20 0 2 0 164191507 1029971968 202411 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
Current children cumulated CPU time: 3571.33 s
Current children cumulated vsize: 1015760 KiB
Current children cumulated memory: 812424 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.16 4.18 4.18 5/266 855044
/proc/meminfo: memFree=124262944/131524600 swapFree=130796312/131071996
[pid=852989] ppid=852986 vsize=9928 memory=2780 CPUtime=0 cores=0,2
/proc/852989/stat : 852989 (run-glibc-2.34.) S 852986 852989 848657 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 164191498 10166272 695 134679101440 94298020847616 94298021926936 140728085453712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94298024025392 94298024072580 94298045480960 140728085459903 140728085460060 140728085460060 140728085467075 0
/proc/852989/statm: 2482 695 614 264 0 133 0
[pid=852991] ppid=852989 vsize=917640 memory=738696 CPUtime=3600.05 cores=0,2
/proc/852991/stat : 852991 (ld-linux-x86-64) R 852989 852989 848657 0 -1 4194304 1745386 0 0 0 358291 1714 0 0 20 0 2 0 164191498 939663360 184674 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
/proc/852991/statm: 229410 184674 4025 46 0 202005 0
[pid=852991/tid=852992] ppid=852989 vsize=917640 memory=2780 CPUtime=2.37 cores=0,2
/proc/852991/task/852992/stat : 852992 (ld-linux-x86-64) S 852989 852989 848657 0 -1 1077936192 126 0 0 0 95 142 0 0 20 0 2 0 164191507 939663360 184674 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 927568 KiB
Current children cumulated memory: 741476 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.11 s]
# the end of solver process 852989 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3582.92 s, system=17.1526 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 4.16 4.18 4.18 5/266 855044
/proc/meminfo: memFree=124262944/131524600 swapFree=130796312/131071996
[pid=852989] ppid=852986 vsize=9928 memory=2780 CPUtime=0 cores=0,2
/proc/852989/stat : 852989 (run-glibc-2.34.) S 852986 852989 848657 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 164191498 10166272 695 134679101440 94298020847616 94298021926936 140728085453712 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94298024025392 94298024072580 94298045480960 140728085459903 140728085460060 140728085460060 140728085467075 0
/proc/852989/statm: 2482 695 614 264 0 133 0
[pid=852991] ppid=852989 vsize=917640 memory=738696 CPUtime=3600.05 cores=0,2
/proc/852991/stat : 852991 (ld-linux-x86-64) R 852989 852989 848657 0 -1 4194304 1745386 0 0 0 358291 1714 0 0 20 0 2 0 164191498 939663360 184674 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
/proc/852991/statm: 229410 184674 4025 46 0 202005 0
[pid=852991/tid=852992] ppid=852989 vsize=917640 memory=2780 CPUtime=2.37 cores=0,2
/proc/852991/task/852992/stat : 852992 (ld-linux-x86-64) S 852989 852989 848657 0 -1 1077936192 126 0 0 0 95 142 0 0 20 0 2 0 164191507 939663360 184674 134679101440 140005052686336 140005052873948 140729226544960 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140005054974848 140005054984296 93825016848384 140729226552151 140729226552315 140729226552315 140729226559410 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 927568 KiB
Current children cumulated memory: 741476 KiB
Child status: 143
Real time (s): 3611.11
CPU time (s): 3600.08
CPU user time (s): 3582.92
CPU system time (s): 17.1526
CPU usage (%): 99.6944
Max. virtual memory (cumulated for all children) (KiB): 1245732
Max. memory (cumulated for all children) (KiB): 979460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.92
system time used= 17.1526
maximum resident set size= 978776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1745602
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= 357687
involuntary context switches= 25221
# summary of solver processes directly reported to runsolver:
# pid: 852989
# total CPU time (s): 3600.08
# total CPU user time (s): 3582.92
# total CPU system time (s): 17.1526
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.57275 second user time and 17.4836 second system time
The end