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) | 36 | 1802.14 | 1802.85 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.95:100.opb |
| MD5SUM | f9ec307a3c8f55679d3b9ab693efbd4c |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.431933 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1 |
| Optimality of the best value was proved | YES |
| Number of variables | 934 |
| Total number of constraints | 1063 |
| Number of constraints which are clauses | 879 |
| Number of constraints which are cardinality constraints (but not clauses) | 184 |
| 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 | 934 |
| Biggest coefficient in the objective function | 546 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 2594 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 546 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2594 |
| 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-2664721-1276481957.opb>
0.00/0.03 c original problem has 934 variables (934 bin, 0 int, 0 impl, 0 cont) and 1063 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/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.00/0.04 o 1502
0.00/0.04 c feasible solution found by trivial heuristic, objective value 1.502000e+03
0.00/0.04 c presolving:
0.00/0.05 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4212 impls, 1 clqs
0.00/0.08 c (round 2) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 1043 upgd conss, 4212 impls, 1 clqs
0.09/0.10 c (round 3) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 1062 upgd conss, 4212 impls, 1 clqs
0.09/0.13 c (0.1s) probing: 143/933 (15.3%) - 0 fixings, 0 aggregations, 78 implications, 0 bound changes
0.09/0.13 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.13 c presolving (4 rounds):
0.09/0.13 c 1 deleted vars, 1 deleted constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.13 c 4416 implications, 1 cliques
0.09/0.13 c presolved problem has 933 variables (933 bin, 0 int, 0 impl, 0 cont) and 1062 constraints
0.09/0.13 c 182 constraints of type <knapsack>
0.09/0.13 c 1 constraints of type <setppc>
0.09/0.13 c 879 constraints of type <logicor>
0.09/0.13 c transformed objective value is always integral (scale: 1)
0.09/0.13 c Presolving Time: 0.07
0.09/0.13 c - non default parameters ----------------------------------------------------------------------
0.09/0.13 c # SCIP version 1.2.1.2
0.09/0.13 c
0.09/0.13 c # frequency for displaying node information lines
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.13 c display/freq = 10000
0.09/0.13 c
0.09/0.13 c # maximal time in seconds to run
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/time = 1799.98
0.09/0.13 c
0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/memory = 1620
0.09/0.13 c
0.09/0.13 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.13 c lp/solvefreq = -1
0.09/0.13 c
0.09/0.13 c # should presolving try to simplify inequalities
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/linear/simplifyinequalities = TRUE
0.09/0.13 c
0.09/0.13 c # should presolving try to simplify knapsacks
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.13 c
0.09/0.13 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.13 c separating/rapidlearning/freq = 0
0.09/0.13 c
0.09/0.13 c -----------------------------------------------------------------------------------------------
0.09/0.13 c start solving
0.09/0.13 c
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 | 2 | 0 | - |3674k| 0 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.460000e+02 | 1.502000e+03 | Inf
5.69/5.72 c 5.4s| 10000 | 10001 | 0 | 0.0 |8279k| 111 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.180000e+02 | 1.502000e+03 | Inf
11.29/11.36 c 10.7s| 20000 | 20001 | 0 | 0.0 | 12M| 113 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.130000e+02 | 1.502000e+03 | Inf
16.98/17.06 c 16.1s| 30000 | 30001 | 0 | 0.0 | 17M| 113 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.100000e+02 | 1.502000e+03 | Inf
22.58/22.64 c 21.4s| 40000 | 40001 | 0 | 0.0 | 21M| 133 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.090000e+02 | 1.502000e+03 | Inf
28.08/28.19 c 26.7s| 50000 | 50001 | 0 | 0.0 | 26M| 133 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.080000e+02 | 1.502000e+03 | Inf
33.68/33.74 c 31.9s| 60000 | 60001 | 0 | 0.0 | 30M| 133 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.070000e+02 | 1.502000e+03 | Inf
39.28/39.32 c 37.3s| 70000 | 70001 | 0 | 0.0 | 34M| 133 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.060000e+02 | 1.502000e+03 | Inf
44.77/44.85 c 42.5s| 80000 | 80001 | 0 | 0.0 | 39M| 133 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.050000e+02 | 1.502000e+03 | Inf
50.37/50.42 c 47.8s| 90000 | 90001 | 0 | 0.0 | 43M| 133 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.050000e+02 | 1.502000e+03 | Inf
55.87/55.95 c 53.1s|100000 |100001 | 0 | 0.0 | 47M| 133 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.040000e+02 | 1.502000e+03 | Inf
61.48/61.53 c 58.4s|110000 |110001 | 0 | 0.0 | 51M| 133 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.040000e+02 | 1.502000e+03 | Inf
66.97/67.10 c 63.6s|120000 |120001 | 0 | 0.0 | 56M| 133 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.030000e+02 | 1.502000e+03 | Inf
72.57/72.66 c 68.9s|130000 |130001 | 0 | 0.0 | 60M| 133 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.030000e+02 | 1.502000e+03 | Inf
78.07/78.13 c 74.1s|140000 |140001 | 0 | 0.0 | 64M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.020000e+02 | 1.502000e+03 | Inf
83.57/83.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.57/83.66 c 79.3s|150000 |150001 | 0 | 0.0 | 69M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.020000e+02 | 1.502000e+03 | Inf
89.07/89.18 c 84.6s|160000 |160001 | 0 | 0.0 | 73M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.020000e+02 | 1.502000e+03 | Inf
94.57/94.63 c 89.8s|170000 |170001 | 0 | 0.0 | 77M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.010000e+02 | 1.502000e+03 | Inf
100.06/100.14 c 95.0s|180000 |180001 | 0 | 0.0 | 81M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.010000e+02 | 1.502000e+03 | Inf
105.56/105.63 c 100s|190000 |190001 | 0 | 0.0 | 86M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.010000e+02 | 1.502000e+03 | Inf
110.95/111.10 c 105s|200000 |200001 | 0 | 0.0 | 90M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.000000e+02 | 1.502000e+03 | Inf
116.56/116.62 c 111s|210000 |210001 | 0 | 0.0 | 94M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.000000e+02 | 1.502000e+03 | Inf
122.06/122.13 c 116s|220000 |220001 | 0 | 0.0 | 99M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.000000e+02 | 1.502000e+03 | Inf
127.55/127.64 c 121s|230000 |230001 | 0 | 0.0 | 103M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-5.000000e+02 | 1.502000e+03 | Inf
133.05/133.16 c 126s|240000 |240001 | 0 | 0.0 | 107M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.990000e+02 | 1.502000e+03 | Inf
138.55/138.68 c 132s|250000 |250001 | 0 | 0.0 | 111M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.990000e+02 | 1.502000e+03 | Inf
144.05/144.19 c 137s|260000 |260001 | 0 | 0.0 | 116M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.990000e+02 | 1.502000e+03 | Inf
149.54/149.63 c 142s|270000 |270001 | 0 | 0.0 | 120M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.980000e+02 | 1.502000e+03 | Inf
155.04/155.16 c 147s|280000 |280001 | 0 | 0.0 | 124M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.980000e+02 | 1.502000e+03 | Inf
160.54/160.66 c 152s|290000 |290001 | 0 | 0.0 | 128M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.980000e+02 | 1.502000e+03 | Inf
166.03/166.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.03/166.17 c 158s|300000 |300001 | 0 | 0.0 | 133M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.980000e+02 | 1.502000e+03 | Inf
171.54/171.65 c 163s|310000 |310001 | 0 | 0.0 | 137M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.970000e+02 | 1.502000e+03 | Inf
177.03/177.17 c 168s|320000 |320001 | 0 | 0.0 | 141M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.970000e+02 | 1.502000e+03 | Inf
182.53/182.67 c 173s|330000 |330001 | 0 | 0.0 | 145M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.970000e+02 | 1.502000e+03 | Inf
188.02/188.18 c 179s|340000 |340001 | 0 | 0.0 | 150M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.970000e+02 | 1.502000e+03 | Inf
193.53/193.66 c 184s|350000 |350001 | 0 | 0.0 | 154M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.970000e+02 | 1.502000e+03 | Inf
199.03/199.15 c 189s|360000 |360001 | 0 | 0.0 | 158M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.960000e+02 | 1.502000e+03 | Inf
204.52/204.66 c 194s|370000 |370001 | 0 | 0.0 | 162M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.960000e+02 | 1.502000e+03 | Inf
210.02/210.17 c 199s|380000 |380001 | 0 | 0.0 | 167M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.960000e+02 | 1.502000e+03 | Inf
215.52/215.67 c 205s|390000 |390001 | 0 | 0.0 | 171M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.960000e+02 | 1.502000e+03 | Inf
221.02/221.12 c 210s|400000 |400001 | 0 | 0.0 | 175M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.950000e+02 | 1.502000e+03 | Inf
226.52/226.63 c 215s|410000 |410001 | 0 | 0.0 | 179M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.950000e+02 | 1.502000e+03 | Inf
232.02/232.15 c 220s|420000 |420001 | 0 | 0.0 | 183M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.950000e+02 | 1.502000e+03 | Inf
237.51/237.67 c 225s|430000 |430001 | 0 | 0.0 | 188M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.950000e+02 | 1.502000e+03 | Inf
243.01/243.16 c 231s|440000 |440001 | 0 | 0.0 | 192M| 139 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.950000e+02 | 1.502000e+03 | Inf
248.41/248.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
248.41/248.60 c 236s|450000 |450001 | 0 | 0.0 | 196M| 143 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.950000e+02 | 1.502000e+03 | Inf
253.91/254.07 c 241s|460000 |460001 | 0 | 0.0 | 200M| 143 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.940000e+02 | 1.502000e+03 | Inf
259.41/259.56 c 246s|470000 |470001 | 0 | 0.0 | 204M| 143 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.940000e+02 | 1.502000e+03 | Inf
264.90/265.05 c 251s|480000 |480001 | 0 | 0.0 | 208M| 143 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.940000e+02 | 1.502000e+03 | Inf
270.39/270.54 c 257s|490000 |490001 | 0 | 0.0 | 213M| 143 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.940000e+02 | 1.502000e+03 | Inf
275.90/276.02 c 262s|500000 |500001 | 0 | 0.0 | 217M| 143 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.940000e+02 | 1.502000e+03 | Inf
281.39/281.50 c 267s|510000 |510001 | 0 | 0.0 | 221M| 143 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.940000e+02 | 1.502000e+03 | Inf
286.78/286.95 c 272s|520000 |520001 | 0 | 0.0 | 225M| 143 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.940000e+02 | 1.502000e+03 | Inf
292.08/292.29 c 277s|530000 |530001 | 0 | 0.0 | 229M| 177 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.930000e+02 | 1.502000e+03 | Inf
297.49/297.60 c 282s|540000 |540001 | 0 | 0.0 | 233M| 177 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.930000e+02 | 1.502000e+03 | Inf
302.68/302.87 c 287s|550000 |550001 | 0 | 0.0 | 237M| 177 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.930000e+02 | 1.502000e+03 | Inf
308.08/308.20 c 292s|560000 |560001 | 0 | 0.0 | 241M| 177 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.930000e+02 | 1.502000e+03 | Inf
313.38/313.51 c 297s|570000 |570001 | 0 | 0.0 | 245M| 177 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.930000e+02 | 1.502000e+03 | Inf
318.68/318.82 c 302s|580000 |580001 | 0 | 0.0 | 249M| 177 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.930000e+02 | 1.502000e+03 | Inf
323.97/324.12 c 307s|590000 |590001 | 0 | 0.0 | 253M| 177 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.930000e+02 | 1.502000e+03 | Inf
329.26/329.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
329.26/329.42 c 312s|600000 |600001 | 0 | 0.0 | 257M| 177 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.930000e+02 | 1.502000e+03 | Inf
334.47/334.69 c 317s|610000 |610001 | 0 | 0.0 | 261M| 177 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.930000e+02 | 1.502000e+03 | Inf
339.77/339.92 c 322s|620000 |620001 | 0 | 0.0 | 265M| 177 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.930000e+02 | 1.502000e+03 | Inf
344.96/345.15 c 327s|630000 |630001 | 0 | 0.0 | 269M| 177 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.930000e+02 | 1.502000e+03 | Inf
350.26/350.40 c 332s|640000 |640001 | 0 | 0.0 | 273M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.920000e+02 | 1.502000e+03 | Inf
355.46/355.67 c 337s|650000 |650001 | 0 | 0.0 | 277M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.920000e+02 | 1.502000e+03 | Inf
360.76/360.93 c 342s|660000 |660001 | 0 | 0.0 | 281M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.920000e+02 | 1.502000e+03 | Inf
366.06/366.21 c 347s|670000 |670001 | 0 | 0.0 | 285M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.920000e+02 | 1.502000e+03 | Inf
371.25/371.48 c 352s|680000 |680001 | 0 | 0.0 | 289M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.920000e+02 | 1.502000e+03 | Inf
376.56/376.75 c 357s|690000 |690001 | 0 | 0.0 | 293M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.920000e+02 | 1.502000e+03 | Inf
381.85/382.01 c 362s|700000 |700001 | 0 | 0.0 | 297M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.920000e+02 | 1.502000e+03 | Inf
387.05/387.26 c 367s|710000 |710001 | 0 | 0.0 | 301M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.920000e+02 | 1.502000e+03 | Inf
392.34/392.51 c 372s|720000 |720001 | 0 | 0.0 | 305M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.920000e+02 | 1.502000e+03 | Inf
397.54/397.74 c 377s|730000 |730001 | 0 | 0.0 | 309M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.920000e+02 | 1.502000e+03 | Inf
402.64/402.88 c 382s|740000 |740001 | 0 | 0.0 | 313M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.910000e+02 | 1.502000e+03 | Inf
407.94/408.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
407.94/408.16 c 387s|750000 |750001 | 0 | 0.0 | 317M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.910000e+02 | 1.502000e+03 | Inf
413.24/413.44 c 392s|760000 |760001 | 0 | 0.0 | 321M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.910000e+02 | 1.502000e+03 | Inf
418.43/418.69 c 397s|770000 |770001 | 0 | 0.0 | 325M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.910000e+02 | 1.502000e+03 | Inf
423.73/423.97 c 402s|780000 |780001 | 0 | 0.0 | 329M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.910000e+02 | 1.502000e+03 | Inf
429.03/429.23 c 407s|790000 |790001 | 0 | 0.0 | 333M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.910000e+02 | 1.502000e+03 | Inf
434.24/434.49 c 412s|800000 |800001 | 0 | 0.0 | 337M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.910000e+02 | 1.502000e+03 | Inf
439.53/439.76 c 417s|810000 |810001 | 0 | 0.0 | 341M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.910000e+02 | 1.502000e+03 | Inf
444.82/445.03 c 422s|820000 |820001 | 0 | 0.0 | 345M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.910000e+02 | 1.502000e+03 | Inf
450.13/450.31 c 427s|830000 |830001 | 0 | 0.0 | 349M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.910000e+02 | 1.502000e+03 | Inf
455.32/455.58 c 432s|840000 |840001 | 0 | 0.0 | 353M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.910000e+02 | 1.502000e+03 | Inf
460.63/460.84 c 437s|850000 |850001 | 0 | 0.0 | 357M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.910000e+02 | 1.502000e+03 | Inf
465.82/466.08 c 442s|860000 |860001 | 0 | 0.0 | 361M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.910000e+02 | 1.502000e+03 | Inf
471.02/471.29 c 447s|870000 |870001 | 0 | 0.0 | 364M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.910000e+02 | 1.502000e+03 | Inf
476.22/476.48 c 452s|880000 |880001 | 0 | 0.0 | 369M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.910000e+02 | 1.502000e+03 | Inf
481.41/481.61 c 457s|890000 |890001 | 0 | 0.0 | 373M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.900000e+02 | 1.502000e+03 | Inf
486.61/486.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
486.61/486.88 c 462s|900000 |900001 | 0 | 0.0 | 376M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.900000e+02 | 1.502000e+03 | Inf
491.91/492.17 c 467s|910000 |910001 | 0 | 0.0 | 380M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.900000e+02 | 1.502000e+03 | Inf
497.21/497.45 c 472s|920000 |920001 | 0 | 0.0 | 384M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.900000e+02 | 1.502000e+03 | Inf
502.51/502.73 c 477s|930000 |930001 | 0 | 0.0 | 388M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.900000e+02 | 1.502000e+03 | Inf
507.80/508.01 c 482s|940000 |940001 | 0 | 0.0 | 392M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.900000e+02 | 1.502000e+03 | Inf
513.10/513.31 c 487s|950000 |950001 | 0 | 0.0 | 396M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.900000e+02 | 1.502000e+03 | Inf
518.40/518.60 c 492s|960000 |960001 | 0 | 0.0 | 400M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.900000e+02 | 1.502000e+03 | Inf
523.59/523.89 c 497s|970000 |970001 | 0 | 0.0 | 404M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.900000e+02 | 1.502000e+03 | Inf
528.90/529.17 c 502s|980000 |980001 | 0 | 0.0 | 408M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.900000e+02 | 1.502000e+03 | Inf
534.19/534.45 c 507s|990000 |990001 | 0 | 0.0 | 412M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.900000e+02 | 1.502000e+03 | Inf
539.49/539.73 c 512s| 1000k| 1000k| 0 | 0.0 | 416M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.900000e+02 | 1.502000e+03 | Inf
544.78/545.00 c 517s| 1010k| 1010k| 0 | 0.0 | 420M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.900000e+02 | 1.502000e+03 | Inf
549.99/550.26 c 522s| 1020k| 1020k| 0 | 0.0 | 424M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.900000e+02 | 1.502000e+03 | Inf
555.29/555.50 c 527s| 1030k| 1030k| 0 | 0.0 | 427M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.900000e+02 | 1.502000e+03 | Inf
560.48/560.73 c 532s| 1040k| 1040k| 0 | 0.0 | 431M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.900000e+02 | 1.502000e+03 | Inf
565.68/565.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
565.68/565.93 c 537s| 1050k| 1050k| 0 | 0.0 | 435M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.900000e+02 | 1.502000e+03 | Inf
570.78/571.09 c 541s| 1060k| 1060k| 0 | 0.0 | 439M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.900000e+02 | 1.502000e+03 | Inf
575.98/576.30 c 546s| 1070k| 1070k| 0 | 0.0 | 443M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.890000e+02 | 1.502000e+03 | Inf
581.28/581.59 c 551s| 1080k| 1080k| 0 | 0.0 | 447M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.890000e+02 | 1.502000e+03 | Inf
586.57/586.87 c 556s| 1090k| 1090k| 0 | 0.0 | 451M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.890000e+02 | 1.502000e+03 | Inf
591.87/592.16 c 561s| 1100k| 1100k| 0 | 0.0 | 455M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.890000e+02 | 1.502000e+03 | Inf
597.17/597.45 c 566s| 1110k| 1110k| 0 | 0.0 | 459M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.890000e+02 | 1.502000e+03 | Inf
602.47/602.73 c 571s| 1120k| 1120k| 0 | 0.0 | 463M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.890000e+02 | 1.502000e+03 | Inf
607.76/608.01 c 576s| 1130k| 1130k| 0 | 0.0 | 467M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.890000e+02 | 1.502000e+03 | Inf
612.96/613.29 c 581s| 1140k| 1140k| 0 | 0.0 | 471M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.890000e+02 | 1.502000e+03 | Inf
618.26/618.58 c 586s| 1150k| 1150k| 0 | 0.0 | 475M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.890000e+02 | 1.502000e+03 | Inf
623.55/623.86 c 591s| 1160k| 1160k| 0 | 0.0 | 479M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.890000e+02 | 1.502000e+03 | Inf
628.87/629.13 c 596s| 1170k| 1170k| 0 | 0.0 | 483M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.890000e+02 | 1.502000e+03 | Inf
634.05/634.39 c 601s| 1180k| 1180k| 0 | 0.0 | 487M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.890000e+02 | 1.502000e+03 | Inf
639.35/639.65 c 606s| 1190k| 1190k| 0 | 0.0 | 490M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.890000e+02 | 1.502000e+03 | Inf
644.65/644.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.65/644.90 c 611s| 1200k| 1200k| 0 | 0.0 | 494M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.890000e+02 | 1.502000e+03 | Inf
649.86/650.11 c 616s| 1210k| 1210k| 0 | 0.0 | 498M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.890000e+02 | 1.502000e+03 | Inf
654.95/655.27 c 621s| 1220k| 1220k| 0 | 0.0 | 502M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.890000e+02 | 1.502000e+03 | Inf
660.15/660.45 c 626s| 1230k| 1230k| 0 | 0.0 | 506M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.880000e+02 | 1.502000e+03 | Inf
665.44/665.74 c 631s| 1240k| 1240k| 0 | 0.0 | 510M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.880000e+02 | 1.502000e+03 | Inf
670.75/671.02 c 636s| 1250k| 1250k| 0 | 0.0 | 514M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.880000e+02 | 1.502000e+03 | Inf
676.04/676.31 c 641s| 1260k| 1260k| 0 | 0.0 | 518M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.880000e+02 | 1.502000e+03 | Inf
681.24/681.59 c 646s| 1270k| 1270k| 0 | 0.0 | 522M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.880000e+02 | 1.502000e+03 | Inf
686.53/686.87 c 651s| 1280k| 1280k| 0 | 0.0 | 526M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.880000e+02 | 1.502000e+03 | Inf
691.83/692.15 c 656s| 1290k| 1290k| 0 | 0.0 | 530M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.880000e+02 | 1.502000e+03 | Inf
697.14/697.43 c 661s| 1300k| 1300k| 0 | 0.0 | 534M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.880000e+02 | 1.502000e+03 | Inf
702.43/702.70 c 666s| 1310k| 1310k| 0 | 0.0 | 538M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.880000e+02 | 1.502000e+03 | Inf
707.63/707.98 c 671s| 1320k| 1320k| 0 | 0.0 | 542M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.880000e+02 | 1.502000e+03 | Inf
712.93/713.24 c 676s| 1330k| 1330k| 0 | 0.0 | 546M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.880000e+02 | 1.502000e+03 | Inf
718.22/718.50 c 681s| 1340k| 1340k| 0 | 0.0 | 549M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.880000e+02 | 1.502000e+03 | Inf
723.42/723.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
723.42/723.76 c 686s| 1350k| 1350k| 0 | 0.0 | 553M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.880000e+02 | 1.502000e+03 | Inf
728.72/729.01 c 691s| 1360k| 1360k| 0 | 0.0 | 557M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.880000e+02 | 1.502000e+03 | Inf
733.91/734.25 c 696s| 1370k| 1370k| 0 | 0.0 | 561M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.880000e+02 | 1.502000e+03 | Inf
739.12/739.49 c 701s| 1380k| 1380k| 0 | 0.0 | 565M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.880000e+02 | 1.502000e+03 | Inf
744.42/744.71 c 706s| 1390k| 1390k| 0 | 0.0 | 569M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.880000e+02 | 1.502000e+03 | Inf
749.61/749.93 c 711s| 1400k| 1400k| 0 | 0.0 | 573M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.880000e+02 | 1.502000e+03 | Inf
754.81/755.12 c 716s| 1410k| 1410k| 0 | 0.0 | 577M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.880000e+02 | 1.502000e+03 | Inf
759.91/760.26 c 721s| 1420k| 1420k| 0 | 0.0 | 581M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.880000e+02 | 1.502000e+03 | Inf
765.11/765.48 c 726s| 1430k| 1430k| 0 | 0.0 | 585M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
770.40/770.75 c 731s| 1440k| 1440k| 0 | 0.0 | 589M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
775.70/776.03 c 736s| 1450k| 1450k| 0 | 0.0 | 593M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
780.99/781.30 c 741s| 1460k| 1460k| 0 | 0.0 | 597M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
786.20/786.58 c 746s| 1470k| 1470k| 0 | 0.0 | 601M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
791.49/791.85 c 751s| 1480k| 1480k| 0 | 0.0 | 605M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
796.79/797.14 c 756s| 1490k| 1490k| 0 | 0.0 | 609M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
802.09/802.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
802.09/802.41 c 761s| 1500k| 1500k| 0 | 0.0 | 612M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
807.28/807.68 c 766s| 1510k| 1510k| 0 | 0.0 | 616M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
812.59/812.95 c 771s| 1520k| 1520k| 0 | 0.0 | 620M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
817.89/818.22 c 776s| 1530k| 1530k| 0 | 0.0 | 624M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
823.08/823.48 c 781s| 1540k| 1540k| 0 | 0.0 | 628M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
828.38/828.73 c 786s| 1550k| 1550k| 0 | 0.0 | 632M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
833.57/833.96 c 791s| 1560k| 1560k| 0 | 0.0 | 636M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
838.88/839.21 c 796s| 1570k| 1570k| 0 | 0.0 | 640M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
844.08/844.44 c 801s| 1580k| 1580k| 0 | 0.0 | 644M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
849.27/849.68 c 806s| 1590k| 1590k| 0 | 0.0 | 648M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
854.58/854.91 c 811s| 1600k| 1600k| 0 | 0.0 | 651M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
859.78/860.15 c 815s| 1610k| 1610k| 0 | 0.0 | 655M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
864.96/865.39 c 820s| 1620k| 1620k| 0 | 0.0 | 659M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
870.27/870.63 c 825s| 1630k| 1630k| 0 | 0.0 | 663M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
875.46/875.85 c 830s| 1640k| 1640k| 0 | 0.0 | 667M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
880.67/881.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
880.67/881.07 c 835s| 1650k| 1650k| 0 | 0.0 | 671M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
885.96/886.31 c 840s| 1660k| 1660k| 0 | 0.0 | 675M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
891.16/891.54 c 845s| 1670k| 1670k| 0 | 0.0 | 679M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
896.35/896.74 c 850s| 1680k| 1680k| 0 | 0.0 | 683M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
901.56/901.91 c 855s| 1690k| 1690k| 0 | 0.0 | 687M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.870000e+02 | 1.502000e+03 | Inf
906.65/907.05 c 860s| 1700k| 1700k| 0 | 0.0 | 691M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
911.95/912.31 c 865s| 1710k| 1710k| 0 | 0.0 | 695M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
917.14/917.56 c 870s| 1720k| 1720k| 0 | 0.0 | 699M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
922.45/922.81 c 875s| 1730k| 1730k| 0 | 0.0 | 703M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
927.63/928.05 c 880s| 1740k| 1740k| 0 | 0.0 | 706M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
932.94/933.31 c 885s| 1750k| 1750k| 0 | 0.0 | 710M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
938.14/938.58 c 890s| 1760k| 1760k| 0 | 0.0 | 714M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
943.44/943.86 c 895s| 1770k| 1770k| 0 | 0.0 | 718M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
948.73/949.13 c 900s| 1780k| 1780k| 0 | 0.0 | 722M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
954.02/954.40 c 905s| 1790k| 1790k| 0 | 0.0 | 726M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
959.23/959.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
959.23/959.67 c 910s| 1800k| 1800k| 0 | 0.0 | 730M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
964.52/964.93 c 915s| 1810k| 1810k| 0 | 0.0 | 734M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
969.83/970.21 c 920s| 1820k| 1820k| 0 | 0.0 | 738M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
975.02/975.47 c 925s| 1830k| 1830k| 0 | 0.0 | 741M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
980.32/980.74 c 930s| 1840k| 1840k| 0 | 0.0 | 745M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
985.61/986.01 c 935s| 1850k| 1850k| 0 | 0.0 | 749M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
990.82/991.25 c 940s| 1860k| 1860k| 0 | 0.0 | 753M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
996.12/996.52 c 945s| 1870k| 1870k| 0 | 0.0 | 757M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
1001.31/1001.76 c 950s| 1880k| 1880k| 0 | 0.0 | 761M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
1006.60/1007.00 c 955s| 1890k| 1890k| 0 | 0.0 | 765M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
1011.80/1012.24 c 960s| 1900k| 1900k| 0 | 0.0 | 769M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
1017.01/1017.48 c 965s| 1910k| 1910k| 0 | 0.0 | 773M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
1022.31/1022.71 c 970s| 1920k| 1920k| 0 | 0.0 | 777M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
1027.50/1027.95 c 974s| 1930k| 1930k| 0 | 0.0 | 780M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
1032.70/1033.18 c 979s| 1940k| 1940k| 0 | 0.0 | 784M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
1038.00/1038.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1038.00/1038.40 c 984s| 1950k| 1950k| 0 | 0.0 | 788M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
1043.19/1043.62 c 989s| 1960k| 1960k| 0 | 0.0 | 792M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
1048.39/1048.83 c 994s| 1970k| 1970k| 0 | 0.0 | 796M| 183 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
1053.59/1054.02 c 999s| 1980k| 1980k| 0 | 0.0 | 800M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
1058.68/1059.18 c 1004s| 1990k| 1990k| 0 | 0.0 | 804M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.860000e+02 | 1.502000e+03 | Inf
1063.78/1064.27 c 1009s| 2000k| 2000k| 0 | 0.0 | 808M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1069.08/1069.50 c 1014s| 2010k| 2010k| 0 | 0.0 | 812M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1074.29/1074.74 c 1019s| 2020k| 2020k| 0 | 0.0 | 816M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1079.47/1079.98 c 1024s| 2030k| 2030k| 0 | 0.0 | 820M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1084.78/1085.23 c 1029s| 2040k| 2040k| 0 | 0.0 | 824M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1089.97/1090.49 c 1034s| 2050k| 2050k| 0 | 0.0 | 828M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1095.27/1095.74 c 1039s| 2060k| 2060k| 0 | 0.0 | 832M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1100.47/1100.98 c 1044s| 2070k| 2070k| 0 | 0.0 | 835M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1105.76/1106.25 c 1049s| 2080k| 2080k| 0 | 0.0 | 839M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1110.97/1111.48 c 1054s| 2090k| 2090k| 0 | 0.0 | 843M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1116.27/1116.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1116.27/1116.71 c 1058s| 2100k| 2100k| 0 | 0.0 | 847M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1121.47/1121.97 c 1063s| 2110k| 2110k| 0 | 0.0 | 851M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1126.76/1127.21 c 1068s| 2120k| 2120k| 0 | 0.0 | 855M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1131.96/1132.44 c 1073s| 2130k| 2130k| 0 | 0.0 | 859M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1137.16/1137.67 c 1078s| 2140k| 2140k| 0 | 0.0 | 863M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1142.36/1142.89 c 1083s| 2150k| 2150k| 0 | 0.0 | 867M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1147.65/1148.11 c 1088s| 2160k| 2160k| 0 | 0.0 | 870M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1152.85/1153.34 c 1093s| 2170k| 2170k| 0 | 0.0 | 874M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1158.05/1158.55 c 1098s| 2180k| 2180k| 0 | 0.0 | 878M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1163.25/1163.78 c 1103s| 2190k| 2190k| 0 | 0.0 | 882M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1168.54/1169.01 c 1108s| 2200k| 2200k| 0 | 0.0 | 886M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1173.74/1174.22 c 1113s| 2210k| 2210k| 0 | 0.0 | 890M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1178.94/1179.45 c 1118s| 2220k| 2220k| 0 | 0.0 | 894M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1184.14/1184.68 c 1123s| 2230k| 2230k| 0 | 0.0 | 898M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1189.43/1189.91 c 1128s| 2240k| 2240k| 0 | 0.0 | 902M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1194.63/1195.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1194.63/1195.12 c 1133s| 2250k| 2250k| 0 | 0.0 | 905M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1199.83/1200.32 c 1138s| 2260k| 2260k| 0 | 0.0 | 909M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1205.04/1205.53 c 1143s| 2270k| 2270k| 0 | 0.0 | 913M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1210.23/1210.74 c 1148s| 2280k| 2280k| 0 | 0.0 | 917M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1215.42/1215.95 c 1152s| 2290k| 2290k| 0 | 0.0 | 921M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1220.62/1221.16 c 1157s| 2300k| 2300k| 0 | 0.0 | 925M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1225.82/1226.36 c 1162s| 2310k| 2310k| 0 | 0.0 | 929M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1231.02/1231.53 c 1167s| 2320k| 2320k| 0 | 0.0 | 933M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1236.12/1236.68 c 1172s| 2330k| 2330k| 0 | 0.0 | 937M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1241.21/1241.80 c 1177s| 2340k| 2340k| 0 | 0.0 | 941M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1246.31/1246.87 c 1182s| 2350k| 2350k| 0 | 0.0 | 945M| 185 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.850000e+02 | 1.502000e+03 | Inf
1251.51/1252.08 c 1187s| 2360k| 2360k| 0 | 0.0 | 949M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1256.81/1257.31 c 1192s| 2370k| 2370k| 0 | 0.0 | 953M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1262.01/1262.53 c 1197s| 2380k| 2380k| 0 | 0.0 | 956M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1267.21/1267.76 c 1202s| 2390k| 2390k| 0 | 0.0 | 960M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1272.40/1272.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1272.40/1272.96 c 1207s| 2400k| 2400k| 0 | 0.0 | 964M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1277.61/1278.19 c 1212s| 2410k| 2410k| 0 | 0.0 | 968M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1282.90/1283.41 c 1216s| 2420k| 2420k| 0 | 0.0 | 972M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1288.10/1288.63 c 1221s| 2430k| 2430k| 0 | 0.0 | 976M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1293.29/1293.88 c 1226s| 2440k| 2440k| 0 | 0.0 | 980M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1298.50/1299.10 c 1231s| 2450k| 2450k| 0 | 0.0 | 984M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1303.79/1304.31 c 1236s| 2460k| 2460k| 0 | 0.0 | 988M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1308.99/1309.52 c 1241s| 2470k| 2470k| 0 | 0.0 | 991M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1314.18/1314.73 c 1246s| 2480k| 2480k| 0 | 0.0 | 995M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1319.39/1319.94 c 1251s| 2490k| 2490k| 0 | 0.0 | 999M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1324.58/1325.16 c 1256s| 2500k| 2500k| 0 | 0.0 |1003M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1329.78/1330.37 c 1261s| 2510k| 2510k| 0 | 0.0 |1007M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1334.98/1335.59 c 1266s| 2520k| 2520k| 0 | 0.0 |1011M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1340.18/1340.79 c 1271s| 2530k| 2530k| 0 | 0.0 |1015M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1345.37/1345.98 c 1276s| 2540k| 2540k| 0 | 0.0 |1019M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1350.57/1351.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1350.57/1351.17 c 1281s| 2550k| 2550k| 0 | 0.0 |1023M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1355.77/1356.36 c 1286s| 2560k| 2560k| 0 | 0.0 |1026M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1360.97/1361.55 c 1290s| 2570k| 2570k| 0 | 0.0 |1030M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1366.17/1366.75 c 1295s| 2580k| 2580k| 0 | 0.0 |1034M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1371.36/1371.96 c 1300s| 2590k| 2590k| 0 | 0.0 |1038M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1376.57/1377.15 c 1305s| 2600k| 2600k| 0 | 0.0 |1042M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1381.76/1382.36 c 1310s| 2610k| 2610k| 0 | 0.0 |1046M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1386.95/1387.57 c 1315s| 2620k| 2620k| 0 | 0.0 |1050M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1392.16/1392.76 c 1320s| 2630k| 2630k| 0 | 0.0 |1054M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1397.35/1397.96 c 1325s| 2640k| 2640k| 0 | 0.0 |1057M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1402.55/1403.16 c 1330s| 2650k| 2650k| 0 | 0.0 |1061M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1407.75/1408.34 c 1335s| 2660k| 2660k| 0 | 0.0 |1065M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1412.96/1413.52 c 1340s| 2670k| 2670k| 0 | 0.0 |1069M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1418.14/1418.70 c 1345s| 2680k| 2680k| 0 | 0.0 |1073M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1423.24/1423.89 c 1350s| 2690k| 2690k| 0 | 0.0 |1077M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1428.44/1429.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1428.44/1429.06 c 1354s| 2700k| 2700k| 0 | 0.0 |1081M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1433.64/1434.24 c 1359s| 2710k| 2710k| 0 | 0.0 |1085M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1438.84/1439.41 c 1364s| 2720k| 2720k| 0 | 0.0 |1089M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1443.94/1444.59 c 1369s| 2730k| 2730k| 0 | 0.0 |1092M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1449.14/1449.77 c 1374s| 2740k| 2740k| 0 | 0.0 |1096M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1454.33/1454.93 c 1379s| 2750k| 2750k| 0 | 0.0 |1100M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1459.43/1460.09 c 1384s| 2760k| 2760k| 0 | 0.0 |1104M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1464.64/1465.23 c 1389s| 2770k| 2770k| 0 | 0.0 |1108M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1469.72/1470.31 c 1394s| 2780k| 2780k| 0 | 0.0 |1112M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.840000e+02 | 1.502000e+03 | Inf
1474.82/1475.48 c 1398s| 2790k| 2790k| 0 | 0.0 |1116M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1480.13/1480.71 c 1403s| 2800k| 2800k| 0 | 0.0 |1120M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1485.32/1485.93 c 1408s| 2810k| 2810k| 0 | 0.0 |1124M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1490.52/1491.17 c 1413s| 2820k| 2820k| 0 | 0.0 |1128M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1495.71/1496.39 c 1418s| 2830k| 2830k| 0 | 0.0 |1132M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1501.02/1501.62 c 1423s| 2840k| 2840k| 0 | 0.0 |1136M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1506.21/1506.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1506.21/1506.88 c 1428s| 2850k| 2850k| 0 | 0.0 |1139M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1511.51/1512.13 c 1433s| 2860k| 2860k| 0 | 0.0 |1143M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1516.71/1517.33 c 1438s| 2870k| 2870k| 0 | 0.0 |1147M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1521.91/1522.56 c 1443s| 2880k| 2880k| 0 | 0.0 |1151M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1527.10/1527.79 c 1448s| 2890k| 2890k| 0 | 0.0 |1155M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1532.40/1533.02 c 1453s| 2900k| 2900k| 0 | 0.0 |1159M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1537.60/1538.22 c 1458s| 2910k| 2910k| 0 | 0.0 |1163M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1542.80/1543.44 c 1463s| 2920k| 2920k| 0 | 0.0 |1167M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1548.00/1548.67 c 1468s| 2930k| 2930k| 0 | 0.0 |1171M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1553.29/1553.91 c 1473s| 2940k| 2940k| 0 | 0.0 |1174M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1558.49/1559.13 c 1478s| 2950k| 2950k| 0 | 0.0 |1178M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1563.69/1564.35 c 1483s| 2960k| 2960k| 0 | 0.0 |1182M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1568.89/1569.58 c 1488s| 2970k| 2970k| 0 | 0.0 |1186M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1574.09/1574.79 c 1493s| 2980k| 2980k| 0 | 0.0 |1190M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1579.38/1580.00 c 1498s| 2990k| 2990k| 0 | 0.0 |1194M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1584.58/1585.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1584.58/1585.22 c 1502s| 3000k| 3000k| 0 | 0.0 |1198M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1589.77/1590.45 c 1507s| 3010k| 3010k| 0 | 0.0 |1202M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1594.97/1595.68 c 1512s| 3020k| 3020k| 0 | 0.0 |1205M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1600.17/1600.89 c 1517s| 3030k| 3030k| 0 | 0.0 |1209M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1605.37/1606.09 c 1522s| 3040k| 3040k| 0 | 0.0 |1213M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1610.66/1611.30 c 1527s| 3050k| 3050k| 0 | 0.0 |1217M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1615.86/1616.51 c 1532s| 3060k| 3060k| 0 | 0.0 |1221M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1621.07/1621.73 c 1537s| 3070k| 3070k| 0 | 0.0 |1225M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1626.26/1626.95 c 1542s| 3080k| 3080k| 0 | 0.0 |1229M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1631.46/1632.14 c 1547s| 3090k| 3090k| 0 | 0.0 |1233M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1636.66/1637.35 c 1552s| 3100k| 3100k| 0 | 0.0 |1236M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1641.85/1642.57 c 1557s| 3110k| 3110k| 0 | 0.0 |1240M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1647.06/1647.77 c 1562s| 3120k| 3120k| 0 | 0.0 |1244M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1652.25/1652.99 c 1567s| 3130k| 3130k| 0 | 0.0 |1248M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1657.44/1658.20 c 1572s| 3140k| 3140k| 0 | 0.0 |1252M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1662.74/1663.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1662.74/1663.42 c 1576s| 3150k| 3150k| 0 | 0.0 |1256M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1667.94/1668.63 c 1581s| 3160k| 3160k| 0 | 0.0 |1260M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1673.13/1673.86 c 1586s| 3170k| 3170k| 0 | 0.0 |1263M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1678.33/1679.06 c 1591s| 3180k| 3180k| 0 | 0.0 |1267M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1683.54/1684.26 c 1596s| 3190k| 3190k| 0 | 0.0 |1271M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1688.73/1689.48 c 1601s| 3200k| 3200k| 0 | 0.0 |1275M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1693.94/1694.69 c 1606s| 3210k| 3210k| 0 | 0.0 |1279M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1699.13/1699.86 c 1611s| 3220k| 3220k| 0 | 0.0 |1283M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1704.33/1705.04 c 1616s| 3230k| 3230k| 0 | 0.0 |1287M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1709.53/1710.23 c 1621s| 3240k| 3240k| 0 | 0.0 |1290M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1714.72/1715.43 c 1626s| 3250k| 3250k| 0 | 0.0 |1294M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1719.93/1720.62 c 1631s| 3260k| 3260k| 0 | 0.0 |1298M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1725.02/1725.80 c 1636s| 3270k| 3270k| 0 | 0.0 |1302M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1730.22/1730.98 c 1641s| 3280k| 3280k| 0 | 0.0 |1306M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1735.41/1736.15 c 1645s| 3290k| 3290k| 0 | 0.0 |1310M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1740.62/1741.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1740.62/1741.34 c 1650s| 3300k| 3300k| 0 | 0.0 |1314M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1745.81/1746.51 c 1655s| 3310k| 3310k| 0 | 0.0 |1318M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1750.91/1751.67 c 1660s| 3320k| 3320k| 0 | 0.0 |1322M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1756.10/1756.80 c 1665s| 3330k| 3330k| 0 | 0.0 |1326M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1761.20/1761.94 c 1670s| 3340k| 3340k| 0 | 0.0 |1330M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1766.30/1767.07 c 1675s| 3350k| 3350k| 0 | 0.0 |1334M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1771.41/1772.12 c 1679s| 3360k| 3360k| 0 | 0.0 |1338M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.830000e+02 | 1.502000e+03 | Inf
1776.50/1777.24 c 1684s| 3370k| 3370k| 0 | 0.0 |1342M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.820000e+02 | 1.502000e+03 | Inf
1781.70/1782.46 c 1689s| 3380k| 3380k| 0 | 0.0 |1346M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.820000e+02 | 1.502000e+03 | Inf
1786.89/1787.68 c 1694s| 3390k| 3390k| 0 | 0.0 |1350M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.820000e+02 | 1.502000e+03 | Inf
1792.20/1792.91 c 1699s| 3400k| 3400k| 0 | 0.0 |1353M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.820000e+02 | 1.502000e+03 | Inf
1797.39/1798.13 c 1704s| 3410k| 3410k| 0 | 0.0 |1357M| 187 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.820000e+02 | 1.502000e+03 | Inf
1798.99/1799.71 c (node 3413006) switching to memory saving mode (mem: 1296.0M/1620.0M)
1800.00/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.74 o 36
1800.00/1800.74 c *1707s| 3413k| 3413k| 0 | 0.0 |1359M| 293 | - | 933 |1062 | 0 | 0 | 0 | 0 | 0 |-4.820000e+02 | 3.600000e+01 | Inf
1800.00/1800.74 c
1800.00/1800.74 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.74 c Solving Time (sec) : 1706.61
1800.00/1800.74 c Solving Nodes : 3413232
1800.00/1800.74 c Primal Bound : +3.60000000000000e+01 (3 solutions)
1800.00/1800.74 c Dual Bound : -4.82000000000000e+02
1800.00/1800.74 c Gap : infinite
1800.00/1800.74 s SATISFIABLE
1800.00/1800.74 v x1 -x571 -x360 x934 -x572 x419 x370 x407 -x845 -x926 x369 x411 x404 -x844 -x363 x405 -x722 -x364 x761 x760 x848 -x929 -x235 -x699
1800.00/1800.74 v x762 x849 -x930 x686 x746 -x186 x459 -x675 -x685 x458 -x684 -x185 -x435 x460 -x238 x314 x444 -x239 -x189 x678 -x190 x439 x679
1800.00/1800.74 v x718 -x416 -x359 x418 x560 x717 x933 x378 x559 -x361 x374 x415 -x925 -x366 -x723 -x365 x367 x410 -x721 -x846 -x927 x368 x847
1800.00/1800.74 v -x932 -x310 x406 x850 -x931 -x697 x759 x830 -x234 -x309 -x698 x747 x694 -x751 -x236 -x501 -x674 -x690 x745 -x241 x315 x457
1800.00/1800.74 v x743 -x824 -x187 -x240 x313 -x434 x445 -x676 -x682 x188 x449 x681 -x683 -x191 -x436 x443 x680 -x170 x440 x441 -x504 x438 x481
1800.00/1800.74 v -x505 x570 -x417 x569 -x889 x568 x564 x719 x377 x720 -x362 x373 -x414 x557 x724 x346 x558 -x703 -x893 x345 -x408 -x651 -x820
1800.00/1800.74 v -x928 -x344 -x696 x756 -x843 x912 -x695 x758 -x819 x831 x911 x835 -x910 -x311 x755 -x829 x312 -x339 x454 x654 -x693 -x825
1800.00/1800.74 v -x827 -x237 x316 x456 -x477 -x500 -x550 x655 -x689 -x750 -x823 x221 x295 -x220 x453 -x476 -x502 x677 x744 x184 -x219 x507 x661
1800.00/1800.74 v x172 -x437 -x448 -x506 x660 -x176 x420 x482 -x553 -x658 -x117 -x171 -x421 x442 x480 -x554 -x736 -x888 x899 -x99 x567 -x898
1800.00/1800.74 v -x100 x563 -x357 x375 -x716 -x894 -x335 -x358 x371 -x412 x704 -x892 -x354 x708 -x840 -x923 -x334 -x350 -x409 -x650 -x702 x757
1800.00/1800.74 v -x842 x924 -x610 -x700 x920 -x342 -x652 -x821 x839 x916 -x142 -x340 -x343 x657 x822 -x338 x455 x656 x754 -x826 -x834 -x908 -x232
1800.00/1800.74 v x308 -x691 x805 -x909 x233 x296 -x549 -x687 -x748 -x828 -x181 x229 -x264 x300 -x672 -x183 x225 -x294 -x452 -x478 x503 -x551
1800.00/1800.74 v x673 -x292 -x432 -x479 x487 -x556 -x669 x180 -x217 -x433 -x446 x483 x486 -x555 -x665 -x218 -x289 -x429 x461 x484 -x116 -x175
1800.00/1800.74 v -x425 -x659 -x799 -x869 x102 x907 x101 -x606 x735 -x890 x903 -x356 x565 -x713 -x891 -x138 -x355 x561 -x605 -x715 -x895 -x896
1800.00/1800.74 v x376 x739 -x875 -x897 -x922 -x137 x372 -x413 x712 x740 -x841 -x921 -x353 -x611 -x260 -x336 -x349 -x609 x707 -x143 -x337 x919
1800.00/1800.74 v -x141 -x259 x341 -x653 -x701 x838 -x915 -x231 -x305 -x320 -x530 x637 -x818 -x230 -x285 -x307 -x397 x636 x752 x806 -x832 -x167
1800.00/1800.74 v -x265 x635 -x671 -x692 -x810 -x182 -x263 -x284 x304 -x670 -x688 -x749 -x795 -x804 x228 -x431 -x498 -x802 -x113 x224 -x299
1800.00/1800.74 v -x430 -x450 -x499 x552 -x794 -x865 -x290 -x400 -x475 -x495 x536 -x668 -x112 x179 -x288 -x293 -x401 -x447 x463 -x491 x535 -x664
1800.00/1800.74 v -x214 -x428 x467 x533 -x800 -x118 -x173 -x424 x462 x485 -x798 -x868 x906 -x98 x581 -x714 x737 x902 -x97 -x566 x742 -x887
1800.00/1800.74 v -x526 x562 -x607 x741 x876 -x608 x880 -x139 -x163 -x525 x612 x711 -x874 -x140 -x351 -x585 x591 -x872 -x144 -x162 -x347 x705 x123
1800.00/1800.74 v -x333 -x531 -x648 -x815 x917 -x88 -x261 -x306 x321 -x529 -x649 -x817 x836 -x913 -x168 -x262 -x325 x645 -x166 -x210 -x266
1800.00/1800.74 v -x319 -x396 -x641 x753 -x814 -x833 -x245 -x317 -x497 -x32 -x209 -x286 x303 -x398 -x496 x633 -x809 -x91 x226 x287 -x403 -x472
1800.00/1800.74 v -x547 x634 -x92 x222 -x291 -x297 -x402 -x451 -x474 x548 -x796 -x803 -x864 -x215 -x270 -x494 -x544 -x666 -x797 -x114 x177 -x213
1800.00/1800.74 v -x471 -x490 x540 -x662 -x801 -x866 -x35 x115 -x426 x779 x871 -x36 x119 -x174 -x422 -x466 x534 -x870 -x886 x904 x580 x738 -x885
1800.00/1800.74 v x900 -x95 -x728 -x884 -x96 -x586 -x604 -x727 -x527 -x584 x592 -x626 x709 x879 -x136 -x330 -x352 -x528 x596 -x647 x124 -x164
1800.00/1800.74 v -x332 -x348 -x532 -x590 -x646 x706 -x816 -x873 -x128 -x165 x511 -x588 x918 -x87 x122 -x169 -x329 x837 -x914 x120 -x148 x258
1800.00/1800.74 v -x629 -x644 -x89 x246 -x324 -x630 -x640 -x813 x94 -x250 -x546 -x31 -x93 -x211 -x244 x301 -x318 -x399 -x473 -x545 -x807 -x212
1800.00/1800.74 v x227 -x242 x283 x383 -x33 x216 x223 x271 -x298 -x382 x38 x195 -x275 -x381 -x492 -x543 -x667 -x793 -x37 x178 -x269 -x470 -x488
1800.00/1800.74 v -x539 -x663 x781 -x867 -x111 -x267 -x427 x785 x851 x107 -x423 -x464 x780 -x852 -x734 x905 x582 -x733 x901 x583 -x601 -x587
1800.00/1800.74 v -x603 x732 -x883 -x133 -x576 -x48 -x135 -x331 -x600 -x625 x710 -x725 x877 x524 -x726 -x132 x512 -x595 x627 -x772 -x161 x255
1800.00/1800.74 v x516 -x632 x64 -x127 x149 x257 -x328 -x510 -x589 -x631 -x51 x153 -x508 -x642 -x52 -x90 -x121 -x147 x254 -x322 -x638 -x811 x75
1800.00/1800.74 v -x145 x280 -x394 -x775 -x10 -x74 -x249 x282 x302 x395 -x776 -x808 -x67 -x73 -x208 x391 -x790 x34 -x68 x196 -x243 x279 -x387
1800.00/1800.74 v -x792 x20 -x108 x200 -x493 -x541 -x862 x19 -x110 -x194 -x274 -x379 -x468 -x489 -x537 x789 -x863 x13 x17 -x192 -x380 -x859 x14
1800.00/1800.74 v -x106 -x268 -x465 x784 x855 -x602 -x134 x731 -x881 x521 x579 -x47 x523 -x575 -x599 x878 -x158 -x573 -x49 -x131 -x160 x256 x520
1800.00/1800.74 v -x593 x628 -x771 x54 x617 -x53 x63 -x125 x157 -x326 -x515 x616 -x773 -x85 -x393 -x615 -x643 x778 x65 -x86 -x152 x253 x281
1800.00/1800.74 v -x323 -x392 -x509 -x639 -x777 -x812 -x70 -x82 -x205 -x9 -x69 -x79 -x146 -x207 -x247 -x791 -x29 x390 -x861 -x11 x30 -x71 -x109
1800.00/1800.74 v -x204 x278 -x386 -x860 x16 x26 -x72 -x542 x15 x23 x199 -x272 -x469 -x538 -x788 -x858 x18 -x105 -x193 x782 x853 x522 x729 -x882
1800.00/1800.74 v -x46 x518 -x598 x622 -x45 -x159 x577 -x597 x621 -x730 -x44 -x130 -x155 x517 -x578 x623 x770 -x50 -x129 x519 -x574 -x594 x624
1800.00/1800.74 v x769 x43 x62 -x84 -x154 -x620 x768 x42 x61 -x83 -x126 -x156 -x327 -x513 x618 -x774 x41 x60 -x81 -x252 -x619 x767 x39 x66 -x150
1800.00/1800.74 v -x206 -x251 -x514 -x613 x766 -x8 -x28 x40 x59 -x80 -x202 -x389 -x614 x765 -x7 -x27 x58 -x78 -x151 -x248 x763 -x6 -x25 x57
1800.00/1800.74 v -x201 x277 -x388 x764 -x12 x55 -x76 -x203 x276 -x384 x5 x24 -x56 -x77 -x787 -x857 x4 x21 x197 -x273 -x385 -x786 x2 -x104 -x856
1800.00/1800.74 v -x3 -x22 -x103 x198 x783 x854
1800.00/1800.74 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.74 c Solving Time : 1706.61
1800.00/1800.74 c Original Problem :
1800.00/1800.74 c Problem name : HOME/instance-2664721-1276481957.opb
1800.00/1800.74 c Variables : 934 (934 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.74 c Constraints : 1063 initial, 1063 maximal
1800.00/1800.74 c Presolved Problem :
1800.00/1800.74 c Problem name : t_HOME/instance-2664721-1276481957.opb
1800.00/1800.74 c Variables : 933 (933 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.74 c Constraints : 1062 initial, 1062 maximal
1800.00/1800.74 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.74 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.74 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.74 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.74 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.74 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.74 c probing : 0.02 0 0 0 0 0 0 0 0
1800.00/1800.74 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.00/1800.74 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.74 c linear : 0.02 1 0 0 1 0 1 0 0
1800.00/1800.74 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.00/1800.74 c root node : - 0 - - 0 - - - -
1800.00/1800.74 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.74 c integral : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.74 c knapsack : 182 0 10998107 0 3413232 0 1061515 0 0 0
1800.00/1800.74 c setppc : 1 0 299 0 3 0 6 0 0 0
1800.00/1800.74 c logicor : 879 0 7644373 0 3413232 0 8308423 0 0 0
1800.00/1800.74 c countsols : 0 0 0 0 3413232 0 0 0 0 0
1800.00/1800.74 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.74 c integral : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.74 c knapsack : 97.19 0.00 91.43 0.00 5.76
1800.00/1800.74 c setppc : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.74 c logicor : 399.53 0.00 36.28 0.00 363.25
1800.00/1800.74 c countsols : 1.41 0.00 0.00 0.00 1.41
1800.00/1800.74 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.74 c vbounds : 6.24 2 0 0
1800.00/1800.74 c rootredcost : 5.17 0 0 0
1800.00/1800.74 c pseudoobj : 432.88 10997796 0 0
1800.00/1800.74 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.74 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.74 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.74 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.74 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.74 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.74 c applied globally : - - - 0 0.0 - - -
1800.00/1800.74 c applied locally : - - - 0 0.0 - - -
1800.00/1800.74 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.74 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.00/1800.74 c redcost : 0.00 0 0 0 0 0
1800.00/1800.74 c impliedbounds : 0.00 0 0 0 0 0
1800.00/1800.74 c intobj : 0.00 0 0 0 0 0
1800.00/1800.74 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.74 c gomory : 0.00 0 0 0 0 0
1800.00/1800.74 c strongcg : 0.00 0 0 0 0 0
1800.00/1800.74 c cmir : 0.00 0 0 0 0 0
1800.00/1800.74 c flowcover : 0.00 0 0 0 0 0
1800.00/1800.74 c clique : 0.00 0 0 0 0 0
1800.00/1800.74 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.74 c mcf : 0.00 0 0 0 0 0
1800.00/1800.74 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.74 c Pricers : Time Calls Vars
1800.00/1800.74 c problem variables: 0.00 0 0
1800.00/1800.74 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.74 c relpscost : 0.00 0 0 0 0 0 0
1800.00/1800.74 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.74 c inference : 566.96 3413231 0 0 0 0 6826462
1800.00/1800.74 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.74 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.74 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.74 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.74 c random : 0.00 0 0 0 0 0 0
1800.00/1800.74 c Primal Heuristics : Time Calls Found
1800.00/1800.74 c LP solutions : 0.00 - 0
1800.00/1800.74 c pseudo solutions : 0.13 - 1
1800.00/1800.74 c oneopt : 1.92 0 0
1800.00/1800.74 c trivial : 0.00 2 2
1800.00/1800.74 c simplerounding : 0.00 0 0
1800.00/1800.74 c zirounding : 0.00 0 0
1800.00/1800.74 c rounding : 0.00 0 0
1800.00/1800.74 c shifting : 0.00 0 0
1800.00/1800.74 c intshifting : 0.00 0 0
1800.00/1800.74 c twoopt : 0.00 0 0
1800.00/1800.74 c fixandinfer : 0.00 0 0
1800.00/1800.74 c feaspump : 0.00 0 0
1800.00/1800.74 c coefdiving : 0.00 0 0
1800.00/1800.74 c pscostdiving : 0.00 0 0
1800.00/1800.74 c fracdiving : 0.00 0 0
1800.00/1800.74 c veclendiving : 0.00 0 0
1800.00/1800.74 c intdiving : 0.00 0 0
1800.00/1800.74 c actconsdiving : 0.00 0 0
1800.00/1800.74 c objpscostdiving : 0.00 0 0
1800.00/1800.74 c rootsoldiving : 0.00 0 0
1800.00/1800.74 c linesearchdiving : 0.00 0 0
1800.00/1800.74 c guideddiving : 0.00 0 0
1800.00/1800.74 c octane : 0.00 0 0
1800.00/1800.74 c rens : 0.00 0 0
1800.00/1800.74 c rins : 0.00 0 0
1800.00/1800.74 c localbranching : 0.00 0 0
1800.00/1800.74 c mutation : 0.00 0 0
1800.00/1800.74 c crossover : 0.00 0 0
1800.00/1800.74 c dins : 0.00 0 0
1800.00/1800.74 c undercover : 0.00 0 0
1800.00/1800.74 c nlp : 2.57 0 0
1800.00/1800.74 c trysol : 1.68 0 0
1800.00/1800.74 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.74 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.74 c dual LP : 0.00 0 0 0.00 -
1800.00/1800.74 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.74 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.74 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.74 c strong branching : 0.00 0 0 0.00 -
1800.00/1800.74 c (at root node) : - 0 0 0.00 -
1800.00/1800.74 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.74 c B&B Tree :
1800.00/1800.74 c number of runs : 1
1800.00/1800.74 c nodes : 3413232
1800.00/1800.74 c nodes (total) : 3413232
1800.00/1800.74 c nodes left : 3413230
1800.00/1800.74 c max depth : 293
1800.00/1800.74 c max depth (total): 293
1800.00/1800.74 c backtracks : 38308 (1.1%)
1800.00/1800.74 c delayed cutoffs : 0
1800.00/1800.74 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.00/1800.74 c avg switch length: 2.36
1800.00/1800.74 c switching time : 48.35
1800.00/1800.74 c Solution :
1800.00/1800.74 c Solutions found : 3 (2 improvements)
1800.00/1800.74 c First Solution : +1.50200000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.00/1800.74 c Primal Bound : +3.60000000000000e+01 (in run 1, after 3413232 nodes, 1706.48 seconds, depth 293, found by <relaxation>)
1800.00/1800.74 c Dual Bound : -4.82000000000000e+02
1800.00/1800.74 c Gap : infinite
1800.00/1800.74 c Root Dual Bound : -5.46000000000000e+02
1800.00/1800.74 c Root Iterations : 0
OK 36
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664721-1276481957/watcher-2664721-1276481957 -o /tmp/evaluation-result-2664721-1276481957/solver-2664721-1276481957 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664721-1276481957.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: 1.00 1.00 1.00 3/106 27129 /proc/meminfo: memFree=1817192/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=6584 CPUtime=0 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 1115 0 0 0 0 0 0 0 18 0 1 0 23799118 6742016 1038 1992294400 4194304 7136930 140737277751120 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27129/statm: 1646 1047 254 719 0 925 0 [startup+0.094581 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27129 /proc/meminfo: memFree=1817192/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=15796 CPUtime=0.09 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 4664 0 0 0 7 2 0 0 20 0 1 0 23799118 16175104 3205 1992294400 4194304 7136930 140737277751120 18446744073709551615 4333616 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 3949 3205 367 719 0 3228 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15796 [startup+0.100582 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27129 /proc/meminfo: memFree=1817192/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=14768 CPUtime=0.09 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 4923 0 0 0 7 2 0 0 20 0 1 0 23799118 15122432 2950 1992294400 4194304 7136930 140737277751120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 3692 2950 368 719 0 2971 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14768 [startup+0.300618 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27129 /proc/meminfo: memFree=1817192/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=16732 CPUtime=0.29 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 5958 0 0 0 26 3 0 0 20 0 1 0 23799118 17133568 3471 1992294400 4194304 7136930 140737277751120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 4183 3471 394 719 0 3462 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16732 [startup+0.700693 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27129 /proc/meminfo: memFree=1817192/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=17124 CPUtime=0.69 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 6060 0 0 0 64 5 0 0 20 0 1 0 23799118 17534976 3573 1992294400 4194304 7136930 140737277751120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 4281 3573 394 719 0 3560 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17124 [startup+1.50084 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27130 /proc/meminfo: memFree=1804164/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=17552 CPUtime=1.49 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 6157 0 0 0 138 11 0 0 23 0 1 0 23799118 17973248 3670 1992294400 4194304 7136930 140737277751120 18446744073709551615 4414763 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 4388 3670 394 719 0 3667 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17552 [startup+3.10114 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27130 /proc/meminfo: memFree=1803172/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=19020 CPUtime=3.09 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 6523 0 0 0 290 19 0 0 25 0 1 0 23799118 19476480 4036 1992294400 4194304 7136930 140737277751120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 4755 4036 394 719 0 4034 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19020 [startup+6.30073 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27130 /proc/meminfo: memFree=1799204/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=22716 CPUtime=6.29 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 7466 0 0 0 593 36 0 0 25 0 1 0 23799118 23261184 4979 1992294400 4194304 7136930 140737277751120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 5679 4979 394 719 0 4958 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22716 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27130 /proc/meminfo: memFree=1793500/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=28508 CPUtime=12.69 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 8953 0 0 0 1201 68 0 0 25 0 1 0 23799118 29192192 6466 1992294400 4194304 7136930 140737277751120 18446744073709551615 5005371 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 7127 6466 394 719 0 6406 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28508 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27130 /proc/meminfo: memFree=1780852/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=39688 CPUtime=25.48 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 11863 0 0 0 2414 134 0 0 25 0 1 0 23799118 40640512 9376 1992294400 4194304 7136930 140737277751120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 9922 9376 394 719 0 9201 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39688 [startup+51.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27132 /proc/meminfo: memFree=1759896/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=61892 CPUtime=51.08 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 17063 0 0 0 4849 259 0 0 25 0 1 0 23799118 63377408 14576 1992294400 4194304 7136930 140737277751120 18446744073709551615 4642105 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 15473 14576 394 719 0 14752 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 61892 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27134 /proc/meminfo: memFree=1715752/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=104148 CPUtime=102.26 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 28013 0 0 0 9703 523 0 0 25 0 1 0 23799118 106647552 25526 1992294400 4194304 7136930 140737277751120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 26037 25526 394 719 0 25316 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 104148 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27134 /proc/meminfo: memFree=1668136/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=154412 CPUtime=162.23 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 39950 0 0 0 15395 828 0 0 25 0 1 0 23799118 158117888 37463 1992294400 4194304 7136930 140737277751120 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 38603 37463 394 719 0 37882 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 154412 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27136 /proc/meminfo: memFree=1621760/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=198488 CPUtime=222.21 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 51426 0 0 0 21086 1135 0 0 25 0 1 0 23799118 203251712 48939 1992294400 4194304 7136930 140737277751120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 49622 48939 394 719 0 48901 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 198488 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27138 /proc/meminfo: memFree=1573648/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=253308 CPUtime=282.19 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 63510 0 0 0 26784 1435 0 0 25 0 1 0 23799118 259387392 61023 1992294400 4194304 7136930 140737277751120 18446744073709551615 4740313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 63327 61023 394 719 0 62606 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 253308 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27140 /proc/meminfo: memFree=1524792/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=300760 CPUtime=342.16 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 75814 0 0 0 32474 1742 0 0 25 0 1 0 23799118 307978240 73327 1992294400 4194304 7136930 140737277751120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 75190 73327 394 719 0 74469 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 300760 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27140 /proc/meminfo: memFree=1479904/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=342692 CPUtime=402.14 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 86746 0 0 0 38152 2062 0 0 25 0 1 0 23799118 350916608 84259 1992294400 4194304 7136930 140737277751120 18446744073709551615 5506773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 85673 84259 394 719 0 84952 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 342692 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27142 /proc/meminfo: memFree=1433280/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=387200 CPUtime=462.12 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 98317 0 0 0 43833 2379 0 0 25 0 1 0 23799118 396492800 95830 1992294400 4194304 7136930 140737277751120 18446744073709551615 4643160 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 96800 95830 394 719 0 96079 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 387200 [startup+522.301 s] /proc/loadavg: 1.03 1.01 1.00 3/107 27144 /proc/meminfo: memFree=1387400/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=431276 CPUtime=522.09 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 109784 0 0 0 49520 2689 0 0 25 0 1 0 23799118 441626624 107297 1992294400 4194304 7136930 140737277751120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 107819 107297 394 719 0 107098 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 431276 [startup+582.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 27146 /proc/meminfo: memFree=1339784/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=494272 CPUtime=582.08 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 121882 0 0 0 55204 3004 0 0 25 0 1 0 23799118 506134528 119395 1992294400 4194304 7136930 140737277751120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 123568 119395 394 719 0 122847 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 494272 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27148 /proc/meminfo: memFree=1293780/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=537196 CPUtime=642.05 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 133060 0 0 0 60888 3317 0 0 25 0 1 0 23799118 550088704 130573 1992294400 4194304 7136930 140737277751120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 134299 130573 394 719 0 133578 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 537196 [startup+702.301 s] ################ # More data... # ################ /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 214138 0 0 0 100693 5496 0 0 25 0 1 0 23799118 869371904 211651 1992294400 4194304 7136930 140737277751120 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 212249 211651 394 719 0 211528 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 848996 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27160 /proc/meminfo: memFree=922152/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=925592 CPUtime=1121.86 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 225543 0 0 0 106380 5806 0 0 25 0 1 0 23799118 947806208 223056 1992294400 4194304 7136930 140737277751120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 231398 223056 394 719 0 230677 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 925592 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27162 /proc/meminfo: memFree=879496/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=967300 CPUtime=1181.84 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 236418 0 0 0 112062 6122 0 0 25 0 1 0 23799118 990515200 233931 1992294400 4194304 7136930 140737277751120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 241825 233931 394 719 0 241104 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 967300 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27164 /proc/meminfo: memFree=833244/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=1010352 CPUtime=1241.82 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 247633 0 0 0 117750 6432 0 0 25 0 1 0 23799118 1034600448 245146 1992294400 4194304 7136930 140737277751120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 252588 245146 394 719 0 251867 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 1010352 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 27166 /proc/meminfo: memFree=787116/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=1054308 CPUtime=1301.8 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 259071 0 0 0 123441 6739 0 0 25 0 1 0 23799118 1079611392 256584 1992294400 4194304 7136930 140737277751120 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 263577 256584 394 719 0 262856 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 1054308 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27166 /proc/meminfo: memFree=742972/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=1098132 CPUtime=1361.77 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 270478 0 0 0 129121 7056 0 0 25 0 1 0 23799118 1124487168 267991 1992294400 4194304 7136930 140737277751120 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 274533 267991 394 719 0 273812 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 1098132 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27168 /proc/meminfo: memFree=694364/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=1143364 CPUtime=1421.75 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 282235 0 0 0 134804 7371 0 0 25 0 1 0 23799118 1170804736 279748 1992294400 4194304 7136930 140737277751120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 285841 279748 394 719 0 285120 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 1143364 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27170 /proc/meminfo: memFree=646004/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=1190160 CPUtime=1481.72 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 294389 0 0 0 140489 7683 0 0 25 0 1 0 23799118 1218723840 291902 1992294400 4194304 7136930 140737277751120 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 297540 291902 394 719 0 296819 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 1190160 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27172 /proc/meminfo: memFree=597520/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=1236028 CPUtime=1541.7 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 306304 0 0 0 146182 7988 0 0 25 0 1 0 23799118 1265692672 303817 1992294400 4194304 7136930 140737277751120 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 309007 303817 394 719 0 308286 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 1236028 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27172 /proc/meminfo: memFree=554740/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=1277796 CPUtime=1601.66 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 317195 0 0 0 151865 8301 0 0 25 0 1 0 23799118 1308463104 314708 1992294400 4194304 7136930 140737277751120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 319449 314708 394 719 0 318728 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 1277796 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27174 /proc/meminfo: memFree=508736/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=1320852 CPUtime=1661.64 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 328410 0 0 0 157544 8620 0 0 25 0 1 0 23799118 1352552448 325923 1992294400 4194304 7136930 140737277751120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 330213 325923 394 719 0 329492 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 1320852 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27176 /proc/meminfo: memFree=462856/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=1366208 CPUtime=1721.62 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 340198 0 0 0 163229 8933 0 0 25 0 1 0 23799118 1398996992 337711 1992294400 4194304 7136930 140737277751120 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 341552 337711 394 719 0 340831 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 1366208 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27178 /proc/meminfo: memFree=415736/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=1409784 CPUtime=1781.59 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 351547 0 0 0 168914 9245 0 0 25 0 1 0 23799118 1443618816 349060 1992294400 4194304 7136930 140737277751120 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 352446 349060 394 719 0 351725 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 1409784 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27178 /proc/meminfo: memFree=402220/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=1422032 CPUtime=1800 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 368044 0 0 0 170660 9340 0 0 25 0 1 0 23799118 1456160768 352222 1992294400 4194304 7136930 140737277751120 18446744073709551615 6124733 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27129/statm: 355508 352222 394 719 0 354787 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1422032 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -27129 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 27178 /proc/meminfo: memFree=402220/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=1422032 CPUtime=1800.69 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 368054 0 0 0 170729 9340 0 0 25 0 1 0 23799118 1456160768 352232 1992294400 4194304 7136930 140737277751120 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27129/statm: 355508 352232 400 719 0 354787 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (KiB) 1422032 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27179 /proc/meminfo: memFree=402212/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=1422032 CPUtime=1801.48 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 368054 0 0 0 170808 9340 0 0 25 0 1 0 23799118 1456160768 352232 1992294400 4194304 7136930 140737277751120 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27129/statm: 355508 352232 400 719 0 354787 0 Current children cumulated CPU time (s) 1801.48 Current children cumulated vsize (KiB) 1422032 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27179 /proc/meminfo: memFree=402212/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=1422032 CPUtime=1801.88 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4202496 368054 0 0 0 170848 9340 0 0 25 0 1 0 23799118 1456160768 352232 1992294400 4194304 7136930 140737277751120 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27129/statm: 355508 352232 400 719 0 354787 0 Current children cumulated CPU time (s) 1801.88 Current children cumulated vsize (KiB) 1422032 [startup+1802.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27179 /proc/meminfo: memFree=1285864/2059040 swapFree=4140476/4192956 [pid=27129] ppid=27127 vsize=0 CPUtime=1802.09 /proc/27129/stat : 27129 (pbscip.linux.x8) R 27127 27129 26278 0 -1 4203524 368054 0 0 0 170860 9349 0 0 25 0 1 0 23799118 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/27129/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.09 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.85 CPU time (s): 1802.14 CPU user time (s): 1708.61 CPU system time (s): 93.5398 CPU usage (%): 99.961 Max. virtual memory (cumulated for all children) (KiB): 1486424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1708.61 system time used= 93.5398 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 368054 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= 3939 runsolver used 3.14252 second user time and 8.37773 second system time The end
Begin job on node007 at 2010-06-14 04:19:17 IDJOB=2664721 IDBENCH=2227 IDSOLVER=1167 FILE ID=node007/2664721-1276481957 PBS_JOBID= 11173376 Free space on /tmp= 62484 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.95: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-2664721-1276481957/watcher-2664721-1276481957 -o /tmp/evaluation-result-2664721-1276481957/solver-2664721-1276481957 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664721-1276481957.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f9ec307a3c8f55679d3b9ab693efbd4c RANDOM SEED=2135306178 node007.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.264 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.52 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.264 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1817720 kB Buffers: 56272 kB Cached: 104664 kB SwapCached: 6948 kB Active: 97596 kB Inactive: 77396 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1817720 kB SwapTotal: 4192956 kB SwapFree: 4140476 kB Dirty: 3268 kB Writeback: 0 kB AnonPages: 11592 kB Mapped: 13024 kB Slab: 44520 kB PageTables: 4092 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181644 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= 62480 MiB End job on node007 at 2010-06-14 04:49:20