Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | SAT | 170 | 3586.17 | 3597.27 |
| 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.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4523481-1751590980.opb>
0.20/0.23 c original problem has 1289 variables (1289 bin, 0 int, 0 cont) and 1094 constraints
0.20/0.23 c problem read in 0.230 seconds
0.31/0.38 c presolving:
0.59/0.63 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.68/0.70 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.88/0.90 c (0.9s) running MILP presolver
0.88/0.99 c (1.0s) MILP presolver found nothing
1.09/1.16 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.28/1.36 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.48/1.56 c (1.6s) probing: 51/1276 (4.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.48/1.56 c (1.6s) probing aborted: 50/50 successive totally useless probings
1.68/1.78 c (1.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.77/1.85 c (1.8s) no symmetry present (symcode time: 0.00)
1.87/1.97 c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
1.87/1.97 c 13 deleted vars, 22 deleted constraints, 0 added constraints, 13 tightened bounds, 0 added holes, 200 changed sides, 400 changed coefficients
1.87/1.97 c 0 implications, 1 cliques
1.87/1.97 c presolved problem has 1276 variables (1276 bin, 0 int, 0 cont) and 1072 constraints
1.87/1.97 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1.87/1.97 c 1071 constraints of type <knapsack>
1.87/1.97 c 1 constraints of type <setppc>
1.87/1.97 c transformed objective value is always integral (scale: 1)
1.87/1.97 c Presolving Time: 1.60
1.87/1.97 c
1.87/1.97 c - non default parameters ----------------------------------------------------------------------
1.87/1.97 c
1.87/1.97 c # SCIP version 10.0.0
1.87/1.97 c
1.87/1.97 c # maximal time in seconds to run
1.87/1.97 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.87/1.97 c limits/time = 3596.995048
1.87/1.97 c
1.87/1.97 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.87/1.97 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.87/1.97 c limits/memory = 27900
1.87/1.97 c
1.87/1.97 c # belongs reading time to solving time?
1.87/1.97 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.87/1.97 c timing/reading = TRUE
1.87/1.97 c
1.87/1.97 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
1.87/1.97 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
1.87/1.97 c reading/opbreader/maxintsize = 47
1.87/1.97 c
1.87/1.97 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
1.87/1.97 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
1.87/1.97 c propagating/genvbounds/timingmask = 0
1.87/1.97 c
1.87/1.97 c -----------------------------------------------------------------------------------------------
1.87/1.97 c
2.27/2.37 o 406
2.27/2.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.27/2.37 c p 2.4s| 1 | 0 | 0 | - | locks| 0 |1276 |1072 |1072 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.060000e+02 | Inf | unknown
2.27/2.39 o 398
2.27/2.39 c i 2.4s| 1 | 0 | 0 | - | oneopt| 0 |1276 |1072 |1072 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
2.37/2.42 c 2.4s| 1 | 0 | 262 | - | 343M | 0 |1276 |1072 |1072 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
2.87/2.95 c 3.0s| 1 | 0 | 482 | - | 371M | 0 |1276 |1072 |1233 | 161 | 1 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
3.47/3.54 c 3.5s| 1 | 0 | 616 | - | 390M | 0 |1276 |1072 |1355 | 283 | 2 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
4.08/4.15 c 4.1s| 1 | 0 | 728 | - | 412M | 0 |1276 |1072 |1457 | 385 | 3 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
4.67/4.75 c 4.7s| 1 | 0 | 917 | - | 437M | 0 |1276 |1072 |1549 | 477 | 4 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
5.16/5.29 c 5.3s| 1 | 0 | 1012 | - | 461M | 0 |1276 |1072 |1621 | 549 | 5 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
5.76/5.84 c 5.8s| 1 | 0 | 1104 | - | 478M | 0 |1276 |1072 |1683 | 611 | 6 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
6.26/6.38 c 6.4s| 1 | 0 | 1222 | - | 493M | 0 |1276 |1072 |1756 | 684 | 7 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
6.86/6.95 c 6.9s| 1 | 0 | 1338 | - | 530M | 0 |1276 |1072 |1807 | 735 | 8 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
7.35/7.46 c 7.5s| 1 | 0 | 1419 | - | 541M | 0 |1276 |1072 |1864 | 792 | 9 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
7.97/8.03 c 8.0s| 1 | 0 | 1500 | - | 580M | 0 |1276 |1072 |1914 | 842 | 10 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
8.35/8.41 c 8.4s| 1 | 0 | 1569 | - | 582M | 0 |1276 |1072 |1810 | 897 | 11 | 0 | 0 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
11.95/12.04 c 12.0s| 1 | 2 | 2953 | - | 582M | 0 |1276 |1072 |1810 | 897 | 11 | 0 | 26 | 0.000000e+00 | 3.980000e+02 | Inf | unknown
47.74/47.97 o 349
47.74/47.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
47.74/47.97 c L48.0s| 87 | 88 | 59688 | 675.8 | alns| 23 |1276 |1114 |1198 |1339 | 2 | 42 | 289 | 0.000000e+00 | 3.490000e+02 | Inf | unknown
47.95/48.15 o 339
47.95/48.15 c L48.1s| 87 | 88 | 59688 | 675.8 | alns| 23 |1276 |1114 |1198 |1339 | 2 | 42 | 289 | 0.000000e+00 | 3.390000e+02 | Inf | unknown
48.13/48.37 o 318
48.13/48.37 c i48.4s| 88 | 87 | 59688 | 668.0 | oneopt| 23 |1276 |1114 |1195 |1339 | 0 | 42 | 289 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
51.43/51.62 c 51.6s| 100 | 101 | 68280 | 673.8 | 600M | 23 |1276 |1116 |1184 |1397 | 1 | 44 | 301 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
73.37/73.61 c 73.6s| 200 | 201 |138286 | 687.0 | 617M | 23 |1276 |1120 |1195 |1906 | 1 | 48 | 338 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
99.68/100.05 c 100s| 300 | 301 |208108 | 690.8 | 659M | 23 |1276 |1130 |1189 |2500 | 1 | 59 | 377 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
134.06/134.57 c 135s| 400 | 401 |313592 | 782.0 | 654M | 23 |1276 |1143 |1205 |3129 | 1 | 72 | 413 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
169.76/170.35 c 170s| 500 | 501 |362509 | 723.3 | 654M | 29 |1276 |1153 |1190 |3493 | 1 | 82 | 443 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
191.89/192.53 c 193s| 600 | 601 |420412 | 699.2 | 654M | 33 |1276 |1165 |1200 |3770 | 2 | 95 | 476 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
222.99/223.79 c 224s| 700 | 701 |520418 | 742.3 | 655M | 33 |1276 |1169 |1201 |4259 | 1 | 100 | 535 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
251.11/251.91 c 252s| 800 | 801 |590269 | 736.8 | 655M | 33 |1276 |1175 |1212 |4464 | 1 | 112 | 583 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
270.74/271.64 c 272s| 900 | 901 |640159 | 710.3 | 653M | 39 |1276 |1181 |1221 |4630 | 1 | 118 | 618 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
296.76/297.71 c 298s| 1000 | 1001 |717709 | 716.9 | 654M | 51 |1276 |1187 |1238 |4990 | 1 | 125 | 653 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
307.93/308.90 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
324.68/325.71 c (run 1, node 1049) performing user restart
324.68/325.71 c
324.68/325.71 c (restart) converted 189 cuts from the global cut pool into linear constraints
324.68/325.71 c
324.88/325.97 c presolving:
324.88/325.99 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 3 chg coeffs, 0 upgd conss, 0 impls, 1 clqs
324.88/326.01 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 3 chg coeffs, 184 upgd conss, 0 impls, 1 clqs
325.18/326.20 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
325.18/326.20 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 6 changed coefficients
325.18/326.20 c 0 implications, 1 cliques
325.18/326.20 c presolved problem has 1276 variables (1276 bin, 0 int, 0 cont) and 1375 constraints
325.18/326.20 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
325.18/326.20 c 1255 constraints of type <knapsack>
325.18/326.20 c 1 constraints of type <setppc>
325.18/326.20 c 8 constraints of type <linear>
325.18/326.20 c 111 constraints of type <logicor>
325.18/326.20 c transformed objective value is always integral (scale: 1)
325.18/326.20 c Presolving Time: 1.83
325.18/326.24 c transformed 5/5 original solutions to the transformed problem space
325.18/326.24 c
325.28/326.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
325.28/326.39 c 326s| 1 | 0 |796336 | - | 585M | 0 |1276 |1375 |1261 | 0 | 0 | 125 | 685 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
325.88/326.98 c 327s| 1 | 0 |796645 | - | 590M | 0 |1276 |1376 |1385 | 124 | 1 | 126 | 685 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
326.58/327.69 c 328s| 1 | 0 |796861 | - | 592M | 0 |1276 |1377 |1513 | 252 | 2 | 127 | 685 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
327.37/328.48 c 328s| 1 | 0 |797059 | - | 602M | 0 |1276 |1378 |1684 | 423 | 3 | 128 | 685 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
328.17/329.28 c 329s| 1 | 0 |797295 | - | 613M | 0 |1276 |1380 |1866 | 605 | 4 | 130 | 685 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
328.99/330.01 c 330s| 1 | 0 |797571 | - | 626M | 0 |1276 |1381 |2022 | 761 | 5 | 131 | 685 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
329.57/330.66 c 331s| 1 | 0 |797724 | - | 624M | 0 |1276 |1382 |2138 | 877 | 6 | 132 | 685 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
330.27/331.36 c 331s| 1 | 0 |797912 | - | 624M | 0 |1276 |1383 |2262 |1001 | 7 | 133 | 685 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
331.08/332.17 c 332s| 1 | 0 |798105 | - | 635M | 0 |1276 |1384 |2364 |1103 | 8 | 134 | 685 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
331.87/332.99 c 333s| 1 | 0 |798349 | - | 630M | 0 |1276 |1385 |2437 |1176 | 9 | 135 | 685 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
332.66/333.76 c 334s| 1 | 0 |798666 | - | 636M | 0 |1276 |1386 |2519 |1258 | 10 | 136 | 685 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
333.07/334.17 c 334s| 1 | 0 |798837 | - | 641M | 0 |1276 |1387 |2603 |1342 | 11 | 137 | 685 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
333.16/334.27 c 334s| 1 | 2 |798837 | - | 641M | 0 |1276 |1394 |2603 |1342 | 11 | 144 | 685 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
365.56/366.73 c 367s| 100 | 101 |879618 | 762.4 | 644M | 59 |1276 |1398 |1369 |1774 | 1 | 148 | 734 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
397.26/398.59 c 399s| 200 | 201 |954912 | 761.6 | 678M | 61 |1276 |1402 |1392 |2273 | 1 | 152 | 790 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
425.28/426.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
425.28/426.60 c 427s| 300 | 301 | 1019k| 752.7 | 717M | 61 |1276 |1406 |1367 |2788 | 2 | 156 | 832 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
459.17/460.62 c 461s| 400 | 401 | 1104k| 759.8 | 706M | 61 |1276 |1419 |1372 |3236 | 1 | 169 | 888 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
494.66/496.24 c 496s| 500 | 501 | 1192k| 767.7 | 706M | 75 |1276 |1421 |1425 |3565 | 1 | 171 | 949 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
528.36/530.01 c 530s| 600 | 601 | 1267k| 766.4 | 705M | 95 |1276 |1422 |1356 |3797 | 1 | 172 |1000 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
569.34/571.17 c 571s| 700 | 701 | 1367k| 779.9 | 706M | 95 |1276 |1433 |1441 |4027 | 1 | 183 |1071 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
600.03/602.00 c 602s| 800 | 801 | 1436k| 775.0 | 705M | 97 |1276 |1441 |1427 |4225 | 1 | 193 |1132 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
635.22/637.20 c 637s| 900 | 901 | 1529k| 783.0 | 701M | 97 |1276 |1442 |1435 |4432 | 1 | 194 |1181 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
667.82/669.99 c 670s| 1000 | 1001 | 1607k| 782.8 | 698M | 97 |1276 |1443 |1414 |4609 | 1 | 195 |1230 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
703.31/705.55 c 706s| 1100 | 1101 | 1693k| 786.4 | 697M | 97 |1276 |1447 |1431 |4779 | 1 | 199 |1294 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
733.12/735.48 c 735s| 1200 | 1201 | 1758k| 780.1 | 697M | 97 |1276 |1456 |1426 |4980 | 2 | 209 |1359 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
771.61/774.01 c 774s| 1300 | 1301 | 1849k| 785.8 | 698M | 97 |1276 |1458 |1401 |5392 | 1 | 211 |1427 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
804.40/806.93 c 807s| 1400 | 1401 | 1922k| 783.7 | 698M | 97 |1276 |1462 |1405 |5644 | 1 | 217 |1484 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
835.10/837.75 c 838s| 1500 | 1501 | 1989k| 779.2 | 698M | 97 |1276 |1466 |1407 |5938 | 1 | 222 |1553 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
869.99/872.76 c 873s| 1600 | 1601 | 2072k| 780.9 | 698M | 97 |1276 |1471 |1439 |6206 | 1 | 227 |1618 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
915.75/918.68 c 919s| 1700 | 1701 | 2177k| 790.7 | 693M | 97 |1276 |1477 |1450 |6455 | 1 | 233 |1725 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
950.35/953.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
950.35/953.35 c 953s| 1800 | 1801 | 2257k| 791.0 | 693M | 97 |1276 |1495 |1473 |6745 | 1 | 251 |1799 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1006.48/1009.64 c 1010s| 1900 | 1901 | 2399k| 812.4 | 693M | 99 |1276 |1506 |1366 |7027 | 1 | 262 |1891 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1042.67/1045.96 c 1046s| 2000 | 2001 | 2483k| 813.3 | 694M | 99 |1276 |1506 |1449 |7276 | 1 | 262 |1991 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1083.15/1086.59 c 1087s| 2100 | 2101 | 2576k| 817.1 | 694M | 99 |1276 |1516 |1440 |7588 | 1 | 272 |2111 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1132.51/1136.08 c 1136s| 2200 | 2201 | 2693k| 827.9 | 695M | 99 |1276 |1517 |1408 |7970 | 1 | 273 |2213 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1168.49/1172.17 c 1172s| 2300 | 2301 | 2771k| 826.6 | 695M | 99 |1276 |1530 |1442 |8181 | 1 | 286 |2322 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1197.41/1201.16 c 1201s| 2400 | 2401 | 2839k| 822.2 | 695M | 99 |1276 |1537 |1431 |8449 | 1 | 293 |2419 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1232.49/1236.39 c 1236s| 2500 | 2501 | 2918k| 821.4 | 696M | 101 |1276 |1541 |1409 |8708 | 2 | 297 |2529 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1264.79/1268.79 c 1269s| 2600 | 2601 | 2999k| 821.1 | 696M | 101 |1276 |1544 |1431 |8925 | 1 | 300 |2623 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1286.82/1290.82 c 1291s| 2700 | 2701 | 3064k| 816.5 | 696M | 101 |1276 |1550 |1425 |9129 | 1 | 307 |2664 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1323.70/1327.82 c 1328s| 2800 | 2801 | 3182k| 825.9 | 696M | 101 |1276 |1558 |1386 |9345 | 1 | 315 |2724 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1355.82/1360.05 c 1360s| 2900 | 2901 | 3287k| 831.6 | 697M | 101 |1276 |1561 |1448 |9606 | 1 | 321 |2753 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1378.63/1382.99 c 1383s| 3000 | 3001 | 3353k| 827.4 | 697M | 101 |1276 |1571 |1439 |9797 | 1 | 332 |2773 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1419.80/1424.29 c 1424s| 3100 | 3101 | 3501k| 843.1 | 697M | 101 |1276 |1573 |1402 | 10k| 1 | 334 |2796 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1456.99/1461.50 c 1462s| 3200 | 3201 | 3631k| 853.8 | 697M | 101 |1276 |1587 |1405 | 10k| 1 | 348 |2819 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1472.34/1476.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1472.34/1476.94 c 1477s| 3300 | 3301 | 3681k| 845.7 | 697M | 101 |1276 |1588 |1503 | 10k| 4 | 349 |2820 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1499.37/1504.06 c 1504s| 3400 | 3401 | 3771k| 846.9 | 697M | 101 |1276 |1615 |1361 | 11k| 1 | 376 |2832 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1518.79/1523.52 c 1524s| 3500 | 3501 | 3836k| 842.7 | 698M | 101 |1276 |1624 |1396 | 11k| 1 | 385 |2840 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1541.42/1546.27 c 1546s| 3600 | 3601 | 3901k| 838.4 | 698M | 101 |1276 |1633 |1368 | 11k| 1 | 394 |2860 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1583.69/1588.61 c 1589s| 3700 | 3701 | 4018k| 845.5 | 698M | 101 |1276 |1643 |1459 | 12k| 1 | 405 |2895 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1618.00/1623.11 c 1623s| 3800 | 3801 | 4099k| 844.8 | 699M | 101 |1276 |1644 |1388 | 12k| 1 | 409 |2942 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1664.54/1669.70 c 1670s| 3900 | 3901 | 4218k| 851.6 | 699M | 101 |1276 |1657 |1436 | 12k| 1 | 424 |3010 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1700.53/1705.87 c 1706s| 4000 | 4001 | 4315k| 854.0 | 699M | 101 |1276 |1657 |1460 | 12k| 1 | 425 |3046 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1762.04/1767.59 c 1768s| 4100 | 4101 | 4470k| 867.5 | 700M | 101 |1276 |1667 |1435 | 13k| 1 | 437 |3148 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1802.91/1808.59 c 1809s| 4200 | 4201 | 4587k| 873.3 | 700M | 101 |1276 |1672 |1395 | 13k| 1 | 445 |3201 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1821.76/1827.44 c 1827s| 4300 | 4301 | 4646k| 867.9 | 700M | 101 |1276 |1673 |1434 | 13k| 1 | 447 |3226 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1833.02/1838.72 c 1839s| 4400 | 4401 | 4668k| 856.1 | 700M | 101 |1276 |1674 |1468 | 14k| 2 | 449 |3309 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1864.03/1869.82 c 1870s| 4500 | 4501 | 4749k| 855.2 | 700M | 101 |1276 |1678 |1447 | 14k| 2 | 455 |3393 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1899.92/1905.88 c 1906s| 4600 | 4601 | 4847k| 857.5 | 700M | 101 |1276 |1677 |1410 | 14k| 1 | 458 |3446 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1929.04/1935.09 c 1935s| 4700 | 4701 | 4932k| 857.3 | 700M | 101 |1276 |1677 |1448 | 14k| 1 | 459 |3501 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1954.15/1960.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1954.15/1960.21 c 1960s| 4800 | 4801 | 5006k| 855.3 | 698M | 101 |1276 |1678 |1489 | 15k| 1 | 460 |3529 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
1988.64/1994.81 c 1995s| 4900 | 4901 | 5115k| 859.4 | 699M | 101 |1276 |1693 |1416 | 15k| 1 | 478 |3555 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
2018.87/2025.11 c 2025s| 5000 | 5001 | 5224k| 863.1 | 700M | 101 |1276 |1696 |1450 | 16k| 1 | 484 |3570 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
2049.56/2055.95 c 2056s| 5100 | 5101 | 5333k| 866.8 | 700M | 101 |1276 |1710 |1433 | 16k| 1 | 502 |3576 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
2074.18/2080.66 c 2081s| 5200 | 5201 | 5418k| 866.5 | 700M | 101 |1276 |1722 |1440 | 16k| 1 | 518 |3577 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
2098.21/2104.78 c 2105s| 5300 | 5301 | 5501k| 866.0 | 700M | 101 |1276 |1733 |1354 | 16k| 1 | 532 |3582 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
2129.31/2135.97 c 2136s| 5400 | 5401 | 5614k| 870.0 | 700M | 101 |1276 |1752 |1446 | 17k| 1 | 555 |3589 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
2146.37/2153.05 c 2153s| 5500 | 5501 | 5674k| 865.9 | 700M | 101 |1276 |1754 |1315 | 17k| 1 | 558 |3592 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
2175.16/2181.94 c 2182s| 5600 | 5601 | 5773k| 867.9 | 701M | 111 |1276 |1764 |1428 | 17k| 1 | 576 |3612 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
2207.76/2214.66 c 2215s| 5700 | 5701 | 5890k| 872.3 | 702M | 111 |1276 |1776 |1420 | 17k| 1 | 596 |3625 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
2216.83/2223.79 c 2224s| 5800 | 5801 | 5917k| 863.5 | 702M | 111 |1276 |1784 |1358 | 18k| 1 | 606 |3633 | 0.000000e+00 | 3.180000e+02 | Inf | unknown
2224.70/2231.62 o 307
2224.70/2231.62 c L2232s| 5836 | 5837 | 5941k| 862.4 | alns| 111 |1276 |1784 |1445 | 18k| 2 | 607 |3640 | 0.000000e+00 | 3.070000e+02 | Inf | unknown
2224.80/2231.75 o 303
2224.80/2231.75 c i2232s| 5837 | 5836 | 5941k| 862.3 | oneopt| 111 |1276 |1784 |1444 | 18k| 0 | 607 |3640 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2231.48/2238.48 c 2238s| 5900 | 5901 | 5963k| 857.7 | 702M | 111 |1276 |1785 |1455 | 18k| 1 | 609 |3643 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2278.14/2285.22 c 2285s| 6000 | 6001 | 6120k| 867.8 | 703M | 111 |1276 |1792 |1386 | 18k| 1 | 629 |3664 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2316.02/2323.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2316.02/2323.29 c 2323s| 6100 | 6101 | 6226k| 870.5 | 703M | 111 |1276 |1809 |1434 | 18k| 1 | 651 |3697 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2363.07/2370.48 c 2370s| 6200 | 6201 | 6362k| 877.2 | 705M | 111 |1276 |1814 |1446 | 19k| 1 | 662 |3755 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2378.52/2385.98 c 2386s| 6300 | 6301 | 6404k| 871.0 | 705M | 111 |1276 |1818 |1436 | 19k| 1 | 672 |3777 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2397.97/2405.47 c 2405s| 6400 | 6401 | 6467k| 867.8 | 705M | 111 |1276 |1828 |1446 | 19k| 1 | 684 |3789 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2424.18/2431.77 c 2432s| 6500 | 6501 | 6534k| 865.1 | 705M | 111 |1276 |1828 |1462 | 20k| 1 | 688 |3837 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2462.16/2469.83 c 2470s| 6600 | 6601 | 6643k| 868.1 | 705M | 111 |1276 |1835 |1467 | 20k| 1 | 702 |3884 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2483.89/2491.69 c 2492s| 6700 | 6701 | 6704k| 864.8 | 705M | 131 |1276 |1836 |1449 | 20k| 1 | 708 |3924 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2514.21/2522.01 c 2522s| 6800 | 6801 | 6785k| 864.0 | 705M | 131 |1276 |1835 |1487 | 20k| 1 | 716 |3992 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2558.17/2566.19 c 2566s| 6900 | 6901 | 6911k| 869.1 | 705M | 141 |1276 |1835 |1455 | 20k| 1 | 726 |4052 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2593.55/2601.69 c 2602s| 7000 | 7001 | 7028k| 872.8 | 706M | 141 |1276 |1844 |1478 | 21k| 1 | 742 |4087 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2632.84/2641.09 c 2641s| 7100 | 7101 | 7161k| 878.4 | 706M | 141 |1276 |1866 |1457 | 21k| 1 | 765 |4104 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2657.25/2665.57 c 2666s| 7200 | 7201 | 7246k| 878.0 | 706M | 141 |1276 |1866 |1457 | 21k| 1 | 770 |4115 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2684.17/2692.51 c 2693s| 7300 | 7301 | 7333k| 877.9 | 706M | 141 |1276 |1882 |1482 | 21k| 1 | 787 |4136 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2703.30/2711.74 c 2712s| 7400 | 7401 | 7396k| 875.0 | 706M | 141 |1276 |1887 |1471 | 21k| 1 | 792 |4153 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2728.82/2737.34 c 2737s| 7500 | 7501 | 7487k| 875.4 | 706M | 141 |1276 |1892 |1482 | 21k| 1 | 800 |4166 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2754.64/2763.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2754.64/2763.23 c 2763s| 7600 | 7601 | 7578k| 875.8 | 706M | 141 |1276 |1892 |1433 | 21k| 2 | 806 |4172 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2764.21/2772.82 c 2773s| 7700 | 7701 | 7606k| 869.0 | 706M | 141 |1276 |1901 |1433 | 22k| 1 | 815 |4182 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2771.40/2780.06 c 2780s| 7800 | 7801 | 7630k| 861.9 | 707M | 141 |1276 |1906 |1437 | 22k| 1 | 821 |4188 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2791.13/2799.85 c 2800s| 7900 | 7901 | 7699k| 860.0 | 707M | 141 |1276 |1905 |1433 | 22k| 1 | 824 |4198 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2802.79/2811.56 c 2812s| 8000 | 8001 | 7740k| 855.0 | 707M | 141 |1276 |1919 |1432 | 22k| 1 | 841 |4201 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2821.73/2830.59 c 2831s| 8100 | 8101 | 7809k| 853.2 | 707M | 141 |1276 |1930 |1425 | 22k| 1 | 858 |4204 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2829.01/2837.84 c 2838s| 8200 | 8201 | 7835k| 846.8 | 707M | 141 |1276 |1935 |1445 | 22k| 1 | 866 |4204 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2835.39/2844.26 c 2844s| 8300 | 8301 | 7857k| 840.1 | 707M | 141 |1276 |1949 |1435 | 22k| 1 | 880 |4204 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2867.59/2876.56 c 2877s| 8400 | 8401 | 7984k| 844.7 | 707M | 141 |1276 |1945 |1455 | 22k| 2 | 884 |4204 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2885.43/2894.47 c 2894s| 8500 | 8501 | 8049k| 842.6 | 707M | 141 |1276 |1953 |1437 | 22k| 1 | 899 |4206 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2903.09/2912.14 c 2912s| 8600 | 8601 | 8110k| 840.2 | 707M | 141 |1276 |1978 |1426 | 22k| 1 | 927 |4210 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2937.77/2946.99 c 2947s| 8700 | 8701 | 8235k| 844.3 | 707M | 141 |1276 |1990 |1440 | 23k| 1 | 945 |4216 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2944.95/2954.17 c 2954s| 8800 | 8801 | 8259k| 838.2 | 707M | 141 |1276 |1992 |1448 | 23k| 1 | 947 |4219 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
2977.85/2987.19 c 2987s| 8900 | 8901 | 8350k| 839.0 | 707M | 141 |1276 |2010 |1446 | 23k| 1 | 970 |4249 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
3007.65/3017.05 c 3017s| 9000 | 9001 | 8436k| 839.2 | 707M | 141 |1276 |2015 |1442 | 23k| 1 | 981 |4271 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
3022.49/3031.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3022.49/3031.98 c 3032s| 9100 | 9101 | 8476k| 834.8 | 707M | 143 |1276 |2023 |1449 | 23k| 1 | 989 |4286 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
3041.03/3050.55 c 3051s| 9200 | 9201 | 8530k| 832.0 | 707M | 143 |1276 |2023 |1452 | 23k| 1 | 990 |4298 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
3046.72/3056.29 c 3056s| 9300 | 9301 | 8549k| 825.8 | 707M | 153 |1276 |2024 |1454 | 23k| 1 | 991 |4298 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
3061.37/3070.92 c 3071s| 9400 | 9401 | 8586k| 821.4 | 708M | 155 |1276 |2035 |1454 | 23k| 1 |1003 |4326 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
3083.29/3092.99 c 3093s| 9500 | 9501 | 8653k| 820.0 | 708M | 161 |1276 |2038 |1456 | 23k| 1 |1008 |4341 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
3085.78/3095.47 c 3095s| 9600 | 9601 | 8659k| 812.9 | 708M | 161 |1276 |2033 |1427 | 23k| 1 |1009 |4348 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
3088.87/3098.56 c 3099s| 9700 | 9701 | 8667k| 806.0 | 708M | 161 |1276 |2034 |1471 | 23k| 1 |1010 |4366 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
3092.76/3102.41 c 3102s| 9800 | 9801 | 8674k| 799.3 | 708M | 161 |1276 |2034 |1485 | 23k| 1 |1010 |4409 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
3101.13/3110.85 c 3111s| 9900 | 9901 | 8695k| 793.8 | 711M | 161 |1276 |2047 |1460 | 23k| 1 |1025 |4455 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
3117.98/3127.73 c 3128s| 10000 | 10001 | 8737k| 790.5 | 711M | 161 |1276 |2050 |1485 | 23k| 1 |1028 |4492 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
3138.62/3148.49 c 3148s| 10100 | 10101 | 8797k| 788.7 | 711M | 161 |1276 |2054 |1474 | 24k| 1 |1033 |4520 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
3153.58/3163.46 c 3163s| 10200 | 10201 | 8841k| 785.6 | 711M | 161 |1276 |2077 |1477 | 24k| 1 |1056 |4542 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
3169.53/3179.42 c 3179s| 10300 | 10301 | 8889k| 782.9 | 711M | 161 |1276 |2077 |1383 | 24k| 1 |1057 |4577 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
3209.71/3219.78 c 3220s| 10400 | 10399 | 9024k| 787.9 | 711M | 161 |1276 |2115 |1397 | 24k| 1 |1112 |4599 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
3248.10/3258.21 c 3258s| 10500 | 10499 | 9168k| 793.6 | 712M | 161 |1276 |2125 |1426 | 24k| 1 |1133 |4617 | 0.000000e+00 | 3.030000e+02 | Inf | unknown
3262.05/3272.29 o 181
3262.05/3272.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3262.05/3272.29 c L3272s| 10542 | 10541 | 9219k| 795.1 | alns| 161 |1276 |2126 |1443 | 24k| 2 |1143 |4626 | 0.000000e+00 | 1.810000e+02 | Inf | unknown
3262.15/3272.30 o 180
3262.15/3272.30 c L3272s| 10542 | 10541 | 9219k| 795.1 | alns| 161 |1276 |2111 |1443 | 24k| 2 |1143 |4626 | 0.000000e+00 | 1.800000e+02 | Inf | unknown
3288.08/3298.38 c 3298s| 10600 | 10599 | 9308k| 798.8 | 713M | 161 |1276 |2127 |1432 | 24k| 1 |1159 |4631 | 0.000000e+00 | 1.800000e+02 | Inf | unknown
3324.86/3335.28 c 3335s| 10700 | 10699 | 9453k| 804.3 | 713M | 161 |1276 |2137 |1433 | 24k| 1 |1177 |4635 | 0.000000e+00 | 1.800000e+02 | Inf | unknown
3347.39/3357.89 o 174
3347.39/3357.89 c L3358s| 10742 | 10741 | 9514k| 806.6 |crossove| 161 |1276 |2144 |1436 | 24k| 2 |1190 |4640 | 0.000000e+00 | 1.740000e+02 | Inf | unknown
3364.44/3374.94 c 3375s| 10800 | 10797 | 9578k| 808.1 | 714M | 161 |1276 |2162 |1315 | 25k| 1 |1213 |4640 | 0.000000e+00 | 1.740000e+02 | Inf | unknown
3401.13/3411.79 c 3412s| 10900 | 10897 | 9715k| 812.8 | 714M | 161 |1276 |2215 |1384 | 25k| 1 |1277 |4650 | 0.000000e+00 | 1.740000e+02 | Inf | unknown
3417.98/3428.61 o 170
3417.98/3428.61 c L3429s| 10942 | 10939 | 9774k| 814.8 |crossove| 161 |1276 |2217 |1426 | 25k| 1 |1279 |4651 | 0.000000e+00 | 1.700000e+02 | Inf | unknown
3447.89/3458.65 c 3459s| 11000 | 10997 | 9881k| 819.8 | 714M | 161 |1276 |2218 |1425 | 25k| 1 |1280 |4653 | 0.000000e+00 | 1.700000e+02 | Inf | unknown
3485.49/3496.30 c 3496s| 11100 | 11097 | 10020k| 824.5 | 716M | 161 |1276 |2229 |1441 | 26k| 1 |1302 |4653 | 0.000000e+00 | 1.700000e+02 | Inf | unknown
3518.20/3529.12 c 3529s| 11200 | 11197 | 10133k| 827.0 | 719M | 161 |1276 |2252 |1431 | 26k| 1 |1329 |4655 | 0.000000e+00 | 1.700000e+02 | Inf | unknown
3559.77/3570.80 c 3571s| 11300 | 11297 | 10281k| 832.3 | 722M | 161 |1276 |2259 |1417 | 27k| 1 |1345 |4656 | 0.000000e+00 | 1.700000e+02 | Inf | unknown
3585.80/3597.00 c
3585.80/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.80/3597.00 c Solving Time (sec) : 3597.00
3585.80/3597.00 c Solving Nodes : 11366 (total of 12415 nodes in 2 runs)
3585.80/3597.00 c Primal Bound : +1.70000000000000e+02 (12 solutions)
3585.80/3597.00 c Dual Bound : +0.00000000000000e+00
3585.80/3597.00 c Gap : infinite
3585.91/3597.01 s SATISFIABLE
3585.91/3597.01 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29
3585.91/3597.01 v -x30 -x31 -x32 x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 x43 x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 x52 x53 -x54 -x55 x56 -x57
3585.91/3597.01 v x58 -x59 x60 -x61 x62 -x63 -x64 -x65 x66 -x67 x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 x77 x78 x79 -x80 -x81 -x83 -x84 -x85 -x86
3585.91/3597.01 v -x87 -x88 -x89 x90 x91 x92 -x93 x94 -x95 x96 -x98 x99 -x100 -x101 x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 -x111 x112 x113
3585.91/3597.01 v -x114 -x115 -x116 -x117 -x118 x119 x120 -x121 -x122 -x123 x124 -x125 x126 -x127 -x128 x129 -x130 x131 -x132 x133 -x134 -x135 x136
3585.91/3597.01 v -x137 x138 x139 -x140 -x141 -x142 -x143 -x144 x145 x146 -x147 -x148 -x149 x150 -x151 -x152 x153 x154 -x155 x156 x157 x158 -x159
3585.91/3597.01 v -x160 -x161 x162 -x163 -x164 x165 x166 -x167 x168 -x169 -x170 -x171 x172 -x173 -x174 x175 x176 x177 x178 -x179 -x180 x181 -x182
3585.91/3597.01 v -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 x201 x202 x204 x205 x206
3585.91/3597.01 v -x207 x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 x217 -x218 -x219 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229
3585.91/3597.01 v x230 x231 x232 x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252
3585.91/3597.01 v -x253 x254 -x255 -x256 -x257 x258 x259 x260 x261 x262 x263 -x264 -x265 -x266 -x267 x268 -x269 x270 x271 x272 x273 -x274 x275 x276
3585.91/3597.01 v -x277 x278 x279 -x280 -x281 x282 x283 x284 x285 -x286 x287 x288 x289 x290 x291 x292 x293 -x294 x295 -x296 -x297 x298 x299 -x300
3585.91/3597.01 v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 x313 -x314 x315 x316 x317 x318 x319 x320 x321 -x322 -x323
3585.91/3597.01 v x324 x325 -x326 x327 x328 -x329 -x330 -x331 x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 x346
3585.91/3597.01 v x347 x348 x349 x350 x351 -x352 x353 -x354 -x355 -x356 x357 -x358 x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369
3585.91/3597.01 v -x370 -x371 -x372 -x373 -x374 x375 x376 x377 x378 x379 x380 -x381 -x382 -x383 -x384 x385 x386 x387 -x388 -x389 -x390 -x391 x392
3585.91/3597.01 v -x393 -x394 -x395 -x396 -x397 x399 x400 -x401 -x402 -x403 x404 x405 x406 x407 x408 x409 x410 -x411 -x412 -x413 x414 x415 -x416 -x417
3585.91/3597.01 v -x418 -x419 x420 x421 -x422 x423 x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 x435 x436 x437 x438 -x439 -x440
3585.91/3597.01 v -x441 x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 x457 -x458 x459 -x460 -x461 -x462 x463 x464
3585.91/3597.01 v x465 x466 x467 x468 x469 x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 x486 -x487
3585.91/3597.01 v -x488 -x489 -x490 -x491 x492 x493 x494 x495 x496 x497 -x498 x499 -x500 -x501 -x502 x503 x504 -x505 x506 -x507 x508 -x509 -x510 x511
3585.91/3597.01 v -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 -x530 x531 -x532 -x533 -x534 x535
3585.91/3597.01 v -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 x550 x551 x552 -x553 -x554 x555 x556 -x557 -x558
3585.91/3597.01 v -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 x579 x580 -x581
3585.91/3597.01 v x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 x601 x602 -x603
3585.91/3597.01 v x604 -x605 -x606 -x607 x608 x609 x610 -x611 -x612 -x613 -x614 x615 x616 -x617 -x618 -x619 -x620 x621 -x622 -x623 -x624 -x625 x626
3585.91/3597.01 v -x627 -x628 x629 x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x644 -x645 -x646 -x647 -x648 x649 -x650
3585.91/3597.01 v -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 x670 -x671 -x672
3585.91/3597.01 v x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 -x689 -x692 -x693 -x694 -x695 -x696
3585.91/3597.01 v -x697 x698 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
3585.91/3597.01 v -x721 -x722 -x723 -x724 x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742
3585.91/3597.01 v x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765
3585.91/3597.01 v x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x82 -x795 x97 x203
3585.91/3597.01 v x220 x398 x442 x643 x690 x691 x699 x700 x752 x796 -x797 -x798 x799 -x800 -x801 -x802 -x803 x804 -x805 -x806 -x807 x808 -x809 -x810
3585.91/3597.01 v -x811 -x812 x813 -x814 x815 -x816 -x817 x818 x819 -x820 -x821 x822 x823 x824 x825 x826 -x827 x828 x829 x830 -x831 x832 -x833 x834
3585.91/3597.01 v -x835 -x836 x837 x838 -x839 x840 -x841 x842 -x843 x844 x845 x846 x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 x856 x857 x858
3585.91/3597.01 v x859 x860 -x861 x862 -x863 x864 -x865 -x866 -x867 -x868 x869 x870 x871 -x872 x873 -x874 -x875 -x876 -x877 -x878 -x879 x880 -x881
3585.91/3597.01 v x882 x883 x884 -x885 x886 x887 x888 -x889 -x890 x891 -x892 -x893 -x894 x895 -x896 -x897 -x898 x899 x900 -x901 -x902 x903 -x904 -x905
3585.91/3597.01 v -x906 -x907 x908 x909 -x910 -x911 -x912 -x913 -x914 x915 x916 -x917 -x918 -x919 x920 x921 -x922 x923 -x924 x925 -x926 -x927 x928
3585.91/3597.01 v -x929 -x930 x931 -x932 -x933 x934 x935 -x936 x937 -x938 x939 -x940 x941 x942 x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 x951
3585.91/3597.01 v -x952 x953 -x954 -x955 -x956 -x957 x958 x959 -x960 -x961 x962 -x963 x964 -x965 x966 -x967 -x968 -x969 x970 x971 -x972 -x973 x974
3585.91/3597.01 v -x975 -x976 -x977 -x978 x979 -x980 -x981 -x982 -x983 x984 -x985 x986 -x987 x988 -x989 x990 x991 x992 -x993 x994 -x995 -x996 -x997
3585.91/3597.01 v x998 x999 -x1000 x1001 x1002 x1003 x1004 -x1005 -x1006 x1007 x1008 x1009 -x1010 -x1011 x1012 -x1013 x1014 x1015 -x1016 x1017 x1018
3585.91/3597.01 v x1019 x1020 -x1021 x1022 x1023 x1024 x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 x1032 x1033 -x1034 x1035 -x1036 x1037 x1038
3585.91/3597.01 v -x1039 x1040 x1041 x1042 x1043 -x1044 -x1045 -x1046 x1047 x1048 x1049 x1050 x1051 x1052 x1053 x1054 -x1055 -x1056 -x1057 x1058 x1059
3585.91/3597.01 v -x1060 -x1061 x1062 -x1063 -x1064 x1065 -x1066 -x1067 x1068 x1069 x1070 x1071 -x1072 -x1073 x1074 -x1075 x1076 -x1077 -x1078 -x1079
3585.91/3597.01 v -x1080 -x1081 -x1082 x1083 x1084 x1085 x1086 -x1087 x1088 x1089 x1090 -x1091 x1092 x1093 -x1094 -x1095 x1096 -x1097 x1098 x1099
3585.91/3597.01 v x1100 x1101 -x1102 x1103 x1104 x1105 -x1106 x1107 x1108 -x1109 -x1110 x1111 -x1112 -x1113 x1114 x1115 x1116 -x1117 x1118 x1119 x1120
3585.91/3597.01 v -x1121 x1122 -x1123 x1124 -x1125 x1126 -x1127 -x1128 x1129 -x1130 -x1131 x1132 x1133 -x1134 x1135 x1136 x1137 -x1138 x1139 -x1140
3585.91/3597.01 v x1141 x1142 x1143 -x1144 x1145 x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 x1155 x1156 -x1157 x1158 x1159 x1160
3585.91/3597.01 v x1161 x1162 x1163 x1164 -x1165 -x1166 -x1167 x1168 x1169 x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 x1178 x1179 -x1180
3585.91/3597.01 v x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 x1196 -x1197 -x1198 -x1199
3585.91/3597.01 v -x1200 x1201 x1202 -x1203 x1204 -x1205 -x1206 x1207 -x1208 x1209 x1210 x1211 -x1212 -x1213 x1214 -x1215 -x1216 x1217 x1218 x1219
3585.91/3597.01 v -x1220 x1221 -x1222 -x1223 x1224 x1225 -x1226 x1227 -x1228 -x1229 -x1230 x1231 x1232 x1233 -x1234 x1235 x1236 x1237 -x1238 x1239
3585.91/3597.01 v -x1240 -x1241 -x1242 x1243 x1244 -x1245 x1246 x1247 x1248 x1249 -x1250 x1251 x1252 -x1253 x1254 -x1255 -x1256 x1257 -x1258 -x1259
3585.91/3597.01 v x1260 x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270 x1271 x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 x1279
3585.91/3597.01 v -x1280 -x1281 x1282 x1283 x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794
3585.91/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3585.91/3597.01 c Total Time : 3597.00
3585.91/3597.01 c solving : 3597.00
3585.91/3597.01 c presolving : 1.83 (included in solving)
3585.91/3597.01 c reading : 0.23 (included in solving)
3585.91/3597.01 c copying : 2.91 (128 #copies) (minimal 0.02, maximal 0.03, average 0.02)
3585.91/3597.01 c Original Problem :
3585.91/3597.01 c Problem name : HOME/instance-4523481-1751590980.opb
3585.91/3597.01 c Variables : 1289 (1289 binary, 0 integer, 0 continuous)
3585.91/3597.01 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3585.91/3597.01 c Constraints : 1094 initial, 1094 maximal
3585.91/3597.01 c Objective : minimize, 773 non-zeros (abs.min = 1, abs.max = 90)
3585.91/3597.01 c Presolved Problem :
3585.91/3597.01 c Problem name : t_HOME/instance-4523481-1751590980.opb
3585.91/3597.01 c Variables : 1276 (1276 binary, 0 integer, 0 continuous)
3585.91/3597.01 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3585.91/3597.01 c Constraints : 1375 initial, 2271 maximal
3585.91/3597.01 c Objective : minimize, 772 non-zeros (abs.min = 1, abs.max = 1)
3585.91/3597.01 c Nonzeros : 431609 constraint, 11 clique table
3585.91/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.91/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c domcol : 0.15 0.00 2 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c dualsparsify : 0.21 0.00 1 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c gateextraction : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c milp : 0.29 0.00 1 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c sparsify : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c trivial : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c dualfix : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c probing : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c symmetry : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c knapsack : 0.24 0.01 13 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c setppc : 0.00 0.00 13 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c linear : 0.48 0.11 11 13 0 0 13 0 22 0 202 403
3585.91/3597.01 c logicor : 0.01 0.00 6 0 0 0 0 0 0 0 0 3
3585.91/3597.01 c components : 0.22 0.00 2 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c root node : - - - 0 - - 0 - - - - -
3585.91/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.91/3597.01 c integral : 0 0 0 0 12412 0 0 1837 0 0 0 0 0 0 24824
3585.91/3597.01 c knapsack : 1255+ 1260 22 104556 0 0 0 1830 16046 616 62 4505 0 0 0
3585.91/3597.01 c setppc : 1+ 2 22 97044 0 0 0 17 0 8 9 0 0 0 0
3585.91/3597.01 c linear : 8+ 33 11 94460 0 0 0 3 39 31 0 0 0 0 0
3585.91/3597.01 c logicor : 111+ 997 11 13807 0 0 0 0 13 187 3 0 0 0 0
3585.91/3597.01 c fixedvar : 0 0 0 0 0 0 0 19 0 0 0 0 0 0 0
3585.91/3597.01 c countsols : 0 0 0 0 0 0 0 19 0 0 0 0 0 0 0
3585.91/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.91/3597.01 c integral : 703.99 0.00 0.00 0.00 703.99 0.00 0.00 0.00 0.00 0.00
3585.91/3597.01 c knapsack : 18.37 0.01 2.30 12.98 0.00 0.00 0.00 0.33 0.03 2.71
3585.91/3597.01 c setppc : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3585.91/3597.01 c linear : 0.21 0.11 0.00 0.09 0.00 0.00 0.00 0.00 0.00 0.02
3585.91/3597.01 c logicor : 0.08 0.00 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.00
3585.91/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.91/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.91/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.91/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.91/3597.01 c dualfix : 3 0 0 0
3585.91/3597.01 c genvbounds : 0 0 0 0
3585.91/3597.01 c nlobbt : 0 0 0 0
3585.91/3597.01 c obbt : 0 0 0 0
3585.91/3597.01 c probing : 0 0 0 0
3585.91/3597.01 c pseudoobj : 26240 0 0 0
3585.91/3597.01 c redcost : 28 0 0 0
3585.91/3597.01 c rootredcost : 9 0 0 0
3585.91/3597.01 c symmetry : 0 0 0 0
3585.91/3597.01 c vbounds : 150 0 0 0
3585.91/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.91/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3585.91/3597.01 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3585.91/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.91/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.91/3597.01 c probing : 0.05 0.00 0.05 0.00 0.00 0.00
3585.91/3597.01 c pseudoobj : 0.06 0.00 0.00 0.05 0.00 0.00
3585.91/3597.01 c redcost : 0.04 0.00 0.00 0.03 0.00 0.00
3585.91/3597.01 c rootredcost : 0.02 0.00 0.00 0.01 0.00 0.00
3585.91/3597.01 c symmetry : 0.09 0.00 0.07 0.02 0.00 0.01
3585.91/3597.01 c vbounds : 0.03 0.00 0.00 0.02 0.00 0.01
3585.91/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.91/3597.01 c propagation : 0.04 814 659 - 975 72.7 1 45.0 - - -
3585.91/3597.01 c infeasible LP : 0.43 443 438 - 533 83.4 0 0.0 73 729.6 0
3585.91/3597.01 c bound exceed. LP : 0.34 72 6 - 7 148.4 0 0.0 0 0.0 676
3585.91/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.91/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.91/3597.01 c applied globally : 0.00 - - 0 1266 68.8 - - 73 - -
3585.91/3597.01 c applied locally : - - - 0 22 273.1 - - 0 - -
3585.91/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.91/3597.01 c cut pool : 7.66 - 3239 42 - - 49179 207576 - - - - - (maximal pool size: 9719)
3585.91/3597.01 c aggregation : 9.05 0.00 304 22 0 0 30785 138334 12 23805 23802 3 0
3585.91/3597.01 c > cmir : - - - - - - - 109192 0 17966 17966 0 -
3585.91/3597.01 c > flowcover : - - - - - - - 18133 0 4802 4802 0 -
3585.91/3597.01 c > knapsackcover : - - - - - - - 11009 12 1037 1034 3 -
3585.91/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c clique : 0.00 0.00 22 22 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c gomory : 21.42 0.00 296 20 0 0 17931 57917 0 4866 4866 0 0
3585.91/3597.01 c > gomorymi : - - - - - - - 17588 0 470 470 0 -
3585.91/3597.01 c > strongcg : - - - - - - - 40329 0 4396 4396 0 -
3585.91/3597.01 c impliedbounds : 0.01 0.00 304 22 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c multilinear : 0.00 0.00 285 22 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c rapidlearning : 73.72 0.00 100 0 0 8 0 0 0 0 0 0 670
3585.91/3597.01 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3585.91/3597.01 c zerohalf : 0.59 0.00 298 22 0 0 490 11325 15 4539 4538 1 0
3585.91/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.91/3597.01 c hybrid : 0.98 0.00 2739 22 33210 0 178898 2239 0 22689
3585.91/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.91/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.91/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3585.91/3597.01 c problem variables: 0.00 - 0 0
3585.91/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.91/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.91/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.91/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.91/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.91/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.91/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.91/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.91/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.91/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.91/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.91/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.91/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.91/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.91/3597.01 c relpscost : 703.97 0.00 12412 0 0 0 0 0 0 24824
3585.91/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.91/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.91/3597.01 c LP solutions : 0.00 - - 0 0
3585.91/3597.01 c relax solutions : 0.00 - - 0 0
3585.91/3597.01 c pseudo solutions : 0.00 - - 0 0
3585.91/3597.01 c strong branching : 0.04 - - 0 0
3585.91/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3585.91/3597.01 c adaptivediving : 21.03 0.00 12 0 0
3585.91/3597.01 c alns : 3.58 0.00 9 5 5
3585.91/3597.01 c bound : 0.00 0.00 0 0 0
3585.91/3597.01 c clique : 0.12 0.00 1 0 0
3585.91/3597.01 c coefdiving : 0.00 0.00 0 0 0
3585.91/3597.01 c completesol : 0.00 0.00 0 0 0
3585.91/3597.01 c conflictdiving : 8.36 0.00 60 0 0
3585.91/3597.01 c crossover : 7.45 0.00 9 3 2
3585.91/3597.01 c dins : 0.00 0.00 0 0 0
3585.91/3597.01 c distributiondivin: 103.66 0.00 60 0 0
3585.91/3597.01 c dks : 0.00 0.00 0 0 0
3585.91/3597.01 c dps : 0.00 0.00 0 0 0
3585.91/3597.01 c dualval : 0.00 0.00 0 0 0
3585.91/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3585.91/3597.01 c feaspump : 31.84 0.00 23 0 0
3585.91/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3585.91/3597.01 c fracdiving : 31.08 0.00 60 0 0
3585.91/3597.01 c gins : 0.05 0.00 0 0 0
3585.91/3597.01 c guideddiving : 56.40 0.00 60 0 0
3585.91/3597.01 c indicator : 0.00 0.00 0 0 0
3585.91/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3585.91/3597.01 c intdiving : 0.00 0.00 0 0 0
3585.91/3597.01 c intshifting : 0.00 0.00 0 0 0
3585.91/3597.01 c linesearchdiving : 26.52 0.00 60 0 0
3585.91/3597.01 c localbranching : 0.00 0.00 0 0 0
3585.91/3597.01 c locks : 0.28 0.00 1 1 1
3585.91/3597.01 c lpface : 0.29 0.00 2 0 0
3585.91/3597.01 c mpec : 0.00 0.00 0 0 0
3585.91/3597.01 c multistart : 0.00 0.00 0 0 0
3585.91/3597.01 c mutation : 0.00 0.00 0 0 0
3585.91/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3585.91/3597.01 c objpscostdiving : 73.62 0.00 8 0 0
3585.91/3597.01 c octane : 0.00 0.00 0 0 0
3585.91/3597.01 c ofins : 0.00 0.00 0 0 0
3585.91/3597.01 c oneopt : 0.07 0.00 6 3 3
3585.91/3597.01 c padm : 0.00 0.00 0 0 0
3585.91/3597.01 c proximity : 0.00 0.00 0 0 0
3585.91/3597.01 c pscostdiving : 130.03 0.00 60 0 0
3585.91/3597.01 c randrounding : 0.71 0.00 1816 0 0
3585.91/3597.01 c rens : 0.11 0.00 2 0 0
3585.91/3597.01 c reoptsols : 0.00 0.00 0 0 0
3585.91/3597.01 c repair : 0.00 0.00 0 0 0
3585.91/3597.01 c rins : 24.81 0.00 8 0 0
3585.91/3597.01 c rootsoldiving : 42.45 0.00 10 0 0
3585.91/3597.01 c rounding : 1.94 0.00 1696 0 0
3585.91/3597.01 c scheduler : 0.00 0.00 0 0 0
3585.91/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3585.91/3597.01 c shifting : 9.60 0.00 871 0 0
3585.91/3597.01 c simplerounding : 0.01 0.00 0 0 0
3585.91/3597.01 c subnlp : 0.00 0.00 0 0 0
3585.91/3597.01 c trivial : 0.00 0.00 4 0 0
3585.91/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3585.91/3597.01 c trustregion : 0.00 0.00 0 0 0
3585.91/3597.01 c trysol : 0.00 0.00 0 0 0
3585.91/3597.01 c twoopt : 0.00 0.00 0 0 0
3585.91/3597.01 c undercover : 0.00 0.00 0 0 0
3585.91/3597.01 c vbounds : 0.00 0.00 0 0 0
3585.91/3597.01 c veclendiving : 25.08 0.00 60 0 0
3585.91/3597.01 c zeroobj : 0.00 0.00 0 0 0
3585.91/3597.01 c zirounding : 0.22 0.00 1000 0 0
3585.91/3597.01 c other solutions : - - - 0 -
3585.91/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3585.91/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.91/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.91/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.91/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.91/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.91/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.91/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.91/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3585.91/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3585.91/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.91/3597.01 c primal LP : 10.48 1091 0 0.00 0.00 10.48 1091
3585.91/3597.01 c dual LP : 2137.13 15162 8425686 559.14 3942.52 0.73 93
3585.91/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3585.91/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.91/3597.01 c resolve instable : 0.51 2 2776 1388.00 5425.71
3585.91/3597.01 c diving/probing LP: 581.78 5075 1954941 385.21 3360.28
3585.91/3597.01 c strong branching : 625.73 4656 2118972 455.11 3386.39 - - 2488
3585.91/3597.01 c (at root node) : - 26 15375 591.35 -
3585.91/3597.01 c conflict analysis: 0.29 68 676 9.94 2341.73
3585.91/3597.01 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3585.91/3597.01 c benders : 0.00 0 0 0 0.00 0 0 0
3585.91/3597.01 c B&B Tree :
3585.91/3597.01 c number of runs : 2
3585.91/3597.01 c nodes : 11366 (11363 internal, 3 leaves)
3585.91/3597.01 c feasible leaves : 0
3585.91/3597.01 c infeas. leaves : 2
3585.91/3597.01 c objective leaves : 0
3585.91/3597.01 c nodes (total) : 12415 (12412 internal, 3 leaves)
3585.91/3597.01 c nodes left : 11362
3585.91/3597.01 c max depth : 161
3585.91/3597.01 c max depth (total): 161
3585.91/3597.01 c backtracks : 369 (3.2%)
3585.91/3597.01 c early backtracks : 0 (0.0%)
3585.91/3597.01 c nodes exc. ref. : 0 (0.0%)
3585.91/3597.01 c delayed cutoffs : 0
3585.91/3597.01 c repropagations : 93 (3 domain reductions, 0 cutoffs)
3585.91/3597.01 c avg switch length: 2.56
3585.91/3597.01 c switching time : 12.77
3585.91/3597.01 c Root Node :
3585.91/3597.01 c First LP value : +0.00000000000000e+00
3585.91/3597.01 c First LP Iters : 262 (9452.68 Iter/sec)
3585.91/3597.01 c First LP Time : 0.03
3585.91/3597.01 c Final Dual Bound : +0.00000000000000e+00
3585.91/3597.01 c Final Root Iters : 4383
3585.91/3597.01 c Root LP Estimate : +1.48352675706312e+01
3585.91/3597.01 c Solution :
3585.91/3597.01 c Solutions found : 12 (11 improvements)
3585.91/3597.01 c First Solution : +4.06000000000000e+02 (in run 1, after 1 nodes, 2.37 seconds, depth 774, found by <locks>)
3585.91/3597.01 c Gap First Sol. : infinite
3585.91/3597.01 c Gap Last Sol. : infinite
3585.91/3597.01 c Primal Bound : +1.70000000000000e+02 (in run 2, after 10942 nodes, 3428.60 seconds, depth 53, found by <crossover>)
3585.91/3597.01 c Dual Bound : +0.00000000000000e+00
3585.91/3597.01 c Gap : infinite
3585.91/3597.01 c Integrals : Total Avg%
3585.91/3597.01 c primal-dual : 359699.55 100.00
3585.91/3597.01 c primal-ref : - - (not evaluated)
3585.91/3597.01 c dual-ref : - - (not evaluated)
3586.10/3597.26 c Time complete (sec): 3586.170
OK 170
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 (60291 MiB free)
memory of node 1: 64507 MiB (61795 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523481-1751590980/watcher-4523481-1751590980 -o /tmp/evaluation-result-4523481-1751590980/solver-4523481-1751590980 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751590941-84096 --watchdog 3760 pbsolver -f HOME/instance-4523481-1751590980.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=84200, runsolver pid=84197
[startup+0.100073 s]*
/proc/loadavg: 2.52 2.79 3.58 5/255 84201
/proc/meminfo: memFree=125009180/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=25376 memory=14848 CPUtime=0.09 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 1766 0 0 0 9 0 0 0 20 0 1 0 74777756 25985024 3712 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 6344 3712 2176 2575 0 3251 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25376 KiB
Current children cumulated memory: 14848 KiB
[startup+0.213705 s]*
/proc/loadavg: 2.52 2.79 3.58 6/255 84201
/proc/meminfo: memFree=125009180/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=30332 memory=19968 CPUtime=0.2 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 3045 0 0 0 20 0 0 0 20 0 1 0 74777756 31059968 4992 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 7583 4992 2176 2575 0 4490 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30332 KiB
Current children cumulated memory: 19968 KiB
[startup+0.313419 s]*
/proc/loadavg: 2.52 2.79 3.58 5/255 84201
/proc/meminfo: memFree=125013680/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=67592 memory=57840 CPUtime=0.31 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 12922 0 0 0 28 3 0 0 20 0 1 0 74777756 69214208 14460 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 16898 14460 2368 2575 0 13805 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 67592 KiB
Current children cumulated memory: 57840 KiB
[startup+0.700343 s]
/proc/loadavg: 2.52 2.79 3.58 5/255 84201
/proc/meminfo: memFree=124982180/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=92888 memory=83836 CPUtime=0.68 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 19816 0 0 0 64 4 0 0 20 0 1 0 74777756 95117312 20959 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 23222 20959 2432 2575 0 20129 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 92888 KiB
Current children cumulated memory: 83836 KiB
[startup+1.50032 s]
/proc/loadavg: 2.52 2.79 3.58 5/255 84201
/proc/meminfo: memFree=124921252/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=158172 memory=148432 CPUtime=1.48 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 37934 0 0 0 138 10 0 0 20 0 1 0 74777756 161968128 37108 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 39543 37108 2592 2575 0 36450 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 158172 KiB
Current children cumulated memory: 148432 KiB
[startup+3.11327 s]
/proc/loadavg: 2.71 2.83 3.58 5/255 84201
/proc/meminfo: memFree=124676152/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=419228 memory=378292 CPUtime=3.08 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 68965 0 0 0 291 17 0 0 20 0 1 0 74777756 429289472 94573 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 104807 94573 2688 2575 0 101714 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 419228 KiB
Current children cumulated memory: 378292 KiB
[startup+6.30031 s]
/proc/loadavg: 2.71 2.83 3.58 5/255 84201
/proc/meminfo: memFree=124597464/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=536780 memory=493756 CPUtime=6.26 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 92768 0 0 0 604 22 0 0 20 0 1 0 74777756 549662720 123439 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 134195 123439 2688 2575 0 131102 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 536780 KiB
Current children cumulated memory: 493756 KiB
[startup+12.7003 s]
/proc/loadavg: 2.82 2.85 3.59 5/255 84201
/proc/meminfo: memFree=124179720/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=646796 memory=602108 CPUtime=12.64 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 119350 0 0 0 1238 26 0 0 20 0 1 0 74777756 662319104 150527 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 161699 150527 2688 2575 0 158606 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 646796 KiB
Current children cumulated memory: 602108 KiB
[startup+25.5003 s]
/proc/loadavg: 3.08 2.91 3.59 5/255 84201
/proc/meminfo: memFree=124045684/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=697888 memory=651900 CPUtime=25.4 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 131812 0 0 0 2512 28 0 0 20 0 1 0 74777756 714637312 162975 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 174472 162975 2688 2575 0 171379 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 697888 KiB
Current children cumulated memory: 651900 KiB
[startup+51.1132 s]
/proc/loadavg: 3.39 3.00 3.61 5/256 84248
/proc/meminfo: memFree=125262684/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=754496 memory=710152 CPUtime=50.94 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 154552 0 0 0 5062 32 0 0 20 0 1 0 74777756 772603904 177538 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 188624 177538 2688 2575 0 185531 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 754496 KiB
Current children cumulated memory: 710152 KiB
[startup+102.3 s]
/proc/loadavg: 3.81 3.17 3.64 5/255 84248
/proc/meminfo: memFree=123740236/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=808856 memory=765816 CPUtime=101.96 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 261959 0 0 0 10141 55 0 0 20 0 1 0 74777756 828268544 191454 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 202214 191454 2688 2575 0 199121 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 808856 KiB
Current children cumulated memory: 765816 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 3.34 3.67 5/253 84250
/proc/meminfo: memFree=123475568/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=804372 memory=761388 CPUtime=161.78 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 342147 0 0 0 16108 70 0 0 20 0 1 0 74777756 823676928 190347 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 201093 190347 2688 2575 0 198000 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 804372 KiB
Current children cumulated memory: 761388 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.49 3.70 5/251 84254
/proc/meminfo: memFree=123415000/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=846404 memory=802868 CPUtime=221.6 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 465162 0 0 0 22062 98 0 0 20 0 1 0 74777756 866717696 200717 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 211601 200717 2688 2575 0 208508 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 846404 KiB
Current children cumulated memory: 802868 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.60 3.73 5/252 84257
/proc/meminfo: memFree=123419620/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=800324 memory=757348 CPUtime=281.41 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 559160 0 0 0 28022 119 0 0 20 0 1 0 74777756 819531776 189337 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 200081 189337 2688 2575 0 196988 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 800324 KiB
Current children cumulated memory: 757348 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.69 3.75 5/251 84265
/proc/meminfo: memFree=123381844/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=831356 memory=785836 CPUtime=341.24 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 561206 0 0 0 34004 120 0 0 20 0 1 0 74777756 851308544 196459 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 207839 196459 2688 2575 0 204746 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 831356 KiB
Current children cumulated memory: 785836 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.78 3.78 5/250 84267
/proc/meminfo: memFree=123390140/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=831356 memory=785836 CPUtime=401.05 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 561249 0 0 0 39985 120 0 0 20 0 1 0 74777756 851308544 196459 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 207839 196459 2688 2575 0 204746 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 831356 KiB
Current children cumulated memory: 785836 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.85 3.81 5/250 84269
/proc/meminfo: memFree=123207672/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=938852 memory=890708 CPUtime=460.86 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 590167 0 0 0 45960 126 0 0 20 0 1 0 74777756 961384448 222677 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 234713 222677 2688 2575 0 231620 0
################
# More data... #
################
/proc/loadavg: 4.15 4.28 4.17 5/249 84393
/proc/meminfo: memFree=122960384/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=953632 memory=918924 CPUtime=3152.49 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 594543 0 0 0 315118 131 0 0 20 0 1 0 74777756 976519168 229731 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 238408 229731 2944 2575 0 235315 0
Current children cumulated CPU time: 3152.49 s
Current children cumulated vsize: 953632 KiB
Current children cumulated memory: 918924 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.24 4.17 5/250 84396
/proc/meminfo: memFree=122963388/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=953632 memory=919052 CPUtime=3212.3 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 594547 0 0 0 321099 131 0 0 20 0 1 0 74777756 976519168 229763 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 238408 229763 2944 2575 0 235315 0
Current children cumulated CPU time: 3212.3 s
Current children cumulated vsize: 953632 KiB
Current children cumulated memory: 919052 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.22 4.17 5/251 84399
/proc/meminfo: memFree=122951196/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=953632 memory=919308 CPUtime=3272.12 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 594772 0 0 0 327081 131 0 0 20 0 1 0 74777756 976519168 229827 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 238408 229827 2944 2575 0 235315 0
Current children cumulated CPU time: 3272.12 s
Current children cumulated vsize: 953632 KiB
Current children cumulated memory: 919308 KiB
[startup+3342.3 s]
/proc/loadavg: 4.26 4.24 4.18 5/251 84407
/proc/meminfo: memFree=122987764/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=953632 memory=919308 CPUtime=3331.94 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 594785 0 0 0 333063 131 0 0 20 0 1 0 74777756 976519168 229827 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 238408 229827 2944 2575 0 235315 0
Current children cumulated CPU time: 3331.94 s
Current children cumulated vsize: 953632 KiB
Current children cumulated memory: 919308 KiB
[startup+3402.3 s]
/proc/loadavg: 4.38 4.27 4.19 5/251 84409
/proc/meminfo: memFree=123026864/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=953632 memory=919308 CPUtime=3391.76 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 594791 0 0 0 339045 131 0 0 20 0 1 0 74777756 976519168 229827 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 238408 229827 2944 2575 0 235315 0
Current children cumulated CPU time: 3391.76 s
Current children cumulated vsize: 953632 KiB
Current children cumulated memory: 919308 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.24 4.18 5/251 84411
/proc/meminfo: memFree=123009124/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=953632 memory=919308 CPUtime=3451.58 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 595086 0 0 0 345027 131 0 0 20 0 1 0 74777756 976519168 229827 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 238408 229827 2944 2575 0 235315 0
Current children cumulated CPU time: 3451.58 s
Current children cumulated vsize: 953632 KiB
Current children cumulated memory: 919308 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.21 4.18 5/250 84424
/proc/meminfo: memFree=123014912/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=953632 memory=920204 CPUtime=3511.41 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 595105 0 0 0 351010 131 0 0 20 0 1 0 74777756 976519168 230051 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 238408 230051 2944 2575 0 235315 0
Current children cumulated CPU time: 3511.41 s
Current children cumulated vsize: 953632 KiB
Current children cumulated memory: 920204 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.20 4.18 5/249 84516
/proc/meminfo: memFree=127011928/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=953632 memory=920204 CPUtime=3571.24 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 595110 0 0 0 356993 131 0 0 20 0 1 0 74777756 976519168 230051 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 238408 230051 2944 2575 0 235315 0
Current children cumulated CPU time: 3571.24 s
Current children cumulated vsize: 953632 KiB
Current children cumulated memory: 920204 KiB
[startup+3597.27 s]
# the end of solver process 84200 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.86 s, system=1.31397 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.20 4.17 5/249 84516
/proc/meminfo: memFree=127011688/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=953632 memory=920204 CPUtime=3572.95 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 595110 0 0 0 357164 131 0 0 20 0 1 0 74777756 976519168 230051 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 238408 230051 2944 2575 0 235315 0
Current children cumulated CPU time: 3572.95 s
Current children cumulated vsize: 953632 KiB
Current children cumulated memory: 920204 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.19 4.17 5/249 84516
/proc/meminfo: memFree=126998188/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=953632 memory=920204 CPUtime=3579.32 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 595111 0 0 0 357801 131 0 0 20 0 1 0 74777756 976519168 230051 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 238408 230051 2944 2575 0 235315 0
Current children cumulated CPU time: 3579.32 s
Current children cumulated vsize: 953632 KiB
Current children cumulated memory: 920204 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.19 4.17 5/249 84516
/proc/meminfo: memFree=126758584/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=953632 memory=920204 CPUtime=3582.51 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 595111 0 0 0 358120 131 0 0 20 0 1 0 74777756 976519168 230051 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 238408 230051 2944 2575 0 235315 0
Current children cumulated CPU time: 3582.51 s
Current children cumulated vsize: 953632 KiB
Current children cumulated memory: 920204 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.19 4.17 5/249 84516
/proc/meminfo: memFree=126742328/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=953632 memory=920204 CPUtime=3584.11 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 595111 0 0 0 358280 131 0 0 20 0 1 0 74777756 976519168 230051 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 238408 230051 2944 2575 0 235315 0
Current children cumulated CPU time: 3584.11 s
Current children cumulated vsize: 953632 KiB
Current children cumulated memory: 920204 KiB
[startup+3596 s]*
/proc/loadavg: 4.12 4.19 4.17 5/249 84516
/proc/meminfo: memFree=126725944/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=953632 memory=920204 CPUtime=3584.91 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 595111 0 0 0 358360 131 0 0 20 0 1 0 74777756 976519168 230051 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 238408 230051 2944 2575 0 235315 0
Current children cumulated CPU time: 3584.91 s
Current children cumulated vsize: 953632 KiB
Current children cumulated memory: 920204 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.19 4.17 5/249 84516
/proc/meminfo: memFree=126725944/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=953632 memory=920204 CPUtime=3585.7 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 595111 0 0 0 358439 131 0 0 20 0 1 0 74777756 976519168 230051 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 238408 230051 2944 2575 0 235315 0
Current children cumulated CPU time: 3585.7 s
Current children cumulated vsize: 953632 KiB
Current children cumulated memory: 920204 KiB
[startup+3597.2 s]
/proc/loadavg: 4.12 4.19 4.17 5/249 84516
/proc/meminfo: memFree=126725944/131382112 swapFree=33010416/33010684
[pid=84200] ppid=84197 vsize=953632 memory=920204 CPUtime=3586.1 cores=4,6
/proc/84200/stat : 84200 (pbsolver) R 84197 84200 84085 0 -1 4194304 595113 0 0 0 358479 131 0 0 20 0 1 0 74777756 976519168 230051 18446744073709551615 4198400 14743177 140733248284944 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24580096 140733248293258 140733248293354 140733248293354 140733248298956 0
/proc/84200/statm: 238408 230051 2944 2575 0 235315 0
Current children cumulated CPU time: 3586.1 s
Current children cumulated vsize: 953632 KiB
Current children cumulated memory: 920204 KiB
Child status: 0
Real time (s): 3597.27
CPU time (s): 3586.17
CPU user time (s): 3584.86
CPU system time (s): 1.31397
CPU usage (%): 99.6916
Max. virtual memory (cumulated for all children) (KiB): 953632
Max. memory (cumulated for all children) (KiB): 920204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.86
system time used= 1.31397
maximum resident set size= 920204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 595146
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= 34
involuntary context switches= 1335
# summary of solver processes directly reported to runsolver:
# pid: 84200
# total CPU time (s): 3586.17
# total CPU user time (s): 3584.86
# total CPU system time (s): 1.31397
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3951 second user time and 38.2945 second system time
The end
Begin job on nodeC012 at 2025-07-04 03:03:00 IDJOB=4523481 IDBENCH=180363 IDSOLVER=3366 FILE ID=nodeC012/4523481-1751590980 RUNJOBID= nodeC012-1751590941-84096 SLURM_JOB_ID= 9598848 Free space on /tmp= 431748 MiB SOLVER NAME= SCIP-10 2025-06-13 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= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523481-1751590980/watcher-4523481-1751590980 -o /tmp/evaluation-result-4523481-1751590980/solver-4523481-1751590980 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751590941-84096 --watchdog 3760 pbsolver -f HOME/instance-4523481-1751590980.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0f8d279ff02416fc8d5941f7f119b5c9 RANDOM SEED=31131264 nodeC012 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 : 3491.682 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 : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3691.193 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 : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.303 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 : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.39 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 : 3700.000 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 : 6983.39 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 : 3691.229 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 : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.151 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 : 6983.39 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 : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 125016928 kB MemAvailable: 125407252 kB Buffers: 2136 kB Cached: 1190244 kB SwapCached: 16 kB Active: 4862028 kB Inactive: 572064 kB Active(anon): 4252660 kB Inactive(anon): 6996 kB Active(file): 609368 kB Inactive(file): 565068 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 18092 kB Writeback: 0 kB AnonPages: 4244860 kB Mapped: 135336 kB Shmem: 17944 kB KReclaimable: 110648 kB Slab: 196632 kB SReclaimable: 110648 kB SUnreclaim: 85984 kB KernelStack: 4112 kB PageTables: 11552 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 4776128 kB VmallocTotal: 34359738367 kB VmallocUsed: 149416 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 518144 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: 187208 kB DirectMap2M: 8103936 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431792 MiB End job on nodeC012 at 2025-07-04 04:02:58