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 | OPT | 3 | 1265.69 | 1266.2 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.opb |
| MD5SUM | 747af0da1666dabab7e7b60330c37a87 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 7.38288 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 216 |
| Total number of constraints | 19 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 19 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 576 |
| Sum of products size (including duplicates) | 1152 |
| Number of different products | 576 |
| Sum of products size | 1152 |
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-2663612-1276648171.opb>
0.00/0.01 c original problem has 792 variables (792 bin, 0 int, 0 impl, 0 cont) and 595 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 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.02 c presolving:
0.09/0.17 c (round 1) 9 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 60 chg coeffs, 0 upgd conss, 3600 impls, 0 clqs
0.09/0.17 c (round 2) 25 del vars, 14 del conss, 0 chg bounds, 0 chg sides, 74 chg coeffs, 10 upgd conss, 5392 impls, 0 clqs
0.09/0.18 c (round 3) 41 del vars, 28 del conss, 0 chg bounds, 0 chg sides, 88 chg coeffs, 10 upgd conss, 6960 impls, 0 clqs
0.09/0.18 c (round 4) 57 del vars, 42 del conss, 0 chg bounds, 0 chg sides, 102 chg coeffs, 10 upgd conss, 8304 impls, 0 clqs
0.09/0.19 c (round 5) 73 del vars, 56 del conss, 0 chg bounds, 0 chg sides, 116 chg coeffs, 10 upgd conss, 9424 impls, 0 clqs
0.09/0.20 c (round 6) 89 del vars, 70 del conss, 0 chg bounds, 0 chg sides, 130 chg coeffs, 10 upgd conss, 10320 impls, 0 clqs
0.19/0.20 c (round 7) 105 del vars, 84 del conss, 0 chg bounds, 0 chg sides, 144 chg coeffs, 10 upgd conss, 10992 impls, 0 clqs
0.19/0.21 c (round 8) 121 del vars, 98 del conss, 0 chg bounds, 0 chg sides, 158 chg coeffs, 10 upgd conss, 11440 impls, 0 clqs
0.19/0.21 c (round 9) 137 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 172 chg coeffs, 10 upgd conss, 11664 impls, 0 clqs
0.19/0.21 c (round 10) 153 del vars, 126 del conss, 0 chg bounds, 0 chg sides, 186 chg coeffs, 10 upgd conss, 11664 impls, 0 clqs
0.19/0.25 c (0.1s) probing: 221/639 (34.6%) - 0 fixings, 0 aggregations, 18 implications, 0 bound changes
0.19/0.25 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.25 c presolving (11 rounds):
0.19/0.25 c 153 deleted vars, 126 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 186 changed coefficients
0.19/0.25 c 11700 implications, 0 cliques
0.19/0.25 c presolved problem has 639 variables (639 bin, 0 int, 0 impl, 0 cont) and 460 constraints
0.19/0.25 c 441 constraints of type <and>
0.19/0.25 c 9 constraints of type <linear>
0.19/0.25 c 10 constraints of type <logicor>
0.19/0.25 c transformed objective value is always integral (scale: 2)
0.19/0.25 c Presolving Time: 0.13
0.19/0.25 c - non default parameters ----------------------------------------------------------------------
0.19/0.25 c # SCIP version 1.2.1.2
0.19/0.25 c
0.19/0.25 c # frequency for displaying node information lines
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.25 c display/freq = 10000
0.19/0.25 c
0.19/0.25 c # maximal time in seconds to run
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/time = 1800
0.19/0.25 c
0.19/0.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25 c limits/memory = 1620
0.19/0.25 c
0.19/0.25 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.25 c lp/solvefreq = -1
0.19/0.25 c
0.19/0.25 c # should presolving try to simplify inequalities
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/linear/simplifyinequalities = TRUE
0.19/0.25 c
0.19/0.25 c # should presolving try to simplify knapsacks
0.19/0.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.25 c
0.19/0.25 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.25 c heuristics/undercover/freq = 0
0.19/0.25 c
0.19/0.25 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.25 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.25 c separating/rapidlearning/freq = 0
0.19/0.25 c
0.19/0.25 c -----------------------------------------------------------------------------------------------
0.19/0.25 c start solving
0.19/0.25 c
0.19/0.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.25 c 0.1s| 1 | 2 | 0 | - |2073k| 0 | - | 639 | 460 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
3.09/3.11 c 2.8s| 10000 | 8185 | 0 | 0.0 |8035k| 400 | - | 639 | 731 | 0 | 0 | 0 |1390 | 0 | 1.000000e+00 | -- | Inf
6.09/6.18 c 5.6s| 20000 | 16038 | 0 | 0.0 | 13M| 400 | - | 639 | 928 | 0 | 0 | 0 |3149 | 0 | 1.000000e+00 | -- | Inf
9.58/9.60 c 8.7s| 30000 | 23356 | 0 | 0.0 | 19M| 400 | - | 639 | 953 | 0 | 0 | 0 |5438 | 0 | 1.000000e+00 | -- | Inf
12.89/12.94 c 11.8s| 40000 | 30867 | 0 | 0.0 | 24M| 400 | - | 639 | 867 | 0 | 0 | 0 |7510 | 0 | 1.000000e+00 | -- | Inf
16.08/16.14 c 14.8s| 50000 | 38270 | 0 | 0.0 | 29M| 400 | - | 639 | 933 | 0 | 0 | 0 |9301 | 0 | 1.000000e+00 | -- | Inf
19.48/19.53 c 17.9s| 60000 | 45314 | 0 | 0.0 | 35M| 400 | - | 639 | 986 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | -- | Inf
23.28/23.33 c 21.4s| 70000 | 52038 | 0 | 0.0 | 40M| 400 | - | 639 | 982 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | -- | Inf
26.78/26.80 c 24.6s| 80000 | 58722 | 0 | 0.0 | 45M| 400 | - | 639 | 664 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | -- | Inf
29.88/29.99 c 27.5s| 90000 | 66485 | 0 | 0.0 | 51M| 400 | - | 639 | 958 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | -- | Inf
33.18/33.23 c 30.5s|100000 | 74173 | 0 | 0.0 | 57M| 400 | - | 639 | 849 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | -- | Inf
36.48/36.52 c 33.6s|110000 | 81621 | 0 | 0.0 | 62M| 400 | - | 639 | 894 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | -- | Inf
39.67/39.76 c 36.6s|120000 | 89308 | 0 | 0.0 | 67M| 400 | - | 639 |1019 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | -- | Inf
42.97/43.09 c 39.7s|130000 | 96737 | 0 | 0.0 | 73M| 400 | - | 639 |1029 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | -- | Inf
46.57/46.62 c 42.9s|140000 |103848 | 0 | 0.0 | 78M| 400 | - | 639 |1109 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | -- | Inf
50.27/50.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.27/50.35 c 46.4s|150000 |110584 | 0 | 0.0 | 83M| 400 | - | 639 |1265 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | -- | Inf
54.17/54.20 c 50.0s|160000 |117338 | 0 | 0.0 | 88M| 400 | - | 639 |1366 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | -- | Inf
58.07/58.13 c 53.7s|170000 |124169 | 0 | 0.0 | 93M| 400 | - | 639 |1412 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | -- | Inf
61.96/62.07 c 57.4s|180000 |131002 | 0 | 0.0 | 98M| 400 | - | 639 |1340 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | -- | Inf
65.87/65.92 c 61.0s|190000 |137961 | 0 | 0.0 | 103M| 400 | - | 639 |1220 | 0 | 0 | 0 | 39k| 0 | 1.000000e+00 | -- | Inf
69.76/69.83 c 64.6s|200000 |144787 | 0 | 0.0 | 108M| 400 | - | 639 |1128 | 0 | 0 | 0 | 42k| 0 | 1.000000e+00 | -- | Inf
73.67/73.76 c 68.3s|210000 |151482 | 0 | 0.0 | 113M| 400 | - | 639 |1224 | 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | -- | Inf
77.66/77.78 c 72.1s|220000 |158161 | 0 | 0.0 | 119M| 400 | - | 639 |1449 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | -- | Inf
81.65/81.77 c 75.8s|230000 |164931 | 0 | 0.0 | 124M| 400 | - | 639 |1186 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | -- | Inf
85.85/85.95 c 79.7s|240000 |171540 | 0 | 0.0 | 129M| 400 | - | 639 |1332 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | -- | Inf
90.06/90.18 c 83.7s|250000 |178071 | 0 | 0.0 | 134M| 400 | - | 639 |1462 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | -- | Inf
94.15/94.20 c 87.5s|260000 |184908 | 0 | 0.0 | 139M| 400 | - | 639 |1380 | 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | -- | Inf
97.95/98.07 c 91.1s|270000 |191945 | 0 | 0.0 | 144M| 400 | - | 639 |1403 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | -- | Inf
101.85/101.92 c 94.7s|280000 |199053 | 0 | 0.0 | 149M| 400 | - | 639 |1151 | 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | -- | Inf
105.75/105.84 c 98.3s|290000 |206135 | 0 | 0.0 | 155M| 400 | - | 639 |1353 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | -- | Inf
109.74/109.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.74/109.87 c 102s|300000 |213043 | 0 | 0.0 | 160M| 400 | - | 639 |1357 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | -- | Inf
113.64/113.77 c 106s|310000 |220049 | 0 | 0.0 | 165M| 400 | - | 639 |1344 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | -- | Inf
117.55/117.68 c 109s|320000 |227060 | 0 | 0.0 | 170M| 400 | - | 639 |1563 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | -- | Inf
121.94/122.06 c 114s|330000 |233719 | 0 | 0.0 | 176M| 400 | - | 639 |1845 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | -- | Inf
125.94/126.07 c 117s|340000 |240557 | 0 | 0.0 | 181M| 400 | - | 639 |1257 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | -- | Inf
129.44/129.60 c 121s|350000 |248140 | 0 | 0.0 | 186M| 400 | - | 639 |1098 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | -- | Inf
132.73/132.89 c 124s|360000 |255982 | 0 | 0.0 | 192M| 400 | - | 639 |1135 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | -- | Inf
136.03/136.14 c 127s|370000 |263860 | 0 | 0.0 | 198M| 400 | - | 639 |1178 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | -- | Inf
139.14/139.24 c 130s|380000 |271987 | 0 | 0.0 | 203M| 400 | - | 639 |1106 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | -- | Inf
142.23/142.30 c 132s|390000 |280052 | 0 | 0.0 | 209M| 400 | - | 639 |1104 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | -- | Inf
145.23/145.40 c 135s|400000 |287942 | 0 | 0.0 | 215M| 400 | - | 639 |1016 | 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | -- | Inf
148.44/148.57 c 138s|410000 |295653 | 0 | 0.0 | 220M| 400 | - | 639 | 995 | 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | -- | Inf
151.83/151.92 c 141s|420000 |303160 | 0 | 0.0 | 226M| 400 | - | 639 | 967 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | -- | Inf
155.03/155.13 c 144s|430000 |310858 | 0 | 0.0 | 231M| 400 | - | 639 |1003 | 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | -- | Inf
158.23/158.34 c 147s|440000 |318553 | 0 | 0.0 | 237M| 400 | - | 639 |1167 | 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | -- | Inf
162.11/162.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.11/162.28 c 151s|450000 |325249 | 0 | 0.0 | 242M| 400 | - | 639 |1335 | 0 | 0 | 0 | 100k| 0 | 1.000000e+00 | -- | Inf
166.11/166.21 c 155s|460000 |332056 | 0 | 0.0 | 247M| 400 | - | 639 |1190 | 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | -- | Inf
170.11/170.27 c 158s|470000 |338724 | 0 | 0.0 | 252M| 400 | - | 639 |1341 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | -- | Inf
174.01/174.14 c 162s|480000 |345481 | 0 | 0.0 | 257M| 400 | - | 639 |1418 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | -- | Inf
177.81/177.94 c 166s|490000 |352117 | 0 | 0.0 | 262M| 400 | - | 639 |1251 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | -- | Inf
182.32/182.46 c 170s|500000 |357681 | 0 | 0.0 | 266M| 400 | - | 639 |1276 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | -- | Inf
186.92/187.01 c 174s|510000 |363083 | 0 | 0.0 | 271M| 400 | - | 639 |1466 | 0 | 0 | 0 | 116k| 0 | 1.000000e+00 | -- | Inf
191.22/191.40 c 178s|520000 |368740 | 0 | 0.0 | 276M| 400 | - | 639 |1539 | 0 | 0 | 0 | 119k| 0 | 1.000000e+00 | -- | Inf
195.71/195.83 c 182s|530000 |374156 | 0 | 0.0 | 280M| 400 | - | 639 |1633 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | -- | Inf
200.31/200.45 c 187s|540000 |379305 | 0 | 0.0 | 285M| 400 | - | 639 |1562 | 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | -- | Inf
205.40/205.57 c 192s|550000 |383844 | 0 | 0.0 | 289M| 400 | - | 639 |1500 | 0 | 0 | 0 | 129k| 0 | 1.000000e+00 | -- | Inf
210.50/210.64 c 196s|560000 |388633 | 0 | 0.0 | 294M| 400 | - | 639 |1513 | 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | -- | Inf
215.20/215.38 c 201s|570000 |393881 | 0 | 0.0 | 298M| 400 | - | 639 |1558 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | -- | Inf
220.20/220.35 c 205s|580000 |399039 | 0 | 0.0 | 303M| 400 | - | 639 |1535 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | -- | Inf
225.79/225.91 c 211s|590000 |403161 | 0 | 0.0 | 307M| 400 | - | 639 |1566 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | -- | Inf
231.29/231.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.29/231.47 c 216s|600000 |407160 | 0 | 0.0 | 312M| 400 | - | 639 |1613 | 0 | 0 | 0 | 146k| 0 | 1.000000e+00 | -- | Inf
234.69/234.89 c 219s|610000 |413872 | 0 | 0.0 | 316M| 400 | - | 639 | 891 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | -- | Inf
237.89/238.01 c 222s|620000 |421864 | 0 | 0.0 | 322M| 400 | - | 639 | 842 | 0 | 0 | 0 | 149k| 0 | 1.000000e+00 | -- | Inf
241.09/241.28 c 225s|630000 |429357 | 0 | 0.0 | 327M| 400 | - | 639 | 839 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | -- | Inf
244.49/244.66 c 228s|640000 |436410 | 0 | 0.0 | 332M| 400 | - | 639 | 815 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | -- | Inf
247.98/248.16 c 231s|650000 |443370 | 0 | 0.0 | 337M| 400 | - | 639 | 978 | 0 | 0 | 0 | 156k| 0 | 1.000000e+00 | -- | Inf
251.89/252.08 c 235s|660000 |449788 | 0 | 0.0 | 342M| 400 | - | 639 |1035 | 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | -- | Inf
255.89/256.01 c 239s|670000 |456398 | 0 | 0.0 | 347M| 400 | - | 639 |1031 | 0 | 0 | 0 | 161k| 0 | 1.000000e+00 | -- | Inf
259.29/259.42 c 242s|680000 |463912 | 0 | 0.0 | 353M| 400 | - | 639 |1222 | 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | -- | Inf
262.88/263.09 c 245s|690000 |471291 | 0 | 0.0 | 358M| 400 | - | 639 |1443 | 0 | 0 | 0 | 164k| 0 | 1.000000e+00 | -- | Inf
266.78/266.95 c 249s|700000 |478437 | 0 | 0.0 | 363M| 400 | - | 639 |1631 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | -- | Inf
270.77/270.94 c 253s|710000 |485367 | 0 | 0.0 | 368M| 400 | - | 639 |1577 | 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | -- | Inf
274.98/275.13 c 257s|720000 |492107 | 0 | 0.0 | 373M| 400 | - | 639 |1806 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | -- | Inf
279.19/279.33 c 261s|730000 |498957 | 0 | 0.0 | 378M| 400 | - | 639 |1820 | 0 | 0 | 0 | 174k| 0 | 1.000000e+00 | -- | Inf
283.08/283.28 c 264s|740000 |506140 | 0 | 0.0 | 382M| 400 | - | 639 |1347 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | -- | Inf
286.98/287.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
286.98/287.15 c 268s|750000 |513277 | 0 | 0.0 | 388M| 400 | - | 639 |1437 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | -- | Inf
290.87/291.05 c 272s|760000 |520220 | 0 | 0.0 | 393M| 400 | - | 639 |1645 | 0 | 0 | 0 | 180k| 0 | 1.000000e+00 | -- | Inf
294.68/294.88 c 275s|770000 |527294 | 0 | 0.0 | 398M| 400 | - | 639 |1493 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | -- | Inf
298.57/298.77 c 279s|780000 |534358 | 0 | 0.0 | 403M| 400 | - | 639 |1125 | 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | -- | Inf
302.38/302.56 c 282s|790000 |541456 | 0 | 0.0 | 408M| 400 | - | 639 |1522 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | -- | Inf
306.07/306.25 c 286s|800000 |548810 | 0 | 0.0 | 413M| 400 | - | 639 |1014 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | -- | Inf
310.07/310.23 c 289s|810000 |555659 | 0 | 0.0 | 418M| 400 | - | 639 |1570 | 0 | 0 | 0 | 191k| 0 | 1.000000e+00 | -- | Inf
313.76/313.96 c 293s|820000 |562950 | 0 | 0.0 | 423M| 400 | - | 639 |1124 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | -- | Inf
317.77/317.94 c 297s|830000 |569744 | 0 | 0.0 | 428M| 400 | - | 639 |1454 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | -- | Inf
321.56/321.72 c 300s|840000 |576914 | 0 | 0.0 | 433M| 400 | - | 639 |1096 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | -- | Inf
325.36/325.60 c 304s|850000 |583931 | 0 | 0.0 | 439M| 400 | - | 639 |1377 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | -- | Inf
329.26/329.45 c 307s|860000 |590954 | 0 | 0.0 | 444M| 400 | - | 639 |1058 | 0 | 0 | 0 | 201k| 0 | 1.000000e+00 | -- | Inf
333.07/333.29 c 311s|870000 |598006 | 0 | 0.0 | 449M| 400 | - | 639 |1470 | 0 | 0 | 0 | 204k| 0 | 1.000000e+00 | -- | Inf
336.85/337.09 c 314s|880000 |605111 | 0 | 0.0 | 454M| 400 | - | 639 |1009 | 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | -- | Inf
340.66/340.90 c 318s|890000 |612113 | 0 | 0.0 | 459M| 400 | - | 639 |1642 | 0 | 0 | 0 | 208k| 0 | 1.000000e+00 | -- | Inf
344.85/345.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
344.85/345.00 c 322s|900000 |618807 | 0 | 0.0 | 464M| 400 | - | 639 |1162 | 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | -- | Inf
348.75/348.91 c 326s|910000 |625785 | 0 | 0.0 | 469M| 400 | - | 639 |1313 | 0 | 0 | 0 | 213k| 0 | 1.000000e+00 | -- | Inf
352.65/352.88 c 329s|920000 |632651 | 0 | 0.0 | 474M| 400 | - | 639 |1276 | 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | -- | Inf
356.65/356.87 c 333s|930000 |639708 | 0 | 0.0 | 479M| 400 | - | 639 |1283 | 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | -- | Inf
361.35/361.54 c 337s|940000 |646276 | 0 | 0.0 | 484M| 400 | - | 639 |1613 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | -- | Inf
365.64/365.88 c 342s|950000 |652938 | 0 | 0.0 | 489M| 400 | - | 639 |1522 | 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | -- | Inf
369.74/369.99 c 345s|960000 |659614 | 0 | 0.0 | 494M| 400 | - | 639 |1720 | 0 | 0 | 0 | 225k| 0 | 1.000000e+00 | -- | Inf
373.75/373.96 c 349s|970000 |666442 | 0 | 0.0 | 499M| 400 | - | 639 |1408 | 0 | 0 | 0 | 227k| 0 | 1.000000e+00 | -- | Inf
377.94/378.13 c 353s|980000 |673228 | 0 | 0.0 | 504M| 400 | - | 639 |1402 | 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | -- | Inf
382.24/382.48 c 357s|990000 |679766 | 0 | 0.0 | 509M| 400 | - | 639 |1501 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | -- | Inf
386.63/386.85 c 361s| 1000k|686390 | 0 | 0.0 | 514M| 400 | - | 639 |1583 | 0 | 0 | 0 | 234k| 0 | 1.000000e+00 | -- | Inf
390.84/391.03 c 365s| 1010k|693126 | 0 | 0.0 | 519M| 400 | - | 639 |1456 | 0 | 0 | 0 | 237k| 0 | 1.000000e+00 | -- | Inf
395.03/395.25 c 369s| 1020k|699660 | 0 | 0.0 | 523M| 400 | - | 639 |1496 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | -- | Inf
399.23/399.44 c 373s| 1030k|706348 | 0 | 0.0 | 529M| 400 | - | 639 |1482 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | -- | Inf
403.73/403.94 c 377s| 1040k|712720 | 0 | 0.0 | 533M| 400 | - | 639 |1939 | 0 | 0 | 0 | 245k| 0 | 1.000000e+00 | -- | Inf
408.12/408.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
408.12/408.39 c 381s| 1050k|719176 | 0 | 0.0 | 538M| 400 | - | 639 |1797 | 0 | 0 | 0 | 247k| 0 | 1.000000e+00 | -- | Inf
412.73/413.00 c 386s| 1060k|725613 | 0 | 0.0 | 543M| 400 | - | 639 |1892 | 0 | 0 | 0 | 250k| 0 | 1.000000e+00 | -- | Inf
417.12/417.34 c 390s| 1070k|732169 | 0 | 0.0 | 548M| 400 | - | 639 |1991 | 0 | 0 | 0 | 253k| 0 | 1.000000e+00 | -- | Inf
421.52/421.74 c 394s| 1080k|738889 | 0 | 0.0 | 552M| 400 | - | 639 |1748 | 0 | 0 | 0 | 255k| 0 | 1.000000e+00 | -- | Inf
426.12/426.33 c 398s| 1090k|745483 | 0 | 0.0 | 557M| 400 | - | 639 |1909 | 0 | 0 | 0 | 258k| 0 | 1.000000e+00 | -- | Inf
430.42/430.65 c 402s| 1100k|752075 | 0 | 0.0 | 562M| 400 | - | 639 |1766 | 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | -- | Inf
435.01/435.25 c 407s| 1110k|758583 | 0 | 0.0 | 567M| 400 | - | 639 |2001 | 0 | 0 | 0 | 263k| 0 | 1.000000e+00 | -- | Inf
439.62/439.87 c 411s| 1120k|765082 | 0 | 0.0 | 572M| 400 | - | 639 |2245 | 0 | 0 | 0 | 266k| 0 | 1.000000e+00 | -- | Inf
444.01/444.22 c 415s| 1130k|771811 | 0 | 0.0 | 577M| 400 | - | 639 |2004 | 0 | 0 | 0 | 269k| 0 | 1.000000e+00 | -- | Inf
448.81/449.00 c 420s| 1140k|778272 | 0 | 0.0 | 582M| 400 | - | 639 |2228 | 0 | 0 | 0 | 271k| 0 | 1.000000e+00 | -- | Inf
453.50/453.72 c 424s| 1150k|784616 | 0 | 0.0 | 586M| 400 | - | 639 |2167 | 0 | 0 | 0 | 274k| 0 | 1.000000e+00 | -- | Inf
458.00/458.20 c 428s| 1160k|791379 | 0 | 0.0 | 591M| 400 | - | 639 |1927 | 0 | 0 | 0 | 277k| 0 | 1.000000e+00 | -- | Inf
462.70/462.96 c 433s| 1170k|798059 | 0 | 0.0 | 596M| 400 | - | 639 |2085 | 0 | 0 | 0 | 279k| 0 | 1.000000e+00 | -- | Inf
467.39/467.67 c 437s| 1180k|804515 | 0 | 0.0 | 601M| 400 | - | 639 |2113 | 0 | 0 | 0 | 282k| 0 | 1.000000e+00 | -- | Inf
472.20/472.41 c 442s| 1190k|810950 | 0 | 0.0 | 606M| 400 | - | 639 |2279 | 0 | 0 | 0 | 285k| 0 | 1.000000e+00 | -- | Inf
476.90/477.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
476.90/477.13 c 446s| 1200k|817742 | 0 | 0.0 | 611M| 400 | - | 639 |2030 | 0 | 0 | 0 | 288k| 0 | 1.000000e+00 | -- | Inf
481.39/481.65 c 451s| 1210k|824212 | 0 | 0.0 | 616M| 400 | - | 639 |2102 | 0 | 0 | 0 | 290k| 0 | 1.000000e+00 | -- | Inf
486.19/486.47 c 455s| 1220k|830686 | 0 | 0.0 | 621M| 400 | - | 639 |2546 | 0 | 0 | 0 | 293k| 0 | 1.000000e+00 | -- | Inf
490.88/491.15 c 460s| 1230k|837403 | 0 | 0.0 | 625M| 400 | - | 639 |2137 | 0 | 0 | 0 | 296k| 0 | 1.000000e+00 | -- | Inf
495.28/495.58 c 464s| 1240k|844177 | 0 | 0.0 | 630M| 400 | - | 639 |2127 | 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | -- | Inf
499.98/500.25 c 468s| 1250k|850875 | 0 | 0.0 | 635M| 400 | - | 639 |2283 | 0 | 0 | 0 | 301k| 0 | 1.000000e+00 | -- | Inf
504.78/505.00 c 473s| 1260k|857401 | 0 | 0.0 | 640M| 400 | - | 639 |2092 | 0 | 0 | 0 | 304k| 0 | 1.000000e+00 | -- | Inf
509.18/509.43 c 477s| 1270k|864051 | 0 | 0.0 | 645M| 400 | - | 639 |1767 | 0 | 0 | 0 | 307k| 0 | 1.000000e+00 | -- | Inf
513.67/513.90 c 481s| 1280k|870681 | 0 | 0.0 | 650M| 400 | - | 639 |2091 | 0 | 0 | 0 | 310k| 0 | 1.000000e+00 | -- | Inf
518.48/518.74 c 486s| 1290k|877190 | 0 | 0.0 | 655M| 400 | - | 639 |2086 | 0 | 0 | 0 | 312k| 0 | 1.000000e+00 | -- | Inf
522.97/523.25 c 490s| 1300k|884003 | 0 | 0.0 | 659M| 400 | - | 639 |1870 | 0 | 0 | 0 | 315k| 0 | 1.000000e+00 | -- | Inf
527.27/527.53 c 494s| 1310k|890656 | 0 | 0.0 | 664M| 400 | - | 639 |1875 | 0 | 0 | 0 | 318k| 0 | 1.000000e+00 | -- | Inf
532.17/532.47 c 499s| 1320k|896699 | 0 | 0.0 | 669M| 400 | - | 639 |2196 | 0 | 0 | 0 | 321k| 0 | 1.000000e+00 | -- | Inf
537.06/537.32 c 503s| 1330k|902931 | 0 | 0.0 | 673M| 400 | - | 639 |1894 | 0 | 0 | 0 | 324k| 0 | 1.000000e+00 | -- | Inf
541.57/541.84 c 508s| 1340k|909379 | 0 | 0.0 | 678M| 400 | - | 639 |1951 | 0 | 0 | 0 | 327k| 0 | 1.000000e+00 | -- | Inf
546.67/546.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
546.67/546.90 c 512s| 1350k|915215 | 0 | 0.0 | 683M| 400 | - | 639 |2122 | 0 | 0 | 0 | 331k| 0 | 1.000000e+00 | -- | Inf
551.47/551.70 c 517s| 1360k|921614 | 0 | 0.0 | 687M| 400 | - | 639 |1918 | 0 | 0 | 0 | 334k| 0 | 1.000000e+00 | -- | Inf
556.46/556.73 c 522s| 1370k|927694 | 0 | 0.0 | 692M| 400 | - | 639 |2251 | 0 | 0 | 0 | 338k| 0 | 1.000000e+00 | -- | Inf
561.96/562.26 c 527s| 1380k|933396 | 0 | 0.0 | 697M| 400 | - | 639 |2264 | 0 | 0 | 0 | 342k| 0 | 1.000000e+00 | -- | Inf
566.86/567.18 c 532s| 1390k|939833 | 0 | 0.0 | 701M| 400 | - | 639 |1860 | 0 | 0 | 0 | 345k| 0 | 1.000000e+00 | -- | Inf
571.85/572.18 c 536s| 1400k|945887 | 0 | 0.0 | 706M| 400 | - | 639 |2152 | 0 | 0 | 0 | 348k| 0 | 1.000000e+00 | -- | Inf
577.16/577.48 c 541s| 1410k|951958 | 0 | 0.0 | 711M| 400 | - | 639 |2203 | 0 | 0 | 0 | 352k| 0 | 1.000000e+00 | -- | Inf
582.05/582.35 c 546s| 1420k|958321 | 0 | 0.0 | 715M| 400 | - | 639 |1779 | 0 | 0 | 0 | 355k| 0 | 1.000000e+00 | -- | Inf
586.84/587.18 c 551s| 1430k|964420 | 0 | 0.0 | 720M| 400 | - | 639 |1982 | 0 | 0 | 0 | 358k| 0 | 1.000000e+00 | -- | Inf
592.04/592.31 c 555s| 1440k|970469 | 0 | 0.0 | 724M| 400 | - | 639 |2089 | 0 | 0 | 0 | 362k| 0 | 1.000000e+00 | -- | Inf
596.74/597.07 c 560s| 1450k|976933 | 0 | 0.0 | 729M| 400 | - | 639 |1870 | 0 | 0 | 0 | 365k| 0 | 1.000000e+00 | -- | Inf
602.24/602.50 c 565s| 1460k|982866 | 0 | 0.0 | 734M| 400 | - | 639 |2328 | 0 | 0 | 0 | 369k| 0 | 1.000000e+00 | -- | Inf
607.34/607.62 c 570s| 1470k|988929 | 0 | 0.0 | 738M| 400 | - | 639 |1846 | 0 | 0 | 0 | 372k| 0 | 1.000000e+00 | -- | Inf
612.24/612.50 c 574s| 1480k|995101 | 0 | 0.0 | 743M| 400 | - | 639 |1988 | 0 | 0 | 0 | 375k| 0 | 1.000000e+00 | -- | Inf
617.33/617.69 c 579s| 1490k| 1000k| 0 | 0.0 | 748M| 400 | - | 639 |2058 | 0 | 0 | 0 | 379k| 0 | 1.000000e+00 | -- | Inf
622.14/622.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
622.14/622.49 c 584s| 1500k| 1007k| 0 | 0.0 | 752M| 400 | - | 639 |1538 | 0 | 0 | 0 | 382k| 0 | 1.000000e+00 | -- | Inf
627.13/627.47 c 589s| 1510k| 1013k| 0 | 0.0 | 757M| 400 | - | 639 |2099 | 0 | 0 | 0 | 386k| 0 | 1.000000e+00 | -- | Inf
632.14/632.50 c 593s| 1520k| 1019k| 0 | 0.0 | 762M| 400 | - | 639 |1928 | 0 | 0 | 0 | 389k| 0 | 1.000000e+00 | -- | Inf
636.93/637.23 c 598s| 1530k| 1025k| 0 | 0.0 | 767M| 400 | - | 639 |1826 | 0 | 0 | 0 | 392k| 0 | 1.000000e+00 | -- | Inf
641.83/642.20 c 603s| 1540k| 1032k| 0 | 0.0 | 771M| 400 | - | 639 |2040 | 0 | 0 | 0 | 395k| 0 | 1.000000e+00 | -- | Inf
646.92/647.20 c 607s| 1550k| 1038k| 0 | 0.0 | 776M| 400 | - | 639 |1883 | 0 | 0 | 0 | 398k| 0 | 1.000000e+00 | -- | Inf
651.72/652.00 c 612s| 1560k| 1044k| 0 | 0.0 | 781M| 400 | - | 639 |2141 | 0 | 0 | 0 | 402k| 0 | 1.000000e+00 | -- | Inf
656.82/657.11 c 617s| 1570k| 1051k| 0 | 0.0 | 786M| 400 | - | 639 |2140 | 0 | 0 | 0 | 405k| 0 | 1.000000e+00 | -- | Inf
661.82/662.15 c 622s| 1580k| 1057k| 0 | 0.0 | 791M| 400 | - | 639 |1855 | 0 | 0 | 0 | 408k| 0 | 1.000000e+00 | -- | Inf
667.22/667.53 c 627s| 1590k| 1063k| 0 | 0.0 | 796M| 400 | - | 639 |2349 | 0 | 0 | 0 | 412k| 0 | 1.000000e+00 | -- | Inf
672.32/672.69 c 632s| 1600k| 1069k| 0 | 0.0 | 801M| 400 | - | 639 |1949 | 0 | 0 | 0 | 415k| 0 | 1.000000e+00 | -- | Inf
677.41/677.71 c 636s| 1610k| 1075k| 0 | 0.0 | 805M| 400 | - | 639 |2172 | 0 | 0 | 0 | 418k| 0 | 1.000000e+00 | -- | Inf
682.72/683.03 c 641s| 1620k| 1081k| 0 | 0.0 | 810M| 400 | - | 639 |2149 | 0 | 0 | 0 | 422k| 0 | 1.000000e+00 | -- | Inf
687.51/687.88 c 646s| 1630k| 1088k| 0 | 0.0 | 815M| 400 | - | 639 |2118 | 0 | 0 | 0 | 425k| 0 | 1.000000e+00 | -- | Inf
692.71/693.02 c 651s| 1640k| 1094k| 0 | 0.0 | 820M| 400 | - | 639 |2232 | 0 | 0 | 0 | 428k| 0 | 1.000000e+00 | -- | Inf
697.81/698.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
697.81/698.10 c 656s| 1650k| 1100k| 0 | 0.0 | 825M| 400 | - | 639 |2057 | 0 | 0 | 0 | 431k| 0 | 1.000000e+00 | -- | Inf
702.80/703.16 c 660s| 1660k| 1107k| 0 | 0.0 | 830M| 400 | - | 639 |2261 | 0 | 0 | 0 | 434k| 0 | 1.000000e+00 | -- | Inf
707.81/708.15 c 665s| 1670k| 1113k| 0 | 0.0 | 835M| 400 | - | 639 |2128 | 0 | 0 | 0 | 438k| 0 | 1.000000e+00 | -- | Inf
712.90/713.28 c 670s| 1680k| 1119k| 0 | 0.0 | 840M| 400 | - | 639 |2348 | 0 | 0 | 0 | 441k| 0 | 1.000000e+00 | -- | Inf
718.39/718.72 c 675s| 1690k| 1125k| 0 | 0.0 | 844M| 400 | - | 639 |2343 | 0 | 0 | 0 | 444k| 0 | 1.000000e+00 | -- | Inf
723.09/723.44 c 680s| 1700k| 1132k| 0 | 0.0 | 850M| 400 | - | 639 |2016 | 0 | 0 | 0 | 447k| 0 | 1.000000e+00 | -- | Inf
728.10/728.47 c 685s| 1710k| 1138k| 0 | 0.0 | 854M| 400 | - | 639 |2328 | 0 | 0 | 0 | 450k| 0 | 1.000000e+00 | -- | Inf
732.89/733.26 c 689s| 1720k| 1145k| 0 | 0.0 | 859M| 400 | - | 639 |1861 | 0 | 0 | 0 | 453k| 0 | 1.000000e+00 | -- | Inf
737.89/738.25 c 694s| 1730k| 1151k| 0 | 0.0 | 864M| 400 | - | 639 |2356 | 0 | 0 | 0 | 456k| 0 | 1.000000e+00 | -- | Inf
743.09/743.42 c 699s| 1740k| 1157k| 0 | 0.0 | 869M| 400 | - | 639 |1937 | 0 | 0 | 0 | 459k| 0 | 1.000000e+00 | -- | Inf
748.29/748.65 c 704s| 1750k| 1164k| 0 | 0.0 | 874M| 400 | - | 639 |2463 | 0 | 0 | 0 | 463k| 0 | 1.000000e+00 | -- | Inf
753.98/754.31 c 709s| 1760k| 1170k| 0 | 0.0 | 879M| 400 | - | 639 |2398 | 0 | 0 | 0 | 466k| 0 | 1.000000e+00 | -- | Inf
758.99/759.35 c 714s| 1770k| 1176k| 0 | 0.0 | 884M| 400 | - | 639 |2658 | 0 | 0 | 0 | 470k| 0 | 1.000000e+00 | -- | Inf
764.58/764.90 c 719s| 1780k| 1182k| 0 | 0.0 | 889M| 400 | - | 639 |2485 | 0 | 0 | 0 | 473k| 0 | 1.000000e+00 | -- | Inf
769.97/770.35 c 724s| 1790k| 1188k| 0 | 0.0 | 894M| 400 | - | 639 |2836 | 0 | 0 | 0 | 476k| 0 | 1.000000e+00 | -- | Inf
775.58/775.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
775.58/775.94 c 730s| 1800k| 1195k| 0 | 0.0 | 899M| 400 | - | 639 |2703 | 0 | 0 | 0 | 480k| 0 | 1.000000e+00 | -- | Inf
780.87/781.28 c 735s| 1810k| 1201k| 0 | 0.0 | 904M| 400 | - | 639 |2409 | 0 | 0 | 0 | 483k| 0 | 1.000000e+00 | -- | Inf
786.37/786.79 c 740s| 1820k| 1207k| 0 | 0.0 | 909M| 400 | - | 639 |2391 | 0 | 0 | 0 | 486k| 0 | 1.000000e+00 | -- | Inf
791.47/791.80 c 745s| 1830k| 1214k| 0 | 0.0 | 914M| 400 | - | 639 |2314 | 0 | 0 | 0 | 490k| 0 | 1.000000e+00 | -- | Inf
796.47/796.89 c 750s| 1840k| 1220k| 0 | 0.0 | 919M| 400 | - | 639 |2123 | 0 | 0 | 0 | 493k| 0 | 1.000000e+00 | -- | Inf
801.57/801.92 c 754s| 1850k| 1226k| 0 | 0.0 | 924M| 400 | - | 639 |2164 | 0 | 0 | 0 | 496k| 0 | 1.000000e+00 | -- | Inf
806.66/807.06 c 759s| 1860k| 1233k| 0 | 0.0 | 929M| 400 | - | 639 |1786 | 0 | 0 | 0 | 499k| 0 | 1.000000e+00 | -- | Inf
811.75/812.10 c 764s| 1870k| 1239k| 0 | 0.0 | 934M| 400 | - | 639 |2174 | 0 | 0 | 0 | 502k| 0 | 1.000000e+00 | -- | Inf
816.75/817.10 c 769s| 1880k| 1246k| 0 | 0.0 | 938M| 400 | - | 639 |1633 | 0 | 0 | 0 | 505k| 0 | 1.000000e+00 | -- | Inf
821.75/822.19 c 774s| 1890k| 1252k| 0 | 0.0 | 944M| 400 | - | 639 |2244 | 0 | 0 | 0 | 509k| 0 | 1.000000e+00 | -- | Inf
826.65/827.10 c 778s| 1900k| 1259k| 0 | 0.0 | 948M| 400 | - | 639 |1649 | 0 | 0 | 0 | 512k| 0 | 1.000000e+00 | -- | Inf
831.95/832.33 c 783s| 1910k| 1265k| 0 | 0.0 | 953M| 400 | - | 639 |2274 | 0 | 0 | 0 | 515k| 0 | 1.000000e+00 | -- | Inf
836.95/837.34 c 788s| 1920k| 1272k| 0 | 0.0 | 958M| 400 | - | 639 |1770 | 0 | 0 | 0 | 518k| 0 | 1.000000e+00 | -- | Inf
842.35/842.75 c 793s| 1930k| 1277k| 0 | 0.0 | 963M| 400 | - | 639 |2331 | 0 | 0 | 0 | 522k| 0 | 1.000000e+00 | -- | Inf
847.65/848.08 c 798s| 1940k| 1284k| 0 | 0.0 | 968M| 400 | - | 639 |1782 | 0 | 0 | 0 | 526k| 0 | 1.000000e+00 | -- | Inf
853.45/853.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
853.45/853.80 c 804s| 1950k| 1289k| 0 | 0.0 | 972M| 400 | - | 639 |1988 | 0 | 0 | 0 | 530k| 0 | 1.000000e+00 | -- | Inf
858.85/859.22 c 809s| 1960k| 1295k| 0 | 0.0 | 977M| 400 | - | 639 |2367 | 0 | 0 | 0 | 534k| 0 | 1.000000e+00 | -- | Inf
864.15/864.60 c 814s| 1970k| 1301k| 0 | 0.0 | 982M| 400 | - | 639 |2034 | 0 | 0 | 0 | 537k| 0 | 1.000000e+00 | -- | Inf
869.74/870.19 c 819s| 1980k| 1307k| 0 | 0.0 | 987M| 400 | - | 639 |2111 | 0 | 0 | 0 | 541k| 0 | 1.000000e+00 | -- | Inf
874.63/875.06 c 824s| 1990k| 1314k| 0 | 0.0 | 992M| 400 | - | 639 |1752 | 0 | 0 | 0 | 543k| 0 | 1.000000e+00 | -- | Inf
879.64/880.01 c 829s| 2000k| 1320k| 0 | 0.0 | 997M| 400 | - | 639 |2121 | 0 | 0 | 0 | 547k| 0 | 1.000000e+00 | -- | Inf
884.83/885.29 c 834s| 2010k| 1326k| 0 | 0.0 |1002M| 400 | - | 639 |2300 | 0 | 0 | 0 | 550k| 0 | 1.000000e+00 | -- | Inf
890.23/890.65 c 839s| 2020k| 1332k| 0 | 0.0 |1006M| 400 | - | 639 |2031 | 0 | 0 | 0 | 553k| 0 | 1.000000e+00 | -- | Inf
895.72/896.13 c 844s| 2030k| 1338k| 0 | 0.0 |1011M| 400 | - | 639 |2245 | 0 | 0 | 0 | 557k| 0 | 1.000000e+00 | -- | Inf
901.03/901.45 c 849s| 2040k| 1344k| 0 | 0.0 |1015M| 400 | - | 639 |2122 | 0 | 0 | 0 | 560k| 0 | 1.000000e+00 | -- | Inf
906.52/906.99 c 854s| 2050k| 1350k| 0 | 0.0 |1020M| 400 | - | 639 |2453 | 0 | 0 | 0 | 563k| 0 | 1.000000e+00 | -- | Inf
912.12/912.55 c 860s| 2060k| 1356k| 0 | 0.0 |1025M| 400 | - | 639 |2666 | 0 | 0 | 0 | 567k| 0 | 1.000000e+00 | -- | Inf
918.02/918.41 c 865s| 2070k| 1362k| 0 | 0.0 |1029M| 400 | - | 639 |2403 | 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | -- | Inf
923.62/924.02 c 871s| 2080k| 1368k| 0 | 0.0 |1034M| 400 | - | 639 |2641 | 0 | 0 | 0 | 574k| 0 | 1.000000e+00 | -- | Inf
929.32/929.76 c 876s| 2090k| 1374k| 0 | 0.0 |1039M| 400 | - | 639 |2946 | 0 | 0 | 0 | 577k| 0 | 1.000000e+00 | -- | Inf
935.11/935.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
935.11/935.51 c 882s| 2100k| 1381k| 0 | 0.0 |1043M| 400 | - | 639 |2916 | 0 | 0 | 0 | 580k| 0 | 1.000000e+00 | -- | Inf
941.31/941.71 c 887s| 2110k| 1386k| 0 | 0.0 |1048M| 400 | - | 639 |3234 | 0 | 0 | 0 | 584k| 0 | 1.000000e+00 | -- | Inf
947.01/947.47 c 893s| 2120k| 1392k| 0 | 0.0 |1053M| 400 | - | 639 |3196 | 0 | 0 | 0 | 587k| 0 | 1.000000e+00 | -- | Inf
952.91/953.32 c 899s| 2130k| 1398k| 0 | 0.0 |1057M| 400 | - | 639 |3018 | 0 | 0 | 0 | 590k| 0 | 1.000000e+00 | -- | Inf
959.01/959.48 c 904s| 2140k| 1404k| 0 | 0.0 |1062M| 400 | - | 639 |3275 | 0 | 0 | 0 | 594k| 0 | 1.000000e+00 | -- | Inf
964.90/965.32 c 910s| 2150k| 1410k| 0 | 0.0 |1067M| 400 | - | 639 |3330 | 0 | 0 | 0 | 597k| 0 | 1.000000e+00 | -- | Inf
970.10/970.58 c 915s| 2160k| 1417k| 0 | 0.0 |1072M| 400 | - | 639 |2912 | 0 | 0 | 0 | 600k| 0 | 1.000000e+00 | -- | Inf
975.90/976.30 c 920s| 2170k| 1423k| 0 | 0.0 |1077M| 400 | - | 639 |3193 | 0 | 0 | 0 | 603k| 0 | 1.000000e+00 | -- | Inf
981.49/981.98 c 926s| 2180k| 1429k| 0 | 0.0 |1081M| 400 | - | 639 |2801 | 0 | 0 | 0 | 606k| 0 | 1.000000e+00 | -- | Inf
987.09/987.56 c 931s| 2190k| 1435k| 0 | 0.0 |1086M| 400 | - | 639 |3019 | 0 | 0 | 0 | 610k| 0 | 1.000000e+00 | -- | Inf
993.19/993.68 c 937s| 2200k| 1441k| 0 | 0.0 |1091M| 400 | - | 639 |3565 | 0 | 0 | 0 | 613k| 0 | 1.000000e+00 | -- | Inf
999.50/999.98 c 943s| 2210k| 1448k| 0 | 0.0 |1096M| 400 | - | 639 |4204 | 0 | 0 | 0 | 617k| 0 | 1.000000e+00 | -- | Inf
1006.09/1006.51 c 949s| 2220k| 1454k| 0 | 0.0 |1101M| 400 | - | 639 |4360 | 0 | 0 | 0 | 620k| 0 | 1.000000e+00 | -- | Inf
1012.59/1013.02 c 956s| 2230k| 1460k| 0 | 0.0 |1106M| 400 | - | 639 |4153 | 0 | 0 | 0 | 624k| 0 | 1.000000e+00 | -- | Inf
1018.98/1019.47 c 962s| 2240k| 1466k| 0 | 0.0 |1111M| 400 | - | 639 |4380 | 0 | 0 | 0 | 627k| 0 | 1.000000e+00 | -- | Inf
1025.27/1025.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1025.27/1025.78 c 968s| 2250k| 1472k| 0 | 0.0 |1116M| 400 | - | 639 |4648 | 0 | 0 | 0 | 631k| 0 | 1.000000e+00 | -- | Inf
1031.98/1032.45 c 974s| 2260k| 1478k| 0 | 0.0 |1121M| 400 | - | 639 |4573 | 0 | 0 | 0 | 634k| 0 | 1.000000e+00 | -- | Inf
1038.38/1038.89 c 980s| 2270k| 1485k| 0 | 0.0 |1126M| 400 | - | 639 |4542 | 0 | 0 | 0 | 638k| 0 | 1.000000e+00 | -- | Inf
1044.97/1045.46 c 987s| 2280k| 1491k| 0 | 0.0 |1131M| 400 | - | 639 |4751 | 0 | 0 | 0 | 641k| 0 | 1.000000e+00 | -- | Inf
1051.56/1052.06 c 993s| 2290k| 1497k| 0 | 0.0 |1136M| 400 | - | 639 |4714 | 0 | 0 | 0 | 645k| 0 | 1.000000e+00 | -- | Inf
1057.78/1058.23 c 999s| 2300k| 1504k| 0 | 0.0 |1141M| 400 | - | 639 |4468 | 0 | 0 | 0 | 648k| 0 | 1.000000e+00 | -- | Inf
1063.36/1063.83 c 1004s| 2310k| 1511k| 0 | 0.0 |1146M| 400 | - | 639 |3414 | 0 | 0 | 0 | 651k| 0 | 1.000000e+00 | -- | Inf
1068.86/1069.39 c 1010s| 2320k| 1517k| 0 | 0.0 |1151M| 400 | - | 639 |2906 | 0 | 0 | 0 | 655k| 0 | 1.000000e+00 | -- | Inf
1074.27/1074.75 c 1015s| 2330k| 1524k| 0 | 0.0 |1156M| 400 | - | 639 |3186 | 0 | 0 | 0 | 658k| 0 | 1.000000e+00 | -- | Inf
1079.45/1079.95 c 1020s| 2340k| 1531k| 0 | 0.0 |1161M| 400 | - | 639 |3036 | 0 | 0 | 0 | 661k| 0 | 1.000000e+00 | -- | Inf
1084.76/1085.21 c 1025s| 2350k| 1537k| 0 | 0.0 |1166M| 400 | - | 639 |3204 | 0 | 0 | 0 | 664k| 0 | 1.000000e+00 | -- | Inf
1089.95/1090.40 c 1030s| 2360k| 1544k| 0 | 0.0 |1171M| 400 | - | 639 |2937 | 0 | 0 | 0 | 667k| 0 | 1.000000e+00 | -- | Inf
1095.06/1095.60 c 1035s| 2370k| 1551k| 0 | 0.0 |1176M| 400 | - | 639 |2551 | 0 | 0 | 0 | 670k| 0 | 1.000000e+00 | -- | Inf
1100.45/1100.96 c 1040s| 2380k| 1558k| 0 | 0.0 |1181M| 400 | - | 639 |2515 | 0 | 0 | 0 | 673k| 0 | 1.000000e+00 | -- | Inf
1105.54/1106.04 c 1044s| 2390k| 1564k| 0 | 0.0 |1187M| 400 | - | 639 |2801 | 0 | 0 | 0 | 676k| 0 | 1.000000e+00 | -- | Inf
1110.14/1110.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1110.14/1110.61 c 1049s| 2400k| 1571k| 0 | 0.0 |1192M| 400 | - | 639 |2476 | 0 | 0 | 0 | 679k| 0 | 1.000000e+00 | -- | Inf
1114.75/1115.25 c 1053s| 2410k| 1578k| 0 | 0.0 |1197M| 400 | - | 639 |2279 | 0 | 0 | 0 | 681k| 0 | 1.000000e+00 | -- | Inf
1119.55/1120.02 c 1058s| 2420k| 1585k| 0 | 0.0 |1203M| 400 | - | 639 |2630 | 0 | 0 | 0 | 684k| 0 | 1.000000e+00 | -- | Inf
1123.53/1124.04 c 1061s| 2430k| 1593k| 0 | 0.0 |1208M| 400 | - | 639 |2021 | 0 | 0 | 0 | 686k| 0 | 1.000000e+00 | -- | Inf
1128.43/1128.96 c 1066s| 2440k| 1599k| 0 | 0.0 |1213M| 400 | - | 639 |2215 | 0 | 0 | 0 | 689k| 0 | 1.000000e+00 | -- | Inf
1132.94/1133.44 c 1070s| 2450k| 1607k| 0 | 0.0 |1219M| 400 | - | 639 |2327 | 0 | 0 | 0 | 692k| 0 | 1.000000e+00 | -- | Inf
1137.53/1138.04 c 1075s| 2460k| 1614k| 0 | 0.0 |1224M| 400 | - | 639 |2202 | 0 | 0 | 0 | 694k| 0 | 1.000000e+00 | -- | Inf
1142.03/1142.57 c 1079s| 2470k| 1621k| 0 | 0.0 |1229M| 400 | - | 639 |2253 | 0 | 0 | 0 | 697k| 0 | 1.000000e+00 | -- | Inf
1145.83/1146.33 c 1082s| 2480k| 1628k| 0 | 0.0 |1235M| 400 | - | 639 |1900 | 0 | 0 | 0 | 699k| 0 | 1.000000e+00 | -- | Inf
1149.13/1149.68 c 1086s| 2490k| 1636k| 0 | 0.0 |1240M| 400 | - | 639 |1603 | 0 | 0 | 0 | 700k| 0 | 1.000000e+00 | -- | Inf
1153.33/1153.90 c 1090s| 2500k| 1644k| 0 | 0.0 |1246M| 400 | - | 639 |1974 | 0 | 0 | 0 | 703k| 0 | 1.000000e+00 | -- | Inf
1156.93/1157.48 c 1093s| 2510k| 1651k| 0 | 0.0 |1251M| 400 | - | 639 |1606 | 0 | 0 | 0 | 705k| 0 | 1.000000e+00 | -- | Inf
1160.72/1161.25 c 1096s| 2520k| 1659k| 0 | 0.0 |1256M| 400 | - | 639 |1638 | 0 | 0 | 0 | 707k| 0 | 1.000000e+00 | -- | Inf
1165.02/1165.52 c 1100s| 2530k| 1666k| 0 | 0.0 |1262M| 400 | - | 639 |1891 | 0 | 0 | 0 | 710k| 0 | 1.000000e+00 | -- | Inf
1168.52/1169.00 c 1104s| 2540k| 1674k| 0 | 0.0 |1267M| 400 | - | 639 |1656 | 0 | 0 | 0 | 711k| 0 | 1.000000e+00 | -- | Inf
1172.42/1172.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1172.42/1172.90 c 1107s| 2550k| 1681k| 0 | 0.0 |1272M| 400 | - | 639 |1655 | 0 | 0 | 0 | 714k| 0 | 1.000000e+00 | -- | Inf
1176.42/1176.98 c 1111s| 2560k| 1688k| 0 | 0.0 |1278M| 400 | - | 639 |1628 | 0 | 0 | 0 | 716k| 0 | 1.000000e+00 | -- | Inf
1181.02/1181.60 c 1115s| 2570k| 1695k| 0 | 0.0 |1283M| 400 | - | 639 |1666 | 0 | 0 | 0 | 719k| 0 | 1.000000e+00 | -- | Inf
1185.51/1186.07 c 1120s| 2580k| 1702k| 0 | 0.0 |1288M| 400 | - | 639 |1603 | 0 | 0 | 0 | 722k| 0 | 1.000000e+00 | -- | Inf
1189.21/1189.72 c 1123s| 2590k| 1709k| 0 | 0.0 |1294M| 400 | - | 639 |1423 | 0 | 0 | 0 | 724k| 0 | 1.000000e+00 | -- | Inf
1192.61/1193.14 c 1126s| 2600k| 1717k| 0 | 0.0 |1299M| 400 | - | 639 |1339 | 0 | 0 | 0 | 725k| 0 | 1.000000e+00 | -- | Inf
1196.40/1196.91 c 1130s| 2610k| 1724k| 0 | 0.0 |1304M| 400 | - | 639 |1266 | 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | -- | Inf
1200.41/1200.93 c 1134s| 2620k| 1731k| 0 | 0.0 |1310M| 400 | - | 639 |1478 | 0 | 0 | 0 | 730k| 0 | 1.000000e+00 | -- | Inf
1204.02/1204.57 c 1137s| 2630k| 1739k| 0 | 0.0 |1315M| 400 | - | 639 |1279 | 0 | 0 | 0 | 732k| 0 | 1.000000e+00 | -- | Inf
1207.71/1208.21 c 1140s| 2640k| 1747k| 0 | 0.0 |1321M| 400 | - | 639 |1151 | 0 | 0 | 0 | 734k| 0 | 1.000000e+00 | -- | Inf
1211.51/1212.05 c 1144s| 2650k| 1754k| 0 | 0.0 |1326M| 400 | - | 639 |1350 | 0 | 0 | 0 | 736k| 0 | 1.000000e+00 | -- | Inf
1215.40/1215.92 c 1148s| 2660k| 1761k| 0 | 0.0 |1332M| 400 | - | 639 |1362 | 0 | 0 | 0 | 739k| 0 | 1.000000e+00 | -- | Inf
1218.90/1219.47 c 1151s| 2670k| 1769k| 0 | 0.0 |1337M| 400 | - | 639 |1166 | 0 | 0 | 0 | 741k| 0 | 1.000000e+00 | -- | Inf
1222.80/1223.36 c 1154s| 2680k| 1776k| 0 | 0.0 |1342M| 400 | - | 639 |1239 | 0 | 0 | 0 | 743k| 0 | 1.000000e+00 | -- | Inf
1226.70/1227.25 c 1158s| 2690k| 1783k| 0 | 0.0 |1348M| 400 | - | 639 |1461 | 0 | 0 | 0 | 745k| 0 | 1.000000e+00 | -- | Inf
1230.40/1230.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1230.40/1230.93 c 1162s| 2700k| 1791k| 0 | 0.0 |1353M| 400 | - | 639 |1304 | 0 | 0 | 0 | 747k| 0 | 1.000000e+00 | -- | Inf
1234.00/1234.52 c (node 2709723) switching to memory saving mode (mem: 1296.0M/1620.0M)
1234.70/1235.20 c 1166s| 2710k| 1798k| 0 | 0.0 |1358M| 400 | - | 639 |1321 | 0 | 0 | 0 | 749k| 0 | 1.000000e+00 | -- | Inf
1235.29/1235.82 o 193
1235.29/1235.82 c *1166s| 2710k| 1798k| 0 | 0.0 |1358M| 400 | - | 639 |1594 | 0 | 0 | 0 | 750k| 0 | 1.000000e+00 | 1.930000e+02 | Large
1235.39/1235.92 o 129
1235.39/1235.92 c *1166s| 2710k| 1797k| 0 | 0.0 |1358M| 400 | - | 639 |1683 | 0 | 0 | 0 | 750k| 0 | 1.000000e+00 | 1.290000e+02 | Large
1235.49/1236.01 o 65
1235.49/1236.01 c *1166s| 2710k| 1797k| 0 | 0.0 |1358M| 400 | - | 639 |1648 | 0 | 0 | 0 | 750k| 0 | 1.000000e+00 | 6.500000e+01 |6400.00%
1235.59/1236.13 o 49
1235.59/1236.13 c *1166s| 2710k| 1797k| 0 | 0.0 |1358M| 400 | - | 639 |1754 | 0 | 0 | 0 | 750k| 0 | 1.000000e+00 | 4.900000e+01 |4800.00%
1235.99/1236.54 o 33
1235.99/1236.54 c *1167s| 2711k| 1797k| 0 | 0.0 |1358M| 400 | - | 639 |2088 | 0 | 0 | 0 | 751k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1236.10/1236.68 o 17
1236.10/1236.68 c *1167s| 2711k| 1797k| 0 | 0.0 |1358M| 400 | - | 639 |2110 | 0 | 0 | 0 | 751k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
1238.19/1238.75 o 3
1238.19/1238.75 c *1169s| 2714k| 1744k| 0 | 0.0 |1320M| 400 | - | 639 |1931 | 0 | 0 | 0 | 753k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
1250.39/1251.00 c (node 2714599) switching to standard mode (mem: 648.0M/1620.0M)
1265.49/1266.09 c
1265.49/1266.09 c SCIP Status : problem is solved [optimal solution found]
1265.49/1266.09 c Solving Time (sec) : 1194.11
1265.49/1266.09 c Solving Nodes : 2714599
1265.49/1266.09 c Primal Bound : +3.00000000000000e+00 (7 solutions)
1265.49/1266.09 c Dual Bound : +3.00000000000000e+00
1265.49/1266.09 c Gap : 0.00 %
1265.49/1266.09 s OPTIMUM FOUND
1265.49/1266.09 v -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x144 -x143 -x142 -x141 -x140 -x139
1265.49/1266.09 v -x138 x137 -x200 x199 -x198 -x197 -x196 -x195 x194 -x193 -x136 -x135 -x134 -x133 x132 -x131 -x130 x129 -x192 -x191 -x190
1265.49/1266.09 v x189 -x188 -x187 -x186 -x185 x128 -x127 x126 -x125 -x124 -x123 -x122 x121 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x120
1265.49/1266.09 v -x119 x118 -x117 -x116 -x115 -x114 x113 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x112 -x111 -x110 -x109 -x108 -x107
1265.49/1266.09 v -x106 x105 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 x104 -x103 x102 -x101 x100 -x99 x98 x97 -x160 x159 -x158 -x157 -x156
1265.49/1266.09 v -x155 x154 -x153 -x96 -x95 -x94 -x93 -x92 -x91 x90 x89 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 x88 -x87 -x86 -x85
1265.49/1266.09 v -x84 -x83 x82 x81 x80 -x79 x78 x77 -x76 x75 x74 x73 -x72 -x71 x70 x69 x68 -x67 -x66 x65 -x64 x63 x62 -x61 x60 -x59 -x58 x57 x56
1265.49/1266.09 v -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 x33 -x32 -x31 x30
1265.49/1266.09 v x29 x28 -x27 -x26 x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 x2
1265.49/1266.09 v x1
1265.49/1266.09 c SCIP Status : problem is solved [optimal solution found]
1265.49/1266.09 c Solving Time : 1194.11
1265.49/1266.09 c Original Problem :
1265.49/1266.09 c Problem name : HOME/instance-2663612-1276648171.opb
1265.49/1266.09 c Variables : 792 (792 binary, 0 integer, 0 implicit integer, 0 continuous)
1265.49/1266.09 c Constraints : 595 initial, 595 maximal
1265.49/1266.09 c Presolved Problem :
1265.49/1266.09 c Problem name : t_HOME/instance-2663612-1276648171.opb
1265.49/1266.09 c Variables : 639 (639 binary, 0 integer, 0 implicit integer, 0 continuous)
1265.49/1266.09 c Constraints : 460 initial, 4882 maximal
1265.49/1266.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1265.49/1266.09 c trivial : 0.00 0 0 0 0 0 0 0 0
1265.49/1266.09 c dualfix : 0.00 0 0 0 0 0 0 0 0
1265.49/1266.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
1265.49/1266.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1265.49/1266.09 c implics : 0.00 0 0 0 0 0 0 0 0
1265.49/1266.09 c probing : 0.03 0 0 0 0 0 0 0 0
1265.49/1266.09 c and : 0.08 18 126 0 0 0 126 0 126
1265.49/1266.09 c linear : 0.00 1 8 0 0 0 0 0 60
1265.49/1266.09 c logicor : 0.00 0 0 0 0 0 0 0 0
1265.49/1266.09 c root node : - 64 - - 64 - - - -
1265.49/1266.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1265.49/1266.09 c integral : 0 0 0 0 0 0 0 0 0 0
1265.49/1266.09 c and : 441 0 6501206 0 2383873 70372 12178964 0 0 0
1265.49/1266.09 c linear : 9 0 6430831 0 2383873 451457 4875550 0 0 0
1265.49/1266.09 c logicor : 10+ 0 2668261 0 2383838 18225 714872 0 0 0
1265.49/1266.09 c countsols : 0 0 0 0 2383878 0 0 0 0 0
1265.49/1266.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1265.49/1266.09 c integral : 0.00 0.00 0.00 0.00 0.00
1265.49/1266.09 c and : 162.55 0.00 104.77 0.00 57.78
1265.49/1266.09 c linear : 317.63 0.00 314.98 0.00 2.65
1265.49/1266.09 c logicor : 113.92 0.00 108.47 0.00 5.45
1265.49/1266.09 c countsols : 1.08 0.00 0.00 0.00 1.08
1265.49/1266.09 c Propagators : Time Calls Cutoffs DomReds
1265.49/1266.09 c vbounds : 3.04 2 0 0
1265.49/1266.09 c rootredcost : 2.94 0 0 0
1265.49/1266.09 c pseudoobj : 8.02 6500756 3 135
1265.49/1266.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1265.49/1266.09 c propagation : 195.58 540057 537607 7941045 67.9 62008 54.9 -
1265.49/1266.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1265.49/1266.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1265.49/1266.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1265.49/1266.09 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1265.49/1266.09 c applied globally : - - - 737763 34.3 - - -
1265.49/1266.09 c applied locally : - - - 15982 74.7 - - -
1265.49/1266.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1265.49/1266.09 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1265.49/1266.09 c redcost : 0.00 0 0 0 0 0
1265.49/1266.09 c impliedbounds : 0.00 0 0 0 0 0
1265.49/1266.09 c intobj : 0.00 0 0 0 0 0
1265.49/1266.09 c cgmip : 0.00 0 0 0 0 0
1265.49/1266.09 c gomory : 0.00 0 0 0 0 0
1265.49/1266.09 c strongcg : 0.00 0 0 0 0 0
1265.49/1266.09 c cmir : 0.00 0 0 0 0 0
1265.49/1266.09 c flowcover : 0.00 0 0 0 0 0
1265.49/1266.09 c clique : 0.00 0 0 0 0 0
1265.49/1266.09 c zerohalf : 0.00 0 0 0 0 0
1265.49/1266.09 c mcf : 0.00 0 0 0 0 0
1265.49/1266.09 c rapidlearning : 0.00 0 0 0 0 0
1265.49/1266.09 c Pricers : Time Calls Vars
1265.49/1266.09 c problem variables: 0.00 0 0
1265.49/1266.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1265.49/1266.09 c relpscost : 0.00 0 0 0 0 0 0
1265.49/1266.09 c pscost : 0.00 0 0 0 0 0 0
1265.49/1266.09 c inference : 181.44 2383871 0 0 0 0 4767742
1265.49/1266.09 c mostinf : 0.00 0 0 0 0 0 0
1265.49/1266.09 c leastinf : 0.00 0 0 0 0 0 0
1265.49/1266.09 c fullstrong : 0.00 0 0 0 0 0 0
1265.49/1266.09 c allfullstrong : 0.00 0 0 0 0 0 0
1265.49/1266.09 c random : 0.00 0 0 0 0 0 0
1265.49/1266.09 c Primal Heuristics : Time Calls Found
1265.49/1266.09 c LP solutions : 0.00 - 0
1265.49/1266.09 c pseudo solutions : 0.66 - 7
1265.49/1266.09 c oneopt : 1.33 0 0
1265.49/1266.09 c trivial : 0.00 2 0
1265.49/1266.09 c simplerounding : 0.00 0 0
1265.49/1266.09 c zirounding : 0.00 0 0
1265.49/1266.09 c rounding : 0.00 0 0
1265.49/1266.09 c shifting : 0.00 0 0
1265.49/1266.09 c intshifting : 0.00 0 0
1265.49/1266.09 c twoopt : 0.00 0 0
1265.49/1266.09 c fixandinfer : 0.00 0 0
1265.49/1266.09 c feaspump : 0.00 0 0
1265.49/1266.09 c coefdiving : 0.00 0 0
1265.49/1266.09 c pscostdiving : 0.00 0 0
1265.49/1266.09 c fracdiving : 0.00 0 0
1265.49/1266.09 c veclendiving : 0.00 0 0
1265.49/1266.09 c intdiving : 0.00 0 0
1265.49/1266.09 c actconsdiving : 0.00 0 0
1265.49/1266.09 c objpscostdiving : 0.00 0 0
1265.49/1266.09 c rootsoldiving : 0.00 0 0
1265.49/1266.09 c linesearchdiving : 0.00 0 0
1265.49/1266.09 c guideddiving : 0.00 0 0
1265.49/1266.09 c octane : 0.00 0 0
1265.49/1266.09 c rens : 0.00 0 0
1265.49/1266.09 c rins : 0.00 0 0
1265.49/1266.09 c localbranching : 0.00 0 0
1265.49/1266.09 c mutation : 0.00 0 0
1265.49/1266.09 c crossover : 0.00 0 0
1265.49/1266.09 c dins : 0.00 0 0
1265.49/1266.09 c undercover : 0.00 0 0
1265.49/1266.09 c nlp : 1.37 0 0
1265.49/1266.09 c trysol : 1.19 0 0
1265.49/1266.09 c LP : Time Calls Iterations Iter/call Iter/sec
1265.49/1266.09 c primal LP : 0.00 0 0 0.00 -
1265.49/1266.09 c dual LP : 0.00 0 0 0.00 -
1265.49/1266.09 c lex dual LP : 0.00 0 0 0.00 -
1265.49/1266.09 c barrier LP : 0.00 0 0 0.00 -
1265.49/1266.09 c diving/probing LP: 0.00 0 0 0.00 -
1265.49/1266.09 c strong branching : 0.00 0 0 0.00 -
1265.49/1266.09 c (at root node) : - 0 0 0.00 -
1265.49/1266.09 c conflict analysis: 0.00 0 0 0.00 -
1265.49/1266.09 c B&B Tree :
1265.49/1266.09 c number of runs : 1
1265.49/1266.09 c nodes : 2714599
1265.49/1266.09 c nodes (total) : 2714599
1265.49/1266.09 c nodes left : 0
1265.49/1266.09 c max depth : 400
1265.49/1266.09 c max depth (total): 400
1265.49/1266.09 c backtracks : 225636 (8.3%)
1265.49/1266.09 c delayed cutoffs : 1999465
1265.49/1266.09 c repropagations : 535210 (2337391 domain reductions, 209336 cutoffs)
1265.49/1266.09 c avg switch length: 6.86
1265.49/1266.09 c switching time : 281.53
1265.49/1266.09 c Solution :
1265.49/1266.09 c Solutions found : 7 (7 improvements)
1265.49/1266.09 c First Solution : +1.93000000000000e+02 (in run 1, after 2710640 nodes, 1166.12 seconds, depth 297, found by <relaxation>)
1265.49/1266.09 c Primal Bound : +3.00000000000000e+00 (in run 1, after 2714597 nodes, 1168.73 seconds, depth 278, found by <relaxation>)
1265.49/1266.09 c Dual Bound : +3.00000000000000e+00
1265.49/1266.09 c Gap : 0.00 %
1265.49/1266.09 c Root Dual Bound : +1.00000000000000e+00
1265.49/1266.09 c Root Iterations : 0
1265.59/1266.19 c Time complete: 1265.68.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663612-1276648171/watcher-2663612-1276648171 -o /tmp/evaluation-result-2663612-1276648171/solver-2663612-1276648171 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663612-1276648171.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: 2.49 2.06 1.57 3/106 7329 /proc/meminfo: memFree=1805392/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=6584 CPUtime=0 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 1009 0 0 0 0 0 0 0 20 0 1 0 38473475 6742016 932 1992294400 4194304 7136930 140734529816992 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7329/statm: 1646 941 254 719 0 925 0 [startup+0.0949421 s] /proc/loadavg: 2.49 2.06 1.57 3/106 7329 /proc/meminfo: memFree=1805392/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=12236 CPUtime=0.08 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 2943 0 0 0 4 4 0 0 20 0 1 0 38473475 12529664 2255 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 3059 2255 328 719 0 2338 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 12236 [startup+0.100943 s] /proc/loadavg: 2.49 2.06 1.57 3/106 7329 /proc/meminfo: memFree=1805392/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=12236 CPUtime=0.09 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 2943 0 0 0 5 4 0 0 20 0 1 0 38473475 12529664 2255 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 3059 2255 328 719 0 2338 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12236 [startup+0.30098 s] /proc/loadavg: 2.49 2.06 1.57 3/106 7329 /proc/meminfo: memFree=1805392/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=14128 CPUtime=0.29 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 8649 0 0 0 18 11 0 0 20 0 1 0 38473475 14467072 2821 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 3532 2821 389 719 0 2811 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14128 [startup+0.701055 s] /proc/loadavg: 2.49 2.06 1.57 3/106 7329 /proc/meminfo: memFree=1805392/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=15356 CPUtime=0.69 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 8952 0 0 0 55 14 0 0 21 0 1 0 38473475 15724544 3124 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 3839 3124 394 719 0 3118 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15356 [startup+1.5012 s] /proc/loadavg: 2.49 2.06 1.57 2/107 7330 /proc/meminfo: memFree=1793108/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=18164 CPUtime=1.49 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 9677 0 0 0 129 20 0 0 23 0 1 0 38473475 18599936 3849 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 4541 3849 394 719 0 3820 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18164 [startup+3.1015 s] /proc/loadavg: 2.37 2.04 1.56 2/107 7330 /proc/meminfo: memFree=1789264/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=22080 CPUtime=3.09 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 10650 0 0 0 275 34 0 0 25 0 1 0 38473475 22609920 4822 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 5520 4822 394 719 0 4799 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22080 [startup+6.3011 s] /proc/loadavg: 2.37 2.04 1.56 2/107 7330 /proc/meminfo: memFree=1781948/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=30632 CPUtime=6.28 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 12825 0 0 0 568 60 0 0 25 0 1 0 38473475 31367168 6997 1992294400 4194304 7136930 140734529816992 18446744073709551615 5909156 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 7658 6997 394 719 0 6937 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 30632 [startup+12.7013 s] /proc/loadavg: 2.23 2.03 1.56 2/107 7330 /proc/meminfo: memFree=1769796/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=41016 CPUtime=12.69 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 15457 0 0 0 1162 107 0 0 25 0 1 0 38473475 42000384 9629 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 10254 9629 394 719 0 9533 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41016 [startup+25.5007 s] /proc/loadavg: 2.04 1.99 1.55 2/107 7332 /proc/meminfo: memFree=1746360/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=62364 CPUtime=25.48 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 20905 0 0 0 2342 206 0 0 25 0 1 0 38473475 63860736 15077 1992294400 4194304 7136930 140734529816992 18446744073709551615 4660592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 15591 15077 394 719 0 14870 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 62364 [startup+51.1015 s] /proc/loadavg: 1.68 1.91 1.54 2/107 7332 /proc/meminfo: memFree=1703456/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=108064 CPUtime=51.07 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 32019 0 0 0 4711 396 0 0 25 0 1 0 38473475 110657536 26191 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 27016 26191 394 719 0 26295 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 108064 [startup+102.309 s] /proc/loadavg: 1.27 1.75 1.51 2/107 7334 /proc/meminfo: memFree=1627940/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=184116 CPUtime=102.26 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 50341 0 0 0 9504 722 0 0 25 0 1 0 38473475 188534784 44513 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 46029 44513 394 719 0 45308 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 184116 [startup+162.301 s] /proc/loadavg: 1.10 1.61 1.47 2/107 7334 /proc/meminfo: memFree=1529608/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=282552 CPUtime=162.22 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 75433 0 0 0 15089 1133 0 0 25 0 1 0 38473475 289333248 69605 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 70638 69605 394 719 0 69917 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 282552 [startup+222.3 s] /proc/loadavg: 1.03 1.50 1.44 3/107 7336 /proc/meminfo: memFree=1463144/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=346292 CPUtime=222.2 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 91627 0 0 0 20731 1489 0 0 25 0 1 0 38473475 354603008 85799 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 86573 85799 394 719 0 85852 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 346292 [startup+282.302 s] /proc/loadavg: 1.01 1.41 1.41 2/107 7338 /proc/meminfo: memFree=1381304/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=433696 CPUtime=282.18 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 111857 0 0 0 26343 1875 0 0 25 0 1 0 38473475 444104704 106029 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 108424 106029 394 719 0 107703 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 433696 [startup+342.302 s] /proc/loadavg: 1.00 1.33 1.38 2/107 7340 /proc/meminfo: memFree=1298348/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=514416 CPUtime=342.15 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 132466 0 0 0 31940 2275 0 0 25 0 1 0 38473475 526761984 126638 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 128604 126638 394 719 0 127883 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 514416 [startup+402.301 s] /proc/loadavg: 1.00 1.27 1.35 2/107 7342 /proc/meminfo: memFree=1225560/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=586508 CPUtime=402.13 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 150860 0 0 0 37568 2645 0 0 25 0 1 0 38473475 600584192 145032 1992294400 4194304 7136930 140734529816992 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 146627 145032 394 719 0 145906 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 586508 [startup+462.301 s] /proc/loadavg: 1.00 1.22 1.33 2/107 7342 /proc/meminfo: memFree=1162692/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=646988 CPUtime=462.1 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 166274 0 0 0 43226 2984 0 0 25 0 1 0 38473475 662515712 160446 1992294400 4194304 7136930 140734529816992 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 161747 160446 394 719 0 161026 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 646988 [startup+522.3 s] /proc/loadavg: 1.08 1.19 1.31 3/108 7347 /proc/meminfo: memFree=1060756/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=711884 CPUtime=522.07 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 182869 0 0 0 48905 3302 0 0 25 0 1 0 38473475 728969216 177041 1992294400 4194304 7136930 140734529816992 18446744073709551615 4643174 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 177971 177041 394 719 0 177250 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 711884 [startup+582.301 s] /proc/loadavg: 1.03 1.15 1.29 2/107 7349 /proc/meminfo: memFree=1038692/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=767772 CPUtime=582.05 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 197109 0 0 0 54595 3610 0 0 25 0 1 0 38473475 786198528 191281 1992294400 4194304 7136930 140734529816992 18446744073709551615 4643160 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 191943 191281 394 719 0 191222 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 767772 [startup+642.302 s] /proc/loadavg: 1.01 1.12 1.27 2/107 7351 /proc/meminfo: memFree=981528/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=839488 CPUtime=642.04 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 211249 0 0 0 60273 3931 0 0 25 0 1 0 38473475 859635712 205421 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 209872 205421 394 719 0 209151 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 839488 [startup+702.301 s] /proc/loadavg: 1.00 1.10 1.25 2/107 7353 /proc/meminfo: memFree=920644/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=900076 CPUtime=702 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 226659 0 0 0 65966 4234 0 0 25 0 1 0 38473475 921677824 220831 1992294400 4194304 7136930 140734529816992 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 225019 220831 394 719 0 224298 0 Current children cumulated CPU time (s) 702 Current children cumulated vsize (KiB) 900076 [startup+762.308 s] /proc/loadavg: 1.00 1.08 1.23 2/107 7353 /proc/meminfo: memFree=861744/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=956884 CPUtime=761.99 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 241145 0 0 0 71668 4531 0 0 25 0 1 0 38473475 979849216 235317 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 239221 235317 394 719 0 238500 0 Current children cumulated CPU time (s) 761.99 Current children cumulated vsize (KiB) 956884 [startup+822.3 s] /proc/loadavg: 1.00 1.06 1.21 2/107 7355 /proc/meminfo: memFree=800240/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=1017692 CPUtime=821.95 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 256628 0 0 0 77367 4828 0 0 25 0 1 0 38473475 1042116608 250800 1992294400 4194304 7136930 140734529816992 18446744073709551615 5000112 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 254423 250800 394 719 0 253702 0 Current children cumulated CPU time (s) 821.95 Current children cumulated vsize (KiB) 1017692 [startup+882.301 s] /proc/loadavg: 1.00 1.05 1.20 2/107 7357 /proc/meminfo: memFree=747168/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=1069284 CPUtime=881.93 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 269753 0 0 0 83072 5121 0 0 25 0 1 0 38473475 1094946816 263925 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 267321 263925 394 719 0 266600 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 1069284 [startup+942.302 s] /proc/loadavg: 1.00 1.04 1.18 2/107 7359 /proc/meminfo: memFree=693972/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=1121144 CPUtime=941.91 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 282979 0 0 0 88803 5388 0 0 25 0 1 0 38473475 1148051456 277151 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 280286 277151 394 719 0 279565 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 1121144 [startup+1002.3 s] /proc/loadavg: 1.00 1.03 1.17 2/107 7361 /proc/meminfo: memFree=643008/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=1170968 CPUtime=1001.89 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 295670 0 0 0 94537 5652 0 0 25 0 1 0 38473475 1199071232 289842 1992294400 4194304 7136930 140734529816992 18446744073709551615 5909078 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 292742 289842 394 719 0 292021 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 1170968 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.16 2/107 7361 /proc/meminfo: memFree=595020/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=1218924 CPUtime=1061.86 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 307807 0 0 0 100284 5902 0 0 25 0 1 0 38473475 1248178176 301979 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 304731 301979 394 719 0 304010 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 1218924 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.14 2/107 7363 /proc/meminfo: memFree=531036/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=1280608 CPUtime=1121.83 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 323572 0 0 0 105979 6204 0 0 25 0 1 0 38473475 1311342592 317744 1992294400 4194304 7136930 140734529816992 18446744073709551615 4648604 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 320152 317744 394 719 0 319431 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 1280608 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.13 2/107 7365 /proc/meminfo: memFree=450932/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=1358748 CPUtime=1181.82 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 343540 0 0 0 111616 6566 0 0 25 0 1 0 38473475 1391357952 337712 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 339687 337712 394 719 0 338966 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 1358748 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 7367 /proc/meminfo: memFree=381244/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=1423688 CPUtime=1241.79 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 369779 0 0 0 117217 6962 0 0 25 0 1 0 38473475 1457856512 354352 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 355922 354352 394 719 0 355201 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 1423688 Solver just ended. Dumping a history of the last processes samples [startup+1254.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 7367 /proc/meminfo: memFree=488628/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=1316116 CPUtime=1253.79 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 373287 0 0 0 118321 7058 0 0 25 0 1 0 38473475 1347702784 328036 1992294400 4194304 7136930 140734529816992 18446744073709551615 6165594 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 329029 328036 394 719 0 328308 0 Current children cumulated CPU time (s) 1253.79 Current children cumulated vsize (KiB) 1316116 [startup+1260.7 s] /proc/loadavg: 1.00 1.00 1.12 2/107 7367 /proc/meminfo: memFree=499540/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=1304056 CPUtime=1260.18 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 373287 0 0 0 118909 7109 0 0 25 0 1 0 38473475 1335353344 325021 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 326014 325021 394 719 0 325293 0 Current children cumulated CPU time (s) 1260.18 Current children cumulated vsize (KiB) 1304056 [startup+1263.91 s] /proc/loadavg: 1.00 1.00 1.12 2/107 7367 /proc/meminfo: memFree=525208/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=1276516 CPUtime=1263.39 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 373287 0 0 0 119209 7130 0 0 25 0 1 0 38473475 1307152384 318136 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 319129 318136 394 719 0 318408 0 Current children cumulated CPU time (s) 1263.39 Current children cumulated vsize (KiB) 1276516 [startup+1265.5 s] /proc/loadavg: 1.00 1.00 1.12 2/107 7367 /proc/meminfo: memFree=572328/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=1209872 CPUtime=1264.99 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 373287 0 0 0 119359 7140 0 0 25 0 1 0 38473475 1238908928 301476 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 302468 301476 394 719 0 301747 0 Current children cumulated CPU time (s) 1264.99 Current children cumulated vsize (KiB) 1209872 [startup+1265.9 s] /proc/loadavg: 1.00 1.00 1.12 2/107 7367 /proc/meminfo: memFree=572328/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=1138436 CPUtime=1265.38 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 373287 0 0 0 119396 7142 0 0 25 0 1 0 38473475 1165758464 283617 1992294400 4194304 7136930 140734529816992 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7329/statm: 284609 283617 394 719 0 283888 0 Current children cumulated CPU time (s) 1265.38 Current children cumulated vsize (KiB) 1138436 [startup+1266.11 s] /proc/loadavg: 1.00 1.00 1.12 2/107 7367 /proc/meminfo: memFree=738364/2059040 swapFree=4140352/4192956 [pid=7329] ppid=7327 vsize=695780 CPUtime=1265.59 /proc/7329/stat : 7329 (pbscip.linux.x8) R 7327 7329 6709 0 -1 4202496 373293 0 0 0 119411 7148 0 0 25 0 1 0 38473475 712478720 172959 1992294400 4194304 7136930 140734529816992 18446744073709551615 5956512 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7329/statm: 173945 172959 400 719 0 173224 0 Current children cumulated CPU time (s) 1265.59 Current children cumulated vsize (KiB) 695780 Child status: 0 Real time (s): 1266.2 CPU time (s): 1265.69 CPU user time (s): 1194.13 CPU system time (s): 71.5581 CPU usage (%): 99.9599 Max. virtual memory (cumulated for all children) (KiB): 1464240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1194.13 system time used= 71.5581 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 373299 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= 3 involuntary context switches= 3226 runsolver used 2.12868 second user time and 5.96409 second system time The end
Begin job on node019 at 2010-06-16 02:29:32 IDJOB=2663612 IDBENCH=47985 IDSOLVER=1167 FILE ID=node019/2663612-1276648171 PBS_JOBID= 11172405 Free space on /tmp= 62416 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.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-2663612-1276648171/watcher-2663612-1276648171 -o /tmp/evaluation-result-2663612-1276648171/solver-2663612-1276648171 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663612-1276648171.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 747af0da1666dabab7e7b60330c37a87 RANDOM SEED=636964017 node019.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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1805796 kB Buffers: 59092 kB Cached: 104252 kB SwapCached: 6060 kB Active: 91680 kB Inactive: 85076 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1805796 kB SwapTotal: 4192956 kB SwapFree: 4140352 kB Dirty: 3256 kB Writeback: 0 kB AnonPages: 11660 kB Mapped: 13056 kB Slab: 54624 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181272 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= 62412 MiB End job on node019 at 2010-06-16 02:50:38