299.02/299.91 c initialize IPBHS solver
299.02/299.91 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
299.02/299.91 c optimizer = "gurobi"
299.02/299.91 c pbsolver = "roundingsat"
299.02/299.91 c load symmetries from file ""
299.02/299.91 c set time limit for symmetry computation to 100 seconds.
299.02/299.91 c set interchangeable summation variable limit to 3
299.02/299.91 c set abs symmetric core budget per WCE-iteration to 100
299.02/299.91 c set rel symmetric core budget per WCE-iteration to 0
299.02/299.91 c set lit symmetric core budget per WCE-iteration to 0
299.02/299.91 c set sym generation to 's'
299.02/299.91 c set abstraction set creation to 10 iterations without LB change
299.02/299.91 c set abstraction set inputs to 0
299.02/299.91 c set abstraction set cluster min size to 2
299.02/299.91 c set abstraction set cluster max size to 100000000
299.02/299.91 c set abstraction set cluster activation limit to 2
299.02/299.91 c enable abstraction set require equal cost
299.02/299.91 c set abstraction set assumptions to 0
299.02/299.91 c set abstraction set constraint type to 0
299.02/299.91 c set abstract core extraction strategy to b
299.02/299.91 c set core extraction strategy to 2
299.02/299.91 c set core extraction shuffles 10
299.02/299.91 c set cores per iteration to 5
299.02/299.91 c set optimizer bound usage strategy to 2
299.02/299.91 c set optimizer max non-optimal iterations to 1000
299.02/299.91 c set small core cardinality limit to 2
299.02/299.91 c set max coef in cores to 1000000000
299.02/299.91 c set SIS iterations to 5
299.02/299.91 c set SIS budget abs to 1000
299.02/299.91 c set SIS budget rel to 0.05
299.02/299.91 c limit for coefficient in constraints and objective to 9223372036854775807
299.02/299.91 c will solve HOME/instance-4431642-1721158445.opb
299.02/299.91 c [0.09] solve iteration 1, LB=0, UB=3451261
299.02/299.91 c [16.25] solve iteration 2, LB=9, UB=42388
299.02/299.91 c [21.9] solve iteration 3, LB=14027, UB=30796
299.02/299.91 c [28.71] solve iteration 4, LB=14027, UB=20222
299.02/299.91 c [34.63] solve iteration 5, LB=14029, UB=15444
299.02/299.91 c [47.65] solve iteration 6, LB=14029, UB=14065
299.02/299.91 c [52.08] solve iteration 7, LB=14029, UB=14065
299.02/299.91 c [56.09] solve iteration 8, LB=14030, UB=14065
299.02/299.91 c [59.57] solve iteration 9, LB=14032, UB=14065
299.02/299.91 c [62.24] solve iteration 10, LB=14032, UB=14063
299.02/299.91 c [64.49] solve iteration 11, LB=14032, UB=14059
299.02/299.91 c [66.35] solve iteration 12, LB=14033, UB=14059
299.02/299.91 c [68.17] solve iteration 13, LB=14033, UB=14059
299.02/299.91 c [69.18] solve iteration 14, LB=14034, UB=14052
299.02/299.91 c [69.95] solve iteration 15, LB=14034, UB=14052
299.02/299.91 c [87.26] solve iteration 16, LB=14034, UB=14049
299.02/299.91 c [87.78] solve iteration 17, LB=14034, UB=14049
299.02/299.91 c [88.53] solve iteration 18, LB=14034, UB=14048
299.02/299.91 c [89.63] solve iteration 19, LB=14034, UB=14048
299.02/299.91 c [89.83] solve iteration 20, LB=14034, UB=14047
299.02/299.91 c [92.56] solve iteration 21, LB=14035, UB=14047
299.02/299.91 c [93.11] solve iteration 22, LB=14035, UB=14047
299.02/299.91 c [95.91] solve iteration 23, LB=14035, UB=14047
299.02/299.91 c [97.58] solve iteration 24, LB=14036, UB=14047
299.02/299.91 c [98.63] solve iteration 25, LB=14036, UB=14047
299.02/299.91 c [99.38] solve iteration 26, LB=14036, UB=14045
299.02/299.91 c [100.7] solve iteration 27, LB=14037, UB=14045
299.02/299.91 c [102.03] solve iteration 28, LB=14037, UB=14045
299.02/299.91 c [124.02] solve iteration 29, LB=14037, UB=14045
299.02/299.91 c [125.94] solve iteration 30, LB=14037, UB=14045
299.02/299.91 c [126.98] solve iteration 31, LB=14037, UB=14045
299.02/299.91 c [128.94] solve iteration 32, LB=14037, UB=14045
299.02/299.91 c [130.85] solve iteration 33, LB=14037, UB=14045
299.02/299.91 c [156.8] solve iteration 34, LB=14037, UB=14045
299.02/299.91 c [158.84] solve iteration 35, LB=14037, UB=14045
299.02/299.91 c [160.29] solve iteration 36, LB=14037, UB=14045
299.02/299.91 c [161.74] solve iteration 37, LB=14037, UB=14045
299.02/299.91 c [162.56] solve iteration 38, LB=14037, UB=14045
299.02/299.91 c [184.69] solve iteration 39, LB=14037, UB=14045
299.02/299.91 c [186.58] solve iteration 40, LB=14039, UB=14045
299.02/299.91 c [188.97] solve iteration 41, LB=14039, UB=14045
299.02/299.91 c [189.9] solve iteration 42, LB=14039, UB=14045
299.02/299.91 c [191.13] solve iteration 43, LB=14039, UB=14045
299.02/299.91 c [192.34] solve iteration 44, LB=14039, UB=14045
299.02/299.91 c [225.37] solve iteration 45, LB=14039, UB=14045
299.02/299.91 c [226.78] solve iteration 46, LB=14039, UB=14045
299.02/299.91 c [228.48] solve iteration 47, LB=14039, UB=14045
299.02/299.91 c [229.74] solve iteration 48, LB=14041, UB=14045
299.02/299.91 c [230.73] solve iteration 49, LB=14041, UB=14045
299.02/299.91 c [232.06] solve iteration 50, LB=14041, UB=14045
299.02/299.91 c [233] solve iteration 51, LB=14041, UB=14045
299.02/299.91 c [234.01] solve iteration 52, LB=14041, UB=14045
299.02/299.91 c [264.44] solve iteration 53, LB=14041, UB=14045
1843.12/1847.48 c [265] solve iteration 54, LB=14041, UB=14045
1843.12/1847.48 c [265.88] solve iteration 55, LB=14041, UB=14045
1843.12/1847.48 c [267.61] solve iteration 56, LB=14041, UB=14045
1843.12/1847.48 c [268.8] solve iteration 57, LB=14041, UB=14045
1843.12/1847.48 c [303.85] solve iteration 58, LB=14041, UB=14045
1843.12/1847.48 c [304.45] solve iteration 59, LB=14041, UB=14045
1843.12/1847.48 c [305.74] solve iteration 60, LB=14041, UB=14045
1843.12/1847.48 c [306.68] solve iteration 61, LB=14041, UB=14045
1843.12/1847.48 c [307.58] solve iteration 62, LB=14041, UB=14045
1843.12/1847.48 c [337.34] solve iteration 63, LB=14041, UB=14045
1843.12/1847.48 c [338.35] solve iteration 64, LB=14041, UB=14045
1843.12/1847.48 c [339.49] solve iteration 65, LB=14041, UB=14045
1843.12/1847.48 c [340.64] solve iteration 66, LB=14041, UB=14045
1843.12/1847.48 c [341.49] solve iteration 67, LB=14041, UB=14045
1843.12/1847.48 c [383.76] solve iteration 68, LB=14041, UB=14045
1843.12/1847.48 c [385.45] solve iteration 69, LB=14041, UB=14045
1843.12/1847.48 c [386.43] solve iteration 70, LB=14041, UB=14045
1843.12/1847.48 c [387.43] solve iteration 71, LB=14041, UB=14045
1843.12/1847.48 c [388.05] solve iteration 72, LB=14041, UB=14045
1843.12/1847.48 c [440.52] solve iteration 73, LB=14041, UB=14045
1843.12/1847.48 c [441.62] solve iteration 74, LB=14041, UB=14045
1843.12/1847.49 c [442.28] solve iteration 75, LB=14041, UB=14045
1843.12/1847.49 c [442.55] solve iteration 76, LB=14041, UB=14044
1843.12/1847.49 c [443.55] solve iteration 77, LB=14041, UB=14044
1843.12/1847.49 c [505.02] solve iteration 78, LB=14041, UB=14044
1843.12/1847.49 c [505.86] solve iteration 79, LB=14041, UB=14044
1843.12/1847.49 c [506.61] solve iteration 80, LB=14041, UB=14044
1843.12/1847.49 c [508.23] solve iteration 81, LB=14041, UB=14044
1843.12/1847.49 c [509.54] solve iteration 82, LB=14041, UB=14044
1843.12/1847.49 c [582.19] solve iteration 83, LB=14041, UB=14044
1843.12/1847.49 c [583.16] solve iteration 84, LB=14041, UB=14044
1843.12/1847.49 c [584.2] solve iteration 85, LB=14041, UB=14044
1843.12/1847.49 c [585.16] solve iteration 86, LB=14041, UB=14044
1843.12/1847.49 c [586.14] solve iteration 87, LB=14041, UB=14044
1843.12/1847.49 c [650.73] solve iteration 88, LB=14041, UB=14044
1843.12/1847.49 c [651.87] solve iteration 89, LB=14041, UB=14044
1843.12/1847.49 c [652.59] solve iteration 90, LB=14041, UB=14044
1843.12/1847.49 c [652.87] solve iteration 91, LB=14041, UB=14043
1843.12/1847.49 c [654.29] solve iteration 92, LB=14041, UB=14043
1843.12/1847.49 c [734.89] solve iteration 93, LB=14041, UB=14043
1843.12/1847.49 c [735.77] solve iteration 94, LB=14041, UB=14043
1843.12/1847.49 c [736.65] solve iteration 95, LB=14041, UB=14043
1843.12/1847.49 c [738.56] solve iteration 96, LB=14041, UB=14043
1843.12/1847.49 c [739.88] solve iteration 97, LB=14041, UB=14043
1843.12/1847.49 c [841.7] solve iteration 98, LB=14041, UB=14043
1843.12/1847.49 c [843.07] solve iteration 99, LB=14041, UB=14043
1843.12/1847.49 c [845.13] solve iteration 100, LB=14041, UB=14043
1843.12/1847.49 c [846.02] solve iteration 101, LB=14041, UB=14043
1843.12/1847.49 c [847.48] solve iteration 102, LB=14041, UB=14043
1843.12/1847.49 c [974.68] solve iteration 103, LB=14041, UB=14043
1843.12/1847.49 c [975.38] solve iteration 104, LB=14041, UB=14043
1843.12/1847.49 c [976.42] solve iteration 105, LB=14041, UB=14043
1843.12/1847.49 c [977.17] solve iteration 106, LB=14041, UB=14043
1843.12/1847.49 c [977.84] solve iteration 107, LB=14041, UB=14043
1843.12/1847.49 c [1059.93] solve iteration 108, LB=14041, UB=14043
1843.12/1847.49 c [1061.16] solve iteration 109, LB=14041, UB=14043
1843.12/1847.49 c [1062.67] solve iteration 110, LB=14041, UB=14043
1843.12/1847.49 c [1063.88] solve iteration 111, LB=14041, UB=14043
1843.12/1847.49 c [1065.08] solve iteration 112, LB=14041, UB=14043
1843.12/1847.49 c [1173.03] solve iteration 113, LB=14041, UB=14043
1843.12/1847.49 c [1174.39] solve iteration 114, LB=14041, UB=14043
1843.12/1847.49 c [1175.71] solve iteration 115, LB=14041, UB=14043
1843.12/1847.49 c [1177.05] solve iteration 116, LB=14041, UB=14043
1843.12/1847.49 c [1177.97] solve iteration 117, LB=14041, UB=14043
1843.12/1847.49 c [1316.16] solve iteration 118, LB=14041, UB=14043
1843.12/1847.49 c [1317.18] solve iteration 119, LB=14041, UB=14043
1843.12/1847.49 c [1318.77] solve iteration 120, LB=14041, UB=14043
1843.12/1847.49 c [1319.81] solve iteration 121, LB=14041, UB=14043
1843.12/1847.49 c [1321.47] solve iteration 122, LB=14041, UB=14043
1843.12/1847.49 c [1480.22] solve iteration 123, LB=14041, UB=14043
1843.12/1847.49 c [1481.51] solve iteration 124, LB=14041, UB=14043
1843.12/1847.49 c [1482.81] solve iteration 125, LB=14041, UB=14043
1843.12/1847.49 c [1484.15] solve iteration 126, LB=14041, UB=14043
1843.12/1847.49 c [1486.48] solve iteration 127, LB=14041, UB=14043
1843.12/1847.49 c [1581.69] solve iteration 128, LB=14041, UB=14043
1843.12/1847.49 c [1582.85] solve iteration 129, LB=14041, UB=14043
1843.12/1847.49 c [1583.59] solve iteration 130, LB=14041, UB=14043
1843.12/1847.49 c [1584.8] solve iteration 131, LB=14041, UB=14043
1843.12/1847.49 c [1585.58] solve iteration 132, LB=14041, UB=14043
1843.12/1847.49 c [1729] solve iteration 133, LB=14041, UB=14043
1843.12/1847.49 c [1730] solve iteration 134, LB=14041, UB
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 (57291 MiB free)
memory of node 1: 64473 MiB (60062 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431642-1721158445/watcher-4431642-1721158445 -o /tmp/evaluation-result-4431642-1721158445/solver-4431642-1721158445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721150572-867633 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431642-1721158445.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
Starting watchdog thread
solver pid=872604, runsolver pid=872601
Current StackSize limit: 8192 KiB
[startup+0.100342 s]*
/proc/loadavg: 4.25 4.39 4.27 5/263 872606
/proc/meminfo: memFree=120154436/131524600 swapFree=131071996/131071996
[pid=872604] ppid=872601 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/872604/stat : 872604 (run-glibc-2.34.) S 872601 872604 867620 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 168008309 10166272 693 134679101440 93908897017856 93908898097176 140722252114400 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93908900195632 93908900242820 93908918071296 140722252121035 140722252121180 140722252121180 140722252128195 0
/proc/872604/statm: 2482 693 613 264 0 133 0
[pid=872606] ppid=872604 vsize=101760 memory=21628 CPUtime=0.09 cores=5,7
/proc/872606/stat : 872606 (ld-linux-x86-64) R 872604 872604 867620 0 -1 4194304 4609 0 0 0 9 0 0 0 20 0 1 0 168008309 104202240 5407 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
/proc/872606/statm: 25440 5407 1613 46 0 6055 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 24400 KiB
[startup+0.206341 s]*
/proc/loadavg: 4.25 4.39 4.27 5/263 872606
/proc/meminfo: memFree=120141072/131524600 swapFree=131071996/131071996
[pid=872604] ppid=872601 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/872604/stat : 872604 (run-glibc-2.34.) S 872601 872604 867620 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 168008309 10166272 693 134679101440 93908897017856 93908898097176 140722252114400 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93908900195632 93908900242820 93908918071296 140722252121035 140722252121180 140722252121180 140722252128195 0
/proc/872604/statm: 2482 693 613 264 0 133 0
[pid=872606] ppid=872604 vsize=115588 memory=34944 CPUtime=0.19 cores=5,7
/proc/872606/stat : 872606 (ld-linux-x86-64) R 872604 872604 867620 0 -1 4194304 7667 0 0 0 18 1 0 0 20 0 1 0 168008309 118362112 8736 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
/proc/872606/statm: 28897 8736 1613 46 0 9512 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 125516 KiB
Current children cumulated memory: 37716 KiB
[startup+0.305498 s]*
/proc/loadavg: 4.25 4.39 4.27 5/263 872606
/proc/meminfo: memFree=120128296/131524600 swapFree=131071996/131071996
[pid=872604] ppid=872601 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/872604/stat : 872604 (run-glibc-2.34.) S 872601 872604 867620 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 168008309 10166272 693 134679101440 93908897017856 93908898097176 140722252114400 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93908900195632 93908900242820 93908918071296 140722252121035 140722252121180 140722252121180 140722252128195 0
/proc/872604/statm: 2482 693 613 264 0 133 0
[pid=872606] ppid=872604 vsize=132228 memory=47816 CPUtime=0.29 cores=5,7
/proc/872606/stat : 872606 (ld-linux-x86-64) R 872604 872604 867620 0 -1 4194304 10421 0 0 0 28 1 0 0 20 0 1 0 168008309 135401472 11954 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
/proc/872606/statm: 33057 11954 1613 46 0 13672 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 142156 KiB
Current children cumulated memory: 50588 KiB
[startup+0.700251 s]
/proc/loadavg: 4.25 4.39 4.27 5/263 872606
/proc/meminfo: memFree=120101060/131524600 swapFree=131071996/131071996
[pid=872604] ppid=872601 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/872604/stat : 872604 (run-glibc-2.34.) S 872601 872604 867620 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 168008309 10166272 693 134679101440 93908897017856 93908898097176 140722252114400 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93908900195632 93908900242820 93908918071296 140722252121035 140722252121180 140722252121180 140722252128195 0
/proc/872604/statm: 2482 693 613 264 0 133 0
[pid=872606] ppid=872604 vsize=185444 memory=96424 CPUtime=0.68 cores=5,7
/proc/872606/stat : 872606 (ld-linux-x86-64) R 872604 872604 867620 0 -1 4194304 18875 0 0 0 59 9 0 0 20 0 1 0 168008309 189894656 24106 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
/proc/872606/statm: 46361 24106 1693 46 0 26976 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 195372 KiB
Current children cumulated memory: 99196 KiB
[startup+1.50026 s]
/proc/loadavg: 4.25 4.39 4.27 5/263 872606
/proc/meminfo: memFree=120058684/131524600 swapFree=131071996/131071996
[pid=872604] ppid=872601 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/872604/stat : 872604 (run-glibc-2.34.) S 872601 872604 867620 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 168008309 10166272 693 134679101440 93908897017856 93908898097176 140722252114400 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93908900195632 93908900242820 93908918071296 140722252121035 140722252121180 140722252121180 140722252128195 0
/proc/872604/statm: 2482 693 613 264 0 133 0
[pid=872606] ppid=872604 vsize=328128 memory=199812 CPUtime=1.47 cores=5,7
/proc/872606/stat : 872606 (ld-linux-x86-64) R 872604 872604 867620 0 -1 4194304 39230 0 0 0 122 25 0 0 20 0 2 0 168008309 336003072 49953 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
/proc/872606/statm: 82032 49953 3449 46 0 54627 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 338056 KiB
Current children cumulated memory: 202584 KiB
[startup+3.1055 s]
/proc/loadavg: 4.23 4.39 4.27 5/264 872607
/proc/meminfo: memFree=119980016/131524600 swapFree=131071996/131071996
[pid=872604] ppid=872601 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/872604/stat : 872604 (run-glibc-2.34.) S 872601 872604 867620 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 168008309 10166272 693 134679101440 93908897017856 93908898097176 140722252114400 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93908900195632 93908900242820 93908918071296 140722252121035 140722252121180 140722252121180 140722252128195 0
/proc/872604/statm: 2482 693 613 264 0 133 0
[pid=872606] ppid=872604 vsize=328128 memory=200324 CPUtime=3.07 cores=5,7
/proc/872606/stat : 872606 (ld-linux-x86-64) R 872604 872604 867620 0 -1 4194304 42375 0 0 0 259 48 0 0 20 0 2 0 168008309 336003072 50081 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
/proc/872606/statm: 82032 50081 3512 46 0 54627 0
[pid=872606/tid=872607] ppid=872604 vsize=328128 memory=0 CPUtime=0 cores=5,7
/proc/872606/task/872607/stat : 872607 (ld-linux-x86-64) S 872604 872604 867620 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 168008422 336003072 50081 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 338056 KiB
Current children cumulated memory: 203096 KiB
[startup+6.30025 s]
/proc/loadavg: 4.23 4.39 4.27 5/264 872607
/proc/meminfo: memFree=120023632/131524600 swapFree=131071996/131071996
[pid=872604] ppid=872601 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/872604/stat : 872604 (run-glibc-2.34.) S 872601 872604 867620 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 168008309 10166272 693 134679101440 93908897017856 93908898097176 140722252114400 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93908900195632 93908900242820 93908918071296 140722252121035 140722252121180 140722252121180 140722252128195 0
/proc/872604/statm: 2482 693 613 264 0 133 0
[pid=872606] ppid=872604 vsize=328128 memory=200344 CPUtime=6.26 cores=5,7
/proc/872606/stat : 872606 (ld-linux-x86-64) R 872604 872604 867620 0 -1 4194304 49002 0 0 0 523 103 0 0 20 0 2 0 168008309 336003072 50086 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
/proc/872606/statm: 82032 50086 3512 46 0 54627 0
[pid=872606/tid=872607] ppid=872604 vsize=328128 memory=200344 CPUtime=0 cores=5,7
/proc/872606/task/872607/stat : 872607 (ld-linux-x86-64) S 872604 872604 867620 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 168008422 336003072 50086 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 338056 KiB
Current children cumulated memory: 203116 KiB
[startup+12.7003 s]
/proc/loadavg: 4.21 4.38 4.26 5/264 872608
/proc/meminfo: memFree=120003360/131524600 swapFree=131071996/131071996
[pid=872604] ppid=872601 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/872604/stat : 872604 (run-glibc-2.34.) S 872601 872604 867620 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 168008309 10166272 693 134679101440 93908897017856 93908898097176 140722252114400 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93908900195632 93908900242820 93908918071296 140722252121035 140722252121180 140722252121180 140722252128195 0
/proc/872604/statm: 2482 693 613 264 0 133 0
[pid=872606] ppid=872604 vsize=328128 memory=200380 CPUtime=12.64 cores=5,7
/proc/872606/stat : 872606 (ld-linux-x86-64) R 872604 872604 867620 0 -1 4194304 61036 0 0 0 1031 233 0 0 20 0 2 0 168008309 336003072 50095 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
/proc/872606/statm: 82032 50095 3512 46 0 54627 0
[pid=872606/tid=872607] ppid=872604 vsize=328128 memory=11560 CPUtime=0 cores=5,7
/proc/872606/task/872607/stat : 872607 (ld-linux-x86-64) S 872604 872604 867620 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 2 0 168008422 336003072 50095 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 338056 KiB
Current children cumulated memory: 203152 KiB
[startup+25.5003 s]
/proc/loadavg: 4.24 4.38 4.27 5/264 872610
/proc/meminfo: memFree=119908404/131524600 swapFree=131071996/131071996
[pid=872604] ppid=872601 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/872604/stat : 872604 (run-glibc-2.34.) S 872601 872604 867620 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 168008309 10166272 693 134679101440 93908897017856 93908898097176 140722252114400 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93908900195632 93908900242820 93908918071296 140722252121035 140722252121180 140722252121180 140722252128195 0
/proc/872604/statm: 2482 693 613 264 0 133 0
[pid=872606] ppid=872604 vsize=347036 memory=220956 CPUtime=25.42 cores=5,7
/proc/872606/stat : 872606 (ld-linux-x86-64) R 872604 872604 867620 0 -1 4194304 89746 0 0 0 2025 517 0 0 20 0 2 0 168008309 355364864 55239 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
/proc/872606/statm: 86759 55239 3528 46 0 59354 0
[pid=872606/tid=872607] ppid=872604 vsize=347036 memory=2772 CPUtime=0 cores=5,7
/proc/872606/task/872607/stat : 872607 (ld-linux-x86-64) S 872604 872604 867620 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 2 0 168008422 355364864 55239 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 356964 KiB
Current children cumulated memory: 223728 KiB
[startup+51.1056 s]
/proc/loadavg: 4.16 4.35 4.26 5/263 872614
/proc/meminfo: memFree=119789856/131524600 swapFree=131071996/131071996
[pid=872604] ppid=872601 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/872604/stat : 872604 (run-glibc-2.34.) S 872601 872604 867620 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 168008309 10166272 693 134679101440 93908897017856 93908898097176 140722252114400 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93908900195632 93908900242820 93908918071296 140722252121035 140722252121180 140722252121180 140722252128195 0
/proc/872604/statm: 2482 693 613 264 0 133 0
[pid=872606] ppid=872604 vsize=361348 memory=236536 CPUtime=50.96 cores=5,7
/proc/872606/stat : 872606 (ld-linux-x86-64) R 872604 872604 867620 0 -1 4194304 142418 0 0 0 4057 1039 0 0 20 0 2 0 168008309 370020352 59134 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
/proc/872606/statm: 90337 59134 3814 46 0 62932 0
[pid=872606/tid=872607] ppid=872604 vsize=361348 memory=230124 CPUtime=0.01 cores=5,7
/proc/872606/task/872607/stat : 872607 (ld-linux-x86-64) S 872604 872604 867620 0 -1 1077936192 40 0 0 0 0 1 0 0 20 0 2 0 168008422 370020352 59134 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 371276 KiB
Current children cumulated memory: 239308 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.31 4.25 5/263 872623
/proc/meminfo: memFree=119017808/131524600 swapFree=131071996/131071996
[pid=872604] ppid=872601 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/872604/stat : 872604 (run-glibc-2.34.) S 872601 872604 867620 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 168008309 10166272 693 134679101440 93908897017856 93908898097176 140722252114400 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93908900195632 93908900242820 93908918071296 140722252121035 140722252121180 140722252121180 140722252128195 0
/proc/872604/statm: 2482 693 613 264 0 133 0
[pid=872606] ppid=872604 vsize=647040 memory=477520 CPUtime=101.98 cores=5,7
/proc/872606/stat : 872606 (ld-linux-x86-64) R 872604 872604 867620 0 -1 4194304 258709 0 0 0 8450 1748 0 0 20 0 2 0 168008309 662568960 119380 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
/proc/872606/statm: 161760 119380 3814 46 0 134355 0
[pid=872606/tid=872607] ppid=872604 vsize=647040 memory=11560 CPUtime=0.03 cores=5,7
/proc/872606/task/872607/stat : 872607 (ld-linux-x86-64) S 872604 872604 867620 0 -1 1077936192 46 0 0 0 0 3 0 0 20 0 2 0 168008422 662568960 119380 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 656968 KiB
Current children cumulated memory: 480292 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.29 4.25 5/263 872633
/proc/meminfo: memFree=118501176/131524600 swapFree=131071996/131071996
[pid=872604] ppid=872601 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/872604/stat : 872604 (run-glibc-2.34.) S 872601 872604 867620 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 168008309 10166272 693 134679101440 93908897017856 93908898097176 140722252114400 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93908900195632 93908900242820 93908918071296 140722252121035 140722252121180 140722252121180 140722252128195 0
/proc/872604/statm: 2482 693 613 264 0 133 0
[pid=872606] ppid=872604 vsize=933684 memory=709320 CPUtime=161.76 cores=5,7
/proc/872606/stat : 872606 (ld-linux-x86-64) R 872604 872604 867620 0 -1 4194304 432920 0 0 0 13627 2549 0 0 20 0 2 0 168008309 956092416 177330 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
/proc/872606/statm: 233421 177330 3987 46 0 206016 0
[pid=872606/tid=872607] ppid=872604 vsize=933684 memory=2772 CPUtime=0.07 cores=5,7
/proc/872606/task/872607/stat : 872607 (ld-linux-x86-64) S 872604 872604 867620 0 -1 1077936192 51 0 0 0 2 5 0 0 20 0 2 0 168008422 956092416 177330 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 2.25 3.20 3.75 3/246 874291
/proc/meminfo: memFree=121865164/131524600 swapFree=131071996/131071996
[pid=872604] ppid=872601 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/872604/stat : 872604 (run-glibc-2.34.) S 872601 872604 867620 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 168008309 10166272 693 134679101440 93908897017856 93908898097176 140722252114400 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93908900195632 93908900242820 93908918071296 140722252121035 140722252121180 140722252121180 140722252128195 0
/proc/872604/statm: 2482 693 613 264 0 133 0
[pid=872606] ppid=872604 vsize=3331160 memory=2882136 CPUtime=3155.28 cores=5,7
/proc/872606/stat : 872606 (ld-linux-x86-64) R 872604 872604 867620 0 -1 4194304 9562275 0 0 0 300331 15197 0 0 20 0 2 0 168008309 3411107840 720534 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
/proc/872606/statm: 832790 720534 4003 46 0 805385 0
[pid=872606/tid=872607] ppid=872604 vsize=3331160 memory=2772 CPUtime=2.18 cores=5,7
/proc/872606/task/872607/stat : 872607 (ld-linux-x86-64) S 872604 872604 867620 0 -1 1077936192 266 0 0 0 85 133 0 0 20 0 2 0 168008422 3411107840 720534 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
Current children cumulated CPU time: 3155.28 s
Current children cumulated vsize: 3341088 KiB
Current children cumulated memory: 2884908 KiB
[startup+3222.3 s]
/proc/loadavg: 2.27 3.02 3.65 3/246 874303
/proc/meminfo: memFree=121864172/131524600 swapFree=131071996/131071996
[pid=872604] ppid=872601 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/872604/stat : 872604 (run-glibc-2.34.) S 872601 872604 867620 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 168008309 10166272 693 134679101440 93908897017856 93908898097176 140722252114400 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93908900195632 93908900242820 93908918071296 140722252121035 140722252121180 140722252121180 140722252128195 0
/proc/872604/statm: 2482 693 613 264 0 133 0
[pid=872606] ppid=872604 vsize=3331160 memory=2882464 CPUtime=3215.19 cores=5,7
/proc/872606/stat : 872606 (ld-linux-x86-64) R 872604 872604 867620 0 -1 4194304 9690626 0 0 0 306008 15511 0 0 20 0 2 0 168008309 3411107840 720616 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
/proc/872606/statm: 832790 720616 4003 46 0 805385 0
[pid=872606/tid=872607] ppid=872604 vsize=3331160 memory=42412 CPUtime=2.23 cores=5,7
/proc/872606/task/872607/stat : 872607 (ld-linux-x86-64) S 872604 872604 867620 0 -1 1077936192 269 0 0 0 87 136 0 0 20 0 2 0 168008422 3411107840 720616 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
Current children cumulated CPU time: 3215.19 s
Current children cumulated vsize: 3341088 KiB
Current children cumulated memory: 2885236 KiB
[startup+3282.3 s]
/proc/loadavg: 2.16 2.85 3.55 3/248 874483
/proc/meminfo: memFree=121795944/131524600 swapFree=131071996/131071996
[pid=872604] ppid=872601 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/872604/stat : 872604 (run-glibc-2.34.) S 872601 872604 867620 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 168008309 10166272 693 134679101440 93908897017856 93908898097176 140722252114400 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93908900195632 93908900242820 93908918071296 140722252121035 140722252121180 140722252121180 140722252128195 0
/proc/872604/statm: 2482 693 613 264 0 133 0
[pid=872606] ppid=872604 vsize=3331160 memory=2936600 CPUtime=3275.09 cores=5,7
/proc/872606/stat : 872606 (ld-linux-x86-64) R 872604 872604 867620 0 -1 4194304 9837701 0 0 0 311795 15714 0 0 20 0 2 0 168008309 3411107840 734150 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
/proc/872606/statm: 832790 734150 4003 46 0 805385 0
[pid=872606/tid=872607] ppid=872604 vsize=3331160 memory=2772 CPUtime=2.27 cores=5,7
/proc/872606/task/872607/stat : 872607 (ld-linux-x86-64) S 872604 872604 867620 0 -1 1077936192 272 0 0 0 88 139 0 0 20 0 2 0 168008422 3411107840 734150 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
Current children cumulated CPU time: 3275.09 s
Current children cumulated vsize: 3341088 KiB
Current children cumulated memory: 2939372 KiB
[startup+3342.3 s]
/proc/loadavg: 2.17 2.73 3.46 3/248 874493
/proc/meminfo: memFree=121728288/131524600 swapFree=131071996/131071996
[pid=872604] ppid=872601 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/872604/stat : 872604 (run-glibc-2.34.) S 872601 872604 867620 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 168008309 10166272 693 134679101440 93908897017856 93908898097176 140722252114400 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93908900195632 93908900242820 93908918071296 140722252121035 140722252121180 140722252121180 140722252128195 0
/proc/872604/statm: 2482 693 613 264 0 133 0
[pid=872606] ppid=872604 vsize=3331160 memory=3003688 CPUtime=3334.99 cores=5,7
/proc/872606/stat : 872606 (ld-linux-x86-64) R 872604 872604 867620 0 -1 4194304 9984469 0 0 0 317666 15833 0 0 20 0 2 0 168008309 3411107840 750922 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
/proc/872606/statm: 832790 750922 4003 46 0 805385 0
[pid=872606/tid=872607] ppid=872604 vsize=3331160 memory=11560 CPUtime=2.33 cores=5,7
/proc/872606/task/872607/stat : 872607 (ld-linux-x86-64) S 872604 872604 867620 0 -1 1077936192 276 0 0 0 90 143 0 0 20 0 2 0 168008422 3411107840 750922 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
Current children cumulated CPU time: 3334.99 s
Current children cumulated vsize: 3341088 KiB
Current children cumulated memory: 3006460 KiB
[startup+3402.3 s]
/proc/loadavg: 2.12 2.61 3.37 3/248 874562
/proc/meminfo: memFree=121033520/131524600 swapFree=131071996/131071996
[pid=872604] ppid=872601 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/872604/stat : 872604 (run-glibc-2.34.) S 872601 872604 867620 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 168008309 10166272 693 134679101440 93908897017856 93908898097176 140722252114400 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93908900195632 93908900242820 93908918071296 140722252121035 140722252121180 140722252121180 140722252128195 0
/proc/872604/statm: 2482 693 613 264 0 133 0
[pid=872606] ppid=872604 vsize=4543008 memory=3694856 CPUtime=3394.91 cores=5,7
/proc/872606/stat : 872606 (ld-linux-x86-64) R 872604 872604 867620 0 -1 4194304 10704011 0 0 0 323510 15981 0 0 20 0 2 0 168008309 4652040192 923714 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
/proc/872606/statm: 1135752 923714 4003 46 0 1108347 0
[pid=872606/tid=872607] ppid=872604 vsize=4543008 memory=2772 CPUtime=2.38 cores=5,7
/proc/872606/task/872607/stat : 872607 (ld-linux-x86-64) S 872604 872604 867620 0 -1 1077936192 276 0 0 0 92 146 0 0 20 0 2 0 168008422 4652040192 923714 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
Current children cumulated CPU time: 3394.91 s
Current children cumulated vsize: 4552936 KiB
Current children cumulated memory: 3697628 KiB
[startup+3462.3 s]
/proc/loadavg: 2.09 2.51 3.29 3/248 874573
/proc/meminfo: memFree=121011784/131524600 swapFree=131071996/131071996
[pid=872604] ppid=872601 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/872604/stat : 872604 (run-glibc-2.34.) S 872601 872604 867620 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 168008309 10166272 693 134679101440 93908897017856 93908898097176 140722252114400 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93908900195632 93908900242820 93908918071296 140722252121035 140722252121180 140722252121180 140722252128195 0
/proc/872604/statm: 2482 693 613 264 0 133 0
[pid=872606] ppid=872604 vsize=4564460 memory=3715956 CPUtime=3454.77 cores=5,7
/proc/872606/stat : 872606 (ld-linux-x86-64) R 872604 872604 867620 0 -1 4194304 10727855 0 0 0 329221 16256 0 0 20 0 2 0 168008309 4674007040 928989 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
/proc/872606/statm: 1141115 928989 4003 46 0 1113710 0
[pid=872606/tid=872607] ppid=872604 vsize=4564460 memory=2772 CPUtime=2.43 cores=5,7
/proc/872606/task/872607/stat : 872607 (ld-linux-x86-64) S 872604 872604 867620 0 -1 1077936192 279 0 0 0 94 149 0 0 20 0 2 0 168008422 4674007040 928989 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
Current children cumulated CPU time: 3454.77 s
Current children cumulated vsize: 4574388 KiB
Current children cumulated memory: 3718728 KiB
[startup+3522.3 s]
/proc/loadavg: 2.14 2.45 3.22 3/248 874583
/proc/meminfo: memFree=121011292/131524600 swapFree=131071996/131071996
[pid=872604] ppid=872601 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/872604/stat : 872604 (run-glibc-2.34.) S 872601 872604 867620 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 168008309 10166272 693 134679101440 93908897017856 93908898097176 140722252114400 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93908900195632 93908900242820 93908918071296 140722252121035 140722252121180 140722252121180 140722252128195 0
/proc/872604/statm: 2482 693 613 264 0 133 0
[pid=872606] ppid=872604 vsize=4564460 memory=3715956 CPUtime=3514.69 cores=5,7
/proc/872606/stat : 872606 (ld-linux-x86-64) R 872604 872604 867620 0 -1 4194304 10887484 0 0 0 334839 16630 0 0 20 0 2 0 168008309 4674007040 928989 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
/proc/872606/statm: 1141115 928989 4003 46 0 1113710 0
[pid=872606/tid=872607] ppid=872604 vsize=4564460 memory=3715956 CPUtime=2.47 cores=5,7
/proc/872606/task/872607/stat : 872607 (ld-linux-x86-64) S 872604 872604 867620 0 -1 1077936192 282 0 0 0 96 151 0 0 20 0 2 0 168008422 4674007040 928989 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
Current children cumulated CPU time: 3514.69 s
Current children cumulated vsize: 4574388 KiB
Current children cumulated memory: 3718728 KiB
[startup+3582.3 s]
/proc/loadavg: 2.10 2.38 3.14 3/246 874594
/proc/meminfo: memFree=121011808/131524600 swapFree=131071996/131071996
[pid=872604] ppid=872601 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/872604/stat : 872604 (run-glibc-2.34.) S 872601 872604 867620 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 168008309 10166272 693 134679101440 93908897017856 93908898097176 140722252114400 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93908900195632 93908900242820 93908918071296 140722252121035 140722252121180 140722252121180 140722252128195 0
/proc/872604/statm: 2482 693 613 264 0 133 0
[pid=872606] ppid=872604 vsize=4564460 memory=3715956 CPUtime=3574.61 cores=5,7
/proc/872606/stat : 872606 (ld-linux-x86-64) R 872604 872604 867620 0 -1 4194304 11048185 0 0 0 340455 17006 0 0 20 0 2 0 168008309 4674007040 928989 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
/proc/872606/statm: 1141115 928989 4003 46 0 1113710 0
[pid=872606/tid=872607] ppid=872604 vsize=4564460 memory=11560 CPUtime=2.51 cores=5,7
/proc/872606/task/872607/stat : 872607 (ld-linux-x86-64) S 872604 872604 867620 0 -1 1077936192 285 0 0 0 98 153 0 0 20 0 2 0 168008422 4674007040 928989 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
Current children cumulated CPU time: 3574.61 s
Current children cumulated vsize: 4574388 KiB
Current children cumulated memory: 3718728 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.8 s]
/proc/loadavg: 2.14 2.36 3.12 3/246 874599
/proc/meminfo: memFree=121011412/131524600 swapFree=131071996/131071996
[pid=872604] ppid=872601 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/872604/stat : 872604 (run-glibc-2.34.) S 872601 872604 867620 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 168008309 10166272 693 134679101440 93908897017856 93908898097176 140722252114400 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 93908900195632 93908900242820 93908918071296 140722252121035 140722252121180 140722252121180 140722252128195 0
/proc/872604/statm: 2482 693 613 264 0 133 0
[pid=872606] ppid=872604 vsize=4564460 memory=3715956 CPUtime=3600.08 cores=5,7
/proc/872606/stat : 872606 (ld-linux-x86-64) R 872604 872604 867620 0 -1 4194304 11187000 0 0 0 342853 17155 0 0 20 0 2 0 168008309 4674007040 928989 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
/proc/872606/statm: 1141115 928989 4003 46 0 1113710 0
[pid=872606/tid=872607] ppid=872604 vsize=4564460 memory=8112848286228191897 CPUtime=2.54 cores=5,7
/proc/872606/task/872607/stat : 872607 (ld-linux-x86-64) S 872604 872604 867620 0 -1 1077936192 288 0 0 0 99 155 0 0 20 0 2 0 168008422 4674007040 928989 134679101440 140536669741056 140536669928668 140723707703168 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140536672029568 140536672039016 93825022550016 140723707708259 140723707708411 140723707708411 140723707715506 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 4574388 KiB
Current children cumulated memory: 3718728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.81 s]
# the end of solver process 872604 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000775 s, system=0.000698 s
[startup+3607.88 s]
# the end of solver process 872606 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3428.54 s, system=171.625 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): 3607.88
CPU time (s): 3600.16
CPU user time (s): 3428.54
CPU system time (s): 171.625
CPU usage (%): 99.7862
Max. virtual memory (cumulated for all children) (KiB): 4574388
Max. memory (cumulated for all children) (KiB): 3718728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3428.54
system time used= 171.625
maximum resident set size= 3715956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11187290
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= 357219
involuntary context switches= 2713
# summary of solver processes directly reported to runsolver:
# pid: 872604,872606
# total CPU time (s): 3600.16
# total CPU user time (s): 3428.54
# total CPU system time (s): 171.625
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5391 second user time and 14.1638 second system time
The end