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 | 2974 | 3585.62 | 3597.21 |
| Name | PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/ normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb |
| MD5SUM | 1376b7e36587a728493ace6af4c57a8e |
| 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 | 9 |
| Best CPU time to get the best result obtained on this benchmark | 231.564 |
| 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 | 1294 |
| Total number of constraints | 1091 |
| Number of constraints which are clauses | 2 |
| 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 | 785 |
| Biggest coefficient in the objective function | 7345 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 59444 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 7345 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 59444 |
| Number of bits of the biggest sum of numbers | 16 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4523848-1751598034.opb>
0.10/0.15 c original problem has 1294 variables (1294 bin, 0 int, 0 impl, 0 cont) and 1091 constraints
0.10/0.15 c problem read in 0.14
0.21/0.30 c presolving:
0.68/0.77 c (round 1, fast) 2 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1 clqs
0.68/0.77 c (round 2, fast) 2 del vars, 11 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1 clqs
0.88/0.98 c (1.0s) running MILP presolver
1.00/1.07 c (1.1s) MILP presolver found nothing
1.17/1.22 c (round 3, exhaustive) 2 del vars, 11 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 1070 upgd conss, 0 impls, 1 clqs
1.37/1.43 c (round 4, exhaustive) 2 del vars, 11 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 1080 upgd conss, 0 impls, 1 clqs
1.57/1.66 c (1.7s) probing: 51/1292 (3.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.57/1.66 c (1.7s) probing aborted: 50/50 successive totally useless probings
1.78/1.89 c (1.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.88/1.98 c (2.0s) no symmetry present (symcode time: 0.00)
1.99/2.09 c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
1.99/2.09 c 2 deleted vars, 11 deleted constraints, 0 added constraints, 2 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.99/2.09 c 0 implications, 1 cliques
1.99/2.09 c presolved problem has 1292 variables (1292 bin, 0 int, 0 impl, 0 cont) and 1080 constraints
1.99/2.09 c 1079 constraints of type <knapsack>
1.99/2.09 c 1 constraints of type <setppc>
1.99/2.09 c transformed objective value is always integral (scale: 1)
1.99/2.09 c Presolving Time: 1.80
1.99/2.09 c - non default parameters ----------------------------------------------------------------------
1.99/2.09 c # SCIP version 10.0.0
1.99/2.09 c
1.99/2.09 c # maximal time in seconds to run
1.99/2.09 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.99/2.09 c limits/time = 3596.998008
1.99/2.09 c
1.99/2.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.99/2.09 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.99/2.09 c limits/memory = 27900
1.99/2.09 c
1.99/2.09 c # belongs reading time to solving time?
1.99/2.09 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.99/2.09 c timing/reading = TRUE
1.99/2.09 c
1.99/2.09 c -----------------------------------------------------------------------------------------------
1.99/2.09 c start solving
1.99/2.09 c
2.47/2.50 o 29596
2.47/2.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.47/2.50 c p 2.5s| 1 | 0 | 0 | - | locks| 0 |1292 |1080 |1080 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.959600e+04 | Inf | unknown
2.47/2.52 o 28599
2.47/2.52 c i 2.5s| 1 | 0 | 0 | - | oneopt| 0 |1292 |1080 |1080 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.859900e+04 | Inf | unknown
2.47/2.55 c 2.5s| 1 | 0 | 276 | - | 344M | 0 |1292 |1080 |1080 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.859900e+04 | Inf | unknown
3.08/3.11 c 3.1s| 1 | 0 | 532 | - | 372M | 0 |1292 |1080 |1236 | 156 | 1 | 0 | 0 | 0.000000e+00 | 2.859900e+04 | Inf | unknown
3.57/3.64 c 3.6s| 1 | 0 | 744 | - | 396M | 0 |1292 |1080 |1359 | 279 | 2 | 0 | 0 | 0.000000e+00 | 2.859900e+04 | Inf | unknown
4.08/4.16 c 4.1s| 1 | 0 | 915 | - | 417M | 0 |1292 |1080 |1484 | 404 | 3 | 0 | 0 | 0.000000e+00 | 2.859900e+04 | Inf | unknown
4.57/4.66 c 4.7s| 1 | 0 | 1028 | - | 441M | 0 |1292 |1080 |1590 | 510 | 4 | 0 | 0 | 0.000000e+00 | 2.859900e+04 | Inf | unknown
5.16/5.20 c 5.2s| 1 | 0 | 1138 | - | 468M | 0 |1292 |1080 |1649 | 569 | 5 | 0 | 0 | 0.000000e+00 | 2.859900e+04 | Inf | unknown
5.66/5.70 c 5.7s| 1 | 0 | 1236 | - | 480M | 0 |1292 |1080 |1727 | 647 | 6 | 0 | 0 | 0.000000e+00 | 2.859900e+04 | Inf | unknown
6.16/6.20 c 6.2s| 1 | 0 | 1311 | - | 502M | 0 |1292 |1081 |1771 | 691 | 7 | 1 | 0 | 0.000000e+00 | 2.859900e+04 | Inf | unknown
6.66/6.70 c 6.7s| 1 | 0 | 1375 | - | 535M | 0 |1292 |1081 |1832 | 752 | 8 | 1 | 0 | 0.000000e+00 | 2.859900e+04 | Inf | unknown
7.16/7.22 c 7.2s| 1 | 0 | 1443 | - | 550M | 0 |1292 |1081 |1881 | 801 | 9 | 1 | 0 | 0.000000e+00 | 2.859900e+04 | Inf | unknown
7.66/7.75 c 7.7s| 1 | 0 | 1542 | - | 583M | 0 |1292 |1081 |1950 | 870 | 10 | 1 | 0 | 0.000000e+00 | 2.859900e+04 | Inf | unknown
8.06/8.12 c 8.1s| 1 | 0 | 1616 | - | 588M | 0 |1292 |1081 |1856 | 931 | 11 | 1 | 0 | 0.000000e+00 | 2.859900e+04 | Inf | unknown
16.05/16.15 o 26567
16.05/16.15 c L16.1s| 1 | 0 | 10502 | - | alns| 0 |1292 |1084 |1856 | 931 | 11 | 5 | 0 | 0.000000e+00 | 2.656700e+04 | Inf | unknown
16.33/16.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.33/16.41 c 16.4s| 1 | 0 | 10502 | - | 589M | 0 |1292 |1084 |1856 | 931 | 11 | 5 | 0 | 0.000000e+00 | 2.656700e+04 | Inf | unknown
16.33/16.43 o 26373
16.33/16.43 c i16.4s| 1 | 0 | 10502 | - | oneopt| 0 |1292 |1084 |1856 | 931 | 11 | 5 | 0 | 0.000000e+00 | 2.637300e+04 | Inf | unknown
16.63/16.78 c 16.8s| 1 | 0 | 11024 | - | 588M | 0 |1292 |1084 |1908 | 983 | 12 | 5 | 0 | 0.000000e+00 | 2.637300e+04 | Inf | unknown
16.73/16.86 c 16.9s| 1 | 0 | 11274 | - | 588M | 0 |1292 |1085 |1926 |1001 | 13 | 6 | 0 | 0.000000e+00 | 2.637300e+04 | Inf | unknown
22.92/23.09 c 23.1s| 1 | 2 | 11333 | - | 588M | 0 |1292 |1086 |1926 |1001 | 13 | 7 | 26 | 0.000000e+00 | 2.637300e+04 | Inf | unknown
68.85/69.17 c 69.2s| 100 | 101 | 34348 | 322.8 | 604M | 55 |1292 |1088 |1135 |1433 | 1 | 9 | 573 | 0.000000e+00 | 2.637300e+04 | Inf | unknown
77.61/77.93 c 77.9s| 200 | 201 | 49102 | 234.7 | 662M | 69 |1292 |1123 |1197 |1914 | 1 | 44 | 598 | 0.000000e+00 | 2.637300e+04 | Inf | unknown
110.92/111.33 o 11650
110.92/111.33 c L 111s| 220 | 221 | 50502 | 219.7 | rins| 75 |1292 |1123 |1211 |1929 | 1 | 44 | 598 | 0.000000e+00 | 1.165000e+04 | Inf | unknown
131.85/132.39 c 132s| 300 | 301 |110649 | 362.1 | 673M | 77 |1292 |1123 |1226 |2232 | 1 | 44 | 618 | 0.000000e+00 | 1.165000e+04 | Inf | unknown
150.39/150.91 c 151s| 400 | 389 |156696 | 386.7 | 670M | 81 |1292 |1139 |1157 |2600 | 1 | 60 | 693 | 0.000000e+00 | 1.165000e+04 | Inf | unknown
186.07/186.76 c 187s| 500 | 479 |205783 | 407.6 | 670M | 81 |1292 |1148 |1210 |3000 | 1 | 69 | 747 | 0.000000e+00 | 1.165000e+04 | Inf | unknown
205.69/206.45 c 206s| 600 | 565 |254967 | 421.7 | 667M | 81 |1292 |1155 |1217 |3387 | 0 | 76 | 817 | 0.000000e+00 | 1.165000e+04 | Inf | unknown
230.52/231.30 c 231s| 700 | 649 |324371 | 460.6 | 663M | 81 |1292 |1177 |1251 |3816 | 2 | 98 | 878 | 0.000000e+00 | 1.165000e+04 | Inf | unknown
256.54/257.49 c 257s| 800 | 727 |389349 | 484.3 | 663M | 81 |1292 |1189 |1242 |4156 | 1 | 111 | 934 | 0.000000e+00 | 1.165000e+04 | Inf | unknown
278.87/279.81 c 280s| 900 | 795 |473482 | 524.0 | 663M | 81 |1292 |1209 |1184 |4374 | 1 | 132 | 951 | 0.000000e+00 | 1.165000e+04 | Inf | unknown
293.32/294.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
293.32/294.39 c 294s| 1000 | 877 |527850 | 526.0 | 659M | 81 |1292 |1219 |1139 |4693 | 1 | 142 | 960 | 0.000000e+00 | 1.165000e+04 | Inf | unknown
311.08/312.18 c 312s| 1100 | 955 |583714 | 529.0 | 659M | 81 |1292 |1232 |1184 |5113 | 1 | 155 | 983 | 0.000000e+00 | 1.165000e+04 | Inf | unknown
333.91/335.03 c 335s| 1200 | 1027 |646728 | 537.4 | 659M | 81 |1292 |1252 |1182 |5424 | 1 | 175 |1024 | 0.000000e+00 | 1.165000e+04 | Inf | unknown
347.06/348.28 o 11258
347.06/348.28 c L 348s| 1251 | 1058 |689593 | 549.8 | alns| 81 |1292 |1268 |1213 |5585 | 0 | 195 |1044 | 0.000000e+00 | 1.125800e+04 | Inf | unknown
347.87/349.07 o 10464
347.87/349.07 c i 349s| 1252 | 1059 |692164 | 551.4 | oneopt| 81 |1292 |1268 |1234 |5606 | 2 | 195 |1044 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
358.62/359.81 c 360s| 1300 | 1097 |718709 | 551.4 | 659M | 81 |1292 |1280 |1178 |5745 | 1 | 207 |1066 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
376.26/377.59 c 378s| 1400 | 1173 |769602 | 548.4 | 660M | 81 |1292 |1303 |1222 |6113 | 0 | 230 |1114 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
395.71/397.11 c 397s| 1500 | 1233 |824588 | 548.5 | 660M | 82 |1292 |1343 |1228 |6335 | 2 | 270 |1155 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
415.55/416.97 c 417s| 1600 | 1302 |885862 | 552.5 | 660M | 82 |1292 |1377 |1214 |6626 | 1 | 304 |1185 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
438.87/440.31 c 440s| 1700 | 1354 |957472 | 562.1 | 660M | 85 |1292 |1424 |1208 |6802 | 0 | 351 |1243 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
464.70/466.25 c 466s| 1800 | 1416 | 1031k| 572.2 | 661M | 85 |1292 |1454 |1210 |7054 | 1 | 393 |1307 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
487.44/489.04 c 489s| 1900 | 1470 | 1108k| 582.4 | 661M | 92 |1292 |1478 |1201 |7255 | 1 | 434 |1344 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
510.25/511.91 c 512s| 2000 | 1552 | 1159k| 578.7 | 661M | 92 |1292 |1487 |1190 |7509 | 1 | 451 |1396 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
527.58/529.38 c 529s| 2100 | 1620 | 1215k| 577.7 | 661M | 94 |1292 |1510 |1195 |7744 | 1 | 486 |1428 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
545.81/547.60 c 548s| 2200 | 1698 | 1265k| 574.6 | 661M | 94 |1292 |1526 |1174 |7970 | 1 | 502 |1484 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
557.36/559.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
557.36/559.20 c 559s| 2300 | 1782 | 1305k| 566.8 | 662M | 94 |1292 |1534 |1195 |8352 | 0 | 515 |1488 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
571.91/573.85 c 574s| 2400 | 1854 | 1363k| 567.5 | 662M | 94 |1292 |1550 |1201 |8641 | 1 | 535 |1490 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
584.66/586.61 c 587s| 2500 | 1926 | 1413k| 564.8 | 662M | 94 |1292 |1563 |1170 |8885 | 1 | 554 |1500 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
608.18/610.23 c 610s| 2600 | 2008 | 1503k| 577.5 | 662M | 94 |1292 |1573 |1198 |9173 | 1 | 565 |1503 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
625.22/627.32 c 627s| 2700 | 2094 | 1556k| 576.0 | 662M | 94 |1292 |1582 |1181 |9506 | 1 | 575 |1531 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
640.88/643.01 c 643s| 2800 | 2177 | 1600k| 571.0 | 662M | 94 |1292 |1591 |1179 |9810 | 1 | 586 |1576 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
658.41/660.60 c 661s| 2900 | 2246 | 1657k| 570.9 | 663M | 94 |1292 |1610 |1191 | 10k| 1 | 620 |1613 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
675.65/677.97 c 678s| 3000 | 2318 | 1708k| 568.9 | 663M | 94 |1292 |1644 |1179 | 10k| 1 | 670 |1652 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
694.48/696.87 c 697s| 3100 | 2378 | 1773k| 571.6 | 663M | 94 |1292 |1667 |1186 | 10k| 1 | 695 |1676 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
707.24/709.69 c 710s| 3200 | 2446 | 1812k| 566.0 | 663M | 94 |1292 |1689 |1188 | 10k| 1 | 726 |1699 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
722.19/724.69 c 725s| 3300 | 2514 | 1859k| 563.0 | 663M | 94 |1292 |1707 |1172 | 10k| 1 | 759 |1731 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
734.66/737.15 c 737s| 3400 | 2594 | 1899k| 558.0 | 663M | 94 |1292 |1715 |1176 | 11k| 1 | 774 |1756 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
755.68/758.29 c 758s| 3500 | 2650 | 1956k| 558.4 | 663M | 94 |1292 |1747 |1196 | 11k| 1 | 822 |1789 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
776.42/779.07 c 779s| 3600 | 2704 | 2023k| 561.5 | 663M | 94 |1292 |1782 |1166 | 11k| 1 | 873 |1852 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
790.56/793.25 c 793s| 3700 | 2784 | 2066k| 558.1 | 663M | 94 |1292 |1796 |1265 | 11k| 0 | 894 |1875 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
809.20/811.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
809.20/811.92 c 812s| 3800 | 2835 | 2133k| 561.1 | 663M | 94 |1292 |1824 |1251 | 12k| 1 | 940 |1898 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
828.93/831.78 c 832s| 3900 | 2867 | 2205k| 565.1 | 663M | 94 |1292 |1877 |1232 | 12k| 0 |1022 |1922 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
846.98/849.86 c 850s| 4000 | 2890 | 2277k| 568.8 | 663M | 94 |1292 |1926 |1253 | 12k| 1 |1103 |1943 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
860.33/863.24 c 863s| 4100 | 2913 | 2330k| 568.1 | 663M | 108 |1292 |1988 |1235 | 12k| 1 |1199 |1996 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
879.08/882.06 c 882s| 4200 | 2927 | 2415k| 574.7 | 664M | 108 |1292 |2051 |1205 | 12k| 1 |1302 |2000 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
894.81/897.88 c 898s| 4300 | 2969 | 2486k| 577.9 | 664M | 108 |1292 |2100 |1217 | 12k| 1 |1379 |2002 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
909.17/912.26 c 912s| 4400 | 3001 | 2553k| 579.9 | 664M | 108 |1292 |2152 |1229 | 12k| 0 |1460 |2003 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
924.82/927.97 c 928s| 4500 | 3050 | 2616k| 581.0 | 665M | 108 |1292 |2186 |1228 | 13k| 2 |1519 |2013 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
942.16/945.35 c 945s| 4600 | 3099 | 2670k| 580.1 | 665M | 108 |1292 |2232 |1238 | 13k| 1 |1591 |2040 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
960.81/964.09 c 964s| 4700 | 3126 | 2743k| 583.3 | 666M | 108 |1292 |2295 |1249 | 13k| 0 |1686 |2061 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
984.42/987.76 c 988s| 4800 | 3163 | 2822k| 587.6 | 666M | 108 |1292 |2347 |1227 | 13k| 1 |1771 |2091 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1000.27/1003.62 c 1004s| 4900 | 3210 | 2878k| 587.1 | 666M | 108 |1292 |2388 |1257 | 13k| 1 |1836 |2115 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1015.64/1019.04 c 1019s| 5000 | 3227 | 2926k| 584.9 | 666M | 108 |1292 |2474 |1252 | 13k| 1 |1958 |2150 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1030.97/1034.47 c 1034s| 5100 | 3244 | 2986k| 585.3 | 666M | 108 |1292 |2541 |1228 | 13k| 1 |2058 |2170 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1047.02/1050.59 c 1051s| 5200 | 3263 | 3043k| 585.0 | 666M | 108 |1292 |2601 |1238 | 13k| 1 |2154 |2194 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1068.35/1071.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1068.35/1071.97 c 1072s| 5300 | 3288 | 3110k| 586.5 | 666M | 108 |1292 |2661 |1249 | 14k| 1 |2248 |2213 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1085.89/1089.56 c 1090s| 5400 | 3317 | 3167k| 586.3 | 666M | 108 |1292 |2751 |1258 | 14k| 2 |2373 |2264 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1096.85/1100.53 c 1101s| 5500 | 3374 | 3205k| 582.5 | 666M | 108 |1292 |2784 |1228 | 14k| 1 |2426 |2274 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1113.59/1117.34 c 1117s| 5600 | 3451 | 3254k| 580.8 | 666M | 108 |1292 |2798 |1183 | 14k| 1 |2450 |2322 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1130.25/1134.05 c 1134s| 5700 | 3504 | 3310k| 580.4 | 666M | 108 |1292 |2831 |1213 | 14k| 0 |2504 |2367 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1145.39/1149.25 c 1149s| 5800 | 3568 | 3362k| 579.5 | 666M | 108 |1292 |2867 |1253 | 14k| 0 |2557 |2410 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1158.26/1162.13 c 1162s| 5900 | 3625 | 3414k| 578.3 | 666M | 108 |1292 |2898 |1209 | 15k| 0 |2609 |2420 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1173.89/1177.80 c 1178s| 6000 | 3681 | 3476k| 579.1 | 666M | 108 |1292 |2926 |1237 | 15k| 0 |2658 |2429 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1187.75/1191.74 c 1192s| 6100 | 3717 | 3537k| 579.7 | 666M | 108 |1292 |2991 |1227 | 15k| 1 |2751 |2432 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1198.51/1202.53 c 1203s| 6200 | 3797 | 3580k| 577.2 | 666M | 108 |1292 |3001 |1250 | 15k| 1 |2767 |2433 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1208.68/1212.76 c 1213s| 6300 | 3823 | 3625k| 575.2 | 667M | 108 |1292 |3058 |1281 | 15k| 0 |2853 |2446 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1218.35/1222.47 c 1222s| 6400 | 3833 | 3668k| 572.9 | 667M | 109 |1292 |3112 |1287 | 15k| 0 |2939 |2448 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1227.62/1231.76 c 1232s| 6500 | 3853 | 3708k| 570.2 | 667M | 109 |1292 |3185 |1270 | 16k| 0 |3052 |2453 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1240.37/1244.60 c 1245s| 6600 | 3864 | 3768k| 570.7 | 667M | 109 |1292 |3251 |1212 | 16k| 0 |3159 |2455 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1257.41/1261.61 c 1262s| 6700 | 3891 | 3836k| 572.4 | 668M | 109 |1292 |3308 |1252 | 16k| 0 |3246 |2469 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1267.28/1271.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1267.28/1271.57 c 1272s| 6800 | 3943 | 3877k| 569.9 | 668M | 109 |1292 |3344 |1278 | 16k| 0 |3303 |2483 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1282.63/1287.00 c 1287s| 6900 | 3997 | 3916k| 567.3 | 668M | 130 |1292 |3405 |1277 | 16k| 0 |3385 |2689 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1293.39/1297.73 c 1298s| 7000 | 4045 | 3952k| 564.4 | 668M | 130 |1292 |3493 |1281 | 16k| 1 |3497 |2768 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1301.06/1305.49 c 1305s| 7100 | 4071 | 3985k| 561.0 | 668M | 130 |1292 |3590 |1280 | 16k| 1 |3625 |2778 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1307.34/1311.79 c 1312s| 7200 | 4111 | 4010k| 556.7 | 668M | 130 |1292 |3651 |1284 | 16k| 0 |3708 |2794 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1315.81/1320.21 c 1320s| 7300 | 4164 | 4043k| 553.6 | 668M | 130 |1292 |3706 |1161 | 16k| 1 |3788 |2799 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1321.49/1325.94 c 1326s| 7400 | 4214 | 4066k| 549.3 | 668M | 130 |1292 |3758 |1281 | 17k| 1 |3864 |2799 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1326.87/1331.35 c 1331s| 7500 | 4263 | 4086k| 544.6 | 668M | 130 |1292 |3835 |1201 | 17k| 2 |3963 |2824 | 0.000000e+00 | 1.046400e+04 | Inf | unknown
1330.46/1334.90 o 5703
1330.46/1334.90 c L1335s| 7520 | 4283 | 4091k| 543.8 | rins| 130 |1292 |3829 |1254 | 17k| 2 |3963 |2824 | 0.000000e+00 | 5.703000e+03 | Inf | unknown
1335.24/1339.77 c 1340s| 7600 | 4325 | 4110k| 540.6 | 669M | 130 |1292 |3856 |1222 | 17k| 1 |4004 |2824 | 0.000000e+00 | 5.703000e+03 | Inf | unknown
1342.22/1346.70 c 1347s| 7700 | 4385 | 4139k| 537.4 | 669M | 130 |1292 |3898 |1291 | 17k| 2 |4065 |2834 | 0.000000e+00 | 5.703000e+03 | Inf | unknown
1352.29/1356.82 c 1357s| 7800 | 4423 | 4164k| 533.7 | 669M | 130 |1292 |3959 |1288 | 17k| 1 |4145 |2853 | 0.000000e+00 | 5.703000e+03 | Inf | unknown
1357.27/1361.80 c 1362s| 7900 | 4439 | 4186k| 529.7 | 669M | 130 |1292 |4043 |1293 | 17k| 1 |4261 |2854 | 0.000000e+00 | 5.703000e+03 | Inf | unknown
1364.15/1368.75 c 1369s| 8000 | 4473 | 4208k| 525.8 | 669M | 130 |1292 |4116 |1292 | 17k| 2 |4365 |2885 | 0.000000e+00 | 5.703000e+03 | Inf | unknown
1371.33/1375.91 c 1376s| 8100 | 4518 | 4232k| 522.3 | 669M | 130 |1292 |4176 |1272 | 17k| 1 |4456 |2895 | 0.000000e+00 | 5.703000e+03 | Inf | unknown
1383.09/1387.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1383.09/1387.73 c 1388s| 8200 | 4579 | 4268k| 520.3 | 669M | 130 |1292 |4207 |1294 | 17k| 1 |4515 |2937 | 0.000000e+00 | 5.703000e+03 | Inf | unknown
1389.97/1394.62 c 1395s| 8300 | 4641 | 4292k| 516.9 | 670M | 130 |1292 |4238 |1292 | 17k| 1 |4567 |2991 | 0.000000e+00 | 5.703000e+03 | Inf | unknown
1396.36/1401.04 c 1401s| 8400 | 4684 | 4314k| 513.4 | 670M | 130 |1292 |4269 |1203 | 17k| 1 |4651 |3003 | 0.000000e+00 | 5.703000e+03 | Inf | unknown
1400.23/1404.94 o 4466
1400.23/1404.94 c L1405s| 8440 | 4708 | 4324k| 512.1 | alns| 130 |1292 |4281 | 0 | 18k| 0 |4670 |3013 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1402.92/1407.63 c 1408s| 8500 | 4730 | 4334k| 509.7 | 670M | 130 |1292 |4291 |1302 | 18k| 0 |4710 |3018 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1407.70/1412.48 c 1412s| 8600 | 4763 | 4350k| 505.6 | 670M | 130 |1292 |4346 | 0 | 18k| 0 |4804 |3030 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1417.28/1422.01 c 1422s| 8700 | 4804 | 4381k| 503.4 | 670M | 130 |1292 |4354 |1276 | 18k| 1 |4871 |3055 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1425.84/1430.66 c 1431s| 8800 | 4826 | 4400k| 499.9 | 671M | 130 |1292 |4375 |1286 | 18k| 0 |4960 |3079 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1434.02/1438.81 c 1439s| 8900 | 4884 | 4427k| 497.3 | 671M | 130 |1292 |4415 |1294 | 18k| 1 |5022 |3102 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1447.77/1452.69 c 1453s| 9000 | 4930 | 4474k| 497.0 | 671M | 130 |1292 |4438 |1270 | 18k| 1 |5084 |3124 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1454.75/1459.68 c 1460s| 9100 | 4970 | 4499k| 494.2 | 672M | 130 |1292 |4459 |1282 | 19k| 1 |5127 |3134 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1462.52/1467.44 c 1467s| 9200 | 5042 | 4519k| 491.1 | 673M | 143 |1292 |4452 |1309 | 19k| 1 |5148 |3187 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1470.21/1475.20 c 1475s| 9300 | 5097 | 4549k| 488.9 | 673M | 143 |1292 |4464 | 0 | 19k| 0 |5196 |3206 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1481.85/1486.88 c 1487s| 9400 | 5140 | 4586k| 487.7 | 673M | 143 |1292 |4503 |1259 | 19k| 1 |5284 |3241 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1487.93/1492.98 c 1493s| 9500 | 5163 | 4606k| 484.7 | 673M | 143 |1292 |4526 |1298 | 19k| 1 |5381 |3255 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1494.21/1499.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1494.21/1499.25 c 1499s| 9600 | 5225 | 4624k| 481.5 | 673M | 143 |1292 |4540 |1288 | 19k| 0 |5421 |3322 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1506.08/1511.12 c 1511s| 9700 | 5285 | 4661k| 480.4 | 674M | 143 |1292 |4545 |1254 | 19k| 0 |5469 |3372 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1514.14/1519.25 c 1519s| 9800 | 5337 | 4693k| 478.7 | 674M | 143 |1292 |4578 |1279 | 20k| 1 |5529 |3385 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1519.52/1524.69 c 1525s| 9900 | 5370 | 4715k| 476.1 | 674M | 143 |1292 |4603 |1288 | 20k| 1 |5608 |3388 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1524.61/1529.73 c 1530s| 10000 | 5414 | 4735k| 473.4 | 674M | 143 |1292 |4615 |1273 | 20k| 1 |5668 |3394 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1530.00/1535.12 c 1535s| 10100 | 5458 | 4757k| 470.9 | 674M | 143 |1292 |4636 |1274 | 20k| 0 |5728 |3397 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1537.76/1542.97 c 1543s| 10200 | 5511 | 4790k| 469.5 | 674M | 143 |1292 |4629 |1274 | 20k| 1 |5776 |3399 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1544.54/1549.74 c 1550s| 10300 | 5554 | 4819k| 467.8 | 674M | 143 |1292 |4623 |1283 | 20k| 1 |5847 |3402 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1550.42/1555.62 c 1556s| 10400 | 5592 | 4845k| 465.7 | 674M | 143 |1292 |4682 |1287 | 21k| 1 |5939 |3408 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1556.60/1561.81 c 1562s| 10500 | 5646 | 4871k| 463.8 | 675M | 143 |1292 |4698 |1239 | 21k| 1 |6009 |3410 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1562.18/1567.49 c 1567s| 10600 | 5681 | 4896k| 461.7 | 675M | 143 |1292 |4679 |1296 | 21k| 1 |6085 |3410 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1567.36/1572.61 c 1573s| 10700 | 5720 | 4916k| 459.3 | 675M | 143 |1292 |4707 |1264 | 21k| 1 |6163 |3412 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1572.55/1577.81 c 1578s| 10800 | 5759 | 4936k| 456.9 | 675M | 143 |1292 |4719 | 0 | 21k| 0 |6224 |3418 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1577.23/1582.50 c 1582s| 10900 | 5804 | 4954k| 454.4 | 675M | 143 |1292 |4746 |1284 | 21k| 1 |6296 |3423 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1582.61/1587.95 c 1588s| 11000 | 5825 | 4978k| 452.4 | 675M | 143 |1292 |4778 |1312 | 21k| 1 |6383 |3424 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1590.98/1596.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1590.98/1596.32 c 1596s| 11100 | 5878 | 5000k| 450.3 | 675M | 143 |1292 |4781 |1282 | 21k| 1 |6419 |3425 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1596.17/1601.51 c 1601s| 11200 | 5921 | 5021k| 448.2 | 675M | 143 |1292 |4812 |1282 | 21k| 0 |6487 |3425 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1602.84/1608.25 c 1608s| 11300 | 5980 | 5049k| 446.7 | 675M | 143 |1292 |4828 |1266 | 21k| 1 |6545 |3426 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1608.82/1614.30 c 1614s| 11400 | 6020 | 5075k| 445.0 | 676M | 143 |1292 |4836 | 0 | 22k| 0 |6618 |3432 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1613.91/1619.36 c 1619s| 11500 | 6056 | 5095k| 442.9 | 676M | 143 |1292 |4864 |1267 | 22k| 0 |6686 |3432 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1620.08/1625.57 c 1626s| 11600 | 6094 | 5122k| 441.4 | 676M | 143 |1292 |4905 |1299 | 22k| 1 |6758 |3432 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1629.66/1635.17 c 1635s| 11700 | 6126 | 5165k| 441.3 | 676M | 143 |1292 |4897 |1286 | 22k| 1 |6823 |3434 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1638.42/1644.00 c 1644s| 11800 | 6154 | 5198k| 440.4 | 677M | 143 |1292 |4882 |1227 | 22k| 1 |6889 |3435 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1644.40/1650.01 c 1650s| 11900 | 6203 | 5223k| 438.8 | 678M | 143 |1292 |4898 |1292 | 22k| 1 |6944 |3435 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1649.29/1654.81 c 1655s| 12000 | 6235 | 5243k| 436.8 | 678M | 143 |1292 |4953 |1223 | 22k| 0 |7052 |3438 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1655.87/1661.45 c 1661s| 12100 | 6286 | 5265k| 435.0 | 678M | 143 |1292 |4960 |1270 | 22k| 0 |7124 |3453 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1661.15/1666.75 c 1667s| 12200 | 6325 | 5286k| 433.2 | 678M | 143 |1292 |4957 |1288 | 22k| 2 |7194 |3454 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1672.11/1677.78 c 1678s| 12300 | 6365 | 5320k| 432.4 | 678M | 143 |1292 |4923 |1250 | 22k| 1 |7242 |3474 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1676.20/1681.81 c 1682s| 12400 | 6426 | 5335k| 430.2 | 678M | 143 |1292 |4934 |1271 | 23k| 1 |7290 |3474 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1682.28/1687.96 c 1688s| 12500 | 6499 | 5354k| 428.2 | 679M | 143 |1292 |4931 |1244 | 23k| 1 |7335 |3485 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1688.06/1693.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1688.06/1693.77 c 1694s| 12600 | 6583 | 5375k| 426.5 | 679M | 143 |1292 |4963 |1258 | 23k| 1 |7381 |3521 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1693.35/1699.06 c 1699s| 12700 | 6658 | 5389k| 424.2 | 679M | 143 |1292 |4982 |1260 | 23k| 1 |7414 |3566 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1698.03/1703.72 c 1704s| 12800 | 6743 | 5402k| 421.9 | 679M | 143 |1292 |5006 |1277 | 23k| 1 |7441 |3617 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1708.80/1714.51 c 1715s| 12900 | 6833 | 5445k| 422.0 | 679M | 143 |1292 |5018 |1264 | 23k| 1 |7458 |3662 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1713.78/1719.54 c 1720s| 13000 | 6912 | 5459k| 419.8 | 679M | 143 |1292 |5051 |1264 | 23k| 0 |7500 |3695 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1719.27/1725.04 c 1725s| 13100 | 6981 | 5477k| 418.0 | 679M | 143 |1292 |5068 |1277 | 23k| 1 |7549 |3723 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1723.65/1729.47 c 1729s| 13200 | 7052 | 5492k| 415.9 | 680M | 143 |1292 |5079 |1259 | 23k| 1 |7612 |3752 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1729.43/1735.22 c 1735s| 13300 | 7138 | 5510k| 414.2 | 680M | 143 |1292 |5106 |1274 | 23k| 1 |7651 |3789 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1732.62/1738.42 c 1738s| 13400 | 7213 | 5523k| 412.0 | 680M | 143 |1292 |5131 |1279 | 23k| 1 |7688 |3798 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1742.09/1748.01 c 1748s| 13500 | 7301 | 5547k| 410.8 | 680M | 143 |1292 |5109 |1177 | 23k| 1 |7710 |3842 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1751.56/1757.48 c 1757s| 13600 | 7381 | 5576k| 409.9 | 680M | 143 |1292 |5121 |1273 | 24k| 1 |7740 |3883 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1756.64/1762.58 c 1763s| 13700 | 7463 | 5595k| 408.3 | 681M | 143 |1292 |5144 |1269 | 24k| 1 |7781 |3909 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1762.13/1768.06 c 1768s| 13800 | 7550 | 5615k| 406.8 | 681M | 143 |1292 |5121 |1263 | 24k| 1 |7803 |3931 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1766.71/1772.68 c 1773s| 13900 | 7607 | 5626k| 404.6 | 681M | 143 |1292 |5116 |1257 | 24k| 6 |7861 |3963 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1769.70/1775.60 c 1776s| 14000 | 7659 | 5637k| 402.5 | 681M | 143 |1292 |5126 |1274 | 24k| 1 |7940 |3963 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1774.78/1780.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1774.78/1780.73 c 1781s| 14100 | 7713 | 5652k| 400.8 | 681M | 143 |1292 |5152 |1241 | 24k| 0 |8026 |3991 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1778.67/1784.61 c 1785s| 14200 | 7792 | 5668k| 399.1 | 681M | 143 |1292 |5128 |1241 | 24k| 1 |8047 |3998 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1783.75/1789.74 c 1790s| 14300 | 7867 | 5682k| 397.3 | 681M | 143 |1292 |5105 |1258 | 24k| 3 |8084 |4043 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1786.94/1792.94 c 1793s| 14400 | 7931 | 5695k| 395.3 | 682M | 143 |1292 |5102 |1281 | 24k| 1 |8125 |4050 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1794.03/1800.01 c 1800s| 14500 | 8004 | 5722k| 394.5 | 682M | 143 |1292 |5060 |1254 | 24k| 4 |8159 |4079 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1799.30/1805.36 c 1805s| 14600 | 8099 | 5739k| 393.0 | 682M | 143 |1292 |5064 |1258 | 24k| 1 |8177 |4112 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1805.58/1811.61 c 1812s| 14700 | 8184 | 5758k| 391.6 | 683M | 143 |1292 |5060 |1266 | 24k| 1 |8208 |4173 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1812.16/1818.23 c 1818s| 14800 | 8258 | 5783k| 390.6 | 683M | 143 |1292 |5038 |1255 | 25k| 1 |8239 |4192 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1819.73/1825.82 c 1826s| 14900 | 8339 | 5803k| 389.3 | 683M | 143 |1292 |5032 |1268 | 25k| 1 |8277 |4273 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1824.52/1830.65 c 1831s| 15000 | 8397 | 5819k| 387.8 | 683M | 143 |1292 |5034 |1286 | 25k| 1 |8330 |4305 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1831.91/1838.04 c 1838s| 15100 | 8480 | 5846k| 387.0 | 684M | 143 |1292 |5009 |1260 | 25k| 1 |8369 |4319 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1841.06/1847.20 c 1847s| 15200 | 8555 | 5880k| 386.7 | 686M | 143 |1292 |4962 |1234 | 25k| 1 |8403 |4326 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1846.05/1852.23 c 1852s| 15300 | 8618 | 5900k| 385.5 | 686M | 143 |1292 |4975 |1272 | 26k| 1 |8472 |4339 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1851.63/1857.83 c 1858s| 15400 | 8705 | 5920k| 384.3 | 686M | 143 |1292 |4985 |1293 | 26k| 1 |8500 |4389 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1856.71/1862.94 c 1863s| 15500 | 8793 | 5936k| 382.9 | 686M | 143 |1292 |4952 |1288 | 26k| 1 |8514 |4441 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1864.09/1870.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1864.09/1870.30 c 1870s| 15600 | 8827 | 5967k| 382.4 | 686M | 143 |1292 |4919 |1289 | 26k| 1 |8597 |4443 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1870.37/1876.69 c 1877s| 15700 | 8876 | 5995k| 381.7 | 686M | 143 |1292 |4927 |1288 | 26k| 1 |8672 |4445 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1878.24/1884.51 c 1884s| 15800 | 8944 | 6023k| 381.1 | 686M | 143 |1292 |4933 |1306 | 26k| 1 |8747 |4494 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1888.51/1894.84 c 1895s| 15900 | 9006 | 6065k| 381.3 | 686M | 143 |1292 |4924 |1279 | 26k| 1 |8825 |4494 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1896.38/1902.73 c 1903s| 16000 | 9054 | 6097k| 381.0 | 686M | 143 |1292 |4913 |1270 | 26k| 1 |8901 |4494 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1904.06/1910.45 c 1910s| 16100 | 9108 | 6129k| 380.6 | 686M | 143 |1292 |4925 |1288 | 27k| 0 |8983 |4502 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1911.83/1918.20 c 1918s| 16200 | 9148 | 6154k| 379.8 | 686M | 143 |1292 |4920 | 0 | 27k| 0 |9071 |4502 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1920.89/1927.34 c 1927s| 16300 | 9216 | 6192k| 379.8 | 686M | 143 |1292 |4950 |1292 | 27k| 1 |9148 |4527 | 0.000000e+00 | 4.466000e+03 | Inf | unknown
1922.39/1928.87 o 3908
1922.39/1928.87 c L1929s| 16318 | 9220 | 6198k| 379.7 | alns| 143 |1292 |4900 |1312 | 27k| 2 |9170 |4527 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
1927.97/1934.43 c 1934s| 16400 | 9263 | 6218k| 379.1 | 689M | 143 |1292 |4842 |1307 | 27k| 1 |9229 |4527 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
1935.45/1941.96 c 1942s| 16500 | 9322 | 6250k| 378.7 | 689M | 143 |1292 |4792 |1278 | 27k| 0 |9304 |4527 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
1940.73/1947.20 c 1947s| 16600 | 9373 | 6270k| 377.6 | 689M | 143 |1292 |4794 |1232 | 27k| 1 |9377 |4527 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
1945.02/1951.59 c 1952s| 16700 | 9436 | 6288k| 376.4 | 689M | 143 |1292 |4817 |1289 | 27k| 1 |9444 |4531 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
1951.10/1957.68 c 1958s| 16800 | 9499 | 6315k| 375.8 | 689M | 143 |1292 |4804 |1248 | 28k| 1 |9510 |4536 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
1959.67/1966.27 c 1966s| 16900 | 9567 | 6348k| 375.5 | 689M | 143 |1292 |4770 |1295 | 28k| 1 |9553 |4540 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
1966.57/1973.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1966.57/1973.17 c 1973s| 17000 | 9646 | 6375k| 374.9 | 689M | 143 |1292 |4744 |1292 | 28k| 0 |9597 |4540 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
1971.64/1978.26 c 1978s| 17100 | 9701 | 6394k| 373.9 | 689M | 143 |1292 |4725 |1291 | 28k| 1 |9663 |4540 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
1980.42/1987.02 c 1987s| 17200 | 9738 | 6434k| 374.0 | 689M | 143 |1292 |4699 |1292 | 28k| 0 |9735 |4540 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
1986.29/1992.98 c 1993s| 17300 | 9784 | 6460k| 373.3 | 689M | 143 |1292 |4682 |1286 | 29k| 1 |9822 |4540 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
1991.27/1997.97 c 1998s| 17400 | 9849 | 6479k| 372.3 | 689M | 143 |1292 |4639 |1279 | 29k| 1 |9872 |4540 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
1996.86/2003.51 c 2004s| 17500 | 9925 | 6498k| 371.2 | 689M | 143 |1292 |4690 |1261 | 29k| 1 |9946 |4572 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
2014.01/2020.75 c 2021s| 17600 | 10011 | 6576k| 373.6 | 689M | 143 |1292 |4633 |1257 | 29k| 1 |9964 |4600 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
2021.98/2028.74 c 2029s| 17700 | 10061 | 6607k| 373.2 | 689M | 143 |1292 |4590 |1185 | 29k| 1 | 10k|4611 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
2045.52/2052.39 c 2052s| 17800 | 10120 | 6633k| 372.5 | 689M | 143 |1292 |4585 |1287 | 29k| 1 | 10k|4622 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
2054.30/2061.13 c 2061s| 17900 | 10201 | 6674k| 372.7 | 689M | 143 |1292 |4598 | 0 | 29k| 0 | 10k|4631 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
2063.96/2070.87 c 2071s| 18000 | 10279 | 6706k| 372.5 | 690M | 143 |1292 |4531 |1244 | 30k| 0 | 10k|4660 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
2072.14/2079.07 c 2079s| 18100 | 10326 | 6738k| 372.2 | 690M | 143 |1292 |4459 |1256 | 30k| 1 | 10k|4674 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
2082.40/2089.30 c 2089s| 18200 | 10387 | 6771k| 372.0 | 691M | 143 |1292 |4377 |1275 | 30k| 1 | 10k|4687 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
2088.78/2095.73 c 2096s| 18300 | 10436 | 6794k| 371.1 | 692M | 143 |1292 |4357 |1299 | 30k| 1 | 10k|4695 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
2097.75/2104.76 c 2105s| 18400 | 10486 | 6822k| 370.7 | 692M | 143 |1292 |4285 |1250 | 30k| 1 | 10k|4718 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
2105.92/2112.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2105.92/2112.92 c 2113s| 18500 | 10521 | 6853k| 370.3 | 692M | 143 |1292 |4247 |1282 | 30k| 1 | 10k|4729 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
2112.20/2119.21 c 2119s| 18600 | 10578 | 6876k| 369.6 | 692M | 143 |1292 |4206 |1237 | 31k| 1 | 10k|4736 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
2118.38/2125.46 c 2125s| 18700 | 10654 | 6899k| 368.9 | 693M | 143 |1292 |4242 |1281 | 31k| 1 | 10k|4760 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
2126.07/2133.16 c 2133s| 18800 | 10715 | 6925k| 368.3 | 693M | 143 |1292 |4131 |1286 | 31k| 1 | 10k|4771 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
2133.73/2140.86 c 2141s| 18900 | 10765 | 6948k| 367.5 | 694M | 143 |1292 |4044 |1192 | 31k| 1 | 10k|4794 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
2143.02/2150.14 c 2150s| 19000 | 10845 | 6981k| 367.3 | 694M | 143 |1292 |4046 |1286 | 31k| 0 | 10k|4830 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
2151.99/2159.12 c 2159s| 19100 | 10897 | 7015k| 367.2 | 694M | 143 |1292 |3992 |1229 | 31k| 1 | 10k|4857 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
2157.06/2164.22 c 2164s| 19200 | 10976 | 7029k| 366.0 | 694M | 143 |1292 |4019 |1289 | 32k| 1 | 10k|4889 | 0.000000e+00 | 3.908000e+03 | Inf | unknown
2162.74/2169.96 o 2974
2162.74/2169.96 c L2170s| 19211 | 10987 | 7031k| 365.9 | rins| 143 |1292 |3998 |1298 | 32k| 1 | 10k|4893 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2171.22/2178.48 c 2178s| 19300 | 11072 | 7058k| 365.6 | 694M | 143 |1292 |3916 |1296 | 32k| 1 | 10k|4915 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2179.09/2186.39 c 2186s| 19400 | 11156 | 7080k| 364.8 | 694M | 143 |1292 |3930 |1310 | 32k| 1 | 10k|4970 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2192.05/2199.36 c 2199s| 19500 | 11237 | 7115k| 364.8 | 694M | 143 |1292 |3933 |1262 | 32k| 1 | 10k|5031 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2199.74/2207.08 c 2207s| 19600 | 11337 | 7136k| 364.0 | 694M | 143 |1292 |3866 |1204 | 32k| 1 | 11k|5053 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2208.60/2215.91 c 2216s| 19700 | 11421 | 7162k| 363.5 | 694M | 143 |1292 |3866 |1273 | 32k| 1 | 11k|5065 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2215.98/2223.37 c 2223s| 19800 | 11507 | 7193k| 363.2 | 694M | 143 |1292 |3850 |1281 | 32k| 1 | 11k|5078 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2222.95/2230.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2222.95/2230.32 c 2230s| 19900 | 11585 | 7222k| 362.8 | 694M | 143 |1292 |3852 |1274 | 32k| 1 | 11k|5085 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2259.44/2266.94 c 2267s| 20000 | 11655 | 7381k| 369.0 | 694M | 143 |1292 |3827 |1277 | 33k| 1 | 11k|5093 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2265.63/2273.17 c 2273s| 20100 | 11751 | 7406k| 368.4 | 694M | 143 |1292 |3825 |1267 | 33k| 1 | 11k|5104 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2282.85/2290.43 c 2290s| 20200 | 11833 | 7476k| 370.0 | 694M | 143 |1292 |3783 |1248 | 33k| 1 | 11k|5107 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2291.03/2298.60 c 2299s| 20300 | 11925 | 7508k| 369.8 | 694M | 143 |1292 |3763 |1247 | 33k| 2 | 11k|5122 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2300.51/2308.18 c 2308s| 20400 | 11993 | 7548k| 369.9 | 694M | 143 |1292 |3726 | 0 | 33k| 0 | 11k|5131 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2307.97/2315.63 c 2316s| 20500 | 12068 | 7578k| 369.6 | 694M | 143 |1292 |3719 |1277 | 33k| 1 | 11k|5135 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2314.85/2322.58 c 2323s| 20600 | 12140 | 7608k| 369.2 | 694M | 143 |1292 |3690 |1294 | 33k| 1 | 11k|5140 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2319.13/2326.83 c 2327s| 20700 | 12227 | 7624k| 368.2 | 694M | 143 |1292 |3709 |1307 | 33k| 2 | 11k|5149 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2330.10/2337.80 c 2338s| 20800 | 12277 | 7672k| 368.8 | 694M | 143 |1292 |3649 |1267 | 34k| 0 | 11k|5152 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2337.58/2345.39 c 2345s| 20900 | 12337 | 7704k| 368.5 | 694M | 143 |1292 |3582 |1340 | 34k| 1 | 11k|5153 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2347.55/2355.31 c 2355s| 21000 | 12398 | 7749k| 368.9 | 694M | 143 |1292 |3559 |1289 | 34k| 2 | 11k|5153 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2354.43/2362.28 c 2362s| 21100 | 12487 | 7778k| 368.6 | 695M | 143 |1292 |3535 |1262 | 34k| 6 | 11k|5158 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2359.23/2367.09 c 2367s| 21200 | 12539 | 7797k| 367.7 | 695M | 143 |1292 |3481 |1239 | 34k| 1 | 11k|5158 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2365.90/2373.77 c 2374s| 21300 | 12602 | 7824k| 367.2 | 695M | 143 |1292 |3436 | 0 | 35k| 0 | 11k|5160 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2373.77/2381.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2373.77/2381.66 c 2382s| 21400 | 12653 | 7857k| 367.1 | 695M | 143 |1292 |3330 |1276 | 35k| 1 | 11k|5161 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2380.95/2388.81 c 2389s| 21500 | 12707 | 7887k| 366.8 | 695M | 143 |1292 |3292 |1292 | 35k| 1 | 11k|5163 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2386.73/2394.62 c 2395s| 21600 | 12745 | 7911k| 366.2 | 695M | 143 |1292 |3274 |1287 | 35k| 0 | 11k|5163 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2391.32/2399.28 c 2399s| 21700 | 12792 | 7930k| 365.4 | 695M | 143 |1292 |3278 |1309 | 35k| 1 | 11k|5163 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2397.40/2405.37 c 2405s| 21800 | 12832 | 7956k| 364.9 | 695M | 143 |1292 |3238 |1257 | 35k| 1 | 11k|5163 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2402.78/2410.71 c 2411s| 21900 | 12896 | 7978k| 364.2 | 695M | 143 |1292 |3292 |1269 | 35k| 3 | 12k|5176 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2409.36/2417.37 c 2417s| 22000 | 12935 | 8006k| 363.9 | 695M | 143 |1292 |3294 |1265 | 36k| 1 | 12k|5176 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2420.23/2428.21 c 2428s| 22100 | 13003 | 8045k| 364.0 | 696M | 143 |1292 |3305 |1247 | 36k| 0 | 12k|5190 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2427.12/2435.16 c 2435s| 22200 | 13051 | 8074k| 363.6 | 696M | 143 |1292 |3297 |1273 | 36k| 0 | 12k|5190 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2435.87/2443.91 c 2444s| 22300 | 13100 | 8106k| 363.4 | 696M | 143 |1292 |3297 |1231 | 36k| 1 | 12k|5204 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2444.84/2452.90 c 2453s| 22400 | 13168 | 8133k| 363.0 | 696M | 143 |1292 |3266 |1208 | 36k| 1 | 12k|5226 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2454.92/2463.03 c 2463s| 22500 | 13221 | 8152k| 362.2 | 696M | 143 |1292 |3237 |1151 | 36k| 2 | 12k|5265 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2464.99/2473.19 c 2473s| 22600 | 13309 | 8175k| 361.6 | 697M | 143 |1292 |3182 |1162 | 37k| 1 | 12k|5308 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2471.86/2480.10 c 2480s| 22700 | 13394 | 8198k| 361.1 | 697M | 143 |1292 |3180 |1307 | 37k| 1 | 12k|5308 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2477.13/2485.37 c 2485s| 22800 | 13447 | 8220k| 360.5 | 697M | 143 |1292 |3226 |1264 | 37k| 1 | 12k|5311 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2482.01/2490.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2482.01/2490.24 c 2490s| 22900 | 13521 | 8241k| 359.8 | 697M | 143 |1292 |3283 |1289 | 37k| 0 | 12k|5316 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2490.19/2498.41 c 2498s| 23000 | 13565 | 8275k| 359.7 | 698M | 143 |1292 |3277 | 0 | 37k| 0 | 12k|5316 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2497.07/2505.31 c 2505s| 23100 | 13629 | 8301k| 359.3 | 698M | 143 |1292 |3284 |1282 | 38k| 1 | 12k|5327 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2505.54/2513.82 c 2514s| 23200 | 13690 | 8332k| 359.1 | 698M | 143 |1292 |3269 |1265 | 38k| 0 | 12k|5340 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2517.30/2525.62 c 2526s| 23300 | 13751 | 8370k| 359.2 | 698M | 143 |1292 |3212 |1301 | 38k| 1 | 12k|5362 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2522.99/2531.30 c 2531s| 23400 | 13812 | 8393k| 358.6 | 698M | 143 |1292 |3190 |1292 | 38k| 1 | 12k|5362 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2533.05/2541.46 c 2541s| 23500 | 13884 | 8426k| 358.5 | 698M | 143 |1292 |3191 |1274 | 39k| 1 | 12k|5383 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2544.02/2552.40 c 2552s| 23600 | 13960 | 8461k| 358.5 | 698M | 143 |1292 |3186 |1274 | 39k| 0 | 13k|5402 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2548.62/2557.01 c 2557s| 23700 | 14018 | 8479k| 357.7 | 698M | 143 |1292 |3183 |1218 | 39k| 1 | 13k|5402 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2559.47/2567.97 c 2568s| 23800 | 14084 | 8517k| 357.8 | 698M | 143 |1292 |3136 |1256 | 39k| 1 | 13k|5421 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2565.85/2574.35 c 2574s| 23900 | 14126 | 8543k| 357.4 | 698M | 143 |1292 |3081 |1217 | 40k| 1 | 13k|5421 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2576.92/2585.49 c 2585s| 24000 | 14177 | 8581k| 357.5 | 698M | 143 |1292 |3114 |1272 | 40k| 0 | 13k|5454 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2583.80/2592.39 c 2592s| 24100 | 14243 | 8604k| 356.9 | 698M | 143 |1292 |3079 |1280 | 40k| 1 | 13k|5470 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2590.49/2599.07 c 2599s| 24200 | 14287 | 8629k| 356.5 | 698M | 143 |1292 |3081 |1290 | 40k| 0 | 13k|5482 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2595.86/2604.42 c 2604s| 24300 | 14337 | 8648k| 355.8 | 698M | 143 |1292 |3087 |1311 | 40k| 0 | 13k|5494 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2601.14/2609.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2601.14/2609.72 c 2610s| 24400 | 14385 | 8669k| 355.2 | 700M | 143 |1292 |3092 |1270 | 41k| 1 | 13k|5501 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2607.02/2615.68 c 2616s| 24500 | 14419 | 8694k| 354.8 | 700M | 143 |1292 |3083 |1306 | 41k| 2 | 13k|5509 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2612.80/2621.41 c 2621s| 24600 | 14476 | 8716k| 354.2 | 700M | 143 |1292 |3099 |1300 | 41k| 1 | 13k|5518 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2618.88/2627.56 c 2628s| 24700 | 14539 | 8742k| 353.9 | 700M | 143 |1292 |3101 |1189 | 41k| 1 | 13k|5525 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2626.96/2635.63 c 2636s| 24800 | 14599 | 8778k| 353.9 | 700M | 143 |1292 |3102 |1305 | 41k| 1 | 13k|5526 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2632.84/2641.54 c 2642s| 24900 | 14656 | 8803k| 353.5 | 700M | 143 |1292 |3074 |1249 | 41k| 1 | 13k|5530 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2639.22/2647.92 c 2648s| 25000 | 14713 | 8830k| 353.1 | 700M | 143 |1292 |3062 |1292 | 42k| 1 | 13k|5532 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2645.00/2653.77 c 2654s| 25100 | 14770 | 8855k| 352.7 | 700M | 143 |1292 |3039 |1304 | 42k| 3 | 13k|5532 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2651.08/2659.81 c 2660s| 25200 | 14815 | 8878k| 352.3 | 700M | 143 |1292 |3026 |1241 | 42k| 1 | 14k|5532 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2659.05/2667.84 c 2668s| 25300 | 14850 | 8913k| 352.2 | 700M | 143 |1292 |3005 |1281 | 42k| 1 | 14k|5532 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2669.82/2678.61 c 2679s| 25400 | 14894 | 8959k| 352.7 | 702M | 143 |1292 |3003 |1232 | 42k| 1 | 14k|5532 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2678.49/2687.36 c 2687s| 25500 | 14936 | 8991k| 352.5 | 702M | 143 |1292 |2983 |1279 | 42k| 1 | 14k|5532 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2686.36/2695.25 c 2695s| 25600 | 14996 | 9024k| 352.4 | 702M | 143 |1292 |2931 |1301 | 43k| 2 | 14k|5532 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2690.45/2699.33 c 2699s| 25700 | 15049 | 9040k| 351.7 | 702M | 143 |1292 |2955 |1276 | 43k| 1 | 14k|5532 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2697.63/2706.57 c 2707s| 25800 | 15088 | 9070k| 351.5 | 702M | 143 |1292 |2917 |1300 | 43k| 1 | 14k|5532 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2703.12/2712.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2703.12/2712.06 c 2712s| 25900 | 15125 | 9092k| 351.0 | 702M | 143 |1292 |2923 |1247 | 43k| 1 | 14k|5533 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2708.49/2717.40 c 2717s| 26000 | 15172 | 9114k| 350.5 | 703M | 143 |1292 |2929 |1291 | 43k| 1 | 14k|5533 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2714.87/2723.81 c 2724s| 26100 | 15221 | 9142k| 350.2 | 703M | 143 |1292 |2921 |1260 | 44k| 1 | 14k|5533 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2734.61/2743.68 c 2744s| 26200 | 15266 | 9240k| 352.6 | 703M | 143 |1292 |2988 |1274 | 44k| 1 | 14k|5533 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2741.10/2750.19 c 2750s| 26300 | 15327 | 9266k| 352.3 | 703M | 143 |1292 |3016 |1312 | 44k| 1 | 14k|5545 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2746.17/2755.23 c 2755s| 26400 | 15406 | 9287k| 351.7 | 704M | 143 |1292 |3032 |1291 | 44k| 0 | 14k|5559 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2752.35/2761.42 c 2761s| 26500 | 15455 | 9314k| 351.4 | 704M | 143 |1292 |3056 |1308 | 44k| 0 | 14k|5565 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2758.33/2767.44 c 2767s| 26600 | 15513 | 9340k| 351.1 | 704M | 143 |1292 |3061 |1268 | 44k| 1 | 15k|5565 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2768.80/2777.95 c 2778s| 26700 | 15589 | 9394k| 351.8 | 704M | 143 |1292 |3105 |1276 | 44k| 1 | 15k|5576 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2776.99/2786.15 c 2786s| 26800 | 15667 | 9431k| 351.8 | 704M | 143 |1292 |3095 |1283 | 44k| 1 | 15k|5582 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2788.34/2797.58 c 2798s| 26900 | 15726 | 9484k| 352.5 | 704M | 143 |1292 |3086 |1260 | 44k| 1 | 15k|5584 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2796.61/2805.81 c 2806s| 27000 | 15810 | 9514k| 352.3 | 704M | 143 |1292 |3085 |1231 | 44k| 1 | 15k|5608 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2805.79/2815.07 c 2815s| 27100 | 15850 | 9550k| 352.3 | 704M | 143 |1292 |3121 |1315 | 45k| 1 | 15k|5621 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2813.65/2822.99 c 2823s| 27200 | 15892 | 9581k| 352.2 | 704M | 143 |1292 |3133 |1302 | 45k| 1 | 15k|5634 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2825.21/2834.50 c 2834s| 27300 | 15964 | 9617k| 352.2 | 705M | 143 |1292 |3080 |1223 | 45k| 1 | 15k|5662 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2831.29/2840.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2831.29/2840.69 c 2841s| 27400 | 16029 | 9643k| 351.9 | 705M | 143 |1292 |3116 |1243 | 45k| 1 | 15k|5665 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2838.27/2847.63 c 2848s| 27500 | 16087 | 9669k| 351.5 | 705M | 143 |1292 |3154 |1296 | 45k| 1 | 15k|5676 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2844.86/2854.27 c 2854s| 27600 | 16165 | 9690k| 351.0 | 705M | 143 |1292 |3223 |1311 | 45k| 1 | 15k|5691 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2852.03/2861.48 c 2861s| 27700 | 16234 | 9714k| 350.6 | 705M | 143 |1292 |3187 |1285 | 45k| 1 | 15k|5703 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2863.00/2872.48 c 2872s| 27800 | 16268 | 9757k| 350.9 | 705M | 143 |1292 |3180 |1318 | 46k| 0 | 15k|5713 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2873.76/2883.28 c 2883s| 27900 | 16328 | 9794k| 351.0 | 705M | 143 |1292 |3175 |1246 | 46k| 1 | 15k|5749 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2883.14/2892.67 c 2893s| 28000 | 16375 | 9825k| 350.8 | 705M | 143 |1292 |3155 |1096 | 46k| 1 | 15k|5770 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2892.52/2902.10 c 2902s| 28100 | 16449 | 9861k| 350.9 | 705M | 143 |1292 |3139 |1262 | 46k| 1 | 15k|5778 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2902.49/2912.02 c 2912s| 28200 | 16509 | 9894k| 350.8 | 705M | 143 |1292 |3145 |1299 | 46k| 1 | 15k|5797 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2909.65/2919.23 c 2919s| 28300 | 16557 | 9924k| 350.6 | 705M | 143 |1292 |3120 |1242 | 46k| 1 | 15k|5797 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2918.02/2927.66 c 2928s| 28400 | 16584 | 9955k| 350.5 | 705M | 143 |1292 |3097 |1168 | 47k| 1 | 16k|5811 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2934.08/2943.80 c 2944s| 28500 | 16650 | 9978k| 350.0 | 706M | 143 |1292 |3098 |1217 | 47k| 1 | 16k|5834 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2946.94/2956.68 c 2957s| 28600 | 16716 | 10024k| 350.5 | 706M | 143 |1292 |3082 |1265 | 47k| 1 | 16k|5846 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2956.01/2965.70 c 2966s| 28700 | 16772 | 10054k| 350.3 | 706M | 143 |1292 |3078 |1291 | 47k| 2 | 16k|5856 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2963.69/2973.48 c 2973s| 28800 | 16831 | 10080k| 350.0 | 706M | 143 |1292 |3091 |1265 | 47k| 1 | 16k|5885 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2971.06/2980.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2971.06/2980.88 c 2981s| 28900 | 16895 | 10109k| 349.7 | 706M | 143 |1292 |3063 |1255 | 48k| 2 | 16k|5894 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2980.13/2989.93 c 2990s| 29000 | 16953 | 10146k| 349.8 | 706M | 143 |1292 |3111 |1300 | 48k| 1 | 16k|5911 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2986.81/2996.68 c 2997s| 29100 | 17053 | 10168k| 349.4 | 707M | 143 |1292 |3094 |1236 | 48k| 1 | 16k|5925 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
2992.59/3002.46 c 3002s| 29200 | 17133 | 10190k| 348.9 | 707M | 143 |1292 |3087 |1298 | 48k| 0 | 16k|5928 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3000.18/3010.08 c 3010s| 29300 | 17216 | 10219k| 348.7 | 709M | 143 |1292 |3082 |1268 | 48k| 1 | 16k|5931 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3008.04/3017.91 c 3018s| 29400 | 17255 | 10253k| 348.7 | 709M | 143 |1292 |3089 |1287 | 49k| 0 | 16k|5932 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3018.22/3028.16 c 3028s| 29500 | 17343 | 10299k| 349.0 | 709M | 143 |1292 |3084 |1191 | 49k| 1 | 16k|5937 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3024.59/3034.59 c 3035s| 29600 | 17392 | 10326k| 348.8 | 709M | 143 |1292 |3085 |1289 | 49k| 1 | 16k|5940 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3032.18/3042.12 c 3042s| 29700 | 17441 | 10358k| 348.7 | 709M | 143 |1292 |3062 |1366 | 49k| 2 | 16k|5941 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3038.65/3048.68 c 3049s| 29800 | 17493 | 10385k| 348.4 | 709M | 143 |1292 |3045 |1268 | 49k| 1 | 16k|5942 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3046.32/3056.36 c 3056s| 29900 | 17541 | 10418k| 348.4 | 709M | 143 |1292 |3002 |1300 | 49k| 1 | 16k|5943 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3054.60/3064.60 c 3065s| 30000 | 17617 | 10453k| 348.4 | 709M | 143 |1292 |2983 |1227 | 50k| 1 | 16k|5943 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3068.25/3078.30 c 3078s| 30100 | 17680 | 10513k| 349.2 | 709M | 143 |1292 |2991 |1266 | 50k| 1 | 16k|5946 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3074.73/3084.88 c 3085s| 30200 | 17746 | 10540k| 349.0 | 709M | 143 |1292 |2951 |1308 | 50k| 1 | 16k|5947 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3082.61/3092.72 c 3093s| 30300 | 17802 | 10573k| 348.9 | 709M | 143 |1292 |2935 |1291 | 50k| 1 | 17k|5949 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3091.89/3102.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3091.89/3102.03 c 3102s| 30400 | 17862 | 10616k| 349.1 | 709M | 143 |1292 |2878 |1247 | 50k| 1 | 17k|5950 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3099.26/3109.40 c 3109s| 30500 | 17927 | 10646k| 349.0 | 711M | 143 |1292 |2873 |1271 | 50k| 1 | 17k|5951 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3107.94/3118.12 c 3118s| 30600 | 17971 | 10683k| 349.1 | 711M | 143 |1292 |2881 |1219 | 50k| 1 | 17k|5956 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3115.30/3125.58 c 3126s| 30700 | 18051 | 10716k| 349.0 | 711M | 143 |1292 |2876 |1290 | 51k| 0 | 17k|5957 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3122.89/3133.12 c 3133s| 30800 | 18147 | 10746k| 348.8 | 711M | 143 |1292 |2885 |1206 | 51k| 1 | 17k|5972 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3130.35/3140.64 c 3141s| 30900 | 18230 | 10774k| 348.6 | 711M | 143 |1292 |2847 |1295 | 51k| 1 | 17k|5981 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3136.74/3147.01 c 3147s| 31000 | 18287 | 10801k| 348.4 | 711M | 143 |1292 |2911 |1275 | 51k| 1 | 17k|5982 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3144.90/3155.26 c 3155s| 31100 | 18367 | 10836k| 348.4 | 712M | 143 |1292 |2904 |1250 | 51k| 2 | 17k|5983 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3150.49/3160.88 c 3161s| 31200 | 18420 | 10858k| 348.0 | 712M | 143 |1292 |2916 |1252 | 51k| 1 | 17k|5983 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3157.96/3168.33 c 3168s| 31300 | 18479 | 10890k| 347.9 | 712M | 143 |1292 |2892 |1248 | 52k| 1 | 17k|5985 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3163.44/3173.83 c 3174s| 31400 | 18533 | 10913k| 347.5 | 712M | 143 |1292 |2893 |1206 | 52k| 1 | 17k|5985 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3170.12/3180.53 c 3181s| 31500 | 18591 | 10943k| 347.3 | 712M | 143 |1292 |2885 |1232 | 52k| 1 | 17k|5987 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3176.61/3187.07 c 3187s| 31600 | 18649 | 10971k| 347.1 | 712M | 143 |1292 |2885 |1245 | 52k| 1 | 17k|5987 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3183.28/3193.70 c 3194s| 31700 | 18720 | 11000k| 347.0 | 712M | 143 |1292 |2874 |1282 | 52k| 1 | 17k|5988 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3193.05/3203.55 c 3204s| 31800 | 18786 | 11034k| 346.9 | 712M | 143 |1292 |2841 |1245 | 52k| 1 | 17k|6007 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3200.73/3211.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3200.73/3211.25 c 3211s| 31900 | 18860 | 11067k| 346.9 | 712M | 143 |1292 |2852 |1284 | 52k| 0 | 17k|6009 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3214.79/3225.39 c 3225s| 32000 | 18916 | 11101k| 346.9 | 712M | 143 |1292 |2792 |1207 | 53k| 1 | 17k|6031 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3221.58/3232.16 c 3232s| 32100 | 18984 | 11129k| 346.6 | 712M | 143 |1292 |2767 |1303 | 53k| 1 | 17k|6031 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3228.46/3239.06 c 3239s| 32200 | 19046 | 11158k| 346.5 | 712M | 143 |1292 |2766 |1248 | 53k| 1 | 17k|6031 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3234.73/3245.37 c 3245s| 32300 | 19116 | 11183k| 346.2 | 712M | 143 |1292 |2756 |1257 | 53k| 1 | 17k|6032 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3242.21/3252.87 c 3253s| 32400 | 19177 | 11213k| 346.0 | 712M | 143 |1292 |2719 |1248 | 53k| 1 | 18k|6042 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3248.50/3259.12 c 3259s| 32500 | 19258 | 11238k| 345.7 | 712M | 143 |1292 |2748 |1307 | 53k| 1 | 18k|6054 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3257.66/3268.35 c 3268s| 32600 | 19342 | 11272k| 345.7 | 712M | 143 |1292 |2739 |1197 | 54k| 1 | 18k|6065 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3269.73/3280.41 c 3280s| 32700 | 19400 | 11318k| 346.1 | 712M | 143 |1292 |2729 | 0 | 54k| 0 | 18k|6080 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3278.80/3289.57 c 3290s| 32800 | 19453 | 11354k| 346.1 | 712M | 143 |1292 |2694 |1321 | 54k| 1 | 18k|6091 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3288.47/3299.28 c 3299s| 32900 | 19535 | 11391k| 346.2 | 712M | 143 |1292 |2691 |1291 | 54k| 1 | 18k|6101 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3296.65/3307.45 c 3307s| 33000 | 19614 | 11423k| 346.1 | 712M | 143 |1292 |2719 |1292 | 54k| 1 | 18k|6113 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3306.24/3317.02 c 3317s| 33100 | 19680 | 11450k| 345.9 | 712M | 143 |1292 |2701 |1201 | 54k| 1 | 18k|6132 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3313.32/3324.19 c 3324s| 33200 | 19741 | 11481k| 345.8 | 712M | 143 |1292 |2702 |1284 | 54k| 1 | 18k|6132 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3320.59/3331.48 c 3331s| 33300 | 19815 | 11513k| 345.7 | 712M | 143 |1292 |2719 |1290 | 55k| 1 | 18k|6132 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3330.86/3341.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3330.86/3341.70 c 3342s| 33400 | 19864 | 11551k| 345.8 | 712M | 143 |1292 |2702 |1199 | 55k| 1 | 18k|6158 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3341.73/3352.68 c 3353s| 33500 | 19937 | 11595k| 346.1 | 712M | 143 |1292 |2743 |1285 | 55k| 2 | 18k|6188 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3351.00/3361.97 c 3362s| 33600 | 19996 | 11624k| 345.9 | 712M | 143 |1292 |2750 |1196 | 55k| 1 | 18k|6208 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3355.59/3366.59 c 3367s| 33700 | 20045 | 11642k| 345.4 | 712M | 143 |1292 |2752 |1220 | 55k| 2 | 18k|6209 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3364.46/3375.44 c 3375s| 33800 | 20116 | 11675k| 345.4 | 712M | 143 |1292 |2745 |1195 | 55k| 1 | 18k|6223 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3370.94/3381.93 c 3382s| 33900 | 20193 | 11700k| 345.1 | 712M | 143 |1292 |2781 |1175 | 55k| 1 | 18k|6235 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3380.91/3391.94 c 3392s| 34000 | 20273 | 11739k| 345.2 | 712M | 143 |1292 |2794 |1149 | 56k| 1 | 18k|6260 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3389.29/3400.37 c 3400s| 34100 | 20343 | 11772k| 345.2 | 712M | 143 |1292 |2814 | 0 | 56k| 0 | 18k|6286 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3398.86/3409.93 c 3410s| 34200 | 20402 | 11814k| 345.4 | 712M | 143 |1292 |2822 |1281 | 56k| 1 | 18k|6299 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3406.34/3417.40 c 3417s| 34300 | 20471 | 11846k| 345.3 | 714M | 143 |1292 |2868 |1336 | 56k| 1 | 18k|6306 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3413.82/3425.00 c 3425s| 34400 | 20515 | 11880k| 345.3 | 714M | 143 |1292 |2863 |1237 | 56k| 1 | 19k|6306 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3420.40/3431.56 c 3432s| 34500 | 20574 | 11908k| 345.1 | 714M | 143 |1292 |2881 |1292 | 56k| 1 | 19k|6306 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3428.38/3439.56 c 3440s| 34600 | 20604 | 11942k| 345.1 | 715M | 143 |1292 |2882 |1277 | 56k| 1 | 19k|6308 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3435.06/3446.24 c 3446s| 34700 | 20679 | 11969k| 344.9 | 715M | 143 |1292 |2861 |1286 | 56k| 0 | 19k|6311 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3440.95/3452.17 c 3452s| 34800 | 20737 | 11994k| 344.6 | 715M | 143 |1292 |2858 |1305 | 57k| 1 | 19k|6315 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3446.94/3458.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3446.94/3458.15 c 3458s| 34900 | 20804 | 12019k| 344.4 | 715M | 143 |1292 |2857 |1273 | 57k| 2 | 19k|6315 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3454.30/3465.53 c 3466s| 35000 | 20844 | 12052k| 344.3 | 715M | 143 |1292 |2853 |1285 | 57k| 1 | 19k|6315 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3460.48/3471.77 c 3472s| 35100 | 20895 | 12078k| 344.1 | 715M | 143 |1292 |2853 |1272 | 57k| 1 | 19k|6315 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3466.07/3477.39 c 3477s| 35200 | 20944 | 12100k| 343.7 | 715M | 143 |1292 |2829 |1277 | 57k| 1 | 19k|6316 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3472.76/3484.03 c 3484s| 35300 | 20996 | 12127k| 343.5 | 717M | 143 |1292 |2839 |1248 | 57k| 1 | 19k|6321 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3482.22/3493.56 c 3494s| 35400 | 21038 | 12162k| 343.5 | 717M | 143 |1292 |2803 |1281 | 58k| 1 | 19k|6322 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3489.00/3500.39 c 3500s| 35500 | 21089 | 12191k| 343.4 | 717M | 143 |1292 |2794 |1277 | 58k| 1 | 19k|6322 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3497.58/3508.96 c 3509s| 35600 | 21126 | 12229k| 343.5 | 717M | 143 |1292 |2767 |1285 | 58k| 0 | 19k|6322 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3504.26/3515.69 c 3516s| 35700 | 21168 | 12258k| 343.3 | 717M | 143 |1292 |2751 |1335 | 58k| 1 | 19k|6324 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3510.04/3521.46 c 3521s| 35800 | 21201 | 12282k| 343.0 | 717M | 143 |1292 |2781 |1292 | 58k| 0 | 19k|6324 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3517.11/3528.53 c 3529s| 35900 | 21236 | 12311k| 342.9 | 717M | 143 |1292 |2797 |1264 | 58k| 1 | 19k|6324 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3525.69/3537.15 c 3537s| 36000 | 21265 | 12349k| 343.0 | 717M | 143 |1292 |2778 |1301 | 58k| 1 | 20k|6324 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3531.46/3542.90 c 3543s| 36100 | 21342 | 12369k| 342.6 | 718M | 143 |1292 |2782 |1215 | 58k| 1 | 20k|6332 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3537.84/3549.32 c 3549s| 36200 | 21396 | 12398k| 342.4 | 718M | 143 |1292 |2797 |1302 | 58k| 1 | 20k|6332 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3544.54/3556.01 c 3556s| 36300 | 21459 | 12428k| 342.3 | 719M | 143 |1292 |2765 |1274 | 59k| 1 | 20k|6333 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3552.51/3564.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3552.51/3564.11 c 3564s| 36400 | 21519 | 12463k| 342.3 | 719M | 143 |1292 |2769 |1297 | 59k| 1 | 20k|6333 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3565.66/3577.20 c 3577s| 36500 | 21569 | 12511k| 342.7 | 719M | 143 |1292 |2792 |1243 | 59k| 0 | 20k|6334 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3574.63/3586.29 c 3586s| 36600 | 21628 | 12552k| 342.9 | 719M | 143 |1292 |2786 |1278 | 59k| 2 | 20k|6334 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3582.32/3593.99 c 3594s| 36700 | 21670 | 12587k| 342.9 | 719M | 143 |1292 |2842 |1279 | 59k| 0 | 20k|6334 | 0.000000e+00 | 2.974000e+03 | Inf | unknown
3585.31/3597.01 c
3585.31/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3585.31/3597.01 c Solving Time (sec) : 3597.00
3585.31/3597.01 c Solving Nodes : 36737
3585.31/3597.01 c Primal Bound : +2.97400000000000e+03 (13 solutions)
3585.31/3597.01 c Dual Bound : +0.00000000000000e+00
3585.31/3597.01 c Gap : infinite
3585.42/3597.02 s SATISFIABLE
3585.42/3597.02 v -x794 x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 x1293 -x1292 -x1291 x1290 -x1289 -x1288 -x1287 x1286 x1285 -x1284 -x1283
3585.42/3597.02 v -x1282 -x1281 x1280 x1279 x1278 x1277 x1276 -x1275 x1274 -x1273 x1272 x1271 x1270 -x1269 x1268 x1267 -x1266 -x1265 x1264
3585.42/3597.02 v x1263 -x1262 -x1261 -x1260 -x1259 -x1258 x1257 x1256 -x1255 x1254 -x1253 x1252 x1251 x1250 x1249 -x1248 -x1247 -x1246 -x1245
3585.42/3597.02 v -x1244 x1243 x1242 x1241 -x1240 -x1239 x1238 -x1237 x1236 -x1235 x1234 -x1233 -x1232 x1231 -x1230 -x1229 -x1228 -x1227 -x1226
3585.42/3597.02 v x1225 -x1224 x1223 x1222 x1221 -x1220 x1219 x1218 -x1217 x1216 x1215 x1214 -x1213 x1212 x1211 -x1210 x1209 x1208 x1207 x1206
3585.42/3597.02 v -x1205 -x1204 -x1203 x1202 x1201 x1200 -x1199 -x1198 -x1197 x1196 x1195 -x1194 -x1193 x1192 -x1191 -x1190 -x1189 -x1188 x1187
3585.42/3597.02 v x1186 -x1185 x1184 -x1183 -x1182 x1181 -x1180 x1179 -x1178 x1177 x1176 -x1175 -x1174 -x1173 -x1172 -x1171 x1170 -x1169 x1168
3585.42/3597.02 v x1167 -x1166 x1165 x1164 -x1163 -x1162 -x1161 -x1160 -x1159 x1158 -x1157 x1156 -x1155 x1154 -x1153 x1152 -x1151 x1150 -x1149
3585.42/3597.02 v x1148 x1147 -x1146 -x1145 x1144 x1143 x1142 x1141 x1140 -x1139 -x1138 -x1137 -x1136 x1135 x1134 x1133 x1132 -x1131 -x1130
3585.42/3597.02 v -x1129 -x1128 -x1127 x1126 -x1125 x1124 x1123 x1122 -x1121 x1120 x1119 -x1118 -x1117 -x1116 -x1115 x1114 x1113 -x1112 -x1111
3585.42/3597.02 v x1110 -x1109 -x1108 -x1107 x1106 x1105 -x1104 x1103 x1102 x1101 -x1100 x1099 x1098 x1097 x1096 -x1095 x1094 -x1093 -x1092 x1091
3585.42/3597.02 v x1090 -x1089 x1088 x1087 -x1086 x1085 -x1084 -x1083 x1082 -x1081 x1080 x1079 x1078 x1077 -x1076 -x1075 -x1074 x1073 -x1072
3585.42/3597.02 v x1071 -x1070 -x1069 x1068 x1067 x1066 x1065 x1064 x1063 -x1062 -x1061 x1060 -x1059 x1058 x1057 x1056 x1055 x1054 -x1053 x1052
3585.42/3597.02 v -x1051 x1050 -x1049 x1048 x1047 -x1046 x1045 -x1044 x1043 -x1042 -x1041 -x1040 x1039 x1038 x1037 -x1036 -x1035 x1034 -x1033
3585.42/3597.02 v x1032 -x1031 x1030 -x1029 x1028 -x1027 -x1026 x1025 -x1024 -x1023 -x1022 -x1021 x1020 -x1019 x1018 -x1017 -x1016 -x1015 -x1014
3585.42/3597.02 v -x1013 x1012 -x1011 x1010 x1009 x1008 x1007 x1006 x1005 -x1004 -x1003 x1002 -x1001 x1000 x999 -x998 x997 x996 x995 x994 x993
3585.42/3597.02 v x992 x991 x990 x989 -x988 x987 x986 x985 x984 -x983 x982 x981 -x980 x979 x978 x977 x976 -x975 -x974 x973 x972 x971 -x970 -x969
3585.42/3597.02 v x968 x967 x966 -x965 -x964 -x963 -x962 x961 x960 -x959 -x958 -x957 -x956 x955 -x954 x953 x952 x951 x950 -x949 -x948 x947
3585.42/3597.02 v x946 -x945 -x944 -x943 -x942 -x941 x940 x939 x938 -x937 -x936 x935 -x934 -x933 x932 x931 x930 x929 -x928 -x927 x926 x925 -x924
3585.42/3597.02 v x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 x911 -x910 x909 -x908 -x907 x906 -x905 -x904 x903 x902
3585.42/3597.02 v x901 -x900 -x899 x898 x897 -x896 x895 x894 x893 x892 -x891 -x890 x889 x888 x887 x886 x885 -x884 x883 -x882 x881 -x880 x879
3585.42/3597.02 v x878 x877 -x876 x875 -x874 x873 x872 -x871 x870 -x869 -x868 -x867 x866 -x865 -x864 x863 x862 x861 x860 x859 x858 x857 x856
3585.42/3597.02 v -x855 x854 x853 -x852 -x851 -x850 x849 -x848 x847 -x846 -x845 -x844 x843 -x842 x841 x840 -x839 x838 -x837 x836 -x835 -x834 x833
3585.42/3597.02 v x832 -x831 -x830 -x829 x828 x827 x826 x825 x824 -x823 -x822 -x821 -x820 x819 x818 -x817 -x816 x815 -x814 x813 -x812 x811 -x810
3585.42/3597.02 v x809 x808 -x807 x806 x805 -x804 x803 x802 x801 x800 x799 -x798 -x797 -x796 x795 x1294 -x784 -x783 -x782 x781 -x780 -x779
3585.42/3597.02 v -x778 -x777 x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 x768 x767 -x766 -x765 -x764 -x763 x762 -x761 x760 x759 -x758 -x757
3585.42/3597.02 v -x756 -x755 -x754 -x753 -x752 -x751 -x750 x749 -x748 x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736
3585.42/3597.02 v -x735 x734 x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 x714
3585.42/3597.02 v -x713 -x712 -x711 -x710 -x709 -x708 x707 -x706 -x705 -x704 -x703 x702 -x701 -x700 -x699 x698 x697 -x696 -x695 -x694 -x693
3585.42/3597.02 v x692 x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 x681 -x680 -x679 x678 -x677 x676 x675 -x674 -x673 -x672 x671
3585.42/3597.02 v -x670 -x669 x668 -x667 x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 x656 -x655 x654 x653 -x652 -x651 -x650 -x649
3585.42/3597.02 v -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 x629 x628
3585.42/3597.02 v -x627 -x626 x625 -x624 -x623 -x622 -x621 -x620 -x619 x618 x617 -x616 -x615 -x614 -x613 -x612 -x611 x610 -x609 -x608 -x607 -x606
3585.42/3597.02 v -x605 -x604 -x603 x602 -x601 -x600 -x599 x598 x597 -x596 -x595 -x594 x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585
3585.42/3597.02 v -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 x570 x569 -x568 -x567 -x566 -x565 -x564
3585.42/3597.02 v -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 x555 -x554 -x553 -x552 -x551 x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543
3585.42/3597.02 v x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 x521
3585.42/3597.02 v -x520 -x519 -x518 -x517 -x516 -x515 x514 x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 x503 x502 -x501 -x500
3585.42/3597.02 v -x499 -x498 -x497 x496 x495 x494 x493 x492 x491 x490 -x489 -x488 -x487 x486 x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 x477
3585.42/3597.02 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 x463 x462 x461 -x460 -x459 x458 x457 -x456 -x455
3585.42/3597.02 v x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434
3585.42/3597.02 v x433 -x432 -x431 -x430 x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 x417 -x416 -x415 x414 -x413 -x412
3585.42/3597.02 v -x411 x410 -x409 -x408 -x407 -x406 x405 x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 x393 -x392 -x391
3585.42/3597.02 v -x390 x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 x376 -x375 -x374 -x373 x372 -x371 -x370 -x369
3585.42/3597.02 v -x368 -x367 -x366 -x365 x364 -x363 -x362 x361 -x360 -x359 x358 x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 x349 x348 -x347
3585.42/3597.02 v -x346 x345 x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 x333 -x332 -x331 x330 x329 -x328 -x327 -x326 -x325
3585.42/3597.02 v -x324 -x323 -x322 x321 -x320 x319 x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 x309 -x308 -x307 -x306 x305 -x304
3585.42/3597.02 v -x303 x302 x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 x293 x292 x291 -x290 -x289 -x288 -x287 -x286 x285 x284 -x283 x282
3585.42/3597.02 v -x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 x273 x272 -x271 x270 x269 -x268 -x267 -x266 x265 x264 -x263 -x262 -x261 -x260
3585.42/3597.02 v -x259 -x258 -x257 x256 x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 x247 -x246 x245 x244 -x243 -x242 -x241 -x240 -x239 x238
3585.42/3597.02 v -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 x228 -x227 x226 x225 x224 x223 -x222 x221 -x220 -x219 -x218 x217 x216 x215
3585.42/3597.02 v -x214 -x213 -x212 -x211 x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 x198 x197 x196 -x195 x194 x193
3585.42/3597.02 v -x192 x191 x190 -x189 x188 x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171
3585.42/3597.02 v x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 x160 -x159 -x158 -x157 -x156 -x155 x154 x153 -x152 -x151 -x150 -x149
3585.42/3597.02 v -x148 -x147 -x146 -x145 -x144 x143 -x142 x141 -x140 -x139 x138 x137 -x136 x135 x134 x133 -x132 -x131 -x130 -x129 -x128 -x127
3585.42/3597.02 v x126 x125 x124 -x123 x122 -x121 x120 -x119 -x118 -x117 x116 x115 -x114 -x113 -x112 -x111 x110 -x109 x108 -x107 x106 x105
3585.42/3597.02 v -x104 -x103 -x102 -x101 x100 -x99 x98 -x97 x96 -x95 -x94 x93 x92 x91 x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 x79
3585.42/3597.02 v -x78 x77 -x76 -x75 -x74 x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 x61 x60 -x59 x58 -x57 -x56 -x55 x54 x53 x52
3585.42/3597.02 v x51 x50 -x49 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
3585.42/3597.02 v x23 x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 x6 x5 x4 -x3 x2 -x1
3585.42/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3585.42/3597.02 c Total Time : 3597.00
3585.42/3597.02 c solving : 3597.00
3585.42/3597.02 c presolving : 1.80 (included in solving)
3585.42/3597.02 c reading : 0.14 (included in solving)
3585.42/3597.02 c copying : 2.23 (48 #copies) (minimal 0.04, maximal 0.06, average 0.05)
3585.42/3597.02 c Original Problem :
3585.42/3597.02 c Problem name : HOME/instance-4523848-1751598034.opb
3585.42/3597.02 c Variables : 1294 (1294 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.42/3597.02 c Constraints : 1091 initial, 1091 maximal
3585.42/3597.02 c Objective : minimize, 785 non-zeros (abs.min = 1, abs.max = 7345)
3585.42/3597.02 c Presolved Problem :
3585.42/3597.02 c Problem name : t_HOME/instance-4523848-1751598034.opb
3585.42/3597.02 c Variables : 1292 (1292 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.42/3597.02 c Constraints : 1080 initial, 5165 maximal
3585.42/3597.02 c Objective : minimize, 784 non-zeros (abs.min = 1, abs.max = 231)
3585.42/3597.02 c Nonzeros : 397321 constraint, 9 clique table
3585.42/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.42/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c domcol : 0.11 0.00 1 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c dualsparsify : 0.23 0.00 1 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c milp : 0.30 0.00 1 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c sparsify : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c probing : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c symmetry : 0.09 0.00 1 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c knapsack : 0.22 0.01 6 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c setppc : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c linear : 0.60 0.10 6 2 0 0 2 0 11 0 0 0
3585.42/3597.02 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c components : 0.11 0.00 1 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c root node : - - - 0 - - 0 - - - - -
3585.42/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.42/3597.02 c benderslp : 0 0 0 0 29428 0 0 5099 0 0 0 0 0 0 0
3585.42/3597.02 c integral : 0 0 0 0 29428 0 0 5099 0 0 97 0 0 140 58760
3585.42/3597.02 c knapsack : 1079+ 1119 12 106647 0 0 0 5093 34386 897 78869 2444 0 0 0
3585.42/3597.02 c setppc : 1 1 12 97154 0 0 0 15 1 15 39 0 0 0 0
3585.42/3597.02 c linear : 0+ 99 0 101843 0 0 0 3 23001 582 66722 0 0 0 0
3585.42/3597.02 c logicor : 0+ 3986 6 34476 0 0 0 0 3047 46 2158 0 0 0 0
3585.42/3597.02 c benders : 0 0 0 0 0 0 0 17 0 0 0 0 0 0 0
3585.42/3597.02 c fixedvar : 0 0 0 0 0 0 0 17 0 0 0 0 0 0 0
3585.42/3597.02 c countsols : 0 0 0 0 0 0 0 17 0 0 0 0 0 0 0
3585.42/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.42/3597.02 c benderslp : 0.02 0.00 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00
3585.42/3597.02 c integral : 518.72 0.00 0.00 0.00 518.72 0.00 0.00 0.00 0.00 0.00
3585.42/3597.02 c knapsack : 11.78 0.01 1.36 7.52 0.00 0.00 0.00 0.66 0.05 2.18
3585.42/3597.02 c setppc : 0.03 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.01
3585.42/3597.02 c linear : 2.48 0.10 0.00 2.27 0.00 0.00 0.00 0.00 0.06 0.04
3585.42/3597.02 c logicor : 1.11 0.00 0.00 1.08 0.00 0.00 0.00 0.00 0.01 0.01
3585.42/3597.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.42/3597.02 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.42/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.42/3597.02 c components : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3585.42/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.42/3597.02 c dualfix : 3 0 0 0
3585.42/3597.02 c genvbounds : 0 0 0 0
3585.42/3597.02 c nlobbt : 0 0 0 0
3585.42/3597.02 c obbt : 0 0 0 0
3585.42/3597.02 c probing : 0 0 0 0
3585.42/3597.02 c pseudoobj : 103050 0 0 0
3585.42/3597.02 c redcost : 17 0 0 0
3585.42/3597.02 c rootredcost : 8 0 0 0
3585.42/3597.02 c symmetry : 0 0 0 0
3585.42/3597.02 c vbounds : 197 0 0 0
3585.42/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.42/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3585.42/3597.02 c genvbounds : 0.04 0.00 0.00 0.03 0.00 0.01
3585.42/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.42/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.42/3597.02 c probing : 0.05 0.00 0.05 0.00 0.00 0.00
3585.42/3597.02 c pseudoobj : 0.10 0.00 0.00 0.10 0.00 0.00
3585.42/3597.02 c redcost : 0.06 0.00 0.00 0.06 0.00 0.00
3585.42/3597.02 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.01
3585.42/3597.02 c symmetry : 0.14 0.00 0.09 0.04 0.00 0.01
3585.42/3597.02 c vbounds : 0.08 0.00 0.00 0.08 0.00 0.01
3585.42/3597.02 c Symmetry :
3585.42/3597.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.42/3597.02 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.42/3597.02 c lexicographic red: 0 reductions applied, 0 cutoffs
3585.42/3597.02 c shadow tree time : 0.00 s
3585.42/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.42/3597.02 c propagation : 0.10 1120 1104 - 4191 71.1 15 39.1 - - -
3585.42/3597.02 c infeasible LP : 2.56 5512 5437 - 13332 46.6 49 48.2 5235 307.7 0
3585.42/3597.02 c bound exceed. LP : 0.29 83 26 - 83 106.1 0 0.0 0 0.0 573
3585.42/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.42/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.42/3597.02 c applied globally : 0.02 - - 0 15243 49.2 - - 5234 - -
3585.42/3597.02 c applied locally : - - - 0 1 208.0 - - 1 - -
3585.42/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.42/3597.02 c cut pool : 8.17 - 7343 24 - - 34454 799694 - - - - - (maximal pool size: 7771)
3585.42/3597.02 c aggregation : 5.30 0.00 203 12 0 0 22495 503197 14 43097 43094 3 0
3585.42/3597.02 c > cmir : - - - - - - - 146578 4 22318 22316 2 -
3585.42/3597.02 c > flowcover : - - - - - - - 176124 0 12396 12396 0 -
3585.42/3597.02 c > knapsackcover : - - - - - - - 180495 10 8383 8382 1 -
3585.42/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c clique : 0.00 0.00 12 12 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c gomory : 16.09 0.00 201 10 0 0 11633 275046 1 6059 6059 0 0
3585.42/3597.02 c > gomorymi : - - - - - - - 128238 1 2499 2499 0 -
3585.42/3597.02 c > strongcg : - - - - - - - 146808 0 3560 3560 0 -
3585.42/3597.02 c impliedbounds : 0.00 0.00 203 12 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c multilinear : 0.00 0.00 780 12 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c rapidlearning : 0.02 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c rlt : 0.00 0.00 134 10 0 0 0 0 0 0 0 0 0
3585.42/3597.02 c zerohalf : 0.33 0.00 203 12 0 0 370 21451 29 10289 10281 8 0
3585.42/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.42/3597.02 c hybrid : 3.11 0.00 6851 13 59445 0 742737 1001 0 11631
3585.42/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.42/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.42/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3585.42/3597.02 c problem variables: 0.00 - 0 0
3585.42/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.42/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.42/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.42/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.42/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.42/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.42/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.42/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.42/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.42/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.42/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.42/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.42/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.42/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.42/3597.02 c relpscost : 518.69 0.00 29428 0 0 0 97 0 190 58760
3585.42/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.42/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.42/3597.02 c LP solutions : 0.00 - - 0 0
3585.42/3597.02 c relax solutions : 0.00 - - 0 0
3585.42/3597.02 c pseudo solutions : 0.00 - - 0 0
3585.42/3597.02 c strong branching : 0.17 - - 0 0
3585.42/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3585.42/3597.02 c adaptivediving : 12.02 0.00 28 0 0
3585.42/3597.02 c alns : 14.86 0.00 13 4 4
3585.42/3597.02 c bound : 0.00 0.00 0 0 0
3585.42/3597.02 c clique : 0.12 0.00 1 0 0
3585.42/3597.02 c coefdiving : 0.00 0.00 0 0 0
3585.42/3597.02 c completesol : 0.00 0.00 0 0 0
3585.42/3597.02 c conflictdiving : 3.05 0.00 14 0 0
3585.42/3597.02 c crossover : 23.43 0.00 12 2 0
3585.42/3597.02 c dins : 0.00 0.00 0 0 0
3585.42/3597.02 c distributiondivin: 7.65 0.00 14 0 0
3585.42/3597.02 c dps : 0.00 0.00 0 0 0
3585.42/3597.02 c dualval : 0.00 0.00 0 0 0
3585.42/3597.02 c farkasdiving : 5.55 0.00 1 0 0
3585.42/3597.02 c feasjump : 0.00 0.00 0 0 0
3585.42/3597.02 c feaspump : 2.35 0.00 3 0 0
3585.42/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3585.42/3597.02 c fracdiving : 2.91 0.00 14 0 0
3585.42/3597.02 c gins : 0.07 0.00 0 0 0
3585.42/3597.02 c guideddiving : 1.14 0.00 14 0 0
3585.42/3597.02 c indcoefdiving : 0.00 0.00 0 0 0
3585.42/3597.02 c indicator : 0.02 0.00 0 0 0
3585.42/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3585.42/3597.02 c indoneopt : 0.02 0.00 0 0 0
3585.42/3597.02 c indrounding : 0.00 0.00 0 0 0
3585.42/3597.02 c indtwoopt : 0.00 0.00 0 0 0
3585.42/3597.02 c intdiving : 0.00 0.00 0 0 0
3585.42/3597.02 c intshifting : 0.00 0.00 0 0 0
3585.42/3597.02 c linesearchdiving : 2.46 0.00 14 0 0
3585.42/3597.02 c localbranching : 0.00 0.00 0 0 0
3585.42/3597.02 c locks : 0.30 0.00 1 1 1
3585.42/3597.02 c lpface : 0.14 0.00 1 0 0
3585.42/3597.02 c mpec : 0.00 0.00 0 0 0
3585.42/3597.02 c multistart : 0.00 0.00 0 0 0
3585.42/3597.02 c mutation : 0.00 0.00 0 0 0
3585.42/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3585.42/3597.02 c objpscostdiving : 69.33 0.00 7 0 0
3585.42/3597.02 c octane : 0.00 0.00 0 0 0
3585.42/3597.02 c ofins : 0.01 0.00 0 0 0
3585.42/3597.02 c oneopt : 0.09 0.00 8 3 3
3585.42/3597.02 c padm : 0.00 0.00 0 0 0
3585.42/3597.02 c proximity : 0.00 0.00 0 0 0
3585.42/3597.02 c pscostdiving : 7.49 0.00 15 0 0
3585.42/3597.02 c randrounding : 1.07 0.00 5078 0 0
3585.42/3597.02 c rens : 0.05 0.00 1 0 0
3585.42/3597.02 c reoptsols : 0.00 0.00 0 0 0
3585.42/3597.02 c repair : 0.00 0.00 0 0 0
3585.42/3597.02 c rins : 94.74 0.00 22 3 3
3585.42/3597.02 c rootsoldiving : 56.63 0.00 8 0 0
3585.42/3597.02 c rounding : 0.39 0.00 2701 0 0
3585.42/3597.02 c scheduler : 0.00 0.00 0 0 0
3585.42/3597.02 c shiftandpropagate: 0.00 0.00 0 0 0
3585.42/3597.02 c shifting : 12.73 0.00 1351 0 0
3585.42/3597.02 c simplerounding : 0.02 0.00 0 0 0
3585.42/3597.02 c smallcard : 0.00 0.00 0 0 0
3585.42/3597.02 c subnlp : 0.02 0.00 0 0 0
3585.42/3597.02 c trivial : 0.00 0.00 2 0 0
3585.42/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3585.42/3597.02 c trustregion : 0.00 0.00 0 0 0
3585.42/3597.02 c trysol : 0.01 0.00 0 0 0
3585.42/3597.02 c twoopt : 0.00 0.00 0 0 0
3585.42/3597.02 c undercover : 0.00 0.00 0 0 0
3585.42/3597.02 c vbounds : 0.00 0.00 0 0 0
3585.42/3597.02 c veclendiving : 2.59 0.00 14 0 0
3585.42/3597.02 c zeroobj : 0.00 0.00 0 0 0
3585.42/3597.02 c zirounding : 0.21 0.00 1000 0 0
3585.42/3597.02 c other solutions : - - - 0 -
3585.42/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.42/3597.02 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
3585.42/3597.02 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
3585.42/3597.02 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
3585.42/3597.02 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
3585.42/3597.02 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
3585.42/3597.02 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
3585.42/3597.02 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
3585.42/3597.02 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
3585.42/3597.02 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
3585.42/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.42/3597.02 c primal LP : 20.34 2993 2 2.00 0.10 20.33 2992
3585.42/3597.02 c dual LP : 2619.08 42644 11813711 278.17 4510.63 0.69 174
3585.42/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3585.42/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.42/3597.02 c resolve instable : 0.00 0 0 0.00 -
3585.42/3597.02 c diving/probing LP: 202.48 3731 786665 210.85 3885.15
3585.42/3597.02 c strong branching : 461.03 6334 1698130 268.10 3683.34 - - 1855
3585.42/3597.02 c (at root node) : - 26 18875 725.96 -
3585.42/3597.02 c conflict analysis: 0.23 58 573 9.88 2520.50
3585.42/3597.02 c B&B Tree :
3585.42/3597.02 c number of runs : 1
3585.42/3597.02 c nodes : 36737 (29380 internal, 7357 leaves)
3585.42/3597.02 c feasible leaves : 0
3585.42/3597.02 c infeas. leaves : 6395
3585.42/3597.02 c objective leaves : 961
3585.42/3597.02 c nodes (total) : 36737 (29380 internal, 7357 leaves)
3585.42/3597.02 c nodes left : 21700
3585.42/3597.02 c max depth : 143
3585.42/3597.02 c max depth (total): 143
3585.42/3597.02 c backtracks : 1995 (5.4%)
3585.42/3597.02 c early backtracks : 0 (0.0%)
3585.42/3597.02 c nodes exc. ref. : 0 (0.0%)
3585.42/3597.02 c delayed cutoffs : 325
3585.42/3597.02 c repropagations : 18995 (58208 domain reductions, 295 cutoffs)
3585.42/3597.02 c avg switch length: 5.78
3585.42/3597.02 c switching time : 28.93
3585.42/3597.02 c Root Node :
3585.42/3597.02 c First LP value : +0.00000000000000e+00
3585.42/3597.02 c First LP Iters : 276 (8984.96 Iter/sec)
3585.42/3597.02 c First LP Time : 0.03
3585.42/3597.02 c Final Dual Bound : +0.00000000000000e+00
3585.42/3597.02 c Final Root Iters : 2388
3585.42/3597.02 c Root LP Estimate : +1.24160912597646e+02
3585.42/3597.02 c Solution :
3585.42/3597.02 c Solutions found : 13 (11 improvements)
3585.42/3597.02 c First Solution : +2.95960000000000e+04 (in run 1, after 1 nodes, 2.49 seconds, depth 787, found by <locks>)
3585.42/3597.02 c Gap First Sol. : infinite
3585.42/3597.02 c Gap Last Sol. : infinite
3585.42/3597.02 c Primal Bound : +2.97400000000000e+03 (in run 1, after 19211 nodes, 2169.94 seconds, depth 75, found by <rins>)
3585.42/3597.02 c Dual Bound : +0.00000000000000e+00
3585.42/3597.02 c Gap : infinite
3585.42/3597.02 c Integrals : Total Avg%
3585.42/3597.02 c primal-dual : 359699.84 100.00
3585.42/3597.02 c primal-ref : - - (not evaluated)
3585.42/3597.02 c dual-ref : - - (not evaluated)
3585.61/3597.20 c Time complete: 3585.62.
OK 2974
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 (61211 MiB free)
memory of node 1: 64507 MiB (60950 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523848-1751598034/watcher-4523848-1751598034 -o /tmp/evaluation-result-4523848-1751598034/solver-4523848-1751598034 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751594361-89442 --watchdog 3760 pbscip -f HOME/instance-4523848-1751598034.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=89910, runsolver pid=89907
[startup+0.100105 s]*
/proc/loadavg: 4.00 4.08 4.14 5/251 89911
/proc/meminfo: memFree=125092880/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=50920 memory=23040 CPUtime=0.1 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 2819 0 0 0 9 1 0 0 20 0 1 0 75483156 52142080 5760 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 12730 5760 3232 3530 0 4181 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50920 KiB
Current children cumulated memory: 23040 KiB
[startup+0.213274 s]*
/proc/loadavg: 4.00 4.08 4.14 5/251 89911
/proc/meminfo: memFree=125062892/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=79188 memory=53504 CPUtime=0.21 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 10185 0 0 0 18 3 0 0 20 0 1 0 75483156 81088512 13376 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 19797 13376 3520 3530 0 11248 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 79188 KiB
Current children cumulated memory: 53504 KiB
[startup+0.313584 s]*
/proc/loadavg: 4.00 4.08 4.14 5/251 89911
/proc/meminfo: memFree=125022824/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=114224 memory=88232 CPUtime=0.3 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 19814 0 0 0 24 6 0 0 20 0 1 0 75483156 116965376 22058 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 28556 22058 3616 3530 0 20007 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 114224 KiB
Current children cumulated memory: 88232 KiB
[startup+0.700336 s]
/proc/loadavg: 4.00 4.08 4.14 5/251 89911
/proc/meminfo: memFree=125022824/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=114224 memory=88232 CPUtime=0.68 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 19814 0 0 0 62 6 0 0 20 0 1 0 75483156 116965376 22058 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 28556 22058 3616 3530 0 20007 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 114224 KiB
Current children cumulated memory: 88232 KiB
[startup+1.50039 s]
/proc/loadavg: 4.00 4.08 4.14 5/251 89911
/proc/meminfo: memFree=124982248/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=183672 memory=157120 CPUtime=1.47 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 38692 0 0 0 136 11 0 0 20 0 1 0 75483156 188080128 39280 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 45918 39280 3744 3530 0 37369 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 183672 KiB
Current children cumulated memory: 157120 KiB
[startup+3.11294 s]
/proc/loadavg: 4.00 4.08 4.14 5/251 89911
/proc/meminfo: memFree=124697472/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=443104 memory=387776 CPUtime=3.08 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 65975 0 0 0 290 18 0 0 20 0 1 0 75483156 453738496 96944 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 110776 96944 3936 3530 0 102227 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 443104 KiB
Current children cumulated memory: 387776 KiB
[startup+6.30034 s]
/proc/loadavg: 4.08 4.10 4.15 5/251 89911
/proc/meminfo: memFree=124503676/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=565624 memory=507268 CPUtime=6.26 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 90949 0 0 0 604 22 0 0 20 0 1 0 75483156 579198976 126817 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 141406 126817 3936 3530 0 132857 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 565624 KiB
Current children cumulated memory: 507268 KiB
[startup+12.7003 s]
/proc/loadavg: 4.07 4.09 4.15 5/251 89911
/proc/meminfo: memFree=124366460/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=661016 memory=600920 CPUtime=12.64 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 111846 0 0 0 1237 27 0 0 20 0 1 0 75483156 676880384 150230 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 165254 150230 3936 3530 0 156705 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 661016 KiB
Current children cumulated memory: 600920 KiB
[startup+25.5004 s]
/proc/loadavg: 4.06 4.09 4.15 5/251 89911
/proc/meminfo: memFree=124317564/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=697872 memory=634356 CPUtime=25.4 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 115146 0 0 0 2512 28 0 0 20 0 1 0 75483156 714620928 158589 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 174468 158589 3936 3530 0 165919 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 697872 KiB
Current children cumulated memory: 634356 KiB
[startup+51.1131 s]
/proc/loadavg: 4.10 4.10 4.15 5/251 89922
/proc/meminfo: memFree=124284304/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=713488 memory=650520 CPUtime=50.92 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 125328 0 0 0 5062 30 0 0 20 0 1 0 75483156 730611712 162630 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 178372 162630 3936 3530 0 169823 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 713488 KiB
Current children cumulated memory: 650520 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.14 5/251 89924
/proc/meminfo: memFree=124093728/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=871592 memory=807764 CPUtime=101.95 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 172025 0 0 0 10156 39 0 0 20 0 1 0 75483156 892510208 201941 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 217898 201941 3936 3530 0 209349 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 871592 KiB
Current children cumulated memory: 807764 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.14 5/252 89929
/proc/meminfo: memFree=124003568/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=871592 memory=809044 CPUtime=161.76 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 172257 0 0 0 16137 39 0 0 20 0 1 0 75483156 892510208 202261 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 217898 202261 4096 3530 0 209349 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 871592 KiB
Current children cumulated memory: 809044 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.13 5/252 89975
/proc/meminfo: memFree=119884380/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=871592 memory=809044 CPUtime=221.54 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 172297 0 0 0 22113 41 0 0 20 0 1 0 75483156 892510208 202261 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 217898 202261 4096 3530 0 209349 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 871592 KiB
Current children cumulated memory: 809044 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.10 4.13 5/253 89980
/proc/meminfo: memFree=119835248/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=871592 memory=809044 CPUtime=281.36 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 172336 0 0 0 28095 41 0 0 20 0 1 0 75483156 892510208 202261 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 217898 202261 4096 3530 0 209349 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 871592 KiB
Current children cumulated memory: 809044 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.11 4.13 5/253 89983
/proc/meminfo: memFree=119790484/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=871592 memory=809044 CPUtime=341.17 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 172339 0 0 0 34076 41 0 0 20 0 1 0 75483156 892510208 202261 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 217898 202261 4096 3530 0 209349 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 871592 KiB
Current children cumulated memory: 809044 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.09 4.12 5/253 89985
/proc/meminfo: memFree=119724100/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=871592 memory=809044 CPUtime=400.99 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 172377 0 0 0 40057 42 0 0 20 0 1 0 75483156 892510208 202261 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 217898 202261 4096 3530 0 209349 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 871592 KiB
Current children cumulated memory: 809044 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.08 4.11 5/253 89988
/proc/meminfo: memFree=119332980/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=871592 memory=809172 CPUtime=460.81 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 172386 0 0 0 46039 42 0 0 20 0 1 0 75483156 892510208 202293 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 217898 202293 4128 3530 0 209349 0
################
# More data... #
################
/proc/loadavg: 4.11 4.20 4.17 5/250 90116
/proc/meminfo: memFree=118339340/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=871592 memory=820820 CPUtime=3151.98 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 173799 0 0 0 315150 48 0 0 20 0 1 0 75483156 892510208 205205 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 217898 205205 4160 3530 0 209349 0
Current children cumulated CPU time: 3151.98 s
Current children cumulated vsize: 871592 KiB
Current children cumulated memory: 820820 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.18 4.16 5/252 90122
/proc/meminfo: memFree=118341620/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=871592 memory=820820 CPUtime=3211.8 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 174062 0 0 0 321132 48 0 0 20 0 1 0 75483156 892510208 205205 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 217898 205205 4160 3530 0 209349 0
Current children cumulated CPU time: 3211.8 s
Current children cumulated vsize: 871592 KiB
Current children cumulated memory: 820820 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.16 4.16 5/252 90124
/proc/meminfo: memFree=118341588/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=871592 memory=820820 CPUtime=3271.62 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 174077 0 0 0 327114 48 0 0 20 0 1 0 75483156 892510208 205205 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 217898 205205 4160 3530 0 209349 0
Current children cumulated CPU time: 3271.62 s
Current children cumulated vsize: 871592 KiB
Current children cumulated memory: 820820 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.14 4.15 5/252 90126
/proc/meminfo: memFree=118324172/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=871592 memory=820820 CPUtime=3331.46 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 174077 0 0 0 333097 49 0 0 20 0 1 0 75483156 892510208 205205 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 217898 205205 4160 3530 0 209349 0
Current children cumulated CPU time: 3331.46 s
Current children cumulated vsize: 871592 KiB
Current children cumulated memory: 820820 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.15 5/251 90128
/proc/meminfo: memFree=118316768/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=871592 memory=820820 CPUtime=3391.28 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 174078 0 0 0 339079 49 0 0 20 0 1 0 75483156 892510208 205205 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 217898 205205 4160 3530 0 209349 0
Current children cumulated CPU time: 3391.28 s
Current children cumulated vsize: 871592 KiB
Current children cumulated memory: 820820 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.12 4.14 5/251 90130
/proc/meminfo: memFree=118318504/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=871592 memory=820820 CPUtime=3451.11 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 174078 0 0 0 345062 49 0 0 20 0 1 0 75483156 892510208 205205 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 217898 205205 4160 3530 0 209349 0
Current children cumulated CPU time: 3451.11 s
Current children cumulated vsize: 871592 KiB
Current children cumulated memory: 820820 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.14 4.15 5/250 90133
/proc/meminfo: memFree=118311920/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=871592 memory=820820 CPUtime=3510.94 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 174078 0 0 0 351045 49 0 0 20 0 1 0 75483156 892510208 205205 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 217898 205205 4160 3530 0 209349 0
Current children cumulated CPU time: 3510.94 s
Current children cumulated vsize: 871592 KiB
Current children cumulated memory: 820820 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/251 90225
/proc/meminfo: memFree=116565996/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=871592 memory=820820 CPUtime=3570.74 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 174177 0 0 0 357025 49 0 0 20 0 1 0 75483156 892510208 205205 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 217898 205205 4160 3530 0 209349 0
Current children cumulated CPU time: 3570.74 s
Current children cumulated vsize: 871592 KiB
Current children cumulated memory: 820820 KiB
[startup+3597.21 s]
# the end of solver process 89910 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.12 s, system=0.503924 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.13 4.14 5/251 90225
/proc/meminfo: memFree=116566248/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=871592 memory=820820 CPUtime=3572.45 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 174177 0 0 0 357196 49 0 0 20 0 1 0 75483156 892510208 205205 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 217898 205205 4160 3530 0 209349 0
Current children cumulated CPU time: 3572.45 s
Current children cumulated vsize: 871592 KiB
Current children cumulated memory: 820820 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.13 4.14 5/251 90226
/proc/meminfo: memFree=116538784/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=871592 memory=820820 CPUtime=3578.83 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 174273 0 0 0 357833 50 0 0 20 0 1 0 75483156 892510208 205205 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 217898 205205 4160 3530 0 209349 0
Current children cumulated CPU time: 3578.83 s
Current children cumulated vsize: 871592 KiB
Current children cumulated memory: 820820 KiB
[startup+3593.6 s]
/proc/loadavg: 4.11 4.12 4.14 5/251 90226
/proc/meminfo: memFree=116544488/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=871592 memory=820820 CPUtime=3582.02 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 174273 0 0 0 358152 50 0 0 20 0 1 0 75483156 892510208 205205 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 217898 205205 4160 3530 0 209349 0
Current children cumulated CPU time: 3582.02 s
Current children cumulated vsize: 871592 KiB
Current children cumulated memory: 820820 KiB
[startup+3595.2 s]
/proc/loadavg: 4.11 4.12 4.14 5/251 90226
/proc/meminfo: memFree=116544740/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=871592 memory=820820 CPUtime=3583.61 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 174273 0 0 0 358311 50 0 0 20 0 1 0 75483156 892510208 205205 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 217898 205205 4160 3530 0 209349 0
Current children cumulated CPU time: 3583.61 s
Current children cumulated vsize: 871592 KiB
Current children cumulated memory: 820820 KiB
[startup+3596 s]*
/proc/loadavg: 4.10 4.12 4.14 5/251 90226
/proc/meminfo: memFree=116544740/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=871592 memory=820820 CPUtime=3584.42 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 174273 0 0 0 358392 50 0 0 20 0 1 0 75483156 892510208 205205 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 217898 205205 4160 3530 0 209349 0
Current children cumulated CPU time: 3584.42 s
Current children cumulated vsize: 871592 KiB
Current children cumulated memory: 820820 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.12 4.14 5/251 90226
/proc/meminfo: memFree=116544740/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=871592 memory=820820 CPUtime=3585.21 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 174273 0 0 0 358471 50 0 0 20 0 1 0 75483156 892510208 205205 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 217898 205205 4160 3530 0 209349 0
Current children cumulated CPU time: 3585.21 s
Current children cumulated vsize: 871592 KiB
Current children cumulated memory: 820820 KiB
[startup+3597.2 s]
/proc/loadavg: 4.10 4.12 4.14 5/251 90226
/proc/meminfo: memFree=116544492/131382116 swapFree=33010684/33010684
[pid=89910] ppid=89907 vsize=865472 memory=814748 CPUtime=3585.61 cores=5,7
/proc/89910/stat : 89910 (pbscip) R 89907 89910 89429 0 -1 4194304 174284 0 0 0 358511 50 0 0 20 0 1 0 75483156 886243328 203687 18446744073709551615 4235264 18693293 140736618549600 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 50995200 140736618555785 140736618555884 140736618555884 140736618561486 0
/proc/89910/statm: 216368 203687 4160 3530 0 207819 0
Current children cumulated CPU time: 3585.61 s
Current children cumulated vsize: 865472 KiB
Current children cumulated memory: 814748 KiB
Child status: 0
Real time (s): 3597.21
CPU time (s): 3585.62
CPU user time (s): 3585.12
CPU system time (s): 0.503924
CPU usage (%): 99.6779
Max. virtual memory (cumulated for all children) (KiB): 875536
Max. memory (cumulated for all children) (KiB): 820820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.12
system time used= 0.503924
maximum resident set size= 820820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174338
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= 120
involuntary context switches= 19645
# summary of solver processes directly reported to runsolver:
# pid: 89910
# total CPU time (s): 3585.62
# total CPU user time (s): 3585.12
# total CPU system time (s): 0.503924
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2122 second user time and 34.9239 second system time
The end
Begin job on nodeC011 at 2025-07-04 05:00:34 IDJOB=4523848 IDBENCH=180376 IDSOLVER=3365 FILE ID=nodeC011/4523848-1751598034 RUNJOBID= nodeC011-1751594361-89442 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_1.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523848-1751598034/watcher-4523848-1751598034 -o /tmp/evaluation-result-4523848-1751598034/solver-4523848-1751598034 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751594361-89442 --watchdog 3760 pbscip -f HOME/instance-4523848-1751598034.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1376b7e36587a728493ace6af4c57a8e RANDOM SEED=1007696686 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 : 3662.358 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 : 3691.647 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.698 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 : 3700.000 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 : 3662.800 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 : 3700.000 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.405 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.292 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: 125094644 kB MemAvailable: 127837148 kB Buffers: 3276 kB Cached: 3537820 kB SwapCached: 0 kB Active: 2593168 kB Inactive: 3096048 kB Active(anon): 2163976 kB Inactive(anon): 2104 kB Active(file): 429192 kB Inactive(file): 3093944 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 21840 kB Writeback: 0 kB AnonPages: 2151192 kB Mapped: 139180 kB Shmem: 17960 kB KReclaimable: 117604 kB Slab: 203276 kB SReclaimable: 117604 kB SUnreclaim: 85672 kB KernelStack: 4048 kB PageTables: 7364 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 2588124 kB VmallocTotal: 34359738367 kB VmallocUsed: 149400 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1013760 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= 430400 MiB End job on nodeC011 at 2025-07-04 06:00:32