Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | SAT | 144 | 3586.87 | 3597.54 |
| Name | PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_inf.opb |
| MD5SUM | b9738ec4eef81a08a451499c860dc376 |
| 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 | 4 |
| Best CPU time to get the best result obtained on this benchmark | 111.609 |
| 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 | 1450 |
| Total number of constraints | 2030 |
| Number of constraints which are clauses | 941 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1088 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 785 |
| Number of terms in the objective function | 157 |
| Biggest coefficient in the objective function | 65 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 231 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 438 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 1634 |
| Number of bits of the biggest sum of numbers | 11 |
| 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.02 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.02 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-4523664-1751594611.opb>
0.21/0.27 c original problem has 1450 variables (1450 bin, 0 int, 0 impl, 0 cont) and 2030 constraints
0.21/0.27 c problem read in 0.25
0.31/0.41 c presolving:
0.78/0.86 c (round 1, fast) 2 del vars, 2 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 940 clqs
0.78/0.86 c (round 2, fast) 2 del vars, 11 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 940 clqs
0.99/1.07 c (1.1s) running MILP presolver
20.13/20.22 c (20.2s) MILP presolver (2 rounds): 0 aggregations, 1 fixings, 0 bound changes
20.13/20.23 c (round 3, exhaustive) 3 del vars, 16 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 935 clqs
20.23/20.35 c (round 4, exhaustive) 3 del vars, 16 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 2004 upgd conss, 0 impls, 935 clqs
21.73/21.84 c (round 5, exhaustive) 3 del vars, 16 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 2014 upgd conss, 0 impls, 935 clqs
24.03/24.16 c (24.1s) probing: 205/1447 (14.2%) - 0 fixings, 0 aggregations, 62068 implications, 0 bound changes
24.03/24.16 c (24.1s) probing aborted: 50/50 successive totally useless probings
24.31/24.40 c (24.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
24.31/24.49 c (24.5s) no symmetry present (symcode time: 0.00)
24.41/24.59 c presolving (6 rounds: 6 fast, 4 medium, 4 exhaustive):
24.41/24.59 c 3 deleted vars, 16 deleted constraints, 0 added constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
24.41/24.59 c 0 implications, 63003 cliques
24.41/24.59 c presolved problem has 1447 variables (1447 bin, 0 int, 0 impl, 0 cont) and 2014 constraints
24.41/24.59 c 1079 constraints of type <knapsack>
24.41/24.59 c 935 constraints of type <setppc>
24.41/24.59 c transformed objective value is always integral (scale: 1)
24.41/24.59 c Presolving Time: 24.18
24.41/24.59 c - non default parameters ----------------------------------------------------------------------
24.41/24.59 c # SCIP version 10.0.0
24.41/24.59 c
24.41/24.59 c # maximal time in seconds to run
24.41/24.59 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
24.41/24.59 c limits/time = 3596.993158
24.41/24.59 c
24.41/24.59 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
24.41/24.59 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
24.41/24.59 c limits/memory = 27900
24.41/24.59 c
24.41/24.59 c # belongs reading time to solving time?
24.41/24.59 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
24.41/24.59 c timing/reading = TRUE
24.41/24.59 c
24.41/24.59 c -----------------------------------------------------------------------------------------------
24.41/24.59 c start solving
24.41/24.59 c
29.10/29.27 o 157
29.10/29.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
29.10/29.27 c p29.2s| 1 | 0 | 529 | - |shiftand| 0 |1447 |2028 |2014 | 0 | 0 | 16 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
29.20/29.35 c 29.3s| 1 | 0 | 998 | - | 358M | 0 |1447 |2018 |2014 | 0 | 0 | 16 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
49.54/49.72 c 49.7s| 1 | 0 | 2126 | - | 387M | 0 |1447 |2199 |2198 | 184 | 1 | 17 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
50.13/50.38 c 50.4s| 1 | 0 | 2430 | - | 414M | 0 |1447 |2199 |2360 | 346 | 2 | 17 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
50.73/50.97 c 51.0s| 1 | 0 | 2692 | - | 433M | 0 |1447 |2199 |2643 | 629 | 3 | 17 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
51.23/51.49 c 51.5s| 1 | 0 | 2824 | - | 452M | 0 |1447 |2199 |2744 | 730 | 4 | 17 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
51.73/51.97 c 52.0s| 1 | 0 | 2950 | - | 477M | 0 |1447 |2199 |2820 | 806 | 5 | 17 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
52.23/52.46 c 52.4s| 1 | 0 | 3056 | - | 487M | 0 |1447 |2199 |2880 | 866 | 6 | 17 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
53.02/53.26 c 53.2s| 1 | 0 | 3181 | - | 514M | 0 |1447 |2199 |2957 | 943 | 7 | 17 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
53.63/53.81 c 53.8s| 1 | 0 | 3294 | - | 530M | 0 |1447 |2199 |3030 |1016 | 8 | 17 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
54.12/54.32 c 54.3s| 1 | 0 | 3394 | - | 559M | 0 |1447 |2199 |3091 |1077 | 9 | 17 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
54.62/54.87 c 54.9s| 1 | 0 | 3486 | - | 565M | 0 |1447 |2199 |3144 |1130 | 10 | 17 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
54.93/55.16 c 55.1s| 1 | 0 | 3571 | - | 570M | 0 |1447 |2199 |3210 |1196 | 11 | 17 | 0 | 1.000000e+00 | 1.570000e+02 | Large | unknown
57.41/57.64 c 57.6s| 1 | 2 | 9347 | - | 570M | 0 |1447 |2209 |3210 |1196 | 11 | 27 | 13 | 1.000000e+00 | 1.570000e+02 | Large | unknown
351.22/352.32 c 352s| 100 | 101 | 63054 | 606.2 | 592M | 11 |1447 |2256 |2147 |1827 | 1 | 77 | 39 | 1.000000e+00 | 1.570000e+02 | Large | unknown
491.89/493.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
491.89/493.41 c 493s| 200 | 201 |107771 | 526.3 | 605M | 21 |1447 |2269 |2266 |3156 | 2 | 91 | 199 | 1.000000e+00 | 1.570000e+02 | Large | unknown
604.93/606.84 c 607s| 300 | 293 |153884 | 504.5 | 613M | 21 |1447 |2281 |2271 |4029 | 2 | 118 | 426 | 1.000000e+00 | 1.570000e+02 | Large | 0.36%
848.19/850.99 c 851s| 400 | 389 |532042 |1325.8 | 617M | 21 |1447 |2308 |2169 |5211 | 1 | 147 | 449 | 1.000000e+00 | 1.570000e+02 | Large | 0.47%
1121.18/1124.80 c 1125s| 500 | 485 |873866 |1745.1 | 618M | 21 |1447 |2326 |2177 |6569 | 1 | 169 | 468 | 1.000000e+00 | 1.570000e+02 | Large | 0.83%
1226.41/1230.49 o 144
1226.41/1230.49 c L1230s| 539 | 524 | 1074k|1991.8 | rins| 25 |1447 |2326 |2257 |7010 | 1 | 173 | 497 | 1.000000e+00 | 1.440000e+02 | Large | 0.83%
1449.99/1454.77 c 1455s| 600 | 581 | 1431k|2384.2 | 619M | 31 |1447 |2336 |2428 |7692 | 8 | 186 | 675 | 1.000000e+00 | 1.440000e+02 | Large | 0.83%
1768.38/1774.05 c 1774s| 700 | 660 | 1928k|2755.0 | 619M | 31 |1447 |2535 |2315 |8850 | 1 | 429 |1209 | 1.000000e+00 | 1.440000e+02 | Large | 0.83%
2101.26/2107.89 c 2108s| 800 | 749 | 2499k|3124.5 | 616M | 35 |1447 |2540 |2262 | 10k| 1 | 442 |1296 | 1.000000e+00 | 1.440000e+02 | Large | 0.83%
2442.20/2449.75 c 2450s| 900 | 831 | 2957k|3286.8 | 617M | 35 |1447 |2688 |2217 | 11k| 1 | 690 |1792 | 1.000000e+00 | 1.440000e+02 | Large | 0.83%
2740.20/2748.54 c 2749s| 1000 | 924 | 3500k|3500.7 | 618M | 35 |1447 |2684 |2245 | 12k| 1 | 694 |1849 | 1.000000e+00 | 1.440000e+02 | Large | 0.83%
2873.94/2882.69 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
2873.94/2882.69 c (run 1, node 1047) performing user restart
2873.94/2882.69 c
2873.94/2882.70 c (restart) converted 217 cuts from the global cut pool into linear constraints
2874.04/2882.70 c
2874.04/2882.74 c presolving:
2874.14/2882.80 c (round 1, fast) 33 del vars, 46 del conss, 0 add conss, 0 chg bounds, 421 chg sides, 455 chg coeffs, 0 upgd conss, 0 impls, 58135 clqs
2874.14/2882.85 c (round 2, fast) 33 del vars, 46 del conss, 0 add conss, 0 chg bounds, 802 chg sides, 836 chg coeffs, 0 upgd conss, 0 impls, 58135 clqs
2894.79/2903.51 c (round 3, medium) 34 del vars, 47 del conss, 3 add conss, 0 chg bounds, 816 chg sides, 853 chg coeffs, 0 upgd conss, 0 impls, 57994 clqs
2894.99/2903.71 c (round 4, exhaustive) 34 del vars, 47 del conss, 3 add conss, 0 chg bounds, 816 chg sides, 1248 chg coeffs, 0 upgd conss, 0 impls, 57994 clqs
2903.47/2912.21 c (round 5, exhaustive) 34 del vars, 57 del conss, 3 add conss, 0 chg bounds, 823 chg sides, 1257 chg coeffs, 0 upgd conss, 0 impls, 57994 clqs
2903.57/2912.34 c (round 6, exhaustive) 34 del vars, 57 del conss, 3 add conss, 0 chg bounds, 823 chg sides, 1257 chg coeffs, 382 upgd conss, 0 impls, 57994 clqs
2904.47/2913.25 c (round 7, medium) 34 del vars, 57 del conss, 25 add conss, 0 chg bounds, 917 chg sides, 1373 chg coeffs, 382 upgd conss, 0 impls, 57994 clqs
2904.66/2913.40 c (round 8, exhaustive) 34 del vars, 77 del conss, 25 add conss, 0 chg bounds, 917 chg sides, 1485 chg coeffs, 382 upgd conss, 0 impls, 57994 clqs
2904.86/2913.65 c (round 9, exhaustive) 34 del vars, 81 del conss, 25 add conss, 0 chg bounds, 917 chg sides, 1486 chg coeffs, 382 upgd conss, 0 impls, 57994 clqs
2905.06/2913.83 c presolving (10 rounds: 10 fast, 8 medium, 6 exhaustive):
2905.06/2913.83 c 34 deleted vars, 81 deleted constraints, 25 added constraints, 0 tightened bounds, 0 added holes, 917 changed sides, 1486 changed coefficients
2905.06/2913.83 c 0 implications, 57994 cliques
2905.06/2913.83 c presolved problem has 1413 variables (1413 bin, 0 int, 0 impl, 0 cont) and 2851 constraints
2905.06/2913.83 c 1279 constraints of type <knapsack>
2905.06/2913.83 c 994 constraints of type <setppc>
2905.06/2913.83 c 61 constraints of type <linear>
2905.06/2913.83 c 517 constraints of type <logicor>
2905.06/2913.83 c transformed objective value is always integral (scale: 1)
2905.06/2913.83 c Presolving Time: 55.27
2905.06/2913.83 c
2906.96/2915.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2906.96/2915.79 c 2916s| 1 | 0 | 3703k| - | 560M | 0 |1413 |2851 |2218 | 0 | 0 | 704 |1852 | 1.000000e+00 | 1.440000e+02 | Large | unknown
2926.51/2935.35 c 2935s| 1 | 0 | 3707k| - | 571M | 0 |1413 |3052 |2369 | 151 | 1 | 705 |1852 | 1.000000e+00 | 1.440000e+02 | Large | unknown
2929.00/2937.84 c 2938s| 1 | 0 | 3711k| - | 574M | 0 |1413 |3053 |2580 | 362 | 2 | 706 |1852 | 1.000000e+00 | 1.440000e+02 | Large | unknown
2930.50/2939.39 c 2939s| 1 | 0 | 3714k| - | 574M | 0 |1413 |3054 |2738 | 520 | 3 | 707 |1852 | 1.000000e+00 | 1.440000e+02 | Large | unknown
2933.09/2941.90 c 2942s| 1 | 0 | 3718k| - | 578M | 0 |1413 |3055 |2876 | 658 | 4 | 708 |1852 | 1.000000e+00 | 1.440000e+02 | Large | unknown
2936.58/2945.48 c 2945s| 1 | 0 | 3724k| - | 585M | 0 |1413 |3056 |2988 | 770 | 5 | 709 |1852 | 1.000000e+00 | 1.440000e+02 | Large | unknown
2939.87/2948.78 c 2949s| 1 | 0 | 3730k| - | 592M | 0 |1413 |3057 |3089 | 871 | 6 | 710 |1852 | 1.000000e+00 | 1.440000e+02 | Large | unknown
2944.27/2953.13 c 2953s| 1 | 0 | 3737k| - | 589M | 0 |1413 |3058 |3170 | 952 | 7 | 711 |1852 | 1.000000e+00 | 1.440000e+02 | Large | unknown
2948.04/2956.90 c 2957s| 1 | 0 | 3743k| - | 597M | 0 |1413 |3059 |3254 |1036 | 8 | 712 |1852 | 1.000000e+00 | 1.440000e+02 | Large | unknown
2952.33/2961.23 c 2961s| 1 | 0 | 3750k| - | 610M | 0 |1413 |3060 |3332 |1114 | 9 | 713 |1852 | 1.000000e+00 | 1.440000e+02 | Large | unknown
2958.41/2967.38 c 2967s| 1 | 0 | 3759k| - | 625M | 0 |1413 |3061 |3409 |1191 | 10 | 714 |1852 | 1.000000e+00 | 1.440000e+02 | Large | unknown
2959.71/2968.60 c 2969s| 1 | 0 | 3761k| - | 626M | 0 |1413 |3062 |3486 |1268 | 11 | 715 |1852 | 1.000000e+00 | 1.440000e+02 | Large | unknown
2999.68/3008.73 c 3009s| 1 | 2 | 3788k| - | 626M | 0 |1413 |3073 |3486 |1268 | 11 | 726 |1881 | 1.000000e+00 | 1.440000e+02 | Large | unknown
3501.26/3511.78 c 3512s| 100 | 86 | 4317k|3710.0 | 672M | 15 |1413 |3146 |2198 |2004 | 2 | 875 |2573 | 1.000000e+00 | 1.440000e+02 | Large | 0.89%
3586.43/3597.18 c
3586.43/3597.18 c SCIP Status : solving was interrupted [time limit reached]
3586.43/3597.18 c Solving Time (sec) : 3597.16
3586.43/3597.18 c Solving Nodes : 184 (total of 1231 nodes in 2 runs)
3586.43/3597.18 c Primal Bound : +1.44000000000000e+02 (2 solutions)
3586.43/3597.18 c Dual Bound : +1.00000000000000e+00
3586.43/3597.18 c Gap : 14300.00 %
3586.43/3597.19 s SATISFIABLE
3586.43/3597.19 v -x794 -x793 -x792 -x791 -x790 x789 -x788 -x787 -x786 -x785 x1293 x1292 -x1291 x1290 x1289 -x1288 -x1287 -x1286 x1285 -x1284 -x1283
3586.43/3597.19 v x1282 -x1281 x1280 x1279 x1278 -x1277 -x1276 x1275 x1274 -x1273 x1272 x1271 x1270 x1269 x1268 x1267 x1266 x1265 x1264 x1263
3586.43/3597.19 v -x1262 x1261 -x1260 x1259 -x1258 x1257 x1256 x1255 x1254 -x1253 x1252 x1251 -x1250 x1249 x1248 -x1247 -x1246 -x1245 -x1244
3586.43/3597.19 v -x1243 -x1242 x1241 x1240 x1239 x1238 x1237 x1236 -x1235 -x1234 -x1233 -x1232 x1231 x1230 -x1229 -x1228 x1227 -x1226 x1225 x1224
3586.43/3597.19 v x1223 -x1222 x1221 -x1220 x1219 x1218 -x1217 x1216 -x1215 x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 x1206 x1205
3586.43/3597.19 v -x1204 x1203 -x1202 x1201 -x1200 -x1199 x1198 x1197 x1196 -x1195 x1194 x1193 x1192 -x1191 -x1190 x1189 x1188 -x1187 x1186
3586.43/3597.19 v -x1185 x1184 x1183 x1182 -x1181 x1180 x1179 x1178 x1177 -x1176 -x1175 x1174 -x1173 x1172 -x1171 x1170 -x1169 -x1168 x1167 -x1166
3586.43/3597.19 v x1165 x1164 -x1163 -x1162 -x1161 -x1160 -x1159 x1158 x1157 -x1156 -x1155 x1154 -x1153 x1152 x1151 -x1150 -x1149 x1148 -x1147
3586.43/3597.19 v -x1146 -x1145 x1144 -x1143 x1142 -x1141 -x1140 x1139 x1138 x1137 -x1136 -x1135 -x1134 x1133 -x1132 x1131 -x1130 x1129 x1128
3586.43/3597.19 v x1127 -x1126 -x1125 -x1124 x1123 x1122 -x1121 x1120 x1119 -x1118 -x1117 -x1116 -x1115 x1114 x1113 -x1112 -x1111 -x1110 -x1109
3586.43/3597.19 v x1108 x1107 -x1106 -x1105 x1104 x1103 x1102 x1101 x1100 x1099 -x1098 x1097 x1096 -x1095 -x1094 -x1093 -x1092 x1091 -x1090
3586.43/3597.19 v -x1089 -x1088 x1087 -x1086 x1085 -x1084 x1083 x1082 -x1081 x1080 x1079 -x1078 x1077 x1076 x1075 -x1074 x1073 x1072 -x1071
3586.43/3597.19 v x1070 -x1069 -x1068 x1067 x1066 x1065 x1064 x1063 x1062 -x1061 x1060 x1059 x1058 x1057 x1056 -x1055 x1054 -x1053 -x1052 -x1051
3586.43/3597.19 v x1050 x1049 -x1048 -x1047 -x1046 x1045 -x1044 -x1043 -x1042 x1041 -x1040 x1039 -x1038 x1037 -x1036 -x1035 x1034 -x1033 x1032
3586.43/3597.19 v -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 x1025 x1024 -x1023 x1022 x1021 x1020 x1019 -x1018 -x1017 -x1016 x1015 x1014 x1013
3586.43/3597.19 v -x1012 -x1011 x1010 -x1009 -x1008 -x1007 x1006 x1005 -x1004 -x1003 -x1002 -x1001 -x1000 x999 x998 -x997 x996 x995 x994 x993
3586.43/3597.19 v x992 x991 x990 -x989 x988 -x987 -x986 x985 x984 -x983 -x982 -x981 x980 x979 x978 x977 -x976 -x975 -x974 -x973 x972 x971 -x970
3586.43/3597.19 v x969 x968 x967 x966 -x965 -x964 x963 x962 x961 -x960 -x959 -x958 -x957 -x956 x955 x954 -x953 -x952 x951 x950 -x949 -x948 x947
3586.43/3597.19 v x946 -x945 -x944 -x943 -x942 x941 x940 x939 x938 -x937 -x936 -x935 x934 -x933 x932 -x931 x930 x929 -x928 -x927 x926 -x925 -x924
3586.43/3597.19 v x923 -x922 x921 x920 x919 -x918 x917 x916 -x915 x914 x913 x912 x911 -x910 -x909 -x908 -x907 -x906 -x905 x904 -x903 x902
3586.43/3597.19 v x901 x900 x899 -x898 -x897 -x896 x895 -x894 x893 x892 -x891 -x890 x889 x888 x887 x886 x885 -x884 -x883 -x882 -x881 -x880 x879
3586.43/3597.19 v -x878 x877 -x876 x875 -x874 x873 -x872 -x871 -x870 -x869 x868 -x867 x866 -x865 -x864 x863 x862 x861 x860 -x859 -x858 -x857 x856
3586.43/3597.19 v -x855 x854 -x853 x852 -x851 x850 -x849 x848 -x847 -x846 -x845 x844 x843 -x842 x841 x840 -x839 x838 x837 x836 x835 x834 x833
3586.43/3597.19 v -x832 x831 x830 -x829 x828 -x827 x826 x825 x824 -x823 -x822 -x821 -x820 -x819 x818 x817 -x816 x815 x814 -x813 -x812 x811 -x810
3586.43/3597.19 v x809 x808 -x807 -x806 -x805 -x804 x803 x802 -x801 -x800 -x799 x798 -x797 x796 -x784 -x783 -x782 -x781 x780 -x779 -x778 -x777
3586.43/3597.19 v -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756
3586.43/3597.19 v -x755 -x754 -x753 -x752 -x751 -x750 x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735
3586.43/3597.19 v -x734 x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714
3586.43/3597.19 v -x713 -x712 -x711 -x710 -x709 -x708 x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 x696 -x695 -x694 -x693
3586.43/3597.19 v -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 x679 -x678 -x677 x676 -x675 x674 -x673 -x672
3586.43/3597.19 v -x671 -x670 -x669 x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 x653 -x652 -x651
3586.43/3597.19 v -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630
3586.43/3597.19 v -x629 -x628 -x627 x626 x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609
3586.43/3597.19 v -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588
3586.43/3597.19 v -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 x570 x569 -x568 -x567 -x566
3586.43/3597.19 v -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546
3586.43/3597.19 v -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525
3586.43/3597.19 v -x524 -x523 -x522 x521 -x520 -x519 -x518 -x517 -x516 -x515 x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503
3586.43/3597.19 v -x502 -x501 -x500 -x499 -x498 -x497 x496 -x495 x494 x493 -x492 x491 -x490 -x489 -x488 -x487 -x486 x485 -x484 -x483 -x482
3586.43/3597.19 v -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 x468 -x467 -x466 -x465 -x464 -x463 -x462 x461 -x460
3586.43/3597.19 v -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 -x440 -x439
3586.43/3597.19 v -x438 -x437 x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418
3586.43/3597.19 v -x417 -x416 -x415 x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397
3586.43/3597.19 v -x396 -x395 -x394 -x393 -x392 -x391 -x390 x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376
3586.43/3597.19 v -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355
3586.43/3597.19 v -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334
3586.43/3597.19 v -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 x318 -x317 -x316 -x315 -x314 -x313
3586.43/3597.19 v -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292
3586.43/3597.19 v -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 x273 -x272 -x271
3586.43/3597.19 v -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 -x250
3586.43/3597.19 v -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229
3586.43/3597.19 v -x228 -x227 -x226 -x225 -x224 x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207
3586.43/3597.19 v -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 x194 x193 -x192 -x191 -x190 -x189 -x188 x187 -x186
3586.43/3597.19 v -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 x170 x169 -x168 -x167 -x166 -x165
3586.43/3597.19 v -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143
3586.43/3597.19 v x142 -x141 -x140 -x139 -x138 x137 -x136 x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122
3586.43/3597.19 v -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
3586.43/3597.19 v -x99 -x98 -x97 -x96 -x95 x94 x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75
3586.43/3597.19 v -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 x50 -x49
3586.43/3597.19 v x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 x26 -x25 -x24 -x23
3586.43/3597.19 v x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1 x795 -x1450 -x1449 -x1448 -x1447
3586.43/3597.19 v -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 x1437 x1436 x1435 x1434 x1433 x1432 x1431 x1430 x1429 x1428
3586.43/3597.19 v x1427 x1426 x1425 x1424 x1423 x1422 x1421 x1420 x1419 x1418 x1417 x1416 x1415 x1414 x1413 x1412 x1411 x1410 x1409 x1408 x1407
3586.43/3597.19 v x1406 x1405 x1404 x1403 x1402 x1401 x1400 x1399 x1398 x1397 x1396 x1395 x1394 x1393 x1392 x1391 x1390 x1389 x1388 x1387
3586.43/3597.19 v x1386 x1385 x1384 x1383 x1382 x1381 x1380 x1379 x1378 x1377 x1376 x1375 x1374 x1373 x1372 x1371 x1370 x1369 x1368 x1367 x1366
3586.43/3597.19 v x1365 x1364 x1363 x1362 x1361 x1360 x1359 x1358 x1357 x1356 x1355 x1354 x1353 x1352 x1351 x1350 x1349 x1348 x1347 x1346 x1345
3586.43/3597.19 v x1344 x1343 x1342 x1341 x1340 x1339 x1338 x1337 x1336 x1335 x1334 x1333 x1332 x1331 x1330 x1329 x1328 x1327 x1326 x1325 x1324
3586.43/3597.19 v x1323 x1322 x1321 x1320 x1319 x1318 x1317 x1316 x1315 x1314 x1313 x1312 x1311 x1310 x1309 x1308 x1307 x1306 x1305 x1304 x1303
3586.43/3597.19 v x1302 x1301 x1300 x1299 x1298 x1297 x1296 x1295 x1294
3586.43/3597.19 c SCIP Status : solving was interrupted [time limit reached]
3586.43/3597.19 c Total Time : 3597.16
3586.43/3597.19 c solving : 3597.16
3586.43/3597.19 c presolving : 55.27 (included in solving)
3586.43/3597.19 c reading : 0.25 (included in solving)
3586.43/3597.19 c copying : 3.44 (77 #copies) (minimal 0.04, maximal 0.05, average 0.04)
3586.43/3597.19 c Original Problem :
3586.43/3597.19 c Problem name : HOME/instance-4523664-1751594611.opb
3586.43/3597.19 c Variables : 1450 (1450 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.43/3597.19 c Constraints : 2030 initial, 2030 maximal
3586.43/3597.19 c Objective : minimize, 157 non-zeros (abs.min = 1, abs.max = 65)
3586.43/3597.19 c Presolved Problem :
3586.43/3597.19 c Problem name : t_HOME/instance-4523664-1751594611.opb
3586.43/3597.19 c Variables : 1413 (1413 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.43/3597.19 c Constraints : 2851 initial, 3184 maximal
3586.43/3597.19 c Objective : minimize, 142 non-zeros (abs.min = 1, abs.max = 1)
3586.43/3597.19 c Nonzeros : 483154 constraint, 115995 clique table
3586.43/3597.19 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.43/3597.19 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c domcol : 0.15 0.00 2 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c dualsparsify : 0.24 0.00 1 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c gateextraction : 0.01 0.00 6 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c implics : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c milp : 19.35 0.00 1 1 0 0 0 0 0 0 0 0
3586.43/3597.19 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c sparsify : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c trivial : 0.00 0.00 16 28 0 0 0 0 0 0 0 0
3586.43/3597.19 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c dualfix : 0.00 0.00 16 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c probing : 2.18 0.00 1 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c symmetry : 0.09 0.00 1 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c knapsack : 32.21 0.01 30 0 0 0 0 0 1 25 889 1332
3586.43/3597.19 c setppc : 0.01 0.00 29 5 1 0 0 0 25 0 0 0
3586.43/3597.19 c linear : 0.58 0.10 23 1 1 0 1 0 26 0 28 55
3586.43/3597.19 c logicor : 0.16 0.01 21 0 0 0 0 0 45 0 0 99
3586.43/3597.19 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c components : 0.18 0.00 2 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c root node : - - - 28 - - 28 - - - - -
3586.43/3597.19 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.43/3597.19 c benderslp : 0 0 0 0 1370 0 0 251 0 0 0 0 0 0 0
3586.43/3597.19 c integral : 0 0 0 0 1370 0 0 251 0 0 457 0 0 514 2348
3586.43/3597.19 c knapsack : 1279 1279 22 49798 0 0 0 244 5872 74 1968 4725 0 0 0
3586.43/3597.19 c setppc : 994 994 22 49705 0 0 0 2 142281 24 30209 7 0 0 0
3586.43/3597.19 c linear : 61+ 274 23 44825 0 0 0 3 19 27 13 0 0 0 0
3586.43/3597.19 c logicor : 517+ 690 22 5548 0 0 0 0 152 41 217 36 2 0 0
3586.43/3597.19 c benders : 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0
3586.43/3597.19 c fixedvar : 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0
3586.43/3597.19 c countsols : 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0
3586.43/3597.19 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.43/3597.19 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.19 c integral : 371.44 0.00 0.00 0.00 371.44 0.00 0.00 0.00 0.00 0.00
3586.43/3597.19 c knapsack : 17.46 0.01 2.04 11.54 0.00 0.00 0.00 0.03 0.16 3.68
3586.43/3597.19 c setppc : 4.33 0.00 0.00 3.29 0.00 0.00 0.00 0.00 0.03 1.00
3586.43/3597.19 c linear : 0.28 0.10 0.02 0.12 0.00 0.00 0.00 0.00 0.00 0.05
3586.43/3597.19 c logicor : 0.06 0.01 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.03
3586.43/3597.19 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.19 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.19 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.19 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.19 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.43/3597.19 c dualfix : 4 0 0 0
3586.43/3597.19 c genvbounds : 0 0 0 0
3586.43/3597.19 c nlobbt : 0 0 0 0
3586.43/3597.19 c obbt : 0 0 0 0
3586.43/3597.19 c probing : 0 0 0 0
3586.43/3597.19 c pseudoobj : 7523 0 0 7
3586.43/3597.19 c redcost : 3210 0 0 0
3586.43/3597.19 c rootredcost : 3 0 0 18
3586.43/3597.19 c symmetry : 0 0 0 0
3586.43/3597.19 c vbounds : 24447 0 0 0
3586.43/3597.19 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.43/3597.19 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.19 c genvbounds : 0.01 0.00 0.00 0.00 0.00 0.00
3586.43/3597.19 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.19 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.19 c probing : 2.18 0.00 2.18 0.00 0.00 0.00
3586.43/3597.19 c pseudoobj : 0.09 0.00 0.00 0.09 0.00 0.00
3586.43/3597.19 c redcost : 0.08 0.00 0.00 0.08 0.00 0.00
3586.43/3597.19 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.43/3597.19 c symmetry : 0.10 0.00 0.09 0.01 0.00 0.01
3586.43/3597.19 c vbounds : 0.02 0.00 0.00 0.01 0.00 0.01
3586.43/3597.19 c Symmetry :
3586.43/3597.19 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.43/3597.19 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.43/3597.19 c lexicographic red: 0 reductions applied, 0 cutoffs
3586.43/3597.19 c shadow tree time : 0.00 s
3586.43/3597.19 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.43/3597.19 c propagation : 0.10 141 101 - 282 444.4 0 0.0 - - -
3586.43/3597.19 c infeasible LP : 0.43 481 414 - 929 109.0 0 0.0 307 353.1 0
3586.43/3597.19 c bound exceed. LP : 0.27 64 0 - 0 0.0 0 0.0 0 0.0 640
3586.43/3597.19 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.43/3597.19 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.43/3597.19 c applied globally : 0.04 - - 0 624 29.4 - - 307 - -
3586.43/3597.19 c applied locally : - - - 0 2 705.0 - - 0 - -
3586.43/3597.19 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.43/3597.19 c cut pool : 2.08 - 507 42 - - 19967 146358 - - - - - (maximal pool size: 10319)
3586.43/3597.19 c aggregation : 3.29 0.00 76 22 0 0 12633 80486 0 6659 6659 0 0
3586.43/3597.19 c > cmir : - - - - - - - 42188 0 3514 3514 0 -
3586.43/3597.19 c > flowcover : - - - - - - - 12284 0 2534 2534 0 -
3586.43/3597.19 c > knapsackcover : - - - - - - - 26014 0 611 611 0 -
3586.43/3597.19 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c clique : 0.09 0.00 22 22 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c gomory : 8.14 0.00 62 20 0 0 6112 24798 0 956 956 0 0
3586.43/3597.19 c > gomorymi : - - - - - - - 14445 0 481 481 0 -
3586.43/3597.19 c > strongcg : - - - - - - - 10353 0 475 475 0 -
3586.43/3597.19 c impliedbounds : 0.12 0.00 76 22 0 0 1103 40092 0 8440 8440 0 0
3586.43/3597.19 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c mcf : 0.01 0.00 4 4 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c multilinear : 0.00 0.00 116 22 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c rapidlearning : 1133.22 0.00 63 2 0 207 0 0 0 0 0 0 874
3586.43/3597.19 c rlt : 0.00 0.00 45 20 0 0 0 0 0 0 0 0 0
3586.43/3597.19 c zerohalf : 0.18 0.00 64 22 0 0 119 982 0 397 397 0 0
3586.43/3597.19 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.43/3597.19 c hybrid : 0.87 0.00 431 22 16454 0 134672 2464 0 30527
3586.43/3597.19 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.19 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.19 c Pricers : ExecTime SetupTime Calls Vars
3586.43/3597.19 c problem variables: 0.00 - 0 0
3586.43/3597.19 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.43/3597.19 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.19 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.19 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.19 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.19 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.19 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.19 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.19 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.19 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.19 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.19 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.19 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.19 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.19 c relpscost : 371.43 0.00 1370 0 0 0 457 0 614 2348
3586.43/3597.19 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.19 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.43/3597.19 c LP solutions : 0.00 - - 0 0
3586.43/3597.19 c relax solutions : 0.00 - - 0 0
3586.43/3597.19 c pseudo solutions : 0.00 - - 0 0
3586.43/3597.19 c strong branching : 0.07 - - 0 0
3586.43/3597.19 c actconsdiving : 0.00 0.00 0 0 0
3586.43/3597.19 c adaptivediving : 25.99 0.00 7 0 0
3586.43/3597.19 c alns : 0.27 0.00 5 0 0
3586.43/3597.19 c bound : 0.00 0.00 0 0 0
3586.43/3597.19 c clique : 1.44 0.00 1 0 0
3586.43/3597.19 c coefdiving : 0.00 0.00 0 0 0
3586.43/3597.19 c completesol : 0.00 0.00 0 0 0
3586.43/3597.19 c conflictdiving : 67.52 0.00 9 0 0
3586.43/3597.19 c crossover : 0.00 0.00 0 0 0
3586.43/3597.19 c dins : 0.00 0.00 0 0 0
3586.43/3597.19 c distributiondivin: 102.49 0.00 9 0 0
3586.43/3597.19 c dps : 0.00 0.00 0 0 0
3586.43/3597.19 c dualval : 0.00 0.00 0 0 0
3586.43/3597.19 c farkasdiving : 1.04 0.00 1 0 0
3586.43/3597.19 c feasjump : 0.00 0.00 0 0 0
3586.43/3597.19 c feaspump : 3.59 0.00 3 0 0
3586.43/3597.19 c fixandinfer : 0.00 0.00 0 0 0
3586.43/3597.19 c fracdiving : 35.49 0.00 9 0 0
3586.43/3597.19 c gins : 0.02 0.00 0 0 0
3586.43/3597.19 c guideddiving : 27.60 0.00 6 0 0
3586.43/3597.19 c indcoefdiving : 0.00 0.00 0 0 0
3586.43/3597.19 c indicator : 0.00 0.00 0 0 0
3586.43/3597.19 c indicatordiving : 0.00 0.00 0 0 0
3586.43/3597.19 c indoneopt : 0.00 0.00 0 0 0
3586.43/3597.19 c indrounding : 0.00 0.00 0 0 0
3586.43/3597.19 c indtwoopt : 0.00 0.00 0 0 0
3586.43/3597.19 c intdiving : 0.00 0.00 0 0 0
3586.43/3597.19 c intshifting : 0.00 0.00 0 0 0
3586.43/3597.19 c linesearchdiving : 35.73 0.00 9 0 0
3586.43/3597.19 c localbranching : 0.00 0.00 0 0 0
3586.43/3597.19 c locks : 0.29 0.00 1 0 0
3586.43/3597.19 c lpface : 2.51 0.00 1 0 0
3586.43/3597.19 c mpec : 0.00 0.00 0 0 0
3586.43/3597.19 c multistart : 0.00 0.00 0 0 0
3586.43/3597.19 c mutation : 0.00 0.00 0 0 0
3586.43/3597.19 c nlpdiving : 0.00 0.00 0 0 0
3586.43/3597.19 c objpscostdiving : 36.96 0.00 5 0 0
3586.43/3597.19 c octane : 0.00 0.00 0 0 0
3586.43/3597.19 c ofins : 0.00 0.00 0 0 0
3586.43/3597.19 c oneopt : 0.01 0.00 2 0 0
3586.43/3597.19 c padm : 0.00 0.00 0 0 0
3586.43/3597.19 c proximity : 0.00 0.00 0 0 0
3586.43/3597.19 c pscostdiving : 52.29 0.00 10 0 0
3586.43/3597.19 c randrounding : 0.46 0.00 246 0 0
3586.43/3597.19 c rens : 0.16 0.00 2 0 0
3586.43/3597.19 c reoptsols : 0.00 0.00 0 0 0
3586.43/3597.19 c repair : 0.00 0.00 0 0 0
3586.43/3597.19 c rins : 35.72 0.00 5 1 1
3586.43/3597.19 c rootsoldiving : 22.43 0.00 5 0 0
3586.43/3597.19 c rounding : 0.13 0.00 567 0 0
3586.43/3597.19 c scheduler : 0.00 0.00 0 0 0
3586.43/3597.19 c shiftandpropagate: 0.39 0.00 1 1 1
3586.43/3597.19 c shifting : 4.26 0.00 296 0 0
3586.43/3597.19 c simplerounding : 0.00 0.00 1840 0 0
3586.43/3597.19 c smallcard : 0.00 0.00 0 0 0
3586.43/3597.19 c subnlp : 0.00 0.00 0 0 0
3586.43/3597.19 c trivial : 0.00 0.00 4 0 0
3586.43/3597.19 c trivialnegation : 0.00 0.00 0 0 0
3586.43/3597.19 c trustregion : 0.00 0.00 0 0 0
3586.43/3597.19 c trysol : 0.00 0.00 0 0 0
3586.43/3597.19 c twoopt : 0.00 0.00 0 0 0
3586.43/3597.19 c undercover : 0.00 0.00 0 0 0
3586.43/3597.19 c vbounds : 2.56 0.00 2 0 0
3586.43/3597.19 c veclendiving : 48.33 0.00 9 0 0
3586.43/3597.19 c zeroobj : 0.00 0.00 0 0 0
3586.43/3597.19 c zirounding : 0.16 0.00 1000 0 0
3586.43/3597.19 c other solutions : - - - 0 -
3586.43/3597.19 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.43/3597.19 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.43/3597.19 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.43/3597.19 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.43/3597.19 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.43/3597.19 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.43/3597.19 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.43/3597.19 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.43/3597.19 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.43/3597.19 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.43/3597.19 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.43/3597.19 c primal LP : 0.68 142 0 0.00 0.00 0.68 142
3586.43/3597.19 c dual LP : 1503.28 1892 3424500 1848.08 2278.03 0.24 39
3586.43/3597.19 c lex dual LP : 0.00 0 0 0.00 -
3586.43/3597.19 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.43/3597.19 c resolve instable : 0.06 2 259 129.50 4168.28
3586.43/3597.19 c diving/probing LP: 453.24 1329 926887 697.43 2045.05
3586.43/3597.19 c strong branching : 349.79 2742 965391 352.08 2759.94 - - 949
3586.43/3597.19 c (at root node) : - 42 30405 723.93 -
3586.43/3597.19 c conflict analysis: 0.23 64 640 10.00 2813.30
3586.43/3597.19 c B&B Tree :
3586.43/3597.19 c number of runs : 2
3586.43/3597.19 c nodes : 184 (165 internal, 19 leaves)
3586.43/3597.19 c feasible leaves : 0
3586.43/3597.19 c infeas. leaves : 17
3586.43/3597.19 c objective leaves : 1
3586.43/3597.19 c nodes (total) : 1231 (1174 internal, 57 leaves)
3586.43/3597.19 c nodes left : 146
3586.43/3597.19 c max depth : 21
3586.43/3597.19 c max depth (total): 35
3586.43/3597.19 c backtracks : 29 (15.8%)
3586.43/3597.19 c early backtracks : 0 (0.0%)
3586.43/3597.19 c nodes exc. ref. : 0 (0.0%)
3586.43/3597.19 c delayed cutoffs : 2
3586.43/3597.19 c repropagations : 88 (49 domain reductions, 2 cutoffs)
3586.43/3597.19 c avg switch length: 3.22
3586.43/3597.19 c switching time : 1.58
3586.43/3597.19 c Root Node :
3586.43/3597.19 c First LP value : +1.00000000000000e+00
3586.43/3597.19 c First LP Iters : 469 (7054.43 Iter/sec)
3586.43/3597.19 c First LP Time : 0.07
3586.43/3597.19 c Final Dual Bound : +1.00000000000000e+00
3586.43/3597.19 c Final Root Iters : 65695
3586.43/3597.19 c Root LP Estimate : +5.47938908625117e+00
3586.43/3597.19 c Solution :
3586.43/3597.19 c Solutions found : 2 (2 improvements)
3586.43/3597.19 c First Solution : +1.57000000000000e+02 (in run 1, after 1 nodes, 29.25 seconds, depth 786, found by <shiftandpropagate>)
3586.43/3597.19 c Gap First Sol. : 15600.00 %
3586.43/3597.19 c Gap Last Sol. : 14300.00 %
3586.43/3597.19 c Primal Bound : +1.44000000000000e+02 (in run 1, after 539 nodes, 1230.47 seconds, depth 25, found by <rins>)
3586.43/3597.19 c Dual Bound : +1.00000000000000e+00
3586.43/3597.19 c Gap : 14300.00 %
3586.43/3597.19 c Integrals : Total Avg%
3586.43/3597.19 c primal-dual : 357307.80 99.33
3586.43/3597.19 c primal-ref : - - (not evaluated)
3586.43/3597.19 c dual-ref : - - (not evaluated)
3586.81/3597.53 c Time complete: 3586.85.
OK 144
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: 63794 MiB (60930 MiB free)
memory of node 1: 64507 MiB (61009 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523664-1751594611/watcher-4523664-1751594611 -o /tmp/evaluation-result-4523664-1751594611/solver-4523664-1751594611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751594361-89441 --watchdog 3760 pbscip -f HOME/instance-4523664-1751594611.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=89565, runsolver pid=89562
[startup+0.100289 s]*
/proc/loadavg: 4.04 3.93 4.00 5/252 89566
/proc/meminfo: memFree=124865840/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=47180 memory=19456 CPUtime=0.09 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 1940 0 0 0 9 0 0 0 20 0 1 0 75140860 48312320 4864 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 11795 4864 3232 3530 0 3246 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47180 KiB
Current children cumulated memory: 19456 KiB
[startup+0.213278 s]*
/proc/loadavg: 4.04 3.93 4.00 5/252 89566
/proc/meminfo: memFree=124864832/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=50920 memory=22912 CPUtime=0.21 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 2822 0 0 0 20 1 0 0 20 0 1 0 75140860 52142080 5728 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 12730 5728 3232 3530 0 4181 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 50920 KiB
Current children cumulated memory: 22912 KiB
[startup+0.313037 s]*
/proc/loadavg: 4.04 3.93 4.00 5/252 89566
/proc/meminfo: memFree=124848704/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=67276 memory=41088 CPUtime=0.31 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 7089 0 0 0 29 2 0 0 20 0 1 0 75140860 68890624 10272 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 16819 10272 3520 3530 0 8270 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 67276 KiB
Current children cumulated memory: 41088 KiB
[startup+0.700358 s]
/proc/loadavg: 4.04 3.93 4.00 5/252 89566
/proc/meminfo: memFree=124798808/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=115548 memory=88792 CPUtime=0.68 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 20016 0 0 0 62 6 0 0 20 0 1 0 75140860 118321152 22198 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 28887 22198 3584 3530 0 20338 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115548 KiB
Current children cumulated memory: 88792 KiB
[startup+1.50033 s]
/proc/loadavg: 4.04 3.93 4.00 5/252 89566
/proc/meminfo: memFree=124790744/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=167188 memory=140036 CPUtime=1.47 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 28796 0 0 0 139 8 0 0 20 0 1 0 75140860 171200512 35009 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 41797 35009 3712 3530 0 33248 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 167188 KiB
Current children cumulated memory: 140036 KiB
[startup+3.11282 s]
/proc/loadavg: 4.04 3.93 4.00 5/252 89566
/proc/meminfo: memFree=124754272/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=167188 memory=140036 CPUtime=3.08 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 28802 0 0 0 300 8 0 0 20 0 1 0 75140860 171200512 35009 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 41797 35009 3712 3530 0 33248 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 167188 KiB
Current children cumulated memory: 140036 KiB
[startup+6.30034 s]
/proc/loadavg: 4.04 3.93 4.00 5/252 89566
/proc/meminfo: memFree=124754524/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=167188 memory=140036 CPUtime=6.26 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 28808 0 0 0 618 8 0 0 20 0 1 0 75140860 171200512 35009 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 41797 35009 3712 3530 0 33248 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 167188 KiB
Current children cumulated memory: 140036 KiB
[startup+12.7003 s]
/proc/loadavg: 4.03 3.94 4.00 5/252 89566
/proc/meminfo: memFree=124754604/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=167188 memory=140036 CPUtime=12.65 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 28814 0 0 0 1257 8 0 0 20 0 1 0 75140860 171200512 35009 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 41797 35009 3712 3530 0 33248 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 167188 KiB
Current children cumulated memory: 140036 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 3.96 4.01 5/252 89566
/proc/meminfo: memFree=124527736/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=433312 memory=376836 CPUtime=25.42 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 65910 0 0 0 2525 17 0 0 20 0 1 0 75140860 443711488 94209 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 108328 94209 3936 3530 0 99779 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 433312 KiB
Current children cumulated memory: 376836 KiB
[startup+51.1129 s]
/proc/loadavg: 4.06 3.96 4.01 5/251 89567
/proc/meminfo: memFree=124358536/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=548936 memory=494336 CPUtime=50.95 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 108072 0 0 0 5071 24 0 0 20 0 1 0 75140860 562110464 123584 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 137234 123584 3936 3530 0 128685 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 548936 KiB
Current children cumulated memory: 494336 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.00 4.01 5/251 89569
/proc/meminfo: memFree=124194736/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=742680 memory=689072 CPUtime=101.97 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 173849 0 0 0 10161 36 0 0 20 0 1 0 75140860 760504320 172268 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 185670 172268 3936 3530 0 177121 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 742680 KiB
Current children cumulated memory: 689072 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.01 4.01 5/250 89571
/proc/meminfo: memFree=124103656/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=787544 memory=733572 CPUtime=161.8 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 210817 0 0 0 16137 43 0 0 20 0 1 0 75140860 806445056 183393 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 196886 183393 3936 3530 0 188337 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 787544 KiB
Current children cumulated memory: 733572 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.03 4.01 5/249 89573
/proc/meminfo: memFree=124102312/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=802264 memory=749328 CPUtime=221.61 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 235183 0 0 0 22112 49 0 0 20 0 1 0 75140860 821518336 187332 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 200566 187332 3936 3530 0 192017 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 802264 KiB
Current children cumulated memory: 749328 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.05 4.02 5/250 89575
/proc/meminfo: memFree=124123196/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=800128 memory=747224 CPUtime=281.43 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 273409 0 0 0 28087 56 0 0 20 0 1 0 75140860 819331072 186806 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 200032 186806 3936 3530 0 191483 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 800128 KiB
Current children cumulated memory: 747224 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.04 4.01 5/251 89578
/proc/meminfo: memFree=124093624/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=801940 memory=749020 CPUtime=341.25 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 304705 0 0 0 34063 62 0 0 20 0 1 0 75140860 821186560 187255 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 200485 187255 3936 3530 0 191936 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 801940 KiB
Current children cumulated memory: 749020 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.06 4.02 5/252 89585
/proc/meminfo: memFree=124091496/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=768680 memory=715428 CPUtime=401.07 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 341487 0 0 0 40037 70 0 0 20 0 1 0 75140860 787128320 178857 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 192170 178857 3936 3530 0 183621 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 768680 KiB
Current children cumulated memory: 715428 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.06 4.02 5/252 89589
/proc/meminfo: memFree=124110276/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=814868 memory=761980 CPUtime=460.89 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 376374 0 0 0 46011 78 0 0 20 0 1 0 75140860 834424832 190495 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 203717 190495 3936 3530 0 195168 0
Current children cumulated CPU time: 460.89 s
################
# More data... #
################
/proc/loadavg: 4.12 4.14 4.17 5/251 89718
/proc/meminfo: memFree=123780784/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=900456 memory=855728 CPUtime=3212.73 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 608415 0 0 0 321137 136 0 0 20 0 1 0 75140860 922066944 213932 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 225114 213932 4128 3530 0 216565 0
Current children cumulated CPU time: 3212.73 s
Current children cumulated vsize: 900456 KiB
Current children cumulated memory: 855728 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.17 5/251 89720
/proc/meminfo: memFree=123784720/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=900456 memory=855728 CPUtime=3272.57 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 608498 0 0 0 327121 136 0 0 20 0 1 0 75140860 922066944 213932 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 225114 213932 4128 3530 0 216565 0
Current children cumulated CPU time: 3272.57 s
Current children cumulated vsize: 900456 KiB
Current children cumulated memory: 855728 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.17 5/250 89722
/proc/meminfo: memFree=123761884/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=858220 memory=813920 CPUtime=3332.41 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 608498 0 0 0 333105 136 0 0 20 0 1 0 75140860 878817280 203480 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 214555 203480 4128 3530 0 206006 0
Current children cumulated CPU time: 3332.41 s
Current children cumulated vsize: 858220 KiB
Current children cumulated memory: 813920 KiB
[startup+3402.3 s]
/proc/loadavg: 4.01 4.09 4.15 5/251 89859
/proc/meminfo: memFree=124728448/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=885828 memory=841392 CPUtime=3392.22 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 621563 0 0 0 339081 141 0 0 20 0 1 0 75140860 907087872 210348 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 221457 210348 4128 3530 0 212908 0
Current children cumulated CPU time: 3392.22 s
Current children cumulated vsize: 885828 KiB
Current children cumulated memory: 841392 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.15 5/251 89922
/proc/meminfo: memFree=124284048/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=888352 memory=843372 CPUtime=3452.03 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 628954 0 0 0 345061 142 0 0 20 0 1 0 75140860 909672448 210843 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 222088 210843 4128 3530 0 213539 0
Current children cumulated CPU time: 3452.03 s
Current children cumulated vsize: 888352 KiB
Current children cumulated memory: 843372 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.14 5/251 89924
/proc/meminfo: memFree=124093728/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=927608 memory=883164 CPUtime=3511.83 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 642697 0 0 0 351039 144 0 0 20 0 1 0 75140860 949870592 220791 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 231902 220791 4128 3530 0 223353 0
Current children cumulated CPU time: 3511.83 s
Current children cumulated vsize: 927608 KiB
Current children cumulated memory: 883164 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.14 5/252 89929
/proc/meminfo: memFree=124004116/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=984676 memory=939372 CPUtime=3571.66 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 659569 0 0 0 357018 148 0 0 20 0 1 0 75140860 1008308224 234843 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 246169 234843 4128 3530 0 237620 0
Current children cumulated CPU time: 3571.66 s
Current children cumulated vsize: 984676 KiB
Current children cumulated memory: 939372 KiB
[startup+3597.54 s]
# the end of solver process 89565 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.37 s, system=1.5012 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.09 4.14 5/252 89929
/proc/meminfo: memFree=124015420/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=942072 memory=897772 CPUtime=3573.36 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 659626 0 0 0 357188 148 0 0 20 0 1 0 75140860 964681728 224443 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 235518 224443 4128 3530 0 226969 0
Current children cumulated CPU time: 3573.36 s
Current children cumulated vsize: 942072 KiB
Current children cumulated memory: 897772 KiB
[startup+3590.4 s]
/proc/loadavg: 4.07 4.09 4.14 5/252 89929
/proc/meminfo: memFree=124003568/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=981848 memory=937392 CPUtime=3579.73 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 663414 0 0 0 357824 149 0 0 20 0 1 0 75140860 1005412352 234348 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 245462 234348 4128 3530 0 236913 0
Current children cumulated CPU time: 3579.73 s
Current children cumulated vsize: 981848 KiB
Current children cumulated memory: 937392 KiB
[startup+3593.6 s]
/proc/loadavg: 4.07 4.09 4.13 5/252 89929
/proc/meminfo: memFree=124003568/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=981848 memory=937392 CPUtime=3582.93 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 663415 0 0 0 358144 149 0 0 20 0 1 0 75140860 1005412352 234348 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 245462 234348 4128 3530 0 236913 0
Current children cumulated CPU time: 3582.93 s
Current children cumulated vsize: 981848 KiB
Current children cumulated memory: 937392 KiB
[startup+3595.2 s]
/proc/loadavg: 4.07 4.09 4.13 5/252 89929
/proc/meminfo: memFree=124003568/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=981848 memory=937392 CPUtime=3584.52 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 663415 0 0 0 358303 149 0 0 20 0 1 0 75140860 1005412352 234348 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 245462 234348 4128 3530 0 236913 0
Current children cumulated CPU time: 3584.52 s
Current children cumulated vsize: 981848 KiB
Current children cumulated memory: 937392 KiB
[startup+3596.8 s]
/proc/loadavg: 4.07 4.09 4.13 5/252 89929
/proc/meminfo: memFree=123991280/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=981848 memory=937392 CPUtime=3586.12 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 663415 0 0 0 358463 149 0 0 20 0 1 0 75140860 1005412352 234348 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 245462 234348 4128 3530 0 236913 0
Current children cumulated CPU time: 3586.12 s
Current children cumulated vsize: 981848 KiB
Current children cumulated memory: 937392 KiB
[startup+3597.2 s]
/proc/loadavg: 4.07 4.09 4.13 5/252 89929
/proc/meminfo: memFree=123991280/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=942072 memory=897772 CPUtime=3586.51 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 663524 0 0 0 358502 149 0 0 20 0 1 0 75140860 964681728 224443 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 235518 224443 4128 3530 0 226969 0
Current children cumulated CPU time: 3586.51 s
Current children cumulated vsize: 942072 KiB
Current children cumulated memory: 897772 KiB
[startup+3597.4 s]
/proc/loadavg: 4.07 4.09 4.13 5/252 89929
/proc/meminfo: memFree=123991280/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=942072 memory=897772 CPUtime=3586.71 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 663530 0 0 0 358522 149 0 0 20 0 1 0 75140860 964681728 224443 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 235518 224443 4128 3530 0 226969 0
Current children cumulated CPU time: 3586.71 s
Current children cumulated vsize: 942072 KiB
Current children cumulated memory: 897772 KiB
[startup+3597.5 s]
/proc/loadavg: 4.07 4.09 4.13 5/252 89929
/proc/meminfo: memFree=123991280/131382116 swapFree=33010684/33010684
[pid=89565] ppid=89562 vsize=942072 memory=897772 CPUtime=3586.81 cores=1,3
/proc/89565/stat : 89565 (pbscip) R 89562 89565 89429 0 -1 4194304 663530 0 0 0 358532 149 0 0 20 0 1 0 75140860 964681728 224443 18446744073709551615 4235264 18693293 140726487439632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 35643392 140726487443849 140726487443948 140726487443948 140726487449550 0
/proc/89565/statm: 235518 224443 4128 3530 0 226969 0
Current children cumulated CPU time: 3586.81 s
Current children cumulated vsize: 942072 KiB
Current children cumulated memory: 897772 KiB
Child status: 0
Real time (s): 3597.54
CPU time (s): 3586.87
CPU user time (s): 3585.37
CPU system time (s): 1.5012
CPU usage (%): 99.7032
Max. virtual memory (cumulated for all children) (KiB): 984676
Max. memory (cumulated for all children) (KiB): 939372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.37
system time used= 1.5012
maximum resident set size= 939372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 663559
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= 114
involuntary context switches= 1511
# summary of solver processes directly reported to runsolver:
# pid: 89565
# total CPU time (s): 3586.87
# total CPU user time (s): 3585.37
# total CPU system time (s): 1.5012
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0665 second user time and 34.1597 second system time
The end
Begin job on nodeC011 at 2025-07-04 04:03:31 IDJOB=4523664 IDBENCH=180369 IDSOLVER=3365 FILE ID=nodeC011/4523664-1751594611 RUNJOBID= nodeC011-1751594361-89441 SLURM_JOB_ID= 9598860 Free space on /tmp= 430472 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_back_image_73_label5_adversarial_norm_inf.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523664-1751594611/watcher-4523664-1751594611 -o /tmp/evaluation-result-4523664-1751594611/solver-4523664-1751594611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751594361-89441 --watchdog 3760 pbscip -f HOME/instance-4523664-1751594611.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b9738ec4eef81a08a451499c860dc376 RANDOM SEED=1559260774 nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 0xb00001f cpu MHz : 3661.646 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 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 : 0xb00001f cpu MHz : 2095.237 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 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 : 0xb00001f cpu MHz : 1197.143 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 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 : 0xb00001f cpu MHz : 1197.575 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 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 : 0xb00001f cpu MHz : 3592.192 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 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 : 0xb00001f cpu MHz : 3662.540 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 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 : 0xb00001f cpu MHz : 1197.433 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 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 : 0xb00001f cpu MHz : 1197.679 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 124866596 kB MemAvailable: 127607184 kB Buffers: 3276 kB Cached: 3535908 kB SwapCached: 0 kB Active: 2815888 kB Inactive: 3094136 kB Active(anon): 2386696 kB Inactive(anon): 2104 kB Active(file): 429192 kB Inactive(file): 3092032 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 21848 kB Writeback: 4 kB AnonPages: 2372088 kB Mapped: 138988 kB Shmem: 17960 kB KReclaimable: 117596 kB Slab: 203332 kB SReclaimable: 117596 kB SUnreclaim: 85736 kB KernelStack: 4064 kB PageTables: 7832 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 2813892 kB VmallocTotal: 34359738367 kB VmallocUsed: 149448 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 645120 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191304 kB DirectMap2M: 8099840 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 430452 MiB End job on nodeC011 at 2025-07-04 05:03:29