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 | 64 | 3585.16 | 3597.1 |
| Name | PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb |
| MD5SUM | f69e8990d47aa59ed46eeada43b05a2f |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 11.1464 |
| 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 | 1289 |
| Total number of constraints | 1094 |
| Number of constraints which are clauses | 13 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1080 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 785 |
| Number of terms in the objective function | 773 |
| Biggest coefficient in the objective function | 134 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 906 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 490 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 1759 |
| 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-4523434-1751586375.opb>
0.00/0.09 c original problem has 1289 variables (1289 bin, 0 int, 0 impl, 0 cont) and 1094 constraints
0.00/0.09 c problem read in 0.09
0.09/0.16 c presolving:
0.20/0.26 c (round 1, fast) 13 del vars, 13 del conss, 0 add conss, 13 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1 clqs
0.20/0.30 c (round 2, fast) 13 del vars, 22 del conss, 0 add conss, 13 chg bounds, 200 chg sides, 400 chg coeffs, 0 upgd conss, 0 impls, 1 clqs
0.40/0.42 c (0.4s) running MILP presolver
0.40/0.47 c (0.5s) MILP presolver found nothing
0.50/0.59 c (round 3, exhaustive) 13 del vars, 22 del conss, 0 add conss, 13 chg bounds, 200 chg sides, 400 chg coeffs, 1067 upgd conss, 0 impls, 1 clqs
0.68/0.73 c (round 4, exhaustive) 13 del vars, 22 del conss, 0 add conss, 13 chg bounds, 200 chg sides, 400 chg coeffs, 1072 upgd conss, 0 impls, 1 clqs
0.88/0.91 c (0.9s) probing: 51/1276 (4.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.88/0.91 c (0.9s) probing aborted: 50/50 successive totally useless probings
1.09/1.10 c (1.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.09/1.18 c (1.2s) no symmetry present (symcode time: 0.00)
1.18/1.28 c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
1.18/1.28 c 13 deleted vars, 22 deleted constraints, 0 added constraints, 13 tightened bounds, 0 added holes, 200 changed sides, 400 changed coefficients
1.18/1.28 c 0 implications, 1 cliques
1.18/1.28 c presolved problem has 1276 variables (1276 bin, 0 int, 0 impl, 0 cont) and 1072 constraints
1.18/1.28 c 1071 constraints of type <knapsack>
1.18/1.28 c 1 constraints of type <setppc>
1.18/1.28 c transformed objective value is always integral (scale: 1)
1.18/1.28 c Presolving Time: 1.12
1.18/1.28 c - non default parameters ----------------------------------------------------------------------
1.18/1.28 c # SCIP version 10.0.0
1.18/1.28 c
1.18/1.28 c # maximal time in seconds to run
1.18/1.28 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.18/1.28 c limits/time = 3596.997011
1.18/1.28 c
1.18/1.28 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.18/1.28 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.18/1.28 c limits/memory = 27900
1.18/1.28 c
1.18/1.28 c # belongs reading time to solving time?
1.18/1.28 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.18/1.28 c timing/reading = TRUE
1.18/1.28 c
1.18/1.28 c -----------------------------------------------------------------------------------------------
1.18/1.28 c start solving
1.18/1.28 c
1.58/1.67 o 404
1.58/1.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.58/1.67 c p 1.7s| 1 | 0 | 0 | - | locks| 0 |1276 |1072 |1072 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.040000e+02 | Inf | unknown
1.68/1.70 o 319
1.68/1.70 c i 1.7s| 1 | 0 | 0 | - | oneopt| 0 |1276 |1072 |1072 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
1.68/1.72 c 1.7s| 1 | 0 | 249 | - | 343M | 0 |1276 |1072 |1072 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
2.18/2.26 c 2.3s| 1 | 0 | 442 | - | 368M | 0 |1276 |1072 |1238 | 166 | 1 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
2.68/2.79 c 2.8s| 1 | 0 | 599 | - | 391M | 0 |1276 |1072 |1368 | 296 | 2 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
3.28/3.30 c 3.3s| 1 | 0 | 741 | - | 412M | 0 |1276 |1072 |1453 | 381 | 3 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
3.67/3.78 c 3.8s| 1 | 0 | 819 | - | 438M | 0 |1276 |1072 |1502 | 430 | 4 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
4.28/4.31 c 4.3s| 1 | 0 | 953 | - | 467M | 0 |1276 |1072 |1581 | 509 | 5 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
4.87/4.96 c 5.0s| 1 | 0 | 1055 | - | 470M | 0 |1276 |1072 |1653 | 581 | 6 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
5.37/5.50 c 5.5s| 1 | 0 | 1125 | - | 500M | 0 |1276 |1072 |1713 | 641 | 7 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
5.97/6.04 c 6.0s| 1 | 0 | 1187 | - | 499M | 0 |1276 |1072 |1759 | 687 | 8 | 0 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
6.46/6.59 c 6.6s| 1 | 0 | 1247 | - | 538M | 0 |1276 |1073 |1806 | 734 | 9 | 1 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
7.07/7.11 c 7.1s| 1 | 0 | 1348 | - | 545M | 0 |1276 |1073 |1872 | 800 | 10 | 1 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
7.36/7.45 c 7.4s| 1 | 0 | 1445 | - | 550M | 0 |1276 |1073 |1767 | 858 | 11 | 1 | 0 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
8.86/8.94 c 8.9s| 1 | 2 | 2920 | - | 550M | 0 |1276 |1075 |1767 | 858 | 11 | 3 | 26 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
61.99/62.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
61.99/62.27 c 62.3s| 100 | 101 | 96352 | 958.7 | 596M | 22 |1276 |1081 |1177 |1454 | 1 | 9 | 378 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
100.37/100.73 c 101s| 200 | 201 |222142 |1109.0 | 598M | 22 |1276 |1091 |1176 |2268 | 1 | 20 | 412 | 0.000000e+00 | 3.190000e+02 | Inf | unknown
108.05/108.41 o 148
108.05/108.41 c L 108s| 201 | 202 |222264 |1104.1 | rins| 22 |1276 |1091 |1176 |2268 | 1 | 20 | 412 | 0.000000e+00 | 1.480000e+02 | Inf | unknown
129.28/129.78 c 130s| 300 | 301 |278054 | 925.1 | 596M | 22 |1276 |1108 |1197 |3154 | 1 | 37 | 462 | 0.000000e+00 | 1.480000e+02 | Inf | unknown
156.29/156.84 c 157s| 400 | 401 |370110 | 924.0 | 581M | 22 |1276 |1129 |1237 |4305 | 2 | 59 | 508 | 0.000000e+00 | 1.480000e+02 | Inf | unknown
176.03/176.63 c 177s| 500 | 501 |432202 | 863.2 | 582M | 22 |1276 |1146 |1293 |5308 | 2 | 76 | 571 | 0.000000e+00 | 1.480000e+02 | Inf | unknown
198.56/199.24 c 199s| 600 | 601 |491212 | 817.6 | 582M | 22 |1276 |1164 |1216 |6215 | 2 | 95 | 623 | 0.000000e+00 | 1.480000e+02 | Inf | unknown
225.48/226.24 c 226s| 700 | 701 |573526 | 818.4 | 582M | 22 |1276 |1169 |1192 |7168 | 1 | 110 | 683 | 0.000000e+00 | 1.480000e+02 | Inf | unknown
255.20/256.04 c 256s| 800 | 801 |658454 | 822.3 | 583M | 22 |1276 |1190 |1195 |8338 | 1 | 135 | 753 | 0.000000e+00 | 1.480000e+02 | Inf | unknown
280.12/281.09 c 281s| 900 | 901 |728361 | 808.6 | 583M | 22 |1276 |1218 |1188 |9719 | 1 | 168 | 839 | 0.000000e+00 | 1.480000e+02 | Inf | unknown
310.72/311.72 o 80
310.72/311.72 c L 312s| 986 | 987 |792964 | 803.6 | rins| 25 |1276 |1245 |1209 | 10k| 1 | 199 | 911 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
316.50/317.52 c 318s| 1000 | 1001 |812589 | 812.0 | 584M | 26 |1276 |1248 |1192 | 10k| 1 | 202 | 920 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
333.15/334.25 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
333.54/334.67 c (run 1, node 1049) performing user restart
333.54/334.67 c
333.54/334.67 c (restart) converted 108 cuts from the global cut pool into linear constraints
333.54/334.67 c
333.84/334.94 c presolving:
333.84/334.95 c (round 1, fast) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 6 chg coeffs, 0 upgd conss, 0 impls, 1 clqs
333.84/334.97 c (round 2, exhaustive) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 5 chg sides, 6 chg coeffs, 105 upgd conss, 0 impls, 1 clqs
334.05/335.18 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
334.05/335.18 c 0 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 5 changed sides, 10 changed coefficients
334.05/335.18 c 0 implications, 1 cliques
334.05/335.18 c presolved problem has 1276 variables (1276 bin, 0 int, 0 impl, 0 cont) and 1386 constraints
334.05/335.18 c 1177 constraints of type <knapsack>
334.05/335.18 c 1 constraints of type <setppc>
334.05/335.18 c 6 constraints of type <linear>
334.05/335.18 c 202 constraints of type <logicor>
334.05/335.18 c transformed objective value is always integral (scale: 1)
334.05/335.18 c Presolving Time: 1.37
334.14/335.21 c transformed 4/4 original solutions to the transformed problem space
334.14/335.21 c
334.24/335.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
334.24/335.36 c 335s| 1 | 0 |859997 | - | 533M | 0 |1276 |1386 |1180 | 0 | 0 | 235 | 962 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
334.84/335.94 c 336s| 1 | 0 |860426 | - | 539M | 0 |1276 |1386 |1337 | 157 | 1 | 235 | 962 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
335.64/336.72 c 337s| 1 | 0 |860681 | - | 541M | 0 |1276 |1386 |1526 | 346 | 2 | 235 | 962 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
336.43/337.52 c 338s| 1 | 0 |860931 | - | 549M | 0 |1276 |1387 |1708 | 528 | 3 | 236 | 962 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
337.23/338.32 c 338s| 1 | 0 |861121 | - | 558M | 0 |1276 |1388 |1896 | 716 | 4 | 237 | 962 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
337.94/339.08 c 339s| 1 | 0 |861399 | - | 560M | 0 |1276 |1389 |2082 | 902 | 5 | 238 | 962 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
338.93/340.02 c 340s| 1 | 0 |861750 | - | 575M | 0 |1276 |1390 |2261 |1081 | 6 | 239 | 962 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
339.72/340.81 c 341s| 1 | 0 |861974 | - | 573M | 0 |1276 |1391 |2406 |1226 | 7 | 240 | 962 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
340.42/341.55 c 342s| 1 | 0 |862182 | - | 574M | 0 |1276 |1392 |2520 |1340 | 8 | 241 | 962 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
341.12/342.24 c 342s| 1 | 0 |862342 | - | 578M | 0 |1276 |1393 |2606 |1426 | 9 | 242 | 962 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
341.92/343.10 c 343s| 1 | 0 |862583 | - | 586M | 0 |1276 |1394 |2698 |1518 | 10 | 243 | 962 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
342.52/343.63 c 344s| 1 | 0 |862825 | - | 591M | 0 |1276 |1395 |2797 |1617 | 11 | 244 | 962 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
347.70/348.82 c 349s| 1 | 2 |867140 | - | 591M | 0 |1276 |1408 |2797 |1617 | 11 | 257 | 980 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
364.75/365.97 c 366s| 100 | 101 |916891 | 794.7 | 591M | 45 |1276 |1432 |1235 |1734 | 1 | 281 |1014 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
387.58/388.89 c 389s| 200 | 201 |986826 | 787.1 | 591M | 75 |1276 |1448 |1267 |1881 | 1 | 298 |1047 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
410.30/411.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
410.30/411.69 c 412s| 300 | 301 | 1052k| 777.3 | 591M | 127 |1276 |1458 |1316 |1993 | 1 | 308 |1096 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
435.92/437.33 c 437s| 400 | 401 | 1131k| 778.2 | 591M | 141 |1276 |1470 |1278 |2030 | 1 | 321 |1126 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
459.05/460.56 c 461s| 500 | 501 | 1188k| 764.6 | 590M | 141 |1276 |1477 |1305 |2163 | 1 | 330 |1163 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
474.80/476.30 c 476s| 600 | 601 | 1238k| 748.5 | 587M | 141 |1276 |1495 |1327 |2225 | 1 | 348 |1195 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
478.69/480.27 c 480s| 700 | 701 | 1246k| 710.6 | 577M | 141 |1276 |1500 |1285 |2344 | 1 | 353 |1240 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
484.06/485.69 c 486s| 800 | 801 | 1256k| 677.2 | 577M | 141 |1276 |1508 |1325 |2477 | 1 | 362 |1298 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
487.95/489.58 c 490s| 900 | 901 | 1265k| 647.1 | 577M | 141 |1276 |1512 |1324 |2560 | 1 | 367 |1341 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
492.14/493.72 c 494s| 1000 | 1001 | 1275k| 620.7 | 577M | 141 |1276 |1524 |1338 |2617 | 7 | 380 |1382 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
496.62/498.24 c 498s| 1100 | 1101 | 1286k| 596.7 | 578M | 141 |1276 |1529 |1326 |2702 | 1 | 386 |1435 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
512.48/514.18 c 514s| 1200 | 1201 | 1321k| 586.0 | 578M | 141 |1276 |1543 |1325 |2782 | 1 | 400 |1498 | 0.000000e+00 | 8.000000e+01 | Inf | unknown
518.06/519.78 o 64
518.06/519.78 c L 520s| 1211 | 1206 | 1329k| 586.7 | rins| 141 |1276 |1539 |1321 |2801 | 2 | 400 |1501 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
547.76/549.55 c 550s| 1300 | 1295 | 1412k| 599.5 | 578M | 141 |1276 |1549 |1339 |2861 | 1 | 410 |1572 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
574.18/576.00 c 576s| 1400 | 1395 | 1489k| 606.4 | 578M | 141 |1276 |1556 |1325 |2881 | 1 | 418 |1645 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
609.17/611.15 c 611s| 1500 | 1495 | 1577k| 617.2 | 578M | 141 |1276 |1563 |1321 |2939 | 1 | 427 |1739 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
640.17/642.27 c 642s| 1600 | 1595 | 1667k| 627.8 | 578M | 141 |1276 |1582 |1324 |2963 | 1 | 448 |1815 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
669.88/672.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
669.88/672.07 c 672s| 1700 | 1695 | 1747k| 634.4 | 578M | 141 |1276 |1597 |1332 |2999 | 1 | 464 |1934 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
695.99/698.25 c 698s| 1800 | 1793 | 1816k| 636.4 | 579M | 141 |1276 |1612 |1341 |3109 | 1 | 479 |2068 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
730.38/732.73 c 733s| 1900 | 1893 | 1906k| 645.1 | 579M | 141 |1276 |1619 |1322 |3239 | 1 | 486 |2243 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
762.48/764.97 c 765s| 2000 | 1991 | 1990k| 651.5 | 579M | 141 |1276 |1641 |1336 |3332 | 1 | 510 |2414 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
809.63/812.24 c 812s| 2100 | 2089 | 2116k| 670.9 | 579M | 141 |1276 |1650 |1350 |3420 | 1 | 519 |2642 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
847.31/850.01 c 850s| 2200 | 2189 | 2227k| 684.4 | 577M | 141 |1276 |1656 |1320 |3501 | 1 | 525 |2774 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
880.70/883.50 c 883s| 2300 | 2289 | 2326k| 693.6 | 577M | 141 |1276 |1665 |1321 |3544 | 1 | 535 |2883 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
904.93/907.88 c 908s| 2400 | 2389 | 2405k| 696.2 | 578M | 141 |1276 |1683 |1328 |3592 | 1 | 553 |2945 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
928.75/931.70 c 932s| 2500 | 2489 | 2487k| 699.8 | 578M | 141 |1276 |1698 |1336 |3647 | 1 | 568 |3003 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
954.97/958.07 c 958s| 2600 | 2587 | 2597k| 710.8 | 578M | 141 |1276 |1714 |1330 |3681 | 1 | 584 |3017 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
978.09/981.25 c 981s| 2700 | 2685 | 2685k| 715.3 | 578M | 141 |1276 |1728 |1348 |3744 | 1 | 599 |3046 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1000.62/1003.87 c 1004s| 2800 | 2785 | 2776k| 720.2 | 578M | 141 |1276 |1746 |1329 |3780 | 1 | 620 |3065 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1025.55/1028.88 c 1029s| 2900 | 2885 | 2881k| 728.7 | 579M | 141 |1276 |1759 |1327 |3818 | 1 | 634 |3071 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1052.96/1056.32 c 1056s| 3000 | 2985 | 2982k| 735.7 | 579M | 141 |1276 |1775 |1336 |3844 | 1 | 651 |3097 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1082.77/1086.22 c 1086s| 3100 | 3083 | 3079k| 741.2 | 580M | 141 |1276 |1795 |1342 |3874 | 1 | 672 |3147 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1111.18/1114.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1111.18/1114.70 c 1115s| 3200 | 3183 | 3165k| 744.2 | 580M | 141 |1276 |1809 |1328 |3892 | 1 | 690 |3207 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1157.73/1161.42 c 1161s| 3300 | 3283 | 3301k| 758.3 | 580M | 141 |1276 |1819 |1330 |3920 | 1 | 704 |3308 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1198.00/1201.82 c 1202s| 3400 | 3381 | 3446k| 773.8 | 580M | 141 |1276 |1828 |1326 |3953 | 1 | 714 |3381 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1231.29/1235.23 c 1235s| 3500 | 3479 | 3542k| 778.0 | 580M | 141 |1276 |1840 |1331 |3975 | 1 | 728 |3482 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1263.19/1267.25 c 1267s| 3600 | 3579 | 3640k| 782.3 | 580M | 141 |1276 |1847 |1328 |4023 | 1 | 735 |3625 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1290.91/1295.02 c 1295s| 3700 | 3679 | 3722k| 782.9 | 580M | 141 |1276 |1859 |1328 |4061 | 1 | 747 |3728 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1319.82/1324.06 c 1324s| 3800 | 3775 | 3798k| 782.5 | 581M | 141 |1276 |1865 |1176 |4238 | 1 | 755 |3815 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1344.84/1349.12 c 1349s| 3900 | 3871 | 3891k| 785.6 | 581M | 141 |1276 |1872 |1327 |4258 | 1 | 763 |3854 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1368.76/1373.14 c 1373s| 4000 | 3971 | 3982k| 788.0 | 581M | 141 |1276 |1876 |1328 |4292 | 1 | 777 |3884 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1393.58/1398.06 c 1398s| 4100 | 4071 | 4082k| 792.2 | 581M | 141 |1276 |1881 |1331 |4317 | 1 | 784 |3910 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1416.21/1420.73 c 1421s| 4200 | 4169 | 4171k| 794.0 | 582M | 141 |1276 |1899 |1332 |4338 | 1 | 804 |3932 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1438.44/1443.02 c 1443s| 4300 | 4269 | 4264k| 796.6 | 582M | 141 |1276 |1919 |1338 |4357 | 2 | 827 |3942 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1460.87/1465.57 c 1466s| 4400 | 4369 | 4358k| 799.2 | 582M | 142 |1276 |1923 |1330 |4393 | 1 | 839 |3961 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1482.20/1486.96 c 1487s| 4500 | 4467 | 4449k| 801.2 | 582M | 142 |1276 |1937 |1335 |4471 | 1 | 864 |3971 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1511.22/1516.00 c 1516s| 4600 | 4565 | 4567k| 807.8 | 582M | 142 |1276 |1957 |1341 |4510 | 1 | 889 |3980 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1530.35/1535.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1530.35/1535.29 c 1535s| 4700 | 4665 | 4651k| 808.5 | 582M | 144 |1276 |1980 |1341 |4538 | 1 | 917 |3982 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1555.18/1560.17 c 1560s| 4800 | 4765 | 4739k| 809.6 | 582M | 144 |1276 |1992 |1341 |4587 | 1 | 939 |4010 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1597.34/1602.47 c 1602s| 4900 | 4865 | 4884k| 820.4 | 582M | 144 |1276 |2017 |1342 |4629 | 1 | 969 |4057 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1633.23/1638.44 c 1638s| 5000 | 4965 | 4999k| 825.8 | 582M | 144 |1276 |2023 |1328 |4654 | 1 | 984 |4118 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1660.94/1666.28 c 1666s| 5100 | 5061 | 5101k| 829.0 | 582M | 144 |1276 |2028 |1328 |4666 | 1 | 998 |4161 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1691.55/1696.90 c 1697s| 5200 | 5161 | 5201k| 831.8 | 582M | 144 |1276 |2034 |1274 |4689 | 1 |1021 |4222 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1722.84/1728.36 c 1728s| 5300 | 5257 | 5306k| 835.3 | 582M | 144 |1276 |2045 |1330 |4718 | 2 |1043 |4283 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1750.34/1755.97 c 1756s| 5400 | 5357 | 5399k| 836.7 | 583M | 144 |1276 |2055 |1257 |4729 | 1 |1067 |4353 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1778.34/1784.01 c 1784s| 5500 | 5457 | 5490k| 837.7 | 583M | 144 |1276 |2051 |1320 |4781 | 1 |1088 |4425 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1800.37/1806.19 c 1806s| 5600 | 5553 | 5557k| 835.3 | 583M | 144 |1276 |2048 |1323 |4799 | 1 |1103 |4505 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1823.29/1829.18 c 1829s| 5700 | 5649 | 5640k| 835.2 | 583M | 144 |1276 |2051 |1325 |4862 | 1 |1121 |4528 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1849.98/1855.92 c 1856s| 5800 | 5743 | 5731k| 836.3 | 583M | 144 |1276 |2050 |1323 |4961 | 1 |1134 |4571 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1874.29/1880.33 c 1880s| 5900 | 5843 | 5833k| 838.9 | 583M | 144 |1276 |2042 |1323 |4992 | 1 |1145 |4576 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1900.10/1906.26 c 1906s| 6000 | 5943 | 5926k| 840.2 | 583M | 144 |1276 |2046 |1323 |5028 | 1 |1166 |4600 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1921.93/1928.19 c 1928s| 6100 | 6043 | 6011k| 840.3 | 583M | 144 |1276 |2053 |1339 |5068 | 1 |1192 |4616 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1942.65/1948.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1942.65/1948.94 c 1949s| 6200 | 6143 | 6094k| 840.3 | 584M | 144 |1276 |2068 |1328 |5133 | 1 |1217 |4620 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1966.56/1972.91 c 1973s| 6300 | 6239 | 6189k| 841.7 | 584M | 144 |1276 |2079 |1334 |5203 | 1 |1249 |4631 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
1995.95/2002.41 c 2002s| 6400 | 6335 | 6313k| 847.0 | 584M | 144 |1276 |2084 |1327 |5219 | 1 |1267 |4645 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2020.86/2027.42 c 2027s| 6500 | 6433 | 6413k| 849.1 | 584M | 144 |1276 |2122 |1325 |5247 | 1 |1310 |4658 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2045.97/2052.63 c 2053s| 6600 | 6531 | 6518k| 851.7 | 584M | 144 |1276 |2135 |1323 |5276 | 1 |1337 |4661 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2072.38/2079.11 c 2079s| 6700 | 6631 | 6625k| 854.5 | 584M | 144 |1276 |2136 |1324 |5309 | 2 |1350 |4674 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2105.95/2112.81 c 2113s| 6800 | 6731 | 6733k| 857.4 | 584M | 144 |1276 |2119 |1322 |5328 | 1 |1366 |4707 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2137.24/2144.25 c 2144s| 6900 | 6831 | 6836k| 859.6 | 584M | 144 |1276 |2132 |1328 |5337 | 1 |1396 |4766 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2167.03/2174.14 c 2174s| 7000 | 6929 | 6934k| 861.1 | 585M | 144 |1276 |2171 |1326 |5352 | 1 |1452 |4815 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2199.92/2207.19 c 2207s| 7100 | 7027 | 7042k| 863.8 | 585M | 144 |1276 |2169 |1320 |5356 | 1 |1473 |4872 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2228.51/2235.83 c 2236s| 7200 | 7127 | 7150k| 866.3 | 585M | 144 |1276 |2219 |1326 |5379 | 1 |1536 |4906 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2260.60/2268.05 c 2268s| 7300 | 7223 | 7257k| 868.8 | 585M | 144 |1276 |2221 |1324 |5407 | 1 |1553 |4957 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2289.99/2297.58 c 2298s| 7400 | 7323 | 7351k| 869.6 | 585M | 144 |1276 |2221 |1336 |5460 | 1 |1571 |5007 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2318.49/2326.16 c 2326s| 7500 | 7417 | 7444k| 870.4 | 585M | 144 |1276 |2206 |1323 |5494 | 1 |1597 |5063 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2348.67/2356.47 c 2356s| 7600 | 7515 | 7532k| 870.5 | 585M | 144 |1276 |2210 |1273 |5513 | 1 |1626 |5145 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2378.56/2386.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2378.56/2386.42 c 2386s| 7700 | 7613 | 7636k| 872.5 | 585M | 144 |1276 |2237 |1327 |5547 | 1 |1668 |5212 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2401.58/2409.59 c 2410s| 7800 | 7707 | 7723k| 872.4 | 585M | 144 |1276 |2250 |1326 |5553 | 1 |1688 |5248 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2435.85/2443.91 c 2444s| 7900 | 7807 | 7854k| 877.3 | 586M | 144 |1276 |2267 |1326 |5574 | 1 |1723 |5283 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2462.66/2470.88 c 2471s| 8000 | 7907 | 7963k| 879.7 | 586M | 144 |1276 |2289 |1327 |5591 | 1 |1752 |5303 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2484.68/2492.96 c 2493s| 8100 | 8007 | 8050k| 879.5 | 586M | 144 |1276 |2344 |1326 |5596 | 1 |1826 |5320 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2513.07/2521.46 c 2521s| 8200 | 8105 | 8160k| 881.9 | 586M | 144 |1276 |2353 |1325 |5641 | 1 |1846 |5359 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2538.38/2546.80 c 2547s| 8300 | 8205 | 8250k| 882.1 | 586M | 144 |1276 |2366 |1344 |5716 | 1 |1880 |5388 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2565.59/2574.19 c 2574s| 8400 | 8297 | 8354k| 883.8 | 586M | 144 |1276 |2364 |1339 |5776 | 1 |1915 |5407 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2599.78/2608.43 c 2608s| 8500 | 8393 | 8464k| 886.0 | 586M | 144 |1276 |2361 |1321 |5891 | 1 |1939 |5464 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2626.70/2635.47 c 2635s| 8600 | 8483 | 8569k| 887.7 | 586M | 144 |1276 |2344 |1321 |5968 | 1 |1944 |5498 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2651.34/2660.13 c 2660s| 8700 | 8573 | 8667k| 888.7 | 587M | 144 |1276 |2349 |1321 |6066 | 1 |1972 |5506 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2678.36/2687.23 c 2687s| 8800 | 8663 | 8780k| 891.1 | 587M | 144 |1276 |2363 |1334 |6126 | 6 |2001 |5509 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2700.61/2709.58 c 2710s| 8900 | 8753 | 8872k| 891.4 | 587M | 144 |1276 |2371 |1323 |6246 | 1 |2031 |5519 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2724.24/2733.24 c 2733s| 9000 | 8843 | 8969k| 892.2 | 587M | 144 |1276 |2376 |1324 |6354 | 1 |2061 |5532 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2750.67/2759.78 c 2760s| 9100 | 8929 | 9087k| 895.0 | 587M | 144 |1276 |2398 |1325 |6391 | 1 |2095 |5534 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2778.31/2787.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2778.31/2787.46 c 2787s| 9200 | 9017 | 9207k| 898.0 | 588M | 144 |1276 |2409 |1335 |6421 | 1 |2120 |5537 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2801.45/2810.66 c 2811s| 9300 | 9109 | 9309k| 899.2 | 588M | 144 |1276 |2379 |1339 |6474 | 1 |2147 |5537 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2823.39/2832.66 c 2833s| 9400 | 9201 | 9402k| 899.5 | 588M | 144 |1276 |2368 |1324 |6486 | 1 |2173 |5538 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2857.21/2866.58 c 2867s| 9500 | 9289 | 9513k| 901.5 | 588M | 144 |1276 |2366 |1326 |6506 | 1 |2207 |5587 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2889.73/2899.15 c 2899s| 9600 | 9377 | 9626k| 903.7 | 588M | 144 |1276 |2364 |1321 |6602 | 1 |2235 |5617 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2916.96/2926.45 c 2926s| 9700 | 9467 | 9725k| 904.4 | 588M | 144 |1276 |2383 |1326 |6622 | 1 |2284 |5651 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2950.57/2960.18 c 2960s| 9800 | 9555 | 9842k| 906.9 | 589M | 144 |1276 |2391 |1326 |6739 | 1 |2311 |5693 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
2980.50/2990.14 c 2990s| 9900 | 9643 | 9960k| 909.4 | 589M | 144 |1276 |2387 |1329 |6753 | 1 |2331 |5731 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
3010.72/3020.46 c 3020s| 10000 | 9731 | 10067k| 910.9 | 589M | 144 |1276 |2382 |1321 |6782 | 1 |2353 |5775 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
3044.74/3054.50 c 3054s| 10100 | 9819 | 10186k| 913.4 | 589M | 144 |1276 |2396 |1337 |6856 | 1 |2403 |5851 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
3074.57/3084.47 c 3084s| 10200 | 9911 | 10290k| 914.4 | 589M | 144 |1276 |2384 |1325 |6871 | 1 |2418 |5921 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
3102.71/3112.64 c 3113s| 10300 | 10005 | 10398k| 915.9 | 589M | 144 |1276 |2378 |1328 |6895 | 1 |2443 |5964 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
3132.34/3142.38 c 3142s| 10400 | 10093 | 10517k| 918.3 | 589M | 144 |1276 |2370 |1326 |6907 | 1 |2458 |5992 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
3155.09/3165.18 c 3165s| 10500 | 10183 | 10616k| 918.9 | 589M | 144 |1276 |2365 |1323 |6928 | 1 |2480 |5994 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
3183.12/3193.20 c 3193s| 10600 | 10273 | 10739k| 921.6 | 589M | 144 |1276 |2368 |1336 |6977 | 7 |2512 |6003 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
3207.76/3217.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3207.76/3217.92 c 3218s| 10700 | 10365 | 10843k| 922.6 | 589M | 144 |1276 |2364 |1330 |6982 | 1 |2537 |6015 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
3236.10/3246.38 c 3246s| 10800 | 10457 | 10946k| 923.5 | 589M | 144 |1276 |2381 |1236 |7077 | 1 |2586 |6108 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
3259.66/3270.01 c 3270s| 10900 | 10557 | 11029k| 922.7 | 589M | 144 |1276 |2358 |1344 |7214 | 9 |2604 |6153 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
3284.74/3295.34 c 3295s| 11000 | 10655 | 11125k| 923.1 | 589M | 144 |1276 |2353 |1283 |7254 | 1 |2634 |6168 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
3309.93/3320.73 c 3321s| 11100 | 10747 | 11237k| 924.7 | 590M | 144 |1276 |2350 |1338 |7299 | 1 |2675 |6172 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
3333.93/3344.90 c 3345s| 11200 | 10841 | 11336k| 925.2 | 590M | 144 |1276 |2351 |1324 |7416 | 1 |2731 |6188 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
3357.32/3368.52 c 3369s| 11300 | 10929 | 11439k| 926.0 | 590M | 144 |1276 |2377 |1330 |7454 | 1 |2769 |6193 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
3390.05/3401.50 c 3401s| 11400 | 11021 | 11573k| 929.4 | 590M | 144 |1276 |2371 |1329 |7499 | 1 |2777 |6214 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
3418.84/3430.44 c 3430s| 11500 | 11109 | 11694k| 931.7 | 590M | 144 |1276 |2361 |1337 |7547 | 1 |2802 |6226 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
3443.29/3454.99 c 3455s| 11600 | 11203 | 11793k| 932.1 | 590M | 144 |1276 |2416 |1319 |7590 | 1 |2921 |6246 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
3465.54/3477.21 c 3477s| 11700 | 11301 | 11891k| 932.4 | 590M | 144 |1276 |2395 |1308 |7659 | 1 |2949 |6246 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
3505.25/3517.10 c 3517s| 11800 | 11395 | 12028k| 935.9 | 590M | 144 |1276 |2386 |1327 |7681 | 1 |2968 |6297 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
3534.67/3546.51 c 3547s| 11900 | 11487 | 12136k| 937.0 | 590M | 144 |1276 |2376 |1327 |7705 | 1 |2976 |6325 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
3572.28/3584.30 c 3584s| 12000 | 11579 | 12249k| 938.5 | 590M | 144 |1276 |2368 |1286 |7754 | 1 |3001 |6385 | 0.000000e+00 | 6.400000e+01 | Inf | unknown
3585.05/3597.00 c
3585.05/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.05/3597.00 c Solving Time (sec) : 3597.00
3585.05/3597.00 c Solving Nodes : 12046 (total of 13095 nodes in 2 runs)
3585.05/3597.00 c Primal Bound : +6.40000000000000e+01 (5 solutions)
3585.05/3597.00 c Dual Bound : +0.00000000000000e+00
3585.05/3597.00 c Gap : infinite
3585.05/3597.02 s SATISFIABLE
3585.05/3597.02 v -x794 -x793 x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x1289 -x1288 x1287 x1286 x1285 x1284 -x1283 x1282 -x1281 -x1280 x1279
3585.05/3597.02 v -x1278 -x1277 x1276 -x1275 -x1274 -x1273 x1272 -x1271 -x1270 x1269 -x1268 x1267 -x1266 -x1265 x1264 -x1263 x1262 -x1261 -x1260
3585.05/3597.02 v -x1259 x1258 -x1257 -x1256 x1255 x1254 -x1253 x1252 -x1251 -x1250 x1249 x1248 x1247 x1246 x1245 -x1244 -x1243 -x1242 -x1241
3585.05/3597.02 v -x1240 x1239 -x1238 x1237 x1236 x1235 -x1234 x1233 -x1232 x1231 -x1230 x1229 -x1228 x1227 -x1226 -x1225 -x1224 -x1223 -x1222
3585.05/3597.02 v x1221 -x1220 x1219 x1218 -x1217 x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 x1209 x1208 x1207 -x1206 x1205 x1204 -x1203
3585.05/3597.02 v x1202 x1201 -x1200 -x1199 -x1198 -x1197 x1196 -x1195 -x1194 -x1193 x1192 x1191 x1190 x1189 x1188 x1187 -x1186 -x1185 -x1184
3585.05/3597.02 v -x1183 -x1182 x1181 -x1180 x1179 -x1178 x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 x1167 -x1166 -x1165
3585.05/3597.02 v x1164 -x1163 x1162 -x1161 -x1160 -x1159 -x1158 -x1157 x1156 x1155 x1154 -x1153 -x1152 -x1151 x1150 -x1149 x1148 -x1147
3585.05/3597.02 v -x1146 -x1145 -x1144 x1143 x1142 x1141 -x1140 x1139 -x1138 -x1137 x1136 x1135 -x1134 x1133 x1132 -x1131 -x1130 -x1129 x1128 -x1127
3585.05/3597.02 v x1126 x1125 -x1124 x1123 x1122 -x1121 -x1120 -x1119 -x1118 x1117 -x1116 x1115 -x1114 x1113 -x1112 x1111 -x1110 -x1109 x1108
3585.05/3597.02 v x1107 x1106 -x1105 -x1104 x1103 -x1102 x1101 -x1100 -x1099 x1098 x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090
3585.05/3597.02 v -x1089 x1088 x1087 -x1086 -x1085 x1084 -x1083 -x1082 -x1081 x1080 x1079 -x1078 x1077 -x1076 -x1075 -x1074 -x1073 -x1072 x1071
3585.05/3597.02 v x1070 x1069 x1068 x1067 x1066 -x1065 x1064 -x1063 x1062 x1061 -x1060 x1059 -x1058 -x1057 -x1056 x1055 x1054 -x1053 x1052 -x1051
3585.05/3597.02 v x1050 -x1049 -x1048 x1047 -x1046 -x1045 -x1044 x1043 -x1042 -x1041 x1040 x1039 x1038 -x1037 -x1036 -x1035 -x1034 x1033 x1032
3585.05/3597.02 v x1031 -x1030 x1029 -x1028 x1027 x1026 x1025 -x1024 -x1023 -x1022 x1021 -x1020 -x1019 x1018 -x1017 -x1016 x1015 x1014 -x1013
3585.05/3597.02 v -x1012 x1011 -x1010 -x1009 x1008 x1007 -x1006 -x1005 -x1004 x1003 -x1002 x1001 x1000 -x999 x998 -x997 x996 -x995 -x994 -x993
3585.05/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
3585.05/3597.02 v x970 -x969 -x968 x967 x966 x965 -x964 -x963 -x962 x961 x960 -x959 x958 -x957 x956 x955 x954 -x953 x952 x951 -x950 x949 x948
3585.05/3597.02 v x947 x946 -x945 x944 x943 x942 x941 -x940 x939 -x938 -x937 -x936 -x935 -x934 x933 -x932 x931 -x930 x929 x928 -x927 -x926 -x925
3585.05/3597.02 v -x924 -x923 x922 x921 -x920 -x919 x918 -x917 x916 x915 -x914 x913 x912 -x911 x910 -x909 -x908 x907 -x906 x905 -x904 -x903
3585.05/3597.02 v x902 -x901 x900 x899 -x898 -x897 x896 x895 -x894 x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 x882 -x881
3585.05/3597.02 v x880 x879 -x878 -x877 -x876 x875 -x874 x873 x872 -x871 -x870 -x869 -x868 x867 -x866 x865 x864 -x863 x862 x861 -x860 -x859 -x858
3585.05/3597.02 v x857 -x856 x855 -x854 -x853 -x852 -x851 x850 -x849 -x848 x847 x846 -x845 -x844 -x843 x842 -x841 -x840 x839 -x838 x837 -x836
3585.05/3597.02 v x835 x834 x833 -x832 x831 -x830 x829 x828 -x827 -x826 x825 -x824 x823 x822 x821 -x820 x819 -x818 x817 -x816 -x815 -x814 x813
3585.05/3597.02 v -x812 x811 -x810 x809 x808 x807 x806 x805 x804 x803 -x802 x801 x800 x799 -x798 x797 -x796 x752 x700 x699 x691 x690 x643 x442
3585.05/3597.02 v x398 x220 x203 x97 x795 x82 -x784 x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769
3585.05/3597.02 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 x751 -x750 -x749 x748 -x747 -x746
3585.05/3597.02 v -x745 x744 x743 -x742 -x741 -x740 -x739 -x738 x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725
3585.05/3597.02 v -x724 x723 -x722 -x721 x720 -x719 -x718 x717 x716 x715 x714 x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703
3585.05/3597.02 v -x702 -x701 -x698 -x697 -x696 -x695 -x694 -x693 -x692 x689 -x688 x687 x686 x685 -x684 -x683 -x682 -x681 -x680 -x679 x678 -x677
3585.05/3597.02 v -x676 x675 -x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 x665 x664 x663 -x662 x661 x660 -x659 -x658 x657 x656 -x655
3585.05/3597.02 v -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x642 -x641 -x640 x639 -x638 -x637 -x636 -x635 -x634 -x633
3585.05/3597.02 v -x632 x631 x630 x629 x628 x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611
3585.05/3597.02 v -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 x601 x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590
3585.05/3597.02 v -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 x571 x570 -x569
3585.05/3597.02 v -x568 x567 -x566 x565 -x564 -x563 -x562 -x561 -x560 x559 -x558 -x557 -x556 -x555 -x554 x553 -x552 -x551 -x550 x549 -x548 -x547
3585.05/3597.02 v -x546 -x545 x544 x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526
3585.05/3597.02 v -x525 -x524 -x523 -x522 x521 -x520 -x519 -x518 -x517 -x516 x515 x514 -x513 -x512 x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504
3585.05/3597.02 v -x503 -x502 -x501 -x500 -x499 -x498 -x497 x496 x495 x494 x493 x492 x491 x490 x489 x488 x487 x486 -x485 -x484 x483 -x482 -x481
3585.05/3597.02 v x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 x468 x467 x466 x465 x464 x463 x462 x461 x460 x459
3585.05/3597.02 v x458 -x457 -x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x441 x440 x439 -x438 -x437 -x436
3585.05/3597.02 v -x435 -x434 -x433 x432 x431 -x430 -x429 x428 -x427 x426 -x425 -x424 -x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 -x414
3585.05/3597.02 v -x413 x412 x411 x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 -x401 -x400 -x399 -x397 -x396 -x395 -x394 -x393 -x392
3585.05/3597.02 v -x391 x390 -x389 -x388 -x387 -x386 x385 x384 x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370
3585.05/3597.02 v -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 x355 x354 -x353 -x352 -x351 -x350 -x349
3585.05/3597.02 v -x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328
3585.05/3597.02 v x327 x326 x325 -x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306
3585.05/3597.02 v -x305 -x304 -x303 -x302 -x301 x300 x299 x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 -x284
3585.05/3597.02 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 x271 x270 x269 -x268 -x267 -x266 -x265 -x264 -x263
3585.05/3597.02 v -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 x244 -x243 x242
3585.05/3597.02 v x241 x240 x239 x238 -x237 -x236 -x235 x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x219
3585.05/3597.02 v -x218 -x217 -x216 -x215 x214 x213 x212 x211 x210 x209 x208 x207 x206 x205 x204 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195
3585.05/3597.02 v -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 x184 x183 x182 x181 x180 x179 x178 x177 x176 x175 x174 x173 x172
3585.05/3597.02 v -x171 -x170 -x169 -x168 -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 x152 x151
3585.05/3597.02 v x150 x149 x148 x147 x146 x145 x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 x128
3585.05/3597.02 v -x127 -x126 -x125 -x124 -x123 x122 -x121 x120 x119 x118 x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
3585.05/3597.02 v x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x96 x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x81 -x80
3585.05/3597.02 v -x79 -x78 -x77 -x76 x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55
3585.05/3597.02 v -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 x29
3585.05/3597.02 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
3585.05/3597.02 v -x1
3585.05/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3585.05/3597.02 c Total Time : 3597.00
3585.05/3597.02 c solving : 3597.00
3585.05/3597.02 c presolving : 1.37 (included in solving)
3585.05/3597.02 c reading : 0.09 (included in solving)
3585.05/3597.02 c copying : 4.58 (109 #copies) (minimal 0.04, maximal 0.05, average 0.04)
3585.05/3597.02 c Original Problem :
3585.05/3597.02 c Problem name : HOME/instance-4523434-1751586375.opb
3585.05/3597.02 c Variables : 1289 (1289 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.05/3597.02 c Constraints : 1094 initial, 1094 maximal
3585.05/3597.02 c Objective : minimize, 773 non-zeros (abs.min = 1, abs.max = 134)
3585.05/3597.02 c Presolved Problem :
3585.05/3597.02 c Problem name : t_HOME/instance-4523434-1751586375.opb
3585.05/3597.02 c Variables : 1276 (1276 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.05/3597.02 c Constraints : 1386 initial, 2423 maximal
3585.05/3597.02 c Objective : minimize, 772 non-zeros (abs.min = 1, abs.max = 1)
3585.05/3597.02 c Nonzeros : 419030 constraint, 9 clique table
3585.05/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.05/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c domcol : 0.16 0.00 2 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c dualsparsify : 0.19 0.00 1 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c gateextraction : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c milp : 0.17 0.00 1 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c sparsify : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c trivial : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c dualfix : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c probing : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c symmetry : 0.08 0.00 1 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c knapsack : 0.17 0.01 13 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c setppc : 0.00 0.00 13 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c linear : 0.25 0.05 11 13 0 0 13 0 22 0 205 406
3585.05/3597.02 c logicor : 0.03 0.00 6 0 0 0 0 0 1 0 0 4
3585.05/3597.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c components : 0.18 0.00 2 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c root node : - - - 2 - - 2 - - - - -
3585.05/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.05/3597.02 c benderslp : 0 0 0 0 12890 0 0 1818 0 0 0 0 0 0 0
3585.05/3597.02 c integral : 0 0 0 0 12890 0 0 1818 0 0 4 0 0 5 25772
3585.05/3597.02 c knapsack : 1177+ 1182 22 178056 0 0 0 1811 29863 1594 18 4524 0 0 0
3585.05/3597.02 c setppc : 1 1 22 81370 0 0 0 9 0 0 200 0 0 0 0
3585.05/3597.02 c linear : 6+ 19 11 155810 0 0 0 3 301 39 0 0 0 0 0
3585.05/3597.02 c logicor : 202+ 1236 14 33835 0 0 0 0 28 435 16 0 0 0 0
3585.05/3597.02 c benders : 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0
3585.05/3597.02 c fixedvar : 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0
3585.05/3597.02 c countsols : 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0
3585.05/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.05/3597.02 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3585.05/3597.02 c integral : 672.18 0.00 0.00 0.00 672.18 0.00 0.00 0.00 0.00 0.00
3585.05/3597.02 c knapsack : 22.22 0.01 2.44 16.27 0.00 0.00 0.00 0.36 0.08 3.05
3585.05/3597.02 c setppc : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3585.05/3597.02 c linear : 0.18 0.05 0.00 0.10 0.00 0.00 0.00 0.00 0.00 0.02
3585.05/3597.02 c logicor : 0.19 0.00 0.00 0.18 0.00 0.00 0.00 0.00 0.00 0.01
3585.05/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.05/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.05/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.05/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.05/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.05/3597.02 c dualfix : 3 0 0 0
3585.05/3597.02 c genvbounds : 0 0 0 0
3585.05/3597.02 c nlobbt : 0 0 0 0
3585.05/3597.02 c obbt : 0 0 0 0
3585.05/3597.02 c probing : 0 0 0 0
3585.05/3597.02 c pseudoobj : 26076 0 0 0
3585.05/3597.02 c redcost : 227 0 0 2378
3585.05/3597.02 c rootredcost : 5 0 0 0
3585.05/3597.02 c symmetry : 0 0 0 0
3585.05/3597.02 c vbounds : 289 0 0 0
3585.05/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.05/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3585.05/3597.02 c genvbounds : 0.03 0.00 0.00 0.02 0.00 0.01
3585.05/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.05/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.05/3597.02 c probing : 0.04 0.00 0.04 0.00 0.00 0.00
3585.05/3597.02 c pseudoobj : 0.05 0.00 0.00 0.05 0.00 0.00
3585.05/3597.02 c redcost : 0.07 0.00 0.00 0.07 0.00 0.00
3585.05/3597.02 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.01
3585.05/3597.02 c symmetry : 0.12 0.00 0.08 0.03 0.00 0.01
3585.05/3597.02 c vbounds : 0.03 0.00 0.00 0.03 0.00 0.01
3585.05/3597.02 c Symmetry :
3585.05/3597.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.05/3597.02 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.05/3597.02 c lexicographic red: 0 reductions applied, 0 cutoffs
3585.05/3597.02 c shadow tree time : 0.00 s
3585.05/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.05/3597.02 c propagation : 0.12 2033 1633 - 1951 79.7 1 132.0 - - -
3585.05/3597.02 c infeasible LP : 0.80 854 854 - 974 88.1 0 0.0 74 725.9 0
3585.05/3597.02 c bound exceed. LP : 0.36 79 35 - 28 50.4 0 0.0 14 530.1 527
3585.05/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.05/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.05/3597.02 c applied globally : 0.00 - - 0 2917 81.5 - - 88 - -
3585.05/3597.02 c applied locally : - - - 0 4 257.5 - - 0 - -
3585.05/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.05/3597.02 c cut pool : 3.58 - 3303 42 - - 23877 147557 - - - - - (maximal pool size: 7231)
3585.05/3597.02 c aggregation : 5.35 0.00 100 22 0 0 15942 116761 0 15683 15683 0 0
3585.05/3597.02 c > cmir : - - - - - - - 78132 0 8089 8089 0 -
3585.05/3597.02 c > flowcover : - - - - - - - 23162 0 5646 5646 0 -
3585.05/3597.02 c > knapsackcover : - - - - - - - 15467 0 1948 1948 0 -
3585.05/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c clique : 0.00 0.00 22 22 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c gomory : 9.69 0.00 98 20 0 0 7768 27419 0 1518 1518 0 0
3585.05/3597.02 c > gomorymi : - - - - - - - 11671 0 787 787 0 -
3585.05/3597.02 c > strongcg : - - - - - - - 15748 0 731 731 0 -
3585.05/3597.02 c impliedbounds : 0.00 0.00 100 22 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c multilinear : 0.00 0.00 133 22 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c rapidlearning : 63.77 0.00 88 0 0 7 0 0 0 0 0 0 770
3585.05/3597.02 c rlt : 0.00 0.00 74 20 0 0 0 0 0 0 0 0 0
3585.05/3597.02 c zerohalf : 0.22 0.00 100 22 0 0 166 3377 0 1666 1666 0 0
3585.05/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.05/3597.02 c hybrid : 0.72 0.00 2375 22 18867 0 133214 2475 0 21236
3585.05/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.05/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.05/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3585.05/3597.02 c problem variables: 0.00 - 0 0
3585.05/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.05/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.05/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.05/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.05/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.05/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.05/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.05/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.05/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.05/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.05/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.05/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.05/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.05/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.05/3597.02 c relpscost : 672.17 0.00 12890 0 0 0 4 0 5 25772
3585.05/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.05/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.05/3597.02 c LP solutions : 0.00 - - 0 0
3585.05/3597.02 c relax solutions : 0.00 - - 0 0
3585.05/3597.02 c pseudo solutions : 0.00 - - 0 0
3585.05/3597.02 c strong branching : 0.07 - - 0 0
3585.05/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3585.05/3597.02 c adaptivediving : 15.44 0.00 19 0 0
3585.05/3597.02 c alns : 0.69 0.00 4 0 0
3585.05/3597.02 c bound : 0.00 0.00 0 0 0
3585.05/3597.02 c clique : 0.11 0.00 1 0 0
3585.05/3597.02 c coefdiving : 0.00 0.00 0 0 0
3585.05/3597.02 c completesol : 0.00 0.00 0 0 0
3585.05/3597.02 c conflictdiving : 21.20 0.00 139 0 0
3585.05/3597.02 c crossover : 0.16 0.00 2 0 0
3585.05/3597.02 c dins : 0.00 0.00 0 0 0
3585.05/3597.02 c distributiondivin: 102.14 0.00 140 0 0
3585.05/3597.02 c dps : 0.00 0.00 0 0 0
3585.05/3597.02 c dualval : 0.00 0.00 0 0 0
3585.05/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3585.05/3597.02 c feasjump : 0.00 0.00 0 0 0
3585.05/3597.02 c feaspump : 32.85 0.00 35 0 0
3585.05/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3585.05/3597.02 c fracdiving : 57.24 0.00 140 0 0
3585.05/3597.02 c gins : 0.05 0.00 0 0 0
3585.05/3597.02 c guideddiving : 66.68 0.00 140 0 0
3585.05/3597.02 c indcoefdiving : 0.00 0.00 0 0 0
3585.05/3597.02 c indicator : 0.01 0.00 0 0 0
3585.05/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3585.05/3597.02 c indoneopt : 0.01 0.00 0 0 0
3585.05/3597.02 c indrounding : 0.00 0.00 0 0 0
3585.05/3597.02 c indtwoopt : 0.00 0.00 0 0 0
3585.05/3597.02 c intdiving : 0.00 0.00 0 0 0
3585.05/3597.02 c intshifting : 0.00 0.00 0 0 0
3585.05/3597.02 c linesearchdiving : 41.46 0.00 139 0 0
3585.05/3597.02 c localbranching : 0.00 0.00 0 0 0
3585.05/3597.02 c locks : 0.28 0.00 1 1 1
3585.05/3597.02 c lpface : 0.25 0.00 2 0 0
3585.05/3597.02 c mpec : 0.00 0.00 0 0 0
3585.05/3597.02 c multistart : 0.00 0.00 0 0 0
3585.05/3597.02 c mutation : 0.00 0.00 0 0 0
3585.05/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3585.05/3597.02 c objpscostdiving : 77.49 0.00 9 0 0
3585.05/3597.02 c octane : 0.00 0.00 0 0 0
3585.05/3597.02 c ofins : 0.00 0.00 0 0 0
3585.05/3597.02 c oneopt : 0.04 0.00 4 1 1
3585.05/3597.02 c padm : 0.00 0.00 0 0 0
3585.05/3597.02 c proximity : 0.00 0.00 0 0 0
3585.05/3597.02 c pscostdiving : 132.77 0.00 77 0 0
3585.05/3597.02 c randrounding : 0.78 0.00 1804 0 0
3585.05/3597.02 c rens : 0.15 0.00 2 0 0
3585.05/3597.02 c reoptsols : 0.00 0.00 0 0 0
3585.05/3597.02 c repair : 0.00 0.00 0 0 0
3585.05/3597.02 c rins : 37.33 0.00 13 3 3
3585.05/3597.02 c rootsoldiving : 45.33 0.00 9 0 0
3585.05/3597.02 c rounding : 1.38 0.00 1702 0 0
3585.05/3597.02 c scheduler : 0.00 0.00 0 0 0
3585.05/3597.02 c shiftandpropagate: 0.00 0.00 0 0 0
3585.05/3597.02 c shifting : 6.33 0.00 826 0 0
3585.05/3597.02 c simplerounding : 0.01 0.00 0 0 0
3585.05/3597.02 c smallcard : 0.00 0.00 0 0 0
3585.05/3597.02 c subnlp : 0.01 0.00 0 0 0
3585.05/3597.02 c trivial : 0.00 0.00 4 0 0
3585.05/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3585.05/3597.02 c trustregion : 0.00 0.00 0 0 0
3585.05/3597.02 c trysol : 0.00 0.00 0 0 0
3585.05/3597.02 c twoopt : 0.00 0.00 0 0 0
3585.05/3597.02 c undercover : 0.00 0.00 0 0 0
3585.05/3597.02 c vbounds : 0.00 0.00 0 0 0
3585.05/3597.02 c veclendiving : 22.54 0.00 140 0 0
3585.05/3597.02 c zeroobj : 0.00 0.00 0 0 0
3585.05/3597.02 c zirounding : 0.18 0.00 1000 0 0
3585.05/3597.02 c other solutions : - - - 0 -
3585.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.05/3597.02 c primal LP : 3.98 546 0 0.00 0.00 3.98 546
3585.05/3597.02 c dual LP : 2146.14 15492 9905874 644.20 4615.66 0.73 115
3585.05/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3585.05/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.05/3597.02 c resolve instable : 0.07 1 551 551.00 7653.63
3585.05/3597.02 c diving/probing LP: 637.15 6283 2392336 380.76 3754.73
3585.05/3597.02 c strong branching : 594.15 6388 2218116 347.23 3733.24 - - 2319
3585.05/3597.02 c (at root node) : - 44 10607 241.07 -
3585.05/3597.02 c conflict analysis: 0.33 56 527 9.41 1607.86
3585.05/3597.02 c B&B Tree :
3585.05/3597.02 c number of runs : 2
3585.05/3597.02 c nodes : 12046 (11837 internal, 209 leaves)
3585.05/3597.02 c feasible leaves : 0
3585.05/3597.02 c infeas. leaves : 0
3585.05/3597.02 c objective leaves : 208
3585.05/3597.02 c nodes (total) : 13095 (12886 internal, 209 leaves)
3585.05/3597.02 c nodes left : 11624
3585.05/3597.02 c max depth : 144
3585.05/3597.02 c max depth (total): 144
3585.05/3597.02 c backtracks : 776 (6.4%)
3585.05/3597.02 c early backtracks : 0 (0.0%)
3585.05/3597.02 c nodes exc. ref. : 0 (0.0%)
3585.05/3597.02 c delayed cutoffs : 0
3585.05/3597.02 c repropagations : 6 (3 domain reductions, 0 cutoffs)
3585.05/3597.02 c avg switch length: 3.02
3585.05/3597.02 c switching time : 5.66
3585.05/3597.02 c Root Node :
3585.05/3597.02 c First LP value : +0.00000000000000e+00
3585.05/3597.02 c First LP Iters : 249 (9259.60 Iter/sec)
3585.05/3597.02 c First LP Time : 0.03
3585.05/3597.02 c Final Dual Bound : +0.00000000000000e+00
3585.05/3597.02 c Final Root Iters : 4561
3585.05/3597.02 c Root LP Estimate : +1.18035912580742e+01
3585.05/3597.02 c Solution :
3585.05/3597.02 c Solutions found : 5 (5 improvements)
3585.05/3597.02 c First Solution : +4.04000000000000e+02 (in run 1, after 1 nodes, 1.67 seconds, depth 774, found by <locks>)
3585.05/3597.02 c Gap First Sol. : infinite
3585.05/3597.02 c Gap Last Sol. : infinite
3585.05/3597.02 c Primal Bound : +6.40000000000000e+01 (in run 2, after 1211 nodes, 519.77 seconds, depth 100, found by <rins>)
3585.05/3597.02 c Dual Bound : +0.00000000000000e+00
3585.05/3597.02 c Gap : infinite
3585.05/3597.02 c Integrals : Total Avg%
3585.05/3597.02 c primal-dual : 359699.72 100.00
3585.05/3597.02 c primal-ref : - - (not evaluated)
3585.05/3597.02 c dual-ref : - - (not evaluated)
3585.05/3597.09 c Time complete: 3585.16.
OK 64
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 (55548 MiB free)
memory of node 1: 64465 MiB (61872 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523434-1751586375/watcher-4523434-1751586375 -o /tmp/evaluation-result-4523434-1751586375/solver-4523434-1751586375 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751578154-78968 --watchdog 3760 pbscip -f HOME/instance-4523434-1751586375.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
Starting watchdog thread
solver pid=80469, runsolver pid=80466
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.10 4.11 4.09 5/265 80470
/proc/meminfo: memFree=120231272/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=56908 memory=31360 CPUtime=0.09 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 4612 0 0 0 9 0 0 0 20 0 1 0 74315047 58273792 7840 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 14227 7840 3584 3530 0 5678 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56908 KiB
Current children cumulated memory: 31360 KiB
[startup+0.205709 s]*
/proc/loadavg: 4.10 4.11 4.09 5/265 80470
/proc/meminfo: memFree=120167516/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=113912 memory=87572 CPUtime=0.2 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 19632 0 0 0 17 3 0 0 20 0 1 0 74315047 116645888 21893 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 28478 21893 3648 3530 0 19929 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 113912 KiB
Current children cumulated memory: 87572 KiB
[startup+0.305639 s]*
/proc/loadavg: 4.10 4.11 4.09 5/265 80470
/proc/meminfo: memFree=120167516/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=124336 memory=90536 CPUtime=0.3 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 19874 0 0 0 27 3 0 0 20 0 1 0 74315047 127320064 22634 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 31084 22634 3648 3530 0 22535 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 124336 KiB
Current children cumulated memory: 90536 KiB
[startup+0.700199 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 80470
/proc/meminfo: memFree=120131036/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=180644 memory=153604 CPUtime=0.68 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 37572 0 0 0 62 6 0 0 20 0 1 0 74315047 184979456 38401 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 45161 38401 3808 3530 0 36612 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 180644 KiB
Current children cumulated memory: 153604 KiB
[startup+1.50018 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 80470
/proc/meminfo: memFree=120055112/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=407572 memory=350708 CPUtime=1.48 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 62359 0 0 0 136 12 0 0 20 0 1 0 74315047 417353728 87677 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 101893 87677 3872 3530 0 93344 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 407572 KiB
Current children cumulated memory: 350708 KiB
[startup+3.10554 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 80470
/proc/meminfo: memFree=119872996/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=473004 memory=416468 CPUtime=3.08 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 73577 0 0 0 293 15 0 0 20 0 1 0 74315047 484356096 104117 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 118251 104117 4000 3530 0 109702 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 473004 KiB
Current children cumulated memory: 416468 KiB
[startup+6.30016 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 80470
/proc/meminfo: memFree=119768288/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=567248 memory=509540 CPUtime=6.26 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 95332 0 0 0 608 18 0 0 20 0 1 0 74315047 580861952 127385 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 141812 127385 4000 3530 0 133263 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 567248 KiB
Current children cumulated memory: 509540 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 80470
/proc/meminfo: memFree=119707496/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=657156 memory=598504 CPUtime=12.65 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 123498 0 0 0 1241 24 0 0 20 0 1 0 74315047 672927744 149626 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 164289 149626 4000 3530 0 155740 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 657156 KiB
Current children cumulated memory: 598504 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 80470
/proc/meminfo: memFree=119640300/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=657156 memory=598504 CPUtime=25.41 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 123500 0 0 0 2517 24 0 0 20 0 1 0 74315047 672927744 149626 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 164289 149626 4000 3530 0 155740 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 657156 KiB
Current children cumulated memory: 598504 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 80470
/proc/meminfo: memFree=119553688/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=750296 memory=692432 CPUtime=50.93 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 231007 0 0 0 5048 45 0 0 20 0 1 0 74315047 768303104 173108 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 187574 173108 4000 3530 0 179025 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 750296 KiB
Current children cumulated memory: 692432 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/265 80473
/proc/meminfo: memFree=119526976/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=763236 memory=705956 CPUtime=101.97 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 290954 0 0 0 10139 58 0 0 20 0 1 0 74315047 781553664 176489 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 190809 176489 4000 3530 0 182260 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 763236 KiB
Current children cumulated memory: 705956 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 80475
/proc/meminfo: memFree=119506644/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=786860 memory=729004 CPUtime=161.78 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 391350 0 0 0 16099 79 0 0 20 0 1 0 74315047 805744640 182251 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 196715 182251 4000 3530 0 188166 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 786860 KiB
Current children cumulated memory: 729004 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 80477
/proc/meminfo: memFree=119527976/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=763236 memory=706028 CPUtime=221.59 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 453326 0 0 0 22067 92 0 0 20 0 1 0 74315047 781553664 176507 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 190809 176507 4000 3530 0 182260 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 763236 KiB
Current children cumulated memory: 706028 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/265 80480
/proc/meminfo: memFree=119526144/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=763236 memory=705968 CPUtime=281.41 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 516918 0 0 0 28035 106 0 0 20 0 1 0 74315047 781553664 176492 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 190809 176492 4000 3530 0 182260 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 763236 KiB
Current children cumulated memory: 705968 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 80482
/proc/meminfo: memFree=119527492/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=763236 memory=707760 CPUtime=341.22 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 601597 0 0 0 33998 124 0 0 20 0 1 0 74315047 781553664 176940 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 190809 176940 4000 3530 0 182260 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 763236 KiB
Current children cumulated memory: 707760 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 80485
/proc/meminfo: memFree=119492732/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=777584 memory=722140 CPUtime=401.03 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 628967 0 0 0 39972 131 0 0 20 0 1 0 74315047 796246016 180535 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 194396 180535 4000 3530 0 185847 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 777584 KiB
Current children cumulated memory: 722140 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 80491
/proc/meminfo: memFree=119486060/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=794484 memory=738784 CPUtime=460.84 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 667804 0 0 0 45945 139 0 0 20 0 1 0 74315047 813551616 184696 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 198621 184696 4000 3530 0 190072 0
Current children cumulated CPU time: 460.84 s
################
# More data... #
################
/proc/loadavg: 1.15 1.57 2.72 2/247 80735
/proc/meminfo: memFree=127214760/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=799316 memory=751120 CPUtime=3152.29 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 742301 0 0 0 315073 156 0 0 20 0 1 0 74315047 818499584 187780 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 199829 187780 4192 3530 0 191280 0
Current children cumulated CPU time: 3152.29 s
Current children cumulated vsize: 799316 KiB
Current children cumulated memory: 751120 KiB
[startup+3222.3 s]
/proc/loadavg: 1.11 1.48 2.62 2/246 80737
/proc/meminfo: memFree=127201492/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=799748 memory=751288 CPUtime=3212.15 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 749783 0 0 0 321057 158 0 0 20 0 1 0 74315047 818941952 187822 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 199937 187822 4192 3530 0 191388 0
Current children cumulated CPU time: 3212.15 s
Current children cumulated vsize: 799748 KiB
Current children cumulated memory: 751288 KiB
[startup+3282.3 s]
/proc/loadavg: 1.08 1.40 2.52 2/246 80739
/proc/meminfo: memFree=127190184/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=800532 memory=752060 CPUtime=3271.86 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 768971 0 0 0 327024 162 0 0 20 0 1 0 74315047 819744768 188015 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 200133 188015 4192 3530 0 191584 0
Current children cumulated CPU time: 3271.86 s
Current children cumulated vsize: 800532 KiB
Current children cumulated memory: 752060 KiB
[startup+3342.3 s]
/proc/loadavg: 1.14 1.36 2.43 2/246 80741
/proc/meminfo: memFree=127223580/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=800532 memory=752060 CPUtime=3331.35 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 768977 0 0 0 332973 162 0 0 20 0 1 0 74315047 819744768 188015 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 200133 188015 4192 3530 0 191584 0
Current children cumulated CPU time: 3331.35 s
Current children cumulated vsize: 800532 KiB
Current children cumulated memory: 752060 KiB
[startup+3402.3 s]
/proc/loadavg: 1.10 1.31 2.34 2/246 80744
/proc/meminfo: memFree=127223624/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=800532 memory=752060 CPUtime=3390.84 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 768977 0 0 0 338922 162 0 0 20 0 1 0 74315047 819744768 188015 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 200133 188015 4192 3530 0 191584 0
Current children cumulated CPU time: 3390.84 s
Current children cumulated vsize: 800532 KiB
Current children cumulated memory: 752060 KiB
[startup+3462.3 s]
/proc/loadavg: 1.15 1.28 2.27 2/246 80747
/proc/meminfo: memFree=127227216/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=801200 memory=752780 CPUtime=3450.67 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 775040 0 0 0 344904 163 0 0 20 0 1 0 74315047 820428800 188195 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 200300 188195 4192 3530 0 191751 0
Current children cumulated CPU time: 3450.67 s
Current children cumulated vsize: 801200 KiB
Current children cumulated memory: 752780 KiB
[startup+3522.3 s]
/proc/loadavg: 1.12 1.24 2.19 2/247 80754
/proc/meminfo: memFree=127227296/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=800208 memory=751824 CPUtime=3510.53 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 780664 0 0 0 350890 163 0 0 20 0 1 0 74315047 819412992 187956 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 200052 187956 4192 3530 0 191503 0
Current children cumulated CPU time: 3510.53 s
Current children cumulated vsize: 800208 KiB
Current children cumulated memory: 751824 KiB
[startup+3582.3 s]
/proc/loadavg: 1.09 1.21 2.12 2/247 80756
/proc/meminfo: memFree=127201252/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=798756 memory=750292 CPUtime=3570.39 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 791978 0 0 0 356874 165 0 0 20 0 1 0 74315047 817926144 187573 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 199689 187573 4192 3530 0 191140 0
Current children cumulated CPU time: 3570.39 s
Current children cumulated vsize: 798756 KiB
Current children cumulated memory: 750292 KiB
[startup+3597.1 s]
# the end of solver process 80469 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.48 s, system=1.68342 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.16 1.22 2.12 2/247 80756
/proc/meminfo: memFree=127201252/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=798756 memory=750292 CPUtime=3572.09 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 791978 0 0 0 357044 165 0 0 20 0 1 0 74315047 817926144 187573 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 199689 187573 4192 3530 0 191140 0
Current children cumulated CPU time: 3572.09 s
Current children cumulated vsize: 798756 KiB
Current children cumulated memory: 750292 KiB
[startup+3590.4 s]
/proc/loadavg: 1.15 1.22 2.11 2/247 80757
/proc/meminfo: memFree=127200496/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=796824 memory=748432 CPUtime=3578.47 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 797331 0 0 0 357681 166 0 0 20 0 1 0 74315047 815947776 187108 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 199206 187108 4192 3530 0 190657 0
Current children cumulated CPU time: 3578.47 s
Current children cumulated vsize: 796824 KiB
Current children cumulated memory: 748432 KiB
[startup+3593.6 s]
/proc/loadavg: 1.15 1.22 2.11 2/247 80757
/proc/meminfo: memFree=127204496/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=800356 memory=751876 CPUtime=3581.66 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 803555 0 0 0 357999 167 0 0 20 0 1 0 74315047 819564544 187969 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 200089 187969 4192 3530 0 191540 0
Current children cumulated CPU time: 3581.66 s
Current children cumulated vsize: 800356 KiB
Current children cumulated memory: 751876 KiB
[startup+3595.2 s]
/proc/loadavg: 1.14 1.22 2.10 2/247 80757
/proc/meminfo: memFree=127204820/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=800356 memory=751876 CPUtime=3583.25 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 803555 0 0 0 358158 167 0 0 20 0 1 0 74315047 819564544 187969 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 200089 187969 4192 3530 0 191540 0
Current children cumulated CPU time: 3583.25 s
Current children cumulated vsize: 800356 KiB
Current children cumulated memory: 751876 KiB
[startup+3596 s]*
/proc/loadavg: 1.14 1.22 2.10 2/247 80757
/proc/meminfo: memFree=127205540/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=800356 memory=751876 CPUtime=3584.06 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 803555 0 0 0 358239 167 0 0 20 0 1 0 74315047 819564544 187969 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 200089 187969 4192 3530 0 191540 0
Current children cumulated CPU time: 3584.06 s
Current children cumulated vsize: 800356 KiB
Current children cumulated memory: 751876 KiB
[startup+3596.8 s]
/proc/loadavg: 1.14 1.22 2.10 2/247 80757
/proc/meminfo: memFree=127205540/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=800356 memory=751876 CPUtime=3584.85 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 803555 0 0 0 358318 167 0 0 20 0 1 0 74315047 819564544 187969 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 200089 187969 4192 3530 0 191540 0
Current children cumulated CPU time: 3584.85 s
Current children cumulated vsize: 800356 KiB
Current children cumulated memory: 751876 KiB
[startup+3597 s]*
/proc/loadavg: 1.14 1.22 2.10 2/247 80757
/proc/meminfo: memFree=127205624/131250000 swapFree=33007332/33010684
[pid=80469] ppid=80466 vsize=800356 memory=751876 CPUtime=3585.05 cores=5,7
/proc/80469/stat : 80469 (pbscip) R 80466 80469 78955 0 -1 4194304 803555 0 0 0 358338 167 0 0 20 0 1 0 74315047 819564544 187969 18446744073709551615 4235264 18693293 140727375899856 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 44216320 140727375903113 140727375903212 140727375903212 140727375908814 0
/proc/80469/statm: 200089 187969 4192 3530 0 191540 0
Current children cumulated CPU time: 3585.05 s
Current children cumulated vsize: 800356 KiB
Current children cumulated memory: 751876 KiB
Child status: 0
Real time (s): 3597.1
CPU time (s): 3585.16
CPU user time (s): 3583.48
CPU system time (s): 1.68342
CPU usage (%): 99.6681
Max. virtual memory (cumulated for all children) (KiB): 826340
Max. memory (cumulated for all children) (KiB): 770764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.48
system time used= 1.68342
maximum resident set size= 770764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 803587
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= 117
involuntary context switches= 6362
# summary of solver processes directly reported to runsolver:
# pid: 80469
# total CPU time (s): 3585.16
# total CPU user time (s): 3583.48
# total CPU system time (s): 1.68342
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.02465 second user time and 15.23 second system time
The end
Begin job on nodeC019 at 2025-07-04 01:46:15 IDJOB=4523434 IDBENCH=180361 IDSOLVER=3365 FILE ID=nodeC019/4523434-1751586375 RUNJOBID= nodeC019-1751578154-78968 SLURM_JOB_ID= 9598809 Free space on /tmp= 431448 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523434-1751586375/watcher-4523434-1751586375 -o /tmp/evaluation-result-4523434-1751586375/solver-4523434-1751586375 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751578154-78968 --watchdog 3760 pbscip -f HOME/instance-4523434-1751586375.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f69e8990d47aa59ed46eeada43b05a2f RANDOM SEED=2132721289 nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.713 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.696 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3587.799 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3604.920 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.436 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3598.419 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.670 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 120239260 kB MemAvailable: 122109676 kB Buffers: 904 kB Cached: 2672304 kB SwapCached: 440 kB Active: 7829428 kB Inactive: 2526676 kB Active(anon): 7670352 kB Inactive(anon): 27736 kB Active(file): 159076 kB Inactive(file): 2498940 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33007332 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 21812 kB Writeback: 0 kB AnonPages: 7680200 kB Mapped: 138516 kB Shmem: 15192 kB KReclaimable: 103276 kB Slab: 192316 kB SReclaimable: 103276 kB SUnreclaim: 89040 kB KernelStack: 4272 kB PageTables: 18520 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 8526044 kB VmallocTotal: 34359738367 kB VmallocUsed: 150552 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 2215936 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 176852 kB DirectMap2M: 9031680 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431568 MiB End job on nodeC019 at 2025-07-04 02:46:13