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 | -70 | 3588.59 | 3597.23 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mis/normalized-mis_500_25_3.opb |
| MD5SUM | fd2f82137517c7c348dacac3fbe759ff |
| 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 | -78 |
| Best CPU time to get the best result obtained on this benchmark | 71365.9 |
| 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 | 25 |
| Maximum length of a constraint | 49 |
| 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) | 15722 |
| Sum of products size (including duplicates) | 31444 |
| Number of different products | 7861 |
| Sum of products size | 15722 |
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-4459760-1721939462.opb>
0.00/0.03 c original problem has 8361 variables (500 bin, 0 int, 7861 impl, 0 cont) and 8861 constraints
0.00/0.03 c problem read in 0.03
0.00/0.05 o 0
0.00/0.05 c feasible solution found by trivial heuristic after 0.1 seconds, objective value 0.000000e+00
0.00/0.05 c presolving:
0.00/0.08 c (round 1, fast) 7861 del vars, 500 del conss, 0 add conss, 7861 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.08 c (round 2, fast) 7861 del vars, 500 del conss, 0 add conss, 7861 chg bounds, 0 chg sides, 0 chg coeffs, 7861 upgd conss, 0 impls, 0 clqs
0.09/0.10 c (round 3, medium) 7861 del vars, 1000 del conss, 0 add conss, 7861 chg bounds, 0 chg sides, 0 chg coeffs, 7861 upgd conss, 0 impls, 7860 clqs
0.09/0.13 c (0.1s) probing: 51/500 (10.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.13 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.13 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.14 c (0.1s) no symmetry present (symcode time: 0.00)
0.09/0.14 c presolving (4 rounds: 4 fast, 2 medium, 1 exhaustive):
0.09/0.14 c 7861 deleted vars, 1000 deleted constraints, 0 added constraints, 7861 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 0 implications, 7860 cliques
0.09/0.14 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 7861 constraints
0.09/0.14 c 7861 constraints of type <setppc>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.09
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 10.0.0
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.14 c limits/time = 3596.99703
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.14 c limits/memory = 27900
0.09/0.14 c
0.09/0.14 c # belongs reading time to solving time?
0.09/0.14 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c timing/reading = TRUE
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c transformed 1/1 original solutions to the transformed problem space
0.09/0.14 c
0.09/0.16 o -47
0.09/0.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.16 c p 0.2s| 1 | 0 | 0 | - | clique| 0 | 500 |7861 |7861 | 0 | 0 | 0 | 0 |-5.000000e+02 |-4.700000e+01 | 963.83%| unknown
0.09/0.16 o -65
0.09/0.16 c p 0.2s| 1 | 0 | 0 | - | locks| 0 | 500 |7861 |7861 | 0 | 0 | 0 | 0 |-5.000000e+02 |-6.500000e+01 | 669.23%| unknown
0.09/0.18 o -67
0.09/0.18 c i 0.2s| 1 | 0 | 107 | - | oneopt| 0 | 500 |7861 |7861 | 0 | 0 | 0 | 0 |-5.000000e+02 |-6.700000e+01 | 646.27%| unknown
0.09/0.19 c 0.2s| 1 | 0 | 640 | - | 50M | 0 | 500 |7861 |7861 | 0 | 0 | 0 | 0 |-2.500000e+02 |-6.700000e+01 | 273.13%| unknown
0.20/0.29 c 0.3s| 1 | 0 | 1111 | - | 52M | 0 | 500 |7861 |7895 | 34 | 1 | 0 | 0 |-2.320000e+02 |-6.700000e+01 | 246.27%| unknown
0.40/0.41 c 0.4s| 1 | 0 | 1358 | - | 53M | 0 | 500 |7861 |7925 | 64 | 2 | 0 | 0 |-2.235000e+02 |-6.700000e+01 | 233.58%| unknown
0.59/0.62 c 0.6s| 1 | 0 | 2066 | - | 54M | 0 | 500 |7861 |7961 | 100 | 3 | 0 | 0 |-2.137500e+02 |-6.700000e+01 | 219.03%| unknown
0.79/0.83 c 0.8s| 1 | 0 | 2800 | - | 55M | 0 | 500 |7861 |7992 | 131 | 4 | 0 | 0 |-2.090000e+02 |-6.700000e+01 | 211.94%| unknown
1.09/1.11 c 1.1s| 1 | 0 | 3390 | - | 56M | 0 | 500 |7861 |8018 | 157 | 5 | 0 | 0 |-2.040000e+02 |-6.700000e+01 | 204.48%| unknown
1.19/1.25 c 1.3s| 1 | 0 | 3734 | - | 62M | 0 | 500 |7861 |8045 | 184 | 6 | 0 | 0 |-2.010000e+02 |-6.700000e+01 | 200.00%| unknown
1.39/1.43 c 1.4s| 1 | 0 | 4764 | - | 65M | 0 | 500 |7861 |8069 | 208 | 7 | 0 | 0 |-1.981250e+02 |-6.700000e+01 | 195.71%| unknown
1.78/1.80 c 1.8s| 1 | 0 | 5639 | - | 67M | 0 | 500 |7861 |8091 | 230 | 8 | 0 | 0 |-1.955000e+02 |-6.700000e+01 | 191.79%| unknown
1.99/2.02 c 2.0s| 1 | 0 | 6726 | - | 70M | 0 | 500 |7861 |8122 | 261 | 9 | 0 | 0 |-1.929722e+02 |-6.700000e+01 | 188.02%| unknown
2.48/2.52 c 2.5s| 1 | 0 | 7935 | - | 75M | 0 | 500 |7861 |8148 | 287 | 10 | 0 | 0 |-1.883750e+02 |-6.700000e+01 | 181.16%| unknown
2.58/2.63 c 2.6s| 1 | 0 | 8550 | - | 76M | 0 | 500 |7861 |8171 | 310 | 11 | 0 | 0 |-1.871250e+02 |-6.700000e+01 | 179.29%| unknown
2.78/2.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.78/2.83 c 2.8s| 1 | 0 | 9923 | - | 77M | 0 | 500 |7861 |8199 | 338 | 12 | 0 | 0 |-1.830000e+02 |-6.700000e+01 | 173.13%| unknown
3.08/3.13 c 3.1s| 1 | 0 | 12088 | - | 78M | 0 | 500 |7861 |8229 | 368 | 13 | 0 | 0 |-1.792052e+02 |-6.700000e+01 | 167.47%| unknown
3.28/3.31 c 3.3s| 1 | 0 | 13169 | - | 79M | 0 | 500 |7861 |8248 | 387 | 14 | 0 | 0 |-1.768824e+02 |-6.700000e+01 | 164.00%| unknown
3.38/3.48 c 3.5s| 1 | 0 | 14228 | - | 80M | 0 | 500 |7861 |8271 | 410 | 15 | 0 | 0 |-1.754341e+02 |-6.700000e+01 | 161.84%| unknown
3.58/3.65 c 3.6s| 1 | 0 | 15296 | - | 81M | 0 | 500 |7861 |8278 | 432 | 16 | 0 | 0 |-1.735267e+02 |-6.700000e+01 | 159.00%| unknown
3.77/3.83 c 3.8s| 1 | 0 | 16401 | - | 82M | 0 | 500 |7861 |8297 | 451 | 17 | 0 | 0 |-1.719702e+02 |-6.700000e+01 | 156.67%| unknown
3.87/4.00 c 4.0s| 1 | 0 | 17614 | - | 83M | 0 | 500 |7861 |8320 | 474 | 18 | 0 | 0 |-1.696793e+02 |-6.700000e+01 | 153.25%| unknown
4.17/4.24 c 4.2s| 1 | 0 | 19188 | - | 84M | 0 | 500 |7861 |8338 | 492 | 19 | 0 | 0 |-1.678572e+02 |-6.700000e+01 | 150.53%| unknown
4.37/4.42 c 4.4s| 1 | 0 | 20397 | - | 85M | 0 | 500 |7861 |8356 | 510 | 20 | 0 | 0 |-1.667200e+02 |-6.700000e+01 | 148.84%| unknown
4.47/4.52 c 4.5s| 1 | 0 | 21015 | - | 85M | 0 | 500 |7861 |8374 | 528 | 21 | 0 | 0 |-1.662106e+02 |-6.700000e+01 | 148.08%| unknown
4.57/4.62 c 4.6s| 1 | 0 | 21590 | - | 85M | 0 | 500 |7861 |8358 | 537 | 22 | 0 | 0 |-1.656416e+02 |-6.700000e+01 | 147.23%| unknown
4.67/4.72 c 4.7s| 1 | 0 | 22136 | - | 85M | 0 | 500 |7861 |8369 | 548 | 23 | 0 | 0 |-1.652443e+02 |-6.700000e+01 | 146.63%| unknown
4.77/4.82 c 4.8s| 1 | 0 | 22717 | - | 85M | 0 | 500 |7861 |8379 | 558 | 24 | 0 | 0 |-1.647766e+02 |-6.700000e+01 | 145.94%| unknown
4.87/4.92 c 4.9s| 1 | 0 | 23198 | - | 85M | 0 | 500 |7861 |8388 | 567 | 25 | 0 | 0 |-1.644150e+02 |-6.700000e+01 | 145.40%| unknown
4.97/5.02 c 5.0s| 1 | 0 | 23716 | - | 85M | 0 | 500 |7861 |8399 | 578 | 26 | 0 | 0 |-1.638896e+02 |-6.700000e+01 | 144.61%| unknown
5.07/5.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.07/5.13 c 5.1s| 1 | 0 | 24332 | - | 85M | 0 | 500 |7861 |8410 | 589 | 27 | 0 | 0 |-1.631982e+02 |-6.700000e+01 | 143.58%| unknown
5.17/5.21 c 5.2s| 1 | 0 | 24706 | - | 85M | 0 | 500 |7861 |8385 | 599 | 28 | 0 | 0 |-1.628472e+02 |-6.700000e+01 | 143.06%| unknown
5.27/5.31 c 5.3s| 1 | 0 | 25238 | - | 85M | 0 | 500 |7861 |8393 | 607 | 29 | 0 | 0 |-1.624023e+02 |-6.700000e+01 | 142.39%| unknown
5.37/5.43 c 5.4s| 1 | 0 | 25846 | - | 85M | 0 | 500 |7861 |8402 | 616 | 30 | 0 | 0 |-1.616710e+02 |-6.700000e+01 | 141.30%| unknown
5.47/5.55 c 5.6s| 1 | 0 | 26577 | - | 86M | 0 | 500 |7861 |8414 | 628 | 31 | 0 | 0 |-1.609520e+02 |-6.700000e+01 | 140.23%| unknown
5.57/5.66 c 5.7s| 1 | 0 | 27116 | - | 86M | 0 | 500 |7861 |8428 | 642 | 32 | 0 | 0 |-1.603455e+02 |-6.700000e+01 | 139.32%| unknown
5.67/5.74 c 5.7s| 1 | 0 | 27571 | - | 86M | 0 | 500 |7861 |8439 | 653 | 33 | 0 | 0 |-1.599809e+02 |-6.700000e+01 | 138.78%| unknown
5.77/5.85 c 5.8s| 1 | 0 | 28076 | - | 86M | 0 | 500 |7861 |8416 | 667 | 34 | 0 | 0 |-1.593354e+02 |-6.700000e+01 | 137.81%| unknown
5.87/5.94 c 5.9s| 1 | 0 | 28604 | - | 86M | 0 | 500 |7861 |8428 | 679 | 35 | 0 | 0 |-1.590569e+02 |-6.700000e+01 | 137.40%| unknown
5.97/6.06 c 6.1s| 1 | 0 | 29182 | - | 86M | 0 | 500 |7861 |8438 | 689 | 36 | 0 | 0 |-1.584588e+02 |-6.700000e+01 | 136.51%| unknown
6.07/6.19 c 6.2s| 1 | 0 | 29867 | - | 86M | 0 | 500 |7861 |8450 | 701 | 37 | 0 | 0 |-1.577831e+02 |-6.700000e+01 | 135.50%| unknown
6.17/6.27 c 6.3s| 1 | 0 | 30281 | - | 86M | 0 | 500 |7861 |8465 | 716 | 38 | 0 | 0 |-1.574521e+02 |-6.700000e+01 | 135.00%| unknown
6.27/6.35 c 6.3s| 1 | 0 | 30701 | - | 86M | 0 | 500 |7861 |8475 | 726 | 39 | 0 | 0 |-1.572071e+02 |-6.700000e+01 | 134.64%| unknown
6.36/6.43 c 6.4s| 1 | 0 | 31120 | - | 86M | 0 | 500 |7861 |8448 | 737 | 40 | 0 | 0 |-1.569269e+02 |-6.700000e+01 | 134.22%| unknown
6.46/6.54 c 6.5s| 1 | 0 | 31716 | - | 86M | 0 | 500 |7861 |8459 | 748 | 41 | 0 | 0 |-1.564177e+02 |-6.700000e+01 | 133.46%| unknown
6.56/6.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.56/6.61 c 6.6s| 1 | 0 | 32147 | - | 86M | 0 | 500 |7861 |8470 | 759 | 42 | 0 | 0 |-1.561407e+02 |-6.700000e+01 | 133.05%| unknown
6.56/6.69 c 6.7s| 1 | 0 | 32526 | - | 86M | 0 | 500 |7861 |8484 | 773 | 43 | 0 | 0 |-1.558211e+02 |-6.700000e+01 | 132.57%| unknown
6.66/6.77 c 6.8s| 1 | 0 | 32863 | - | 87M | 0 | 500 |7861 |8491 | 780 | 44 | 0 | 0 |-1.556038e+02 |-6.700000e+01 | 132.24%| unknown
6.76/6.82 c 6.8s| 1 | 0 | 33118 | - | 87M | 0 | 500 |7861 |8500 | 789 | 45 | 0 | 0 |-1.553962e+02 |-6.700000e+01 | 131.93%| unknown
6.76/6.88 c 6.9s| 1 | 0 | 33378 | - | 87M | 0 | 500 |7861 |8469 | 800 | 46 | 0 | 0 |-1.551976e+02 |-6.700000e+01 | 131.64%| unknown
6.86/6.95 c 7.0s| 1 | 0 | 33689 | - | 87M | 0 | 500 |7861 |8482 | 813 | 47 | 0 | 0 |-1.548585e+02 |-6.700000e+01 | 131.13%| unknown
6.97/7.01 c 7.0s| 1 | 0 | 33920 | - | 87M | 0 | 500 |7861 |8496 | 827 | 48 | 0 | 0 |-1.546436e+02 |-6.700000e+01 | 130.81%| unknown
6.97/7.09 c 7.1s| 1 | 0 | 34303 | - | 87M | 0 | 500 |7861 |8512 | 843 | 49 | 0 | 0 |-1.543196e+02 |-6.700000e+01 | 130.33%| unknown
7.07/7.15 c 7.2s| 1 | 0 | 34559 | - | 87M | 0 | 500 |7861 |8528 | 859 | 50 | 0 | 0 |-1.540866e+02 |-6.700000e+01 | 129.98%| unknown
7.16/7.23 c 7.2s| 1 | 0 | 34900 | - | 87M | 0 | 500 |7861 |8543 | 874 | 51 | 0 | 0 |-1.537723e+02 |-6.700000e+01 | 129.51%| unknown
7.26/7.31 c 7.3s| 1 | 0 | 35223 | - | 87M | 0 | 500 |7861 |8517 | 884 | 52 | 0 | 0 |-1.535546e+02 |-6.700000e+01 | 129.19%| unknown
7.26/7.39 c 7.4s| 1 | 0 | 35589 | - | 87M | 0 | 500 |7861 |8526 | 893 | 53 | 0 | 0 |-1.532959e+02 |-6.700000e+01 | 128.80%| unknown
7.36/7.46 c 7.5s| 1 | 0 | 35870 | - | 87M | 0 | 500 |7861 |8539 | 906 | 54 | 0 | 0 |-1.530775e+02 |-6.700000e+01 | 128.47%| unknown
7.46/7.51 c 7.5s| 1 | 0 | 36012 | - | 87M | 0 | 500 |7861 |8546 | 913 | 55 | 0 | 0 |-1.530110e+02 |-6.700000e+01 | 128.37%| unknown
7.46/7.57 c 7.6s| 1 | 0 | 36249 | - | 87M | 0 | 500 |7861 |8551 | 918 | 56 | 0 | 0 |-1.528708e+02 |-6.700000e+01 | 128.17%| unknown
7.56/7.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.56/7.63 c 7.6s| 1 | 0 | 36522 | - | 87M | 0 | 500 |7861 |8566 | 933 | 57 | 0 | 0 |-1.527249e+02 |-6.700000e+01 | 127.95%| unknown
7.66/7.70 c 7.7s| 1 | 0 | 36813 | - | 87M | 0 | 500 |7861 |8545 | 943 | 58 | 0 | 0 |-1.525082e+02 |-6.700000e+01 | 127.62%| unknown
7.66/7.75 c 7.8s| 1 | 0 | 37044 | - | 87M | 0 | 500 |7861 |8559 | 957 | 59 | 0 | 0 |-1.524100e+02 |-6.700000e+01 | 127.48%| unknown
7.76/7.83 c 7.8s| 1 | 0 | 37398 | - | 88M | 0 | 500 |7861 |8574 | 972 | 60 | 0 | 0 |-1.519709e+02 |-6.700000e+01 | 126.82%| unknown
7.76/7.88 c 7.9s| 1 | 0 | 37581 | - | 88M | 0 | 500 |7861 |8589 | 987 | 61 | 0 | 0 |-1.518356e+02 |-6.700000e+01 | 126.62%| unknown
7.86/7.94 c 7.9s| 1 | 0 | 37809 | - | 88M | 0 | 500 |7861 |8600 | 998 | 62 | 0 | 0 |-1.516652e+02 |-6.700000e+01 | 126.37%| unknown
7.86/7.99 c 8.0s| 1 | 0 | 38059 | - | 88M | 0 | 500 |7861 |8609 |1007 | 63 | 0 | 0 |-1.515689e+02 |-6.700000e+01 | 126.22%| unknown
7.97/8.05 c 8.1s| 1 | 0 | 38347 | - | 88M | 0 | 500 |7861 |8580 |1018 | 64 | 0 | 0 |-1.513863e+02 |-6.700000e+01 | 125.95%| unknown
8.07/8.10 c 8.1s| 1 | 0 | 38542 | - | 88M | 0 | 500 |7861 |8592 |1030 | 65 | 0 | 0 |-1.512393e+02 |-6.700000e+01 | 125.73%| unknown
8.07/8.16 c 8.2s| 1 | 0 | 38814 | - | 88M | 0 | 500 |7861 |8606 |1044 | 66 | 0 | 0 |-1.510529e+02 |-6.700000e+01 | 125.45%| unknown
8.17/8.22 c 8.2s| 1 | 0 | 39076 | - | 88M | 0 | 500 |7861 |8617 |1055 | 67 | 0 | 0 |-1.508842e+02 |-6.700000e+01 | 125.20%| unknown
8.17/8.28 c 8.3s| 1 | 0 | 39348 | - | 88M | 0 | 500 |7861 |8631 |1069 | 68 | 0 | 0 |-1.507328e+02 |-6.700000e+01 | 124.97%| unknown
8.27/8.35 c 8.3s| 1 | 0 | 39663 | - | 88M | 0 | 500 |7861 |8642 |1080 | 69 | 0 | 0 |-1.505749e+02 |-6.700000e+01 | 124.74%| unknown
8.37/8.41 c 8.4s| 1 | 0 | 39969 | - | 88M | 0 | 500 |7861 |8616 |1096 | 70 | 0 | 0 |-1.503954e+02 |-6.700000e+01 | 124.47%| unknown
8.37/8.46 c 8.5s| 1 | 0 | 40199 | - | 88M | 0 | 500 |7861 |8630 |1110 | 71 | 0 | 0 |-1.503117e+02 |-6.700000e+01 | 124.35%| unknown
8.47/8.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.47/8.51 c 8.5s| 1 | 0 | 40427 | - | 88M | 0 | 500 |7861 |8648 |1128 | 72 | 0 | 0 |-1.502356e+02 |-6.700000e+01 | 124.23%| unknown
8.47/8.55 c 8.6s| 1 | 0 | 40625 | - | 88M | 0 | 500 |7861 |8662 |1142 | 73 | 0 | 0 |-1.501583e+02 |-6.700000e+01 | 124.12%| unknown
8.47/8.59 c 8.6s| 1 | 0 | 40785 | - | 88M | 0 | 500 |7861 |8673 |1153 | 74 | 0 | 0 |-1.500953e+02 |-6.700000e+01 | 124.02%| unknown
8.57/8.66 c 8.7s| 1 | 0 | 41106 | - | 88M | 0 | 500 |7861 |8682 |1162 | 75 | 0 | 0 |-1.499086e+02 |-6.700000e+01 | 123.74%| unknown
8.67/8.70 c 8.7s| 1 | 0 | 41319 | - | 89M | 0 | 500 |7861 |8643 |1180 | 76 | 0 | 0 |-1.498435e+02 |-6.700000e+01 | 123.65%| unknown
8.67/8.79 c 8.8s| 1 | 0 | 41832 | - | 89M | 0 | 500 |7861 |8654 |1191 | 77 | 0 | 0 |-1.496041e+02 |-6.700000e+01 | 123.29%| unknown
8.77/8.84 c 8.8s| 1 | 0 | 42114 | - | 89M | 0 | 500 |7861 |8668 |1205 | 78 | 0 | 0 |-1.495469e+02 |-6.700000e+01 | 123.20%| unknown
8.77/8.89 c 8.9s| 1 | 0 | 42366 | - | 89M | 0 | 500 |7861 |8687 |1224 | 79 | 0 | 0 |-1.494965e+02 |-6.700000e+01 | 123.13%| unknown
8.87/8.94 c 8.9s| 1 | 0 | 42644 | - | 89M | 0 | 500 |7861 |8701 |1238 | 80 | 0 | 0 |-1.494178e+02 |-6.700000e+01 | 123.01%| unknown
8.87/8.98 c 9.0s| 1 | 0 | 42833 | - | 89M | 0 | 500 |7861 |8711 |1248 | 81 | 0 | 0 |-1.493855e+02 |-6.700000e+01 | 122.96%| unknown
8.97/9.03 c 9.0s| 1 | 0 | 43099 | - | 89M | 0 | 500 |7861 |8664 |1259 | 82 | 0 | 0 |-1.493530e+02 |-6.700000e+01 | 122.91%| unknown
8.97/9.08 c 9.1s| 1 | 0 | 43272 | - | 89M | 0 | 500 |7861 |8672 |1267 | 83 | 0 | 0 |-1.493223e+02 |-6.700000e+01 | 122.87%| unknown
9.07/9.13 c 9.1s| 1 | 0 | 43495 | - | 89M | 0 | 500 |7861 |8681 |1276 | 84 | 0 | 0 |-1.492491e+02 |-6.700000e+01 | 122.76%| unknown
9.07/9.17 c 9.2s| 1 | 0 | 43634 | - | 89M | 0 | 500 |7861 |8693 |1288 | 85 | 0 | 0 |-1.491961e+02 |-6.700000e+01 | 122.68%| unknown
9.17/9.21 c 9.2s| 1 | 0 | 43815 | - | 89M | 0 | 500 |7861 |8705 |1300 | 86 | 0 | 0 |-1.491418e+02 |-6.700000e+01 | 122.60%| unknown
9.17/9.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.17/9.27 c 9.3s| 1 | 0 | 44105 | - | 89M | 0 | 500 |7861 |8715 |1310 | 87 | 0 | 0 |-1.490332e+02 |-6.700000e+01 | 122.44%| unknown
9.27/9.32 c 9.3s| 1 | 0 | 44306 | - | 89M | 0 | 500 |7861 |8649 |1323 | 88 | 0 | 0 |-1.490154e+02 |-6.700000e+01 | 122.41%| unknown
9.27/9.36 c 9.4s| 1 | 0 | 44453 | - | 89M | 0 | 500 |7861 |8665 |1339 | 89 | 0 | 0 |-1.489720e+02 |-6.700000e+01 | 122.35%| unknown
9.37/9.41 c 9.4s| 1 | 0 | 44747 | - | 89M | 0 | 500 |7861 |8685 |1359 | 90 | 0 | 0 |-1.489124e+02 |-6.700000e+01 | 122.26%| unknown
9.37/9.46 c 9.5s| 1 | 0 | 45009 | - | 89M | 0 | 500 |7861 |8698 |1372 | 91 | 0 | 0 |-1.488423e+02 |-6.700000e+01 | 122.15%| unknown
9.47/9.51 c 9.5s| 1 | 0 | 45208 | - | 90M | 0 | 500 |7861 |8715 |1389 | 92 | 0 | 0 |-1.488253e+02 |-6.700000e+01 | 122.13%| unknown
9.47/9.55 c 9.5s| 1 | 0 | 45360 | - | 90M | 0 | 500 |7861 |8727 |1401 | 93 | 0 | 0 |-1.488016e+02 |-6.700000e+01 | 122.09%| unknown
9.57/9.60 c 9.6s| 1 | 0 | 45607 | - | 90M | 0 | 500 |7861 |8685 |1412 | 94 | 0 | 0 |-1.487665e+02 |-6.700000e+01 | 122.04%| unknown
9.57/9.63 c 9.6s| 1 | 0 | 45738 | - | 90M | 0 | 500 |7861 |8699 |1426 | 95 | 0 | 0 |-1.487594e+02 |-6.700000e+01 | 122.03%| unknown
9.57/9.68 c 9.7s| 1 | 0 | 45971 | - | 90M | 0 | 500 |7861 |8711 |1438 | 96 | 0 | 0 |-1.487240e+02 |-6.700000e+01 | 121.98%| unknown
9.66/9.71 c 9.7s| 1 | 0 | 46150 | - | 91M | 0 | 500 |7861 |8722 |1449 | 97 | 0 | 0 |-1.487005e+02 |-6.700000e+01 | 121.94%| unknown
9.66/9.74 c 9.7s| 1 | 0 | 46220 | - | 91M | 0 | 500 |7861 |8731 |1458 | 98 | 0 | 0 |-1.486978e+02 |-6.700000e+01 | 121.94%| unknown
9.66/9.78 c 9.8s| 1 | 0 | 46392 | - | 91M | 0 | 500 |7861 |8744 |1471 | 99 | 0 | 0 |-1.486843e+02 |-6.700000e+01 | 121.92%| unknown
9.76/9.82 c 9.8s| 1 | 0 | 46556 | - | 91M | 0 | 500 |7861 |8691 |1486 |100 | 0 | 0 |-1.486678e+02 |-6.700000e+01 | 121.89%| unknown
9.76/9.83 c 9.8s| 1 | 0 | 46567 | - | 91M | 0 | 500 |7861 |8700 |1495 |101 | 0 | 0 |-1.486667e+02 |-6.700000e+01 | 121.89%| unknown
13.65/13.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.65/13.80 c 13.8s| 1 | 2 | 46591 | - | 91M | 0 | 500 |7861 |8700 |1495 |102 | 0 | 33 |-1.483333e+02 |-6.700000e+01 | 121.39%| unknown
59.54/59.77 c 59.8s| 100 | 101 |214166 |1694.0 | 205M | 17 | 500 |7861 |8430 |3816 | 1 | 0 | 285 |-1.473934e+02 |-6.700000e+01 | 119.99%| unknown
86.87/87.15 c 87.1s| 200 | 201 |340779 |1479.0 | 272M | 19 | 500 |7861 |8567 |6577 | 1 | 0 | 352 |-1.470837e+02 |-6.700000e+01 | 119.53%| unknown
86.96/87.26 o -68
86.96/87.26 c L87.3s| 201 | 202 |341418 |1474.8 |crossove| 19 | 500 |7861 |8523 |6577 | 1 | 0 | 352 |-1.470837e+02 |-6.800000e+01 | 116.30%| unknown
121.68/122.08 c 122s| 300 | 301 |516294 |1571.4 | 300M | 22 | 500 |7861 |8542 |8845 | 1 | 0 | 432 |-1.465116e+02 |-6.800000e+01 | 115.46%| unknown
157.08/157.58 c 158s| 400 | 401 |706898 |1655.2 | 300M | 35 | 500 |7861 |8678 |9849 | 1 | 0 | 512 |-1.447306e+02 |-6.800000e+01 | 112.84%| unknown
157.38/157.87 o -69
157.38/157.87 c L 158s| 401 | 402 |708414 |1654.9 |crossove| 35 | 500 |7861 |8678 |9849 | 1 | 0 | 512 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
186.90/187.42 c 187s| 500 | 501 |850727 |1611.8 | 320M | 46 | 500 |7861 |8566 | 10k| 1 | 0 | 583 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
213.23/213.82 c 214s| 600 | 601 |984605 |1566.2 | 333M | 47 | 500 |7861 |8635 | 11k| 1 | 0 | 660 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
242.66/243.32 c 243s| 700 | 701 | 1116k|1531.4 | 347M | 47 | 500 |7861 |8708 | 11k| 1 | 0 | 716 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
261.61/262.38 c 262s| 800 | 801 | 1237k|1490.9 | 356M | 47 | 500 |7861 |8756 | 12k| 4 | 0 | 716 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
276.28/277.10 c 277s| 900 | 901 | 1349k|1449.4 | 356M | 48 | 500 |7861 |8629 | 13k| 1 | 0 | 716 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
295.62/296.41 c 296s| 1000 | 1001 | 1469k|1424.4 | 367M | 48 | 500 |7861 |8653 | 14k| 1 | 0 | 736 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
306.20/307.10 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
306.30/307.15 c (run 1, node 1049) performing user restart
306.30/307.15 c
306.30/307.15 c (restart) converted 630 cuts from the global cut pool into linear constraints
306.30/307.15 c
306.40/307.26 c presolving:
306.40/307.27 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 630 upgd conss, 0 impls, 8479 clqs
306.40/307.28 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
306.40/307.28 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 2 changed coefficients
306.40/307.28 c 0 implications, 8480 cliques
306.40/307.28 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 8491 constraints
306.40/307.28 c 11 constraints of type <knapsack>
306.40/307.28 c 8480 constraints of type <setppc>
306.40/307.28 c transformed objective value is always integral (scale: 1)
306.40/307.28 c Presolving Time: 0.18
306.49/307.35 c transformed 100/100 original solutions to the transformed problem space
306.49/307.35 c
306.99/307.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
306.99/307.86 c 308s| 1 | 0 | 1523k| - | 367M | 0 | 500 |8491 |8491 | 0 | 0 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
307.09/307.95 c 308s| 1 | 0 | 1524k| - | 371M | 0 | 500 |8491 |8496 | 5 | 1 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
307.20/308.03 c 308s| 1 | 0 | 1524k| - | 364M | 0 | 500 |8491 |8502 | 11 | 2 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
307.29/308.14 c 308s| 1 | 0 | 1524k| - | 370M | 0 | 500 |8491 |8511 | 20 | 3 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
307.40/308.24 c 308s| 1 | 0 | 1525k| - | 372M | 0 | 500 |8491 |8521 | 30 | 4 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
307.50/308.33 c 308s| 1 | 0 | 1525k| - | 376M | 0 | 500 |8491 |8529 | 38 | 5 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
307.59/308.43 c 308s| 1 | 0 | 1525k| - | 381M | 0 | 500 |8491 |8537 | 46 | 6 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
307.69/308.55 c 309s| 1 | 0 | 1525k| - | 387M | 0 | 500 |8491 |8544 | 53 | 7 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
307.79/308.66 c 309s| 1 | 0 | 1526k| - | 389M | 0 | 500 |8491 |8553 | 62 | 8 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
307.89/308.76 c 309s| 1 | 0 | 1526k| - | 396M | 0 | 500 |8491 |8560 | 69 | 9 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
308.09/308.91 c 309s| 1 | 0 | 1526k| - | 404M | 0 | 500 |8491 |8567 | 76 | 10 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
308.09/308.96 c 309s| 1 | 0 | 1526k| - | 405M | 0 | 500 |8491 |8576 | 85 | 11 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
308.20/309.03 c 309s| 1 | 0 | 1526k| - | 405M | 0 | 500 |8491 |8510 | 96 | 12 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
308.20/309.09 c 309s| 1 | 0 | 1526k| - | 405M | 0 | 500 |8491 |8520 | 106 | 13 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
308.30/309.14 c 309s| 1 | 0 | 1526k| - | 406M | 0 | 500 |8491 |8532 | 118 | 14 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
308.39/309.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
308.39/309.21 c 309s| 1 | 0 | 1526k| - | 406M | 0 | 500 |8491 |8543 | 129 | 15 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
308.39/309.28 c 309s| 1 | 0 | 1527k| - | 406M | 0 | 500 |8491 |8552 | 138 | 16 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
308.59/309.40 c 309s| 1 | 0 | 1527k| - | 406M | 0 | 500 |8491 |8565 | 151 | 17 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
308.59/309.49 c 309s| 1 | 0 | 1527k| - | 406M | 0 | 500 |8491 |8514 | 165 | 18 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
308.69/309.56 c 310s| 1 | 0 | 1527k| - | 407M | 0 | 500 |8491 |8524 | 175 | 19 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
308.79/309.64 c 310s| 1 | 0 | 1527k| - | 408M | 0 | 500 |8491 |8540 | 191 | 20 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
308.89/309.71 c 310s| 1 | 0 | 1528k| - | 408M | 0 | 500 |8491 |8553 | 204 | 21 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
308.89/309.77 c 310s| 1 | 0 | 1528k| - | 408M | 0 | 500 |8491 |8563 | 214 | 22 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
308.99/309.83 c 310s| 1 | 0 | 1528k| - | 408M | 0 | 500 |8491 |8570 | 221 | 23 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
309.09/309.90 c 310s| 1 | 0 | 1528k| - | 408M | 0 | 500 |8491 |8542 | 233 | 24 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
309.09/309.95 c 310s| 1 | 0 | 1528k| - | 408M | 0 | 500 |8491 |8553 | 244 | 25 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
309.20/310.01 c 310s| 1 | 0 | 1528k| - | 408M | 0 | 500 |8491 |8567 | 258 | 26 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
309.20/310.06 c 310s| 1 | 0 | 1528k| - | 408M | 0 | 500 |8491 |8578 | 269 | 27 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
309.20/310.10 c 310s| 1 | 0 | 1528k| - | 408M | 0 | 500 |8491 |8585 | 276 | 28 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
309.30/310.14 c 310s| 1 | 0 | 1529k| - | 408M | 0 | 500 |8491 |8594 | 285 | 29 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
309.39/310.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
309.39/310.20 c 310s| 1 | 0 | 1529k| - | 408M | 0 | 500 |8491 |8531 | 292 | 30 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
309.39/310.22 c 310s| 1 | 0 | 1529k| - | 408M | 0 | 500 |8491 |8539 | 300 | 31 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
309.39/310.25 c 310s| 1 | 0 | 1529k| - | 408M | 0 | 500 |8491 |8551 | 312 | 32 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
309.39/310.29 c 310s| 1 | 0 | 1529k| - | 408M | 0 | 500 |8491 |8562 | 323 | 33 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
309.49/310.31 c 310s| 1 | 0 | 1529k| - | 408M | 0 | 500 |8491 |8572 | 333 | 34 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
309.49/310.33 c 310s| 1 | 0 | 1529k| - | 409M | 0 | 500 |8491 |8580 | 341 | 35 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
309.49/310.35 c 310s| 1 | 0 | 1530k| - | 409M | 0 | 500 |8491 |8527 | 351 | 36 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
309.49/310.38 c 310s| 1 | 0 | 1530k| - | 409M | 0 | 500 |8491 |8540 | 364 | 37 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
309.59/310.40 c 310s| 1 | 0 | 1530k| - | 409M | 0 | 500 |8491 |8557 | 381 | 38 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
309.59/310.43 c 310s| 1 | 0 | 1530k| - | 409M | 0 | 500 |8491 |8572 | 396 | 39 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
309.59/310.45 c 310s| 1 | 0 | 1530k| - | 409M | 0 | 500 |8491 |8589 | 413 | 40 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
309.59/310.46 c 310s| 1 | 0 | 1530k| - | 409M | 0 | 500 |8491 |8594 | 418 | 41 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
309.59/310.47 c 310s| 1 | 0 | 1530k| - | 409M | 0 | 500 |8491 |8535 | 422 | 42 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
309.59/310.49 c 310s| 1 | 0 | 1530k| - | 409M | 0 | 500 |8491 |8541 | 428 | 43 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
309.69/310.50 c 310s| 1 | 0 | 1530k| - | 409M | 0 | 500 |8491 |8551 | 438 | 44 | 0 | 774 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
312.38/313.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
312.38/313.29 c 313s| 1 | 2 | 1530k| - | 409M | 0 | 500 |8491 |8551 | 438 | 45 | 0 | 805 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
343.01/343.97 c 344s| 100 | 101 | 1626k|1367.3 | 414M | 33 | 500 |8491 |8423 | 716 | 1 | 0 |1054 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
357.47/358.45 c 358s| 200 | 201 | 1724k|1336.2 | 414M | 36 | 500 |8491 |8426 | 854 | 1 | 0 |1118 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
370.74/371.78 c 372s| 300 | 301 | 1815k|1304.3 | 415M | 36 | 500 |8491 |8437 | 971 | 1 | 0 |1178 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
382.41/383.41 c 383s| 400 | 401 | 1885k|1262.6 | 421M | 42 | 500 |8491 |8425 |1222 | 3 | 0 |1241 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
394.18/395.22 c 395s| 500 | 501 | 1960k|1229.7 | 423M | 42 | 500 |8491 |8427 |1540 | 1 | 0 |1305 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
404.96/406.07 c 406s| 600 | 601 | 2041k|1203.7 | 426M | 42 | 500 |8491 |8435 |1949 | 1 | 0 |1317 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
419.72/420.87 c 421s| 700 | 701 | 2137k|1189.9 | 430M | 43 | 500 |8491 |8433 |2695 | 1 | 0 |1356 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
439.07/440.25 c 440s| 800 | 801 | 2271k|1198.3 | 431M | 43 | 500 |8491 |8497 |3283 | 4 | 0 |1422 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
459.82/461.04 c 461s| 900 | 901 | 2396k|1200.9 | 431M | 43 | 500 |8491 |8501 |3770 | 1 | 0 |1492 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
481.27/482.52 c 483s| 1000 | 1001 | 2538k|1211.3 | 445M | 44 | 500 |8491 |8514 |4815 | 1 | 0 |1498 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
495.43/496.71 c 497s| 1100 | 1101 | 2646k|1205.5 | 448M | 45 | 500 |8491 |8557 |5569 | 1 | 0 |1498 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
509.99/511.31 c 511s| 1200 | 1201 | 2749k|1197.4 | 456M | 45 | 500 |8491 |8537 |6537 | 1 | 0 |1498 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
524.06/525.42 c 525s| 1300 | 1301 | 2848k|1188.8 | 463M | 45 | 500 |8491 |8532 |7593 | 1 | 0 |1498 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
541.51/542.97 c 543s| 1400 | 1401 | 2951k|1182.4 | 471M | 45 | 500 |8491 |8552 |8998 | 1 | 0 |1548 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
555.78/557.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
555.78/557.27 c 557s| 1500 | 1501 | 3048k|1174.1 | 477M | 45 | 500 |8491 |8455 | 10k| 1 | 0 |1565 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
568.96/570.41 c 570s| 1600 | 1601 | 3148k|1167.5 | 480M | 46 | 500 |8491 |8527 | 11k| 1 | 0 |1570 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
584.62/586.19 c 586s| 1700 | 1701 | 3256k|1164.2 | 482M | 46 | 500 |8491 |8564 | 12k| 1 | 0 |1590 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
598.78/600.38 c 600s| 1800 | 1801 | 3345k|1154.7 | 492M | 46 | 500 |8491 |8451 | 13k| 1 | 0 |1625 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
615.84/617.41 c 617s| 1900 | 1901 | 3448k|1150.3 | 499M | 46 | 500 |8491 |8598 | 15k| 1 | 0 |1646 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
631.80/633.42 c 633s| 2000 | 2001 | 3555k|1147.6 | 503M | 46 | 500 |8491 |8624 | 17k| 1 | 0 |1653 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
645.27/646.96 c 647s| 2100 | 2101 | 3644k|1139.5 | 513M | 46 | 500 |8491 |8512 | 18k| 1 | 0 |1654 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
660.13/661.82 c 662s| 2200 | 2201 | 3740k|1134.1 | 519M | 46 | 500 |8491 |8429 | 20k| 1 | 0 |1658 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
681.48/683.20 c 683s| 2300 | 2301 | 3838k|1129.5 | 531M | 46 | 500 |8491 |8470 | 22k| 1 | 0 |1710 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
697.34/699.14 c 699s| 2400 | 2401 | 3936k|1125.2 | 535M | 46 | 500 |8491 |8581 | 24k| 7 | 0 |1740 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
714.70/716.55 c 717s| 2500 | 2501 | 4041k|1122.8 | 541M | 47 | 500 |8491 |8625 | 25k| 1 | 0 |1757 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
731.46/733.39 c 733s| 2600 | 2601 | 4142k|1119.8 | 552M | 47 | 500 |8491 |8409 | 27k| 1 | 0 |1763 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
748.02/749.97 c 750s| 2700 | 2701 | 4251k|1119.1 | 553M | 47 | 500 |8491 |8440 | 29k| 1 | 0 |1764 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
761.79/763.73 c 764s| 2800 | 2801 | 4348k|1115.2 | 557M | 47 | 500 |8491 |8518 | 31k| 1 | 0 |1770 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
779.55/781.50 c 781s| 2900 | 2901 | 4455k|1114.1 | 563M | 47 | 500 |8491 |8427 | 33k| 1 | 0 |1794 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
793.81/795.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
793.81/795.84 c 796s| 3000 | 3001 | 4547k|1109.2 | 567M | 47 | 500 |8491 |8477 | 35k| 1 | 0 |1795 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
808.78/810.80 c 811s| 3100 | 3101 | 4656k|1108.7 | 576M | 47 | 500 |8491 |8483 | 37k| 1 | 0 |1795 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
821.84/823.91 c 824s| 3200 | 3201 | 4760k|1107.2 | 578M | 47 | 500 |8491 |8455 | 38k| 1 | 0 |1795 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
836.01/838.14 c 838s| 3300 | 3301 | 4850k|1102.4 | 581M | 47 | 500 |8491 |8520 | 39k| 1 | 0 |1839 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
853.07/855.29 c 855s| 3400 | 3401 | 4946k|1099.1 | 584M | 48 | 500 |8491 |8490 | 41k| 1 | 0 |1857 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
866.24/868.40 c 868s| 3500 | 3501 | 5043k|1096.4 | 585M | 48 | 500 |8491 |8449 | 42k| 1 | 0 |1864 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
882.60/884.82 c 885s| 3600 | 3601 | 5142k|1094.0 | 586M | 48 | 500 |8491 |8538 | 45k| 1 | 0 |1866 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
894.17/896.46 c 896s| 3700 | 3701 | 5220k|1087.4 | 598M | 48 | 500 |8491 |8439 | 46k| 1 | 0 |1880 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
905.55/907.88 c 908s| 3800 | 3801 | 5307k|1083.1 | 599M | 48 | 500 |8491 |8443 | 48k| 1 | 0 |1882 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
921.51/923.84 c 924s| 3900 | 3901 | 5402k|1080.2 | 598M | 48 | 500 |8491 |8559 | 50k| 1 | 0 |1883 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
937.87/940.23 c 940s| 4000 | 4001 | 5503k|1078.8 | 601M | 48 | 500 |8491 |8506 | 52k| 1 | 0 |1885 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
952.33/954.73 c 955s| 4100 | 4101 | 5602k|1077.1 | 603M | 49 | 500 |8491 |8565 | 54k| 1 | 0 |1887 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
965.60/968.02 c 968s| 4200 | 4201 | 5688k|1073.1 | 604M | 49 | 500 |8491 |8440 | 55k| 1 | 0 |1887 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
980.46/982.92 c 983s| 4300 | 4301 | 5785k|1071.1 | 610M | 49 | 500 |8491 |8407 | 57k| 1 | 0 |1900 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
997.33/999.87 c 1000s| 4400 | 4401 | 5904k|1073.3 | 611M | 49 | 500 |8491 |8464 | 59k| 1 | 0 |1900 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
1012.29/1014.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1012.29/1014.89 c 1015s| 4500 | 4501 | 6002k|1071.6 | 612M | 49 | 500 |8491 |8629 | 61k| 1 | 0 |1900 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
1025.56/1028.14 c 1028s| 4600 | 4601 | 6093k|1068.7 | 622M | 49 | 500 |8491 |8609 | 62k| 1 | 0 |1906 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
1040.72/1043.33 c 1043s| 4700 | 4701 | 6181k|1065.5 | 623M | 49 | 500 |8491 |8573 | 64k| 1 | 0 |1927 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
1055.78/1058.40 c 1058s| 4800 | 4801 | 6281k|1064.4 | 624M | 49 | 500 |8491 |8529 | 66k| 8 | 0 |1927 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
1070.55/1073.21 c 1073s| 4900 | 4901 | 6379k|1062.9 | 625M | 49 | 500 |8491 |8444 | 68k| 1 | 0 |1927 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
1086.91/1089.63 c 1090s| 5000 | 5001 | 6482k|1062.4 | 626M | 49 | 500 |8491 |8651 | 70k| 1 | 0 |1939 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
1099.18/1101.99 c 1102s| 5100 | 5101 | 6567k|1059.0 | 634M | 49 | 500 |8491 |8501 | 71k| 1 | 0 |1954 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
1114.14/1116.94 c 1117s| 5200 | 5201 | 6658k|1056.6 | 635M | 49 | 500 |8491 |8516 | 73k| 1 | 0 |1955 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
1123.82/1126.61 c 1127s| 5300 | 5301 | 6735k|1052.0 | 646M | 49 | 500 |8491 |8577 | 74k| 1 | 0 |1958 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
1138.88/1141.70 c 1142s| 5400 | 5401 | 6835k|1051.3 | 651M | 51 | 500 |8491 |8459 | 76k| 1 | 0 |1979 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
1153.35/1156.27 c 1156s| 5500 | 5501 | 6935k|1050.5 | 653M | 51 | 500 |8491 |8590 | 78k| 1 | 0 |1983 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
1168.12/1171.05 c 1171s| 5600 | 5601 | 7027k|1048.4 | 656M | 51 | 500 |8491 |8616 | 79k| 1 | 0 |1997 |-1.447306e+02 |-6.900000e+01 | 109.75%| unknown
1184.28/1187.21 c 1187s| 5700 | 5701 | 7122k|1047.0 | 661M | 51 | 500 |8491 |8534 | 81k| 1 | 0 |2012 |-1.440036e+02 |-6.900000e+01 | 108.70%| unknown
1196.65/1199.69 c 1200s| 5800 | 5801 | 7204k|1043.7 | 661M | 51 | 500 |8491 |8637 | 83k| 1 | 0 |2032 |-1.435365e+02 |-6.900000e+01 | 108.02%| unknown
1214.61/1217.68 c 1218s| 5900 | 5901 | 7308k|1043.7 | 664M | 51 | 500 |8491 |8528 | 85k| 1 | 0 |2094 |-1.432344e+02 |-6.900000e+01 | 107.59%| unknown
1228.08/1231.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1228.08/1231.16 c 1231s| 6000 | 6001 | 7387k|1040.0 | 667M | 51 | 500 |8491 |8440 | 87k| 1 | 0 |2175 |-1.430712e+02 |-6.900000e+01 | 107.35%| unknown
1242.44/1245.54 c 1246s| 6100 | 6101 | 7479k|1038.4 | 675M | 51 | 500 |8491 |8615 | 88k| 1 | 0 |2176 |-1.429191e+02 |-6.900000e+01 | 107.13%| unknown
1259.50/1262.68 c 1263s| 6200 | 6201 | 7581k|1038.1 | 688M | 51 | 500 |8491 |8672 | 91k| 1 | 0 |2178 |-1.426613e+02 |-6.900000e+01 | 106.76%| unknown
1275.17/1278.37 c 1278s| 6300 | 6301 | 7672k|1036.4 | 689M | 51 | 500 |8491 |8454 | 92k| 1 | 0 |2178 |-1.425488e+02 |-6.900000e+01 | 106.59%| unknown
1290.13/1293.32 c 1293s| 6400 | 6401 | 7758k|1034.0 | 692M | 51 | 500 |8491 |8468 | 94k| 1 | 0 |2185 |-1.421906e+02 |-6.900000e+01 | 106.07%| unknown
1306.09/1309.39 c 1309s| 6500 | 6501 | 7851k|1032.6 | 694M | 51 | 500 |8491 |8506 | 96k| 1 | 0 |2188 |-1.419084e+02 |-6.900000e+01 | 105.66%| unknown
1320.86/1324.15 c 1324s| 6600 | 6601 | 7945k|1031.4 | 695M | 52 | 500 |8491 |8446 | 98k| 1 | 0 |2190 |-1.416757e+02 |-6.900000e+01 | 105.33%| unknown
1337.91/1341.24 c 1341s| 6700 | 6701 | 8035k|1029.7 | 696M | 53 | 500 |8491 |8661 | 100k| 1 | 0 |2227 |-1.413644e+02 |-6.900000e+01 | 104.88%| unknown
1352.78/1356.11 c 1356s| 6800 | 6801 | 8118k|1027.2 | 704M | 53 | 500 |8491 |8451 | 101k| 1 | 0 |2234 |-1.411596e+02 |-6.900000e+01 | 104.58%| unknown
1369.83/1373.25 c 1373s| 6900 | 6901 | 8213k|1026.1 | 706M | 53 | 500 |8491 |8653 | 104k| 8 | 0 |2251 |-1.410663e+02 |-6.900000e+01 | 104.44%| unknown
1382.41/1385.85 c 1386s| 7000 | 7001 | 8290k|1023.1 | 708M | 53 | 500 |8491 |8615 | 105k| 1 | 0 |2271 |-1.409009e+02 |-6.900000e+01 | 104.20%| unknown
1398.77/1402.21 c 1402s| 7100 | 7101 | 8397k|1023.6 | 713M | 53 | 500 |8491 |8555 | 107k| 1 | 0 |2274 |-1.407027e+02 |-6.900000e+01 | 103.92%| unknown
1414.83/1418.39 c 1418s| 7200 | 7201 | 8478k|1020.9 | 730M | 53 | 500 |8491 |8572 | 108k| 1 | 0 |2315 |-1.406037e+02 |-6.900000e+01 | 103.77%| unknown
1425.40/1428.95 c 1429s| 7300 | 7301 | 8558k|1018.4 | 731M | 53 | 500 |8491 |8469 | 109k| 1 | 0 |2316 |-1.405689e+02 |-6.900000e+01 | 103.72%| unknown
1441.26/1444.85 c 1445s| 7400 | 7401 | 8653k|1017.6 | 732M | 54 | 500 |8491 |8467 | 111k| 1 | 0 |2343 |-1.403826e+02 |-6.900000e+01 | 103.45%| unknown
1454.93/1458.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1454.93/1458.57 c 1459s| 7500 | 7501 | 8741k|1016.0 | 733M | 55 | 500 |8491 |8454 | 113k| 1 | 0 |2345 |-1.403332e+02 |-6.900000e+01 | 103.38%| unknown
1465.81/1469.44 c 1469s| 7600 | 7601 | 8820k|1013.3 | 733M | 55 | 500 |8491 |8643 | 114k| 1 | 0 |2345 |-1.402504e+02 |-6.900000e+01 | 103.26%| unknown
1477.88/1481.58 c 1482s| 7700 | 7701 | 8899k|1010.7 | 734M | 55 | 500 |8491 |8492 | 116k| 1 | 0 |2345 |-1.400461e+02 |-6.900000e+01 | 102.97%| unknown
1493.14/1496.83 c 1497s| 7800 | 7801 | 9005k|1011.3 | 735M | 55 | 500 |8491 |8512 | 117k| 1 | 0 |2345 |-1.398636e+02 |-6.900000e+01 | 102.70%| unknown
1505.01/1508.75 c 1509s| 7900 | 7901 | 9087k|1009.2 | 737M | 55 | 500 |8491 |8569 | 119k| 1 | 0 |2346 |-1.396913e+02 |-6.900000e+01 | 102.45%| unknown
1519.78/1523.57 c 1524s| 8000 | 8001 | 9181k|1008.4 | 738M | 55 | 500 |8491 |8518 | 121k| 1 | 0 |2365 |-1.395892e+02 |-6.900000e+01 | 102.30%| unknown
1534.44/1538.22 c 1538s| 8100 | 8101 | 9268k|1006.9 | 750M | 55 | 500 |8491 |8465 | 123k| 1 | 0 |2387 |-1.394490e+02 |-6.900000e+01 | 102.10%| unknown
1549.31/1553.14 c 1553s| 8200 | 8201 | 9353k|1005.2 | 753M | 55 | 500 |8491 |8580 | 124k| 1 | 0 |2391 |-1.394192e+02 |-6.900000e+01 | 102.06%| unknown
1563.97/1567.88 c 1568s| 8300 | 8301 | 9448k|1004.7 | 755M | 55 | 500 |8491 |8602 | 126k| 1 | 0 |2415 |-1.393038e+02 |-6.900000e+01 | 101.89%| unknown
1578.83/1582.75 c 1583s| 8400 | 8401 | 9534k|1003.1 | 755M | 55 | 500 |8491 |8569 | 128k| 7 | 0 |2427 |-1.391730e+02 |-6.900000e+01 | 101.70%| unknown
1591.11/1595.10 c 1595s| 8500 | 8501 | 9615k|1001.1 | 758M | 55 | 500 |8491 |8556 | 129k| 1 | 0 |2438 |-1.390951e+02 |-6.900000e+01 | 101.59%| unknown
1604.47/1608.46 c 1608s| 8600 | 8601 | 9707k|1000.2 | 760M | 55 | 500 |8491 |8445 | 130k| 1 | 0 |2438 |-1.389636e+02 |-6.900000e+01 | 101.40%| unknown
1620.14/1624.17 c 1624s| 8700 | 8701 | 9792k| 998.7 | 781M | 55 | 500 |8491 |8508 | 132k| 1 | 0 |2438 |-1.389032e+02 |-6.900000e+01 | 101.31%| unknown
1635.80/1639.86 c 1640s| 8800 | 8801 | 9885k| 998.0 | 782M | 55 | 500 |8491 |8451 | 134k| 1 | 0 |2440 |-1.388657e+02 |-6.900000e+01 | 101.25%| unknown
1652.16/1656.23 c 1656s| 8900 | 8901 | 9980k| 997.5 | 782M | 55 | 500 |8491 |8584 | 136k| 1 | 0 |2444 |-1.388347e+02 |-6.900000e+01 | 101.21%| unknown
1663.94/1668.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1663.94/1668.01 c 1668s| 9000 | 9001 | 10060k| 995.5 | 782M | 55 | 500 |8491 |8686 | 137k| 6 | 0 |2463 |-1.387748e+02 |-6.900000e+01 | 101.12%| unknown
1678.80/1682.90 c 1683s| 9100 | 9101 | 10145k| 994.1 | 785M | 55 | 500 |8491 |8622 | 139k| 1 | 0 |2465 |-1.387339e+02 |-6.900000e+01 | 101.06%| unknown
1690.57/1694.79 c 1695s| 9200 | 9201 | 10225k| 992.2 | 785M | 55 | 500 |8491 |8462 | 140k| 1 | 0 |2467 |-1.386812e+02 |-6.900000e+01 | 100.99%| unknown
1703.44/1707.68 c 1708s| 9300 | 9301 | 10306k| 990.5 | 786M | 55 | 500 |8491 |8552 | 141k| 8 | 0 |2508 |-1.386538e+02 |-6.900000e+01 | 100.95%| unknown
1717.30/1721.52 c 1722s| 9400 | 9401 | 10381k| 988.1 | 799M | 55 | 500 |8491 |8550 | 142k| 9 | 0 |2513 |-1.386149e+02 |-6.900000e+01 | 100.89%| unknown
1732.78/1737.06 c 1737s| 9500 | 9501 | 10460k| 986.2 | 822M | 55 | 500 |8491 |8456 | 143k| 1 | 0 |2559 |-1.385690e+02 |-6.900000e+01 | 100.82%| unknown
1748.74/1753.08 c 1753s| 9600 | 9601 | 10557k| 986.1 | 825M | 55 | 500 |8491 |8572 | 145k| 1 | 0 |2560 |-1.385142e+02 |-6.900000e+01 | 100.75%| unknown
1765.99/1770.33 c 1770s| 9700 | 9701 | 10655k| 986.1 | 829M | 56 | 500 |8491 |8531 | 147k| 1 | 0 |2588 |-1.384449e+02 |-6.900000e+01 | 100.64%| unknown
1778.46/1782.83 c 1783s| 9800 | 9801 | 10746k| 985.3 | 829M | 56 | 500 |8491 |8567 | 149k| 1 | 0 |2588 |-1.384351e+02 |-6.900000e+01 | 100.63%| unknown
1795.22/1799.63 c 1800s| 9900 | 9901 | 10837k| 984.6 | 829M | 56 | 500 |8491 |8465 | 151k| 1 | 0 |2609 |-1.383855e+02 |-6.900000e+01 | 100.56%| unknown
1810.28/1814.75 c 1815s| 10000 | 10001 | 10925k| 983.7 | 829M | 56 | 500 |8491 |8625 | 153k| 1 | 0 |2611 |-1.383566e+02 |-6.900000e+01 | 100.52%| unknown
1823.45/1827.94 c 1828s| 10100 | 10101 | 11011k| 982.6 | 830M | 57 | 500 |8491 |8595 | 154k| 1 | 0 |2625 |-1.383054e+02 |-6.900000e+01 | 100.44%| unknown
1833.53/1838.07 c 1838s| 10200 | 10201 | 11084k| 980.4 | 830M | 57 | 500 |8491 |8520 | 155k| 1 | 0 |2636 |-1.382612e+02 |-6.900000e+01 | 100.38%| unknown
1847.79/1852.33 c 1852s| 10300 | 10301 | 11182k| 980.4 | 831M | 57 | 500 |8491 |8650 | 157k| 1 | 0 |2650 |-1.382376e+02 |-6.900000e+01 | 100.34%| unknown
1865.76/1870.30 c 1870s| 10400 | 10401 | 11280k| 980.4 | 832M | 57 | 500 |8491 |8461 | 158k| 1 | 0 |2668 |-1.381668e+02 |-6.900000e+01 | 100.24%| unknown
1877.93/1882.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1877.93/1882.58 c 1883s| 10500 | 10501 | 11350k| 977.9 | 832M | 58 | 500 |8491 |8430 | 159k| 1 | 0 |2688 |-1.381323e+02 |-6.900000e+01 | 100.19%| unknown
1891.20/1895.82 c 1896s| 10600 | 10601 | 11428k| 976.2 | 832M | 58 | 500 |8491 |8529 | 161k| 1 | 0 |2729 |-1.380905e+02 |-6.900000e+01 | 100.13%| unknown
1905.56/1910.24 c 1910s| 10700 | 10701 | 11517k| 975.5 | 833M | 58 | 500 |8491 |8667 | 162k| 1 | 0 |2748 |-1.380326e+02 |-6.900000e+01 | 100.05%| unknown
1919.13/1923.87 c 1924s| 10800 | 10801 | 11599k| 974.2 | 835M | 58 | 500 |8491 |8501 | 164k| 1 | 0 |2749 |-1.379946e+02 |-6.900000e+01 | 99.99%| unknown
1936.29/1941.02 c 1941s| 10900 | 10901 | 11695k| 974.1 | 848M | 58 | 500 |8491 |8545 | 166k| 1 | 0 |2753 |-1.379273e+02 |-6.900000e+01 | 99.89%| unknown
1949.55/1954.35 c 1954s| 11000 | 11001 | 11794k| 974.2 | 849M | 58 | 500 |8491 |8607 | 168k| 6 | 0 |2754 |-1.379167e+02 |-6.900000e+01 | 99.88%| unknown
1964.92/1969.71 c 1970s| 11100 | 11101 | 11889k| 974.0 | 850M | 58 | 500 |8491 |8587 | 170k| 1 | 0 |2755 |-1.379000e+02 |-6.900000e+01 | 99.86%| unknown
1977.58/1982.43 c 1982s| 11200 | 11201 | 11969k| 972.6 | 853M | 58 | 500 |8491 |8622 | 171k| 1 | 0 |2755 |-1.378737e+02 |-6.900000e+01 | 99.82%| unknown
1993.55/1998.42 c 1998s| 11300 | 11301 | 12057k| 971.8 | 881M | 58 | 500 |8491 |8673 | 173k| 9 | 0 |2755 |-1.378465e+02 |-6.900000e+01 | 99.78%| unknown
2009.22/2014.16 c 2014s| 11400 | 11401 | 12151k| 971.6 | 884M | 58 | 500 |8491 |8516 | 175k| 1 | 0 |2755 |-1.378341e+02 |-6.900000e+01 | 99.76%| unknown
2021.98/2026.97 c 2027s| 11500 | 11501 | 12249k| 971.7 | 886M | 58 | 500 |8491 |8659 | 176k| 1 | 0 |2755 |-1.378099e+02 |-6.900000e+01 | 99.72%| unknown
2036.35/2041.31 c 2041s| 11600 | 11601 | 12334k| 970.7 | 888M | 58 | 500 |8491 |8555 | 178k| 1 | 0 |2757 |-1.377468e+02 |-6.900000e+01 | 99.63%| unknown
2051.41/2056.47 c 2056s| 11700 | 11701 | 12420k| 969.8 | 888M | 58 | 500 |8491 |8709 | 180k| 6 | 0 |2793 |-1.377029e+02 |-6.900000e+01 | 99.57%| unknown
2066.87/2071.96 c 2072s| 11800 | 11801 | 12500k| 968.5 | 890M | 58 | 500 |8491 |8507 | 181k| 1 | 0 |2820 |-1.377014e+02 |-6.900000e+01 | 99.57%| unknown
2079.94/2085.07 c 2085s| 11900 | 11901 | 12583k| 967.4 | 892M | 61 | 500 |8491 |8638 | 182k| 1 | 0 |2834 |-1.376509e+02 |-6.900000e+01 | 99.49%| unknown
2094.50/2099.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2094.50/2099.61 c 2100s| 12000 | 12001 | 12655k| 965.5 | 894M | 62 | 500 |8491 |8601 | 184k| 5 | 0 |2849 |-1.376286e+02 |-6.900000e+01 | 99.46%| unknown
2105.79/2110.92 c 2111s| 12100 | 12101 | 12723k| 963.3 | 894M | 62 | 500 |8491 |8545 | 185k| 1 | 0 |2849 |-1.376279e+02 |-6.900000e+01 | 99.46%| unknown
2116.46/2121.62 c 2122s| 12200 | 12197 | 12786k| 960.9 | 895M | 62 | 500 |8491 |8553 | 186k| 1 | 0 |2860 |-1.376119e+02 |-6.900000e+01 | 99.44%| unknown
2128.13/2133.36 c 2133s| 12300 | 12297 | 12860k| 959.2 | 895M | 62 | 500 |8491 |8616 | 188k| 1 | 0 |2860 |-1.375788e+02 |-6.900000e+01 | 99.39%| unknown
2140.30/2145.53 c 2146s| 12400 | 12397 | 12929k| 957.2 | 896M | 62 | 500 |8491 |8554 | 189k| 4 | 0 |2877 |-1.375779e+02 |-6.900000e+01 | 99.39%| unknown
2154.57/2159.87 c 2160s| 12500 | 12497 | 13007k| 955.9 | 898M | 62 | 500 |8491 |8546 | 191k| 1 | 0 |2877 |-1.375773e+02 |-6.900000e+01 | 99.39%| unknown
2168.43/2173.73 c 2174s| 12600 | 12597 | 13074k| 953.8 | 900M | 63 | 500 |8491 |8446 | 192k| 1 | 0 |2905 |-1.375273e+02 |-6.900000e+01 | 99.31%| unknown
2182.10/2187.43 c 2187s| 12700 | 12695 | 13145k| 952.0 | 915M | 63 | 500 |8491 |8459 | 193k| 1 | 0 |2911 |-1.375214e+02 |-6.900000e+01 | 99.31%| unknown
2195.36/2200.73 c 2201s| 12800 | 12795 | 13215k| 950.2 | 917M | 63 | 500 |8491 |8564 | 195k| 1 | 0 |2911 |-1.375176e+02 |-6.900000e+01 | 99.30%| unknown
2208.54/2213.92 c 2214s| 12900 | 12895 | 13280k| 948.0 | 917M | 63 | 500 |8491 |8609 | 196k| 1 | 0 |2911 |-1.375116e+02 |-6.900000e+01 | 99.29%| unknown
2220.31/2225.77 c 2226s| 13000 | 12995 | 13342k| 945.7 | 949M | 63 | 500 |8491 |8620 | 197k| 1 | 0 |2912 |-1.374968e+02 |-6.900000e+01 | 99.27%| unknown
2220.51/2225.91 o -70
2220.51/2225.91 c L2226s| 13001 | 12992 | 13343k| 945.7 |crossove| 63 | 500 |8491 |8620 | 197k| 1 | 0 |2912 |-1.374968e+02 |-7.000000e+01 | 96.42%| unknown
2227.49/2232.99 c 2233s| 13100 | 13091 | 13398k| 942.9 | 949M | 63 | 500 |8491 |8636 | 198k| 1 | 0 |2912 |-1.374728e+02 |-7.000000e+01 | 96.39%| unknown
2239.56/2245.01 c 2245s| 13200 | 13191 | 13467k| 941.2 | 950M | 63 | 500 |8491 |8546 | 199k| 1 | 0 |2912 |-1.374424e+02 |-7.000000e+01 | 96.35%| unknown
2252.13/2257.60 c 2258s| 13300 | 13287 | 13542k| 939.9 | 950M | 63 | 500 |8491 |8581 | 200k| 1 | 0 |2913 |-1.374392e+02 |-7.000000e+01 | 96.34%| unknown
2265.10/2270.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2265.10/2270.63 c 2271s| 13400 | 13387 | 13617k| 938.6 | 950M | 63 | 500 |8491 |8508 | 202k| 1 | 0 |2914 |-1.374250e+02 |-7.000000e+01 | 96.32%| unknown
2275.37/2280.90 c 2281s| 13500 | 13487 | 13679k| 936.3 | 950M | 64 | 500 |8491 |8520 | 203k| 1 | 0 |2923 |-1.374227e+02 |-7.000000e+01 | 96.32%| unknown
2287.84/2293.42 c 2293s| 13600 | 13587 | 13753k| 935.0 | 951M | 64 | 500 |8491 |8497 | 204k| 1 | 0 |2957 |-1.373926e+02 |-7.000000e+01 | 96.28%| unknown
2300.11/2305.78 c 2306s| 13700 | 13687 | 13824k| 933.5 | 953M | 64 | 500 |8491 |8449 | 206k| 1 | 0 |2977 |-1.373810e+02 |-7.000000e+01 | 96.26%| unknown
2310.59/2316.27 c 2316s| 13800 | 13787 | 13890k| 931.6 | 953M | 64 | 500 |8491 |8478 | 206k| 1 | 0 |2993 |-1.373726e+02 |-7.000000e+01 | 96.25%| unknown
2321.48/2327.12 c 2327s| 13900 | 13883 | 13939k| 928.7 | 954M | 64 | 500 |8491 |8568 | 207k| 1 | 0 |2994 |-1.373726e+02 |-7.000000e+01 | 96.25%| unknown
2334.54/2340.22 c 2340s| 14000 | 13983 | 14008k| 927.1 | 955M | 64 | 500 |8491 |8593 | 209k| 1 | 0 |3027 |-1.373633e+02 |-7.000000e+01 | 96.23%| unknown
2347.01/2352.73 c 2353s| 14100 | 14079 | 14062k| 924.6 | 957M | 64 | 500 |8491 |8579 | 210k| 1 | 0 |3040 |-1.373560e+02 |-7.000000e+01 | 96.22%| unknown
2360.18/2365.96 c 2366s| 14200 | 14179 | 14143k| 923.8 | 957M | 64 | 500 |8491 |8569 | 212k| 1 | 0 |3041 |-1.373071e+02 |-7.000000e+01 | 96.15%| unknown
2371.55/2377.33 c 2377s| 14300 | 14279 | 14218k| 922.7 | 958M | 64 | 500 |8491 |8512 | 213k| 1 | 0 |3052 |-1.372905e+02 |-7.000000e+01 | 96.13%| unknown
2382.92/2388.79 c 2389s| 14400 | 14379 | 14285k| 921.0 | 959M | 64 | 500 |8491 |8626 | 214k| 1 | 0 |3055 |-1.372733e+02 |-7.000000e+01 | 96.10%| unknown
2392.90/2398.73 c 2399s| 14500 | 14479 | 14353k| 919.5 | 959M | 64 | 500 |8491 |8477 | 215k| 1 | 0 |3056 |-1.372644e+02 |-7.000000e+01 | 96.09%| unknown
2405.97/2411.89 c 2412s| 14600 | 14579 | 14427k| 918.3 | 960M | 64 | 500 |8491 |8565 | 216k| 1 | 0 |3058 |-1.372591e+02 |-7.000000e+01 | 96.08%| unknown
2418.15/2424.03 c 2424s| 14700 | 14679 | 14498k| 917.0 | 961M | 64 | 500 |8491 |8590 | 217k| 1 | 0 |3058 |-1.372482e+02 |-7.000000e+01 | 96.07%| unknown
2429.12/2435.04 c 2435s| 14800 | 14779 | 14563k| 915.3 | 981M | 64 | 500 |8491 |8593 | 218k| 1 | 0 |3058 |-1.372436e+02 |-7.000000e+01 | 96.06%| unknown
2443.78/2449.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2443.78/2449.75 c 2450s| 14900 | 14879 | 14631k| 913.8 | 983M | 64 | 500 |8491 |8514 | 220k| 1 | 0 |3059 |-1.372031e+02 |-7.000000e+01 | 96.00%| unknown
2454.95/2460.92 c 2461s| 15000 | 14979 | 14700k| 912.5 | 983M | 64 | 500 |8491 |8553 | 221k| 1 | 0 |3059 |-1.371992e+02 |-7.000000e+01 | 96.00%| unknown
2468.72/2474.70 c 2475s| 15100 | 15079 | 14784k| 912.0 | 986M | 64 | 500 |8491 |8631 | 223k| 1 | 0 |3060 |-1.371736e+02 |-7.000000e+01 | 95.96%| unknown
2480.58/2486.64 c 2487s| 15200 | 15177 | 14847k| 910.3 | 1026M | 64 | 500 |8491 |8617 | 224k| 1 | 0 |3060 |-1.371540e+02 |-7.000000e+01 | 95.93%| unknown
2492.86/2498.94 c 2499s| 15300 | 15277 | 14908k| 908.5 | 1026M | 64 | 500 |8491 |8673 | 225k| 1 | 0 |3060 |-1.371425e+02 |-7.000000e+01 | 95.92%| unknown
2504.74/2510.80 c 2511s| 15400 | 15377 | 14966k| 906.5 | 1028M | 64 | 500 |8491 |8686 | 226k| 1 | 0 |3098 |-1.371324e+02 |-7.000000e+01 | 95.90%| unknown
2517.21/2523.35 c 2523s| 15500 | 15475 | 15031k| 904.9 | 1028M | 64 | 500 |8491 |8474 | 227k| 1 | 0 |3117 |-1.371273e+02 |-7.000000e+01 | 95.90%| unknown
2528.58/2534.70 c 2535s| 15600 | 15571 | 15098k| 903.5 | 1028M | 64 | 500 |8491 |8539 | 229k| 1 | 0 |3120 |-1.371153e+02 |-7.000000e+01 | 95.88%| unknown
2539.55/2545.70 c 2546s| 15700 | 15671 | 15165k| 902.1 | 1028M | 64 | 500 |8491 |8449 | 230k| 1 | 0 |3149 |-1.371150e+02 |-7.000000e+01 | 95.88%| unknown
2551.62/2557.85 c 2558s| 15800 | 15771 | 15241k| 901.3 | 1029M | 64 | 500 |8491 |8568 | 231k| 1 | 0 |3172 |-1.371002e+02 |-7.000000e+01 | 95.86%| unknown
2564.59/2570.88 c 2571s| 15900 | 15871 | 15312k| 900.1 | 1029M | 64 | 500 |8491 |8667 | 232k| 1 | 0 |3192 |-1.370988e+02 |-7.000000e+01 | 95.86%| unknown
2579.35/2585.65 c 2586s| 16000 | 15971 | 15384k| 899.0 | 1030M | 64 | 500 |8491 |8556 | 233k| 1 | 0 |3209 |-1.370897e+02 |-7.000000e+01 | 95.84%| unknown
2588.74/2595.09 c 2595s| 16100 | 16071 | 15438k| 897.0 | 1031M | 64 | 500 |8491 |8623 | 235k| 1 | 0 |3222 |-1.370808e+02 |-7.000000e+01 | 95.83%| unknown
2601.60/2607.96 c 2608s| 16200 | 16171 | 15509k| 895.9 | 1032M | 64 | 500 |8491 |8529 | 236k| 1 | 0 |3222 |-1.370678e+02 |-7.000000e+01 | 95.81%| unknown
2612.48/2618.87 c 2619s| 16300 | 16271 | 15574k| 894.5 | 1033M | 64 | 500 |8491 |8466 | 237k| 1 | 0 |3222 |-1.370423e+02 |-7.000000e+01 | 95.77%| unknown
2623.85/2630.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2623.85/2630.27 c 2630s| 16400 | 16371 | 15643k| 893.3 | 1033M | 64 | 500 |8491 |8635 | 239k| 1 | 0 |3222 |-1.370350e+02 |-7.000000e+01 | 95.76%| unknown
2638.52/2644.91 c 2645s| 16500 | 16471 | 15720k| 892.6 | 1035M | 64 | 500 |8491 |8536 | 240k| 1 | 0 |3233 |-1.370250e+02 |-7.000000e+01 | 95.75%| unknown
2650.69/2657.12 c 2657s| 16600 | 16567 | 15784k| 891.2 | 1035M | 64 | 500 |8491 |8497 | 242k| 1 | 0 |3233 |-1.370172e+02 |-7.000000e+01 | 95.74%| unknown
2662.46/2668.95 c 2669s| 16700 | 16667 | 15853k| 890.0 | 1036M | 64 | 500 |8491 |8604 | 243k| 8 | 0 |3233 |-1.369952e+02 |-7.000000e+01 | 95.71%| unknown
2670.74/2677.24 c 2677s| 16800 | 16765 | 15914k| 888.5 | 1036M | 64 | 500 |8491 |8524 | 244k| 1 | 0 |3234 |-1.369640e+02 |-7.000000e+01 | 95.66%| unknown
2679.52/2686.09 c 2686s| 16900 | 16865 | 15975k| 886.9 | 1037M | 64 | 500 |8491 |8577 | 245k| 1 | 0 |3234 |-1.369476e+02 |-7.000000e+01 | 95.64%| unknown
2692.28/2698.89 c 2699s| 17000 | 16965 | 16041k| 885.6 | 1038M | 64 | 500 |8491 |8461 | 246k| 1 | 0 |3234 |-1.369460e+02 |-7.000000e+01 | 95.64%| unknown
2701.47/2708.02 c 2708s| 17100 | 17065 | 16106k| 884.4 | 1060M | 65 | 500 |8491 |8625 | 247k| 1 | 0 |3235 |-1.369282e+02 |-7.000000e+01 | 95.61%| unknown
2714.03/2720.62 c 2721s| 17200 | 17161 | 16164k| 882.7 | 1061M | 66 | 500 |8491 |8614 | 248k| 1 | 0 |3238 |-1.369236e+02 |-7.000000e+01 | 95.61%| unknown
2723.81/2730.44 c 2730s| 17300 | 17261 | 16222k| 881.0 | 1061M | 66 | 500 |8491 |8589 | 249k| 1 | 0 |3239 |-1.369106e+02 |-7.000000e+01 | 95.59%| unknown
2738.18/2744.86 c 2745s| 17400 | 17359 | 16288k| 879.9 | 1063M | 66 | 500 |8491 |8448 | 250k| 1 | 0 |3246 |-1.368799e+02 |-7.000000e+01 | 95.54%| unknown
2749.05/2755.79 c 2756s| 17500 | 17459 | 16349k| 878.4 | 1109M | 66 | 500 |8491 |8570 | 252k| 1 | 0 |3262 |-1.368792e+02 |-7.000000e+01 | 95.54%| unknown
2759.93/2766.66 c 2767s| 17600 | 17557 | 16408k| 876.8 | 1111M | 66 | 500 |8491 |8543 | 252k| 1 | 0 |3288 |-1.368784e+02 |-7.000000e+01 | 95.54%| unknown
2770.41/2777.12 c 2777s| 17700 | 17657 | 16463k| 875.1 | 1111M | 66 | 500 |8491 |8589 | 253k| 1 | 0 |3316 |-1.368733e+02 |-7.000000e+01 | 95.53%| unknown
2779.39/2786.14 c 2786s| 17800 | 17757 | 16523k| 873.6 | 1111M | 66 | 500 |8491 |8562 | 254k| 1 | 0 |3320 |-1.368600e+02 |-7.000000e+01 | 95.51%| unknown
2790.75/2797.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2790.75/2797.56 c 2798s| 17900 | 17857 | 16581k| 872.1 | 1111M | 66 | 500 |8491 |8609 | 255k| 1 | 0 |3335 |-1.368578e+02 |-7.000000e+01 | 95.51%| unknown
2803.23/2810.07 c 2810s| 18000 | 17955 | 16657k| 871.5 | 1114M | 66 | 500 |8491 |8590 | 256k| 1 | 0 |3336 |-1.368569e+02 |-7.000000e+01 | 95.51%| unknown
2814.00/2820.83 c 2821s| 18100 | 18055 | 16719k| 870.2 | 1114M | 66 | 500 |8491 |8553 | 257k| 1 | 0 |3336 |-1.368433e+02 |-7.000000e+01 | 95.49%| unknown
2827.66/2834.54 c 2835s| 18200 | 18151 | 16792k| 869.5 | 1114M | 66 | 500 |8491 |8507 | 259k| 1 | 0 |3350 |-1.368350e+02 |-7.000000e+01 | 95.48%| unknown
2839.93/2846.83 c 2847s| 18300 | 18251 | 16868k| 868.9 | 1115M | 66 | 500 |8491 |8635 | 260k| 1 | 0 |3352 |-1.368320e+02 |-7.000000e+01 | 95.47%| unknown
2849.81/2856.77 c 2857s| 18400 | 18351 | 16923k| 867.2 | 1116M | 66 | 500 |8491 |8548 | 261k| 1 | 0 |3364 |-1.368112e+02 |-7.000000e+01 | 95.44%| unknown
2860.78/2867.79 c 2868s| 18500 | 18449 | 16987k| 866.1 | 1116M | 66 | 500 |8491 |8585 | 262k| 1 | 0 |3379 |-1.368078e+02 |-7.000000e+01 | 95.44%| unknown
2870.96/2877.95 c 2878s| 18600 | 18547 | 17059k| 865.4 | 1116M | 66 | 500 |8491 |8575 | 264k| 1 | 0 |3379 |-1.367920e+02 |-7.000000e+01 | 95.42%| unknown
2882.53/2889.53 c 2890s| 18700 | 18647 | 17135k| 864.8 | 1117M | 66 | 500 |8491 |8605 | 265k| 1 | 0 |3380 |-1.367837e+02 |-7.000000e+01 | 95.41%| unknown
2893.80/2900.81 c 2901s| 18800 | 18745 | 17195k| 863.5 | 1119M | 66 | 500 |8491 |8588 | 266k| 7 | 0 |3381 |-1.367828e+02 |-7.000000e+01 | 95.40%| unknown
2906.98/2914.02 c 2914s| 18900 | 18845 | 17276k| 863.2 | 1119M | 66 | 500 |8491 |8532 | 267k| 1 | 0 |3383 |-1.367750e+02 |-7.000000e+01 | 95.39%| unknown
2919.45/2926.58 c 2927s| 19000 | 18945 | 17346k| 862.4 | 1120M | 66 | 500 |8491 |8534 | 268k| 1 | 0 |3383 |-1.367708e+02 |-7.000000e+01 | 95.39%| unknown
2928.53/2935.62 c 2936s| 19100 | 19045 | 17409k| 861.2 | 1122M | 66 | 500 |8491 |8528 | 270k| 1 | 0 |3383 |-1.367674e+02 |-7.000000e+01 | 95.38%| unknown
2944.89/2952.09 c 2952s| 19200 | 19145 | 17494k| 861.2 | 1124M | 66 | 500 |8491 |8569 | 271k| 1 | 0 |3394 |-1.367593e+02 |-7.000000e+01 | 95.37%| unknown
2956.15/2963.30 c 2963s| 19300 | 19245 | 17564k| 860.4 | 1125M | 66 | 500 |8491 |8574 | 272k| 1 | 0 |3405 |-1.367484e+02 |-7.000000e+01 | 95.35%| unknown
2968.52/2975.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2968.52/2975.75 c 2976s| 19400 | 19345 | 17633k| 859.5 | 1126M | 66 | 500 |8491 |8580 | 273k| 1 | 0 |3436 |-1.367270e+02 |-7.000000e+01 | 95.32%| unknown
2978.70/2985.96 c 2986s| 19500 | 19445 | 17696k| 858.4 | 1127M | 66 | 500 |8491 |8549 | 274k| 1 | 0 |3462 |-1.367222e+02 |-7.000000e+01 | 95.32%| unknown
2993.67/3000.97 c 3001s| 19600 | 19543 | 17767k| 857.7 | 1130M | 66 | 500 |8491 |8617 | 276k| 1 | 0 |3473 |-1.366799e+02 |-7.000000e+01 | 95.26%| unknown
3006.94/3014.27 c 3014s| 19700 | 19643 | 17841k| 857.2 | 1131M | 66 | 500 |8491 |8637 | 277k| 1 | 0 |3528 |-1.366754e+02 |-7.000000e+01 | 95.25%| unknown
3020.60/3027.96 c 3028s| 19800 | 19743 | 17917k| 856.7 | 1132M | 66 | 500 |8491 |8633 | 279k| 1 | 0 |3529 |-1.366732e+02 |-7.000000e+01 | 95.25%| unknown
3032.78/3040.16 c 3040s| 19900 | 19839 | 17983k| 855.7 | 1132M | 66 | 500 |8491 |8618 | 280k| 1 | 0 |3539 |-1.366625e+02 |-7.000000e+01 | 95.23%| unknown
3043.54/3050.96 c 3051s| 20000 | 19939 | 18051k| 854.9 | 1134M | 66 | 500 |8491 |8513 | 281k| 1 | 0 |3539 |-1.366594e+02 |-7.000000e+01 | 95.23%| unknown
3055.32/3062.71 c 3063s| 20100 | 20039 | 18119k| 854.1 | 1134M | 66 | 500 |8491 |8627 | 282k| 1 | 0 |3539 |-1.366236e+02 |-7.000000e+01 | 95.18%| unknown
3069.38/3076.84 c 3077s| 20200 | 20139 | 18181k| 853.0 | 1162M | 66 | 500 |8491 |8543 | 283k| 1 | 0 |3551 |-1.366170e+02 |-7.000000e+01 | 95.17%| unknown
3078.57/3086.09 c 3086s| 20300 | 20239 | 18249k| 852.2 | 1163M | 66 | 500 |8491 |8478 | 284k| 1 | 0 |3551 |-1.365853e+02 |-7.000000e+01 | 95.12%| unknown
3092.64/3100.14 c 3100s| 20400 | 20339 | 18323k| 851.6 | 1163M | 66 | 500 |8491 |8665 | 285k| 1 | 0 |3564 |-1.365849e+02 |-7.000000e+01 | 95.12%| unknown
3103.61/3111.11 c 3111s| 20500 | 20439 | 18394k| 851.0 | 1165M | 66 | 500 |8491 |8571 | 287k| 1 | 0 |3565 |-1.365758e+02 |-7.000000e+01 | 95.11%| unknown
3114.38/3121.97 c 3122s| 20600 | 20535 | 18456k| 849.9 | 1167M | 66 | 500 |8491 |8476 | 288k| 1 | 0 |3566 |-1.365284e+02 |-7.000000e+01 | 95.04%| unknown
3124.56/3132.14 c 3132s| 20700 | 20635 | 18524k| 849.2 | 1167M | 66 | 500 |8491 |8523 | 289k| 1 | 0 |3567 |-1.365284e+02 |-7.000000e+01 | 95.04%| unknown
3138.62/3146.23 c 3146s| 20800 | 20735 | 18595k| 848.5 | 1169M | 66 | 500 |8491 |8633 | 290k| 1 | 0 |3568 |-1.365176e+02 |-7.000000e+01 | 95.03%| unknown
3149.99/3157.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3149.99/3157.69 c 3158s| 20900 | 20835 | 18658k| 847.5 | 1226M | 66 | 500 |8491 |8602 | 291k| 1 | 0 |3568 |-1.365150e+02 |-7.000000e+01 | 95.02%| unknown
3160.27/3167.93 c 3168s| 21000 | 20935 | 18722k| 846.6 | 1226M | 66 | 500 |8491 |8619 | 292k| 1 | 0 |3572 |-1.364863e+02 |-7.000000e+01 | 94.98%| unknown
3171.54/3179.26 c 3179s| 21100 | 21033 | 18795k| 846.0 | 1227M | 66 | 500 |8491 |8526 | 293k| 1 | 0 |3572 |-1.364820e+02 |-7.000000e+01 | 94.97%| unknown
3181.92/3189.61 c 3190s| 21200 | 21131 | 18859k| 845.1 | 1228M | 66 | 500 |8491 |8671 | 294k| 1 | 0 |3572 |-1.364813e+02 |-7.000000e+01 | 94.97%| unknown
3195.59/3203.35 c 3203s| 21300 | 21227 | 18925k| 844.3 | 1230M | 66 | 500 |8491 |8618 | 295k| 1 | 0 |3595 |-1.364601e+02 |-7.000000e+01 | 94.94%| unknown
3205.07/3212.86 c 3213s| 21400 | 21327 | 18985k| 843.2 | 1231M | 67 | 500 |8491 |8558 | 296k| 1 | 0 |3611 |-1.364591e+02 |-7.000000e+01 | 94.94%| unknown
3219.73/3227.50 c 3228s| 21500 | 21427 | 19058k| 842.7 | 1231M | 67 | 500 |8491 |8564 | 297k| 1 | 0 |3622 |-1.364359e+02 |-7.000000e+01 | 94.91%| unknown
3231.21/3239.09 c 3239s| 21600 | 21523 | 19119k| 841.7 | 1231M | 67 | 500 |8491 |8536 | 298k| 1 | 0 |3635 |-1.364353e+02 |-7.000000e+01 | 94.91%| unknown
3243.67/3251.59 c 3252s| 21700 | 21623 | 19177k| 840.5 | 1232M | 67 | 500 |8491 |8580 | 299k| 1 | 0 |3646 |-1.364075e+02 |-7.000000e+01 | 94.87%| unknown
3254.05/3261.99 c 3262s| 21800 | 21723 | 19241k| 839.6 | 1234M | 67 | 500 |8491 |8461 | 300k| 1 | 0 |3663 |-1.364072e+02 |-7.000000e+01 | 94.87%| unknown
3264.92/3272.87 c 3273s| 21900 | 21821 | 19300k| 838.5 | 1236M | 67 | 500 |8491 |8515 | 301k| 6 | 0 |3667 |-1.364059e+02 |-7.000000e+01 | 94.87%| unknown
3275.40/3283.35 c 3283s| 22000 | 21919 | 19357k| 837.4 | 1237M | 67 | 500 |8491 |8470 | 302k| 1 | 0 |3669 |-1.363724e+02 |-7.000000e+01 | 94.82%| unknown
3286.37/3294.35 c 3294s| 22100 | 22017 | 19417k| 836.4 | 1241M | 67 | 500 |8491 |8637 | 303k| 1 | 0 |3671 |-1.363711e+02 |-7.000000e+01 | 94.82%| unknown
3299.34/3307.31 c 3307s| 22200 | 22115 | 19486k| 835.7 | 1247M | 67 | 500 |8491 |8551 | 304k| 4 | 0 |3674 |-1.363519e+02 |-7.000000e+01 | 94.79%| unknown
3310.91/3318.98 c 3319s| 22300 | 22215 | 19553k| 835.0 | 1248M | 67 | 500 |8491 |8470 | 306k| 1 | 0 |3675 |-1.363397e+02 |-7.000000e+01 | 94.77%| unknown
3322.59/3330.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3322.59/3330.61 c 3331s| 22400 | 22315 | 19623k| 834.5 | 1249M | 67 | 500 |8491 |8652 | 307k| 1 | 0 |3676 |-1.363078e+02 |-7.000000e+01 | 94.73%| unknown
3333.76/3341.88 c 3342s| 22500 | 22415 | 19685k| 833.6 | 1250M | 67 | 500 |8491 |8574 | 307k| 1 | 0 |3676 |-1.362964e+02 |-7.000000e+01 | 94.71%| unknown
3347.72/3355.84 c 3356s| 22600 | 22513 | 19757k| 833.1 | 1251M | 67 | 500 |8491 |8605 | 309k| 1 | 0 |3677 |-1.362724e+02 |-7.000000e+01 | 94.67%| unknown
3358.40/3366.51 c 3367s| 22700 | 22613 | 19822k| 832.3 | 1253M | 67 | 500 |8491 |8539 | 310k| 1 | 0 |3677 |-1.362627e+02 |-7.000000e+01 | 94.66%| unknown
3369.27/3377.45 c 3377s| 22800 | 22713 | 19893k| 831.8 | 1254M | 67 | 500 |8491 |8627 | 311k| 1 | 0 |3677 |-1.362494e+02 |-7.000000e+01 | 94.64%| unknown
3381.85/3390.05 c 3390s| 22900 | 22811 | 19957k| 831.0 | 1255M | 67 | 500 |8491 |8617 | 313k| 1 | 0 |3677 |-1.362455e+02 |-7.000000e+01 | 94.64%| unknown
3391.62/3399.81 c 3400s| 23000 | 22909 | 20018k| 830.1 | 1256M | 67 | 500 |8491 |8555 | 313k| 1 | 0 |3679 |-1.362354e+02 |-7.000000e+01 | 94.62%| unknown
3401.90/3410.17 c 3410s| 23100 | 23009 | 20087k| 829.5 | 1257M | 67 | 500 |8491 |8508 | 314k| 1 | 0 |3679 |-1.362257e+02 |-7.000000e+01 | 94.61%| unknown
3415.16/3423.44 c 3423s| 23200 | 23109 | 20158k| 829.0 | 1257M | 67 | 500 |8491 |8555 | 316k| 1 | 0 |3679 |-1.362226e+02 |-7.000000e+01 | 94.60%| unknown
3424.84/3433.15 c 3433s| 23300 | 23209 | 20221k| 828.2 | 1257M | 67 | 500 |8491 |8654 | 316k| 1 | 0 |3679 |-1.362058e+02 |-7.000000e+01 | 94.58%| unknown
3437.01/3445.30 c 3445s| 23400 | 23309 | 20288k| 827.5 | 1258M | 67 | 500 |8491 |8473 | 318k| 1 | 0 |3711 |-1.362057e+02 |-7.000000e+01 | 94.58%| unknown
3450.79/3459.11 c 3459s| 23500 | 23409 | 20361k| 827.1 | 1291M | 67 | 500 |8491 |8670 | 319k| 1 | 0 |3744 |-1.361969e+02 |-7.000000e+01 | 94.57%| unknown
3461.56/3469.90 c 3470s| 23600 | 23509 | 20429k| 826.5 | 1293M | 67 | 500 |8491 |8589 | 320k| 1 | 0 |3744 |-1.361887e+02 |-7.000000e+01 | 94.56%| unknown
3474.43/3482.84 c 3483s| 23700 | 23609 | 20497k| 825.9 | 1295M | 67 | 500 |8491 |8695 | 321k| 1 | 0 |3755 |-1.361826e+02 |-7.000000e+01 | 94.55%| unknown
3487.19/3495.66 c 3496s| 23800 | 23709 | 20564k| 825.3 | 1296M | 67 | 500 |8491 |8487 | 322k| 1 | 0 |3760 |-1.361658e+02 |-7.000000e+01 | 94.52%| unknown
3496.58/3505.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3496.58/3505.09 c 3505s| 23900 | 23809 | 20628k| 824.6 | 1297M | 67 | 500 |8491 |8595 | 323k| 1 | 0 |3760 |-1.361609e+02 |-7.000000e+01 | 94.52%| unknown
3508.74/3517.29 c 3517s| 24000 | 23907 | 20698k| 824.1 | 1297M | 67 | 500 |8491 |8600 | 324k| 1 | 0 |3760 |-1.361554e+02 |-7.000000e+01 | 94.51%| unknown
3525.10/3533.61 c 3534s| 24100 | 24003 | 20756k| 823.1 | 1298M | 67 | 500 |8491 |8658 | 325k| 1 | 0 |3783 |-1.361440e+02 |-7.000000e+01 | 94.49%| unknown
3538.47/3547.07 c 3547s| 24200 | 24101 | 20819k| 822.3 | 1299M | 67 | 500 |8491 |8573 | 327k| 9 | 0 |3786 |-1.361164e+02 |-7.000000e+01 | 94.45%| unknown
3550.45/3559.09 c 3559s| 24300 | 24201 | 20886k| 821.7 | 1301M | 67 | 500 |8491 |8485 | 328k| 1 | 0 |3786 |-1.361083e+02 |-7.000000e+01 | 94.44%| unknown
3562.31/3570.96 c 3571s| 24400 | 24297 | 20949k| 821.0 | 1301M | 67 | 500 |8491 |8522 | 329k| 1 | 0 |3787 |-1.360987e+02 |-7.000000e+01 | 94.43%| unknown
3572.79/3581.47 c 3581s| 24500 | 24395 | 21010k| 820.2 | 1302M | 67 | 500 |8491 |8577 | 330k| 1 | 0 |3788 |-1.360918e+02 |-7.000000e+01 | 94.42%| unknown
3586.15/3594.81 c 3595s| 24600 | 24495 | 21088k| 820.0 | 1308M | 67 | 500 |8491 |8625 | 331k| 1 | 0 |3789 |-1.360650e+02 |-7.000000e+01 | 94.38%| unknown
3588.26/3597.00 c
3588.26/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.26/3597.00 c Solving Time (sec) : 3597.00
3588.26/3597.00 c Solving Nodes : 24618 (total of 25667 nodes in 2 runs)
3588.26/3597.00 c Primal Bound : -7.00000000000000e+01 (433 solutions)
3588.26/3597.00 c Dual Bound : -1.36064984351768e+02
3588.26/3597.00 c Gap : 94.38 %
3588.36/3597.00 s SATISFIABLE
3588.36/3597.00 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 x493 x492 x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 x482 -x481 x480 -x479 -x478
3588.36/3597.00 v x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 x468 -x467 x466 -x465 -x464 -x463 -x462 x461 x460 -x459 -x458 -x457
3588.36/3597.00 v x456 x455 -x454 -x453 x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 x440 x439 -x438 -x437 -x436 -x435
3588.36/3597.00 v -x434 -x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 x414 -x413
3588.36/3597.00 v -x412 x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 x402 -x401 x400 -x399 -x398 -x397 -x396 -x395 -x394 x393 -x392
3588.36/3597.00 v x391 -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 x381 -x380 x379 -x378 -x377 x376 -x375 x374 x373 -x372 -x371 -x370
3588.36/3597.00 v -x369 -x368 -x367 -x366 -x365 -x364 -x363 x362 -x361 -x360 x359 -x358 -x357 -x356 x355 -x354 -x353 x352 -x351 -x350 x349 -x348
3588.36/3597.00 v x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 x328 -x327
3588.36/3597.00 v -x326 -x325 -x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 x309 -x308 -x307 -x306
3588.36/3597.00 v -x305 -x304 -x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285
3588.36/3597.00 v -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 x271 x270 -x269 -x268 -x267 -x266 x265 x264 -x263
3588.36/3597.00 v -x262 -x261 -x260 x259 -x258 x257 -x256 x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241
3588.36/3597.00 v -x240 -x239 x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220
3588.36/3597.00 v -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199
3588.36/3597.00 v x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177
3588.36/3597.00 v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156
3588.36/3597.00 v -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135
3588.36/3597.00 v -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
3588.36/3597.00 v -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92
3588.36/3597.00 v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
3588.36/3597.00 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41
3588.36/3597.00 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16
3588.36/3597.00 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
3588.36/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.36/3597.00 c Total Time : 3597.00
3588.36/3597.00 c solving : 3597.00
3588.36/3597.00 c presolving : 0.18 (included in solving)
3588.36/3597.00 c reading : 0.03 (included in solving)
3588.36/3597.00 c copying : 0.28 (28 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3588.36/3597.00 c Original Problem :
3588.36/3597.00 c Problem name : HOME/instance-4459760-1721939462.opb
3588.36/3597.00 c Variables : 8361 (500 binary, 0 integer, 7861 implicit integer, 0 continuous)
3588.36/3597.00 c Constraints : 8861 initial, 8861 maximal
3588.36/3597.00 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3588.36/3597.00 c Presolved Problem :
3588.36/3597.00 c Problem name : t_HOME/instance-4459760-1721939462.opb
3588.36/3597.00 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.36/3597.00 c Constraints : 8491 initial, 8491 maximal
3588.36/3597.00 c Objective : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3588.36/3597.00 c Nonzeros : 17761 constraint, 17691 clique table
3588.36/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3588.36/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c trivial : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c dualfix : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c probing : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c knapsack : 0.00 0.00 3 0 0 0 0 0 0 0 0 2
3588.36/3597.00 c setppc : 0.02 0.00 11 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c and : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c linear : 0.02 0.00 3 7861 0 0 7861 0 500 0 0 0
3588.36/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c pseudoboolean : 0.01 0.00 1 0 0 0 0 0 500 0 0 0
3588.36/3597.00 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c root node : - - - 0 - - 0 - - - - -
3588.36/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3588.36/3597.00 c benderslp : 0 0 0 0 25615 0 0 14098 0 0 0 0 0 0 0
3588.36/3597.00 c integral : 0 0 0 0 25615 0 0 14098 0 0 0 0 0 0 51230
3588.36/3597.00 c knapsack : 11 11 45 215164 0 0 0 0 0 0 16 3 0 0 0
3588.36/3597.00 c setppc : 8480 8480 147 270222 0 0 0 14091 0 0 518352 106 64 0 0
3588.36/3597.00 c benders : 0 0 0 0 0 0 0 718 0 0 0 0 0 0 0
3588.36/3597.00 c fixedvar : 0 0 0 0 0 0 0 718 0 0 0 0 0 0 0
3588.36/3597.00 c countsols : 0 0 0 0 0 0 0 718 0 0 0 0 0 0 0
3588.36/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3588.36/3597.00 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3588.36/3597.00 c integral : 223.78 0.00 0.00 0.00 223.78 0.00 0.00 0.01 0.00 0.00
3588.36/3597.00 c knapsack : 0.05 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
3588.36/3597.00 c setppc : 4.20 0.00 0.02 3.30 0.00 0.00 0.00 0.59 0.00 0.29
3588.36/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.36/3597.00 c fixedvar : 0.24 0.00 0.00 0.00 0.00 0.00 0.00 0.24 0.00 0.00
3588.36/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.36/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3588.36/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3588.36/3597.00 c dualfix : 3 0 0 0
3588.36/3597.00 c genvbounds : 0 0 0 0
3588.36/3597.00 c nlobbt : 0 0 0 0
3588.36/3597.00 c obbt : 0 0 0 0
3588.36/3597.00 c probing : 0 0 0 0
3588.36/3597.00 c pseudoobj : 72991 0 0 0
3588.36/3597.00 c redcost : 282 0 0 24
3588.36/3597.00 c rootredcost : 5 0 0 0
3588.36/3597.00 c symmetry : 0 0 0 0
3588.36/3597.00 c vbounds : 77406 0 0 0
3588.36/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3588.36/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3588.36/3597.00 c genvbounds : 0.03 0.00 0.00 0.03 0.00 0.00
3588.36/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.36/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.36/3597.00 c probing : 0.02 0.00 0.02 0.00 0.00 0.00
3588.36/3597.00 c pseudoobj : 0.12 0.00 0.00 0.12 0.00 0.00
3588.36/3597.00 c redcost : 0.06 0.00 0.00 0.06 0.00 0.00
3588.36/3597.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3588.36/3597.00 c symmetry : 0.04 0.00 0.00 0.04 0.00 0.00
3588.36/3597.00 c vbounds : 0.06 0.00 0.00 0.05 0.00 0.00
3588.36/3597.00 c Symmetry :
3588.36/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3588.36/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3588.36/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3588.36/3597.00 c shadow tree time : 0.00 s
3588.36/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [--,--])
3588.36/3597.00 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
3588.36/3597.00 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3588.36/3597.00 c bound exceed. LP : 3.49 11117 0 - 0 0.0 0 0.0 0 0.0 21795
3588.36/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3588.36/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3588.36/3597.00 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
3588.36/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3588.36/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3588.36/3597.00 c cut pool : 26.71 - 26891 290 - - 375476 1131167 - - - - - (maximal pool size: 4207)
3588.36/3597.00 c aggregation : 39.06 0.00 11006 147 0 0 1 1 0 1 1 0 0
3588.36/3597.00 c > cmir : - - - - - - - 1 0 1 1 0 -
3588.36/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3588.36/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3588.36/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c clique : 0.52 0.00 147 147 0 0 1300 24344 0 12161 12161 0 0
3588.36/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c gomory : 730.95 0.00 7049 20 0 0 339277 435243 0 32115 32115 0 0
3588.36/3597.00 c > gomorymi : - - - - - - - 163254 0 1228 1228 0 -
3588.36/3597.00 c > strongcg : - - - - - - - 271989 0 30887 30887 0 -
3588.36/3597.00 c impliedbounds : 1.64 0.00 11006 147 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c minor : 0.01 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c multilinear : 0.00 0.00 362 147 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c rapidlearning : 0.22 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c rlt : 0.01 0.00 1433 20 0 0 0 0 0 0 0 0 0
3588.36/3597.00 c zerohalf : 26.60 0.00 7069 40 0 0 34900 671579 2 302368 302367 1 0
3588.36/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3588.36/3597.00 c hybrid : 1.65 0.00 19464 145 346709 0 784569 1933 0 7262
3588.36/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3588.36/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3588.36/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3588.36/3597.00 c problem variables: 0.00 - 0 0
3588.36/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3588.36/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.36/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3588.36/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3588.36/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.36/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3588.36/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3588.36/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.36/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3588.36/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.36/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3588.36/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3588.36/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3588.36/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3588.36/3597.00 c relpscost : 223.76 0.00 25615 0 0 0 0 0 0 51230
3588.36/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3588.36/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3588.36/3597.00 c LP solutions : 0.00 - - 0 0
3588.36/3597.00 c relax solutions : 0.00 - - 0 0
3588.36/3597.00 c pseudo solutions : 0.00 - - 0 0
3588.36/3597.00 c strong branching : 0.16 - - 0 0
3588.36/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3588.36/3597.00 c adaptivediving : 3.95 0.00 50 0 0
3588.36/3597.00 c alns : 0.11 0.00 5 0 0
3588.36/3597.00 c bound : 0.00 0.00 0 0 0
3588.36/3597.00 c clique : 0.02 0.00 1 1 1
3588.36/3597.00 c coefdiving : 0.00 0.00 0 0 0
3588.36/3597.00 c completesol : 0.00 0.00 0 0 0
3588.36/3597.00 c conflictdiving : 0.00 0.00 0 0 0
3588.36/3597.00 c crossover : 0.55 0.00 13 6 3
3588.36/3597.00 c dins : 0.00 0.00 0 0 0
3588.36/3597.00 c distributiondivin: 108.26 0.00 565 0 0
3588.36/3597.00 c dps : 0.00 0.00 0 0 0
3588.36/3597.00 c dualval : 0.00 0.00 0 0 0
3588.36/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3588.36/3597.00 c feasjump : 0.00 0.00 0 0 0
3588.36/3597.00 c feaspump : 0.00 0.00 0 0 0
3588.36/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3588.36/3597.00 c fracdiving : 32.85 0.00 565 0 0
3588.36/3597.00 c gins : 0.01 0.00 0 0 0
3588.36/3597.00 c guideddiving : 28.35 0.00 564 0 0
3588.36/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3588.36/3597.00 c indicator : 0.01 0.00 0 0 0
3588.36/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3588.36/3597.00 c indoneopt : 0.01 0.00 0 0 0
3588.36/3597.00 c indrounding : 0.00 0.00 0 0 0
3588.36/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3588.36/3597.00 c intdiving : 0.00 0.00 0 0 0
3588.36/3597.00 c intshifting : 0.00 0.00 0 0 0
3588.36/3597.00 c linesearchdiving : 29.55 0.00 564 0 0
3588.36/3597.00 c localbranching : 0.00 0.00 0 0 0
3588.36/3597.00 c locks : 0.00 0.00 1 1 1
3588.36/3597.00 c lpface : 0.01 0.00 0 0 0
3588.36/3597.00 c mpec : 0.00 0.00 0 0 0
3588.36/3597.00 c multistart : 0.00 0.00 0 0 0
3588.36/3597.00 c mutation : 0.00 0.00 0 0 0
3588.36/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3588.36/3597.00 c objpscostdiving : 78.76 0.00 283 251 0
3588.36/3597.00 c octane : 0.00 0.00 0 0 0
3588.36/3597.00 c ofins : 0.00 0.00 0 0 0
3588.36/3597.00 c oneopt : 0.02 0.00 4 1 1
3588.36/3597.00 c padm : 0.00 0.00 0 0 0
3588.36/3597.00 c proximity : 0.00 0.00 0 0 0
3588.36/3597.00 c pscostdiving : 32.85 0.00 565 0 0
3588.36/3597.00 c randrounding : 1.47 0.00 13523 104 0
3588.36/3597.00 c rens : 0.00 0.00 0 0 0
3588.36/3597.00 c reoptsols : 0.00 0.00 0 0 0
3588.36/3597.00 c repair : 0.00 0.00 0 0 0
3588.36/3597.00 c rins : 5.00 0.00 10 4 0
3588.36/3597.00 c rootsoldiving : 21.15 0.00 283 63 0
3588.36/3597.00 c rounding : 3.46 0.00 2951 0 0
3588.36/3597.00 c scheduler : 0.00 0.00 0 0 0
3588.36/3597.00 c shiftandpropagate: 0.00 0.00 0 0 0
3588.36/3597.00 c shifting : 2.94 0.00 2119 0 0
3588.36/3597.00 c simplerounding : 0.72 0.00 45079 0 0
3588.36/3597.00 c smallcard : 0.00 0.00 0 0 0
3588.36/3597.00 c subnlp : 0.02 0.00 0 0 0
3588.36/3597.00 c trivial : 0.00 0.00 4 1 1
3588.36/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3588.36/3597.00 c trustregion : 0.00 0.00 0 0 0
3588.36/3597.00 c trysol : 0.01 0.00 0 0 0
3588.36/3597.00 c twoopt : 0.00 0.00 0 0 0
3588.36/3597.00 c undercover : 0.00 0.00 0 0 0
3588.36/3597.00 c vbounds : 0.02 0.00 2 1 0
3588.36/3597.00 c veclendiving : 22.56 0.00 565 0 0
3588.36/3597.00 c zeroobj : 0.00 0.00 0 0 0
3588.36/3597.00 c zirounding : 0.47 0.00 1000 0 0
3588.36/3597.00 c other solutions : - - - 0 -
3588.36/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3588.36/3597.00 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
3588.36/3597.00 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
3588.36/3597.00 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
3588.36/3597.00 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
3588.36/3597.00 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
3588.36/3597.00 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
3588.36/3597.00 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
3588.36/3597.00 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
3588.36/3597.00 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
3588.36/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3588.36/3597.00 c primal LP : 4.93 6502 0 0.00 0.00 4.92 6502
3588.36/3597.00 c dual LP : 2135.43 45147 18187272 403.01 8516.92 0.01 18
3588.36/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3588.36/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3588.36/3597.00 c resolve instable : 0.00 0 0 0.00 -
3588.36/3597.00 c diving/probing LP: 275.68 30736 2909355 94.66 10553.28
3588.36/3597.00 c strong branching : 213.90 3789 1774879 468.43 8297.61 - - 1749
3588.36/3597.00 c (at root node) : - 64 54686 854.47 -
3588.36/3597.00 c conflict analysis: 1.95 2222 21795 9.81 11184.53
3588.36/3597.00 c B&B Tree :
3588.36/3597.00 c number of runs : 2
3588.36/3597.00 c nodes : 24618 (24566 internal, 52 leaves)
3588.36/3597.00 c feasible leaves : 0
3588.36/3597.00 c infeas. leaves : 0
3588.36/3597.00 c objective leaves : 51
3588.36/3597.00 c nodes (total) : 25667 (25615 internal, 52 leaves)
3588.36/3597.00 c nodes left : 24512
3588.36/3597.00 c max depth : 67
3588.36/3597.00 c max depth (total): 67
3588.36/3597.00 c backtracks : 3990 (16.2%)
3588.36/3597.00 c early backtracks : 0 (0.0%)
3588.36/3597.00 c nodes exc. ref. : 0 (0.0%)
3588.36/3597.00 c delayed cutoffs : 0
3588.36/3597.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3588.36/3597.00 c avg switch length: 7.32
3588.36/3597.00 c switching time : 10.39
3588.36/3597.00 c Root Node :
3588.36/3597.00 c First LP value : -2.50000000000000e+02
3588.36/3597.00 c First LP Iters : 533 (39274.92 Iter/sec)
3588.36/3597.00 c First LP Time : 0.01
3588.36/3597.00 c Final Dual Bound : -1.44730633980991e+02
3588.36/3597.00 c Final Root Iters : 57284
3588.36/3597.00 c Root LP Estimate : -3.25350380893611e+01
3588.36/3597.00 c Solution :
3588.36/3597.00 c Solutions found : 433 (7 improvements)
3588.36/3597.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
3588.36/3597.00 c Gap First Sol. : infinite
3588.36/3597.00 c Gap Last Sol. : 96.42 %
3588.36/3597.00 c Primal Bound : -7.00000000000000e+01 (in run 2, after 13001 nodes, 2225.91 seconds, depth 45, found by <crossover>)
3588.36/3597.00 c Dual Bound : -1.36064984351768e+02
3588.36/3597.00 c Gap : 94.38 %
3588.36/3597.00 c Integrals : Total Avg%
3588.36/3597.00 c primal-dual : 181788.84 50.54
3588.36/3597.00 c primal-ref : - - (not evaluated)
3588.36/3597.00 c dual-ref : - - (not evaluated)
3588.55/3597.22 c Time complete: 3588.59.
OK -70
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 (59407 MiB free)
memory of node 1: 64473 MiB (60302 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459760-1721939462/watcher-4459760-1721939462 -o /tmp/evaluation-result-4459760-1721939462/solver-4459760-1721939462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721939462-253745 --watchdog 3760 pbscip -f HOME/instance-4459760-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
Current StackSize limit: 8192 KiB
solver pid=253797, runsolver pid=253794
[startup+0.100584 s]*
/proc/loadavg: 0.08 0.10 0.17 3/245 253798
/proc/meminfo: memFree=122536040/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=98000 memory=57656 CPUtime=0.09 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 11151 0 0 0 8 1 0 0 20 0 1 0 30474142 100352000 14414 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 24500 14414 3646 3540 0 12757 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 98000 KiB
Current children cumulated memory: 57656 KiB
[startup+0.205034 s]*
/proc/loadavg: 0.08 0.10 0.17 3/247 253804
/proc/meminfo: memFree=122524524/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=108680 memory=67844 CPUtime=0.2 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 14051 0 0 0 18 2 0 0 20 0 1 0 30474142 111288320 16961 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 27170 16961 3886 3540 0 15427 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 108680 KiB
Current children cumulated memory: 67844 KiB
[startup+0.305345 s]*
/proc/loadavg: 0.08 0.10 0.17 4/253 253819
/proc/meminfo: memFree=122495376/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=112180 memory=70608 CPUtime=0.3 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 14771 0 0 0 28 2 0 0 20 0 1 0 30474142 114872320 17652 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 28045 17652 3902 3540 0 16302 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 112180 KiB
Current children cumulated memory: 70608 KiB
[startup+0.700183 s]
/proc/loadavg: 0.08 0.10 0.17 5/250 253836
/proc/meminfo: memFree=122482404/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=114840 memory=71664 CPUtime=0.69 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 15043 0 0 0 67 2 0 0 20 0 1 0 30474142 117596160 17916 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 28710 17916 3902 3540 0 16967 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 114840 KiB
Current children cumulated memory: 71664 KiB
[startup+1.50017 s]
/proc/loadavg: 0.08 0.10 0.17 5/250 253841
/proc/meminfo: memFree=122447520/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=125928 memory=79848 CPUtime=1.48 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 17098 0 0 0 146 2 0 0 20 0 1 0 30474142 128950272 19962 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 31482 19962 3902 3540 0 19739 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 125928 KiB
Current children cumulated memory: 79848 KiB
[startup+3.10495 s]
/proc/loadavg: 0.08 0.10 0.17 3/245 253914
/proc/meminfo: memFree=122363112/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=138200 memory=87240 CPUtime=3.08 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 18954 0 0 0 306 2 0 0 20 0 1 0 30474142 141516800 21810 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 34550 21810 3902 3540 0 22807 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 138200 KiB
Current children cumulated memory: 87240 KiB
[startup+6.30021 s]
/proc/loadavg: 0.39 0.16 0.19 5/257 253946
/proc/meminfo: memFree=122129272/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=146208 memory=89880 CPUtime=6.27 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 19637 0 0 0 625 2 0 0 20 0 1 0 30474142 149716992 22470 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 36552 22470 3902 3540 0 24809 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 146208 KiB
Current children cumulated memory: 89880 KiB
[startup+12.7002 s]
/proc/loadavg: 0.68 0.23 0.21 5/257 253947
/proc/meminfo: memFree=122024060/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=157664 memory=101688 CPUtime=12.65 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 23513 0 0 0 1262 3 0 0 20 0 1 0 30474142 161447936 25422 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 39416 25422 3918 3540 0 27673 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 157664 KiB
Current children cumulated memory: 101688 KiB
[startup+25.5002 s]
/proc/loadavg: 1.48 0.43 0.28 5/258 253951
/proc/meminfo: memFree=121950532/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=157664 memory=101688 CPUtime=25.42 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 23513 0 0 0 2539 3 0 0 20 0 1 0 30474142 161447936 25422 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 39416 25422 3918 3540 0 27673 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 157664 KiB
Current children cumulated memory: 101688 KiB
[startup+51.1054 s]
/proc/loadavg: 2.12 0.67 0.36 4/251 253986
/proc/meminfo: memFree=121936212/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=232864 memory=145032 CPUtime=50.96 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 34713 0 0 0 5090 6 0 0 20 0 1 0 30474142 238452736 36258 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 58216 36258 3934 3540 0 46473 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 232864 KiB
Current children cumulated memory: 145032 KiB
[startup+102.3 s]
/proc/loadavg: 2.66 1.04 0.51 4/251 253994
/proc/meminfo: memFree=121882172/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=353432 memory=201992 CPUtime=102.03 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 50797 0 0 0 10189 14 0 0 20 0 1 0 30474142 361914368 50498 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 88358 50498 4029 3540 0 76615 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 353432 KiB
Current children cumulated memory: 201992 KiB
[startup+162.3 s]
/proc/loadavg: 2.95 1.43 0.67 4/250 254005
/proc/meminfo: memFree=121728448/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=371040 memory=241364 CPUtime=161.87 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 56253 0 0 0 16171 16 0 0 20 0 1 0 30474142 379944960 60341 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 92760 60341 4029 3540 0 81017 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 371040 KiB
Current children cumulated memory: 241364 KiB
[startup+222.3 s]
/proc/loadavg: 3.10 1.75 0.83 4/250 254015
/proc/meminfo: memFree=121666076/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=412380 memory=302248 CPUtime=221.71 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 62278 0 0 0 22154 17 0 0 20 0 1 0 30474142 422277120 75562 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 103095 75562 4029 3540 0 91352 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 412380 KiB
Current children cumulated memory: 302248 KiB
[startup+282.3 s]
/proc/loadavg: 3.14 2.01 0.98 4/247 254025
/proc/meminfo: memFree=121594236/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=426600 memory=370792 CPUtime=281.56 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 66901 0 0 0 28138 18 0 0 20 0 1 0 30474142 436838400 92698 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 106650 92698 4029 3540 0 94907 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 426600 KiB
Current children cumulated memory: 370792 KiB
[startup+342.3 s]
/proc/loadavg: 3.11 2.21 1.12 4/244 254035
/proc/meminfo: memFree=121517376/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=483812 memory=438368 CPUtime=341.41 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 80045 0 0 0 34121 20 0 0 20 0 1 0 30474142 495423488 109592 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 120953 109592 4029 3540 0 109210 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 483812 KiB
Current children cumulated memory: 438368 KiB
[startup+402.3 s]
/proc/loadavg: 3.12 2.37 1.24 4/245 254047
/proc/meminfo: memFree=121503788/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=491468 memory=447196 CPUtime=401.26 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 80612 0 0 0 40106 20 0 0 20 0 1 0 30474142 503263232 111799 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 122867 111799 4029 3540 0 111124 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 491468 KiB
Current children cumulated memory: 447196 KiB
[startup+462.3 s]
/proc/loadavg: 3.10 2.50 1.36 4/245 254057
/proc/meminfo: memFree=121497344/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=497056 memory=448508 CPUtime=461.12 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 81044 0 0 0 46092 20 0 0 20 0 1 0 30474142 508985344 112127 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 124264 112127 4029 3540 0 112521 0
################
# More data... #
################
/proc/loadavg: 3.37 3.21 3.10 4/247 255124
/proc/meminfo: memFree=119253708/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=1264308 memory=1155156 CPUtime=3154.68 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 181528 0 0 0 315422 46 0 0 20 0 1 0 30474142 1294651392 288789 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 316077 288789 4029 3540 0 304334 0
Current children cumulated CPU time: 3154.68 s
Current children cumulated vsize: 1264308 KiB
Current children cumulated memory: 1155156 KiB
[startup+3222.3 s]
/proc/loadavg: 3.13 3.17 3.09 4/246 255134
/proc/meminfo: memFree=119234300/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=1269204 memory=1171852 CPUtime=3214.54 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 183030 0 0 0 321407 47 0 0 20 0 1 0 30474142 1299664896 292963 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 317301 292963 4029 3540 0 305558 0
Current children cumulated CPU time: 3214.54 s
Current children cumulated vsize: 1269204 KiB
Current children cumulated memory: 1171852 KiB
[startup+3282.3 s]
/proc/loadavg: 3.09 3.15 3.09 4/247 255527
/proc/meminfo: memFree=119206568/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=1285252 memory=1199168 CPUtime=3274.4 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 187265 0 0 0 327392 48 0 0 20 0 1 0 30474142 1316098048 299792 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 321313 299792 4029 3540 0 309570 0
Current children cumulated CPU time: 3274.4 s
Current children cumulated vsize: 1285252 KiB
Current children cumulated memory: 1199168 KiB
[startup+3342.3 s]
/proc/loadavg: 3.13 3.15 3.09 4/246 255537
/proc/meminfo: memFree=119188612/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=1288784 memory=1215044 CPUtime=3334.26 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 188650 0 0 0 333377 49 0 0 20 0 1 0 30474142 1319714816 303761 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 322196 303761 4029 3540 0 310453 0
Current children cumulated CPU time: 3334.26 s
Current children cumulated vsize: 1288784 KiB
Current children cumulated memory: 1215044 KiB
[startup+3402.3 s]
/proc/loadavg: 3.10 3.14 3.09 4/246 255548
/proc/meminfo: memFree=119167620/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=1293840 memory=1232880 CPUtime=3394.11 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 190500 0 0 0 339362 49 0 0 20 0 1 0 30474142 1324892160 308220 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 323460 308220 4029 3540 0 311717 0
Current children cumulated CPU time: 3394.11 s
Current children cumulated vsize: 1293840 KiB
Current children cumulated memory: 1232880 KiB
[startup+3462.3 s]
/proc/loadavg: 3.11 3.12 3.09 4/249 255729
/proc/meminfo: memFree=119148868/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=1328640 memory=1248920 CPUtime=3453.98 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 191909 0 0 0 345348 50 0 0 20 0 1 0 30474142 1360527360 312230 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 332160 312230 4029 3540 0 320417 0
Current children cumulated CPU time: 3453.98 s
Current children cumulated vsize: 1328640 KiB
Current children cumulated memory: 1248920 KiB
[startup+3522.3 s]
/proc/loadavg: 3.10 3.12 3.09 4/249 255739
/proc/meminfo: memFree=119037800/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=1334548 memory=1263800 CPUtime=3513.83 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 193558 0 0 0 351333 50 0 0 20 0 1 0 30474142 1366577152 315950 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 333637 315950 4029 3540 0 321894 0
Current children cumulated CPU time: 3513.83 s
Current children cumulated vsize: 1334548 KiB
Current children cumulated memory: 1263800 KiB
[startup+3582.3 s]
/proc/loadavg: 3.14 3.12 3.09 5/252 255810
/proc/meminfo: memFree=119029800/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=1338476 memory=1269736 CPUtime=3573.68 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 195603 0 0 0 357318 50 0 0 20 0 1 0 30474142 1370599424 317434 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 334619 317434 4029 3540 0 322876 0
Current children cumulated CPU time: 3573.68 s
Current children cumulated vsize: 1338476 KiB
Current children cumulated memory: 1269736 KiB
[startup+3597.23 s]
# the end of solver process 253797 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.07 s, system=0.521584 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.14 3.12 3.09 4/251 255810
/proc/meminfo: memFree=119029576/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=1338476 memory=1269736 CPUtime=3575.39 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 195605 0 0 0 357489 50 0 0 20 0 1 0 30474142 1370599424 317434 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 334619 317434 4029 3540 0 322876 0
Current children cumulated CPU time: 3575.39 s
Current children cumulated vsize: 1338476 KiB
Current children cumulated memory: 1269736 KiB
[startup+3590.4 s]
/proc/loadavg: 3.13 3.12 3.09 4/251 255811
/proc/meminfo: memFree=119028100/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=1341088 memory=1271080 CPUtime=3581.76 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 195982 0 0 0 358126 50 0 0 20 0 1 0 30474142 1373274112 317770 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 335272 317770 4029 3540 0 323529 0
Current children cumulated CPU time: 3581.76 s
Current children cumulated vsize: 1341088 KiB
Current children cumulated memory: 1271080 KiB
[startup+3593.6 s]
/proc/loadavg: 3.20 3.14 3.10 4/251 255811
/proc/meminfo: memFree=119026896/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=1342300 memory=1272620 CPUtime=3584.96 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 196342 0 0 0 358446 50 0 0 20 0 1 0 30474142 1374515200 318155 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 335575 318155 4029 3540 0 323832 0
Current children cumulated CPU time: 3584.96 s
Current children cumulated vsize: 1342300 KiB
Current children cumulated memory: 1272620 KiB
[startup+3595.2 s]
/proc/loadavg: 3.20 3.14 3.10 4/251 255813
/proc/meminfo: memFree=119025380/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=1408808 memory=1285348 CPUtime=3586.56 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 197052 0 0 0 358605 51 0 0 20 0 1 0 30474142 1442619392 321337 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 352202 321337 4029 3540 0 340459 0
Current children cumulated CPU time: 3586.56 s
Current children cumulated vsize: 1408808 KiB
Current children cumulated memory: 1285348 KiB
[startup+3596 s]*
/proc/loadavg: 3.18 3.13 3.10 4/251 255813
/proc/meminfo: memFree=119013516/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=1408808 memory=1285348 CPUtime=3587.36 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 197053 0 0 0 358685 51 0 0 20 0 1 0 30474142 1442619392 321337 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 352202 321337 4029 3540 0 340459 0
Current children cumulated CPU time: 3587.36 s
Current children cumulated vsize: 1408808 KiB
Current children cumulated memory: 1285348 KiB
[startup+3596.8 s]
/proc/loadavg: 3.18 3.13 3.10 4/251 255813
/proc/meminfo: memFree=119013516/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=1408808 memory=1285348 CPUtime=3588.16 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 197056 0 0 0 358765 51 0 0 20 0 1 0 30474142 1442619392 321337 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 352202 321337 4029 3540 0 340459 0
Current children cumulated CPU time: 3588.16 s
Current children cumulated vsize: 1408808 KiB
Current children cumulated memory: 1285348 KiB
[startup+3597.2 s]
/proc/loadavg: 3.18 3.13 3.10 4/251 255813
/proc/meminfo: memFree=119013516/131524600 swapFree=131060368/131071996
[pid=253797] ppid=253794 vsize=1408808 memory=1285588 CPUtime=3588.55 cores=5,7
/proc/253797/stat : 253797 (pbscip) R 253794 253797 253732 0 -1 4194304 197084 0 0 0 358804 51 0 0 20 0 1 0 30474142 1442619392 321397 134679101440 4194304 18693293 140728510856240 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39075840 140728510858247 140728510858346 140728510858346 140728510865358 0
/proc/253797/statm: 352202 321397 4029 3540 0 340459 0
Current children cumulated CPU time: 3588.55 s
Current children cumulated vsize: 1408808 KiB
Current children cumulated memory: 1285588 KiB
Child status: 0
Real time (s): 3597.23
CPU time (s): 3588.59
CPU user time (s): 3588.07
CPU system time (s): 0.521584
CPU usage (%): 99.7599
Max. virtual memory (cumulated for all children) (KiB): 1408808
Max. memory (cumulated for all children) (KiB): 1285588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.07
system time used= 0.521584
maximum resident set size= 1285588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197124
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= 43
involuntary context switches= 3813
# summary of solver processes directly reported to runsolver:
# pid: 253797
# total CPU time (s): 3588.59
# total CPU user time (s): 3588.07
# total CPU system time (s): 0.521584
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.22269 second user time and 15.1123 second system time
The end
Begin job on nodeC014 at 2024-07-25 22:31:02 IDJOB=4459760 IDBENCH=148535 IDSOLVER=3059 FILE ID=nodeC014/4459760-1721939462 RUNJOBID= nodeC014-1721939462-253745 SLURM_JOB_ID= 8247236 Free space on /tmp= 890000 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_3.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-4459760-1721939462/watcher-4459760-1721939462 -o /tmp/evaluation-result-4459760-1721939462/solver-4459760-1721939462 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721939462-253745 --watchdog 3760 pbscip -f HOME/instance-4459760-1721939462.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= fd2f82137517c7c348dacac3fbe759ff RANDOM SEED=1503976896 nodeC014.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 : 2747.592 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.45 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 : 3679.421 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.48 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 : 3249.217 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.45 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 : 3686.256 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.48 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 : 2314.028 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.45 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 : 3669.121 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.48 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 : 1856.239 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.45 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 : 3661.236 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.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122584372 kB MemAvailable: 129774736 kB Buffers: 332168 kB Cached: 7651052 kB SwapCached: 140 kB Active: 767716 kB Inactive: 7505372 kB Active(anon): 2056 kB Inactive(anon): 341120 kB Active(file): 765660 kB Inactive(file): 7164252 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131060368 kB Dirty: 55476 kB Writeback: 0 kB AnonPages: 287212 kB Mapped: 104404 kB Shmem: 52988 kB KReclaimable: 200552 kB Slab: 322592 kB SReclaimable: 200552 kB SUnreclaim: 122040 kB KernelStack: 3960 kB PageTables: 9432 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 654448 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 12800 kB HardwareCorrupted: 0 kB AnonHugePages: 157696 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: 393940 kB DirectMap2M: 46565376 kB DirectMap1G: 89128960 kB Free space on /tmp at the end= 889980 MiB End job on nodeC014 at 2024-07-25 23:31:00