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 | 180 | 3587.24 | 3597.08 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ8_3.opb |
| MD5SUM | 82a224b9434e58ca22c331a9d6eb0d67 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 136 |
| Best CPU time to get the best result obtained on this benchmark | 3586.51 |
| 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 | 1344 |
| Total number of constraints | 16096 |
| Number of constraints which are clauses | 8208 |
| Number of constraints which are cardinality constraints (but not clauses) | 496 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7392 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 28 |
| Number of terms in the objective function | 448 |
| Biggest coefficient in the objective function | 4 |
| Number of bits for the biggest coefficient in the objective function | 3 |
| Sum of the numbers in the objective function | 1024 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 24 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 1024 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.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-4486296-1751317317.opb>
0.00/0.05 c original problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
0.00/0.05 c problem read in 0.04
0.00/0.08 c presolving:
0.09/0.13 c (0.1s) running MILP presolver
0.09/0.15 c (0.1s) MILP presolver found nothing
0.09/0.20 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 16096 upgd conss, 0 impls, 2016 clqs
0.20/0.25 c (round 2, medium) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 14784 chg sides, 14784 chg coeffs, 16096 upgd conss, 0 impls, 2016 clqs
0.20/0.30 c (round 3, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 14784 chg sides, 22176 chg coeffs, 16096 upgd conss, 0 impls, 2016 clqs
0.40/0.47 c (0.5s) probing: 51/1344 (3.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.40/0.47 c (0.5s) probing aborted: 50/50 successive totally useless probings
0.49/0.60 c (0.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.58/0.64 c (0.6s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.02)
0.58/0.64 c dynamic symmetry handling statistics:
0.58/0.64 c orbitopal reduction: no components
0.58/0.64 c orbital reduction: 1 components of sizes 2
0.58/0.64 c lexicographic reduction: 2 permutations with support sizes 1284, 1344
0.58/0.64 c handled 1 out of 1 symmetry components
0.58/0.65 c presolving (4 rounds: 4 fast, 4 medium, 3 exhaustive):
0.58/0.65 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 14784 changed sides, 22176 changed coefficients
0.58/0.65 c 0 implications, 2016 cliques
0.58/0.65 c presolved problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
0.58/0.65 c 7496 constraints of type <knapsack>
0.58/0.65 c 2016 constraints of type <setppc>
0.58/0.65 c 6584 constraints of type <logicor>
0.58/0.65 c transformed objective value is always integral (scale: 1)
0.58/0.65 c Presolving Time: 0.57
0.58/0.65 c - non default parameters ----------------------------------------------------------------------
0.58/0.65 c # SCIP version 10.0.0
0.58/0.65 c
0.58/0.65 c # maximal time in seconds to run
0.58/0.65 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.58/0.65 c limits/time = 3596.997018
0.58/0.65 c
0.58/0.65 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.58/0.65 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.58/0.65 c limits/memory = 27900
0.58/0.65 c
0.58/0.65 c # belongs reading time to solving time?
0.58/0.65 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.58/0.65 c timing/reading = TRUE
0.58/0.65 c
0.58/0.65 c -----------------------------------------------------------------------------------------------
0.58/0.65 c start solving
0.58/0.65 c
1.68/1.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.68/1.73 c 1.7s| 1 | 0 | 3180 | - | 151M | 0 |1344 | 16k| 16k| 0 | 0 | 80 | 0 | 9.600000e+01 | -- | Inf | unknown
7.66/7.78 c 7.8s| 1 | 0 | 23553 | - | 166M | 0 |1344 | 16k| 16k| 15 | 1 | 82 | 0 | 9.600000e+01 | -- | Inf | unknown
9.86/9.90 c 9.9s| 1 | 0 | 25491 | - | 167M | 0 |1344 | 16k| 16k| 24 | 2 | 83 | 0 | 9.600000e+01 | -- | Inf | unknown
12.06/12.19 c 12.2s| 1 | 0 | 27534 | - | 169M | 0 |1344 | 16k| 16k| 33 | 3 | 84 | 0 | 9.600000e+01 | -- | Inf | unknown
14.14/14.25 c 14.2s| 1 | 0 | 29344 | - | 170M | 0 |1344 | 16k| 16k| 40 | 4 | 85 | 0 | 9.600000e+01 | -- | Inf | unknown
16.24/16.33 c 16.3s| 1 | 0 | 30948 | - | 172M | 0 |1344 | 16k| 16k| 49 | 5 | 88 | 0 | 9.600000e+01 | -- | Inf | unknown
18.53/18.62 c 18.6s| 1 | 0 | 33089 | - | 173M | 0 |1344 | 16k| 16k| 60 | 6 | 90 | 0 | 9.600000e+01 | -- | Inf | unknown
20.73/20.82 c 20.8s| 1 | 0 | 35115 | - | 175M | 0 |1344 | 16k| 16k| 71 | 7 | 91 | 0 | 9.600000e+01 | -- | Inf | unknown
22.93/23.09 c 23.1s| 1 | 0 | 37223 | - | 177M | 0 |1344 | 16k| 16k| 81 | 8 | 94 | 0 | 9.600000e+01 | -- | Inf | unknown
25.22/25.36 c 25.4s| 1 | 0 | 39296 | - | 178M | 0 |1344 | 16k| 16k| 90 | 9 | 95 | 0 | 9.600000e+01 | -- | Inf | unknown
27.41/27.54 c 27.5s| 1 | 0 | 41070 | - | 180M | 0 |1344 | 16k| 16k| 99 | 10 | 97 | 0 | 9.600000e+01 | -- | Inf | unknown
28.51/28.61 c 28.6s| 1 | 0 | 43506 | - | 182M | 0 |1344 | 16k| 16k| 109 | 11 | 98 | 0 | 9.600000e+01 | -- | Inf | unknown
61.13/61.31 c 61.3s| 1 | 2 | 88606 | - | 182M | 0 |1344 | 16k| 16k| 109 | 11 | 149 | 22 | 9.600000e+01 | -- | Inf | unknown
193.56/194.13 c 194s| 100 | 99 |231819 |1902.2 | 202M | 23 |1344 | 16k| 16k| 270 | 1 | 218 | 269 | 9.600000e+01 | -- | Inf | 50.00%
249.90/250.69 c 251s| 200 | 199 |354642 |1563.5 | 206M | 29 |1344 | 16k| 16k| 320 | 1 | 284 | 338 | 9.600000e+01 | -- | Inf | 50.00%
314.73/315.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
314.73/315.67 c 316s| 300 | 299 |474530 |1441.6 | 213M | 31 |1344 | 16k| 16k| 450 | 1 | 396 | 415 | 9.600000e+01 | -- | Inf | 50.00%
355.23/356.21 c 356s| 400 | 399 |573323 |1327.9 | 213M | 34 |1344 | 16k| 16k| 477 | 1 | 489 | 466 | 9.600000e+01 | -- | Inf | 50.00%
404.00/405.13 c 405s| 500 | 493 |681696 |1278.9 | 217M | 34 |1344 | 16k| 16k| 560 | 2 | 624 | 525 | 9.600000e+01 | -- | Inf | 50.00%
452.47/453.71 c 454s| 600 | 589 |785424 |1238.6 | 225M | 34 |1344 | 16k| 16k| 655 | 1 | 741 | 595 | 9.600000e+01 | -- | Inf | 50.00%
498.05/499.40 c 499s| 700 | 687 |895299 |1218.6 | 226M | 34 |1344 | 16k| 16k| 712 | 1 | 797 | 655 | 9.600000e+01 | -- | Inf | 50.00%
536.85/538.39 c 538s| 800 | 787 |990846 |1185.7 | 227M | 38 |1344 | 16k| 16k| 784 | 1 | 861 | 717 | 9.600000e+01 | -- | Inf | 50.00%
583.63/585.20 c 585s| 900 | 887 | 1092k|1166.9 | 230M | 38 |1344 | 16k| 16k| 847 | 1 |1037 | 779 | 9.600000e+01 | -- | Inf | 50.00%
652.25/654.03 c 654s| 1000 | 985 | 1237k|1195.6 | 237M | 39 |1344 | 16k| 16k| 966 | 1 |1133 | 848 | 9.600000e+01 | -- | Inf | 50.00%
699.52/701.49 c 701s| 1100 | 1085 | 1347k|1186.5 | 237M | 39 |1344 | 16k| 16k|1038 | 3 |1249 | 911 | 9.600000e+01 | -- | Inf | 50.00%
741.71/743.79 c 744s| 1200 | 1185 | 1442k|1166.7 | 238M | 39 |1344 | 16k| 16k|1105 | 1 |1320 | 967 | 9.600000e+01 | -- | Inf | 50.00%
806.64/808.88 c 809s| 1300 | 1285 | 1581k|1183.7 | 241M | 39 |1344 | 16k| 16k|1260 | 1 |1575 |1036 | 9.600000e+01 | -- | Inf | 50.00%
861.09/863.45 c 863s| 1400 | 1385 | 1704k|1187.2 | 244M | 39 |1344 | 16k| 16k|1347 | 1 |1780 |1102 | 9.600000e+01 | -- | Inf | 50.00%
891.91/894.33 o 196
891.91/894.33 c d 894s| 1470 | 1455 | 1775k|1178.8 |distribu| 39 |1344 | 16k| 16k| 0 | 1 |1847 |1139 | 9.600000e+01 | 1.960000e+02 | 104.17%| 50.00%
911.96/914.41 c 914s| 1500 | 1485 | 1827k|1190.3 | 244M | 39 |1344 | 16k| 16k|1420 | 1 |1960 |1158 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.34%
1004.91/1007.68 c 1008s| 1600 | 1585 | 2025k|1239.4 | 246M | 39 |1344 | 16k| 16k|1621 | 1 |2239 |1251 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.34%
1074.99/1077.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1074.99/1077.93 c 1078s| 1700 | 1685 | 2196k|1267.3 | 247M | 39 |1344 | 16k| 16k|1705 | 1 |2588 |1318 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.34%
1163.74/1166.93 c 1167s| 1800 | 1785 | 2381k|1299.8 | 249M | 39 |1344 | 16k| 16k|1829 | 1 |2943 |1401 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.34%
1246.81/1250.23 c 1250s| 1900 | 1885 | 2542k|1316.1 | 250M | 39 |1344 | 16k| 16k|2094 | 1 |3196 |1491 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.34%
1324.79/1328.46 c 1328s| 2000 | 1985 | 2700k|1329.3 | 254M | 39 |1344 | 16k| 16k|2277 | 1 |3446 |1578 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.34%
1421.43/1425.33 c 1425s| 2100 | 2085 | 2890k|1356.4 | 264M | 39 |1344 | 16k| 16k|2685 | 1 |3664 |1679 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.34%
1506.59/1510.73 c 1511s| 2200 | 2185 | 3055k|1369.8 | 268M | 39 |1344 | 16k| 16k|2982 | 1 |3897 |1781 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.34%
1571.81/1576.16 c 1576s| 2300 | 2285 | 3212k|1378.3 | 272M | 39 |1344 | 16k| 16k|3301 | 2 |4230 |1822 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.35%
1621.37/1625.85 c 1626s| 2400 | 2383 | 3363k|1383.8 | 272M | 39 |1344 | 16k| 16k|3425 | 1 |4482 |1840 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.35%
1679.90/1684.54 c 1685s| 2500 | 2483 | 3524k|1392.8 | 273M | 39 |1344 | 16k| 16k|3625 | 1 |4879 |1870 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.35%
1753.40/1758.23 c 1758s| 2600 | 2583 | 3716k|1413.3 | 279M | 39 |1344 | 17k| 16k|3992 | 2 |5244 |1884 | 9.600000e+01 | 1.960000e+02 | 104.17%| 18.35%
1766.76/1771.68 o 186
1766.76/1771.68 c d1772s| 2631 | 2614 | 3752k|1410.3 |veclendi| 39 |1344 | 17k| 16k| 0 | 1 |5318 |1899 | 9.600000e+01 | 1.860000e+02 | 93.75%| 18.35%
1809.65/1814.64 o 180
1809.65/1814.64 c d1815s| 2687 | 2670 | 3857k|1420.1 |veclendi| 39 |1344 | 17k| 16k| 0 | 1 |5486 |1905 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.35%
1819.32/1824.35 c 1824s| 2700 | 2683 | 3886k|1423.7 | 282M | 39 |1344 | 16k| 16k|4319 | 1 |5513 |1905 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.35%
1877.25/1882.43 c 1882s| 2800 | 2783 | 4070k|1438.7 | 283M | 39 |1344 | 17k| 16k|4642 | 1 |5968 |1911 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.35%
1938.38/1943.73 c 1944s| 2900 | 2883 | 4229k|1444.1 | 289M | 39 |1344 | 17k| 16k|4866 | 1 |6332 |1929 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.35%
2001.11/2006.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2001.11/2006.65 c 2007s| 3000 | 2983 | 4395k|1451.2 | 293M | 39 |1344 | 17k| 16k|5138 | 1 |6687 |1948 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.36%
2073.50/2079.28 c 2079s| 3100 | 3083 | 4560k|1457.7 | 300M | 39 |1344 | 17k| 16k|5326 | 1 |7082 |2008 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.36%
2156.37/2162.34 c 2162s| 3200 | 3183 | 4747k|1470.6 | 305M | 39 |1344 | 17k| 16k|5615 | 1 |7488 |2076 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.36%
2229.87/2236.03 c 2236s| 3300 | 3283 | 4927k|1480.3 | 306M | 39 |1344 | 17k| 16k|5935 | 1 |7859 |2140 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.36%
2308.75/2315.15 c 2315s| 3400 | 3383 | 5111k|1490.9 | 308M | 39 |1344 | 17k| 16k|6212 | 1 |8261 |2206 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.36%
2373.66/2380.21 c 2380s| 3500 | 3483 | 5276k|1495.4 | 318M | 43 |1344 | 17k| 16k|6406 | 1 |8506 |2277 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.36%
2442.77/2449.52 c 2450s| 3600 | 3583 | 5429k|1496.5 | 318M | 43 |1344 | 16k| 16k|6559 | 1 |8677 |2352 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.36%
2507.30/2514.24 c 2514s| 3700 | 3683 | 5589k|1499.3 | 319M | 43 |1344 | 16k| 16k|6790 | 1 |8889 |2401 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.36%
2562.63/2569.75 c 2570s| 3800 | 3783 | 5738k|1499.2 | 321M | 43 |1344 | 16k| 16k|7029 | 2 |9129 |2424 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.36%
2625.62/2632.93 c 2633s| 3900 | 3883 | 5910k|1504.7 | 323M | 43 |1344 | 16k| 16k|7343 | 1 |9340 |2442 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.37%
2681.65/2689.19 c 2689s| 4000 | 3983 | 6080k|1509.7 | 323M | 43 |1344 | 17k| 16k|7455 | 1 |9666 |2466 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.37%
2754.33/2762.10 c 2762s| 4100 | 4083 | 6289k|1523.7 | 323M | 43 |1344 | 17k| 16k|7718 | 1 |9974 |2471 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.37%
2808.88/2816.79 c 2817s| 4200 | 4183 | 6451k|1526.0 | 325M | 43 |1344 | 17k| 16k|8000 | 1 | 10k|2476 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.37%
2877.81/2885.86 c 2886s| 4300 | 4281 | 6630k|1532.3 | 331M | 43 |1344 | 17k| 16k|8360 | 1 | 10k|2491 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.37%
2944.73/2952.93 c 2953s| 4400 | 4381 | 6803k|1536.7 | 338M | 43 |1344 | 17k| 16k|8854 | 1 | 10k|2506 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.37%
2980.14/2988.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2980.14/2988.48 c 2988s| 4500 | 4481 | 6910k|1526.4 | 339M | 43 |1344 | 17k| 16k|9044 | 1 | 11k|2535 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.37%
3042.38/3050.83 c 3051s| 4600 | 4581 | 7082k|1530.6 | 341M | 43 |1344 | 17k| 16k|9441 | 2 | 11k|2541 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.37%
3093.34/3101.98 c 3102s| 4700 | 4681 | 7219k|1527.2 | 341M | 43 |1344 | 17k| 16k|9668 | 2 | 11k|2596 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.38%
3175.24/3184.09 c 3184s| 4800 | 4781 | 7398k|1532.7 | 351M | 43 |1344 | 17k| 16k| 10k| 1 | 12k|2660 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.38%
3223.21/3232.16 c 3232s| 4900 | 4881 | 7535k|1529.3 | 352M | 43 |1344 | 17k| 16k| 10k| 1 | 12k|2708 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.38%
3284.95/3294.09 c 3294s| 5000 | 4979 | 7683k|1528.4 | 357M | 43 |1344 | 17k| 16k| 10k| 1 | 12k|2767 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.38%
3345.89/3355.19 c 3355s| 5100 | 5077 | 7839k|1528.9 | 357M | 43 |1344 | 17k| 16k| 10k| 1 | 12k|2810 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.38%
3391.26/3400.65 c 3401s| 5200 | 5177 | 7968k|1524.2 | 357M | 43 |1344 | 17k| 16k| 11k| 1 | 13k|2863 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.38%
3438.54/3448.10 c 3448s| 5300 | 5277 | 8096k|1519.8 | 359M | 43 |1344 | 17k| 16k| 11k| 1 | 13k|2914 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.38%
3502.38/3512.01 c 3512s| 5400 | 5375 | 8242k|1518.6 | 366M | 43 |1344 | 17k| 16k| 11k| 1 | 13k|2967 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.38%
3549.55/3559.36 c 3559s| 5500 | 5473 | 8373k|1514.8 | 366M | 43 |1344 | 17k| 16k| 11k| 1 | 13k|3025 | 9.600000e+01 | 1.800000e+02 | 87.50%| 18.41%
3587.15/3597.00 c
3587.15/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.15/3597.00 c Solving Time (sec) : 3597.00
3587.15/3597.00 c Solving Nodes : 5562
3587.15/3597.00 c Primal Bound : +1.80000000000000e+02 (3 solutions)
3587.15/3597.00 c Dual Bound : +9.60000000000000e+01
3587.15/3597.00 c Gap : 87.50 %
3587.15/3597.01 s SATISFIABLE
3587.15/3597.01 v -x833 -x769 -x705 x641 x577 x513 -x449 x385 -x321 -x257 -x193 x129 x65 x1 -x896 -x832 x768 x704 x640 -x576 -x512 x448 x384 x320
3587.15/3597.01 v -x256 x192 -x128 -x64 -x887 x823 x759 x695 -x631 x567 x503 -x439 x375 -x311 -x247 x183 -x119 -x55 x878 x814 x750 -x686 -x622
3587.15/3597.01 v x558 -x494 -x430 x366 -x302 x238 -x174 x110 -x46 x869 -x805 -x741 x677 x613 -x549 x485 x421 -x357 x293 -x229 -x165 -x101 x37
3587.15/3597.01 v x860 x796 x732 -x668 -x604 -x540 x476 -x412 -x348 -x284 x220 -x156 x92 x28 -x851 x787 -x723 -x659 -x595 x531 x467 x403 -x339
3587.15/3597.01 v x275 x211 x147 -x83 -x19 x842 -x778 -x714 -x650 x586 -x522 -x458 -x394 x330 x266 x202 -x138 x74 x10 -x895 x831 -x767 -x703 -x639
3587.15/3597.01 v -x575 -x511 -x447 -x383 -x319 -x255 -x191 -x127 -x63 -x894 -x830 -x766 -x702 -x638 x574 -x510 -x446 -x382 -x318 -x254 -x190
3587.15/3597.01 v -x126 -x62 x893 -x829 -x765 -x701 -x637 -x573 -x509 -x445 -x381 -x317 -x253 -x189 -x125 -x61 -x892 -x828 -x764 -x700 -x636
3587.15/3597.01 v -x572 x508 -x444 -x380 -x316 -x252 -x188 -x124 -x60 -x891 -x827 -x763 -x699 -x635 -x571 -x507 -x443 -x379 -x315 x251 -x187
3587.15/3597.01 v -x123 -x59 -x890 -x826 -x762 -x698 -x634 -x570 -x506 -x442 -x378 -x314 -x250 -x186 -x122 x58 -x889 -x825 -x761 -x697 -x633 -x569
3587.15/3597.01 v -x505 -x441 -x377 -x313 -x249 -x185 x121 -x57 -x888 -x824 -x760 -x696 -x632 -x568 -x504 -x440 -x376 x312 -x248 -x184 -x120
3587.15/3597.01 v -x56 x886 -x822 -x758 -x694 -x630 -x566 -x502 -x438 -x374 -x310 -x246 -x182 -x118 -x54 -x885 -x821 -x757 -x693 x629 -x565 -x501
3587.15/3597.01 v -x437 -x373 -x309 -x245 -x181 -x117 -x53 -x884 -x820 -x756 -x692 -x628 -x564 -x500 -x436 -x372 -x308 -x244 -x180 x116 -x52
3587.15/3597.01 v -x883 -x819 -x755 -x691 -x627 -x563 -x499 x435 -x371 -x307 -x243 -x179 -x115 -x51 -x882 -x818 -x754 -x690 -x626 -x562 -x498
3587.15/3597.01 v -x434 -x370 -x306 x242 -x178 -x114 -x50 -x881 -x817 -x753 -x689 -x625 -x561 -x497 -x433 -x369 -x305 -x241 -x177 -x113 x49 -x880
3587.15/3597.01 v -x816 -x752 -x688 -x624 -x560 -x496 -x432 -x368 -x304 -x240 x176 -x112 -x48 -x879 -x815 -x751 -x687 -x623 -x559 x495 -x431
3587.15/3597.01 v -x367 -x303 -x239 -x175 -x111 -x47 -x877 -x813 -x749 x685 -x621 -x557 -x493 -x429 -x365 -x301 -x237 -x173 -x109 -x45 -x876
3587.15/3597.01 v -x812 -x748 -x684 -x620 -x556 -x492 -x428 -x364 -x300 -x236 -x172 -x108 x44 -x875 -x811 -x747 -x683 -x619 -x555 -x491 -x427
3587.15/3597.01 v -x363 x299 -x235 -x171 -x107 -x43 -x874 -x810 -x746 -x682 x618 -x554 -x490 -x426 -x362 -x298 -x234 -x170 -x106 -x42 -x873 -x809
3587.15/3597.01 v -x745 -x681 -x617 -x553 -x489 x425 -x361 -x297 -x233 -x169 -x105 -x41 -x872 -x808 -x744 -x680 -x616 -x552 -x488 -x424 x360
3587.15/3597.01 v -x296 -x232 -x168 -x104 -x40 -x871 -x807 -x743 -x679 -x615 -x551 -x487 -x423 -x359 -x295 -x231 x167 -x103 -x39 -x870 -x806 -x742
3587.15/3597.01 v -x678 -x614 -x550 -x486 -x422 -x358 -x294 x230 -x166 -x102 -x38 -x868 -x804 x740 -x676 -x612 -x548 -x484 -x420 -x356 -x292
3587.15/3597.01 v -x228 -x164 -x100 -x36 -x867 x803 -x739 -x675 -x611 -x547 -x483 -x419 -x355 -x291 -x227 -x163 -x99 -x35 -x866 -x802 -x738
3587.15/3597.01 v -x674 -x610 -x546 -x482 -x418 -x354 -x290 -x226 -x162 x98 -x34 -x865 -x801 -x737 -x673 -x609 x545 -x481 -x417 -x353 -x289 -x225
3587.15/3597.01 v -x161 -x97 -x33 -x864 -x800 -x736 -x672 x608 -x544 -x480 -x416 -x352 -x288 -x224 -x160 -x96 -x32 -x863 -x799 -x735 -x671 -x607
3587.15/3597.01 v x543 -x479 -x415 -x351 -x287 -x223 -x159 -x95 -x31 -x862 -x798 -x734 -x670 -x606 -x542 -x478 -x414 x350 -x286 -x222 -x158
3587.15/3597.01 v -x94 -x30 -x861 -x797 -x733 -x669 -x605 -x541 -x477 x413 -x349 -x285 -x221 -x157 -x93 -x29 -x859 -x795 -x731 -x667 -x603 -x539
3587.15/3597.01 v -x475 -x411 -x347 -x283 -x219 x155 -x91 -x27 -x858 -x794 -x730 -x666 -x602 -x538 -x474 -x410 -x346 x282 -x218 -x154 -x90
3587.15/3597.01 v -x26 -x857 -x793 -x729 x665 -x601 -x537 -x473 -x409 -x345 -x281 -x217 -x153 -x89 -x25 -x856 -x792 -x728 x664 -x600 -x536 -x472
3587.15/3597.01 v -x408 -x344 -x280 -x216 -x152 -x88 -x24 -x855 -x791 x727 -x663 -x599 -x535 -x471 -x407 -x343 -x279 -x215 -x151 -x87 -x23 -x854
3587.15/3597.01 v -x790 -x726 -x662 -x598 -x534 -x470 -x406 -x342 -x278 -x214 -x150 x86 -x22 -x853 -x789 -x725 -x661 -x597 -x533 -x469 -x405
3587.15/3597.01 v -x341 -x277 -x213 -x149 -x85 x21 x852 -x788 -x724 -x660 -x596 -x532 -x468 -x404 -x340 -x276 -x212 -x148 -x84 -x20 -x850 -x786
3587.15/3597.01 v -x722 -x658 -x594 -x530 -x466 -x402 x338 -x274 -x210 -x146 -x82 -x18 -x849 -x785 -x721 -x657 x593 -x529 -x465 -x401 -x337
3587.15/3597.01 v -x273 -x209 -x145 -x81 -x17 -x848 -x784 -x720 -x656 -x592 -x528 -x464 x400 -x336 -x272 -x208 -x144 -x80 -x16 -x847 -x783 -x719
3587.15/3597.01 v x655 -x591 -x527 -x463 -x399 -x335 -x271 -x207 -x143 -x79 -x15 -x846 -x782 x718 -x654 -x590 -x526 -x462 -x398 -x334 -x270 -x206
3587.15/3597.01 v -x142 -x78 -x14 -x845 -x781 -x717 -x653 -x589 -x525 x461 -x397 -x333 -x269 -x205 -x141 -x77 -x13 -x844 x780 -x716 -x652
3587.15/3597.01 v -x588 -x524 -x460 -x396 -x332 -x268 -x204 -x140 -x76 -x12 -x843 -x779 -x715 -x651 -x587 x523 -x459 -x395 -x331 -x267 -x203 -x139
3587.15/3597.01 v -x75 -x11 -x841 -x777 -x713 -x649 -x585 -x521 -x457 -x393 -x329 -x265 -x201 x137 -x73 -x9 -x840 -x776 x712 -x648 -x584 -x520
3587.15/3597.01 v -x456 -x392 -x328 -x264 -x200 -x136 -x72 -x8 -x839 -x775 -x711 -x647 -x583 -x519 -x455 -x391 x327 -x263 -x199 -x135 -x71
3587.15/3597.01 v -x7 -x838 x774 -x710 -x646 -x582 -x518 -x454 -x390 -x326 -x262 -x198 -x134 -x70 -x6 -x837 -x773 -x709 -x645 -x581 -x517 -x453
3587.15/3597.01 v -x389 -x325 x261 -x197 -x133 -x69 -x5 -x836 -x772 -x708 -x644 -x580 -x516 -x452 -x388 -x324 -x260 x196 -x132 -x68 -x4 -x835
3587.15/3597.01 v -x771 -x707 -x643 -x579 -x515 x451 -x387 -x323 -x259 -x195 -x131 -x67 -x3 x834 -x770 -x706 -x642 -x578 -x514 -x450 -x386 -x322
3587.15/3597.01 v -x258 -x194 -x130 -x66 -x2 x1344 -x1343 -x1342 x1341 x1340 x1339 -x1338 -x1337 -x1336 x1335 -x1334 -x1333 -x1332 -x1331 x1330
3587.15/3597.01 v -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 x1314 -x1313 -x1312
3587.15/3597.01 v -x1311 -x1310 x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 x1296 x1295 -x1294
3587.15/3597.01 v -x1293 -x1292 -x1291 -x1290 -x1289 x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 x1280 x1279 -x1278 x1277 x1276 x1275
3587.15/3597.01 v -x1274 x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 x1259 -x1258 -x1257
3587.15/3597.01 v -x1256 -x1255 -x1254 -x1253 x1252 -x1251 -x1250 -x1249 -x1248 -x1247 x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238
3587.15/3597.01 v -x1237 -x1236 x1235 -x1234 -x1233 -x1232 x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 x1224 -x1223 -x1222 -x1221 -x1220
3587.15/3597.01 v -x1219 x1218 -x1217 -x1216 x1215 x1214 x1213 x1212 -x1211 -x1210 x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 x1202 -x1201
3587.15/3597.01 v -x1200 -x1199 -x1198 -x1197 -x1196 x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 x1187 -x1186 -x1185 -x1184 -x1183
3587.15/3597.01 v x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 x1174 -x1173 -x1172 -x1171 -x1170 -x1169 x1168 -x1167 -x1166 -x1165
3587.15/3597.01 v -x1164 -x1163 -x1162 -x1161 x1160 -x1159 -x1158 -x1157 -x1156 x1155 -x1154 -x1153 x1152 -x1151 x1150 x1149 -x1148 -x1147 -x1146
3587.15/3597.01 v -x1145 x1144 -x1143 -x1142 -x1141 -x1140 -x1139 x1138 -x1137 -x1136 -x1135 -x1134 x1133 -x1132 -x1131 -x1130 -x1129 -x1128
3587.15/3597.01 v -x1127 -x1126 -x1125 x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 x1114 x1113 -x1112 -x1111 -x1110
3587.15/3597.01 v -x1109 -x1108 -x1107 -x1106 -x1105 x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 x1096 -x1095 -x1094 -x1093 -x1092
3587.15/3597.01 v x1091 -x1090 -x1089 x1088 x1087 -x1086 -x1085 -x1084 -x1083 -x1082 x1081 -x1080 -x1079 -x1078 -x1077 x1076 -x1075 -x1074 -x1073
3587.15/3597.01 v -x1072 -x1071 -x1070 -x1069 -x1068 x1067 -x1066 -x1065 x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055
3587.15/3597.01 v -x1054 x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 x1046 -x1045 -x1044 -x1043 -x1042 x1041 -x1040 -x1039 -x1038 -x1037
3587.15/3597.01 v -x1036 -x1035 -x1034 -x1033 x1032 -x1031 -x1030 -x1029 -x1028 -x1027 x1026 x1025 x1024 x1023 -x1022 -x1021 -x1020 -x1019 -x1018
3587.15/3597.01 v x1017 -x1016 x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 x1006 -x1005 -x1004 -x1003 -x1002 -x1001 x1000
3587.15/3597.01 v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 x983 -x982 -x981 -x980 -x979 -x978
3587.15/3597.01 v -x977 -x976 x975 -x974 -x973 -x972 -x971 -x970 -x969 x968 -x967 x966 x965 -x964 -x963 -x962 -x961 x960 -x959 -x958 -x957
3587.15/3597.01 v -x956 -x955 -x954 x953 -x952 x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 x939 -x938 -x937 -x936 -x935
3587.15/3597.01 v -x934 x933 -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914
3587.15/3597.01 v -x913 -x912 x911 -x910 -x909 -x908 -x907 -x906 -x905 x904 x903 -x902 -x901 -x900 x899 x898 -x897
3587.15/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.15/3597.01 c Total Time : 3597.00
3587.15/3597.01 c solving : 3597.00
3587.15/3597.01 c presolving : 0.57 (included in solving)
3587.15/3597.01 c reading : 0.04 (included in solving)
3587.15/3597.01 c copying : 0.41 (14 #copies) (minimal 0.02, maximal 0.03, average 0.03)
3587.15/3597.01 c Original Problem :
3587.15/3597.01 c Problem name : HOME/instance-4486296-1751317317.opb
3587.15/3597.01 c Variables : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.15/3597.01 c Constraints : 16096 initial, 16096 maximal
3587.15/3597.01 c Objective : minimize, 448 non-zeros (abs.min = 1, abs.max = 4)
3587.15/3597.01 c Presolved Problem :
3587.15/3597.01 c Problem name : t_HOME/instance-4486296-1751317317.opb
3587.15/3597.01 c Variables : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.15/3597.01 c Constraints : 16096 initial, 17333 maximal
3587.15/3597.01 c Objective : minimize, 448 non-zeros (abs.min = 1, abs.max = 4)
3587.15/3597.01 c Nonzeros : 102832 constraint, 6420 clique table
3587.15/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.15/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c domcol : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c dualsparsify : 0.13 0.00 1 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c gateextraction : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c milp : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c sparsify : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c dualfix : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c probing : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c symmetry : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c knapsack : 0.15 0.00 8 0 0 0 0 0 0 0 14784 22176
3587.15/3597.01 c setppc : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c linear : 0.06 0.01 2 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c logicor : 0.01 0.00 7 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c root node : - - - 8 - - 8 - - - - -
3587.15/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.15/3597.01 c benderslp : 0 0 0 0 5566 0 0 1275 0 0 0 0 0 0 0
3587.15/3597.01 c integral : 0 0 0 0 5566 0 0 1275 0 0 58 0 0 38 11094
3587.15/3597.01 c knapsack : 7496+ 7526 11 160941 0 0 0 1269 11487 242 9719 0 0 0 0
3587.15/3597.01 c setppc : 2016 2016 11 160703 0 0 0 7 133607 1098 123229 0 0 0 0
3587.15/3597.01 c linear : 0+ 18 0 153623 0 0 0 3 43 64 1 0 0 0 0
3587.15/3597.01 c logicor : 6584+ 7812 11 69856 0 0 0 6 19631 202 6186 5 2 0 0
3587.15/3597.01 c benders : 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0
3587.15/3597.01 c fixedvar : 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0
3587.15/3597.01 c countsols : 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0
3587.15/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.15/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.15/3597.01 c integral : 716.53 0.00 0.00 0.00 716.53 0.00 0.00 0.00 0.00 0.00
3587.15/3597.01 c knapsack : 4.96 0.00 0.16 4.08 0.00 0.00 0.00 0.01 0.01 0.71
3587.15/3597.01 c setppc : 3.59 0.00 0.00 2.88 0.00 0.00 0.00 0.00 0.04 0.67
3587.15/3597.01 c linear : 0.09 0.01 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.01
3587.15/3597.01 c logicor : 1.66 0.00 0.02 1.36 0.00 0.00 0.00 0.00 0.01 0.27
3587.15/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.15/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.15/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.15/3597.01 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.15/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.15/3597.01 c dualfix : 1 0 0 0
3587.15/3597.01 c genvbounds : 0 0 0 0
3587.15/3597.01 c nlobbt : 0 0 0 0
3587.15/3597.01 c obbt : 0 0 0 0
3587.15/3597.01 c probing : 0 0 0 0
3587.15/3597.01 c pseudoobj : 20220 0 0 0
3587.15/3597.01 c redcost : 13 0 0 0
3587.15/3597.01 c rootredcost : 4 0 0 0
3587.15/3597.01 c symmetry : 156252 0 0 287
3587.15/3597.01 c vbounds : 67429 0 0 0
3587.15/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.15/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.15/3597.01 c genvbounds : 0.02 0.00 0.00 0.01 0.00 0.00
3587.15/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.15/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.15/3597.01 c probing : 0.05 0.00 0.05 0.00 0.00 0.00
3587.15/3597.01 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3587.15/3597.01 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3587.15/3597.01 c rootredcost : 0.02 0.00 0.00 0.01 0.00 0.00
3587.15/3597.01 c symmetry : 3.71 0.00 0.04 3.32 0.00 0.35
3587.15/3597.01 c vbounds : 0.05 0.00 0.00 0.04 0.00 0.01
3587.15/3597.01 c Symmetry :
3587.15/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.15/3597.01 c orbital reduction: 56 reductions applied, 0 cutoffs
3587.15/3597.01 c lexicographic red: 394 reductions applied, 0 cutoffs
3587.15/3597.01 c shadow tree time : 0.01 s
3587.15/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.15/3597.01 c propagation : 0.10 1555 1549 - 13909 42.5 620 10.7 - - -
3587.15/3597.01 c infeasible LP : 0.38 545 544 - 9269 97.4 179 11.0 414 97.9 0
3587.15/3597.01 c bound exceed. LP : 0.46 160 19 - 589 219.3 3 7.7 0 0.0 1305
3587.15/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.15/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.15/3597.01 c applied globally : 0.15 - - 0 13496 33.3 - - 413 - -
3587.15/3597.01 c applied locally : - - - 0 6 39.8 - - 1 - -
3587.15/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.15/3597.01 c cut pool : 0.46 - 1578 21 - - 7167 46033 - - - - - (maximal pool size: 1375)
3587.15/3597.01 c aggregation : 0.64 0.00 277 11 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.15/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.15/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.15/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c clique : 0.03 0.00 11 11 0 0 66 842 0 707 707 0 0
3587.15/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c gomory : 251.81 0.00 263 10 0 0 6128 27395 0 2117 2117 0 0
3587.15/3597.01 c > gomorymi : - - - - - - - 9815 0 1273 1273 0 -
3587.15/3597.01 c > strongcg : - - - - - - - 17580 0 844 844 0 -
3587.15/3597.01 c impliedbounds : 0.02 0.00 277 11 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c multilinear : 0.00 0.00 288 11 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c rapidlearning : 0.09 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c rlt : 0.00 0.00 108 10 0 0 0 0 0 0 0 0 0
3587.15/3597.01 c zerohalf : 2.39 0.00 264 11 0 0 1011 17796 38 9268 9241 27 0
3587.15/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.15/3597.01 c hybrid : 0.04 0.00 1237 11 12094 0 33982 109 0 321
3587.15/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.15/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.15/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.15/3597.01 c problem variables: 0.00 - 0 0
3587.15/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.15/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.15/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.15/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.15/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.15/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.15/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.15/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.15/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.15/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.15/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.15/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.15/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.15/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.15/3597.01 c relpscost : 716.52 0.00 5566 0 0 0 58 0 50 11094
3587.15/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.15/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.15/3597.01 c LP solutions : 0.00 - - 0 0
3587.15/3597.01 c relax solutions : 0.00 - - 0 0
3587.15/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.15/3597.01 c strong branching : 0.01 - - 0 0
3587.15/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.15/3597.01 c adaptivediving : 11.46 0.00 16 0 0
3587.15/3597.01 c alns : 0.42 0.00 5 0 0
3587.15/3597.01 c bound : 0.00 0.00 0 0 0
3587.15/3597.01 c clique : 0.04 0.00 1 0 0
3587.15/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.15/3597.01 c completesol : 0.00 0.00 0 0 0
3587.15/3597.01 c conflictdiving : 107.14 0.00 118 0 0
3587.15/3597.01 c crossover : 0.17 0.00 1 0 0
3587.15/3597.01 c dins : 0.00 0.00 0 0 0
3587.15/3597.01 c distributiondivin: 109.55 0.00 118 1 1
3587.15/3597.01 c dps : 0.00 0.00 0 0 0
3587.15/3597.01 c dualval : 0.00 0.00 0 0 0
3587.15/3597.01 c farkasdiving : 22.86 0.00 1 0 0
3587.15/3597.01 c feasjump : 0.06 0.00 1 0 0
3587.15/3597.01 c feaspump : 38.11 0.00 15 0 0
3587.15/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.15/3597.01 c fracdiving : 57.03 0.00 118 0 0
3587.15/3597.01 c gins : 0.02 0.00 0 0 0
3587.15/3597.01 c guideddiving : 86.39 0.00 118 0 0
3587.15/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.15/3597.01 c indicator : 0.00 0.00 0 0 0
3587.15/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.15/3597.01 c indoneopt : 0.00 0.00 0 0 0
3587.15/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.15/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.15/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.15/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.15/3597.01 c linesearchdiving : 73.26 0.00 118 0 0
3587.15/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.15/3597.01 c locks : 0.01 0.00 1 0 0
3587.15/3597.01 c lpface : 0.40 0.00 1 0 0
3587.15/3597.01 c mpec : 0.00 0.00 0 0 0
3587.15/3597.01 c multistart : 0.00 0.00 0 0 0
3587.15/3597.01 c mutation : 0.00 0.00 0 0 0
3587.15/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.15/3597.01 c objpscostdiving : 55.58 0.00 9 0 0
3587.15/3597.01 c octane : 0.00 0.00 0 0 0
3587.15/3597.01 c ofins : 0.00 0.00 0 0 0
3587.15/3597.01 c oneopt : 0.01 0.00 3 0 0
3587.15/3597.01 c padm : 0.00 0.00 0 0 0
3587.15/3597.01 c proximity : 0.00 0.00 0 0 0
3587.15/3597.01 c pscostdiving : 92.95 0.00 70 0 0
3587.15/3597.01 c randrounding : 0.26 0.00 1272 0 0
3587.15/3597.01 c rens : 0.11 0.00 1 0 0
3587.15/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.15/3597.01 c repair : 0.00 0.00 0 0 0
3587.15/3597.01 c rins : 1.48 0.00 7 0 0
3587.15/3597.01 c rootsoldiving : 28.86 0.00 10 0 0
3587.15/3597.01 c rounding : 0.43 0.00 1094 0 0
3587.15/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.15/3597.01 c shiftandpropagate: 0.02 0.00 1 0 0
3587.15/3597.01 c shifting : 0.65 0.00 522 0 0
3587.15/3597.01 c simplerounding : 0.00 0.00 0 0 0
3587.15/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.15/3597.01 c subnlp : 0.00 0.00 0 0 0
3587.15/3597.01 c trivial : 0.00 0.00 2 0 0
3587.15/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.15/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.15/3597.01 c trysol : 0.00 0.00 0 0 0
3587.15/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.15/3597.01 c undercover : 0.00 0.00 0 0 0
3587.15/3597.01 c vbounds : 0.03 0.00 1 0 0
3587.15/3597.01 c veclendiving : 105.33 0.00 112 2 2
3587.15/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.15/3597.01 c zirounding : 0.30 0.00 1000 0 0
3587.15/3597.01 c other solutions : - - - 0 -
3587.15/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.15/3597.01 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
3587.15/3597.01 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
3587.15/3597.01 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
3587.15/3597.01 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
3587.15/3597.01 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
3587.15/3597.01 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
3587.15/3597.01 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
3587.15/3597.01 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
3587.15/3597.01 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
3587.15/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.15/3597.01 c primal LP : 2.40 1067 0 0.00 0.00 2.40 1067
3587.15/3597.01 c dual LP : 1811.69 6808 5830261 857.64 3218.14 0.03 10
3587.15/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.15/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.15/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.15/3597.01 c diving/probing LP: 842.72 4990 2650476 531.16 3145.15
3587.15/3597.01 c strong branching : 632.88 3046 2018081 662.53 3188.71 - - 3127
3587.15/3597.01 c (at root node) : - 22 19880 903.64 -
3587.15/3597.01 c conflict analysis: 0.36 132 1305 9.89 3605.34
3587.15/3597.01 c B&B Tree :
3587.15/3597.01 c number of runs : 1
3587.15/3597.01 c nodes : 5562 (5547 internal, 15 leaves)
3587.15/3597.01 c feasible leaves : 0
3587.15/3597.01 c infeas. leaves : 14
3587.15/3597.01 c objective leaves : 0
3587.15/3597.01 c nodes (total) : 5562 (5547 internal, 15 leaves)
3587.15/3597.01 c nodes left : 5534
3587.15/3597.01 c max depth : 43
3587.15/3597.01 c max depth (total): 43
3587.15/3597.01 c backtracks : 1020 (18.3%)
3587.15/3597.01 c early backtracks : 0 (0.0%)
3587.15/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.15/3597.01 c delayed cutoffs : 0
3587.15/3597.01 c repropagations : 103 (197 domain reductions, 0 cutoffs)
3587.15/3597.01 c avg switch length: 5.88
3587.15/3597.01 c switching time : 5.31
3587.15/3597.01 c Root Node :
3587.15/3597.01 c First LP value : +9.60000000000000e+01
3587.15/3597.01 c First LP Iters : 3180 (3451.41 Iter/sec)
3587.15/3597.01 c First LP Time : 0.92
3587.15/3597.01 c Final Dual Bound : +9.60000000000000e+01
3587.15/3597.01 c Final Root Iters : 43506
3587.15/3597.01 c Root LP Estimate : +1.57765953713595e+02
3587.15/3597.01 c Solution :
3587.15/3597.01 c Solutions found : 3 (3 improvements)
3587.15/3597.01 c First Solution : +1.96000000000000e+02 (in run 1, after 1470 nodes, 894.32 seconds, depth 53, found by <distributiondiving>)
3587.15/3597.01 c Gap First Sol. : 104.17 %
3587.15/3597.01 c Gap Last Sol. : 87.50 %
3587.15/3597.01 c Primal Bound : +1.80000000000000e+02 (in run 1, after 2687 nodes, 1814.63 seconds, depth 49, found by <veclendiving>)
3587.15/3597.01 c Dual Bound : +9.60000000000000e+01
3587.15/3597.01 c Gap : 87.50 %
3587.15/3597.01 c Integrals : Total Avg%
3587.15/3597.01 c primal-dual : 219450.86 61.01
3587.15/3597.01 c primal-ref : - - (not evaluated)
3587.15/3597.01 c dual-ref : - - (not evaluated)
3587.15/3597.07 c Time complete: 3587.24.
OK 180
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61704 MiB free)
memory of node 1: 64465 MiB (63828 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486296-1751317317/watcher-4486296-1751317317 -o /tmp/evaluation-result-4486296-1751317317/solver-4486296-1751317317 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751313715-43196 --watchdog 3760 pbscip -f HOME/instance-4486296-1751317317.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=43852, runsolver pid=43849
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 6.00 6.03 5.62 7/269 43853
/proc/meminfo: memFree=128530456/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=81356 memory=51440 CPUtime=0.09 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 9690 0 0 0 8 1 0 0 20 0 1 0 47409573 83308544 12860 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 20339 12860 3584 3530 0 11790 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 81356 KiB
Current children cumulated memory: 51440 KiB
[startup+0.205782 s]*
/proc/loadavg: 6.00 6.03 5.62 7/269 43853
/proc/meminfo: memFree=128510232/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=94672 memory=68556 CPUtime=0.2 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 17451 0 0 0 17 3 0 0 20 0 1 0 47409573 96944128 17139 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 23668 17139 3776 3530 0 15119 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 94672 KiB
Current children cumulated memory: 68556 KiB
[startup+0.305557 s]*
/proc/loadavg: 6.00 6.03 5.62 7/269 43853
/proc/meminfo: memFree=128510232/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=97452 memory=71244 CPUtime=0.3 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 18143 0 0 0 27 3 0 0 20 0 1 0 47409573 99790848 17811 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 24363 17811 3776 3530 0 15814 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 97452 KiB
Current children cumulated memory: 71244 KiB
[startup+0.700168 s]
/proc/loadavg: 6.00 6.03 5.62 7/269 43853
/proc/meminfo: memFree=128485912/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=200788 memory=161408 CPUtime=0.69 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 34390 0 0 0 63 6 0 0 20 0 1 0 47409573 205606912 40352 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 50197 40352 3840 3530 0 41648 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 200788 KiB
Current children cumulated memory: 161408 KiB
[startup+1.50017 s]
/proc/loadavg: 6.00 6.03 5.62 7/269 43853
/proc/meminfo: memFree=128413332/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=203596 memory=165248 CPUtime=1.48 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 35403 0 0 0 142 6 0 0 20 0 1 0 47409573 208482304 41312 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 50899 41312 3936 3530 0 42350 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 203596 KiB
Current children cumulated memory: 165248 KiB
[startup+3.1056 s]
/proc/loadavg: 6.00 6.03 5.62 7/269 43853
/proc/meminfo: memFree=128413584/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=203596 memory=165248 CPUtime=3.08 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 35403 0 0 0 302 6 0 0 20 0 1 0 47409573 208482304 41312 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 50899 41312 3936 3530 0 42350 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 203596 KiB
Current children cumulated memory: 165248 KiB
[startup+6.30011 s]
/proc/loadavg: 6.00 6.03 5.62 7/269 43853
/proc/meminfo: memFree=128420788/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=203596 memory=165376 CPUtime=6.27 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 35404 0 0 0 621 6 0 0 20 0 1 0 47409573 208482304 41344 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 50899 41344 3968 3530 0 42350 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 203596 KiB
Current children cumulated memory: 165376 KiB
[startup+12.7002 s]
/proc/loadavg: 6.08 6.04 5.63 7/269 43853
/proc/meminfo: memFree=128396476/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=226252 memory=182912 CPUtime=12.65 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 39275 0 0 0 1259 6 0 0 20 0 1 0 47409573 231682048 45728 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 56563 45728 3968 3530 0 48014 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 226252 KiB
Current children cumulated memory: 182912 KiB
[startup+25.5002 s]
/proc/loadavg: 6.06 6.04 5.64 7/269 43853
/proc/meminfo: memFree=128396040/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=236000 memory=183552 CPUtime=25.42 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 39447 0 0 0 2536 6 0 0 20 0 1 0 47409573 241664000 45888 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 59000 45888 3968 3530 0 50451 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 236000 KiB
Current children cumulated memory: 183552 KiB
[startup+51.1056 s]
/proc/loadavg: 6.11 6.05 5.65 7/269 43853
/proc/meminfo: memFree=128399200/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=239652 memory=184320 CPUtime=50.95 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 39635 0 0 0 5089 6 0 0 20 0 1 0 47409573 245403648 46080 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 59913 46080 3968 3530 0 51364 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 239652 KiB
Current children cumulated memory: 184320 KiB
[startup+102.3 s]
/proc/loadavg: 6.12 6.06 5.68 7/268 43855
/proc/meminfo: memFree=128343264/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=292144 memory=236800 CPUtime=102.01 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 52446 0 0 0 10191 10 0 0 20 0 1 0 47409573 299155456 59200 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 73036 59200 3968 3530 0 64487 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 292144 KiB
Current children cumulated memory: 236800 KiB
[startup+162.3 s]
/proc/loadavg: 6.09 6.06 5.71 7/268 43857
/proc/meminfo: memFree=128342420/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=292144 memory=244992 CPUtime=161.84 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 52785 0 0 0 16174 10 0 0 20 0 1 0 47409573 299155456 61248 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 73036 61248 3968 3530 0 64487 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 292144 KiB
Current children cumulated memory: 244992 KiB
[startup+222.3 s]
/proc/loadavg: 6.07 6.06 5.73 7/268 43859
/proc/meminfo: memFree=128327440/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=292144 memory=257664 CPUtime=221.68 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 52844 0 0 0 22158 10 0 0 20 0 1 0 47409573 299155456 64416 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 73036 64416 3968 3530 0 64487 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 292144 KiB
Current children cumulated memory: 257664 KiB
[startup+282.3 s]
/proc/loadavg: 6.11 6.08 5.76 7/267 43861
/proc/meminfo: memFree=128345312/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=292144 memory=257664 CPUtime=281.52 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 52920 0 0 0 28142 10 0 0 20 0 1 0 47409573 299155456 64416 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 73036 64416 3968 3530 0 64487 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 292144 KiB
Current children cumulated memory: 257664 KiB
[startup+342.3 s]
/proc/loadavg: 6.08 6.08 5.78 7/266 43863
/proc/meminfo: memFree=128329544/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=292144 memory=257664 CPUtime=341.36 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 52924 0 0 0 34126 10 0 0 20 0 1 0 47409573 299155456 64416 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 73036 64416 3968 3530 0 64487 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 292144 KiB
Current children cumulated memory: 257664 KiB
[startup+402.3 s]
/proc/loadavg: 6.14 6.09 5.81 7/267 43866
/proc/meminfo: memFree=128329172/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=292144 memory=257664 CPUtime=401.21 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 53004 0 0 0 40111 10 0 0 20 0 1 0 47409573 299155456 64416 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 73036 64416 3968 3530 0 64487 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 292144 KiB
Current children cumulated memory: 257664 KiB
[startup+462.3 s]
/proc/loadavg: 6.11 6.09 5.83 7/268 43871
/proc/meminfo: memFree=128325552/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=294692 memory=257664 CPUtime=461.05 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 53010 0 0 0 46095 10 0 0 20 0 1 0 47409573 301764608 64416 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 73673 64416 3968 3530 0 65124 0
Current children cumulated CPU time: 461.05 s
################
# More data... #
################
/proc/loadavg: 4.10 4.09 4.24 5/265 44196
/proc/meminfo: memFree=128741732/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=406736 memory=372148 CPUtime=3153.59 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 76291 0 0 0 315339 20 0 0 20 0 1 0 47409573 416497664 93037 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 101684 93037 3968 3530 0 93135 0
Current children cumulated CPU time: 3153.59 s
Current children cumulated vsize: 406736 KiB
Current children cumulated memory: 372148 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.22 5/264 44198
/proc/meminfo: memFree=128718128/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=406736 memory=372148 CPUtime=3213.43 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 76293 0 0 0 321323 20 0 0 20 0 1 0 47409573 416497664 93037 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 101684 93037 3968 3530 0 93135 0
Current children cumulated CPU time: 3213.43 s
Current children cumulated vsize: 406736 KiB
Current children cumulated memory: 372148 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.21 5/263 44200
/proc/meminfo: memFree=128655848/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=411636 memory=375476 CPUtime=3273.28 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 77143 0 0 0 327308 20 0 0 20 0 1 0 47409573 421515264 93869 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 102909 93869 3968 3530 0 94360 0
Current children cumulated CPU time: 3273.28 s
Current children cumulated vsize: 411636 KiB
Current children cumulated memory: 375476 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.20 5/263 44203
/proc/meminfo: memFree=128623452/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=411636 memory=375476 CPUtime=3333.12 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 77154 0 0 0 333292 20 0 0 20 0 1 0 47409573 421515264 93869 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 102909 93869 3968 3530 0 94360 0
Current children cumulated CPU time: 3333.12 s
Current children cumulated vsize: 411636 KiB
Current children cumulated memory: 375476 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.19 5/263 44206
/proc/meminfo: memFree=128623824/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=411636 memory=375476 CPUtime=3392.96 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 77154 0 0 0 339276 20 0 0 20 0 1 0 47409573 421515264 93869 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 102909 93869 3968 3530 0 94360 0
Current children cumulated CPU time: 3392.96 s
Current children cumulated vsize: 411636 KiB
Current children cumulated memory: 375476 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.18 5/264 44209
/proc/meminfo: memFree=128650932/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=413556 memory=376628 CPUtime=3452.8 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 77441 0 0 0 345260 20 0 0 20 0 1 0 47409573 423481344 94157 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 103389 94157 3968 3530 0 94840 0
Current children cumulated CPU time: 3452.8 s
Current children cumulated vsize: 413556 KiB
Current children cumulated memory: 376628 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.18 5/266 44225
/proc/meminfo: memFree=128625936/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=419632 memory=377908 CPUtime=3512.65 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 77850 0 0 0 351245 20 0 0 20 0 1 0 47409573 429703168 94477 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 104908 94477 3968 3530 0 96359 0
Current children cumulated CPU time: 3512.65 s
Current children cumulated vsize: 419632 KiB
Current children cumulated memory: 377908 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.18 5/266 44242
/proc/meminfo: memFree=128609512/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=420320 memory=378164 CPUtime=3572.49 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 77920 0 0 0 357229 20 0 0 20 0 1 0 47409573 430407680 94541 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 105080 94541 3968 3530 0 96531 0
Current children cumulated CPU time: 3572.49 s
Current children cumulated vsize: 420320 KiB
Current children cumulated memory: 378164 KiB
[startup+3597.08 s]
# the end of solver process 43852 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.03 s, system=0.212135 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.10 4.18 5/266 44242
/proc/meminfo: memFree=128609528/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=420320 memory=378164 CPUtime=3574.19 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 77920 0 0 0 357399 20 0 0 20 0 1 0 47409573 430407680 94541 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 105080 94541 3968 3530 0 96531 0
Current children cumulated CPU time: 3574.19 s
Current children cumulated vsize: 420320 KiB
Current children cumulated memory: 378164 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.10 4.17 5/266 44242
/proc/meminfo: memFree=128609528/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=420320 memory=378164 CPUtime=3580.57 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 77920 0 0 0 358037 20 0 0 20 0 1 0 47409573 430407680 94541 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 105080 94541 3968 3530 0 96531 0
Current children cumulated CPU time: 3580.57 s
Current children cumulated vsize: 420320 KiB
Current children cumulated memory: 378164 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.10 4.17 5/266 44242
/proc/meminfo: memFree=128609536/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=420320 memory=378164 CPUtime=3583.76 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 77921 0 0 0 358356 20 0 0 20 0 1 0 47409573 430407680 94541 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 105080 94541 3968 3530 0 96531 0
Current children cumulated CPU time: 3583.76 s
Current children cumulated vsize: 420320 KiB
Current children cumulated memory: 378164 KiB
[startup+3595.2 s]
/proc/loadavg: 4.11 4.09 4.17 5/266 44242
/proc/meminfo: memFree=128609536/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=420320 memory=378164 CPUtime=3585.35 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 77921 0 0 0 358515 20 0 0 20 0 1 0 47409573 430407680 94541 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 105080 94541 3968 3530 0 96531 0
Current children cumulated CPU time: 3585.35 s
Current children cumulated vsize: 420320 KiB
Current children cumulated memory: 378164 KiB
[startup+3596 s]*
/proc/loadavg: 4.11 4.09 4.17 5/266 44242
/proc/meminfo: memFree=128609536/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=420320 memory=378164 CPUtime=3586.16 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 77921 0 0 0 358596 20 0 0 20 0 1 0 47409573 430407680 94541 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 105080 94541 3968 3530 0 96531 0
Current children cumulated CPU time: 3586.16 s
Current children cumulated vsize: 420320 KiB
Current children cumulated memory: 378164 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.09 4.17 5/266 44242
/proc/meminfo: memFree=128609536/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=420320 memory=378164 CPUtime=3586.95 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 77921 0 0 0 358675 20 0 0 20 0 1 0 47409573 430407680 94541 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 105080 94541 3968 3530 0 96531 0
Current children cumulated CPU time: 3586.95 s
Current children cumulated vsize: 420320 KiB
Current children cumulated memory: 378164 KiB
[startup+3597 s]*
/proc/loadavg: 4.11 4.09 4.17 5/266 44242
/proc/meminfo: memFree=128609536/131249996 swapFree=33005272/33010684
[pid=43852] ppid=43849 vsize=420320 memory=378164 CPUtime=3587.15 cores=4,6
/proc/43852/stat : 43852 (pbscip) R 43849 43852 43185 0 -1 4194304 77921 0 0 0 358695 20 0 0 20 0 1 0 47409573 430407680 94541 18446744073709551615 4235264 18693293 140731986228528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 27881472 140731986237833 140731986237932 140731986237932 140731986243534 0
/proc/43852/statm: 105080 94541 3968 3530 0 96531 0
Current children cumulated CPU time: 3587.15 s
Current children cumulated vsize: 420320 KiB
Current children cumulated memory: 378164 KiB
Child status: 0
Real time (s): 3597.08
CPU time (s): 3587.24
CPU user time (s): 3587.03
CPU system time (s): 0.212135
CPU usage (%): 99.7265
Max. virtual memory (cumulated for all children) (KiB): 420320
Max. memory (cumulated for all children) (KiB): 378164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.03
system time used= 0.212135
maximum resident set size= 378164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77959
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114
involuntary context switches= 1217
# summary of solver processes directly reported to runsolver:
# pid: 43852
# total CPU time (s): 3587.24
# total CPU user time (s): 3587.03
# total CPU system time (s): 0.212135
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.61065 second user time and 15.7901 second system time
The end
Begin job on nodeC023 at 2025-06-30 23:01:57 IDJOB=4486296 IDBENCH=147017 IDSOLVER=3365 FILE ID=nodeC023/4486296-1751317317 RUNJOBID= nodeC023-1751313715-43196 SLURM_JOB_ID= 9594317 Free space on /tmp= 432976 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486296-1751317317/watcher-4486296-1751317317 -o /tmp/evaluation-result-4486296-1751317317/solver-4486296-1751317317 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751313715-43196 --watchdog 3760 pbscip -f HOME/instance-4486296-1751317317.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 82a224b9434e58ca22c331a9d6eb0d67 RANDOM SEED=836481741 nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.898 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.885 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3590.964 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.890 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.885 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.902 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3574.746 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.836 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 128546332 kB MemAvailable: 128228344 kB Buffers: 1328 kB Cached: 481648 kB SwapCached: 536 kB Active: 1668372 kB Inactive: 379412 kB Active(anon): 1518144 kB Inactive(anon): 59892 kB Active(file): 150228 kB Inactive(file): 319520 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33005272 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 19572 kB Writeback: 4 kB AnonPages: 1564068 kB Mapped: 128028 kB Shmem: 13228 kB KReclaimable: 103008 kB Slab: 190552 kB SReclaimable: 103008 kB SUnreclaim: 87544 kB KernelStack: 4336 kB PageTables: 6256 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 2017672 kB VmallocTotal: 34359738367 kB VmallocUsed: 150616 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1351680 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: 197332 kB DirectMap2M: 9011200 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432988 MiB End job on nodeC023 at 2025-07-01 00:01:54