| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| IPBHS-GUROBI-SYM 2024-07-09 | ? (TO) | 3600.12 | 3608.12 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb |
| MD5SUM | 0aad002c81e214aa0b66948d5567e1f0 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 8691 |
| Best CPU time to get the best result obtained on this benchmark | 0.113538 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 548 |
| Total number of constraints | 166 |
| Number of constraints which are clauses | 40 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 126 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 143 |
| Number of terms in the objective function | 416 |
| Biggest coefficient in the objective function | 11000 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 96797 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 11000 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 96797 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c initialize IPBHS solver 0.00/0.01 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:19:29), with Glucose 3.0, with Gurobi 10.0.1, with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0 0.00/0.01 c optimizer = "gurobi" 0.00/0.01 c pbsolver = "roundingsat" 0.00/0.01 c load symmetries from file "" 0.00/0.01 c set time limit for symmetry computation to 100 seconds. 0.00/0.01 c set interchangeable summation variable limit to 3 0.00/0.01 c find symmetric cores by applying each permutation and add them to optimizer 0.00/0.01 c set abs symmetric core budget per WCE-iteration to 100 0.00/0.01 c set rel symmetric core budget per WCE-iteration to 0 0.00/0.01 c set lit symmetric core budget per WCE-iteration to 0 0.00/0.01 c set sym generation to 's' 0.00/0.01 c set abstraction set creation to 10 iterations without LB change 0.00/0.01 c set abstraction set inputs to 0 0.00/0.01 c set abstraction set cluster min size to 2 0.00/0.01 c set abstraction set cluster max size to 100000000 0.00/0.01 c set abstraction set cluster activation limit to 2 0.00/0.01 c enable abstraction set require equal cost 0.00/0.01 c set abstraction set assumptions to 0 0.00/0.01 c set abstraction set constraint type to 0 0.00/0.01 c set abstract core extraction strategy to b 0.00/0.01 c set core extraction strategy to 2 0.00/0.01 c set core extraction shuffles 10 0.00/0.01 c set cores per iteration to 5 0.00/0.01 c set optimizer bound usage strategy to 2 0.00/0.01 c set optimizer max non-optimal iterations to 1000 0.00/0.01 c set small core cardinality limit to 2 0.00/0.01 c set max coef in cores to 1000000000 0.00/0.01 c set SIS iterations to 5 0.00/0.01 c set SIS budget abs to 1000 0.00/0.01 c set SIS budget rel to 0.05 0.00/0.01 c limit for coefficient in constraints and objective to 9223372036854775807 0.00/0.01 c will solve HOME/instance-4430952-1721068571.opb 232.24/233.47 c [0.01] solve iteration 1, LB=0, UB=96798 232.24/233.47 c [0.81] solve iteration 2, LB=405, UB=15215 232.24/233.47 c [1.38] solve iteration 3, LB=919, UB=15215 232.24/233.47 c [2.14] solve iteration 4, LB=1227, UB=14845 232.24/233.47 c [2.83] solve iteration 5, LB=1237, UB=14845 232.24/233.47 c [3.6] solve iteration 6, LB=1344, UB=12206 232.24/233.47 c [4.24] solve iteration 7, LB=1369, UB=12206 232.24/233.47 c [5.18] solve iteration 8, LB=1403, UB=12206 232.24/233.47 c [6.06] solve iteration 9, LB=1544, UB=12206 232.24/233.47 c [7.01] solve iteration 10, LB=1637, UB=12206 232.24/233.47 c [7.81] solve iteration 11, LB=1672, UB=11822 232.24/233.47 c [8.84] solve iteration 12, LB=1820, UB=11822 232.24/233.47 c [9.95] solve iteration 13, LB=1896, UB=11822 232.24/233.47 c [11.11] solve iteration 14, LB=1901, UB=11822 232.24/233.47 c [12.1] solve iteration 15, LB=1969, UB=11822 232.24/233.47 c [13.27] solve iteration 16, LB=1979, UB=11073 232.24/233.47 c [14.39] solve iteration 17, LB=2069, UB=11073 232.24/233.47 c [15.56] solve iteration 18, LB=2123, UB=11073 232.24/233.47 c [16.71] solve iteration 19, LB=2132, UB=11073 232.24/233.47 c [18.38] solve iteration 20, LB=2212, UB=11073 232.24/233.47 c [22.11] solve iteration 21, LB=2218, UB=11073 232.24/233.47 c [23.24] solve iteration 22, LB=2360, UB=11073 232.24/233.47 c [24.42] solve iteration 23, LB=2440, UB=11073 232.24/233.47 c [25.71] solve iteration 24, LB=2594, UB=11073 232.24/233.47 c [27.16] solve iteration 25, LB=2707, UB=11073 232.24/233.47 c [28.73] solve iteration 26, LB=2768, UB=11071 232.24/233.47 c [30.28] solve iteration 27, LB=2799, UB=10822 232.24/233.47 c [32.58] solve iteration 28, LB=2841, UB=10822 232.24/233.47 c [34.38] solve iteration 29, LB=2887, UB=10822 232.24/233.47 c [35.39] solve iteration 30, LB=2969, UB=10822 232.24/233.47 c [38.03] solve iteration 31, LB=3578, UB=10818 232.24/233.47 c [39.58] solve iteration 32, LB=3618, UB=10818 232.24/233.47 c [41.39] solve iteration 33, LB=3731, UB=10818 232.24/233.47 c [42.98] solve iteration 34, LB=3740, UB=10818 232.24/233.47 c [44.86] solve iteration 35, LB=3985, UB=10818 232.24/233.47 c [46.76] solve iteration 36, LB=4017, UB=10810 232.24/233.47 c [48.9] solve iteration 37, LB=4017, UB=10810 232.24/233.47 c [50.69] solve iteration 38, LB=4029, UB=10810 232.24/233.47 c [52.3] solve iteration 39, LB=4033, UB=10810 232.24/233.47 c [55.06] solve iteration 40, LB=4034, UB=10810 232.24/233.47 c [63.8] solve iteration 41, LB=4035, UB=10797 232.24/233.47 c [65.68] solve iteration 42, LB=4037, UB=10797 232.24/233.47 c [67.63] solve iteration 43, LB=4047, UB=10797 232.24/233.47 c [69.57] solve iteration 44, LB=4049, UB=10797 232.24/233.47 c [72.63] solve iteration 45, LB=4072, UB=10797 232.24/233.47 c [79.43] solve iteration 46, LB=4078, UB=10795 232.24/233.47 c [81.34] solve iteration 47, LB=4080, UB=10795 232.24/233.47 c [83.56] solve iteration 48, LB=4084, UB=10795 232.24/233.47 c [85.86] solve iteration 49, LB=4091, UB=10795 232.24/233.47 c [87.64] solve iteration 50, LB=4113, UB=10795 232.24/233.47 c [91.46] solve iteration 51, LB=4116, UB=10787 232.24/233.47 c [93.85] solve iteration 52, LB=4116, UB=10787 232.24/233.47 c [96.4] solve iteration 53, LB=4126, UB=10787 232.24/233.47 c [99] solve iteration 54, LB=4133, UB=10787 232.24/233.47 c [101.84] solve iteration 55, LB=4141, UB=10787 232.24/233.47 c [104.26] solve iteration 56, LB=4154, UB=10759 232.24/233.47 c [107.49] solve iteration 57, LB=4154, UB=10759 232.24/233.47 c [109.72] solve iteration 58, LB=4155, UB=10759 232.24/233.47 c [111.98] solve iteration 59, LB=4156, UB=10759 232.24/233.47 c [114.27] solve iteration 60, LB=4157, UB=10759 232.24/233.47 c [117.66] solve iteration 61, LB=4157, UB=10758 232.24/233.47 c [120.91] solve iteration 62, LB=4178, UB=10758 232.24/233.47 c [124.25] solve iteration 63, LB=4178, UB=10758 232.24/233.47 c [127.54] solve iteration 64, LB=4178, UB=10758 232.24/233.47 c [131.33] solve iteration 65, LB=4178, UB=10758 232.24/233.47 c [134.49] solve iteration 66, LB=4196, UB=10591 232.24/233.47 c [137.65] solve iteration 67, LB=4196, UB=10591 232.24/233.47 c [140.94] solve iteration 68, LB=4204, UB=10591 232.24/233.47 c [144.26] solve iteration 69, LB=4227, UB=10591 232.24/233.47 c [147.63] solve iteration 70, LB=4231, UB=10591 232.24/233.47 c [157.43] solve iteration 71, LB=4231, UB=10577 232.24/233.47 c [161.22] solve iteration 72, LB=4231, UB=10577 232.24/233.47 c [164.67] solve iteration 73, LB=4231, UB=10577 232.24/233.47 c [168.13] solve iteration 74, LB=4233, UB=10577 232.24/233.47 c [171.93] solve iteration 75, LB=4244, UB=10577 232.24/233.47 c [182.15] solve iteration 76, LB=4254, UB=10499 232.24/233.47 c [185.78] solve iteration 77, LB=4254, UB=10499 232.24/233.47 c [189.93] solve iteration 78, LB=4254, UB=10499 232.24/233.47 c [193.82] solve iteration 79, LB=4254, UB=10499 232.24/233.47 c [197.64] solve iteration 80, LB=4255, UB=10499 232.24/233.47 c [205.83] solve iteration 81, LB=4255, UB=10496 232.24/233.47 c [209.85] solve iteration 82, LB=4259, UB=10496 232.24/233.47 c [213.89] solve iteration 83, LB=4270, UB=10496 232.24/233.47 c [217.75] solve iteration 84, LB=4272, UB=10496 232.24/233.47 c [220.53] solve iteration 85, LB=4279, UB=10496 232.24/233.47 c [225.64] solve iteration 86, LB=4296, UB=10483 1026.73/1030.10 c [228.51] solve iteration 87, LB=4296, UB=10483 1026.73/1030.10 c [232.87] solve iteration 88, LB=4297, UB=10483 1026.73/1030.10 c [237.55] solve iteration 89, LB=4301, UB=10483 1026.73/1030.10 c [242.37] solve iteration 90, LB=4327, UB=10483 1026.73/1030.10 c [249.99] solve iteration 91, LB=4367, UB=10475 1026.73/1030.10 c [254.73] solve iteration 92, LB=4388, UB=10475 1026.73/1030.10 c [259.27] solve iteration 93, LB=4388, UB=10475 1026.73/1030.10 c [264.07] solve iteration 94, LB=4388, UB=10475 1026.73/1030.10 c [268.18] solve iteration 95, LB=4388, UB=10475 1026.73/1030.10 c [272.51] solve iteration 96, LB=4388, UB=10348 1026.73/1030.10 c [276.96] solve iteration 97, LB=4388, UB=10348 1026.73/1030.10 c [281.56] solve iteration 98, LB=4392, UB=10348 1026.73/1030.10 c [284.6] solve iteration 99, LB=4392, UB=10348 1026.73/1030.10 c [289.4] solve iteration 100, LB=4403, UB=10348 1026.73/1030.10 c [301.47] solve iteration 101, LB=4403, UB=10340 1026.73/1030.10 c [306.3] solve iteration 102, LB=4410, UB=10340 1026.73/1030.10 c [311.56] solve iteration 103, LB=4410, UB=10340 1026.73/1030.10 c [317.14] solve iteration 104, LB=4428, UB=10340 1026.73/1030.10 c [323.07] solve iteration 105, LB=4428, UB=10340 1026.73/1030.10 c [341.42] solve iteration 106, LB=4429, UB=10340 1026.73/1030.10 c [346.35] solve iteration 107, LB=4429, UB=10340 1026.73/1030.10 c [351.56] solve iteration 108, LB=4436, UB=10340 1026.73/1030.10 c [356.64] solve iteration 109, LB=4439, UB=10340 1026.73/1030.10 c [362.05] solve iteration 110, LB=4440, UB=10340 1026.73/1030.10 c [367.35] solve iteration 111, LB=4440, UB=10337 1026.73/1030.10 c [372.54] solve iteration 112, LB=4441, UB=10337 1026.73/1030.10 c [377.9] solve iteration 113, LB=4441, UB=10337 1026.73/1030.10 c [383.09] solve iteration 114, LB=4441, UB=10337 1026.73/1030.10 c [388.16] solve iteration 115, LB=4444, UB=10337 1026.73/1030.10 c [406.53] solve iteration 116, LB=4445, UB=10337 1026.73/1030.10 c [410.32] solve iteration 117, LB=4445, UB=10337 1026.73/1030.10 c [415.79] solve iteration 118, LB=4447, UB=10337 1026.73/1030.10 c [421.72] solve iteration 119, LB=4453, UB=10337 1026.73/1030.10 c [427.44] solve iteration 120, LB=4453, UB=10337 1026.73/1030.10 c [435.48] solve iteration 121, LB=4459, UB=10321 1026.73/1030.10 c [441.94] solve iteration 122, LB=4460, UB=10321 1026.73/1030.10 c [447.43] solve iteration 123, LB=4460, UB=10321 1026.73/1030.10 c [453.05] solve iteration 124, LB=4476, UB=10321 1026.73/1030.10 c [458.93] solve iteration 125, LB=4476, UB=10321 1026.73/1030.10 c [483.42] solve iteration 126, LB=4476, UB=10321 1026.73/1030.10 c [489.86] solve iteration 127, LB=4480, UB=10321 1026.73/1030.10 c [495.95] solve iteration 128, LB=4484, UB=10321 1026.73/1030.10 c [501.86] solve iteration 129, LB=4484, UB=10321 1026.73/1030.10 c [508.02] solve iteration 130, LB=4484, UB=10321 1026.73/1030.10 c [547.05] solve iteration 131, LB=4484, UB=10312 1026.73/1030.10 c [553.87] solve iteration 132, LB=4484, UB=10312 1026.73/1030.10 c [560.65] solve iteration 133, LB=4487, UB=10312 1026.73/1030.10 c [568.6] solve iteration 134, LB=4487, UB=10312 1026.73/1030.10 c [575.28] solve iteration 135, LB=4488, UB=10312 1026.73/1030.10 c [651.86] solve iteration 136, LB=4488, UB=10312 1026.73/1030.10 c [658.87] solve iteration 137, LB=4489, UB=10312 1026.73/1030.10 c [666.47] solve iteration 138, LB=4489, UB=10312 1026.73/1030.10 c [674.81] solve iteration 139, LB=4489, UB=10312 1026.73/1030.10 c [684.02] solve iteration 140, LB=4493, UB=10312 1026.73/1030.10 c [694.87] solve iteration 141, LB=4493, UB=10131 1026.73/1030.10 c [702.76] solve iteration 142, LB=4493, UB=10131 1026.73/1030.10 c [710.44] solve iteration 143, LB=4493, UB=10131 1026.73/1030.10 c [718.62] solve iteration 144, LB=4493, UB=10131 1026.73/1030.10 c [726.75] solve iteration 145, LB=4493, UB=10131 1026.73/1030.10 c [738.32] solve iteration 146, LB=4493, UB=10128 1026.73/1030.10 c [747.61] solve iteration 147, LB=4493, UB=10128 1026.73/1030.10 c [756.83] solve iteration 148, LB=4496, UB=10128 1026.73/1030.10 c [765.22] solve iteration 149, LB=4496, UB=10128 1026.73/1030.10 c [774.94] solve iteration 150, LB=4496, UB=10128 1026.73/1030.10 c [859.15] solve iteration 151, LB=4497, UB=10128 1026.73/1030.10 c [866.12] solve iteration 152, LB=4497, UB=10128 1026.73/1030.10 c [873.2] solve iteration 153, LB=4497, UB=10128 1026.73/1030.10 c [879.94] solve iteration 154, LB=4497, UB=10128 1026.73/1030.10 c [887.58] solve iteration 155, LB=4497, UB=10128 1026.73/1030.10 c [906.5] solve iteration 156, LB=4497, UB=10102 1026.73/1030.10 c [914.06] solve iteration 157, LB=4498, UB=10102 1026.73/1030.10 c [921.51] solve iteration 158, LB=4498, UB=10102 1026.73/1030.10 c [928.93] solve iteration 159, LB=4498, UB=10102 1026.73/1030.10 c [937.16] solve iteration 160, LB=4507, UB=10102 1026.73/1030.10 c [956.39] solve iteration 161, LB=4511, UB=10046 1026.73/1030.10 c [964.19] solve iteration 162, LB=4511, UB=10046 1026.73/1030.10 c [972.96] solve iteration 163, LB=4511, UB=10046 1026.73/1030.10 c [980.78] solve iteration 164, LB=4511, UB=10046 1026.73/1030.10 c [988.41] solve iteration 165, LB=4511, UB=10046 1026.73/1030.10 c [996.45] solve iteration 166, LB=4511, UB=10013 1026.73/1030.10 c [1004.51] solve iteration 167, LB=4522, UB=10013 1026.73/1030.10 c [1012.04] solve iteration 168, LB=4522, UB=10013 3432.75/3440.53 c [1020.37] solve iteration 169, LB=4522, UB=10013 3432.75/3440.53 c [1028.56] solve iteration 170, LB=4522, UB=10013 3432.75/3440.53 c [1085.33] solve iteration 171, LB=4522, UB=10013 3432.75/3440.53 c [1093.64] solve iteration 172, LB=4522, UB=10013 3432.75/3440.53 c [1101.84] solve iteration 173, LB=4524, UB=10013 3432.75/3440.53 c [1110.05] solve iteration 174, LB=4524, UB=10013 3432.75/3440.53 c [1119.16] solve iteration 175, LB=4527, UB=10013 3432.75/3440.53 c [1251.15] solve iteration 176, LB=4532, UB=10013 3432.75/3440.53 c [1260.97] solve iteration 177, LB=4532, UB=10013 3432.75/3440.53 c [1271.01] solve iteration 178, LB=4594, UB=10013 3432.75/3440.53 c [1280.08] solve iteration 179, LB=4606, UB=10013 3432.75/3440.53 c [1290.12] solve iteration 180, LB=4614, UB=10013 3432.75/3440.53 c [1299.89] solve iteration 181, LB=4615, UB=9940 3432.75/3440.53 c [1309.69] solve iteration 182, LB=4615, UB=9940 3432.75/3440.53 c [1319.37] solve iteration 183, LB=4619, UB=9940 3432.75/3440.53 c [1327.95] solve iteration 184, LB=4619, UB=9940 3432.75/3440.53 c [1337.33] solve iteration 185, LB=4623, UB=9940 3432.75/3440.53 c [1506.07] solve iteration 186, LB=4628, UB=9940 3432.75/3440.53 c [1514.66] solve iteration 187, LB=4628, UB=9940 3432.75/3440.53 c [1523.25] solve iteration 188, LB=4628, UB=9940 3432.75/3440.53 c [1532.4] solve iteration 189, LB=4629, UB=9940 3432.75/3440.53 c [1541.52] solve iteration 190, LB=4629, UB=9935 3432.75/3440.53 c [1615.89] solve iteration 191, LB=4629, UB=9918 3432.75/3440.53 c [1628.36] solve iteration 192, LB=4633, UB=9918 3432.75/3440.53 c [1639.12] solve iteration 193, LB=4633, UB=9918 3432.75/3440.53 c [1652.09] solve iteration 194, LB=4633, UB=9918 3432.75/3440.53 c [1662.45] solve iteration 195, LB=4637, UB=9918 3432.75/3440.53 c [1674.69] solve iteration 196, LB=4637, UB=9878 3432.75/3440.53 c [1686.17] solve iteration 197, LB=4637, UB=9878 3432.75/3440.53 c [1696.21] solve iteration 198, LB=4637, UB=9878 3432.75/3440.53 c [1706.36] solve iteration 199, LB=4637, UB=9878 3432.75/3440.53 c [1717.14] solve iteration 200, LB=4637, UB=9878 3432.75/3440.53 c [1729.21] solve iteration 201, LB=4637, UB=9671 3432.75/3440.53 c [1739.96] solve iteration 202, LB=4637, UB=9671 3432.75/3440.53 c [1749.2] solve iteration 203, LB=4637, UB=9671 3432.75/3440.53 c [1761.31] solve iteration 204, LB=4637, UB=9671 3432.75/3440.53 c [1772.6] solve iteration 205, LB=4637, UB=9671 3432.75/3440.53 c [1838.48] solve iteration 206, LB=4637, UB=9671 3432.75/3440.53 c [1848.54] solve iteration 207, LB=4637, UB=9671 3432.75/3440.53 c [1858.16] solve iteration 208, LB=4637, UB=9671 3432.75/3440.53 c [1867.91] solve iteration 209, LB=4637, UB=9671 3432.75/3440.53 c [1877.48] solve iteration 210, LB=4637, UB=9671 3432.75/3440.53 c [1956.4] solve iteration 211, LB=4637, UB=9671 3432.75/3440.53 c [1964.5] solve iteration 212, LB=4637, UB=9671 3432.75/3440.53 c [1972.67] solve iteration 213, LB=4637, UB=9671 3432.75/3440.53 c [1980.55] solve iteration 214, LB=4639, UB=9671 3432.75/3440.53 c [1989.39] solve iteration 215, LB=4639, UB=9671 3432.75/3440.53 c [2125.62] solve iteration 216, LB=4639, UB=9671 3432.75/3440.53 c [2134.09] solve iteration 217, LB=4639, UB=9671 3432.75/3440.53 c [2143.4] solve iteration 218, LB=4639, UB=9671 3432.75/3440.53 c [2152.07] solve iteration 219, LB=4641, UB=9671 3432.75/3440.53 c [2161.37] solve iteration 220, LB=4641, UB=9671 3432.75/3440.53 c [2303.07] solve iteration 221, LB=4641, UB=9671 3432.75/3440.53 c [2313.48] solve iteration 222, LB=4641, UB=9671 3432.75/3440.53 c [2322.85] solve iteration 223, LB=4641, UB=9671 3432.75/3440.53 c [2334.75] solve iteration 224, LB=4641, UB=9671 3432.75/3440.53 c [2345.06] solve iteration 225, LB=4641, UB=9671 3432.75/3440.53 c [2469.4] solve iteration 226, LB=4641, UB=9671 3432.75/3440.53 c [2477.88] solve iteration 227, LB=4641, UB=9671 3432.75/3440.53 c [2487.62] solve iteration 228, LB=4641, UB=9671 3432.75/3440.53 c [2497.72] solve iteration 229, LB=4641, UB=9671 3432.75/3440.53 c [2507.88] solve iteration 230, LB=4641, UB=9671 3432.75/3440.53 c [2684.86] solve iteration 231, LB=4641, UB=9660 3432.75/3440.53 c [2696.1] solve iteration 232, LB=4641, UB=9660 3432.75/3440.53 c [2705.09] solve iteration 233, LB=4641, UB=9660 3432.75/3440.53 c [2716.31] solve iteration 234, LB=4641, UB=9660 3432.75/3440.53 c [2724.2] solve iteration 235, LB=4641, UB=9660 3432.75/3440.53 c [2804.71] solve iteration 236, LB=4641, UB=9619 3432.75/3440.53 c [2814.79] solve iteration 237, LB=4641, UB=9619 3432.75/3440.53 c [2826] solve iteration 238, LB=4641, UB=9619 3432.75/3440.53 c [2836.62] solve iteration 239, LB=4641, UB=9619 3432.75/3440.53 c [2847.53] solve iteration 240, LB=4642, UB=9619 3432.75/3440.53 c [3078.35] solve iteration 241, LB=4642, UB=9619 3432.75/3440.53 c [3088.77] solve iteration 242, LB=4642, UB=9619 3432.75/3440.53 c [3098.54] solve iteration 243, LB=4642, UB=9619 3432.75/3440.53 c [3109.03] solve iteration 244, LB=4642, UB=9619 3432.75/3440.53 c [3120.48] solve iteration 245, LB=4642, UB=9619 3432.75/3440.53 c [3356.64] solve iteration 246, LB=4642, UB=9619 3432.75/3440.53 c [3368.19] solve iteration 247, LB=4642, UB=9619 3432.75/3440.53 c [3378.31] solve iteration 248, LB=4642, UB=9619 3432.75/3440.53 c [3390.64] solve iteration 249, LB=4642, UB=9619 3432.75/3440.53 c [3402.68] solve iteration 250,
ERROR: no interpretation found !
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 (59731 MiB free)
memory of node 1: 64473 MiB (60877 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430952-1721068571/watcher-4430952-1721068571 -o /tmp/evaluation-result-4430952-1721068571/solver-4430952-1721068571 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721068582-820390 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4430952-1721068571.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=820652, runsolver pid=820649
Current StackSize limit: 8192 KiB
[startup+0.10077 s]*
/proc/loadavg: 1.06 1.16 1.91 5/267 820655
/proc/meminfo: memFree=123489872/131524596 swapFree=131071996/131071996
[pid=820652] ppid=820649 vsize=9928 memory=2764 CPUtime=0 cores=1,3
/proc/820652/stat : 820652 (run-glibc-2.34.) S 820649 820652 820378 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159027707 10166272 691 134679101440 93826739589120 93826740668440 140730231770880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93826742766896 93826742814084 93826750980096 140730231776191 140730231776348 140730231776348 140730231783363 0
/proc/820652/statm: 2482 691 610 264 0 133 0
[pid=820654] ppid=820652 vsize=136952 memory=26376 CPUtime=0.09 cores=1,3
/proc/820654/stat : 820654 (ld-linux-x86-64) R 820652 820652 820378 0 -1 4194304 1812 0 0 0 7 2 0 0 20 0 2 0 159027707 140238848 6594 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
/proc/820654/statm: 34238 6594 3696 46 0 6833 0
[pid=820654/tid=820655] ppid=820652 vsize=136952 memory=4026561614 CPUtime=0 cores=1,3
/proc/820654/task/820655/stat : 820655 (ld-linux-x86-64) S 820652 820652 820378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 159027708 140238848 6594 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 1 0 0 -1 1 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 146880 KiB
Current children cumulated memory: 29140 KiB
[startup+0.206774 s]*
/proc/loadavg: 1.06 1.16 1.91 5/267 820655
/proc/meminfo: memFree=123486856/131524596 swapFree=131071996/131071996
[pid=820652] ppid=820649 vsize=9928 memory=2764 CPUtime=0 cores=1,3
/proc/820652/stat : 820652 (run-glibc-2.34.) S 820649 820652 820378 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159027707 10166272 691 134679101440 93826739589120 93826740668440 140730231770880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93826742766896 93826742814084 93826750980096 140730231776191 140730231776348 140730231776348 140730231783363 0
/proc/820652/statm: 2482 691 610 264 0 133 0
[pid=820654] ppid=820652 vsize=136952 memory=27024 CPUtime=0.19 cores=1,3
/proc/820654/stat : 820654 (ld-linux-x86-64) R 820652 820652 820378 0 -1 4194304 1915 0 0 0 15 4 0 0 20 0 2 0 159027707 140238848 6756 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
/proc/820654/statm: 34238 6756 3728 46 0 6833 0
[pid=820654/tid=820655] ppid=820652 vsize=136952 memory=3471202400344241230 CPUtime=0 cores=1,3
/proc/820654/task/820655/stat : 820655 (ld-linux-x86-64) S 820652 820652 820378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 159027708 140238848 6756 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 1 0 0 -1 1 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 146880 KiB
Current children cumulated memory: 29788 KiB
[startup+0.305756 s]*
/proc/loadavg: 1.06 1.16 1.91 5/267 820655
/proc/meminfo: memFree=123485708/131524596 swapFree=131071996/131071996
[pid=820652] ppid=820649 vsize=9928 memory=2764 CPUtime=0 cores=1,3
/proc/820652/stat : 820652 (run-glibc-2.34.) S 820649 820652 820378 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159027707 10166272 691 134679101440 93826739589120 93826740668440 140730231770880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93826742766896 93826742814084 93826750980096 140730231776191 140730231776348 140730231776348 140730231783363 0
/proc/820652/statm: 2482 691 610 264 0 133 0
[pid=820654] ppid=820652 vsize=136952 memory=27024 CPUtime=0.28 cores=1,3
/proc/820654/stat : 820654 (ld-linux-x86-64) R 820652 820652 820378 0 -1 4194304 1944 0 0 0 21 7 0 0 20 0 2 0 159027707 140238848 6756 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
/proc/820654/statm: 34238 6756 3728 46 0 6833 0
[pid=820654/tid=820655] ppid=820652 vsize=136952 memory=-8754931240006544229 CPUtime=0 cores=1,3
/proc/820654/task/820655/stat : 820655 (ld-linux-x86-64) S 820652 820652 820378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 159027708 140238848 6756 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 1 0 0 -1 1 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 146880 KiB
Current children cumulated memory: 29788 KiB
[startup+0.700196 s]
/proc/loadavg: 1.06 1.16 1.91 5/267 820655
/proc/meminfo: memFree=123484560/131524596 swapFree=131071996/131071996
[pid=820652] ppid=820649 vsize=9928 memory=2764 CPUtime=0 cores=1,3
/proc/820652/stat : 820652 (run-glibc-2.34.) S 820649 820652 820378 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159027707 10166272 691 134679101440 93826739589120 93826740668440 140730231770880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93826742766896 93826742814084 93826750980096 140730231776191 140730231776348 140730231776348 140730231783363 0
/proc/820652/statm: 2482 691 610 264 0 133 0
[pid=820654] ppid=820652 vsize=137744 memory=27816 CPUtime=0.66 cores=1,3
/proc/820654/stat : 820654 (ld-linux-x86-64) R 820652 820652 820378 0 -1 4194304 2118 0 0 0 49 17 0 0 20 0 2 0 159027707 141049856 6954 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
/proc/820654/statm: 34436 6954 3728 46 0 7031 0
[pid=820654/tid=820655] ppid=820652 vsize=137744 memory=1832 CPUtime=0 cores=1,3
/proc/820654/task/820655/stat : 820655 (ld-linux-x86-64) S 820652 820652 820378 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 159027708 141049856 6954 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 147672 KiB
Current children cumulated memory: 30580 KiB
[startup+1.50022 s]
/proc/loadavg: 1.30 1.21 1.92 5/267 820655
/proc/meminfo: memFree=123474616/131524596 swapFree=131071996/131071996
[pid=820652] ppid=820649 vsize=9928 memory=2764 CPUtime=0 cores=1,3
/proc/820652/stat : 820652 (run-glibc-2.34.) S 820649 820652 820378 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159027707 10166272 691 134679101440 93826739589120 93826740668440 140730231770880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93826742766896 93826742814084 93826750980096 140730231776191 140730231776348 140730231776348 140730231783363 0
/proc/820652/statm: 2482 691 610 264 0 133 0
[pid=820654] ppid=820652 vsize=150760 memory=37180 CPUtime=1.46 cores=1,3
/proc/820654/stat : 820654 (ld-linux-x86-64) R 820652 820652 820378 0 -1 4194304 5147 0 0 0 120 26 0 0 20 0 2 0 159027707 154378240 9295 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
/proc/820654/statm: 37690 9295 3759 46 0 10285 0
[pid=820654/tid=820655] ppid=820652 vsize=150760 memory=11440 CPUtime=0 cores=1,3
/proc/820654/task/820655/stat : 820655 (ld-linux-x86-64) S 820652 820652 820378 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 159027708 154378240 9295 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 160688 KiB
Current children cumulated memory: 39944 KiB
[startup+3.10597 s]
/proc/loadavg: 1.30 1.21 1.92 5/267 820655
/proc/meminfo: memFree=123444436/131524596 swapFree=131071996/131071996
[pid=820652] ppid=820649 vsize=9928 memory=2764 CPUtime=0 cores=1,3
/proc/820652/stat : 820652 (run-glibc-2.34.) S 820649 820652 820378 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159027707 10166272 691 134679101440 93826739589120 93826740668440 140730231770880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93826742766896 93826742814084 93826750980096 140730231776191 140730231776348 140730231776348 140730231783363 0
/proc/820652/statm: 2482 691 610 264 0 133 0
[pid=820654] ppid=820652 vsize=175304 memory=47964 CPUtime=3.06 cores=1,3
/proc/820654/stat : 820654 (ld-linux-x86-64) R 820652 820652 820378 0 -1 4194304 8250 0 0 0 262 44 0 0 20 0 2 0 159027707 179511296 11991 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
/proc/820654/statm: 43826 11991 3759 46 0 16421 0
[pid=820654/tid=820655] ppid=820652 vsize=175304 memory=2764 CPUtime=0 cores=1,3
/proc/820654/task/820655/stat : 820655 (ld-linux-x86-64) S 820652 820652 820378 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 159027708 179511296 11991 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 185232 KiB
Current children cumulated memory: 50728 KiB
[startup+6.30027 s]
/proc/loadavg: 1.51 1.26 1.93 5/267 820655
/proc/meminfo: memFree=123399968/131524596 swapFree=131071996/131071996
[pid=820652] ppid=820649 vsize=9928 memory=2764 CPUtime=0 cores=1,3
/proc/820652/stat : 820652 (run-glibc-2.34.) S 820649 820652 820378 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159027707 10166272 691 134679101440 93826739589120 93826740668440 140730231770880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93826742766896 93826742814084 93826750980096 140730231776191 140730231776348 140730231776348 140730231783363 0
/proc/820652/statm: 2482 691 610 264 0 133 0
[pid=820654] ppid=820652 vsize=192252 memory=66884 CPUtime=6.23 cores=1,3
/proc/820654/stat : 820654 (ld-linux-x86-64) R 820652 820652 820378 0 -1 4194304 19817 0 0 0 540 83 0 0 20 0 2 0 159027707 196866048 16721 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
/proc/820654/statm: 48063 16721 3855 46 0 20658 0
[pid=820654/tid=820655] ppid=820652 vsize=192252 memory=66464 CPUtime=0 cores=1,3
/proc/820654/task/820655/stat : 820655 (ld-linux-x86-64) S 820652 820652 820378 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 2 0 159027708 196866048 16721 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 202180 KiB
Current children cumulated memory: 69648 KiB
[startup+12.7002 s]
/proc/loadavg: 1.71 1.30 1.94 5/267 820656
/proc/meminfo: memFree=123317572/131524596 swapFree=131071996/131071996
[pid=820652] ppid=820649 vsize=9928 memory=2764 CPUtime=0 cores=1,3
/proc/820652/stat : 820652 (run-glibc-2.34.) S 820649 820652 820378 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159027707 10166272 691 134679101440 93826739589120 93826740668440 140730231770880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93826742766896 93826742814084 93826750980096 140730231776191 140730231776348 140730231776348 140730231783363 0
/proc/820652/statm: 2482 691 610 264 0 133 0
[pid=820654] ppid=820652 vsize=205652 memory=77340 CPUtime=12.58 cores=1,3
/proc/820654/stat : 820654 (ld-linux-x86-64) R 820652 820652 820378 0 -1 4194304 35999 0 0 0 1119 139 0 0 20 0 2 0 159027707 210587648 19335 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
/proc/820654/statm: 51413 19335 3855 46 0 24008 0
[pid=820654/tid=820655] ppid=820652 vsize=205652 memory=2764 CPUtime=0 cores=1,3
/proc/820654/task/820655/stat : 820655 (ld-linux-x86-64) S 820652 820652 820378 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 2 0 159027708 210587648 19335 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 215580 KiB
Current children cumulated memory: 80104 KiB
[startup+25.5002 s]
/proc/loadavg: 2.06 1.39 1.96 5/267 820658
/proc/meminfo: memFree=123220800/131524596 swapFree=131071996/131071996
[pid=820652] ppid=820649 vsize=9928 memory=2764 CPUtime=0 cores=1,3
/proc/820652/stat : 820652 (run-glibc-2.34.) S 820649 820652 820378 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159027707 10166272 691 134679101440 93826739589120 93826740668440 140730231770880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93826742766896 93826742814084 93826750980096 140730231776191 140730231776348 140730231776348 140730231783363 0
/proc/820652/statm: 2482 691 610 264 0 133 0
[pid=820654] ppid=820652 vsize=243448 memory=117060 CPUtime=25.3 cores=1,3
/proc/820654/stat : 820654 (ld-linux-x86-64) R 820652 820652 820378 0 -1 4194304 76263 0 0 0 2313 217 0 0 20 0 2 0 159027707 249290752 29265 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
/proc/820654/statm: 60862 29265 3855 46 0 33457 0
[pid=820654/tid=820655] ppid=820652 vsize=243448 memory=2764 CPUtime=0 cores=1,3
/proc/820654/task/820655/stat : 820655 (ld-linux-x86-64) S 820652 820652 820378 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 2 0 159027708 249290752 29265 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 253376 KiB
Current children cumulated memory: 119824 KiB
[startup+51.1061 s]
/proc/loadavg: 2.88 1.66 2.03 5/267 820662
/proc/meminfo: memFree=122862968/131524596 swapFree=131071996/131071996
[pid=820652] ppid=820649 vsize=9928 memory=2764 CPUtime=0 cores=1,3
/proc/820652/stat : 820652 (run-glibc-2.34.) S 820649 820652 820378 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159027707 10166272 691 134679101440 93826739589120 93826740668440 140730231770880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93826742766896 93826742814084 93826750980096 140730231776191 140730231776348 140730231776348 140730231783363 0
/proc/820652/statm: 2482 691 610 264 0 133 0
[pid=820654] ppid=820652 vsize=271360 memory=141204 CPUtime=50.73 cores=1,3
/proc/820654/stat : 820654 (ld-linux-x86-64) R 820652 820652 820378 0 -1 4194304 148473 0 0 0 4755 318 0 0 20 0 2 0 159027707 277872640 35301 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
/proc/820654/statm: 67840 35301 3855 46 0 40435 0
[pid=820654/tid=820655] ppid=820652 vsize=271360 memory=2764 CPUtime=0.01 cores=1,3
/proc/820654/task/820655/stat : 820655 (ld-linux-x86-64) S 820652 820652 820378 0 -1 1077936192 29 0 0 0 0 1 0 0 20 0 2 0 159027708 277872640 35301 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
Current children cumulated CPU time: 50.73 s
Current children cumulated vsize: 281288 KiB
Current children cumulated memory: 143968 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 2.04 2.14 5/267 820671
/proc/meminfo: memFree=122531348/131524596 swapFree=131071996/131071996
[pid=820652] ppid=820649 vsize=9928 memory=2764 CPUtime=0 cores=1,3
/proc/820652/stat : 820652 (run-glibc-2.34.) S 820649 820652 820378 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159027707 10166272 691 134679101440 93826739589120 93826740668440 140730231770880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93826742766896 93826742814084 93826750980096 140730231776191 140730231776348 140730231776348 140730231783363 0
/proc/820652/statm: 2482 691 610 264 0 133 0
[pid=820654] ppid=820652 vsize=359832 memory=239140 CPUtime=101.64 cores=1,3
/proc/820654/stat : 820654 (ld-linux-x86-64) R 820652 820652 820378 0 -1 4194304 235635 0 0 0 9721 443 0 0 20 0 2 0 159027707 368467968 59785 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
/proc/820654/statm: 89958 59785 3855 46 0 62553 0
[pid=820654/tid=820655] ppid=820652 vsize=359832 memory=2764 CPUtime=0.05 cores=1,3
/proc/820654/task/820655/stat : 820655 (ld-linux-x86-64) S 820652 820652 820378 0 -1 1077936192 38 0 0 0 2 3 0 0 20 0 2 0 159027708 368467968 59785 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
Current children cumulated CPU time: 101.64 s
Current children cumulated vsize: 369760 KiB
Current children cumulated memory: 241904 KiB
[startup+162.3 s]
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.09 6/265 822364
/proc/meminfo: memFree=116725700/131524596 swapFree=131071996/131071996
[pid=820652] ppid=820649 vsize=9928 memory=2764 CPUtime=0 cores=1,3
/proc/820652/stat : 820652 (run-glibc-2.34.) S 820649 820652 820378 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159027707 10166272 691 134679101440 93826739589120 93826740668440 140730231770880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93826742766896 93826742814084 93826750980096 140730231776191 140730231776348 140730231776348 140730231783363 0
/proc/820652/statm: 2482 691 610 264 0 133 0
[pid=820654] ppid=820652 vsize=889148 memory=688948 CPUtime=3214.93 cores=1,3
/proc/820654/stat : 820654 (ld-linux-x86-64) R 820652 820652 820378 0 -1 4194304 2481128 0 0 0 318583 2910 0 0 20 0 2 0 159027707 910487552 172237 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
/proc/820654/statm: 222287 172237 3887 46 0 194882 0
[pid=820654/tid=820655] ppid=820652 vsize=889148 memory=2764 CPUtime=2.53 cores=1,3
/proc/820654/task/820655/stat : 820655 (ld-linux-x86-64) S 820652 820652 820378 0 -1 1077936192 163 0 0 0 97 156 0 0 20 0 2 0 159027708 910487552 172237 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
Current children cumulated CPU time: 3214.93 s
Current children cumulated vsize: 899076 KiB
Current children cumulated memory: 691712 KiB
[startup+3282.3 s]
/proc/loadavg: 4.64 4.29 4.14 6/268 822435
/proc/meminfo: memFree=116709412/131524596 swapFree=131071996/131071996
[pid=820652] ppid=820649 vsize=9928 memory=2764 CPUtime=0 cores=1,3
/proc/820652/stat : 820652 (run-glibc-2.34.) S 820649 820652 820378 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159027707 10166272 691 134679101440 93826739589120 93826740668440 140730231770880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93826742766896 93826742814084 93826750980096 140730231776191 140730231776348 140730231776348 140730231783363 0
/proc/820652/statm: 2482 691 610 264 0 133 0
[pid=820654] ppid=820652 vsize=889148 memory=688948 CPUtime=3274.84 cores=1,3
/proc/820654/stat : 820654 (ld-linux-x86-64) R 820652 820652 820378 0 -1 4194304 2501892 0 0 0 324550 2934 0 0 20 0 2 0 159027707 910487552 172237 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
/proc/820654/statm: 222287 172237 3887 46 0 194882 0
[pid=820654/tid=820655] ppid=820652 vsize=889148 memory=688948 CPUtime=2.58 cores=1,3
/proc/820654/task/820655/stat : 820655 (ld-linux-x86-64) S 820652 820652 820378 0 -1 1077936192 165 0 0 0 99 159 0 0 20 0 2 0 159027708 910487552 172237 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
Current children cumulated CPU time: 3274.84 s
Current children cumulated vsize: 899076 KiB
Current children cumulated memory: 691712 KiB
[startup+3342.3 s]
/proc/loadavg: 4.81 4.42 4.19 6/268 822445
/proc/meminfo: memFree=116695956/131524596 swapFree=131071996/131071996
[pid=820652] ppid=820649 vsize=9928 memory=2764 CPUtime=0 cores=1,3
/proc/820652/stat : 820652 (run-glibc-2.34.) S 820649 820652 820378 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159027707 10166272 691 134679101440 93826739589120 93826740668440 140730231770880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93826742766896 93826742814084 93826750980096 140730231776191 140730231776348 140730231776348 140730231783363 0
/proc/820652/statm: 2482 691 610 264 0 133 0
[pid=820654] ppid=820652 vsize=889148 memory=688948 CPUtime=3334.75 cores=1,3
/proc/820654/stat : 820654 (ld-linux-x86-64) R 820652 820652 820378 0 -1 4194304 2522714 0 0 0 330523 2952 0 0 20 0 2 0 159027707 910487552 172237 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
/proc/820654/statm: 222287 172237 3887 46 0 194882 0
[pid=820654/tid=820655] ppid=820652 vsize=889148 memory=2764 CPUtime=2.63 cores=1,3
/proc/820654/task/820655/stat : 820655 (ld-linux-x86-64) S 820652 820652 820378 0 -1 1077936192 167 0 0 0 102 161 0 0 20 0 2 0 159027708 910487552 172237 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
Current children cumulated CPU time: 3334.75 s
Current children cumulated vsize: 899076 KiB
Current children cumulated memory: 691712 KiB
[startup+3402.3 s]
/proc/loadavg: 4.53 4.41 4.20 5/268 822456
/proc/meminfo: memFree=116647612/131524596 swapFree=131071996/131071996
[pid=820652] ppid=820649 vsize=9928 memory=2764 CPUtime=0 cores=1,3
/proc/820652/stat : 820652 (run-glibc-2.34.) S 820649 820652 820378 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159027707 10166272 691 134679101440 93826739589120 93826740668440 140730231770880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93826742766896 93826742814084 93826750980096 140730231776191 140730231776348 140730231776348 140730231783363 0
/proc/820652/statm: 2482 691 610 264 0 133 0
[pid=820654] ppid=820652 vsize=939960 memory=717500 CPUtime=3394.65 cores=1,3
/proc/820654/stat : 820654 (ld-linux-x86-64) R 820652 820652 820378 0 -1 4194304 2556079 0 0 0 336492 2973 0 0 20 0 2 0 159027707 962519040 179375 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
/proc/820654/statm: 234990 179375 3887 46 0 207585 0
[pid=820654/tid=820655] ppid=820652 vsize=939960 memory=2764 CPUtime=2.68 cores=1,3
/proc/820654/task/820655/stat : 820655 (ld-linux-x86-64) S 820652 820652 820378 0 -1 1077936192 169 0 0 0 104 164 0 0 20 0 2 0 159027708 962519040 179375 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
Current children cumulated CPU time: 3394.65 s
Current children cumulated vsize: 949888 KiB
Current children cumulated memory: 720264 KiB
[startup+3462.3 s]
/proc/loadavg: 4.49 4.43 4.22 5/267 822467
/proc/meminfo: memFree=116617284/131524596 swapFree=131071996/131071996
[pid=820652] ppid=820649 vsize=9928 memory=2764 CPUtime=0 cores=1,3
/proc/820652/stat : 820652 (run-glibc-2.34.) S 820649 820652 820378 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159027707 10166272 691 134679101440 93826739589120 93826740668440 140730231770880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93826742766896 93826742814084 93826750980096 140730231776191 140730231776348 140730231776348 140730231783363 0
/proc/820652/statm: 2482 691 610 264 0 133 0
[pid=820654] ppid=820652 vsize=927328 memory=730832 CPUtime=3454.51 cores=1,3
/proc/820654/stat : 820654 (ld-linux-x86-64) R 820652 820652 820378 0 -1 4194304 2610122 0 0 0 342426 3025 0 0 20 0 2 0 159027707 949583872 182708 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
/proc/820654/statm: 231832 182708 3887 46 0 204427 0
[pid=820654/tid=820655] ppid=820652 vsize=927328 memory=12996 CPUtime=2.73 cores=1,3
/proc/820654/task/820655/stat : 820655 (ld-linux-x86-64) S 820652 820652 820378 0 -1 1077936192 171 0 0 0 106 167 0 0 20 0 2 0 159027708 949583872 182708 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
Current children cumulated CPU time: 3454.51 s
Current children cumulated vsize: 937256 KiB
Current children cumulated memory: 733596 KiB
[startup+3522.3 s]
/proc/loadavg: 4.39 4.41 4.22 5/266 822477
/proc/meminfo: memFree=116602888/131524596 swapFree=131071996/131071996
[pid=820652] ppid=820649 vsize=9928 memory=2764 CPUtime=0 cores=1,3
/proc/820652/stat : 820652 (run-glibc-2.34.) S 820649 820652 820378 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159027707 10166272 691 134679101440 93826739589120 93826740668440 140730231770880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93826742766896 93826742814084 93826750980096 140730231776191 140730231776348 140730231776348 140730231783363 0
/proc/820652/statm: 2482 691 610 264 0 133 0
[pid=820654] ppid=820652 vsize=927328 memory=730832 CPUtime=3514.42 cores=1,3
/proc/820654/stat : 820654 (ld-linux-x86-64) R 820652 820652 820378 0 -1 4194304 2630766 0 0 0 348390 3052 0 0 20 0 2 0 159027707 949583872 182708 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
/proc/820654/statm: 231832 182708 3887 46 0 204427 0
[pid=820654/tid=820655] ppid=820652 vsize=927328 memory=11440 CPUtime=2.77 cores=1,3
/proc/820654/task/820655/stat : 820655 (ld-linux-x86-64) S 820652 820652 820378 0 -1 1077936192 173 0 0 0 108 169 0 0 20 0 2 0 159027708 949583872 182708 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
Current children cumulated CPU time: 3514.42 s
Current children cumulated vsize: 937256 KiB
Current children cumulated memory: 733596 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.35 4.21 5/262 822487
/proc/meminfo: memFree=116585408/131524596 swapFree=131071996/131071996
[pid=820652] ppid=820649 vsize=9928 memory=2764 CPUtime=0 cores=1,3
/proc/820652/stat : 820652 (run-glibc-2.34.) S 820649 820652 820378 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159027707 10166272 691 134679101440 93826739589120 93826740668440 140730231770880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93826742766896 93826742814084 93826750980096 140730231776191 140730231776348 140730231776348 140730231783363 0
/proc/820652/statm: 2482 691 610 264 0 133 0
[pid=820654] ppid=820652 vsize=927328 memory=730832 CPUtime=3574.33 cores=1,3
/proc/820654/stat : 820654 (ld-linux-x86-64) R 820652 820652 820378 0 -1 4194304 2651564 0 0 0 354362 3071 0 0 20 0 2 0 159027707 949583872 182708 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
/proc/820654/statm: 231832 182708 3887 46 0 204427 0
[pid=820654/tid=820655] ppid=820652 vsize=927328 memory=8112279838716631198 CPUtime=2.82 cores=1,3
/proc/820654/task/820655/stat : 820655 (ld-linux-x86-64) S 820652 820652 820378 0 -1 1077936192 175 0 0 0 110 172 0 0 20 0 2 0 159027708 949583872 182708 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
Current children cumulated CPU time: 3574.33 s
Current children cumulated vsize: 937256 KiB
Current children cumulated memory: 733596 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.11 s]
/proc/loadavg: 4.20 4.33 4.21 5/262 822637
/proc/meminfo: memFree=119322264/131524596 swapFree=131071996/131071996
[pid=820652] ppid=820649 vsize=9928 memory=2764 CPUtime=0 cores=1,3
/proc/820652/stat : 820652 (run-glibc-2.34.) S 820649 820652 820378 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159027707 10166272 691 134679101440 93826739589120 93826740668440 140730231770880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93826742766896 93826742814084 93826750980096 140730231776191 140730231776348 140730231776348 140730231783363 0
/proc/820652/statm: 2482 691 610 264 0 133 0
[pid=820654] ppid=820652 vsize=927328 memory=730832 CPUtime=3600.09 cores=1,3
/proc/820654/stat : 820654 (ld-linux-x86-64) R 820652 820652 820378 0 -1 4194304 2651828 0 0 0 356932 3077 0 0 20 0 2 0 159027707 949583872 182708 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
/proc/820654/statm: 231832 182708 3887 46 0 204427 0
[pid=820654/tid=820655] ppid=820652 vsize=927328 memory=8112279838716631198 CPUtime=2.84 cores=1,3
/proc/820654/task/820655/stat : 820655 (ld-linux-x86-64) S 820652 820652 820378 0 -1 1077936192 175 0 0 0 111 173 0 0 20 0 2 0 159027708 949583872 182708 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 937256 KiB
Current children cumulated memory: 733596 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.12 s]
# the end of solver process 820652 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001566 s, system=0 s
[startup+3608.12 s]
# the end of solver process 820654 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3569.33 s, system=30.7852 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+3608.11 s]
/proc/loadavg: 4.20 4.33 4.21 5/262 822637
/proc/meminfo: memFree=119322264/131524596 swapFree=131071996/131071996
[pid=820652] ppid=820649 vsize=9928 memory=2764 CPUtime=0 cores=1,3
/proc/820652/stat : 820652 (run-glibc-2.34.) S 820649 820652 820378 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 159027707 10166272 691 134679101440 93826739589120 93826740668440 140730231770880 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93826742766896 93826742814084 93826750980096 140730231776191 140730231776348 140730231776348 140730231783363 0
/proc/820652/statm: 2482 691 610 264 0 133 0
[pid=820654] ppid=820652 vsize=927328 memory=730832 CPUtime=3600.09 cores=1,3
/proc/820654/stat : 820654 (ld-linux-x86-64) R 820652 820652 820378 0 -1 4194304 2651828 0 0 0 356932 3077 0 0 20 0 2 0 159027707 949583872 182708 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
/proc/820654/statm: 231832 182708 3887 46 0 204427 0
[pid=820654/tid=820655] ppid=820652 vsize=927328 memory=8112279838716631198 CPUtime=2.84 cores=1,3
/proc/820654/task/820655/stat : 820655 (ld-linux-x86-64) S 820652 820652 820378 0 -1 1077936192 175 0 0 0 111 173 0 0 20 0 2 0 159027708 949583872 182708 134679101440 140257014288384 140257014475996 140733144177488 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140257016576896 140257016586344 93825008787456 140733144179543 140733144179707 140733144179707 140733144186802 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 937256 KiB
Current children cumulated memory: 733596 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3608.12
CPU time (s): 3600.12
CPU user time (s): 3569.33
CPU system time (s): 30.7852
CPU usage (%): 99.7783
Max. virtual memory (cumulated for all children) (KiB): 1034520
Max. memory (cumulated for all children) (KiB): 795256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.33
system time used= 30.7852
maximum resident set size= 792492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2652033
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= 357437
involuntary context switches= 2578
# summary of solver processes directly reported to runsolver:
# pid: 820652,820654
# total CPU time (s): 3600.12
# total CPU user time (s): 3569.33
# total CPU system time (s): 30.7852
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.13374 second user time and 18.4897 second system time
The end
Begin job on nodeC034 at 2024-07-15 20:36:24 IDJOB=4430952 IDBENCH=146905 IDSOLVER=3055 FILE ID=nodeC034/4430952-1721068571 RUNJOBID= nodeC034-1721068582-820390 SLURM_JOB_ID= 7505522 Free space on /tmp= 889952 MiB SOLVER NAME= IPBHS-GUROBI-SYM 2024-07-09 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb COMMAND LINE= run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430952-1721068571/watcher-4430952-1721068571 -o /tmp/evaluation-result-4430952-1721068571/solver-4430952-1721068571 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721068582-820390 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4430952-1721068571.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0aad002c81e214aa0b66948d5567e1f0 RANDOM SEED=1110257486 nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3676.442 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3663.432 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.167 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3677.897 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3676.413 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3673.633 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.360 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.411 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524596 kB MemFree: 123504560 kB MemAvailable: 129344020 kB Buffers: 371292 kB Cached: 6235460 kB SwapCached: 0 kB Active: 683124 kB Inactive: 6588056 kB Active(anon): 1540 kB Inactive(anon): 700596 kB Active(file): 681584 kB Inactive(file): 5887460 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 175252 kB Writeback: 0 kB AnonPages: 664408 kB Mapped: 120660 kB Shmem: 37720 kB KReclaimable: 220476 kB Slab: 341568 kB SReclaimable: 220476 kB SUnreclaim: 121092 kB KernelStack: 4208 kB PageTables: 11256 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834292 kB Committed_AS: 1010948 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62144 kB HardwareCorrupted: 0 kB AnonHugePages: 274432 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 250580 kB DirectMap2M: 28882944 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 889912 MiB End job on nodeC034 at 2024-07-15 21:36:32