Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 | SAT (TO) | -31 | 1800.06 | 1800.03 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_1.opb |
| MD5SUM | 2cdec46d3e8e924c4987d217b8438ed8 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -31 |
| Best CPU time to get the best result obtained on this benchmark | 1797.23 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -31 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| 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 | 200 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 43 |
| Number of terms in the objective function | 200 |
| 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 | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 6204 |
| Sum of products size (including duplicates) | 12408 |
| Number of different products | 3102 |
| Sum of products size | 6204 |
0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik 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-3450683-1307106825.opb>
0.00/0.02 c original problem has 3302 variables (3302 bin, 0 int, 0 impl, 0 cont) and 3502 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.03 o 0
0.00/0.03 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.03 c presolving:
0.00/0.07 c (round 1) 3102 del vars, 400 del conss, 0 add conss, 3102 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12408 impls, 0 clqs
0.07/0.08 c (round 2) 3102 del vars, 400 del conss, 0 add conss, 3102 chg bounds, 0 chg sides, 0 chg coeffs, 3102 upgd conss, 18612 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (3 rounds):
0.09/0.10 c 3102 deleted vars, 400 deleted constraints, 0 added constraints, 3102 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.10 c 18612 implications, 0 cliques
0.09/0.10 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 3102 constraints
0.09/0.10 c 3102 constraints of type <logicor>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.07
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 2.0.1.5
0.09/0.10 c
0.09/0.10 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c conflict/interconss = 0
0.09/0.10 c
0.09/0.10 c # should binary conflicts be preferred?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c conflict/preferbinary = TRUE
0.09/0.10 c
0.09/0.10 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.10 c constraints/agelimit = 1
0.09/0.10 c
0.09/0.10 c # should enforcement of pseudo solution be disabled?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/disableenfops = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1800
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 13950
0.09/0.10 c
0.09/0.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.10 c # [type: int, range: [1,2], default: 1]
0.09/0.10 c timing/clocktype = 2
0.09/0.10 c
0.09/0.10 c # belongs reading time to solving time?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c timing/reading = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/indicator/addCouplingCons = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.12 c t 0.1s| 1 | 0 | 206 | - | 10M| 0 | 200 | 200 |3102 | 200 |3102 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.09/0.12 o -1
0.09/0.12 c R 0.1s| 1 | 0 | 206 | - | 10M| 0 | 200 | 200 |3102 | 200 |3102 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.09/0.12 o -2
0.09/0.12 c s 0.1s| 1 | 0 | 206 | - | 10M| 0 | 200 | 200 |3102 | 200 |3102 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.09/0.17 c 0.2s| 1 | 0 | 317 | - | 10M| 0 | 191 | 200 |3102 | 200 |3107 | 5 | 0 | 0 |-9.550000e+01 |-2.000000e+00 | 97.91%
0.09/0.17 o -21
0.09/0.17 c b 0.2s| 1 | 0 | 317 | - | 10M| 0 | 191 | 200 |3102 | 200 |3107 | 5 | 0 | 0 |-9.550000e+01 |-2.100000e+01 | 78.01%
0.19/0.25 c 0.2s| 1 | 0 | 522 | - | 10M| 0 | 180 | 200 |3102 | 200 |3118 | 16 | 0 | 0 |-9.000000e+01 |-2.100000e+01 | 76.67%
0.29/0.30 c 0.3s| 1 | 0 | 582 | - | 10M| 0 | 174 | 200 |3102 | 200 |3127 | 25 | 0 | 0 |-8.700000e+01 |-2.100000e+01 | 75.86%
0.29/0.38 c 0.4s| 1 | 0 | 702 | - | 10M| 0 | 168 | 200 |3102 | 200 |3140 | 38 | 0 | 0 |-8.400000e+01 |-2.100000e+01 | 75.00%
0.39/0.50 c 0.5s| 1 | 0 | 986 | - | 10M| 0 | 163 | 200 |3102 | 200 |3146 | 44 | 0 | 0 |-8.150000e+01 |-2.100000e+01 | 74.23%
0.49/0.55 c 0.5s| 1 | 0 | 1050 | - | 10M| 0 | 159 | 200 |3102 | 200 |3152 | 50 | 0 | 0 |-7.950000e+01 |-2.100000e+01 | 73.58%
0.59/0.62 c 0.6s| 1 | 0 | 1240 | - | 10M| 0 | 159 | 200 |3102 | 200 |3160 | 58 | 0 | 0 |-7.825000e+01 |-2.100000e+01 | 73.16%
0.69/0.70 c 0.7s| 1 | 0 | 1334 | - | 10M| 0 | 162 | 200 |3102 | 200 |3165 | 63 | 0 | 0 |-7.713333e+01 |-2.100000e+01 | 72.77%
0.69/0.80 c 0.8s| 1 | 0 | 1580 | - | 11M| 0 | 155 | 200 |3102 | 200 |3177 | 75 | 0 | 0 |-7.533333e+01 |-2.100000e+01 | 72.12%
0.79/0.89 c 0.9s| 1 | 0 | 1818 | - | 11M| 0 | 146 | 200 |3102 | 200 |3188 | 86 | 0 | 0 |-7.300000e+01 |-2.100000e+01 | 71.23%
0.89/0.94 c 0.9s| 1 | 0 | 1929 | - | 11M| 0 | 145 | 200 |3102 | 200 | 496 | 97 | 0 | 0 |-7.200000e+01 |-2.100000e+01 | 70.83%
0.89/0.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.98 c 1.0s| 1 | 0 | 2299 | - | 11M| 0 | 142 | 200 |3102 | 200 | 504 | 105 | 0 | 0 |-7.150000e+01 |-2.100000e+01 | 70.63%
1.00/1.03 c 1.0s| 1 | 0 | 2772 | - | 11M| 0 | 147 | 200 |3102 | 200 | 526 | 127 | 0 | 0 |-6.966667e+01 |-2.100000e+01 | 69.86%
1.00/1.06 c 1.1s| 1 | 0 | 3029 | - | 11M| 0 | 166 | 200 |3102 | 200 | 577 | 178 | 0 | 0 |-6.788889e+01 |-2.100000e+01 | 69.07%
1.10/1.13 c 1.1s| 1 | 0 | 3231 | - | 11M| 0 | 152 | 200 |3102 | 200 | 809 | 410 | 0 | 0 |-6.649479e+01 |-2.100000e+01 | 68.42%
1.10/1.19 c 1.2s| 1 | 0 | 3537 | - | 12M| 0 | 146 | 200 |3102 | 200 | 885 | 486 | 0 | 0 |-6.468966e+01 |-2.100000e+01 | 67.54%
1.19/1.28 c 1.3s| 1 | 0 | 3930 | - | 13M| 0 | 147 | 200 |3102 | 200 | 724 | 524 | 0 | 0 |-6.316667e+01 |-2.100000e+01 | 66.75%
1.29/1.32 c 1.3s| 1 | 0 | 4059 | - | 13M| 0 | 152 | 200 |3102 | 200 | 763 | 563 | 0 | 0 |-6.250000e+01 |-2.100000e+01 | 66.40%
1.29/1.38 c 1.4s| 1 | 0 | 4181 | - | 13M| 0 | 165 | 200 |3102 | 200 | 795 | 595 | 0 | 0 |-6.175000e+01 |-2.100000e+01 | 65.99%
1.39/1.49 c 1.5s| 1 | 0 | 4706 | - | 15M| 0 | 159 | 200 |3102 | 200 | 872 | 672 | 0 | 0 |-6.004386e+01 |-2.100000e+01 | 65.03%
1.49/1.56 c 1.6s| 1 | 0 | 5122 | - | 15M| 0 | 169 | 200 |3102 | 200 | 909 | 709 | 0 | 0 |-5.879956e+01 |-2.100000e+01 | 64.29%
1.59/1.64 c 1.6s| 1 | 0 | 5558 | - | 15M| 0 | 154 | 200 |3102 | 200 | 977 | 777 | 0 | 0 |-5.787037e+01 |-2.100000e+01 | 63.71%
1.59/1.69 c 1.7s| 1 | 0 | 5817 | - | 16M| 0 | 160 | 200 |3102 | 200 | 900 | 814 | 0 | 0 |-5.728745e+01 |-2.100000e+01 | 63.34%
1.69/1.77 c 1.8s| 1 | 0 | 6176 | - | 17M| 0 | 173 | 200 |3102 | 200 | 923 | 837 | 0 | 0 |-5.659907e+01 |-2.100000e+01 | 62.90%
1.79/1.86 c 1.9s| 1 | 0 | 6567 | - | 17M| 0 | 168 | 200 |3102 | 200 | 963 | 877 | 0 | 0 |-5.609084e+01 |-2.100000e+01 | 62.56%
1.89/1.95 c 1.9s| 1 | 0 | 6996 | - | 17M| 0 | 171 | 200 |3102 | 200 |1028 | 942 | 0 | 0 |-5.509237e+01 |-2.100000e+01 | 61.88%
1.99/2.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.99/2.05 c 2.1s| 1 | 0 | 7525 | - | 18M| 0 | 175 | 200 |3102 | 200 |1058 | 972 | 0 | 0 |-5.451286e+01 |-2.100000e+01 | 61.48%
2.10/2.14 c 2.1s| 1 | 0 | 7920 | - | 18M| 0 | 182 | 200 |3102 | 200 |1080 | 994 | 0 | 0 |-5.410436e+01 |-2.100000e+01 | 61.19%
2.20/2.23 c 2.2s| 1 | 0 | 8150 | - | 18M| 0 | 180 | 200 |3102 | 200 | 697 |1010 | 0 | 0 |-5.359852e+01 |-2.100000e+01 | 60.82%
2.29/2.30 c 2.3s| 1 | 0 | 8500 | - | 18M| 0 | 173 | 200 |3102 | 200 | 708 |1021 | 0 | 0 |-5.306086e+01 |-2.100000e+01 | 60.42%
2.29/2.36 c 2.4s| 1 | 0 | 8767 | - | 18M| 0 | 178 | 200 |3102 | 200 | 729 |1042 | 0 | 0 |-5.255581e+01 |-2.100000e+01 | 60.04%
2.39/2.42 c 2.4s| 1 | 0 | 8928 | - | 18M| 0 | 179 | 200 |3102 | 200 | 744 |1057 | 0 | 0 |-5.220597e+01 |-2.100000e+01 | 59.77%
2.39/2.48 c 2.5s| 1 | 0 | 9092 | - | 18M| 0 | 179 | 200 |3102 | 200 | 758 |1071 | 0 | 0 |-5.201343e+01 |-2.100000e+01 | 59.63%
2.49/2.54 c 2.5s| 1 | 0 | 9344 | - | 18M| 0 | 185 | 200 |3102 | 200 | 783 |1096 | 0 | 0 |-5.174240e+01 |-2.100000e+01 | 59.41%
2.59/2.61 c 2.6s| 1 | 0 | 9524 | - | 18M| 0 | 184 | 200 |3102 | 200 | 565 |1125 | 0 | 0 |-5.151859e+01 |-2.100000e+01 | 59.24%
2.59/2.66 c 2.7s| 1 | 0 | 9698 | - | 18M| 0 | 186 | 200 |3102 | 200 | 575 |1135 | 0 | 0 |-5.125634e+01 |-2.100000e+01 | 59.03%
2.69/2.70 c 2.7s| 1 | 0 | 9783 | - | 18M| 0 | 182 | 200 |3102 | 200 | 585 |1145 | 0 | 0 |-5.113007e+01 |-2.100000e+01 | 58.93%
2.69/2.75 c 2.7s| 1 | 0 | 9894 | - | 18M| 0 | 187 | 200 |3102 | 200 | 596 |1156 | 0 | 0 |-5.106160e+01 |-2.100000e+01 | 58.87%
2.79/2.80 c 2.8s| 1 | 0 | 10051 | - | 18M| 0 | 190 | 200 |3102 | 200 | 606 |1166 | 0 | 0 |-5.087609e+01 |-2.100000e+01 | 58.72%
2.79/2.85 c 2.9s| 1 | 0 | 10184 | - | 18M| 0 | 190 | 200 |3102 | 200 | 617 |1177 | 0 | 0 |-5.072202e+01 |-2.100000e+01 | 58.60%
2.89/2.90 c 2.9s| 1 | 0 | 10269 | - | 18M| 0 | 193 | 200 |3102 | 200 | 459 |1186 | 0 | 0 |-5.060802e+01 |-2.100000e+01 | 58.50%
2.89/2.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.89/2.94 c 2.9s| 1 | 0 | 10382 | - | 18M| 0 | 197 | 200 |3102 | 200 | 468 |1195 | 0 | 0 |-5.052817e+01 |-2.100000e+01 | 58.44%
2.89/2.98 c 3.0s| 1 | 0 | 10479 | - | 18M| 0 | 199 | 200 |3102 | 200 | 479 |1206 | 0 | 0 |-5.042045e+01 |-2.100000e+01 | 58.35%
2.99/3.03 c 3.0s| 1 | 0 | 10676 | - | 18M| 0 | 195 | 200 |3102 | 200 | 489 |1216 | 0 | 0 |-5.021362e+01 |-2.100000e+01 | 58.18%
2.99/3.08 c 3.1s| 1 | 0 | 10884 | - | 18M| 0 | 198 | 200 |3102 | 200 | 498 |1225 | 0 | 0 |-4.990893e+01 |-2.100000e+01 | 57.92%
3.09/3.12 c 3.1s| 1 | 0 | 10997 | - | 18M| 0 | 198 | 200 |3102 | 200 | 508 |1235 | 0 | 0 |-4.981607e+01 |-2.100000e+01 | 57.84%
3.09/3.17 c 3.2s| 1 | 0 | 11092 | - | 18M| 0 | 198 | 200 |3102 | 200 | 429 |1240 | 0 | 0 |-4.968482e+01 |-2.100000e+01 | 57.73%
3.09/3.20 c 3.2s| 1 | 0 | 11194 | - | 18M| 0 | 197 | 200 |3102 | 200 | 440 |1251 | 0 | 0 |-4.959468e+01 |-2.100000e+01 | 57.66%
3.20/3.24 c 3.2s| 1 | 0 | 11262 | - | 18M| 0 | 199 | 200 |3102 | 200 | 448 |1259 | 0 | 0 |-4.951147e+01 |-2.100000e+01 | 57.59%
3.20/3.28 c 3.3s| 1 | 0 | 11357 | - | 18M| 0 | 199 | 200 |3102 | 200 | 461 |1272 | 0 | 0 |-4.940036e+01 |-2.100000e+01 | 57.49%
3.30/3.32 c 3.3s| 1 | 0 | 11428 | - | 18M| 0 | 199 | 200 |3102 | 200 | 470 |1281 | 0 | 0 |-4.935870e+01 |-2.100000e+01 | 57.45%
3.30/3.37 c 3.4s| 1 | 0 | 11594 | - | 18M| 0 | 199 | 200 |3102 | 200 | 479 |1290 | 0 | 0 |-4.926497e+01 |-2.100000e+01 | 57.37%
3.39/3.41 c 3.4s| 1 | 0 | 11663 | - | 18M| 0 | 199 | 200 |3102 | 200 | 440 |1297 | 0 | 0 |-4.921114e+01 |-2.100000e+01 | 57.33%
3.39/3.45 c 3.4s| 1 | 0 | 11747 | - | 18M| 0 | 200 | 200 |3102 | 200 | 448 |1305 | 0 | 0 |-4.911536e+01 |-2.100000e+01 | 57.24%
3.39/3.49 c 3.5s| 1 | 0 | 11827 | - | 18M| 0 | 199 | 200 |3102 | 200 | 451 |1308 | 0 | 0 |-4.909522e+01 |-2.100000e+01 | 57.23%
3.49/3.53 c 3.5s| 1 | 0 | 11976 | - | 18M| 0 | 198 | 200 |3102 | 200 | 458 |1315 | 0 | 0 |-4.898411e+01 |-2.100000e+01 | 57.13%
3.49/3.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.49/3.57 c 3.6s| 1 | 0 | 12061 | - | 18M| 0 | 200 | 200 |3102 | 200 | 468 |1325 | 0 | 0 |-4.895761e+01 |-2.100000e+01 | 57.11%
3.59/3.61 c 3.6s| 1 | 0 | 12129 | - | 18M| 0 | 200 | 200 |3102 | 200 | 476 |1333 | 0 | 0 |-4.891159e+01 |-2.100000e+01 | 57.07%
3.59/3.65 c 3.7s| 1 | 0 | 12269 | - | 18M| 0 | 200 | 200 |3102 | 200 | 433 |1342 | 0 | 0 |-4.884325e+01 |-2.100000e+01 | 57.01%
3.59/3.69 c 3.7s| 1 | 0 | 12365 | - | 18M| 0 | 200 | 200 |3102 | 200 | 441 |1350 | 0 | 0 |-4.878397e+01 |-2.100000e+01 | 56.95%
3.69/3.73 c 3.7s| 1 | 0 | 12470 | - | 18M| 0 | 200 | 200 |3102 | 200 | 451 |1360 | 0 | 0 |-4.873035e+01 |-2.100000e+01 | 56.91%
3.69/3.77 c 3.8s| 1 | 0 | 12558 | - | 18M| 0 | 200 | 200 |3102 | 200 | 462 |1371 | 0 | 0 |-4.869150e+01 |-2.100000e+01 | 56.87%
3.79/3.81 c 3.8s| 1 | 0 | 12631 | - | 18M| 0 | 199 | 200 |3102 | 200 | 470 |1379 | 0 | 0 |-4.867527e+01 |-2.100000e+01 | 56.86%
3.79/3.85 c 3.8s| 1 | 0 | 12682 | - | 18M| 0 | 200 | 200 |3102 | 200 | 477 |1386 | 0 | 0 |-4.865112e+01 |-2.100000e+01 | 56.84%
3.79/3.89 c 3.9s| 1 | 0 | 12737 | - | 18M| 0 | 200 | 200 |3102 | 200 | 445 |1394 | 0 | 0 |-4.863899e+01 |-2.100000e+01 | 56.82%
3.89/3.92 c 3.9s| 1 | 0 | 12765 | - | 18M| 0 | 199 | 200 |3102 | 200 | 451 |1400 | 0 | 0 |-4.863593e+01 |-2.100000e+01 | 56.82%
3.89/3.96 c 4.0s| 1 | 0 | 12771 | - | 18M| 0 | 200 | 200 |3102 | 200 | 453 |1402 | 0 | 0 |-4.863580e+01 |-2.100000e+01 | 56.82%
3.89/3.99 c 4.0s| 1 | 0 | 12778 | - | 18M| 0 | 200 | 200 |3102 | 200 | 454 |1403 | 0 | 0 |-4.863542e+01 |-2.100000e+01 | 56.82%
3.99/4.02 c 4.0s| 1 | 0 | 12787 | - | 18M| 0 | 200 | 200 |3102 | 200 | 456 |1405 | 0 | 0 |-4.863479e+01 |-2.100000e+01 | 56.82%
5.59/5.61 c 5.6s| 1 | 2 | 12787 | - | 18M| 0 | 200 | 200 |3102 | 200 | 456 |1405 | 0 | 31 |-4.863479e+01 |-2.100000e+01 | 56.82%
6.39/6.41 o -22
6.39/6.41 c * 6.4s| 15 | 14 | 13754 | 69.1 | 18M| 14 | - | 200 |3102 | 200 | 233 |1476 | 0 | 292 |-4.834524e+01 |-2.200000e+01 | 54.49%
6.69/6.71 o -23
6.69/6.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.69/6.71 c z 6.7s| 28 | 23 | 14360 | 58.3 | 18M| 15 | 8 | 200 |3102 | 200 | 229 |1560 | 0 | 492 |-4.834524e+01 |-2.300000e+01 | 52.43%
6.99/7.02 o -25
6.99/7.02 c * 7.0s| 44 | 28 | 15175 | 55.5 | 18M| 15 | - | 200 |3102 | 200 | 241 |1679 | 0 | 655 |-4.834524e+01 |-2.500000e+01 | 48.29%
7.79/7.89 o -26
7.79/7.89 c * 7.9s| 230 | 93 | 19808 | 30.7 | 19M| 18 | - | 200 |3102 | 200 | 231 |3447 | 0 |1376 |-4.832131e+01 |-2.600000e+01 | 46.19%
8.89/8.99 o -27
8.89/8.99 c * 9.0s| 761 | 244 | 33107 | 26.7 | 19M| 29 | - | 200 |3102 | 200 | 215 |8102 | 0 |1528 |-4.816763e+01 |-2.700000e+01 | 43.95%
18.99/19.01 c 19.0s| 10000 | 4373 |290906 | 27.8 | 24M| 56 | - | 200 |3102 | 200 | 216 | 108k| 0 |1584 |-4.548421e+01 |-2.700000e+01 | 40.64%
27.69/27.74 c 27.7s| 20000 | 8089 |514923 | 25.1 | 28M| 56 | 7 | 200 |3102 | 200 | 215 | 211k| 0 |1984 |-4.468603e+01 |-2.700000e+01 | 39.58%
35.69/35.79 c 35.8s| 30000 | 11367 |722675 | 23.7 | 32M| 61 | - | 200 |3102 | 200 | 216 | 316k| 0 |2450 |-4.425926e+01 |-2.700000e+01 | 39.00%
42.79/42.86 c 42.9s| 40000 | 14027 |903233 | 22.3 | 35M| 65 | 15 | 200 |3102 | 200 | 213 | 414k| 0 |2806 |-4.404255e+01 |-2.700000e+01 | 38.70%
49.89/49.93 c 49.9s| 50000 | 16709 | 1085k| 21.5 | 39M| 65 | 6 | 200 |3102 | 200 | 200 | 513k| 0 |3191 |-4.383725e+01 |-2.700000e+01 | 38.41%
56.88/56.91 c 56.9s| 60000 | 19299 | 1264k| 20.9 | 42M| 69 | - | 200 |3102 | 200 | 233 | 612k| 0 |3567 |-4.360976e+01 |-2.700000e+01 | 38.09%
57.88/57.94 o -28
57.88/57.94 c *57.9s| 61527 | 15479 | 1291k| 20.8 | 38M| 69 | - | 200 |3102 | 200 | 244 | 626k| 0 |3568 |-4.358333e+01 |-2.800000e+01 | 35.76%
63.80/63.87 c 63.9s| 70000 | 17092 | 1441k| 20.4 | 41M| 71 | 31 | 200 |3102 | 200 | 216 | 707k| 0 |3869 |-4.337725e+01 |-2.800000e+01 | 35.45%
70.48/70.50 c 70.5s| 80000 | 18916 | 1610k| 20.0 | 43M| 73 | 24 | 200 |3102 | 200 | 220 | 801k| 0 |4165 |-4.317857e+01 |-2.800000e+01 | 35.15%
77.01/77.01 c 77.0s| 90000 | 20672 | 1775k| 19.6 | 46M| 77 | 43 | 200 |3102 | 200 | 218 | 895k| 0 |4462 |-4.301042e+01 |-2.800000e+01 | 34.90%
83.49/83.54 c 83.5s|100000 | 22514 | 1944k| 19.3 | 48M| 77 | 49 | 200 |3102 | 200 | 214 | 988k| 0 |4720 |-4.284293e+01 |-2.800000e+01 | 34.64%
89.79/89.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.79/89.80 c 89.8s|110000 | 24084 | 2104k| 19.0 | 51M| 82 | 6 | 200 |3102 | 200 | 222 |1082k| 0 |4940 |-4.276119e+01 |-2.800000e+01 | 34.52%
95.79/95.85 c 95.9s|120000 | 25550 | 2256k| 18.7 | 53M| 82 | - | 200 |3102 | 200 | 221 |1172k| 0 |5150 |-4.265866e+01 |-2.800000e+01 | 34.36%
101.99/102.00 c 102s|130000 | 27038 | 2411k| 18.5 | 55M| 82 | 5 | 200 |3102 | 200 | 200 |1264k| 0 |5401 |-4.254545e+01 |-2.800000e+01 | 34.19%
105.50/105.53 o -29
105.50/105.53 c * 106s|135688 | 23000 | 2503k| 18.4 | 50M| 82 | - | 200 |3102 | 200 | 230 |1317k| 0 |5506 |-4.248485e+01 |-2.900000e+01 | 31.74%
108.19/108.28 c 108s|140000 | 23520 | 2571k| 18.3 | 51M| 82 | 34 | 200 |3102 | 200 | 239 |1359k| 0 |5596 |-4.245077e+01 |-2.900000e+01 | 31.69%
114.30/114.34 c 114s|150000 | 24720 | 2724k| 18.1 | 53M| 82 | - | 200 |3102 | 200 | 213 |1450k| 0 |5783 |-4.234043e+01 |-2.900000e+01 | 31.51%
120.39/120.41 c 120s|160000 | 25908 | 2878k| 17.9 | 55M| 82 | 32 | 200 |3102 | 200 | 227 |1541k| 0 |6044 |-4.225862e+01 |-2.900000e+01 | 31.37%
126.29/126.39 c 126s|170000 | 27068 | 3031k| 17.8 | 56M| 83 | - | 200 |3102 | 200 | 218 |1632k| 0 |6257 |-4.217544e+01 |-2.900000e+01 | 31.24%
132.39/132.48 c 132s|180000 | 28220 | 3185k| 17.6 | 58M| 83 | 26 | 200 |3102 | 200 | 215 |1725k| 0 |6446 |-4.210674e+01 |-2.900000e+01 | 31.13%
138.40/138.47 c 138s|190000 | 29384 | 3337k| 17.5 | 60M| 83 | 12 | 200 |3102 | 200 | 221 |1820k| 0 |6642 |-4.200877e+01 |-2.900000e+01 | 30.97%
144.39/144.45 c 144s|200000 | 30646 | 3488k| 17.4 | 62M| 83 | - | 200 |3102 | 200 | 226 |1917k| 0 |6828 |-4.197475e+01 |-2.900000e+01 | 30.91%
150.29/150.38 c 150s|210000 | 31844 | 3638k| 17.3 | 64M| 83 | - | 200 |3102 | 200 | 216 |2010k| 0 |6980 |-4.190641e+01 |-2.900000e+01 | 30.80%
156.50/156.52 c 157s|220000 | 33090 | 3794k| 17.2 | 65M| 83 | - | 200 |3102 | 200 | 216 |2105k| 0 |7117 |-4.182857e+01 |-2.900000e+01 | 30.67%
162.49/162.55 c 163s|230000 | 34352 | 3950k| 17.1 | 67M| 83 | 41 | 200 |3102 | 200 | 220 |2202k| 0 |7289 |-4.175946e+01 |-2.900000e+01 | 30.55%
168.49/168.59 c 169s|240000 | 35502 | 4103k| 17.0 | 69M| 91 | 51 | 200 |3102 | 200 | 220 |2298k| 0 |7450 |-4.169608e+01 |-2.900000e+01 | 30.45%
174.49/174.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
174.49/174.53 c 175s|250000 | 36602 | 4254k| 17.0 | 71M| 91 | - | 200 |3102 | 200 | 244 |2392k| 0 |7631 |-4.162500e+01 |-2.900000e+01 | 30.33%
180.30/180.34 c 180s|260000 | 37708 | 4400k| 16.9 | 72M| 91 | - | 200 |3102 | 200 | 222 |2484k| 0 |7805 |-4.155000e+01 |-2.900000e+01 | 30.20%
186.19/186.22 c 186s|270000 | 38774 | 4550k| 16.8 | 74M| 91 | - | 200 |3102 | 200 | 212 |2578k| 0 |7952 |-4.150000e+01 |-2.900000e+01 | 30.12%
192.00/192.04 c 192s|280000 | 39886 | 4698k| 16.7 | 76M| 91 | - | 200 |3102 | 200 | 245 |2672k| 0 |8062 |-4.145455e+01 |-2.900000e+01 | 30.04%
197.79/197.87 c 198s|290000 | 40930 | 4846k| 16.7 | 77M| 91 | - | 200 |3102 | 200 | 233 |2765k| 0 |8227 |-4.139454e+01 |-2.900000e+01 | 29.94%
203.59/203.65 c 204s|300000 | 41922 | 4991k| 16.6 | 79M| 91 | - | 200 |3102 | 200 | 229 |2859k| 0 |8399 |-4.133721e+01 |-2.900000e+01 | 29.85%
209.39/209.41 c 209s|310000 | 42908 | 5136k| 16.5 | 80M| 96 | 33 | 200 |3102 | 200 | 222 |2953k| 0 |8495 |-4.129710e+01 |-2.900000e+01 | 29.78%
215.19/215.23 c 215s|320000 | 43978 | 5283k| 16.5 | 82M| 96 | 51 | 200 |3102 | 200 | 200 |3044k| 0 |8662 |-4.125000e+01 |-2.900000e+01 | 29.70%
221.00/221.07 c 221s|330000 | 45042 | 5431k| 16.4 | 84M| 96 | 16 | 200 |3102 | 200 | 213 |3136k| 0 |8802 |-4.120000e+01 |-2.900000e+01 | 29.61%
226.79/226.83 c 227s|340000 | 46108 | 5578k| 16.4 | 85M| 96 | - | 200 |3102 | 200 | 221 |3229k| 0 |8913 |-4.115000e+01 |-2.900000e+01 | 29.53%
232.49/232.58 c 233s|350000 | 47092 | 5724k| 16.3 | 87M| 96 | 31 | 200 |3102 | 200 | 218 |3321k| 0 |9087 |-4.110317e+01 |-2.900000e+01 | 29.45%
238.09/238.18 c 238s|360000 | 48112 | 5866k| 16.3 | 88M| 96 | 23 | 200 |3102 | 200 | 216 |3413k| 0 |9202 |-4.105556e+01 |-2.900000e+01 | 29.36%
244.00/244.05 c 244s|370000 | 49220 | 6014k| 16.2 | 90M| 96 | - | 200 |3102 | 200 | 239 |3506k| 0 |9347 |-4.100000e+01 |-2.900000e+01 | 29.27%
249.80/249.83 c 250s|380000 | 50322 | 6162k| 16.2 | 92M| 96 | 55 | 200 |3102 | 200 | 213 |3599k| 0 |9431 |-4.100000e+01 |-2.900000e+01 | 29.27%
255.50/255.58 c 256s|390000 | 51438 | 6306k| 16.1 | 93M| 96 | - | 200 |3102 | 200 | 200 |3689k| 0 |9601 |-4.096591e+01 |-2.900000e+01 | 29.21%
261.19/261.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
261.19/261.26 c 261s|400000 | 52618 | 6450k| 16.1 | 95M| 96 | 16 | 200 |3102 | 200 | 230 |3782k| 0 |9740 |-4.091667e+01 |-2.900000e+01 | 29.12%
266.99/267.01 c 267s|410000 | 53658 | 6596k| 16.1 | 97M| 96 | 32 | 200 |3102 | 200 | 215 |3876k| 0 |9886 |-4.087500e+01 |-2.900000e+01 | 29.05%
272.70/272.72 c 273s|420000 | 54694 | 6741k| 16.0 | 98M| 96 | - | 200 |3102 | 200 | 214 |3968k| 0 |9971 |-4.082762e+01 |-2.900000e+01 | 28.97%
278.39/278.43 c 278s|430000 | 55714 | 6886k| 16.0 | 100M| 96 | 38 | 200 |3102 | 200 | 213 |4060k| 0 | 10k|-4.077778e+01 |-2.900000e+01 | 28.88%
284.10/284.18 c 284s|440000 | 56750 | 7033k| 16.0 | 101M| 96 | 43 | 200 |3102 | 200 | 200 |4154k| 0 | 10k|-4.075000e+01 |-2.900000e+01 | 28.83%
289.79/289.89 c 290s|450000 | 57792 | 7176k| 15.9 | 103M| 96 | - | 200 |3102 | 200 | 219 |4248k| 0 | 10k|-4.070000e+01 |-2.900000e+01 | 28.75%
295.69/295.74 c 296s|460000 | 58876 | 7326k| 15.9 | 104M| 96 | 20 | 200 |3102 | 200 | 219 |4339k| 0 | 10k|-4.066667e+01 |-2.900000e+01 | 28.69%
301.41/301.44 c 301s|470000 | 59910 | 7470k| 15.9 | 106M| 96 | - | 200 |3102 | 200 | 251 |4433k| 0 | 10k|-4.060811e+01 |-2.900000e+01 | 28.59%
306.99/307.04 c 307s|480000 | 60868 | 7610k| 15.8 | 107M| 96 | - | 200 |3102 | 200 | 249 |4523k| 0 | 10k|-4.057143e+01 |-2.900000e+01 | 28.52%
312.59/312.68 c 313s|490000 | 61936 | 7752k| 15.8 | 109M| 96 | 52 | 200 |3102 | 200 | 224 |4616k| 0 | 10k|-4.051111e+01 |-2.900000e+01 | 28.41%
318.20/318.23 c 318s|500000 | 62910 | 7891k| 15.8 | 110M| 96 | 51 | 200 |3102 | 200 | 200 |4709k| 0 | 10k|-4.050000e+01 |-2.900000e+01 | 28.40%
323.89/323.91 c 324s|510000 | 63950 | 8034k| 15.7 | 112M| 96 | 54 | 200 |3102 | 200 | 241 |4801k| 0 | 11k|-4.046667e+01 |-2.900000e+01 | 28.34%
329.50/329.54 c 330s|520000 | 64896 | 8176k| 15.7 | 114M| 96 | 36 | 200 |3102 | 200 | 226 |4892k| 0 | 11k|-4.041353e+01 |-2.900000e+01 | 28.24%
335.10/335.17 c 335s|530000 | 65942 | 8318k| 15.7 | 115M| 96 | - | 200 |3102 | 200 | 238 |4985k| 0 | 11k|-4.036667e+01 |-2.900000e+01 | 28.16%
340.80/340.80 c 341s|540000 | 66916 | 8459k| 15.6 | 117M| 96 | 6 | 200 |3102 | 200 | 200 |5077k| 0 | 11k|-4.033333e+01 |-2.900000e+01 | 28.10%
346.41/346.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.41/346.47 c 346s|550000 | 67918 | 8601k| 15.6 | 118M| 96 | - | 200 |3102 | 200 | 215 |5169k| 0 | 11k|-4.030000e+01 |-2.900000e+01 | 28.04%
352.10/352.11 c 352s|560000 | 68928 | 8742k| 15.6 | 120M| 96 | - | 200 |3102 | 200 | 216 |5260k| 0 | 11k|-4.025000e+01 |-2.900000e+01 | 27.95%
357.70/357.70 c 358s|570000 | 69930 | 8883k| 15.6 | 121M| 96 | 46 | 200 |3102 | 200 | 234 |5352k| 0 | 11k|-4.022917e+01 |-2.900000e+01 | 27.91%
363.29/363.38 c 363s|580000 | 70920 | 9028k| 15.5 | 123M| 96 | 51 | 200 |3102 | 200 | 229 |5446k| 0 | 11k|-4.018750e+01 |-2.900000e+01 | 27.84%
368.89/368.92 c 369s|590000 | 71850 | 9165k| 15.5 | 124M| 96 | - | 200 |3102 | 200 | 217 |5537k| 0 | 11k|-4.014286e+01 |-2.900000e+01 | 27.76%
374.50/374.51 c 375s|600000 | 72796 | 9306k| 15.5 | 125M| 96 | 5 | 200 |3102 | 200 | 200 |5630k| 0 | 12k|-4.010000e+01 |-2.900000e+01 | 27.68%
379.99/380.09 c 380s|610000 | 73774 | 9445k| 15.5 | 127M| 96 | - | 200 |3102 | 200 | 217 |5723k| 0 | 12k|-4.004444e+01 |-2.900000e+01 | 27.58%
385.60/385.64 c 386s|620000 | 74648 | 9585k| 15.4 | 128M| 96 | 14 | 200 |3102 | 200 | 212 |5816k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
391.20/391.20 c 391s|630000 | 75556 | 9725k| 15.4 | 130M| 96 | - | 200 |3102 | 200 | 218 |5905k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
396.69/396.72 c 397s|640000 | 76426 | 9864k| 15.4 | 131M| 96 | - | 200 |3102 | 200 | 254 |5996k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
402.20/402.23 c 402s|650000 | 77370 | 10003k| 15.4 | 132M| 96 | 28 | 200 |3102 | 200 | 223 |6087k| 0 | 12k|-4.000000e+01 |-2.900000e+01 | 27.50%
407.70/407.72 c 408s|660000 | 78250 | 10142k| 15.3 | 134M| 96 | - | 200 |3102 | 200 | 218 |6179k| 0 | 12k|-3.995455e+01 |-2.900000e+01 | 27.42%
413.30/413.32 c 413s|670000 | 79242 | 10282k| 15.3 | 135M| 96 | 5 | 200 |3102 | 200 | 200 |6271k| 0 | 12k|-3.990000e+01 |-2.900000e+01 | 27.32%
418.80/418.88 c 419s|680000 | 80152 | 10422k| 15.3 | 137M| 96 | 14 | 200 |3102 | 200 | 213 |6363k| 0 | 12k|-3.985714e+01 |-2.900000e+01 | 27.24%
424.29/424.35 c 424s|690000 | 81068 | 10559k| 15.3 | 138M| 96 | - | 200 |3102 | 200 | 233 |6454k| 0 | 12k|-3.983333e+01 |-2.900000e+01 | 27.20%
429.80/429.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
429.80/429.88 c 430s|700000 | 81924 | 10696k| 15.3 | 139M| 96 | - | 200 |3102 | 200 | 232 |6545k| 0 | 13k|-3.980000e+01 |-2.900000e+01 | 27.14%
435.20/435.29 c 435s|710000 | 82734 | 10830k| 15.2 | 141M| 96 | 31 | 200 |3102 | 200 | 217 |6634k| 0 | 13k|-3.975000e+01 |-2.900000e+01 | 27.04%
440.80/440.80 c 441s|720000 | 83646 | 10969k| 15.2 | 142M| 96 | - | 200 |3102 | 200 | 234 |6725k| 0 | 13k|-3.975000e+01 |-2.900000e+01 | 27.04%
446.20/446.26 c 446s|730000 | 84414 | 11105k| 15.2 | 143M| 96 | - | 200 |3102 | 200 | 238 |6817k| 0 | 13k|-3.970833e+01 |-2.900000e+01 | 26.97%
451.50/451.57 c 452s|740000 | 85212 | 11237k| 15.2 | 144M| 96 | 51 | 200 |3102 | 200 | 238 |6908k| 0 | 13k|-3.966667e+01 |-2.900000e+01 | 26.89%
456.90/456.94 c 457s|750000 | 86066 | 11371k| 15.1 | 146M| 96 | 65 | 200 |3102 | 200 | 246 |7001k| 0 | 13k|-3.966667e+01 |-2.900000e+01 | 26.89%
462.40/462.40 c 462s|760000 | 86970 | 11508k| 15.1 | 147M| 96 | 27 | 200 |3102 | 200 | 230 |7088k| 0 | 13k|-3.962366e+01 |-2.900000e+01 | 26.81%
467.70/467.79 c 468s|770000 | 87784 | 11643k| 15.1 | 148M| 96 | - | 200 |3102 | 200 | 230 |7178k| 0 | 13k|-3.958696e+01 |-2.900000e+01 | 26.74%
473.20/473.23 c 473s|780000 | 88568 | 11778k| 15.1 | 150M| 96 | - | 200 |3102 | 200 | 231 |7268k| 0 | 13k|-3.953846e+01 |-2.900000e+01 | 26.65%
478.51/478.57 c 479s|790000 | 89292 | 11910k| 15.1 | 151M| 96 | - | 200 |3102 | 200 | 230 |7358k| 0 | 13k|-3.950000e+01 |-2.900000e+01 | 26.58%
483.91/484.01 c 484s|800000 | 90190 | 12046k| 15.0 | 152M| 96 | - | 200 |3102 | 200 | 221 |7448k| 0 | 13k|-3.950000e+01 |-2.900000e+01 | 26.58%
489.41/489.42 c 489s|810000 | 90988 | 12180k| 15.0 | 153M| 96 | - | 200 |3102 | 200 | 222 |7541k| 0 | 13k|-3.950000e+01 |-2.900000e+01 | 26.58%
494.80/494.87 c 495s|820000 | 91796 | 12316k| 15.0 | 155M| 96 | 51 | 200 |3102 | 200 | 238 |7635k| 0 | 14k|-3.947619e+01 |-2.900000e+01 | 26.54%
500.09/500.19 c 500s|830000 | 92536 | 12445k| 15.0 | 156M| 96 | - | 200 |3102 | 200 | 216 |7723k| 0 | 14k|-3.942857e+01 |-2.900000e+01 | 26.45%
505.40/505.48 c 505s|840000 | 93182 | 12576k| 15.0 | 157M| 96 | - | 200 |3102 | 200 | 212 |7811k| 0 | 14k|-3.939535e+01 |-2.900000e+01 | 26.39%
510.80/510.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
510.80/510.89 c 511s|850000 | 93936 | 12710k| 14.9 | 158M| 96 | - | 200 |3102 | 200 | 253 |7902k| 0 | 14k|-3.935294e+01 |-2.900000e+01 | 26.31%
516.30/516.31 c 516s|860000 | 94734 | 12845k| 14.9 | 159M| 96 | - | 200 |3102 | 200 | 226 |7991k| 0 | 14k|-3.933333e+01 |-2.900000e+01 | 26.27%
521.70/521.74 c 522s|870000 | 95492 | 12980k| 14.9 | 161M| 96 | 18 | 200 |3102 | 200 | 212 |8082k| 0 | 14k|-3.933333e+01 |-2.900000e+01 | 26.27%
527.10/527.16 c 527s|880000 | 96242 | 13115k| 14.9 | 162M| 96 | 28 | 200 |3102 | 200 | 214 |8173k| 0 | 14k|-3.928571e+01 |-2.900000e+01 | 26.18%
532.60/532.61 c 533s|890000 | 97052 | 13252k| 14.9 | 163M| 96 | 44 | 200 |3102 | 200 | 231 |8263k| 0 | 14k|-3.925000e+01 |-2.900000e+01 | 26.11%
537.91/537.98 c 538s|900000 | 97830 | 13385k| 14.9 | 164M| 96 | 18 | 200 |3102 | 200 | 200 |8352k| 0 | 14k|-3.925000e+01 |-2.900000e+01 | 26.11%
543.20/543.28 c 543s|910000 | 98582 | 13515k| 14.8 | 165M| 96 | - | 200 |3102 | 200 | 229 |8442k| 0 | 14k|-3.920000e+01 |-2.900000e+01 | 26.02%
548.70/548.72 c 549s|920000 | 99282 | 13650k| 14.8 | 167M| 96 | - | 200 |3102 | 200 | 244 |8535k| 0 | 14k|-3.916667e+01 |-2.900000e+01 | 25.96%
554.10/554.17 c 554s|930000 |100056 | 13785k| 14.8 | 168M| 96 | - | 200 |3102 | 200 | 231 |8625k| 0 | 15k|-3.914286e+01 |-2.900000e+01 | 25.91%
559.50/559.59 c 560s|940000 |100872 | 13919k| 14.8 | 169M| 96 | - | 200 |3102 | 200 | 226 |8714k| 0 | 15k|-3.911111e+01 |-2.900000e+01 | 25.85%
564.90/564.91 c 565s|950000 |101594 | 14049k| 14.8 | 170M| 96 | 39 | 200 |3102 | 200 | 234 |8805k| 0 | 15k|-3.906250e+01 |-2.900000e+01 | 25.76%
570.30/570.32 c 570s|960000 |102344 | 14183k| 14.8 | 171M| 96 | - | 200 |3102 | 200 | 244 |8896k| 0 | 15k|-3.900000e+01 |-2.900000e+01 | 25.64%
573.90/573.99 o -30
573.90/573.99 c * 574s|966685 | 85772 | 14273k| 14.8 | 147M| 96 | - | 200 |3102 | 200 | 216 |8957k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
575.80/575.86 c 576s|970000 | 85863 | 14315k| 14.7 | 147M| 96 | - | 200 |3102 | 200 | 236 |8990k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
581.30/581.37 c 581s|980000 | 86337 | 14450k| 14.7 | 148M| 96 | - | 200 |3102 | 200 | 246 |9085k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
586.71/586.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
586.71/586.74 c 587s|990000 | 86795 | 14581k| 14.7 | 149M| 96 | - | 200 |3102 | 200 | 214 |9177k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
592.10/592.17 c 592s| 1000k| 87261 | 14712k| 14.7 | 150M| 96 | 54 | 200 |3102 | 200 | 218 |9270k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
597.60/597.65 c 598s| 1010k| 87749 | 14847k| 14.7 | 150M| 96 | 6 | 200 |3102 | 200 | 216 |9365k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
603.00/603.07 c 603s| 1020k| 88139 | 14978k| 14.7 | 151M| 96 | 12 | 200 |3102 | 200 | 215 |9458k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
608.41/608.48 c 608s| 1030k| 88655 | 15110k| 14.7 | 152M| 96 | - | 200 |3102 | 200 | 214 |9549k| 0 | 15k|-3.895000e+01 |-3.000000e+01 | 22.98%
613.82/613.82 c 614s| 1040k| 89115 | 15239k| 14.6 | 153M| 96 | 25 | 200 |3102 | 200 | 200 |9639k| 0 | 15k|-3.890000e+01 |-3.000000e+01 | 22.88%
619.10/619.16 c 619s| 1050k| 89455 | 15369k| 14.6 | 154M| 96 | 63 | 200 |3102 | 200 | 220 |9735k| 0 | 16k|-3.887097e+01 |-3.000000e+01 | 22.82%
624.41/624.41 c 624s| 1060k| 89747 | 15495k| 14.6 | 154M| 96 | 9 | 200 |3102 | 200 | 200 |9827k| 0 | 16k|-3.883333e+01 |-3.000000e+01 | 22.75%
629.70/629.73 c 630s| 1070k| 90125 | 15624k| 14.6 | 155M| 96 | 69 | 200 |3102 | 200 | 261 |9920k| 0 | 16k|-3.881818e+01 |-3.000000e+01 | 22.72%
635.11/635.12 c 635s| 1080k| 90537 | 15755k| 14.6 | 156M| 97 | 27 | 200 |3102 | 200 | 200 | 10M| 0 | 16k|-3.880000e+01 |-3.000000e+01 | 22.68%
640.40/640.44 c 640s| 1090k| 90971 | 15883k| 14.6 | 157M| 97 | - | 200 |3102 | 200 | 217 | 10M| 0 | 16k|-3.875000e+01 |-3.000000e+01 | 22.58%
645.72/645.76 c 646s| 1100k| 91475 | 16014k| 14.5 | 157M| 97 | - | 200 |3102 | 200 | 214 | 10M| 0 | 16k|-3.875000e+01 |-3.000000e+01 | 22.58%
651.00/651.01 c 651s| 1110k| 91853 | 16141k| 14.5 | 158M| 97 | - | 200 |3102 | 200 | 216 | 10M| 0 | 16k|-3.871739e+01 |-3.000000e+01 | 22.52%
656.31/656.34 c 656s| 1120k| 92265 | 16270k| 14.5 | 159M| 97 | - | 200 |3102 | 200 | 213 | 10M| 0 | 16k|-3.868000e+01 |-3.000000e+01 | 22.44%
661.60/661.63 c 662s| 1130k| 92751 | 16400k| 14.5 | 160M| 102 | 21 | 200 |3102 | 200 | 212 | 10M| 0 | 16k|-3.866667e+01 |-3.000000e+01 | 22.41%
666.91/666.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
666.91/666.97 c 667s| 1140k| 93151 | 16530k| 14.5 | 160M| 102 | - | 200 |3102 | 200 | 218 | 10M| 0 | 16k|-3.866667e+01 |-3.000000e+01 | 22.41%
672.21/672.20 c 672s| 1150k| 93509 | 16656k| 14.5 | 161M| 102 | 40 | 200 |3102 | 200 | 200 | 10M| 0 | 16k|-3.863158e+01 |-3.000000e+01 | 22.34%
677.41/677.47 c 677s| 1160k| 93897 | 16783k| 14.5 | 162M| 102 | 20 | 200 |3102 | 200 | 200 | 10M| 0 | 16k|-3.860000e+01 |-3.000000e+01 | 22.28%
682.70/682.74 c 683s| 1170k| 94231 | 16910k| 14.4 | 163M| 102 | - | 200 |3102 | 200 | 227 | 10M| 0 | 16k|-3.857143e+01 |-3.000000e+01 | 22.22%
688.00/688.06 c 688s| 1180k| 94569 | 17038k| 14.4 | 163M| 102 | 22 | 200 |3102 | 200 | 200 | 10M| 0 | 17k|-3.852459e+01 |-3.000000e+01 | 22.13%
693.31/693.36 c 693s| 1190k| 94885 | 17167k| 14.4 | 164M| 102 | 8 | 200 |3102 | 200 | 200 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
698.52/698.59 c 699s| 1200k| 95251 | 17293k| 14.4 | 165M| 102 | 16 | 200 |3102 | 200 | 200 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
703.70/703.77 c 704s| 1210k| 95537 | 17416k| 14.4 | 165M| 102 | - | 200 |3102 | 200 | 212 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
708.91/708.96 c 709s| 1220k| 95897 | 17542k| 14.4 | 166M| 102 | 34 | 200 |3102 | 200 | 214 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
714.20/714.23 c 714s| 1230k| 96219 | 17669k| 14.4 | 166M| 102 | 26 | 200 |3102 | 200 | 213 | 11M| 0 | 17k|-3.846154e+01 |-3.000000e+01 | 22.00%
719.51/719.51 c 720s| 1240k| 96577 | 17796k| 14.3 | 167M| 102 | - | 200 |3102 | 200 | 212 | 11M| 0 | 17k|-3.841935e+01 |-3.000000e+01 | 21.91%
724.61/724.69 c 725s| 1250k| 96981 | 17921k| 14.3 | 168M| 102 | 48 | 200 |3102 | 200 | 228 | 11M| 0 | 17k|-3.839286e+01 |-3.000000e+01 | 21.86%
729.90/729.90 c 730s| 1260k| 97297 | 18046k| 14.3 | 169M| 102 | - | 200 |3102 | 200 | 211 | 11M| 0 | 17k|-3.836111e+01 |-3.000000e+01 | 21.80%
735.00/735.09 c 735s| 1270k| 97611 | 18170k| 14.3 | 169M| 102 | - | 200 |3102 | 200 | 220 | 11M| 0 | 17k|-3.833333e+01 |-3.000000e+01 | 21.74%
740.21/740.27 c 740s| 1280k| 97961 | 18293k| 14.3 | 170M| 102 | - | 200 |3102 | 200 | 200 | 11M| 0 | 17k|-3.833333e+01 |-3.000000e+01 | 21.74%
745.40/745.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
745.40/745.47 c 745s| 1290k| 98245 | 18419k| 14.3 | 170M| 102 | - | 200 |3102 | 200 | 229 | 11M| 0 | 17k|-3.829167e+01 |-3.000000e+01 | 21.65%
750.60/750.68 c 751s| 1300k| 98541 | 18542k| 14.3 | 171M| 102 | 56 | 200 |3102 | 200 | 239 | 12M| 0 | 17k|-3.825000e+01 |-3.000000e+01 | 21.57%
755.80/755.80 c 756s| 1310k| 98835 | 18665k| 14.2 | 172M| 102 | - | 200 |3102 | 200 | 221 | 12M| 0 | 17k|-3.825000e+01 |-3.000000e+01 | 21.57%
760.91/760.97 c 761s| 1320k| 99085 | 18788k| 14.2 | 172M| 102 | 29 | 200 |3102 | 200 | 200 | 12M| 0 | 17k|-3.822222e+01 |-3.000000e+01 | 21.51%
766.11/766.11 c 766s| 1330k| 99367 | 18911k| 14.2 | 173M| 102 | 51 | 200 |3102 | 200 | 243 | 12M| 0 | 18k|-3.820000e+01 |-3.000000e+01 | 21.47%
771.30/771.30 c 771s| 1340k| 99619 | 19034k| 14.2 | 173M| 102 | 35 | 200 |3102 | 200 | 236 | 12M| 0 | 18k|-3.816667e+01 |-3.000000e+01 | 21.40%
776.31/776.39 c 776s| 1350k| 99905 | 19155k| 14.2 | 174M| 102 | 26 | 200 |3102 | 200 | 212 | 12M| 0 | 18k|-3.814286e+01 |-3.000000e+01 | 21.35%
781.50/781.52 c 782s| 1360k|100205 | 19277k| 14.2 | 174M| 102 | 19 | 200 |3102 | 200 | 200 | 12M| 0 | 18k|-3.811538e+01 |-3.000000e+01 | 21.29%
786.60/786.65 c 787s| 1370k|100433 | 19399k| 14.2 | 175M| 102 | 14 | 200 |3102 | 200 | 213 | 12M| 0 | 18k|-3.809091e+01 |-3.000000e+01 | 21.24%
791.81/791.82 c 792s| 1380k|100677 | 19521k| 14.1 | 175M| 102 | - | 200 |3102 | 200 | 242 | 12M| 0 | 18k|-3.804167e+01 |-3.000000e+01 | 21.14%
797.01/797.05 c 797s| 1390k|100905 | 19646k| 14.1 | 176M| 104 | 46 | 200 |3102 | 200 | 200 | 12M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
802.11/802.19 c 802s| 1400k|101195 | 19769k| 14.1 | 176M| 104 | 57 | 200 |3102 | 200 | 259 | 12M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
807.31/807.36 c 807s| 1410k|101487 | 19892k| 14.1 | 177M| 104 | 4 | 200 |3102 | 200 | 213 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
812.51/812.52 c 813s| 1420k|101783 | 20015k| 14.1 | 178M| 104 | 63 | 200 |3102 | 200 | 200 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
817.61/817.67 c 818s| 1430k|102051 | 20136k| 14.1 | 178M| 104 | 18 | 200 |3102 | 200 | 200 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
822.83/822.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
822.83/822.84 c 823s| 1440k|102341 | 20258k| 14.1 | 179M| 104 | 32 | 200 |3102 | 200 | 200 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
827.91/827.93 c 828s| 1450k|102603 | 20380k| 14.0 | 179M| 104 | 31 | 200 |3102 | 200 | 200 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
833.01/833.02 c 833s| 1460k|102881 | 20500k| 14.0 | 180M| 104 | 57 | 200 |3102 | 200 | 218 | 13M| 0 | 18k|-3.800000e+01 |-3.000000e+01 | 21.05%
838.22/838.25 c 838s| 1470k|103199 | 20625k| 14.0 | 180M| 104 | - | 200 |3102 | 200 | 249 | 13M| 0 | 19k|-3.800000e+01 |-3.000000e+01 | 21.05%
843.30/843.38 c 843s| 1480k|103487 | 20746k| 14.0 | 181M| 104 | - | 200 |3102 | 200 | 239 | 13M| 0 | 19k|-3.794118e+01 |-3.000000e+01 | 20.93%
848.41/848.43 c 848s| 1490k|103723 | 20863k| 14.0 | 181M| 104 | 12 | 200 |3102 | 200 | 217 | 13M| 0 | 19k|-3.789583e+01 |-3.000000e+01 | 20.84%
853.52/853.54 c 854s| 1500k|103937 | 20985k| 14.0 | 182M| 104 | - | 200 |3102 | 200 | 227 | 13M| 0 | 19k|-3.787500e+01 |-3.000000e+01 | 20.79%
858.61/858.61 c 859s| 1510k|104153 | 21102k| 14.0 | 182M| 104 | - | 200 |3102 | 200 | 248 | 13M| 0 | 19k|-3.783516e+01 |-3.000000e+01 | 20.71%
863.70/863.71 c 864s| 1520k|104383 | 21221k| 14.0 | 183M| 104 | - | 200 |3102 | 200 | 249 | 14M| 0 | 19k|-3.783333e+01 |-3.000000e+01 | 20.70%
868.71/868.76 c 869s| 1530k|104603 | 21339k| 13.9 | 183M| 104 | - | 200 |3102 | 200 | 225 | 14M| 0 | 19k|-3.780000e+01 |-3.000000e+01 | 20.63%
873.81/873.87 c 874s| 1540k|104855 | 21460k| 13.9 | 184M| 104 | 21 | 200 |3102 | 200 | 211 | 14M| 0 | 19k|-3.780000e+01 |-3.000000e+01 | 20.63%
878.92/878.96 c 879s| 1550k|105075 | 21578k| 13.9 | 184M| 104 | 39 | 200 |3102 | 200 | 212 | 14M| 0 | 19k|-3.775000e+01 |-3.000000e+01 | 20.53%
884.01/884.00 c 884s| 1560k|105293 | 21696k| 13.9 | 185M| 104 | - | 200 |3102 | 200 | 215 | 14M| 0 | 19k|-3.775000e+01 |-3.000000e+01 | 20.53%
889.01/889.06 c 889s| 1570k|105585 | 21816k| 13.9 | 185M| 104 | 12 | 200 |3102 | 200 | 200 | 14M| 0 | 19k|-3.773333e+01 |-3.000000e+01 | 20.49%
894.11/894.10 c 894s| 1580k|105859 | 21933k| 13.9 | 186M| 104 | 4 | 200 |3102 | 200 | 200 | 14M| 0 | 19k|-3.770370e+01 |-3.000000e+01 | 20.43%
899.11/899.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
899.11/899.18 c 899s| 1590k|106053 | 22052k| 13.9 | 186M| 104 | 33 | 200 |3102 | 200 | 228 | 14M| 0 | 19k|-3.766667e+01 |-3.000000e+01 | 20.35%
904.12/904.21 c 904s| 1600k|106325 | 22170k| 13.8 | 187M| 104 | - | 200 |3102 | 200 | 229 | 14M| 0 | 19k|-3.766667e+01 |-3.000000e+01 | 20.35%
909.21/909.25 c 909s| 1610k|106583 | 22288k| 13.8 | 187M| 104 | - | 200 |3102 | 200 | 200 | 14M| 0 | 19k|-3.766667e+01 |-3.000000e+01 | 20.35%
914.21/914.20 c 914s| 1620k|106725 | 22401k| 13.8 | 188M| 104 | 23 | 200 |3102 | 200 | 215 | 14M| 0 | 19k|-3.765217e+01 |-3.000000e+01 | 20.32%
919.21/919.22 c 919s| 1630k|106897 | 22518k| 13.8 | 188M| 104 | - | 200 |3102 | 200 | 212 | 14M| 0 | 19k|-3.762500e+01 |-3.000000e+01 | 20.27%
924.11/924.19 c 924s| 1640k|107075 | 22633k| 13.8 | 189M| 104 | 34 | 200 |3102 | 200 | 219 | 15M| 0 | 20k|-3.760000e+01 |-3.000000e+01 | 20.21%
929.11/929.19 c 929s| 1650k|107271 | 22749k| 13.8 | 189M| 104 | - | 200 |3102 | 200 | 225 | 15M| 0 | 20k|-3.757143e+01 |-3.000000e+01 | 20.15%
934.11/934.12 c 934s| 1660k|107389 | 22862k| 13.8 | 189M| 104 | 9 | 200 |3102 | 200 | 200 | 15M| 0 | 20k|-3.753846e+01 |-3.000000e+01 | 20.08%
939.01/939.07 c 939s| 1670k|107587 | 22978k| 13.8 | 190M| 104 | 57 | 200 |3102 | 200 | 216 | 15M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
944.01/944.07 c 944s| 1680k|107805 | 23092k| 13.7 | 190M| 104 | 46 | 200 |3102 | 200 | 259 | 15M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
949.01/949.08 c 949s| 1690k|107951 | 23207k| 13.7 | 191M| 104 | 42 | 200 |3102 | 200 | 234 | 15M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
954.01/954.02 c 954s| 1700k|108175 | 23321k| 13.7 | 191M| 104 | 18 | 200 |3102 | 200 | 200 | 15M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
958.91/958.98 c 959s| 1710k|108291 | 23434k| 13.7 | 191M| 104 | - | 200 |3102 | 200 | 246 | 15M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
963.91/963.92 c 964s| 1720k|108397 | 23546k| 13.7 | 192M| 104 | 32 | 200 |3102 | 200 | 223 | 15M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
968.81/968.88 c 969s| 1730k|108601 | 23661k| 13.7 | 192M| 104 | - | 200 |3102 | 200 | 218 | 15M| 0 | 20k|-3.750000e+01 |-3.000000e+01 | 20.00%
973.72/973.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
973.72/973.76 c 974s| 1740k|108725 | 23771k| 13.7 | 192M| 104 | 56 | 200 |3102 | 200 | 227 | 15M| 0 | 20k|-3.746667e+01 |-3.000000e+01 | 19.93%
978.71/978.74 c 979s| 1750k|108881 | 23885k| 13.6 | 193M| 104 | 17 | 200 |3102 | 200 | 213 | 15M| 0 | 20k|-3.743478e+01 |-3.000000e+01 | 19.86%
983.71/983.73 c 984s| 1760k|109017 | 23999k| 13.6 | 193M| 104 | - | 200 |3102 | 200 | 218 | 16M| 0 | 20k|-3.740000e+01 |-3.000000e+01 | 19.79%
988.62/988.69 c 989s| 1770k|109145 | 24111k| 13.6 | 194M| 104 | 22 | 200 |3102 | 200 | 213 | 16M| 0 | 20k|-3.738462e+01 |-3.000000e+01 | 19.75%
993.61/993.63 c 994s| 1780k|109275 | 24222k| 13.6 | 194M| 104 | 13 | 200 |3102 | 200 | 231 | 16M| 0 | 20k|-3.735714e+01 |-3.000000e+01 | 19.69%
998.41/998.48 c 998s| 1790k|109389 | 24332k| 13.6 | 194M| 104 | - | 200 |3102 | 200 | 228 | 16M| 0 | 20k|-3.733333e+01 |-3.000000e+01 | 19.64%
1003.41/1003.47 c 1003s| 1800k|109565 | 24445k| 13.6 | 195M| 104 | 19 | 200 |3102 | 200 | 211 | 16M| 0 | 20k|-3.733333e+01 |-3.000000e+01 | 19.64%
1008.32/1008.34 c 1008s| 1810k|109675 | 24555k| 13.6 | 195M| 104 | 11 | 200 |3102 | 200 | 200 | 16M| 0 | 21k|-3.733333e+01 |-3.000000e+01 | 19.64%
1013.31/1013.32 c 1013s| 1820k|109853 | 24670k| 13.5 | 195M| 104 | 31 | 200 |3102 | 200 | 218 | 16M| 0 | 21k|-3.730769e+01 |-3.000000e+01 | 19.59%
1018.21/1018.22 c 1018s| 1830k|109985 | 24781k| 13.5 | 196M| 104 | - | 200 |3102 | 200 | 212 | 16M| 0 | 21k|-3.727778e+01 |-3.000000e+01 | 19.52%
1023.11/1023.17 c 1023s| 1840k|110123 | 24893k| 13.5 | 196M| 104 | 14 | 200 |3102 | 200 | 230 | 16M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1028.01/1028.08 c 1028s| 1850k|110285 | 25005k| 13.5 | 196M| 104 | 10 | 200 |3102 | 200 | 200 | 16M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1032.92/1032.94 c 1033s| 1860k|110387 | 25113k| 13.5 | 197M| 104 | 43 | 200 |3102 | 200 | 224 | 16M| 0 | 21k|-3.725000e+01 |-3.000000e+01 | 19.46%
1037.71/1037.73 c 1038s| 1870k|110463 | 25221k| 13.5 | 197M| 104 | 60 | 200 |3102 | 200 | 235 | 16M| 0 | 21k|-3.722222e+01 |-3.000000e+01 | 19.40%
1042.61/1042.64 c 1043s| 1880k|110547 | 25330k| 13.5 | 197M| 104 | - | 200 |3102 | 200 | 240 | 17M| 0 | 21k|-3.720000e+01 |-3.000000e+01 | 19.35%
1047.42/1047.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1047.42/1047.49 c 1047s| 1890k|110697 | 25440k| 13.5 | 198M| 104 | 6 | 200 |3102 | 200 | 232 | 17M| 0 | 21k|-3.716667e+01 |-3.000000e+01 | 19.28%
1052.32/1052.37 c 1052s| 1900k|110805 | 25549k| 13.4 | 198M| 104 | - | 200 |3102 | 200 | 230 | 17M| 0 | 21k|-3.716667e+01 |-3.000000e+01 | 19.28%
1057.21/1057.24 c 1057s| 1910k|110913 | 25659k| 13.4 | 198M| 104 | 30 | 200 |3102 | 200 | 222 | 17M| 0 | 21k|-3.714286e+01 |-3.000000e+01 | 19.23%
1062.12/1062.10 c 1062s| 1920k|111023 | 25768k| 13.4 | 199M| 104 | 49 | 200 |3102 | 200 | 247 | 17M| 0 | 21k|-3.711111e+01 |-3.000000e+01 | 19.16%
1066.93/1066.93 c 1067s| 1930k|111121 | 25876k| 13.4 | 199M| 104 | - | 200 |3102 | 200 | 214 | 17M| 0 | 21k|-3.708696e+01 |-3.000000e+01 | 19.11%
1071.82/1071.89 c 1072s| 1940k|111223 | 25988k| 13.4 | 199M| 104 | - | 200 |3102 | 200 | 255 | 17M| 0 | 21k|-3.704762e+01 |-3.000000e+01 | 19.02%
1076.71/1076.70 c 1077s| 1950k|111343 | 26096k| 13.4 | 199M| 104 | - | 200 |3102 | 200 | 216 | 17M| 0 | 21k|-3.700000e+01 |-3.000000e+01 | 18.92%
1081.61/1081.66 c 1082s| 1960k|111543 | 26209k| 13.4 | 200M| 104 | 8 | 200 |3102 | 200 | 213 | 17M| 0 | 21k|-3.700000e+01 |-3.000000e+01 | 18.92%
1086.41/1086.43 c 1086s| 1970k|111531 | 26314k| 13.4 | 200M| 104 | - | 200 |3102 | 200 | 231 | 17M| 0 | 21k|-3.700000e+01 |-3.000000e+01 | 18.92%
1091.23/1091.28 c 1091s| 1980k|111639 | 26424k| 13.3 | 200M| 104 | - | 200 |3102 | 200 | 234 | 17M| 0 | 21k|-3.700000e+01 |-3.000000e+01 | 18.92%
1096.22/1096.20 c 1096s| 1990k|111773 | 26535k| 13.3 | 201M| 104 | - | 200 |3102 | 200 | 232 | 17M| 0 | 21k|-3.700000e+01 |-3.000000e+01 | 18.92%
1101.13/1101.12 c 1101s| 2000k|111901 | 26646k| 13.3 | 201M| 104 | - | 200 |3102 | 200 | 231 | 18M| 0 | 21k|-3.700000e+01 |-3.000000e+01 | 18.92%
1105.92/1105.99 c 1106s| 2010k|112059 | 26756k| 13.3 | 201M| 104 | - | 200 |3102 | 200 | 237 | 18M| 0 | 22k|-3.700000e+01 |-3.000000e+01 | 18.92%
1107.01/1107.01 o -31
1107.01/1107.01 c *1107s| 2012k| 86430 | 26777k| 13.3 | 162M| 104 | - | 200 |3102 | 200 | 226 | 18M| 0 | 22k|-3.700000e+01 |-3.100000e+01 | 16.22%
1110.92/1110.93 c 1111s| 2020k| 86307 | 26859k| 13.3 | 162M| 104 | - | 200 |3102 | 200 | 235 | 18M| 0 | 22k|-3.700000e+01 |-3.100000e+01 | 16.22%
1115.72/1115.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1115.72/1115.72 c 1116s| 2030k| 86113 | 26962k| 13.3 | 161M| 104 | 29 | 200 |3102 | 200 | 218 | 18M| 0 | 22k|-3.700000e+01 |-3.100000e+01 | 16.22%
1120.42/1120.49 c 1120s| 2040k| 85989 | 27064k| 13.3 | 161M| 104 | 4 | 200 |3102 | 200 | 222 | 18M| 0 | 22k|-3.700000e+01 |-3.100000e+01 | 16.22%
1125.12/1125.21 c 1125s| 2050k| 85847 | 27166k| 13.2 | 161M| 104 | 61 | 200 |3102 | 200 | 228 | 18M| 0 | 22k|-3.700000e+01 |-3.100000e+01 | 16.22%
1129.92/1129.97 c 1130s| 2060k| 85651 | 27268k| 13.2 | 161M| 104 | 25 | 200 |3102 | 200 | 212 | 18M| 0 | 22k|-3.700000e+01 |-3.100000e+01 | 16.22%
1134.72/1134.70 c 1135s| 2070k| 85491 | 27369k| 13.2 | 161M| 104 | 18 | 200 |3102 | 200 | 211 | 18M| 0 | 22k|-3.700000e+01 |-3.100000e+01 | 16.22%
1139.41/1139.47 c 1139s| 2080k| 85307 | 27472k| 13.2 | 161M| 104 | - | 200 |3102 | 200 | 219 | 18M| 0 | 22k|-3.700000e+01 |-3.100000e+01 | 16.22%
1144.21/1144.25 c 1144s| 2090k| 85205 | 27576k| 13.2 | 161M| 104 | 53 | 200 |3102 | 200 | 250 | 18M| 0 | 22k|-3.696875e+01 |-3.100000e+01 | 16.15%
1148.82/1148.86 c 1149s| 2100k| 84977 | 27673k| 13.2 | 161M| 104 | 49 | 200 |3102 | 200 | 218 | 18M| 0 | 22k|-3.692857e+01 |-3.100000e+01 | 16.05%
1153.52/1153.51 c 1154s| 2110k| 84787 | 27771k| 13.2 | 161M| 104 | - | 200 |3102 | 200 | 223 | 18M| 0 | 22k|-3.690000e+01 |-3.100000e+01 | 15.99%
1158.22/1158.25 c 1158s| 2120k| 84655 | 27870k| 13.1 | 161M| 104 | 60 | 200 |3102 | 200 | 216 | 18M| 0 | 22k|-3.687500e+01 |-3.100000e+01 | 15.93%
1162.92/1162.94 c 1163s| 2130k| 84543 | 27969k| 13.1 | 161M| 104 | 37 | 200 |3102 | 200 | 214 | 19M| 0 | 22k|-3.685714e+01 |-3.100000e+01 | 15.89%
1167.52/1167.59 c 1168s| 2140k| 84437 | 28068k| 13.1 | 161M| 104 | - | 200 |3102 | 200 | 224 | 19M| 0 | 22k|-3.683333e+01 |-3.100000e+01 | 15.84%
1172.22/1172.23 c 1172s| 2150k| 84243 | 28166k| 13.1 | 161M| 104 | 55 | 200 |3102 | 200 | 243 | 19M| 0 | 22k|-3.683333e+01 |-3.100000e+01 | 15.84%
1176.81/1176.90 c 1177s| 2160k| 84019 | 28264k| 13.1 | 160M| 104 | - | 200 |3102 | 200 | 229 | 19M| 0 | 22k|-3.680000e+01 |-3.100000e+01 | 15.76%
1181.61/1181.65 c 1182s| 2170k| 83867 | 28366k| 13.1 | 160M| 104 | 27 | 200 |3102 | 200 | 217 | 19M| 0 | 22k|-3.679365e+01 |-3.100000e+01 | 15.75%
1186.22/1186.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1186.22/1186.26 c 1186s| 2180k| 83657 | 28462k| 13.1 | 160M| 104 | - | 200 |3102 | 200 | 210 | 19M| 0 | 22k|-3.675000e+01 |-3.100000e+01 | 15.65%
1190.71/1190.79 c 1191s| 2190k| 83467 | 28557k| 13.0 | 160M| 104 | - | 200 |3102 | 200 | 232 | 19M| 0 | 22k|-3.675000e+01 |-3.100000e+01 | 15.65%
1195.42/1195.41 c 1195s| 2200k| 83327 | 28655k| 13.0 | 160M| 104 | - | 200 |3102 | 200 | 216 | 19M| 0 | 22k|-3.675000e+01 |-3.100000e+01 | 15.65%
1200.03/1200.08 c 1200s| 2210k| 83191 | 28755k| 13.0 | 160M| 104 | 18 | 200 |3102 | 200 | 213 | 19M| 0 | 22k|-3.675000e+01 |-3.100000e+01 | 15.65%
1204.72/1204.73 c 1205s| 2220k| 82963 | 28851k| 13.0 | 160M| 104 | - | 200 |3102 | 200 | 225 | 19M| 0 | 22k|-3.671429e+01 |-3.100000e+01 | 15.56%
1209.32/1209.31 c 1209s| 2230k| 82765 | 28948k| 13.0 | 160M| 104 | - | 200 |3102 | 200 | 216 | 19M| 0 | 22k|-3.670000e+01 |-3.100000e+01 | 15.53%
1214.02/1214.02 c 1214s| 2240k| 82637 | 29048k| 13.0 | 160M| 104 | 8 | 200 |3102 | 200 | 217 | 19M| 0 | 23k|-3.666667e+01 |-3.100000e+01 | 15.45%
1218.62/1218.65 c 1219s| 2250k| 82515 | 29147k| 12.9 | 160M| 107 | 24 | 200 |3102 | 200 | 200 | 19M| 0 | 23k|-3.666667e+01 |-3.100000e+01 | 15.45%
1223.31/1223.30 c 1223s| 2260k| 82411 | 29244k| 12.9 | 160M| 107 | - | 200 |3102 | 200 | 229 | 20M| 0 | 23k|-3.666667e+01 |-3.100000e+01 | 15.45%
1227.82/1227.81 c 1228s| 2270k| 82257 | 29338k| 12.9 | 160M| 107 | - | 200 |3102 | 200 | 227 | 20M| 0 | 23k|-3.666667e+01 |-3.100000e+01 | 15.45%
1232.42/1232.47 c 1232s| 2280k| 82079 | 29436k| 12.9 | 159M| 107 | - | 200 |3102 | 200 | 213 | 20M| 0 | 23k|-3.662500e+01 |-3.100000e+01 | 15.36%
1237.02/1237.06 c 1237s| 2290k| 81943 | 29532k| 12.9 | 159M| 107 | - | 200 |3102 | 200 | 229 | 20M| 0 | 23k|-3.660000e+01 |-3.100000e+01 | 15.30%
1241.61/1241.69 c 1242s| 2300k| 81775 | 29630k| 12.9 | 159M| 107 | 22 | 200 |3102 | 200 | 213 | 20M| 0 | 23k|-3.660000e+01 |-3.100000e+01 | 15.30%
1246.23/1246.29 c 1246s| 2310k| 81665 | 29727k| 12.9 | 159M| 107 | 30 | 200 |3102 | 200 | 213 | 20M| 0 | 23k|-3.657143e+01 |-3.100000e+01 | 15.23%
1250.82/1250.89 c 1251s| 2320k| 81457 | 29824k| 12.8 | 159M| 107 | 8 | 200 |3102 | 200 | 208 | 20M| 0 | 23k|-3.654545e+01 |-3.100000e+01 | 15.17%
1255.42/1255.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1255.42/1255.48 c 1255s| 2330k| 81301 | 29920k| 12.8 | 159M| 107 | 7 | 200 |3102 | 200 | 215 | 20M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1259.92/1259.98 c 1260s| 2340k| 81093 | 30013k| 12.8 | 159M| 108 | - | 200 |3102 | 200 | 222 | 20M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1264.51/1264.50 c 1264s| 2350k| 80873 | 30106k| 12.8 | 159M| 108 | 18 | 200 |3102 | 200 | 225 | 20M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1269.02/1269.03 c 1269s| 2360k| 80701 | 30200k| 12.8 | 158M| 108 | - | 200 |3102 | 200 | 269 | 20M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1273.52/1273.59 c 1274s| 2370k| 80569 | 30295k| 12.8 | 158M| 108 | 59 | 200 |3102 | 200 | 227 | 20M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1278.13/1278.13 c 1278s| 2380k| 80383 | 30390k| 12.8 | 158M| 108 | - | 200 |3102 | 200 | 220 | 20M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1282.72/1282.74 c 1283s| 2390k| 80229 | 30488k| 12.8 | 158M| 108 | - | 200 |3102 | 200 | 239 | 20M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1287.22/1287.24 c 1287s| 2400k| 80075 | 30582k| 12.7 | 158M| 108 | 33 | 200 |3102 | 200 | 216 | 20M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1291.72/1291.77 c 1292s| 2410k| 79863 | 30676k| 12.7 | 158M| 108 | - | 200 |3102 | 200 | 250 | 21M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1296.32/1296.32 c 1296s| 2420k| 79673 | 30771k| 12.7 | 158M| 108 | 58 | 200 |3102 | 200 | 208 | 21M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1300.82/1300.80 c 1301s| 2430k| 79443 | 30863k| 12.7 | 158M| 108 | 18 | 200 |3102 | 200 | 221 | 21M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1305.32/1305.37 c 1305s| 2440k| 79297 | 30957k| 12.7 | 158M| 108 | 28 | 200 |3102 | 200 | 213 | 21M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1309.91/1309.93 c 1310s| 2450k| 79139 | 31053k| 12.7 | 157M| 108 | - | 200 |3102 | 200 | 216 | 21M| 0 | 23k|-3.645455e+01 |-3.100000e+01 | 14.96%
1314.43/1314.44 c 1314s| 2460k| 78959 | 31146k| 12.7 | 157M| 108 | 53 | 200 |3102 | 200 | 227 | 21M| 0 | 24k|-3.642857e+01 |-3.100000e+01 | 14.90%
1318.94/1318.99 c 1319s| 2470k| 78837 | 31242k| 12.6 | 157M| 108 | 31 | 200 |3102 | 200 | 214 | 21M| 0 | 24k|-3.640000e+01 |-3.100000e+01 | 14.84%
1323.52/1323.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1323.52/1323.56 c 1324s| 2480k| 78673 | 31337k| 12.6 | 157M| 108 | 37 | 200 |3102 | 200 | 215 | 21M| 0 | 24k|-3.637500e+01 |-3.100000e+01 | 14.78%
1328.02/1328.06 c 1328s| 2490k| 78509 | 31430k| 12.6 | 157M| 108 | 33 | 200 |3102 | 200 | 217 | 21M| 0 | 24k|-3.635714e+01 |-3.100000e+01 | 14.73%
1332.62/1332.64 c 1333s| 2500k| 78323 | 31525k| 12.6 | 157M| 110 | - | 200 |3102 | 200 | 217 | 21M| 0 | 24k|-3.633333e+01 |-3.100000e+01 | 14.68%
1337.12/1337.13 c 1337s| 2510k| 78165 | 31618k| 12.6 | 157M| 110 | - | 200 |3102 | 200 | 258 | 21M| 0 | 24k|-3.633333e+01 |-3.100000e+01 | 14.68%
1341.62/1341.64 c 1342s| 2520k| 77977 | 31711k| 12.6 | 157M| 110 | 14 | 200 |3102 | 200 | 214 | 21M| 0 | 24k|-3.633333e+01 |-3.100000e+01 | 14.68%
1346.11/1346.16 c 1346s| 2530k| 77791 | 31805k| 12.6 | 157M| 110 | - | 200 |3102 | 200 | 257 | 21M| 0 | 24k|-3.630769e+01 |-3.100000e+01 | 14.62%
1350.62/1350.66 c 1351s| 2540k| 77619 | 31897k| 12.6 | 156M| 110 | 44 | 200 |3102 | 200 | 218 | 21M| 0 | 24k|-3.628571e+01 |-3.100000e+01 | 14.57%
1355.02/1355.11 c 1355s| 2550k| 77459 | 31989k| 12.5 | 156M| 110 | 67 | 200 |3102 | 200 | 248 | 21M| 0 | 24k|-3.625000e+01 |-3.100000e+01 | 14.48%
1359.53/1359.58 c 1360s| 2560k| 77263 | 32081k| 12.5 | 156M| 110 | - | 200 |3102 | 200 | 229 | 22M| 0 | 24k|-3.625000e+01 |-3.100000e+01 | 14.48%
1364.04/1364.02 c 1364s| 2570k| 77097 | 32173k| 12.5 | 156M| 110 | - | 200 |3102 | 200 | 218 | 22M| 0 | 24k|-3.625000e+01 |-3.100000e+01 | 14.48%
1368.44/1368.47 c 1368s| 2580k| 76943 | 32265k| 12.5 | 156M| 110 | 57 | 200 |3102 | 200 | 218 | 22M| 0 | 24k|-3.625000e+01 |-3.100000e+01 | 14.48%
1372.83/1372.88 c 1373s| 2590k| 76799 | 32355k| 12.5 | 156M| 110 | - | 200 |3102 | 200 | 216 | 22M| 0 | 24k|-3.622500e+01 |-3.100000e+01 | 14.42%
1377.42/1377.43 c 1377s| 2600k| 76669 | 32450k| 12.5 | 156M| 110 | 8 | 200 |3102 | 200 | 217 | 22M| 0 | 24k|-3.620000e+01 |-3.100000e+01 | 14.36%
1381.83/1381.89 c 1382s| 2610k| 76549 | 32543k| 12.5 | 156M| 110 | 26 | 200 |3102 | 200 | 216 | 22M| 0 | 24k|-3.618000e+01 |-3.100000e+01 | 14.32%
1386.42/1386.44 c 1386s| 2620k| 76409 | 32637k| 12.5 | 156M| 110 | - | 200 |3102 | 200 | 234 | 22M| 0 | 24k|-3.616667e+01 |-3.100000e+01 | 14.29%
1390.82/1390.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1390.82/1390.84 c 1391s| 2630k| 76251 | 32728k| 12.4 | 156M| 110 | 44 | 200 |3102 | 200 | 214 | 22M| 0 | 24k|-3.614286e+01 |-3.100000e+01 | 14.23%
1395.22/1395.29 c 1395s| 2640k| 76101 | 32819k| 12.4 | 155M| 110 | 63 | 200 |3102 | 200 | 216 | 22M| 0 | 24k|-3.612500e+01 |-3.100000e+01 | 14.19%
1399.72/1399.75 c 1400s| 2650k| 75891 | 32911k| 12.4 | 155M| 110 | 42 | 200 |3102 | 200 | 220 | 22M| 0 | 24k|-3.610000e+01 |-3.100000e+01 | 14.13%
1404.12/1404.11 c 1404s| 2660k| 75695 | 32999k| 12.4 | 155M| 110 | - | 200 |3102 | 200 | 252 | 22M| 0 | 24k|-3.607692e+01 |-3.100000e+01 | 14.07%
1408.52/1408.52 c 1409s| 2670k| 75497 | 33089k| 12.4 | 155M| 110 | 20 | 200 |3102 | 200 | 213 | 22M| 0 | 24k|-3.603704e+01 |-3.100000e+01 | 13.98%
1413.02/1413.00 c 1413s| 2680k| 75311 | 33180k| 12.4 | 155M| 110 | - | 200 |3102 | 200 | 227 | 22M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1417.42/1417.43 c 1417s| 2690k| 75153 | 33272k| 12.4 | 155M| 110 | 51 | 200 |3102 | 200 | 217 | 22M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1421.82/1421.84 c 1422s| 2700k| 74963 | 33362k| 12.4 | 155M| 110 | - | 200 |3102 | 200 | 250 | 22M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1426.22/1426.23 c 1426s| 2710k| 74723 | 33451k| 12.3 | 154M| 110 | 41 | 200 |3102 | 200 | 217 | 23M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1430.62/1430.60 c 1431s| 2720k| 74517 | 33539k| 12.3 | 154M| 110 | 38 | 200 |3102 | 200 | 212 | 23M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1434.93/1434.96 c 1435s| 2730k| 74343 | 33629k| 12.3 | 154M| 110 | 58 | 200 |3102 | 200 | 218 | 23M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1439.32/1439.37 c 1439s| 2740k| 74135 | 33720k| 12.3 | 154M| 110 | 61 | 200 |3102 | 200 | 225 | 23M| 0 | 25k|-3.600000e+01 |-3.100000e+01 | 13.89%
1443.83/1443.84 c 1444s| 2750k| 74019 | 33812k| 12.3 | 154M| 110 | - | 200 |3102 | 200 | 253 | 23M| 0 | 25k|-3.600000e+01 |-3.100000e+01 | 13.89%
1448.32/1448.36 c 1448s| 2760k| 73895 | 33907k| 12.3 | 154M| 110 | - | 200 |3102 | 200 | 239 | 23M| 0 | 25k|-3.600000e+01 |-3.100000e+01 | 13.89%
1452.82/1452.81 c 1453s| 2770k| 73765 | 33999k| 12.3 | 154M| 110 | - | 200 |3102 | 200 | 219 | 23M| 0 | 25k|-3.600000e+01 |-3.100000e+01 | 13.89%
1457.22/1457.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1457.22/1457.23 c 1457s| 2780k| 73559 | 34089k| 12.3 | 153M| 110 | 28 | 200 |3102 | 200 | 219 | 23M| 0 | 25k|-3.600000e+01 |-3.100000e+01 | 13.89%
1461.63/1461.70 c 1462s| 2790k| 73357 | 34181k| 12.2 | 153M| 110 | - | 200 |3102 | 200 | 214 | 23M| 0 | 25k|-3.600000e+01 |-3.100000e+01 | 13.89%
1466.03/1466.05 c 1466s| 2800k| 73113 | 34270k| 12.2 | 153M| 110 | - | 200 |3102 | 200 | 230 | 23M| 0 | 25k|-3.600000e+01 |-3.100000e+01 | 13.89%
1470.42/1470.46 c 1470s| 2810k| 72921 | 34360k| 12.2 | 153M| 110 | - | 200 |3102 | 200 | 232 | 23M| 0 | 25k|-3.600000e+01 |-3.100000e+01 | 13.89%
1474.92/1474.90 c 1475s| 2820k| 72757 | 34451k| 12.2 | 153M| 110 | 46 | 200 |3102 | 200 | 215 | 23M| 0 | 25k|-3.600000e+01 |-3.100000e+01 | 13.89%
1479.33/1479.38 c 1479s| 2830k| 72593 | 34544k| 12.2 | 153M| 110 | 12 | 200 |3102 | 200 | 224 | 23M| 0 | 25k|-3.600000e+01 |-3.100000e+01 | 13.89%
1483.84/1483.90 c 1484s| 2840k| 72481 | 34638k| 12.2 | 153M| 110 | 30 | 200 |3102 | 200 | 216 | 23M| 0 | 25k|-3.600000e+01 |-3.100000e+01 | 13.89%
1488.42/1488.40 c 1488s| 2850k| 72339 | 34732k| 12.2 | 152M| 110 | 39 | 200 |3102 | 200 | 215 | 23M| 0 | 25k|-3.600000e+01 |-3.100000e+01 | 13.89%
1492.82/1492.83 c 1493s| 2860k| 72163 | 34823k| 12.2 | 152M| 110 | - | 200 |3102 | 200 | 215 | 23M| 0 | 25k|-3.595732e+01 |-3.100000e+01 | 13.79%
1497.14/1497.18 c 1497s| 2870k| 71923 | 34911k| 12.2 | 152M| 110 | 75 | 200 |3102 | 200 | 216 | 24M| 0 | 25k|-3.591667e+01 |-3.100000e+01 | 13.69%
1501.54/1501.59 c 1502s| 2880k| 71749 | 35002k| 12.1 | 152M| 110 | - | 200 |3102 | 200 | 237 | 24M| 0 | 25k|-3.588889e+01 |-3.100000e+01 | 13.62%
1505.94/1505.96 c 1506s| 2890k| 71601 | 35090k| 12.1 | 152M| 110 | - | 200 |3102 | 200 | 215 | 24M| 0 | 25k|-3.587302e+01 |-3.100000e+01 | 13.58%
1510.34/1510.35 c 1510s| 2900k| 71407 | 35180k| 12.1 | 152M| 110 | - | 200 |3102 | 200 | 222 | 24M| 0 | 25k|-3.583333e+01 |-3.100000e+01 | 13.49%
1514.74/1514.75 c 1515s| 2910k| 71247 | 35270k| 12.1 | 152M| 110 | - | 200 |3102 | 200 | 227 | 24M| 0 | 25k|-3.583333e+01 |-3.100000e+01 | 13.49%
1519.04/1519.02 c 1519s| 2920k| 71061 | 35355k| 12.1 | 151M| 110 | - | 200 |3102 | 200 | 224 | 24M| 0 | 25k|-3.580000e+01 |-3.100000e+01 | 13.41%
1523.43/1523.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1523.43/1523.43 c 1523s| 2930k| 70913 | 35447k| 12.1 | 151M| 110 | - | 200 |3102 | 200 | 234 | 24M| 0 | 25k|-3.578571e+01 |-3.100000e+01 | 13.37%
1527.73/1527.76 c 1528s| 2940k| 70697 | 35533k| 12.1 | 151M| 110 | 16 | 200 |3102 | 200 | 225 | 24M| 0 | 25k|-3.575000e+01 |-3.100000e+01 | 13.29%
1532.03/1532.07 c 1532s| 2950k| 70521 | 35621k| 12.1 | 151M| 110 | - | 200 |3102 | 200 | 223 | 24M| 0 | 25k|-3.575000e+01 |-3.100000e+01 | 13.29%
1536.43/1536.42 c 1536s| 2960k| 70309 | 35708k| 12.1 | 151M| 110 | - | 200 |3102 | 200 | 248 | 24M| 0 | 25k|-3.575000e+01 |-3.100000e+01 | 13.29%
1540.72/1540.74 c 1541s| 2970k| 70115 | 35796k| 12.0 | 151M| 110 | 58 | 200 |3102 | 200 | 228 | 24M| 0 | 25k|-3.575000e+01 |-3.100000e+01 | 13.29%
1545.13/1545.13 c 1545s| 2980k| 69913 | 35885k| 12.0 | 150M| 110 | - | 200 |3102 | 200 | 223 | 24M| 0 | 25k|-3.571429e+01 |-3.100000e+01 | 13.20%
1549.43/1549.46 c 1549s| 2990k| 69685 | 35971k| 12.0 | 150M| 110 | 49 | 200 |3102 | 200 | 251 | 24M| 0 | 25k|-3.569231e+01 |-3.100000e+01 | 13.15%
1553.73/1553.79 c 1554s| 3000k| 69497 | 36059k| 12.0 | 150M| 110 | 42 | 200 |3102 | 200 | 215 | 24M| 0 | 25k|-3.566667e+01 |-3.100000e+01 | 13.08%
1558.13/1558.13 c 1558s| 3010k| 69275 | 36148k| 12.0 | 150M| 110 | 40 | 200 |3102 | 200 | 214 | 24M| 0 | 25k|-3.566667e+01 |-3.100000e+01 | 13.08%
1562.43/1562.45 c 1562s| 3020k| 69051 | 36235k| 12.0 | 150M| 110 | - | 200 |3102 | 200 | 218 | 24M| 0 | 26k|-3.566667e+01 |-3.100000e+01 | 13.08%
1566.82/1566.80 c 1567s| 3030k| 68823 | 36323k| 12.0 | 149M| 110 | - | 200 |3102 | 200 | 214 | 24M| 0 | 26k|-3.566667e+01 |-3.100000e+01 | 13.08%
1571.03/1571.07 c 1571s| 3040k| 68587 | 36408k| 12.0 | 149M| 110 | - | 200 |3102 | 200 | 218 | 25M| 0 | 26k|-3.566667e+01 |-3.100000e+01 | 13.08%
1575.43/1575.46 c 1575s| 3050k| 68377 | 36496k| 12.0 | 149M| 110 | - | 200 |3102 | 200 | 256 | 25M| 0 | 26k|-3.563333e+01 |-3.100000e+01 | 13.00%
1579.72/1579.79 c 1580s| 3060k| 68149 | 36584k| 12.0 | 149M| 110 | 58 | 200 |3102 | 200 | 214 | 25M| 0 | 26k|-3.560000e+01 |-3.100000e+01 | 12.92%
1584.12/1584.11 c 1584s| 3070k| 67895 | 36669k| 11.9 | 148M| 110 | - | 200 |3102 | 200 | 217 | 25M| 0 | 26k|-3.560000e+01 |-3.100000e+01 | 12.92%
1588.44/1588.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1588.44/1588.42 c 1588s| 3080k| 67659 | 36756k| 11.9 | 148M| 110 | 20 | 200 |3102 | 200 | 216 | 25M| 0 | 26k|-3.557143e+01 |-3.100000e+01 | 12.85%
1592.62/1592.69 c 1593s| 3090k| 67413 | 36841k| 11.9 | 148M| 110 | - | 200 |3102 | 200 | 252 | 25M| 0 | 26k|-3.554545e+01 |-3.100000e+01 | 12.79%
1597.02/1597.04 c 1597s| 3100k| 67209 | 36928k| 11.9 | 148M| 110 | - | 200 |3102 | 200 | 236 | 25M| 0 | 26k|-3.550000e+01 |-3.100000e+01 | 12.68%
1601.43/1601.40 c 1601s| 3110k| 66963 | 37017k| 11.9 | 147M| 110 | - | 200 |3102 | 200 | 215 | 25M| 0 | 26k|-3.550000e+01 |-3.100000e+01 | 12.68%
1605.62/1605.69 c 1606s| 3120k| 66697 | 37103k| 11.9 | 147M| 110 | - | 200 |3102 | 200 | 211 | 25M| 0 | 26k|-3.550000e+01 |-3.100000e+01 | 12.68%
1610.03/1610.04 c 1610s| 3130k| 66439 | 37191k| 11.9 | 147M| 110 | - | 200 |3102 | 200 | 259 | 25M| 0 | 26k|-3.550000e+01 |-3.100000e+01 | 12.68%
1614.32/1614.35 c 1614s| 3140k| 66173 | 37277k| 11.9 | 146M| 110 | - | 200 |3102 | 200 | 241 | 25M| 0 | 26k|-3.550000e+01 |-3.100000e+01 | 12.68%
1618.63/1618.63 c 1619s| 3150k| 65973 | 37364k| 11.9 | 146M| 110 | - | 200 |3102 | 200 | 220 | 25M| 0 | 26k|-3.550000e+01 |-3.100000e+01 | 12.68%
1622.83/1622.88 c 1623s| 3160k| 65793 | 37449k| 11.8 | 146M| 110 | 65 | 200 |3102 | 200 | 252 | 25M| 0 | 26k|-3.550000e+01 |-3.100000e+01 | 12.68%
1627.03/1627.08 c 1627s| 3170k| 65529 | 37532k| 11.8 | 146M| 114 | 40 | 200 |3102 | 200 | 213 | 25M| 0 | 26k|-3.550000e+01 |-3.100000e+01 | 12.68%
1631.34/1631.36 c 1631s| 3180k| 65281 | 37618k| 11.8 | 145M| 114 | - | 200 |3102 | 200 | 218 | 25M| 0 | 26k|-3.550000e+01 |-3.100000e+01 | 12.68%
1635.64/1635.63 c 1636s| 3190k| 65053 | 37704k| 11.8 | 145M| 114 | 37 | 200 |3102 | 200 | 218 | 25M| 0 | 26k|-3.550000e+01 |-3.100000e+01 | 12.68%
1639.92/1639.90 c 1640s| 3200k| 64859 | 37790k| 11.8 | 145M| 114 | 49 | 200 |3102 | 200 | 232 | 25M| 0 | 26k|-3.550000e+01 |-3.100000e+01 | 12.68%
1644.13/1644.19 c 1644s| 3210k| 64621 | 37876k| 11.8 | 145M| 114 | 31 | 200 |3102 | 200 | 217 | 26M| 0 | 26k|-3.550000e+01 |-3.100000e+01 | 12.68%
1648.43/1648.40 c 1648s| 3220k| 64341 | 37959k| 11.8 | 144M| 114 | 12 | 200 |3102 | 200 | 213 | 26M| 0 | 26k|-3.550000e+01 |-3.100000e+01 | 12.68%
1652.63/1652.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1652.63/1652.61 c 1653s| 3230k| 64085 | 38042k| 11.8 | 144M| 114 | 8 | 200 |3102 | 200 | 215 | 26M| 0 | 26k|-3.550000e+01 |-3.100000e+01 | 12.68%
1656.83/1656.86 c 1657s| 3240k| 63779 | 38126k| 11.8 | 144M| 114 | - | 200 |3102 | 200 | 228 | 26M| 0 | 26k|-3.550000e+01 |-3.100000e+01 | 12.68%
1661.04/1661.07 c 1661s| 3250k| 63553 | 38210k| 11.8 | 144M| 114 | - | 200 |3102 | 200 | 213 | 26M| 0 | 26k|-3.543750e+01 |-3.100000e+01 | 12.52%
1665.23/1665.29 c 1665s| 3260k| 63299 | 38292k| 11.7 | 143M| 114 | - | 200 |3102 | 200 | 242 | 26M| 0 | 26k|-3.540625e+01 |-3.100000e+01 | 12.44%
1669.53/1669.56 c 1670s| 3270k| 63043 | 38377k| 11.7 | 143M| 114 | 41 | 200 |3102 | 200 | 213 | 26M| 0 | 26k|-3.537500e+01 |-3.100000e+01 | 12.37%
1673.82/1673.85 c 1674s| 3280k| 62763 | 38463k| 11.7 | 143M| 114 | - | 200 |3102 | 200 | 222 | 26M| 0 | 26k|-3.533333e+01 |-3.100000e+01 | 12.26%
1678.03/1678.09 c 1678s| 3290k| 62527 | 38548k| 11.7 | 142M| 114 | - | 200 |3102 | 200 | 213 | 26M| 0 | 26k|-3.533333e+01 |-3.100000e+01 | 12.26%
1682.33/1682.38 c 1682s| 3300k| 62239 | 38632k| 11.7 | 142M| 114 | - | 200 |3102 | 200 | 218 | 26M| 0 | 26k|-3.533333e+01 |-3.100000e+01 | 12.26%
1686.53/1686.59 c 1687s| 3310k| 61995 | 38716k| 11.7 | 142M| 114 | 22 | 200 |3102 | 200 | 214 | 26M| 0 | 26k|-3.533333e+01 |-3.100000e+01 | 12.26%
1690.83/1690.84 c 1691s| 3320k| 61759 | 38800k| 11.7 | 141M| 114 | - | 200 |3102 | 200 | 219 | 26M| 0 | 27k|-3.530000e+01 |-3.100000e+01 | 12.18%
1695.03/1695.11 c 1695s| 3330k| 61511 | 38885k| 11.7 | 141M| 114 | 52 | 200 |3102 | 200 | 243 | 26M| 0 | 27k|-3.526190e+01 |-3.100000e+01 | 12.09%
1699.32/1699.31 c 1699s| 3340k| 61231 | 38968k| 11.7 | 141M| 114 | 24 | 200 |3102 | 200 | 214 | 26M| 0 | 27k|-3.525000e+01 |-3.100000e+01 | 12.06%
1703.43/1703.48 c 1703s| 3350k| 61001 | 39050k| 11.7 | 141M| 114 | 48 | 200 |3102 | 200 | 225 | 26M| 0 | 27k|-3.525000e+01 |-3.100000e+01 | 12.06%
1707.63/1707.64 c 1708s| 3360k| 60701 | 39132k| 11.6 | 140M| 114 | 61 | 200 |3102 | 200 | 266 | 26M| 0 | 27k|-3.525000e+01 |-3.100000e+01 | 12.06%
1711.83/1711.86 c 1712s| 3370k| 60395 | 39215k| 11.6 | 140M| 114 | 42 | 200 |3102 | 200 | 218 | 26M| 0 | 27k|-3.523077e+01 |-3.100000e+01 | 12.01%
1716.05/1716.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1716.05/1716.08 c 1716s| 3380k| 60125 | 39299k| 11.6 | 139M| 114 | - | 200 |3102 | 200 | 257 | 26M| 0 | 27k|-3.520000e+01 |-3.100000e+01 | 11.93%
1720.23/1720.22 c 1720s| 3390k| 59843 | 39381k| 11.6 | 139M| 114 | 58 | 200 |3102 | 200 | 239 | 27M| 0 | 27k|-3.516667e+01 |-3.100000e+01 | 11.85%
1724.42/1724.42 c 1724s| 3400k| 59565 | 39462k| 11.6 | 139M| 114 | 57 | 200 |3102 | 200 | 247 | 27M| 0 | 27k|-3.516667e+01 |-3.100000e+01 | 11.85%
1728.63/1728.62 c 1729s| 3410k| 59275 | 39544k| 11.6 | 138M| 114 | 34 | 200 |3102 | 200 | 219 | 27M| 0 | 27k|-3.513333e+01 |-3.100000e+01 | 11.76%
1732.83/1732.80 c 1733s| 3420k| 58971 | 39626k| 11.6 | 138M| 114 | - | 200 |3102 | 200 | 218 | 27M| 0 | 27k|-3.511111e+01 |-3.100000e+01 | 11.71%
1736.94/1736.95 c 1737s| 3430k| 58623 | 39707k| 11.6 | 138M| 114 | 4 | 200 |3102 | 200 | 214 | 27M| 0 | 27k|-3.508333e+01 |-3.100000e+01 | 11.64%
1741.13/1741.12 c 1741s| 3440k| 58343 | 39788k| 11.6 | 137M| 114 | 51 | 200 |3102 | 200 | 221 | 27M| 0 | 27k|-3.503571e+01 |-3.100000e+01 | 11.52%
1745.22/1745.28 c 1745s| 3450k| 58017 | 39869k| 11.6 | 137M| 114 | - | 200 |3102 | 200 | 211 | 27M| 0 | 27k|-3.500000e+01 |-3.100000e+01 | 11.43%
1749.43/1749.49 c 1749s| 3460k| 57735 | 39952k| 11.5 | 136M| 114 | 50 | 200 |3102 | 200 | 238 | 27M| 0 | 27k|-3.500000e+01 |-3.100000e+01 | 11.43%
1753.63/1753.66 c 1754s| 3470k| 57439 | 40034k| 11.5 | 136M| 114 | - | 200 |3102 | 200 | 228 | 27M| 0 | 27k|-3.500000e+01 |-3.100000e+01 | 11.43%
1757.84/1757.87 c 1758s| 3480k| 57131 | 40117k| 11.5 | 136M| 114 | - | 200 |3102 | 200 | 226 | 27M| 0 | 27k|-3.500000e+01 |-3.100000e+01 | 11.43%
1762.03/1762.04 c 1762s| 3490k| 56823 | 40199k| 11.5 | 135M| 114 | - | 200 |3102 | 200 | 217 | 27M| 0 | 27k|-3.500000e+01 |-3.100000e+01 | 11.43%
1766.22/1766.21 c 1766s| 3500k| 56533 | 40281k| 11.5 | 135M| 114 | - | 200 |3102 | 200 | 222 | 27M| 0 | 27k|-3.500000e+01 |-3.100000e+01 | 11.43%
1770.33/1770.39 c 1770s| 3510k| 56197 | 40363k| 11.5 | 134M| 114 | 46 | 200 |3102 | 200 | 213 | 27M| 0 | 27k|-3.500000e+01 |-3.100000e+01 | 11.43%
1774.43/1774.47 c 1774s| 3520k| 55921 | 40443k| 11.5 | 134M| 114 | - | 200 |3102 | 200 | 230 | 27M| 0 | 27k|-3.500000e+01 |-3.100000e+01 | 11.43%
1778.64/1778.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1778.64/1778.66 c 1779s| 3530k| 55595 | 40525k| 11.5 | 134M| 114 | 52 | 200 |3102 | 200 | 231 | 27M| 0 | 27k|-3.500000e+01 |-3.100000e+01 | 11.43%
1782.73/1782.77 c 1783s| 3540k| 55297 | 40606k| 11.5 | 133M| 114 | 69 | 200 |3102 | 200 | 218 | 27M| 0 | 27k|-3.500000e+01 |-3.100000e+01 | 11.43%
1786.93/1786.94 c 1787s| 3550k| 55013 | 40689k| 11.5 | 133M| 114 | 40 | 200 |3102 | 200 | 216 | 27M| 0 | 27k|-3.500000e+01 |-3.100000e+01 | 11.43%
1791.02/1791.05 c 1791s| 3560k| 54677 | 40769k| 11.4 | 133M| 114 | 44 | 200 |3102 | 200 | 218 | 27M| 0 | 27k|-3.500000e+01 |-3.100000e+01 | 11.43%
1795.24/1795.24 c 1795s| 3570k| 54381 | 40852k| 11.4 | 132M| 114 | 29 | 200 |3102 | 200 | 228 | 27M| 0 | 27k|-3.500000e+01 |-3.100000e+01 | 11.43%
1799.43/1799.41 c 1799s| 3580k| 54021 | 40933k| 11.4 | 132M| 114 | - | 200 |3102 | 200 | 217 | 28M| 0 | 27k|-3.500000e+01 |-3.100000e+01 | 11.43%
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Solving Time (sec) : 1800.00
1800.03/1800.00 c Solving Nodes : 3581491
1800.03/1800.00 c Primal Bound : -3.10000000000000e+01 (549 solutions)
1800.03/1800.00 c Dual Bound : -3.50000000000000e+01
1800.03/1800.00 c Gap : 11.43 %
1800.03/1800.00 s SATISFIABLE
1800.03/1800.00 v -x200 -x199 -x198 -x197 x196 x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 x182 -x181 x180 -x179 -x178
1800.03/1800.00 v x177 -x176 x175 x174 x173 x172 x171 x170 -x169 -x168 x167 -x166 -x165 x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156
1800.03/1800.00 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 x135
1800.03/1800.00 v -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 x126 x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113
1800.03/1800.00 v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90
1800.03/1800.00 v -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65
1800.03/1800.00 v -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40
1800.03/1800.00 v -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14
1800.03/1800.00 v -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Total Time : 1800.00
1800.03/1800.00 c solving : 1800.00
1800.03/1800.00 c presolving : 0.07 (included in solving)
1800.03/1800.00 c reading : 0.02 (included in solving)
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-3450683-1307106825.opb
1800.03/1800.00 c Variables : 3302 (3302 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 3502 initial, 3502 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-3450683-1307106825.opb
1800.03/1800.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 3102 initial, 3102 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.02 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c and : 0.03 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.01 3102 0 0 3102 0 200 0 0 0
1800.03/1800.00 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 2766474 0 665589 0 255 1857 0 0 3687390
1800.03/1800.00 c logicor : 3102 70 3593451 921740 0 665585 144 29 20236158 28015432 0 0
1800.03/1800.00 c countsols : 0 0 0 8 0 543 0 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.03/1800.00 c integral : 39.23 0.00 0.00 39.08 0.00 0.14 0.00
1800.03/1800.00 c logicor : 154.22 0.03 78.20 43.48 0.00 32.51 0.00
1800.03/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.03/1800.00 c vbounds : 0 0 0 0
1800.03/1800.00 c rootredcost : 9 0 0 0
1800.03/1800.00 c pseudoobj : 5861367 2 0 12
1800.03/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.00 c vbounds : 1.07 1.07 0.00
1800.03/1800.00 c rootredcost : 1.18 1.18 0.00
1800.03/1800.00 c pseudoobj : 26.68 26.68 0.00
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 0.00 29 0 0 0.0 0 0.0 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.00 c applied globally : - - - 0 0.0 - - -
1800.03/1800.00 c applied locally : - - - 0 0.0 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.07 69 - - 158 - (maximal pool size: 3303)
1800.03/1800.00 c redcost : 15.98 3107212 0 672977 0 0
1800.03/1800.00 c impliedbounds : 0.01 70 0 0 1477 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 1.90 70 0 0 11434 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.33 20 0 0 9082 0
1800.03/1800.00 c cmir : 0.06 10 0 0 0 0
1800.03/1800.00 c flowcover : 0.05 10 0 0 0 0
1800.03/1800.00 c clique : 0.18 70 0 0 578 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 1 0 0 0 0
1800.03/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 37.80 1844734 255 1857 0 0 3687390
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.14 - 8
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c feaspump : 0.08 0 0
1800.03/1800.00 c oneopt : 0.80 11 1
1800.03/1800.00 c crossover : 2.17 53 36
1800.03/1800.00 c fracdiving : 0.33 250 3
1800.03/1800.00 c pscostdiving : 0.27 250 4
1800.03/1800.00 c veclendiving : 0.30 250 10
1800.03/1800.00 c linesearchdiving : 0.29 250 7
1800.03/1800.00 c guideddiving : 0.32 250 7
1800.03/1800.00 c coefdiving : 0.27 251 4
1800.03/1800.00 c objpscostdiving : 0.21 126 0
1800.03/1800.00 c rootsoldiving : 0.31 126 0
1800.03/1800.00 c trivial : 0.00 2 1
1800.03/1800.00 c shiftandpropagate: 0.00 0 0
1800.03/1800.00 c simplerounding : 42.76 1848304 463
1800.03/1800.00 c zirounding : 0.69 1000 3
1800.03/1800.00 c rounding : 4.24 66130 1
1800.03/1800.00 c shifting : 1.40 20436 1
1800.03/1800.00 c intshifting : 0.04 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c clique : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.01 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c vbounds : 0.00 0 0
1800.03/1800.00 c undercover : 0.01 1 0
1800.03/1800.00 c subnlp : 0.53 0 0
1800.03/1800.00 c trysol : 0.79 0 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 26.17 0 0 0.00 0.00
1800.03/1800.00 c dual LP : 1102.71 4511572 40913576 9.07 37102.86
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 1.12 5119 30672 5.99 27424.28
1800.03/1800.00 c strong branching : 17.37 27754 446059 16.07 25672.80
1800.03/1800.00 c (at root node) : - 31 21648 698.32 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 3581491
1800.03/1800.00 c nodes (total) : 3581491
1800.03/1800.00 c nodes left : 53964
1800.03/1800.00 c max depth : 114
1800.03/1800.00 c max depth (total): 114
1800.03/1800.00 c backtracks : 431376 (12.0%)
1800.03/1800.00 c delayed cutoffs : 0
1800.03/1800.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.03/1800.00 c avg switch length: 5.53
1800.03/1800.00 c switching time : 148.65
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 549 (13 improvements)
1800.03/1800.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.03/1800.00 c Primal Bound : -3.10000000000000e+01 (in run 1, after 2012003 nodes, 1106.93 seconds, depth 42, found by <relaxation>)
1800.03/1800.00 c Dual Bound : -3.50000000000000e+01
1800.03/1800.00 c Gap : 11.43 %
1800.03/1800.00 c Root Dual Bound : -4.86347908391285e+01
1800.03/1800.00 c Root Iterations : 12787
OK -31
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450683-1307106825/watcher-3450683-1307106825 -o /tmp/evaluation-result-3450683-1307106825/solver-3450683-1307106825 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450683-1307106825.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.05 2.00 2/446 11525 /proc/meminfo: memFree=31256348/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=14636 CPUtime=0 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 2653 0 0 0 0 0 0 0 25 0 1 0 822281306 14987264 2606 33554432000 4194304 9163163 140733740294528 18446744073709551615 5217632 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/11525/statm: 3659 2606 415 1214 0 2441 0 [startup+0.0813611 s] /proc/loadavg: 2.06 2.05 2.00 2/446 11525 /proc/meminfo: memFree=31256348/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=30768 CPUtime=0.07 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 6703 0 0 0 7 0 0 0 25 0 1 0 822281306 31506432 6398 33554432000 4194304 9163163 140733740294528 18446744073709551615 5269159 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 7692 6398 532 1214 0 6474 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 30768 [startup+0.100364 s] /proc/loadavg: 2.06 2.05 2.00 2/446 11525 /proc/meminfo: memFree=31256348/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=30768 CPUtime=0.09 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 6716 0 0 0 9 0 0 0 25 0 1 0 822281306 31506432 6411 33554432000 4194304 9163163 140733740294528 18446744073709551615 5275400 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 7692 6411 544 1214 0 6474 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 30768 [startup+0.300328 s] /proc/loadavg: 2.06 2.05 2.00 2/446 11525 /proc/meminfo: memFree=31256348/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=37476 CPUtime=0.29 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 11080 0 0 0 29 0 0 0 25 0 1 0 822281306 38375424 8242 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 9369 8242 692 1214 0 8151 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37476 [startup+0.700143 s] /proc/loadavg: 2.06 2.05 2.00 2/446 11525 /proc/meminfo: memFree=31256348/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=46756 CPUtime=0.69 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 13341 0 0 0 68 1 0 0 25 0 1 0 822281306 47878144 10503 33554432000 4194304 9163163 140733740294528 18446744073709551615 7348329 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 11689 10503 694 1214 0 10471 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 46756 [startup+1.50106 s] /proc/loadavg: 2.06 2.05 2.00 3/447 11526 /proc/meminfo: memFree=31215048/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=54388 CPUtime=1.49 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 15478 0 0 0 145 4 0 0 25 0 1 0 822281306 55693312 12580 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 13597 12580 693 1214 0 12379 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 54388 [startup+3.10084 s] /proc/loadavg: 2.06 2.05 2.00 3/447 11526 /proc/meminfo: memFree=31203888/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=58720 CPUtime=3.09 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 16500 0 0 0 304 5 0 0 25 0 1 0 822281306 60129280 13600 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 14680 13600 719 1214 0 13462 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 58720 [startup+6.30026 s] /proc/loadavg: 2.05 2.05 2.00 3/447 11526 /proc/meminfo: memFree=31202060/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=58720 CPUtime=6.29 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 18362 0 0 0 619 10 0 0 25 0 1 0 822281306 60129280 13691 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 14680 13691 724 1214 0 13462 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 58720 [startup+12.7011 s] /proc/loadavg: 2.05 2.05 2.00 3/447 11527 /proc/meminfo: memFree=31200672/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=60056 CPUtime=12.69 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 32241 0 0 0 1235 34 0 0 25 0 1 0 822281306 61497344 14022 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 15014 14022 736 1214 0 13796 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 60056 [startup+25.5009 s] /proc/loadavg: 2.04 2.04 2.00 3/447 11527 /proc/meminfo: memFree=31195332/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=67216 CPUtime=25.49 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 44679 0 0 0 2469 80 0 0 25 0 1 0 822281306 68829184 15828 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 16804 15828 736 1214 0 15586 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 67216 [startup+51.1004 s] /proc/loadavg: 2.02 2.04 2.00 3/447 11528 /proc/meminfo: memFree=31178980/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=83696 CPUtime=51.09 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 52280 0 0 0 4940 169 0 0 25 0 1 0 822281306 85704704 19946 33554432000 4194304 9163163 140733740294528 18446744073709551615 6706970 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 20924 19946 736 1214 0 19706 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 83696 [startup+102.316 s] /proc/loadavg: 2.01 2.03 2.00 3/447 11529 /proc/meminfo: memFree=31164396/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=97000 CPUtime=102.3 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 87327 0 0 0 9874 356 0 0 25 0 1 0 822281306 99328000 23305 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 24250 23305 736 1214 0 23032 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 97000 [startup+162.301 s] /proc/loadavg: 2.08 2.05 2.01 3/447 11531 /proc/meminfo: memFree=31145764/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=116060 CPUtime=162.3 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 120310 0 0 0 15660 570 0 0 25 0 1 0 822281306 118845440 28078 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 29015 28078 736 1214 0 27797 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 116060 [startup+222.3 s] /proc/loadavg: 2.07 2.05 2.01 3/447 11532 /proc/meminfo: memFree=31130100/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=128660 CPUtime=222.29 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 127051 0 0 0 21431 798 0 0 25 0 1 0 822281306 131747840 31280 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 32165 31280 736 1214 0 30947 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 128660 [startup+282.301 s] /proc/loadavg: 2.02 2.04 2.00 3/447 11534 /proc/meminfo: memFree=31109604/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=146324 CPUtime=282.29 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 135033 0 0 0 27195 1034 0 0 25 0 1 0 822281306 149835776 35738 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 36581 35738 736 1214 0 35363 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 146324 [startup+342.301 s] /proc/loadavg: 2.01 2.03 2.00 3/447 11536 /proc/meminfo: memFree=31086600/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=165160 CPUtime=342.29 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 139282 0 0 0 32955 1274 0 0 25 0 1 0 822281306 169123840 39987 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 41290 39987 736 1214 0 40072 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 165160 [startup+402.301 s] /proc/loadavg: 2.00 2.02 2.00 3/447 11537 /proc/meminfo: memFree=31067956/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=177732 CPUtime=402.3 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 146013 0 0 0 38719 1511 0 0 25 0 1 0 822281306 181997568 43176 33554432000 4194304 9163163 140733740294528 18446744073709551615 7225280 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 44433 43176 736 1214 0 43215 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 177732 [startup+462.301 s] /proc/loadavg: 2.16 2.05 2.01 3/447 11539 /proc/meminfo: memFree=31044352/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=193688 CPUtime=462.3 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 150045 0 0 0 44475 1755 0 0 25 0 1 0 822281306 198336512 47208 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 48422 47208 736 1214 0 47204 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 193688 [startup+522.3 s] /proc/loadavg: 2.13 2.06 2.01 3/447 11540 /proc/meminfo: memFree=31028560/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=205648 CPUtime=522.3 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 153041 0 0 0 50244 1986 0 0 25 0 1 0 822281306 210583552 50204 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 51412 50204 736 1214 0 50194 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 205648 [startup+582.301 s] /proc/loadavg: 2.05 2.04 2.00 3/447 11542 /proc/meminfo: memFree=31007540/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=218240 CPUtime=582.3 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 181121 0 0 0 56022 2208 0 0 25 0 1 0 822281306 223477760 53451 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 54560 53451 736 1214 0 53342 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 218240 [startup+642.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.03 2.05 2.00 3/447 11548 /proc/meminfo: memFree=30972132/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=228088 CPUtime=822.31 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 201199 0 0 0 79151 3080 0 0 25 0 1 0 822281306 233562112 55844 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 57022 55844 736 1214 0 55804 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 228088 [startup+882.301 s] /proc/loadavg: 2.01 2.03 2.00 3/447 11550 /proc/meminfo: memFree=30961528/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=233312 CPUtime=882.31 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 202522 0 0 0 84927 3304 0 0 25 0 1 0 822281306 238911488 57167 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 58328 57167 736 1214 0 57110 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 233312 [startup+942.3 s] /proc/loadavg: 2.00 2.03 2.00 3/447 11552 /proc/meminfo: memFree=30941748/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=240400 CPUtime=942.31 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 204292 0 0 0 90714 3517 0 0 25 0 1 0 822281306 246169600 58937 33554432000 4194304 9163163 140733740294528 18446744073709551615 6483981 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 60100 58937 736 1214 0 58882 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 240400 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/447 11553 /proc/meminfo: memFree=30926208/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=244324 CPUtime=1002.32 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 208848 0 0 0 96509 3723 0 0 25 0 1 0 822281306 250187776 59942 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 61081 59942 736 1214 0 59863 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 244324 [startup+1062.3 s] /proc/loadavg: 2.04 2.03 2.00 3/447 11555 /proc/meminfo: memFree=30912044/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=249148 CPUtime=1062.32 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 210049 0 0 0 102301 3931 0 0 25 0 1 0 822281306 255127552 61143 33554432000 4194304 9163163 140733740294528 18446744073709551615 4208412 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 62287 61143 736 1214 0 61069 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 249148 [startup+1122.3 s] /proc/loadavg: 2.05 2.03 2.00 3/447 11556 /proc/meminfo: memFree=30900948/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=251644 CPUtime=1122.32 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 235468 0 0 0 108083 4149 0 0 25 0 1 0 822281306 257683456 61839 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 62911 61839 736 1214 0 61693 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 251644 [startup+1182.3 s] /proc/loadavg: 2.02 2.03 2.00 3/447 11558 /proc/meminfo: memFree=30892720/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=251644 CPUtime=1182.32 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 242516 0 0 0 113877 4355 0 0 25 0 1 0 822281306 257683456 61843 33554432000 4194304 9163163 140733740294528 18446744073709551615 6687051 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 62911 61843 736 1214 0 61693 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 251644 [startup+1242.3 s] /proc/loadavg: 2.16 2.05 2.01 3/447 11560 /proc/meminfo: memFree=30881392/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=251644 CPUtime=1242.32 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 246025 0 0 0 119658 4574 0 0 25 0 1 0 822281306 257683456 61845 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 62911 61845 736 1214 0 61693 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 251644 [startup+1302.3 s] /proc/loadavg: 2.13 2.06 2.01 3/447 11561 /proc/meminfo: memFree=30872788/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=251644 CPUtime=1302.33 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 249502 0 0 0 125447 4786 0 0 25 0 1 0 822281306 257683456 61839 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 62911 61839 736 1214 0 61693 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 251644 [startup+1362.3 s] /proc/loadavg: 2.05 2.05 2.00 3/447 11563 /proc/meminfo: memFree=30863796/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=251644 CPUtime=1362.32 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 249508 0 0 0 131244 4988 0 0 25 0 1 0 822281306 257683456 61845 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 62911 61845 736 1214 0 61693 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 251644 [startup+1422.32 s] /proc/loadavg: 2.02 2.03 2.00 3/447 11564 /proc/meminfo: memFree=30852096/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=251644 CPUtime=1422.34 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 249510 0 0 0 137031 5203 0 0 25 0 1 0 822281306 257683456 61847 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 62911 61847 736 1214 0 61693 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 251644 [startup+1482.3 s] /proc/loadavg: 2.00 2.03 2.00 3/447 11566 /proc/meminfo: memFree=30844252/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=251644 CPUtime=1482.33 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 253064 0 0 0 142827 5406 0 0 25 0 1 0 822281306 257683456 61843 33554432000 4194304 9163163 140733740294528 18446744073709551615 6480378 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 62911 61843 736 1214 0 61693 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 251644 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/447 11568 /proc/meminfo: memFree=30832820/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=251644 CPUtime=1542.33 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 253074 0 0 0 148625 5608 0 0 25 0 1 0 822281306 257683456 61853 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 62911 61853 736 1214 0 61693 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 251644 [startup+1602.3 s] /proc/loadavg: 2.11 2.05 2.01 3/447 11569 /proc/meminfo: memFree=30823224/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=251644 CPUtime=1602.32 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 253074 0 0 0 154418 5814 0 0 25 0 1 0 822281306 257683456 61853 33554432000 4194304 9163163 140733740294528 18446744073709551615 6687371 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 62911 61853 736 1214 0 61693 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 251644 [startup+1662.3 s] /proc/loadavg: 1.99 2.02 2.00 3/447 11626 /proc/meminfo: memFree=31050704/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=251644 CPUtime=1662.33 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 253074 0 0 0 160219 6014 0 0 25 0 1 0 822281306 257683456 61853 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 62911 61853 736 1214 0 61693 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 251644 [startup+1722.3 s] /proc/loadavg: 1.99 2.01 2.00 3/447 11627 /proc/meminfo: memFree=31049148/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=251644 CPUtime=1722.33 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 253074 0 0 0 166018 6215 0 0 25 0 1 0 822281306 257683456 61853 33554432000 4194304 9163163 140733740294528 18446744073709551615 7225299 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 62911 61853 736 1214 0 61693 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 251644 [startup+1782.3 s] /proc/loadavg: 1.99 2.01 2.00 3/447 11629 /proc/meminfo: memFree=31047644/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=251644 CPUtime=1782.33 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 253074 0 0 0 171818 6415 0 0 25 0 1 0 822281306 257683456 61853 33554432000 4194304 9163163 140733740294528 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11525/statm: 62911 61853 736 1214 0 61693 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 251644 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.15 2.04 2.01 3/447 11629 /proc/meminfo: memFree=31048880/32950928 swapFree=34365992/67111528 [pid=11525] ppid=11523 vsize=251644 CPUtime=1800.04 cores=0,2,4,6 /proc/11525/stat : 11525 (scip-2.0.1.4b.l) R 11523 11525 10081 0 -1 4202496 253076 0 0 0 173528 6476 0 0 25 0 1 0 822281306 257683456 61855 33554432000 4194304 9163163 140733740294528 18446744073709551615 6634443 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/11525/statm: 62911 61855 738 1214 0 61693 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 251644 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.03 CPU time (s): 1800.06 CPU user time (s): 1735.29 CPU system time (s): 64.7732 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 258348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1735.29 system time used= 64.7732 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 253076 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= 5 involuntary context switches= 2496 runsolver used 8.26074 second user time and 17.8493 second system time The end
Begin job on node120 at 2011-06-03 15:13:45 IDJOB=3450683 IDBENCH=48207 IDSOLVER=1948 FILE ID=node120/3450683-1307106825 RUNJOBID= node120-1307093855-10099 PBS_JOBID= 13498002 Free space on /tmp= 73800 MiB SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_1.opb COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450683-1307106825/watcher-3450683-1307106825 -o /tmp/evaluation-result-3450683-1307106825/solver-3450683-1307106825 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450683-1307106825.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2cdec46d3e8e924c4987d217b8438ed8 RANDOM SEED=910366611 node120.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.78 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31256380 kB Buffers: 263084 kB Cached: 973664 kB SwapCached: 12852 kB Active: 475028 kB Inactive: 926180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31256380 kB SwapTotal: 67111528 kB SwapFree: 34365992 kB Dirty: 12800 kB Writeback: 0 kB AnonPages: 161680 kB Mapped: 12292 kB Slab: 132484 kB PageTables: 91292 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 105537692 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73788 MiB End job on node120 at 2011-06-03 15:43:47