Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | 31 | 1802.16 | 1802.85 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.5:100.opb |
| MD5SUM | 885184c694263ba985a0dc2cd49b3440 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.375942 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 0 |
| Optimality of the best value was proved | YES |
| Number of variables | 776 |
| Total number of constraints | 867 |
| Number of constraints which are clauses | 701 |
| Number of constraints which are cardinality constraints (but not clauses) | 166 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 776 |
| Biggest coefficient in the objective function | 474 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 2127 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 474 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 2127 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2664717-1276477267.opb>
0.01/0.03 c original problem has 776 variables (776 bin, 0 int, 0 impl, 0 cont) and 867 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.01/0.03 o 1179
0.01/0.03 c feasible solution found by trivial heuristic, objective value 1.179000e+03
0.01/0.03 c presolving:
0.01/0.04 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3214 impls, 17 clqs
0.01/0.07 c (round 2) 1 del vars, 2 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 847 upgd conss, 3214 impls, 17 clqs
0.01/0.09 c (round 3) 1 del vars, 5 del conss, 1 chg bounds, 1 chg sides, 3 chg coeffs, 865 upgd conss, 3214 impls, 17 clqs
0.09/0.12 c (0.1s) probing: 223/775 (28.8%) - 0 fixings, 0 aggregations, 157 implications, 0 bound changes
0.09/0.12 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.12 c presolving (4 rounds):
0.09/0.12 c 1 deleted vars, 5 deleted constraints, 1 tightened bounds, 0 added holes, 1 changed sides, 3 changed coefficients
0.09/0.12 c 3712 implications, 17 cliques
0.09/0.12 c presolved problem has 775 variables (775 bin, 0 int, 0 impl, 0 cont) and 863 constraints
0.09/0.12 c 146 constraints of type <knapsack>
0.09/0.12 c 17 constraints of type <setppc>
0.09/0.12 c 700 constraints of type <logicor>
0.09/0.12 c transformed objective value is always integral (scale: 1)
0.09/0.12 c Presolving Time: 0.07
0.09/0.12 c - non default parameters ----------------------------------------------------------------------
0.09/0.12 c # SCIP version 1.2.1.2
0.09/0.12 c
0.09/0.12 c # frequency for displaying node information lines
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.12 c display/freq = 10000
0.09/0.12 c
0.09/0.12 c # maximal time in seconds to run
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/time = 1799.98
0.09/0.12 c
0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/memory = 1620
0.09/0.12 c
0.09/0.12 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.12 c lp/solvefreq = -1
0.09/0.12 c
0.09/0.12 c # should presolving try to simplify inequalities
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/linear/simplifyinequalities = TRUE
0.09/0.12 c
0.09/0.12 c # should presolving try to simplify knapsacks
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.12 c
0.09/0.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c separating/rapidlearning/freq = 0
0.09/0.12 c
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c start solving
0.09/0.12 c
0.09/0.13 o 1145
0.09/0.13 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.13 c t 0.1s| 1 | 0 | 0 | - |3111k| 0 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 | -- | 1.145000e+03 | Inf
0.09/0.13 c 0.1s| 1 | 2 | 0 | - |3092k| 0 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-4.740000e+02 | 1.145000e+03 | Inf
4.69/4.73 c 4.3s| 10000 | 10001 | 0 | 0.0 |7808k| 51 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-4.120000e+02 | 1.145000e+03 | Inf
9.39/9.44 c 8.7s| 20000 | 20001 | 0 | 0.0 | 12M| 55 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-4.070000e+02 | 1.145000e+03 | Inf
13.99/14.02 c 12.9s| 30000 | 30001 | 0 | 0.0 | 17M| 57 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-4.060000e+02 | 1.145000e+03 | Inf
18.48/18.56 c 17.2s| 40000 | 40001 | 0 | 0.0 | 22M| 69 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-4.050000e+02 | 1.145000e+03 | Inf
23.09/23.10 c 21.4s| 50000 | 50001 | 0 | 0.0 | 27M| 69 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-4.040000e+02 | 1.145000e+03 | Inf
27.58/27.65 c 25.6s| 60000 | 60001 | 0 | 0.0 | 31M| 69 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-4.040000e+02 | 1.145000e+03 | Inf
32.17/32.20 c 29.8s| 70000 | 70001 | 0 | 0.0 | 36M| 71 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-4.030000e+02 | 1.145000e+03 | Inf
36.67/36.76 c 34.0s| 80000 | 80001 | 0 | 0.0 | 41M| 71 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-4.030000e+02 | 1.145000e+03 | Inf
41.27/41.35 c 38.3s| 90000 | 90001 | 0 | 0.0 | 45M| 71 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-4.020000e+02 | 1.145000e+03 | Inf
45.77/45.89 c 42.5s|100000 |100001 | 0 | 0.0 | 50M| 71 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-4.020000e+02 | 1.145000e+03 | Inf
50.37/50.44 c 46.7s|110000 |110001 | 0 | 0.0 | 55M| 71 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-4.010000e+02 | 1.145000e+03 | Inf
54.87/54.98 c 51.0s|120000 |120001 | 0 | 0.0 | 59M| 71 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-4.010000e+02 | 1.145000e+03 | Inf
59.47/59.53 c 55.2s|130000 |130001 | 0 | 0.0 | 64M| 71 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-4.010000e+02 | 1.145000e+03 | Inf
63.96/64.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.96/64.08 c 59.4s|140000 |140001 | 0 | 0.0 | 68M| 71 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-4.000000e+02 | 1.145000e+03 | Inf
68.56/68.64 c 63.6s|150000 |150001 | 0 | 0.0 | 73M| 71 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-4.000000e+02 | 1.145000e+03 | Inf
73.15/73.22 c 67.9s|160000 |160001 | 0 | 0.0 | 77M| 71 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-4.000000e+02 | 1.145000e+03 | Inf
77.56/77.69 c 72.0s|170000 |170001 | 0 | 0.0 | 82M| 77 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.990000e+02 | 1.145000e+03 | Inf
82.05/82.13 c 76.2s|180000 |180001 | 0 | 0.0 | 86M| 77 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.990000e+02 | 1.145000e+03 | Inf
86.45/86.56 c 80.3s|190000 |190001 | 0 | 0.0 | 90M| 77 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.990000e+02 | 1.145000e+03 | Inf
90.85/90.99 c 84.4s|200000 |200001 | 0 | 0.0 | 94M| 77 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.990000e+02 | 1.145000e+03 | Inf
95.34/95.47 c 88.6s|210000 |210001 | 0 | 0.0 | 99M| 77 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.990000e+02 | 1.145000e+03 | Inf
99.85/99.96 c 92.8s|220000 |220001 | 0 | 0.0 | 103M| 79 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.980000e+02 | 1.145000e+03 | Inf
104.35/104.48 c 97.0s|230000 |230001 | 0 | 0.0 | 107M| 79 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.980000e+02 | 1.145000e+03 | Inf
108.85/108.98 c 101s|240000 |240001 | 0 | 0.0 | 111M| 79 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.980000e+02 | 1.145000e+03 | Inf
113.44/113.52 c 105s|250000 |250001 | 0 | 0.0 | 116M| 79 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.980000e+02 | 1.145000e+03 | Inf
117.94/118.06 c 110s|260000 |260001 | 0 | 0.0 | 120M| 79 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.980000e+02 | 1.145000e+03 | Inf
122.54/122.61 c 114s|270000 |270001 | 0 | 0.0 | 124M| 79 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.980000e+02 | 1.145000e+03 | Inf
127.04/127.14 c 118s|280000 |280001 | 0 | 0.0 | 129M| 79 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.980000e+02 | 1.145000e+03 | Inf
131.54/131.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.54/131.68 c 122s|290000 |290001 | 0 | 0.0 | 133M| 79 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.980000e+02 | 1.145000e+03 | Inf
136.03/136.20 c 126s|300000 |300001 | 0 | 0.0 | 137M| 79 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.980000e+02 | 1.145000e+03 | Inf
140.53/140.67 c 131s|310000 |310001 | 0 | 0.0 | 142M| 79 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | 1.145000e+03 | Inf
145.04/145.17 c 135s|320000 |320001 | 0 | 0.0 | 146M| 79 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | 1.145000e+03 | Inf
149.54/149.67 c 139s|330000 |330001 | 0 | 0.0 | 150M| 79 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | 1.145000e+03 | Inf
154.03/154.17 c 143s|340000 |340001 | 0 | 0.0 | 155M| 79 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | 1.145000e+03 | Inf
158.53/158.66 c 147s|350000 |350001 | 0 | 0.0 | 159M| 79 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | 1.145000e+03 | Inf
163.02/163.16 c 151s|360000 |360001 | 0 | 0.0 | 163M| 79 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | 1.145000e+03 | Inf
167.52/167.64 c 156s|370000 |370001 | 0 | 0.0 | 167M| 79 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | 1.145000e+03 | Inf
172.02/172.12 c 160s|380000 |380001 | 0 | 0.0 | 171M| 79 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | 1.145000e+03 | Inf
176.42/176.59 c 164s|390000 |390001 | 0 | 0.0 | 176M| 79 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | 1.145000e+03 | Inf
180.91/181.06 c 168s|400000 |400001 | 0 | 0.0 | 180M| 79 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | 1.145000e+03 | Inf
185.41/185.52 c 172s|410000 |410001 | 0 | 0.0 | 184M| 79 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | 1.145000e+03 | Inf
189.81/189.97 c 176s|420000 |420001 | 0 | 0.0 | 188M| 79 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.970000e+02 | 1.145000e+03 | Inf
194.31/194.42 c 180s|430000 |430001 | 0 | 0.0 | 193M| 81 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | 1.145000e+03 | Inf
198.81/198.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
198.81/198.90 c 185s|440000 |440001 | 0 | 0.0 | 197M| 81 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | 1.145000e+03 | Inf
203.21/203.37 c 189s|450000 |450001 | 0 | 0.0 | 201M| 81 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | 1.145000e+03 | Inf
207.72/207.85 c 193s|460000 |460001 | 0 | 0.0 | 205M| 81 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | 1.145000e+03 | Inf
212.22/212.33 c 197s|470000 |470001 | 0 | 0.0 | 209M| 81 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | 1.145000e+03 | Inf
216.70/216.80 c 201s|480000 |480001 | 0 | 0.0 | 214M| 81 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | 1.145000e+03 | Inf
221.10/221.26 c 205s|490000 |490001 | 0 | 0.0 | 218M| 81 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | 1.145000e+03 | Inf
225.60/225.73 c 210s|500000 |500001 | 0 | 0.0 | 222M| 81 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | 1.145000e+03 | Inf
230.10/230.20 c 214s|510000 |510001 | 0 | 0.0 | 226M| 81 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | 1.145000e+03 | Inf
234.50/234.67 c 218s|520000 |520001 | 0 | 0.0 | 230M| 81 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | 1.145000e+03 | Inf
239.00/239.14 c 222s|530000 |530001 | 0 | 0.0 | 235M| 81 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | 1.145000e+03 | Inf
243.50/243.60 c 226s|540000 |540001 | 0 | 0.0 | 239M| 81 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | 1.145000e+03 | Inf
247.89/248.03 c 230s|550000 |550001 | 0 | 0.0 | 243M| 81 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.960000e+02 | 1.145000e+03 | Inf
252.30/252.45 c 234s|560000 |560001 | 0 | 0.0 | 247M| 83 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | 1.145000e+03 | Inf
256.79/256.92 c 238s|570000 |570001 | 0 | 0.0 | 251M| 83 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | 1.145000e+03 | Inf
261.19/261.38 c 243s|580000 |580001 | 0 | 0.0 | 256M| 83 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | 1.145000e+03 | Inf
265.69/265.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
265.69/265.84 c 247s|590000 |590001 | 0 | 0.0 | 260M| 83 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | 1.145000e+03 | Inf
270.09/270.29 c 251s|600000 |600001 | 0 | 0.0 | 264M| 83 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | 1.145000e+03 | Inf
274.58/274.73 c 255s|610000 |610001 | 0 | 0.0 | 268M| 83 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | 1.145000e+03 | Inf
278.98/279.19 c 259s|620000 |620001 | 0 | 0.0 | 272M| 83 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | 1.145000e+03 | Inf
283.48/283.64 c 263s|630000 |630001 | 0 | 0.0 | 276M| 83 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | 1.145000e+03 | Inf
287.99/288.10 c 267s|640000 |640001 | 0 | 0.0 | 280M| 83 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | 1.145000e+03 | Inf
292.39/292.54 c 272s|650000 |650001 | 0 | 0.0 | 285M| 83 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | 1.145000e+03 | Inf
296.79/296.99 c 276s|660000 |660001 | 0 | 0.0 | 289M| 83 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | 1.145000e+03 | Inf
301.29/301.47 c 280s|670000 |670001 | 0 | 0.0 | 293M| 83 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | 1.145000e+03 | Inf
305.78/305.96 c 284s|680000 |680001 | 0 | 0.0 | 297M| 83 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | 1.145000e+03 | Inf
310.27/310.45 c 288s|690000 |690001 | 0 | 0.0 | 301M| 83 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | 1.145000e+03 | Inf
314.76/314.94 c 292s|700000 |700001 | 0 | 0.0 | 306M| 83 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | 1.145000e+03 | Inf
319.27/319.43 c 296s|710000 |710001 | 0 | 0.0 | 310M| 83 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | 1.145000e+03 | Inf
323.77/323.91 c 301s|720000 |720001 | 0 | 0.0 | 314M| 83 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | 1.145000e+03 | Inf
328.16/328.39 c 305s|730000 |730001 | 0 | 0.0 | 319M| 83 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | 1.145000e+03 | Inf
332.67/332.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
332.67/332.84 c 309s|740000 |740001 | 0 | 0.0 | 323M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | 1.145000e+03 | Inf
337.06/337.29 c 313s|750000 |750001 | 0 | 0.0 | 327M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | 1.145000e+03 | Inf
341.46/341.69 c 317s|760000 |760001 | 0 | 0.0 | 331M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.950000e+02 | 1.145000e+03 | Inf
345.96/346.14 c 321s|770000 |770001 | 0 | 0.0 | 336M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
350.45/350.62 c 325s|780000 |780001 | 0 | 0.0 | 340M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
354.96/355.10 c 329s|790000 |790001 | 0 | 0.0 | 344M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
359.36/359.57 c 334s|800000 |800001 | 0 | 0.0 | 348M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
363.86/364.05 c 338s|810000 |810001 | 0 | 0.0 | 353M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
368.36/368.52 c 342s|820000 |820001 | 0 | 0.0 | 357M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
372.76/372.99 c 346s|830000 |830001 | 0 | 0.0 | 361M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
377.25/377.47 c 350s|840000 |840001 | 0 | 0.0 | 366M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
381.75/381.95 c 354s|850000 |850001 | 0 | 0.0 | 370M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
386.24/386.42 c 359s|860000 |860001 | 0 | 0.0 | 374M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
390.74/390.90 c 363s|870000 |870001 | 0 | 0.0 | 378M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
395.14/395.36 c 367s|880000 |880001 | 0 | 0.0 | 383M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
399.64/399.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
399.64/399.83 c 371s|890000 |890001 | 0 | 0.0 | 387M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
404.04/404.29 c 375s|900000 |900001 | 0 | 0.0 | 391M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
408.53/408.75 c 379s|910000 |910001 | 0 | 0.0 | 395M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
413.03/413.22 c 383s|920000 |920001 | 0 | 0.0 | 400M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
417.43/417.68 c 387s|930000 |930001 | 0 | 0.0 | 404M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
421.93/422.14 c 392s|940000 |940001 | 0 | 0.0 | 408M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
426.42/426.61 c 396s|950000 |950001 | 0 | 0.0 | 412M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
430.83/431.06 c 400s|960000 |960001 | 0 | 0.0 | 417M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
435.32/435.51 c 404s|970000 |970001 | 0 | 0.0 | 421M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
439.72/439.97 c 408s|980000 |980001 | 0 | 0.0 | 425M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
444.22/444.42 c 412s|990000 |990001 | 0 | 0.0 | 430M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
448.63/448.86 c 416s| 1000k| 1000k| 0 | 0.0 | 434M| 87 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
453.11/453.32 c 421s| 1010k| 1010k| 0 | 0.0 | 438M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
457.52/457.77 c 425s| 1020k| 1020k| 0 | 0.0 | 442M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
462.02/462.21 c 429s| 1030k| 1030k| 0 | 0.0 | 447M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
466.41/466.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
466.41/466.65 c 433s| 1040k| 1040k| 0 | 0.0 | 451M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
470.91/471.10 c 437s| 1050k| 1050k| 0 | 0.0 | 455M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
475.30/475.53 c 441s| 1060k| 1060k| 0 | 0.0 | 460M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
479.71/479.96 c 445s| 1070k| 1070k| 0 | 0.0 | 464M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
484.10/484.38 c 449s| 1080k| 1080k| 0 | 0.0 | 468M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
488.50/488.79 c 454s| 1090k| 1090k| 0 | 0.0 | 472M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
492.90/493.19 c 458s| 1100k| 1100k| 0 | 0.0 | 477M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.940000e+02 | 1.145000e+03 | Inf
497.39/497.63 c 462s| 1110k| 1110k| 0 | 0.0 | 481M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
501.90/502.10 c 466s| 1120k| 1120k| 0 | 0.0 | 485M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
506.30/506.58 c 470s| 1130k| 1130k| 0 | 0.0 | 489M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
510.80/511.06 c 474s| 1140k| 1140k| 0 | 0.0 | 494M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
515.29/515.53 c 478s| 1150k| 1150k| 0 | 0.0 | 498M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
519.79/520.00 c 483s| 1160k| 1160k| 0 | 0.0 | 502M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
524.19/524.45 c 487s| 1170k| 1170k| 0 | 0.0 | 506M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
528.69/528.92 c 491s| 1180k| 1180k| 0 | 0.0 | 511M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
533.09/533.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
533.09/533.38 c 495s| 1190k| 1190k| 0 | 0.0 | 515M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
537.60/537.86 c 499s| 1200k| 1200k| 0 | 0.0 | 519M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
541.99/542.30 c 503s| 1210k| 1210k| 0 | 0.0 | 524M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
546.49/546.76 c 507s| 1220k| 1220k| 0 | 0.0 | 528M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
550.98/551.22 c 512s| 1230k| 1230k| 0 | 0.0 | 532M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
555.38/555.67 c 516s| 1240k| 1240k| 0 | 0.0 | 536M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
559.87/560.14 c 520s| 1250k| 1250k| 0 | 0.0 | 541M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
564.27/564.59 c 524s| 1260k| 1260k| 0 | 0.0 | 545M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
568.78/569.05 c 528s| 1270k| 1270k| 0 | 0.0 | 549M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
573.27/573.51 c 532s| 1280k| 1280k| 0 | 0.0 | 553M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
577.67/577.94 c 536s| 1290k| 1290k| 0 | 0.0 | 558M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
582.07/582.39 c 540s| 1300k| 1300k| 0 | 0.0 | 562M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
586.57/586.84 c 545s| 1310k| 1310k| 0 | 0.0 | 566M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
590.97/591.28 c 549s| 1320k| 1320k| 0 | 0.0 | 570M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
595.47/595.74 c 553s| 1330k| 1330k| 0 | 0.0 | 575M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
599.96/600.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
599.96/600.20 c 557s| 1340k| 1340k| 0 | 0.0 | 579M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
604.36/604.65 c 561s| 1350k| 1350k| 0 | 0.0 | 583M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
608.86/609.11 c 565s| 1360k| 1360k| 0 | 0.0 | 587M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
613.26/613.58 c 569s| 1370k| 1370k| 0 | 0.0 | 592M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
617.76/618.02 c 574s| 1380k| 1380k| 0 | 0.0 | 596M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
622.15/622.47 c 578s| 1390k| 1390k| 0 | 0.0 | 600M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
626.66/626.91 c 582s| 1400k| 1400k| 0 | 0.0 | 604M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
631.06/631.33 c 586s| 1410k| 1410k| 0 | 0.0 | 609M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
635.46/635.76 c 590s| 1420k| 1420k| 0 | 0.0 | 613M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
639.86/640.18 c 594s| 1430k| 1430k| 0 | 0.0 | 617M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
644.25/644.59 c 598s| 1440k| 1440k| 0 | 0.0 | 622M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
648.65/648.99 c 602s| 1450k| 1450k| 0 | 0.0 | 626M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
653.05/653.39 c 606s| 1460k| 1460k| 0 | 0.0 | 630M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
657.45/657.79 c 610s| 1470k| 1470k| 0 | 0.0 | 634M| 89 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
661.84/662.16 c 614s| 1480k| 1480k| 0 | 0.0 | 639M| 95 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.930000e+02 | 1.145000e+03 | Inf
666.25/666.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
666.25/666.54 c 619s| 1490k| 1490k| 0 | 0.0 | 643M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
670.65/670.94 c 623s| 1500k| 1500k| 0 | 0.0 | 647M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
675.04/675.34 c 627s| 1510k| 1510k| 0 | 0.0 | 651M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
679.44/679.74 c 631s| 1520k| 1520k| 0 | 0.0 | 656M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
683.84/684.14 c 635s| 1530k| 1530k| 0 | 0.0 | 660M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
688.24/688.53 c 639s| 1540k| 1540k| 0 | 0.0 | 664M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
692.63/692.93 c 643s| 1550k| 1550k| 0 | 0.0 | 668M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
697.04/697.32 c 647s| 1560k| 1560k| 0 | 0.0 | 672M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
701.43/701.73 c 651s| 1570k| 1570k| 0 | 0.0 | 677M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
705.83/706.11 c 655s| 1580k| 1580k| 0 | 0.0 | 681M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
710.23/710.51 c 659s| 1590k| 1590k| 0 | 0.0 | 685M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
714.63/714.91 c 663s| 1600k| 1600k| 0 | 0.0 | 689M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
718.92/719.28 c 668s| 1610k| 1610k| 0 | 0.0 | 693M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
723.32/723.65 c 672s| 1620k| 1620k| 0 | 0.0 | 698M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
727.71/728.03 c 676s| 1630k| 1630k| 0 | 0.0 | 702M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
732.01/732.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
732.01/732.39 c 680s| 1640k| 1640k| 0 | 0.0 | 706M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
736.41/736.76 c 684s| 1650k| 1650k| 0 | 0.0 | 710M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
740.81/741.14 c 688s| 1660k| 1660k| 0 | 0.0 | 714M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
745.21/745.51 c 692s| 1670k| 1670k| 0 | 0.0 | 718M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
749.50/749.86 c 696s| 1680k| 1680k| 0 | 0.0 | 722M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
753.90/754.22 c 700s| 1690k| 1690k| 0 | 0.0 | 726M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
758.21/758.59 c 704s| 1700k| 1700k| 0 | 0.0 | 731M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
762.60/762.96 c 708s| 1710k| 1710k| 0 | 0.0 | 735M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
767.00/767.30 c 712s| 1720k| 1720k| 0 | 0.0 | 739M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
771.30/771.66 c 716s| 1730k| 1730k| 0 | 0.0 | 743M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
775.70/776.01 c 720s| 1740k| 1740k| 0 | 0.0 | 747M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
779.99/780.36 c 724s| 1750k| 1750k| 0 | 0.0 | 751M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
784.39/784.71 c 728s| 1760k| 1760k| 0 | 0.0 | 755M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
788.69/789.06 c 732s| 1770k| 1770k| 0 | 0.0 | 760M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
793.09/793.43 c 736s| 1780k| 1780k| 0 | 0.0 | 764M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
797.39/797.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
797.39/797.78 c 740s| 1790k| 1790k| 0 | 0.0 | 768M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
801.79/802.15 c 744s| 1800k| 1800k| 0 | 0.0 | 772M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
806.09/806.49 c 748s| 1810k| 1810k| 0 | 0.0 | 776M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
810.48/810.84 c 752s| 1820k| 1820k| 0 | 0.0 | 780M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
814.88/815.20 c 757s| 1830k| 1830k| 0 | 0.0 | 784M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
819.19/819.55 c 761s| 1840k| 1840k| 0 | 0.0 | 788M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
823.48/823.90 c 765s| 1850k| 1850k| 0 | 0.0 | 793M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
827.88/828.22 c 769s| 1860k| 1860k| 0 | 0.0 | 797M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
832.17/832.56 c 773s| 1870k| 1870k| 0 | 0.0 | 801M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
836.57/836.91 c 777s| 1880k| 1880k| 0 | 0.0 | 805M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
840.87/841.25 c 781s| 1890k| 1890k| 0 | 0.0 | 809M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
845.17/845.57 c 785s| 1900k| 1900k| 0 | 0.0 | 813M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
849.56/849.91 c 789s| 1910k| 1910k| 0 | 0.0 | 817M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
853.86/854.25 c 793s| 1920k| 1920k| 0 | 0.0 | 821M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
858.16/858.57 c 797s| 1930k| 1930k| 0 | 0.0 | 826M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
862.56/862.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
862.56/862.91 c 801s| 1940k| 1940k| 0 | 0.0 | 830M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
866.86/867.22 c 805s| 1950k| 1950k| 0 | 0.0 | 834M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
871.15/871.53 c 809s| 1960k| 1960k| 0 | 0.0 | 838M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
875.46/875.84 c 813s| 1970k| 1970k| 0 | 0.0 | 842M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
879.76/880.15 c 817s| 1980k| 1980k| 0 | 0.0 | 846M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
884.06/884.46 c 821s| 1990k| 1990k| 0 | 0.0 | 850M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
888.36/888.75 c 825s| 2000k| 2000k| 0 | 0.0 | 854M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
892.65/893.04 c 829s| 2010k| 2010k| 0 | 0.0 | 858M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
896.95/897.34 c 833s| 2020k| 2020k| 0 | 0.0 | 862M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
901.25/901.61 c 837s| 2030k| 2030k| 0 | 0.0 | 867M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
905.45/905.85 c 841s| 2040k| 2040k| 0 | 0.0 | 871M| 101 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.920000e+02 | 1.145000e+03 | Inf
909.84/910.21 c 845s| 2050k| 2050k| 0 | 0.0 | 875M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
914.15/914.57 c 849s| 2060k| 2060k| 0 | 0.0 | 879M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
918.55/918.92 c 853s| 2070k| 2070k| 0 | 0.0 | 883M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
922.84/923.28 c 857s| 2080k| 2080k| 0 | 0.0 | 887M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
927.24/927.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
927.24/927.63 c 861s| 2090k| 2090k| 0 | 0.0 | 891M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
931.63/932.00 c 865s| 2100k| 2100k| 0 | 0.0 | 895M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
935.94/936.35 c 869s| 2110k| 2110k| 0 | 0.0 | 899M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
940.34/940.71 c 873s| 2120k| 2120k| 0 | 0.0 | 903M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
944.64/945.06 c 877s| 2130k| 2130k| 0 | 0.0 | 908M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
949.04/949.41 c 881s| 2140k| 2140k| 0 | 0.0 | 912M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
953.34/953.77 c 885s| 2150k| 2150k| 0 | 0.0 | 916M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
957.73/958.13 c 889s| 2160k| 2160k| 0 | 0.0 | 920M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
962.04/962.49 c 893s| 2170k| 2170k| 0 | 0.0 | 924M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
966.43/966.85 c 897s| 2180k| 2180k| 0 | 0.0 | 928M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
970.83/971.21 c 901s| 2190k| 2190k| 0 | 0.0 | 932M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
975.12/975.56 c 905s| 2200k| 2200k| 0 | 0.0 | 936M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
979.53/979.92 c 909s| 2210k| 2210k| 0 | 0.0 | 940M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
983.82/984.28 c 913s| 2220k| 2220k| 0 | 0.0 | 944M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
988.22/988.64 c 918s| 2230k| 2230k| 0 | 0.0 | 948M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
992.52/992.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
992.52/992.99 c 922s| 2240k| 2240k| 0 | 0.0 | 953M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
996.91/997.34 c 926s| 2250k| 2250k| 0 | 0.0 | 957M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1001.32/1001.70 c 930s| 2260k| 2260k| 0 | 0.0 | 961M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1005.62/1006.06 c 934s| 2270k| 2270k| 0 | 0.0 | 965M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1010.01/1010.41 c 938s| 2280k| 2280k| 0 | 0.0 | 969M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1014.31/1014.77 c 942s| 2290k| 2290k| 0 | 0.0 | 973M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1018.70/1019.11 c 946s| 2300k| 2300k| 0 | 0.0 | 977M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1023.01/1023.46 c 950s| 2310k| 2310k| 0 | 0.0 | 981M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1027.40/1027.81 c 954s| 2320k| 2320k| 0 | 0.0 | 986M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1031.70/1032.17 c 958s| 2330k| 2330k| 0 | 0.0 | 990M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1036.10/1036.52 c 962s| 2340k| 2340k| 0 | 0.0 | 994M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1040.40/1040.87 c 966s| 2350k| 2350k| 0 | 0.0 | 998M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1044.80/1045.23 c 970s| 2360k| 2360k| 0 | 0.0 |1002M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1049.10/1049.58 c 974s| 2370k| 2370k| 0 | 0.0 |1006M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1053.50/1053.92 c 978s| 2380k| 2380k| 0 | 0.0 |1010M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1057.80/1058.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1057.80/1058.28 c 982s| 2390k| 2390k| 0 | 0.0 |1014M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1062.20/1062.63 c 986s| 2400k| 2400k| 0 | 0.0 |1019M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1066.50/1066.98 c 990s| 2410k| 2410k| 0 | 0.0 |1023M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1070.89/1071.31 c 994s| 2420k| 2420k| 0 | 0.0 |1027M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1075.18/1075.64 c 998s| 2430k| 2430k| 0 | 0.0 |1031M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1079.58/1080.00 c 1002s| 2440k| 2440k| 0 | 0.0 |1035M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1083.88/1084.36 c 1006s| 2450k| 2450k| 0 | 0.0 |1039M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1088.27/1088.71 c 1010s| 2460k| 2460k| 0 | 0.0 |1043M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1092.57/1093.06 c 1014s| 2470k| 2470k| 0 | 0.0 |1048M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1096.97/1097.42 c 1018s| 2480k| 2480k| 0 | 0.0 |1052M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1101.27/1101.77 c 1022s| 2490k| 2490k| 0 | 0.0 |1056M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1105.67/1106.12 c 1026s| 2500k| 2500k| 0 | 0.0 |1060M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1109.97/1110.46 c 1030s| 2510k| 2510k| 0 | 0.0 |1064M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1114.36/1114.81 c 1034s| 2520k| 2520k| 0 | 0.0 |1068M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1118.67/1119.17 c 1039s| 2530k| 2530k| 0 | 0.0 |1072M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1123.06/1123.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1123.06/1123.51 c 1043s| 2540k| 2540k| 0 | 0.0 |1076M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1127.36/1127.86 c 1047s| 2550k| 2550k| 0 | 0.0 |1081M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1131.75/1132.20 c 1051s| 2560k| 2560k| 0 | 0.0 |1085M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1136.05/1136.56 c 1055s| 2570k| 2570k| 0 | 0.0 |1089M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1140.45/1140.91 c 1059s| 2580k| 2580k| 0 | 0.0 |1093M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1144.75/1145.25 c 1063s| 2590k| 2590k| 0 | 0.0 |1097M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1149.06/1149.59 c 1067s| 2600k| 2600k| 0 | 0.0 |1101M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1153.46/1153.95 c 1071s| 2610k| 2610k| 0 | 0.0 |1105M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1157.75/1158.30 c 1075s| 2620k| 2620k| 0 | 0.0 |1110M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1162.16/1162.64 c 1079s| 2630k| 2630k| 0 | 0.0 |1114M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1166.44/1166.99 c 1083s| 2640k| 2640k| 0 | 0.0 |1118M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1170.84/1171.33 c 1087s| 2650k| 2650k| 0 | 0.0 |1122M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1175.15/1175.67 c 1091s| 2660k| 2660k| 0 | 0.0 |1126M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1179.55/1180.03 c 1095s| 2670k| 2670k| 0 | 0.0 |1130M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1183.84/1184.36 c 1099s| 2680k| 2680k| 0 | 0.0 |1134M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1188.24/1188.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1188.24/1188.71 c 1103s| 2690k| 2690k| 0 | 0.0 |1139M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1192.53/1193.06 c 1107s| 2700k| 2700k| 0 | 0.0 |1143M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1196.93/1197.42 c 1111s| 2710k| 2710k| 0 | 0.0 |1147M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1201.23/1201.76 c 1115s| 2720k| 2720k| 0 | 0.0 |1151M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1205.63/1206.10 c 1119s| 2730k| 2730k| 0 | 0.0 |1155M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1209.93/1210.44 c 1123s| 2740k| 2740k| 0 | 0.0 |1159M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1214.23/1214.79 c 1127s| 2750k| 2750k| 0 | 0.0 |1163M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1218.63/1219.15 c 1131s| 2760k| 2760k| 0 | 0.0 |1167M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1222.92/1223.49 c 1135s| 2770k| 2770k| 0 | 0.0 |1172M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1227.32/1227.82 c 1139s| 2780k| 2780k| 0 | 0.0 |1176M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1231.62/1232.17 c 1143s| 2790k| 2790k| 0 | 0.0 |1180M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1236.02/1236.53 c 1147s| 2800k| 2800k| 0 | 0.0 |1184M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1240.33/1240.88 c 1151s| 2810k| 2810k| 0 | 0.0 |1188M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1244.73/1245.22 c 1155s| 2820k| 2820k| 0 | 0.0 |1192M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1249.02/1249.54 c 1159s| 2830k| 2830k| 0 | 0.0 |1196M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1253.32/1253.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1253.32/1253.88 c 1163s| 2840k| 2840k| 0 | 0.0 |1201M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1257.71/1258.22 c 1167s| 2850k| 2850k| 0 | 0.0 |1205M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1262.01/1262.56 c 1171s| 2860k| 2860k| 0 | 0.0 |1209M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1266.41/1266.91 c 1175s| 2870k| 2870k| 0 | 0.0 |1213M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1270.70/1271.25 c 1179s| 2880k| 2880k| 0 | 0.0 |1217M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1275.10/1275.61 c 1184s| 2890k| 2890k| 0 | 0.0 |1221M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1279.40/1279.95 c 1188s| 2900k| 2900k| 0 | 0.0 |1225M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1283.70/1284.29 c 1192s| 2910k| 2910k| 0 | 0.0 |1230M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1288.11/1288.64 c 1196s| 2920k| 2920k| 0 | 0.0 |1234M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1292.40/1292.98 c 1200s| 2930k| 2930k| 0 | 0.0 |1238M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1296.80/1297.34 c 1204s| 2940k| 2940k| 0 | 0.0 |1242M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1301.10/1301.69 c 1208s| 2950k| 2950k| 0 | 0.0 |1246M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1305.50/1306.02 c 1212s| 2960k| 2960k| 0 | 0.0 |1250M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1309.80/1310.34 c 1216s| 2970k| 2970k| 0 | 0.0 |1255M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1314.09/1314.67 c 1220s| 2980k| 2980k| 0 | 0.0 |1259M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1318.49/1319.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1318.49/1319.01 c 1224s| 2990k| 2990k| 0 | 0.0 |1263M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1322.80/1323.35 c 1228s| 3000k| 3000k| 0 | 0.0 |1267M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1327.10/1327.67 c 1232s| 3010k| 3010k| 0 | 0.0 |1271M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1331.38/1332.00 c 1236s| 3020k| 3020k| 0 | 0.0 |1275M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1335.78/1336.32 c 1240s| 3030k| 3030k| 0 | 0.0 |1279M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1340.08/1340.63 c 1244s| 3040k| 3040k| 0 | 0.0 |1284M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1344.38/1344.95 c 1248s| 3050k| 3050k| 0 | 0.0 |1288M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1348.68/1349.26 c 1252s| 3060k| 3060k| 0 | 0.0 |1292M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1352.98/1353.57 c 1256s| 3070k| 3070k| 0 | 0.0 |1296M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1357.28/1357.87 c 1260s| 3080k| 3080k| 0 | 0.0 |1300M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1361.57/1362.16 c 1264s| 3090k| 3090k| 0 | 0.0 |1304M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1365.87/1366.44 c 1268s| 3100k| 3100k| 0 | 0.0 |1309M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1370.17/1370.70 c 1272s| 3110k| 3110k| 0 | 0.0 |1313M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1374.38/1374.95 c 1276s| 3120k| 3120k| 0 | 0.0 |1317M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.910000e+02 | 1.145000e+03 | Inf
1378.67/1379.27 c 1280s| 3130k| 3130k| 0 | 0.0 |1321M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.900000e+02 | 1.145000e+03 | Inf
1383.06/1383.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1383.06/1383.64 c 1284s| 3140k| 3140k| 0 | 0.0 |1325M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.900000e+02 | 1.145000e+03 | Inf
1387.37/1388.00 c 1288s| 3150k| 3150k| 0 | 0.0 |1329M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.900000e+02 | 1.145000e+03 | Inf
1391.76/1392.35 c 1292s| 3160k| 3160k| 0 | 0.0 |1333M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.900000e+02 | 1.145000e+03 | Inf
1396.16/1396.75 c 1296s| 3170k| 3170k| 0 | 0.0 |1338M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.900000e+02 | 1.145000e+03 | Inf
1400.56/1401.13 c 1300s| 3180k| 3180k| 0 | 0.0 |1342M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.900000e+02 | 1.145000e+03 | Inf
1404.95/1405.51 c 1304s| 3190k| 3190k| 0 | 0.0 |1346M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.900000e+02 | 1.145000e+03 | Inf
1409.35/1409.90 c 1308s| 3200k| 3200k| 0 | 0.0 |1350M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.900000e+02 | 1.145000e+03 | Inf
1413.65/1414.26 c 1312s| 3210k| 3210k| 0 | 0.0 |1354M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.900000e+02 | 1.145000e+03 | Inf
1418.05/1418.63 c 1316s| 3220k| 3220k| 0 | 0.0 |1358M| 103 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.900000e+02 | 1.145000e+03 | Inf
1418.36/1418.96 c (node 3220748) switching to memory saving mode (mem: 1296.0M/1620.0M)
1419.34/1419.95 o 31
1419.34/1419.95 c *1317s| 3220k| 3220k| 0 | 0.0 |1359M| 254 | - | 775 | 863 | 0 | 0 | 0 | 0 | 0 |-3.900000e+02 | 3.100000e+01 | Inf
1509.12/1509.77 c 1407s| 3230k| 3220k| 0 | 0.0 |1359M| 256 | - | 775 | 863 | 0 | 0 | 0 |3181 | 0 |-3.900000e+02 | 3.100000e+01 | Inf
1616.58/1617.22 c 1514s| 3240k| 3220k| 0 | 0.0 |1359M| 256 | - | 775 | 863 | 0 | 0 | 0 |7066 | 0 |-3.900000e+02 | 3.100000e+01 | Inf
1702.05/1702.76 c 1599s| 3250k| 3220k| 0 | 0.0 |1359M| 257 | - | 775 | 863 | 0 | 0 | 0 | 10k| 0 |-3.900000e+02 | 3.100000e+01 | Inf
1781.71/1782.47 c 1679s| 3260k| 3220k| 0 | 0.0 |1359M| 258 | - | 775 | 863 | 0 | 0 | 0 | 13k| 0 |-3.900000e+02 | 3.100000e+01 | Inf
1800.02/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.73 c
1800.02/1800.73 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.73 c Solving Time (sec) : 1697.06
1800.02/1800.73 c Solving Nodes : 3261937
1800.02/1800.73 c Primal Bound : +3.10000000000000e+01 (4 solutions)
1800.02/1800.73 c Dual Bound : -3.90000000000000e+02
1800.02/1800.73 c Gap : infinite
1800.02/1800.73 s SATISFIABLE
1800.02/1800.73 v x1 x776 x585 x672 x579 x580 -x775 -x340 x545 x315 x509 x544 -x339 x586 x311 x676 x310 x584 x671 -x552 x669 -x553 x581 x316 -x506
1800.02/1800.73 v x113 x314 x508 -x549 x112 -x341 -x505 x542 -x342 x543 x587 x679 -x551 x312 -x550 x582 x675 -x723 x313 x317 -x507 x670 x298
1800.02/1800.73 v -x548 x726 x114 -x504 x727 x115 x338 -x130 x611 -x234 x607 x541 -x537 x357 x692 x358 x532 -x680 -x533 x684 -x483 -x583 x673 -x722
1800.02/1800.73 v x309 -x724 x297 -x546 x728 x295 -x335 -x337 -x502 x111 -x129 x610 -x233 -x479 x606 x360 x540 -x689 x359 -x478 -x536 -x572
1800.02/1800.73 v x691 -x134 -x237 -x238 x688 -x484 -x211 -x482 x683 -x575 -x576 x774 x677 x773 -x306 -x308 x674 x214 x215 x305 -x725 x772 x301
1800.02/1800.73 v -x336 -x547 x709 x108 x708 x110 x296 -x503 -x131 -x326 x608 -x80 -x235 x604 -x662 -x690 -x135 -x240 x538 -x641 -x133 -x239
1800.02/1800.73 v x346 -x378 -x480 -x534 -x571 -x642 x345 -x481 -x485 -x573 x687 -x746 -x84 -x464 x578 x665 -x210 x577 x666 x681 -x381 -x529 x212
1800.02/1800.73 v -x307 -x382 x678 x217 x292 -x749 x216 -x750 -x190 x720 x304 x721 x717 x109 x299 x713 -x458 x706 -x260 -x707 -x63 x107 x333
1800.02/1800.73 v -x769 -x132 -x325 x356 x609 -x644 -x79 -x136 -x236 x355 -x525 x605 -x643 -x661 x119 x222 -x354 x539 -x31 x221 x288 -x350 -x377
1800.02/1800.73 v -x524 -x535 -x663 -x85 -x220 -x330 -x477 x668 -x83 -x186 x287 x343 -x379 -x465 -x574 x667 x685 -x745 x344 -x384 -x469 -x530
1800.02/1800.73 v x558 -x185 -x383 -x414 -x463 -x528 x557 x682 -x747 -x34 -x102 x293 -x461 -x556 x752 -x35 x213 x291 -x454 -x751 -x152 -x191
1800.02/1800.73 v x197 x719 -x189 x196 -x256 -x453 x718 x195 -x417 -x436 -x255 x302 -x418 -x765 -x459 -x627 x716 x270 x300 -x457 x712 -x764 -x261
1800.02/1800.73 v -x259 x269 -x770 -x62 x105 x334 -x601 -x703 -x768 -x128 x232 -x327 x634 -x81 -x98 x120 x231 -x633 x82 -x124 x230 -x331 -x353
1800.02/1800.73 v -x474 -x632 -x30 x86 -x97 -x118 -x148 -x164 x226 -x329 -x349 -x476 -x526 x664 x69 -x116 x527 -x569 x649 -x32 -x147 -x218
1800.02/1800.73 v x289 x380 -x394 -x432 -x473 -x531 -x570 -x648 x686 -x37 -x103 -x219 x290 x365 -x513 x566 -x647 -x11 -x36 -x101 -x187 x294 x364
1800.02/1800.73 v -x413 -x431 -x468 -x562 -x623 x748 -x153 -x167 x188 -x208 -x276 x363 x733 -x151 -x168 -x192 x209 -x415 -x462 -x554 -x622 x732
1800.02/1800.73 v x174 x205 -x397 -x420 -x437 -x555 -x731 x201 -x398 -x419 -x435 x455 -x495 -x14 x456 -x628 -x15 -x46 x193 -x257 x303 -x460
1800.02/1800.73 v -x597 -x626 x194 -x258 x442 x714 -x59 -x262 -x596 -x699 x710 -x766 -x244 -x498 -x767 -x58 x271 -x499 -x771 -x49 x272 -x602 x753
1800.02/1800.73 v -x50 -x64 x106 -x600 -x702 -x328 x639 x127 -x332 -x475 -x638 x78 -x229 -x321 -x351 -x568 -x659 x70 -x99 -x123 -x163 -x225
1800.02/1800.73 v -x347 -x567 -x630 x660 -x73 -x100 -x375 x523 -x631 x656 -x33 -x68 -x104 -x117 -x149 -x165 x376 -x393 -x472 x514 -x653 x22 -x66
1800.02/1800.73 v -x90 -x150 -x170 -x207 -x286 -x372 x517 x565 -x743 -x10 -x21 x154 -x169 -x206 x277 x369 -x395 -x433 -x466 -x512 -x561 -x645
1800.02/1800.73 v -x744 -x20 -x140 -x184 x280 -x400 x434 -x510 -x646 x740 -x12 x175 -x275 x361 -x399 x416 -x438 -x624 -x737 -x17 x178 -x204 -x273
1800.02/1800.73 v x362 x405 -x424 -x625 -x16 -x173 x200 x404 -x494 x629 -x729 -x171 -x403 -x452 x615 -x730 -x45 x443 -x496 -x254 x446 -x501
1800.02/1800.73 v x715 -x47 x245 x441 -x500 -x598 -x698 x711 -x52 x248 x439 -x599 -x763 -x51 -x60 -x243 -x603 -x700 x755 -x61 -x241 x268 -x588
1800.02/1800.73 v x705 x756 -x65 x704 x754 x77 x126 -x228 -x324 x640 -x658 x76 -x94 x125 -x322 x521 -x637 -x657 -x27 x75 -x93 x162 -x227 -x323
1800.02/1800.73 v -x352 -x374 x520 -x655 -x26 x74 -x95 -x121 -x144 x161 -x223 -x284 -x320 -x348 -x373 x522 -x635 -x28 -x96 -x143 x160 -x283 -x318
1800.02/1800.73 v -x371 x392 -x471 x519 -x564 -x636 -x654 -x742 -x29 -x71 x91 -x122 -x145 -x166 -x182 -x224 -x285 -x319 x391 -x428 -x470 x518
1800.02/1800.73 v -x652 -x741 -x9 x25 -x72 -x92 -x146 x159 -x181 -x282 -x370 x390 -x410 -x427 -x563 -x739 -x8 x23 -x67 -x89 x141 -x158 -x183
1800.02/1800.73 v x281 -x368 -x396 -x409 -x429 -x467 -x515 -x559 -x619 -x650 -x7 -x24 -x87 x142 -x157 -x180 -x203 x389 -x411 -x430 -x516 -x618
1800.02/1800.73 v -x651 -x738 -x13 -x18 -x88 -x139 -x155 x179 x278 -x366 -x388 -x412 x425 -x450 -x511 -x560 -x620 -x736 -x6 -x19 -x137 -x156 -x202
1800.02/1800.73 v x279 -x367 -x387 x408 x426 -x449 -x493 -x621 -x5 -x138 -x176 x198 -x252 -x274 -x385 x406 -x423 -x451 -x492 x616 -x734 -x4
1800.02/1800.73 v x44 -x177 -x251 -x386 -x407 -x421 -x448 -x491 x617 -x735 -x2 x43 -x172 x199 -x253 -x401 -x422 x447 -x497 -x593 -x614 -x761
1800.02/1800.73 v -x3 x42 x250 -x402 -x490 -x592 -x612 -x697 -x760 -x48 -x54 x249 x266 x444 -x489 -x594 -x613 -x696 -x762 x41 -x53 x265 x445 -x488
1800.02/1800.73 v -x595 -x695 -x759 -x40 -x55 -x246 x267 x440 -x486 x590 -x701 -x758 -x38 -x56 -x247 -x264 -x487 x591 x693 -x39 x57 -x242 -x263
1800.02/1800.73 v -x589 x694 x757
1800.02/1800.73 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.73 c Solving Time : 1697.06
1800.02/1800.73 c Original Problem :
1800.02/1800.73 c Problem name : HOME/instance-2664717-1276477267.opb
1800.02/1800.73 c Variables : 776 (776 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.73 c Constraints : 867 initial, 867 maximal
1800.02/1800.73 c Presolved Problem :
1800.02/1800.73 c Problem name : t_HOME/instance-2664717-1276477267.opb
1800.02/1800.73 c Variables : 775 (775 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.73 c Constraints : 863 initial, 863 maximal
1800.02/1800.73 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.73 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.73 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.73 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.73 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.73 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.73 c probing : 0.03 0 0 0 0 0 0 0 0
1800.02/1800.73 c knapsack : 0.00 0 0 0 0 0 1 1 3
1800.02/1800.73 c setppc : 0.00 0 0 0 0 0 1 0 0
1800.02/1800.73 c linear : 0.03 1 0 0 1 0 2 0 0
1800.02/1800.73 c logicor : 0.01 0 0 0 0 0 1 0 0
1800.02/1800.73 c root node : - 0 - - 0 - - - -
1800.02/1800.73 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.73 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.73 c knapsack : 146 0 10913084 0 3245682 14395 1479225 0 0 0
1800.02/1800.73 c setppc : 17 0 10774425 0 3213744 0 262632 0 0 0
1800.02/1800.73 c logicor : 700+ 0 7615944 0 3245682 20 8293390 0 0 0
1800.02/1800.73 c countsols : 0 0 0 0 3245682 0 0 0 0 0
1800.02/1800.73 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.73 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.73 c knapsack : 455.11 0.00 450.42 0.00 4.69
1800.02/1800.73 c setppc : 30.09 0.00 8.02 0.00 22.07
1800.02/1800.73 c logicor : 247.94 0.00 32.32 0.00 215.62
1800.02/1800.73 c countsols : 1.26 0.00 0.00 0.00 1.26
1800.02/1800.73 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.73 c vbounds : 5.16 2 0 0
1800.02/1800.73 c rootredcost : 4.52 0 0 0
1800.02/1800.73 c pseudoobj : 356.50 10918825 6257 182200
1800.02/1800.73 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.73 c propagation : 369.49 14413 14413 2184327 354.5 39 254.9 -
1800.02/1800.73 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.73 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.73 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.73 c pseudo solution : 0.41 2153 0 0 0.0 0 0.0 -
1800.02/1800.73 c applied globally : - - - 0 0.0 - - -
1800.02/1800.73 c applied locally : - - - 14413 204.8 - - -
1800.02/1800.73 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.73 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.73 c redcost : 0.00 0 0 0 0 0
1800.02/1800.73 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.73 c intobj : 0.00 0 0 0 0 0
1800.02/1800.73 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.73 c gomory : 0.00 0 0 0 0 0
1800.02/1800.73 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.73 c cmir : 0.00 0 0 0 0 0
1800.02/1800.73 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.73 c clique : 0.00 0 0 0 0 0
1800.02/1800.73 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.73 c mcf : 0.00 0 0 0 0 0
1800.02/1800.73 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.73 c Pricers : Time Calls Vars
1800.02/1800.73 c problem variables: 0.00 0 0
1800.02/1800.73 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.73 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.73 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.73 c inference : 412.38 3245681 0 0 0 0 6491362
1800.02/1800.73 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.73 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.73 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.73 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.73 c random : 0.00 0 0 0 0 0 0
1800.02/1800.73 c Primal Heuristics : Time Calls Found
1800.02/1800.73 c LP solutions : 0.00 - 0
1800.02/1800.73 c pseudo solutions : 0.12 - 1
1800.02/1800.73 c oneopt : 2.14 0 0
1800.02/1800.73 c trivial : 0.00 2 3
1800.02/1800.73 c simplerounding : 0.00 0 0
1800.02/1800.73 c zirounding : 0.00 0 0
1800.02/1800.73 c rounding : 0.00 0 0
1800.02/1800.73 c shifting : 0.00 0 0
1800.02/1800.73 c intshifting : 0.00 0 0
1800.02/1800.73 c twoopt : 0.00 0 0
1800.02/1800.73 c fixandinfer : 0.00 0 0
1800.02/1800.73 c feaspump : 0.00 0 0
1800.02/1800.73 c coefdiving : 0.00 0 0
1800.02/1800.73 c pscostdiving : 0.00 0 0
1800.02/1800.73 c fracdiving : 0.00 0 0
1800.02/1800.73 c veclendiving : 0.00 0 0
1800.02/1800.73 c intdiving : 0.00 0 0
1800.02/1800.73 c actconsdiving : 0.00 0 0
1800.02/1800.73 c objpscostdiving : 0.00 0 0
1800.02/1800.73 c rootsoldiving : 0.00 0 0
1800.02/1800.73 c linesearchdiving : 0.00 0 0
1800.02/1800.73 c guideddiving : 0.00 0 0
1800.02/1800.73 c octane : 0.00 0 0
1800.02/1800.73 c rens : 0.00 0 0
1800.02/1800.73 c rins : 0.00 0 0
1800.02/1800.73 c localbranching : 0.00 0 0
1800.02/1800.73 c mutation : 0.00 0 0
1800.02/1800.73 c crossover : 0.00 0 0
1800.02/1800.73 c dins : 0.00 0 0
1800.02/1800.73 c undercover : 0.00 0 0
1800.02/1800.73 c nlp : 1.44 0 0
1800.02/1800.73 c trysol : 1.63 0 0
1800.02/1800.73 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.73 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.73 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.73 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.73 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.73 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.73 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.73 c (at root node) : - 0 0 0.00 -
1800.02/1800.73 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.73 c B&B Tree :
1800.02/1800.73 c number of runs : 1
1800.02/1800.73 c nodes : 3261937
1800.02/1800.73 c nodes (total) : 3261937
1800.02/1800.73 c nodes left : 3220939
1800.02/1800.73 c max depth : 258
1800.02/1800.73 c max depth (total): 258
1800.02/1800.73 c backtracks : 80537 (2.5%)
1800.02/1800.73 c delayed cutoffs : 7319
1800.02/1800.73 c repropagations : 12533 (69739 domain reductions, 6570 cutoffs)
1800.02/1800.73 c avg switch length: 2.73
1800.02/1800.73 c switching time : 44.67
1800.02/1800.73 c Solution :
1800.02/1800.73 c Solutions found : 4 (3 improvements)
1800.02/1800.73 c First Solution : +1.17900000000000e+03 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.02/1800.73 c Primal Bound : +3.10000000000000e+01 (in run 1, after 3220958 nodes, 1317.31 seconds, depth 254, found by <relaxation>)
1800.02/1800.73 c Dual Bound : -3.90000000000000e+02
1800.02/1800.73 c Gap : infinite
1800.02/1800.73 c Root Dual Bound : -4.74000000000000e+02
1800.02/1800.73 c Root Iterations : 0
OK 31
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664717-1276477267/watcher-2664717-1276477267 -o /tmp/evaluation-result-2664717-1276477267/solver-2664717-1276477267 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664717-1276477267.opb -t 1800 -m 1800 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28718 /proc/meminfo: memFree=1839416/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=6584 CPUtime=0 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 989 0 0 0 0 0 0 0 15 0 1 0 23328225 6742016 911 1992294400 4194304 7136930 140737465947472 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28718/statm: 1646 919 254 719 0 925 0 [startup+0.0214631 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28718 /proc/meminfo: memFree=1839416/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=8664 CPUtime=0.01 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 1659 0 0 0 1 0 0 0 15 0 1 0 23328225 8871936 1581 1992294400 4194304 7136930 140737465947472 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28718/statm: 2166 1581 271 719 0 1445 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8664 [startup+0.101478 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28718 /proc/meminfo: memFree=1839416/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=14140 CPUtime=0.09 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 5823 0 0 0 7 2 0 0 18 0 1 0 23328225 14479360 2821 1992294400 4194304 7136930 140737465947472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 3535 2821 381 719 0 2814 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14140 [startup+0.301513 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28718 /proc/meminfo: memFree=1839416/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=15688 CPUtime=0.29 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 6207 0 0 0 25 4 0 0 18 0 1 0 23328225 16064512 3205 1992294400 4194304 7136930 140737465947472 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 3922 3205 394 719 0 3201 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15688 [startup+0.701584 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28718 /proc/meminfo: memFree=1839416/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=16080 CPUtime=0.69 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 6314 0 0 0 63 6 0 0 18 0 1 0 23328225 16465920 3312 1992294400 4194304 7136930 140737465947472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 4020 3312 394 719 0 3299 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16080 [startup+1.50173 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28719 /proc/meminfo: memFree=1827132/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=17396 CPUtime=1.49 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 6636 0 0 0 136 13 0 0 19 0 1 0 23328225 17813504 3634 1992294400 4194304 7136930 140737465947472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 4349 3634 394 719 0 3628 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17396 [startup+3.10101 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28719 /proc/meminfo: memFree=1825768/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=19272 CPUtime=3.09 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 7109 0 0 0 285 24 0 0 23 0 1 0 23328225 19734528 4107 1992294400 4194304 7136930 140737465947472 18446744073709551615 4436499 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 4818 4107 394 719 0 4097 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19272 [startup+6.30158 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28719 /proc/meminfo: memFree=1820560/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=23788 CPUtime=6.29 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 8272 0 0 0 583 46 0 0 25 0 1 0 23328225 24358912 5270 1992294400 4194304 7136930 140737465947472 18446744073709551615 5892296 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 5947 5270 394 719 0 5226 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23788 [startup+12.7007 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28719 /proc/meminfo: memFree=1812996/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=31180 CPUtime=12.68 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 10158 0 0 0 1175 93 0 0 25 0 1 0 23328225 31928320 7156 1992294400 4194304 7136930 140737465947472 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 7795 7156 394 719 0 7074 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 31180 [startup+25.501 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28719 /proc/meminfo: memFree=1796752/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=46024 CPUtime=25.48 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 14005 0 0 0 2364 184 0 0 25 0 1 0 23328225 47128576 11003 1992294400 4194304 7136930 140737465947472 18446744073709551615 5005117 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 11506 11003 394 719 0 10785 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 46024 [startup+51.1016 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28719 /proc/meminfo: memFree=1769100/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=74676 CPUtime=51.07 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 20874 0 0 0 4738 369 0 0 25 0 1 0 23328225 76468224 17872 1992294400 4194304 7136930 140737465947472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 18669 17872 394 719 0 17948 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 74676 [startup+102.309 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28721 /proc/meminfo: memFree=1716400/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=129204 CPUtime=102.26 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 33931 0 0 0 9497 729 0 0 25 0 1 0 23328225 132304896 30929 1992294400 4194304 7136930 140737465947472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 32301 30929 394 719 0 31580 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 129204 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28723 /proc/meminfo: memFree=1657624/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=185840 CPUtime=162.22 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 48609 0 0 0 15063 1159 0 0 25 0 1 0 23328225 190300160 45607 1992294400 4194304 7136930 140737465947472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 46460 45607 394 719 0 45739 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 185840 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28725 /proc/meminfo: memFree=1598600/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=250992 CPUtime=222.2 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 63373 0 0 0 20632 1588 0 0 25 0 1 0 23328225 257015808 60371 1992294400 4194304 7136930 140737465947472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 62748 60371 394 719 0 62027 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 250992 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28725 /proc/meminfo: memFree=1541188/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=306852 CPUtime=282.18 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 77865 0 0 0 26207 2011 0 0 25 0 1 0 23328225 314216448 74863 1992294400 4194304 7136930 140737465947472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 76713 74863 394 719 0 75992 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 306852 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28727 /proc/meminfo: memFree=1481296/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=363344 CPUtime=342.16 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 92515 0 0 0 31768 2448 0 0 25 0 1 0 23328225 372064256 89513 1992294400 4194304 7136930 140737465947472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 90836 89513 394 719 0 90115 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 363344 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28729 /proc/meminfo: memFree=1423264/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=420708 CPUtime=402.13 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 107380 0 0 0 37324 2889 0 0 25 0 1 0 23328225 430804992 104378 1992294400 4194304 7136930 140737465947472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 105177 104378 394 719 0 104456 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 420708 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28731 /proc/meminfo: memFree=1365356/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=491612 CPUtime=462.12 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 121537 0 0 0 42901 3311 0 0 25 0 1 0 23328225 503410688 118535 1992294400 4194304 7136930 140737465947472 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 122903 118535 394 719 0 122182 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 491612 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28733 /proc/meminfo: memFree=1308564/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=547288 CPUtime=522.09 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 135981 0 0 0 48473 3736 0 0 25 0 1 0 23328225 560422912 132979 1992294400 4194304 7136930 140737465947472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 136822 132979 394 719 0 136101 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 547288 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28733 /proc/meminfo: memFree=1248300/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=606164 CPUtime=582.07 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 151228 0 0 0 54042 4165 0 0 25 0 1 0 23328225 620711936 148226 1992294400 4194304 7136930 140737465947472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 151541 148226 394 719 0 150820 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 606164 [startup+642.3 s] /proc/loadavg: 1.06 1.00 1.00 2/107 28735 /proc/meminfo: memFree=1187416/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=662096 CPUtime=642.05 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 165739 0 0 0 59611 4594 0 0 25 0 1 0 23328225 677986304 162737 1992294400 4194304 7136930 140737465947472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 165524 162737 394 719 0 164803 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 662096 [startup+702.301 s] ################ # More data... # ################ /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 267532 0 0 0 98577 7612 0 0 25 0 1 0 23328225 1113051136 264530 1992294400 4194304 7136930 140737465947472 18446744073709551615 4407828 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 271741 264530 394 719 0 271020 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 1086964 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28752 /proc/meminfo: memFree=721796/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=1141740 CPUtime=1121.87 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 281763 0 0 0 104143 8044 0 0 25 0 1 0 23328225 1169141760 278761 1992294400 4194304 7136930 140737465947472 18446744073709551615 4407902 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 285435 278761 394 719 0 284714 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 1141740 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28752 /proc/meminfo: memFree=662152/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=1199332 CPUtime=1181.84 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 296701 0 0 0 109697 8487 0 0 25 0 1 0 23328225 1228115968 293699 1992294400 4194304 7136930 140737465947472 18446744073709551615 5892292 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 299833 293699 394 719 0 299112 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 1199332 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28754 /proc/meminfo: memFree=603996/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=1255136 CPUtime=1241.82 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 311191 0 0 0 115262 8920 0 0 25 0 1 0 23328225 1285259264 308189 1992294400 4194304 7136930 140737465947472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 313784 308189 394 719 0 313063 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 1255136 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28756 /proc/meminfo: memFree=544724/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=1311460 CPUtime=1301.81 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 325812 0 0 0 120830 9351 0 0 25 0 1 0 23328225 1342935040 322810 1992294400 4194304 7136930 140737465947472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 327865 322810 394 719 0 327144 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 1311460 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28758 /proc/meminfo: memFree=485824/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=1368804 CPUtime=1361.78 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 340689 0 0 0 126392 9786 0 0 25 0 1 0 23328225 1401655296 337687 1992294400 4194304 7136930 140737465947472 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 342201 337687 394 719 0 341480 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 1368804 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28760 /proc/meminfo: memFree=428288/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=1423532 CPUtime=1421.76 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 367465 0 0 0 131979 10197 0 0 25 0 1 0 23328225 1457696768 351880 1992294400 4194304 7136930 140737465947472 18446744073709551615 5921706 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 355883 351880 399 719 0 355162 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 1423532 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28760 /proc/meminfo: memFree=427048/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=1424756 CPUtime=1481.72 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 367762 0 0 0 137962 10210 0 0 25 0 1 0 23328225 1458950144 352177 1992294400 4194304 7136930 140737465947472 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 356189 352177 399 719 0 355468 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 1424756 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28762 /proc/meminfo: memFree=426676/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=1425168 CPUtime=1541.7 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 367847 0 0 0 143943 10227 0 0 25 0 1 0 23328225 1459372032 352262 1992294400 4194304 7136930 140737465947472 18446744073709551615 5909095 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 356292 352262 399 719 0 355571 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 1425168 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28764 /proc/meminfo: memFree=426304/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=1425448 CPUtime=1601.68 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 367948 0 0 0 149927 10241 0 0 25 0 1 0 23328225 1459658752 352363 1992294400 4194304 7136930 140737465947472 18446744073709551615 5921487 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 356362 352363 399 719 0 355641 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 1425448 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28766 /proc/meminfo: memFree=426056/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=1425580 CPUtime=1661.66 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 367956 0 0 0 155911 10255 0 0 25 0 1 0 23328225 1459793920 352371 1992294400 4194304 7136930 140737465947472 18446744073709551615 5921496 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 356395 352371 399 719 0 355674 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 1425580 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28768 /proc/meminfo: memFree=426056/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=1425580 CPUtime=1721.64 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 367976 0 0 0 161890 10274 0 0 25 0 1 0 23328225 1459793920 352391 1992294400 4194304 7136930 140737465947472 18446744073709551615 5922966 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 356395 352391 399 719 0 355674 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 1425580 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28768 /proc/meminfo: memFree=425684/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=1425716 CPUtime=1781.61 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 367988 0 0 0 167871 10290 0 0 25 0 1 0 23328225 1459933184 352403 1992294400 4194304 7136930 140737465947472 18446744073709551615 5921484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 356429 352403 399 719 0 355708 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 1425716 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28770 /proc/meminfo: memFree=425684/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=1425716 CPUtime=1800.02 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 367988 0 0 0 169706 10296 0 0 25 0 1 0 23328225 1459933184 352403 1992294400 4194304 7136930 140737465947472 18446744073709551615 5908957 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28718/statm: 356429 352403 399 719 0 355708 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1425716 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -28718 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28770 /proc/meminfo: memFree=425684/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=1425716 CPUtime=1800.71 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 367999 0 0 0 169775 10296 0 0 25 0 1 0 23328225 1459933184 352414 1992294400 4194304 7136930 140737465947472 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28718/statm: 356429 352414 404 719 0 355708 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (KiB) 1425716 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 28771 /proc/meminfo: memFree=425676/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=1425716 CPUtime=1801.51 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 367999 0 0 0 169855 10296 0 0 25 0 1 0 23328225 1459933184 352414 1992294400 4194304 7136930 140737465947472 18446744073709551615 6165632 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28718/statm: 356429 352414 404 719 0 355708 0 Current children cumulated CPU time (s) 1801.51 Current children cumulated vsize (KiB) 1425716 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 28771 /proc/meminfo: memFree=425676/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=1425716 CPUtime=1801.91 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4202496 367999 0 0 0 169895 10296 0 0 25 0 1 0 23328225 1459933184 352414 1992294400 4194304 7136930 140737465947472 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28718/statm: 356429 352414 404 719 0 355708 0 Current children cumulated CPU time (s) 1801.91 Current children cumulated vsize (KiB) 1425716 [startup+1802.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28771 /proc/meminfo: memFree=1287236/2059040 swapFree=4136716/4192956 [pid=28718] ppid=28716 vsize=0 CPUtime=1802.11 /proc/28718/stat : 28718 (pbscip.linux.x8) R 28716 28718 28431 0 -1 4203524 367999 0 0 0 169906 10305 0 0 25 0 1 0 23328225 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/28718/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.11 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.85 CPU time (s): 1802.16 CPU user time (s): 1699.07 CPU system time (s): 103.092 CPU usage (%): 99.9618 Max. virtual memory (cumulated for all children) (KiB): 1485136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1699.07 system time used= 103.092 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 367999 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= 1 involuntary context switches= 3796 runsolver used 3.07153 second user time and 8.44172 second system time The end
Begin job on node012 at 2010-06-14 03:01:07 IDJOB=2664717 IDBENCH=2219 IDSOLVER=1167 FILE ID=node012/2664717-1276477267 PBS_JOBID= 11173372 Free space on /tmp= 62412 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664717-1276477267/watcher-2664717-1276477267 -o /tmp/evaluation-result-2664717-1276477267/solver-2664717-1276477267 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664717-1276477267.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 885184c694263ba985a0dc2cd49b3440 RANDOM SEED=2137954456 node012.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1840068 kB Buffers: 46500 kB Cached: 95240 kB SwapCached: 9156 kB Active: 100932 kB Inactive: 53072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1840068 kB SwapTotal: 4192956 kB SwapFree: 4136716 kB Dirty: 3304 kB Writeback: 0 kB AnonPages: 10732 kB Mapped: 9304 kB Slab: 43204 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180712 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62408 MiB End job on node012 at 2010-06-14 03:31:10