463.60/464.88 c initialize IPBHS solver
463.60/464.88 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
463.60/464.88 c optimizer = "gurobi"
463.60/464.88 c pbsolver = "roundingsat"
463.60/464.88 c load symmetries from file ""
463.60/464.88 c set time limit for symmetry computation to 100 seconds.
463.60/464.88 c set interchangeable summation variable limit to 3
463.60/464.88 c set abs symmetric core budget per WCE-iteration to 100
463.60/464.88 c set rel symmetric core budget per WCE-iteration to 0
463.60/464.88 c set lit symmetric core budget per WCE-iteration to 0
463.60/464.88 c set sym generation to 's'
463.60/464.88 c set abstraction set creation to 10 iterations without LB change
463.60/464.88 c set abstraction set inputs to 0
463.60/464.88 c set abstraction set cluster min size to 2
463.60/464.88 c set abstraction set cluster max size to 100000000
463.60/464.88 c set abstraction set cluster activation limit to 2
463.60/464.88 c enable abstraction set require equal cost
463.60/464.88 c set abstraction set assumptions to 0
463.60/464.88 c set abstraction set constraint type to 0
463.60/464.88 c set abstract core extraction strategy to b
463.60/464.88 c set core extraction strategy to 2
463.60/464.88 c set core extraction shuffles 10
463.60/464.88 c set cores per iteration to 5
463.60/464.88 c set optimizer bound usage strategy to 2
463.60/464.88 c set optimizer max non-optimal iterations to 1000
463.60/464.88 c set small core cardinality limit to 2
463.60/464.88 c set max coef in cores to 1000000000
463.60/464.88 c set SIS iterations to 5
463.60/464.88 c set SIS budget abs to 1000
463.60/464.88 c set SIS budget rel to 0.05
463.60/464.88 c limit for coefficient in constraints and objective to 9223372036854775807
463.60/464.88 c will solve HOME/instance-4431741-1721172558.opb
463.60/464.88 c [0.1] solve iteration 1, LB=-79235167, UB=240399499713
463.60/464.88 c [9.69] solve iteration 2, LB=394203337, UB=13706256974
463.60/464.88 c [20.21] solve iteration 3, LB=2932516408, UB=13706256974
463.60/464.88 c [23.5] solve iteration 4, LB=3010432258, UB=13706256974
463.60/464.88 c [27.46] solve iteration 5, LB=3071700008, UB=13706256974
463.60/464.88 c [71.01] solve iteration 6, LB=3157001613, UB=13706202362
463.60/464.88 c [77.91] solve iteration 7, LB=3168822383, UB=13706202362
463.60/464.88 c [85.28] solve iteration 8, LB=3250143549, UB=13706202362
463.60/464.88 c [86.96] solve iteration 9, LB=3326227892, UB=13706202362
463.60/464.88 c [89.64] solve iteration 10, LB=3336941015, UB=13706202362
463.60/464.88 c [96.72] solve iteration 11, LB=3337100414, UB=13389261542
463.60/464.88 c [98.02] solve iteration 12, LB=3337767401, UB=13389261542
463.60/464.88 c [99] solve iteration 13, LB=3339596847, UB=13389261542
463.60/464.88 c [101.5] solve iteration 14, LB=3340327493, UB=13389261542
463.60/464.88 c [107.3] solve iteration 15, LB=3341859996, UB=13389261542
463.60/464.88 c [108.75] solve iteration 16, LB=3341859996, UB=11725268106
463.60/464.88 c [115.56] solve iteration 17, LB=3341859996, UB=11725268106
463.60/464.88 c [118.25] solve iteration 18, LB=3459913075, UB=11725268106
463.60/464.88 c [136.42] solve iteration 19, LB=3483080263, UB=11725268106
463.60/464.88 c [142.88] solve iteration 20, LB=3534747124, UB=11725268106
463.60/464.88 c [166.65] solve iteration 21, LB=3627345493, UB=11725268106
463.60/464.88 c [173.01] solve iteration 22, LB=3678989148, UB=11725268106
463.60/464.88 c [223.34] solve iteration 23, LB=3714872225, UB=11725268106
463.60/464.88 c [240.5] solve iteration 24, LB=3723758169, UB=11725268106
463.60/464.88 c [254.35] solve iteration 25, LB=3787955904, UB=11725268106
463.60/464.88 c [266.53] solve iteration 26, LB=3816818108, UB=11725268106
463.60/464.88 c [270.34] solve iteration 27, LB=3828001361, UB=11725268106
463.60/464.88 c [285.92] solve iteration 28, LB=3872761679, UB=11725268106
463.60/464.88 c [300.07] solve iteration 29, LB=3882193019, UB=11725268106
463.60/464.88 c [309.81] solve iteration 30, LB=3899430164, UB=11725268106
463.60/464.88 c [328.78] solve iteration 31, LB=3920882435, UB=11725268106
463.60/464.88 c [348.83] solve iteration 32, LB=3929480640, UB=11725268106
463.60/464.88 c [360.74] solve iteration 33, LB=3930344627, UB=11725268106
463.60/464.88 c [366.52] solve iteration 34, LB=3958867648, UB=11725268106
463.60/464.88 c [373.66] solve iteration 35, LB=3974330467, UB=11725268106
463.60/464.88 c [386.84] solve iteration 36, LB=3978730330, UB=11725268106
463.60/464.88 c [391.09] solve iteration 37, LB=3995762589, UB=11725268106
463.60/464.88 c [395.41] solve iteration 38, LB=4000047171, UB=11725268106
463.60/464.88 c [398.25] solve iteration 39, LB=4003079104, UB=11725268106
463.60/464.88 c [409.15] solve iteration 40, LB=4003111413, UB=11725268106
463.60/464.88 c [433.67] solve iteration 41, LB=4010153385, UB=11725268106
463.60/464.88 c [439.07] solve iteration 42, LB=4028306788, UB=11725268106
463.60/464.88 c [450.35] solve iteration 43, LB=4032045752, UB=11725268106
463.60/464.88 c [458.5] solve iteration 44, LB=4045575135, UB=11725268106
1574.61/1578.41 c [463.38] solve iteration 45, LB=4045984458, UB=11725268106
1574.61/1578.41 c [477.19] solve iteration 46, LB=4047167311, UB=11725268106
1574.61/1578.41 c [481.67] solve iteration 47, LB=4051343772, UB=11725268106
1574.61/1578.41 c [488.91] solve iteration 48, LB=4056269782, UB=11725268106
1574.61/1578.41 c [505.77] solve iteration 49, LB=4057736525, UB=11725268106
1574.61/1578.41 c [511.81] solve iteration 50, LB=4085240765, UB=11725268106
1574.61/1578.41 c [534.48] solve iteration 51, LB=4097705296, UB=11725268106
1574.61/1578.41 c [543.2] solve iteration 52, LB=4112204749, UB=11725268106
1574.61/1578.41 c [546.66] solve iteration 53, LB=4119288647, UB=11725268106
1574.61/1578.41 c [563.86] solve iteration 54, LB=4120855668, UB=11725268106
1574.61/1578.41 c [571.99] solve iteration 55, LB=4134343692, UB=11725268106
1574.61/1578.41 c [588.63] solve iteration 56, LB=4141266467, UB=11725268106
1574.61/1578.41 c [595.95] solve iteration 57, LB=4141266467, UB=11725268106
1574.61/1578.41 c [616.12] solve iteration 58, LB=4146083445, UB=11725268106
1574.61/1578.41 c [621.68] solve iteration 59, LB=4146631570, UB=11725268106
1574.61/1578.41 c [629.49] solve iteration 60, LB=4154101049, UB=11725268106
1574.61/1578.41 c [652.71] solve iteration 61, LB=4164040978, UB=11329200528
1574.61/1578.41 c [676.06] solve iteration 62, LB=4186999945, UB=11329200528
1574.61/1578.41 c [713.35] solve iteration 63, LB=4190844154, UB=11329200528
1574.61/1578.41 c [725.24] solve iteration 64, LB=4202462753, UB=11329200528
1574.61/1578.41 c [729.54] solve iteration 65, LB=4206198463, UB=11329200528
1574.61/1578.41 c [758.28] solve iteration 66, LB=4215383578, UB=11329200528
1574.61/1578.41 c [771.16] solve iteration 67, LB=4231976090, UB=11329200528
1574.61/1578.41 c [778.03] solve iteration 68, LB=4236551533, UB=11329200528
1574.61/1578.41 c [782.56] solve iteration 69, LB=4236551533, UB=11329200528
1574.61/1578.41 c [788.01] solve iteration 70, LB=4242477045, UB=11329200528
1574.61/1578.41 c [809.53] solve iteration 71, LB=4242552601, UB=11329200528
1574.61/1578.41 c [815.28] solve iteration 72, LB=4243309026, UB=11329200528
1574.61/1578.41 c [818.73] solve iteration 73, LB=4243309026, UB=11329200528
1574.61/1578.41 c [825.12] solve iteration 74, LB=4249463147, UB=11329200528
1574.61/1578.41 c [830.69] solve iteration 75, LB=4249463147, UB=11329200528
1574.61/1578.41 c [874.43] solve iteration 76, LB=4255701874, UB=11329200528
1574.61/1578.41 c [879.64] solve iteration 77, LB=4260901586, UB=11329200528
1574.61/1578.41 c [890.98] solve iteration 78, LB=4277995345, UB=11329200528
1574.61/1578.41 c [898.7] solve iteration 79, LB=4280397781, UB=11329200528
1574.61/1578.41 c [906.71] solve iteration 80, LB=4285982588, UB=11329200528
1574.61/1578.41 c [936.28] solve iteration 81, LB=4285982588, UB=11329200528
1574.61/1578.41 c [943.1] solve iteration 82, LB=4323616976, UB=11329200528
1574.61/1578.41 c [949.37] solve iteration 83, LB=4326406324, UB=11329200528
1574.61/1578.41 c [960.11] solve iteration 84, LB=4327651926, UB=11329200528
1574.61/1578.41 c [967.63] solve iteration 85, LB=4327651926, UB=11329200528
1574.61/1578.41 c [1021.68] solve iteration 86, LB=4327771400, UB=11329200528
1574.61/1578.41 c [1034.01] solve iteration 87, LB=4327771400, UB=11329200528
1574.61/1578.41 c [1045.22] solve iteration 88, LB=4335379361, UB=11329200528
1574.61/1578.41 c [1054.6] solve iteration 89, LB=4335379361, UB=11329200528
1574.61/1578.41 c [1061.03] solve iteration 90, LB=4335379361, UB=11329200528
1574.61/1578.41 c [1133.8] solve iteration 91, LB=4339680714, UB=11329200528
1574.61/1578.41 c [1148.68] solve iteration 92, LB=4340378655, UB=11329200528
1574.61/1578.41 c [1162.95] solve iteration 93, LB=4343470030, UB=11329200528
1574.61/1578.41 c [1179.47] solve iteration 94, LB=4355199066, UB=11329200528
1574.61/1578.41 c [1198.22] solve iteration 95, LB=4360422627, UB=11329200528
1574.61/1578.41 c [1291.87] solve iteration 96, LB=4360544606, UB=11329200528
1574.61/1578.41 c [1303.31] solve iteration 97, LB=4360935509, UB=11329200528
1574.61/1578.41 c [1313.85] solve iteration 98, LB=4360953853, UB=11329200528
1574.61/1578.41 c [1328.03] solve iteration 99, LB=4361274068, UB=11329200528
1574.61/1578.41 c [1345.48] solve iteration 100, LB=4361882890, UB=11329200528
1574.61/1578.41 c [1419.97] solve iteration 101, LB=4365186921, UB=11329200528
1574.61/1578.41 c [1428.33] solve iteration 102, LB=4365186921, UB=11329200528
1574.61/1578.41 c [1434.74] solve iteration 103, LB=4365186921, UB=11329200528
1574.61/1578.41 c [1444.53] solve iteration 104, LB=4369384607, UB=11329200528
1574.61/1578.41 c [1455.07] solve iteration 105, LB=4369384607, UB=11329200528
1574.61/1578.41 c [1505.44] solve iteration 106, LB=4369540233, UB=11329200528
1574.61/1578.41 c [1518.66] solve iteration 107, LB=4369651764, UB=11329200528
1574.61/1578.41 c [1527.84] solve iteration 108, LB=4369651764, UB=11329200528
1574.61/1578.41 c [1550.85] solve iteration 109, LB=4369651764, UB=11329200528
1574.61/1578.41 c [1558.7] solve iteration 110, LB=4369651764, UB=11329200528
3587.31/3595.28 c [1608.31] solve iteration 111, LB=4370357924, UB=11329200528
3587.31/3595.28 c [1619.5] solve iteration 112, LB=4372225114, UB=11329200528
3587.31/3595.28 c [1633.46] solve iteration 113, LB=4372389412, UB=11329200528
3587.31/3595.28 c [1640.27] solve iteration 114, LB=4372389412, UB=11329200528
3587.31/3595.28 c [1649.3] solve iteration 115, LB=4372587313, UB=11329200528
3587.31/3595.28 c [1702.68] solve iteration 116, LB=4375001807, UB=11329200528
3587.31/3595.28 c [1716.54] solve iteration 117, LB=4377789848, UB=11329200528
3587.31/3595.28 c [1727.81] solve iteration 118, LB=4379483036, UB=11329200528
3587.31/3595.28 c [1739.07] solve iteration 119, LB=4379483036, UB=11329200528
3587.31/3595.28 c [1748.73] solve iteration 120, LB=4384665257, UB=11329200528
3587.31/3595.28 c [1812.61] solve iteration 121, LB=4386035770, UB=11329200528
3587.31/3595.28 c [1823.2] solve iteration 122, LB=4386387397, UB=11329200528
3587.31/3595.28 c [1838.76] solve iteration 123, LB=4390704986, UB=11329200528
3587.31/3595.28 c [1847.74] solve iteration 124, LB=4390795916, UB=11329200528
3587.31/3595.28 c [1858.96] solve iteration 125, LB=4390795916, UB=11329200528
3587.31/3595.28 c [1957.81] solve iteration 126, LB=4390795916, UB=11329200528
3587.31/3595.28 c [1969.87] solve iteration 127, LB=4390795916, UB=11329200528
3587.31/3595.28 c [1991.9] solve iteration 128, LB=4391364915, UB=11329200528
3587.31/3595.28 c [2008.48] solve iteration 129, LB=4391798306, UB=11329200528
3587.31/3595.28 c [2017.3] solve iteration 130, LB=4391798306, UB=11329200528
3587.31/3595.28 c [2158.65] solve iteration 131, LB=4391798306, UB=11329200528
3587.31/3595.28 c [2171.16] solve iteration 132, LB=4391840632, UB=11329200528
3587.31/3595.28 c [2179.54] solve iteration 133, LB=4391840632, UB=11329200528
3587.31/3595.28 c [2199.87] solve iteration 134, LB=4391840632, UB=11329200528
3587.31/3595.28 c [2207.13] solve iteration 135, LB=4394229770, UB=11329200528
3587.31/3595.28 c [2361.61] solve iteration 136, LB=4398666905, UB=11329200528
3587.31/3595.28 c [2383.3] solve iteration 137, LB=4398666905, UB=11329200528
3587.31/3595.28 c [2403.25] solve iteration 138, LB=4398666905, UB=11329200528
3587.31/3595.28 c [2418.48] solve iteration 139, LB=4398666905, UB=11329200528
3587.31/3595.28 c [2433.21] solve iteration 140, LB=4398666905, UB=11329200528
3587.31/3595.28 c [2503.49] solve iteration 141, LB=4401786684, UB=11329199122
3587.31/3595.28 c [2515.48] solve iteration 142, LB=4401786684, UB=11329199122
3587.31/3595.28 c [2533.23] solve iteration 143, LB=4401786684, UB=11329199122
3587.31/3595.28 c [2547.94] solve iteration 144, LB=4401868711, UB=11329199122
3587.31/3595.28 c [2555.03] solve iteration 145, LB=4401975223, UB=11329199122
3587.31/3595.28 c [2636.21] solve iteration 146, LB=4402561391, UB=11329199122
3587.31/3595.28 c [2643.55] solve iteration 147, LB=4402561391, UB=11329199122
3587.31/3595.28 c [2652.04] solve iteration 148, LB=4402561391, UB=11329199122
3587.31/3595.28 c [2659.33] solve iteration 149, LB=4402561391, UB=11329199122
3587.31/3595.28 c [2665.14] solve iteration 150, LB=4402561391, UB=11329199122
3587.31/3595.28 c [2686.73] solve iteration 151, LB=4402561391, UB=11329147211
3587.31/3595.28 c [2699.85] solve iteration 152, LB=4402561391, UB=11329147211
3587.31/3595.28 c [2713.07] solve iteration 153, LB=4405919416, UB=11329147211
3587.31/3595.28 c [2723.04] solve iteration 154, LB=4405919416, UB=11329147211
3587.31/3595.28 c [2732.29] solve iteration 155, LB=4405919416, UB=11329147211
3587.31/3595.28 c [2826.2] solve iteration 156, LB=4406676264, UB=11329147211
3587.31/3595.28 c [2849.29] solve iteration 157, LB=4406973855, UB=11329147211
3587.31/3595.28 c [2863.54] solve iteration 158, LB=4406973855, UB=11329147211
3587.31/3595.28 c [2870.3] solve iteration 159, LB=4406973855, UB=11329147211
3587.31/3595.28 c [2881.75] solve iteration 160, LB=4406973855, UB=11329147211
3587.31/3595.28 c [3031.72] solve iteration 161, LB=4409441269, UB=11329147211
3587.31/3595.28 c [3043.71] solve iteration 162, LB=4410126318, UB=11329147211
3587.31/3595.28 c [3059.58] solve iteration 163, LB=4410306586, UB=11329147211
3587.31/3595.28 c [3073.34] solve iteration 164, LB=4410306586, UB=11329147211
3587.31/3595.28 c [3083.08] solve iteration 165, LB=4410566612, UB=11329147211
3587.31/3595.28 c [3321.47] solve iteration 166, LB=4410575121, UB=11329147211
3587.31/3595.28 c [3337.55] solve iteration 167, LB=4410575121, UB=11329147211
3587.31/3595.28 c [3354.96] solve iteration 168, LB=4412882127, UB=11329147211
3587.31/3595.28 c [3368.48] solve iteration 169, LB=4412959412, UB=11329147211
3587.31/3595.28 c [3383.27] solve iteration 170, LB=4412959412, UB=11329147211
3587.31/3595.28 c [3473.36] solve iteration 171, LB=4412959412, UB=11329147174
3587.31/3595.28 c [3491.01] solve iteration 172, LB=4412959412, UB=11329147174
3587.31/3595.28 c [3511.72] solve iteration 173, LB=4412973361, UB=11329147174
3587.31/3595.28 c [3535.58] solve iteration 174, LB=4412973361, UB=11329092340
3587.31/3595.28 c [3556.57] solve iteration 175, LB=4412973361, UB=11329092
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 (58598 MiB free)
memory of node 1: 64510 MiB (61674 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431741-1721172558/watcher-4431741-1721172558 -o /tmp/evaluation-result-4431741-1721172558/solver-4431741-1721172558 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721172554-876589 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431741-1721172558.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
Current StackSize limit: 8192 KiB
solver pid=877137, runsolver pid=877134
[startup+0.100089 s]*
/proc/loadavg: 3.91 4.19 4.25 5/265 877139
/proc/meminfo: memFree=123142608/131524600 swapFree=131071996/131071996
[pid=877137] ppid=877134 vsize=9928 memory=2692 CPUtime=0 cores=5,7
/proc/877137/stat : 877137 (run-glibc-2.34.) S 877134 877137 876576 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169415993 10166272 673 134679101440 94523766398976 94523767478296 140731774715856 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94523769576752 94523769623940 94523799293952 140731774723019 140731774723164 140731774723164 140731774730179 0
/proc/877137/statm: 2482 673 593 264 0 133 0
[pid=877139] ppid=877137 vsize=103448 memory=23264 CPUtime=0.09 cores=5,7
/proc/877139/stat : 877139 (ld-linux-x86-64) R 877137 877137 876576 0 -1 4194304 4993 0 0 0 9 0 0 0 20 0 1 0 169415993 105930752 5816 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
/proc/877139/statm: 25862 5816 1598 46 0 6477 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 113376 KiB
Current children cumulated memory: 25956 KiB
[startup+0.205789 s]*
/proc/loadavg: 3.91 4.19 4.25 5/265 877139
/proc/meminfo: memFree=123126076/131524600 swapFree=131071996/131071996
[pid=877137] ppid=877134 vsize=9928 memory=2692 CPUtime=0 cores=5,7
/proc/877137/stat : 877137 (run-glibc-2.34.) S 877134 877137 876576 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169415993 10166272 673 134679101440 94523766398976 94523767478296 140731774715856 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94523769576752 94523769623940 94523799293952 140731774723019 140731774723164 140731774723164 140731774730179 0
/proc/877137/statm: 2482 673 593 264 0 133 0
[pid=877139] ppid=877137 vsize=118652 memory=37160 CPUtime=0.2 cores=5,7
/proc/877139/stat : 877139 (ld-linux-x86-64) R 877137 877137 876576 0 -1 4194304 7421 0 0 0 19 1 0 0 20 0 1 0 169415993 121499648 9290 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
/proc/877139/statm: 29663 9290 1598 46 0 10278 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 128580 KiB
Current children cumulated memory: 39852 KiB
[startup+0.305733 s]*
/proc/loadavg: 3.91 4.19 4.25 6/265 877139
/proc/meminfo: memFree=123116804/131524600 swapFree=131071996/131071996
[pid=877137] ppid=877134 vsize=9928 memory=2692 CPUtime=0 cores=5,7
/proc/877137/stat : 877137 (run-glibc-2.34.) S 877134 877137 876576 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169415993 10166272 673 134679101440 94523766398976 94523767478296 140731774715856 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94523769576752 94523769623940 94523799293952 140731774723019 140731774723164 140731774723164 140731774730179 0
/proc/877137/statm: 2482 673 593 264 0 133 0
[pid=877139] ppid=877137 vsize=139028 memory=50300 CPUtime=0.29 cores=5,7
/proc/877139/stat : 877139 (ld-linux-x86-64) R 877137 877137 876576 0 -1 4194304 10235 0 0 0 28 1 0 0 20 0 1 0 169415993 142364672 12575 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
/proc/877139/statm: 34757 12575 1598 46 0 15372 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 148956 KiB
Current children cumulated memory: 52992 KiB
[startup+0.70027 s]
/proc/loadavg: 3.91 4.19 4.25 6/265 877139
/proc/meminfo: memFree=123087680/131524600 swapFree=131071996/131071996
[pid=877137] ppid=877134 vsize=9928 memory=2692 CPUtime=0 cores=5,7
/proc/877137/stat : 877137 (run-glibc-2.34.) S 877134 877137 876576 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169415993 10166272 673 134679101440 94523766398976 94523767478296 140731774715856 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94523769576752 94523769623940 94523799293952 140731774723019 140731774723164 140731774723164 140731774730179 0
/proc/877137/statm: 2482 673 593 264 0 133 0
[pid=877139] ppid=877137 vsize=172228 memory=85080 CPUtime=0.68 cores=5,7
/proc/877139/stat : 877139 (ld-linux-x86-64) R 877137 877137 876576 0 -1 4194304 16250 0 0 0 52 16 0 0 20 0 1 0 169415993 176361472 21270 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
/proc/877139/statm: 43057 21270 1694 46 0 23672 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 182156 KiB
Current children cumulated memory: 87772 KiB
[startup+1.50113 s]
/proc/loadavg: 3.91 4.19 4.25 5/266 877140
/proc/meminfo: memFree=122985040/131524600 swapFree=131071996/131071996
[pid=877137] ppid=877134 vsize=9928 memory=2692 CPUtime=0 cores=5,7
/proc/877137/stat : 877137 (run-glibc-2.34.) S 877134 877137 876576 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169415993 10166272 673 134679101440 94523766398976 94523767478296 140731774715856 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94523769576752 94523769623940 94523799293952 140731774723019 140731774723164 140731774723164 140731774730179 0
/proc/877137/statm: 2482 673 593 264 0 133 0
[pid=877139] ppid=877137 vsize=292136 memory=168536 CPUtime=1.48 cores=5,7
/proc/877139/stat : 877139 (ld-linux-x86-64) R 877137 877137 876576 0 -1 4194304 37587 0 0 0 124 24 0 0 20 0 2 0 169415993 299147264 42134 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 0 0 0 17 7 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
/proc/877139/statm: 73034 42134 3496 46 0 45629 0
[pid=877139/tid=877140] ppid=877137 vsize=292136 memory=11400 CPUtime=0 cores=5,7
/proc/877139/task/877140/stat : 877140 (ld-linux-x86-64) S 877137 877137 876576 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 169416074 299147264 42134 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 1 0 0 -1 5 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 302064 KiB
Current children cumulated memory: 171228 KiB
[startup+3.10562 s]
/proc/loadavg: 3.91 4.19 4.25 5/266 877140
/proc/meminfo: memFree=122975576/131524600 swapFree=131071996/131071996
[pid=877137] ppid=877134 vsize=9928 memory=2692 CPUtime=0 cores=5,7
/proc/877137/stat : 877137 (run-glibc-2.34.) S 877134 877137 876576 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169415993 10166272 673 134679101440 94523766398976 94523767478296 140731774715856 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94523769576752 94523769623940 94523799293952 140731774723019 140731774723164 140731774723164 140731774730179 0
/proc/877137/statm: 2482 673 593 264 0 133 0
[pid=877139] ppid=877137 vsize=292136 memory=168820 CPUtime=3.07 cores=5,7
/proc/877139/stat : 877139 (ld-linux-x86-64) R 877137 877137 876576 0 -1 4194304 44517 0 0 0 282 25 0 0 20 0 2 0 169415993 299147264 42205 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
/proc/877139/statm: 73034 42205 3528 46 0 45629 0
[pid=877139/tid=877140] ppid=877137 vsize=292136 memory=0 CPUtime=0 cores=5,7
/proc/877139/task/877140/stat : 877140 (ld-linux-x86-64) S 877137 877137 876576 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 169416074 299147264 42205 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 302064 KiB
Current children cumulated memory: 171512 KiB
[startup+6.30023 s]
/proc/loadavg: 3.92 4.19 4.25 5/266 877141
/proc/meminfo: memFree=122938392/131524600 swapFree=131071996/131071996
[pid=877137] ppid=877134 vsize=9928 memory=2692 CPUtime=0 cores=5,7
/proc/877137/stat : 877137 (run-glibc-2.34.) S 877134 877137 876576 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169415993 10166272 673 134679101440 94523766398976 94523767478296 140731774715856 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94523769576752 94523769623940 94523799293952 140731774723019 140731774723164 140731774723164 140731774730179 0
/proc/877137/statm: 2482 673 593 264 0 133 0
[pid=877139] ppid=877137 vsize=292136 memory=168832 CPUtime=6.26 cores=5,7
/proc/877139/stat : 877139 (ld-linux-x86-64) R 877137 877137 876576 0 -1 4194304 51699 0 0 0 600 26 0 0 20 0 2 0 169415993 299147264 42208 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
/proc/877139/statm: 73034 42208 3528 46 0 45629 0
[pid=877139/tid=877140] ppid=877137 vsize=292136 memory=2692 CPUtime=0 cores=5,7
/proc/877139/task/877140/stat : 877140 (ld-linux-x86-64) S 877137 877137 876576 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 2 0 169416074 299147264 42208 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 302064 KiB
Current children cumulated memory: 171524 KiB
[startup+12.7002 s]
/proc/loadavg: 3.93 4.19 4.25 5/266 877141
/proc/meminfo: memFree=122844624/131524600 swapFree=131071996/131071996
[pid=877137] ppid=877134 vsize=9928 memory=2692 CPUtime=0 cores=5,7
/proc/877137/stat : 877137 (run-glibc-2.34.) S 877134 877137 876576 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169415993 10166272 673 134679101440 94523766398976 94523767478296 140731774715856 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94523769576752 94523769623940 94523799293952 140731774723019 140731774723164 140731774723164 140731774730179 0
/proc/877137/statm: 2482 673 593 264 0 133 0
[pid=877139] ppid=877137 vsize=310956 memory=189220 CPUtime=12.64 cores=5,7
/proc/877139/stat : 877139 (ld-linux-x86-64) R 877137 877137 876576 0 -1 4194304 84347 0 0 0 1234 30 0 0 20 0 2 0 169415993 318418944 47305 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
/proc/877139/statm: 77739 47305 3955 46 0 50334 0
[pid=877139/tid=877140] ppid=877137 vsize=310956 memory=2692 CPUtime=0 cores=5,7
/proc/877139/task/877140/stat : 877140 (ld-linux-x86-64) S 877137 877137 876576 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 2 0 169416074 318418944 47305 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 320884 KiB
Current children cumulated memory: 191912 KiB
[startup+25.5003 s]
/proc/loadavg: 4.02 4.19 4.25 5/266 877144
/proc/meminfo: memFree=122735544/131524600 swapFree=131071996/131071996
[pid=877137] ppid=877134 vsize=9928 memory=2692 CPUtime=0 cores=5,7
/proc/877137/stat : 877137 (run-glibc-2.34.) S 877134 877137 876576 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169415993 10166272 673 134679101440 94523766398976 94523767478296 140731774715856 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94523769576752 94523769623940 94523799293952 140731774723019 140731774723164 140731774723164 140731774730179 0
/proc/877137/statm: 2482 673 593 264 0 133 0
[pid=877139] ppid=877137 vsize=313328 memory=191764 CPUtime=25.4 cores=5,7
/proc/877139/stat : 877139 (ld-linux-x86-64) R 877137 877137 876576 0 -1 4194304 126249 0 0 0 2499 41 0 0 20 0 2 0 169415993 320847872 47941 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
/proc/877139/statm: 78332 47941 3955 46 0 50927 0
[pid=877139/tid=877140] ppid=877137 vsize=313328 memory=2692 CPUtime=0 cores=5,7
/proc/877139/task/877140/stat : 877140 (ld-linux-x86-64) S 877137 877137 876576 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 2 0 169416074 320847872 47941 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 323256 KiB
Current children cumulated memory: 194456 KiB
[startup+51.1057 s]
/proc/loadavg: 4.12 4.21 4.26 5/267 877204
/proc/meminfo: memFree=122608444/131524600 swapFree=131071996/131071996
[pid=877137] ppid=877134 vsize=9928 memory=2692 CPUtime=0 cores=5,7
/proc/877137/stat : 877137 (run-glibc-2.34.) S 877134 877137 876576 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169415993 10166272 673 134679101440 94523766398976 94523767478296 140731774715856 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94523769576752 94523769623940 94523799293952 140731774723019 140731774723164 140731774723164 140731774730179 0
/proc/877137/statm: 2482 673 593 264 0 133 0
[pid=877139] ppid=877137 vsize=315600 memory=194556 CPUtime=50.95 cores=5,7
/proc/877139/stat : 877139 (ld-linux-x86-64) R 877137 877137 876576 0 -1 4194304 166439 0 0 0 5045 50 0 0 20 0 2 0 169415993 323174400 48639 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
/proc/877139/statm: 78900 48639 3955 46 0 51495 0
[pid=877139/tid=877140] ppid=877137 vsize=315600 memory=2692 CPUtime=0.02 cores=5,7
/proc/877139/task/877140/stat : 877140 (ld-linux-x86-64) S 877137 877137 876576 0 -1 1077936192 35 0 0 0 1 1 0 0 20 0 2 0 169416074 323174400 48639 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 325528 KiB
Current children cumulated memory: 197248 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.20 4.25 5/267 877213
/proc/meminfo: memFree=122440044/131524600 swapFree=131071996/131071996
[pid=877137] ppid=877134 vsize=9928 memory=2692 CPUtime=0 cores=5,7
/proc/877137/stat : 877137 (run-glibc-2.34.) S 877134 877137 876576 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169415993 10166272 673 134679101440 94523766398976 94523767478296 140731774715856 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94523769576752 94523769623940 94523799293952 140731774723019 140731774723164 140731774723164 140731774730179 0
/proc/877137/statm: 2482 673 593 264 0 133 0
[pid=877139] ppid=877137 vsize=337616 memory=208008 CPUtime=101.97 cores=5,7
/proc/877139/stat : 877139 (ld-linux-x86-64) R 877137 877137 876576 0 -1 4194304 279330 0 0 0 10096 101 0 0 20 0 2 0 169415993 345718784 52002 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
/proc/877139/statm: 84404 52002 3969 46 0 56999 0
[pid=877139/tid=877140] ppid=877137 vsize=337616 memory=2692 CPUtime=0.04 cores=5,7
/proc/877139/task/877140/stat : 877140 (ld-linux-x86-64) S 877137 877137 876576 0 -1 1077936192 41 0 0 0 1 3 0 0 20 0 2 0 169416074 345718784 52002 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 347544 KiB
Current children cumulated memory: 210700 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.19 4.25 5/267 877223
/proc/meminfo: memFree=122254292/131524600 swapFree=131071996/131071996
[pid=877137] ppid=877134 vsize=9928 memory=2692 CPUtime=0 cores=5,7
/proc/877137/stat : 877137 (run-glibc-2.34.) S 877134 877137 876576 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169415993 10166272 673 134679101440 94523766398976 94523767478296 140731774715856 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94523769576752 94523769623940 94523799293952 140731774723019 140731774723164 140731774723164 140731774730179 0
/proc/877137/statm: 2482 673 593 264 0 133 0
[pid=877139] ppid=877137 vsize=346896 memory=218364 CPUtime=161.8 cores=5,7
/proc/877139/stat : 877139 (ld-linux-x86-64) R 877137 877137 876576 0 -1 4194304 377948 0 0 0 16026 154 0 0 20 0 2 0 169415993 355221504 54591 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
/proc/877139/statm: 86724 54591 3985 46 0 59319 0
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.14 5/265 878374
/proc/meminfo: memFree=117085288/131524600 swapFree=131071996/131071996
[pid=877137] ppid=877134 vsize=9928 memory=2692 CPUtime=0 cores=5,7
/proc/877137/stat : 877137 (run-glibc-2.34.) S 877134 877137 876576 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169415993 10166272 673 134679101440 94523766398976 94523767478296 140731774715856 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94523769576752 94523769623940 94523799293952 140731774723019 140731774723164 140731774723164 140731774730179 0
/proc/877137/statm: 2482 673 593 264 0 133 0
[pid=877139] ppid=877137 vsize=1085620 memory=591712 CPUtime=3215.08 cores=5,7
/proc/877139/stat : 877139 (ld-linux-x86-64) R 877137 877137 876576 0 -1 4194304 2169301 0 0 0 318676 2832 0 0 20 0 2 0 169415993 1111674880 147928 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
/proc/877139/statm: 271405 147928 4032 46 0 244000 0
[pid=877139/tid=877140] ppid=877137 vsize=1085620 memory=2692 CPUtime=2.51 cores=5,7
/proc/877139/task/877140/stat : 877140 (ld-linux-x86-64) S 877137 877137 876576 0 -1 1077936192 210 0 0 0 81 170 0 0 20 0 2 0 169416074 1111674880 147928 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
Current children cumulated CPU time: 3215.08 s
Current children cumulated vsize: 1095548 KiB
Current children cumulated memory: 594404 KiB
[startup+3282.3 s]
/proc/loadavg: 4.04 4.09 4.12 5/265 878387
/proc/meminfo: memFree=116997960/131524600 swapFree=131071996/131071996
[pid=877137] ppid=877134 vsize=9928 memory=2692 CPUtime=0 cores=5,7
/proc/877137/stat : 877137 (run-glibc-2.34.) S 877134 877137 876576 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169415993 10166272 673 134679101440 94523766398976 94523767478296 140731774715856 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94523769576752 94523769623940 94523799293952 140731774723019 140731774723164 140731774723164 140731774730179 0
/proc/877137/statm: 2482 673 593 264 0 133 0
[pid=877139] ppid=877137 vsize=1085620 memory=591712 CPUtime=3275 cores=5,7
/proc/877139/stat : 877139 (ld-linux-x86-64) R 877137 877137 876576 0 -1 4194304 2169552 0 0 0 324638 2862 0 0 20 0 2 0 169415993 1111674880 147928 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
/proc/877139/statm: 271405 147928 4032 46 0 244000 0
[pid=877139/tid=877140] ppid=877137 vsize=1085620 memory=2692 CPUtime=2.56 cores=5,7
/proc/877139/task/877140/stat : 877140 (ld-linux-x86-64) S 877137 877137 876576 0 -1 1077936192 213 0 0 0 83 173 0 0 20 0 2 0 169416074 1111674880 147928 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
Current children cumulated CPU time: 3275 s
Current children cumulated vsize: 1095548 KiB
Current children cumulated memory: 594404 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.12 4.13 5/267 878782
/proc/meminfo: memFree=116948284/131524600 swapFree=131071996/131071996
[pid=877137] ppid=877134 vsize=9928 memory=2692 CPUtime=0 cores=5,7
/proc/877137/stat : 877137 (run-glibc-2.34.) S 877134 877137 876576 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169415993 10166272 673 134679101440 94523766398976 94523767478296 140731774715856 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94523769576752 94523769623940 94523799293952 140731774723019 140731774723164 140731774723164 140731774730179 0
/proc/877137/statm: 2482 673 593 264 0 133 0
[pid=877139] ppid=877137 vsize=1085620 memory=591712 CPUtime=3334.9 cores=5,7
/proc/877139/stat : 877139 (ld-linux-x86-64) R 877137 877137 876576 0 -1 4194304 2169794 0 0 0 330601 2889 0 0 20 0 2 0 169415993 1111674880 147928 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
/proc/877139/statm: 271405 147928 4032 46 0 244000 0
[pid=877139/tid=877140] ppid=877137 vsize=1085620 memory=11400 CPUtime=2.62 cores=5,7
/proc/877139/task/877140/stat : 877140 (ld-linux-x86-64) S 877137 877137 876576 0 -1 1077936192 216 0 0 0 85 177 0 0 20 0 2 0 169416074 1111674880 147928 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
Current children cumulated CPU time: 3334.9 s
Current children cumulated vsize: 1095548 KiB
Current children cumulated memory: 594404 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/266 878793
/proc/meminfo: memFree=116855416/131524600 swapFree=131071996/131071996
[pid=877137] ppid=877134 vsize=9928 memory=2692 CPUtime=0 cores=5,7
/proc/877137/stat : 877137 (run-glibc-2.34.) S 877134 877137 876576 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169415993 10166272 673 134679101440 94523766398976 94523767478296 140731774715856 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94523769576752 94523769623940 94523799293952 140731774723019 140731774723164 140731774723164 140731774730179 0
/proc/877137/statm: 2482 673 593 264 0 133 0
[pid=877139] ppid=877137 vsize=1097400 memory=590408 CPUtime=3394.77 cores=5,7
/proc/877139/stat : 877139 (ld-linux-x86-64) R 877137 877137 876576 0 -1 4194304 2216679 0 0 0 336558 2919 0 0 20 0 2 0 169415993 1123737600 147602 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
/proc/877139/statm: 274350 147602 4032 46 0 246945 0
[pid=877139/tid=877140] ppid=877137 vsize=1097400 memory=2692 CPUtime=2.66 cores=5,7
/proc/877139/task/877140/stat : 877140 (ld-linux-x86-64) S 877137 877137 876576 0 -1 1077936192 219 0 0 0 86 180 0 0 20 0 2 0 169416074 1123737600 147602 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
Current children cumulated CPU time: 3394.77 s
Current children cumulated vsize: 1107328 KiB
Current children cumulated memory: 593100 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.12 5/266 878803
/proc/meminfo: memFree=116740180/131524600 swapFree=131071996/131071996
[pid=877137] ppid=877134 vsize=9928 memory=2692 CPUtime=0 cores=5,7
/proc/877137/stat : 877137 (run-glibc-2.34.) S 877134 877137 876576 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169415993 10166272 673 134679101440 94523766398976 94523767478296 140731774715856 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94523769576752 94523769623940 94523799293952 140731774723019 140731774723164 140731774723164 140731774730179 0
/proc/877137/statm: 2482 673 593 264 0 133 0
[pid=877139] ppid=877137 vsize=1119620 memory=609316 CPUtime=3454.65 cores=5,7
/proc/877139/stat : 877139 (ld-linux-x86-64) R 877137 877137 876576 0 -1 4194304 2230294 0 0 0 342515 2950 0 0 20 0 2 0 169415993 1146490880 152329 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
/proc/877139/statm: 279905 152329 4032 46 0 252500 0
[pid=877139/tid=877140] ppid=877137 vsize=1119620 memory=2692 CPUtime=2.72 cores=5,7
/proc/877139/task/877140/stat : 877140 (ld-linux-x86-64) S 877137 877137 876576 0 -1 1077936192 219 0 0 0 88 184 0 0 20 0 2 0 169416074 1146490880 152329 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
Current children cumulated CPU time: 3454.65 s
Current children cumulated vsize: 1129548 KiB
Current children cumulated memory: 612008 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.12 5/268 878984
/proc/meminfo: memFree=116656464/131524600 swapFree=131071996/131071996
[pid=877137] ppid=877134 vsize=9928 memory=2692 CPUtime=0 cores=5,7
/proc/877137/stat : 877137 (run-glibc-2.34.) S 877134 877137 876576 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169415993 10166272 673 134679101440 94523766398976 94523767478296 140731774715856 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94523769576752 94523769623940 94523799293952 140731774723019 140731774723164 140731774723164 140731774730179 0
/proc/877137/statm: 2482 673 593 264 0 133 0
[pid=877139] ppid=877137 vsize=1117704 memory=598440 CPUtime=3514.55 cores=5,7
/proc/877139/stat : 877139 (ld-linux-x86-64) R 877137 877137 876576 0 -1 4194304 2255903 0 0 0 348469 2986 0 0 20 0 2 0 169415993 1144528896 149610 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
/proc/877139/statm: 279426 149610 4032 46 0 252021 0
[pid=877139/tid=877140] ppid=877137 vsize=1117704 memory=11400 CPUtime=2.78 cores=5,7
/proc/877139/task/877140/stat : 877140 (ld-linux-x86-64) S 877137 877137 876576 0 -1 1077936192 222 0 0 0 90 188 0 0 20 0 2 0 169416074 1144528896 149610 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
Current children cumulated CPU time: 3514.55 s
Current children cumulated vsize: 1127632 KiB
Current children cumulated memory: 601132 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/268 878995
/proc/meminfo: memFree=116569248/131524600 swapFree=131071996/131071996
[pid=877137] ppid=877134 vsize=9928 memory=2692 CPUtime=0 cores=5,7
/proc/877137/stat : 877137 (run-glibc-2.34.) S 877134 877137 876576 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169415993 10166272 673 134679101440 94523766398976 94523767478296 140731774715856 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94523769576752 94523769623940 94523799293952 140731774723019 140731774723164 140731774723164 140731774730179 0
/proc/877137/statm: 2482 673 593 264 0 133 0
[pid=877139] ppid=877137 vsize=1128364 memory=603776 CPUtime=3574.43 cores=5,7
/proc/877139/stat : 877139 (ld-linux-x86-64) R 877137 877137 876576 0 -1 4194304 2329328 0 0 0 354423 3020 0 0 20 0 2 0 169415993 1155444736 150944 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
/proc/877139/statm: 282091 150944 4048 46 0 254686 0
[pid=877139/tid=877140] ppid=877137 vsize=1128364 memory=11400 CPUtime=2.83 cores=5,7
/proc/877139/task/877140/stat : 877140 (ld-linux-x86-64) S 877137 877137 876576 0 -1 1077936192 224 0 0 0 91 192 0 0 20 0 2 0 169416074 1155444736 150944 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
Current children cumulated CPU time: 3574.43 s
Current children cumulated vsize: 1138292 KiB
Current children cumulated memory: 606468 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.9 s]
/proc/loadavg: 3.56 3.99 4.08 2/241 879094
/proc/meminfo: memFree=123011640/131524600 swapFree=131071996/131071996
[pid=877137] ppid=877134 vsize=9928 memory=2692 CPUtime=0 cores=5,7
/proc/877137/stat : 877137 (run-glibc-2.34.) S 877134 877137 876576 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169415993 10166272 673 134679101440 94523766398976 94523767478296 140731774715856 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94523769576752 94523769623940 94523799293952 140731774723019 140731774723164 140731774723164 140731774730179 0
/proc/877137/statm: 2482 673 593 264 0 133 0
[pid=877139] ppid=877137 vsize=1137200 memory=606372 CPUtime=3600 cores=5,7
/proc/877139/stat : 877139 (ld-linux-x86-64) R 877137 877137 876576 0 -1 4194304 2350373 0 0 0 356967 3033 0 0 20 0 2 0 169415993 1164492800 151593 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
/proc/877139/statm: 284300 151593 4048 46 0 256895 0
[pid=877139/tid=877140] ppid=877137 vsize=1137200 memory=2692 CPUtime=2.85 cores=5,7
/proc/877139/task/877140/stat : 877140 (ld-linux-x86-64) S 877137 877137 876576 0 -1 1077936192 224 0 0 0 92 193 0 0 20 0 2 0 169416074 1164492800 151593 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1147128 KiB
Current children cumulated memory: 609064 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.91 s]
# the end of solver process 877137 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001345 s, system=0.000138 s
[startup+3607.91 s]
# the end of solver process 877139 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3569.68 s, system=30.3371 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
[startup+3607.9 s]
/proc/loadavg: 3.56 3.99 4.08 2/241 879094
/proc/meminfo: memFree=123011640/131524600 swapFree=131071996/131071996
[pid=877137] ppid=877134 vsize=9928 memory=2692 CPUtime=0 cores=5,7
/proc/877137/stat : 877137 (run-glibc-2.34.) S 877134 877137 876576 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 169415993 10166272 673 134679101440 94523766398976 94523767478296 140731774715856 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94523769576752 94523769623940 94523799293952 140731774723019 140731774723164 140731774723164 140731774730179 0
/proc/877137/statm: 2482 673 593 264 0 133 0
[pid=877139] ppid=877137 vsize=1137200 memory=606372 CPUtime=3600 cores=5,7
/proc/877139/stat : 877139 (ld-linux-x86-64) R 877137 877137 876576 0 -1 4194304 2350373 0 0 0 356967 3033 0 0 20 0 2 0 169415993 1164492800 151593 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
/proc/877139/statm: 284300 151593 4048 46 0 256895 0
[pid=877139/tid=877140] ppid=877137 vsize=1137200 memory=2692 CPUtime=2.85 cores=5,7
/proc/877139/task/877140/stat : 877140 (ld-linux-x86-64) S 877137 877137 876576 0 -1 1077936192 224 0 0 0 92 193 0 0 20 0 2 0 169416074 1164492800 151593 134679101440 140122938970112 140122939157724 140727269118048 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140122941258624 140122941268072 93825014087680 140727269122915 140727269123067 140727269123067 140727269130162 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1147128 KiB
Current children cumulated memory: 609064 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3607.91
CPU time (s): 3600.01
CPU user time (s): 3569.68
CPU system time (s): 30.3371
CPU usage (%): 99.7812
Max. virtual memory (cumulated for all children) (KiB): 1174320
Max. memory (cumulated for all children) (KiB): 634856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.68
system time used= 30.3371
maximum resident set size= 632164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2350577
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= 357344
involuntary context switches= 3742
# summary of solver processes directly reported to runsolver:
# pid: 877137,877139
# total CPU time (s): 3600.01
# total CPU user time (s): 3569.68
# total CPU system time (s): 30.3371
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25809 second user time and 18.1166 second system time
The end