| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1802.1 | 1802.05 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-33-100-0.wbo |
| MD5SUM | 5f8009069df980e2f8c5fa5b8614d35c |
| 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.064989 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 2221 |
| Total number of constraints | 3050 |
| Number of soft constraints | 2040 |
| Number of constraints which are clauses | 2330 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 720 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 19 |
| Top cost | 104315 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 104314 |
| Biggest number in a constraint | 641 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2174 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693636-1277913681.wbo>
0.00/0.05 c original problem has 6301 variables (4261 bin, 0 int, 0 impl, 2040 cont) and 5091 constraints
0.00/0.05 c problem read
0.00/0.05 c presolving settings loaded
0.00/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.00/0.07 c presolving:
0.00/0.09 c (round 1) 5 del vars, 2 del conss, 1 chg bounds, 360 chg sides, 720 chg coeffs, 0 upgd conss, 3870 impls, 0 clqs
0.00/0.09 c (round 2) 6 del vars, 12 del conss, 2 chg bounds, 360 chg sides, 720 chg coeffs, 0 upgd conss, 3870 impls, 0 clqs
0.00/0.09 c (round 3) 8 del vars, 15 del conss, 3 chg bounds, 360 chg sides, 720 chg coeffs, 0 upgd conss, 3870 impls, 0 clqs
0.00/0.09 c (round 4) 9 del vars, 16 del conss, 3 chg bounds, 360 chg sides, 720 chg coeffs, 0 upgd conss, 3870 impls, 0 clqs
0.09/0.11 c (round 5) 9 del vars, 16 del conss, 2042 chg bounds, 360 chg sides, 720 chg coeffs, 0 upgd conss, 3870 impls, 0 clqs
0.09/0.13 c (round 6) 9 del vars, 16 del conss, 2042 chg bounds, 360 chg sides, 720 chg coeffs, 1001 upgd conss, 3870 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 101/4253 (2.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (7 rounds):
0.09/0.18 c 9 deleted vars, 16 deleted constraints, 2042 tightened bounds, 0 added holes, 360 changed sides, 720 changed coefficients
0.09/0.18 c 3874 implications, 0 cliques
0.09/0.18 c presolved problem has 6292 variables (4253 bin, 0 int, 0 impl, 2039 cont) and 5075 constraints
0.09/0.18 c 2039 constraints of type <indicator>
0.09/0.18 c 4 constraints of type <varbound>
0.09/0.18 c 227 constraints of type <knapsack>
0.09/0.18 c 2035 constraints of type <linear>
0.09/0.18 c 770 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.11
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.96
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.19 c 0.1s| 1 | 2 | 0 | - | 19M| 0 | - |6292 |5075 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
8.19/8.22 c 8.0s| 10000 | 10001 | 0 | 0.0 | 24M| 117 | - |6292 |5075 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
16.59/16.60 c 16.3s| 20000 | 20001 | 0 | 0.0 | 29M| 117 | - |6292 |5075 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
24.89/24.94 c 24.5s| 30000 | 30001 | 0 | 0.0 | 33M| 117 | - |6292 |5075 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
32.79/32.87 c 32.3s| 40000 | 40001 | 0 | 0.0 | 38M| 167 | - |6292 |5075 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
40.60/40.69 c 40.0s| 50000 | 50001 | 0 | 0.0 | 42M| 167 | - |6292 |5075 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
48.50/48.56 c 47.7s| 60000 | 60001 | 0 | 0.0 | 46M| 167 | - |6292 |5075 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
56.59/56.68 c 55.7s| 70000 | 70001 | 0 | 0.0 | 51M| 167 | - |6292 |5075 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
64.80/64.82 c 63.7s| 80000 | 80001 | 0 | 0.0 | 55M| 167 | - |6292 |5075 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
72.80/72.85 c 71.6s| 90000 | 90001 | 0 | 0.0 | 60M| 167 | - |6292 |5075 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
80.80/80.85 c 79.5s|100000 | 99999 | 0 | 0.0 | 64M| 167 | - |6292 |5077 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
88.79/88.87 c 87.4s|110000 |109999 | 0 | 0.0 | 68M| 167 | - |6292 |5077 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
96.89/96.93 c 95.3s|120000 |119999 | 0 | 0.0 | 73M| 167 | - |6292 |5077 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
104.90/104.99 c 103s|130000 |129999 | 0 | 0.0 | 77M| 167 | - |6292 |5077 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
112.90/112.99 c 111s|140000 |139999 | 0 | 0.0 | 81M| 167 | - |6292 |5077 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
121.00/121.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.00/121.04 c 119s|150000 |149999 | 0 | 0.0 | 86M| 167 | - |6292 |5077 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
128.99/129.06 c 127s|160000 |159999 | 0 | 0.0 | 90M| 167 | - |6292 |5077 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
136.99/137.09 c 135s|170000 |169999 | 0 | 0.0 | 94M| 167 | - |6292 |5077 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
144.50/144.57 c 142s|180000 |179999 | 0 | 0.0 | 99M| 211 | - |6292 |5077 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
152.00/152.09 c 150s|190000 |189999 | 0 | 0.0 | 103M| 211 | - |6292 |5076 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
159.69/159.71 c 157s|200000 |199999 | 0 | 0.0 | 107M| 211 | - |6292 |5076 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
167.30/167.38 c 165s|210000 |209999 | 0 | 0.0 | 112M| 211 | - |6292 |5075 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
174.90/174.98 c 172s|220000 |219999 | 0 | 0.0 | 116M| 211 | - |6292 |5075 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
182.61/182.61 c 180s|230000 |229999 | 0 | 0.0 | 120M| 211 | - |6292 |5075 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
190.30/190.37 c 187s|240000 |239999 | 0 | 0.0 | 124M| 211 | - |6292 |5075 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
198.09/198.13 c 195s|250000 |249999 | 0 | 0.0 | 129M| 211 | - |6292 |5075 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
205.90/205.93 c 203s|260000 |259999 | 0 | 0.0 | 133M| 211 | - |6292 |5075 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
213.70/213.73 c 210s|270000 |269999 | 0 | 0.0 | 137M| 211 | - |6292 |5075 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
221.49/221.56 c 218s|280000 |279999 | 0 | 0.0 | 142M| 211 | - |6292 |5075 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
229.30/229.36 c 226s|290000 |289999 | 0 | 0.0 | 146M| 211 | - |6292 |5075 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
237.00/237.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
237.00/237.06 c 233s|300000 |299999 | 0 | 0.0 | 150M| 211 | - |6292 |5075 | 0 | 0 | 0 | 2 | 0 | 0.000000e+00 | -- | Inf
244.69/244.75 c 241s|310000 |309997 | 0 | 0.0 | 154M| 211 | - |6292 |5079 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
252.50/252.50 c 248s|320000 |319997 | 0 | 0.0 | 158M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
260.20/260.21 c 256s|330000 |329997 | 0 | 0.0 | 163M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
267.90/267.94 c 264s|340000 |339997 | 0 | 0.0 | 167M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
275.60/275.66 c 271s|350000 |349997 | 0 | 0.0 | 171M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
283.30/283.38 c 279s|360000 |359997 | 0 | 0.0 | 175M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
291.10/291.12 c 287s|370000 |369997 | 0 | 0.0 | 180M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
298.80/298.85 c 294s|380000 |379997 | 0 | 0.0 | 184M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
306.60/306.60 c 302s|390000 |389997 | 0 | 0.0 | 188M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
314.30/314.33 c 309s|400000 |399997 | 0 | 0.0 | 192M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
322.00/322.05 c 317s|410000 |409997 | 0 | 0.0 | 197M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
329.70/329.75 c 325s|420000 |419997 | 0 | 0.0 | 201M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
337.50/337.52 c 332s|430000 |429997 | 0 | 0.0 | 205M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
345.20/345.25 c 340s|440000 |439997 | 0 | 0.0 | 210M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
353.01/353.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.01/353.01 c 348s|450000 |449997 | 0 | 0.0 | 214M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
360.71/360.73 c 355s|460000 |459997 | 0 | 0.0 | 218M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
368.41/368.46 c 363s|470000 |469997 | 0 | 0.0 | 222M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
376.11/376.19 c 370s|480000 |479997 | 0 | 0.0 | 227M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
383.91/383.96 c 378s|490000 |489997 | 0 | 0.0 | 231M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
391.70/391.71 c 386s|500000 |499997 | 0 | 0.0 | 235M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
399.40/399.49 c 393s|510000 |509997 | 0 | 0.0 | 239M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
407.21/407.23 c 401s|520000 |519997 | 0 | 0.0 | 244M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
414.90/414.98 c 408s|530000 |529997 | 0 | 0.0 | 248M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
422.70/422.70 c 416s|540000 |539997 | 0 | 0.0 | 252M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
430.40/430.45 c 424s|550000 |549997 | 0 | 0.0 | 256M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
438.10/438.17 c 431s|560000 |559997 | 0 | 0.0 | 261M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
445.90/445.92 c 439s|570000 |569997 | 0 | 0.0 | 265M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
453.60/453.61 c 446s|580000 |579997 | 0 | 0.0 | 269M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
461.30/461.33 c 454s|590000 |589997 | 0 | 0.0 | 274M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
469.00/469.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
469.00/469.05 c 462s|600000 |599997 | 0 | 0.0 | 278M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
476.71/476.79 c 469s|610000 |609997 | 0 | 0.0 | 282M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
484.50/484.54 c 477s|620000 |619997 | 0 | 0.0 | 286M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
492.20/492.27 c 485s|630000 |629997 | 0 | 0.0 | 291M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
499.90/499.91 c 492s|640000 |639997 | 0 | 0.0 | 295M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
507.50/507.53 c 500s|650000 |649997 | 0 | 0.0 | 299M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
515.01/515.04 c 507s|660000 |659997 | 0 | 0.0 | 303M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
522.41/522.49 c 514s|670000 |669997 | 0 | 0.0 | 307M| 211 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
528.91/528.95 c 521s|680000 |679997 | 0 | 0.0 | 312M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
535.30/535.39 c 527s|690000 |689997 | 0 | 0.0 | 316M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
541.81/541.84 c 533s|700000 |699997 | 0 | 0.0 | 320M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
548.20/548.25 c 540s|710000 |709997 | 0 | 0.0 | 324M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
554.61/554.67 c 546s|720000 |719997 | 0 | 0.0 | 328M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
561.01/561.07 c 552s|730000 |729997 | 0 | 0.0 | 332M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
567.51/567.59 c 559s|740000 |739997 | 0 | 0.0 | 335M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
574.01/574.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
574.01/574.10 c 565s|750000 |749997 | 0 | 0.0 | 339M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
580.51/580.58 c 572s|760000 |759997 | 0 | 0.0 | 343M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
587.11/587.11 c 578s|770000 |769997 | 0 | 0.0 | 347M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
593.61/593.66 c 585s|780000 |779997 | 0 | 0.0 | 351M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
600.11/600.15 c 591s|790000 |789997 | 0 | 0.0 | 355M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
606.61/606.65 c 597s|800000 |799997 | 0 | 0.0 | 359M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
613.21/613.20 c 604s|810000 |809997 | 0 | 0.0 | 363M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
619.71/619.76 c 610s|820000 |819997 | 0 | 0.0 | 367M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
626.31/626.37 c 617s|830000 |829997 | 0 | 0.0 | 371M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
632.91/632.95 c 623s|840000 |839997 | 0 | 0.0 | 375M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
639.41/639.49 c 630s|850000 |849997 | 0 | 0.0 | 379M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
646.01/646.07 c 636s|860000 |859997 | 0 | 0.0 | 383M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
652.61/652.63 c 643s|870000 |869997 | 0 | 0.0 | 387M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
659.22/659.25 c 649s|880000 |879997 | 0 | 0.0 | 391M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
665.81/665.88 c 656s|890000 |889997 | 0 | 0.0 | 395M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
672.41/672.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
672.41/672.46 c 662s|900000 |899997 | 0 | 0.0 | 399M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
679.01/679.08 c 669s|910000 |909997 | 0 | 0.0 | 403M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
685.61/685.68 c 675s|920000 |919997 | 0 | 0.0 | 407M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
692.21/692.29 c 682s|930000 |929997 | 0 | 0.0 | 411M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
698.81/698.88 c 688s|940000 |939997 | 0 | 0.0 | 415M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
705.41/705.47 c 695s|950000 |949997 | 0 | 0.0 | 419M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
712.01/712.08 c 701s|960000 |959997 | 0 | 0.0 | 423M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
718.61/718.69 c 708s|970000 |969997 | 0 | 0.0 | 427M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
725.21/725.26 c 714s|980000 |979997 | 0 | 0.0 | 431M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
731.81/731.87 c 721s|990000 |989997 | 0 | 0.0 | 436M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
738.41/738.45 c 727s| 1000k|999997 | 0 | 0.0 | 440M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
745.01/745.03 c 734s| 1010k| 1009k| 0 | 0.0 | 444M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
751.61/751.66 c 740s| 1020k| 1019k| 0 | 0.0 | 448M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
758.21/758.25 c 747s| 1030k| 1029k| 0 | 0.0 | 452M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
764.81/764.85 c 753s| 1040k| 1039k| 0 | 0.0 | 456M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
771.42/771.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
771.42/771.48 c 760s| 1050k| 1049k| 0 | 0.0 | 460M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
778.11/778.10 c 767s| 1060k| 1059k| 0 | 0.0 | 464M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
784.72/784.71 c 773s| 1070k| 1069k| 0 | 0.0 | 468M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
791.31/791.33 c 780s| 1080k| 1079k| 0 | 0.0 | 472M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
797.91/797.92 c 786s| 1090k| 1089k| 0 | 0.0 | 476M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
804.52/804.50 c 793s| 1100k| 1099k| 0 | 0.0 | 480M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
811.12/811.11 c 799s| 1110k| 1109k| 0 | 0.0 | 484M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
817.71/817.72 c 806s| 1120k| 1119k| 0 | 0.0 | 488M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
824.22/824.28 c 812s| 1130k| 1129k| 0 | 0.0 | 492M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
830.81/830.82 c 818s| 1140k| 1139k| 0 | 0.0 | 496M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
837.32/837.34 c 825s| 1150k| 1149k| 0 | 0.0 | 500M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
843.92/843.94 c 831s| 1160k| 1159k| 0 | 0.0 | 504M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
850.52/850.53 c 838s| 1170k| 1169k| 0 | 0.0 | 508M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
857.11/857.11 c 844s| 1180k| 1179k| 0 | 0.0 | 512M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
863.72/863.72 c 851s| 1190k| 1189k| 0 | 0.0 | 516M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
870.22/870.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.22/870.28 c 857s| 1200k| 1199k| 0 | 0.0 | 520M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
876.82/876.88 c 864s| 1210k| 1209k| 0 | 0.0 | 524M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
883.33/883.39 c 870s| 1220k| 1219k| 0 | 0.0 | 528M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
889.92/889.96 c 877s| 1230k| 1229k| 0 | 0.0 | 532M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
896.52/896.57 c 883s| 1240k| 1239k| 0 | 0.0 | 536M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
903.12/903.13 c 890s| 1250k| 1249k| 0 | 0.0 | 540M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
909.62/909.63 c 896s| 1260k| 1259k| 0 | 0.0 | 544M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
916.12/916.17 c 903s| 1270k| 1269k| 0 | 0.0 | 548M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
922.62/922.68 c 909s| 1280k| 1279k| 0 | 0.0 | 552M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
929.22/929.29 c 916s| 1290k| 1289k| 0 | 0.0 | 556M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
935.82/935.89 c 922s| 1300k| 1299k| 0 | 0.0 | 560M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
942.52/942.51 c 929s| 1310k| 1309k| 0 | 0.0 | 564M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
949.12/949.14 c 935s| 1320k| 1319k| 0 | 0.0 | 568M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
955.72/955.76 c 942s| 1330k| 1329k| 0 | 0.0 | 572M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
962.32/962.38 c 948s| 1340k| 1339k| 0 | 0.0 | 576M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
968.93/968.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
968.93/968.95 c 955s| 1350k| 1349k| 0 | 0.0 | 580M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
975.52/975.52 c 961s| 1360k| 1359k| 0 | 0.0 | 584M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
982.12/982.10 c 968s| 1370k| 1369k| 0 | 0.0 | 588M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
988.62/988.69 c 974s| 1380k| 1379k| 0 | 0.0 | 592M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
995.02/995.01 c 980s| 1390k| 1389k| 0 | 0.0 | 596M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1001.03/1001.01 c 986s| 1400k| 1399k| 0 | 0.0 | 600M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1007.03/1007.03 c 992s| 1410k| 1409k| 0 | 0.0 | 604M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1013.02/1013.02 c 998s| 1420k| 1419k| 0 | 0.0 | 608M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1018.92/1018.99 c 1003s| 1430k| 1429k| 0 | 0.0 | 612M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1024.92/1024.97 c 1009s| 1440k| 1439k| 0 | 0.0 | 616M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1030.92/1030.96 c 1015s| 1450k| 1449k| 0 | 0.0 | 620M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1036.92/1036.94 c 1020s| 1460k| 1459k| 0 | 0.0 | 624M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1042.92/1042.95 c 1026s| 1470k| 1469k| 0 | 0.0 | 628M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1048.92/1048.94 c 1032s| 1480k| 1479k| 0 | 0.0 | 632M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1054.93/1054.95 c 1038s| 1490k| 1489k| 0 | 0.0 | 636M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1060.93/1060.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1060.93/1060.98 c 1043s| 1500k| 1499k| 0 | 0.0 | 640M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1066.93/1066.98 c 1049s| 1510k| 1509k| 0 | 0.0 | 644M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1072.93/1072.98 c 1055s| 1520k| 1519k| 0 | 0.0 | 649M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1078.92/1078.96 c 1060s| 1530k| 1529k| 0 | 0.0 | 653M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1084.92/1084.97 c 1066s| 1540k| 1539k| 0 | 0.0 | 657M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1090.93/1090.96 c 1072s| 1550k| 1549k| 0 | 0.0 | 661M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1097.02/1097.00 c 1078s| 1560k| 1559k| 0 | 0.0 | 665M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1102.92/1102.96 c 1083s| 1570k| 1569k| 0 | 0.0 | 669M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1108.92/1108.94 c 1089s| 1580k| 1579k| 0 | 0.0 | 673M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1114.82/1114.89 c 1095s| 1590k| 1589k| 0 | 0.0 | 677M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1120.83/1120.89 c 1101s| 1600k| 1599k| 0 | 0.0 | 681M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1126.82/1126.83 c 1106s| 1610k| 1609k| 0 | 0.0 | 685M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1132.83/1132.84 c 1112s| 1620k| 1619k| 0 | 0.0 | 689M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1138.83/1138.85 c 1118s| 1630k| 1629k| 0 | 0.0 | 693M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1144.83/1144.87 c 1123s| 1640k| 1639k| 0 | 0.0 | 697M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1150.82/1150.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1150.82/1150.86 c 1129s| 1650k| 1649k| 0 | 0.0 | 701M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1156.92/1156.91 c 1135s| 1660k| 1659k| 0 | 0.0 | 705M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1162.83/1162.86 c 1141s| 1670k| 1669k| 0 | 0.0 | 709M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1168.83/1168.81 c 1146s| 1680k| 1679k| 0 | 0.0 | 713M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1174.73/1174.78 c 1152s| 1690k| 1689k| 0 | 0.0 | 717M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1180.73/1180.74 c 1158s| 1700k| 1699k| 0 | 0.0 | 721M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1186.72/1186.73 c 1163s| 1710k| 1709k| 0 | 0.0 | 725M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1192.73/1192.75 c 1169s| 1720k| 1719k| 0 | 0.0 | 729M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1198.73/1198.74 c 1175s| 1730k| 1729k| 0 | 0.0 | 733M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1204.73/1204.70 c 1181s| 1740k| 1739k| 0 | 0.0 | 737M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1210.63/1210.66 c 1186s| 1750k| 1749k| 0 | 0.0 | 741M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1216.63/1216.62 c 1192s| 1760k| 1759k| 0 | 0.0 | 745M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1222.63/1222.60 c 1198s| 1770k| 1769k| 0 | 0.0 | 749M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1228.53/1228.58 c 1203s| 1780k| 1779k| 0 | 0.0 | 753M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1234.53/1234.56 c 1209s| 1790k| 1789k| 0 | 0.0 | 757M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1240.53/1240.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1240.53/1240.53 c 1215s| 1800k| 1799k| 0 | 0.0 | 761M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1246.52/1246.54 c 1220s| 1810k| 1809k| 0 | 0.0 | 765M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1252.53/1252.54 c 1226s| 1820k| 1819k| 0 | 0.0 | 769M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1258.53/1258.57 c 1232s| 1830k| 1829k| 0 | 0.0 | 773M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1264.53/1264.57 c 1238s| 1840k| 1839k| 0 | 0.0 | 777M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1270.54/1270.59 c 1243s| 1850k| 1849k| 0 | 0.0 | 781M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1276.63/1276.62 c 1249s| 1860k| 1859k| 0 | 0.0 | 785M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1282.63/1282.64 c 1255s| 1870k| 1869k| 0 | 0.0 | 789M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1288.63/1288.61 c 1261s| 1880k| 1879k| 0 | 0.0 | 793M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1294.63/1294.63 c 1266s| 1890k| 1889k| 0 | 0.0 | 797M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1300.53/1300.58 c 1272s| 1900k| 1899k| 0 | 0.0 | 801M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1306.53/1306.57 c 1278s| 1910k| 1909k| 0 | 0.0 | 805M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1312.53/1312.58 c 1283s| 1920k| 1919k| 0 | 0.0 | 809M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1318.53/1318.56 c 1289s| 1930k| 1929k| 0 | 0.0 | 813M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1324.53/1324.53 c 1295s| 1940k| 1939k| 0 | 0.0 | 817M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1330.43/1330.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1330.43/1330.47 c 1300s| 1950k| 1949k| 0 | 0.0 | 821M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1336.43/1336.47 c 1306s| 1960k| 1959k| 0 | 0.0 | 825M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1342.43/1342.41 c 1312s| 1970k| 1969k| 0 | 0.0 | 829M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1348.43/1348.41 c 1317s| 1980k| 1979k| 0 | 0.0 | 834M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1354.33/1354.36 c 1323s| 1990k| 1989k| 0 | 0.0 | 838M|1003 | - |6292 |5076 | 0 | 0 | 0 | 6 | 0 | 0.000000e+00 | -- | Inf
1360.33/1360.39 c 1329s| 2000k| 1999k| 0 | 0.0 | 842M|1003 | - |6292 |5080 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1366.43/1366.42 c 1334s| 2010k| 2009k| 0 | 0.0 | 846M|1003 | - |6292 |5080 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1372.43/1372.42 c 1340s| 2020k| 2019k| 0 | 0.0 | 850M|1003 | - |6292 |5080 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1378.43/1378.42 c 1346s| 2030k| 2029k| 0 | 0.0 | 854M|1003 | - |6292 |5080 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1384.43/1384.47 c 1352s| 2040k| 2039k| 0 | 0.0 | 858M|1003 | - |6292 |5080 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1390.43/1390.47 c 1357s| 2050k| 2049k| 0 | 0.0 | 862M|1003 | - |6292 |5080 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1396.43/1396.50 c 1363s| 2060k| 2059k| 0 | 0.0 | 866M|1003 | - |6292 |5079 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1402.54/1402.52 c 1369s| 2070k| 2069k| 0 | 0.0 | 870M|1003 | - |6292 |5078 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1408.54/1408.54 c 1374s| 2080k| 2079k| 0 | 0.0 | 874M|1003 | - |6292 |5078 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1414.54/1414.55 c 1380s| 2090k| 2089k| 0 | 0.0 | 878M|1003 | - |6292 |5078 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1420.53/1420.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1420.53/1420.53 c 1386s| 2100k| 2099k| 0 | 0.0 | 882M|1003 | - |6292 |5078 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1426.53/1426.50 c 1391s| 2110k| 2109k| 0 | 0.0 | 886M|1003 | - |6292 |5077 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1432.44/1432.49 c 1397s| 2120k| 2119k| 0 | 0.0 | 890M|1003 | - |6292 |5077 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1438.44/1438.46 c 1403s| 2130k| 2129k| 0 | 0.0 | 894M|1003 | - |6292 |5077 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1444.43/1444.47 c 1409s| 2140k| 2139k| 0 | 0.0 | 898M|1003 | - |6292 |5077 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1450.44/1450.43 c 1414s| 2150k| 2149k| 0 | 0.0 | 902M|1003 | - |6292 |5077 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1456.44/1456.40 c 1420s| 2160k| 2159k| 0 | 0.0 | 906M|1003 | - |6292 |5077 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1462.43/1462.41 c 1426s| 2170k| 2169k| 0 | 0.0 | 910M|1003 | - |6292 |5077 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1468.34/1468.38 c 1431s| 2180k| 2179k| 0 | 0.0 | 914M|1003 | - |6292 |5077 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1474.33/1474.37 c 1437s| 2190k| 2189k| 0 | 0.0 | 918M|1003 | - |6292 |5077 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1480.34/1480.37 c 1443s| 2200k| 2199k| 0 | 0.0 | 922M|1003 | - |6292 |5077 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1486.33/1486.33 c 1448s| 2210k| 2209k| 0 | 0.0 | 926M|1003 | - |6292 |5077 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1492.24/1492.29 c 1454s| 2220k| 2219k| 0 | 0.0 | 930M|1003 | - |6292 |5077 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1498.24/1498.26 c 1460s| 2230k| 2229k| 0 | 0.0 | 934M|1003 | - |6292 |5077 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1504.24/1504.26 c 1465s| 2240k| 2239k| 0 | 0.0 | 938M|1003 | - |6292 |5077 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1510.24/1510.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1510.24/1510.28 c 1471s| 2250k| 2249k| 0 | 0.0 | 942M|1003 | - |6292 |5077 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1516.34/1516.33 c 1477s| 2260k| 2259k| 0 | 0.0 | 946M|1003 | - |6292 |5077 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1522.34/1522.30 c 1482s| 2270k| 2269k| 0 | 0.0 | 950M|1003 | - |6292 |5077 | 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | -- | Inf
1528.34/1528.32 c 1488s| 2280k| 2279k| 0 | 0.0 | 954M|1003 | - |6292 |5085 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1534.34/1534.36 c 1494s| 2290k| 2289k| 0 | 0.0 | 958M|1003 | - |6292 |5085 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1540.34/1540.35 c 1500s| 2300k| 2299k| 0 | 0.0 | 962M|1003 | - |6292 |5085 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1546.34/1546.35 c 1505s| 2310k| 2309k| 0 | 0.0 | 966M|1003 | - |6292 |5085 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1552.33/1552.36 c 1511s| 2320k| 2319k| 0 | 0.0 | 970M|1003 | - |6292 |5084 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1558.34/1558.32 c 1517s| 2330k| 2329k| 0 | 0.0 | 974M|1003 | - |6292 |5084 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1564.34/1564.33 c 1522s| 2340k| 2339k| 0 | 0.0 | 978M|1003 | - |6292 |5084 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1570.34/1570.30 c 1528s| 2350k| 2349k| 0 | 0.0 | 982M|1003 | - |6292 |5083 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1576.34/1576.30 c 1534s| 2360k| 2359k| 0 | 0.0 | 986M|1003 | - |6292 |5083 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1582.33/1582.32 c 1539s| 2370k| 2369k| 0 | 0.0 | 990M|1003 | - |6292 |5082 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1588.34/1588.33 c 1545s| 2380k| 2379k| 0 | 0.0 | 994M|1003 | - |6292 |5082 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1594.34/1594.34 c 1551s| 2390k| 2389k| 0 | 0.0 | 998M|1003 | - |6292 |5082 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1600.33/1600.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1600.33/1600.32 c 1557s| 2400k| 2399k| 0 | 0.0 |1002M|1003 | - |6292 |5082 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1606.23/1606.29 c 1562s| 2410k| 2409k| 0 | 0.0 |1006M|1003 | - |6292 |5082 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1612.24/1612.28 c 1568s| 2420k| 2419k| 0 | 0.0 |1010M|1003 | - |6292 |5082 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1618.34/1618.33 c 1574s| 2430k| 2429k| 0 | 0.0 |1014M|1003 | - |6292 |5082 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1624.34/1624.34 c 1579s| 2440k| 2439k| 0 | 0.0 |1018M|1003 | - |6292 |5082 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1630.34/1630.37 c 1585s| 2450k| 2449k| 0 | 0.0 |1022M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1636.34/1636.35 c 1591s| 2460k| 2459k| 0 | 0.0 |1026M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1642.35/1642.35 c 1596s| 2470k| 2469k| 0 | 0.0 |1030M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1648.34/1648.37 c 1602s| 2480k| 2479k| 0 | 0.0 |1034M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1654.44/1654.42 c 1608s| 2490k| 2489k| 0 | 0.0 |1038M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1660.43/1660.43 c 1614s| 2500k| 2499k| 0 | 0.0 |1043M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1666.44/1666.43 c 1619s| 2510k| 2509k| 0 | 0.0 |1047M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1672.44/1672.47 c 1625s| 2520k| 2519k| 0 | 0.0 |1051M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1678.44/1678.46 c 1631s| 2530k| 2529k| 0 | 0.0 |1055M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1684.44/1684.46 c 1636s| 2540k| 2539k| 0 | 0.0 |1059M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1690.44/1690.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1690.44/1690.48 c 1642s| 2550k| 2549k| 0 | 0.0 |1063M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1696.44/1696.47 c 1648s| 2560k| 2559k| 0 | 0.0 |1067M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1702.44/1702.45 c 1654s| 2570k| 2569k| 0 | 0.0 |1071M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1708.44/1708.42 c 1659s| 2580k| 2579k| 0 | 0.0 |1075M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1714.44/1714.41 c 1665s| 2590k| 2589k| 0 | 0.0 |1079M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1720.44/1720.40 c 1671s| 2600k| 2599k| 0 | 0.0 |1083M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1726.44/1726.41 c 1676s| 2610k| 2609k| 0 | 0.0 |1087M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1732.45/1732.40 c 1682s| 2620k| 2619k| 0 | 0.0 |1091M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1738.34/1738.38 c 1688s| 2630k| 2629k| 0 | 0.0 |1095M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1744.34/1744.39 c 1693s| 2640k| 2639k| 0 | 0.0 |1099M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1750.45/1750.44 c 1699s| 2650k| 2649k| 0 | 0.0 |1103M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1756.45/1756.45 c 1705s| 2660k| 2659k| 0 | 0.0 |1107M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1762.44/1762.43 c 1710s| 2670k| 2669k| 0 | 0.0 |1111M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1768.44/1768.41 c 1716s| 2680k| 2679k| 0 | 0.0 |1115M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1774.44/1774.41 c 1722s| 2690k| 2689k| 0 | 0.0 |1119M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1780.44/1780.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1780.44/1780.45 c 1728s| 2700k| 2699k| 0 | 0.0 |1123M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1786.45/1786.44 c 1733s| 2710k| 2709k| 0 | 0.0 |1127M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1792.45/1792.44 c 1739s| 2720k| 2719k| 0 | 0.0 |1131M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1798.45/1798.48 c 1745s| 2730k| 2729k| 0 | 0.0 |1135M|1003 | - |6292 |5081 | 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | -- | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1746.09
1800.05/1800.00 c Solving Nodes : 2732518
1800.05/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 s UNKNOWN
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1746.09
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2693636-1277913681.wbo
1800.05/1800.00 c Variables : 6301 (4261 binary, 0 integer, 0 implicit integer, 2040 continuous)
1800.05/1800.00 c Constraints : 5091 initial, 5091 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2693636-1277913681.wbo
1800.05/1800.00 c Variables : 6292 (4253 binary, 0 integer, 0 implicit integer, 2039 continuous)
1800.05/1800.00 c Constraints : 5075 initial, 5085 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 4 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.05/1800.00 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.05 3 0 0 2042 0 15 360 720
1800.05/1800.00 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 2039 0 4962671 0 2732514 0 2138721 0 0 0
1800.05/1800.00 c varbound : 4 0 2416851 0 1088042 0 19444 0 0 0
1800.05/1800.00 c knapsack : 227 0 4962671 0 2732514 0 11635 0 0 0
1800.05/1800.00 c linear : 2035 0 4962671 0 2732514 1 1099446 0 0 0
1800.05/1800.00 c logicor : 770+ 0 1527127 0 2732514 3 1375737 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 2732514 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 414.19 0.00 104.96 0.00 309.23
1800.05/1800.00 c varbound : 1.29 0.00 0.77 0.00 0.52
1800.05/1800.00 c knapsack : 19.45 0.00 15.58 0.00 3.87
1800.05/1800.00 c linear : 80.43 0.00 77.69 0.00 2.74
1800.05/1800.00 c logicor : 106.33 0.00 3.42 0.00 102.91
1800.05/1800.00 c countsols : 0.39 0.00 0.00 0.00 0.39
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 0.92 30528 0 1376
1800.05/1800.00 c rootredcost : 0.75 0 0 0
1800.05/1800.00 c pseudoobj : 230.96 4962471 0 0
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 0.00 4 4 4 5.2 14 3.6 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 18 4.0 - - -
1800.05/1800.00 c applied locally : - - - 0 0.0 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 841.34 2732514 0 0 0 0 5465028
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c oneopt : 0.39 0 0
1800.05/1800.00 c trivial : 0.01 2 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 0.57 0 0
1800.05/1800.00 c trysol : 0.23 1 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 2732518
1800.05/1800.00 c nodes (total) : 2732518
1800.05/1800.00 c nodes left : 2732511
1800.05/1800.00 c max depth : 1003
1800.05/1800.00 c max depth (total): 1003
1800.05/1800.00 c backtracks : 10186 (0.4%)
1800.05/1800.00 c delayed cutoffs : 0
1800.05/1800.00 c repropagations : 313 (23 domain reductions, 0 cutoffs)
1800.05/1800.00 c avg switch length: 2.13
1800.05/1800.00 c switching time : 17.03
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 0 (0 improvements)
1800.05/1800.00 c Primal Bound : -
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/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-2693636-1277913681/watcher-2693636-1277913681 -o /tmp/evaluation-result-2693636-1277913681/solver-2693636-1277913681 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693636-1277913681.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: 2.01 2.01 2.00 4/178 10764 /proc/meminfo: memFree=30938228/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=8264 CPUtime=0 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 1546 0 0 0 0 0 0 0 25 0 1 0 132665415 8462336 1469 4089446400 4194304 7136930 140734544158288 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/10764/statm: 2066 1469 275 719 0 1345 0 [startup+0.0103711 s] /proc/loadavg: 2.01 2.01 2.00 4/178 10764 /proc/meminfo: memFree=30938228/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=9576 CPUtime=0 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 1869 0 0 0 0 0 0 0 25 0 1 0 132665415 9805824 1792 4089446400 4194304 7136930 140734544158288 18446744073709551615 5650759 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/10764/statm: 2394 1792 275 719 0 1673 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9576 [startup+0.100364 s] /proc/loadavg: 2.01 2.01 2.00 4/178 10764 /proc/meminfo: memFree=30938228/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=34976 CPUtime=0.09 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 9333 0 0 0 8 1 0 0 25 0 1 0 132665415 35815424 7874 4089446400 4194304 7136930 140734544158288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10764/statm: 8744 7874 351 719 0 8023 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 34976 [startup+0.300315 s] /proc/loadavg: 2.01 2.01 2.00 4/178 10764 /proc/meminfo: memFree=30938228/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=38544 CPUtime=0.29 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 11820 0 0 0 27 2 0 0 25 0 1 0 132665415 39469056 8811 4089446400 4194304 7136930 140734544158288 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10764/statm: 9636 8811 405 719 0 8915 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38544 [startup+0.700245 s] /proc/loadavg: 2.01 2.01 2.00 4/178 10764 /proc/meminfo: memFree=30938228/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=39068 CPUtime=0.69 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 11953 0 0 0 66 3 0 0 25 0 1 0 132665415 40005632 8944 4089446400 4194304 7136930 140734544158288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10764/statm: 9767 8944 405 719 0 9046 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39068 [startup+1.5011 s] /proc/loadavg: 2.01 2.01 2.00 3/179 10765 /proc/meminfo: memFree=30903128/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=39800 CPUtime=1.49 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 12146 0 0 0 145 4 0 0 25 0 1 0 132665415 40755200 9137 4089446400 4194304 7136930 140734544158288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10764/statm: 9950 9137 405 719 0 9229 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39800 [startup+3.1008 s] /proc/loadavg: 2.01 2.01 2.00 3/179 10765 /proc/meminfo: memFree=30902456/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=40316 CPUtime=3.09 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 12299 0 0 0 302 7 0 0 25 0 1 0 132665415 41283584 9290 4089446400 4194304 7136930 140734544158288 18446744073709551615 4827013 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10764/statm: 10079 9290 405 719 0 9358 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40316 [startup+6.30025 s] /proc/loadavg: 2.01 2.00 2.00 3/179 10765 /proc/meminfo: memFree=30900236/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=43028 CPUtime=6.3 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 12997 0 0 0 619 11 0 0 25 0 1 0 132665415 44060672 9988 4089446400 4194304 7136930 140734544158288 18446744073709551615 4643027 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10764/statm: 10757 9988 405 719 0 10036 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 43028 [startup+12.701 s] /proc/loadavg: 2.01 2.00 2.00 3/179 10765 /proc/meminfo: memFree=30893052/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=46908 CPUtime=12.69 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 13994 0 0 0 1249 20 0 0 25 0 1 0 132665415 48033792 10985 4089446400 4194304 7136930 140734544158288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10764/statm: 11727 10985 405 719 0 11006 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46908 [startup+25.5007 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10765 /proc/meminfo: memFree=30880268/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=53760 CPUtime=25.49 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 15750 0 0 0 2505 44 0 0 25 0 1 0 132665415 55050240 12741 4089446400 4194304 7136930 140734544158288 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10764/statm: 13440 12741 405 719 0 12719 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 53760 [startup+51.101 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10766 /proc/meminfo: memFree=30856288/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=68500 CPUtime=51.1 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 19578 0 0 0 5023 87 0 0 25 0 1 0 132665415 70144000 16569 4089446400 4194304 7136930 140734544158288 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10764/statm: 17125 16569 405 719 0 16404 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 68500 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10767 /proc/meminfo: memFree=30805788/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=99252 CPUtime=102.3 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 27004 0 0 0 10064 166 0 0 25 0 1 0 132665415 101634048 23995 4089446400 4194304 7136930 140734544158288 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10764/statm: 24813 23995 409 719 0 24092 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 99252 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10769 /proc/meminfo: memFree=30748948/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=136764 CPUtime=162.29 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 35645 0 0 0 15967 262 0 0 25 0 1 0 132665415 140046336 32636 4089446400 4194304 7136930 140734544158288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10764/statm: 34191 32636 409 719 0 33470 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 136764 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10771 /proc/meminfo: memFree=30688880/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=169264 CPUtime=222.3 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 44084 0 0 0 21875 355 0 0 25 0 1 0 132665415 173326336 41075 4089446400 4194304 7136930 140734544158288 18446744073709551615 4596518 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10764/statm: 42316 41075 409 719 0 41595 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 169264 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10772 /proc/meminfo: memFree=30632424/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=202156 CPUtime=282.3 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 52610 0 0 0 27786 444 0 0 25 0 1 0 132665415 207007744 49601 4089446400 4194304 7136930 140734544158288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10764/statm: 50539 49601 409 719 0 49818 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 202156 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10774 /proc/meminfo: memFree=30572976/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=235128 CPUtime=342.31 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 61151 0 0 0 33697 534 0 0 25 0 1 0 132665415 240771072 58142 4089446400 4194304 7136930 140734544158288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10764/statm: 58782 58142 409 719 0 58061 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 235128 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10775 /proc/meminfo: memFree=30515884/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=277520 CPUtime=402.3 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 70005 0 0 0 39603 627 0 0 25 0 1 0 132665415 284180480 66996 4089446400 4194304 7136930 140734544158288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10764/statm: 69380 66996 409 719 0 68659 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 277520 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10777 /proc/meminfo: memFree=30455820/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=308496 CPUtime=462.31 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 78053 0 0 0 45505 726 0 0 25 0 1 0 132665415 315899904 75044 4089446400 4194304 7136930 140734544158288 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10764/statm: 77124 75044 409 719 0 76403 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 308496 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10779 /proc/meminfo: memFree=30397992/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=341944 CPUtime=522.31 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 86723 0 0 0 51422 809 0 0 25 0 1 0 132665415 350150656 83714 4089446400 4194304 7136930 140734544158288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10764/statm: 85486 83714 409 719 0 84765 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 341944 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10780 /proc/meminfo: memFree=30338536/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=379576 CPUtime=582.3 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 96463 0 0 0 57337 893 0 0 25 0 1 0 132665415 388685824 93454 4089446400 4194304 7136930 140734544158288 18446744073709551615 5507169 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10764/statm: 94894 93454 409 719 0 94173 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 379576 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10782 /proc/meminfo: memFree=30277972/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=414448 CPUtime=642.32 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 105547 0 0 0 63261 971 0 0 25 0 1 0 132665415 424394752 102538 4089446400 4194304 7136930 140734544158288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/10764/statm: 103612 102538 409 719 0 102891 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 414448 [startup+702.301 s] ################ # More data... # ################ /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 162100 0 0 0 98732 1500 0 0 25 0 1 0 132665415 663953408 159091 4089446400 4194304 7136930 140734544158288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10764/statm: 162098 159091 409 719 0 161377 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 648392 [startup+1062.3 s] /proc/loadavg: 2.03 2.03 2.00 3/179 10951 /proc/meminfo: memFree=30733596/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=687552 CPUtime=1062.33 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 172279 0 0 0 104462 1771 0 0 25 0 1 0 132665415 704053248 169270 4089446400 4194304 7136930 140734544158288 18446744073709551615 4436363 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10764/statm: 171888 169270 409 719 0 171167 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 687552 [startup+1122.3 s] /proc/loadavg: 2.17 2.06 2.01 3/179 11085 /proc/meminfo: memFree=30726852/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=726932 CPUtime=1122.32 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 182515 0 0 0 110193 2039 0 0 25 0 1 0 132665415 744378368 179506 4089446400 4194304 7136930 140734544158288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10764/statm: 181733 179506 409 719 0 181012 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 726932 [startup+1182.3 s] /proc/loadavg: 2.02 2.03 2.00 3/179 11286 /proc/meminfo: memFree=30693544/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=767212 CPUtime=1182.33 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 192977 0 0 0 115922 2311 0 0 25 0 1 0 132665415 785625088 189968 4089446400 4194304 7136930 140734544158288 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10764/statm: 191803 189968 409 719 0 191082 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 767212 [startup+1242.3 s] /proc/loadavg: 2.00 2.03 2.00 3/179 11288 /proc/meminfo: memFree=30595772/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=806980 CPUtime=1242.33 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 203311 0 0 0 121647 2586 0 0 25 0 1 0 132665415 826347520 200302 4089446400 4194304 7136930 140734544158288 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10764/statm: 201745 200302 409 719 0 201024 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 806980 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 11316 /proc/meminfo: memFree=30594636/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=845284 CPUtime=1302.33 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 213279 0 0 0 127359 2874 0 0 25 0 1 0 132665415 865570816 210270 4089446400 4194304 7136930 140734544158288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10764/statm: 211321 210270 409 719 0 210600 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 845284 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 11318 /proc/meminfo: memFree=30536852/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=887632 CPUtime=1362.33 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 224258 0 0 0 133051 3182 0 0 25 0 1 0 132665415 908935168 221249 4089446400 4194304 7136930 140734544158288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10764/statm: 221908 221249 409 719 0 221187 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 887632 [startup+1422.31 s] /proc/loadavg: 2.07 2.02 2.00 3/179 11320 /proc/meminfo: memFree=30478312/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=959828 CPUtime=1422.34 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 234504 0 0 0 138752 3482 0 0 25 0 1 0 132665415 982863872 231495 4089446400 4194304 7136930 140734544158288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10764/statm: 239957 231495 409 719 0 239236 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 959828 [startup+1482.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 11321 /proc/meminfo: memFree=30421092/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=1000344 CPUtime=1482.34 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 245024 0 0 0 144450 3784 0 0 25 0 1 0 132665415 1024352256 242015 4089446400 4194304 7136930 140734544158288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10764/statm: 250086 242015 409 719 0 249365 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 1000344 [startup+1542.3 s] /proc/loadavg: 2.07 2.03 2.00 3/179 11323 /proc/meminfo: memFree=30363616/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=1039908 CPUtime=1542.34 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 255306 0 0 0 150145 4089 0 0 25 0 1 0 132665415 1064865792 252297 4089446400 4194304 7136930 140734544158288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10764/statm: 259977 252297 409 719 0 259256 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1039908 [startup+1602.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 11324 /proc/meminfo: memFree=30308492/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=1079652 CPUtime=1602.34 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 265631 0 0 0 155845 4389 0 0 25 0 1 0 132665415 1105563648 262622 4089446400 4194304 7136930 140734544158288 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10764/statm: 269913 262622 409 719 0 269192 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 1079652 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 11326 /proc/meminfo: memFree=30252512/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=1117908 CPUtime=1662.34 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 275586 0 0 0 161541 4693 0 0 25 0 1 0 132665415 1144737792 272577 4089446400 4194304 7136930 140734544158288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10764/statm: 279477 272577 409 719 0 278756 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1117908 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 11328 /proc/meminfo: memFree=30199636/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=1156428 CPUtime=1722.34 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 285608 0 0 0 167238 4996 0 0 25 0 1 0 132665415 1184182272 282599 4089446400 4194304 7136930 140734544158288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10764/statm: 289107 282599 409 719 0 288386 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 1156428 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 11329 /proc/meminfo: memFree=30140924/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=1197616 CPUtime=1782.34 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 296294 0 0 0 172934 5300 0 0 25 0 1 0 132665415 1226358784 293285 4089446400 4194304 7136930 140734544158288 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10764/statm: 299404 293285 409 719 0 298683 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1197616 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 4/180 11333 /proc/meminfo: memFree=30087576/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=1208468 CPUtime=1800.05 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 299122 0 0 0 174613 5392 0 0 25 0 1 0 132665415 1237471232 296113 4089446400 4194304 7136930 140734544158288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/10764/statm: 302117 296113 409 719 0 301396 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1208468 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -10764 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/180 11334 /proc/meminfo: memFree=30121924/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=1201732 CPUtime=1801.45 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 299128 0 0 0 174753 5392 0 0 25 0 1 0 132665415 1230573568 294435 4089446400 4194304 7136930 140734544158288 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/10764/statm: 300433 294435 415 719 0 299712 0 Current children cumulated CPU time (s) 1801.45 Current children cumulated vsize (KiB) 1201732 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 11334 /proc/meminfo: memFree=30150556/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=1174672 CPUtime=1801.85 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 299128 0 0 0 174793 5392 0 0 25 0 1 0 132665415 1202864128 287670 4089446400 4194304 7136930 140734544158288 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/10764/statm: 293668 287670 415 719 0 292947 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 1174672 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 11334 /proc/meminfo: memFree=30150556/32951124 swapFree=67111528/67111528 [pid=10764] ppid=10762 vsize=1161068 CPUtime=1802.04 /proc/10764/stat : 10764 (pbscip.linux.x8) R 10762 10764 9536 0 -1 4202496 299128 0 0 0 174812 5392 0 0 25 0 1 0 132665415 1188933632 284269 4089446400 4194304 7136930 140734544158288 18446744073709551615 6165639 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/10764/statm: 290267 284269 415 719 0 289546 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 1161068 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.05 CPU time (s): 1802.1 CPU user time (s): 1748.14 CPU system time (s): 53.9668 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1208468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1748.14 system time used= 53.9668 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 299128 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 1842 runsolver used 2.83057 second user time and 6.27804 second system time The end
Begin job on node109 at 2010-06-30 18:01:21 IDJOB=2693636 IDBENCH=79020 IDSOLVER=1206 FILE ID=node109/2693636-1277913681 PBS_JOBID= 11197242 Free space on /tmp= 74204 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-tlan2.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-2693636-1277913681/watcher-2693636-1277913681 -o /tmp/evaluation-result-2693636-1277913681/solver-2693636-1277913681 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693636-1277913681.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5f8009069df980e2f8c5fa5b8614d35c RANDOM SEED=36167978 node109.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.817 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.63 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.817 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.75 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.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.82 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.817 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.817 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.74 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.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30938880 kB Buffers: 195060 kB Cached: 1049988 kB SwapCached: 0 kB Active: 1136912 kB Inactive: 730896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30938880 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3532 kB Writeback: 0 kB AnonPages: 622100 kB Mapped: 17492 kB Slab: 80432 kB PageTables: 5912 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 784468 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= 74204 MiB End job on node109 at 2010-06-30 18:31:23