Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | SAT | -36 | 3587.41 | 3597.27 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mis/normalized-mis_500_60_1.opb |
| MD5SUM | 2a4ebf3c72122f3b44af8d9c3b5c44b1 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -41 |
| Best CPU time to get the best result obtained on this benchmark | 71224 |
| 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 | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 103 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 37366 |
| Sum of products size (including duplicates) | 74732 |
| Number of different products | 18683 |
| Sum of products size | 37366 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4459752-1721939462.opb>
0.00/0.06 c original problem has 19183 variables (500 bin, 0 int, 18683 impl, 0 cont) and 19683 constraints
0.00/0.06 c problem read in 0.06
0.09/0.13 o 0
0.09/0.13 c feasible solution found by trivial heuristic after 0.1 seconds, objective value 0.000000e+00
0.09/0.13 c presolving:
0.09/0.19 c (round 1, fast) 18683 del vars, 500 del conss, 0 add conss, 18683 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.19/0.21 c (round 2, fast) 18683 del vars, 500 del conss, 0 add conss, 18683 chg bounds, 0 chg sides, 0 chg coeffs, 18683 upgd conss, 0 impls, 0 clqs
0.19/0.25 c (round 3, medium) 18683 del vars, 1000 del conss, 0 add conss, 18683 chg bounds, 0 chg sides, 0 chg coeffs, 18683 upgd conss, 0 impls, 18682 clqs
0.29/0.33 c (0.3s) probing: 51/500 (10.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.33 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.29/0.34 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.29/0.35 c (0.3s) no symmetry present (symcode time: 0.00)
0.29/0.35 c presolving (4 rounds: 4 fast, 2 medium, 1 exhaustive):
0.29/0.35 c 18683 deleted vars, 1000 deleted constraints, 0 added constraints, 18683 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.35 c 0 implications, 18682 cliques
0.29/0.35 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 18683 constraints
0.29/0.35 c 18683 constraints of type <setppc>
0.29/0.35 c transformed objective value is always integral (scale: 1)
0.29/0.35 c Presolving Time: 0.23
0.29/0.35 c - non default parameters ----------------------------------------------------------------------
0.29/0.35 c # SCIP version 10.0.0
0.29/0.35 c
0.29/0.35 c # maximal time in seconds to run
0.29/0.35 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.29/0.35 c limits/time = 3596.998037
0.29/0.35 c
0.29/0.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.35 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.29/0.35 c limits/memory = 27900
0.29/0.35 c
0.29/0.35 c # belongs reading time to solving time?
0.29/0.35 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.29/0.35 c timing/reading = TRUE
0.29/0.35 c
0.29/0.35 c -----------------------------------------------------------------------------------------------
0.29/0.35 c start solving
0.29/0.35 c transformed 1/1 original solutions to the transformed problem space
0.29/0.36 c
0.29/0.39 o -25
0.29/0.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.29/0.39 c p 0.4s| 1 | 0 | 0 | - | clique| 0 | 500 | 18k| 18k| 0 | 0 | 0 | 0 |-5.000000e+02 |-2.500000e+01 |1900.00%| unknown
0.29/0.41 o -34
0.29/0.41 c p 0.4s| 1 | 0 | 0 | - | locks| 0 | 500 | 18k| 18k| 0 | 0 | 0 | 0 |-5.000000e+02 |-3.400000e+01 |1370.59%| unknown
0.40/0.45 o -36
0.40/0.45 c i 0.4s| 1 | 0 | 90 | - | oneopt| 0 | 500 | 18k| 18k| 0 | 0 | 0 | 0 |-5.000000e+02 |-3.600000e+01 |1288.89%| unknown
0.40/0.48 c 0.5s| 1 | 0 | 608 | - | 107M | 0 | 500 | 18k| 18k| 0 | 0 | 0 | 0 |-2.500000e+02 |-3.600000e+01 | 594.44%| unknown
0.60/0.65 c 0.6s| 1 | 0 | 938 | - | 114M | 0 | 500 | 18k| 18k| 33 | 1 | 0 | 0 |-2.310000e+02 |-3.600000e+01 | 541.67%| unknown
0.89/0.95 c 0.9s| 1 | 0 | 1244 | - | 116M | 0 | 500 | 18k| 18k| 62 | 2 | 0 | 0 |-2.210000e+02 |-3.600000e+01 | 513.89%| unknown
1.29/1.37 c 1.4s| 1 | 0 | 1768 | - | 118M | 0 | 500 | 18k| 18k| 97 | 3 | 0 | 0 |-2.080000e+02 |-3.600000e+01 | 477.78%| unknown
1.59/1.68 c 1.7s| 1 | 0 | 2459 | - | 121M | 0 | 500 | 18k| 18k| 133 | 4 | 0 | 0 |-2.005000e+02 |-3.600000e+01 | 456.94%| unknown
2.28/2.38 c 2.4s| 1 | 0 | 2947 | - | 124M | 0 | 500 | 18k| 18k| 161 | 5 | 0 | 0 |-1.960000e+02 |-3.600000e+01 | 444.44%| unknown
2.68/2.70 c 2.7s| 1 | 0 | 3891 | - | 127M | 0 | 500 | 18k| 18k| 192 | 6 | 0 | 0 |-1.902500e+02 |-3.600000e+01 | 428.47%| unknown
3.78/3.83 c 3.8s| 1 | 0 | 4889 | - | 129M | 0 | 500 | 18k| 18k| 220 | 7 | 0 | 0 |-1.872500e+02 |-3.600000e+01 | 420.14%| unknown
4.08/4.15 c 4.2s| 1 | 0 | 5751 | - | 133M | 0 | 500 | 18k| 18k| 248 | 8 | 0 | 0 |-1.830000e+02 |-3.600000e+01 | 408.33%| unknown
4.37/4.49 c 4.5s| 1 | 0 | 6697 | - | 136M | 0 | 500 | 18k| 18k| 281 | 9 | 0 | 0 |-1.810000e+02 |-3.600000e+01 | 402.78%| unknown
4.77/4.86 c 4.9s| 1 | 0 | 7951 | - | 139M | 0 | 500 | 18k| 18k| 314 | 10 | 0 | 0 |-1.769286e+02 |-3.600000e+01 | 391.47%| unknown
5.27/5.33 c 5.3s| 1 | 0 | 9735 | - | 143M | 0 | 500 | 18k| 19k| 339 | 11 | 0 | 0 |-1.733793e+02 |-3.600000e+01 | 381.61%| unknown
5.76/5.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.76/5.85 c 5.8s| 1 | 0 | 11702 | - | 145M | 0 | 500 | 18k| 19k| 364 | 12 | 0 | 0 |-1.693586e+02 |-3.600000e+01 | 370.44%| unknown
6.07/6.18 c 6.2s| 1 | 0 | 12764 | - | 147M | 0 | 500 | 18k| 19k| 384 | 13 | 0 | 0 |-1.668009e+02 |-3.600000e+01 | 363.34%| unknown
6.57/6.61 c 6.6s| 1 | 0 | 14080 | - | 150M | 0 | 500 | 18k| 19k| 402 | 14 | 0 | 0 |-1.634650e+02 |-3.600000e+01 | 354.07%| unknown
6.87/6.93 c 6.9s| 1 | 0 | 14975 | - | 152M | 0 | 500 | 18k| 19k| 423 | 15 | 0 | 0 |-1.617810e+02 |-3.600000e+01 | 349.39%| unknown
7.27/7.30 c 7.3s| 1 | 0 | 16030 | - | 154M | 0 | 500 | 18k| 19k| 441 | 16 | 0 | 0 |-1.598724e+02 |-3.600000e+01 | 344.09%| unknown
7.67/7.75 c 7.8s| 1 | 0 | 17385 | - | 156M | 0 | 500 | 18k| 19k| 461 | 17 | 0 | 0 |-1.570639e+02 |-3.600000e+01 | 336.29%| unknown
8.07/8.16 c 8.2s| 1 | 0 | 18854 | - | 158M | 0 | 500 | 18k| 19k| 480 | 18 | 0 | 0 |-1.550517e+02 |-3.600000e+01 | 330.70%| unknown
8.56/8.60 c 8.6s| 1 | 0 | 20283 | - | 160M | 0 | 500 | 18k| 19k| 504 | 19 | 0 | 0 |-1.530422e+02 |-3.600000e+01 | 325.12%| unknown
9.07/9.10 c 9.1s| 1 | 0 | 21858 | - | 162M | 0 | 500 | 18k| 19k| 526 | 20 | 0 | 0 |-1.507820e+02 |-3.600000e+01 | 318.84%| unknown
9.36/9.40 c 9.4s| 1 | 0 | 22787 | - | 162M | 0 | 500 | 18k| 19k| 540 | 21 | 0 | 0 |-1.496031e+02 |-3.600000e+01 | 315.56%| unknown
9.66/9.74 c 9.7s| 1 | 0 | 23890 | - | 162M | 0 | 500 | 18k| 19k| 552 | 22 | 0 | 0 |-1.484667e+02 |-3.600000e+01 | 312.41%| unknown
9.96/10.00 c 10.0s| 1 | 0 | 24750 | - | 162M | 0 | 500 | 18k| 19k| 562 | 23 | 0 | 0 |-1.476580e+02 |-3.600000e+01 | 310.16%| unknown
10.15/10.27 c 10.3s| 1 | 0 | 25559 | - | 162M | 0 | 500 | 18k| 19k| 571 | 24 | 0 | 0 |-1.467743e+02 |-3.600000e+01 | 307.71%| unknown
10.45/10.56 c 10.6s| 1 | 0 | 26439 | - | 162M | 0 | 500 | 18k| 19k| 578 | 25 | 0 | 0 |-1.451433e+02 |-3.600000e+01 | 303.18%| unknown
10.65/10.79 c 10.8s| 1 | 0 | 27149 | - | 162M | 0 | 500 | 18k| 19k| 586 | 26 | 0 | 0 |-1.444009e+02 |-3.600000e+01 | 301.11%| unknown
10.96/11.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.96/11.06 c 11.1s| 1 | 0 | 28036 | - | 163M | 0 | 500 | 18k| 19k| 597 | 27 | 0 | 0 |-1.434513e+02 |-3.600000e+01 | 298.48%| unknown
11.15/11.26 c 11.3s| 1 | 0 | 28710 | - | 163M | 0 | 500 | 18k| 19k| 609 | 28 | 0 | 0 |-1.428128e+02 |-3.600000e+01 | 296.70%| unknown
11.45/11.56 c 11.6s| 1 | 0 | 29736 | - | 163M | 0 | 500 | 18k| 19k| 619 | 29 | 0 | 0 |-1.415908e+02 |-3.600000e+01 | 293.31%| unknown
11.65/11.78 c 11.8s| 1 | 0 | 30459 | - | 163M | 0 | 500 | 18k| 19k| 629 | 30 | 0 | 0 |-1.407803e+02 |-3.600000e+01 | 291.06%| unknown
11.95/12.01 c 12.0s| 1 | 0 | 31169 | - | 163M | 0 | 500 | 18k| 19k| 642 | 31 | 0 | 0 |-1.400053e+02 |-3.600000e+01 | 288.90%| unknown
12.34/12.42 c 12.4s| 1 | 0 | 32289 | - | 163M | 0 | 500 | 18k| 19k| 653 | 32 | 0 | 0 |-1.384672e+02 |-3.600000e+01 | 284.63%| unknown
12.65/12.77 c 12.8s| 1 | 0 | 33290 | - | 163M | 0 | 500 | 18k| 19k| 666 | 33 | 0 | 0 |-1.371549e+02 |-3.600000e+01 | 280.99%| unknown
12.85/12.91 c 12.9s| 1 | 0 | 33693 | - | 164M | 0 | 500 | 18k| 19k| 674 | 34 | 0 | 0 |-1.368404e+02 |-3.600000e+01 | 280.11%| unknown
13.06/13.19 c 13.2s| 1 | 0 | 34520 | - | 164M | 0 | 500 | 18k| 19k| 681 | 35 | 0 | 0 |-1.361385e+02 |-3.600000e+01 | 278.16%| unknown
13.35/13.49 c 13.5s| 1 | 0 | 35453 | - | 164M | 0 | 500 | 18k| 19k| 695 | 36 | 0 | 0 |-1.352629e+02 |-3.600000e+01 | 275.73%| unknown
13.65/13.79 c 13.8s| 1 | 0 | 36340 | - | 164M | 0 | 500 | 18k| 19k| 710 | 37 | 0 | 0 |-1.342627e+02 |-3.600000e+01 | 272.95%| unknown
13.85/13.99 c 14.0s| 1 | 0 | 36889 | - | 164M | 0 | 500 | 18k| 19k| 720 | 38 | 0 | 0 |-1.337567e+02 |-3.600000e+01 | 271.55%| unknown
14.15/14.20 c 14.2s| 1 | 0 | 37474 | - | 164M | 0 | 500 | 18k| 19k| 732 | 39 | 0 | 0 |-1.332987e+02 |-3.600000e+01 | 270.27%| unknown
14.34/14.49 c 14.5s| 1 | 0 | 38290 | - | 164M | 0 | 500 | 18k| 19k| 743 | 40 | 0 | 0 |-1.325601e+02 |-3.600000e+01 | 268.22%| unknown
14.64/14.73 c 14.7s| 1 | 0 | 38976 | - | 164M | 0 | 500 | 18k| 19k| 758 | 41 | 0 | 0 |-1.318514e+02 |-3.600000e+01 | 266.25%| unknown
14.95/15.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.95/15.06 c 15.1s| 1 | 0 | 39973 | - | 164M | 0 | 500 | 18k| 19k| 775 | 42 | 0 | 0 |-1.306898e+02 |-3.600000e+01 | 263.03%| unknown
15.14/15.24 c 15.2s| 1 | 0 | 40457 | - | 164M | 0 | 500 | 18k| 19k| 792 | 43 | 0 | 0 |-1.302992e+02 |-3.600000e+01 | 261.94%| unknown
15.34/15.45 c 15.4s| 1 | 0 | 41027 | - | 165M | 0 | 500 | 18k| 19k| 798 | 44 | 0 | 0 |-1.299807e+02 |-3.600000e+01 | 261.06%| unknown
15.54/15.69 c 15.7s| 1 | 0 | 41699 | - | 165M | 0 | 500 | 18k| 19k| 806 | 45 | 0 | 0 |-1.293978e+02 |-3.600000e+01 | 259.44%| unknown
15.84/15.95 c 16.0s| 1 | 0 | 42391 | - | 165M | 0 | 500 | 18k| 19k| 818 | 46 | 0 | 0 |-1.285135e+02 |-3.600000e+01 | 256.98%| unknown
16.14/16.23 c 16.2s| 1 | 0 | 43155 | - | 165M | 0 | 500 | 18k| 19k| 828 | 47 | 0 | 0 |-1.279226e+02 |-3.600000e+01 | 255.34%| unknown
16.34/16.45 c 16.4s| 1 | 0 | 43788 | - | 165M | 0 | 500 | 18k| 19k| 838 | 48 | 0 | 0 |-1.274619e+02 |-3.600000e+01 | 254.06%| unknown
16.63/16.73 c 16.7s| 1 | 0 | 44562 | - | 165M | 0 | 500 | 18k| 19k| 852 | 49 | 0 | 0 |-1.268696e+02 |-3.600000e+01 | 252.42%| unknown
16.83/16.93 c 16.9s| 1 | 0 | 45085 | - | 165M | 0 | 500 | 18k| 19k| 862 | 50 | 0 | 0 |-1.265125e+02 |-3.600000e+01 | 251.42%| unknown
17.04/17.14 c 17.1s| 1 | 0 | 45629 | - | 165M | 0 | 500 | 18k| 19k| 873 | 51 | 0 | 0 |-1.261799e+02 |-3.600000e+01 | 250.50%| unknown
17.23/17.36 c 17.4s| 1 | 0 | 46188 | - | 166M | 0 | 500 | 18k| 19k| 888 | 52 | 0 | 0 |-1.258247e+02 |-3.600000e+01 | 249.51%| unknown
17.53/17.65 c 17.6s| 1 | 0 | 46882 | - | 166M | 0 | 500 | 18k| 19k| 901 | 53 | 0 | 0 |-1.251822e+02 |-3.600000e+01 | 247.73%| unknown
17.83/17.95 c 17.9s| 1 | 0 | 47679 | - | 166M | 0 | 500 | 18k| 19k| 914 | 54 | 0 | 0 |-1.244555e+02 |-3.600000e+01 | 245.71%| unknown
18.13/18.21 c 18.2s| 1 | 0 | 48373 | - | 166M | 0 | 500 | 18k| 19k| 928 | 55 | 0 | 0 |-1.239292e+02 |-3.600000e+01 | 244.25%| unknown
18.33/18.43 c 18.4s| 1 | 0 | 48921 | - | 166M | 0 | 500 | 18k| 19k| 942 | 56 | 0 | 0 |-1.234996e+02 |-3.600000e+01 | 243.05%| unknown
18.53/18.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.53/18.68 c 18.7s| 1 | 0 | 49579 | - | 167M | 0 | 500 | 18k| 19k| 953 | 57 | 0 | 0 |-1.230782e+02 |-3.600000e+01 | 241.88%| unknown
18.73/18.87 c 18.9s| 1 | 0 | 50049 | - | 167M | 0 | 500 | 18k| 19k| 966 | 58 | 0 | 0 |-1.226867e+02 |-3.600000e+01 | 240.80%| unknown
19.12/19.22 c 19.2s| 1 | 0 | 50920 | - | 167M | 0 | 500 | 18k| 19k| 977 | 59 | 0 | 0 |-1.219360e+02 |-3.600000e+01 | 238.71%| unknown
19.42/19.54 c 19.5s| 1 | 0 | 51682 | - | 167M | 0 | 500 | 18k| 19k| 993 | 60 | 0 | 0 |-1.212594e+02 |-3.600000e+01 | 236.83%| unknown
19.72/19.84 c 19.8s| 1 | 0 | 52411 | - | 167M | 0 | 500 | 18k| 19k|1009 | 61 | 0 | 0 |-1.204745e+02 |-3.600000e+01 | 234.65%| unknown
20.03/20.12 c 20.1s| 1 | 0 | 53118 | - | 167M | 0 | 500 | 18k| 19k|1024 | 62 | 0 | 0 |-1.198662e+02 |-3.600000e+01 | 232.96%| unknown
20.32/20.41 c 20.4s| 1 | 0 | 53827 | - | 167M | 0 | 500 | 18k| 19k|1037 | 63 | 0 | 0 |-1.190142e+02 |-3.600000e+01 | 230.60%| unknown
20.52/20.61 c 20.6s| 1 | 0 | 54323 | - | 167M | 0 | 500 | 18k| 19k|1050 | 64 | 0 | 0 |-1.186590e+02 |-3.600000e+01 | 229.61%| unknown
20.73/20.81 c 20.8s| 1 | 0 | 54780 | - | 167M | 0 | 500 | 18k| 19k|1064 | 65 | 0 | 0 |-1.183345e+02 |-3.600000e+01 | 228.71%| unknown
20.93/21.01 c 21.0s| 1 | 0 | 55266 | - | 167M | 0 | 500 | 18k| 19k|1078 | 66 | 0 | 0 |-1.179747e+02 |-3.600000e+01 | 227.71%| unknown
21.13/21.21 c 21.2s| 1 | 0 | 55727 | - | 168M | 0 | 500 | 18k| 19k|1089 | 67 | 0 | 0 |-1.176716e+02 |-3.600000e+01 | 226.87%| unknown
21.23/21.33 c 21.3s| 1 | 0 | 56034 | - | 168M | 0 | 500 | 18k| 19k|1097 | 68 | 0 | 0 |-1.175145e+02 |-3.600000e+01 | 226.43%| unknown
21.33/21.46 c 21.5s| 1 | 0 | 56328 | - | 168M | 0 | 500 | 18k| 19k|1110 | 69 | 0 | 0 |-1.173769e+02 |-3.600000e+01 | 226.05%| unknown
21.53/21.63 c 21.6s| 1 | 0 | 56715 | - | 168M | 0 | 500 | 18k| 19k|1125 | 70 | 0 | 0 |-1.170977e+02 |-3.600000e+01 | 225.27%| unknown
21.72/21.84 c 21.8s| 1 | 0 | 57204 | - | 168M | 0 | 500 | 18k| 19k|1136 | 71 | 0 | 0 |-1.167023e+02 |-3.600000e+01 | 224.17%| unknown
21.82/21.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
21.82/21.99 c 22.0s| 1 | 0 | 57554 | - | 168M | 0 | 500 | 18k| 19k|1150 | 72 | 0 | 0 |-1.164543e+02 |-3.600000e+01 | 223.48%| unknown
22.12/22.22 c 22.2s| 1 | 0 | 58051 | - | 168M | 0 | 500 | 18k| 19k|1161 | 73 | 0 | 0 |-1.160221e+02 |-3.600000e+01 | 222.28%| unknown
22.32/22.43 c 22.4s| 1 | 0 | 58542 | - | 169M | 0 | 500 | 18k| 19k|1175 | 74 | 0 | 0 |-1.156517e+02 |-3.600000e+01 | 221.25%| unknown
22.42/22.59 c 22.6s| 1 | 0 | 58890 | - | 169M | 0 | 500 | 18k| 19k|1185 | 75 | 0 | 0 |-1.153803e+02 |-3.600000e+01 | 220.50%| unknown
22.62/22.76 c 22.8s| 1 | 0 | 59283 | - | 169M | 0 | 500 | 18k| 19k|1195 | 76 | 0 | 0 |-1.150879e+02 |-3.600000e+01 | 219.69%| unknown
22.82/22.91 c 22.9s| 1 | 0 | 59613 | - | 169M | 0 | 500 | 18k| 19k|1204 | 77 | 0 | 0 |-1.148165e+02 |-3.600000e+01 | 218.93%| unknown
23.02/23.14 c 23.1s| 1 | 0 | 60131 | - | 169M | 0 | 500 | 18k| 19k|1220 | 78 | 0 | 0 |-1.143747e+02 |-3.600000e+01 | 217.71%| unknown
23.22/23.31 c 23.3s| 1 | 0 | 60516 | - | 169M | 0 | 500 | 18k| 19k|1239 | 79 | 0 | 0 |-1.141965e+02 |-3.600000e+01 | 217.21%| unknown
23.32/23.43 c 23.4s| 1 | 0 | 60779 | - | 169M | 0 | 500 | 18k| 19k|1249 | 80 | 0 | 0 |-1.140358e+02 |-3.600000e+01 | 216.77%| unknown
23.42/23.56 c 23.6s| 1 | 0 | 61075 | - | 170M | 0 | 500 | 18k| 19k|1272 | 81 | 0 | 0 |-1.138077e+02 |-3.600000e+01 | 216.13%| unknown
23.62/23.72 c 23.7s| 1 | 0 | 61431 | - | 170M | 0 | 500 | 18k| 19k|1282 | 82 | 0 | 0 |-1.135993e+02 |-3.600000e+01 | 215.55%| unknown
23.81/23.90 c 23.9s| 1 | 0 | 61842 | - | 170M | 0 | 500 | 18k| 19k|1292 | 83 | 0 | 0 |-1.133440e+02 |-3.600000e+01 | 214.84%| unknown
23.92/24.05 c 24.0s| 1 | 0 | 62185 | - | 170M | 0 | 500 | 18k| 19k|1307 | 84 | 0 | 0 |-1.131805e+02 |-3.600000e+01 | 214.39%| unknown
24.02/24.19 c 24.2s| 1 | 0 | 62479 | - | 170M | 0 | 500 | 18k| 19k|1320 | 85 | 0 | 0 |-1.130183e+02 |-3.600000e+01 | 213.94%| unknown
24.21/24.35 c 24.3s| 1 | 0 | 62824 | - | 170M | 0 | 500 | 18k| 19k|1334 | 86 | 0 | 0 |-1.128522e+02 |-3.600000e+01 | 213.48%| unknown
24.31/24.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.31/24.47 c 24.5s| 1 | 0 | 63074 | - | 170M | 0 | 500 | 18k| 19k|1343 | 87 | 0 | 0 |-1.126438e+02 |-3.600000e+01 | 212.90%| unknown
24.51/24.61 c 24.6s| 1 | 0 | 63330 | - | 171M | 0 | 500 | 18k| 19k|1355 | 88 | 0 | 0 |-1.124233e+02 |-3.600000e+01 | 212.29%| unknown
24.61/24.75 c 24.7s| 1 | 0 | 63618 | - | 171M | 0 | 500 | 18k| 19k|1368 | 89 | 0 | 0 |-1.122200e+02 |-3.600000e+01 | 211.72%| unknown
24.71/24.88 c 24.9s| 1 | 0 | 63886 | - | 171M | 0 | 500 | 18k| 19k|1379 | 90 | 0 | 0 |-1.120895e+02 |-3.600000e+01 | 211.36%| unknown
24.91/25.03 c 25.0s| 1 | 0 | 64190 | - | 171M | 0 | 500 | 18k| 19k|1391 | 91 | 0 | 0 |-1.119126e+02 |-3.600000e+01 | 210.87%| unknown
25.01/25.17 c 25.2s| 1 | 0 | 64463 | - | 171M | 0 | 500 | 18k| 19k|1406 | 92 | 0 | 0 |-1.117451e+02 |-3.600000e+01 | 210.40%| unknown
25.21/25.33 c 25.3s| 1 | 0 | 64808 | - | 171M | 0 | 500 | 18k| 19k|1417 | 93 | 0 | 0 |-1.115377e+02 |-3.600000e+01 | 209.83%| unknown
25.31/25.43 c 25.4s| 1 | 0 | 64966 | - | 171M | 0 | 500 | 18k| 19k|1428 | 94 | 0 | 0 |-1.114696e+02 |-3.600000e+01 | 209.64%| unknown
25.41/25.57 c 25.6s| 1 | 0 | 65246 | - | 171M | 0 | 500 | 18k| 19k|1435 | 95 | 0 | 0 |-1.112546e+02 |-3.600000e+01 | 209.04%| unknown
25.51/25.65 c 25.6s| 1 | 0 | 65362 | - | 172M | 0 | 500 | 18k| 19k|1448 | 96 | 0 | 0 |-1.111953e+02 |-3.600000e+01 | 208.88%| unknown
25.71/25.80 c 25.8s| 1 | 0 | 65665 | - | 172M | 0 | 500 | 18k| 19k|1459 | 97 | 0 | 0 |-1.110179e+02 |-3.600000e+01 | 208.38%| unknown
25.71/25.89 c 25.9s| 1 | 0 | 65828 | - | 172M | 0 | 500 | 18k| 19k|1470 | 98 | 0 | 0 |-1.109491e+02 |-3.600000e+01 | 208.19%| unknown
25.91/26.04 c 26.0s| 1 | 0 | 66119 | - | 172M | 0 | 500 | 18k| 19k|1480 | 99 | 0 | 0 |-1.108141e+02 |-3.600000e+01 | 207.82%| unknown
26.01/26.16 c 26.2s| 1 | 0 | 66363 | - | 172M | 0 | 500 | 18k| 19k|1492 |100 | 0 | 0 |-1.107247e+02 |-3.600000e+01 | 207.57%| unknown
26.10/26.26 c 26.3s| 1 | 0 | 66541 | - | 172M | 0 | 500 | 18k| 19k|1507 |101 | 0 | 0 |-1.106643e+02 |-3.600000e+01 | 207.40%| unknown
26.20/26.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
26.20/26.39 c 26.4s| 1 | 0 | 66797 | - | 173M | 0 | 500 | 18k| 19k|1520 |102 | 0 | 0 |-1.105380e+02 |-3.600000e+01 | 207.05%| unknown
26.30/26.47 c 26.5s| 1 | 0 | 66974 | - | 173M | 0 | 500 | 18k| 19k|1533 |103 | 0 | 0 |-1.104710e+02 |-3.600000e+01 | 206.86%| unknown
26.50/26.61 c 26.6s| 1 | 0 | 67258 | - | 173M | 0 | 500 | 18k| 19k|1545 |104 | 0 | 0 |-1.103043e+02 |-3.600000e+01 | 206.40%| unknown
26.60/26.70 c 26.7s| 1 | 0 | 67432 | - | 173M | 0 | 500 | 18k| 19k|1557 |105 | 0 | 0 |-1.102483e+02 |-3.600000e+01 | 206.25%| unknown
26.70/26.81 c 26.8s| 1 | 0 | 67645 | - | 173M | 0 | 500 | 18k| 19k|1571 |106 | 0 | 0 |-1.101640e+02 |-3.600000e+01 | 206.01%| unknown
26.80/26.91 c 26.9s| 1 | 0 | 67819 | - | 173M | 0 | 500 | 18k| 19k|1581 |107 | 0 | 0 |-1.100624e+02 |-3.600000e+01 | 205.73%| unknown
26.91/27.01 c 27.0s| 1 | 0 | 68008 | - | 173M | 0 | 500 | 18k| 19k|1592 |108 | 0 | 0 |-1.099654e+02 |-3.600000e+01 | 205.46%| unknown
27.01/27.11 c 27.1s| 1 | 0 | 68200 | - | 174M | 0 | 500 | 18k| 19k|1607 |109 | 0 | 0 |-1.098831e+02 |-3.600000e+01 | 205.23%| unknown
27.10/27.26 c 27.3s| 1 | 0 | 68509 | - | 174M | 0 | 500 | 18k| 19k|1620 |110 | 0 | 0 |-1.096884e+02 |-3.600000e+01 | 204.69%| unknown
27.30/27.40 c 27.4s| 1 | 0 | 68793 | - | 174M | 0 | 500 | 18k| 19k|1634 |111 | 0 | 0 |-1.095005e+02 |-3.600000e+01 | 204.17%| unknown
27.40/27.53 c 27.5s| 1 | 0 | 69081 | - | 174M | 0 | 500 | 18k| 19k|1643 |112 | 0 | 0 |-1.093900e+02 |-3.600000e+01 | 203.86%| unknown
27.50/27.66 c 27.7s| 1 | 0 | 69348 | - | 174M | 0 | 500 | 18k| 19k|1654 |113 | 0 | 0 |-1.092540e+02 |-3.600000e+01 | 203.48%| unknown
27.60/27.78 c 27.8s| 1 | 0 | 69583 | - | 174M | 0 | 500 | 18k| 19k|1671 |114 | 0 | 0 |-1.091102e+02 |-3.600000e+01 | 203.08%| unknown
27.80/27.90 c 27.9s| 1 | 0 | 69844 | - | 174M | 0 | 500 | 18k| 19k|1685 |115 | 0 | 0 |-1.089843e+02 |-3.600000e+01 | 202.73%| unknown
27.90/28.04 c 28.0s| 1 | 0 | 70121 | - | 174M | 0 | 500 | 18k| 19k|1695 |116 | 0 | 0 |-1.088177e+02 |-3.600000e+01 | 202.27%| unknown
28.00/28.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
28.00/28.19 c 28.2s| 1 | 0 | 70421 | - | 175M | 0 | 500 | 18k| 19k|1705 |117 | 0 | 0 |-1.086398e+02 |-3.600000e+01 | 201.78%| unknown
28.20/28.30 c 28.3s| 1 | 0 | 70647 | - | 175M | 0 | 500 | 18k| 19k|1719 |118 | 0 | 0 |-1.085606e+02 |-3.600000e+01 | 201.56%| unknown
28.30/28.43 c 28.4s| 1 | 0 | 70906 | - | 175M | 0 | 500 | 18k| 19k|1728 |119 | 0 | 0 |-1.084334e+02 |-3.600000e+01 | 201.20%| unknown
28.40/28.54 c 28.5s| 1 | 0 | 71111 | - | 175M | 0 | 500 | 18k| 19k|1739 |120 | 0 | 0 |-1.083605e+02 |-3.600000e+01 | 201.00%| unknown
28.50/28.64 c 28.6s| 1 | 0 | 71304 | - | 175M | 0 | 500 | 18k| 19k|1746 |121 | 0 | 0 |-1.082853e+02 |-3.600000e+01 | 200.79%| unknown
28.60/28.76 c 28.8s| 1 | 0 | 71547 | - | 175M | 0 | 500 | 18k| 19k|1758 |122 | 0 | 0 |-1.081868e+02 |-3.600000e+01 | 200.52%| unknown
28.70/28.89 c 28.9s| 1 | 0 | 71824 | - | 175M | 0 | 500 | 18k| 19k|1774 |123 | 0 | 0 |-1.080940e+02 |-3.600000e+01 | 200.26%| unknown
28.80/29.00 c 29.0s| 1 | 0 | 72035 | - | 175M | 0 | 500 | 18k| 19k|1783 |124 | 0 | 0 |-1.079979e+02 |-3.600000e+01 | 199.99%| unknown
29.01/29.13 c 29.1s| 1 | 0 | 72316 | - | 175M | 0 | 500 | 18k| 19k|1797 |125 | 0 | 0 |-1.078868e+02 |-3.600000e+01 | 199.69%| unknown
29.20/29.30 c 29.3s| 1 | 0 | 72675 | - | 175M | 0 | 500 | 18k| 19k|1810 |126 | 0 | 0 |-1.077510e+02 |-3.600000e+01 | 199.31%| unknown
29.30/29.40 c 29.4s| 1 | 0 | 72857 | - | 176M | 0 | 500 | 18k| 19k|1821 |127 | 0 | 0 |-1.076716e+02 |-3.600000e+01 | 199.09%| unknown
29.40/29.52 c 29.5s| 1 | 0 | 73099 | - | 176M | 0 | 500 | 18k| 19k|1828 |128 | 0 | 0 |-1.075884e+02 |-3.600000e+01 | 198.86%| unknown
29.50/29.61 c 29.6s| 1 | 0 | 73272 | - | 176M | 0 | 500 | 18k| 19k|1841 |129 | 0 | 0 |-1.075286e+02 |-3.600000e+01 | 198.69%| unknown
29.60/29.75 c 29.8s| 1 | 0 | 73563 | - | 176M | 0 | 500 | 18k| 19k|1852 |130 | 0 | 0 |-1.074022e+02 |-3.600000e+01 | 198.34%| unknown
29.70/29.89 c 29.9s| 1 | 0 | 73836 | - | 176M | 0 | 500 | 18k| 19k|1868 |131 | 0 | 0 |-1.072779e+02 |-3.600000e+01 | 197.99%| unknown
29.90/30.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
29.90/30.03 c 30.0s| 1 | 0 | 74112 | - | 176M | 0 | 500 | 18k| 19k|1885 |132 | 0 | 0 |-1.071576e+02 |-3.600000e+01 | 197.66%| unknown
30.00/30.11 c 30.1s| 1 | 0 | 74256 | - | 176M | 0 | 500 | 18k| 19k|1899 |133 | 0 | 0 |-1.071265e+02 |-3.600000e+01 | 197.57%| unknown
30.10/30.20 c 30.2s| 1 | 0 | 74385 | - | 177M | 0 | 500 | 18k| 19k|1909 |134 | 0 | 0 |-1.070960e+02 |-3.600000e+01 | 197.49%| unknown
30.19/30.30 c 30.3s| 1 | 0 | 74578 | - | 177M | 0 | 500 | 18k| 19k|1924 |135 | 0 | 0 |-1.070260e+02 |-3.600000e+01 | 197.29%| unknown
30.29/30.42 c 30.4s| 1 | 0 | 74821 | - | 177M | 0 | 500 | 18k| 19k|1936 |136 | 0 | 0 |-1.069214e+02 |-3.600000e+01 | 197.00%| unknown
30.39/30.56 c 30.6s| 1 | 0 | 75102 | - | 177M | 0 | 500 | 18k| 19k|1948 |137 | 0 | 0 |-1.068041e+02 |-3.600000e+01 | 196.68%| unknown
30.59/30.70 c 30.7s| 1 | 0 | 75383 | - | 177M | 0 | 500 | 18k| 19k|1960 |138 | 0 | 0 |-1.066770e+02 |-3.600000e+01 | 196.33%| unknown
30.59/30.78 c 30.8s| 1 | 0 | 75524 | - | 177M | 0 | 500 | 18k| 19k|1971 |139 | 0 | 0 |-1.066228e+02 |-3.600000e+01 | 196.17%| unknown
30.69/30.86 c 30.9s| 1 | 0 | 75668 | - | 177M | 0 | 500 | 18k| 19k|1980 |140 | 0 | 0 |-1.065877e+02 |-3.600000e+01 | 196.08%| unknown
30.79/30.96 c 31.0s| 1 | 0 | 75860 | - | 177M | 0 | 500 | 18k| 19k|1992 |141 | 0 | 0 |-1.065360e+02 |-3.600000e+01 | 195.93%| unknown
30.90/31.08 c 31.1s| 1 | 0 | 76095 | - | 178M | 0 | 500 | 18k| 19k|2005 |142 | 0 | 0 |-1.064714e+02 |-3.600000e+01 | 195.75%| unknown
31.00/31.18 c 31.2s| 1 | 0 | 76261 | - | 178M | 0 | 500 | 18k| 19k|2013 |143 | 0 | 0 |-1.064195e+02 |-3.600000e+01 | 195.61%| unknown
31.19/31.30 c 31.3s| 1 | 0 | 76485 | - | 178M | 0 | 500 | 18k| 19k|2020 |144 | 0 | 0 |-1.063455e+02 |-3.600000e+01 | 195.40%| unknown
31.29/31.43 c 31.4s| 1 | 0 | 76743 | - | 178M | 0 | 500 | 18k| 19k|2035 |145 | 0 | 0 |-1.062373e+02 |-3.600000e+01 | 195.10%| unknown
31.39/31.53 c 31.5s| 1 | 0 | 76929 | - | 178M | 0 | 500 | 18k| 19k|2047 |146 | 0 | 0 |-1.061696e+02 |-3.600000e+01 | 194.92%| unknown
31.49/31.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
31.49/31.68 c 31.7s| 1 | 0 | 77219 | - | 178M | 0 | 500 | 18k| 19k|2059 |147 | 0 | 0 |-1.060383e+02 |-3.600000e+01 | 194.55%| unknown
31.69/31.80 c 31.8s| 1 | 0 | 77476 | - | 178M | 0 | 500 | 18k| 19k|2075 |148 | 0 | 0 |-1.059307e+02 |-3.600000e+01 | 194.25%| unknown
31.79/31.94 c 31.9s| 1 | 0 | 77755 | - | 178M | 0 | 500 | 18k| 19k|2090 |149 | 0 | 0 |-1.058266e+02 |-3.600000e+01 | 193.96%| unknown
31.89/32.04 c 32.0s| 1 | 0 | 77946 | - | 178M | 0 | 500 | 18k| 19k|2104 |150 | 0 | 0 |-1.057413e+02 |-3.600000e+01 | 193.73%| unknown
31.99/32.16 c 32.2s| 1 | 0 | 78161 | - | 178M | 0 | 500 | 18k| 19k|2119 |151 | 0 | 0 |-1.056810e+02 |-3.600000e+01 | 193.56%| unknown
32.18/32.31 c 32.3s| 1 | 0 | 78467 | - | 179M | 0 | 500 | 18k| 19k|2131 |152 | 0 | 0 |-1.055780e+02 |-3.600000e+01 | 193.27%| unknown
32.28/32.40 c 32.4s| 1 | 0 | 78636 | - | 179M | 0 | 500 | 18k| 19k|2143 |153 | 0 | 0 |-1.055320e+02 |-3.600000e+01 | 193.14%| unknown
32.38/32.54 c 32.5s| 1 | 0 | 78912 | - | 179M | 0 | 500 | 18k| 19k|2159 |154 | 0 | 0 |-1.054216e+02 |-3.600000e+01 | 192.84%| unknown
32.48/32.67 c 32.7s| 1 | 0 | 79181 | - | 179M | 0 | 500 | 18k| 19k|2173 |155 | 0 | 0 |-1.053342e+02 |-3.600000e+01 | 192.59%| unknown
32.68/32.84 c 32.8s| 1 | 0 | 79498 | - | 179M | 0 | 500 | 18k| 19k|2186 |156 | 0 | 0 |-1.051982e+02 |-3.600000e+01 | 192.22%| unknown
32.78/32.93 c 32.9s| 1 | 0 | 79669 | - | 179M | 0 | 500 | 18k| 19k|2200 |157 | 0 | 0 |-1.051545e+02 |-3.600000e+01 | 192.10%| unknown
32.89/33.08 c 33.1s| 1 | 0 | 79977 | - | 179M | 0 | 500 | 18k| 19k|2211 |158 | 0 | 0 |-1.050248e+02 |-3.600000e+01 | 191.74%| unknown
33.08/33.22 c 33.2s| 1 | 0 | 80217 | - | 179M | 0 | 500 | 18k| 19k|2222 |159 | 0 | 0 |-1.049414e+02 |-3.600000e+01 | 191.50%| unknown
33.18/33.32 c 33.3s| 1 | 0 | 80399 | - | 180M | 0 | 500 | 18k| 19k|2231 |160 | 0 | 0 |-1.048841e+02 |-3.600000e+01 | 191.34%| unknown
33.28/33.43 c 33.4s| 1 | 0 | 80612 | - | 180M | 0 | 500 | 18k| 19k|2239 |161 | 0 | 0 |-1.048431e+02 |-3.600000e+01 | 191.23%| unknown
33.38/33.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
33.38/33.53 c 33.5s| 1 | 0 | 80809 | - | 180M | 0 | 500 | 18k| 19k|2248 |162 | 0 | 0 |-1.047881e+02 |-3.600000e+01 | 191.08%| unknown
33.48/33.62 c 33.6s| 1 | 0 | 80976 | - | 180M | 0 | 500 | 18k| 19k|2262 |163 | 0 | 0 |-1.047498e+02 |-3.600000e+01 | 190.97%| unknown
33.58/33.75 c 33.7s| 1 | 0 | 81197 | - | 180M | 0 | 500 | 18k| 19k|2271 |164 | 0 | 0 |-1.046595e+02 |-3.600000e+01 | 190.72%| unknown
33.68/33.87 c 33.9s| 1 | 0 | 81417 | - | 180M | 0 | 500 | 18k| 19k|2278 |165 | 0 | 0 |-1.045895e+02 |-3.600000e+01 | 190.53%| unknown
33.78/33.97 c 34.0s| 1 | 0 | 81575 | - | 180M | 0 | 500 | 18k| 19k|2289 |166 | 0 | 0 |-1.045584e+02 |-3.600000e+01 | 190.44%| unknown
33.88/34.06 c 34.1s| 1 | 0 | 81716 | - | 180M | 0 | 500 | 18k| 19k|2300 |167 | 0 | 0 |-1.045357e+02 |-3.600000e+01 | 190.38%| unknown
33.98/34.12 c 34.1s| 1 | 0 | 81820 | - | 181M | 0 | 500 | 18k| 19k|2309 |168 | 0 | 0 |-1.045149e+02 |-3.600000e+01 | 190.32%| unknown
34.09/34.23 c 34.2s| 1 | 0 | 82017 | - | 181M | 0 | 500 | 18k| 19k|2316 |169 | 0 | 0 |-1.044676e+02 |-3.600000e+01 | 190.19%| unknown
34.19/34.34 c 34.3s| 1 | 0 | 82209 | - | 181M | 0 | 500 | 18k| 19k|2331 |170 | 0 | 0 |-1.044209e+02 |-3.600000e+01 | 190.06%| unknown
34.29/34.45 c 34.5s| 1 | 0 | 82433 | - | 181M | 0 | 500 | 18k| 19k|2345 |171 | 0 | 0 |-1.043519e+02 |-3.600000e+01 | 189.87%| unknown
34.39/34.56 c 34.6s| 1 | 0 | 82596 | - | 181M | 0 | 500 | 18k| 19k|2356 |172 | 0 | 0 |-1.043157e+02 |-3.600000e+01 | 189.77%| unknown
34.48/34.69 c 34.7s| 1 | 0 | 82823 | - | 181M | 0 | 500 | 18k| 19k|2368 |173 | 0 | 0 |-1.042370e+02 |-3.600000e+01 | 189.55%| unknown
34.68/34.81 c 34.8s| 1 | 0 | 83058 | - | 181M | 0 | 500 | 18k| 19k|2381 |174 | 0 | 0 |-1.041594e+02 |-3.600000e+01 | 189.33%| unknown
34.68/34.87 c 34.9s| 1 | 0 | 83127 | - | 181M | 0 | 500 | 18k| 19k|2389 |175 | 0 | 0 |-1.041526e+02 |-3.600000e+01 | 189.31%| unknown
34.78/34.96 c 35.0s| 1 | 0 | 83310 | - | 181M | 0 | 500 | 18k| 19k|2398 |176 | 0 | 0 |-1.041231e+02 |-3.600000e+01 | 189.23%| unknown
34.89/35.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
34.89/35.05 c 35.0s| 1 | 0 | 83449 | - | 182M | 0 | 500 | 18k| 19k|2410 |177 | 0 | 0 |-1.040928e+02 |-3.600000e+01 | 189.15%| unknown
34.99/35.16 c 35.2s| 1 | 0 | 83663 | - | 182M | 0 | 500 | 18k| 19k|2422 |178 | 0 | 0 |-1.040354e+02 |-3.600000e+01 | 188.99%| unknown
35.08/35.27 c 35.3s| 1 | 0 | 83855 | - | 182M | 0 | 500 | 18k| 19k|2434 |179 | 0 | 0 |-1.039943e+02 |-3.600000e+01 | 188.87%| unknown
35.18/35.34 c 35.3s| 1 | 0 | 83965 | - | 182M | 0 | 500 | 18k| 19k|2448 |180 | 0 | 0 |-1.039735e+02 |-3.600000e+01 | 188.82%| unknown
35.28/35.41 c 35.4s| 1 | 0 | 84086 | - | 182M | 0 | 500 | 18k| 19k|2459 |181 | 0 | 0 |-1.039542e+02 |-3.600000e+01 | 188.76%| unknown
35.38/35.51 c 35.5s| 1 | 0 | 84262 | - | 182M | 0 | 500 | 18k| 19k|2470 |182 | 0 | 0 |-1.038999e+02 |-3.600000e+01 | 188.61%| unknown
35.48/35.64 c 35.6s| 1 | 0 | 84509 | - | 182M | 0 | 500 | 18k| 19k|2486 |183 | 0 | 0 |-1.038318e+02 |-3.600000e+01 | 188.42%| unknown
35.58/35.74 c 35.7s| 1 | 0 | 84690 | - | 182M | 0 | 500 | 18k| 19k|2497 |184 | 0 | 0 |-1.037952e+02 |-3.600000e+01 | 188.32%| unknown
35.68/35.82 c 35.8s| 1 | 0 | 84843 | - | 182M | 0 | 500 | 18k| 19k|2511 |185 | 0 | 0 |-1.037679e+02 |-3.600000e+01 | 188.24%| unknown
35.78/35.90 c 35.9s| 1 | 0 | 84973 | - | 183M | 0 | 500 | 18k| 19k|2520 |186 | 0 | 0 |-1.037457e+02 |-3.600000e+01 | 188.18%| unknown
35.78/36.00 c 36.0s| 1 | 0 | 85113 | - | 183M | 0 | 500 | 18k| 19k|2529 |187 | 0 | 0 |-1.037179e+02 |-3.600000e+01 | 188.11%| unknown
35.88/36.09 c 36.1s| 1 | 0 | 85294 | - | 183M | 0 | 500 | 18k| 19k|2541 |188 | 0 | 0 |-1.036846e+02 |-3.600000e+01 | 188.01%| unknown
35.98/36.19 c 36.2s| 1 | 0 | 85462 | - | 183M | 0 | 500 | 18k| 19k|2551 |189 | 0 | 0 |-1.036603e+02 |-3.600000e+01 | 187.95%| unknown
36.18/36.32 c 36.3s| 1 | 0 | 85706 | - | 183M | 0 | 500 | 18k| 19k|2562 |190 | 0 | 0 |-1.036171e+02 |-3.600000e+01 | 187.83%| unknown
36.27/36.44 c 36.4s| 1 | 0 | 85931 | - | 183M | 0 | 500 | 18k| 19k|2569 |191 | 0 | 0 |-1.035807e+02 |-3.600000e+01 | 187.72%| unknown
36.37/36.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
36.37/36.53 c 36.5s| 1 | 0 | 86059 | - | 183M | 0 | 500 | 18k| 19k|2579 |192 | 0 | 0 |-1.035525e+02 |-3.600000e+01 | 187.65%| unknown
36.47/36.61 c 36.6s| 1 | 0 | 86214 | - | 183M | 0 | 500 | 18k| 19k|2589 |193 | 0 | 0 |-1.035313e+02 |-3.600000e+01 | 187.59%| unknown
36.57/36.72 c 36.7s| 1 | 0 | 86374 | - | 184M | 0 | 500 | 18k| 19k|2602 |194 | 0 | 0 |-1.034983e+02 |-3.600000e+01 | 187.50%| unknown
36.67/36.81 c 36.8s| 1 | 0 | 86536 | - | 184M | 0 | 500 | 18k| 19k|2615 |195 | 0 | 0 |-1.034753e+02 |-3.600000e+01 | 187.43%| unknown
36.67/36.89 c 36.9s| 1 | 0 | 86652 | - | 184M | 0 | 500 | 18k| 19k|2627 |196 | 0 | 0 |-1.034631e+02 |-3.600000e+01 | 187.40%| unknown
36.77/36.98 c 37.0s| 1 | 0 | 86819 | - | 184M | 0 | 500 | 18k| 19k|2641 |197 | 0 | 0 |-1.034291e+02 |-3.600000e+01 | 187.30%| unknown
36.88/37.08 c 37.1s| 1 | 0 | 86955 | - | 184M | 0 | 500 | 18k| 19k|2650 |198 | 0 | 0 |-1.034087e+02 |-3.600000e+01 | 187.25%| unknown
36.98/37.17 c 37.2s| 1 | 0 | 87083 | - | 184M | 0 | 500 | 18k| 19k|2660 |199 | 0 | 0 |-1.033931e+02 |-3.600000e+01 | 187.20%| unknown
37.07/37.26 c 37.3s| 1 | 0 | 87228 | - | 184M | 0 | 500 | 18k| 19k|2674 |200 | 0 | 0 |-1.033785e+02 |-3.600000e+01 | 187.16%| unknown
37.17/37.37 c 37.4s| 1 | 0 | 87426 | - | 185M | 0 | 500 | 18k| 19k|2684 |201 | 0 | 0 |-1.033525e+02 |-3.600000e+01 | 187.09%| unknown
37.27/37.46 c 37.5s| 1 | 0 | 87574 | - | 185M | 0 | 500 | 18k| 19k|2695 |202 | 0 | 0 |-1.033332e+02 |-3.600000e+01 | 187.04%| unknown
37.37/37.55 c 37.5s| 1 | 0 | 87731 | - | 185M | 0 | 500 | 18k| 19k|2704 |203 | 0 | 0 |-1.033138e+02 |-3.600000e+01 | 186.98%| unknown
37.47/37.63 c 37.6s| 1 | 0 | 87860 | - | 185M | 0 | 500 | 18k| 19k|2716 |204 | 0 | 0 |-1.032998e+02 |-3.600000e+01 | 186.94%| unknown
37.57/37.72 c 37.7s| 1 | 0 | 88037 | - | 185M | 0 | 500 | 18k| 19k|2729 |205 | 0 | 0 |-1.032813e+02 |-3.600000e+01 | 186.89%| unknown
37.67/37.84 c 37.8s| 1 | 0 | 88258 | - | 185M | 0 | 500 | 18k| 19k|2739 |206 | 0 | 0 |-1.032478e+02 |-3.600000e+01 | 186.80%| unknown
37.77/37.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
37.77/37.92 c 37.9s| 1 | 0 | 88404 | - | 185M | 0 | 500 | 18k| 19k|2755 |207 | 0 | 0 |-1.032344e+02 |-3.600000e+01 | 186.76%| unknown
37.87/38.06 c 38.1s| 1 | 0 | 88629 | - | 186M | 0 | 500 | 18k| 19k|2764 |208 | 0 | 0 |-1.032070e+02 |-3.600000e+01 | 186.69%| unknown
37.97/38.14 c 38.1s| 1 | 0 | 88780 | - | 186M | 0 | 500 | 18k| 19k|2774 |209 | 0 | 0 |-1.031921e+02 |-3.600000e+01 | 186.64%| unknown
38.07/38.25 c 38.2s| 1 | 0 | 88986 | - | 186M | 0 | 500 | 18k| 19k|2787 |210 | 0 | 0 |-1.031690e+02 |-3.600000e+01 | 186.58%| unknown
38.17/38.36 c 38.4s| 1 | 0 | 89165 | - | 186M | 0 | 500 | 18k| 19k|2795 |211 | 0 | 0 |-1.031513e+02 |-3.600000e+01 | 186.53%| unknown
38.26/38.43 c 38.4s| 1 | 0 | 89259 | - | 186M | 0 | 500 | 18k| 19k|2807 |212 | 0 | 0 |-1.031422e+02 |-3.600000e+01 | 186.51%| unknown
38.36/38.53 c 38.5s| 1 | 0 | 89399 | - | 186M | 0 | 500 | 18k| 19k|2817 |213 | 0 | 0 |-1.031272e+02 |-3.600000e+01 | 186.46%| unknown
38.46/38.62 c 38.6s| 1 | 0 | 89510 | - | 186M | 0 | 500 | 18k| 19k|2827 |214 | 0 | 0 |-1.031189e+02 |-3.600000e+01 | 186.44%| unknown
38.56/38.71 c 38.7s| 1 | 0 | 89604 | - | 186M | 0 | 500 | 18k| 19k|2836 |215 | 0 | 0 |-1.031098e+02 |-3.600000e+01 | 186.42%| unknown
38.56/38.79 c 38.8s| 1 | 0 | 89671 | - | 186M | 0 | 500 | 18k| 19k|2846 |216 | 0 | 0 |-1.031038e+02 |-3.600000e+01 | 186.40%| unknown
38.66/38.88 c 38.9s| 1 | 0 | 89777 | - | 187M | 0 | 500 | 18k| 19k|2856 |217 | 0 | 0 |-1.030935e+02 |-3.600000e+01 | 186.37%| unknown
38.76/38.97 c 39.0s| 1 | 0 | 89918 | - | 187M | 0 | 500 | 18k| 19k|2866 |218 | 0 | 0 |-1.030866e+02 |-3.600000e+01 | 186.35%| unknown
38.88/39.07 c 39.1s| 1 | 0 | 90043 | - | 187M | 0 | 500 | 18k| 20k|2874 |219 | 0 | 0 |-1.030791e+02 |-3.600000e+01 | 186.33%| unknown
38.98/39.15 c 39.2s| 1 | 0 | 90136 | - | 187M | 0 | 500 | 18k| 19k|2883 |220 | 0 | 0 |-1.030743e+02 |-3.600000e+01 | 186.32%| unknown
39.07/39.24 c 39.2s| 1 | 0 | 90232 | - | 187M | 0 | 500 | 18k| 19k|2892 |221 | 0 | 0 |-1.030699e+02 |-3.600000e+01 | 186.31%| unknown
39.17/39.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
39.17/39.32 c 39.3s| 1 | 0 | 90323 | - | 187M | 0 | 500 | 18k| 19k|2898 |222 | 0 | 0 |-1.030680e+02 |-3.600000e+01 | 186.30%| unknown
39.17/39.38 c 39.4s| 1 | 0 | 90350 | - | 187M | 0 | 500 | 18k| 19k|2902 |223 | 0 | 0 |-1.030678e+02 |-3.600000e+01 | 186.30%| unknown
47.85/48.03 c 48.0s| 1 | 2 | 90350 | - | 187M | 0 | 500 | 18k| 19k|2902 |223 | 0 | 19 |-1.027524e+02 |-3.600000e+01 | 185.42%| unknown
219.22/219.83 c 220s| 100 | 101 |336584 |2488.1 | 422M | 15 | 500 | 18k| 19k|6270 | 1 | 0 | 359 |-1.012135e+02 |-3.600000e+01 | 181.15%| unknown
293.25/294.01 c 294s| 200 | 201 |516926 |2144.1 | 519M | 16 | 500 | 18k| 19k|8667 | 6 | 0 | 429 |-1.012135e+02 |-3.600000e+01 | 181.15%| unknown
360.48/361.41 c 361s| 300 | 301 |660649 |1907.7 | 600M | 18 | 500 | 18k| 19k| 10k| 1 | 0 | 506 |-1.012135e+02 |-3.600000e+01 | 181.15%| unknown
434.00/435.15 c 435s| 400 | 401 |812869 |1811.1 | 644M | 28 | 500 | 18k| 19k| 11k| 1 | 0 | 577 |-1.004657e+02 |-3.600000e+01 | 179.07%| unknown
493.16/494.44 c 494s| 500 | 501 |948277 |1719.5 | 680M | 28 | 500 | 18k| 19k| 13k| 1 | 0 | 650 |-1.001616e+02 |-3.600000e+01 | 178.23%| unknown
540.05/541.42 c 541s| 600 | 601 | 1065k|1628.5 | 700M | 29 | 500 | 18k| 19k| 14k| 1 | 0 | 691 |-9.993980e+01 |-3.600000e+01 | 177.61%| unknown
582.75/584.29 c 584s| 700 | 701 | 1209k|1600.8 | 713M | 29 | 500 | 18k| 19k| 15k| 8 | 0 | 691 |-9.952034e+01 |-3.600000e+01 | 176.45%| unknown
619.37/620.98 c 621s| 800 | 801 | 1327k|1548.1 | 733M | 29 | 500 | 18k| 19k| 16k| 1 | 0 | 691 |-9.937823e+01 |-3.600000e+01 | 176.05%| unknown
669.05/670.73 c 671s| 900 | 901 | 1440k|1501.8 | 744M | 31 | 500 | 18k| 19k| 18k| 1 | 0 | 761 |-9.895930e+01 |-3.600000e+01 | 174.89%| unknown
708.47/710.25 c 710s| 1000 | 1001 | 1547k|1459.1 | 752M | 34 | 500 | 18k| 19k| 19k| 1 | 0 | 788 |-9.867051e+01 |-3.600000e+01 | 174.08%| unknown
737.90/739.74 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
737.90/739.74 c (run 1, node 1049) performing user restart
737.90/739.74 c
737.90/739.74 c (restart) converted 591 cuts from the global cut pool into linear constraints
737.90/739.74 c
738.20/740.00 c presolving:
738.20/740.02 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 590 upgd conss, 0 impls, 19271 clqs
738.20/740.04 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
738.20/740.04 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 1 changed coefficients
738.20/740.04 c 0 implications, 19272 cliques
738.20/740.04 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 19274 constraints
738.20/740.04 c 1 constraints of type <knapsack>
738.20/740.04 c 19272 constraints of type <setppc>
738.20/740.04 c 1 constraints of type <linear>
738.20/740.04 c transformed objective value is always integral (scale: 1)
738.20/740.04 c Presolving Time: 0.47
738.40/740.29 c transformed 96/100 original solutions to the transformed problem space
738.40/740.29 c
740.89/742.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
740.89/742.71 c 743s| 1 | 0 | 1607k| - | 760M | 0 | 500 | 19k| 19k| 0 | 0 | 0 | 835 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
740.99/742.87 c 743s| 1 | 0 | 1607k| - | 761M | 0 | 500 | 19k| 19k| 1 | 1 | 0 | 835 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
741.09/742.99 c 743s| 1 | 0 | 1607k| - | 757M | 0 | 500 | 19k| 19k| 4 | 2 | 0 | 835 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
741.29/743.14 c 743s| 1 | 0 | 1607k| - | 761M | 0 | 500 | 19k| 19k| 8 | 3 | 0 | 835 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
741.39/743.29 c 743s| 1 | 0 | 1607k| - | 763M | 0 | 500 | 19k| 19k| 17 | 4 | 0 | 835 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
741.59/743.46 c 743s| 1 | 0 | 1608k| - | 770M | 0 | 500 | 19k| 19k| 22 | 5 | 0 | 835 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
741.79/743.66 c 744s| 1 | 0 | 1608k| - | 774M | 0 | 500 | 19k| 19k| 27 | 6 | 0 | 835 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
741.99/743.84 c 744s| 1 | 0 | 1608k| - | 777M | 0 | 500 | 19k| 19k| 32 | 7 | 0 | 835 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
742.19/744.03 c 744s| 1 | 0 | 1608k| - | 780M | 0 | 500 | 19k| 19k| 37 | 8 | 0 | 835 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
742.38/744.24 c 744s| 1 | 0 | 1608k| - | 785M | 0 | 500 | 19k| 19k| 43 | 9 | 0 | 835 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
742.59/744.45 c 744s| 1 | 0 | 1608k| - | 791M | 0 | 500 | 19k| 19k| 50 | 10 | 0 | 835 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
742.69/744.57 c 745s| 1 | 0 | 1608k| - | 793M | 0 | 500 | 19k| 19k| 59 | 11 | 0 | 835 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
742.89/744.71 c 745s| 1 | 0 | 1608k| - | 793M | 0 | 500 | 19k| 19k| 65 | 12 | 0 | 835 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
742.99/744.85 c 745s| 1 | 0 | 1608k| - | 793M | 0 | 500 | 19k| 19k| 72 | 13 | 0 | 835 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
743.19/745.00 c 745s| 1 | 0 | 1608k| - | 793M | 0 | 500 | 19k| 19k| 80 | 14 | 0 | 835 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
758.65/760.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
758.65/760.54 c 761s| 1 | 2 | 1608k| - | 793M | 0 | 500 | 19k| 19k| 80 | 14 | 0 | 885 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
848.80/850.92 c 851s| 100 | 101 | 1694k|1391.7 | 801M | 39 | 500 | 19k| 19k| 151 | 1 | 0 |1176 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
879.12/881.31 c 881s| 200 | 201 | 1755k|1329.0 | 881M | 44 | 500 | 19k| 19k| 623 | 1 | 0 |1234 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
904.05/906.34 c 906s| 300 | 301 | 1812k|1272.5 | 893M | 47 | 500 | 19k| 19k|1039 | 1 | 0 |1291 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
923.70/926.00 c 926s| 400 | 401 | 1861k|1218.5 | 898M | 62 | 500 | 19k| 19k|1192 | 1 | 0 |1340 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
964.28/966.76 c 967s| 500 | 501 | 1927k|1182.5 | 931M | 62 | 500 | 19k| 19k|1811 | 1 | 0 |1400 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
987.82/990.32 c 990s| 600 | 601 | 1982k|1144.3 | 938M | 62 | 500 | 19k| 19k|1970 | 1 | 0 |1482 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1021.32/1023.91 c 1024s| 700 | 701 | 2041k|1112.4 | 944M | 62 | 500 | 19k| 19k|2321 | 1 | 0 |1609 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1047.05/1049.77 c 1050s| 800 | 801 | 2104k|1086.1 | 966M | 62 | 500 | 19k| 19k|2769 | 1 | 0 |1639 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1066.70/1069.43 c 1069s| 900 | 901 | 2164k|1061.5 | 969M | 62 | 500 | 19k| 19k|2896 | 1 | 0 |1657 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1095.01/1097.81 c 1098s| 1000 | 1001 | 2230k|1041.7 | 976M | 62 | 500 | 19k| 19k|3330 | 1 | 0 |1698 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1113.28/1116.19 c 1116s| 1100 | 1101 | 2288k|1020.3 | 986M | 62 | 500 | 19k| 19k|3666 | 1 | 0 |1698 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1131.92/1134.80 c 1135s| 1200 | 1201 | 2349k|1001.9 | 986M | 62 | 500 | 19k| 19k|3890 | 1 | 0 |1700 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1148.38/1151.34 c 1151s| 1300 | 1301 | 2408k| 984.2 | 987M | 62 | 500 | 19k| 19k|4070 | 1 | 0 |1701 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1167.13/1170.11 c 1170s| 1400 | 1401 | 2465k| 967.4 | 988M | 62 | 500 | 19k| 19k|4278 | 1 | 0 |1715 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1193.05/1196.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1193.05/1196.19 c 1196s| 1500 | 1501 | 2526k| 953.6 | 1007M | 62 | 500 | 19k| 19k|4824 | 3 | 0 |1722 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1208.50/1211.63 c 1212s| 1600 | 1601 | 2575k| 935.9 | 1009M | 62 | 500 | 19k| 19k|5081 | 1 | 0 |1724 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1225.55/1228.75 c 1229s| 1700 | 1701 | 2628k| 921.2 | 1014M | 62 | 500 | 19k| 19k|5379 | 1 | 0 |1731 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1248.59/1251.86 c 1252s| 1800 | 1801 | 2683k| 908.3 | 1015M | 62 | 500 | 19k| 19k|5585 | 1 | 0 |1757 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1275.91/1279.29 c 1279s| 1900 | 1901 | 2741k| 897.0 | 1015M | 62 | 500 | 19k| 19k|5735 | 1 | 0 |1887 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1306.52/1309.97 c 1310s| 2000 | 2001 | 2807k| 889.3 | 1028M | 62 | 500 | 19k| 19k|6275 | 1 | 0 |1918 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1332.55/1336.04 c 1336s| 2100 | 2101 | 2862k| 878.3 | 1031M | 62 | 500 | 19k| 19k|6535 | 1 | 0 |2007 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1353.59/1357.16 c 1357s| 2200 | 2201 | 2923k| 870.1 | 1031M | 62 | 500 | 19k| 19k|6867 | 3 | 0 |2013 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1384.20/1387.88 c 1388s| 2300 | 2301 | 2981k| 861.5 | 1036M | 62 | 500 | 19k| 19k|7390 | 1 | 0 |2028 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1414.51/1418.23 c 1418s| 2400 | 2401 | 3045k| 855.1 | 1054M | 62 | 500 | 19k| 19k|8006 | 1 | 0 |2040 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1433.25/1437.09 c 1437s| 2500 | 2501 | 3099k| 846.3 | 1057M | 62 | 500 | 19k| 19k|8173 | 1 | 0 |2048 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1455.39/1459.22 c 1459s| 2600 | 2601 | 3157k| 838.9 | 1057M | 69 | 500 | 19k| 19k|8512 | 6 | 0 |2049 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1485.30/1489.21 c 1489s| 2700 | 2701 | 3218k| 832.8 | 1073M | 71 | 500 | 19k| 19k|9223 | 8 | 0 |2049 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1504.75/1508.76 c 1509s| 2800 | 2801 | 3271k| 824.9 | 1073M | 71 | 500 | 19k| 19k|9683 | 1 | 0 |2049 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1520.60/1524.62 c 1525s| 2900 | 2901 | 3322k| 817.0 | 1076M | 71 | 500 | 19k| 19k|9943 | 1 | 0 |2049 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1544.73/1548.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1544.73/1548.87 c 1549s| 3000 | 3001 | 3372k| 809.2 | 1078M | 71 | 500 | 19k| 19k| 10k| 1 | 0 |2049 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1563.68/1567.89 c 1568s| 3100 | 3101 | 3427k| 802.9 | 1087M | 71 | 500 | 19k| 19k| 10k| 1 | 0 |2049 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1584.42/1588.62 c 1589s| 3200 | 3201 | 3478k| 796.1 | 1087M | 71 | 500 | 19k| 19k| 11k| 1 | 0 |2087 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1609.85/1614.15 c 1614s| 3300 | 3301 | 3532k| 790.1 | 1101M | 71 | 500 | 19k| 19k| 11k| 1 | 0 |2118 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1629.79/1634.14 c 1634s| 3400 | 3401 | 3583k| 783.8 | 1103M | 71 | 500 | 19k| 19k| 11k| 1 | 0 |2149 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1651.73/1656.19 c 1656s| 3500 | 3501 | 3631k| 777.2 | 1105M | 71 | 500 | 19k| 19k| 12k| 1 | 0 |2181 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1675.26/1679.76 c 1680s| 3600 | 3601 | 3681k| 771.3 | 1105M | 71 | 500 | 19k| 19k| 12k| 1 | 0 |2246 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1696.30/1700.83 c 1701s| 3700 | 3701 | 3740k| 767.4 | 1107M | 71 | 500 | 19k| 19k| 12k| 1 | 0 |2256 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1712.86/1717.47 c 1717s| 3800 | 3801 | 3796k| 763.1 | 1108M | 71 | 500 | 19k| 19k| 13k| 1 | 0 |2258 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1733.80/1738.46 c 1738s| 3900 | 3901 | 3853k| 759.2 | 1109M | 71 | 500 | 19k| 19k| 13k| 1 | 0 |2284 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1759.02/1763.78 c 1764s| 4000 | 4001 | 3910k| 755.5 | 1121M | 71 | 500 | 19k| 19k| 13k| 1 | 0 |2317 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1789.63/1794.46 c 1794s| 4100 | 4101 | 3972k| 752.7 | 1122M | 71 | 500 | 19k| 19k| 14k| 1 | 0 |2357 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1806.99/1811.86 c 1812s| 4200 | 4201 | 4024k| 748.3 | 1139M | 71 | 500 | 19k| 19k| 14k| 2 | 0 |2361 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1831.72/1836.61 c 1837s| 4300 | 4301 | 4083k| 745.4 | 1141M | 71 | 500 | 19k| 19k| 14k| 1 | 0 |2370 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1866.21/1871.24 c 1871s| 4400 | 4401 | 4145k| 743.1 | 1143M | 71 | 500 | 19k| 19k| 15k| 1 | 0 |2371 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1886.66/1891.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1886.66/1891.77 c 1892s| 4500 | 4501 | 4205k| 740.5 | 1146M | 71 | 500 | 19k| 19k| 15k| 6 | 0 |2372 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1905.30/1910.48 c 1910s| 4600 | 4601 | 4256k| 736.5 | 1155M | 71 | 500 | 19k| 19k| 16k| 1 | 0 |2372 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1921.56/1926.73 c 1927s| 4700 | 4701 | 4307k| 732.6 | 1157M | 71 | 500 | 19k| 19k| 16k| 1 | 0 |2373 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1942.69/1947.98 c 1948s| 4800 | 4801 | 4360k| 729.1 | 1157M | 71 | 500 | 19k| 19k| 16k| 1 | 0 |2374 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1968.33/1973.62 c 1974s| 4900 | 4901 | 4415k| 726.1 | 1176M | 71 | 500 | 19k| 19k| 17k| 1 | 0 |2434 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
1982.59/1987.95 c 1988s| 5000 | 5001 | 4461k| 721.6 | 1177M | 71 | 500 | 19k| 19k| 17k| 1 | 0 |2463 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
2003.23/2008.65 c 2009s| 5100 | 5101 | 4511k| 718.0 | 1180M | 71 | 500 | 19k| 19k| 17k| 1 | 0 |2481 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
2022.47/2027.92 c 2028s| 5200 | 5201 | 4562k| 714.6 | 1183M | 71 | 500 | 19k| 19k| 18k| 1 | 0 |2529 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
2044.90/2050.41 c 2050s| 5300 | 5301 | 4616k| 712.0 | 1184M | 71 | 500 | 19k| 19k| 18k| 1 | 0 |2617 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
2061.15/2066.75 c 2067s| 5400 | 5401 | 4663k| 708.2 | 1185M | 71 | 500 | 19k| 19k| 18k| 1 | 0 |2630 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
2084.80/2090.42 c 2090s| 5500 | 5501 | 4716k| 705.4 | 1186M | 72 | 500 | 19k| 19k| 18k| 1 | 0 |2667 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
2100.65/2106.39 c 2106s| 5600 | 5601 | 4760k| 701.5 | 1188M | 74 | 500 | 19k| 19k| 19k| 1 | 0 |2671 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
2121.59/2127.39 c 2127s| 5700 | 5701 | 4813k| 699.0 | 1188M | 77 | 500 | 19k| 19k| 19k| 1 | 0 |2681 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
2134.36/2140.13 c 2140s| 5800 | 5801 | 4856k| 695.1 | 1189M | 83 | 500 | 19k| 19k| 19k| 1 | 0 |2682 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
2146.12/2151.93 c 2152s| 5900 | 5899 | 4897k| 690.9 | 1190M | 84 | 500 | 19k| 19k| 19k| 1 | 0 |2686 |-9.833862e+01 |-3.600000e+01 | 173.16%| unknown
2162.67/2168.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2162.67/2168.59 c 2169s| 6000 | 5997 | 4939k| 687.0 | 1191M | 87 | 500 | 19k| 19k| 20k| 1 | 0 |2686 |-9.796791e+01 |-3.600000e+01 | 172.13%| unknown
2175.03/2180.97 c 2181s| 6100 | 6095 | 4980k| 683.2 | 1193M | 92 | 500 | 19k| 19k| 20k| 1 | 0 |2686 |-9.788763e+01 |-3.600000e+01 | 171.91%| unknown
2187.41/2193.34 c 2193s| 6200 | 6183 | 5014k| 678.5 | 1194M | 92 | 500 | 19k| 19k| 20k| 1 | 0 |2688 |-9.788763e+01 |-3.600000e+01 | 171.91%| unknown
2200.18/2206.12 c 2206s| 6300 | 6275 | 5057k| 675.1 | 1194M | 96 | 500 | 19k| 19k| 20k| 1 | 0 |2689 |-9.706185e+01 |-3.600000e+01 | 169.62%| unknown
2213.54/2219.50 c 2219s| 6400 | 6373 | 5097k| 671.4 | 1198M | 99 | 500 | 19k| 19k| 20k| 0 | 0 |2697 |-9.667764e+01 |-3.600000e+01 | 168.55%| unknown
2224.70/2230.75 c 2231s| 6500 | 6467 | 5136k| 667.6 | 1198M | 101 | 500 | 19k| 19k| 20k| 1 | 0 |2697 |-9.652118e+01 |-3.600000e+01 | 168.11%| unknown
2234.27/2240.30 c 2240s| 6600 | 6543 | 5166k| 662.8 | 1198M | 101 | 500 | 19k| 19k| 21k| 1 | 0 |2697 |-9.651117e+01 |-3.600000e+01 | 168.09%| unknown
2245.05/2251.11 c 2251s| 6700 | 6615 | 5193k| 657.8 | 1200M | 101 | 500 | 19k| 19k| 21k| 2 | 0 |2697 |-9.651117e+01 |-3.600000e+01 | 168.09%| unknown
2255.41/2261.56 c 2262s| 6800 | 6687 | 5223k| 653.3 | 1202M | 101 | 500 | 19k| 19k| 21k| 1 | 0 |2697 |-9.649722e+01 |-3.600000e+01 | 168.05%| unknown
2266.28/2272.43 c 2272s| 6900 | 6771 | 5257k| 649.2 | 1203M | 101 | 500 | 19k| 19k| 21k| 1 | 0 |2701 |-9.646244e+01 |-3.600000e+01 | 167.95%| unknown
2274.55/2280.76 c 2281s| 7000 | 6849 | 5283k| 644.4 | 1216M | 101 | 500 | 19k| 19k| 21k| 1 | 0 |2701 |-9.646244e+01 |-3.600000e+01 | 167.95%| unknown
2288.11/2294.30 c 2294s| 7100 | 6921 | 5314k| 640.3 | 1218M | 101 | 500 | 19k| 19k| 21k| 1 | 0 |2701 |-9.646244e+01 |-3.600000e+01 | 167.95%| unknown
2301.48/2307.70 c 2308s| 7200 | 6995 | 5344k| 636.2 | 1219M | 101 | 500 | 19k| 19k| 22k| 1 | 0 |2702 |-9.643330e+01 |-3.600000e+01 | 167.87%| unknown
2311.25/2317.52 c 2318s| 7300 | 7079 | 5375k| 632.3 | 1219M | 101 | 500 | 19k| 19k| 22k| 0 | 0 |2703 |-9.643057e+01 |-3.600000e+01 | 167.86%| unknown
2322.82/2329.16 c 2329s| 7400 | 7161 | 5409k| 628.8 | 1244M | 101 | 500 | 19k| 19k| 22k| 1 | 0 |2703 |-9.642695e+01 |-3.600000e+01 | 167.85%| unknown
2331.70/2338.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2331.70/2338.04 c 2338s| 7500 | 7241 | 5440k| 625.2 | 1247M | 101 | 500 | 19k| 19k| 22k| 1 | 0 |2703 |-9.642348e+01 |-3.600000e+01 | 167.84%| unknown
2340.57/2346.98 c 2347s| 7600 | 7325 | 5472k| 621.6 | 1248M | 102 | 500 | 19k| 19k| 22k| 1 | 0 |2703 |-9.641970e+01 |-3.600000e+01 | 167.83%| unknown
2350.24/2356.63 c 2357s| 7700 | 7403 | 5501k| 617.8 | 1248M | 102 | 500 | 19k| 19k| 22k| 1 | 0 |2704 |-9.641064e+01 |-3.600000e+01 | 167.81%| unknown
2369.09/2375.57 c 2376s| 7800 | 7479 | 5533k| 614.5 | 1249M | 102 | 500 | 19k| 19k| 23k| 1 | 0 |2704 |-9.636675e+01 |-3.600000e+01 | 167.69%| unknown
2391.82/2398.30 c 2398s| 7900 | 7553 | 5570k| 611.7 | 1250M | 102 | 500 | 19k| 19k| 23k| 1 | 0 |2706 |-9.634698e+01 |-3.600000e+01 | 167.63%| unknown
2408.88/2415.45 c 2415s| 8000 | 7631 | 5607k| 609.0 | 1253M | 102 | 500 | 19k| 19k| 24k| 1 | 0 |2706 |-9.634279e+01 |-3.600000e+01 | 167.62%| unknown
2419.15/2425.75 c 2426s| 8100 | 7707 | 5638k| 605.8 | 1253M | 102 | 500 | 19k| 19k| 24k| 1 | 0 |2706 |-9.634279e+01 |-3.600000e+01 | 167.62%| unknown
2427.72/2434.38 c 2434s| 8200 | 7791 | 5670k| 602.7 | 1266M | 102 | 500 | 19k| 19k| 24k| 1 | 0 |2706 |-9.633177e+01 |-3.600000e+01 | 167.59%| unknown
2438.89/2445.58 c 2446s| 8300 | 7867 | 5697k| 599.1 | 1266M | 103 | 500 | 19k| 19k| 24k| 1 | 0 |2728 |-9.631169e+01 |-3.600000e+01 | 167.53%| unknown
2453.35/2460.02 c 2460s| 8400 | 7957 | 5731k| 596.3 | 1266M | 103 | 500 | 19k| 19k| 24k| 2 | 0 |2766 |-9.629321e+01 |-3.600000e+01 | 167.48%| unknown
2466.01/2472.70 c 2473s| 8500 | 8031 | 5762k| 593.4 | 1267M | 103 | 500 | 19k| 19k| 24k| 1 | 0 |2766 |-9.627721e+01 |-3.600000e+01 | 167.44%| unknown
2479.97/2486.78 c 2487s| 8600 | 8107 | 5795k| 590.6 | 1268M | 103 | 500 | 19k| 19k| 25k| 1 | 0 |2782 |-9.625386e+01 |-3.600000e+01 | 167.37%| unknown
2499.81/2506.62 c 2507s| 8700 | 8191 | 5828k| 588.0 | 1297M | 103 | 500 | 19k| 19k| 25k| 1 | 0 |2839 |-9.625386e+01 |-3.600000e+01 | 167.37%| unknown
2513.08/2519.94 c 2520s| 8800 | 8273 | 5863k| 585.5 | 1300M | 104 | 500 | 19k| 19k| 25k| 1 | 0 |2901 |-9.622708e+01 |-3.600000e+01 | 167.30%| unknown
2524.84/2531.71 c 2532s| 8900 | 8353 | 5893k| 582.7 | 1300M | 104 | 500 | 19k| 19k| 25k| 1 | 0 |2930 |-9.622708e+01 |-3.600000e+01 | 167.30%| unknown
2533.02/2539.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2533.02/2539.93 c 2540s| 9000 | 8425 | 5921k| 579.7 | 1300M | 104 | 500 | 19k| 19k| 26k| 1 | 0 |2945 |-9.622708e+01 |-3.600000e+01 | 167.30%| unknown
2543.50/2550.41 c 2550s| 9100 | 8501 | 5954k| 577.2 | 1301M | 104 | 500 | 19k| 19k| 26k| 1 | 0 |2969 |-9.621388e+01 |-3.600000e+01 | 167.26%| unknown
2554.76/2561.79 c 2562s| 9200 | 8581 | 5990k| 575.1 | 1303M | 104 | 500 | 19k| 19k| 26k| 1 | 0 |2985 |-9.621149e+01 |-3.600000e+01 | 167.25%| unknown
2565.93/2572.92 c 2573s| 9300 | 8663 | 6025k| 572.9 | 1303M | 104 | 500 | 19k| 19k| 26k| 1 | 0 |2991 |-9.617909e+01 |-3.600000e+01 | 167.16%| unknown
2575.70/2582.73 c 2583s| 9400 | 8749 | 6059k| 570.7 | 1306M | 104 | 500 | 19k| 19k| 26k| 1 | 0 |2994 |-9.616864e+01 |-3.600000e+01 | 167.14%| unknown
2586.27/2593.36 c 2593s| 9500 | 8829 | 6090k| 568.2 | 1307M | 104 | 500 | 19k| 19k| 26k| 1 | 0 |3014 |-9.613985e+01 |-3.600000e+01 | 167.06%| unknown
2592.26/2599.30 c 2599s| 9600 | 8905 | 6113k| 565.0 | 1307M | 104 | 500 | 19k| 19k| 27k| 1 | 0 |3015 |-9.613985e+01 |-3.600000e+01 | 167.06%| unknown
2601.13/2608.27 c 2608s| 9700 | 8989 | 6144k| 562.7 | 1307M | 105 | 500 | 19k| 19k| 27k| 1 | 0 |3016 |-9.608964e+01 |-3.600000e+01 | 166.92%| unknown
2611.60/2618.76 c 2619s| 9800 | 9079 | 6177k| 560.5 | 1310M | 106 | 500 | 19k| 19k| 27k| 2 | 0 |3023 |-9.607521e+01 |-3.600000e+01 | 166.88%| unknown
2619.58/2626.74 c 2627s| 9900 | 9153 | 6205k| 558.0 | 1311M | 106 | 500 | 19k| 19k| 27k| 1 | 0 |3026 |-9.607521e+01 |-3.600000e+01 | 166.88%| unknown
2628.35/2635.53 c 2636s| 10000 | 9231 | 6232k| 555.4 | 1313M | 106 | 500 | 19k| 19k| 27k| 1 | 0 |3032 |-9.607521e+01 |-3.600000e+01 | 166.88%| unknown
2635.73/2643.00 c 2643s| 10100 | 9301 | 6260k| 552.9 | 1313M | 106 | 500 | 19k| 19k| 27k| 1 | 0 |3033 |-9.607521e+01 |-3.600000e+01 | 166.88%| unknown
2647.09/2654.34 c 2654s| 10200 | 9381 | 6291k| 550.7 | 1313M | 106 | 500 | 19k| 19k| 27k| 1 | 0 |3033 |-9.607375e+01 |-3.600000e+01 | 166.87%| unknown
2658.77/2666.05 c 2666s| 10300 | 9461 | 6323k| 548.6 | 1314M | 106 | 500 | 19k| 19k| 27k| 1 | 0 |3033 |-9.601031e+01 |-3.600000e+01 | 166.70%| unknown
2667.24/2674.56 c 2675s| 10400 | 9543 | 6353k| 546.5 | 1314M | 106 | 500 | 19k| 19k| 27k| 1 | 0 |3033 |-9.600808e+01 |-3.600000e+01 | 166.69%| unknown
2684.49/2691.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2684.49/2691.84 c 2692s| 10500 | 9619 | 6384k| 544.4 | 1316M | 106 | 500 | 19k| 19k| 28k| 0 | 0 |3042 |-9.599531e+01 |-3.600000e+01 | 166.65%| unknown
2697.15/2704.57 c 2705s| 10600 | 9699 | 6419k| 542.8 | 1317M | 106 | 500 | 19k| 19k| 28k| 1 | 0 |3042 |-9.599003e+01 |-3.600000e+01 | 166.64%| unknown
2705.64/2713.07 c 2713s| 10700 | 9779 | 6450k| 540.8 | 1319M | 106 | 500 | 19k| 19k| 28k| 1 | 0 |3042 |-9.596456e+01 |-3.600000e+01 | 166.57%| unknown
2717.80/2725.25 c 2725s| 10800 | 9859 | 6477k| 538.5 | 1320M | 106 | 500 | 19k| 19k| 28k| 1 | 0 |3042 |-9.595781e+01 |-3.600000e+01 | 166.55%| unknown
2725.17/2732.63 c 2733s| 10900 | 9933 | 6504k| 536.3 | 1322M | 107 | 500 | 19k| 19k| 29k| 1 | 0 |3042 |-9.590461e+01 |-3.600000e+01 | 166.40%| unknown
2732.25/2739.72 c 2740s| 11000 | 10007 | 6531k| 534.1 | 1323M | 107 | 500 | 19k| 19k| 29k| 1 | 0 |3042 |-9.590461e+01 |-3.600000e+01 | 166.40%| unknown
2743.32/2750.86 c 2751s| 11100 | 10077 | 6558k| 531.9 | 1323M | 107 | 500 | 19k| 19k| 29k| 0 | 0 |3042 |-9.583470e+01 |-3.600000e+01 | 166.21%| unknown
2751.90/2759.41 c 2759s| 11200 | 10159 | 6588k| 530.0 | 1325M | 108 | 500 | 19k| 19k| 29k| 1 | 0 |3042 |-9.579491e+01 |-3.600000e+01 | 166.10%| unknown
2759.87/2767.42 c 2767s| 11300 | 10239 | 6615k| 527.9 | 1327M | 108 | 500 | 19k| 19k| 29k| 1 | 0 |3043 |-9.577914e+01 |-3.600000e+01 | 166.05%| unknown
2769.95/2777.52 c 2778s| 11400 | 10321 | 6645k| 526.1 | 1328M | 108 | 500 | 19k| 19k| 29k| 1 | 0 |3043 |-9.577914e+01 |-3.600000e+01 | 166.05%| unknown
2782.12/2789.73 c 2790s| 11500 | 10399 | 6677k| 524.4 | 1330M | 108 | 500 | 19k| 19k| 29k| 1 | 0 |3053 |-9.577644e+01 |-3.600000e+01 | 166.05%| unknown
2793.29/2800.91 c 2801s| 11600 | 10489 | 6712k| 523.0 | 1332M | 108 | 500 | 19k| 19k| 29k| 1 | 0 |3071 |-9.575759e+01 |-3.600000e+01 | 165.99%| unknown
2805.05/2812.70 c 2813s| 11700 | 10571 | 6742k| 521.3 | 1333M | 108 | 500 | 19k| 19k| 29k| 1 | 0 |3084 |-9.572825e+01 |-3.600000e+01 | 165.91%| unknown
2815.72/2823.41 c 2823s| 11800 | 10645 | 6770k| 519.4 | 1333M | 108 | 500 | 19k| 19k| 29k| 1 | 0 |3118 |-9.572587e+01 |-3.600000e+01 | 165.91%| unknown
2825.99/2833.71 c 2834s| 11900 | 10717 | 6797k| 517.5 | 1334M | 108 | 500 | 19k| 19k| 30k| 1 | 0 |3136 |-9.572587e+01 |-3.600000e+01 | 165.91%| unknown
2840.25/2848.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2840.25/2848.06 c 2848s| 12000 | 10789 | 6824k| 515.6 | 1335M | 108 | 500 | 19k| 19k| 30k| 1 | 0 |3175 |-9.567452e+01 |-3.600000e+01 | 165.76%| unknown
2856.80/2864.62 c 2865s| 12100 | 10863 | 6860k| 514.4 | 1337M | 109 | 500 | 19k| 19k| 30k| 1 | 0 |3207 |-9.567318e+01 |-3.600000e+01 | 165.76%| unknown
2867.18/2875.02 c 2875s| 12200 | 10939 | 6889k| 512.7 | 1337M | 109 | 500 | 19k| 19k| 30k| 1 | 0 |3234 |-9.565960e+01 |-3.600000e+01 | 165.72%| unknown
2877.85/2885.75 c 2886s| 12300 | 11007 | 6916k| 510.9 | 1353M | 109 | 500 | 19k| 19k| 30k| 1 | 0 |3252 |-9.565383e+01 |-3.600000e+01 | 165.71%| unknown
2887.32/2895.23 c 2895s| 12400 | 11083 | 6941k| 508.9 | 1353M | 111 | 500 | 19k| 19k| 31k| 1 | 0 |3289 |-9.564389e+01 |-3.600000e+01 | 165.68%| unknown
2899.68/2907.63 c 2908s| 12500 | 11151 | 6969k| 507.3 | 1354M | 111 | 500 | 19k| 19k| 31k| 0 | 0 |3289 |-9.564382e+01 |-3.600000e+01 | 165.68%| unknown
2911.16/2919.18 c 2919s| 12600 | 11213 | 6997k| 505.6 | 1356M | 111 | 500 | 19k| 19k| 31k| 1 | 0 |3295 |-9.564382e+01 |-3.600000e+01 | 165.68%| unknown
2918.23/2926.28 c 2926s| 12700 | 11273 | 7021k| 503.6 | 1358M | 111 | 500 | 19k| 19k| 31k| 1 | 0 |3323 |-9.559608e+01 |-3.600000e+01 | 165.54%| unknown
2925.02/2933.03 c 2933s| 12800 | 11337 | 7046k| 501.8 | 1359M | 111 | 500 | 19k| 19k| 31k| 1 | 0 |3323 |-9.556367e+01 |-3.600000e+01 | 165.45%| unknown
2930.99/2939.01 c 2939s| 12900 | 11403 | 7067k| 499.7 | 1360M | 111 | 500 | 19k| 19k| 31k| 1 | 0 |3327 |-9.555111e+01 |-3.600000e+01 | 165.42%| unknown
2939.17/2947.26 c 2947s| 13000 | 11465 | 7093k| 498.1 | 1360M | 111 | 500 | 19k| 19k| 31k| 1 | 0 |3338 |-9.553421e+01 |-3.600000e+01 | 165.37%| unknown
2946.95/2955.09 c 2955s| 13100 | 11529 | 7120k| 496.4 | 1360M | 111 | 500 | 19k| 19k| 31k| 1 | 0 |3339 |-9.553421e+01 |-3.600000e+01 | 165.37%| unknown
2957.92/2966.07 c 2966s| 13200 | 11595 | 7146k| 494.8 | 1362M | 111 | 500 | 19k| 19k| 31k| 0 | 0 |3348 |-9.547621e+01 |-3.600000e+01 | 165.21%| unknown
2971.78/2979.96 c 2980s| 13300 | 11669 | 7176k| 493.4 | 1362M | 111 | 500 | 19k| 19k| 32k| 0 | 0 |3349 |-9.544685e+01 |-3.600000e+01 | 165.13%| unknown
2979.56/2987.73 c 2988s| 13400 | 11743 | 7204k| 491.9 | 1362M | 111 | 500 | 19k| 19k| 32k| 1 | 0 |3350 |-9.541079e+01 |-3.600000e+01 | 165.03%| unknown
2990.03/2998.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2990.03/2998.28 c 2998s| 13500 | 11819 | 7233k| 490.5 | 1365M | 111 | 500 | 19k| 19k| 32k| 0 | 0 |3351 |-9.537555e+01 |-3.600000e+01 | 164.93%| unknown
3003.39/3011.60 c 3012s| 13600 | 11885 | 7261k| 489.1 | 1365M | 111 | 500 | 19k| 19k| 32k| 1 | 0 |3352 |-9.537555e+01 |-3.600000e+01 | 164.93%| unknown
3010.47/3018.71 c 3019s| 13700 | 11951 | 7285k| 487.4 | 1368M | 111 | 500 | 19k| 19k| 32k| 1 | 0 |3353 |-9.532847e+01 |-3.600000e+01 | 164.80%| unknown
3020.24/3028.58 c 3029s| 13800 | 12019 | 7314k| 486.1 | 1369M | 111 | 500 | 19k| 19k| 32k| 1 | 0 |3354 |-9.532286e+01 |-3.600000e+01 | 164.79%| unknown
3033.50/3041.86 c 3042s| 13900 | 12095 | 7341k| 484.6 | 1400M | 111 | 500 | 19k| 19k| 32k| 0 | 0 |3355 |-9.532286e+01 |-3.600000e+01 | 164.79%| unknown
3044.47/3052.86 c 3053s| 14000 | 12169 | 7370k| 483.3 | 1403M | 111 | 500 | 19k| 19k| 32k| 1 | 0 |3355 |-9.526203e+01 |-3.600000e+01 | 164.62%| unknown
3052.95/3061.32 c 3061s| 14100 | 12243 | 7397k| 482.0 | 1403M | 112 | 500 | 19k| 19k| 33k| 1 | 0 |3356 |-9.525502e+01 |-3.600000e+01 | 164.60%| unknown
3062.02/3070.47 c 3070s| 14200 | 12313 | 7424k| 480.5 | 1403M | 113 | 500 | 19k| 19k| 33k| 1 | 0 |3356 |-9.523982e+01 |-3.600000e+01 | 164.56%| unknown
3074.39/3082.83 c 3083s| 14300 | 12381 | 7450k| 479.1 | 1403M | 113 | 500 | 19k| 19k| 33k| 1 | 0 |3356 |-9.521746e+01 |-3.600000e+01 | 164.49%| unknown
3080.48/3088.92 c 3089s| 14400 | 12435 | 7471k| 477.3 | 1404M | 113 | 500 | 19k| 19k| 33k| 1 | 0 |3357 |-9.520651e+01 |-3.600000e+01 | 164.46%| unknown
3087.16/3095.62 c 3096s| 14500 | 12501 | 7492k| 475.7 | 1404M | 114 | 500 | 19k| 19k| 33k| 1 | 0 |3368 |-9.520651e+01 |-3.600000e+01 | 164.46%| unknown
3096.92/3105.42 c 3105s| 14600 | 12573 | 7515k| 474.1 | 1406M | 114 | 500 | 19k| 19k| 33k| 0 | 0 |3369 |-9.520651e+01 |-3.600000e+01 | 164.46%| unknown
3105.30/3113.81 c 3114s| 14700 | 12641 | 7542k| 472.8 | 1408M | 114 | 500 | 19k| 19k| 33k| 1 | 0 |3384 |-9.519400e+01 |-3.600000e+01 | 164.43%| unknown
3111.78/3120.36 c 3120s| 14800 | 12703 | 7565k| 471.3 | 1409M | 114 | 500 | 19k| 19k| 33k| 1 | 0 |3386 |-9.519400e+01 |-3.600000e+01 | 164.43%| unknown
3118.57/3127.18 c 3127s| 14900 | 12775 | 7590k| 469.9 | 1410M | 114 | 500 | 19k| 19k| 33k| 1 | 0 |3387 |-9.518994e+01 |-3.600000e+01 | 164.42%| unknown
3126.25/3134.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3126.25/3134.89 c 3135s| 15000 | 12839 | 7613k| 468.4 | 1412M | 114 | 500 | 19k| 19k| 34k| 1 | 0 |3387 |-9.518994e+01 |-3.600000e+01 | 164.42%| unknown
3132.93/3141.57 c 3142s| 15100 | 12899 | 7637k| 466.9 | 1412M | 114 | 500 | 19k| 19k| 34k| 1 | 0 |3387 |-9.516518e+01 |-3.600000e+01 | 164.35%| unknown
3141.20/3149.87 c 3150s| 15200 | 12969 | 7665k| 465.8 | 1413M | 114 | 500 | 19k| 19k| 34k| 0 | 0 |3387 |-9.514403e+01 |-3.600000e+01 | 164.29%| unknown
3149.28/3157.96 c 3158s| 15300 | 13033 | 7692k| 464.6 | 1414M | 114 | 500 | 19k| 19k| 34k| 1 | 0 |3387 |-9.514403e+01 |-3.600000e+01 | 164.29%| unknown
3162.94/3171.65 c 3172s| 15400 | 13101 | 7719k| 463.4 | 1433M | 114 | 500 | 19k| 19k| 34k| 0 | 0 |3403 |-9.511136e+01 |-3.600000e+01 | 164.20%| unknown
3173.42/3182.15 c 3182s| 15500 | 13167 | 7743k| 462.1 | 1433M | 114 | 500 | 19k| 19k| 34k| 1 | 0 |3429 |-9.510136e+01 |-3.600000e+01 | 164.17%| unknown
3181.78/3190.55 c 3191s| 15600 | 13227 | 7765k| 460.6 | 1435M | 114 | 500 | 19k| 19k| 34k| 1 | 0 |3453 |-9.510136e+01 |-3.600000e+01 | 164.17%| unknown
3194.75/3203.51 c 3204s| 15700 | 13297 | 7796k| 459.7 | 1435M | 114 | 500 | 19k| 19k| 34k| 1 | 0 |3454 |-9.506533e+01 |-3.600000e+01 | 164.07%| unknown
3208.32/3217.12 c 3217s| 15800 | 13355 | 7823k| 458.6 | 1437M | 114 | 500 | 19k| 19k| 35k| 1 | 0 |3497 |-9.506533e+01 |-3.600000e+01 | 164.07%| unknown
3222.07/3230.95 c 3231s| 15900 | 13415 | 7847k| 457.3 | 1438M | 114 | 500 | 19k| 19k| 35k| 0 | 0 |3526 |-9.506533e+01 |-3.600000e+01 | 164.07%| unknown
3232.05/3240.95 c 3241s| 16000 | 13483 | 7874k| 456.2 | 1439M | 114 | 500 | 19k| 19k| 35k| 1 | 0 |3548 |-9.506533e+01 |-3.600000e+01 | 164.07%| unknown
3248.60/3257.59 c 3258s| 16100 | 13547 | 7901k| 455.1 | 1441M | 114 | 500 | 19k| 19k| 35k| 2 | 0 |3548 |-9.506533e+01 |-3.600000e+01 | 164.07%| unknown
3259.17/3268.11 c 3268s| 16200 | 13615 | 7929k| 454.1 | 1442M | 114 | 500 | 19k| 19k| 35k| 1 | 0 |3559 |-9.506455e+01 |-3.600000e+01 | 164.07%| unknown
3271.93/3280.97 c 3281s| 16300 | 13685 | 7959k| 453.2 | 1444M | 115 | 500 | 19k| 19k| 36k| 1 | 0 |3569 |-9.500648e+01 |-3.600000e+01 | 163.91%| unknown
3281.50/3290.59 c 3291s| 16400 | 13753 | 7988k| 452.3 | 1446M | 119 | 500 | 19k| 19k| 36k| 1 | 0 |3588 |-9.500648e+01 |-3.600000e+01 | 163.91%| unknown
3292.77/3301.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3292.77/3301.86 c 3302s| 16500 | 13823 | 8015k| 451.3 | 1446M | 125 | 500 | 19k| 19k| 36k| 1 | 0 |3613 |-9.498779e+01 |-3.600000e+01 | 163.85%| unknown
3298.45/3307.54 c 3308s| 16600 | 13883 | 8037k| 449.9 | 1446M | 125 | 500 | 19k| 19k| 36k| 1 | 0 |3613 |-9.498779e+01 |-3.600000e+01 | 163.85%| unknown
3306.04/3315.12 c 3315s| 16700 | 13951 | 8060k| 448.7 | 1446M | 127 | 500 | 19k| 19k| 36k| 1 | 0 |3624 |-9.498779e+01 |-3.600000e+01 | 163.85%| unknown
3312.21/3321.36 c 3321s| 16800 | 14007 | 8081k| 447.4 | 1449M | 127 | 500 | 19k| 19k| 36k| 1 | 0 |3651 |-9.490652e+01 |-3.600000e+01 | 163.63%| unknown
3321.59/3330.78 c 3331s| 16900 | 14071 | 8107k| 446.3 | 1449M | 127 | 500 | 19k| 19k| 36k| 1 | 0 |3748 |-9.488193e+01 |-3.600000e+01 | 163.56%| unknown
3331.67/3340.88 c 3341s| 17000 | 14123 | 8131k| 445.2 | 1449M | 127 | 500 | 19k| 19k| 36k| 0 | 0 |3760 |-9.488193e+01 |-3.600000e+01 | 163.56%| unknown
3338.55/3347.73 c 3348s| 17100 | 14175 | 8152k| 443.9 | 1451M | 127 | 500 | 19k| 19k| 36k| 1 | 0 |3760 |-9.485511e+01 |-3.600000e+01 | 163.49%| unknown
3343.84/3353.03 c 3353s| 17200 | 14225 | 8172k| 442.5 | 1451M | 127 | 500 | 19k| 19k| 36k| 1 | 0 |3760 |-9.483124e+01 |-3.600000e+01 | 163.42%| unknown
3353.20/3362.42 c 3362s| 17300 | 14281 | 8196k| 441.5 | 1452M | 127 | 500 | 19k| 19k| 36k| 1 | 0 |3761 |-9.483124e+01 |-3.600000e+01 | 163.42%| unknown
3366.96/3376.23 c 3376s| 17400 | 14337 | 8221k| 440.4 | 1452M | 127 | 500 | 19k| 19k| 37k| 1 | 0 |3764 |-9.477769e+01 |-3.600000e+01 | 163.27%| unknown
3375.34/3384.66 c 3385s| 17500 | 14395 | 8249k| 439.5 | 1455M | 127 | 500 | 19k| 19k| 37k| 1 | 0 |3767 |-9.476712e+01 |-3.600000e+01 | 163.24%| unknown
3393.09/3402.44 c 3402s| 17600 | 14453 | 8280k| 438.8 | 1458M | 127 | 500 | 19k| 19k| 37k| 2 | 0 |3767 |-9.476712e+01 |-3.600000e+01 | 163.24%| unknown
3400.06/3409.44 c 3409s| 17700 | 14513 | 8304k| 437.8 | 1459M | 127 | 500 | 19k| 19k| 37k| 1 | 0 |3771 |-9.476712e+01 |-3.600000e+01 | 163.24%| unknown
3408.04/3417.48 c 3417s| 17800 | 14571 | 8328k| 436.7 | 1459M | 127 | 500 | 19k| 19k| 37k| 1 | 0 |3788 |-9.476640e+01 |-3.600000e+01 | 163.24%| unknown
3419.01/3428.48 c 3428s| 17900 | 14633 | 8356k| 435.9 | 1461M | 127 | 500 | 19k| 19k| 38k| 1 | 0 |3788 |-9.476640e+01 |-3.600000e+01 | 163.24%| unknown
3428.08/3437.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3428.08/3437.53 c 3438s| 18000 | 14687 | 8378k| 434.7 | 1462M | 127 | 500 | 19k| 19k| 38k| 0 | 0 |3789 |-9.476640e+01 |-3.600000e+01 | 163.24%| unknown
3433.77/3443.26 c 3443s| 18100 | 14739 | 8399k| 433.6 | 1462M | 127 | 500 | 19k| 19k| 38k| 1 | 0 |3795 |-9.476640e+01 |-3.600000e+01 | 163.24%| unknown
3439.35/3448.81 c 3449s| 18200 | 14795 | 8420k| 432.4 | 1462M | 128 | 500 | 19k| 19k| 38k| 1 | 0 |3798 |-9.476640e+01 |-3.600000e+01 | 163.24%| unknown
3448.03/3457.56 c 3458s| 18300 | 14855 | 8444k| 431.4 | 1463M | 128 | 500 | 19k| 19k| 38k| 0 | 0 |3798 |-9.474053e+01 |-3.600000e+01 | 163.17%| unknown
3455.52/3465.04 c 3465s| 18400 | 14913 | 8468k| 430.5 | 1463M | 128 | 500 | 19k| 19k| 38k| 2 | 0 |3798 |-9.470765e+01 |-3.600000e+01 | 163.08%| unknown
3463.39/3472.90 c 3473s| 18500 | 14971 | 8495k| 429.6 | 1464M | 128 | 500 | 19k| 19k| 38k| 1 | 0 |3800 |-9.469480e+01 |-3.600000e+01 | 163.04%| unknown
3471.57/3481.11 c 3481s| 18600 | 15029 | 8521k| 428.8 | 1466M | 128 | 500 | 19k| 19k| 38k| 1 | 0 |3803 |-9.468666e+01 |-3.600000e+01 | 163.02%| unknown
3480.24/3489.84 c 3490s| 18700 | 15087 | 8548k| 428.0 | 1467M | 128 | 500 | 19k| 19k| 38k| 1 | 0 |3803 |-9.468666e+01 |-3.600000e+01 | 163.02%| unknown
3489.31/3498.94 c 3499s| 18800 | 15147 | 8573k| 427.1 | 1467M | 128 | 500 | 19k| 19k| 38k| 0 | 0 |3805 |-9.468372e+01 |-3.600000e+01 | 163.01%| unknown
3496.09/3505.78 c 3506s| 18900 | 15199 | 8596k| 426.1 | 1467M | 128 | 500 | 19k| 19k| 39k| 1 | 0 |3805 |-9.466439e+01 |-3.600000e+01 | 162.96%| unknown
3505.07/3514.73 c 3515s| 19000 | 15255 | 8619k| 425.1 | 1469M | 128 | 500 | 19k| 19k| 39k| 1 | 0 |3806 |-9.466439e+01 |-3.600000e+01 | 162.96%| unknown
3516.23/3526.00 c 3526s| 19100 | 15309 | 8639k| 424.0 | 1473M | 128 | 500 | 19k| 19k| 39k| 0 | 0 |3806 |-9.466439e+01 |-3.600000e+01 | 162.96%| unknown
3525.51/3535.24 c 3535s| 19200 | 15361 | 8663k| 423.1 | 1473M | 128 | 500 | 19k| 19k| 39k| 0 | 0 |3806 |-9.463897e+01 |-3.600000e+01 | 162.89%| unknown
3536.38/3546.10 c 3546s| 19300 | 15413 | 8687k| 422.2 | 1475M | 128 | 500 | 19k| 19k| 39k| 1 | 0 |3807 |-9.458946e+01 |-3.600000e+01 | 162.75%| unknown
3541.86/3551.66 c 3552s| 19400 | 15467 | 8708k| 421.1 | 1475M | 128 | 500 | 19k| 19k| 39k| 1 | 0 |3809 |-9.458946e+01 |-3.600000e+01 | 162.75%| unknown
3548.64/3558.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3548.64/3558.41 c 3558s| 19500 | 15535 | 8732k| 420.3 | 1476M | 128 | 500 | 19k| 19k| 39k| 1 | 0 |3814 |-9.457454e+01 |-3.600000e+01 | 162.71%| unknown
3557.01/3566.82 c 3567s| 19600 | 15595 | 8755k| 419.3 | 1476M | 128 | 500 | 19k| 19k| 39k| 1 | 0 |3814 |-9.453890e+01 |-3.600000e+01 | 162.61%| unknown
3563.79/3573.60 c 3574s| 19700 | 15659 | 8780k| 418.5 | 1477M | 128 | 500 | 19k| 19k| 39k| 1 | 0 |3814 |-9.453890e+01 |-3.600000e+01 | 162.61%| unknown
3570.87/3580.77 c 3581s| 19800 | 15723 | 8804k| 417.7 | 1478M | 128 | 500 | 19k| 19k| 39k| 2 | 0 |3814 |-9.449526e+01 |-3.600000e+01 | 162.49%| unknown
3583.74/3593.65 c 3594s| 19900 | 15777 | 8831k| 417.0 | 1478M | 128 | 500 | 19k| 19k| 40k| 1 | 0 |3814 |-9.442869e+01 |-3.600000e+01 | 162.30%| unknown
3587.03/3597.00 c
3587.03/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.03/3597.00 c Solving Time (sec) : 3597.00
3587.03/3597.00 c Solving Nodes : 19968 (total of 21017 nodes in 2 runs)
3587.03/3597.00 c Primal Bound : -3.60000000000000e+01 (359 solutions)
3587.03/3597.00 c Dual Bound : -9.44286862839416e+01
3587.03/3597.00 c Gap : 162.30 %
3587.13/3597.02 s SATISFIABLE
3587.13/3597.02 v -x500 -x499 -x498 -x497 x496 x495 -x494 -x493 -x492 -x491 x490 -x489 x488 -x487 -x486 x485 x484 -x483 -x482 -x481 -x480 x479 -x478
3587.13/3597.02 v -x477 -x476 -x475 -x474 -x473 -x472 x471 x470 x469 x468 -x467 -x466 -x465 -x464 -x463 -x462 x461 -x460 -x459 -x458 -x457
3587.13/3597.02 v x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 x447 -x446 x445 -x444 -x443 -x442 -x441 x440 -x439 -x438 x437 -x436 -x435
3587.13/3597.02 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 x423 -x422 -x421 -x420 x419 x418 -x417 -x416 -x415 x414 -x413
3587.13/3597.02 v -x412 -x411 -x410 -x409 -x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 -x394 -x393 -x392
3587.13/3597.02 v -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371
3587.13/3597.02 v -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350
3587.13/3597.02 v -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329
3587.13/3597.02 v -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 x315 -x314 x313 -x312 -x311 -x310 -x309 -x308
3587.13/3597.02 v -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287
3587.13/3597.02 v -x286 x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266
3587.13/3597.02 v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245
3587.13/3597.02 v -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224
3587.13/3597.02 v -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203
3587.13/3597.02 v -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182
3587.13/3597.02 v -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161
3587.13/3597.02 v -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140
3587.13/3597.02 v -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119
3587.13/3597.02 v -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98
3587.13/3597.02 v -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73
3587.13/3597.02 v -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48
3587.13/3597.02 v -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23
3587.13/3597.02 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
3587.13/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3587.13/3597.02 c Total Time : 3597.00
3587.13/3597.02 c solving : 3597.00
3587.13/3597.02 c presolving : 0.47 (included in solving)
3587.13/3597.02 c reading : 0.06 (included in solving)
3587.13/3597.02 c copying : 0.41 (20 #copies) (minimal 0.02, maximal 0.02, average 0.02)
3587.13/3597.02 c Original Problem :
3587.13/3597.02 c Problem name : HOME/instance-4459752-1721939462.opb
3587.13/3597.02 c Variables : 19183 (500 binary, 0 integer, 18683 implicit integer, 0 continuous)
3587.13/3597.02 c Constraints : 19683 initial, 19683 maximal
3587.13/3597.02 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3587.13/3597.02 c Presolved Problem :
3587.13/3597.02 c Problem name : t_HOME/instance-4459752-1721939462.opb
3587.13/3597.02 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.13/3597.02 c Constraints : 19274 initial, 19274 maximal
3587.13/3597.02 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3587.13/3597.02 c Nonzeros : 40281 constraint, 40089 clique table
3587.13/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.13/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c domcol : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c trivial : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c dualfix : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c probing : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c knapsack : 0.00 0.00 3 0 0 0 0 0 0 0 0 1
3587.13/3597.02 c setppc : 0.04 0.00 11 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c and : 0.04 0.00 2 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c linear : 0.03 0.00 5 18683 0 0 18683 0 500 0 0 0
3587.13/3597.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c pseudoboolean : 0.03 0.00 1 0 0 0 0 0 500 0 0 0
3587.13/3597.02 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c root node : - - - 0 - - 0 - - - - -
3587.13/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.13/3597.02 c benderslp : 0 0 0 0 19022 0 0 5208 0 0 0 0 0 0 0
3587.13/3597.02 c integral : 0 0 0 0 19022 0 0 5208 0 0 139 0 0 0 37878
3587.13/3597.02 c knapsack : 1 1 14 19007 0 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c setppc : 19272 19272 237 119948 0 0 0 5201 0 0 602692 0 0 0 0
3587.13/3597.02 c linear : 1 1 14 26987 0 0 0 3 0 0 0 0 0 0 0
3587.13/3597.02 c benders : 0 0 0 0 0 0 0 589 0 0 0 0 0 0 0
3587.13/3597.02 c fixedvar : 0 0 0 0 0 0 0 589 0 0 0 0 0 0 0
3587.13/3597.02 c countsols : 0 0 0 0 0 0 0 589 0 0 0 0 0 0 0
3587.13/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.13/3597.02 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.13/3597.02 c integral : 504.78 0.00 0.00 0.00 504.77 0.00 0.00 0.00 0.00 0.00
3587.13/3597.02 c knapsack : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.13/3597.02 c setppc : 7.81 0.00 0.08 5.71 0.00 0.00 0.00 0.91 0.00 1.10
3587.13/3597.02 c linear : 0.04 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.01
3587.13/3597.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.13/3597.02 c fixedvar : 0.60 0.00 0.00 0.00 0.00 0.00 0.00 0.59 0.00 0.00
3587.13/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.13/3597.02 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.13/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.13/3597.02 c dualfix : 3 0 0 0
3587.13/3597.02 c genvbounds : 0 0 0 0
3587.13/3597.02 c nlobbt : 0 0 0 0
3587.13/3597.02 c obbt : 0 0 0 0
3587.13/3597.02 c probing : 0 0 0 0
3587.13/3597.02 c pseudoobj : 57975 0 0 1
3587.13/3597.02 c redcost : 1050 0 0 58
3587.13/3597.02 c rootredcost : 2 0 0 0
3587.13/3597.02 c symmetry : 0 0 0 0
3587.13/3597.02 c vbounds : 36459 0 0 0
3587.13/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.13/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.13/3597.02 c genvbounds : 0.03 0.00 0.00 0.02 0.00 0.00
3587.13/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.13/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.13/3597.02 c probing : 0.06 0.00 0.06 0.00 0.00 0.00
3587.13/3597.02 c pseudoobj : 0.98 0.00 0.00 0.98 0.00 0.00
3587.13/3597.02 c redcost : 0.21 0.00 0.00 0.21 0.00 0.00
3587.13/3597.02 c rootredcost : 0.02 0.00 0.00 0.01 0.00 0.00
3587.13/3597.02 c symmetry : 0.04 0.00 0.01 0.03 0.00 0.00
3587.13/3597.02 c vbounds : 0.04 0.00 0.00 0.03 0.00 0.01
3587.13/3597.02 c Symmetry :
3587.13/3597.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.13/3597.02 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.13/3597.02 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.13/3597.02 c shadow tree time : 0.00 s
3587.13/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [--,--])
3587.13/3597.02 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.13/3597.02 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.13/3597.02 c bound exceed. LP : 1.09 2979 0 - 0 0.0 0 0.0 0 0.0 2853
3587.13/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.13/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.13/3597.02 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
3587.13/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.13/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.13/3597.02 c cut pool : 10.35 - 10613 472 - - 130060 249968 - - - - - (maximal pool size: 4229)
3587.13/3597.02 c aggregation : 90.10 0.00 3934 237 0 0 1 1 0 0 0 0 0
3587.13/3597.02 c > cmir : - - - - - - - 1 0 0 0 0 -
3587.13/3597.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.13/3597.02 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.13/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c clique : 1.90 0.00 237 237 0 0 2227 55787 0 17913 17913 0 0
3587.13/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c gomory : 459.65 0.00 2652 20 0 0 117116 138895 552 7286 7278 8 0
3587.13/3597.02 c > gomorymi : - - - - - - - 58781 298 479 472 7 -
3587.13/3597.02 c > strongcg : - - - - - - - 80114 254 6807 6806 1 -
3587.13/3597.02 c impliedbounds : 1.25 0.00 3934 237 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c multilinear : 0.00 0.00 702 237 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c rapidlearning : 0.34 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c rlt : 0.00 0.00 582 20 0 0 0 0 0 0 0 0 0
3587.13/3597.02 c zerohalf : 11.76 0.00 2666 34 0 0 11307 55285 39 34877 34863 14 0
3587.13/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.13/3597.02 c hybrid : 0.66 0.00 6879 237 60076 0 190483 2982 0 7970
3587.13/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.13/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.13/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3587.13/3597.02 c problem variables: 0.00 - 0 0
3587.13/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.13/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.13/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.13/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.13/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.13/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.13/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.13/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.13/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.13/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.13/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.13/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.13/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.13/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.13/3597.02 c relpscost : 504.75 0.00 19022 0 0 0 139 0 0 37878
3587.13/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.13/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.13/3597.02 c LP solutions : 0.00 - - 0 0
3587.13/3597.02 c relax solutions : 0.00 - - 0 0
3587.13/3597.02 c pseudo solutions : 0.00 - - 0 0
3587.13/3597.02 c strong branching : 0.21 - - 0 0
3587.13/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3587.13/3597.02 c adaptivediving : 4.33 0.00 49 0 0
3587.13/3597.02 c alns : 0.69 0.00 5 0 0
3587.13/3597.02 c bound : 0.00 0.00 0 0 0
3587.13/3597.02 c clique : 0.04 0.00 1 1 1
3587.13/3597.02 c coefdiving : 0.00 0.00 0 0 0
3587.13/3597.02 c completesol : 0.00 0.00 0 0 0
3587.13/3597.02 c conflictdiving : 0.00 0.00 0 0 0
3587.13/3597.02 c crossover : 0.42 0.00 6 3 0
3587.13/3597.02 c dins : 0.00 0.00 0 0 0
3587.13/3597.02 c distributiondivin: 34.51 0.00 180 0 0
3587.13/3597.02 c dps : 0.00 0.00 0 0 0
3587.13/3597.02 c dualval : 0.00 0.00 0 0 0
3587.13/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3587.13/3597.02 c feasjump : 0.00 0.00 0 0 0
3587.13/3597.02 c feaspump : 0.00 0.00 0 0 0
3587.13/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3587.13/3597.02 c fracdiving : 15.90 0.00 180 0 0
3587.13/3597.02 c gins : 0.03 0.00 0 0 0
3587.13/3597.02 c guideddiving : 15.56 0.00 180 3 0
3587.13/3597.02 c indcoefdiving : 0.00 0.00 0 0 0
3587.13/3597.02 c indicator : 0.01 0.00 0 0 0
3587.13/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3587.13/3597.02 c indoneopt : 0.01 0.00 0 0 0
3587.13/3597.02 c indrounding : 0.00 0.00 0 0 0
3587.13/3597.02 c indtwoopt : 0.00 0.00 0 0 0
3587.13/3597.02 c intdiving : 0.00 0.00 0 0 0
3587.13/3597.02 c intshifting : 0.00 0.00 0 0 0
3587.13/3597.02 c linesearchdiving : 16.11 0.00 180 0 0
3587.13/3597.02 c localbranching : 0.00 0.00 0 0 0
3587.13/3597.02 c locks : 0.01 0.00 1 1 1
3587.13/3597.02 c lpface : 0.01 0.00 0 0 0
3587.13/3597.02 c mpec : 0.00 0.00 0 0 0
3587.13/3597.02 c multistart : 0.00 0.00 0 0 0
3587.13/3597.02 c mutation : 0.00 0.00 0 0 0
3587.13/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3587.13/3597.02 c objpscostdiving : 27.51 0.00 91 115 0
3587.13/3597.02 c octane : 0.00 0.00 0 0 0
3587.13/3597.02 c ofins : 0.01 0.00 0 0 0
3587.13/3597.02 c oneopt : 0.02 0.00 1 1 1
3587.13/3597.02 c padm : 0.00 0.00 0 0 0
3587.13/3597.02 c proximity : 0.00 0.00 0 0 0
3587.13/3597.02 c pscostdiving : 19.27 0.00 181 3 0
3587.13/3597.02 c randrounding : 2.76 0.00 4851 159 0
3587.13/3597.02 c rens : 0.00 0.00 0 0 0
3587.13/3597.02 c reoptsols : 0.00 0.00 0 0 0
3587.13/3597.02 c repair : 0.00 0.00 0 0 0
3587.13/3597.02 c rins : 14.52 0.00 9 4 0
3587.13/3597.02 c rootsoldiving : 16.39 0.00 91 67 0
3587.13/3597.02 c rounding : 2.49 0.00 2194 0 0
3587.13/3597.02 c scheduler : 0.00 0.00 0 0 0
3587.13/3597.02 c shiftandpropagate: 0.00 0.00 0 0 0
3587.13/3597.02 c shifting : 1.71 0.00 1208 0 0
3587.13/3597.02 c simplerounding : 0.41 0.00 25901 0 0
3587.13/3597.02 c smallcard : 0.00 0.00 0 0 0
3587.13/3597.02 c subnlp : 0.01 0.00 0 0 0
3587.13/3597.02 c trivial : 0.01 0.00 4 1 1
3587.13/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3587.13/3597.02 c trustregion : 0.00 0.00 0 0 0
3587.13/3597.02 c trysol : 0.01 0.00 0 0 0
3587.13/3597.02 c twoopt : 0.00 0.00 0 0 0
3587.13/3597.02 c undercover : 0.00 0.00 0 0 0
3587.13/3597.02 c vbounds : 0.04 0.00 2 1 0
3587.13/3597.02 c veclendiving : 10.79 0.00 180 0 0
3587.13/3597.02 c zeroobj : 0.00 0.00 0 0 0
3587.13/3597.02 c zirounding : 0.86 0.00 1000 0 0
3587.13/3597.02 c other solutions : - - - 0 -
3587.13/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.13/3597.02 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.13/3597.02 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.13/3597.02 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.13/3597.02 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.13/3597.02 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.13/3597.02 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.13/3597.02 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.13/3597.02 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.13/3597.02 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.13/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.13/3597.02 c primal LP : 4.60 2802 0 0.00 0.00 4.60 2802
3587.13/3597.02 c dual LP : 2273.84 28035 8146091 291.19 3582.52 0.09 60
3587.13/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3587.13/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.13/3597.02 c resolve instable : 0.00 0 0 0.00 -
3587.13/3597.02 c diving/probing LP: 140.37 7492 697995 93.17 4972.55
3587.13/3597.02 c strong branching : 486.15 3814 1494872 391.94 3074.90 - - 1797
3587.13/3597.02 c (at root node) : - 69 49543 718.01 -
3587.13/3597.02 c conflict analysis: 0.48 313 2853 9.12 5974.04
3587.13/3597.02 c B&B Tree :
3587.13/3597.02 c number of runs : 2
3587.13/3597.02 c nodes : 19968 (17890 internal, 2078 leaves)
3587.13/3597.02 c feasible leaves : 0
3587.13/3597.02 c infeas. leaves : 0
3587.13/3597.02 c objective leaves : 2077
3587.13/3597.02 c nodes (total) : 21017 (18939 internal, 2078 leaves)
3587.13/3597.02 c nodes left : 15814
3587.13/3597.02 c max depth : 128
3587.13/3597.02 c max depth (total): 128
3587.13/3597.02 c backtracks : 1929 (9.7%)
3587.13/3597.02 c early backtracks : 0 (0.0%)
3587.13/3597.02 c nodes exc. ref. : 0 (0.0%)
3587.13/3597.02 c delayed cutoffs : 0
3587.13/3597.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.13/3597.02 c avg switch length: 4.21
3587.13/3597.02 c switching time : 11.74
3587.13/3597.02 c Root Node :
3587.13/3597.02 c First LP value : -2.50000000000000e+02
3587.13/3597.02 c First LP Iters : 518 (19243.63 Iter/sec)
3587.13/3597.02 c First LP Time : 0.03
3587.13/3597.02 c Final Dual Bound : -9.83386171848991e+01
3587.13/3597.02 c Final Root Iters : 97089
3587.13/3597.02 c Root LP Estimate : -3.23983442744031e+01
3587.13/3597.02 c Solution :
3587.13/3597.02 c Solutions found : 359 (4 improvements)
3587.13/3597.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.12 seconds, depth 0, found by <trivial>)
3587.13/3597.02 c Gap First Sol. : infinite
3587.13/3597.02 c Gap Last Sol. : 1288.89 %
3587.13/3597.02 c Primal Bound : -3.60000000000000e+01 (in run 1, after 1 nodes, 0.45 seconds, depth 0, found by <oneopt>)
3587.13/3597.02 c Dual Bound : -9.44286862839416e+01
3587.13/3597.02 c Gap : 162.30 %
3587.13/3597.02 c Integrals : Total Avg%
3587.13/3597.02 c primal-dual : 227442.29 63.23
3587.13/3597.02 c primal-ref : - - (not evaluated)
3587.13/3597.02 c dual-ref : - - (not evaluated)
3587.33/3597.24 c Time complete: 3587.39.
OK -36
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: 63968 MiB (62269 MiB free)
memory of node 1: 64473 MiB (63204 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459752-1721939462/watcher-4459752-1721939462 -o /tmp/evaluation-result-4459752-1721939462/solver-4459752-1721939462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721939462-306251 --watchdog 3760 pbscip -f HOME/instance-4459752-1721939462.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=306280, runsolver pid=306277
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 0.17 0.11 0.19 3/248 306281
/proc/meminfo: memFree=128419344/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=115384 memory=76808 CPUtime=0.09 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 16076 0 0 0 7 2 0 0 20 0 1 0 30469106 118153216 19202 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 28846 19202 3622 3540 0 17103 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 115384 KiB
Current children cumulated memory: 76808 KiB
[startup+0.205211 s]*
/proc/loadavg: 0.17 0.11 0.19 5/250 306285
/proc/meminfo: memFree=128387772/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=149236 memory=106740 CPUtime=0.19 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 23575 0 0 0 17 2 0 0 20 0 1 0 30469106 152817664 26685 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 37309 26685 3638 3540 0 25566 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 149236 KiB
Current children cumulated memory: 106740 KiB
[startup+0.305319 s]*
/proc/loadavg: 0.17 0.11 0.19 4/254 306296
/proc/meminfo: memFree=128350352/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=152364 memory=109948 CPUtime=0.29 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 24359 0 0 0 27 2 0 0 20 0 1 0 30469106 156020736 27487 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 38091 27487 3670 3540 0 26348 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 152364 KiB
Current children cumulated memory: 109948 KiB
[startup+0.700171 s]
/proc/loadavg: 0.17 0.11 0.19 4/254 306296
/proc/meminfo: memFree=128206320/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=181372 memory=134412 CPUtime=0.69 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 32374 0 0 0 65 4 0 0 20 0 1 0 30469106 185724928 33603 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 45343 33603 3894 3540 0 33600 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 181372 KiB
Current children cumulated memory: 134412 KiB
[startup+1.50018 s]
/proc/loadavg: 0.17 0.11 0.19 5/260 306311
/proc/meminfo: memFree=128103264/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=187352 memory=135468 CPUtime=1.49 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 32627 0 0 0 145 4 0 0 20 0 1 0 30469106 191848448 33867 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 46838 33867 3894 3540 0 35095 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 187352 KiB
Current children cumulated memory: 135468 KiB
[startup+3.10546 s]
/proc/loadavg: 0.17 0.11 0.19 5/260 306357
/proc/meminfo: memFree=127818092/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=193488 memory=137844 CPUtime=3.08 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 33221 0 0 0 304 4 0 0 20 0 1 0 30469106 198131712 34461 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 48372 34461 3894 3540 0 36629 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 193488 KiB
Current children cumulated memory: 137844 KiB
[startup+6.30021 s]
/proc/loadavg: 0.48 0.17 0.21 5/260 306359
/proc/meminfo: memFree=127736512/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=215852 memory=145764 CPUtime=6.27 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 35200 0 0 0 622 5 0 0 20 0 1 0 30469106 221032448 36441 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 53963 36441 3894 3540 0 42220 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 215852 KiB
Current children cumulated memory: 145764 KiB
[startup+12.7002 s]
/proc/loadavg: 0.76 0.23 0.23 5/260 306359
/proc/meminfo: memFree=127730056/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=229748 memory=148932 CPUtime=12.65 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 36022 0 0 0 1259 6 0 0 20 0 1 0 30469106 235261952 37233 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 57437 37233 3894 3540 0 45694 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 229748 KiB
Current children cumulated memory: 148932 KiB
[startup+25.5002 s]
/proc/loadavg: 1.48 0.42 0.29 5/260 306362
/proc/meminfo: memFree=127176340/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=239368 memory=158436 CPUtime=25.41 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 38368 0 0 0 2534 7 0 0 20 0 1 0 30469106 245112832 39609 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 59842 39609 3894 3540 0 48099 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 239368 KiB
Current children cumulated memory: 158436 KiB
[startup+51.1054 s]
/proc/loadavg: 2.40 0.72 0.39 5/260 306365
/proc/meminfo: memFree=127133544/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=271468 memory=191476 CPUtime=50.94 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 47564 0 0 0 5083 11 0 0 20 0 1 0 30469106 277983232 47869 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 67867 47869 4005 3540 0 56124 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 271468 KiB
Current children cumulated memory: 191476 KiB
[startup+102.3 s]
/proc/loadavg: 3.36 1.25 0.59 5/260 306375
/proc/meminfo: memFree=126986944/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=271468 memory=207632 CPUtime=102.01 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 47649 0 0 0 10189 12 0 0 20 0 1 0 30469106 277983232 51908 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 67867 51908 4005 3540 0 56124 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 271468 KiB
Current children cumulated memory: 207632 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 1.78 0.82 5/260 306386
/proc/meminfo: memFree=126871596/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=347488 memory=284916 CPUtime=161.85 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 58342 0 0 0 16171 14 0 0 20 0 1 0 30469106 355827712 71229 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 86872 71229 4005 3540 0 75129 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 347488 KiB
Current children cumulated memory: 284916 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.22 1.03 5/258 306396
/proc/meminfo: memFree=126739488/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=487788 memory=378532 CPUtime=221.72 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 73546 0 0 0 22154 18 0 0 20 0 1 0 30469106 499494912 94633 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 121947 94633 4005 3540 0 110204 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 487788 KiB
Current children cumulated memory: 378532 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.57 1.23 5/258 306406
/proc/meminfo: memFree=125828380/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=557204 memory=451352 CPUtime=281.56 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 77215 0 0 0 28138 18 0 0 20 0 1 0 30469106 570576896 112838 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 139301 112838 4005 3540 0 127558 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 557204 KiB
Current children cumulated memory: 451352 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 2.87 1.42 5/255 306416
/proc/meminfo: memFree=124642248/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=646824 memory=561716 CPUtime=341.43 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 85568 0 0 0 34123 20 0 0 20 0 1 0 30469106 662347776 140429 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 161706 140429 4005 3540 0 149963 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 646824 KiB
Current children cumulated memory: 561716 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 3.07 1.58 5/255 306427
/proc/meminfo: memFree=124357536/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=701308 memory=663060 CPUtime=401.28 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 95744 0 0 0 40107 21 0 0 20 0 1 0 30469106 718139392 165765 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 175327 165765 4037 3540 0 163584 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 701308 KiB
Current children cumulated memory: 663060 KiB
[startup+462.3 s]
/proc/loadavg: 4.02 3.26 1.74 4/248 306469
/proc/meminfo: memFree=124415868/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=735036 memory=671608 CPUtime=461.13 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 96551 0 0 0 46092 21 0 0 20 0 1 0 30469106 752676864 167902 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 183759 167902 4037 3540 0 172016 0
################
# More data... #
################
/proc/loadavg: 3.09 3.10 3.06 4/251 307530
/proc/meminfo: memFree=122736064/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=1474156 memory=1207372 CPUtime=3153.67 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 217352 0 0 0 315317 50 0 0 20 0 1 0 30469106 1509535744 301843 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 368539 301843 4171 3540 0 356796 0
Current children cumulated CPU time: 3153.67 s
Current children cumulated vsize: 1474156 KiB
Current children cumulated memory: 1207372 KiB
[startup+3222.3 s]
/proc/loadavg: 3.11 3.11 3.06 4/251 307540
/proc/meminfo: memFree=122694788/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=1513440 memory=1244164 CPUtime=3213.5 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 226765 0 0 0 321298 52 0 0 20 0 1 0 30469106 1549762560 311041 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 378360 311041 4171 3540 0 366617 0
Current children cumulated CPU time: 3213.5 s
Current children cumulated vsize: 1513440 KiB
Current children cumulated memory: 1244164 KiB
[startup+3282.3 s]
/proc/loadavg: 3.09 3.11 3.06 4/251 307932
/proc/meminfo: memFree=122691404/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=1513440 memory=1245392 CPUtime=3273.33 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 227359 0 0 0 327281 52 0 0 20 0 1 0 30469106 1549762560 311348 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 378360 311348 4171 3540 0 366617 0
Current children cumulated CPU time: 3273.33 s
Current children cumulated vsize: 1513440 KiB
Current children cumulated memory: 1245392 KiB
[startup+3342.3 s]
/proc/loadavg: 3.07 3.10 3.06 4/250 307943
/proc/meminfo: memFree=122689508/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=1513440 memory=1246424 CPUtime=3333.16 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 227891 0 0 0 333263 53 0 0 20 0 1 0 30469106 1549762560 311606 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 378360 311606 4171 3540 0 366617 0
Current children cumulated CPU time: 3333.16 s
Current children cumulated vsize: 1513440 KiB
Current children cumulated memory: 1246424 KiB
[startup+3402.3 s]
/proc/loadavg: 3.12 3.11 3.07 4/250 307954
/proc/meminfo: memFree=122669344/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=1519452 memory=1252344 CPUtime=3392.99 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 229621 0 0 0 339246 53 0 0 20 0 1 0 30469106 1555918848 313086 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 379863 313086 4171 3540 0 368120 0
Current children cumulated CPU time: 3392.99 s
Current children cumulated vsize: 1519452 KiB
Current children cumulated memory: 1252344 KiB
[startup+3462.3 s]
/proc/loadavg: 3.04 3.09 3.06 5/253 308087
/proc/meminfo: memFree=122666300/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=1519452 memory=1252344 CPUtime=3452.82 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 229850 0 0 0 345228 54 0 0 20 0 1 0 30469106 1555918848 313086 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 379863 313086 4171 3540 0 368120 0
Current children cumulated CPU time: 3452.82 s
Current children cumulated vsize: 1519452 KiB
Current children cumulated memory: 1252344 KiB
[startup+3522.3 s]
/proc/loadavg: 3.12 3.10 3.07 4/252 308144
/proc/meminfo: memFree=122667948/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=1519452 memory=1252364 CPUtime=3512.64 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 230093 0 0 0 351210 54 0 0 20 0 1 0 30469106 1555918848 313091 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 379863 313091 4171 3540 0 368120 0
Current children cumulated CPU time: 3512.64 s
Current children cumulated vsize: 1519452 KiB
Current children cumulated memory: 1252364 KiB
[startup+3582.3 s]
/proc/loadavg: 3.10 3.09 3.07 4/253 308212
/proc/meminfo: memFree=122666424/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=1519452 memory=1252840 CPUtime=3572.47 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 230561 0 0 0 357193 54 0 0 20 0 1 0 30469106 1555918848 313210 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 379863 313210 4171 3540 0 368120 0
Current children cumulated CPU time: 3572.47 s
Current children cumulated vsize: 1519452 KiB
Current children cumulated memory: 1252840 KiB
[startup+3597.27 s]
# the end of solver process 306280 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.83 s, system=0.576189 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.10 3.09 3.07 4/253 308212
/proc/meminfo: memFree=122666328/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=1519452 memory=1253016 CPUtime=3574.17 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 230614 0 0 0 357363 54 0 0 20 0 1 0 30469106 1555918848 313254 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 379863 313254 4171 3540 0 368120 0
Current children cumulated CPU time: 3574.17 s
Current children cumulated vsize: 1519452 KiB
Current children cumulated memory: 1253016 KiB
[startup+3590.4 s]
/proc/loadavg: 3.09 3.09 3.07 4/253 308213
/proc/meminfo: memFree=122666396/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=1519452 memory=1253072 CPUtime=3580.54 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 230632 0 0 0 358000 54 0 0 20 0 1 0 30469106 1555918848 313268 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 379863 313268 4171 3540 0 368120 0
Current children cumulated CPU time: 3580.54 s
Current children cumulated vsize: 1519452 KiB
Current children cumulated memory: 1253072 KiB
[startup+3593.6 s]
/proc/loadavg: 3.08 3.09 3.07 4/253 308213
/proc/meminfo: memFree=122666384/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=1519452 memory=1253072 CPUtime=3583.74 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 230637 0 0 0 358320 54 0 0 20 0 1 0 30469106 1555918848 313268 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 379863 313268 4171 3540 0 368120 0
Current children cumulated CPU time: 3583.74 s
Current children cumulated vsize: 1519452 KiB
Current children cumulated memory: 1253072 KiB
[startup+3595.2 s]
/proc/loadavg: 3.08 3.09 3.07 4/253 308215
/proc/meminfo: memFree=122666344/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=1519452 memory=1253072 CPUtime=3585.33 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 230661 0 0 0 358479 54 0 0 20 0 1 0 30469106 1555918848 313268 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 379863 313268 4171 3540 0 368120 0
Current children cumulated CPU time: 3585.33 s
Current children cumulated vsize: 1519452 KiB
Current children cumulated memory: 1253072 KiB
[startup+3596 s]*
/proc/loadavg: 3.08 3.09 3.07 4/252 308215
/proc/meminfo: memFree=122666036/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=1519880 memory=1253244 CPUtime=3586.13 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 230737 0 0 0 358559 54 0 0 20 0 1 0 30469106 1556357120 313311 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 379970 313311 4171 3540 0 368227 0
Current children cumulated CPU time: 3586.13 s
Current children cumulated vsize: 1519880 KiB
Current children cumulated memory: 1253244 KiB
[startup+3596.8 s]
/proc/loadavg: 3.08 3.09 3.07 4/252 308215
/proc/meminfo: memFree=122666036/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=1519880 memory=1253244 CPUtime=3586.93 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 230739 0 0 0 358639 54 0 0 20 0 1 0 30469106 1556357120 313311 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 379970 313311 4171 3540 0 368227 0
Current children cumulated CPU time: 3586.93 s
Current children cumulated vsize: 1519880 KiB
Current children cumulated memory: 1253244 KiB
[startup+3597.2 s]
/proc/loadavg: 3.08 3.09 3.07 4/252 308215
/proc/meminfo: memFree=122666012/131524600 swapFree=131056028/131071996
[pid=306280] ppid=306277 vsize=1514808 memory=1249184 CPUtime=3587.33 cores=5,7
/proc/306280/stat : 306280 (pbscip) R 306277 306280 306238 0 -1 4194304 230780 0 0 0 358679 54 0 0 20 0 1 0 30469106 1551163392 312296 134679101440 4194304 18693293 140722952516368 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59396096 140722952524803 140722952524902 140722952524902 140722952531918 0
/proc/306280/statm: 378702 312296 4171 3540 0 366959 0
Current children cumulated CPU time: 3587.33 s
Current children cumulated vsize: 1514808 KiB
Current children cumulated memory: 1249184 KiB
Child status: 0
Real time (s): 3597.27
CPU time (s): 3587.41
CPU user time (s): 3586.83
CPU system time (s): 0.576189
CPU usage (%): 99.7259
Max. virtual memory (cumulated for all children) (KiB): 1519880
Max. memory (cumulated for all children) (KiB): 1253404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.83
system time used= 0.576189
maximum resident set size= 1253404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230863
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= 53
involuntary context switches= 3774
# summary of solver processes directly reported to runsolver:
# pid: 306280
# total CPU time (s): 3587.41
# total CPU user time (s): 3586.83
# total CPU system time (s): 0.576189
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.80568 second user time and 12.8187 second system time
The end
Begin job on nodeC015 at 2024-07-25 22:31:02 IDJOB=4459752 IDBENCH=148534 IDSOLVER=3059 FILE ID=nodeC015/4459752-1721939462 RUNJOBID= nodeC015-1721939462-306251 SLURM_JOB_ID= 8247237 Free space on /tmp= 890064 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_1.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459752-1721939462/watcher-4459752-1721939462 -o /tmp/evaluation-result-4459752-1721939462/solver-4459752-1721939462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721939462-306251 --watchdog 3760 pbscip -f HOME/instance-4459752-1721939462.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 2a4ebf3c72122f3b44af8d9c3b5c44b1 RANDOM SEED=1503976896 nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2494.560 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2958.829 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2632.486 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 2805.817 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3039.456 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3629.774 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3617.769 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3673.799 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128491256 kB MemAvailable: 129607692 kB Buffers: 343284 kB Cached: 1437980 kB SwapCached: 312 kB Active: 1231752 kB Inactive: 876824 kB Active(anon): 4312 kB Inactive(anon): 375520 kB Active(file): 1227440 kB Inactive(file): 501304 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056028 kB Dirty: 37500 kB Writeback: 0 kB AnonPages: 326812 kB Mapped: 105344 kB Shmem: 52524 kB KReclaimable: 449100 kB Slab: 573224 kB SReclaimable: 449100 kB SUnreclaim: 124124 kB KernelStack: 3956 kB PageTables: 9968 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 748252 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16224 kB HardwareCorrupted: 0 kB AnonHugePages: 200704 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 367316 kB DirectMap2M: 43446272 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 890028 MiB End job on nodeC015 at 2024-07-25 23:31:00