| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1802.08 | 1802.04 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-33-100-0.wbo |
| MD5SUM | 0513f373de819ad63cf76545ce499638 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.029994 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 2913 |
| Total number of constraints | 3105 |
| Number of soft constraints | 2088 |
| Number of constraints which are clauses | 2259 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 846 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 25 |
| Top cost | 104380 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 104379 |
| Biggest number in a constraint | 6518 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 18803 |
| Number of bits of the biggest sum of numbers | 15 |
| 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-2693608-1277913010.wbo>
0.02/0.05 c original problem has 7089 variables (5001 bin, 0 int, 0 impl, 2088 cont) and 5194 constraints
0.02/0.05 c problem read
0.02/0.05 c presolving settings loaded
0.02/0.05 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.02/0.08 c presolving:
0.02/0.10 c (round 1) 7 del vars, 1 del conss, 0 chg bounds, 514 chg sides, 1028 chg coeffs, 0 upgd conss, 3764 impls, 0 clqs
0.09/0.10 c (round 2) 7 del vars, 15 del conss, 0 chg bounds, 514 chg sides, 1028 chg coeffs, 0 upgd conss, 3764 impls, 0 clqs
0.09/0.11 c (round 3) 7 del vars, 15 del conss, 2088 chg bounds, 514 chg sides, 1028 chg coeffs, 0 upgd conss, 3764 impls, 0 clqs
0.09/0.13 c (round 4) 7 del vars, 15 del conss, 2088 chg bounds, 514 chg sides, 1028 chg coeffs, 1003 upgd conss, 3764 impls, 0 clqs
0.09/0.15 c (round 5) 7 del vars, 15 del conss, 2088 chg bounds, 514 chg sides, 1028 chg coeffs, 1004 upgd conss, 3889 impls, 0 clqs
0.19/0.20 c (0.1s) probing: 102/4994 (2.0%) - 0 fixings, 0 aggregations, 2 implications, 0 bound changes
0.19/0.20 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (6 rounds):
0.19/0.20 c 7 deleted vars, 15 deleted constraints, 2088 tightened bounds, 0 added holes, 514 changed sides, 1028 changed coefficients
0.19/0.20 c 3904 implications, 0 cliques
0.19/0.20 c presolved problem has 7082 variables (4994 bin, 0 int, 0 impl, 2088 cont) and 5179 constraints
0.19/0.20 c 2088 constraints of type <indicator>
0.19/0.20 c 1 constraints of type <varbound>
0.19/0.20 c 280 constraints of type <knapsack>
0.19/0.20 c 2087 constraints of type <linear>
0.19/0.20 c 723 constraints of type <logicor>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.12
0.19/0.20 c - non default parameters ----------------------------------------------------------------------
0.19/0.20 c # SCIP version 1.2.1.2
0.19/0.20 c
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = 10000
0.19/0.20 c
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = 1799.95
0.19/0.20 c
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = 3420
0.19/0.20 c
0.19/0.20 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c lp/solvefreq = -1
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c separating/rapidlearning/freq = 0
0.19/0.20 c
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving
0.19/0.20 c
0.19/0.21 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.21 c 0.1s| 1 | 2 | 0 | - | 21M| 0 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
8.29/8.33 c 8.1s| 10000 | 10001 | 0 | 0.0 | 27M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
15.09/15.14 c 14.8s| 20000 | 20001 | 0 | 0.0 | 31M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
21.89/21.91 c 21.5s| 30000 | 30001 | 0 | 0.0 | 35M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
28.79/28.81 c 28.3s| 40000 | 40001 | 0 | 0.0 | 39M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
35.69/35.71 c 35.1s| 50000 | 50001 | 0 | 0.0 | 43M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
42.49/42.56 c 41.9s| 60000 | 60001 | 0 | 0.0 | 47M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
49.40/49.44 c 48.7s| 70000 | 70001 | 0 | 0.0 | 51M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
56.19/56.29 c 55.4s| 80000 | 80001 | 0 | 0.0 | 55M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
63.09/63.15 c 62.2s| 90000 | 90001 | 0 | 0.0 | 59M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
69.99/70.02 c 69.0s|100000 |100001 | 0 | 0.0 | 63M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
76.79/76.89 c 75.8s|110000 |110001 | 0 | 0.0 | 67M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
83.69/83.75 c 82.5s|120000 |120001 | 0 | 0.0 | 71M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
90.49/90.58 c 89.3s|130000 |130001 | 0 | 0.0 | 74M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
97.39/97.47 c 96.1s|140000 |140001 | 0 | 0.0 | 78M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
104.29/104.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.29/104.35 c 103s|150000 |150001 | 0 | 0.0 | 82M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
111.10/111.18 c 110s|160000 |160001 | 0 | 0.0 | 86M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
118.00/118.08 c 116s|170000 |170001 | 0 | 0.0 | 90M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
124.89/124.92 c 123s|180000 |180001 | 0 | 0.0 | 94M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
131.70/131.77 c 130s|190000 |190001 | 0 | 0.0 | 98M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
138.60/138.64 c 137s|200000 |200001 | 0 | 0.0 | 102M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
145.49/145.51 c 144s|210000 |210001 | 0 | 0.0 | 106M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
152.40/152.40 c 150s|220000 |220001 | 0 | 0.0 | 110M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
159.20/159.23 c 157s|230000 |230001 | 0 | 0.0 | 114M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
166.00/166.06 c 164s|240000 |240001 | 0 | 0.0 | 118M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
172.89/172.95 c 171s|250000 |250001 | 0 | 0.0 | 122M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
179.69/179.79 c 177s|260000 |260001 | 0 | 0.0 | 125M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
186.60/186.61 c 184s|270000 |270001 | 0 | 0.0 | 129M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
193.19/193.27 c 191s|280000 |280001 | 0 | 0.0 | 133M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
199.79/199.89 c 197s|290000 |290001 | 0 | 0.0 | 137M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
206.50/206.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
206.50/206.54 c 204s|300000 |300001 | 0 | 0.0 | 141M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
213.20/213.23 c 210s|310000 |310001 | 0 | 0.0 | 145M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
219.79/219.80 c 217s|320000 |320001 | 0 | 0.0 | 149M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
226.50/226.58 c 224s|330000 |330001 | 0 | 0.0 | 152M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
233.21/233.27 c 230s|340000 |340001 | 0 | 0.0 | 156M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
239.90/239.99 c 237s|350000 |350001 | 0 | 0.0 | 160M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
246.69/246.70 c 244s|360000 |360001 | 0 | 0.0 | 164M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
253.40/253.46 c 250s|370000 |370001 | 0 | 0.0 | 168M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
260.10/260.16 c 257s|380000 |380001 | 0 | 0.0 | 172M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
266.80/266.82 c 263s|390000 |390001 | 0 | 0.0 | 176M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
273.50/273.52 c 270s|400000 |400001 | 0 | 0.0 | 179M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
280.10/280.19 c 277s|410000 |410001 | 0 | 0.0 | 183M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
286.80/286.84 c 283s|420000 |420001 | 0 | 0.0 | 187M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
293.50/293.54 c 290s|430000 |430001 | 0 | 0.0 | 191M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
300.20/300.24 c 296s|440000 |440001 | 0 | 0.0 | 195M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
306.80/306.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.80/306.87 c 303s|450000 |450001 | 0 | 0.0 | 199M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
313.50/313.55 c 310s|460000 |460001 | 0 | 0.0 | 202M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
320.20/320.25 c 316s|470000 |470001 | 0 | 0.0 | 206M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
326.90/326.94 c 323s|480000 |480001 | 0 | 0.0 | 210M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
333.50/333.59 c 329s|490000 |490001 | 0 | 0.0 | 214M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
340.20/340.28 c 336s|500000 |500001 | 0 | 0.0 | 218M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
346.90/346.93 c 342s|510000 |510001 | 0 | 0.0 | 222M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
353.60/353.61 c 349s|520000 |520001 | 0 | 0.0 | 225M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
360.20/360.23 c 356s|530000 |530001 | 0 | 0.0 | 229M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
366.80/366.84 c 362s|540000 |540001 | 0 | 0.0 | 233M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
373.40/373.46 c 369s|550000 |550001 | 0 | 0.0 | 237M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
380.10/380.14 c 375s|560000 |560001 | 0 | 0.0 | 241M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
386.80/386.81 c 382s|570000 |570001 | 0 | 0.0 | 245M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
393.50/393.54 c 388s|580000 |580001 | 0 | 0.0 | 249M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
400.20/400.25 c 395s|590000 |590001 | 0 | 0.0 | 252M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
406.91/406.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.91/406.94 c 402s|600000 |600001 | 0 | 0.0 | 256M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
413.60/413.61 c 408s|610000 |610001 | 0 | 0.0 | 260M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
420.30/420.32 c 415s|620000 |620001 | 0 | 0.0 | 264M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
427.00/427.00 c 421s|630000 |630001 | 0 | 0.0 | 268M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
433.60/433.67 c 428s|640000 |640001 | 0 | 0.0 | 272M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
440.30/440.37 c 435s|650000 |650001 | 0 | 0.0 | 275M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
447.00/447.06 c 441s|660000 |660001 | 0 | 0.0 | 279M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
453.70/453.71 c 448s|670000 |670001 | 0 | 0.0 | 283M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
460.30/460.38 c 454s|680000 |680001 | 0 | 0.0 | 287M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
467.01/467.00 c 461s|690000 |690001 | 0 | 0.0 | 291M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
473.60/473.69 c 468s|700000 |700001 | 0 | 0.0 | 295M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
480.30/480.37 c 474s|710000 |710001 | 0 | 0.0 | 299M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
487.00/487.06 c 481s|720000 |720001 | 0 | 0.0 | 302M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
493.70/493.74 c 487s|730000 |730001 | 0 | 0.0 | 306M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
500.41/500.43 c 494s|740000 |740001 | 0 | 0.0 | 310M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
507.01/507.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
507.01/507.08 c 501s|750000 |750001 | 0 | 0.0 | 314M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
513.70/513.76 c 507s|760000 |760001 | 0 | 0.0 | 318M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
520.40/520.41 c 514s|770000 |770001 | 0 | 0.0 | 322M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
527.00/527.06 c 520s|780000 |780001 | 0 | 0.0 | 325M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
533.70/533.71 c 527s|790000 |790001 | 0 | 0.0 | 329M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
540.30/540.35 c 533s|800000 |800001 | 0 | 0.0 | 333M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
546.90/546.98 c 540s|810000 |810001 | 0 | 0.0 | 337M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
553.60/553.61 c 546s|820000 |820001 | 0 | 0.0 | 341M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
560.20/560.25 c 553s|830000 |830001 | 0 | 0.0 | 345M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
566.91/566.95 c 560s|840000 |840001 | 0 | 0.0 | 349M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
573.61/573.65 c 566s|850000 |850001 | 0 | 0.0 | 352M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
580.20/580.29 c 573s|860000 |860001 | 0 | 0.0 | 356M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
586.90/586.96 c 579s|870000 |870001 | 0 | 0.0 | 360M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
593.80/593.84 c 586s|880000 |880001 | 0 | 0.0 | 364M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
600.61/600.60 c 593s|890000 |890001 | 0 | 0.0 | 368M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
607.30/607.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
607.30/607.39 c 600s|900000 |900001 | 0 | 0.0 | 372M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
614.10/614.14 c 606s|910000 |910001 | 0 | 0.0 | 376M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
620.91/620.91 c 613s|920000 |920001 | 0 | 0.0 | 379M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
627.71/627.71 c 620s|930000 |930001 | 0 | 0.0 | 383M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
634.40/634.49 c 626s|940000 |940001 | 0 | 0.0 | 387M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
641.20/641.25 c 633s|950000 |950001 | 0 | 0.0 | 391M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
648.11/648.11 c 640s|960000 |960001 | 0 | 0.0 | 395M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
654.90/654.93 c 646s|970000 |970001 | 0 | 0.0 | 399M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
661.71/661.74 c 653s|980000 |980001 | 0 | 0.0 | 402M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
668.41/668.49 c 660s|990000 |990001 | 0 | 0.0 | 406M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
675.20/675.27 c 667s| 1000k| 1000k| 0 | 0.0 | 410M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
681.91/682.00 c 673s| 1010k| 1010k| 0 | 0.0 | 414M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
688.70/688.77 c 680s| 1020k| 1020k| 0 | 0.0 | 418M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
695.50/695.51 c 687s| 1030k| 1030k| 0 | 0.0 | 422M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
702.20/702.23 c 693s| 1040k| 1040k| 0 | 0.0 | 426M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
708.90/708.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
708.90/708.91 c 700s| 1050k| 1050k| 0 | 0.0 | 429M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
715.50/715.55 c 706s| 1060k| 1060k| 0 | 0.0 | 433M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
722.30/722.30 c 713s| 1070k| 1070k| 0 | 0.0 | 437M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
728.90/728.97 c 720s| 1080k| 1080k| 0 | 0.0 | 441M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
735.60/735.68 c 726s| 1090k| 1090k| 0 | 0.0 | 445M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
742.31/742.35 c 733s| 1100k| 1100k| 0 | 0.0 | 449M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
749.01/749.05 c 739s| 1110k| 1110k| 0 | 0.0 | 452M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
755.71/755.73 c 746s| 1120k| 1120k| 0 | 0.0 | 456M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
762.41/762.43 c 753s| 1130k| 1130k| 0 | 0.0 | 460M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
769.10/769.12 c 759s| 1140k| 1140k| 0 | 0.0 | 464M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
775.70/775.78 c 766s| 1150k| 1150k| 0 | 0.0 | 468M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
782.40/782.42 c 772s| 1160k| 1160k| 0 | 0.0 | 471M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
789.01/789.05 c 779s| 1170k| 1170k| 0 | 0.0 | 475M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
795.60/795.64 c 785s| 1180k| 1180k| 0 | 0.0 | 479M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
802.11/802.19 c 792s| 1190k| 1190k| 0 | 0.0 | 483M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
808.60/808.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
808.60/808.63 c 798s| 1200k| 1200k| 0 | 0.0 | 487M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
815.30/815.33 c 805s| 1210k| 1210k| 0 | 0.0 | 491M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
822.00/822.00 c 811s| 1220k| 1220k| 0 | 0.0 | 494M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
828.61/828.63 c 818s| 1230k| 1230k| 0 | 0.0 | 498M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
835.21/835.23 c 824s| 1240k| 1240k| 0 | 0.0 | 502M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
841.70/841.77 c 831s| 1250k| 1250k| 0 | 0.0 | 506M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
848.20/848.28 c 837s| 1260k| 1260k| 0 | 0.0 | 510M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
854.90/854.97 c 844s| 1270k| 1270k| 0 | 0.0 | 513M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
861.61/861.69 c 851s| 1280k| 1280k| 0 | 0.0 | 517M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
868.31/868.39 c 857s| 1290k| 1290k| 0 | 0.0 | 521M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
875.00/875.03 c 864s| 1300k| 1300k| 0 | 0.0 | 525M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
881.61/881.63 c 870s| 1310k| 1310k| 0 | 0.0 | 529M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
888.10/888.16 c 877s| 1320k| 1320k| 0 | 0.0 | 533M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
894.71/894.75 c 883s| 1330k| 1330k| 0 | 0.0 | 536M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
901.31/901.39 c 890s| 1340k| 1340k| 0 | 0.0 | 540M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
907.91/907.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
907.91/907.94 c 896s| 1350k| 1350k| 0 | 0.0 | 544M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
914.41/914.49 c 903s| 1360k| 1360k| 0 | 0.0 | 548M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
921.01/921.05 c 909s| 1370k| 1370k| 0 | 0.0 | 552M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
927.61/927.69 c 916s| 1380k| 1380k| 0 | 0.0 | 555M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
934.21/934.23 c 922s| 1390k| 1390k| 0 | 0.0 | 559M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
940.71/940.77 c 929s| 1400k| 1400k| 0 | 0.0 | 563M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
947.31/947.39 c 935s| 1410k| 1410k| 0 | 0.0 | 567M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
954.01/954.01 c 942s| 1420k| 1420k| 0 | 0.0 | 571M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
960.51/960.58 c 948s| 1430k| 1430k| 0 | 0.0 | 575M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
967.01/967.08 c 955s| 1440k| 1440k| 0 | 0.0 | 578M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
973.62/973.64 c 961s| 1450k| 1450k| 0 | 0.0 | 582M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
980.21/980.29 c 968s| 1460k| 1460k| 0 | 0.0 | 586M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
986.81/986.86 c 974s| 1470k| 1470k| 0 | 0.0 | 590M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
993.32/993.39 c 981s| 1480k| 1480k| 0 | 0.0 | 594M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
999.81/999.81 c 987s| 1490k| 1490k| 0 | 0.0 | 598M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1006.42/1006.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1006.42/1006.42 c 994s| 1500k| 1500k| 0 | 0.0 | 601M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1012.91/1012.99 c 1000s| 1510k| 1510k| 0 | 0.0 | 605M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1019.51/1019.55 c 1007s| 1520k| 1520k| 0 | 0.0 | 609M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1025.91/1025.97 c 1013s| 1530k| 1530k| 0 | 0.0 | 613M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1032.51/1032.58 c 1019s| 1540k| 1540k| 0 | 0.0 | 617M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1039.11/1039.17 c 1026s| 1550k| 1550k| 0 | 0.0 | 621M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1045.72/1045.73 c 1032s| 1560k| 1560k| 0 | 0.0 | 624M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1052.22/1052.23 c 1039s| 1570k| 1570k| 0 | 0.0 | 628M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1058.61/1058.62 c 1045s| 1580k| 1580k| 0 | 0.0 | 632M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1065.22/1065.27 c 1052s| 1590k| 1590k| 0 | 0.0 | 636M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1071.81/1071.82 c 1058s| 1600k| 1600k| 0 | 0.0 | 640M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1078.31/1078.31 c 1065s| 1610k| 1610k| 0 | 0.0 | 644M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1084.92/1084.93 c 1071s| 1620k| 1620k| 0 | 0.0 | 647M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1091.51/1091.53 c 1078s| 1630k| 1630k| 0 | 0.0 | 651M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1098.11/1098.10 c 1084s| 1640k| 1640k| 0 | 0.0 | 655M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1104.62/1104.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1104.62/1104.60 c 1090s| 1650k| 1650k| 0 | 0.0 | 659M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1111.11/1111.11 c 1097s| 1660k| 1660k| 0 | 0.0 | 663M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1117.72/1117.72 c 1103s| 1670k| 1670k| 0 | 0.0 | 667M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1124.22/1124.21 c 1110s| 1680k| 1680k| 0 | 0.0 | 670M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1130.71/1130.73 c 1116s| 1690k| 1690k| 0 | 0.0 | 674M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1137.22/1137.30 c 1123s| 1700k| 1700k| 0 | 0.0 | 678M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1143.81/1143.80 c 1129s| 1710k| 1710k| 0 | 0.0 | 682M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1150.31/1150.35 c 1136s| 1720k| 1720k| 0 | 0.0 | 686M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1156.82/1156.84 c 1142s| 1730k| 1730k| 0 | 0.0 | 690M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1163.31/1163.33 c 1148s| 1740k| 1740k| 0 | 0.0 | 693M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1169.81/1169.83 c 1155s| 1750k| 1750k| 0 | 0.0 | 697M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1176.32/1176.31 c 1161s| 1760k| 1760k| 0 | 0.0 | 701M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1182.71/1182.79 c 1168s| 1770k| 1770k| 0 | 0.0 | 705M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1189.22/1189.29 c 1174s| 1780k| 1780k| 0 | 0.0 | 709M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1195.72/1195.79 c 1181s| 1790k| 1790k| 0 | 0.0 | 713M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1202.22/1202.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.22/1202.30 c 1187s| 1800k| 1800k| 0 | 0.0 | 716M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1208.82/1208.84 c 1193s| 1810k| 1810k| 0 | 0.0 | 720M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1215.42/1215.50 c 1200s| 1820k| 1820k| 0 | 0.0 | 724M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1222.02/1222.06 c 1206s| 1830k| 1830k| 0 | 0.0 | 728M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1228.62/1228.66 c 1213s| 1840k| 1840k| 0 | 0.0 | 732M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1235.22/1235.23 c 1220s| 1850k| 1850k| 0 | 0.0 | 736M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1241.82/1241.83 c 1226s| 1860k| 1860k| 0 | 0.0 | 739M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1248.42/1248.40 c 1233s| 1870k| 1870k| 0 | 0.0 | 743M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1254.92/1254.99 c 1239s| 1880k| 1880k| 0 | 0.0 | 747M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1261.52/1261.53 c 1246s| 1890k| 1890k| 0 | 0.0 | 751M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1268.02/1268.09 c 1252s| 1900k| 1900k| 0 | 0.0 | 755M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1274.62/1274.62 c 1258s| 1910k| 1910k| 0 | 0.0 | 759M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1281.12/1281.14 c 1265s| 1920k| 1920k| 0 | 0.0 | 762M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1287.52/1287.59 c 1271s| 1930k| 1930k| 0 | 0.0 | 766M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1294.12/1294.10 c 1278s| 1940k| 1940k| 0 | 0.0 | 770M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1300.22/1300.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1300.22/1300.28 c 1284s| 1950k| 1950k| 0 | 0.0 | 774M| 637 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1306.83/1306.81 c 1290s| 1960k| 1960k| 0 | 0.0 | 778M| 673 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1313.62/1313.66 c 1297s| 1970k| 1970k| 0 | 0.0 | 782M| 729 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1320.32/1320.37 c 1304s| 1980k| 1980k| 0 | 0.0 | 786M| 749 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1327.02/1327.03 c 1310s| 1990k| 1990k| 0 | 0.0 | 790M| 833 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1333.81/1333.80 c 1317s| 2000k| 2000k| 0 | 0.0 | 793M| 833 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1340.52/1340.56 c 1324s| 2010k| 2010k| 0 | 0.0 | 797M| 833 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1347.12/1347.17 c 1330s| 2020k| 2020k| 0 | 0.0 | 801M| 859 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1353.82/1353.87 c 1337s| 2030k| 2030k| 0 | 0.0 | 805M| 869 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1360.22/1360.28 c 1343s| 2040k| 2040k| 0 | 0.0 | 809M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1366.82/1366.86 c 1349s| 2050k| 2050k| 0 | 0.0 | 813M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1373.42/1373.41 c 1356s| 2060k| 2060k| 0 | 0.0 | 817M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1380.02/1380.02 c 1362s| 2070k| 2070k| 0 | 0.0 | 821M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1386.52/1386.58 c 1369s| 2080k| 2080k| 0 | 0.0 | 825M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1393.12/1393.13 c 1375s| 2090k| 2090k| 0 | 0.0 | 829M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1399.72/1399.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1399.72/1399.71 c 1382s| 2100k| 2100k| 0 | 0.0 | 832M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1406.22/1406.29 c 1388s| 2110k| 2110k| 0 | 0.0 | 836M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1412.82/1412.86 c 1395s| 2120k| 2120k| 0 | 0.0 | 840M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1419.42/1419.46 c 1401s| 2130k| 2130k| 0 | 0.0 | 844M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1426.02/1426.02 c 1408s| 2140k| 2140k| 0 | 0.0 | 848M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1432.62/1432.62 c 1414s| 2150k| 2150k| 0 | 0.0 | 852M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1439.22/1439.21 c 1421s| 2160k| 2160k| 0 | 0.0 | 856M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1445.82/1445.82 c 1427s| 2170k| 2170k| 0 | 0.0 | 860M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1452.32/1452.38 c 1434s| 2180k| 2180k| 0 | 0.0 | 864M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1458.93/1458.97 c 1440s| 2190k| 2190k| 0 | 0.0 | 868M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1465.52/1465.57 c 1447s| 2200k| 2200k| 0 | 0.0 | 872M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1472.13/1472.12 c 1453s| 2210k| 2210k| 0 | 0.0 | 875M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1478.62/1478.68 c 1460s| 2220k| 2220k| 0 | 0.0 | 879M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1485.22/1485.24 c 1466s| 2230k| 2230k| 0 | 0.0 | 883M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1491.72/1491.77 c 1473s| 2240k| 2240k| 0 | 0.0 | 887M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1498.23/1498.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1498.23/1498.28 c 1479s| 2250k| 2250k| 0 | 0.0 | 891M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1504.83/1504.81 c 1486s| 2260k| 2260k| 0 | 0.0 | 895M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1511.33/1511.32 c 1492s| 2270k| 2270k| 0 | 0.0 | 899M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1517.83/1517.81 c 1498s| 2280k| 2280k| 0 | 0.0 | 903M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1524.22/1524.28 c 1505s| 2290k| 2290k| 0 | 0.0 | 907M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1530.72/1530.76 c 1511s| 2300k| 2300k| 0 | 0.0 | 911M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1537.23/1537.22 c 1518s| 2310k| 2310k| 0 | 0.0 | 914M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1543.72/1543.74 c 1524s| 2320k| 2320k| 0 | 0.0 | 918M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1550.22/1550.25 c 1531s| 2330k| 2330k| 0 | 0.0 | 922M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1556.73/1556.71 c 1537s| 2340k| 2340k| 0 | 0.0 | 926M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1563.13/1563.14 c 1543s| 2350k| 2350k| 0 | 0.0 | 930M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1569.53/1569.57 c 1550s| 2360k| 2360k| 0 | 0.0 | 934M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1575.92/1575.91 c 1556s| 2370k| 2370k| 0 | 0.0 | 938M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1582.32/1582.35 c 1562s| 2380k| 2380k| 0 | 0.0 | 942M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1589.02/1589.07 c 1569s| 2390k| 2390k| 0 | 0.0 | 946M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1595.73/1595.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1595.73/1595.74 c 1575s| 2400k| 2400k| 0 | 0.0 | 950M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1602.33/1602.38 c 1582s| 2410k| 2410k| 0 | 0.0 | 954M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1608.92/1608.99 c 1589s| 2420k| 2420k| 0 | 0.0 | 958M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1615.53/1615.57 c 1595s| 2430k| 2430k| 0 | 0.0 | 961M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1622.02/1622.10 c 1601s| 2440k| 2440k| 0 | 0.0 | 965M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1628.63/1628.63 c 1608s| 2450k| 2450k| 0 | 0.0 | 969M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1635.12/1635.16 c 1614s| 2460k| 2460k| 0 | 0.0 | 973M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1641.73/1641.72 c 1621s| 2470k| 2470k| 0 | 0.0 | 977M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1648.22/1648.23 c 1627s| 2480k| 2480k| 0 | 0.0 | 981M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1654.72/1654.78 c 1634s| 2490k| 2490k| 0 | 0.0 | 985M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1661.33/1661.32 c 1640s| 2500k| 2500k| 0 | 0.0 | 989M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1667.83/1667.84 c 1647s| 2510k| 2510k| 0 | 0.0 | 993M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1674.52/1674.55 c 1653s| 2520k| 2520k| 0 | 0.0 | 997M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1681.23/1681.22 c 1660s| 2530k| 2530k| 0 | 0.0 |1001M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1687.92/1687.90 c 1666s| 2540k| 2540k| 0 | 0.0 |1005M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1694.53/1694.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1694.53/1694.57 c 1673s| 2550k| 2550k| 0 | 0.0 |1009M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1701.12/1701.19 c 1679s| 2560k| 2560k| 0 | 0.0 |1012M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1707.82/1707.83 c 1686s| 2570k| 2570k| 0 | 0.0 |1016M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1714.42/1714.47 c 1692s| 2580k| 2580k| 0 | 0.0 |1020M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1721.12/1721.14 c 1698s| 2590k| 2590k| 0 | 0.0 |1024M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1727.73/1727.74 c 1705s| 2600k| 2600k| 0 | 0.0 |1028M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1734.32/1734.34 c 1711s| 2610k| 2610k| 0 | 0.0 |1032M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1740.92/1740.95 c 1717s| 2620k| 2620k| 0 | 0.0 |1036M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1747.52/1747.59 c 1724s| 2630k| 2630k| 0 | 0.0 |1040M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1754.12/1754.19 c 1730s| 2640k| 2640k| 0 | 0.0 |1044M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1760.82/1760.81 c 1736s| 2650k| 2650k| 0 | 0.0 |1048M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1767.42/1767.43 c 1743s| 2660k| 2660k| 0 | 0.0 |1052M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1774.02/1774.04 c 1749s| 2670k| 2670k| 0 | 0.0 |1056M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1780.63/1780.69 c 1756s| 2680k| 2680k| 0 | 0.0 |1060M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1787.33/1787.33 c 1762s| 2690k| 2690k| 0 | 0.0 |1064M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1793.93/1793.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1793.93/1793.94 c 1768s| 2700k| 2700k| 0 | 0.0 |1068M|1023 | - |7082 |5179 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1774.03
1800.03/1800.00 c Solving Nodes : 2709137
1800.03/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 s UNKNOWN
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time : 1774.03
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2693608-1277913010.wbo
1800.03/1800.00 c Variables : 7089 (5001 binary, 0 integer, 0 implicit integer, 2088 continuous)
1800.03/1800.00 c Constraints : 5194 initial, 5194 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-2693608-1277913010.wbo
1800.03/1800.00 c Variables : 7082 (4994 binary, 0 integer, 0 implicit integer, 2088 continuous)
1800.03/1800.00 c Constraints : 5179 initial, 5179 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 7 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.05 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.00 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.03 0 0 0 2088 0 15 514 1028
1800.03/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 2088 0 4562661 0 2709137 0 2205500 0 0 0
1800.03/1800.00 c varbound : 1 0 50630 0 28778 0 0 0 0 0
1800.03/1800.00 c knapsack : 280 0 4562661 0 2709137 0 39316 0 0 0
1800.03/1800.00 c linear : 2087 0 4562661 0 2709137 0 674847 0 0 0
1800.03/1800.00 c logicor : 723 0 899991 0 2709137 0 704127 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 2709137 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c indicator : 370.33 0.00 91.17 0.00 279.16
1800.03/1800.00 c varbound : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c knapsack : 21.00 0.00 19.46 0.00 1.54
1800.03/1800.00 c linear : 73.86 0.00 71.89 0.00 1.97
1800.03/1800.00 c logicor : 100.41 0.00 1.89 0.00 98.52
1800.03/1800.00 c countsols : 0.62 0.00 0.00 0.00 0.62
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 1.11 3530 0 1046
1800.03/1800.00 c rootredcost : 1.17 0 0 0
1800.03/1800.00 c pseudoobj : 205.64 4562458 0 0
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.00 c applied globally : - - - 0 0.0 - - -
1800.03/1800.00 c applied locally : - - - 0 0.0 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.00 c redcost : 0.00 0 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.00 c cmir : 0.00 0 0 0 0 0
1800.03/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.00 c clique : 0.00 0 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 943.53 2709137 0 0 0 0 5418274
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c oneopt : 0.67 0 0
1800.03/1800.00 c trivial : 0.00 2 0
1800.03/1800.00 c simplerounding : 0.00 0 0
1800.03/1800.00 c zirounding : 0.00 0 0
1800.03/1800.00 c rounding : 0.00 0 0
1800.03/1800.00 c shifting : 0.00 0 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c coefdiving : 0.00 0 0
1800.03/1800.00 c pscostdiving : 0.00 0 0
1800.03/1800.00 c fracdiving : 0.00 0 0
1800.03/1800.00 c veclendiving : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 0.00 0 0
1800.03/1800.00 c linesearchdiving : 0.00 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.00 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c crossover : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c nlp : 0.71 0 0
1800.03/1800.00 c trysol : 0.44 1 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.00 c (at root node) : - 0 0 0.00 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 2709137
1800.03/1800.00 c nodes (total) : 2709137
1800.03/1800.00 c nodes left : 2709138
1800.03/1800.00 c max depth : 1023
1800.03/1800.00 c max depth (total): 1023
1800.03/1800.00 c backtracks : 7885 (0.3%)
1800.03/1800.00 c delayed cutoffs : 0
1800.03/1800.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.03/1800.00 c avg switch length: 2.04
1800.03/1800.00 c switching time : 15.14
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 0 (0 improvements)
1800.03/1800.00 c Primal Bound : -
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Root Iterations : 0
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693608-1277913010/watcher-2693608-1277913010 -o /tmp/evaluation-result-2693608-1277913010/solver-2693608-1277913010 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693608-1277913010.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.98 2.02 2.07 3/178 15203 /proc/meminfo: memFree=31180512/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=8280 CPUtime=0 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 1547 0 0 0 0 0 0 0 25 0 1 0 132595597 8478720 1469 4089446400 4194304 7136930 140736018815504 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/15203/statm: 2070 1469 275 719 0 1349 0 [startup+0.0256729 s] /proc/loadavg: 1.98 2.02 2.07 3/178 15203 /proc/meminfo: memFree=31180512/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=14220 CPUtime=0.02 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 3038 0 0 0 2 0 0 0 25 0 1 0 132595597 14561280 2960 4089446400 4194304 7136930 140736018815504 18446744073709551615 4240587 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/15203/statm: 3555 2960 275 719 0 2834 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14220 [startup+0.100692 s] /proc/loadavg: 1.98 2.02 2.07 3/178 15203 /proc/meminfo: memFree=31180512/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=36420 CPUtime=0.09 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 8951 0 0 0 9 0 0 0 25 0 1 0 132595597 37294080 8262 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 9105 8262 347 719 0 8384 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 36420 [startup+0.300659 s] /proc/loadavg: 1.98 2.02 2.07 3/178 15203 /proc/meminfo: memFree=31180512/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=41664 CPUtime=0.29 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 12361 0 0 0 28 1 0 0 25 0 1 0 132595597 42663936 9608 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 10416 9608 406 719 0 9695 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 41664 [startup+0.700553 s] /proc/loadavg: 1.98 2.02 2.07 3/178 15203 /proc/meminfo: memFree=31180512/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=41832 CPUtime=0.69 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 12394 0 0 0 67 2 0 0 25 0 1 0 132595597 42835968 9639 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 10458 9639 404 719 0 9737 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41832 [startup+1.50041 s] /proc/loadavg: 1.98 2.02 2.07 3/179 15204 /proc/meminfo: memFree=31142064/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=42636 CPUtime=1.49 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 12614 0 0 0 146 3 0 0 25 0 1 0 132595597 43659264 9859 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 10659 9859 404 719 0 9938 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42636 [startup+3.10116 s] /proc/loadavg: 1.98 2.02 2.07 3/179 15204 /proc/meminfo: memFree=31141696/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=43156 CPUtime=3.09 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 12731 0 0 0 302 7 0 0 25 0 1 0 132595597 44191744 9976 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 10789 9976 404 719 0 10068 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 43156 [startup+6.3006 s] /proc/loadavg: 1.98 2.02 2.07 3/179 15204 /proc/meminfo: memFree=31138224/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=45340 CPUtime=6.29 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 13318 0 0 0 618 11 0 0 25 0 1 0 132595597 46428160 10563 4089446400 4194304 7136930 140736018815504 18446744073709551615 4642165 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 11335 10563 404 719 0 10614 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 45340 [startup+12.7005 s] /proc/loadavg: 1.99 2.02 2.07 3/179 15204 /proc/meminfo: memFree=31135008/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=50052 CPUtime=12.69 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 14507 0 0 0 1250 19 0 0 25 0 1 0 132595597 51253248 11752 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 12513 11752 404 719 0 11792 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50052 [startup+25.5002 s] /proc/loadavg: 1.99 2.02 2.07 3/179 15205 /proc/meminfo: memFree=31126672/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=57740 CPUtime=25.49 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 16507 0 0 0 2511 38 0 0 25 0 1 0 132595597 59125760 13752 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 14435 13752 404 719 0 13714 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 57740 [startup+51.1007 s] /proc/loadavg: 1.99 2.02 2.07 3/179 15205 /proc/meminfo: memFree=31107348/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=75580 CPUtime=51.09 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 20616 0 0 0 5037 72 0 0 25 0 1 0 132595597 77393920 17861 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 18895 17861 404 719 0 18174 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 75580 [startup+102.307 s] /proc/loadavg: 1.99 2.01 2.06 3/179 15207 /proc/meminfo: memFree=31060056/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=104120 CPUtime=102.3 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 28024 0 0 0 10092 138 0 0 25 0 1 0 132595597 106618880 25269 4089446400 4194304 7136930 140736018815504 18446744073709551615 4643160 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 26030 25269 404 719 0 25309 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 104120 [startup+162.3 s] /proc/loadavg: 1.99 2.01 2.06 3/179 15208 /proc/meminfo: memFree=30989328/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=142276 CPUtime=162.29 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 36881 0 0 0 16017 212 0 0 25 0 1 0 132595597 145690624 34126 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 35569 34126 404 719 0 34848 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 142276 [startup+222.301 s] /proc/loadavg: 1.99 2.00 2.05 3/179 15210 /proc/meminfo: memFree=30924912/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=177316 CPUtime=222.29 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 46012 0 0 0 21944 285 0 0 25 0 1 0 132595597 181571584 43257 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 44329 43257 404 719 0 43608 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 177316 [startup+282.3 s] /proc/loadavg: 1.99 2.00 2.04 3/179 15211 /proc/meminfo: memFree=30861128/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=211068 CPUtime=282.3 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 54798 0 0 0 27871 359 0 0 25 0 1 0 132595597 216133632 52043 4089446400 4194304 7136930 140736018815504 18446744073709551615 4436363 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 52767 52043 404 719 0 52046 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 211068 [startup+342.301 s] /proc/loadavg: 1.99 2.00 2.04 3/179 15213 /proc/meminfo: memFree=30796956/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=252756 CPUtime=342.3 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 63524 0 0 0 33794 436 0 0 25 0 1 0 132595597 258822144 60769 4089446400 4194304 7136930 140736018815504 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 63189 60769 404 719 0 62468 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 252756 [startup+402.301 s] /proc/loadavg: 1.99 2.00 2.03 3/179 15215 /proc/meminfo: memFree=30722256/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=288276 CPUtime=402.3 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 72756 0 0 0 39714 516 0 0 25 0 1 0 132595597 295194624 70001 4089446400 4194304 7136930 140736018815504 18446744073709551615 4407837 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 72069 70001 404 719 0 71348 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 288276 [startup+462.301 s] /proc/loadavg: 1.99 2.00 2.03 3/179 15216 /proc/meminfo: memFree=30653000/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=321000 CPUtime=462.3 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 81286 0 0 0 45639 591 0 0 25 0 1 0 132595597 328704000 78531 4089446400 4194304 7136930 140736018815504 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 80250 78531 404 719 0 79529 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 321000 [startup+522.301 s] /proc/loadavg: 1.99 2.00 2.02 3/179 15217 /proc/meminfo: memFree=30578424/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=355968 CPUtime=522.31 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 90379 0 0 0 51564 667 0 0 25 0 1 0 132595597 364511232 87624 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 88992 87624 404 719 0 88271 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 355968 [startup+582.301 s] /proc/loadavg: 1.99 2.00 2.02 3/179 15219 /proc/meminfo: memFree=30504968/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=389464 CPUtime=582.3 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 99105 0 0 0 57483 747 0 0 25 0 1 0 132595597 398811136 96350 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 97366 96350 404 719 0 96645 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 389464 [startup+642.301 s] /proc/loadavg: 1.99 2.00 2.01 3/179 15221 /proc/meminfo: memFree=30434968/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=422504 CPUtime=642.31 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 107712 0 0 0 63405 826 0 0 25 0 1 0 132595597 432644096 104957 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 105626 104957 404 719 0 104905 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 422504 [startup+702.301 s] ################ # More data... # ################ /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 161176 0 0 0 98953 1279 0 0 25 0 1 0 132595597 659746816 158421 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 161071 158421 404 719 0 160350 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 644284 [startup+1062.3 s] /proc/loadavg: 1.99 2.00 2.00 3/179 15241 /proc/meminfo: memFree=29919780/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=680036 CPUtime=1062.31 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 170473 0 0 0 104878 1353 0 0 25 0 1 0 132595597 696356864 167718 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 170009 167718 404 719 0 169288 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 680036 [startup+1122.3 s] /proc/loadavg: 1.99 2.00 2.00 3/179 15242 /proc/meminfo: memFree=29843212/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=715848 CPUtime=1122.31 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 179783 0 0 0 110801 1430 0 0 25 0 1 0 132595597 733028352 177028 4089446400 4194304 7136930 140736018815504 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 178962 177028 404 719 0 178241 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 715848 [startup+1182.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 15244 /proc/meminfo: memFree=29770984/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=749736 CPUtime=1182.31 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 188615 0 0 0 116729 1502 0 0 25 0 1 0 132595597 767729664 185860 4089446400 4194304 7136930 140736018815504 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 187434 185860 404 719 0 186713 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 749736 [startup+1242.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 15246 /proc/meminfo: memFree=29694048/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=785084 CPUtime=1242.32 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 197811 0 0 0 122655 1577 0 0 25 0 1 0 132595597 803926016 195056 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 196271 195056 404 719 0 195550 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 785084 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15248 /proc/meminfo: memFree=29619712/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=820188 CPUtime=1302.33 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 206921 0 0 0 128580 1653 0 0 25 0 1 0 132595597 839872512 204166 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 205047 204166 404 719 0 204326 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 820188 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15249 /proc/meminfo: memFree=29542532/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=887588 CPUtime=1362.32 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 215941 0 0 0 134502 1730 0 0 25 0 1 0 132595597 908890112 213186 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 221897 213186 404 719 0 221176 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 887588 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15251 /proc/meminfo: memFree=29469560/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=921472 CPUtime=1422.33 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 224768 0 0 0 140431 1802 0 0 25 0 1 0 132595597 943587328 222013 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 230368 222013 404 719 0 229647 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 921472 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15252 /proc/meminfo: memFree=29399688/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=957664 CPUtime=1482.32 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 234172 0 0 0 146351 1881 0 0 25 0 1 0 132595597 980647936 231417 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 239416 231417 404 719 0 238695 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 957664 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15254 /proc/meminfo: memFree=29325224/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=992832 CPUtime=1542.33 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 243330 0 0 0 152276 1957 0 0 25 0 1 0 132595597 1016659968 240575 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 248208 240575 404 719 0 247487 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 992832 [startup+1602.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 15256 /proc/meminfo: memFree=29254492/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=1027352 CPUtime=1602.33 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 252320 0 0 0 158198 2035 0 0 25 0 1 0 132595597 1052008448 249565 4089446400 4194304 7136930 140736018815504 18446744073709551615 4834614 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 256838 249565 404 719 0 256117 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1027352 [startup+1662.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 15257 /proc/meminfo: memFree=29177184/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=1062776 CPUtime=1662.33 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 261533 0 0 0 164117 2116 0 0 25 0 1 0 132595597 1088282624 258778 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/15203/statm: 265694 258778 404 719 0 264973 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1062776 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15286 /proc/meminfo: memFree=29998100/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=1098780 CPUtime=1722.32 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 270892 0 0 0 169940 2292 0 0 25 0 1 0 132595597 1125150720 268137 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15203/statm: 274695 268137 404 719 0 273974 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 1098780 [startup+1782.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 15288 /proc/meminfo: memFree=29952196/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=1132812 CPUtime=1782.32 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 279761 0 0 0 175709 2523 0 0 25 0 1 0 132595597 1159999488 277006 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15203/statm: 283203 277006 404 719 0 282482 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 1132812 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.05 2.01 2.00 3/179 15289 /proc/meminfo: memFree=29940280/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=1144308 CPUtime=1800.03 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 282739 0 0 0 177408 2595 0 0 25 0 1 0 132595597 1171771392 279984 4089446400 4194304 7136930 140736018815504 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/15203/statm: 286077 279984 404 719 0 285356 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1144308 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -15203 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.05 2.01 2.00 3/180 15290 /proc/meminfo: memFree=29940644/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=1134968 CPUtime=1801.42 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 282746 0 0 0 177547 2595 0 0 19 0 1 0 132595597 1162207232 277656 4089446400 4194304 7136930 140736018815504 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15203/statm: 283742 277656 411 719 0 283021 0 Current children cumulated CPU time (s) 1801.42 Current children cumulated vsize (KiB) 1134968 [startup+1801.81 s] /proc/loadavg: 2.05 2.01 2.00 3/180 15290 /proc/meminfo: memFree=29984164/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=1083304 CPUtime=1801.84 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 282746 0 0 0 177588 2596 0 0 20 0 1 0 132595597 1109303296 264740 4089446400 4194304 7136930 140736018815504 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15203/statm: 270826 264740 411 719 0 270105 0 Current children cumulated CPU time (s) 1801.84 Current children cumulated vsize (KiB) 1083304 [startup+1802 s] /proc/loadavg: 2.05 2.01 2.00 3/180 15290 /proc/meminfo: memFree=29984164/32951124 swapFree=67111528/67111528 [pid=15203] ppid=15201 vsize=1053904 CPUtime=1802.03 /proc/15203/stat : 15203 (pbscip.linux.x8) R 15201 15203 13961 0 -1 4202496 282746 0 0 0 177607 2596 0 0 21 0 1 0 132595597 1079197696 257390 4089446400 4194304 7136930 140736018815504 18446744073709551615 6165624 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/15203/statm: 263476 257390 411 719 0 262755 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 1053904 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.04 CPU time (s): 1802.08 CPU user time (s): 1776.08 CPU system time (s): 25.998 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1144308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1776.08 system time used= 25.998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 282746 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= 1438 runsolver used 2.77158 second user time and 5.46217 second system time The end
Begin job on node144 at 2010-06-30 17:50:10 IDJOB=2693608 IDBENCH=79006 IDSOLVER=1206 FILE ID=node144/2693608-1277913010 PBS_JOBID= 11197230 Free space on /tmp= 74172 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-33-100-0.wbo 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-2693608-1277913010/watcher-2693608-1277913010 -o /tmp/evaluation-result-2693608-1277913010/solver-2693608-1277913010 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693608-1277913010.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0513f373de819ad63cf76545ce499638 RANDOM SEED=1704960952 node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5230.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31181040 kB Buffers: 198580 kB Cached: 1257532 kB SwapCached: 0 kB Active: 688084 kB Inactive: 938704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31181040 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3548 kB Writeback: 0 kB AnonPages: 170888 kB Mapped: 16916 kB Slab: 80824 kB PageTables: 4952 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 320880 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74168 MiB End job on node144 at 2010-06-30 18:20:12