| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| IPBHS-GUROBI-SYM 2024-07-09 | ? (TO) | 3600.17 | 3607.29 |
| Name | PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_50null20mast_rapportOE2.0_TMAX300_K67_cod1.opb |
| MD5SUM | b3d827c1cec2288f345531c85d1b4d53 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -42772 |
| Best CPU time to get the best result obtained on this benchmark | 3585.96 |
| 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 | 40451 |
| Total number of constraints | 40950 |
| Number of constraints which are clauses | 40396 |
| Number of constraints which are cardinality constraints (but not clauses) | 553 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 40128 |
| Number of terms in the objective function | 16038 |
| Biggest coefficient in the objective function | 1000 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 11015136 |
| Number of bits of the sum of numbers in the objective function | 24 |
| Biggest number in a constraint | 1000 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 11015136 |
| Number of bits of the biggest sum of numbers | 24 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.37/0.86 c initialize IPBHS solver 0.37/0.86 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.37/0.86 c optimizer = "gurobi" 0.37/0.86 c pbsolver = "roundingsat" 0.37/0.86 c load symmetries from file "" 0.37/0.86 c set time limit for symmetry computation to 100 seconds. 0.37/0.86 c set interchangeable summation variable limit to 3 0.37/0.86 c find symmetric cores by applying each permutation and add them to optimizer 0.37/0.86 c set abs symmetric core budget per WCE-iteration to 100 0.37/0.86 c set rel symmetric core budget per WCE-iteration to 0 0.37/0.86 c set lit symmetric core budget per WCE-iteration to 0 0.37/0.86 c set sym generation to 's' 0.37/0.86 c set abstraction set creation to 10 iterations without LB change 0.37/0.86 c set abstraction set inputs to 0 0.37/0.86 c set abstraction set cluster min size to 2 0.37/0.86 c set abstraction set cluster max size to 100000000 0.37/0.86 c set abstraction set cluster activation limit to 2 0.37/0.86 c enable abstraction set require equal cost 0.37/0.86 c set abstraction set assumptions to 0 0.37/0.86 c set abstraction set constraint type to 0 0.37/0.86 c set abstract core extraction strategy to b 0.37/0.86 c set core extraction strategy to 2 0.37/0.86 c set core extraction shuffles 10 0.37/0.86 c set cores per iteration to 5 0.37/0.86 c set optimizer bound usage strategy to 2 0.37/0.86 c set optimizer max non-optimal iterations to 1000 0.37/0.86 c set small core cardinality limit to 2 0.37/0.86 c set max coef in cores to 1000000000 0.37/0.86 c set SIS iterations to 5 0.37/0.86 c set SIS budget abs to 1000 0.37/0.86 c set SIS budget rel to 0.05 0.37/0.86 c limit for coefficient in constraints and objective to 9223372036854775807 0.37/0.86 c will solve HOME/instance-4430946-1721152924.opb 36.79/37.32 c [3.48] solve iteration 1, LB=-11015136, UB=1 36.79/37.32 c [3.69] solve iteration 2, LB=-52282, UB=0 36.79/37.32 c [3.86] solve iteration 3, LB=-52282, UB=-9590 36.79/37.32 c [4.01] solve iteration 4, LB=-52282, UB=-10119 36.79/37.32 c [4.18] solve iteration 5, LB=-52282, UB=-10119 36.79/37.32 c [4.34] solve iteration 6, LB=-52282, UB=-10906 36.79/37.32 c [4.51] solve iteration 7, LB=-52282, UB=-10906 36.79/37.32 c [4.71] solve iteration 8, LB=-52282, UB=-10906 36.79/37.32 c [4.88] solve iteration 9, LB=-52282, UB=-10906 36.79/37.32 c [5.07] solve iteration 10, LB=-52282, UB=-10906 36.79/37.32 c [5.25] solve iteration 11, LB=-52282, UB=-10996 36.79/37.32 c [5.45] solve iteration 12, LB=-52282, UB=-10996 36.79/37.32 c [5.73] solve iteration 13, LB=-52282, UB=-10996 36.79/37.32 c [5.89] solve iteration 14, LB=-52282, UB=-10996 36.79/37.32 c [6.05] solve iteration 15, LB=-52282, UB=-10996 36.79/37.32 c [6.25] solve iteration 16, LB=-52282, UB=-11193 36.79/37.32 c [6.39] solve iteration 17, LB=-52282, UB=-11193 36.79/37.32 c [6.7] solve iteration 18, LB=-52282, UB=-11193 36.79/37.32 c [6.96] solve iteration 19, LB=-52282, UB=-11193 36.79/37.32 c [7.22] solve iteration 20, LB=-52282, UB=-11193 36.79/37.32 c [11.21] solve iteration 21, LB=-52282, UB=-11466 36.79/37.32 c [11.51] solve iteration 22, LB=-52282, UB=-11466 36.79/37.32 c [11.83] solve iteration 23, LB=-52282, UB=-11466 36.79/37.32 c [12.1] solve iteration 24, LB=-52282, UB=-11466 36.79/37.32 c [12.41] solve iteration 25, LB=-52282, UB=-11466 36.79/37.32 c [13.63] solve iteration 26, LB=-52282, UB=-11511 36.79/37.32 c [13.94] solve iteration 27, LB=-52282, UB=-11511 36.79/37.32 c [14.2] solve iteration 28, LB=-52282, UB=-11511 36.79/37.32 c [14.48] solve iteration 29, LB=-52282, UB=-11511 36.79/37.32 c [14.77] solve iteration 30, LB=-52282, UB=-11511 36.79/37.32 c [15.18] solve iteration 31, LB=-52282, UB=-11540 36.79/37.32 c [15.48] solve iteration 32, LB=-52282, UB=-11540 36.79/37.32 c [15.75] solve iteration 33, LB=-52282, UB=-11540 36.79/37.32 c [16.05] solve iteration 34, LB=-52282, UB=-11540 36.79/37.32 c [16.31] solve iteration 35, LB=-52282, UB=-11540 36.79/37.32 c [16.83] solve iteration 36, LB=-52282, UB=-11564 36.79/37.32 c [17.14] solve iteration 37, LB=-52282, UB=-11564 36.79/37.32 c [17.43] solve iteration 38, LB=-52282, UB=-11564 36.79/37.32 c [17.72] solve iteration 39, LB=-52282, UB=-11564 36.79/37.32 c [17.99] solve iteration 40, LB=-52282, UB=-11564 36.79/37.32 c [18.24] solve iteration 41, LB=-52282, UB=-12211 36.79/37.32 c [18.51] solve iteration 42, LB=-52282, UB=-12211 36.79/37.32 c [18.78] solve iteration 43, LB=-52282, UB=-12211 36.79/37.32 c [19.06] solve iteration 44, LB=-52282, UB=-12211 36.79/37.32 c [19.36] solve iteration 45, LB=-52282, UB=-12211 36.79/37.32 c [19.94] solve iteration 46, LB=-52282, UB=-12987 36.79/37.32 c [20.24] solve iteration 47, LB=-52282, UB=-12987 36.79/37.32 c [20.52] solve iteration 48, LB=-52282, UB=-12987 36.79/37.32 c [20.82] solve iteration 49, LB=-52282, UB=-12987 36.79/37.32 c [21.12] solve iteration 50, LB=-52282, UB=-12987 36.79/37.32 c [25.25] solve iteration 51, LB=-52282, UB=-12995 36.79/37.32 c [25.5] solve iteration 52, LB=-52282, UB=-12995 36.79/37.32 c [25.73] solve iteration 53, LB=-52282, UB=-12995 36.79/37.32 c [25.95] solve iteration 54, LB=-52282, UB=-12995 36.79/37.32 c [26.19] solve iteration 55, LB=-52282, UB=-12995 36.79/37.32 c [26.49] solve iteration 56, LB=-52282, UB=-13054 36.79/37.32 c [26.75] solve iteration 57, LB=-52282, UB=-13054 36.79/37.32 c [27.01] solve iteration 58, LB=-52282, UB=-13054 36.79/37.32 c [27.27] solve iteration 59, LB=-52282, UB=-13054 36.79/37.32 c [27.52] solve iteration 60, LB=-52282, UB=-13054 36.79/37.32 c [27.86] solve iteration 61, LB=-52282, UB=-13705 36.79/37.32 c [28.16] solve iteration 62, LB=-52282, UB=-13705 36.79/37.32 c [28.5] solve iteration 63, LB=-52282, UB=-13705 36.79/37.32 c [28.79] solve iteration 64, LB=-52282, UB=-13705 36.79/37.32 c [29.08] solve iteration 65, LB=-52282, UB=-13705 36.79/37.32 c [29.41] solve iteration 66, LB=-52282, UB=-13804 36.79/37.32 c [29.71] solve iteration 67, LB=-52282, UB=-13804 36.79/37.32 c [30.04] solve iteration 68, LB=-52282, UB=-13804 36.79/37.32 c [30.32] solve iteration 69, LB=-52282, UB=-13804 36.79/37.32 c [30.63] solve iteration 70, LB=-52282, UB=-13804 36.79/37.32 c [31] solve iteration 71, LB=-52282, UB=-13826 36.79/37.32 c [31.4] solve iteration 72, LB=-52282, UB=-13826 36.79/37.32 c [31.73] solve iteration 73, LB=-52282, UB=-13826 36.79/37.32 c [32.06] solve iteration 74, LB=-52282, UB=-13826 36.79/37.32 c [32.45] solve iteration 75, LB=-52282, UB=-13826 36.79/37.32 c [32.9] solve iteration 76, LB=-52282, UB=-14058 36.79/37.32 c [33.3] solve iteration 77, LB=-52282, UB=-14058 36.79/37.32 c [33.71] solve iteration 78, LB=-52282, UB=-14058 36.79/37.32 c [34.1] solve iteration 79, LB=-52282, UB=-14058 36.79/37.32 c [34.47] solve iteration 80, LB=-52282, UB=-14058 36.79/37.32 c [34.96] solve iteration 81, LB=-52282, UB=-14313 36.79/37.32 c [35.4] solve iteration 82, LB=-52282, UB=-14313 187.32/188.19 c [35.86] solve iteration 83, LB=-52282, UB=-14313 187.32/188.19 c [36.32] solve iteration 84, LB=-52282, UB=-14313 187.32/188.19 c [36.74] solve iteration 85, LB=-52282, UB=-14313 187.32/188.19 c [37.68] solve iteration 86, LB=-52282, UB=-15156 187.32/188.19 c [38.21] solve iteration 87, LB=-52282, UB=-15156 187.32/188.19 c [38.64] solve iteration 88, LB=-52282, UB=-15156 187.32/188.19 c [39.06] solve iteration 89, LB=-52282, UB=-15156 187.32/188.19 c [39.52] solve iteration 90, LB=-52282, UB=-15156 187.32/188.19 c [40.13] solve iteration 91, LB=-52282, UB=-15630 187.32/188.19 c [40.65] solve iteration 92, LB=-52282, UB=-15630 187.32/188.19 c [41.17] solve iteration 93, LB=-52282, UB=-15630 187.32/188.19 c [41.65] solve iteration 94, LB=-52282, UB=-15630 187.32/188.19 c [42.14] solve iteration 95, LB=-52282, UB=-15630 187.32/188.19 c [43.06] solve iteration 96, LB=-52282, UB=-15853 187.32/188.19 c [43.64] solve iteration 97, LB=-52282, UB=-15853 187.32/188.19 c [44.24] solve iteration 98, LB=-52282, UB=-15853 187.32/188.19 c [44.76] solve iteration 99, LB=-52282, UB=-15853 187.32/188.19 c [45.21] solve iteration 100, LB=-52282, UB=-15853 187.32/188.19 c [45.91] solve iteration 101, LB=-52282, UB=-16437 187.32/188.19 c [46.41] solve iteration 102, LB=-52282, UB=-16437 187.32/188.19 c [46.88] solve iteration 103, LB=-52282, UB=-16437 187.32/188.19 c [47.36] solve iteration 104, LB=-52282, UB=-16437 187.32/188.19 c [47.8] solve iteration 105, LB=-52282, UB=-16437 187.32/188.19 c [50.73] solve iteration 106, LB=-52282, UB=-16836 187.32/188.19 c [51.29] solve iteration 107, LB=-52282, UB=-16836 187.32/188.19 c [51.77] solve iteration 108, LB=-52282, UB=-16836 187.32/188.19 c [52.25] solve iteration 109, LB=-52282, UB=-16836 187.32/188.19 c [52.77] solve iteration 110, LB=-52282, UB=-16836 187.32/188.19 c [53.57] solve iteration 111, LB=-52282, UB=-17099 187.32/188.19 c [54.1] solve iteration 112, LB=-52282, UB=-17099 187.32/188.19 c [54.58] solve iteration 113, LB=-52282, UB=-17099 187.32/188.19 c [55.05] solve iteration 114, LB=-52282, UB=-17099 187.32/188.19 c [55.51] solve iteration 115, LB=-52282, UB=-17099 187.32/188.19 c [144.64] solve iteration 116, LB=-52282, UB=-17099 187.32/188.19 c [145.18] solve iteration 117, LB=-52282, UB=-17099 187.32/188.19 c [145.7] solve iteration 118, LB=-52282, UB=-17099 187.32/188.19 c [146.22] solve iteration 119, LB=-52282, UB=-17099 187.32/188.19 c [146.71] solve iteration 120, LB=-52282, UB=-17099 187.32/188.19 c [148.85] solve iteration 121, LB=-52282, UB=-17254 187.32/188.19 c [149.35] solve iteration 122, LB=-52282, UB=-18352 187.32/188.19 c [149.95] solve iteration 123, LB=-52282, UB=-18352 187.32/188.19 c [150.56] solve iteration 124, LB=-52282, UB=-18352 187.32/188.19 c [151.13] solve iteration 125, LB=-52282, UB=-18352 187.32/188.19 c [152.01] solve iteration 126, LB=-52282, UB=-18535 187.32/188.19 c [152.64] solve iteration 127, LB=-52282, UB=-18535 187.32/188.19 c [153.24] solve iteration 128, LB=-52282, UB=-18535 187.32/188.19 c [153.81] solve iteration 129, LB=-52282, UB=-18535 187.32/188.19 c [154.38] solve iteration 130, LB=-52282, UB=-18535 187.32/188.19 c [159.19] solve iteration 131, LB=-52282, UB=-18719 187.32/188.19 c [159.81] solve iteration 132, LB=-52282, UB=-18719 187.32/188.19 c [160.4] solve iteration 133, LB=-52282, UB=-18719 187.32/188.19 c [161.04] solve iteration 134, LB=-52282, UB=-18719 187.32/188.19 c [161.74] solve iteration 135, LB=-52282, UB=-18719 187.32/188.19 c [162.48] solve iteration 136, LB=-52282, UB=-18980 187.32/188.19 c [163.19] solve iteration 137, LB=-52282, UB=-18980 187.32/188.19 c [163.84] solve iteration 138, LB=-52282, UB=-18980 187.32/188.19 c [164.48] solve iteration 139, LB=-52282, UB=-18980 187.32/188.19 c [165.11] solve iteration 140, LB=-52282, UB=-18980 187.32/188.19 c [165.78] solve iteration 141, LB=-52282, UB=-19315 187.32/188.19 c [166.42] solve iteration 142, LB=-52282, UB=-19315 187.32/188.19 c [167.23] solve iteration 143, LB=-52282, UB=-19315 187.32/188.19 c [168.03] solve iteration 144, LB=-52282, UB=-19315 187.32/188.19 c [168.83] solve iteration 145, LB=-52282, UB=-19315 187.32/188.19 c [172.19] solve iteration 146, LB=-52282, UB=-19326 187.32/188.19 c [173.03] solve iteration 147, LB=-52282, UB=-19326 187.32/188.19 c [173.84] solve iteration 148, LB=-52282, UB=-19326 187.32/188.19 c [174.62] solve iteration 149, LB=-52282, UB=-19326 187.32/188.19 c [175.4] solve iteration 150, LB=-52282, UB=-19326 187.32/188.19 c [176.8] solve iteration 151, LB=-52282, UB=-19409 187.32/188.19 c [177.64] solve iteration 152, LB=-52282, UB=-19409 187.32/188.19 c [178.49] solve iteration 153, LB=-52282, UB=-19409 187.32/188.19 c [179.29] solve iteration 154, LB=-52282, UB=-19409 187.32/188.19 c [180.05] solve iteration 155, LB=-52282, UB=-19409 187.32/188.19 c [181.07] solve iteration 156, LB=-52282, UB=-20005 187.32/188.19 c [181.94] solve iteration 157, LB=-52282, UB=-20005 187.32/188.19 c [182.78] solve iteration 158, LB=-52282, UB=-20005 187.32/188.19 c [183.6] solve iteration 159, LB=-52282, UB=-20005 187.32/188.19 c [184.39] solve iteration 160, LB=-52282, UB=-20005 469.95/471.45 c [185.96] solve iteration 161, LB=-52282, UB=-20956 469.95/471.45 c [186.71] solve iteration 162, LB=-52282, UB=-20956 469.95/471.45 c [187.44] solve iteration 163, LB=-52282, UB=-20956 469.95/471.45 c [188.15] solve iteration 164, LB=-52282, UB=-20956 469.95/471.45 c [188.87] solve iteration 165, LB=-52282, UB=-20956 469.95/471.45 c [190.94] solve iteration 166, LB=-52282, UB=-21318 469.95/471.45 c [191.72] solve iteration 167, LB=-52282, UB=-21318 469.95/471.45 c [192.49] solve iteration 168, LB=-52282, UB=-21318 469.95/471.45 c [193.24] solve iteration 169, LB=-52282, UB=-21318 469.95/471.45 c [193.94] solve iteration 170, LB=-52282, UB=-21318 469.95/471.45 c [198.6] solve iteration 171, LB=-52282, UB=-21445 469.95/471.45 c [199.33] solve iteration 172, LB=-52282, UB=-21445 469.95/471.45 c [200.08] solve iteration 173, LB=-52282, UB=-21445 469.95/471.45 c [200.81] solve iteration 174, LB=-52282, UB=-21445 469.95/471.45 c [201.53] solve iteration 175, LB=-52282, UB=-21445 469.95/471.45 c [254.77] solve iteration 176, LB=-52282, UB=-21445 469.95/471.45 c [255.55] solve iteration 177, LB=-52282, UB=-21445 469.95/471.45 c [256.31] solve iteration 178, LB=-52282, UB=-21445 469.95/471.45 c [257.13] solve iteration 179, LB=-52282, UB=-21445 469.95/471.45 c [257.93] solve iteration 180, LB=-52282, UB=-21445 469.95/471.45 c [277.37] solve iteration 181, LB=-52282, UB=-21626 469.95/471.45 c [278.25] solve iteration 182, LB=-52282, UB=-21626 469.95/471.45 c [279.05] solve iteration 183, LB=-52282, UB=-21626 469.95/471.45 c [279.85] solve iteration 184, LB=-52282, UB=-21626 469.95/471.45 c [280.66] solve iteration 185, LB=-52282, UB=-21626 469.95/471.45 c [327.46] solve iteration 186, LB=-52282, UB=-21831 469.95/471.45 c [328.47] solve iteration 187, LB=-52282, UB=-21831 469.95/471.45 c [329.28] solve iteration 188, LB=-52282, UB=-21831 469.95/471.45 c [330.14] solve iteration 189, LB=-52282, UB=-21831 469.95/471.45 c [330.94] solve iteration 190, LB=-52282, UB=-21831 469.95/471.45 c [363.5] solve iteration 191, LB=-52282, UB=-21956 469.95/471.45 c [364.39] solve iteration 192, LB=-52282, UB=-21956 469.95/471.45 c [365.37] solve iteration 193, LB=-52282, UB=-21956 469.95/471.45 c [366.29] solve iteration 194, LB=-52282, UB=-21956 469.95/471.45 c [367.17] solve iteration 195, LB=-52282, UB=-21956 469.95/471.45 c [368.76] solve iteration 196, LB=-52282, UB=-22849 469.95/471.45 c [369.72] solve iteration 197, LB=-52282, UB=-22849 469.95/471.45 c [370.61] solve iteration 198, LB=-52282, UB=-22849 469.95/471.45 c [371.51] solve iteration 199, LB=-52282, UB=-22849 469.95/471.45 c [372.41] solve iteration 200, LB=-52282, UB=-22849 469.95/471.45 c [382.07] solve iteration 201, LB=-52282, UB=-23556 469.95/471.45 c [383.08] solve iteration 202, LB=-52282, UB=-23556 469.95/471.45 c [384.04] solve iteration 203, LB=-52282, UB=-23556 469.95/471.45 c [384.94] solve iteration 204, LB=-52282, UB=-23556 469.95/471.45 c [385.93] solve iteration 205, LB=-52282, UB=-23556 469.95/471.45 c [391.45] solve iteration 206, LB=-52282, UB=-23687 469.95/471.45 c [392.43] solve iteration 207, LB=-52282, UB=-23687 469.95/471.45 c [393.4] solve iteration 208, LB=-52282, UB=-23687 469.95/471.45 c [394.34] solve iteration 209, LB=-52282, UB=-23687 469.95/471.45 c [395.39] solve iteration 210, LB=-52282, UB=-23687 469.95/471.45 c [397.3] solve iteration 211, LB=-52282, UB=-23788 469.95/471.45 c [398.4] solve iteration 212, LB=-52282, UB=-23788 469.95/471.45 c [399.39] solve iteration 213, LB=-52282, UB=-23788 469.95/471.45 c [400.44] solve iteration 214, LB=-52282, UB=-23788 469.95/471.45 c [401.46] solve iteration 215, LB=-52282, UB=-23788 469.95/471.45 c [414.86] solve iteration 216, LB=-52282, UB=-23799 469.95/471.45 c [415.9] solve iteration 217, LB=-52282, UB=-23799 469.95/471.45 c [416.92] solve iteration 218, LB=-52282, UB=-23799 469.95/471.45 c [418.01] solve iteration 219, LB=-52282, UB=-23799 469.95/471.45 c [419.08] solve iteration 220, LB=-52282, UB=-23799 469.95/471.45 c [431.84] solve iteration 221, LB=-52282, UB=-23879 469.95/471.45 c [432.98] solve iteration 222, LB=-52282, UB=-23879 469.95/471.45 c [434.01] solve iteration 223, LB=-52282, UB=-23879 469.95/471.45 c [435.1] solve iteration 224, LB=-52282, UB=-23879 469.95/471.45 c [436.09] solve iteration 225, LB=-52282, UB=-23879 469.95/471.45 c [437.26] solve iteration 226, LB=-52282, UB=-24120 469.95/471.45 c [438.38] solve iteration 227, LB=-52282, UB=-24120 469.95/471.45 c [439.45] solve iteration 228, LB=-52282, UB=-24120 469.95/471.45 c [440.45] solve iteration 229, LB=-52282, UB=-24120 469.95/471.45 c [441.47] solve iteration 230, LB=-52282, UB=-24120 469.95/471.45 c [443.08] solve iteration 231, LB=-52282, UB=-24608 469.95/471.45 c [444.23] solve iteration 232, LB=-52282, UB=-24608 469.95/471.45 c [445.43] solve iteration 233, LB=-52282, UB=-24608 469.95/471.45 c [446.52] solve iteration 234, LB=-52282, UB=-24608 469.95/471.45 c [447.6] solve iteration 235, LB=-52282, UB=-24608 469.95/471.45 c [461.13] solve iteration 236, LB=-52282, UB=-25229 469.95/471.45 c [462.48] solve iteration 237, LB=-52282, UB=-25229 469.95/471.45 c [463.7] solve iteration 238, LB=-52282, UB=-25229 970.18/973.29 c [464.98] solve iteration 239, LB=-52282, UB=-25229 970.18/973.29 c [466.18] solve iteration 240, LB=-52282, UB=-25229 970.18/973.29 c [549.66] solve iteration 241, LB=-52282, UB=-25229 970.18/973.29 c [550.87] solve iteration 242, LB=-52282, UB=-25229 970.18/973.29 c [552.14] solve iteration 243, LB=-52282, UB=-25229 970.18/973.29 c [553.41] solve iteration 244, LB=-52282, UB=-25229 970.18/973.29 c [554.65] solve iteration 245, LB=-52282, UB=-25229 970.18/973.29 c [572.31] solve iteration 246, LB=-52282, UB=-25288 970.18/973.29 c [573.76] solve iteration 247, LB=-52282, UB=-25288 970.18/973.29 c [575.2] solve iteration 248, LB=-52282, UB=-25288 970.18/973.29 c [576.54] solve iteration 249, LB=-52282, UB=-25288 970.18/973.29 c [577.9] solve iteration 250, LB=-52282, UB=-25288 970.18/973.29 c [646.37] solve iteration 251, LB=-52282, UB=-25467 970.18/973.29 c [647.56] solve iteration 252, LB=-52282, UB=-25467 970.18/973.29 c [648.73] solve iteration 253, LB=-52282, UB=-25467 970.18/973.29 c [649.93] solve iteration 254, LB=-52282, UB=-25467 970.18/973.29 c [651.13] solve iteration 255, LB=-52282, UB=-25467 970.18/973.29 c [673.58] solve iteration 256, LB=-52282, UB=-25477 970.18/973.29 c [674.81] solve iteration 257, LB=-52282, UB=-25477 970.18/973.29 c [676.36] solve iteration 258, LB=-52282, UB=-25477 970.18/973.29 c [677.67] solve iteration 259, LB=-52282, UB=-25477 970.18/973.29 c [679.24] solve iteration 260, LB=-52282, UB=-25477 970.18/973.29 c [684.86] solve iteration 261, LB=-52282, UB=-25486 970.18/973.29 c [686.32] solve iteration 262, LB=-52282, UB=-25486 970.18/973.29 c [687.84] solve iteration 263, LB=-52282, UB=-25486 970.18/973.29 c [689.19] solve iteration 264, LB=-52282, UB=-25486 970.18/973.29 c [690.61] solve iteration 265, LB=-52282, UB=-25486 970.18/973.29 c [788.49] solve iteration 266, LB=-52282, UB=-25486 970.18/973.29 c [790.03] solve iteration 267, LB=-52282, UB=-25486 970.18/973.29 c [791.53] solve iteration 268, LB=-52282, UB=-25486 970.18/973.29 c [792.99] solve iteration 269, LB=-52282, UB=-25486 970.18/973.29 c [794.34] solve iteration 270, LB=-52282, UB=-25486 970.18/973.29 c [795.81] solve iteration 271, LB=-52282, UB=-25490 970.18/973.29 c [797.29] solve iteration 272, LB=-52282, UB=-25490 970.18/973.29 c [798.68] solve iteration 273, LB=-52282, UB=-25490 970.18/973.29 c [800.16] solve iteration 274, LB=-52282, UB=-25490 970.18/973.29 c [801.64] solve iteration 275, LB=-52282, UB=-25490 970.18/973.29 c [805.05] solve iteration 276, LB=-52282, UB=-25558 970.18/973.29 c [806.63] solve iteration 277, LB=-52282, UB=-25558 970.18/973.29 c [808.08] solve iteration 278, LB=-52282, UB=-25558 970.18/973.29 c [809.67] solve iteration 279, LB=-52282, UB=-25558 970.18/973.29 c [811.06] solve iteration 280, LB=-52282, UB=-25558 970.18/973.29 c [841.49] solve iteration 281, LB=-52282, UB=-25774 970.18/973.29 c [842.81] solve iteration 282, LB=-52282, UB=-25774 970.18/973.29 c [844.05] solve iteration 283, LB=-52282, UB=-25774 970.18/973.29 c [845.39] solve iteration 284, LB=-52282, UB=-25774 970.18/973.29 c [846.71] solve iteration 285, LB=-52282, UB=-25774 970.18/973.29 c [849.4] solve iteration 286, LB=-52282, UB=-25971 970.18/973.29 c [850.83] solve iteration 287, LB=-52282, UB=-25971 970.18/973.29 c [852.19] solve iteration 288, LB=-52282, UB=-25971 970.18/973.29 c [853.55] solve iteration 289, LB=-52282, UB=-25971 970.18/973.29 c [854.91] solve iteration 290, LB=-52282, UB=-25971 970.18/973.29 c [868.18] solve iteration 291, LB=-52282, UB=-25997 970.18/973.29 c [869.64] solve iteration 292, LB=-52282, UB=-25997 970.18/973.29 c [871.07] solve iteration 293, LB=-52282, UB=-25997 970.18/973.29 c [872.5] solve iteration 294, LB=-52282, UB=-25997 970.18/973.29 c [873.91] solve iteration 295, LB=-52282, UB=-25997 970.18/973.29 c [878.36] solve iteration 296, LB=-52282, UB=-26073 970.18/973.29 c [879.8] solve iteration 297, LB=-52282, UB=-26073 970.18/973.29 c [881.24] solve iteration 298, LB=-52282, UB=-26073 970.18/973.29 c [882.64] solve iteration 299, LB=-52282, UB=-26073 970.18/973.29 c [884.14] solve iteration 300, LB=-52282, UB=-26073 970.18/973.29 c [890.18] solve iteration 301, LB=-52282, UB=-26356 970.18/973.29 c [891.67] solve iteration 302, LB=-52282, UB=-26356 970.18/973.29 c [893.21] solve iteration 303, LB=-52282, UB=-26356 970.18/973.29 c [894.67] solve iteration 304, LB=-52282, UB=-26356 970.18/973.29 c [896.29] solve iteration 305, LB=-52282, UB=-26356 970.18/973.29 c [941.03] solve iteration 306, LB=-52282, UB=-26474 970.18/973.29 c [942.77] solve iteration 307, LB=-52282, UB=-26474 970.18/973.29 c [944.46] solve iteration 308, LB=-52282, UB=-26474 970.18/973.29 c [946.21] solve iteration 309, LB=-52282, UB=-26474 970.18/973.29 c [947.79] solve iteration 310, LB=-52282, UB=-26474 970.18/973.29 c [952.97] solve iteration 311, LB=-52282, UB=-26492 970.18/973.29 c [954.68] solve iteration 312, LB=-52282, UB=-26492 970.18/973.29 c [956.24] solve iteration 313, LB=-52282, UB=-26492 970.18/973.29 c [957.97] solve iteration 314, LB=-52282, UB=-26492 970.18/973.29 c [959.82] solve iteration
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 (60648 MiB free)
memory of node 1: 64473 MiB (60037 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430946-1721152924/watcher-4430946-1721152924 -o /tmp/evaluation-result-4430946-1721152924/solver-4430946-1721152924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721152937-865562 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4430946-1721152924.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=865620, runsolver pid=865607
[startup+0.100094 s]*
/proc/loadavg: 1.10 1.15 1.85 4/266 865629
/proc/meminfo: memFree=123578732/131524600 swapFree=131071996/131071996
[pid=865620] ppid=865607 vsize=9928 memory=2736 CPUtime=0 cores=5,7
/proc/865620/stat : 865620 (run-glibc-2.34.) S 865607 865620 865549 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 684 134679101440 94115031543808 94115032623128 140727054904384 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94115034721584 94115034768772 94115057176576 140727054910399 140727054910556 140727054910556 140727054917571 0
/proc/865620/statm: 2482 684 603 264 0 133 0
[pid=865628] ppid=865620 vsize=62712 memory=824 CPUtime=0 cores=5,7
/proc/865628/stat : 865628 (ld-linux-x86-64) D 865620 865620 865549 0 -1 4194304 82 0 1 0 0 0 0 0 20 0 1 0 167457447 64217088 206 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 0 0 0 0 0 17 5 0 0 11 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
/proc/865628/statm: 15678 206 180 46 0 254 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 72640 KiB
Current children cumulated memory: 3560 KiB
[startup+0.206547 s]*
/proc/loadavg: 1.10 1.15 1.85 4/266 865629
/proc/meminfo: memFree=123576420/131524600 swapFree=131071996/131071996
[pid=865620] ppid=865607 vsize=9928 memory=2736 CPUtime=0 cores=5,7
/proc/865620/stat : 865620 (run-glibc-2.34.) S 865607 865620 865549 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 684 134679101440 94115031543808 94115032623128 140727054904384 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94115034721584 94115034768772 94115057176576 140727054910399 140727054910556 140727054910556 140727054917571 0
/proc/865620/statm: 2482 684 603 264 0 133 0
[pid=865628] ppid=865620 vsize=78072 memory=1248 CPUtime=0 cores=5,7
/proc/865628/stat : 865628 (ld-linux-x86-64) D 865620 865620 865549 0 -1 4194304 160 0 2 0 0 0 0 0 20 0 1 0 167457447 79945728 312 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 0 0 0 0 0 17 5 0 0 21 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
/proc/865628/statm: 19518 312 273 46 0 250 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 88000 KiB
Current children cumulated memory: 3984 KiB
[startup+0.30546 s]*
/proc/loadavg: 1.10 1.15 1.85 4/266 865629
/proc/meminfo: memFree=123572528/131524600 swapFree=131071996/131071996
[pid=865620] ppid=865607 vsize=9928 memory=2736 CPUtime=0 cores=5,7
/proc/865620/stat : 865620 (run-glibc-2.34.) S 865607 865620 865549 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 684 134679101440 94115031543808 94115032623128 140727054904384 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94115034721584 94115034768772 94115057176576 140727054910399 140727054910556 140727054910556 140727054917571 0
/proc/865620/statm: 2482 684 603 264 0 133 0
[pid=865628] ppid=865620 vsize=78072 memory=3448 CPUtime=0 cores=5,7
/proc/865628/stat : 865628 (ld-linux-x86-64) D 865620 865620 865549 0 -1 4194304 309 0 3 0 0 0 0 0 20 0 1 0 167457447 79945728 862 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 0 0 0 0 0 17 5 0 0 31 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
/proc/865628/statm: 19518 862 679 46 0 133 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 88000 KiB
Current children cumulated memory: 6184 KiB
[startup+0.70024 s]
/proc/loadavg: 1.33 1.19 1.87 8/266 865629
/proc/meminfo: memFree=123484144/131524600 swapFree=131071996/131071996
[pid=865620] ppid=865607 vsize=9928 memory=2736 CPUtime=0 cores=5,7
/proc/865620/stat : 865620 (run-glibc-2.34.) S 865607 865620 865549 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 684 134679101440 94115031543808 94115032623128 140727054904384 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94115034721584 94115034768772 94115057176576 140727054910399 140727054910556 140727054910556 140727054917571 0
/proc/865620/statm: 2482 684 603 264 0 133 0
[pid=865628] ppid=865620 vsize=210952 memory=91528 CPUtime=0.28 cores=5,7
/proc/865628/stat : 865628 (ld-linux-x86-64) R 865620 865620 865549 0 -1 4194304 20167 0 20 0 22 6 0 0 20 0 2 0 167457447 216014848 22882 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 0 0 0 17 5 0 0 42 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
/proc/865628/statm: 52738 22882 2644 46 0 25333 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 220880 KiB
Current children cumulated memory: 94264 KiB
[startup+1.5002 s]
/proc/loadavg: 1.33 1.19 1.87 8/271 865634
/proc/meminfo: memFree=123178320/131524600 swapFree=131071996/131071996
[pid=865620] ppid=865607 vsize=9928 memory=2736 CPUtime=0 cores=5,7
/proc/865620/stat : 865620 (run-glibc-2.34.) S 865607 865620 865549 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 684 134679101440 94115031543808 94115032623128 140727054904384 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94115034721584 94115034768772 94115057176576 140727054910399 140727054910556 140727054910556 140727054917571 0
/proc/865620/statm: 2482 684 603 264 0 133 0
[pid=865628] ppid=865620 vsize=241236 memory=122684 CPUtime=1.07 cores=5,7
/proc/865628/stat : 865628 (ld-linux-x86-64) R 865620 865620 865549 0 -1 4194304 29595 0 20 0 100 7 0 0 20 0 2 0 167457447 247025664 30671 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 0 0 0 17 5 0 0 42 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
/proc/865628/statm: 60309 30671 2644 46 0 32904 0
[pid=865628/tid=865632] ppid=865620 vsize=241236 memory=11648 CPUtime=0 cores=5,7
/proc/865628/task/865632/stat : 865632 (ld-linux-x86-64) S 865620 865620 865549 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 167457506 247025664 30671 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 251164 KiB
Current children cumulated memory: 125420 KiB
[startup+3.10656 s]
/proc/loadavg: 1.33 1.19 1.87 8/272 865635
/proc/meminfo: memFree=122654412/131524600 swapFree=131071996/131071996
[pid=865620] ppid=865607 vsize=9928 memory=2736 CPUtime=0 cores=5,7
/proc/865620/stat : 865620 (run-glibc-2.34.) S 865607 865620 865549 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 684 134679101440 94115031543808 94115032623128 140727054904384 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94115034721584 94115034768772 94115057176576 140727054910399 140727054910556 140727054910556 140727054917571 0
/proc/865620/statm: 2482 684 603 264 0 133 0
[pid=865628] ppid=865620 vsize=241236 memory=122684 CPUtime=2.67 cores=5,7
/proc/865628/stat : 865628 (ld-linux-x86-64) R 865620 865620 865549 0 -1 4194304 29783 0 20 0 260 7 0 0 20 0 2 0 167457447 247025664 30671 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 0 0 0 17 5 0 0 42 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
/proc/865628/statm: 60309 30671 2644 46 0 32904 0
[pid=865628/tid=865632] ppid=865620 vsize=241236 memory=0 CPUtime=0 cores=5,7
/proc/865628/task/865632/stat : 865632 (ld-linux-x86-64) S 865620 865620 865549 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 167457506 247025664 30671 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 251164 KiB
Current children cumulated memory: 125420 KiB
[startup+6.30024 s]
/proc/loadavg: 1.55 1.24 1.88 9/272 865635
/proc/meminfo: memFree=122320364/131524600 swapFree=131071996/131071996
[pid=865620] ppid=865607 vsize=9928 memory=2736 CPUtime=0 cores=5,7
/proc/865620/stat : 865620 (run-glibc-2.34.) S 865607 865620 865549 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 684 134679101440 94115031543808 94115032623128 140727054904384 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94115034721584 94115034768772 94115057176576 140727054910399 140727054910556 140727054910556 140727054917571 0
/proc/865620/statm: 2482 684 603 264 0 133 0
[pid=865628] ppid=865620 vsize=241236 memory=127212 CPUtime=5.86 cores=5,7
/proc/865628/stat : 865628 (ld-linux-x86-64) R 865620 865620 865549 0 -1 4194304 60125 0 20 0 573 13 0 0 20 0 2 0 167457447 247025664 31803 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 0 0 0 17 5 0 0 42 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
/proc/865628/statm: 60309 31803 3752 46 0 32904 0
[pid=865628/tid=865632] ppid=865620 vsize=241236 memory=-8753519449946941025 CPUtime=0 cores=5,7
/proc/865628/task/865632/stat : 865632 (ld-linux-x86-64) S 865620 865620 865549 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 167457506 247025664 31803 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
Current children cumulated CPU time: 5.86 s
Current children cumulated vsize: 251164 KiB
Current children cumulated memory: 129948 KiB
[startup+12.7002 s]
/proc/loadavg: 1.75 1.29 1.89 9/272 865637
/proc/meminfo: memFree=122156760/131524600 swapFree=131071996/131071996
[pid=865620] ppid=865607 vsize=9928 memory=2736 CPUtime=0 cores=5,7
/proc/865620/stat : 865620 (run-glibc-2.34.) S 865607 865620 865549 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 684 134679101440 94115031543808 94115032623128 140727054904384 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94115034721584 94115034768772 94115057176576 140727054910399 140727054910556 140727054910556 140727054917571 0
/proc/865620/statm: 2482 684 603 264 0 133 0
[pid=865628] ppid=865620 vsize=267232 memory=144184 CPUtime=12.25 cores=5,7
/proc/865628/stat : 865628 (ld-linux-x86-64) R 865620 865620 865549 0 -1 4194304 97635 0 20 0 1200 25 0 0 20 0 2 0 167457447 273645568 36046 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 0 0 0 17 5 0 0 42 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
/proc/865628/statm: 66808 36046 3752 46 0 39403 0
[pid=865628/tid=865632] ppid=865620 vsize=267232 memory=8113691611646696603 CPUtime=0 cores=5,7
/proc/865628/task/865632/stat : 865632 (ld-linux-x86-64) S 865620 865620 865549 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 2 0 167457506 273645568 36046 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
Current children cumulated CPU time: 12.25 s
Current children cumulated vsize: 277160 KiB
Current children cumulated memory: 146920 KiB
[startup+25.5002 s]
/proc/loadavg: 2.09 1.38 1.91 9/272 865638
/proc/meminfo: memFree=122164528/131524600 swapFree=131071996/131071996
[pid=865620] ppid=865607 vsize=9928 memory=2736 CPUtime=0 cores=5,7
/proc/865620/stat : 865620 (run-glibc-2.34.) S 865607 865620 865549 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 684 134679101440 94115031543808 94115032623128 140727054904384 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94115034721584 94115034768772 94115057176576 140727054910399 140727054910556 140727054910556 140727054917571 0
/proc/865620/statm: 2482 684 603 264 0 133 0
[pid=865628] ppid=865620 vsize=281428 memory=161760 CPUtime=25.02 cores=5,7
/proc/865628/stat : 865628 (ld-linux-x86-64) R 865620 865620 865549 0 -1 4194304 223980 0 20 0 2432 70 0 0 20 0 2 0 167457447 288182272 40440 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 0 0 0 17 5 0 0 42 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
/proc/865628/statm: 70357 40440 3752 46 0 42952 0
[pid=865628/tid=865632] ppid=865620 vsize=281428 memory=127212 CPUtime=0 cores=5,7
/proc/865628/task/865632/stat : 865632 (ld-linux-x86-64) S 865620 865620 865549 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 2 0 167457506 288182272 40440 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
Current children cumulated CPU time: 25.02 s
Current children cumulated vsize: 291356 KiB
Current children cumulated memory: 164496 KiB
[startup+51.1066 s]
/proc/loadavg: 2.92 1.65 1.99 9/272 865643
/proc/meminfo: memFree=121954152/131524600 swapFree=131071996/131071996
[pid=865620] ppid=865607 vsize=9928 memory=2736 CPUtime=0 cores=5,7
/proc/865620/stat : 865620 (run-glibc-2.34.) S 865607 865620 865549 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 684 134679101440 94115031543808 94115032623128 140727054904384 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94115034721584 94115034768772 94115057176576 140727054910399 140727054910556 140727054910556 140727054917571 0
/proc/865620/statm: 2482 684 603 264 0 133 0
[pid=865628] ppid=865620 vsize=338808 memory=215596 CPUtime=50.57 cores=5,7
/proc/865628/stat : 865628 (ld-linux-x86-64) R 865620 865620 865549 0 -1 4194304 514948 0 20 0 4889 168 0 0 20 0 2 0 167457447 346939392 53899 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 0 0 0 17 5 0 0 42 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
/proc/865628/statm: 84702 53899 3755 46 0 57297 0
[pid=865628/tid=865632] ppid=865620 vsize=338808 memory=2736 CPUtime=0.02 cores=5,7
/proc/865628/task/865632/stat : 865632 (ld-linux-x86-64) S 865620 865620 865549 0 -1 1077936192 35 0 0 0 1 1 0 0 20 0 2 0 167457506 346939392 53899 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
Current children cumulated CPU time: 50.57 s
Current children cumulated vsize: 348736 KiB
Current children cumulated memory: 218332 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 2.03 2.10 9/270 865652
/proc/meminfo: memFree=121715092/131524600 swapFree=131071996/131071996
[pid=865620] ppid=865607 vsize=9928 memory=2736 CPUtime=0 cores=5,7
/proc/865620/stat : 865620 (run-glibc-2.34.) S 865607 865620 865549 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 684 134679101440 94115031543808 94115032623128 140727054904384 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94115034721584 94115034768772 94115057176576 140727054910399 140727054910556 140727054910556 140727054917571 0
/proc/865620/statm: 2482 684 603 264 0 133 0
[pid=865628] ppid=865620 vsize=369348 memory=234348 CPUtime=101.69 cores=5,7
/proc/865628/stat : 865628 (ld-linux-x86-64) R 865620 865620 865549 0 -1 4194304 593696 0 20 0 9964 205 0 0 20 0 2 0 167457447 378212352 58587 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 0 0 0 17 5 0 0 42 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
/proc/865628/statm: 92337 58587 3755 46 0 64932 0
[pid=865628/tid=865632] ppid=865620 vsize=369348 memory=2736 CPUtime=0.05 cores=5,7
/proc/865628/task/865632/stat : 865632 (ld-linux-x86-64) S 865620 865620 865549 0 -1 1077936192 46 0 0 0 2 3 0 0 20 0 2 0 167457506 378212352 58587 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
Current children cumulated CPU time: 101.69 s
Current children cumulated vsize: 379276 KiB
Current children cumulated memory: 237084 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 2.43 2.24 9/270 865663
/proc/meminfo: memFree=121306452/131524600 swapFree=131071996/131071996
[pid=865620] ppid=865607 vsize=9928 memory=2736 CPUtime=0 cores=5,7
/proc/865620/stat : 865620 (run-glibc-2.34.) S 865607 865620 865549 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 684 134679101440 94115031543808 94115032623128 140727054904384 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94115034721584 94115034768772 94115057176576 140727054910399 140727054910556 140727054910556 140727054917571 0
/proc/865620/statm: 2482 684 603 264 0 133 0
[pid=865628] ppid=865620 vsize=468584 memory=305024 CPUtime=161.56 cores=5,7
/proc/865628/stat : 865628 (ld-linux-x86-64) R 865620 865620 865549 0 -1 4194304 671626 0 20 0 15912 244 0 0 20 0 2 0 167457447 479830016 76256 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 0 0 0 17 5 0 0 42 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
/proc/865628/statm: 117146 76256 3755 46 0 89741 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 5.30 4.49 4.17 7/265 866873
/proc/meminfo: memFree=113019544/131524600 swapFree=131071996/131071996
[pid=865620] ppid=865607 vsize=9928 memory=2736 CPUtime=0 cores=5,7
/proc/865620/stat : 865620 (run-glibc-2.34.) S 865607 865620 865549 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 684 134679101440 94115031543808 94115032623128 140727054904384 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94115034721584 94115034768772 94115057176576 140727054910399 140727054910556 140727054910556 140727054917571 0
/proc/865620/statm: 2482 684 603 264 0 133 0
[pid=865628] ppid=865620 vsize=5164284 memory=3938192 CPUtime=3155.92 cores=5,7
/proc/865628/stat : 865628 (ld-linux-x86-64) R 865620 865620 865549 0 -1 4194304 5726845 0 20 0 313852 1740 0 0 20 0 2 0 167457447 5288226816 984548 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 0 0 0 17 5 0 0 42 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
/proc/865628/statm: 1291071 984548 3755 46 0 1263666 0
[pid=865628/tid=865632] ppid=865620 vsize=5164284 memory=2736 CPUtime=1.65 cores=5,7
/proc/865628/task/865632/stat : 865632 (ld-linux-x86-64) S 865620 865620 865549 0 -1 1077936192 220 0 0 0 55 110 0 0 20 0 2 0 167457506 5288226816 984548 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
Current children cumulated CPU time: 3155.92 s
Current children cumulated vsize: 5174212 KiB
Current children cumulated memory: 3940928 KiB
[startup+3222.3 s]
/proc/loadavg: 4.53 4.41 4.16 7/265 867267
/proc/meminfo: memFree=112810076/131524600 swapFree=131071996/131071996
[pid=865620] ppid=865607 vsize=9928 memory=2736 CPUtime=0 cores=5,7
/proc/865620/stat : 865620 (run-glibc-2.34.) S 865607 865620 865549 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 684 134679101440 94115031543808 94115032623128 140727054904384 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94115034721584 94115034768772 94115057176576 140727054910399 140727054910556 140727054910556 140727054917571 0
/proc/865620/statm: 2482 684 603 264 0 133 0
[pid=865628] ppid=865620 vsize=5208552 memory=4057520 CPUtime=3215.83 cores=5,7
/proc/865628/stat : 865628 (ld-linux-x86-64) R 865620 865620 865549 0 -1 4194304 6020492 0 20 0 319821 1762 0 0 20 0 2 0 167457447 5333557248 1014380 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 0 0 0 17 5 0 0 42 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
/proc/865628/statm: 1302138 1014380 3755 46 0 1274733 0
[pid=865628/tid=865632] ppid=865620 vsize=5208552 memory=2736 CPUtime=1.7 cores=5,7
/proc/865628/task/865632/stat : 865632 (ld-linux-x86-64) S 865620 865620 865549 0 -1 1077936192 223 0 0 0 57 113 0 0 20 0 2 0 167457506 5333557248 1014380 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
Current children cumulated CPU time: 3215.83 s
Current children cumulated vsize: 5218480 KiB
Current children cumulated memory: 4060256 KiB
[startup+3282.3 s]
/proc/loadavg: 4.23 4.35 4.16 7/265 867277
/proc/meminfo: memFree=112729852/131524600 swapFree=131071996/131071996
[pid=865620] ppid=865607 vsize=9928 memory=2736 CPUtime=0 cores=5,7
/proc/865620/stat : 865620 (run-glibc-2.34.) S 865607 865620 865549 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 684 134679101440 94115031543808 94115032623128 140727054904384 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94115034721584 94115034768772 94115057176576 140727054910399 140727054910556 140727054910556 140727054917571 0
/proc/865620/statm: 2482 684 603 264 0 133 0
[pid=865628] ppid=865620 vsize=5212920 memory=4137484 CPUtime=3275.75 cores=5,7
/proc/865628/stat : 865628 (ld-linux-x86-64) R 865620 865620 865549 0 -1 4194304 6305822 0 20 0 325790 1785 0 0 20 0 2 0 167457447 5338030080 1034371 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 0 0 0 17 5 0 0 42 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
/proc/865628/statm: 1303230 1034371 3755 46 0 1275825 0
[pid=865628/tid=865632] ppid=865620 vsize=5212920 memory=4107516 CPUtime=1.74 cores=5,7
/proc/865628/task/865632/stat : 865632 (ld-linux-x86-64) S 865620 865620 865549 0 -1 1077936192 226 0 0 0 58 116 0 0 20 0 2 0 167457506 5338030080 1034371 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
Current children cumulated CPU time: 3275.75 s
Current children cumulated vsize: 5222848 KiB
Current children cumulated memory: 4140220 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.30 4.15 7/264 867288
/proc/meminfo: memFree=112555084/131524600 swapFree=131071996/131071996
[pid=865620] ppid=865607 vsize=9928 memory=2736 CPUtime=0 cores=5,7
/proc/865620/stat : 865620 (run-glibc-2.34.) S 865607 865620 865549 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 684 134679101440 94115031543808 94115032623128 140727054904384 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94115034721584 94115034768772 94115057176576 140727054910399 140727054910556 140727054910556 140727054917571 0
/proc/865620/statm: 2482 684 603 264 0 133 0
[pid=865628] ppid=865620 vsize=5303708 memory=4273900 CPUtime=3335.63 cores=5,7
/proc/865628/stat : 865628 (ld-linux-x86-64) R 865620 865620 865549 0 -1 4194304 6644706 0 20 0 331749 1814 0 0 20 0 2 0 167457447 5430996992 1068475 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 0 0 0 17 5 0 0 42 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
/proc/865628/statm: 1325927 1068475 3755 46 0 1298522 0
[pid=865628/tid=865632] ppid=865620 vsize=5303708 memory=4273900 CPUtime=1.79 cores=5,7
/proc/865628/task/865632/stat : 865632 (ld-linux-x86-64) S 865620 865620 865549 0 -1 1077936192 228 0 0 0 60 119 0 0 20 0 2 0 167457506 5430996992 1068475 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
Current children cumulated CPU time: 3335.63 s
Current children cumulated vsize: 5313636 KiB
Current children cumulated memory: 4276636 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.26 4.15 7/267 867469
/proc/meminfo: memFree=112507648/131524600 swapFree=131071996/131071996
[pid=865620] ppid=865607 vsize=9928 memory=2736 CPUtime=0 cores=5,7
/proc/865620/stat : 865620 (run-glibc-2.34.) S 865607 865620 865549 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 684 134679101440 94115031543808 94115032623128 140727054904384 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94115034721584 94115034768772 94115057176576 140727054910399 140727054910556 140727054910556 140727054917571 0
/proc/865620/statm: 2482 684 603 264 0 133 0
[pid=865628] ppid=865620 vsize=5304212 memory=4300512 CPUtime=3395.52 cores=5,7
/proc/865628/stat : 865628 (ld-linux-x86-64) R 865620 865620 865549 0 -1 4194304 6937325 0 20 0 337712 1840 0 0 20 0 2 0 167457447 5431513088 1075128 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 0 0 0 17 5 0 0 42 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
/proc/865628/statm: 1326053 1075128 3755 46 0 1298648 0
[pid=865628/tid=865632] ppid=865620 vsize=5304212 memory=2736 CPUtime=1.84 cores=5,7
/proc/865628/task/865632/stat : 865632 (ld-linux-x86-64) S 865620 865620 865549 0 -1 1077936192 230 0 0 0 62 122 0 0 20 0 2 0 167457506 5431513088 1075128 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
Current children cumulated CPU time: 3395.52 s
Current children cumulated vsize: 5314140 KiB
Current children cumulated memory: 4303248 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.24 4.15 7/267 867479
/proc/meminfo: memFree=112200028/131524600 swapFree=131071996/131071996
[pid=865620] ppid=865607 vsize=9928 memory=2736 CPUtime=0 cores=5,7
/proc/865620/stat : 865620 (run-glibc-2.34.) S 865607 865620 865549 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 684 134679101440 94115031543808 94115032623128 140727054904384 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94115034721584 94115034768772 94115057176576 140727054910399 140727054910556 140727054910556 140727054917571 0
/proc/865620/statm: 2482 684 603 264 0 133 0
[pid=865628] ppid=865620 vsize=5695584 memory=4613704 CPUtime=3455.42 cores=5,7
/proc/865628/stat : 865628 (ld-linux-x86-64) R 865620 865620 865549 0 -1 4194304 7264659 0 20 0 343671 1871 0 0 20 0 2 0 167457447 5832278016 1153426 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 0 0 0 17 5 0 0 42 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
/proc/865628/statm: 1423896 1153426 3755 46 0 1396491 0
[pid=865628/tid=865632] ppid=865620 vsize=5695584 memory=2736 CPUtime=1.87 cores=5,7
/proc/865628/task/865632/stat : 865632 (ld-linux-x86-64) S 865620 865620 865549 0 -1 1077936192 230 0 0 0 63 124 0 0 20 0 2 0 167457506 5832278016 1153426 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
Current children cumulated CPU time: 3455.42 s
Current children cumulated vsize: 5705512 KiB
Current children cumulated memory: 4616440 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.19 4.13 7/266 867492
/proc/meminfo: memFree=112133656/131524600 swapFree=131071996/131071996
[pid=865620] ppid=865607 vsize=9928 memory=2736 CPUtime=0 cores=5,7
/proc/865620/stat : 865620 (run-glibc-2.34.) S 865607 865620 865549 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 684 134679101440 94115031543808 94115032623128 140727054904384 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94115034721584 94115034768772 94115057176576 140727054910399 140727054910556 140727054910556 140727054917571 0
/proc/865620/statm: 2482 684 603 264 0 133 0
[pid=865628] ppid=865620 vsize=5710304 memory=4671032 CPUtime=3515.31 cores=5,7
/proc/865628/stat : 865628 (ld-linux-x86-64) R 865620 865620 865549 0 -1 4194304 7494952 0 20 0 349639 1892 0 0 20 0 2 0 167457447 5847351296 1167758 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 0 0 0 17 5 0 0 42 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
/proc/865628/statm: 1427576 1167758 3755 46 0 1400171 0
[pid=865628/tid=865632] ppid=865620 vsize=5710304 memory=2736 CPUtime=1.91 cores=5,7
/proc/865628/task/865632/stat : 865632 (ld-linux-x86-64) S 865620 865620 865549 0 -1 1077936192 233 0 0 0 64 127 0 0 20 0 2 0 167457506 5847351296 1167758 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
Current children cumulated CPU time: 3515.31 s
Current children cumulated vsize: 5720232 KiB
Current children cumulated memory: 4673768 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.19 4.13 7/266 867514
/proc/meminfo: memFree=112061420/131524600 swapFree=131071996/131071996
[pid=865620] ppid=865607 vsize=9928 memory=2736 CPUtime=0 cores=5,7
/proc/865620/stat : 865620 (run-glibc-2.34.) S 865607 865620 865549 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 684 134679101440 94115031543808 94115032623128 140727054904384 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94115034721584 94115034768772 94115057176576 140727054910399 140727054910556 140727054910556 140727054917571 0
/proc/865620/statm: 2482 684 603 264 0 133 0
[pid=865628] ppid=865620 vsize=5735356 memory=4727460 CPUtime=3575.21 cores=5,7
/proc/865628/stat : 865628 (ld-linux-x86-64) R 865620 865620 865549 0 -1 4194304 7750074 0 20 0 355609 1912 0 0 20 0 2 0 167457447 5873004544 1181865 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 0 0 0 17 5 0 0 42 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
/proc/865628/statm: 1433839 1181865 3755 46 0 1406434 0
[pid=865628/tid=865632] ppid=865620 vsize=5735356 memory=11648 CPUtime=1.95 cores=5,7
/proc/865628/task/865632/stat : 865632 (ld-linux-x86-64) S 865620 865620 865549 0 -1 1077936192 236 0 0 0 66 129 0 0 20 0 2 0 167457506 5873004544 1181865 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
Current children cumulated CPU time: 3575.21 s
Current children cumulated vsize: 5745284 KiB
Current children cumulated memory: 4730196 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.2 s]
/proc/loadavg: 4.09 4.17 4.13 7/266 867517
/proc/meminfo: memFree=112047440/131524600 swapFree=131071996/131071996
[pid=865620] ppid=865607 vsize=9928 memory=2736 CPUtime=0 cores=5,7
/proc/865620/stat : 865620 (run-glibc-2.34.) S 865607 865620 865549 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 167457446 10166272 684 134679101440 94115031543808 94115032623128 140727054904384 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94115034721584 94115034768772 94115057176576 140727054910399 140727054910556 140727054910556 140727054917571 0
/proc/865620/statm: 2482 684 603 264 0 133 0
[pid=865628] ppid=865620 vsize=5735356 memory=4735664 CPUtime=3600.06 cores=5,7
/proc/865628/stat : 865628 (ld-linux-x86-64) R 865620 865620 865549 0 -1 4194304 7945625 0 20 0 358082 1924 0 0 20 0 2 0 167457447 5873004544 1183916 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 0 0 0 17 5 0 0 42 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
/proc/865628/statm: 1433839 1183916 3755 46 0 1406434 0
[pid=865628/tid=865632] ppid=865620 vsize=5735356 memory=12952 CPUtime=1.97 cores=5,7
/proc/865628/task/865632/stat : 865632 (ld-linux-x86-64) S 865620 865620 865549 0 -1 1077936192 236 0 0 0 67 130 0 0 20 0 2 0 167457506 5873004544 1183916 134679101440 140528946659328 140528946846940 140725778417840 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140528948947840 140528948957288 93824998649856 140725778424663 140725778424827 140725778424827 140725778431922 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 5745284 KiB
Current children cumulated memory: 4738400 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.21 s]
# the end of solver process 865620 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.00078 s, system=0.000792 s
[startup+3607.29 s]
# the end of solver process 865628 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3580.83 s, system=19.3384 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3607.29
CPU time (s): 3600.17
CPU user time (s): 3580.83
CPU system time (s): 19.3384
CPU usage (%): 99.8026
Max. virtual memory (cumulated for all children) (KiB): 5779108
Max. memory (cumulated for all children) (KiB): 4756628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.83
system time used= 19.3384
maximum resident set size= 4767208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7945827
page faults= 20
swaps= 0
block input operations= 2888
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357490
involuntary context switches= 3442
# summary of solver processes directly reported to runsolver:
# pid: 865620,865628
# total CPU time (s): 3600.17
# total CPU user time (s): 3580.83
# total CPU system time (s): 19.3384
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.52365 second user time and 16.8258 second system time
The end
Begin job on nodeC023 at 2024-07-16 20:02:17 IDJOB=4430946 IDBENCH=156416 IDSOLVER=3055 FILE ID=nodeC023/4430946-1721152924 RUNJOBID= nodeC023-1721152937-865562 SLURM_JOB_ID= 7505756 Free space on /tmp= 890076 MiB SOLVER NAME= IPBHS-GUROBI-SYM 2024-07-09 BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_50null20mast_rapportOE2.0_TMAX300_K67_cod1.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-4430946-1721152924/watcher-4430946-1721152924 -o /tmp/evaluation-result-4430946-1721152924/solver-4430946-1721152924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721152937-865562 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4430946-1721152924.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b3d827c1cec2288f345531c85d1b4d53 RANDOM SEED=2010105108 nodeC023.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 : 3610.489 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.61 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 : 3832.671 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.48 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 : 3838.188 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.61 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 : 3632.069 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.48 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 : 3618.641 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.61 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 : 3608.605 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.48 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 : 3818.852 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.61 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 : 3853.722 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.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123584552 kB MemAvailable: 129629932 kB Buffers: 443016 kB Cached: 6367828 kB SwapCached: 0 kB Active: 828736 kB Inactive: 6352468 kB Active(anon): 1480 kB Inactive(anon): 406924 kB Active(file): 827256 kB Inactive(file): 5945544 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 204244 kB Writeback: 0 kB AnonPages: 370760 kB Mapped: 103856 kB Shmem: 37720 kB KReclaimable: 224804 kB Slab: 348428 kB SReclaimable: 224804 kB SUnreclaim: 123624 kB KernelStack: 3916 kB PageTables: 9976 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 803584 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 63360 kB HardwareCorrupted: 0 kB AnonHugePages: 253952 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: 291540 kB DirectMap2M: 36182016 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 889860 MiB End job on nodeC023 at 2024-07-16 21:02:25