0.00/0.03 c initialize IPBHS solver
0.00/0.03 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.00/0.03 c optimizer = "gurobi"
0.00/0.03 c pbsolver = "roundingsat"
0.00/0.03 c load symmetries from file ""
0.00/0.03 c set time limit for symmetry computation to 100 seconds.
0.00/0.03 c set interchangeable summation variable limit to 3
0.00/0.03 c find symmetric cores by applying each permutation and add them to optimizer
0.00/0.03 c set abs symmetric core budget per WCE-iteration to 100
0.00/0.03 c set rel symmetric core budget per WCE-iteration to 0
0.00/0.03 c set lit symmetric core budget per WCE-iteration to 0
0.00/0.03 c set sym generation to 's'
0.00/0.03 c set abstraction set creation to 10 iterations without LB change
0.00/0.03 c set abstraction set inputs to 0
0.00/0.03 c set abstraction set cluster min size to 2
0.00/0.03 c set abstraction set cluster max size to 100000000
0.00/0.03 c set abstraction set cluster activation limit to 2
0.00/0.03 c enable abstraction set require equal cost
0.00/0.03 c set abstraction set assumptions to 0
0.00/0.03 c set abstraction set constraint type to 0
0.00/0.03 c set abstract core extraction strategy to b
0.00/0.03 c set core extraction strategy to 2
0.00/0.03 c set core extraction shuffles 10
0.00/0.03 c set cores per iteration to 5
0.00/0.03 c set optimizer bound usage strategy to 2
0.00/0.03 c set optimizer max non-optimal iterations to 1000
0.00/0.03 c set small core cardinality limit to 2
0.00/0.03 c set max coef in cores to 1000000000
0.00/0.03 c set SIS iterations to 5
0.00/0.03 c set SIS budget abs to 1000
0.00/0.03 c set SIS budget rel to 0.05
0.00/0.03 c limit for coefficient in constraints and objective to 9223372036854775807
0.00/0.03 c will solve HOME/instance-4431096-1721054340.opb
3484.88/3491.08 c [0.04] solve iteration 1, LB=-1407, UB=1384580
3484.88/3491.08 c [0.11] solve iteration 2, LB=2021, UB=108162
3484.88/3491.08 c [0.16] solve iteration 3, LB=2021, UB=56118
3484.88/3491.08 c [0.25] solve iteration 4, LB=3029, UB=3037
3484.88/3491.08 c [0.37] solve iteration 5, LB=3029, UB=3037
3484.88/3491.08 c [0.51] solve iteration 6, LB=3029, UB=3036
3484.88/3491.08 c [0.68] solve iteration 7, LB=3029, UB=3036
3484.88/3491.08 c [0.88] solve iteration 8, LB=3029, UB=3036
3484.88/3491.08 c [8.2] solve iteration 9, LB=3029, UB=3032
3484.88/3491.08 c [8.56] solve iteration 10, LB=3029, UB=3032
3484.88/3491.08 c [8.98] solve iteration 11, LB=3029, UB=3032
3484.88/3491.08 c [9.48] solve iteration 12, LB=3029, UB=3032
3484.88/3491.08 c [9.99] solve iteration 13, LB=3029, UB=3032
3484.88/3491.08 c [29.39] solve iteration 14, LB=3029, UB=3032
3484.88/3491.08 c [30.34] solve iteration 15, LB=3029, UB=3032
3484.88/3491.08 c [31.1] solve iteration 16, LB=3029, UB=3032
3484.88/3491.08 c [31.89] solve iteration 17, LB=3029, UB=3032
3484.88/3491.08 c [32.96] solve iteration 18, LB=3029, UB=3032
3484.88/3491.08 c [65.2] solve iteration 19, LB=3029, UB=3032
3484.88/3491.08 c [66.27] solve iteration 20, LB=3029, UB=3032
3484.88/3491.08 c [67.85] solve iteration 21, LB=3029, UB=3032
3484.88/3491.08 c [69.44] solve iteration 22, LB=3029, UB=3032
3484.88/3491.08 c [70.98] solve iteration 23, LB=3029, UB=3032
3484.88/3491.09 c [127.71] solve iteration 24, LB=3029, UB=3032
3484.88/3491.09 c [129.99] solve iteration 25, LB=3029, UB=3032
3484.88/3491.09 c [131.53] solve iteration 26, LB=3029, UB=3032
3484.88/3491.09 c [133.1] solve iteration 27, LB=3029, UB=3032
3484.88/3491.09 c [135.19] solve iteration 28, LB=3029, UB=3032
3484.88/3491.09 c [216.39] solve iteration 29, LB=3029, UB=3032
3484.88/3491.09 c [218.28] solve iteration 30, LB=3029, UB=3032
3484.88/3491.09 c [220.16] solve iteration 31, LB=3029, UB=3032
3484.88/3491.09 c [222.91] solve iteration 32, LB=3029, UB=3032
3484.88/3491.09 c [224.84] solve iteration 33, LB=3029, UB=3032
3484.88/3491.09 c [312.17] solve iteration 34, LB=3029, UB=3032
3484.88/3491.09 c [313.99] solve iteration 35, LB=3029, UB=3031
3484.88/3491.09 c [316.79] solve iteration 36, LB=3029, UB=3031
3484.88/3491.09 c [319.59] solve iteration 37, LB=3029, UB=3031
3484.88/3491.09 c [321.6] solve iteration 38, LB=3029, UB=3031
3484.88/3491.09 c [428.2] solve iteration 39, LB=3029, UB=3031
3484.88/3491.09 c [431.24] solve iteration 40, LB=3029, UB=3031
3484.88/3491.09 c [434.33] solve iteration 41, LB=3029, UB=3031
3484.88/3491.09 c [436.48] solve iteration 42, LB=3029, UB=3031
3484.88/3491.09 c [440.56] solve iteration 43, LB=3029, UB=3031
3484.88/3491.09 c [561.51] solve iteration 44, LB=3029, UB=3031
3484.88/3491.09 c [566.39] solve iteration 45, LB=3029, UB=3031
3484.88/3491.09 c [569.05] solve iteration 46, LB=3029, UB=3031
3484.88/3491.09 c [572.91] solve iteration 47, LB=3029, UB=3031
3484.88/3491.09 c [575.68] solve iteration 48, LB=3029, UB=3031
3484.88/3491.09 c [735.42] solve iteration 49, LB=3029, UB=3031
3484.88/3491.09 c [740.79] solve iteration 50, LB=3029, UB=3031
3484.88/3491.09 c [743.93] solve iteration 51, LB=3029, UB=3031
3484.88/3491.09 c [747.22] solve iteration 52, LB=3029, UB=3031
3484.88/3491.09 c [751.81] solve iteration 53, LB=3029, UB=3031
3484.88/3491.09 c [955.9] solve iteration 54, LB=3029, UB=3031
3484.88/3491.09 c [959.66] solve iteration 55, LB=3029, UB=3031
3484.88/3491.09 c [963.41] solve iteration 56, LB=3029, UB=3031
3484.88/3491.09 c [967.28] solve iteration 57, LB=3029, UB=3031
3484.88/3491.09 c [971.07] solve iteration 58, LB=3029, UB=3031
3484.88/3491.09 c [1260.16] solve iteration 59, LB=3029, UB=3031
3484.88/3491.09 c [1266.66] solve iteration 60, LB=3029, UB=3031
3484.88/3491.09 c [1275.21] solve iteration 61, LB=3029, UB=3031
3484.88/3491.09 c [1279.46] solve iteration 62, LB=3029, UB=3031
3484.88/3491.09 c [1285.69] solve iteration 63, LB=3029, UB=3031
3484.88/3491.09 c [1582.87] solve iteration 64, LB=3029, UB=3031
3484.88/3491.09 c [1591.52] solve iteration 65, LB=3029, UB=3031
3484.88/3491.09 c [1597.83] solve iteration 66, LB=3029, UB=3031
3484.88/3491.09 c [1606.29] solve iteration 67, LB=3029, UB=3031
3484.88/3491.09 c [1612.73] solve iteration 68, LB=3029, UB=3031
3484.88/3491.09 c [1958.39] solve iteration 69, LB=3029, UB=3031
3484.88/3491.09 c [1965.22] solve iteration 70, LB=3029, UB=3031
3484.88/3491.09 c [1970.2] solve iteration 71, LB=3029, UB=3031
3484.88/3491.09 c [1975.25] solve iteration 72, LB=3029, UB=3031
3484.88/3491.09 c [1980.07] solve iteration 73, LB=3029, UB=3031
3484.88/3491.09 c [2341.5] solve iteration 74, LB=3029, UB=3031
3484.88/3491.09 c [2349.21] solve iteration 75, LB=3029, UB=3031
3484.88/3491.09 c [2356.96] solve iteration 76, LB=3029, UB=3031
3484.88/3491.09 c [2364.17] solve iteration 77, LB=3029, UB=3031
3484.88/3491.09 c [2372.01] solve iteration 78, LB=3029, UB=3031
3484.88/3491.09 c [2878.51] solve iteration 79, LB=3029, UB=3031
3484.88/3491.09 c [2884.48] solve iteration 80, LB=3029, UB=3031
3484.88/3491.09 c [2893.29] solve iteration 81, LB=3029, UB=3031
3484.88/3491.09 c [2901.92] solve iteration 82, LB=3029, UB=3031
3484.88/3491.09 c [2910.12] solve iteration 83, LB=3029, UB=3031
3484.88/3491.09 c [3443.57] solve iteration 84, LB=3029, UB=3031
3484.88/3491.09 c [3455.15] solve iteration 85, LB=3029, UB=3031
3484.88/3491.09 c [3466.97] solve iteration 86, LB=3
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: 63968 MiB (60367 MiB free)
memory of node 1: 64473 MiB (62624 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431096-1721054340/watcher-4431096-1721054340 -o /tmp/evaluation-result-4431096-1721054340/solver-4431096-1721054340 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721050746-845372 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4431096-1721054340.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=847429, runsolver pid=847426
[startup+0.100081 s]*
/proc/loadavg: 4.17 4.30 4.17 5/263 847432
/proc/meminfo: memFree=125922860/131524600 swapFree=131071996/131071996
[pid=847429] ppid=847426 vsize=9928 memory=2724 CPUtime=0 cores=5,7
/proc/847429/stat : 847429 (run-glibc-2.34.) S 847426 847429 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157602150 10166272 681 134679101440 93925409325056 93925410404376 140727793129808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93925412502832 93925412550020 93925432791040 140727793132479 140727793132636 140727793132636 140727793139651 0
/proc/847429/statm: 2482 681 601 264 0 133 0
[pid=847431] ppid=847429 vsize=144752 memory=30900 CPUtime=0.09 cores=5,7
/proc/847431/stat : 847431 (ld-linux-x86-64) R 847429 847429 812359 0 -1 4194304 3830 0 0 0 8 1 0 0 20 0 2 0 157602150 148226048 7725 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
/proc/847431/statm: 36188 7725 3487 46 0 8783 0
[pid=847431/tid=847432] ppid=847429 vsize=144752 memory=4026561614 CPUtime=0 cores=5,7
/proc/847431/task/847432/stat : 847432 (ld-linux-x86-64) R 847429 847429 812359 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 157602153 148226048 7725 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 0 0 0 -1 7 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 154680 KiB
Current children cumulated memory: 33624 KiB
[startup+0.205779 s]*
/proc/loadavg: 4.17 4.30 4.17 6/263 847432
/proc/meminfo: memFree=125915528/131524600 swapFree=131071996/131071996
[pid=847429] ppid=847426 vsize=9928 memory=2724 CPUtime=0 cores=5,7
/proc/847429/stat : 847429 (run-glibc-2.34.) S 847426 847429 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157602150 10166272 681 134679101440 93925409325056 93925410404376 140727793129808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93925412502832 93925412550020 93925432791040 140727793132479 140727793132636 140727793132636 140727793139651 0
/proc/847429/statm: 2482 681 601 264 0 133 0
[pid=847431] ppid=847429 vsize=151244 memory=36956 CPUtime=0.2 cores=5,7
/proc/847431/stat : 847431 (ld-linux-x86-64) R 847429 847429 812359 0 -1 4194304 5628 0 0 0 17 3 0 0 20 0 2 0 157602150 154873856 9239 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
/proc/847431/statm: 37811 9239 3800 46 0 10406 0
[pid=847431/tid=847432] ppid=847429 vsize=151244 memory=3471202400344241230 CPUtime=0 cores=5,7
/proc/847431/task/847432/stat : 847432 (ld-linux-x86-64) S 847429 847429 812359 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 157602153 154873856 9239 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 161172 KiB
Current children cumulated memory: 39680 KiB
[startup+0.305885 s]*
/proc/loadavg: 4.17 4.30 4.17 5/263 847434
/proc/meminfo: memFree=125906244/131524600 swapFree=131071996/131071996
[pid=847429] ppid=847426 vsize=9928 memory=2724 CPUtime=0 cores=5,7
/proc/847429/stat : 847429 (run-glibc-2.34.) S 847426 847429 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157602150 10166272 681 134679101440 93925409325056 93925410404376 140727793129808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93925412502832 93925412550020 93925432791040 140727793132479 140727793132636 140727793132636 140727793139651 0
/proc/847429/statm: 2482 681 601 264 0 133 0
[pid=847431] ppid=847429 vsize=154960 memory=42852 CPUtime=0.3 cores=5,7
/proc/847431/stat : 847431 (ld-linux-x86-64) R 847429 847429 812359 0 -1 4194304 7130 0 0 0 26 4 0 0 20 0 2 0 157602150 158679040 10713 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
/proc/847431/statm: 38740 10713 3832 46 0 11335 0
[pid=847431/tid=847432] ppid=847429 vsize=154960 memory=-8897073917140755555 CPUtime=0 cores=5,7
/proc/847431/task/847432/stat : 847432 (ld-linux-x86-64) S 847429 847429 812359 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 157602153 158679040 10713 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 164888 KiB
Current children cumulated memory: 45576 KiB
[startup+0.700255 s]
/proc/loadavg: 4.17 4.30 4.17 5/263 847434
/proc/meminfo: memFree=125900980/131524600 swapFree=131071996/131071996
[pid=847429] ppid=847426 vsize=9928 memory=2724 CPUtime=0 cores=5,7
/proc/847429/stat : 847429 (run-glibc-2.34.) S 847426 847429 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157602150 10166272 681 134679101440 93925409325056 93925410404376 140727793129808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93925412502832 93925412550020 93925432791040 140727793132479 140727793132636 140727793132636 140727793139651 0
/proc/847429/statm: 2482 681 601 264 0 133 0
[pid=847431] ppid=847429 vsize=168236 memory=49984 CPUtime=0.69 cores=5,7
/proc/847431/stat : 847431 (ld-linux-x86-64) R 847429 847429 812359 0 -1 4194304 9482 0 0 0 62 7 0 0 20 0 2 0 157602150 172273664 12496 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
/proc/847431/statm: 42059 12496 3864 46 0 14654 0
[pid=847431/tid=847432] ppid=847429 vsize=168236 memory=1900 CPUtime=0 cores=5,7
/proc/847431/task/847432/stat : 847432 (ld-linux-x86-64) S 847429 847429 812359 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 157602153 172273664 12496 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 178164 KiB
Current children cumulated memory: 52708 KiB
[startup+1.50026 s]
/proc/loadavg: 4.17 4.30 4.17 5/263 847434
/proc/meminfo: memFree=125888740/131524600 swapFree=131071996/131071996
[pid=847429] ppid=847426 vsize=9928 memory=2724 CPUtime=0 cores=5,7
/proc/847429/stat : 847429 (run-glibc-2.34.) S 847426 847429 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157602150 10166272 681 134679101440 93925409325056 93925410404376 140727793129808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93925412502832 93925412550020 93925432791040 140727793132479 140727793132636 140727793132636 140727793139651 0
/proc/847429/statm: 2482 681 601 264 0 133 0
[pid=847431] ppid=847429 vsize=180960 memory=59740 CPUtime=1.49 cores=5,7
/proc/847431/stat : 847431 (ld-linux-x86-64) R 847429 847429 812359 0 -1 4194304 17753 0 0 0 130 19 0 0 20 0 2 0 157602150 185303040 14935 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
/proc/847431/statm: 45240 14935 3864 46 0 17835 0
[pid=847431/tid=847432] ppid=847429 vsize=180960 memory=11396 CPUtime=0 cores=5,7
/proc/847431/task/847432/stat : 847432 (ld-linux-x86-64) S 847429 847429 812359 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 157602153 185303040 14935 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 190888 KiB
Current children cumulated memory: 62464 KiB
[startup+3.10562 s]
/proc/loadavg: 4.17 4.30 4.17 5/263 847482
/proc/meminfo: memFree=127642268/131524600 swapFree=131071996/131071996
[pid=847429] ppid=847426 vsize=9928 memory=2724 CPUtime=0 cores=5,7
/proc/847429/stat : 847429 (run-glibc-2.34.) S 847426 847429 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157602150 10166272 681 134679101440 93925409325056 93925410404376 140727793129808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93925412502832 93925412550020 93925432791040 140727793132479 140727793132636 140727793132636 140727793139651 0
/proc/847429/statm: 2482 681 601 264 0 133 0
[pid=847431] ppid=847429 vsize=189048 memory=68728 CPUtime=3.09 cores=5,7
/proc/847431/stat : 847431 (ld-linux-x86-64) R 847429 847429 812359 0 -1 4194304 22736 0 0 0 277 32 0 0 20 0 2 0 157602150 193585152 17182 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
/proc/847431/statm: 47262 17182 3864 46 0 19857 0
[pid=847431/tid=847432] ppid=847429 vsize=189048 memory=2724 CPUtime=0 cores=5,7
/proc/847431/task/847432/stat : 847432 (ld-linux-x86-64) S 847429 847429 812359 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 157602153 193585152 17182 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 198976 KiB
Current children cumulated memory: 71452 KiB
[startup+6.30026 s]
/proc/loadavg: 4.16 4.29 4.17 5/263 847578
/proc/meminfo: memFree=127599872/131524600 swapFree=131071996/131071996
[pid=847429] ppid=847426 vsize=9928 memory=2724 CPUtime=0 cores=5,7
/proc/847429/stat : 847429 (run-glibc-2.34.) S 847426 847429 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157602150 10166272 681 134679101440 93925409325056 93925410404376 140727793129808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93925412502832 93925412550020 93925432791040 140727793132479 140727793132636 140727793132636 140727793139651 0
/proc/847429/statm: 2482 681 601 264 0 133 0
[pid=847431] ppid=847429 vsize=206164 memory=85216 CPUtime=6.27 cores=5,7
/proc/847431/stat : 847431 (ld-linux-x86-64) R 847429 847429 812359 0 -1 4194304 32132 0 0 0 578 49 0 0 20 0 2 0 157602150 211111936 21304 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
/proc/847431/statm: 51541 21304 3864 46 0 24136 0
[pid=847431/tid=847432] ppid=847429 vsize=206164 memory=2724 CPUtime=0 cores=5,7
/proc/847431/task/847432/stat : 847432 (ld-linux-x86-64) S 847429 847429 812359 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 157602153 211111936 21304 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 216092 KiB
Current children cumulated memory: 87940 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.29 4.17 5/264 847580
/proc/meminfo: memFree=127488616/131524600 swapFree=131071996/131071996
[pid=847429] ppid=847426 vsize=9928 memory=2724 CPUtime=0 cores=5,7
/proc/847429/stat : 847429 (run-glibc-2.34.) S 847426 847429 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157602150 10166272 681 134679101440 93925409325056 93925410404376 140727793129808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93925412502832 93925412550020 93925432791040 140727793132479 140727793132636 140727793132636 140727793139651 0
/proc/847429/statm: 2482 681 601 264 0 133 0
[pid=847431] ppid=847429 vsize=268552 memory=122536 CPUtime=12.67 cores=5,7
/proc/847431/stat : 847431 (ld-linux-x86-64) R 847429 847429 812359 0 -1 4194304 73328 0 0 0 1185 82 0 0 20 0 2 0 157602150 274997248 30634 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
/proc/847431/statm: 67138 30634 3864 46 0 39733 0
[pid=847431/tid=847432] ppid=847429 vsize=268552 memory=97404 CPUtime=0 cores=5,7
/proc/847431/task/847432/stat : 847432 (ld-linux-x86-64) S 847429 847429 812359 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 2 0 157602153 274997248 30634 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 278480 KiB
Current children cumulated memory: 125260 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.27 4.17 5/264 847582
/proc/meminfo: memFree=127384412/131524600 swapFree=131071996/131071996
[pid=847429] ppid=847426 vsize=9928 memory=2724 CPUtime=0 cores=5,7
/proc/847429/stat : 847429 (run-glibc-2.34.) S 847426 847429 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157602150 10166272 681 134679101440 93925409325056 93925410404376 140727793129808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93925412502832 93925412550020 93925432791040 140727793132479 140727793132636 140727793132636 140727793139651 0
/proc/847429/statm: 2482 681 601 264 0 133 0
[pid=847431] ppid=847429 vsize=287520 memory=135272 CPUtime=25.44 cores=5,7
/proc/847431/stat : 847431 (ld-linux-x86-64) R 847429 847429 812359 0 -1 4194304 92443 0 0 0 2434 110 0 0 20 0 2 0 157602150 294420480 33818 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
/proc/847431/statm: 71880 33818 3864 46 0 44475 0
[pid=847431/tid=847432] ppid=847429 vsize=287520 memory=130708 CPUtime=0.01 cores=5,7
/proc/847431/task/847432/stat : 847432 (ld-linux-x86-64) R 847429 847429 812359 0 -1 1077936192 26 0 0 0 0 1 0 0 20 0 2 0 157602153 294420480 33818 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 0 0 0 -1 7 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 297448 KiB
Current children cumulated memory: 137996 KiB
[startup+51.1057 s]
/proc/loadavg: 4.06 4.25 4.16 5/264 847730
/proc/meminfo: memFree=127758792/131524600 swapFree=131071996/131071996
[pid=847429] ppid=847426 vsize=9928 memory=2724 CPUtime=0 cores=5,7
/proc/847429/stat : 847429 (run-glibc-2.34.) S 847426 847429 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157602150 10166272 681 134679101440 93925409325056 93925410404376 140727793129808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93925412502832 93925412550020 93925432791040 140727793132479 140727793132636 140727793132636 140727793139651 0
/proc/847429/statm: 2482 681 601 264 0 133 0
[pid=847431] ppid=847429 vsize=328224 memory=191008 CPUtime=50.98 cores=5,7
/proc/847431/stat : 847431 (ld-linux-x86-64) R 847429 847429 812359 0 -1 4194304 139342 0 0 0 4937 161 0 0 20 0 2 0 157602150 336101376 47752 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
/proc/847431/statm: 82056 47752 3992 46 0 54651 0
[pid=847431/tid=847432] ppid=847429 vsize=328224 memory=177936 CPUtime=0.02 cores=5,7
/proc/847431/task/847432/stat : 847432 (ld-linux-x86-64) S 847429 847429 812359 0 -1 1077936192 39 0 0 0 0 2 0 0 20 0 2 0 157602153 336101376 47752 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 338152 KiB
Current children cumulated memory: 193732 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.22 4.16 5/265 848126
/proc/meminfo: memFree=127331172/131524600 swapFree=131071996/131071996
[pid=847429] ppid=847426 vsize=9928 memory=2724 CPUtime=0 cores=5,7
/proc/847429/stat : 847429 (run-glibc-2.34.) S 847426 847429 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157602150 10166272 681 134679101440 93925409325056 93925410404376 140727793129808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93925412502832 93925412550020 93925432791040 140727793132479 140727793132636 140727793132636 140727793139651 0
/proc/847429/statm: 2482 681 601 264 0 133 0
[pid=847431] ppid=847429 vsize=449592 memory=282196 CPUtime=102.07 cores=5,7
/proc/847431/stat : 847431 (ld-linux-x86-64) R 847429 847429 812359 0 -1 4194304 175797 0 0 0 9980 227 0 0 20 0 2 0 157602150 460382208 70549 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
/proc/847431/statm: 112398 70549 3992 46 0 84993 0
[pid=847431/tid=847432] ppid=847429 vsize=449592 memory=2724 CPUtime=0.06 cores=5,7
/proc/847431/task/847432/stat : 847432 (ld-linux-x86-64) S 847429 847429 812359 0 -1 1077936192 42 0 0 0 1 5 0 0 20 0 2 0 157602153 460382208 70549 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 459520 KiB
Current children cumulated memory: 284920 KiB
[startup+162.3 s]
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.16 4.14 4.13 5/267 849873
/proc/meminfo: memFree=124820956/131524600 swapFree=131071996/131071996
[pid=847429] ppid=847426 vsize=9928 memory=2724 CPUtime=0 cores=5,7
/proc/847429/stat : 847429 (run-glibc-2.34.) S 847426 847429 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157602150 10166272 681 134679101440 93925409325056 93925410404376 140727793129808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93925412502832 93925412550020 93925432791040 140727793132479 140727793132636 140727793132636 140727793139651 0
/proc/847429/statm: 2482 681 601 264 0 133 0
[pid=847431] ppid=847429 vsize=1585432 memory=1232236 CPUtime=3156.68 cores=5,7
/proc/847431/stat : 847431 (ld-linux-x86-64) R 847429 847429 812359 0 -1 4194304 1411673 0 0 0 313970 1698 0 0 20 0 2 0 157602150 1623482368 308059 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
/proc/847431/statm: 396358 308059 3992 46 0 368953 0
[pid=847431/tid=847432] ppid=847429 vsize=1585432 memory=2724 CPUtime=2.47 cores=5,7
/proc/847431/task/847432/stat : 847432 (ld-linux-x86-64) S 847429 847429 812359 0 -1 1077936192 138 0 0 0 92 155 0 0 20 0 2 0 157602153 1623482368 308059 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
Current children cumulated CPU time: 3156.68 s
Current children cumulated vsize: 1595360 KiB
Current children cumulated memory: 1234960 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.15 4.13 5/267 849883
/proc/meminfo: memFree=124634544/131524600 swapFree=131071996/131071996
[pid=847429] ppid=847426 vsize=9928 memory=2724 CPUtime=0 cores=5,7
/proc/847429/stat : 847429 (run-glibc-2.34.) S 847426 847429 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157602150 10166272 681 134679101440 93925409325056 93925410404376 140727793129808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93925412502832 93925412550020 93925432791040 140727793132479 140727793132636 140727793132636 140727793139651 0
/proc/847429/statm: 2482 681 601 264 0 133 0
[pid=847431] ppid=847429 vsize=1585432 memory=1237036 CPUtime=3216.59 cores=5,7
/proc/847431/stat : 847431 (ld-linux-x86-64) R 847429 847429 812359 0 -1 4194304 1414149 0 0 0 319946 1713 0 0 20 0 2 0 157602150 1623482368 309259 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
/proc/847431/statm: 396358 309259 3992 46 0 368953 0
[pid=847431/tid=847432] ppid=847429 vsize=1585432 memory=2724 CPUtime=2.51 cores=5,7
/proc/847431/task/847432/stat : 847432 (ld-linux-x86-64) S 847429 847429 812359 0 -1 1077936192 140 0 0 0 94 157 0 0 20 0 2 0 157602153 1623482368 309259 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
Current children cumulated CPU time: 3216.59 s
Current children cumulated vsize: 1595360 KiB
Current children cumulated memory: 1239760 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/266 849894
/proc/meminfo: memFree=124622576/131524600 swapFree=131071996/131071996
[pid=847429] ppid=847426 vsize=9928 memory=2724 CPUtime=0 cores=5,7
/proc/847429/stat : 847429 (run-glibc-2.34.) S 847426 847429 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157602150 10166272 681 134679101440 93925409325056 93925410404376 140727793129808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93925412502832 93925412550020 93925432791040 140727793132479 140727793132636 140727793132636 140727793139651 0
/proc/847429/statm: 2482 681 601 264 0 133 0
[pid=847431] ppid=847429 vsize=1585432 memory=1242040 CPUtime=3276.51 cores=5,7
/proc/847431/stat : 847431 (ld-linux-x86-64) R 847429 847429 812359 0 -1 4194304 1416534 0 0 0 325924 1727 0 0 20 0 2 0 157602150 1623482368 310510 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
/proc/847431/statm: 396358 310510 3992 46 0 368953 0
[pid=847431/tid=847432] ppid=847429 vsize=1585432 memory=1242040 CPUtime=2.56 cores=5,7
/proc/847431/task/847432/stat : 847432 (ld-linux-x86-64) S 847429 847429 812359 0 -1 1077936192 142 0 0 0 96 160 0 0 20 0 2 0 157602153 1623482368 310510 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
Current children cumulated CPU time: 3276.51 s
Current children cumulated vsize: 1595360 KiB
Current children cumulated memory: 1244764 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.14 4.12 5/266 849905
/proc/meminfo: memFree=124597056/131524600 swapFree=131071996/131071996
[pid=847429] ppid=847426 vsize=9928 memory=2724 CPUtime=0 cores=5,7
/proc/847429/stat : 847429 (run-glibc-2.34.) S 847426 847429 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157602150 10166272 681 134679101440 93925409325056 93925410404376 140727793129808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93925412502832 93925412550020 93925432791040 140727793132479 140727793132636 140727793132636 140727793139651 0
/proc/847429/statm: 2482 681 601 264 0 133 0
[pid=847431] ppid=847429 vsize=1585432 memory=1247056 CPUtime=3336.42 cores=5,7
/proc/847431/stat : 847431 (ld-linux-x86-64) R 847429 847429 812359 0 -1 4194304 1419276 0 0 0 331900 1742 0 0 20 0 2 0 157602150 1623482368 311764 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
/proc/847431/statm: 396358 311764 3992 46 0 368953 0
[pid=847431/tid=847432] ppid=847429 vsize=1585432 memory=2724 CPUtime=2.61 cores=5,7
/proc/847431/task/847432/stat : 847432 (ld-linux-x86-64) S 847429 847429 812359 0 -1 1077936192 142 0 0 0 98 163 0 0 20 0 2 0 157602153 1623482368 311764 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
Current children cumulated CPU time: 3336.42 s
Current children cumulated vsize: 1595360 KiB
Current children cumulated memory: 1249780 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/263 849915
/proc/meminfo: memFree=124574052/131524600 swapFree=131071996/131071996
[pid=847429] ppid=847426 vsize=9928 memory=2724 CPUtime=0 cores=5,7
/proc/847429/stat : 847429 (run-glibc-2.34.) S 847426 847429 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157602150 10166272 681 134679101440 93925409325056 93925410404376 140727793129808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93925412502832 93925412550020 93925432791040 140727793132479 140727793132636 140727793132636 140727793139651 0
/proc/847429/statm: 2482 681 601 264 0 133 0
[pid=847431] ppid=847429 vsize=1585432 memory=1252148 CPUtime=3396.33 cores=5,7
/proc/847431/stat : 847431 (ld-linux-x86-64) R 847429 847429 812359 0 -1 4194304 1421369 0 0 0 337872 1761 0 0 20 0 2 0 157602150 1623482368 313037 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
/proc/847431/statm: 396358 313037 3992 46 0 368953 0
[pid=847431/tid=847432] ppid=847429 vsize=1585432 memory=2724 CPUtime=2.66 cores=5,7
/proc/847431/task/847432/stat : 847432 (ld-linux-x86-64) S 847429 847429 812359 0 -1 1077936192 144 0 0 0 100 166 0 0 20 0 2 0 157602153 1623482368 313037 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
Current children cumulated CPU time: 3396.33 s
Current children cumulated vsize: 1595360 KiB
Current children cumulated memory: 1254872 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/264 849927
/proc/meminfo: memFree=124600688/131524600 swapFree=131071996/131071996
[pid=847429] ppid=847426 vsize=9928 memory=2724 CPUtime=0 cores=5,7
/proc/847429/stat : 847429 (run-glibc-2.34.) S 847426 847429 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157602150 10166272 681 134679101440 93925409325056 93925410404376 140727793129808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93925412502832 93925412550020 93925432791040 140727793132479 140727793132636 140727793132636 140727793139651 0
/proc/847429/statm: 2482 681 601 264 0 133 0
[pid=847431] ppid=847429 vsize=1585432 memory=1256960 CPUtime=3456.25 cores=5,7
/proc/847431/stat : 847431 (ld-linux-x86-64) R 847429 847429 812359 0 -1 4194304 1423822 0 0 0 343845 1780 0 0 20 0 2 0 157602150 1623482368 314240 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
/proc/847431/statm: 396358 314240 3992 46 0 368953 0
[pid=847431/tid=847432] ppid=847429 vsize=1585432 memory=2724 CPUtime=2.71 cores=5,7
/proc/847431/task/847432/stat : 847432 (ld-linux-x86-64) S 847429 847429 812359 0 -1 1077936192 146 0 0 0 102 169 0 0 20 0 2 0 157602153 1623482368 314240 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
Current children cumulated CPU time: 3456.25 s
Current children cumulated vsize: 1595360 KiB
Current children cumulated memory: 1259684 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.14 4.11 5/264 849939
/proc/meminfo: memFree=124545108/131524600 swapFree=131071996/131071996
[pid=847429] ppid=847426 vsize=9928 memory=2724 CPUtime=0 cores=5,7
/proc/847429/stat : 847429 (run-glibc-2.34.) S 847426 847429 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157602150 10166272 681 134679101440 93925409325056 93925410404376 140727793129808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93925412502832 93925412550020 93925432791040 140727793132479 140727793132636 140727793132636 140727793139651 0
/proc/847429/statm: 2482 681 601 264 0 133 0
[pid=847431] ppid=847429 vsize=1611012 memory=1280612 CPUtime=3516.11 cores=5,7
/proc/847431/stat : 847431 (ld-linux-x86-64) R 847429 847429 812359 0 -1 4194304 1474220 0 0 0 349793 1818 0 0 20 0 2 0 157602150 1649676288 320153 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
/proc/847431/statm: 402753 320153 3992 46 0 375348 0
[pid=847431/tid=847432] ppid=847429 vsize=1611012 memory=16236 CPUtime=2.75 cores=5,7
/proc/847431/task/847432/stat : 847432 (ld-linux-x86-64) S 847429 847429 812359 0 -1 1077936192 148 0 0 0 103 172 0 0 20 0 2 0 157602153 1649676288 320153 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
Current children cumulated CPU time: 3516.11 s
Current children cumulated vsize: 1620940 KiB
Current children cumulated memory: 1283336 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/264 849949
/proc/meminfo: memFree=124494684/131524600 swapFree=131071996/131071996
[pid=847429] ppid=847426 vsize=9928 memory=2724 CPUtime=0 cores=5,7
/proc/847429/stat : 847429 (run-glibc-2.34.) S 847426 847429 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157602150 10166272 681 134679101440 93925409325056 93925410404376 140727793129808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93925412502832 93925412550020 93925432791040 140727793132479 140727793132636 140727793132636 140727793139651 0
/proc/847429/statm: 2482 681 601 264 0 133 0
[pid=847431] ppid=847429 vsize=1611012 memory=1285728 CPUtime=3576.02 cores=5,7
/proc/847431/stat : 847431 (ld-linux-x86-64) R 847429 847429 812359 0 -1 4194304 1477197 0 0 0 355768 1834 0 0 20 0 2 0 157602150 1649676288 321432 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
/proc/847431/statm: 402753 321432 3992 46 0 375348 0
[pid=847431/tid=847432] ppid=847429 vsize=1611012 memory=1285728 CPUtime=2.8 cores=5,7
/proc/847431/task/847432/stat : 847432 (ld-linux-x86-64) S 847429 847429 812359 0 -1 1077936192 150 0 0 0 105 175 0 0 20 0 2 0 157602153 1649676288 321432 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
Current children cumulated CPU time: 3576.02 s
Current children cumulated vsize: 1620940 KiB
Current children cumulated memory: 1288452 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3606.4 s]
/proc/loadavg: 4.15 4.13 4.11 5/264 849952
/proc/meminfo: memFree=124484688/131524600 swapFree=131071996/131071996
[pid=847429] ppid=847426 vsize=9928 memory=2724 CPUtime=0 cores=5,7
/proc/847429/stat : 847429 (run-glibc-2.34.) S 847426 847429 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157602150 10166272 681 134679101440 93925409325056 93925410404376 140727793129808 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93925412502832 93925412550020 93925432791040 140727793132479 140727793132636 140727793132636 140727793139651 0
/proc/847429/statm: 2482 681 601 264 0 133 0
[pid=847431] ppid=847429 vsize=1611012 memory=1288208 CPUtime=3600.08 cores=5,7
/proc/847431/stat : 847431 (ld-linux-x86-64) R 847429 847429 812359 0 -1 4194304 1478903 0 0 0 358168 1840 0 0 20 0 2 0 157602150 1649676288 322052 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
/proc/847431/statm: 402753 322052 3992 46 0 375348 0
[pid=847431/tid=847432] ppid=847429 vsize=1611012 memory=1286028 CPUtime=2.82 cores=5,7
/proc/847431/task/847432/stat : 847432 (ld-linux-x86-64) S 847429 847429 812359 0 -1 1077936192 150 0 0 0 106 176 0 0 20 0 2 0 157602153 1649676288 322052 134679101440 140612397924352 140612398111964 140724778446144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612400212864 140612400222312 93825012736000 140724778447703 140724778447867 140724778447867 140724778454962 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1620940 KiB
Current children cumulated memory: 1290932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3606.41 s]
# the end of solver process 847429 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001582 s, system=0 s
[startup+3606.42 s]
# the end of solver process 847431 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3581.69 s, system=18.4163 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3606.42
CPU time (s): 3600.1
CPU user time (s): 3581.69
CPU system time (s): 18.4163
CPU usage (%): 99.825
Max. virtual memory (cumulated for all children) (KiB): 1893420
Max. memory (cumulated for all children) (KiB): 1413944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.69
system time used= 18.4163
maximum resident set size= 1411220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1479108
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= 357194
involuntary context switches= 4059
# summary of solver processes directly reported to runsolver:
# pid: 847429,847431
# total CPU time (s): 3600.1
# total CPU user time (s): 3581.69
# total CPU system time (s): 18.4163
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.33027 second user time and 17.1727 second system time
The end