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 | OPT | 28 | 4.13993 | 4.16002 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_06.opb |
| MD5SUM | da2c432e6d1460c5833697ae1752095a |
| 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 | 28 |
| Best CPU time to get the best result obtained on this benchmark | 0.022338 |
| 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 | 1232 |
| Total number of constraints | 490 |
| Number of constraints which are clauses | 259 |
| Number of constraints which are cardinality constraints (but not clauses) | 140 |
| Number of constraints which are nor clauses,nor cardinality constraints | 91 |
| Minimum length of a constraint | 6 |
| Maximum length of a constraint | 11 |
| Number of terms in the objective function | 56 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 56 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 56 |
| Number of bits of the biggest sum of numbers | 6 |
| 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.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4521870-1751578172.opb>
0.00/0.01 c original problem has 1232 variables (1232 bin, 0 int, 0 impl, 0 cont) and 490 constraints
0.00/0.01 c problem read in 0.00
0.00/0.01 c presolving:
0.00/0.01 c (0.0s) running MILP presolver
0.00/0.01 c (0.0s) MILP presolver found nothing
0.00/0.02 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 343 upgd conss, 0 impls, 140 clqs
0.00/0.02 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 490 upgd conss, 0 impls, 140 clqs
0.00/0.02 c (0.0s) probing: 51/1232 (4.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.02 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.07 c (0.1s) symmetry computation finished: 281 generators found (max: 1500, log10 of symmetry group size: 120.0) (symcode time: 0.05)
0.00/0.08 c dynamic symmetry handling statistics:
0.00/0.08 c orbitopal reduction: no components
0.00/0.08 c orbital reduction: 5 components of sizes 241, 9, 9, 9, 9
0.00/0.08 c lexicographic reduction: 277 permutations with support sizes 12, 1056, 2, 2, 2, 2, 2, 2, 14, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 14, 2, 2, 2, 2, 2, 2, 12, 14, 14, 12, 14, 12, 14, 12, 12, 12, 12, 14, 12, 14, 12, 14, 12, 14, 12, 12, 14, 12, 14, 12, 14, 12, 14, 12, 12, 14, 12, 14, 12, 14, 12, 14, 12, 12, 14, 12, 14, 12, 14, 12, 14, 12, 12, 14, 12, 14, 12, 14, 12, 14, 12, 12, 14, 12, 14, 12, 14, 12, 14, 12, 12, 14, 12, 14, 12, 14, 12, 14, 12, 12, 14, 12, 14, 12, 14, 12, 14, 12, 12, 14, 12, 14, 12, 14, 12, 14, 12, 12, 14, 12, 14, 12, 14, 12, 14, 12, 12, 14, 12, 14, 12, 14, 12, 14, 12, 12, 14, 12, 14, 2, 14, 12, 14, 12, 12, 14, 12, 14, 12, 14, 12, 14, 12, 12, 14, 12, 14, 12, 14, 12, 14, 12, 12, 14, 12, 14, 12, 14, 12, 14, 12, 12, 12, 14, 12, 14, 12, 14, 14, 12, 12, 12, 14, 12, 14, 12, 14, 14, 12, 12, 12, 14, 12, 14, 12, 14, 14, 12, 12, 12, 14, 12, 14, 12, 14, 14, 12, 12, 12, 14, 12, 14, 12, 14, 14, 12, 12, 12, 14, 12, 14, 12, 14, 14, 12, 12, 12, 14, 12, 14, 12, 14, 14, 12, 12, 12, 14, 12, 14, 12, 14, 14, 14, 12,c 12, 12, 12, 12, 14, 12, 12, 12, 12, 12, 14, 14, 14, 14, 12, 12, 12, 12, 12, 14, 14, 14, 14, 12, 12, 12, 12, 14, 12, 14, 14, 14
0.00/0.08 c handled 9 out of 9 symmetry components
0.00/0.08 c (round 3, exhaustive) 0 del vars, 0 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 490 upgd conss, 0 impls, 144 clqs
0.00/0.08 c (round 4, exhaustive) 0 del vars, 0 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 494 upgd conss, 0 impls, 144 clqs
0.00/0.08 c (round 5, exhaustive) 0 del vars, 0 del conss, 4 add conss, 0 chg bounds, 0 chg sides, 13 chg coeffs, 494 upgd conss, 0 impls, 144 clqs
0.00/0.09 c presolving (6 rounds: 6 fast, 6 medium, 6 exhaustive):
0.00/0.09 c 0 deleted vars, 0 deleted constraints, 4 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 13 changed coefficients
0.00/0.09 c 0 implications, 144 cliques
0.00/0.09 c presolved problem has 1232 variables (1232 bin, 0 int, 0 impl, 0 cont) and 494 constraints
0.00/0.09 c 91 constraints of type <knapsack>
0.00/0.09 c 144 constraints of type <setppc>
0.00/0.09 c 259 constraints of type <logicor>
0.00/0.09 c transformed objective value is always integral (scale: 1)
0.00/0.09 c Presolving Time: 0.08
0.00/0.09 c - non default parameters ----------------------------------------------------------------------
0.00/0.09 c # SCIP version 10.0.0
0.00/0.09 c
0.00/0.09 c # maximal time in seconds to run
0.00/0.09 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.09 c limits/time = 3596.997012
0.00/0.09 c
0.00/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.09 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.09 c limits/memory = 27900
0.00/0.09 c
0.00/0.09 c # belongs reading time to solving time?
0.00/0.09 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c timing/reading = TRUE
0.00/0.09 c
0.00/0.09 c -----------------------------------------------------------------------------------------------
0.00/0.09 c start solving
0.00/0.09 c
0.00/0.09 o 30
0.00/0.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.09 c L 0.1s| 1 | 0 | 0 | - |feasjump| 0 |1232 | 608 | 494 | 0 | 0 | 114 | 0 | 0.000000e+00 | 3.000000e+01 | Inf | unknown
0.00/0.10 c 0.1s| 1 | 0 | 519 | - | 24M | 0 |1232 | 608 | 494 | 0 | 0 | 114 | 0 | 3.500000e+00 | 3.000000e+01 | 757.14%| unknown
0.09/0.14 c 0.1s| 1 | 0 | 527 | - | 25M | 0 |1232 | 616 | 503 | 9 | 1 | 114 | 0 | 7.000000e+00 | 3.000000e+01 | 328.57%| unknown
0.09/0.14 c 0.1s| 1 | 0 | 577 | - | 25M | 0 |1232 | 616 | 509 | 15 | 2 | 114 | 0 | 7.000000e+00 | 3.000000e+01 | 328.57%| unknown
0.09/0.14 c 0.1s| 1 | 0 | 608 | - | 25M | 0 |1232 | 616 | 513 | 49 | 3 | 114 | 0 | 7.250000e+00 | 3.000000e+01 | 313.79%| unknown
0.09/0.15 c 0.1s| 1 | 0 | 643 | - | 25M | 0 |1232 | 616 | 518 | 54 | 4 | 114 | 0 | 8.111111e+00 | 3.000000e+01 | 269.86%| unknown
0.09/0.15 c 0.1s| 1 | 0 | 659 | - | 25M | 0 |1232 | 616 | 521 | 57 | 5 | 114 | 0 | 9.250000e+00 | 3.000000e+01 | 224.32%| unknown
0.09/0.16 c 0.2s| 1 | 0 | 679 | - | 25M | 0 |1232 | 616 | 524 | 60 | 6 | 114 | 0 | 1.000000e+01 | 3.000000e+01 | 200.00%| unknown
0.09/0.16 c 0.2s| 1 | 0 | 692 | - | 25M | 0 |1232 | 616 | 527 | 63 | 7 | 114 | 0 | 1.000000e+01 | 3.000000e+01 | 200.00%| unknown
0.09/0.17 c 0.2s| 1 | 0 | 702 | - | 25M | 0 |1232 | 616 | 531 | 67 | 8 | 114 | 0 | 1.000000e+01 | 3.000000e+01 | 200.00%| unknown
0.09/0.17 c 0.2s| 1 | 0 | 719 | - | 25M | 0 |1232 | 616 | 535 | 71 | 9 | 114 | 0 | 1.050000e+01 | 3.000000e+01 | 185.71%| unknown
0.09/0.18 c 0.2s| 1 | 0 | 734 | - | 26M | 0 |1232 | 616 | 541 | 77 | 10 | 114 | 0 | 1.100000e+01 | 3.000000e+01 | 172.73%| unknown
0.09/0.18 c 0.2s| 1 | 0 | 755 | - | 26M | 0 |1232 | 616 | 544 | 82 | 11 | 114 | 0 | 1.100000e+01 | 3.000000e+01 | 172.73%| unknown
0.09/0.18 c 0.2s| 1 | 0 | 763 | - | 26M | 0 |1232 | 616 | 548 | 86 | 12 | 114 | 0 | 1.150000e+01 | 3.000000e+01 | 160.87%| unknown
0.09/0.19 c 0.2s| 1 | 0 | 770 | - | 26M | 0 |1232 | 616 | 553 | 91 | 13 | 114 | 0 | 1.150000e+01 | 3.000000e+01 | 160.87%| unknown
0.09/0.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.19 c 0.2s| 1 | 0 | 779 | - | 26M | 0 |1232 | 616 | 557 | 95 | 14 | 114 | 0 | 1.150000e+01 | 3.000000e+01 | 160.87%| unknown
0.09/0.19 c 0.2s| 1 | 0 | 788 | - | 26M | 0 |1232 | 616 | 561 | 99 | 15 | 114 | 0 | 1.150000e+01 | 3.000000e+01 | 160.87%| unknown
0.09/0.19 c 0.2s| 1 | 0 | 792 | - | 26M | 0 |1232 | 616 | 565 | 103 | 16 | 114 | 0 | 1.150000e+01 | 3.000000e+01 | 160.87%| unknown
0.09/0.20 c 0.2s| 1 | 0 | 803 | - | 26M | 0 |1232 | 621 | 556 | 108 | 17 | 119 | 0 | 1.150000e+01 | 3.000000e+01 | 160.87%| unknown
0.09/0.20 c 0.2s| 1 | 0 | 810 | - | 26M | 0 |1232 | 621 | 560 | 112 | 18 | 119 | 0 | 1.150000e+01 | 3.000000e+01 | 160.87%| unknown
0.09/0.20 c 0.2s| 1 | 0 | 820 | - | 26M | 0 |1232 | 625 | 564 | 116 | 19 | 123 | 0 | 1.150000e+01 | 3.000000e+01 | 160.87%| unknown
0.19/0.21 c 0.2s| 1 | 0 | 827 | - | 26M | 0 |1232 | 625 | 567 | 119 | 20 | 123 | 0 | 1.150000e+01 | 3.000000e+01 | 160.87%| unknown
0.19/0.27 c 0.3s| 1 | 2 | 1477 | - | 27M | 0 |1232 | 626 | 567 | 119 | 21 | 125 | 33 | 1.175000e+01 | 3.000000e+01 | 155.32%| unknown
0.58/0.69 c 0.7s| 100 | 61 | 4066 | 32.7 | 27M | 33 |1232 | 658 | 534 | 171 | 1 | 151 | 33 | 1.700000e+01 | 3.000000e+01 | 76.47%| 76.81%
1.08/1.15 c 1.1s| 200 | 103 | 6223 | 27.1 | 28M | 33 |1232 | 692 | 0 | 188 | 0 | 185 | 33 | 1.700000e+01 | 3.000000e+01 | 76.47%| 76.89%
1.08/1.18 o 28
1.08/1.18 c L 1.2s| 201 | 104 | 6227 | 27.0 | rins| 33 |1232 | 692 | 527 | 188 | 1 | 185 | 33 | 1.700000e+01 | 2.800000e+01 | 64.71%| 76.90%
1.57/1.63 c 1.6s| 300 | 125 | 9792 | 30.0 | 28M | 33 |1232 | 708 | 540 | 258 | 1 | 201 | 33 | 1.750000e+01 | 2.800000e+01 | 60.00%| 80.02%
1.77/1.82 c 1.8s| 400 | 143 | 12573 | 29.4 | 28M | 37 |1232 | 735 | 542 | 283 | 1 | 228 | 33 | 1.775000e+01 | 2.800000e+01 | 57.75%| 83.45%
1.98/2.05 c 2.0s| 500 | 141 | 14370 | 27.1 | 29M | 37 |1232 | 776 | 532 | 290 | 1 | 269 | 33 | 1.850000e+01 | 2.800000e+01 | 51.35%| 88.16%
2.37/2.42 c 2.4s| 600 | 163 | 16929 | 26.9 | 29M | 37 |1232 | 794 | 0 | 330 | 0 | 287 | 33 | 1.950000e+01 | 2.800000e+01 | 43.59%| 90.73%
2.78/2.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.78/2.88 c 2.9s| 700 | 201 | 20524 | 28.2 | 29M | 37 |1232 | 870 | 543 | 359 | 1 | 363 | 33 | 2.075000e+01 | 2.800000e+01 | 34.94%| 91.67%
3.18/3.24 c 3.2s| 800 | 219 | 22465 | 27.1 | 30M | 41 |1232 | 962 | 541 | 400 | 1 | 455 | 33 | 2.100000e+01 | 2.800000e+01 | 33.33%| 92.16%
3.38/3.42 c 3.4s| 900 | 233 | 24335 | 26.1 | 30M | 41 |1232 | 997 | 545 | 425 | 1 | 490 | 33 | 2.125000e+01 | 2.800000e+01 | 31.76%| 92.49%
3.47/3.52 c 3.5s| 1000 | 213 | 25555 | 24.8 | 30M | 41 |1232 |1012 | 536 | 433 | 1 | 505 | 33 | 2.200000e+01 | 2.800000e+01 | 27.27%| 92.98%
3.57/3.61 c 3.6s| 1100 | 203 | 26156 | 23.0 | 31M | 41 |1232 |1015 | 0 | 439 | 0 | 508 | 33 | 2.200000e+01 | 2.800000e+01 | 27.27%| 93.31%
3.67/3.76 c 3.8s| 1200 | 189 | 26897 | 21.7 | 31M | 41 |1232 |1019 | 541 | 445 | 1 | 512 | 33 | 2.200000e+01 | 2.800000e+01 | 27.27%| 93.91%
3.87/3.94 c 3.9s| 1300 | 145 | 27672 | 20.7 | 31M | 41 |1232 |1033 | 539 | 457 | 1 | 526 | 33 | 2.250000e+01 | 2.800000e+01 | 24.44%| 95.24%
3.98/4.03 c 4.0s| 1400 | 93 | 28157 | 19.5 | 31M | 41 |1232 |1035 | 0 | 477 | 0 | 532 | 33 | 2.300000e+01 | 2.800000e+01 | 21.74%| 96.83%
4.08/4.12 c 4.1s| 1500 | 41 | 28618 | 18.5 | 31M | 41 |1232 |1045 | 0 | 485 | 0 | 542 | 33 | 2.350000e+01 | 2.800000e+01 | 19.15%| 98.77%
4.08/4.15 c
4.08/4.15 c SCIP Status : problem is solved [optimal solution found]
4.08/4.15 c Solving Time (sec) : 4.14
4.08/4.15 c Solving Nodes : 1551
4.08/4.15 c Primal Bound : +2.80000000000000e+01 (69 solutions)
4.08/4.15 c Dual Bound : +2.80000000000000e+01
4.08/4.15 c Gap : 0.00 %
4.08/4.15 s OPTIMUM FOUND
4.08/4.15 v -x1232 -x1231 x1230 -x1229 -x1228 -x1226 x1225 -x1224 -x1223 -x1222 -x1220 -x1219 -x1218 -x1217 -x1216 -x1214 -x1213 -x1212 x1211
4.08/4.15 v -x1210 x1208 -x1207 -x1206 -x1205 -x1204 -x1202 -x1201 -x1200 -x1199 x1198 -x1227 -x1221 x1215 -x1209 -x1203 -x1197 -x1196
4.08/4.15 v -x1195 -x1194 -x1193 -x1192 -x1191 -x1188 -x1187 x1186 -x1185 -x1184 -x1182 -x1181 -x1180 -x1179 x1178 -x1176 -x1175 -x1174
4.08/4.15 v -x1173 -x1172 -x1170 -x1169 -x1168 -x1167 -x1166 -x1164 -x1163 -x1162 x1161 -x1160 -x1158 x1157 -x1156 -x1155 -x1154 -x1183 -x1177
4.08/4.15 v x1171 x1165 -x1159 -x1153 x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1144 -x1143 -x1142 -x1141 x1140 -x1138 -x1137 -x1136
4.08/4.15 v x1135 -x1134 -x1132 x1131 -x1130 -x1129 -x1128 -x1126 -x1125 x1124 -x1123 -x1122 x1120 -x1119 -x1118 -x1117 -x1116 -x1114
4.08/4.15 v -x1113 -x1112 -x1111 -x1110 -x1139 -x1133 -x1127 -x1121 -x1115 x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1100 -x1099
4.08/4.15 v -x1098 -x1097 x1096 -x1094 -x1093 -x1092 x1091 -x1090 -x1088 -x1087 -x1086 -x1085 -x1084 -x1082 -x1081 -x1080 -x1079 -x1078 x1076
4.08/4.15 v -x1075 -x1074 -x1073 -x1072 -x1070 x1069 -x1068 -x1067 -x1066 -x1095 -x1089 x1083 x1077 -x1071 -x1065 -x1064 -x1063 -x1062
4.08/4.15 v -x1061 -x1060 -x1059 -x1056 -x1055 -x1054 -x1053 -x1052 -x1050 -x1049 x1048 -x1047 -x1046 -x1044 x1043 -x1042 -x1041 -x1040
4.08/4.15 v -x1038 -x1037 -x1036 -x1035 x1034 -x1032 -x1031 -x1030 x1029 -x1028 x1026 -x1025 -x1024 -x1023 -x1022 x1051 -x1045 -x1039 -x1033
4.08/4.15 v -x1027 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 x1012 -x1011 -x1010 -x1009 -x1008 -x1006 -x1005 -x1004 -x1003 x1002
4.08/4.15 v -x1000 -x999 -x998 -x997 -x996 -x994 -x993 x992 -x991 -x990 -x988 -x987 -x986 x985 -x984 -x982 x981 -x980 -x979 -x978 -x1007
4.08/4.15 v -x1001 x995 -x989 -x983 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x968 -x967 x966 -x965 -x964 -x962 -x961 -x960 -x959 -x958
4.08/4.15 v -x956 -x955 -x954 x953 -x952 -x950 -x949 -x948 -x947 x946 -x944 x943 -x942 -x941 -x940 x938 -x937 -x936 -x935 -x934 -x963
4.08/4.15 v x957 -x951 -x945 -x939 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x924 -x923 -x922 x921 -x920 -x918 -x917 -x916 -x915 -x914
4.08/4.15 v x912 -x911 -x910 -x909 -x908 -x906 -x905 x904 -x903 -x902 -x900 -x899 -x898 -x897 x896 -x894 x893 -x892 -x891 -x890 -x919 x913
4.08/4.15 v -x907 -x901 -x895 -x889 -x888 -x887 -x886 -x885 -x884 x883 -x880 -x879 -x878 -x877 -x876 -x874 -x873 -x872 -x871 x870 -x868
4.08/4.15 v -x867 -x866 x865 -x864 -x862 x861 -x860 -x859 -x858 x856 -x855 -x854 -x853 -x852 -x850 -x849 x848 -x847 -x846 x875 -x869 -x863
4.08/4.15 v -x857 -x851 -x845 -x844 -x843 -x842 -x841 -x840 x839 -x836 -x835 -x834 -x833 x832 -x830 -x829 -x828 -x827 -x826 -x824 -x823
4.08/4.15 v -x822 x821 -x820 x818 -x817 -x816 -x815 -x814 -x812 x811 -x810 -x809 -x808 -x806 -x805 x804 -x803 -x802 -x831 x825 -x819 -x813
4.08/4.15 v -x807 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x792 -x791 -x790 x789 -x788 -x786 -x785 -x784 -x783 -x782 -x780 -x779 -x778
4.08/4.15 v -x777 x776 -x774 -x773 x772 -x771 -x770 -x768 x767 -x766 -x765 -x764 x762 -x761 -x760 -x759 -x758 -x787 x781 -x775 -x769
4.08/4.15 v -x763 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x748 -x747 -x746 x745 -x744 -x742 -x741 -x740 -x739 x738 -x736 -x735 x734 -x733
4.08/4.15 v -x732 x730 -x729 -x728 -x727 -x726 -x724 x723 -x722 -x721 -x720 -x718 -x717 -x716 -x715 -x714 -x743 -x737 -x731 -x725 -x719
4.08/4.15 v x713 -x712 -x711 -x710 -x709 -x708 -x707 -x704 -x703 -x702 -x701 x700 -x698 -x697 x696 -x695 -x694 -x692 -x691 -x690 x689
4.08/4.15 v -x688 -x686 -x685 -x684 -x683 -x682 -x680 -x679 -x678 -x677 -x676 x674 -x673 -x672 -x671 -x670 -x699 -x693 -x687 x681 x675 -x669
4.08/4.15 v -x668 -x667 -x666 -x665 -x664 -x663 -x660 -x659 -x658 x657 -x656 -x654 -x653 -x652 -x651 -x650 -x648 -x647 -x646 -x645 x644
4.08/4.15 v -x642 -x641 x640 -x639 -x638 -x636 x635 -x634 -x633 -x632 x630 -x629 -x628 -x627 -x626 -x655 x649 -x643 -x637 -x631 -x625
4.08/4.15 v -x624 -x623 -x622 -x621 -x620 x619 -x616 -x615 -x614 x613 -x612 -x610 -x609 -x608 -x607 -x606 -x604 -x603 -x602 -x601 -x600
4.08/4.15 v -x598 -x597 -x596 -x595 x594 -x592 -x591 x590 -x589 -x588 -x586 x585 -x584 -x583 -x582 -x611 x605 x599 -x593 -x587 -x581 x580
4.08/4.15 v -x579 -x578 -x577 -x576 -x575 -x572 x571 -x570 -x569 -x568 -x566 -x565 -x564 -x563 -x562 -x560 -x559 -x558 x557 -x556 -x554
4.08/4.15 v -x553 -x552 -x551 x550 x548 -x547 -x546 -x545 -x544 -x542 -x541 x540 -x539 -x538 -x567 x561 -x555 -x549 -x543 -x537 -x536 -x535
4.08/4.15 v -x534 -x533 -x532 -x531 -x528 -x527 -x526 -x525 x524 -x522 -x521 -x520 x519 -x518 -x516 -x515 -x514 -x513 -x512 -x510 -x509
4.08/4.15 v x508 -x507 -x506 -x504 x503 -x502 -x501 -x500 x498 -x497 -x496 -x495 -x494 -x523 -x517 x511 -x505 -x499 -x493 -x492 -x491 -x490
4.08/4.15 v -x489 -x488 -x487 x484 -x483 -x482 -x481 -x480 -x478 -x477 -x476 -x475 -x474 -x472 x471 -x470 -x469 -x468 -x466 -x465 -x464
4.08/4.15 v -x463 -x462 -x460 -x459 -x458 x457 -x456 -x454 -x453 x452 -x451 -x450 -x479 x473 -x467 x461 -x455 -x449 -x448 -x447 -x446
4.08/4.15 v -x445 -x444 -x443 -x440 -x439 -x438 -x437 -x436 -x434 -x433 -x432 -x431 -x430 -x428 -x427 -x426 x425 -x424 -x422 -x421 -x420
4.08/4.15 v -x419 x418 -x416 -x415 x414 -x413 -x412 x410 x409 -x408 -x407 -x406 x435 x429 -x423 -x417 -x411 -x405 -x404 -x403 -x402 -x401
4.08/4.15 v -x400 -x399 -x396 x395 -x394 -x393 -x392 -x390 -x389 -x388 x387 -x386 -x384 -x383 -x382 -x381 x380 -x378 -x377 x376 -x375 -x374
4.08/4.15 v -x372 -x371 -x370 -x369 -x368 x366 -x365 -x364 -x363 -x362 -x391 -x385 -x379 -x373 x367 -x361 -x360 -x359 -x358 -x357 -x356
4.08/4.15 v -x355 -x352 -x351 -x350 -x349 x348 -x346 -x345 -x344 x343 -x342 -x340 -x339 x338 -x337 -x336 x334 -x333 -x332 -x331 -x330
4.08/4.15 v -x328 x327 -x326 -x325 -x324 -x322 -x321 -x320 -x319 -x318 -x347 -x341 -x335 -x329 -x323 x317 -x316 -x315 -x314 -x313 -x312
4.08/4.15 v x311 x308 -x307 -x306 -x305 -x304 -x302 x301 -x300 -x299 -x298 -x296 -x295 -x294 -x293 -x292 -x290 -x289 x288 -x287 -x286 -x284
4.08/4.15 v -x283 -x282 x281 x280 -x278 -x277 -x276 -x275 -x274 -x303 -x297 x291 -x285 -x279 x273 -x272 -x271 -x270 -x269 -x268 -x267
4.08/4.15 v -x264 x263 -x262 -x261 -x260 -x258 -x257 -x256 -x255 -x254 -x252 -x251 -x250 x249 -x248 -x246 -x245 x244 -x243 -x242 -x240 -x239
4.08/4.15 v -x238 -x237 -x236 -x234 -x233 -x232 -x231 x230 -x259 x253 -x247 -x241 x235 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x220
4.08/4.15 v -x219 x218 -x217 -x216 -x214 x213 -x212 -x211 -x210 -x208 -x207 -x206 -x205 -x204 x202 -x201 -x200 -x199 -x198 -x196 -x195 -x194
4.08/4.15 v x193 -x192 -x190 -x189 -x188 -x187 x186 -x215 -x209 x203 -x197 -x191 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x176 -x175
4.08/4.15 v -x174 -x173 -x172 x170 -x169 -x168 -x167 -x166 -x164 -x163 -x162 -x161 -x160 -x158 -x157 x156 -x155 -x154 -x152 -x151 -x150
4.08/4.15 v x149 x148 -x146 x145 -x144 -x143 -x142 x171 -x165 x159 -x153 -x147 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x132 -x131 -x130
4.08/4.15 v -x129 x128 -x126 -x125 x124 -x123 -x122 -x120 -x119 -x118 -x117 -x116 -x114 x113 -x112 -x111 -x110 -x108 -x107 -x106 x105
4.08/4.15 v -x104 x102 -x101 -x100 -x99 -x98 -x127 -x121 x115 -x109 -x103 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x88 -x87 -x86 -x85 x84 -x82
4.08/4.15 v -x81 -x80 -x79 -x78 x76 -x75 -x74 -x73 -x72 -x70 -x69 x68 -x67 -x66 -x64 -x63 -x62 x61 -x60 -x58 x57 -x56 -x55 -x54 -x83 x77
4.08/4.15 v -x71 -x65 -x59 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x44 x43 -x42 -x41 -x40 -x38 -x37 -x36 x35 -x34 -x32 -x31 x30 -x29 -x28 -x26
4.08/4.15 v -x25 -x24 -x23 -x22 x20 -x19 -x18 -x17 -x16 -x14 -x13 -x12 -x11 x10 -x39 -x33 -x27 x21 -x15 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x1190
4.08/4.15 v x1189 x1146 -x1145 -x1102 x1101 -x1058 x1057 -x1014 x1013 x970 -x969 x926 -x925 x882 -x881 -x838 x837 -x794 x793 x750 -x749
4.08/4.15 v -x706 x705 -x662 x661 x618 -x617 -x574 x573 x530 -x529 x486 -x485 x442 -x441 -x398 x397 -x354 x353 -x310 x309 -x266 x265
4.08/4.15 v -x222 x221 x178 -x177 -x134 x133 x90 -x89 x46 -x45 -x2 x1
4.08/4.15 c SCIP Status : problem is solved [optimal solution found]
4.08/4.15 c Total Time : 4.14
4.08/4.15 c solving : 4.14
4.08/4.15 c presolving : 0.08 (included in solving)
4.08/4.15 c reading : 0.00 (included in solving)
4.08/4.15 c copying : 0.21 (61 #copies) (minimal 0.00, maximal 0.00, average 0.00)
4.08/4.15 c Original Problem :
4.08/4.15 c Problem name : HOME/instance-4521870-1751578172.opb
4.08/4.15 c Variables : 1232 (1232 binary, 0 integer, 0 implicit integer, 0 continuous)
4.08/4.15 c Constraints : 490 initial, 490 maximal
4.08/4.15 c Objective : minimize, 56 non-zeros (abs.min = 1, abs.max = 1)
4.08/4.15 c Presolved Problem :
4.08/4.15 c Problem name : t_HOME/instance-4521870-1751578172.opb
4.08/4.15 c Variables : 1232 (1232 binary, 0 integer, 0 implicit integer, 0 continuous)
4.08/4.15 c Constraints : 494 initial, 1052 maximal
4.08/4.15 c Objective : minimize, 56 non-zeros (abs.min = 1, abs.max = 1)
4.08/4.15 c Nonzeros : 3866 constraint, 975 clique table
4.08/4.15 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
4.08/4.15 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
4.08/4.15 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
4.08/4.15 c gateextraction : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
4.08/4.15 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
4.08/4.15 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
4.08/4.15 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
4.08/4.15 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c trivial : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
4.08/4.15 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c dualfix : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
4.08/4.15 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
4.08/4.15 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c symmetry : 0.06 0.00 1 0 0 0 0 0 0 4 0 0
4.08/4.15 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
4.08/4.15 c knapsack : 0.00 0.00 15 0 0 0 0 0 0 0 0 0
4.08/4.15 c setppc : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
4.08/4.15 c linear : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
4.08/4.15 c logicor : 0.00 0.00 13 0 0 0 0 0 0 0 0 13
4.08/4.15 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
4.08/4.15 c root node : - - - 111 - - 111 - - - - -
4.08/4.15 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
4.08/4.15 c benderslp : 0 0 0 0 775 0 0 204 0 0 0 0 0 0 0
4.08/4.15 c integral : 0 0 0 0 775 0 0 204 0 0 0 0 0 0 1550
4.08/4.15 c knapsack : 91+ 119 21 6550 0 0 0 198 166 66 381 0 0 0 0
4.08/4.15 c setppc : 144+ 167 21 6484 0 0 0 78 1192 34 1418 0 0 0 0
4.08/4.15 c linear : 0+ 53 21 5688 0 0 0 3 36 11 145 0 0 0 0
4.08/4.15 c logicor : 259+ 727 21 3145 0 0 0 74 327 134 704 0 0 0 0
4.08/4.15 c benders : 0 0 0 0 0 0 0 71 0 0 0 0 0 0 0
4.08/4.15 c fixedvar : 0 0 0 0 0 0 0 71 0 0 0 0 0 0 0
4.08/4.15 c countsols : 0 0 0 0 0 0 0 71 0 0 0 0 0 0 0
4.08/4.15 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
4.08/4.15 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
4.08/4.15 c integral : 0.05 0.00 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00
4.08/4.15 c knapsack : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
4.08/4.15 c setppc : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
4.08/4.15 c linear : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
4.08/4.15 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
4.08/4.15 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
4.08/4.15 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
4.08/4.15 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
4.08/4.15 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
4.08/4.15 c Propagators : #Propagate #ResProp Cutoffs DomReds
4.08/4.15 c dualfix : 3 0 0 0
4.08/4.15 c genvbounds : 0 0 0 0
4.08/4.15 c nlobbt : 0 0 0 0
4.08/4.15 c obbt : 0 0 0 0
4.08/4.15 c probing : 0 0 0 0
4.08/4.15 c pseudoobj : 3121 0 0 0
4.08/4.15 c redcost : 1479 0 0 328
4.08/4.15 c rootredcost : 2 0 0 0
4.08/4.15 c symmetry : 4223 0 591 3846
4.08/4.15 c vbounds : 1692 0 0 0
4.08/4.15 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
4.08/4.15 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
4.08/4.15 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
4.08/4.15 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
4.08/4.15 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
4.08/4.15 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
4.08/4.15 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
4.08/4.15 c redcost : 0.03 0.00 0.00 0.03 0.00 0.00
4.08/4.15 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
4.08/4.15 c symmetry : 1.07 0.00 0.06 1.01 0.00 0.00
4.08/4.15 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
4.08/4.15 c Symmetry :
4.08/4.15 c orbitopal red. : 0 reductions applied, 0 cutoffs
4.08/4.15 c orbital reduction: 3846 reductions applied, 591 cutoffs
4.08/4.15 c lexicographic red: 0 reductions applied, 0 cutoffs
4.08/4.15 c shadow tree time : 0.00 s
4.08/4.15 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
4.08/4.15 c propagation : 0.00 227 123 - 326 14.8 1 22.0 - - -
4.08/4.15 c infeasible LP : 0.00 56 56 - 93 8.5 0 0.0 56 9.2 0
4.08/4.15 c bound exceed. LP : 0.00 25 25 - 84 18.7 0 0.0 25 35.6 0
4.08/4.15 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
4.08/4.15 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
4.08/4.15 c applied globally : 0.00 - - 0 468 14.0 - - 81 - -
4.08/4.15 c applied locally : - - - 0 0 0.0 - - 0 - -
4.08/4.15 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
4.08/4.15 c cut pool : 0.00 - 270 40 - - 438 1255 - - - - - (maximal pool size: 395)
4.08/4.15 c aggregation : 0.02 0.00 52 21 0 0 7 9 0 3 3 0 0
4.08/4.15 c > cmir : - - - - - - - 4 0 1 1 0 -
4.08/4.15 c > flowcover : - - - - - - - 3 0 1 1 0 -
4.08/4.15 c > knapsackcover : - - - - - - - 2 0 1 1 0 -
4.08/4.15 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c clique : 0.00 0.00 21 21 0 0 0 0 0 0 0 0 0
4.08/4.15 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c gomory : 0.04 0.00 38 10 0 0 332 886 30 327 298 29 0
4.08/4.15 c > gomorymi : - - - - - - - 340 15 154 139 15 -
4.08/4.15 c > strongcg : - - - - - - - 546 15 173 159 14 -
4.08/4.15 c impliedbounds : 0.00 0.00 52 21 0 0 1 1 0 1 1 0 0
4.08/4.15 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
4.08/4.15 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c multilinear : 0.00 0.00 38 21 0 0 0 0 0 0 0 0 0
4.08/4.15 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
4.08/4.15 c rapidlearning : 1.57 0.00 43 1 0 56 0 0 0 0 0 0 388
4.08/4.15 c rlt : 0.00 0.00 18 10 0 0 0 0 0 0 0 0 0
4.08/4.15 c zerohalf : 0.02 0.00 48 20 0 0 127 359 0 157 157 0 0
4.08/4.15 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
4.08/4.15 c hybrid : 0.00 0.00 152 20 459 31 785 89 30 278
4.08/4.15 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
4.08/4.15 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
4.08/4.15 c Pricers : ExecTime SetupTime Calls Vars
4.08/4.15 c problem variables: 0.00 - 0 0
4.08/4.15 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
4.08/4.15 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
4.08/4.15 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
4.08/4.15 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
4.08/4.15 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
4.08/4.15 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
4.08/4.15 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
4.08/4.15 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
4.08/4.15 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
4.08/4.15 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
4.08/4.15 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
4.08/4.15 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
4.08/4.15 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
4.08/4.15 c random : 0.00 0.00 0 0 0 0 0 0 0 0
4.08/4.15 c relpscost : 0.05 0.00 775 0 0 0 0 0 0 1550
4.08/4.15 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
4.08/4.15 c Primal Heuristics : ExecTime SetupTime Calls Found Best
4.08/4.15 c LP solutions : 0.00 - - 0 0
4.08/4.15 c relax solutions : 0.00 - - 0 0
4.08/4.15 c pseudo solutions : 0.00 - - 0 0
4.08/4.15 c strong branching : 0.00 - - 0 0
4.08/4.15 c actconsdiving : 0.00 0.00 0 0 0
4.08/4.15 c adaptivediving : 0.05 0.00 9 0 0
4.08/4.15 c alns : 0.03 0.00 5 0 0
4.08/4.15 c bound : 0.00 0.00 0 0 0
4.08/4.15 c clique : 0.00 0.00 1 0 0
4.08/4.15 c coefdiving : 0.00 0.00 0 0 0
4.08/4.15 c completesol : 0.00 0.00 0 0 0
4.08/4.15 c conflictdiving : 0.04 0.00 9 0 0
4.08/4.15 c crossover : 0.09 0.00 3 3 0
4.08/4.15 c dins : 0.00 0.00 0 0 0
4.08/4.15 c distributiondivin: 0.03 0.00 7 0 0
4.08/4.15 c dps : 0.00 0.00 0 0 0
4.08/4.15 c dualval : 0.00 0.00 0 0 0
4.08/4.15 c farkasdiving : 0.00 0.00 0 0 0
4.08/4.15 c feasjump : 0.00 0.00 1 1 1
4.08/4.15 c feaspump : 0.01 0.00 1 0 0
4.08/4.15 c fixandinfer : 0.00 0.00 0 0 0
4.08/4.15 c fracdiving : 0.03 0.00 9 0 0
4.08/4.15 c gins : 0.07 0.00 4 1 0
4.08/4.15 c guideddiving : 0.06 0.00 9 0 0
4.08/4.15 c indcoefdiving : 0.00 0.00 0 0 0
4.08/4.15 c indicator : 0.00 0.00 0 0 0
4.08/4.15 c indicatordiving : 0.00 0.00 0 0 0
4.08/4.15 c indoneopt : 0.00 0.00 0 0 0
4.08/4.15 c indrounding : 0.00 0.00 0 0 0
4.08/4.15 c indtwoopt : 0.00 0.00 0 0 0
4.08/4.15 c intdiving : 0.00 0.00 0 0 0
4.08/4.15 c intshifting : 0.00 0.00 0 0 0
4.08/4.15 c linesearchdiving : 0.03 0.00 9 0 0
4.08/4.15 c localbranching : 0.00 0.00 0 0 0
4.08/4.15 c locks : 0.00 0.00 1 0 0
4.08/4.15 c lpface : 0.00 0.00 0 0 0
4.08/4.15 c mpec : 0.00 0.00 0 0 0
4.08/4.15 c multistart : 0.00 0.00 0 0 0
4.08/4.15 c mutation : 0.00 0.00 0 0 0
4.08/4.15 c nlpdiving : 0.00 0.00 0 0 0
4.08/4.15 c objpscostdiving : 0.04 0.00 5 5 0
4.08/4.15 c octane : 0.00 0.00 0 0 0
4.08/4.15 c ofins : 0.00 0.00 0 0 0
4.08/4.15 c oneopt : 0.00 0.00 2 0 0
4.08/4.15 c padm : 0.00 0.00 0 0 0
4.08/4.15 c proximity : 0.00 0.00 0 0 0
4.08/4.15 c pscostdiving : 0.04 0.00 9 0 0
4.08/4.15 c randrounding : 0.01 0.00 128 0 0
4.08/4.15 c rens : 0.01 0.00 1 0 0
4.08/4.15 c reoptsols : 0.00 0.00 0 0 0
4.08/4.15 c repair : 0.00 0.00 0 0 0
4.08/4.15 c rins : 0.09 0.00 5 5 1
4.08/4.15 c rootsoldiving : 0.01 0.00 5 5 0
4.08/4.15 c rounding : 0.00 0.00 385 0 0
4.08/4.15 c scheduler : 0.00 0.00 0 0 0
4.08/4.15 c shiftandpropagate: 0.00 0.00 1 0 0
4.08/4.15 c shifting : 0.03 0.00 237 49 0
4.08/4.15 c simplerounding : 0.00 0.00 983 0 0
4.08/4.15 c smallcard : 0.00 0.00 0 0 0
4.08/4.15 c subnlp : 0.00 0.00 0 0 0
4.08/4.15 c trivial : 0.00 0.00 2 0 0
4.08/4.15 c trivialnegation : 0.00 0.00 0 0 0
4.08/4.15 c trustregion : 0.00 0.00 0 0 0
4.08/4.15 c trysol : 0.00 0.00 0 0 0
4.08/4.15 c twoopt : 0.00 0.00 0 0 0
4.08/4.15 c undercover : 0.00 0.00 0 0 0
4.08/4.15 c vbounds : 0.00 0.00 1 0 0
4.08/4.15 c veclendiving : 0.03 0.00 9 0 0
4.08/4.15 c zeroobj : 0.00 0.00 0 0 0
4.08/4.15 c zirounding : 0.01 0.00 775 0 0
4.08/4.15 c other solutions : - - - 0 -
4.08/4.15 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
4.08/4.15 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
4.08/4.15 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
4.08/4.15 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
4.08/4.15 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
4.08/4.15 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
4.08/4.15 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
4.08/4.15 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
4.08/4.15 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
4.08/4.15 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
4.08/4.15 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
4.08/4.15 c primal LP : 0.04 138 0 0.00 0.00 0.04 138
4.08/4.15 c dual LP : 0.43 1019 13450 13.72 31261.91 0.01 39
4.08/4.15 c lex dual LP : 0.00 0 0 0.00 -
4.08/4.15 c barrier LP : 0.00 0 0 0.00 - 0.00 0
4.08/4.15 c resolve instable : 0.00 0 0 0.00 -
4.08/4.15 c diving/probing LP: 0.15 307 15277 49.76 101043.71
4.08/4.15 c strong branching : 0.02 33 526 15.94 21902.98 - - 0
4.08/4.15 c (at root node) : - 33 526 15.94 -
4.08/4.15 c conflict analysis: 0.00 0 0 0.00 -
4.08/4.15 c B&B Tree :
4.08/4.15 c number of runs : 1
4.08/4.15 c nodes : 1551 (775 internal, 776 leaves)
4.08/4.15 c feasible leaves : 0
4.08/4.15 c infeas. leaves : 775
4.08/4.15 c objective leaves : 1
4.08/4.15 c nodes (total) : 1551 (775 internal, 776 leaves)
4.08/4.15 c nodes left : 0
4.08/4.15 c max depth : 41
4.08/4.15 c max depth (total): 41
4.08/4.15 c backtracks : 602 (38.8%)
4.08/4.15 c early backtracks : 0 (0.0%)
4.08/4.15 c nodes exc. ref. : 0 (0.0%)
4.08/4.15 c delayed cutoffs : 0
4.08/4.15 c repropagations : 86 (19 domain reductions, 0 cutoffs)
4.08/4.15 c avg switch length: 10.47
4.08/4.15 c switching time : 0.09
4.08/4.15 c Root Node :
4.08/4.15 c First LP value : +3.50000000000000e+00
4.08/4.15 c First LP Iters : 519 (194091.25 Iter/sec)
4.08/4.15 c First LP Time : 0.00
4.08/4.15 c Final Dual Bound : +1.17500000000000e+01
4.08/4.15 c Final Root Iters : 827
4.08/4.15 c Root LP Estimate : +1.31752676757370e+01
4.08/4.15 c Solution :
4.08/4.15 c Solutions found : 69 (2 improvements)
4.08/4.15 c First Solution : +3.00000000000000e+01 (in run 1, after 1 nodes, 0.09 seconds, depth 0, found by <feasjump>)
4.08/4.15 c Gap First Sol. : infinite
4.08/4.15 c Gap Last Sol. : 64.71 %
4.08/4.15 c Primal Bound : +2.80000000000000e+01 (in run 1, after 201 nodes, 1.17 seconds, depth 9, found by <rins>)
4.08/4.15 c Dual Bound : +2.80000000000000e+01
4.08/4.15 c Gap : 0.00 %
4.08/4.15 c Integrals : Total Avg%
4.08/4.15 c primal-dual : 147.09 35.50
4.08/4.15 c primal-ref : - - (not evaluated)
4.08/4.15 c dual-ref : - - (not evaluated)
4.08/4.15 c Time complete: 4.1355.
OK 28
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: 63708 MiB (61621 MiB free)
memory of node 1: 64465 MiB (63098 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521870-1751578172/watcher-4521870-1751578172 -o /tmp/evaluation-result-4521870-1751578172/solver-4521870-1751578172 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751578154-78965 --watchdog 3760 pbscip -f HOME/instance-4521870-1751578172.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=79160, runsolver pid=79157
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 1.41 1.17 1.39 5/266 79161
/proc/meminfo: memFree=127689624/131250000 swapFree=33007332/33010684
[pid=79160] ppid=79157 vsize=68272 memory=38912 CPUtime=0.09 cores=0,2
/proc/79160/stat : 79160 (pbscip) R 79157 79160 78955 0 -1 4194304 6131 0 0 0 8 1 0 0 20 0 1 0 73494668 69910528 9728 18446744073709551615 4235264 18693293 140723079899152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56135680 140723079907721 140723079907820 140723079907820 140723079913422 0
/proc/79160/statm: 17068 9728 3968 3530 0 8519 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 68272 KiB
Current children cumulated memory: 38912 KiB
[startup+0.205602 s]*
/proc/loadavg: 1.41 1.17 1.39 5/266 79161
/proc/meminfo: memFree=127681588/131250000 swapFree=33007332/33010684
[pid=79160] ppid=79157 vsize=76500 memory=45988 CPUtime=0.19 cores=0,2
/proc/79160/stat : 79160 (pbscip) R 79157 79160 78955 0 -1 4194304 8327 0 0 0 18 1 0 0 20 0 1 0 73494668 78336000 11497 18446744073709551615 4235264 18693293 140723079899152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56135680 140723079907721 140723079907820 140723079907820 140723079913422 0
/proc/79160/statm: 19125 11497 4000 3530 0 10576 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 76500 KiB
Current children cumulated memory: 45988 KiB
[startup+0.305602 s]*
/proc/loadavg: 1.41 1.17 1.39 5/266 79161
/proc/meminfo: memFree=127680832/131250000 swapFree=33007332/33010684
[pid=79160] ppid=79157 vsize=80364 memory=50340 CPUtime=0.29 cores=0,2
/proc/79160/stat : 79160 (pbscip) R 79157 79160 78955 0 -1 4194304 9409 0 0 0 28 1 0 0 20 0 1 0 73494668 82292736 12585 18446744073709551615 4235264 18693293 140723079899152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56135680 140723079907721 140723079907820 140723079907820 140723079913422 0
/proc/79160/statm: 20091 12585 4000 3530 0 11542 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 80364 KiB
Current children cumulated memory: 50340 KiB
[startup+0.700169 s]
/proc/loadavg: 1.62 1.21 1.40 5/266 79161
/proc/meminfo: memFree=127677808/131250000 swapFree=33007332/33010684
[pid=79160] ppid=79157 vsize=80968 memory=52004 CPUtime=0.68 cores=0,2
/proc/79160/stat : 79160 (pbscip) R 79157 79160 78955 0 -1 4194304 9828 0 0 0 67 1 0 0 20 0 1 0 73494668 82911232 13001 18446744073709551615 4235264 18693293 140723079899152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56135680 140723079907721 140723079907820 140723079907820 140723079913422 0
/proc/79160/statm: 20242 13001 4000 3530 0 11693 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 80968 KiB
Current children cumulated memory: 52004 KiB
[startup+1.50018 s]
/proc/loadavg: 1.62 1.21 1.40 5/266 79161
/proc/meminfo: memFree=127677808/131250000 swapFree=33007332/33010684
[pid=79160] ppid=79157 vsize=81996 memory=53028 CPUtime=1.48 cores=0,2
/proc/79160/stat : 79160 (pbscip) R 79157 79160 78955 0 -1 4194304 10101 0 0 0 147 1 0 0 20 0 1 0 73494668 83963904 13257 18446744073709551615 4235264 18693293 140723079899152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56135680 140723079907721 140723079907820 140723079907820 140723079913422 0
/proc/79160/statm: 20499 13257 4000 3530 0 11950 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 81996 KiB
Current children cumulated memory: 53028 KiB
[startup+3.1055 s]
/proc/loadavg: 1.62 1.21 1.40 5/263 79196
/proc/meminfo: memFree=127796172/131250000 swapFree=33007332/33010684
[pid=79160] ppid=79157 vsize=84476 memory=55588 CPUtime=3.08 cores=0,2
/proc/79160/stat : 79160 (pbscip) R 79157 79160 78955 0 -1 4194304 10721 0 0 0 306 2 0 0 20 0 1 0 73494668 86503424 13897 18446744073709551615 4235264 18693293 140723079899152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56135680 140723079907721 140723079907820 140723079907820 140723079913422 0
/proc/79160/statm: 21119 13897 4000 3530 0 12570 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 84476 KiB
Current children cumulated memory: 55588 KiB
[startup+4.16 s]
# the end of solver process 79160 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=4.11502 s, system=0.024911 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.2002 s]
/proc/loadavg: 1.62 1.21 1.40 5/263 79196
/proc/meminfo: memFree=127796172/131250000 swapFree=33007332/33010684
[pid=79160] ppid=79157 vsize=84476 memory=55588 CPUtime=3.18 cores=0,2
/proc/79160/stat : 79160 (pbscip) R 79157 79160 78955 0 -1 4194304 10722 0 0 0 316 2 0 0 20 0 1 0 73494668 86503424 13897 18446744073709551615 4235264 18693293 140723079899152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56135680 140723079907721 140723079907820 140723079907820 140723079913422 0
/proc/79160/statm: 21119 13897 4000 3530 0 12570 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 84476 KiB
Current children cumulated memory: 55588 KiB
[startup+3.60013 s]
/proc/loadavg: 1.62 1.21 1.40 5/263 79196
/proc/meminfo: memFree=127796172/131250000 swapFree=33007332/33010684
[pid=79160] ppid=79157 vsize=84476 memory=55588 CPUtime=3.57 cores=0,2
/proc/79160/stat : 79160 (pbscip) R 79157 79160 78955 0 -1 4194304 10734 0 0 0 355 2 0 0 20 0 1 0 73494668 86503424 13897 18446744073709551615 4235264 18693293 140723079899152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56135680 140723079907721 140723079907820 140723079907820 140723079913422 0
/proc/79160/statm: 21119 13897 4000 3530 0 12570 0
Current children cumulated CPU time: 3.57 s
Current children cumulated vsize: 84476 KiB
Current children cumulated memory: 55588 KiB
[startup+4.00014 s]*
/proc/loadavg: 1.62 1.21 1.40 5/266 79206
/proc/meminfo: memFree=127478340/131250000 swapFree=33007332/33010684
[pid=79160] ppid=79157 vsize=85808 memory=56868 CPUtime=3.98 cores=0,2
/proc/79160/stat : 79160 (pbscip) R 79157 79160 78955 0 -1 4194304 11058 0 0 0 396 2 0 0 20 0 1 0 73494668 87867392 14217 18446744073709551615 4235264 18693293 140723079899152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56135680 140723079907721 140723079907820 140723079907820 140723079913422 0
/proc/79160/statm: 21452 14217 4000 3530 0 12903 0
Current children cumulated CPU time: 3.98 s
Current children cumulated vsize: 85808 KiB
Current children cumulated memory: 56868 KiB
[startup+4.10555 s]
/proc/loadavg: 1.62 1.21 1.40 5/266 79206
/proc/meminfo: memFree=127478340/131250000 swapFree=33007332/33010684
[pid=79160] ppid=79157 vsize=85808 memory=56868 CPUtime=4.08 cores=0,2
/proc/79160/stat : 79160 (pbscip) R 79157 79160 78955 0 -1 4194304 11059 0 0 0 406 2 0 0 20 0 1 0 73494668 87867392 14217 18446744073709551615 4235264 18693293 140723079899152 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 56135680 140723079907721 140723079907820 140723079907820 140723079913422 0
/proc/79160/statm: 21452 14217 4000 3530 0 12903 0
Current children cumulated CPU time: 4.08 s
Current children cumulated vsize: 85808 KiB
Current children cumulated memory: 56868 KiB
Child status: 0
Real time (s): 4.16002
CPU time (s): 4.13993
CPU user time (s): 4.11502
CPU system time (s): 0.024911
CPU usage (%): 99.517
Max. virtual memory (cumulated for all children) (KiB): 85808
Max. memory (cumulated for all children) (KiB): 56868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.11502
system time used= 0.024911
maximum resident set size= 56868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11066
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= 80
involuntary context switches= 13
# summary of solver processes directly reported to runsolver:
# pid: 79160
# total CPU time (s): 4.13993
# total CPU user time (s): 4.11502
# total CPU system time (s): 0.024911
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.019625 second user time and 0.049347 second system time
The end
Begin job on nodeC019 at 2025-07-03 23:29:32 IDJOB=4521870 IDBENCH=178488 IDSOLVER=3365 FILE ID=nodeC019/4521870-1751578172 RUNJOBID= nodeC019-1751578154-78965 SLURM_JOB_ID= 9598809 Free space on /tmp= 431536 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_06.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521870-1751578172/watcher-4521870-1751578172 -o /tmp/evaluation-result-4521870-1751578172/solver-4521870-1751578172 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751578154-78965 --watchdog 3760 pbscip -f HOME/instance-4521870-1751578172.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= da2c432e6d1460c5833697ae1752095a RANDOM SEED=1107096496 nodeC019 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 : 0xb00002a cpu MHz : 3598.889 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 pti ibrs ibpb stibp 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 : 6999.37 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 : 3599.690 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 pti ibrs ibpb stibp 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 : 6999.37 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 : 3599.687 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 pti ibrs ibpb stibp 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 : 6999.37 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 : 3599.968 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 pti ibrs ibpb stibp 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 : 6999.37 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 : 3599.667 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 pti ibrs ibpb stibp 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 : 6999.37 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 : 3599.668 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 pti ibrs ibpb stibp 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 : 6999.37 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 : 3607.176 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 pti ibrs ibpb stibp 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 : 6999.37 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 : 3700.000 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 pti ibrs ibpb stibp 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 : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 127712808 kB MemAvailable: 129469892 kB Buffers: 904 kB Cached: 2559128 kB SwapCached: 440 kB Active: 501008 kB Inactive: 2413500 kB Active(anon): 341932 kB Inactive(anon): 27736 kB Active(file): 159076 kB Inactive(file): 2385764 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33007332 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 37560 kB Writeback: 0 kB AnonPages: 357348 kB Mapped: 138428 kB Shmem: 15192 kB KReclaimable: 102964 kB Slab: 191668 kB SReclaimable: 102964 kB SUnreclaim: 88704 kB KernelStack: 4288 kB PageTables: 4072 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 759400 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 20480 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: 176852 kB DirectMap2M: 9031680 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431408 MiB End job on nodeC019 at 2025-07-03 23:29:36