Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (MO) | 781.056 | 781.032 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-404_wcsp.wbo |
| MD5SUM | 2413d46290c8b1663f08f424871383e0 |
| 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 | 114 |
| Best CPU time to get the best result obtained on this benchmark | 0.306952 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 258 |
| Total number of constraints | 1137 |
| Number of soft constraints | 1037 |
| Number of constraints which are clauses | 1037 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 4 |
| Top cost | 164 |
| Min constraint cost | 1 |
| Max constraint cost | 164 |
| Sum of constraints costs | 153831 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 5 |
| Number of bits of the biggest sum of numbers | 3 |
| 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-2700490-1278535669.wbo>
0.00/0.01 c original problem has 2332 variables (1295 bin, 0 int, 0 impl, 1037 cont) and 2175 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.01/0.02 c presolving:
0.01/0.03 c (round 1) 1008 del vars, 72 del conss, 937 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1179 impls, 29 clqs
0.01/0.04 c (round 2) 1945 del vars, 1009 del conss, 1037 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3017 impls, 29 clqs
0.01/0.06 c (round 3) 1945 del vars, 1009 del conss, 1037 chg bounds, 0 chg sides, 0 chg coeffs, 1066 upgd conss, 3017 impls, 29 clqs
0.08/0.10 c presolving (4 rounds):
0.08/0.10 c 1945 deleted vars, 1009 deleted constraints, 1037 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.08/0.10 c 7567 implications, 29 cliques
0.08/0.10 c presolved problem has 387 variables (287 bin, 0 int, 0 impl, 100 cont) and 1166 constraints
0.08/0.10 c 100 constraints of type <indicator>
0.08/0.10 c 100 constraints of type <varbound>
0.08/0.10 c 29 constraints of type <setppc>
0.08/0.10 c 937 constraints of type <logicor>
0.08/0.10 c transformed objective value is always integral (scale: 1)
0.08/0.10 c Presolving Time: 0.08
0.08/0.10 c - non default parameters ----------------------------------------------------------------------
0.08/0.10 c # SCIP version 1.2.1.2
0.08/0.10 c
0.08/0.10 c # frequency for displaying node information lines
0.08/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.08/0.10 c display/freq = 10000
0.08/0.10 c
0.08/0.10 c # maximal time in seconds to run
0.08/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.10 c limits/time = 1799.99
0.08/0.10 c
0.08/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.10 c limits/memory = 3420
0.08/0.10 c
0.08/0.10 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.08/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.08/0.10 c lp/solvefreq = -1
0.08/0.10 c
0.08/0.10 c # should presolving try to simplify inequalities
0.08/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.10 c constraints/linear/simplifyinequalities = TRUE
0.08/0.10 c
0.08/0.10 c # should presolving try to simplify knapsacks
0.08/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.08/0.10 c
0.08/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.08/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.10 c separating/rapidlearning/freq = 0
0.08/0.10 c
0.08/0.10 c -----------------------------------------------------------------------------------------------
0.08/0.10 c start solving
0.08/0.10 c
0.08/0.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.08/0.10 c 0.1s| 1 | 2 | 0 | - |6931k| 0 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.89/1.96 c 1.8s| 10000 | 10001 | 0 | 0.0 | 16M| 36 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 6.400000e+01 | -- | Inf
3.69/3.71 c 3.5s| 20000 | 20001 | 0 | 0.0 | 25M| 38 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 6.800000e+01 | -- | Inf
5.50/5.56 c 5.2s| 30000 | 30001 | 0 | 0.0 | 34M| 38 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.000000e+01 | -- | Inf
7.39/7.41 c 7.0s| 40000 | 40001 | 0 | 0.0 | 44M| 38 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.000000e+01 | -- | Inf
9.19/9.25 c 8.7s| 50000 | 50001 | 0 | 0.0 | 55M| 41 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.100000e+01 | -- | Inf
11.09/11.14 c 10.5s| 60000 | 60001 | 0 | 0.0 | 66M| 42 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.200000e+01 | -- | Inf
12.90/12.98 c 12.2s| 70000 | 70001 | 0 | 0.0 | 76M| 43 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.300000e+01 | -- | Inf
14.79/14.84 c 13.9s| 80000 | 80001 | 0 | 0.0 | 86M| 43 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.300000e+01 | -- | Inf
16.59/16.68 c 15.7s| 90000 | 90001 | 0 | 0.0 | 96M| 44 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.400000e+01 | -- | Inf
18.49/18.53 c 17.4s|100000 |100001 | 0 | 0.0 | 106M| 44 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.400000e+01 | -- | Inf
20.29/20.34 c 19.1s|110000 |110001 | 0 | 0.0 | 116M| 44 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.400000e+01 | -- | Inf
22.09/22.13 c 20.8s|120000 |120001 | 0 | 0.0 | 125M| 44 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.500000e+01 | -- | Inf
23.89/23.97 c 22.5s|130000 |130001 | 0 | 0.0 | 135M| 44 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.500000e+01 | -- | Inf
25.69/25.72 c 24.1s|140000 |140001 | 0 | 0.0 | 143M| 44 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.500000e+01 | -- | Inf
27.40/27.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.40/27.49 c 25.8s|150000 |150001 | 0 | 0.0 | 152M| 45 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.600000e+01 | -- | Inf
29.19/29.25 c 27.4s|160000 |160001 | 0 | 0.0 | 162M| 45 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.600000e+01 | -- | Inf
30.99/31.01 c 29.1s|170000 |170001 | 0 | 0.0 | 171M| 45 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.600000e+01 | -- | Inf
32.69/32.78 c 30.7s|180000 |180001 | 0 | 0.0 | 180M| 46 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.600000e+01 | -- | Inf
34.49/34.54 c 32.4s|190000 |190001 | 0 | 0.0 | 189M| 46 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.700000e+01 | -- | Inf
36.30/36.31 c 34.1s|200000 |200001 | 0 | 0.0 | 198M| 46 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.700000e+01 | -- | Inf
37.99/38.07 c 35.7s|210000 |210001 | 0 | 0.0 | 206M| 46 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.700000e+01 | -- | Inf
39.79/39.82 c 37.3s|220000 |220001 | 0 | 0.0 | 214M| 46 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.700000e+01 | -- | Inf
41.59/41.61 c 39.0s|230000 |230001 | 0 | 0.0 | 224M| 47 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.800000e+01 | -- | Inf
43.39/43.45 c 40.8s|240000 |240001 | 0 | 0.0 | 234M| 47 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.800000e+01 | -- | Inf
45.19/45.23 c 42.5s|250000 |250001 | 0 | 0.0 | 243M| 47 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.800000e+01 | -- | Inf
47.00/47.01 c 44.1s|260000 |260001 | 0 | 0.0 | 252M| 47 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.800000e+01 | -- | Inf
48.69/48.78 c 45.8s|270000 |270001 | 0 | 0.0 | 261M| 47 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.800000e+01 | -- | Inf
50.50/50.55 c 47.4s|280000 |280001 | 0 | 0.0 | 270M| 47 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.900000e+01 | -- | Inf
52.29/52.34 c 49.1s|290000 |290001 | 0 | 0.0 | 280M| 47 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.900000e+01 | -- | Inf
53.99/54.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.99/54.09 c 50.8s|300000 |300001 | 0 | 0.0 | 288M| 47 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.900000e+01 | -- | Inf
55.79/55.83 c 52.4s|310000 |310001 | 0 | 0.0 | 297M| 47 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.900000e+01 | -- | Inf
57.49/57.56 c 54.0s|320000 |320001 | 0 | 0.0 | 305M| 47 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.900000e+01 | -- | Inf
59.19/59.28 c 55.6s|330000 |330001 | 0 | 0.0 | 313M| 47 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.900000e+01 | -- | Inf
60.90/60.99 c 57.2s|340000 |340001 | 0 | 0.0 | 321M| 47 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 7.900000e+01 | -- | Inf
62.70/62.71 c 58.8s|350000 |350001 | 0 | 0.0 | 329M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.000000e+01 | -- | Inf
64.39/64.44 c 60.4s|360000 |360001 | 0 | 0.0 | 338M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.000000e+01 | -- | Inf
66.09/66.19 c 62.1s|370000 |370001 | 0 | 0.0 | 347M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.000000e+01 | -- | Inf
67.90/67.92 c 63.7s|380000 |380001 | 0 | 0.0 | 356M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.000000e+01 | -- | Inf
69.59/69.66 c 65.3s|390000 |390001 | 0 | 0.0 | 364M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.000000e+01 | -- | Inf
71.29/71.40 c 66.9s|400000 |400001 | 0 | 0.0 | 373M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.000000e+01 | -- | Inf
73.10/73.14 c 68.5s|410000 |410001 | 0 | 0.0 | 381M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.000000e+01 | -- | Inf
74.80/74.87 c 70.2s|420000 |420001 | 0 | 0.0 | 390M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.000000e+01 | -- | Inf
76.59/76.60 c 71.8s|430000 |430001 | 0 | 0.0 | 398M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.000000e+01 | -- | Inf
78.29/78.32 c 73.4s|440000 |440001 | 0 | 0.0 | 407M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.100000e+01 | -- | Inf
80.00/80.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.00/80.02 c 75.0s|450000 |450001 | 0 | 0.0 | 415M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.100000e+01 | -- | Inf
81.70/81.75 c 76.6s|460000 |460001 | 0 | 0.0 | 424M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.100000e+01 | -- | Inf
83.39/83.47 c 78.2s|470000 |470001 | 0 | 0.0 | 432M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.100000e+01 | -- | Inf
85.09/85.19 c 79.8s|480000 |480001 | 0 | 0.0 | 441M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.100000e+01 | -- | Inf
86.90/86.92 c 81.4s|490000 |490001 | 0 | 0.0 | 449M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.100000e+01 | -- | Inf
88.60/88.63 c 83.0s|500000 |500001 | 0 | 0.0 | 457M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.100000e+01 | -- | Inf
90.29/90.34 c 84.6s|510000 |510001 | 0 | 0.0 | 465M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.100000e+01 | -- | Inf
92.00/92.04 c 86.2s|520000 |520001 | 0 | 0.0 | 473M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.100000e+01 | -- | Inf
93.69/93.75 c 87.8s|530000 |530001 | 0 | 0.0 | 481M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.100000e+01 | -- | Inf
95.40/95.46 c 89.4s|540000 |540001 | 0 | 0.0 | 489M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.100000e+01 | -- | Inf
97.10/97.16 c 91.0s|550000 |550001 | 0 | 0.0 | 497M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.100000e+01 | -- | Inf
98.80/98.88 c 92.6s|560000 |560001 | 0 | 0.0 | 505M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.100000e+01 | -- | Inf
100.49/100.59 c 94.2s|570000 |570001 | 0 | 0.0 | 513M| 48 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.100000e+01 | -- | Inf
102.20/102.29 c 95.8s|580000 |580001 | 0 | 0.0 | 522M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.200000e+01 | -- | Inf
103.90/103.98 c 97.4s|590000 |590001 | 0 | 0.0 | 530M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.200000e+01 | -- | Inf
105.60/105.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.60/105.67 c 99.0s|600000 |600001 | 0 | 0.0 | 539M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.200000e+01 | -- | Inf
107.29/107.36 c 101s|610000 |610001 | 0 | 0.0 | 547M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.200000e+01 | -- | Inf
108.99/109.06 c 102s|620000 |620001 | 0 | 0.0 | 556M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.200000e+01 | -- | Inf
110.69/110.74 c 104s|630000 |630001 | 0 | 0.0 | 564M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.200000e+01 | -- | Inf
112.39/112.43 c 105s|640000 |640001 | 0 | 0.0 | 573M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.200000e+01 | -- | Inf
114.09/114.14 c 107s|650000 |650001 | 0 | 0.0 | 581M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.200000e+01 | -- | Inf
115.79/115.84 c 109s|660000 |660001 | 0 | 0.0 | 590M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.200000e+01 | -- | Inf
117.49/117.55 c 110s|670000 |670001 | 0 | 0.0 | 598M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.200000e+01 | -- | Inf
119.19/119.25 c 112s|680000 |680001 | 0 | 0.0 | 607M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.200000e+01 | -- | Inf
120.90/120.94 c 113s|690000 |690001 | 0 | 0.0 | 615M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.200000e+01 | -- | Inf
122.59/122.63 c 115s|700000 |700001 | 0 | 0.0 | 623M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.300000e+01 | -- | Inf
124.20/124.29 c 116s|710000 |710001 | 0 | 0.0 | 632M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.300000e+01 | -- | Inf
125.89/125.96 c 118s|720000 |720001 | 0 | 0.0 | 640M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.300000e+01 | -- | Inf
127.60/127.63 c 120s|730000 |730001 | 0 | 0.0 | 648M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.300000e+01 | -- | Inf
129.30/129.32 c 121s|740000 |740001 | 0 | 0.0 | 656M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.300000e+01 | -- | Inf
131.00/131.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.00/131.00 c 123s|750000 |750001 | 0 | 0.0 | 665M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.300000e+01 | -- | Inf
132.60/132.69 c 124s|760000 |760001 | 0 | 0.0 | 673M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.300000e+01 | -- | Inf
134.29/134.36 c 126s|770000 |770001 | 0 | 0.0 | 681M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.300000e+01 | -- | Inf
135.99/136.04 c 127s|780000 |780001 | 0 | 0.0 | 689M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.300000e+01 | -- | Inf
137.69/137.71 c 129s|790000 |790001 | 0 | 0.0 | 697M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.300000e+01 | -- | Inf
139.30/139.38 c 130s|800000 |800001 | 0 | 0.0 | 705M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.300000e+01 | -- | Inf
140.99/141.03 c 132s|810000 |810001 | 0 | 0.0 | 713M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.300000e+01 | -- | Inf
142.60/142.69 c 134s|820000 |820001 | 0 | 0.0 | 721M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.300000e+01 | -- | Inf
144.29/144.35 c 135s|830000 |830001 | 0 | 0.0 | 729M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.300000e+01 | -- | Inf
145.99/146.01 c 137s|840000 |840001 | 0 | 0.0 | 737M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.300000e+01 | -- | Inf
147.59/147.68 c 138s|850000 |850001 | 0 | 0.0 | 745M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.300000e+01 | -- | Inf
149.30/149.34 c 140s|860000 |860001 | 0 | 0.0 | 753M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.300000e+01 | -- | Inf
150.90/151.00 c 141s|870000 |870001 | 0 | 0.0 | 760M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.300000e+01 | -- | Inf
152.60/152.65 c 143s|880000 |880001 | 0 | 0.0 | 768M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.300000e+01 | -- | Inf
154.29/154.31 c 144s|890000 |890001 | 0 | 0.0 | 776M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.300000e+01 | -- | Inf
155.89/155.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.89/155.96 c 146s|900000 |900001 | 0 | 0.0 | 784M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.300000e+01 | -- | Inf
157.60/157.61 c 147s|910000 |910001 | 0 | 0.0 | 792M| 51 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.300000e+01 | -- | Inf
159.30/159.30 c 149s|920000 |920001 | 0 | 0.0 | 801M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.400000e+01 | -- | Inf
160.90/160.98 c 151s|930000 |930001 | 0 | 0.0 | 809M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.400000e+01 | -- | Inf
162.60/162.66 c 152s|940000 |940001 | 0 | 0.0 | 818M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.400000e+01 | -- | Inf
164.30/164.35 c 154s|950000 |950001 | 0 | 0.0 | 826M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.400000e+01 | -- | Inf
166.00/166.03 c 155s|960000 |960001 | 0 | 0.0 | 834M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.400000e+01 | -- | Inf
167.69/167.71 c 157s|970000 |970001 | 0 | 0.0 | 843M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.400000e+01 | -- | Inf
169.30/169.38 c 158s|980000 |980001 | 0 | 0.0 | 851M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.400000e+01 | -- | Inf
171.00/171.05 c 160s|990000 |990001 | 0 | 0.0 | 859M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.400000e+01 | -- | Inf
172.71/172.73 c 162s| 1000k| 1000k| 0 | 0.0 | 867M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.400000e+01 | -- | Inf
174.39/174.41 c 163s| 1010k| 1010k| 0 | 0.0 | 875M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.400000e+01 | -- | Inf
176.01/176.08 c 165s| 1020k| 1020k| 0 | 0.0 | 883M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.400000e+01 | -- | Inf
177.69/177.75 c 166s| 1030k| 1030k| 0 | 0.0 | 891M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.400000e+01 | -- | Inf
179.40/179.43 c 168s| 1040k| 1040k| 0 | 0.0 | 899M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.400000e+01 | -- | Inf
181.09/181.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.09/181.10 c 169s| 1050k| 1050k| 0 | 0.0 | 907M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.400000e+01 | -- | Inf
182.70/182.78 c 171s| 1060k| 1060k| 0 | 0.0 | 915M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.400000e+01 | -- | Inf
184.40/184.44 c 173s| 1070k| 1070k| 0 | 0.0 | 923M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.400000e+01 | -- | Inf
186.00/186.08 c 174s| 1080k| 1080k| 0 | 0.0 | 931M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
187.70/187.71 c 176s| 1090k| 1090k| 0 | 0.0 | 939M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
189.30/189.33 c 177s| 1100k| 1100k| 0 | 0.0 | 947M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
190.89/190.96 c 179s| 1110k| 1110k| 0 | 0.0 | 955M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
192.60/192.60 c 180s| 1120k| 1120k| 0 | 0.0 | 963M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
194.20/194.23 c 182s| 1130k| 1130k| 0 | 0.0 | 970M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
195.81/195.86 c 183s| 1140k| 1140k| 0 | 0.0 | 978M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
197.50/197.51 c 185s| 1150k| 1150k| 0 | 0.0 | 986M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
199.10/199.13 c 186s| 1160k| 1160k| 0 | 0.0 | 993M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
200.70/200.78 c 188s| 1170k| 1170k| 0 | 0.0 |1001M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
202.30/202.40 c 189s| 1180k| 1180k| 0 | 0.0 |1009M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
204.00/204.03 c 191s| 1190k| 1190k| 0 | 0.0 |1016M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
205.60/205.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
205.60/205.66 c 192s| 1200k| 1200k| 0 | 0.0 |1024M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
207.30/207.30 c 194s| 1210k| 1210k| 0 | 0.0 |1032M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
208.91/208.92 c 195s| 1220k| 1220k| 0 | 0.0 |1039M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
210.50/210.56 c 197s| 1230k| 1230k| 0 | 0.0 |1047M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
212.09/212.18 c 198s| 1240k| 1240k| 0 | 0.0 |1054M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
213.79/213.81 c 200s| 1250k| 1250k| 0 | 0.0 |1062M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
215.40/215.46 c 201s| 1260k| 1260k| 0 | 0.0 |1069M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
217.00/217.09 c 203s| 1270k| 1270k| 0 | 0.0 |1077M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
218.70/218.73 c 204s| 1280k| 1280k| 0 | 0.0 |1085M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
220.30/220.36 c 206s| 1290k| 1290k| 0 | 0.0 |1092M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
221.90/221.99 c 208s| 1300k| 1300k| 0 | 0.0 |1100M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
223.60/223.64 c 209s| 1310k| 1310k| 0 | 0.0 |1107M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
225.19/225.26 c 211s| 1320k| 1320k| 0 | 0.0 |1115M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
226.90/226.90 c 212s| 1330k| 1330k| 0 | 0.0 |1122M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
228.50/228.53 c 214s| 1340k| 1340k| 0 | 0.0 |1130M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
230.10/230.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
230.10/230.17 c 215s| 1350k| 1350k| 0 | 0.0 |1137M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
231.80/231.81 c 217s| 1360k| 1360k| 0 | 0.0 |1145M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
233.40/233.47 c 218s| 1370k| 1370k| 0 | 0.0 |1153M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
235.10/235.12 c 220s| 1380k| 1380k| 0 | 0.0 |1160M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
236.70/236.79 c 221s| 1390k| 1390k| 0 | 0.0 |1168M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
238.40/238.45 c 223s| 1400k| 1400k| 0 | 0.0 |1176M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
240.10/240.12 c 224s| 1410k| 1410k| 0 | 0.0 |1184M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
241.70/241.78 c 226s| 1420k| 1420k| 0 | 0.0 |1191M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
243.39/243.43 c 228s| 1430k| 1430k| 0 | 0.0 |1199M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
245.00/245.09 c 229s| 1440k| 1440k| 0 | 0.0 |1207M| 52 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.500000e+01 | -- | Inf
246.70/246.76 c 231s| 1450k| 1450k| 0 | 0.0 |1215M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
248.30/248.39 c 232s| 1460k| 1460k| 0 | 0.0 |1223M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
250.00/250.03 c 234s| 1470k| 1470k| 0 | 0.0 |1231M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
251.60/251.65 c 235s| 1480k| 1480k| 0 | 0.0 |1238M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
253.20/253.29 c 237s| 1490k| 1490k| 0 | 0.0 |1246M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
254.90/254.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.90/254.93 c 238s| 1500k| 1500k| 0 | 0.0 |1254M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
256.50/256.56 c 240s| 1510k| 1510k| 0 | 0.0 |1261M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
258.20/258.20 c 241s| 1520k| 1520k| 0 | 0.0 |1269M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
259.80/259.86 c 243s| 1530k| 1530k| 0 | 0.0 |1277M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
261.40/261.48 c 244s| 1540k| 1540k| 0 | 0.0 |1284M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
263.10/263.14 c 246s| 1550k| 1550k| 0 | 0.0 |1292M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
264.70/264.75 c 248s| 1560k| 1560k| 0 | 0.0 |1299M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
266.40/266.40 c 249s| 1570k| 1570k| 0 | 0.0 |1307M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
268.00/268.02 c 251s| 1580k| 1580k| 0 | 0.0 |1315M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
269.60/269.65 c 252s| 1590k| 1590k| 0 | 0.0 |1322M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
271.20/271.29 c 254s| 1600k| 1600k| 0 | 0.0 |1330M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
272.90/272.91 c 255s| 1610k| 1610k| 0 | 0.0 |1338M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
274.50/274.54 c 257s| 1620k| 1620k| 0 | 0.0 |1345M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
276.10/276.17 c 258s| 1630k| 1630k| 0 | 0.0 |1353M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
277.80/277.80 c 260s| 1640k| 1640k| 0 | 0.0 |1360M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
279.40/279.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.40/279.44 c 261s| 1650k| 1650k| 0 | 0.0 |1368M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
281.00/281.06 c 263s| 1660k| 1660k| 0 | 0.0 |1375M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
282.61/282.70 c 264s| 1670k| 1670k| 0 | 0.0 |1383M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
284.30/284.34 c 266s| 1680k| 1680k| 0 | 0.0 |1391M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
285.91/285.97 c 267s| 1690k| 1690k| 0 | 0.0 |1398M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
287.60/287.62 c 269s| 1700k| 1700k| 0 | 0.0 |1406M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
289.20/289.26 c 270s| 1710k| 1710k| 0 | 0.0 |1413M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
290.90/290.90 c 272s| 1720k| 1720k| 0 | 0.0 |1421M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
292.51/292.54 c 274s| 1730k| 1730k| 0 | 0.0 |1429M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
294.20/294.20 c 275s| 1740k| 1740k| 0 | 0.0 |1437M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
295.80/295.83 c 277s| 1750k| 1750k| 0 | 0.0 |1444M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
297.40/297.48 c 278s| 1760k| 1760k| 0 | 0.0 |1452M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
299.11/299.12 c 280s| 1770k| 1770k| 0 | 0.0 |1459M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
300.70/300.75 c 281s| 1780k| 1780k| 0 | 0.0 |1467M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
302.30/302.39 c 283s| 1790k| 1790k| 0 | 0.0 |1474M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
304.00/304.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.00/304.04 c 284s| 1800k| 1800k| 0 | 0.0 |1482M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
305.60/305.67 c 286s| 1810k| 1810k| 0 | 0.0 |1490M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
307.30/307.31 c 287s| 1820k| 1820k| 0 | 0.0 |1497M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
308.90/308.93 c 289s| 1830k| 1830k| 0 | 0.0 |1504M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.600000e+01 | -- | Inf
310.50/310.55 c 290s| 1840k| 1840k| 0 | 0.0 |1512M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
312.10/312.18 c 292s| 1850k| 1850k| 0 | 0.0 |1520M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
313.80/313.82 c 293s| 1860k| 1860k| 0 | 0.0 |1528M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
315.40/315.46 c 295s| 1870k| 1870k| 0 | 0.0 |1536M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
317.10/317.10 c 296s| 1880k| 1880k| 0 | 0.0 |1543M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
318.70/318.73 c 298s| 1890k| 1890k| 0 | 0.0 |1551M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
320.30/320.36 c 299s| 1900k| 1900k| 0 | 0.0 |1559M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
322.00/322.00 c 301s| 1910k| 1910k| 0 | 0.0 |1567M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
323.60/323.63 c 303s| 1920k| 1920k| 0 | 0.0 |1575M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
325.20/325.26 c 304s| 1930k| 1930k| 0 | 0.0 |1582M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
326.80/326.88 c 306s| 1940k| 1940k| 0 | 0.0 |1590M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
328.50/328.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
328.50/328.51 c 307s| 1950k| 1950k| 0 | 0.0 |1598M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
330.10/330.15 c 309s| 1960k| 1960k| 0 | 0.0 |1605M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
331.70/331.78 c 310s| 1970k| 1970k| 0 | 0.0 |1613M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
333.41/333.41 c 312s| 1980k| 1980k| 0 | 0.0 |1620M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
335.00/335.03 c 313s| 1990k| 1990k| 0 | 0.0 |1628M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
336.61/336.67 c 315s| 2000k| 2000k| 0 | 0.0 |1636M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
338.30/338.30 c 316s| 2010k| 2010k| 0 | 0.0 |1643M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
339.91/339.93 c 318s| 2020k| 2020k| 0 | 0.0 |1651M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
341.50/341.56 c 319s| 2030k| 2030k| 0 | 0.0 |1659M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
343.11/343.19 c 321s| 2040k| 2040k| 0 | 0.0 |1666M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
344.80/344.81 c 322s| 2050k| 2050k| 0 | 0.0 |1674M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
346.41/346.46 c 324s| 2060k| 2060k| 0 | 0.0 |1682M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
348.00/348.08 c 325s| 2070k| 2070k| 0 | 0.0 |1689M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
349.70/349.72 c 327s| 2080k| 2080k| 0 | 0.0 |1697M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
351.30/351.37 c 328s| 2090k| 2090k| 0 | 0.0 |1704M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
352.90/353.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
352.90/353.00 c 330s| 2100k| 2100k| 0 | 0.0 |1712M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
354.60/354.63 c 331s| 2110k| 2110k| 0 | 0.0 |1719M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
356.20/356.28 c 333s| 2120k| 2120k| 0 | 0.0 |1727M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
357.90/357.92 c 335s| 2130k| 2130k| 0 | 0.0 |1735M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
359.50/359.55 c 336s| 2140k| 2140k| 0 | 0.0 |1742M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
361.10/361.19 c 338s| 2150k| 2150k| 0 | 0.0 |1750M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
362.80/362.83 c 339s| 2160k| 2160k| 0 | 0.0 |1757M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
364.41/364.47 c 341s| 2170k| 2170k| 0 | 0.0 |1765M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
366.10/366.12 c 342s| 2180k| 2180k| 0 | 0.0 |1772M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
367.70/367.75 c 344s| 2190k| 2190k| 0 | 0.0 |1780M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
369.40/369.41 c 345s| 2200k| 2200k| 0 | 0.0 |1788M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
371.00/371.05 c 347s| 2210k| 2210k| 0 | 0.0 |1795M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
372.70/372.71 c 348s| 2220k| 2220k| 0 | 0.0 |1803M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
374.30/374.36 c 350s| 2230k| 2230k| 0 | 0.0 |1811M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
376.00/376.00 c 351s| 2240k| 2240k| 0 | 0.0 |1818M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
377.60/377.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.60/377.67 c 353s| 2250k| 2250k| 0 | 0.0 |1826M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
379.31/379.33 c 354s| 2260k| 2260k| 0 | 0.0 |1833M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
381.00/381.00 c 356s| 2270k| 2270k| 0 | 0.0 |1841M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
382.60/382.66 c 358s| 2280k| 2280k| 0 | 0.0 |1849M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
384.31/384.31 c 359s| 2290k| 2290k| 0 | 0.0 |1856M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.700000e+01 | -- | Inf
385.91/385.99 c 361s| 2300k| 2300k| 0 | 0.0 |1865M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
387.51/387.58 c 362s| 2310k| 2310k| 0 | 0.0 |1872M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
389.10/389.19 c 364s| 2320k| 2320k| 0 | 0.0 |1880M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
390.70/390.79 c 365s| 2330k| 2330k| 0 | 0.0 |1887M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
392.41/392.41 c 367s| 2340k| 2340k| 0 | 0.0 |1895M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
394.01/394.04 c 368s| 2350k| 2350k| 0 | 0.0 |1902M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
395.60/395.65 c 370s| 2360k| 2360k| 0 | 0.0 |1910M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
397.21/397.25 c 371s| 2370k| 2370k| 0 | 0.0 |1917M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
398.81/398.89 c 373s| 2380k| 2380k| 0 | 0.0 |1924M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
400.41/400.48 c 374s| 2390k| 2390k| 0 | 0.0 |1932M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
402.10/402.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.10/402.10 c 376s| 2400k| 2400k| 0 | 0.0 |1939M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
403.70/403.72 c 377s| 2410k| 2410k| 0 | 0.0 |1946M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
405.31/405.34 c 379s| 2420k| 2420k| 0 | 0.0 |1954M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
406.91/406.98 c 380s| 2430k| 2430k| 0 | 0.0 |1961M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
408.50/408.56 c 382s| 2440k| 2440k| 0 | 0.0 |1968M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
410.10/410.19 c 383s| 2450k| 2450k| 0 | 0.0 |1976M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
411.80/411.82 c 385s| 2460k| 2460k| 0 | 0.0 |1983M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
413.41/413.43 c 386s| 2470k| 2470k| 0 | 0.0 |1990M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
415.00/415.06 c 388s| 2480k| 2480k| 0 | 0.0 |1998M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
416.71/416.70 c 389s| 2490k| 2490k| 0 | 0.0 |2005M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
418.21/418.29 c 391s| 2500k| 2500k| 0 | 0.0 |2012M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
419.90/419.91 c 392s| 2510k| 2510k| 0 | 0.0 |2019M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
421.50/421.56 c 394s| 2520k| 2520k| 0 | 0.0 |2027M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
423.11/423.17 c 395s| 2530k| 2530k| 0 | 0.0 |2034M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
424.70/424.78 c 397s| 2540k| 2540k| 0 | 0.0 |2041M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
426.41/426.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
426.41/426.42 c 398s| 2550k| 2550k| 0 | 0.0 |2049M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
428.00/428.06 c 400s| 2560k| 2560k| 0 | 0.0 |2056M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
429.60/429.66 c 401s| 2570k| 2570k| 0 | 0.0 |2063M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
431.21/431.28 c 403s| 2580k| 2580k| 0 | 0.0 |2071M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
432.91/432.91 c 404s| 2590k| 2590k| 0 | 0.0 |2078M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
434.51/434.56 c 406s| 2600k| 2600k| 0 | 0.0 |2086M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
436.11/436.17 c 407s| 2610k| 2610k| 0 | 0.0 |2093M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
437.81/437.80 c 409s| 2620k| 2620k| 0 | 0.0 |2100M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
439.41/439.44 c 410s| 2630k| 2630k| 0 | 0.0 |2108M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
441.01/441.09 c 412s| 2640k| 2640k| 0 | 0.0 |2115M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
442.71/442.73 c 414s| 2650k| 2650k| 0 | 0.0 |2123M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
444.31/444.34 c 415s| 2660k| 2660k| 0 | 0.0 |2130M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
445.90/445.98 c 417s| 2670k| 2670k| 0 | 0.0 |2137M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
447.61/447.62 c 418s| 2680k| 2680k| 0 | 0.0 |2145M| 54 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
449.21/449.26 c 420s| 2690k| 2690k| 0 | 0.0 |2152M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
450.80/450.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
450.80/450.88 c 421s| 2700k| 2700k| 0 | 0.0 |2159M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
452.50/452.50 c 423s| 2710k| 2710k| 0 | 0.0 |2167M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
454.11/454.13 c 424s| 2720k| 2720k| 0 | 0.0 |2174M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
455.71/455.78 c 426s| 2730k| 2730k| 0 | 0.0 |2182M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
457.41/457.40 c 427s| 2740k| 2740k| 0 | 0.0 |2189M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
459.01/459.02 c 429s| 2750k| 2750k| 0 | 0.0 |2196M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
460.61/460.67 c 430s| 2760k| 2760k| 0 | 0.0 |2204M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
462.30/462.30 c 432s| 2770k| 2770k| 0 | 0.0 |2211M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
463.91/463.93 c 433s| 2780k| 2780k| 0 | 0.0 |2219M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
465.51/465.57 c 435s| 2790k| 2790k| 0 | 0.0 |2226M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
467.21/467.20 c 436s| 2800k| 2800k| 0 | 0.0 |2233M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
468.81/468.83 c 438s| 2810k| 2810k| 0 | 0.0 |2241M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
470.41/470.47 c 439s| 2820k| 2820k| 0 | 0.0 |2248M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
472.10/472.10 c 441s| 2830k| 2830k| 0 | 0.0 |2256M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
473.70/473.74 c 443s| 2840k| 2840k| 0 | 0.0 |2263M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
475.31/475.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
475.31/475.37 c 444s| 2850k| 2850k| 0 | 0.0 |2271M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
477.01/477.01 c 446s| 2860k| 2860k| 0 | 0.0 |2278M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
478.61/478.66 c 447s| 2870k| 2870k| 0 | 0.0 |2286M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
480.30/480.31 c 449s| 2880k| 2880k| 0 | 0.0 |2293M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
481.91/481.97 c 450s| 2890k| 2890k| 0 | 0.0 |2301M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
483.60/483.62 c 452s| 2900k| 2900k| 0 | 0.0 |2309M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
485.21/485.25 c 453s| 2910k| 2910k| 0 | 0.0 |2316M| 55 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.800000e+01 | -- | Inf
486.91/486.91 c 455s| 2920k| 2920k| 0 | 0.0 |2324M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
488.51/488.53 c 456s| 2930k| 2930k| 0 | 0.0 |2332M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
490.11/490.16 c 458s| 2940k| 2940k| 0 | 0.0 |2339M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
491.72/491.78 c 459s| 2950k| 2950k| 0 | 0.0 |2347M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
493.41/493.40 c 461s| 2960k| 2960k| 0 | 0.0 |2355M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
495.01/495.03 c 462s| 2970k| 2970k| 0 | 0.0 |2362M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
496.61/496.66 c 464s| 2980k| 2980k| 0 | 0.0 |2370M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
498.22/498.29 c 465s| 2990k| 2990k| 0 | 0.0 |2377M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
499.91/499.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
499.91/499.91 c 467s| 3000k| 3000k| 0 | 0.0 |2385M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
501.51/501.54 c 468s| 3010k| 3010k| 0 | 0.0 |2392M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
503.10/503.16 c 470s| 3020k| 3020k| 0 | 0.0 |2400M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
504.71/504.78 c 472s| 3030k| 3030k| 0 | 0.0 |2407M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
506.41/506.40 c 473s| 3040k| 3040k| 0 | 0.0 |2415M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
508.01/508.03 c 475s| 3050k| 3050k| 0 | 0.0 |2422M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
509.60/509.66 c 476s| 3060k| 3060k| 0 | 0.0 |2430M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
511.20/511.27 c 478s| 3070k| 3070k| 0 | 0.0 |2437M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
512.91/512.90 c 479s| 3080k| 3080k| 0 | 0.0 |2444M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
514.51/514.53 c 481s| 3090k| 3090k| 0 | 0.0 |2452M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
516.10/516.13 c 482s| 3100k| 3100k| 0 | 0.0 |2459M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
517.71/517.75 c 484s| 3110k| 3110k| 0 | 0.0 |2466M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
519.31/519.37 c 485s| 3120k| 3120k| 0 | 0.0 |2473M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
521.00/521.00 c 487s| 3130k| 3130k| 0 | 0.0 |2481M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
522.60/522.61 c 488s| 3140k| 3140k| 0 | 0.0 |2488M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
524.21/524.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
524.21/524.23 c 490s| 3150k| 3150k| 0 | 0.0 |2495M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
525.81/525.85 c 491s| 3160k| 3160k| 0 | 0.0 |2503M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
527.40/527.49 c 493s| 3170k| 3170k| 0 | 0.0 |2510M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
529.01/529.10 c 494s| 3180k| 3180k| 0 | 0.0 |2517M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
530.71/530.72 c 496s| 3190k| 3190k| 0 | 0.0 |2525M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
532.31/532.34 c 497s| 3200k| 3200k| 0 | 0.0 |2532M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
533.90/533.98 c 499s| 3210k| 3210k| 0 | 0.0 |2539M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
535.50/535.57 c 500s| 3220k| 3220k| 0 | 0.0 |2546M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
537.21/537.21 c 502s| 3230k| 3230k| 0 | 0.0 |2554M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
538.81/538.82 c 503s| 3240k| 3240k| 0 | 0.0 |2561M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
540.41/540.45 c 505s| 3250k| 3250k| 0 | 0.0 |2569M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
542.01/542.08 c 506s| 3260k| 3260k| 0 | 0.0 |2576M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
543.61/543.69 c 508s| 3270k| 3270k| 0 | 0.0 |2583M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
545.30/545.31 c 509s| 3280k| 3280k| 0 | 0.0 |2590M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
546.91/546.93 c 511s| 3290k| 3290k| 0 | 0.0 |2598M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
548.51/548.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
548.51/548.57 c 512s| 3300k| 3300k| 0 | 0.0 |2605M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
550.20/550.20 c 514s| 3310k| 3310k| 0 | 0.0 |2612M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
551.81/551.81 c 515s| 3320k| 3320k| 0 | 0.0 |2619M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
553.41/553.44 c 517s| 3330k| 3330k| 0 | 0.0 |2627M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
555.11/555.10 c 518s| 3340k| 3340k| 0 | 0.0 |2634M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
556.71/556.72 c 520s| 3350k| 3350k| 0 | 0.0 |2642M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
558.31/558.36 c 521s| 3360k| 3360k| 0 | 0.0 |2649M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
559.91/559.96 c 523s| 3370k| 3370k| 0 | 0.0 |2656M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
561.61/561.61 c 524s| 3380k| 3380k| 0 | 0.0 |2664M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
563.21/563.24 c 526s| 3390k| 3390k| 0 | 0.0 |2671M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
564.81/564.89 c 528s| 3400k| 3400k| 0 | 0.0 |2678M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
566.52/566.51 c 529s| 3410k| 3410k| 0 | 0.0 |2685M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
568.11/568.15 c 531s| 3420k| 3420k| 0 | 0.0 |2693M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
569.72/569.79 c 532s| 3430k| 3430k| 0 | 0.0 |2700M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
571.41/571.43 c 534s| 3440k| 3440k| 0 | 0.0 |2708M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
573.01/573.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.01/573.03 c 535s| 3450k| 3450k| 0 | 0.0 |2715M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
574.61/574.67 c 537s| 3460k| 3460k| 0 | 0.0 |2722M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
576.32/576.32 c 538s| 3470k| 3470k| 0 | 0.0 |2730M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
577.91/577.92 c 540s| 3480k| 3480k| 0 | 0.0 |2737M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
579.51/579.57 c 541s| 3490k| 3490k| 0 | 0.0 |2744M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
581.21/581.21 c 543s| 3500k| 3500k| 0 | 0.0 |2751M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
582.81/582.82 c 544s| 3510k| 3510k| 0 | 0.0 |2759M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
584.41/584.47 c 546s| 3520k| 3520k| 0 | 0.0 |2766M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
586.11/586.12 c 547s| 3530k| 3530k| 0 | 0.0 |2774M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
587.71/587.74 c 549s| 3540k| 3540k| 0 | 0.0 |2781M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
589.31/589.39 c 550s| 3550k| 3550k| 0 | 0.0 |2788M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
591.01/591.02 c 552s| 3560k| 3560k| 0 | 0.0 |2796M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
592.61/592.68 c 553s| 3570k| 3570k| 0 | 0.0 |2804M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
594.31/594.31 c 555s| 3580k| 3580k| 0 | 0.0 |2811M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
595.91/595.95 c 556s| 3590k| 3590k| 0 | 0.0 |2819M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
597.51/597.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
597.51/597.58 c 558s| 3600k| 3600k| 0 | 0.0 |2826M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
599.21/599.28 c 560s| 3610k| 3610k| 0 | 0.0 |2835M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 9.000000e+01 | -- | Inf
600.81/600.86 c 561s| 3620k| 3620k| 0 | 0.0 |2842M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 9.000000e+01 | -- | Inf
602.41/602.44 c 562s| 3630k| 3630k| 0 | 0.0 |2850M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 9.000000e+01 | -- | Inf
604.01/604.03 c 564s| 3640k| 3640k| 0 | 0.0 |2857M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 9.000000e+01 | -- | Inf
605.61/605.61 c 565s| 3650k| 3650k| 0 | 0.0 |2864M| 56 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 9.000000e+01 | -- | Inf
606.61/606.68 c (node 3656877) switching to memory saving mode (mem: 2736.0M/3420.0M)
607.11/607.19 o 134
607.11/607.19 c * 567s| 3656k| 3656k| 0 | 0.0 |2868M| 86 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 9.000000e+01 | 1.340000e+02 | 48.89%
607.21/607.24 o 133
607.21/607.24 c * 567s| 3656k| 3656k| 0 | 0.0 |2868M| 86 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 9.000000e+01 | 1.330000e+02 | 47.78%
607.21/607.29 o 132
607.21/607.29 c * 567s| 3656k| 3656k| 0 | 0.0 |2869M| 86 | - | 387 |1166 | 0 | 0 | 0 | 0 | 0 | 9.000000e+01 | 1.320000e+02 | 46.67%
607.31/607.34 o 131
607.31/607.34 c * 567s| 3656k| 3656k| 0 | 0.0 |2869M| 86 | - | 387 |1176 | 0 | 0 | 0 | 10 | 0 | 9.000000e+01 | 1.310000e+02 | 45.56%
607.31/607.39 o 130
607.31/607.39 c * 567s| 3656k| 3656k| 0 | 0.0 |2869M| 86 | - | 387 |1206 | 0 | 0 | 0 | 40 | 0 | 9.000000e+01 | 1.300000e+02 | 44.44%
607.41/607.45 o 129
607.41/607.45 c * 567s| 3656k| 3656k| 0 | 0.0 |2869M| 86 | - | 387 |1216 | 0 | 0 | 0 | 50 | 0 | 9.000000e+01 | 1.290000e+02 | 43.33%
607.51/607.54 o 123
607.51/607.54 c * 567s| 3657k| 3656k| 0 | 0.0 |2869M| 109 | - | 387 |1834 | 0 | 0 | 0 | 668 | 0 | 9.000000e+01 | 1.230000e+02 | 36.67%
607.51/607.59 o 122
607.51/607.59 c * 567s| 3657k| 3656k| 0 | 0.0 |2869M| 109 | - | 387 |1834 | 0 | 0 | 0 | 668 | 0 | 9.000000e+01 | 1.220000e+02 | 35.56%
607.61/607.68 o 121
607.61/607.68 c * 567s| 3657k| 3656k| 0 | 0.0 |2869M| 109 | - | 387 |2545 | 0 | 0 | 0 |1379 | 0 | 9.000000e+01 | 1.210000e+02 | 34.44%
608.22/608.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
608.22/608.22 c 568s| 3660k| 3656k| 0 | 0.0 |2871M| 109 | - | 387 | 12k| 0 | 0 | 0 | 11k| 0 | 9.000000e+01 | 1.210000e+02 | 34.44%
608.51/608.56 o 120
608.51/608.56 c * 568s| 3661k| 3652k| 0 | 0.0 |2870M| 109 | - | 387 | 17k| 0 | 0 | 0 | 16k| 0 | 9.000000e+01 | 1.200000e+02 | 33.33%
609.41/609.43 o 119
609.41/609.43 c * 569s| 3665k| 3647k| 0 | 0.0 |2871M| 109 | - | 387 | 31k| 0 | 0 | 0 | 30k| 0 | 9.000000e+01 | 1.190000e+02 | 32.22%
609.51/609.58 o 118
609.51/609.58 c * 569s| 3665k| 3626k| 0 | 0.0 |2862M| 109 | - | 387 | 32k| 0 | 0 | 0 | 32k| 0 | 9.000000e+01 | 1.180000e+02 | 31.11%
610.42/610.49 c 570s| 3670k| 3626k| 0 | 0.0 |2865M| 109 | - | 387 | 48k| 0 | 0 | 0 | 48k| 0 | 9.000000e+01 | 1.180000e+02 | 31.11%
612.41/612.43 c 572s| 3680k| 3626k| 0 | 0.0 |2873M| 109 | - | 387 | 81k| 0 | 0 | 0 | 82k| 0 | 9.000000e+01 | 1.180000e+02 | 31.11%
614.31/614.32 c 574s| 3690k| 3626k| 0 | 0.0 |2880M| 109 | - | 387 | 114k| 0 | 0 | 0 | 115k| 0 | 9.000000e+01 | 1.180000e+02 | 31.11%
616.21/616.26 c 576s| 3700k| 3626k| 0 | 0.0 |2888M| 109 | - | 387 | 148k| 0 | 0 | 0 | 149k| 0 | 9.000000e+01 | 1.180000e+02 | 31.11%
618.02/618.07 c 577s| 3710k| 3626k| 0 | 0.0 |2895M| 109 | - | 387 | 180k| 0 | 0 | 0 | 182k| 0 | 9.000000e+01 | 1.180000e+02 | 31.11%
619.81/619.81 c 579s| 3720k| 3626k| 0 | 0.0 |2902M| 109 | - | 387 | 211k| 0 | 0 | 0 | 213k| 0 | 9.000000e+01 | 1.180000e+02 | 31.11%
620.91/620.91 o 117
620.91/620.91 c * 580s| 3725k| 3608k| 0 | 0.0 |2898M| 109 | - | 387 | 228k| 0 | 0 | 0 | 230k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
621.61/621.69 c 581s| 3730k| 3608k| 0 | 0.0 |2901M| 109 | - | 387 | 241k| 0 | 0 | 0 | 243k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
623.62/623.61 c 583s| 3740k| 3608k| 0 | 0.0 |2909M| 109 | - | 387 | 276k| 0 | 0 | 0 | 278k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
625.31/625.36 c 584s| 3750k| 3608k| 0 | 0.0 |2915M| 109 | - | 387 | 304k| 0 | 0 | 0 | 307k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
627.02/627.09 c 586s| 3760k| 3608k| 0 | 0.0 |2922M| 109 | - | 387 | 331k| 0 | 0 | 0 | 334k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
628.91/628.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
628.91/628.97 c 588s| 3770k| 3608k| 0 | 0.0 |2928M| 109 | - | 387 | 363k| 0 | 0 | 0 | 367k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
630.71/630.71 c 589s| 3780k| 3608k| 0 | 0.0 |2935M| 109 | - | 387 | 389k| 0 | 0 | 0 | 392k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
632.52/632.59 c 591s| 3790k| 3608k| 0 | 0.0 |2941M| 109 | - | 387 | 421k| 0 | 0 | 0 | 425k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
634.41/634.40 c 593s| 3800k| 3608k| 0 | 0.0 |2947M| 109 | - | 387 | 451k| 0 | 0 | 0 | 455k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
636.11/636.17 c 594s| 3810k| 3608k| 0 | 0.0 |2955M| 109 | - | 387 | 478k| 0 | 0 | 0 | 482k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
637.91/637.92 c 596s| 3820k| 3608k| 0 | 0.0 |2961M| 109 | - | 387 | 508k| 0 | 0 | 0 | 512k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
639.62/639.68 c 598s| 3830k| 3608k| 0 | 0.0 |2966M| 109 | - | 387 | 534k| 0 | 0 | 0 | 538k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
641.41/641.46 c 599s| 3840k| 3608k| 0 | 0.0 |2974M| 109 | - | 387 | 562k| 0 | 0 | 0 | 566k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
643.21/643.23 c 601s| 3850k| 3608k| 0 | 0.0 |2980M| 109 | - | 387 | 590k| 0 | 0 | 0 | 595k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
644.91/644.94 c 603s| 3860k| 3608k| 0 | 0.0 |2986M| 109 | - | 387 | 620k| 0 | 0 | 0 | 624k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
646.72/646.73 c 604s| 3870k| 3608k| 0 | 0.0 |2992M| 109 | - | 387 | 649k| 0 | 0 | 0 | 653k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
648.51/648.57 c 606s| 3880k| 3608k| 0 | 0.0 |3001M| 109 | - | 387 | 678k| 0 | 0 | 0 | 682k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
650.21/650.29 c 608s| 3890k| 3608k| 0 | 0.0 |3005M| 109 | - | 387 | 702k| 0 | 0 | 0 | 708k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
652.02/652.04 c 609s| 3900k| 3608k| 0 | 0.0 |3011M| 109 | - | 387 | 729k| 0 | 0 | 0 | 735k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
653.81/653.83 c 611s| 3910k| 3608k| 0 | 0.0 |3017M| 109 | - | 387 | 759k| 0 | 0 | 0 | 764k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
655.52/655.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
655.52/655.54 c 613s| 3920k| 3608k| 0 | 0.0 |3026M| 109 | - | 387 | 784k| 0 | 0 | 0 | 790k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
657.11/657.16 c 614s| 3930k| 3608k| 0 | 0.0 |3030M| 109 | - | 387 | 806k| 0 | 0 | 0 | 812k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
658.81/658.88 c 616s| 3940k| 3608k| 0 | 0.0 |3035M| 109 | - | 387 | 831k| 0 | 0 | 0 | 837k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
660.51/660.58 c 618s| 3950k| 3608k| 0 | 0.0 |3040M| 109 | - | 387 | 857k| 0 | 0 | 0 | 864k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
662.51/662.56 c 619s| 3960k| 3608k| 0 | 0.0 |3047M| 109 | - | 387 | 890k| 0 | 0 | 0 | 898k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
664.21/664.27 c 621s| 3970k| 3608k| 0 | 0.0 |3052M| 109 | - | 387 | 916k| 0 | 0 | 0 | 923k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
666.01/666.04 c 623s| 3980k| 3608k| 0 | 0.0 |3062M| 109 | - | 387 | 945k| 0 | 0 | 0 | 953k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
667.81/667.82 c 625s| 3990k| 3607k| 0 | 0.0 |3068M| 109 | - | 387 | 976k| 0 | 0 | 0 | 985k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
669.61/669.63 c 626s| 4000k| 3607k| 0 | 0.0 |3074M| 109 | - | 387 |1003k| 0 | 0 | 0 |1012k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
671.42/671.43 c 628s| 4010k| 3607k| 0 | 0.0 |3079M| 109 | - | 387 |1029k| 0 | 0 | 0 |1037k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
673.11/673.20 c 630s| 4020k| 3607k| 0 | 0.0 |3084M| 109 | - | 387 |1055k| 0 | 0 | 0 |1063k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
674.91/674.97 c 631s| 4030k| 3607k| 0 | 0.0 |3089M| 109 | - | 387 |1080k| 0 | 0 | 0 |1089k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
676.71/676.78 c 633s| 4040k| 3607k| 0 | 0.0 |3095M| 109 | - | 387 |1108k| 0 | 0 | 0 |1117k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
678.51/678.56 c 635s| 4050k| 3607k| 0 | 0.0 |3106M| 109 | - | 387 |1138k| 0 | 0 | 0 |1147k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
680.31/680.32 c 636s| 4060k| 3607k| 0 | 0.0 |3112M| 109 | - | 387 |1166k| 0 | 0 | 0 |1176k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
682.02/682.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
682.02/682.05 c 638s| 4070k| 3607k| 0 | 0.0 |3117M| 109 | - | 387 |1192k| 0 | 0 | 0 |1202k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
683.71/683.75 c 640s| 4080k| 3607k| 0 | 0.0 |3122M| 109 | - | 387 |1216k| 0 | 0 | 0 |1226k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
685.61/685.66 c 641s| 4090k| 3607k| 0 | 0.0 |3128M| 109 | - | 387 |1250k| 0 | 0 | 0 |1261k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
687.42/687.49 c 643s| 4100k| 3607k| 0 | 0.0 |3134M| 109 | - | 387 |1279k| 0 | 0 | 0 |1291k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
689.21/689.28 c 645s| 4110k| 3607k| 0 | 0.0 |3140M| 109 | - | 387 |1308k| 0 | 0 | 0 |1320k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
691.01/691.01 c 647s| 4120k| 3607k| 0 | 0.0 |3144M| 109 | - | 387 |1330k| 0 | 0 | 0 |1341k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
692.82/692.80 c 648s| 4130k| 3607k| 0 | 0.0 |3156M| 109 | - | 387 |1356k| 0 | 0 | 0 |1368k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
694.52/694.54 c 650s| 4140k| 3607k| 0 | 0.0 |3161M| 109 | - | 387 |1383k| 0 | 0 | 0 |1395k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
696.22/696.29 c 652s| 4150k| 3607k| 0 | 0.0 |3167M| 109 | - | 387 |1410k| 0 | 0 | 0 |1422k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
698.01/698.01 c 653s| 4160k| 3607k| 0 | 0.0 |3172M| 109 | - | 387 |1435k| 0 | 0 | 0 |1447k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
699.62/699.68 c 655s| 4170k| 3607k| 0 | 0.0 |3177M| 109 | - | 387 |1458k| 0 | 0 | 0 |1470k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
701.41/701.44 c 656s| 4180k| 3607k| 0 | 0.0 |3182M| 109 | - | 387 |1486k| 0 | 0 | 0 |1498k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
703.12/703.14 c 658s| 4190k| 3607k| 0 | 0.0 |3187M| 109 | - | 387 |1512k| 0 | 0 | 0 |1524k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
704.81/704.86 c 660s| 4200k| 3607k| 0 | 0.0 |3192M| 109 | - | 387 |1538k| 0 | 0 | 0 |1551k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
706.51/706.54 c 661s| 4210k| 3607k| 0 | 0.0 |3197M| 109 | - | 387 |1563k| 0 | 0 | 0 |1576k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
708.32/708.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
708.32/708.34 c 663s| 4220k| 3607k| 0 | 0.0 |3203M| 109 | - | 387 |1592k| 0 | 0 | 0 |1605k| 0 | 9.000000e+01 | 1.170000e+02 | 30.00%
710.01/710.06 o 116
710.01/710.06 c * 665s| 4228k| 3556k| 0 | 0.0 |3185M| 109 | - | 387 |1616k| 0 | 0 | 0 |1630k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
710.21/710.27 c 665s| 4230k| 3556k| 0 | 0.0 |3186M| 109 | - | 387 |1620k| 0 | 0 | 0 |1634k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
712.01/712.06 c 667s| 4240k| 3556k| 0 | 0.0 |3199M| 109 | - | 387 |1645k| 0 | 0 | 0 |1660k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
713.82/713.85 c 668s| 4250k| 3556k| 0 | 0.0 |3204M| 109 | - | 387 |1673k| 0 | 0 | 0 |1689k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
715.62/715.66 c 670s| 4260k| 3556k| 0 | 0.0 |3210M| 109 | - | 387 |1701k| 0 | 0 | 0 |1717k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
717.31/717.34 c 672s| 4270k| 3556k| 0 | 0.0 |3214M| 109 | - | 387 |1723k| 0 | 0 | 0 |1739k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
719.01/719.08 c 673s| 4280k| 3556k| 0 | 0.0 |3219M| 109 | - | 387 |1748k| 0 | 0 | 0 |1764k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
720.71/720.78 c 675s| 4290k| 3556k| 0 | 0.0 |3224M| 109 | - | 387 |1771k| 0 | 0 | 0 |1788k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
722.52/722.50 c 676s| 4300k| 3556k| 0 | 0.0 |3229M| 109 | - | 387 |1795k| 0 | 0 | 0 |1812k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
724.21/724.20 c 678s| 4310k| 3556k| 0 | 0.0 |3233M| 109 | - | 387 |1818k| 0 | 0 | 0 |1835k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
725.92/725.94 c 680s| 4320k| 3556k| 0 | 0.0 |3239M| 109 | - | 387 |1845k| 0 | 0 | 0 |1862k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
727.61/727.61 c 681s| 4330k| 3556k| 0 | 0.0 |3244M| 109 | - | 387 |1871k| 0 | 0 | 0 |1887k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
729.32/729.31 c 683s| 4340k| 3555k| 0 | 0.0 |3249M| 109 | - | 387 |1896k| 0 | 0 | 0 |1914k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
731.12/731.11 c 685s| 4350k| 3555k| 0 | 0.0 |3255M| 109 | - | 387 |1926k| 0 | 0 | 0 |1944k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
732.81/732.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
732.81/732.85 c 686s| 4360k| 3555k| 0 | 0.0 |3270M| 109 | - | 387 |1954k| 0 | 0 | 0 |1972k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
734.51/734.54 c 688s| 4370k| 3555k| 0 | 0.0 |3275M| 109 | - | 387 |1982k| 0 | 0 | 0 |2000k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
736.21/736.23 c 689s| 4380k| 3555k| 0 | 0.0 |3281M| 109 | - | 387 |2011k| 0 | 0 | 0 |2029k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
738.12/738.11 c 691s| 4390k| 3555k| 0 | 0.0 |3287M| 109 | - | 387 |2043k| 0 | 0 | 0 |2061k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
739.91/740.00 c 693s| 4400k| 3555k| 0 | 0.0 |3293M| 109 | - | 387 |2075k| 0 | 0 | 0 |2093k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
741.71/741.76 c 695s| 4410k| 3555k| 0 | 0.0 |3299M| 109 | - | 387 |2102k| 0 | 0 | 0 |2120k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
743.42/743.50 c 696s| 4420k| 3555k| 0 | 0.0 |3304M| 109 | - | 387 |2126k| 0 | 0 | 0 |2144k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
745.21/745.27 c 698s| 4430k| 3555k| 0 | 0.0 |3308M| 109 | - | 387 |2150k| 0 | 0 | 0 |2168k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
747.12/747.10 c 700s| 4440k| 3555k| 0 | 0.0 |3313M| 109 | - | 387 |2175k| 0 | 0 | 0 |2193k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
748.82/748.87 c 701s| 4450k| 3555k| 0 | 0.0 |3319M| 109 | - | 387 |2202k| 0 | 0 | 0 |2221k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
750.52/750.59 c 703s| 4460k| 3555k| 0 | 0.0 |3324M| 109 | - | 387 |2228k| 0 | 0 | 0 |2247k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
752.32/752.34 c 705s| 4470k| 3555k| 0 | 0.0 |3330M| 109 | - | 387 |2257k| 0 | 0 | 0 |2275k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
754.11/754.15 c 706s| 4480k| 3555k| 0 | 0.0 |3335M| 109 | - | 387 |2283k| 0 | 0 | 0 |2302k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
756.01/756.02 c 708s| 4490k| 3555k| 0 | 0.0 |3340M| 109 | - | 387 |2311k| 0 | 0 | 0 |2330k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
757.82/757.85 c 710s| 4500k| 3555k| 0 | 0.0 |3357M| 109 | - | 387 |2336k| 0 | 0 | 0 |2356k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
759.61/759.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
759.61/759.64 c 712s| 4510k| 3555k| 0 | 0.0 |3363M| 109 | - | 387 |2367k| 0 | 0 | 0 |2387k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
761.41/761.46 c 713s| 4520k| 3555k| 0 | 0.0 |3368M| 109 | - | 387 |2395k| 0 | 0 | 0 |2415k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
763.21/763.25 c 715s| 4530k| 3555k| 0 | 0.0 |3374M| 109 | - | 387 |2424k| 0 | 0 | 0 |2444k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
765.01/765.03 c 717s| 4540k| 3555k| 0 | 0.0 |3381M| 109 | - | 387 |2456k| 0 | 0 | 0 |2476k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
766.72/766.78 c 718s| 4550k| 3554k| 0 | 0.0 |3386M| 109 | - | 387 |2482k| 0 | 0 | 0 |2503k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
768.52/768.56 c 720s| 4560k| 3554k| 0 | 0.0 |3391M| 109 | - | 387 |2508k| 0 | 0 | 0 |2529k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
770.31/770.34 c 722s| 4570k| 3554k| 0 | 0.0 |3397M| 109 | - | 387 |2537k| 0 | 0 | 0 |2558k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
772.12/772.13 c 723s| 4580k| 3554k| 0 | 0.0 |3402M| 109 | - | 387 |2564k| 0 | 0 | 0 |2585k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
773.92/773.98 c 725s| 4590k| 3554k| 0 | 0.0 |3408M| 109 | - | 387 |2593k| 0 | 0 | 0 |2615k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
775.72/775.75 c 727s| 4600k| 3554k| 0 | 0.0 |3414M| 109 | - | 387 |2621k| 0 | 0 | 0 |2642k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
777.42/777.48 c 729s| 4610k| 3554k| 0 | 0.0 |3419M| 109 | - | 387 |2648k| 0 | 0 | 0 |2670k| 0 | 9.000000e+01 | 1.160000e+02 | 28.89%
778.93/778.90 c pressed CTRL-C 1 times (5 times for forcing termination)
778.93/778.90 c
778.93/778.90 c SCIP Status : solving was interrupted [user interrupt]
778.93/778.90 c Solving Time (sec) : 729.86
778.93/778.90 c Solving Nodes : 4618221
778.93/778.90 c Primal Bound : +1.16000000000000e+02 (14 solutions)
778.93/778.90 c Dual Bound : +9.00000000000000e+01
778.93/778.90 c Gap : 28.89 %
778.93/778.92 s SATISFIABLE
778.93/778.92 v -x258 -x257 x256 -x255 -x254 x253 -x252 -x251 x250 -x249 -x248 -x247 x246 -x245 x244 -x243 x242 -x241 x240 -x239 -x238 -x237 x236
778.93/778.92 v -x235 x234 -x233 -x232 -x231 -x230 x229 x228 -x227 x226 -x225 x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 x215 x214
778.93/778.92 v -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 x197 -x196 x195 x194 -x193 x192
778.93/778.92 v -x191 x190 -x189 -x188 x187 x186 -x185 -x184 x183 x182 -x181 -x180 x179 x178 -x177 -x176 x175 x174 -x173 -x172 -x171 x170 -x169
778.93/778.92 v -x168 x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155 x154 -x153 -x152 -x151 x150 -x149 -x148 -x147
778.93/778.92 v x146 -x145 x144 -x143 -x142 -x141 x140 -x139 x138 -x137 -x136 x135 x134 -x133 x132 -x131 x130 -x129 -x128 -x127 x126 -x125
778.93/778.92 v x124 -x123 x122 -x121 x120 -x119 x118 -x117 x116 -x115 x114 -x113 x112 -x111 x110 -x109 x108 -x107 x106 -x105 x104 -x103 -x102
778.93/778.92 v x101 x100 -x99 x98 -x97 -x96 x95 -x94 -x93 x92 -x91 x90 -x89 x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 x80 -x79 x78 -x77 -x76
778.93/778.92 v -x75 x74 -x73 x72 -x71 -x70 x69 x68 -x67 x66 -x65 -x64 x63 x62 -x61 x60 -x59 -x58 -x57 x56 -x55 x54 -x53 -x52 -x51 x50 -x49 -x48
778.93/778.92 v x47 x46 -x45 x44 -x43 x42 -x41 x40 -x39 x38 -x37 x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 x23 -x22 x21
778.93/778.92 v x20 -x19 x18 -x17 x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 x1
778.93/778.92 c SCIP Status : solving was interrupted [user interrupt]
778.93/778.92 c Solving Time : 729.86
778.93/778.92 c Original Problem :
778.93/778.92 c Problem name : HOME/instance-2700490-1278535669.wbo
778.93/778.92 c Variables : 2332 (1295 binary, 0 integer, 0 implicit integer, 1037 continuous)
778.93/778.92 c Constraints : 2175 initial, 2175 maximal
778.93/778.92 c Presolved Problem :
778.93/778.92 c Problem name : t_HOME/instance-2700490-1278535669.wbo
778.93/778.92 c Variables : 387 (287 binary, 0 integer, 0 implicit integer, 100 continuous)
778.93/778.92 c Constraints : 1166 initial, 2669206 maximal
778.93/778.92 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
778.93/778.92 c trivial : 0.00 0 0 0 0 0 0 0 0
778.93/778.92 c dualfix : 0.00 0 0 0 0 0 0 0 0
778.93/778.92 c boundshift : 0.00 0 0 0 0 0 0 0 0
778.93/778.92 c inttobinary : 0.00 0 0 0 0 0 0 0 0
778.93/778.92 c implics : 0.00 0 0 0 0 0 0 0 0
778.93/778.92 c probing : 0.03 0 0 0 0 0 0 0 0
778.93/778.92 c indicator : 0.01 937 0 0 0 0 937 0 0
778.93/778.92 c varbound : 0.00 0 0 0 0 0 0 0 0
778.93/778.92 c setppc : 0.01 0 0 0 0 0 0 0 0
778.93/778.92 c linear : 0.03 937 71 0 1037 0 72 0 0
778.93/778.92 c logicor : 0.00 0 0 0 0 0 0 0 0
778.93/778.92 c root node : - 0 - - 0 - - - -
778.93/778.92 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
778.93/778.92 c integral : 0 0 0 0 0 0 0 0 0 0
778.93/778.92 c indicator : 100 0 13640670 0 4130746 32348 17905921 0 0 0
778.93/778.92 c varbound : 100 0 13607692 0 4130736 1253 9168823 0 0 0
778.93/778.92 c setppc : 29 0 13653700 0 4138578 6758 6635766 0 0 0
778.93/778.92 c logicor : 937+ 0 4898762 0 4138592 264534 15209409 0 0 0
778.93/778.92 c countsols : 0 0 0 0 4138592 0 0 0 0 0
778.93/778.92 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
778.93/778.92 c integral : 0.00 0.00 0.00 0.00 0.00
778.93/778.92 c indicator : 34.12 0.00 25.11 0.00 9.01
778.93/778.92 c varbound : 27.06 0.00 20.94 0.00 6.12
778.93/778.92 c setppc : 35.10 0.00 12.32 0.00 22.78
778.93/778.92 c logicor : 113.66 0.00 58.75 0.00 54.91
778.93/778.92 c countsols : 0.69 0.00 0.00 0.00 0.69
778.93/778.92 c Propagators : Time Calls Cutoffs DomReds
778.93/778.92 c vbounds : 214.05 10561934 0 7944552
778.93/778.92 c rootredcost : 2.99 0 0 0
778.93/778.92 c pseudoobj : 50.79 13860431 173891 7817464
778.93/778.92 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
778.93/778.92 c propagation : 32.30 271292 270375 1576643 68.6 13820292 2.0 -
778.93/778.92 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
778.93/778.92 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
778.93/778.92 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
778.93/778.92 c pseudo solution : 0.13 3440 0 0 0.0 0 0.0 -
778.93/778.92 c applied globally : - - - 2690791 2.0 - - -
778.93/778.92 c applied locally : - - - 0 0.0 - - -
778.93/778.92 c Separators : Time Calls Cutoffs DomReds Cuts Conss
778.93/778.92 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
778.93/778.92 c redcost : 0.00 0 0 0 0 0
778.93/778.92 c impliedbounds : 0.00 0 0 0 0 0
778.93/778.92 c intobj : 0.00 0 0 0 0 0
778.93/778.92 c cgmip : 0.00 0 0 0 0 0
778.93/778.92 c gomory : 0.00 0 0 0 0 0
778.93/778.92 c strongcg : 0.00 0 0 0 0 0
778.93/778.92 c cmir : 0.00 0 0 0 0 0
778.93/778.92 c flowcover : 0.00 0 0 0 0 0
778.93/778.92 c clique : 0.00 0 0 0 0 0
778.93/778.92 c zerohalf : 0.00 0 0 0 0 0
778.93/778.92 c mcf : 0.00 0 0 0 0 0
778.93/778.92 c rapidlearning : 0.00 0 0 0 0 0
778.93/778.92 c Pricers : Time Calls Vars
778.93/778.92 c problem variables: 0.00 0 0
778.93/778.92 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
778.93/778.92 c relpscost : 0.00 0 0 0 0 0 0
778.93/778.92 c pscost : 0.00 0 0 0 0 0 0
778.93/778.92 c inference : 42.26 4138578 0 0 0 0 8277156
778.93/778.92 c mostinf : 0.00 0 0 0 0 0 0
778.93/778.92 c leastinf : 0.00 0 0 0 0 0 0
778.93/778.92 c fullstrong : 0.00 0 0 0 0 0 0
778.93/778.92 c allfullstrong : 0.00 0 0 0 0 0 0
778.93/778.92 c random : 0.00 0 0 0 0 0 0
778.93/778.92 c Primal Heuristics : Time Calls Found
778.93/778.92 c LP solutions : 0.00 - 0
778.93/778.92 c pseudo solutions : 0.85 - 14
778.93/778.92 c oneopt : 1.17 0 0
778.93/778.92 c trivial : 0.00 2 0
778.93/778.92 c simplerounding : 0.00 0 0
778.93/778.92 c zirounding : 0.00 0 0
778.93/778.92 c rounding : 0.00 0 0
778.93/778.92 c shifting : 0.00 0 0
778.93/778.92 c intshifting : 0.00 0 0
778.93/778.92 c twoopt : 0.00 0 0
778.93/778.92 c fixandinfer : 0.00 0 0
778.93/778.92 c feaspump : 0.00 0 0
778.93/778.92 c coefdiving : 0.00 0 0
778.93/778.92 c pscostdiving : 0.00 0 0
778.93/778.92 c fracdiving : 0.00 0 0
778.93/778.92 c veclendiving : 0.00 0 0
778.93/778.92 c intdiving : 0.00 0 0
778.93/778.92 c actconsdiving : 0.00 0 0
778.93/778.92 c objpscostdiving : 0.00 0 0
778.93/778.92 c rootsoldiving : 0.00 0 0
778.93/778.92 c linesearchdiving : 0.00 0 0
778.93/778.92 c guideddiving : 0.00 0 0
778.93/778.92 c octane : 0.00 0 0
778.93/778.92 c rens : 0.00 0 0
778.93/778.92 c rins : 0.00 0 0
778.93/778.92 c localbranching : 0.00 0 0
778.93/778.92 c mutation : 0.00 0 0
778.93/778.92 c crossover : 0.00 0 0
778.93/778.92 c dins : 0.00 0 0
778.93/778.92 c undercover : 0.00 0 0
778.93/778.92 c nlp : 1.20 0 0
778.93/778.92 c trysol : 0.86 0 0
778.93/778.92 c LP : Time Calls Iterations Iter/call Iter/sec
778.93/778.92 c primal LP : 0.00 0 0 0.00 -
778.93/778.92 c dual LP : 0.00 0 0 0.00 -
778.93/778.92 c lex dual LP : 0.00 0 0 0.00 -
778.93/778.92 c barrier LP : 0.00 0 0 0.00 -
778.93/778.92 c diving/probing LP: 0.00 0 0 0.00 -
778.93/778.92 c strong branching : 0.00 0 0 0.00 -
778.93/778.92 c (at root node) : - 0 0 0.00 -
778.93/778.92 c conflict analysis: 0.00 0 0 0.00 -
778.93/778.92 c B&B Tree :
778.93/778.92 c number of runs : 1
778.93/778.92 c nodes : 4618221
778.93/778.92 c nodes (total) : 4618221
778.93/778.92 c nodes left : 3554946
778.93/778.92 c max depth : 109
778.93/778.92 c max depth (total): 109
778.93/778.92 c backtracks : 833309 (18.0%)
778.93/778.92 c delayed cutoffs : 3959
778.93/778.92 c repropagations : 5999 (93456 domain reductions, 2595 cutoffs)
778.93/778.92 c avg switch length: 7.42
778.93/778.92 c switching time : 115.50
778.93/778.92 c Solution :
778.93/778.92 c Solutions found : 14 (14 improvements)
778.93/778.92 c First Solution : +1.34000000000000e+02 (in run 1, after 3656938 nodes, 566.83 seconds, depth 86, found by <relaxation>)
778.93/778.92 c Primal Bound : +1.16000000000000e+02 (in run 1, after 4228971 nodes, 664.49 seconds, depth 77, found by <relaxation>)
778.93/778.92 c Dual Bound : +9.00000000000000e+01
778.93/778.92 c Gap : 28.89 %
778.93/778.92 c Root Dual Bound : +0.00000000000000e+00
778.93/778.92 c Root Iterations : 0
OK 116
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700490-1278535669/watcher-2700490-1278535669 -o /tmp/evaluation-result-2700490-1278535669/solver-2700490-1278535669 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2700490-1278535669.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.94 2.01 1.72 4/182 19528 /proc/meminfo: memFree=27199128/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=8272 CPUtime=0 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 1545 0 0 0 0 0 0 0 24 0 1 0 21779628 8470528 1467 4089446400 4194304 7136930 140733970047968 18446744073709551615 6328580 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/19528/statm: 2068 1467 275 719 0 1347 0 [startup+0.0182721 s] /proc/loadavg: 1.94 2.01 1.72 4/182 19528 /proc/meminfo: memFree=27199128/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=11916 CPUtime=0.01 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 2731 0 0 0 1 0 0 0 24 0 1 0 21779628 12201984 2299 4089446400 4194304 7136930 140733970047968 18446744073709551615 6346856 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19528/statm: 2979 2327 282 719 0 2258 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11916 [startup+0.100267 s] /proc/loadavg: 1.94 2.01 1.72 4/182 19528 /proc/meminfo: memFree=27199128/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=19356 CPUtime=0.08 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 6572 0 0 0 8 0 0 0 24 0 1 0 21779628 19820544 4084 4089446400 4194304 7136930 140733970047968 18446744073709551615 5901284 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19528/statm: 4839 4084 378 719 0 4118 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 19356 [startup+0.300217 s] /proc/loadavg: 1.94 2.01 1.72 4/182 19528 /proc/meminfo: memFree=27199128/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=22976 CPUtime=0.29 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 7490 0 0 0 28 1 0 0 25 0 1 0 21779628 23527424 5002 4089446400 4194304 7136930 140733970047968 18446744073709551615 4696948 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19528/statm: 5744 5002 399 719 0 5023 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22976 [startup+0.700155 s] /proc/loadavg: 1.94 2.01 1.72 4/182 19528 /proc/meminfo: memFree=27199128/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=25360 CPUtime=0.69 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 8097 0 0 0 65 4 0 0 25 0 1 0 21779628 25968640 5609 4089446400 4194304 7136930 140733970047968 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/19528/statm: 6340 5609 399 719 0 5619 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25360 [startup+1.50101 s] /proc/loadavg: 1.94 2.01 1.72 3/183 19529 /proc/meminfo: memFree=27176552/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=29936 CPUtime=1.49 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 9251 0 0 0 140 9 0 0 25 0 1 0 21779628 30654464 6763 4089446400 4194304 7136930 140733970047968 18446744073709551615 6121434 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19528/statm: 7484 6763 399 719 0 6763 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29936 [startup+3.10071 s] /proc/loadavg: 1.94 2.01 1.72 3/183 19529 /proc/meminfo: memFree=27167572/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=37432 CPUtime=3.09 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 11174 0 0 0 290 19 0 0 25 0 1 0 21779628 38330368 8686 4089446400 4194304 7136930 140733970047968 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19528/statm: 9358 8686 399 719 0 8637 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37432 [startup+6.30012 s] /proc/loadavg: 1.94 2.01 1.72 3/183 19529 /proc/meminfo: memFree=27144516/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=57456 CPUtime=6.29 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 16232 0 0 0 591 38 0 0 25 0 1 0 21779628 58834944 13744 4089446400 4194304 7136930 140733970047968 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19528/statm: 14364 13744 399 719 0 13643 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 57456 [startup+12.7009 s] /proc/loadavg: 1.95 2.01 1.72 3/183 19529 /proc/meminfo: memFree=27097040/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=98568 CPUtime=12.69 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 26163 0 0 0 1194 75 0 0 25 0 1 0 21779628 100933632 23675 4089446400 4194304 7136930 140733970047968 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19528/statm: 24642 23675 399 719 0 23921 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 98568 [startup+25.5006 s] /proc/loadavg: 2.03 2.03 1.73 3/183 19529 /proc/meminfo: memFree=27009904/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=165180 CPUtime=25.49 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 43081 0 0 0 2391 158 0 0 25 0 1 0 21779628 169144320 40593 4089446400 4194304 7136930 140733970047968 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19528/statm: 41295 40593 399 719 0 40574 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 165180 [startup+51.1008 s] /proc/loadavg: 2.02 2.03 1.74 3/183 19530 /proc/meminfo: memFree=26849404/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=296012 CPUtime=51.1 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 75337 0 0 0 4795 315 0 0 25 0 1 0 21779628 303116288 72849 4089446400 4194304 7136930 140733970047968 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19528/statm: 74003 72849 399 719 0 73282 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 296012 [startup+102.306 s] /proc/loadavg: 2.01 2.02 1.75 3/183 19532 /proc/meminfo: memFree=26525956/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=553368 CPUtime=102.3 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 138754 0 0 0 9584 646 0 0 25 0 1 0 21779628 566648832 136266 4089446400 4194304 7136930 140733970047968 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19528/statm: 138342 136266 399 719 0 137621 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 553368 [startup+162.3 s] /proc/loadavg: 2.00 2.01 1.76 3/183 19533 /proc/meminfo: memFree=26151636/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=842656 CPUtime=162.3 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 212494 0 0 0 15184 1046 0 0 25 0 1 0 21779628 862879744 210006 4089446400 4194304 7136930 140733970047968 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19528/statm: 210664 210006 399 719 0 209943 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 842656 [startup+222.3 s] /proc/loadavg: 2.00 2.01 1.77 3/183 19535 /proc/meminfo: memFree=25791592/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=1136664 CPUtime=222.3 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 283286 0 0 0 20782 1448 0 0 25 0 1 0 21779628 1163943936 280798 4089446400 4194304 7136930 140733970047968 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19528/statm: 284166 280798 399 719 0 283445 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 1136664 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.78 3/183 19536 /proc/meminfo: memFree=25432800/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=1413776 CPUtime=282.3 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 353989 0 0 0 26394 1836 0 0 25 0 1 0 21779628 1447706624 351501 4089446400 4194304 7136930 140733970047968 18446744073709551615 6166364 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19528/statm: 353444 351501 399 719 0 352723 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 1413776 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.79 3/183 19538 /proc/meminfo: memFree=25066056/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=1726104 CPUtime=342.3 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 425308 0 0 0 31997 2233 0 0 25 0 1 0 21779628 1767530496 422820 4089446400 4194304 7136930 140733970047968 18446744073709551615 6212628 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19528/statm: 431526 422820 399 719 0 430805 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 1726104 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.80 3/183 19567 /proc/meminfo: memFree=26774908/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=1996360 CPUtime=402.3 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 494302 0 0 0 37589 2641 0 0 25 0 1 0 21779628 2044272640 491814 4089446400 4194304 7136930 140733970047968 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19528/statm: 499090 491814 399 719 0 498369 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1996360 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.82 3/183 19569 /proc/meminfo: memFree=26490128/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=2261700 CPUtime=462.3 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 562077 0 0 0 43186 3044 0 0 25 0 1 0 21779628 2315980800 559589 4089446400 4194304 7136930 140733970047968 18446744073709551615 5958674 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19528/statm: 565425 559589 399 719 0 564704 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 2261700 [startup+522.301 s] /proc/loadavg: 2.05 2.01 1.83 3/183 19571 /proc/meminfo: memFree=26179464/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=2531480 CPUtime=522.31 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 630955 0 0 0 48781 3450 0 0 25 0 1 0 21779628 2592235520 628467 4089446400 4194304 7136930 140733970047968 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19528/statm: 632870 628467 399 719 0 632149 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 2531480 [startup+582.301 s] /proc/loadavg: 2.02 2.01 1.83 3/183 19572 /proc/meminfo: memFree=25891600/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=2797364 CPUtime=582.31 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 698863 0 0 0 54377 3854 0 0 25 0 1 0 21779628 2864500736 696375 4089446400 4194304 7136930 140733970047968 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19528/statm: 699341 696375 399 719 0 698620 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 2797364 [startup+642.3 s] /proc/loadavg: 2.00 2.00 1.84 3/183 19574 /proc/meminfo: memFree=25535032/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=3139504 CPUtime=642.32 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 794884 0 0 0 60023 4209 0 0 25 0 1 0 21779628 3214852096 778109 4089446400 4194304 7136930 140733970047968 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19528/statm: 784876 778109 404 719 0 784155 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 3139504 [startup+702.3 s] /proc/loadavg: 2.00 2.00 1.85 3/183 19576 /proc/meminfo: memFree=25181300/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=3478324 CPUtime=702.31 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 878109 0 0 0 65722 4509 0 0 25 0 1 0 21779628 3561803776 861334 4089446400 4194304 7136930 140733970047968 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19528/statm: 869581 861334 404 719 0 868860 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 3478324 [startup+762.306 s] /proc/loadavg: 2.00 2.00 1.85 3/183 19577 /proc/meminfo: memFree=24803288/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=3832304 CPUtime=762.32 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 965564 0 0 0 71418 4814 0 0 25 0 1 0 21779628 3924279296 948789 4089446400 4194304 7136930 140733970047968 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19528/statm: 958076 948789 404 719 0 957355 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 3832304 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+778.901 s] /proc/loadavg: 2.00 2.00 1.85 3/183 19578 /proc/meminfo: memFree=24731348/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=3891952 CPUtime=778.93 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 981108 0 0 0 72987 4906 0 0 25 0 1 0 21779628 3985358848 964333 4089446400 4194304 7136930 140733970047968 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/19528/statm: 972988 964333 404 719 0 972267 0 Current children cumulated CPU time (s) 778.93 Current children cumulated vsize (KiB) 3891952 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -19528 Solver just ended. Dumping a history of the last processes samples [startup+779.007 s] /proc/loadavg: 2.00 2.00 1.85 3/183 19578 /proc/meminfo: memFree=24731348/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=3907724 CPUtime=779.02 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 984614 0 0 0 72996 4906 0 0 25 0 1 0 21779628 4001509376 967774 4089446400 4194304 7136930 140733970047968 18446744073709551615 4209174 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19528/statm: 976931 967778 405 719 0 976210 0 Current children cumulated CPU time (s) 779.02 Current children cumulated vsize (KiB) 3907724 [startup+779.801 s] /proc/loadavg: 2.00 2.00 1.85 3/184 19579 /proc/meminfo: memFree=24689428/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=3937852 CPUtime=779.82 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 991636 0 0 0 73075 4907 0 0 25 0 1 0 21779628 4032360448 974540 4089446400 4194304 7136930 140733970047968 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19528/statm: 984463 974540 409 719 0 983742 0 Current children cumulated CPU time (s) 779.82 Current children cumulated vsize (KiB) 3937852 [startup+780.601 s] /proc/loadavg: 2.00 2.00 1.85 3/184 19579 /proc/meminfo: memFree=24689428/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=3937852 CPUtime=780.62 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4202496 991636 0 0 0 73155 4907 0 0 25 0 1 0 21779628 4032360448 974540 4089446400 4194304 7136930 140733970047968 18446744073709551615 6165617 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/19528/statm: 984463 974540 409 719 0 983742 0 Current children cumulated CPU time (s) 780.62 Current children cumulated vsize (KiB) 3937852 [startup+781.007 s] /proc/loadavg: 2.00 2.00 1.85 3/184 19579 /proc/meminfo: memFree=24687444/32951124 swapFree=67111528/67111528 [pid=19528] ppid=19526 vsize=0 CPUtime=781.02 /proc/19528/stat : 19528 (pbscip.linux.x8) R 19526 19528 18581 0 -1 4203524 991636 0 0 0 73185 4917 0 0 25 0 1 0 21779628 0 0 4089446400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 /proc/19528/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 781.02 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 781.032 CPU time (s): 781.056 CPU user time (s): 731.859 CPU system time (s): 49.1975 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 3938876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 731.859 system time used= 49.1975 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 991636 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= 427 runsolver used 1.19082 second user time and 2.77858 second system time The end
Begin job on node135 at 2010-07-07 22:47:49 IDJOB=2700490 IDBENCH=79432 IDSOLVER=1206 FILE ID=node135/2700490-1278535669 PBS_JOBID= 11239208 Free space on /tmp= 73752 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/spot5/normalized-spot5-404_wcsp.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-2700490-1278535669/watcher-2700490-1278535669 -o /tmp/evaluation-result-2700490-1278535669/solver-2700490-1278535669 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2700490-1278535669.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2413d46290c8b1663f08f424871383e0 RANDOM SEED=1783785517 node135.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.839 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.67 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.839 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.76 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.839 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 : 7358.10 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.839 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.80 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.839 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.839 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.83 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.839 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.73 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.839 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 27199788 kB Buffers: 123756 kB Cached: 3571612 kB SwapCached: 0 kB Active: 3779032 kB Inactive: 1823308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27199788 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3336 kB Writeback: 0 kB AnonPages: 1906420 kB Mapped: 16864 kB Slab: 81984 kB PageTables: 8380 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 2055084 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73752 MiB End job on node135 at 2010-07-07 23:00:50