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 | 78 | 3585.86 | 3597.22 |
| Name | PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/ instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_0.opb |
| MD5SUM | 0f8d279ff02416fc8d5941f7f119b5c9 |
| 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 | 3 |
| Best CPU time to get the best result obtained on this benchmark | 149.108 |
| 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 | 90 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 862 |
| 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.03 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.03 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.03 c
0.00/0.03 c user parameter file <scip.set> not found - using default parameters
0.00/0.03 c reading problem <HOME/instance-4523480-1751594361.opb>
0.20/0.27 c original problem has 1289 variables (1289 bin, 0 int, 0 impl, 0 cont) and 1094 constraints
0.20/0.27 c problem read in 0.25
0.39/0.43 c presolving:
0.58/0.66 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.67/0.73 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.87/0.94 c (0.9s) running MILP presolver
0.98/1.02 c (1.0s) MILP presolver found nothing
1.17/1.20 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
1.37/1.40 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
1.57/1.63 c (1.6s) probing: 51/1276 (4.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.57/1.63 c (1.6s) probing aborted: 50/50 successive totally useless probings
1.76/1.86 c (1.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.86/1.96 c (1.9s) no symmetry present (symcode time: 0.00)
1.98/2.06 c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
1.98/2.06 c 13 deleted vars, 22 deleted constraints, 0 added constraints, 13 tightened bounds, 0 added holes, 200 changed sides, 400 changed coefficients
1.98/2.06 c 0 implications, 1 cliques
1.98/2.06 c presolved problem has 1276 variables (1276 bin, 0 int, 0 impl, 0 cont) and 1072 constraints
1.98/2.06 c 1071 constraints of type <knapsack>
1.98/2.06 c 1 constraints of type <setppc>
1.98/2.06 c transformed objective value is always integral (scale: 1)
1.98/2.06 c Presolving Time: 1.63
1.98/2.06 c - non default parameters ----------------------------------------------------------------------
1.98/2.06 c # SCIP version 10.0.0
1.98/2.06 c
1.98/2.06 c # maximal time in seconds to run
1.98/2.06 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.98/2.06 c limits/time = 3596.993079
1.98/2.06 c
1.98/2.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.98/2.06 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.98/2.06 c limits/memory = 27900
1.98/2.06 c
1.98/2.06 c # belongs reading time to solving time?
1.98/2.06 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.98/2.06 c timing/reading = TRUE
1.98/2.06 c
1.98/2.06 c -----------------------------------------------------------------------------------------------
1.98/2.06 c start solving
1.98/2.06 c
2.36/2.48 o 406
2.36/2.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.36/2.48 c p 2.5s| 1 | 0 | 0 | - | locks| 0 |1276 |1072 |1072 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.060000e+02 | Inf | unknown
2.46/2.50 o 398
2.46/2.50 c i 2.5s| 1 | 0 | 0 | - | oneopt| 0 |1276 |1072 |1072 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
2.46/2.53 c 2.5s| 1 | 0 | 262 | - | 343M | 0 |1276 |1072 |1072 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
2.98/3.07 c 3.0s| 1 | 0 | 448 | - | 371M | 0 |1276 |1072 |1234 | 162 | 1 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
3.56/3.65 c 3.6s| 1 | 0 | 584 | - | 389M | 0 |1276 |1072 |1353 | 281 | 2 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
4.15/4.24 c 4.2s| 1 | 0 | 672 | - | 410M | 0 |1276 |1072 |1432 | 360 | 3 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
4.75/4.82 c 4.8s| 1 | 0 | 818 | - | 435M | 0 |1276 |1072 |1496 | 424 | 4 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
5.25/5.38 c 5.4s| 1 | 0 | 909 | - | 457M | 0 |1276 |1072 |1569 | 497 | 5 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
5.85/5.95 c 5.9s| 1 | 0 | 1021 | - | 478M | 0 |1276 |1072 |1631 | 559 | 6 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
6.45/6.50 c 6.5s| 1 | 0 | 1110 | - | 490M | 0 |1276 |1072 |1690 | 618 | 7 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
6.96/7.05 c 7.0s| 1 | 0 | 1207 | - | 531M | 0 |1276 |1072 |1751 | 679 | 8 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
7.44/7.57 c 7.5s| 1 | 0 | 1270 | - | 533M | 0 |1276 |1072 |1806 | 734 | 9 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
8.06/8.12 c 8.1s| 1 | 0 | 1342 | - | 566M | 0 |1276 |1072 |1848 | 776 | 10 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
8.45/8.50 c 8.5s| 1 | 0 | 1411 | - | 571M | 0 |1276 |1072 |1745 | 829 | 11 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
8.95/9.11 o 383
8.95/9.11 c L 9.1s| 1 | 0 | 2695 | - | alns| 0 |1276 |1072 |1745 | 829 | 11 | 0 | 0 | 0.000000e+00 | 3.830000e+02 | Inf | unknown
9.15/9.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.15/9.23 c 9.2s| 1 | 0 | 2695 | - | 571M | 0 |1276 |1072 |1745 | 829 | 11 | 0 | 0 | 0.000000e+00 | 3.830000e+02 | Inf | unknown
9.15/9.26 o 308
9.15/9.26 c i 9.2s| 1 | 0 | 2695 | - | oneopt| 0 |1276 |1072 |1745 | 829 | 11 | 0 | 0 | 0.000000e+00 | 3.080000e+02 | Inf | unknown
9.54/9.62 c 9.6s| 1 | 0 | 3085 | - | 574M | 0 |1276 |1072 |1777 | 861 | 12 | 0 | 0 | 0.000000e+00 | 3.080000e+02 | Inf | unknown
9.64/9.75 c 9.7s| 1 | 0 | 3593 | - | 575M | 0 |1276 |1073 |1808 | 892 | 13 | 1 | 0 | 0.000000e+00 | 3.080000e+02 | Inf | unknown
18.71/18.85 c 18.8s| 1 | 2 | 3697 | - | 575M | 0 |1276 |1074 |1808 | 892 | 13 | 2 | 47 | 0.000000e+00 | 3.080000e+02 | Inf | unknown
78.03/78.38 c 78.4s| 100 | 101 | 94994 | 936.2 | 620M | 21 |1276 |1083 |1100 |1560 | 1 | 11 | 285 | 0.000000e+00 | 3.080000e+02 | Inf | unknown
82.51/82.82 o 302
82.51/82.82 c L82.8s| 120 | 121 |108145 | 889.4 | alns| 23 |1276 |1083 |1112 |1684 | 2 | 11 | 285 | 0.000000e+00 | 3.020000e+02 | Inf | unknown
106.75/107.14 c 107s| 200 | 201 |178678 | 886.3 | 660M | 23 |1276 |1092 |1174 |2292 | 2 | 20 | 324 | 0.000000e+00 | 3.020000e+02 | Inf | unknown
123.49/123.95 c 124s| 300 | 301 |226550 | 750.0 | 634M | 29 |1276 |1101 |1100 |2769 | 1 | 29 | 350 | 0.000000e+00 | 3.020000e+02 | Inf | unknown
148.72/149.29 o 125
148.72/149.29 c L 149s| 320 | 321 |234652 | 728.3 | rins| 29 |1276 |1100 |1103 |2979 | 1 | 30 | 359 | 0.000000e+00 | 1.250000e+02 | Inf | unknown
164.76/165.31 c 165s| 400 | 401 |284784 | 708.0 | 627M | 51 |1276 |1121 |1108 |3196 | 1 | 51 | 378 | 0.000000e+00 | 1.250000e+02 | Inf | unknown
184.31/185.00 c 185s| 500 | 501 |347355 | 691.5 | 621M | 57 |1276 |1139 |1124 |3483 | 1 | 69 | 396 | 0.000000e+00 | 1.250000e+02 | Inf | unknown
224.08/224.89 c 225s| 600 | 601 |397731 | 660.1 | 621M | 57 |1276 |1156 |1163 |3952 | 1 | 87 | 434 | 0.000000e+00 | 1.250000e+02 | Inf | unknown
247.01/247.82 o 78
247.01/247.82 c L 248s| 672 | 673 |460941 | 683.5 | rins| 57 |1276 |1164 |1205 |4444 | 2 | 96 | 468 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
249.70/250.55 c 251s| 700 | 701 |470179 | 669.3 | 622M | 62 |1276 |1165 |1202 |4522 | 2 | 97 | 468 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
274.42/275.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
274.42/275.31 c 275s| 800 | 801 |540134 | 673.1 | 621M | 91 |1276 |1181 |1232 |4636 | 1 | 115 | 515 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
295.07/296.09 c 296s| 900 | 901 |595137 | 659.4 | 622M | 91 |1276 |1194 |1202 |5262 | 2 | 129 | 540 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
316.01/317.04 c 317s| 1000 | 1001 |656310 | 654.7 | 622M | 91 |1276 |1211 |1195 |5653 | 1 | 146 | 572 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
324.86/325.97 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
324.86/325.97 c (run 1, node 1049) performing user restart
324.86/325.97 c
324.86/325.97 c (restart) converted 79 cuts from the global cut pool into linear constraints
324.86/325.97 c
324.98/326.09 c presolving:
324.98/326.11 c (round 1, fast) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 13 chg coeffs, 0 upgd conss, 0 impls, 1 clqs
325.08/326.12 c (round 2, exhaustive) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 13 chg coeffs, 78 upgd conss, 0 impls, 1 clqs
325.08/326.16 c (round 3, exhaustive) 0 del vars, 3 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 14 chg coeffs, 78 upgd conss, 0 impls, 1 clqs
325.26/326.36 c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
325.26/326.36 c 0 deleted vars, 3 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 14 changed coefficients
325.26/326.36 c 0 implications, 1 cliques
325.26/326.36 c presolved problem has 1276 variables (1276 bin, 0 int, 0 impl, 0 cont) and 1296 constraints
325.26/326.36 c 1150 constraints of type <knapsack>
325.26/326.36 c 1 constraints of type <setppc>
325.26/326.36 c 5 constraints of type <linear>
325.26/326.36 c 140 constraints of type <logicor>
325.26/326.36 c transformed objective value is always integral (scale: 1)
325.26/326.36 c Presolving Time: 1.90
325.36/326.42 c transformed 8/8 original solutions to the transformed problem space
325.36/326.42 c
325.46/326.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
325.46/326.56 c 327s| 1 | 0 |679767 | - | 575M | 0 |1276 |1296 |1151 | 0 | 0 | 155 | 592 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
326.07/327.14 c 327s| 1 | 0 |680268 | - | 583M | 0 |1276 |1296 |1317 | 166 | 1 | 155 | 592 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
326.76/327.87 c 328s| 1 | 0 |680594 | - | 579M | 0 |1276 |1297 |1496 | 345 | 2 | 156 | 592 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
327.56/328.64 c 329s| 1 | 0 |680818 | - | 587M | 0 |1276 |1298 |1676 | 525 | 3 | 157 | 592 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
328.25/329.39 c 329s| 1 | 0 |681008 | - | 600M | 0 |1276 |1299 |1851 | 700 | 4 | 158 | 592 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
329.15/330.29 c 330s| 1 | 0 |681351 | - | 612M | 0 |1276 |1300 |2029 | 878 | 5 | 159 | 592 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
330.06/331.18 c 331s| 1 | 0 |681632 | - | 612M | 0 |1276 |1301 |2178 |1027 | 6 | 160 | 592 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
330.85/331.99 c 332s| 1 | 0 |682055 | - | 604M | 0 |1276 |1303 |2315 |1164 | 7 | 162 | 592 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
331.64/332.73 c 333s| 1 | 0 |682245 | - | 625M | 0 |1276 |1304 |2428 |1277 | 8 | 163 | 592 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
332.44/333.59 c 334s| 1 | 0 |682426 | - | 626M | 0 |1276 |1305 |2539 |1388 | 9 | 164 | 592 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
333.34/334.45 c 334s| 1 | 0 |682566 | - | 626M | 0 |1276 |1306 |2639 |1488 | 10 | 165 | 592 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
333.95/335.04 c 335s| 1 | 0 |682826 | - | 633M | 0 |1276 |1307 |2726 |1575 | 11 | 166 | 592 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
336.63/337.74 c 338s| 1 | 2 |687442 | - | 633M | 0 |1276 |1320 |2726 |1575 | 11 | 179 | 592 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
351.28/352.46 c 352s| 100 | 101 |719693 | 622.0 | 633M | 28 |1276 |1366 |1171 |1989 | 1 | 225 | 610 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
368.33/369.53 c 370s| 200 | 201 |764156 | 607.7 | 633M | 53 |1276 |1397 |1194 |2323 | 1 | 256 | 627 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
396.44/397.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
396.44/397.75 c 398s| 300 | 301 |834367 | 614.7 | 681M | 56 |1276 |1423 |1256 |3213 | 1 | 287 | 686 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
413.08/414.49 c 414s| 400 | 401 |879906 | 603.7 | 681M | 107 |1276 |1475 |1289 |3412 | 1 | 339 | 709 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
437.81/439.29 c 439s| 500 | 501 |944135 | 606.2 | 680M | 119 |1276 |1519 |1270 |3546 | 1 | 386 | 740 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
474.99/476.52 c 476s| 600 | 601 | 1041k| 628.6 | 661M | 119 |1276 |1537 |1293 |3742 | 1 | 405 | 775 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
500.02/501.60 c 502s| 700 | 701 | 1115k| 634.9 | 658M | 119 |1276 |1564 |1302 |3882 | 1 | 432 | 822 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
526.94/528.63 c 529s| 800 | 801 | 1196k| 644.5 | 658M | 133 |1276 |1613 |1304 |3960 | 1 | 482 | 868 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
551.97/553.76 c 554s| 900 | 901 | 1272k| 650.3 | 659M | 133 |1276 |1652 |1298 |4103 | 1 | 521 | 907 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
572.41/574.20 c 574s| 1000 | 1001 | 1336k| 649.7 | 659M | 133 |1276 |1667 |1305 |4183 | 1 | 536 | 936 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
593.35/595.25 c 595s| 1100 | 1101 | 1397k| 648.2 | 659M | 133 |1276 |1682 |1318 |4268 | 2 | 553 | 992 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
615.68/617.66 c 618s| 1200 | 1201 | 1466k| 650.0 | 659M | 133 |1276 |1687 |1225 |4400 | 1 | 559 |1039 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
638.52/640.50 c 640s| 1300 | 1301 | 1535k| 651.3 | 659M | 134 |1276 |1715 |1318 |4551 | 1 | 589 |1085 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
663.15/665.21 c 665s| 1400 | 1401 | 1616k| 658.2 | 659M | 143 |1276 |1786 |1327 |4601 | 1 | 661 |1125 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
689.77/691.93 c 692s| 1500 | 1501 | 1694k| 663.0 | 660M | 144 |1276 |1799 |1276 |4666 | 1 | 674 |1173 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
718.69/720.97 c 721s| 1600 | 1601 | 1770k| 666.6 | 660M | 144 |1276 |1839 |1305 |4721 | 1 | 714 |1227 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
742.52/744.84 c 745s| 1700 | 1701 | 1840k| 667.6 | 660M | 144 |1276 |1851 |1341 |4887 | 1 | 727 |1290 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
771.23/773.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
771.23/773.68 c 774s| 1800 | 1801 | 1917k| 671.2 | 661M | 144 |1276 |1868 |1285 |5131 | 1 | 745 |1368 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
799.84/802.37 c 802s| 1900 | 1901 | 2008k| 679.5 | 661M | 144 |1276 |1905 |1305 |5302 | 1 | 782 |1448 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
821.49/824.02 c 824s| 2000 | 2001 | 2062k| 674.7 | 661M | 144 |1276 |1932 |1306 |5399 | 1 | 810 |1614 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
847.20/849.86 c 850s| 2100 | 2101 | 2134k| 676.3 | 661M | 144 |1276 |1952 |1298 |5459 | 1 | 832 |1735 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
878.81/881.58 c 882s| 2200 | 2201 | 2219k| 681.6 | 662M | 144 |1276 |1993 |1330 |5543 | 4 | 878 |1894 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
914.71/917.50 c 917s| 2300 | 2301 | 2313k| 689.4 | 662M | 144 |1276 |1999 |1304 |5624 | 1 | 897 |2093 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
944.52/947.40 c 947s| 2400 | 2401 | 2388k| 691.1 | 662M | 144 |1276 |2002 |1320 |5705 | 1 | 908 |2290 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
970.85/973.89 c 974s| 2500 | 2501 | 2456k| 690.8 | 662M | 144 |1276 |1993 |1300 |5783 | 1 | 913 |2422 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
998.57/1001.68 c 1002s| 2600 | 2601 | 2536k| 693.9 | 662M | 144 |1276 |1979 |1305 |5846 | 1 | 917 |2512 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1011.83/1014.93 c 1015s| 2700 | 2701 | 2580k| 687.0 | 662M | 152 |1276 |2029 |1315 |5875 | 2 | 975 |2569 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1028.58/1031.76 c 1032s| 2800 | 2801 | 2642k| 685.2 | 662M | 155 |1276 |2061 |1334 |5974 | 1 |1017 |2605 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1044.13/1047.30 c 1047s| 2900 | 2901 | 2697k| 681.8 | 662M | 155 |1276 |2076 |1311 |6042 | 1 |1043 |2635 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1059.39/1062.65 c 1063s| 3000 | 3001 | 2765k| 681.9 | 662M | 155 |1276 |2087 |1312 |6091 | 1 |1069 |2643 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1079.63/1082.96 c 1083s| 3100 | 3101 | 2858k| 687.6 | 662M | 156 |1276 |2096 |1312 |6116 | 1 |1097 |2653 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1099.47/1102.87 c 1103s| 3200 | 3201 | 2944k| 691.8 | 664M | 166 |1276 |2144 |1323 |6356 | 1 |1153 |2662 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1113.43/1116.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1113.43/1116.84 c 1117s| 3300 | 3301 | 3004k| 689.8 | 664M | 166 |1276 |2195 |1314 |6666 | 1 |1216 |2669 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1116.73/1120.13 c 1120s| 3400 | 3401 | 3016k| 677.0 | 665M | 166 |1276 |2200 |1331 |6819 | 1 |1245 |2669 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1119.81/1123.25 c 1123s| 3500 | 3501 | 3028k| 664.7 | 664M | 166 |1276 |2208 |1332 |6939 | 2 |1277 |2672 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1122.20/1125.61 c 1126s| 3600 | 3601 | 3037k| 652.3 | 664M | 166 |1276 |2229 |1336 |7005 | 1 |1305 |2672 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1133.68/1137.15 c 1137s| 3700 | 3701 | 3076k| 646.9 | 662M | 166 |1276 |2234 |1332 |7141 | 1 |1324 |2686 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1152.01/1155.56 c 1156s| 3800 | 3801 | 3150k| 648.6 | 662M | 166 |1276 |2230 |1239 |7309 | 1 |1347 |2688 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1164.97/1168.55 c 1169s| 3900 | 3901 | 3198k| 645.3 | 662M | 166 |1276 |2261 |1327 |7408 | 1 |1396 |2690 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1182.32/1186.00 c 1186s| 4000 | 4001 | 3259k| 644.5 | 663M | 166 |1276 |2285 |1349 |7521 | 2 |1430 |2722 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1204.86/1208.59 c 1209s| 4100 | 4101 | 3339k| 647.7 | 663M | 166 |1276 |2313 |1328 |7660 | 1 |1474 |2751 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1224.60/1228.37 c 1228s| 4200 | 4201 | 3402k| 647.3 | 663M | 166 |1276 |2330 |1342 |7740 | 1 |1509 |2791 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1243.74/1247.54 c 1248s| 4300 | 4301 | 3463k| 646.5 | 663M | 166 |1276 |2317 |1300 |7831 | 1 |1530 |2826 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1260.39/1264.23 c 1264s| 4400 | 4401 | 3512k| 643.6 | 664M | 166 |1276 |2343 |1305 |7879 | 2 |1585 |2893 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1278.34/1282.23 c 1282s| 4500 | 4501 | 3568k| 642.2 | 664M | 166 |1276 |2353 |1306 |7923 | 1 |1645 |2955 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1293.69/1297.61 c 1298s| 4600 | 4601 | 3617k| 639.5 | 664M | 166 |1276 |2338 |1299 |7967 | 1 |1669 |2997 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1312.15/1316.16 c 1316s| 4700 | 4701 | 3671k| 637.8 | 664M | 166 |1276 |2319 |1304 |8010 | 1 |1699 |3134 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1331.48/1335.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1331.48/1335.52 c 1335s| 4800 | 4801 | 3728k| 636.6 | 664M | 166 |1276 |2301 |1304 |8045 | 1 |1726 |3214 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1343.35/1347.48 c 1347s| 4900 | 4901 | 3768k| 632.6 | 664M | 166 |1276 |2313 |1303 |8078 | 1 |1765 |3255 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1359.50/1363.68 c 1364s| 5000 | 5001 | 3820k| 630.8 | 664M | 166 |1276 |2320 |1306 |8109 | 1 |1800 |3333 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1378.35/1382.59 c 1383s| 5100 | 5101 | 3878k| 629.9 | 664M | 166 |1276 |2328 |1310 |8141 | 1 |1831 |3410 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1391.82/1396.02 c 1396s| 5200 | 5201 | 3930k| 628.2 | 664M | 166 |1276 |2359 |1311 |8171 | 1 |1874 |3448 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1405.57/1409.85 c 1410s| 5300 | 5301 | 3984k| 626.8 | 664M | 166 |1276 |2345 |1322 |8221 | 1 |1893 |3476 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1418.43/1422.74 c 1423s| 5400 | 5401 | 4040k| 625.8 | 664M | 166 |1276 |2366 |1321 |8252 | 1 |1920 |3490 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1439.97/1444.36 c 1444s| 5500 | 5501 | 4122k| 628.7 | 664M | 166 |1276 |2377 |1321 |8285 | 1 |1952 |3498 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1453.64/1458.05 c 1458s| 5600 | 5601 | 4178k| 627.6 | 664M | 166 |1276 |2384 |1313 |8322 | 1 |1968 |3512 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1466.29/1470.77 c 1471s| 5700 | 5701 | 4236k| 626.9 | 664M | 166 |1276 |2414 |1320 |8358 | 1 |2023 |3523 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1478.46/1482.94 c 1483s| 5800 | 5801 | 4292k| 625.9 | 665M | 166 |1276 |2430 |1314 |8384 | 1 |2062 |3525 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1490.92/1495.45 c 1495s| 5900 | 5901 | 4346k| 624.7 | 665M | 166 |1276 |2445 |1304 |8410 | 1 |2097 |3527 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1502.29/1506.88 c 1507s| 6000 | 6001 | 4399k| 623.4 | 665M | 166 |1276 |2454 |1307 |8433 | 1 |2124 |3530 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1513.95/1518.50 c 1518s| 6100 | 6101 | 4454k| 622.4 | 665M | 166 |1276 |2474 |1317 |8503 | 1 |2155 |3531 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1531.30/1535.91 c 1536s| 6200 | 6201 | 4541k| 625.8 | 665M | 166 |1276 |2468 |1306 |8601 | 2 |2159 |3532 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1544.96/1549.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1544.96/1549.63 c 1550s| 6300 | 6301 | 4603k| 625.7 | 665M | 166 |1276 |2475 |1318 |8659 | 1 |2199 |3533 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1556.53/1561.21 c 1561s| 6400 | 6401 | 4657k| 624.5 | 666M | 166 |1276 |2477 |1329 |8770 | 1 |2216 |3534 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1570.77/1575.53 c 1576s| 6500 | 6501 | 4717k| 624.3 | 666M | 166 |1276 |2481 |1315 |8823 | 1 |2259 |3540 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1595.58/1600.49 c 1600s| 6600 | 6601 | 4802k| 627.2 | 666M | 166 |1276 |2484 |1322 |8895 | 1 |2294 |3579 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1615.51/1620.48 c 1620s| 6700 | 6701 | 4866k| 627.4 | 666M | 166 |1276 |2489 |1301 |8980 | 1 |2329 |3615 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1635.44/1640.44 c 1640s| 6800 | 6799 | 4943k| 629.2 | 667M | 166 |1276 |2467 |1318 |9058 | 1 |2356 |3640 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1656.56/1661.60 c 1662s| 6900 | 6899 | 5008k| 629.4 | 667M | 166 |1276 |2445 |1311 |9129 | 1 |2391 |3677 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1673.20/1678.31 c 1678s| 7000 | 6999 | 5068k| 629.1 | 667M | 166 |1276 |2419 |1320 |9222 | 1 |2395 |3706 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1690.04/1695.26 c 1695s| 7100 | 7099 | 5129k| 628.8 | 667M | 166 |1276 |2409 |1340 |9322 | 2 |2424 |3737 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1708.88/1714.16 c 1714s| 7200 | 7199 | 5191k| 628.7 | 667M | 166 |1276 |2380 |1307 |9391 | 1 |2444 |3798 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1729.39/1734.73 c 1735s| 7300 | 7299 | 5252k| 628.6 | 668M | 166 |1276 |2350 |1335 |9469 | 2 |2459 |3863 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1748.23/1753.64 c 1754s| 7400 | 7399 | 5311k| 628.0 | 668M | 166 |1276 |2337 |1304 |9555 | 1 |2493 |3949 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1766.57/1772.08 c 1772s| 7500 | 7499 | 5369k| 627.5 | 668M | 166 |1276 |2306 |1305 |9623 | 1 |2524 |4042 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1785.89/1791.48 c 1791s| 7600 | 7599 | 5426k| 626.8 | 668M | 166 |1276 |2295 |1301 |9716 | 1 |2549 |4143 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1798.94/1804.52 c 1804s| 7700 | 7699 | 5473k| 625.0 | 668M | 166 |1276 |2275 |1303 |9763 | 1 |2560 |4190 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1813.99/1819.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1813.99/1819.67 c 1820s| 7800 | 7799 | 5532k| 624.6 | 669M | 166 |1276 |2257 |1304 |9806 | 1 |2581 |4230 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1825.36/1831.05 c 1831s| 7900 | 7899 | 5576k| 622.6 | 669M | 166 |1276 |2250 |1302 |9841 | 1 |2609 |4253 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1836.42/1842.20 c 1842s| 8000 | 7999 | 5624k| 621.0 | 669M | 166 |1276 |2258 |1309 |9876 | 1 |2647 |4268 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1851.85/1857.63 c 1858s| 8100 | 8099 | 5692k| 621.7 | 669M | 166 |1276 |2252 |1309 |9924 | 2 |2669 |4278 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1875.56/1881.46 c 1881s| 8200 | 8199 | 5752k| 621.4 | 669M | 166 |1276 |2222 |1317 | 10k| 1 |2678 |4345 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1889.01/1894.97 c 1895s| 8300 | 8297 | 5804k| 620.3 | 669M | 166 |1276 |2267 |1319 | 10k| 1 |2755 |4378 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1902.47/1908.49 c 1908s| 8400 | 8395 | 5861k| 619.8 | 670M | 166 |1276 |2280 |1320 | 10k| 1 |2783 |4410 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1918.61/1924.65 c 1925s| 8500 | 8495 | 5931k| 620.6 | 670M | 166 |1276 |2296 |1333 | 10k| 2 |2821 |4430 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1923.59/1929.69 c 1930s| 8600 | 8581 | 5950k| 616.1 | 671M | 166 |1276 |2307 |1321 | 10k| 1 |2855 |4437 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1928.27/1934.33 c 1934s| 8700 | 8663 | 5968k| 611.7 | 672M | 172 |1276 |2360 |1370 | 10k| 1 |2912 |4446 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1932.45/1938.54 c 1939s| 8800 | 8738 | 5987k| 607.4 | 673M | 183 |1276 |2379 |1408 | 11k| 1 |2932 |4448 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1936.05/1942.16 c 1942s| 8900 | 8804 | 6005k| 603.1 | 673M | 186 |1276 |2396 |1429 | 11k| 0 |2958 |4451 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1945.11/1951.23 c 1951s| 9000 | 8882 | 6046k| 601.2 | 674M | 188 |1276 |2518 |1383 | 11k| 1 |3085 |4458 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1963.14/1969.37 c 1969s| 9100 | 8966 | 6107k| 601.2 | 674M | 192 |1276 |2601 |1427 | 11k| 1 |3171 |4469 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1974.30/1980.54 c 1981s| 9200 | 9040 | 6162k| 600.8 | 674M | 198 |1276 |2609 |1404 | 12k| 1 |3183 |4471 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1985.96/1992.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1985.96/1992.20 c 1992s| 9300 | 9106 | 6220k| 600.6 | 674M | 198 |1276 |2622 |1445 | 12k| 1 |3199 |4475 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
1997.92/2004.25 c 2004s| 9400 | 9179 | 6273k| 600.0 | 674M | 202 |1276 |2638 |1451 | 12k| 1 |3217 |4478 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2010.87/2017.23 c 2017s| 9500 | 9265 | 6333k| 599.9 | 673M | 204 |1276 |2653 |1388 | 12k| 1 |3265 |4482 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2026.31/2032.74 c 2033s| 9600 | 9339 | 6410k| 601.5 | 673M | 204 |1276 |2680 |1422 | 12k| 1 |3296 |4483 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2038.97/2045.43 c 2045s| 9700 | 9427 | 6466k| 601.1 | 673M | 204 |1276 |2794 |1434 | 13k| 1 |3441 |4491 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2052.12/2058.68 c 2059s| 9800 | 9506 | 6528k| 601.3 | 673M | 204 |1276 |2801 |1475 | 13k| 0 |3485 |4494 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2070.25/2076.81 c 2077s| 9900 | 9587 | 6601k| 602.5 | 673M | 204 |1276 |2794 |1352 | 13k| 1 |3509 |4508 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2089.50/2096.14 c 2096s| 10000 | 9672 | 6673k| 603.5 | 673M | 204 |1276 |2778 |1460 | 13k| 2 |3533 |4539 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2118.78/2125.51 c 2125s| 10100 | 9750 | 6776k| 607.4 | 674M | 204 |1276 |2803 |1427 | 14k| 1 |3606 |4579 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2135.12/2142.01 c 2142s| 10200 | 9815 | 6838k| 607.5 | 675M | 205 |1276 |2841 |1375 | 14k| 1 |3700 |4617 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2150.18/2157.03 c 2157s| 10300 | 9896 | 6896k| 607.2 | 676M | 205 |1276 |2817 |1447 | 14k| 1 |3723 |4655 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2166.31/2173.28 c 2173s| 10400 | 9963 | 6949k| 606.6 | 676M | 205 |1276 |2793 |1459 | 15k| 2 |3799 |4679 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2184.94/2191.96 c 2192s| 10500 | 10031 | 7028k| 608.1 | 676M | 205 |1276 |2767 |1330 | 15k| 1 |3837 |4719 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2203.09/2210.15 c 2210s| 10600 | 10100 | 7083k| 607.7 | 676M | 205 |1276 |2714 | 0 | 15k| 0 |3867 |4811 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2223.60/2230.79 c 2231s| 10700 | 10184 | 7155k| 608.6 | 677M | 205 |1276 |2637 |1429 | 16k| 1 |3876 |4880 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2235.26/2242.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2235.26/2242.41 c 2242s| 10800 | 10251 | 7198k| 607.1 | 675M | 205 |1276 |2670 |1452 | 16k| 2 |3941 |4938 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2249.61/2256.81 c 2257s| 10900 | 10295 | 7248k| 606.2 | 675M | 205 |1276 |2671 |1453 | 16k| 1 |3971 |5038 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2265.05/2272.39 c 2272s| 11000 | 10352 | 7314k| 606.7 | 675M | 205 |1276 |2656 | 0 | 16k| 0 |3988 |5098 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2272.02/2279.31 c 2279s| 11100 | 10410 | 7341k| 603.8 | 676M | 205 |1276 |2653 |1455 | 17k| 1 |4050 |5129 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2276.31/2283.65 c 2284s| 11200 | 10471 | 7360k| 600.5 | 676M | 205 |1276 |2707 |1462 | 17k| 1 |4123 |5142 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2280.29/2287.60 c 2288s| 11300 | 10566 | 7373k| 596.7 | 676M | 205 |1276 |2677 |1314 | 17k| 1 |4145 |5170 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2285.87/2293.25 c 2293s| 11400 | 10643 | 7393k| 593.5 | 677M | 205 |1276 |2691 |1445 | 17k| 1 |4215 |5186 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2289.95/2297.36 c 2297s| 11500 | 10722 | 7409k| 590.0 | 677M | 205 |1276 |2748 |1447 | 18k| 1 |4306 |5199 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2294.84/2302.24 c 2302s| 11600 | 10793 | 7427k| 586.8 | 678M | 205 |1276 |2703 |1435 | 18k| 1 |4322 |5211 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2301.01/2308.42 c 2308s| 11700 | 10882 | 7438k| 583.1 | 678M | 205 |1276 |2665 |1361 | 18k| 2 |4349 |5250 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2309.08/2316.51 c 2316s| 11800 | 10950 | 7471k| 581.1 | 678M | 205 |1276 |2636 |1333 | 18k| 1 |4377 |5270 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2328.02/2335.53 c 2335s| 11900 | 11037 | 7556k| 583.1 | 678M | 205 |1276 |2595 |1322 | 19k| 1 |4426 |5286 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2344.95/2352.55 c 2353s| 12000 | 11121 | 7628k| 584.2 | 678M | 205 |1276 |2560 |1329 | 19k| 2 |4459 |5294 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2363.89/2371.59 c 2372s| 12100 | 11201 | 7715k| 586.4 | 678M | 205 |1276 |2494 |1454 | 19k| 1 |4482 |5303 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2376.45/2384.19 c 2384s| 12200 | 11270 | 7774k| 586.4 | 679M | 205 |1276 |2440 |1196 | 19k| 1 |4514 |5306 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2400.55/2408.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2400.55/2408.30 c 2408s| 12300 | 11350 | 7843k| 587.2 | 679M | 205 |1276 |2438 |1344 | 20k| 1 |4577 |5352 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2419.30/2427.18 c 2427s| 12400 | 11428 | 7912k| 588.0 | 679M | 205 |1276 |2418 |1353 | 20k| 1 |4610 |5375 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2439.61/2447.56 c 2448s| 12500 | 11505 | 7994k| 589.7 | 680M | 205 |1276 |2339 |1336 | 20k| 1 |4638 |5384 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2455.07/2463.08 c 2463s| 12600 | 11595 | 8062k| 590.3 | 682M | 205 |1276 |2295 |1328 | 21k| 1 |4663 |5387 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2469.71/2477.78 c 2478s| 12700 | 11674 | 8133k| 591.2 | 682M | 205 |1276 |2279 |1328 | 21k| 1 |4684 |5388 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2490.73/2498.83 c 2499s| 12800 | 11754 | 8217k| 593.0 | 683M | 205 |1276 |2249 |1474 | 21k| 0 |4730 |5396 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2510.87/2519.11 c 2519s| 12900 | 11849 | 8306k| 595.1 | 683M | 205 |1276 |2221 |1338 | 21k| 1 |4757 |5399 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2528.80/2537.10 c 2537s| 13000 | 11943 | 8379k| 596.1 | 683M | 205 |1276 |2201 |1352 | 22k| 2 |4798 |5400 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2542.64/2550.91 c 2551s| 13100 | 12031 | 8443k| 596.4 | 684M | 205 |1276 |2216 |1319 | 22k| 1 |4851 |5400 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2558.38/2566.75 c 2567s| 13200 | 12115 | 8521k| 597.7 | 684M | 205 |1276 |2245 |1266 | 22k| 1 |4921 |5400 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2576.42/2584.84 c 2585s| 13300 | 12199 | 8605k| 599.4 | 684M | 205 |1276 |2241 |1444 | 23k| 0 |4954 |5402 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2589.18/2597.68 c 2598s| 13400 | 12256 | 8666k| 599.5 | 684M | 205 |1276 |2259 |1460 | 23k| 1 |4996 |5402 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2606.43/2614.90 c 2615s| 13500 | 12338 | 8755k| 601.5 | 684M | 205 |1276 |2235 |1301 | 23k| 1 |5010 |5403 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2627.66/2636.27 c 2636s| 13600 | 12433 | 8834k| 602.7 | 684M | 205 |1276 |2220 |1304 | 23k| 1 |5058 |5429 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2659.77/2668.40 c 2668s| 13700 | 12526 | 8947k| 606.3 | 684M | 205 |1276 |2195 |1356 | 24k| 1 |5070 |5476 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2679.11/2687.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2679.11/2687.80 c 2688s| 13800 | 12616 | 9023k| 607.4 | 684M | 205 |1276 |2190 |1458 | 24k| 1 |5122 |5492 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2695.17/2703.94 c 2704s| 13900 | 12684 | 9084k| 607.4 | 685M | 205 |1276 |2182 |1339 | 24k| 1 |5135 |5515 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2713.61/2722.48 c 2722s| 14000 | 12778 | 9146k| 607.4 | 685M | 205 |1276 |2161 |1278 | 25k| 1 |5181 |5548 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2743.52/2752.40 c 2752s| 14100 | 12878 | 9245k| 610.0 | 685M | 205 |1276 |2161 |1337 | 25k| 1 |5216 |5614 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2765.66/2774.69 c 2775s| 14200 | 12978 | 9318k| 610.8 | 685M | 205 |1276 |2169 |1436 | 25k| 1 |5264 |5684 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2796.17/2805.25 c 2805s| 14300 | 13040 | 9427k| 613.9 | 687M | 205 |1276 |2156 |1454 | 25k| 1 |5304 |5732 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2814.61/2823.74 c 2824s| 14400 | 13122 | 9500k| 614.6 | 687M | 205 |1276 |2146 |1399 | 26k| 1 |5330 |5801 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2828.07/2837.26 c 2837s| 14500 | 13196 | 9542k| 613.4 | 687M | 205 |1276 |2122 |1324 | 26k| 1 |5341 |5886 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2850.71/2859.91 c 2860s| 14600 | 13279 | 9618k| 614.3 | 687M | 205 |1276 |2114 |1266 | 26k| 1 |5377 |5973 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2874.24/2883.56 c 2884s| 14700 | 13361 | 9717k| 616.7 | 690M | 205 |1276 |2115 |1452 | 27k| 1 |5395 |6049 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2888.20/2897.50 c 2897s| 14800 | 13418 | 9772k| 616.3 | 690M | 205 |1276 |2123 |1342 | 27k| 1 |5434 |6082 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2911.13/2920.53 c 2921s| 14900 | 13514 | 9857k| 617.8 | 690M | 205 |1276 |2086 |1429 | 28k| 1 |5479 |6105 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2923.99/2933.40 c 2933s| 15000 | 13590 | 9915k| 617.5 | 690M | 205 |1276 |2082 |1345 | 28k| 1 |5504 |6116 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2938.45/2947.96 c 2948s| 15100 | 13669 | 9975k| 617.4 | 690M | 205 |1276 |2105 |1444 | 28k| 1 |5549 |6134 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2962.08/2971.65 c 2972s| 15200 | 13763 | 10063k| 619.0 | 691M | 205 |1276 |2101 |1340 | 29k| 1 |5585 |6160 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2979.13/2988.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2979.13/2988.71 c 2989s| 15300 | 13855 | 10137k| 619.8 | 692M | 205 |1276 |2088 |1328 | 29k| 1 |5620 |6167 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
2992.89/3002.52 c 3002s| 15400 | 13917 | 10203k| 620.0 | 692M | 205 |1276 |2109 |1437 | 29k| 1 |5660 |6174 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3007.14/3016.83 c 3017s| 15500 | 14006 | 10266k| 620.1 | 692M | 205 |1276 |2118 |1388 | 30k| 1 |5736 |6175 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3028.48/3038.26 c 3038s| 15600 | 14085 | 10368k| 622.5 | 692M | 205 |1276 |2122 |1469 | 30k| 1 |5778 |6180 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3046.43/3056.27 c 3056s| 15700 | 14166 | 10447k| 623.5 | 692M | 205 |1276 |2099 |1323 | 30k| 1 |5813 |6184 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3061.49/3071.31 c 3071s| 15800 | 14232 | 10519k| 624.1 | 692M | 205 |1276 |2136 |1468 | 31k| 1 |5878 |6185 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3075.74/3085.66 c 3086s| 15900 | 14322 | 10586k| 624.3 | 692M | 205 |1276 |2148 |1339 | 31k| 1 |5940 |6188 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3090.80/3100.74 c 3101s| 16000 | 14404 | 10661k| 625.0 | 691M | 205 |1276 |2188 |1356 | 31k| 1 |6021 |6189 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3106.96/3117.00 c 3117s| 16100 | 14482 | 10740k| 626.0 | 692M | 205 |1276 |2177 |1470 | 32k| 0 |6038 |6190 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3121.41/3131.46 c 3131s| 16200 | 14560 | 10804k| 626.1 | 692M | 205 |1276 |2200 |1335 | 32k| 1 |6089 |6193 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3139.16/3149.22 c 3149s| 16300 | 14648 | 10885k| 627.1 | 692M | 205 |1276 |2170 |1280 | 33k| 1 |6111 |6193 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3159.80/3170.00 c 3170s| 16400 | 14728 | 10970k| 628.4 | 693M | 205 |1276 |2160 |1314 | 33k| 1 |6152 |6207 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3183.23/3193.43 c 3193s| 16500 | 14817 | 11064k| 630.2 | 693M | 205 |1276 |2139 | 0 | 34k| 0 |6173 |6248 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3201.38/3211.63 c 3212s| 16600 | 14899 | 11126k| 630.2 | 694M | 205 |1276 |2101 |1204 | 34k| 2 |6237 |6296 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3219.12/3229.45 c 3229s| 16700 | 14977 | 11193k| 630.4 | 694M | 205 |1276 |2074 |1351 | 34k| 0 |6246 |6310 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3247.44/3257.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3247.44/3257.87 c 3258s| 16800 | 15063 | 11293k| 632.4 | 694M | 205 |1276 |2097 | 0 | 35k| 0 |6300 |6363 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3263.60/3274.05 c 3274s| 16900 | 15133 | 11366k| 633.0 | 695M | 205 |1276 |2127 |1357 | 35k| 1 |6374 |6373 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3287.53/3298.08 c 3298s| 17000 | 15215 | 11455k| 634.4 | 695M | 205 |1276 |2098 |1337 | 35k| 1 |6413 |6414 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3309.65/3320.23 c 3320s| 17100 | 15303 | 11532k| 635.2 | 697M | 205 |1276 |2112 |1283 | 36k| 1 |6465 |6443 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3328.30/3338.91 c 3339s| 17200 | 15395 | 11606k| 635.7 | 697M | 205 |1276 |2099 |1375 | 36k| 1 |6501 |6465 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3352.34/3363.06 c 3363s| 17300 | 15474 | 11691k| 636.9 | 697M | 205 |1276 |2110 |1332 | 37k| 1 |6564 |6528 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3376.76/3387.58 c 3388s| 17400 | 15571 | 11775k| 638.0 | 697M | 205 |1276 |2076 |1337 | 37k| 1 |6576 |6621 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3401.69/3412.59 c 3413s| 17500 | 15659 | 11863k| 639.3 | 697M | 205 |1276 |2121 |1370 | 37k| 1 |6640 |6684 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3421.53/3432.46 c 3432s| 17600 | 15741 | 11929k| 639.4 | 697M | 205 |1276 |2107 |1310 | 38k| 2 |6698 |6747 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3445.96/3456.99 c 3457s| 17700 | 15831 | 12011k| 640.4 | 697M | 205 |1276 |2095 | 0 | 38k| 0 |6722 |6797 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3466.79/3477.87 c 3478s| 17800 | 15931 | 12085k| 640.9 | 698M | 205 |1276 |2078 |1340 | 38k| 1 |6771 |6863 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3491.72/3502.89 c 3503s| 17900 | 16006 | 12174k| 642.2 | 698M | 205 |1276 |2073 |1292 | 39k| 1 |6801 |6957 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3508.17/3519.38 c 3519s| 18000 | 16100 | 12242k| 642.4 | 698M | 205 |1276 |2047 |1326 | 39k| 1 |6851 |6977 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3525.52/3536.79 c 3537s| 18100 | 16184 | 12309k| 642.6 | 699M | 205 |1276 |2003 |1330 | 39k| 1 |6883 |7011 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3540.48/3551.78 c 3552s| 18200 | 16267 | 12377k| 642.7 | 699M | 205 |1276 |1986 |1292 | 40k| 1 |6905 |7025 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3555.84/3567.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3555.84/3567.12 c 3567s| 18300 | 16356 | 12443k| 642.8 | 699M | 205 |1276 |1972 |1323 | 40k| 1 |6940 |7029 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3572.08/3583.44 c 3583s| 18400 | 16456 | 12509k| 642.9 | 699M | 205 |1276 |1939 |1273 | 40k| 1 |6949 |7039 | 0.000000e+00 | 7.800000e+01 | Inf | unknown
3585.65/3597.02 c
3585.65/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3585.65/3597.02 c Solving Time (sec) : 3597.00
3585.65/3597.02 c Solving Nodes : 18467 (total of 19516 nodes in 2 runs)
3585.65/3597.02 c Primal Bound : +7.80000000000000e+01 (9 solutions)
3585.65/3597.02 c Dual Bound : +0.00000000000000e+00
3585.65/3597.02 c Gap : infinite
3585.65/3597.04 s SATISFIABLE
3585.65/3597.04 v -x794 -x793 x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x1289 -x1288 -x1287 -x1286 x1285 x1284 -x1283 x1282 x1281 -x1280 x1279
3585.65/3597.04 v -x1278 -x1277 x1276 x1275 -x1274 -x1273 x1272 x1271 -x1270 x1269 -x1268 x1267 x1266 -x1265 x1264 x1263 x1262 x1261 x1260
3585.65/3597.04 v -x1259 x1258 -x1257 -x1256 x1255 x1254 -x1253 x1252 x1251 x1250 x1249 x1248 x1247 x1246 -x1245 x1244 x1243 -x1242 -x1241 -x1240
3585.65/3597.04 v x1239 -x1238 x1237 x1236 x1235 -x1234 -x1233 x1232 x1231 -x1230 -x1229 -x1228 x1227 x1226 -x1225 -x1224 x1223 -x1222 x1221
3585.65/3597.04 v -x1220 x1219 x1218 -x1217 -x1216 -x1215 x1214 -x1213 -x1212 x1211 x1210 x1209 -x1208 x1207 -x1206 x1205 x1204 -x1203 x1202 x1201
3585.65/3597.04 v -x1200 -x1199 -x1198 -x1197 x1196 -x1195 x1194 -x1193 x1192 x1191 -x1190 x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183
3585.65/3597.04 v -x1182 x1181 x1180 x1179 x1178 x1177 -x1176 -x1175 -x1174 x1173 x1172 x1171 x1170 -x1169 -x1168 -x1167 -x1166 x1165 x1164 x1163
3585.65/3597.04 v x1162 -x1161 x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 x1153 -x1152 x1151 -x1150 x1149 x1148 -x1147 x1146 x1145 -x1144
3585.65/3597.04 v -x1143 x1142 x1141 x1140 -x1139 x1138 -x1137 -x1136 x1135 x1134 x1133 x1132 -x1131 -x1130 x1129 -x1128 x1127 -x1126 -x1125
3585.65/3597.04 v -x1124 -x1123 x1122 x1121 x1120 x1119 x1118 -x1117 -x1116 -x1115 x1114 x1113 x1112 x1111 -x1110 -x1109 x1108 x1107 -x1106 x1105
3585.65/3597.04 v -x1104 x1103 x1102 x1101 x1100 x1099 -x1098 -x1097 x1096 -x1095 -x1094 x1093 x1092 -x1091 x1090 x1089 x1088 x1087 x1086
3585.65/3597.04 v x1085 x1084 x1083 x1082 -x1081 -x1080 -x1079 -x1078 -x1077 x1076 -x1075 x1074 x1073 -x1072 -x1071 -x1070 x1069 x1068 -x1067 -x1066
3585.65/3597.04 v x1065 -x1064 x1063 -x1062 x1061 x1060 -x1059 x1058 x1057 -x1056 -x1055 x1054 x1053 x1052 x1051 x1050 x1049 -x1048 -x1047
3585.65/3597.04 v x1046 x1045 x1044 x1043 x1042 -x1041 -x1040 -x1039 x1038 -x1037 x1036 x1035 -x1034 -x1033 x1032 -x1031 x1030 -x1029 -x1028
3585.65/3597.04 v x1027 -x1026 -x1025 x1024 -x1023 x1022 -x1021 x1020 -x1019 x1018 -x1017 x1016 -x1015 x1014 -x1013 x1012 -x1011 -x1010 -x1009
3585.65/3597.04 v -x1008 -x1007 -x1006 x1005 x1004 -x1003 -x1002 -x1001 -x1000 x999 x998 x997 -x996 x995 x994 -x993 -x992 x991 -x990 -x989 x988
3585.65/3597.04 v -x987 x986 -x985 x984 -x983 -x982 x981 -x980 -x979 -x978 -x977 -x976 x975 -x974 -x973 -x972 x971 -x970 -x969 -x968 -x967 x966
3585.65/3597.04 v -x965 -x964 -x963 x962 -x961 -x960 x959 x958 -x957 -x956 -x955 x954 -x953 x952 x951 x950 -x949 x948 -x947 -x946 -x945 -x944
3585.65/3597.04 v x943 x942 -x941 -x940 x939 x938 x937 x936 -x935 x934 x933 -x932 -x931 -x930 -x929 x928 -x927 x926 -x925 -x924 -x923 -x922 x921
3585.65/3597.04 v x920 x919 x918 x917 -x916 x915 x914 x913 -x912 x911 -x910 x909 x908 -x907 -x906 x905 -x904 x903 -x902 -x901 -x900 -x899 x898
3585.65/3597.04 v x897 -x896 -x895 x894 x893 x892 -x891 -x890 x889 -x888 -x887 x886 x885 x884 x883 x882 -x881 -x880 x879 x878 -x877 x876 -x875
3585.65/3597.04 v x874 -x873 x872 x871 x870 -x869 -x868 -x867 x866 -x865 -x864 x863 -x862 -x861 -x860 x859 x858 x857 x856 -x855 -x854 -x853
3585.65/3597.04 v x852 -x851 x850 -x849 x848 -x847 -x846 -x845 x844 -x843 -x842 -x841 -x840 x839 x838 x837 -x836 x835 x834 -x833 x832 x831 -x830
3585.65/3597.04 v -x829 -x828 x827 x826 x825 x824 x823 x822 -x821 x820 x819 -x818 -x817 x816 x815 x814 x813 x812 x811 -x810 -x809 -x808 -x807
3585.65/3597.04 v x806 x805 -x804 x803 -x802 -x801 -x800 x799 -x798 x797 x796 x752 x700 x699 x691 x690 x643 x442 x398 x220 x203 x97 x795 x82 -x784
3585.65/3597.04 v -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764
3585.65/3597.04 v -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 x743 -x742
3585.65/3597.04 v -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721
3585.65/3597.04 v -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x698
3585.65/3597.04 v -x697 -x696 -x695 -x694 -x693 -x692 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 x681 -x680 -x679 -x678 -x677 x676 -x675
3585.65/3597.04 v -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 x655 -x654
3585.65/3597.04 v -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x642 -x641 -x640 x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632
3585.65/3597.04 v -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 x616 x615 x614 -x613 x612 -x611 x610
3585.65/3597.04 v x609 x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589
3585.65/3597.04 v -x588 x587 -x586 -x585 -x584 x583 -x582 -x581 -x580 x579 -x578 x577 -x576 x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567
3585.65/3597.04 v -x566 -x565 x564 -x563 x562 x561 -x560 x559 -x558 -x557 x556 x555 x554 -x553 x552 x551 -x550 -x549 -x548 x547 -x546 -x545 -x544
3585.65/3597.04 v -x543 -x542 -x541 -x540 -x539 x538 -x537 -x536 -x535 -x534 -x533 x532 x531 -x530 -x529 x528 -x527 x526 x525 x524 -x523 x522
3585.65/3597.04 v x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501
3585.65/3597.04 v -x500 -x499 -x498 x497 -x496 x495 x494 -x493 x492 -x491 -x490 x489 -x488 -x487 -x486 -x485 -x484 x483 -x482 -x481 x480 -x479
3585.65/3597.04 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 x468 x467 x466 -x465 x464 x463 -x462 -x461 x460 -x459 -x458 -x457
3585.65/3597.04 v -x456 -x455 -x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x441 -x440 -x439 x438 x437 x436 x435 -x434
3585.65/3597.04 v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414
3585.65/3597.04 v x413 -x412 -x411 x410 x409 x408 x407 -x406 x405 -x404 -x403 -x402 -x401 -x400 x399 -x397 -x396 -x395 -x394 -x393 x392 -x391 -x390
3585.65/3597.04 v -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380 x379 -x378 x377 x376 x375 -x374 x373 -x372 -x371 -x370 -x369 -x368
3585.65/3597.04 v -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 x359 -x358 x357 -x356 -x355 -x354 -x353 -x352 x351 x350 x349 x348 x347 x346
3585.65/3597.04 v -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325
3585.65/3597.04 v x324 -x323 -x322 x321 x320 x319 x318 x317 x316 x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303
3585.65/3597.04 v -x302 -x301 -x300 -x299 -x298 x297 -x296 x295 -x294 -x293 x292 x291 x290 x289 x288 x287 -x286 -x285 x284 -x283 -x282 -x281
3585.65/3597.04 v -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 x266 x265 x264 -x263 x262 x261 x260 x259
3585.65/3597.04 v x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237
3585.65/3597.04 v x236 -x235 -x234 -x233 -x232 x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x219 -x218 -x217 -x216 -x215
3585.65/3597.04 v -x214 x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 x205 -x204 x202 x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192
3585.65/3597.04 v -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 x176 x175 -x174 -x173 -x172 -x171
3585.65/3597.04 v -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 x156 -x155 x154 -x153 -x152 x151 -x150 -x149
3585.65/3597.04 v -x148 -x147 x146 x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128
3585.65/3597.04 v -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107
3585.65/3597.04 v -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x81
3585.65/3597.04 v -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56
3585.65/3597.04 v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31
3585.65/3597.04 v -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5
3585.65/3597.04 v -x4 -x3 -x2 -x1
3585.65/3597.04 c SCIP Status : solving was interrupted [time limit reached]
3585.65/3597.04 c Total Time : 3597.00
3585.65/3597.04 c solving : 3597.00
3585.65/3597.04 c presolving : 1.90 (included in solving)
3585.65/3597.04 c reading : 0.25 (included in solving)
3585.65/3597.04 c copying : 3.66 (81 #copies) (minimal 0.04, maximal 0.06, average 0.05)
3585.65/3597.04 c Original Problem :
3585.65/3597.04 c Problem name : HOME/instance-4523480-1751594361.opb
3585.65/3597.04 c Variables : 1289 (1289 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.65/3597.04 c Constraints : 1094 initial, 1094 maximal
3585.65/3597.04 c Objective : minimize, 773 non-zeros (abs.min = 1, abs.max = 90)
3585.65/3597.04 c Presolved Problem :
3585.65/3597.04 c Problem name : t_HOME/instance-4523480-1751594361.opb
3585.65/3597.04 c Variables : 1276 (1276 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.65/3597.04 c Constraints : 1296 initial, 2874 maximal
3585.65/3597.04 c Objective : minimize, 772 non-zeros (abs.min = 1, abs.max = 1)
3585.65/3597.04 c Nonzeros : 423844 constraint, 9 clique table
3585.65/3597.04 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.65/3597.04 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c domcol : 0.19 0.00 2 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c dualsparsify : 0.23 0.00 1 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c gateextraction : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c milp : 0.29 0.00 1 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c sparsify : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c trivial : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c dualfix : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c probing : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c symmetry : 0.09 0.00 1 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c knapsack : 0.25 0.01 16 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c setppc : 0.00 0.00 16 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c linear : 0.45 0.11 13 13 0 0 13 0 22 0 207 413
3585.65/3597.04 c logicor : 0.04 0.00 9 0 0 0 0 0 3 0 0 1
3585.65/3597.04 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c components : 0.19 0.00 2 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c root node : - - - 0 - - 0 - - - - -
3585.65/3597.04 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.65/3597.04 c benderslp : 0 0 0 0 18581 0 0 3059 0 0 0 0 0 0 0
3585.65/3597.04 c integral : 0 0 0 0 18581 0 0 3059 0 0 19 0 0 30 37134
3585.65/3597.04 c knapsack : 1150+ 1174 23 208705 0 0 0 3052 70878 3225 26469 4716 0 0 0
3585.65/3597.04 c setppc : 1 1 23 30104 0 0 0 17 0 1 8 0 0 0 0
3585.65/3597.04 c linear : 5+ 86 11 182641 0 0 0 3 15954 585 11294 0 0 0 0
3585.65/3597.04 c logicor : 140+ 1647 11 48147 0 0 0 0 939 312 424 0 0 0 0
3585.65/3597.04 c benders : 0 0 0 0 0 0 0 19 0 0 0 0 0 0 0
3585.65/3597.04 c fixedvar : 0 0 0 0 0 0 0 19 0 0 0 0 0 0 0
3585.65/3597.04 c countsols : 0 0 0 0 0 0 0 19 0 0 0 0 0 0 0
3585.65/3597.04 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.65/3597.04 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3585.65/3597.04 c integral : 712.31 0.00 0.00 0.00 712.31 0.00 0.00 0.00 0.00 0.00
3585.65/3597.04 c knapsack : 25.31 0.01 2.54 18.59 0.00 0.00 0.00 0.66 0.25 3.26
3585.65/3597.04 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.65/3597.04 c linear : 0.82 0.11 0.00 0.62 0.00 0.00 0.00 0.00 0.06 0.03
3585.65/3597.04 c logicor : 0.35 0.00 0.00 0.33 0.00 0.00 0.00 0.00 0.01 0.01
3585.65/3597.04 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.65/3597.04 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.65/3597.04 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.65/3597.04 c components : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3585.65/3597.04 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.65/3597.04 c dualfix : 4 0 0 0
3585.65/3597.04 c genvbounds : 0 0 0 0
3585.65/3597.04 c nlobbt : 0 0 0 0
3585.65/3597.04 c obbt : 0 0 0 0
3585.65/3597.04 c probing : 0 0 0 0
3585.65/3597.04 c pseudoobj : 42880 0 0 0
3585.65/3597.04 c redcost : 333 0 0 298
3585.65/3597.04 c rootredcost : 5 0 0 0
3585.65/3597.04 c symmetry : 0 0 0 0
3585.65/3597.04 c vbounds : 1862 0 0 0
3585.65/3597.04 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.65/3597.04 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3585.65/3597.04 c genvbounds : 0.03 0.00 0.00 0.02 0.00 0.01
3585.65/3597.04 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.65/3597.04 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.65/3597.04 c probing : 0.05 0.00 0.05 0.00 0.00 0.00
3585.65/3597.04 c pseudoobj : 0.06 0.00 0.00 0.06 0.00 0.00
3585.65/3597.04 c redcost : 0.05 0.00 0.00 0.05 0.00 0.00
3585.65/3597.04 c rootredcost : 0.03 0.00 0.00 0.02 0.00 0.01
3585.65/3597.04 c symmetry : 0.14 0.00 0.09 0.04 0.00 0.01
3585.65/3597.04 c vbounds : 0.04 0.00 0.00 0.03 0.00 0.01
3585.65/3597.04 c Symmetry :
3585.65/3597.04 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.65/3597.04 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.65/3597.04 c lexicographic red: 0 reductions applied, 0 cutoffs
3585.65/3597.04 c shadow tree time : 0.00 s
3585.65/3597.04 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.65/3597.04 c propagation : 0.46 3706 3452 - 8053 143.2 10 162.4 - - -
3585.65/3597.04 c infeasible LP : 0.82 1025 1017 - 2108 128.7 5 137.8 540 684.0 0
3585.65/3597.04 c bound exceed. LP : 1.15 264 39 - 54 89.4 0 0.0 0 0.0 2283
3585.65/3597.04 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.65/3597.04 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.65/3597.04 c applied globally : 0.01 - - 0 6430 112.1 - - 540 - -
3585.65/3597.04 c applied locally : - - - 0 5 203.6 - - 0 - -
3585.65/3597.04 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.65/3597.04 c cut pool : 8.37 - 4629 45 - - 60844 312776 - - - - - (maximal pool size: 8705)
3585.65/3597.04 c aggregation : 10.90 0.00 364 23 0 0 40352 236622 0 34919 34919 0 0
3585.65/3597.04 c > cmir : - - - - - - - 205707 0 29021 29021 0 -
3585.65/3597.04 c > flowcover : - - - - - - - 17785 0 4698 4698 0 -
3585.65/3597.04 c > knapsackcover : - - - - - - - 13130 0 1200 1200 0 -
3585.65/3597.04 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c clique : 0.00 0.00 23 23 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c gomory : 20.88 0.00 336 20 0 0 19938 54774 0 4437 4437 0 0
3585.65/3597.04 c > gomorymi : - - - - - - - 21453 0 721 721 0 -
3585.65/3597.04 c > strongcg : - - - - - - - 33321 0 3716 3716 0 -
3585.65/3597.04 c impliedbounds : 0.01 0.00 364 23 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c multilinear : 0.00 0.00 133 23 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c rapidlearning : 40.49 0.00 53 0 0 0 0 0 0 0 0 0 530
3585.65/3597.04 c rlt : 0.00 0.00 178 20 0 0 0 0 0 0 0 0 0
3585.65/3597.04 c zerohalf : 0.57 0.00 339 23 0 0 554 21380 0 7548 7548 0 0
3585.65/3597.04 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.65/3597.04 c hybrid : 1.16 0.00 3953 24 46904 0 270588 2467 0 23429
3585.65/3597.04 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.04 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.04 c Pricers : ExecTime SetupTime Calls Vars
3585.65/3597.04 c problem variables: 0.00 - 0 0
3585.65/3597.04 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.65/3597.04 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.04 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.04 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.04 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.04 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.04 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.04 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.04 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.04 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.04 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.04 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.04 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.04 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.04 c relpscost : 712.29 0.00 18581 0 0 0 19 0 34 37134
3585.65/3597.04 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.65/3597.04 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.65/3597.04 c LP solutions : 0.00 - - 0 0
3585.65/3597.04 c relax solutions : 0.00 - - 0 0
3585.65/3597.04 c pseudo solutions : 0.00 - - 0 0
3585.65/3597.04 c strong branching : 0.05 - - 0 0
3585.65/3597.04 c actconsdiving : 0.00 0.00 0 0 0
3585.65/3597.04 c adaptivediving : 12.10 0.00 27 0 0
3585.65/3597.04 c alns : 7.10 0.00 8 2 2
3585.65/3597.04 c bound : 0.00 0.00 0 0 0
3585.65/3597.04 c clique : 0.12 0.00 1 0 0
3585.65/3597.04 c coefdiving : 0.00 0.00 0 0 0
3585.65/3597.04 c completesol : 0.00 0.00 0 0 0
3585.65/3597.04 c conflictdiving : 22.96 0.00 172 0 0
3585.65/3597.04 c crossover : 11.92 0.00 4 2 0
3585.65/3597.04 c dins : 0.00 0.00 0 0 0
3585.65/3597.04 c distributiondivin: 80.06 0.00 172 0 0
3585.65/3597.04 c dps : 0.00 0.00 0 0 0
3585.65/3597.04 c dualval : 0.00 0.00 0 0 0
3585.65/3597.04 c farkasdiving : 0.00 0.00 0 0 0
3585.65/3597.04 c feasjump : 0.00 0.00 0 0 0
3585.65/3597.04 c feaspump : 32.28 0.00 34 0 0
3585.65/3597.04 c fixandinfer : 0.00 0.00 0 0 0
3585.65/3597.04 c fracdiving : 33.60 0.00 173 0 0
3585.65/3597.04 c gins : 0.06 0.00 0 0 0
3585.65/3597.04 c guideddiving : 56.20 0.00 172 0 0
3585.65/3597.04 c indcoefdiving : 0.00 0.00 0 0 0
3585.65/3597.04 c indicator : 0.01 0.00 0 0 0
3585.65/3597.04 c indicatordiving : 0.00 0.00 0 0 0
3585.65/3597.04 c indoneopt : 0.01 0.00 0 0 0
3585.65/3597.04 c indrounding : 0.00 0.00 0 0 0
3585.65/3597.04 c indtwoopt : 0.00 0.00 0 0 0
3585.65/3597.04 c intdiving : 0.00 0.00 0 0 0
3585.65/3597.04 c intshifting : 0.00 0.00 0 0 0
3585.65/3597.04 c linesearchdiving : 30.18 0.00 172 0 0
3585.65/3597.04 c localbranching : 0.00 0.00 0 0 0
3585.65/3597.04 c locks : 0.30 0.00 1 1 1
3585.65/3597.04 c lpface : 0.23 0.00 2 0 0
3585.65/3597.04 c mpec : 0.00 0.00 0 0 0
3585.65/3597.04 c multistart : 0.00 0.00 0 0 0
3585.65/3597.04 c mutation : 0.00 0.00 0 0 0
3585.65/3597.04 c nlpdiving : 0.00 0.00 0 0 0
3585.65/3597.04 c objpscostdiving : 66.37 0.00 10 0 0
3585.65/3597.04 c octane : 0.00 0.00 0 0 0
3585.65/3597.04 c ofins : 0.00 0.00 0 0 0
3585.65/3597.04 c oneopt : 0.07 0.00 5 2 2
3585.65/3597.04 c padm : 0.00 0.00 0 0 0
3585.65/3597.04 c proximity : 0.00 0.00 0 0 0
3585.65/3597.04 c pscostdiving : 93.54 0.00 173 0 0
3585.65/3597.04 c randrounding : 1.13 0.00 3039 0 0
3585.65/3597.04 c rens : 0.15 0.00 2 0 0
3585.65/3597.04 c reoptsols : 0.00 0.00 0 0 0
3585.65/3597.04 c repair : 0.00 0.00 0 0 0
3585.65/3597.04 c rins : 55.05 0.00 14 2 2
3585.65/3597.04 c rootsoldiving : 45.54 0.00 10 0 0
3585.65/3597.04 c rounding : 1.58 0.00 2078 0 0
3585.65/3597.04 c scheduler : 0.00 0.00 0 0 0
3585.65/3597.04 c shiftandpropagate: 0.00 0.00 0 0 0
3585.65/3597.04 c shifting : 7.02 0.00 1038 0 0
3585.65/3597.04 c simplerounding : 0.01 0.00 0 0 0
3585.65/3597.04 c smallcard : 0.00 0.00 0 0 0
3585.65/3597.04 c subnlp : 0.01 0.00 0 0 0
3585.65/3597.04 c trivial : 0.00 0.00 4 0 0
3585.65/3597.04 c trivialnegation : 0.00 0.00 0 0 0
3585.65/3597.04 c trustregion : 0.00 0.00 0 0 0
3585.65/3597.04 c trysol : 0.01 0.00 0 0 0
3585.65/3597.04 c twoopt : 0.00 0.00 0 0 0
3585.65/3597.04 c undercover : 0.00 0.00 0 0 0
3585.65/3597.04 c vbounds : 0.00 0.00 0 0 0
3585.65/3597.04 c veclendiving : 17.00 0.00 172 0 0
3585.65/3597.04 c zeroobj : 0.00 0.00 0 0 0
3585.65/3597.04 c zirounding : 0.21 0.00 1000 0 0
3585.65/3597.04 c other solutions : - - - 0 -
3585.65/3597.04 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.65/3597.04 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.65/3597.04 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.65/3597.04 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.65/3597.04 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.65/3597.04 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.65/3597.04 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.65/3597.04 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.65/3597.04 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.65/3597.04 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.65/3597.04 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.65/3597.04 c primal LP : 12.99 1698 0 0.00 0.00 12.99 1698
3585.65/3597.04 c dual LP : 2172.59 23142 10609708 461.05 4883.43 0.76 130
3585.65/3597.04 c lex dual LP : 0.00 0 0 0.00 -
3585.65/3597.04 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.65/3597.04 c resolve instable : 0.23 3 1700 566.67 7362.27
3585.65/3597.04 c diving/probing LP: 509.47 6094 1948936 319.81 3825.43
3585.65/3597.04 c strong branching : 630.52 7050 2297359 325.87 3643.62 - - 2422
3585.65/3597.04 c (at root node) : - 47 26761 569.38 -
3585.65/3597.04 c conflict analysis: 0.98 232 2283 9.84 2327.46
3585.65/3597.04 c B&B Tree :
3585.65/3597.04 c number of runs : 2
3585.65/3597.04 c nodes : 18467 (17518 internal, 949 leaves)
3585.65/3597.04 c feasible leaves : 0
3585.65/3597.04 c infeas. leaves : 627
3585.65/3597.04 c objective leaves : 321
3585.65/3597.04 c nodes (total) : 19516 (18567 internal, 949 leaves)
3585.65/3597.04 c nodes left : 16514
3585.65/3597.04 c max depth : 205
3585.65/3597.04 c max depth (total): 205
3585.65/3597.04 c backtracks : 1029 (5.6%)
3585.65/3597.04 c early backtracks : 0 (0.0%)
3585.65/3597.04 c nodes exc. ref. : 0 (0.0%)
3585.65/3597.04 c delayed cutoffs : 57
3585.65/3597.04 c repropagations : 1075 (4827 domain reductions, 57 cutoffs)
3585.65/3597.04 c avg switch length: 4.59
3585.65/3597.04 c switching time : 16.28
3585.65/3597.04 c Root Node :
3585.65/3597.04 c First LP value : +0.00000000000000e+00
3585.65/3597.04 c First LP Iters : 262 (9473.53 Iter/sec)
3585.65/3597.04 c First LP Time : 0.03
3585.65/3597.04 c Final Dual Bound : +0.00000000000000e+00
3585.65/3597.04 c Final Root Iters : 5690
3585.65/3597.04 c Root LP Estimate : +1.47831988002660e+01
3585.65/3597.04 c Solution :
3585.65/3597.04 c Solutions found : 9 (7 improvements)
3585.65/3597.04 c First Solution : +4.06000000000000e+02 (in run 1, after 1 nodes, 2.45 seconds, depth 774, found by <locks>)
3585.65/3597.04 c Gap First Sol. : infinite
3585.65/3597.04 c Gap Last Sol. : infinite
3585.65/3597.04 c Primal Bound : +7.80000000000000e+01 (in run 1, after 672 nodes, 247.79 seconds, depth 50, found by <rins>)
3585.65/3597.04 c Dual Bound : +0.00000000000000e+00
3585.65/3597.04 c Gap : infinite
3585.65/3597.04 c Integrals : Total Avg%
3585.65/3597.04 c primal-dual : 359699.55 100.00
3585.65/3597.04 c primal-ref : - - (not evaluated)
3585.65/3597.04 c dual-ref : - - (not evaluated)
3585.84/3597.21 c Time complete: 3585.85.
OK 78
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (62421 MiB free)
memory of node 1: 64507 MiB (61759 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523480-1751594361/watcher-4523480-1751594361 -o /tmp/evaluation-result-4523480-1751594361/solver-4523480-1751594361 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751594361-89439 --watchdog 3760 pbscip -f HOME/instance-4523480-1751594361.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=89485, runsolver pid=89479
Current StackSize limit: 8192 KiB
[startup+0.100072 s]*
/proc/loadavg: 2.39 3.70 3.98 5/251 89498
/proc/meminfo: memFree=127150288/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=46212 memory=18560 CPUtime=0.08 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 1681 0 0 0 8 0 0 0 20 0 1 0 75115872 47321088 4640 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 11553 4640 3264 3530 0 3004 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 46212 KiB
Current children cumulated memory: 18560 KiB
[startup+0.213572 s]*
/proc/loadavg: 2.39 3.70 3.98 5/251 89498
/proc/meminfo: memFree=127134816/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=49576 memory=21760 CPUtime=0.2 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 2492 0 0 0 19 1 0 0 20 0 1 0 75115872 50765824 5440 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 12394 5440 3264 3530 0 3845 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 49576 KiB
Current children cumulated memory: 21760 KiB
[startup+0.312732 s]*
/proc/loadavg: 2.39 3.70 3.98 5/251 89498
/proc/meminfo: memFree=127099700/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=62992 memory=37248 CPUtime=0.3 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 6095 0 0 0 28 2 0 0 20 0 1 0 75115872 64503808 9312 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 15748 9312 3552 3530 0 7199 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 62992 KiB
Current children cumulated memory: 37248 KiB
[startup+0.700309 s]
/proc/loadavg: 2.39 3.70 3.98 5/251 89498
/proc/meminfo: memFree=126862316/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=113912 memory=87576 CPUtime=0.67 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 19630 0 0 0 61 6 0 0 20 0 1 0 75115872 116645888 21894 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 28478 21894 3648 3530 0 19929 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 113912 KiB
Current children cumulated memory: 87576 KiB
[startup+1.50035 s]
/proc/loadavg: 2.39 3.70 3.98 5/251 89498
/proc/meminfo: memFree=126805740/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=180644 memory=153608 CPUtime=1.47 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 38080 0 0 0 135 12 0 0 20 0 1 0 75115872 184979456 38402 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 45161 38402 3808 3530 0 36612 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 180644 KiB
Current children cumulated memory: 153608 KiB
[startup+3.11274 s]
/proc/loadavg: 2.52 3.71 3.98 5/251 89498
/proc/meminfo: memFree=126045148/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=441428 memory=385424 CPUtime=3.07 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 67303 0 0 0 287 20 0 0 20 0 1 0 75115872 452022272 96356 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 110357 96356 3968 3530 0 101808 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 441428 KiB
Current children cumulated memory: 385424 KiB
[startup+6.30033 s]
/proc/loadavg: 2.52 3.71 3.98 5/251 89498
/proc/meminfo: memFree=125645316/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=551516 memory=493180 CPUtime=6.25 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 91724 0 0 0 601 24 0 0 20 0 1 0 75115872 564752384 123295 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 137879 123295 3968 3530 0 129330 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 551516 KiB
Current children cumulated memory: 493180 KiB
[startup+12.7003 s]
/proc/loadavg: 2.82 3.74 3.99 5/251 89498
/proc/meminfo: memFree=125310276/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=669284 memory=608400 CPUtime=12.63 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 117471 0 0 0 1234 29 0 0 20 0 1 0 75115872 685346816 152100 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 167321 152100 4000 3530 0 158772 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 669284 KiB
Current children cumulated memory: 608400 KiB
[startup+25.5004 s]
/proc/loadavg: 3.00 3.75 3.99 5/251 89498
/proc/meminfo: memFree=124850424/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=679996 memory=619508 CPUtime=25.39 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 117663 0 0 0 2510 29 0 0 20 0 1 0 75115872 696315904 154877 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 169999 154877 4000 3530 0 161450 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 679996 KiB
Current children cumulated memory: 619508 KiB
[startup+51.1126 s]
/proc/loadavg: 3.35 3.77 3.99 5/251 89499
/proc/meminfo: memFree=124604648/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=724420 memory=664064 CPUtime=50.92 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 173325 0 0 0 5052 40 0 0 20 0 1 0 75115872 741806080 166016 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 181105 166016 4000 3530 0 172556 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 724420 KiB
Current children cumulated memory: 664064 KiB
[startup+102.3 s]
/proc/loadavg: 3.85 3.84 4.00 5/251 89513
/proc/meminfo: memFree=124331432/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=817188 memory=757688 CPUtime=101.96 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 312929 0 0 0 10126 70 0 0 20 0 1 0 75115872 836800512 189422 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 204297 189422 4000 3530 0 195748 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 817188 KiB
Current children cumulated memory: 757688 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 3.87 4.00 5/252 89517
/proc/meminfo: memFree=124342132/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=826060 memory=767256 CPUtime=161.77 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 350139 0 0 0 16099 78 0 0 20 0 1 0 75115872 845885440 191814 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 206515 191814 4000 3530 0 197966 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 826060 KiB
Current children cumulated memory: 767256 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 3.93 4.01 5/252 89519
/proc/meminfo: memFree=124309736/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=846688 memory=792340 CPUtime=221.59 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 352818 0 0 0 22080 79 0 0 20 0 1 0 75115872 867008512 198085 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 211672 198085 4000 3530 0 203123 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 846688 KiB
Current children cumulated memory: 792340 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.96 4.01 5/252 89566
/proc/meminfo: memFree=124374820/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=846688 memory=793236 CPUtime=281.4 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 352825 0 0 0 28061 79 0 0 20 0 1 0 75115872 867008512 198309 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 211672 198309 4000 3530 0 203123 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 846688 KiB
Current children cumulated memory: 793236 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.00 4.01 5/251 89568
/proc/meminfo: memFree=124176828/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=846688 memory=794004 CPUtime=341.21 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 353031 0 0 0 34042 79 0 0 20 0 1 0 75115872 867008512 198501 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 211672 198501 4000 3530 0 203123 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 846688 KiB
Current children cumulated memory: 794004 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.02 4.01 5/250 89570
/proc/meminfo: memFree=124154536/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=854700 memory=803412 CPUtime=401.03 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 405850 0 0 0 40011 92 0 0 20 0 1 0 75115872 875212800 200853 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 213675 200853 4000 3530 0 205126 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 854700 KiB
Current children cumulated memory: 803412 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.03 4.01 5/249 89572
/proc/meminfo: memFree=124067564/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=834248 memory=784092 CPUtime=460.83 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 523872 0 0 0 45967 116 0 0 20 0 1 0 75115872 854269952 196023 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 208562 196023 4160 3530 0 200013 0
################
# More data... #
################
/proc/loadavg: 4.14 4.15 4.18 5/251 89707
/proc/meminfo: memFree=123809668/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=876772 memory=827512 CPUtime=3152.22 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 717660 0 0 0 315064 158 0 0 20 0 1 0 75115872 897814528 206878 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 219193 206878 4160 3530 0 210644 0
Current children cumulated CPU time: 3152.22 s
Current children cumulated vsize: 876772 KiB
Current children cumulated memory: 827512 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.14 4.18 5/250 89709
/proc/meminfo: memFree=123749472/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=933908 memory=884020 CPUtime=3212.04 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 752938 0 0 0 321038 166 0 0 20 0 1 0 75115872 956321792 221005 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 233477 221005 4160 3530 0 224928 0
Current children cumulated CPU time: 3212.04 s
Current children cumulated vsize: 933908 KiB
Current children cumulated memory: 884020 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.16 4.18 5/251 89712
/proc/meminfo: memFree=123733988/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=933908 memory=884532 CPUtime=3271.87 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 753074 0 0 0 327021 166 0 0 20 0 1 0 75115872 956321792 221133 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 233477 221133 4160 3530 0 224928 0
Current children cumulated CPU time: 3271.87 s
Current children cumulated vsize: 933908 KiB
Current children cumulated memory: 884532 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.16 4.18 5/251 89714
/proc/meminfo: memFree=123793388/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=879064 memory=829804 CPUtime=3331.69 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 753346 0 0 0 333003 166 0 0 20 0 1 0 75115872 900161536 207451 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 219766 207451 4160 3530 0 211217 0
Current children cumulated CPU time: 3331.69 s
Current children cumulated vsize: 879064 KiB
Current children cumulated memory: 829804 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.16 4.18 5/251 89716
/proc/meminfo: memFree=123796672/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=879064 memory=829804 CPUtime=3391.51 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 753366 0 0 0 338985 166 0 0 20 0 1 0 75115872 900161536 207451 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 219766 207451 4160 3530 0 211217 0
Current children cumulated CPU time: 3391.51 s
Current children cumulated vsize: 879064 KiB
Current children cumulated memory: 829804 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.17 5/251 89718
/proc/meminfo: memFree=123779956/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=883132 memory=833872 CPUtime=3451.34 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 796143 0 0 0 344959 175 0 0 20 0 1 0 75115872 904327168 208468 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 220783 208468 4160 3530 0 212234 0
Current children cumulated CPU time: 3451.34 s
Current children cumulated vsize: 883132 KiB
Current children cumulated memory: 833872 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.17 5/251 89720
/proc/meminfo: memFree=123784204/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=883132 memory=833872 CPUtime=3511.16 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 796143 0 0 0 350941 175 0 0 20 0 1 0 75115872 904327168 208468 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 220783 208468 4160 3530 0 212234 0
Current children cumulated CPU time: 3511.16 s
Current children cumulated vsize: 883132 KiB
Current children cumulated memory: 833872 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/251 89722
/proc/meminfo: memFree=123808512/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=883132 memory=833872 CPUtime=3570.99 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 796143 0 0 0 356924 175 0 0 20 0 1 0 75115872 904327168 208468 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 220783 208468 4160 3530 0 212234 0
Current children cumulated CPU time: 3570.99 s
Current children cumulated vsize: 883132 KiB
Current children cumulated memory: 833872 KiB
[startup+3597.22 s]
# the end of solver process 89485 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.04 s, system=1.82349 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.13 4.17 5/251 89722
/proc/meminfo: memFree=123769156/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=926292 memory=876528 CPUtime=3572.69 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 812379 0 0 0 357091 178 0 0 20 0 1 0 75115872 948523008 219132 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 231573 219132 4160 3530 0 223024 0
Current children cumulated CPU time: 3572.69 s
Current children cumulated vsize: 926292 KiB
Current children cumulated memory: 876528 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.13 4.17 5/251 89722
/proc/meminfo: memFree=123761876/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=927348 memory=877552 CPUtime=3579.06 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 828963 0 0 0 357725 181 0 0 20 0 1 0 75115872 949604352 219388 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 231837 219388 4160 3530 0 223288 0
Current children cumulated CPU time: 3579.06 s
Current children cumulated vsize: 927348 KiB
Current children cumulated memory: 877552 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.13 4.16 5/250 89722
/proc/meminfo: memFree=123761884/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=927348 memory=877552 CPUtime=3582.25 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 828963 0 0 0 358044 181 0 0 20 0 1 0 75115872 949604352 219388 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 231837 219388 4160 3530 0 223288 0
Current children cumulated CPU time: 3582.25 s
Current children cumulated vsize: 927348 KiB
Current children cumulated memory: 877552 KiB
[startup+3595.2 s]
/proc/loadavg: 4.13 4.13 4.16 5/250 89722
/proc/meminfo: memFree=123761884/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=927348 memory=877552 CPUtime=3583.84 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 828963 0 0 0 358203 181 0 0 20 0 1 0 75115872 949604352 219388 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 231837 219388 4160 3530 0 223288 0
Current children cumulated CPU time: 3583.84 s
Current children cumulated vsize: 927348 KiB
Current children cumulated memory: 877552 KiB
[startup+3596 s]*
/proc/loadavg: 4.13 4.13 4.16 5/250 89722
/proc/meminfo: memFree=123761884/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=927348 memory=877552 CPUtime=3584.65 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 828963 0 0 0 358284 181 0 0 20 0 1 0 75115872 949604352 219388 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 231837 219388 4160 3530 0 223288 0
Current children cumulated CPU time: 3584.65 s
Current children cumulated vsize: 927348 KiB
Current children cumulated memory: 877552 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.13 4.16 5/250 89722
/proc/meminfo: memFree=123761884/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=927348 memory=877552 CPUtime=3585.44 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 828963 0 0 0 358363 181 0 0 20 0 1 0 75115872 949604352 219388 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 231837 219388 4160 3530 0 223288 0
Current children cumulated CPU time: 3585.44 s
Current children cumulated vsize: 927348 KiB
Current children cumulated memory: 877552 KiB
[startup+3597.2 s]
/proc/loadavg: 4.13 4.13 4.16 5/250 89722
/proc/meminfo: memFree=123763504/131382116 swapFree=33010684/33010684
[pid=89485] ppid=89479 vsize=927348 memory=877552 CPUtime=3585.84 cores=0,2
/proc/89485/stat : 89485 (pbscip) R 89479 89485 89429 0 -1 4194304 828966 0 0 0 358403 181 0 0 20 0 1 0 75115872 949604352 219388 18446744073709551615 4235264 18693293 140725072266720 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 33480704 140725072275849 140725072275948 140725072275948 140725072281550 0
/proc/89485/statm: 231837 219388 4160 3530 0 223288 0
Current children cumulated CPU time: 3585.84 s
Current children cumulated vsize: 927348 KiB
Current children cumulated memory: 877552 KiB
Child status: 0
Real time (s): 3597.22
CPU time (s): 3585.86
CPU user time (s): 3584.04
CPU system time (s): 1.82349
CPU usage (%): 99.6844
Max. virtual memory (cumulated for all children) (KiB): 936524
Max. memory (cumulated for all children) (KiB): 886544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.04
system time used= 1.82349
maximum resident set size= 886544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 829008
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= 157
involuntary context switches= 7810
# summary of solver processes directly reported to runsolver:
# pid: 89485
# total CPU time (s): 3585.86
# total CPU user time (s): 3584.04
# total CPU system time (s): 1.82349
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.519 second user time and 33.8646 second system time
The end
Begin job on nodeC011 at 2025-07-04 03:59:21 IDJOB=4523480 IDBENCH=180363 IDSOLVER=3365 FILE ID=nodeC011/4523480-1751594361 RUNJOBID= nodeC011-1751594361-89439 SLURM_JOB_ID= 9598860 Free space on /tmp= 430524 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_rot_8_label1_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-4523480-1751594361/watcher-4523480-1751594361 -o /tmp/evaluation-result-4523480-1751594361/solver-4523480-1751594361 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751594361-89439 --watchdog 3760 pbscip -f HOME/instance-4523480-1751594361.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0f8d279ff02416fc8d5941f7f119b5c9 RANDOM SEED=740600733 nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.288 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.550 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.288 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.293 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.289 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 127154260 kB MemAvailable: 129893420 kB Buffers: 3276 kB Cached: 3534520 kB SwapCached: 0 kB Active: 514172 kB Inactive: 3092768 kB Active(anon): 85000 kB Inactive(anon): 2104 kB Active(file): 429172 kB Inactive(file): 3090664 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 85868 kB Writeback: 0 kB AnonPages: 71600 kB Mapped: 103008 kB Shmem: 17960 kB KReclaimable: 117516 kB Slab: 203116 kB SReclaimable: 117516 kB SUnreclaim: 85600 kB KernelStack: 3816 kB PageTables: 2712 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 332692 kB VmallocTotal: 34359738367 kB VmallocUsed: 149224 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 191304 kB DirectMap2M: 8099840 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 430452 MiB End job on nodeC011 at 2025-07-04 04:59:19