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 | OPTIMUM | 336.742 | 336.739 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-54_wcsp.wbo |
| MD5SUM | 5da0482fa5c9a9d0a00dab78a5ff7041 |
| 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 | 37 |
| Best CPU time to get the best result obtained on this benchmark | 0.102983 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 192 |
| Total number of constraints | 546 |
| Number of soft constraints | 479 |
| Number of constraints which are clauses | 479 |
| Number of constraints which are cardinality constraints (but not clauses) | 67 |
| 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 | 108 |
| Min constraint cost | 1 |
| Max constraint cost | 108 |
| Sum of constraints costs | 44603 |
| 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-2700478-1278535666.wbo>
0.00/0.01 c original problem has 1150 variables (671 bin, 0 int, 0 impl, 479 cont) and 1026 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 450 del vars, 39 del conss, 412 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 555 impls, 29 clqs
0.00/0.02 c (round 2) 870 del vars, 459 del conss, 412 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1333 impls, 29 clqs
0.00/0.02 c (round 3) 878 del vars, 467 del conss, 471 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1333 impls, 29 clqs
0.00/0.03 c (round 4) 886 del vars, 467 del conss, 471 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 1333 impls, 29 clqs
0.00/0.04 c presolving (5 rounds):
0.00/0.04 c 886 deleted vars, 467 deleted constraints, 471 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 2256 implications, 29 cliques
0.00/0.04 c presolved problem has 264 variables (205 bin, 0 int, 0 impl, 59 cont) and 559 constraints
0.00/0.04 c 59 constraints of type <indicator>
0.00/0.04 c 59 constraints of type <varbound>
0.00/0.04 c 29 constraints of type <setppc>
0.00/0.04 c 412 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.02
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.2
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 3420
0.00/0.04 c
0.00/0.04 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c lp/solvefreq = -1
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c 0.0s| 1 | 2 | 0 | - |3433k| 0 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.10 c 0.8s| 10000 | 10001 | 0 | 0.0 |9579k| 38 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 2.900000e+01 | -- | Inf
1.99/2.08 c 1.4s| 20000 | 20001 | 0 | 0.0 | 15M| 44 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | -- | Inf
2.99/3.06 c 2.1s| 30000 | 30001 | 0 | 0.0 | 20M| 47 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.000000e+01 | -- | Inf
3.99/4.04 c 2.8s| 40000 | 40001 | 0 | 0.0 | 25M| 47 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | -- | Inf
4.99/5.02 c 3.5s| 50000 | 50001 | 0 | 0.0 | 31M| 47 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | -- | Inf
5.89/5.98 c 4.2s| 60000 | 60001 | 0 | 0.0 | 36M| 52 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | -- | Inf
6.90/6.96 c 4.8s| 70000 | 70001 | 0 | 0.0 | 41M| 52 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.100000e+01 | -- | Inf
7.89/7.96 c 5.5s| 80000 | 80001 | 0 | 0.0 | 46M| 52 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | -- | Inf
8.90/8.93 c 6.1s| 90000 | 90001 | 0 | 0.0 | 52M| 52 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | -- | Inf
9.89/9.92 c 6.8s|100000 |100001 | 0 | 0.0 | 57M| 52 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | -- | Inf
10.89/10.90 c 7.5s|110000 |110001 | 0 | 0.0 | 62M| 52 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | -- | Inf
11.79/11.88 c 8.2s|120000 |120001 | 0 | 0.0 | 67M| 52 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | -- | Inf
12.79/12.84 c 8.8s|130000 |130001 | 0 | 0.0 | 72M| 52 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | -- | Inf
13.70/13.77 c 9.4s|140000 |140001 | 0 | 0.0 | 76M| 52 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | -- | Inf
14.69/14.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.69/14.76 c 10.1s|150000 |150001 | 0 | 0.0 | 81M| 53 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.200000e+01 | -- | Inf
15.69/15.77 c 10.8s|160000 |160001 | 0 | 0.0 | 87M| 53 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | -- | Inf
16.69/16.79 c 11.5s|170000 |170001 | 0 | 0.0 | 93M| 53 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | -- | Inf
17.69/17.78 c 12.2s|180000 |180001 | 0 | 0.0 | 98M| 53 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | -- | Inf
18.70/18.77 c 12.8s|190000 |190001 | 0 | 0.0 | 103M| 53 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | -- | Inf
19.70/19.77 c 13.5s|200000 |200001 | 0 | 0.0 | 109M| 53 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | -- | Inf
20.69/20.77 c 14.2s|210000 |210001 | 0 | 0.0 | 114M| 53 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | -- | Inf
21.69/21.76 c 14.8s|220000 |220001 | 0 | 0.0 | 119M| 53 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | -- | Inf
22.69/22.75 c 15.5s|230000 |230001 | 0 | 0.0 | 125M| 53 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | -- | Inf
23.69/23.74 c 16.2s|240000 |240001 | 0 | 0.0 | 130M| 53 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | -- | Inf
24.69/24.72 c 16.8s|250000 |250001 | 0 | 0.0 | 135M| 53 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | -- | Inf
25.70/25.70 c 17.5s|260000 |260001 | 0 | 0.0 | 140M| 53 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | -- | Inf
26.59/26.67 c 18.1s|270000 |270001 | 0 | 0.0 | 145M| 53 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | -- | Inf
27.59/27.64 c 18.8s|280000 |280001 | 0 | 0.0 | 150M| 53 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | -- | Inf
28.50/28.58 c 19.4s|290000 |290001 | 0 | 0.0 | 155M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | -- | Inf
29.49/29.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.49/29.52 c 20.1s|300000 |300001 | 0 | 0.0 | 160M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | -- | Inf
30.49/30.52 c 20.8s|310000 |310001 | 0 | 0.0 | 165M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | -- | Inf
31.49/31.53 c 21.4s|320000 |320001 | 0 | 0.0 | 171M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | -- | Inf
32.49/32.54 c 22.1s|330000 |330001 | 0 | 0.0 | 176M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | -- | Inf
33.49/33.54 c 22.8s|340000 |340001 | 0 | 0.0 | 182M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | -- | Inf
34.49/34.53 c 23.4s|350000 |350001 | 0 | 0.0 | 187M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | -- | Inf
35.50/35.54 c 24.2s|360000 |360001 | 0 | 0.0 | 192M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | -- | Inf
36.49/36.54 c 24.9s|370000 |370001 | 0 | 0.0 | 198M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | -- | Inf
37.50/37.54 c 25.6s|380000 |380001 | 0 | 0.0 | 203M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | -- | Inf
38.50/38.53 c 26.2s|390000 |390001 | 0 | 0.0 | 208M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | -- | Inf
39.49/39.53 c 26.9s|400000 |400001 | 0 | 0.0 | 214M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | -- | Inf
40.50/40.52 c 27.5s|410000 |410001 | 0 | 0.0 | 219M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | -- | Inf
41.49/41.52 c 28.2s|420000 |420001 | 0 | 0.0 | 224M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | -- | Inf
42.49/42.51 c 28.9s|430000 |430001 | 0 | 0.0 | 229M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | -- | Inf
43.49/43.51 c 29.6s|440000 |440001 | 0 | 0.0 | 235M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | -- | Inf
44.49/44.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.49/44.51 c 30.3s|450000 |450001 | 0 | 0.0 | 240M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | -- | Inf
45.49/45.50 c 30.9s|460000 |460001 | 0 | 0.0 | 245M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
46.39/46.49 c 31.6s|470000 |470001 | 0 | 0.0 | 250M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
47.40/47.47 c 32.2s|480000 |480001 | 0 | 0.0 | 255M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
48.39/48.46 c 32.9s|490000 |490001 | 0 | 0.0 | 261M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
49.39/49.45 c 33.6s|500000 |500001 | 0 | 0.0 | 266M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
50.39/50.43 c 34.3s|510000 |510001 | 0 | 0.0 | 271M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
51.39/51.41 c 35.0s|520000 |520001 | 0 | 0.0 | 276M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
52.29/52.39 c 35.6s|530000 |530001 | 0 | 0.0 | 281M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
53.29/53.36 c 36.3s|540000 |540001 | 0 | 0.0 | 286M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
54.29/54.33 c 36.9s|550000 |550001 | 0 | 0.0 | 292M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
55.19/55.29 c 37.5s|560000 |560001 | 0 | 0.0 | 296M| 55 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
56.09/56.19 c 38.1s|570000 |570001 | 0 | 0.0 | 301M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
57.10/57.14 c 38.8s|580000 |580001 | 0 | 0.0 | 306M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
58.00/58.07 c 39.4s|590000 |590001 | 0 | 0.0 | 310M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
58.99/59.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.99/59.07 c 40.1s|600000 |600001 | 0 | 0.0 | 316M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
59.99/60.05 c 40.7s|610000 |610001 | 0 | 0.0 | 321M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
60.99/61.02 c 41.4s|620000 |620001 | 0 | 0.0 | 326M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
61.89/61.99 c 42.0s|630000 |630001 | 0 | 0.0 | 332M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
62.89/62.95 c 42.7s|640000 |640001 | 0 | 0.0 | 337M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
63.90/63.91 c 43.4s|650000 |650001 | 0 | 0.0 | 342M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
64.79/64.86 c 44.0s|660000 |660001 | 0 | 0.0 | 347M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
65.79/65.84 c 44.6s|670000 |670001 | 0 | 0.0 | 352M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
66.79/66.83 c 45.3s|680000 |680001 | 0 | 0.0 | 357M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
67.80/67.84 c 46.0s|690000 |690001 | 0 | 0.0 | 363M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
68.79/68.85 c 46.7s|700000 |700001 | 0 | 0.0 | 368M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
69.80/69.87 c 47.4s|710000 |710001 | 0 | 0.0 | 373M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
70.79/70.88 c 48.0s|720000 |720001 | 0 | 0.0 | 379M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
71.79/71.89 c 48.7s|730000 |730001 | 0 | 0.0 | 384M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
72.80/72.89 c 49.4s|740000 |740001 | 0 | 0.0 | 389M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
73.89/73.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.89/73.90 c 50.0s|750000 |750001 | 0 | 0.0 | 395M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
74.89/74.91 c 50.7s|760000 |760001 | 0 | 0.0 | 400M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
75.89/75.91 c 51.4s|770000 |770001 | 0 | 0.0 | 406M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
76.90/76.91 c 52.1s|780000 |780001 | 0 | 0.0 | 411M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
77.89/77.91 c 52.7s|790000 |790001 | 0 | 0.0 | 416M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
78.89/78.91 c 53.4s|800000 |800001 | 0 | 0.0 | 421M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
79.89/79.90 c 54.1s|810000 |810001 | 0 | 0.0 | 427M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
80.89/80.91 c 54.7s|820000 |820001 | 0 | 0.0 | 432M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
81.89/81.90 c 55.5s|830000 |830001 | 0 | 0.0 | 437M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
82.89/82.90 c 56.1s|840000 |840001 | 0 | 0.0 | 442M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
83.79/83.88 c 56.8s|850000 |850001 | 0 | 0.0 | 448M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
84.79/84.89 c 57.5s|860000 |860001 | 0 | 0.0 | 453M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
85.80/85.88 c 58.1s|870000 |870001 | 0 | 0.0 | 458M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
86.80/86.87 c 58.8s|880000 |880001 | 0 | 0.0 | 463M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
87.79/87.85 c 59.4s|890000 |890001 | 0 | 0.0 | 469M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
88.79/88.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.79/88.84 c 60.1s|900000 |900001 | 0 | 0.0 | 474M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
89.79/89.83 c 60.8s|910000 |910001 | 0 | 0.0 | 479M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
90.80/90.83 c 61.4s|920000 |920001 | 0 | 0.0 | 484M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
91.80/91.83 c 62.1s|930000 |930001 | 0 | 0.0 | 489M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
92.79/92.83 c 62.7s|940000 |940001 | 0 | 0.0 | 495M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
93.79/93.82 c 63.4s|950000 |950001 | 0 | 0.0 | 500M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
94.79/94.81 c 64.1s|960000 |960001 | 0 | 0.0 | 505M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
95.79/95.81 c 64.8s|970000 |970001 | 0 | 0.0 | 510M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
96.80/96.80 c 65.4s|980000 |980001 | 0 | 0.0 | 515M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
97.70/97.80 c 66.0s|990000 |990001 | 0 | 0.0 | 520M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
98.69/98.79 c 66.7s| 1000k| 1000k| 0 | 0.0 | 525M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
99.69/99.79 c 67.4s| 1010k| 1010k| 0 | 0.0 | 531M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
100.69/100.79 c 68.0s| 1020k| 1020k| 0 | 0.0 | 536M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
101.69/101.79 c 68.7s| 1030k| 1030k| 0 | 0.0 | 541M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
102.79/102.80 c 69.4s| 1040k| 1040k| 0 | 0.0 | 546M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
103.79/103.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.79/103.83 c 70.1s| 1050k| 1050k| 0 | 0.0 | 551M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
104.79/104.86 c 70.7s| 1060k| 1060k| 0 | 0.0 | 556M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
105.90/105.92 c 71.5s| 1070k| 1070k| 0 | 0.0 | 561M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.500000e+01 | -- | Inf
106.89/106.99 c 72.2s| 1080k| 1080k| 0 | 0.0 | 566M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
107.89/107.97 c 72.9s| 1090k| 1090k| 0 | 0.0 | 571M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
108.90/108.95 c 73.6s| 1100k| 1100k| 0 | 0.0 | 576M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
109.90/109.93 c 74.2s| 1110k| 1110k| 0 | 0.0 | 581M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
110.90/110.90 c 74.9s| 1120k| 1120k| 0 | 0.0 | 586M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
111.79/111.87 c 75.5s| 1130k| 1130k| 0 | 0.0 | 591M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
112.79/112.84 c 76.2s| 1140k| 1140k| 0 | 0.0 | 596M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
113.79/113.82 c 76.8s| 1150k| 1150k| 0 | 0.0 | 601M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
114.80/114.80 c 77.5s| 1160k| 1160k| 0 | 0.0 | 606M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
115.69/115.78 c 78.1s| 1170k| 1170k| 0 | 0.0 | 611M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
116.69/116.72 c 78.8s| 1180k| 1180k| 0 | 0.0 | 616M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
117.59/117.62 c 79.3s| 1190k| 1190k| 0 | 0.0 | 620M| 58 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
118.49/118.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.49/118.59 c 80.0s| 1200k| 1200k| 0 | 0.0 | 625M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
119.49/119.59 c 80.7s| 1210k| 1210k| 0 | 0.0 | 630M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
120.49/120.56 c 81.3s| 1220k| 1220k| 0 | 0.0 | 635M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
121.49/121.50 c 82.0s| 1230k| 1230k| 0 | 0.0 | 639M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
122.49/122.50 c 82.7s| 1240k| 1240k| 0 | 0.0 | 645M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
123.49/123.52 c 83.3s| 1250k| 1250k| 0 | 0.0 | 650M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
124.49/124.50 c 84.0s| 1260k| 1260k| 0 | 0.0 | 655M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
125.40/125.47 c 84.6s| 1270k| 1270k| 0 | 0.0 | 660M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
126.39/126.42 c 85.2s| 1280k| 1280k| 0 | 0.0 | 665M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
127.29/127.36 c 85.9s| 1290k| 1290k| 0 | 0.0 | 670M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
128.29/128.31 c 86.5s| 1300k| 1300k| 0 | 0.0 | 675M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
129.20/129.24 c 87.1s| 1310k| 1310k| 0 | 0.0 | 680M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
130.09/130.18 c 87.7s| 1320k| 1320k| 0 | 0.0 | 685M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
131.09/131.10 c 88.3s| 1330k| 1330k| 0 | 0.0 | 690M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
131.99/132.04 c 88.9s| 1340k| 1340k| 0 | 0.0 | 695M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
132.90/132.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.90/132.95 c 89.5s| 1350k| 1350k| 0 | 0.0 | 700M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
133.80/133.87 c 90.2s| 1360k| 1360k| 0 | 0.0 | 705M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
134.79/134.80 c 90.8s| 1370k| 1370k| 0 | 0.0 | 709M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
135.69/135.71 c 91.4s| 1380k| 1380k| 0 | 0.0 | 714M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
136.60/136.64 c 92.0s| 1390k| 1390k| 0 | 0.0 | 719M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
137.50/137.56 c 92.6s| 1400k| 1400k| 0 | 0.0 | 724M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
138.39/138.48 c 93.2s| 1410k| 1410k| 0 | 0.0 | 728M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
139.40/139.40 c 93.8s| 1420k| 1420k| 0 | 0.0 | 733M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
140.30/140.31 c 94.4s| 1430k| 1430k| 0 | 0.0 | 738M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
141.19/141.23 c 95.0s| 1440k| 1440k| 0 | 0.0 | 743M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
142.10/142.13 c 95.7s| 1450k| 1450k| 0 | 0.0 | 747M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
143.00/143.05 c 96.3s| 1460k| 1460k| 0 | 0.0 | 752M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
143.89/143.97 c 96.9s| 1470k| 1470k| 0 | 0.0 | 757M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
144.89/144.94 c 97.5s| 1480k| 1480k| 0 | 0.0 | 761M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
145.80/145.90 c 98.2s| 1490k| 1490k| 0 | 0.0 | 766M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
146.79/146.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.79/146.87 c 98.8s| 1500k| 1500k| 0 | 0.0 | 771M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
147.89/147.93 c 99.6s| 1510k| 1510k| 0 | 0.0 | 776M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
148.89/148.93 c 100s| 1520k| 1520k| 0 | 0.0 | 781M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
149.89/149.94 c 101s| 1530k| 1530k| 0 | 0.0 | 786M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
150.90/150.94 c 102s| 1540k| 1540k| 0 | 0.0 | 791M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
151.89/151.94 c 102s| 1550k| 1550k| 0 | 0.0 | 797M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
152.89/152.96 c 103s| 1560k| 1560k| 0 | 0.0 | 802M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
153.90/153.96 c 104s| 1570k| 1570k| 0 | 0.0 | 807M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
154.89/154.97 c 104s| 1580k| 1580k| 0 | 0.0 | 812M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
155.89/155.97 c 105s| 1590k| 1590k| 0 | 0.0 | 817M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
156.89/156.97 c 106s| 1600k| 1600k| 0 | 0.0 | 822M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
157.89/157.98 c 106s| 1610k| 1610k| 0 | 0.0 | 827M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
158.90/158.96 c 107s| 1620k| 1620k| 0 | 0.0 | 832M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
159.89/159.96 c 108s| 1630k| 1630k| 0 | 0.0 | 837M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
160.89/160.96 c 108s| 1640k| 1640k| 0 | 0.0 | 843M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
161.89/161.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.89/161.97 c 109s| 1650k| 1650k| 0 | 0.0 | 848M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
162.89/162.94 c 110s| 1660k| 1660k| 0 | 0.0 | 853M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
163.90/163.93 c 110s| 1670k| 1670k| 0 | 0.0 | 858M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
164.90/164.92 c 111s| 1680k| 1680k| 0 | 0.0 | 863M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
165.89/165.91 c 112s| 1690k| 1690k| 0 | 0.0 | 868M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
166.90/166.91 c 112s| 1700k| 1700k| 0 | 0.0 | 873M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
167.79/167.88 c 113s| 1710k| 1710k| 0 | 0.0 | 878M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
168.79/168.88 c 114s| 1720k| 1720k| 0 | 0.0 | 883M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
169.79/169.86 c 114s| 1730k| 1730k| 0 | 0.0 | 888M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
170.79/170.84 c 115s| 1740k| 1740k| 0 | 0.0 | 893M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
171.80/171.83 c 116s| 1750k| 1750k| 0 | 0.0 | 898M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
172.79/172.82 c 116s| 1760k| 1760k| 0 | 0.0 | 903M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
173.70/173.79 c 117s| 1770k| 1770k| 0 | 0.0 | 907M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
174.70/174.77 c 118s| 1780k| 1780k| 0 | 0.0 | 912M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
175.69/175.75 c 118s| 1790k| 1790k| 0 | 0.0 | 917M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
176.69/176.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.69/176.72 c 119s| 1800k| 1800k| 0 | 0.0 | 922M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
177.59/177.69 c 120s| 1810k| 1810k| 0 | 0.0 | 927M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
178.59/178.65 c 120s| 1820k| 1820k| 0 | 0.0 | 932M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
179.60/179.63 c 121s| 1830k| 1830k| 0 | 0.0 | 937M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
180.50/180.58 c 122s| 1840k| 1840k| 0 | 0.0 | 942M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
181.50/181.54 c 122s| 1850k| 1850k| 0 | 0.0 | 947M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
182.39/182.49 c 123s| 1860k| 1860k| 0 | 0.0 | 952M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
183.39/183.43 c 124s| 1870k| 1870k| 0 | 0.0 | 957M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
184.29/184.39 c 124s| 1880k| 1880k| 0 | 0.0 | 962M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
185.29/185.34 c 125s| 1890k| 1890k| 0 | 0.0 | 967M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
186.29/186.30 c 125s| 1900k| 1900k| 0 | 0.0 | 971M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
187.19/187.26 c 126s| 1910k| 1910k| 0 | 0.0 | 976M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
188.19/188.20 c 127s| 1920k| 1920k| 0 | 0.0 | 981M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
189.10/189.15 c 127s| 1930k| 1930k| 0 | 0.0 | 986M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
189.99/190.09 c 128s| 1940k| 1940k| 0 | 0.0 | 991M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
191.00/191.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.00/191.04 c 129s| 1950k| 1950k| 0 | 0.0 | 996M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
191.90/191.99 c 129s| 1960k| 1960k| 0 | 0.0 |1001M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
192.89/192.94 c 130s| 1970k| 1970k| 0 | 0.0 |1005M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
193.79/193.89 c 130s| 1980k| 1980k| 0 | 0.0 |1010M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
194.79/194.84 c 131s| 1990k| 1990k| 0 | 0.0 |1015M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
195.70/195.78 c 132s| 2000k| 2000k| 0 | 0.0 |1020M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
196.69/196.70 c 132s| 2010k| 2010k| 0 | 0.0 |1025M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
197.59/197.65 c 133s| 2020k| 2020k| 0 | 0.0 |1030M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
198.50/198.59 c 134s| 2030k| 2030k| 0 | 0.0 |1034M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
199.50/199.53 c 134s| 2040k| 2040k| 0 | 0.0 |1039M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
200.40/200.47 c 135s| 2050k| 2050k| 0 | 0.0 |1044M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
201.39/201.40 c 136s| 2060k| 2060k| 0 | 0.0 |1049M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
202.29/202.34 c 136s| 2070k| 2070k| 0 | 0.0 |1054M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
203.19/203.27 c 137s| 2080k| 2080k| 0 | 0.0 |1058M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
204.20/204.21 c 137s| 2090k| 2090k| 0 | 0.0 |1063M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
205.10/205.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
205.10/205.15 c 138s| 2100k| 2100k| 0 | 0.0 |1068M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
206.09/206.12 c 139s| 2110k| 2110k| 0 | 0.0 |1073M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
207.09/207.10 c 139s| 2120k| 2120k| 0 | 0.0 |1078M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
207.99/208.10 c 140s| 2130k| 2130k| 0 | 0.0 |1082M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
209.00/209.08 c 141s| 2140k| 2140k| 0 | 0.0 |1087M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
210.00/210.06 c 141s| 2150k| 2150k| 0 | 0.0 |1092M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
210.99/211.05 c 142s| 2160k| 2160k| 0 | 0.0 |1097M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
211.99/212.06 c 143s| 2170k| 2170k| 0 | 0.0 |1102M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
212.99/213.04 c 143s| 2180k| 2180k| 0 | 0.0 |1106M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
213.99/214.04 c 144s| 2190k| 2190k| 0 | 0.0 |1111M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
215.00/215.04 c 145s| 2200k| 2200k| 0 | 0.0 |1116M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
215.99/216.05 c 146s| 2210k| 2210k| 0 | 0.0 |1121M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
216.99/217.05 c 146s| 2220k| 2220k| 0 | 0.0 |1125M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
218.00/218.02 c 147s| 2230k| 2230k| 0 | 0.0 |1130M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
219.00/219.02 c 148s| 2240k| 2240k| 0 | 0.0 |1135M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
220.00/220.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
220.00/220.01 c 148s| 2250k| 2250k| 0 | 0.0 |1140M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
221.00/221.02 c 149s| 2260k| 2260k| 0 | 0.0 |1144M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
221.90/221.99 c 150s| 2270k| 2270k| 0 | 0.0 |1149M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
222.99/223.03 c 150s| 2280k| 2280k| 0 | 0.0 |1154M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
223.99/224.09 c 151s| 2290k| 2290k| 0 | 0.0 |1158M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
225.09/225.10 c 152s| 2300k| 2300k| 0 | 0.0 |1163M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
226.09/226.16 c 153s| 2310k| 2310k| 0 | 0.0 |1168M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
227.19/227.20 c 153s| 2320k| 2320k| 0 | 0.0 |1173M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
228.20/228.24 c 154s| 2330k| 2330k| 0 | 0.0 |1178M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
229.19/229.29 c 155s| 2340k| 2340k| 0 | 0.0 |1182M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
230.29/230.30 c 155s| 2350k| 2350k| 0 | 0.0 |1187M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
231.30/231.33 c 156s| 2360k| 2360k| 0 | 0.0 |1192M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
232.30/232.35 c 157s| 2370k| 2370k| 0 | 0.0 |1196M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
233.29/233.38 c 158s| 2380k| 2380k| 0 | 0.0 |1201M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
234.39/234.45 c 158s| 2390k| 2390k| 0 | 0.0 |1206M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
235.40/235.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.40/235.48 c 159s| 2400k| 2400k| 0 | 0.0 |1210M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
236.40/236.49 c 160s| 2410k| 2410k| 0 | 0.0 |1215M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
237.40/237.49 c 160s| 2420k| 2420k| 0 | 0.0 |1220M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
238.49/238.50 c 161s| 2430k| 2430k| 0 | 0.0 |1225M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
239.50/239.53 c 162s| 2440k| 2440k| 0 | 0.0 |1229M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
240.49/240.54 c 163s| 2450k| 2450k| 0 | 0.0 |1234M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
241.49/241.53 c 163s| 2460k| 2460k| 0 | 0.0 |1239M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
242.50/242.53 c 164s| 2470k| 2470k| 0 | 0.0 |1243M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
243.49/243.51 c 165s| 2480k| 2480k| 0 | 0.0 |1248M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
244.49/244.53 c 165s| 2490k| 2490k| 0 | 0.0 |1253M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
245.49/245.55 c 166s| 2500k| 2500k| 0 | 0.0 |1257M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
246.50/246.58 c 167s| 2510k| 2510k| 0 | 0.0 |1262M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
247.50/247.56 c 167s| 2520k| 2520k| 0 | 0.0 |1266M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
248.49/248.55 c 168s| 2530k| 2530k| 0 | 0.0 |1271M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
249.49/249.54 c 169s| 2540k| 2540k| 0 | 0.0 |1276M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
250.60/250.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
250.60/250.64 c 170s| 2550k| 2550k| 0 | 0.0 |1281M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
251.59/251.67 c 170s| 2560k| 2560k| 0 | 0.0 |1285M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
252.69/252.74 c 171s| 2570k| 2570k| 0 | 0.0 |1290M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
253.79/253.80 c 172s| 2580k| 2580k| 0 | 0.0 |1294M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
254.80/254.85 c 173s| 2590k| 2590k| 0 | 0.0 |1299M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
255.79/255.86 c 173s| 2600k| 2600k| 0 | 0.0 |1304M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
256.80/256.87 c 174s| 2610k| 2610k| 0 | 0.0 |1308M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
257.79/257.84 c 175s| 2620k| 2620k| 0 | 0.0 |1313M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
258.80/258.83 c 175s| 2630k| 2630k| 0 | 0.0 |1317M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
259.80/259.85 c 176s| 2640k| 2640k| 0 | 0.0 |1322M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
260.79/260.88 c 177s| 2650k| 2650k| 0 | 0.0 |1327M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
261.80/261.89 c 177s| 2660k| 2660k| 0 | 0.0 |1331M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
262.80/262.83 c 178s| 2670k| 2670k| 0 | 0.0 |1336M| 59 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
263.79/263.87 c 179s| 2680k| 2680k| 0 | 0.0 |1340M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
264.79/264.87 c 179s| 2690k| 2690k| 0 | 0.0 |1345M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
265.79/265.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
265.79/265.87 c 180s| 2700k| 2700k| 0 | 0.0 |1349M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
266.79/266.86 c 181s| 2710k| 2710k| 0 | 0.0 |1354M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
267.79/267.83 c 181s| 2720k| 2720k| 0 | 0.0 |1358M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
268.79/268.81 c 182s| 2730k| 2730k| 0 | 0.0 |1363M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
269.70/269.77 c 183s| 2740k| 2740k| 0 | 0.0 |1367M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
270.70/270.73 c 183s| 2750k| 2750k| 0 | 0.0 |1372M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
271.60/271.69 c 184s| 2760k| 2760k| 0 | 0.0 |1376M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
272.59/272.66 c 185s| 2770k| 2770k| 0 | 0.0 |1381M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
273.59/273.61 c 185s| 2780k| 2780k| 0 | 0.0 |1385M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
274.49/274.55 c 186s| 2790k| 2790k| 0 | 0.0 |1389M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
275.60/275.62 c 187s| 2800k| 2800k| 0 | 0.0 |1394M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
276.60/276.68 c 188s| 2810k| 2810k| 0 | 0.0 |1399M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
277.69/277.74 c 188s| 2820k| 2820k| 0 | 0.0 |1404M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
278.80/278.81 c 189s| 2830k| 2830k| 0 | 0.0 |1409M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
279.90/279.94 c 190s| 2840k| 2840k| 0 | 0.0 |1414M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
281.00/281.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
281.00/281.03 c 191s| 2850k| 2850k| 0 | 0.0 |1419M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.600000e+01 | -- | Inf
281.99/282.04 c 191s| 2860k| 2860k| 0 | 0.0 |1424M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
283.00/283.02 c 192s| 2870k| 2870k| 0 | 0.0 |1429M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
283.99/284.01 c 193s| 2880k| 2880k| 0 | 0.0 |1434M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
284.99/285.01 c 193s| 2890k| 2890k| 0 | 0.0 |1439M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
285.90/285.99 c 194s| 2900k| 2900k| 0 | 0.0 |1444M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
286.90/286.99 c 195s| 2910k| 2910k| 0 | 0.0 |1449M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
287.89/287.95 c 195s| 2920k| 2920k| 0 | 0.0 |1454M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
288.90/288.91 c 196s| 2930k| 2930k| 0 | 0.0 |1459M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
289.79/289.89 c 197s| 2940k| 2940k| 0 | 0.0 |1463M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
290.80/290.85 c 197s| 2950k| 2950k| 0 | 0.0 |1468M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
291.79/291.82 c 198s| 2960k| 2960k| 0 | 0.0 |1473M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
292.79/292.80 c 199s| 2970k| 2970k| 0 | 0.0 |1478M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
293.70/293.74 c 199s| 2980k| 2980k| 0 | 0.0 |1483M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
294.70/294.72 c 200s| 2990k| 2990k| 0 | 0.0 |1487M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
295.69/295.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
295.69/295.70 c 201s| 3000k| 3000k| 0 | 0.0 |1492M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
296.59/296.64 c 201s| 3010k| 3010k| 0 | 0.0 |1497M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
297.50/297.59 c 202s| 3020k| 3020k| 0 | 0.0 |1502M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
298.49/298.56 c 203s| 3030k| 3030k| 0 | 0.0 |1506M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
299.50/299.54 c 203s| 3040k| 3040k| 0 | 0.0 |1511M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
300.49/300.52 c 204s| 3050k| 3050k| 0 | 0.0 |1516M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
301.40/301.49 c 205s| 3060k| 3060k| 0 | 0.0 |1521M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
302.40/302.48 c 205s| 3070k| 3070k| 0 | 0.0 |1525M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
303.40/303.42 c 206s| 3080k| 3080k| 0 | 0.0 |1530M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
304.29/304.36 c 207s| 3090k| 3090k| 0 | 0.0 |1535M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
305.20/305.26 c 207s| 3100k| 3100k| 0 | 0.0 |1539M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
306.20/306.20 c 208s| 3110k| 3110k| 0 | 0.0 |1544M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
307.09/307.17 c 208s| 3120k| 3120k| 0 | 0.0 |1549M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
308.09/308.11 c 209s| 3130k| 3130k| 0 | 0.0 |1554M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
309.00/309.04 c 210s| 3140k| 3140k| 0 | 0.0 |1558M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
309.89/309.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
309.89/309.93 c 210s| 3150k| 3150k| 0 | 0.0 |1563M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
310.80/310.86 c 211s| 3160k| 3160k| 0 | 0.0 |1568M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
311.69/311.75 c 212s| 3170k| 3170k| 0 | 0.0 |1572M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
312.59/312.67 c 212s| 3180k| 3180k| 0 | 0.0 |1577M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
313.50/313.59 c 213s| 3190k| 3190k| 0 | 0.0 |1582M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
314.50/314.51 c 213s| 3200k| 3200k| 0 | 0.0 |1586M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
315.39/315.45 c 214s| 3210k| 3210k| 0 | 0.0 |1591M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
316.30/316.37 c 215s| 3220k| 3220k| 0 | 0.0 |1596M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
317.20/317.26 c 215s| 3230k| 3230k| 0 | 0.0 |1600M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
318.09/318.18 c 216s| 3240k| 3240k| 0 | 0.0 |1605M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
319.00/319.07 c 216s| 3250k| 3250k| 0 | 0.0 |1609M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
320.00/320.00 c 217s| 3260k| 3260k| 0 | 0.0 |1614M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | -- | Inf
328.10/328.10 o 38
328.10/328.10 c * 225s| 3264k| 87856 | 0 | 0.0 | 108M| 62 | - | 264 | 559 | 0 | 0 | 0 | 0 | 0 | 3.700000e+01 | 3.800000e+01 | 2.70%
330.40/330.40 c 227s| 3270k| 82286 | 0 | 0.0 | 109M| 62 | - | 264 | 24k| 0 | 0 | 0 | 24k| 0 | 3.700000e+01 | 3.800000e+01 | 2.70%
336.60/336.66 o 37
336.60/336.66 c * 233s| 3277k| 0 | 0 | 0.0 | 16M| 62 | - | 264 | 55k| 0 | 0 | 0 | 54k| 0 | 3.700000e+01 | 3.700000e+01 | 0.00%
336.60/336.66 c
336.60/336.66 c SCIP Status : problem is solved [optimal solution found]
336.60/336.66 c Solving Time (sec) : 233.32
336.60/336.66 c Solving Nodes : 3277113
336.60/336.66 c Primal Bound : +3.70000000000000e+01 (2 solutions)
336.60/336.66 c Dual Bound : +3.70000000000000e+01
336.60/336.66 c Gap : 0.00 %
336.60/336.66 s OPTIMUM FOUND
336.60/336.66 v -x192 x191 -x190 -x189 -x188 x187 -x186 x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 x177 -x176 x175 -x174 x173 -x172 x171 -x170
336.60/336.66 v x169 -x168 x167 x166 -x165 x164 -x163 -x162 -x161 -x160 x159 x158 -x157 -x156 x155 -x154 -x153 x152 -x151 x150 -x149 -x148
336.60/336.66 v -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 x139 -x138 x137 -x136 -x135 x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 x126
336.60/336.66 v -x125 x124 -x123 x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 x114 -x113 x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104
336.60/336.66 v x103 -x102 x101 -x100 -x99 x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 x89 -x88 x87 -x86 -x85 -x84 -x83 x82 -x81 x80 -x79 -x78
336.60/336.66 v -x77 -x76 x75 -x74 -x73 x72 -x71 -x70 x69 -x68 -x67 x66 -x65 -x64 -x63 x62 -x61 -x60 x59 -x58 x57 x56 -x55 x54 -x53 -x52
336.60/336.66 v x51 x50 -x49 x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 x29 -x28 -x27 -x26 x25
336.60/336.66 v x24 -x23 -x22 x21 x20 -x19 -x18 x17 x16 -x15 -x14 x13 x12 -x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
336.60/336.66 c SCIP Status : problem is solved [optimal solution found]
336.60/336.66 c Solving Time : 233.32
336.60/336.66 c Original Problem :
336.60/336.66 c Problem name : HOME/instance-2700478-1278535666.wbo
336.60/336.66 c Variables : 1150 (671 binary, 0 integer, 0 implicit integer, 479 continuous)
336.60/336.66 c Constraints : 1026 initial, 1026 maximal
336.60/336.66 c Presolved Problem :
336.60/336.66 c Problem name : t_HOME/instance-2700478-1278535666.wbo
336.60/336.66 c Variables : 264 (205 binary, 0 integer, 0 implicit integer, 59 continuous)
336.60/336.66 c Constraints : 559 initial, 55201 maximal
336.60/336.66 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
336.60/336.66 c trivial : 0.00 0 0 0 0 0 0 0 0
336.60/336.66 c dualfix : 0.00 24 0 0 0 0 0 0 0
336.60/336.66 c boundshift : 0.00 0 0 0 0 0 0 0 0
336.60/336.66 c inttobinary : 0.00 0 0 0 0 0 0 0 0
336.60/336.66 c implics : 0.00 0 0 0 0 0 0 0 0
336.60/336.66 c probing : 0.00 0 0 0 0 0 0 0 0
336.60/336.66 c indicator : 0.00 412 0 0 0 0 420 0 0
336.60/336.66 c varbound : 0.00 0 0 0 0 0 0 0 0
336.60/336.66 c setppc : 0.00 0 0 0 0 0 0 0 0
336.60/336.66 c linear : 0.00 412 38 0 471 0 47 0 0
336.60/336.66 c logicor : 0.01 0 0 0 0 0 0 0 0
336.60/336.66 c root node : - 0 - - 0 - - - -
336.60/336.66 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
336.60/336.66 c integral : 0 0 0 0 0 0 0 0 0 0
336.60/336.66 c indicator : 59 0 8409031 0 3264416 6390 2751349 0 0 0
336.60/336.66 c varbound : 59 0 8402641 0 3264416 825 412242 0 0 0
336.60/336.66 c setppc : 29 0 8402329 0 3264431 410 2610039 0 0 0
336.60/336.66 c logicor : 412+ 0 1711025 0 3264433 5055 4495129 0 0 0
336.60/336.66 c countsols : 0 0 0 0 3264433 0 0 0 0 0
336.60/336.66 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
336.60/336.66 c integral : 0.00 0.00 0.00 0.00 0.00
336.60/336.66 c indicator : 6.52 0.00 2.59 0.00 3.93
336.60/336.66 c varbound : 3.14 0.00 1.85 0.00 1.29
336.60/336.66 c setppc : 12.99 0.00 2.90 0.00 10.09
336.60/336.66 c logicor : 24.89 0.00 9.15 0.00 15.74
336.60/336.66 c countsols : 0.00 0.00 0.00 0.00 0.00
336.60/336.66 c Propagators : Time Calls Cutoffs DomReds
336.60/336.66 c vbounds : 56.97 5565490 0 2184603
336.60/336.66 c rootredcost : 0.00 0 0 0
336.60/336.66 c pseudoobj : 14.79 8409049 0 470712
336.60/336.66 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
336.60/336.66 c propagation : 0.23 5465 5464 20545 24.5 93914 2.0 -
336.60/336.66 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
336.60/336.66 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
336.60/336.66 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
336.60/336.66 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
336.60/336.66 c applied globally : - - - 54642 2.0 - - -
336.60/336.66 c applied locally : - - - 0 0.0 - - -
336.60/336.66 c Separators : Time Calls Cutoffs DomReds Cuts Conss
336.60/336.66 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
336.60/336.66 c redcost : 0.00 0 0 0 0 0
336.60/336.66 c impliedbounds : 0.00 0 0 0 0 0
336.60/336.66 c intobj : 0.00 0 0 0 0 0
336.60/336.66 c cgmip : 0.00 0 0 0 0 0
336.60/336.66 c gomory : 0.00 0 0 0 0 0
336.60/336.66 c strongcg : 0.00 0 0 0 0 0
336.60/336.66 c cmir : 0.00 0 0 0 0 0
336.60/336.66 c flowcover : 0.00 0 0 0 0 0
336.60/336.66 c clique : 0.00 0 0 0 0 0
336.60/336.66 c zerohalf : 0.00 0 0 0 0 0
336.60/336.66 c mcf : 0.00 0 0 0 0 0
336.60/336.66 c rapidlearning : 0.00 0 0 0 0 0
336.60/336.66 c Pricers : Time Calls Vars
336.60/336.66 c problem variables: 0.00 0 0
336.60/336.66 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
336.60/336.66 c relpscost : 0.00 0 0 0 0 0 0
336.60/336.66 c pscost : 0.00 0 0 0 0 0 0
336.60/336.66 c inference : 23.89 3264431 0 0 0 0 6528862
336.60/336.66 c mostinf : 0.00 0 0 0 0 0 0
336.60/336.66 c leastinf : 0.00 0 0 0 0 0 0
336.60/336.66 c fullstrong : 0.00 0 0 0 0 0 0
336.60/336.66 c allfullstrong : 0.00 0 0 0 0 0 0
336.60/336.66 c random : 0.00 0 0 0 0 0 0
336.60/336.66 c Primal Heuristics : Time Calls Found
336.60/336.66 c LP solutions : 0.00 - 0
336.60/336.66 c pseudo solutions : 8.14 - 2
336.60/336.66 c oneopt : 0.00 0 0
336.60/336.66 c trivial : 0.01 2 0
336.60/336.66 c simplerounding : 0.00 0 0
336.60/336.66 c zirounding : 0.00 0 0
336.60/336.66 c rounding : 0.00 0 0
336.60/336.66 c shifting : 0.00 0 0
336.60/336.66 c intshifting : 0.00 0 0
336.60/336.66 c twoopt : 0.00 0 0
336.60/336.66 c fixandinfer : 0.00 0 0
336.60/336.66 c feaspump : 0.00 0 0
336.60/336.66 c coefdiving : 0.00 0 0
336.60/336.66 c pscostdiving : 0.00 0 0
336.60/336.66 c fracdiving : 0.00 0 0
336.60/336.66 c veclendiving : 0.00 0 0
336.60/336.66 c intdiving : 0.00 0 0
336.60/336.66 c actconsdiving : 0.00 0 0
336.60/336.66 c objpscostdiving : 0.00 0 0
336.60/336.66 c rootsoldiving : 0.00 0 0
336.60/336.66 c linesearchdiving : 0.00 0 0
336.60/336.66 c guideddiving : 0.00 0 0
336.60/336.66 c octane : 0.00 0 0
336.60/336.66 c rens : 0.00 0 0
336.60/336.66 c rins : 0.00 0 0
336.60/336.66 c localbranching : 0.00 0 0
336.60/336.66 c mutation : 0.00 0 0
336.60/336.66 c crossover : 0.00 0 0
336.60/336.66 c dins : 0.00 0 0
336.60/336.66 c undercover : 0.00 0 0
336.60/336.66 c nlp : 0.00 0 0
336.60/336.66 c trysol : 0.00 0 0
336.60/336.66 c LP : Time Calls Iterations Iter/call Iter/sec
336.60/336.66 c primal LP : 0.00 0 0 0.00 -
336.60/336.66 c dual LP : 0.00 0 0 0.00 -
336.60/336.66 c lex dual LP : 0.00 0 0 0.00 -
336.60/336.66 c barrier LP : 0.00 0 0 0.00 -
336.60/336.66 c diving/probing LP: 0.00 0 0 0.00 -
336.60/336.66 c strong branching : 0.00 0 0 0.00 -
336.60/336.66 c (at root node) : - 0 0 0.00 -
336.60/336.66 c conflict analysis: 0.00 0 0 0.00 -
336.60/336.66 c B&B Tree :
336.60/336.66 c number of runs : 1
336.60/336.66 c nodes : 3277113
336.60/336.66 c nodes (total) : 3277113
336.60/336.66 c nodes left : 0
336.60/336.66 c max depth : 62
336.60/336.66 c max depth (total): 62
336.60/336.66 c backtracks : 513918 (15.7%)
336.60/336.66 c delayed cutoffs : 0
336.60/336.66 c repropagations : 0 (0 domain reductions, 0 cutoffs)
336.60/336.66 c avg switch length: 8.61
336.60/336.66 c switching time : 64.90
336.60/336.66 c Solution :
336.60/336.66 c Solutions found : 2 (2 improvements)
336.60/336.66 c First Solution : +3.80000000000000e+01 (in run 1, after 3264416 nodes, 217.28 seconds, depth 51, found by <relaxation>)
336.60/336.66 c Primal Bound : +3.70000000000000e+01 (in run 1, after 3277113 nodes, 232.87 seconds, depth 38, found by <relaxation>)
336.60/336.66 c Dual Bound : +3.70000000000000e+01
336.60/336.66 c Gap : 0.00 %
336.60/336.66 c Root Dual Bound : +0.00000000000000e+00
336.60/336.66 c Root Iterations : 0
336.69/336.73 c Time complete: 336.73.
OK 37
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700478-1278535666/watcher-2700478-1278535666 -o /tmp/evaluation-result-2700478-1278535666/solver-2700478-1278535666 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2700478-1278535666.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 1.98 1.70 3/176 18670 /proc/meminfo: memFree=29487884/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=8132 CPUtime=0 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 1542 0 0 0 0 0 0 0 21 0 1 0 21780345 8327168 1465 4089446400 4194304 7136930 140733901405712 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/18670/statm: 2033 1465 275 719 0 1312 0 [startup+0.099358 s] /proc/loadavg: 1.94 1.98 1.70 3/176 18670 /proc/meminfo: memFree=29487884/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=16424 CPUtime=0.08 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 5875 0 0 0 6 2 0 0 21 0 1 0 21780345 16818176 3389 4089446400 4194304 7136930 140733901405712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18670/statm: 4106 3389 399 719 0 3385 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 16424 [startup+0.100357 s] /proc/loadavg: 1.94 1.98 1.70 3/176 18670 /proc/meminfo: memFree=29487884/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=16424 CPUtime=0.09 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 5875 0 0 0 7 2 0 0 21 0 1 0 21780345 16818176 3389 4089446400 4194304 7136930 140733901405712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18670/statm: 4106 3389 399 719 0 3385 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16424 [startup+0.300319 s] /proc/loadavg: 1.94 1.98 1.70 3/176 18670 /proc/meminfo: memFree=29487884/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=17536 CPUtime=0.29 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 6177 0 0 0 20 9 0 0 21 0 1 0 21780345 17956864 3691 4089446400 4194304 7136930 140733901405712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18670/statm: 4384 3691 399 719 0 3663 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17536 [startup+0.700254 s] /proc/loadavg: 1.94 1.98 1.70 3/176 18670 /proc/meminfo: memFree=29487884/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=20248 CPUtime=0.69 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 6841 0 0 0 49 20 0 0 22 0 1 0 21780345 20733952 4355 4089446400 4194304 7136930 140733901405712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18670/statm: 5062 4355 399 719 0 4341 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20248 [startup+1.50012 s] /proc/loadavg: 1.94 1.98 1.70 3/177 18671 /proc/meminfo: memFree=29468400/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=27308 CPUtime=1.49 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 8633 0 0 0 103 46 0 0 25 0 1 0 21780345 27963392 6147 4089446400 4194304 7136930 140733901405712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18670/statm: 6827 6147 399 719 0 6106 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27308 [startup+3.10085 s] /proc/loadavg: 1.94 1.98 1.70 3/177 18671 /proc/meminfo: memFree=29458288/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=36240 CPUtime=3.09 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 10954 0 0 0 217 92 0 0 25 0 1 0 21780345 37109760 8468 4089446400 4194304 7136930 140733901405712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18670/statm: 9060 8468 399 719 0 8339 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36240 [startup+6.30031 s] /proc/loadavg: 1.94 1.98 1.70 3/177 18672 /proc/meminfo: memFree=29433352/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=54084 CPUtime=6.29 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 15530 0 0 0 436 193 0 0 25 0 1 0 21780345 55382016 13044 4089446400 4194304 7136930 140733901405712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18670/statm: 13521 13044 399 719 0 12800 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54084 [startup+12.7002 s] /proc/loadavg: 1.95 1.98 1.70 3/177 18672 /proc/meminfo: memFree=29385472/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=92612 CPUtime=12.69 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 24898 0 0 0 872 397 0 0 25 0 1 0 21780345 94834688 22412 4089446400 4194304 7136930 140733901405712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18670/statm: 23153 22412 399 719 0 22432 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 92612 [startup+25.5011 s] /proc/loadavg: 1.96 1.98 1.71 3/177 18673 /proc/meminfo: memFree=29288492/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=169168 CPUtime=25.49 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 43520 0 0 0 1734 815 0 0 25 0 1 0 21780345 173228032 41034 4089446400 4194304 7136930 140733901405712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18670/statm: 42292 41034 399 719 0 41571 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 169168 [startup+51.1007 s] /proc/loadavg: 1.97 1.98 1.71 3/177 18673 /proc/meminfo: memFree=29109152/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=311816 CPUtime=51.09 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 78148 0 0 0 3475 1634 0 0 25 0 1 0 21780345 319299584 75662 4089446400 4194304 7136930 140733901405712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18670/statm: 77954 75662 399 719 0 77233 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 311816 [startup+102.306 s] /proc/loadavg: 1.99 1.98 1.73 3/177 18675 /proc/meminfo: memFree=28759284/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=593844 CPUtime=102.29 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 146584 0 0 0 6906 3323 0 0 25 0 1 0 21780345 608096256 144098 4089446400 4194304 7136930 140733901405712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18670/statm: 148461 144098 399 719 0 147740 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 593844 [startup+162.301 s] /proc/loadavg: 1.99 1.98 1.74 3/177 18676 /proc/meminfo: memFree=28386956/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=896820 CPUtime=162.29 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 224744 0 0 0 10925 5304 0 0 25 0 1 0 21780345 918343680 222258 4089446400 4194304 7136930 140733901405712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18670/statm: 224205 222258 399 719 0 223484 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 896820 [startup+222.301 s] /proc/loadavg: 1.99 1.98 1.75 3/177 18677 /proc/meminfo: memFree=28003484/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=1227496 CPUtime=222.29 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 301641 0 0 0 14990 7239 0 0 25 0 1 0 21780345 1256955904 299155 4089446400 4194304 7136930 140733901405712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18670/statm: 306874 299155 399 719 0 306153 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 1227496 [startup+282.301 s] /proc/loadavg: 1.99 1.98 1.76 3/177 18679 /proc/meminfo: memFree=27655724/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=1498152 CPUtime=282.29 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 371609 0 0 0 19148 9081 0 0 25 0 1 0 21780345 1534107648 369123 4089446400 4194304 7136930 140733901405712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18670/statm: 374538 369123 399 719 0 373817 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 1498152 Solver just ended. Dumping a history of the last processes samples [startup+307.1 s] /proc/loadavg: 2.06 2.00 1.77 3/177 18680 /proc/meminfo: memFree=27505660/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=1620036 CPUtime=307.09 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 403084 0 0 0 20840 9869 0 0 25 0 1 0 21780345 1658916864 400598 4089446400 4194304 7136930 140733901405712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18670/statm: 405009 400598 399 719 0 404288 0 Current children cumulated CPU time (s) 307.09 Current children cumulated vsize (KiB) 1620036 [startup+319.9 s] /proc/loadavg: 2.05 2.00 1.78 3/177 18680 /proc/meminfo: memFree=27430872/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=1684956 CPUtime=319.89 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 419858 0 0 0 21694 10295 0 0 25 0 1 0 21780345 1725394944 417372 4089446400 4194304 7136930 140733901405712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18670/statm: 421239 417372 399 719 0 420518 0 Current children cumulated CPU time (s) 319.89 Current children cumulated vsize (KiB) 1684956 [startup+326.301 s] /proc/loadavg: 2.04 2.00 1.78 3/177 18681 /proc/meminfo: memFree=27414620/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=1686380 CPUtime=326.3 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 420235 0 0 0 22317 10313 0 0 25 0 1 0 21780345 1726853120 417749 4089446400 4194304 7136930 140733901405712 18446744073709551615 4212562 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18670/statm: 421595 417749 399 719 0 420874 0 Current children cumulated CPU time (s) 326.3 Current children cumulated vsize (KiB) 1686380 [startup+332.701 s] /proc/loadavg: 2.04 2.00 1.78 3/177 18681 /proc/meminfo: memFree=27431724/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=1665060 CPUtime=332.7 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 422799 0 0 0 22945 10325 0 0 25 0 1 0 21780345 1705021440 412030 4089446400 4194304 7136930 140733901405712 18446744073709551615 6165629 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18670/statm: 416265 412030 403 719 0 415544 0 Current children cumulated CPU time (s) 332.7 Current children cumulated vsize (KiB) 1665060 [startup+334.301 s] /proc/loadavg: 2.04 2.00 1.78 3/177 18681 /proc/meminfo: memFree=27427628/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=1667936 CPUtime=334.3 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 423426 0 0 0 23103 10327 0 0 25 0 1 0 21780345 1707966464 412657 4089446400 4194304 7136930 140733901405712 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18670/statm: 416984 412657 403 719 0 416263 0 Current children cumulated CPU time (s) 334.3 Current children cumulated vsize (KiB) 1667936 [startup+335.9 s] /proc/loadavg: 2.04 2.00 1.78 3/177 18681 /proc/meminfo: memFree=27428620/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=1667912 CPUtime=335.9 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 423762 0 0 0 23260 10330 0 0 25 0 1 0 21780345 1707941888 412481 4089446400 4194304 7136930 140733901405712 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18670/statm: 416978 412481 403 719 0 416257 0 Current children cumulated CPU time (s) 335.9 Current children cumulated vsize (KiB) 1667912 [startup+336.3 s] /proc/loadavg: 2.04 2.00 1.78 3/177 18681 /proc/meminfo: memFree=27428620/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=1660384 CPUtime=336.3 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 423783 0 0 0 23300 10330 0 0 25 0 1 0 21780345 1700233216 410549 4089446400 4194304 7136930 140733901405712 18446744073709551615 6165759 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/18670/statm: 415096 410549 403 719 0 414375 0 Current children cumulated CPU time (s) 336.3 Current children cumulated vsize (KiB) 1660384 [startup+336.7 s] /proc/loadavg: 2.04 2.00 1.78 3/177 18681 /proc/meminfo: memFree=27553248/32951132 swapFree=67111528/67111528 [pid=18670] ppid=18668 vsize=536740 CPUtime=336.69 /proc/18670/stat : 18670 (pbscip.linux.x8) R 18668 18670 17427 0 -1 4202496 423850 0 0 0 23335 10334 0 0 18 0 1 0 21780345 549621760 129630 4089446400 4194304 7136930 140733901405712 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/18670/statm: 134152 129597 408 719 0 133431 0 Current children cumulated CPU time (s) 336.69 Current children cumulated vsize (KiB) 536740 Child status: 0 Real time (s): 336.739 CPU time (s): 336.742 CPU user time (s): 233.379 CPU system time (s): 103.363 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 1686380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 233.379 system time used= 103.363 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 423857 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= 2 involuntary context switches= 244 runsolver used 0.491925 second user time and 1.06084 second system time The end
Begin job on node129 at 2010-07-07 22:47:46 IDJOB=2700478 IDBENCH=79431 IDSOLVER=1206 FILE ID=node129/2700478-1278535666 PBS_JOBID= 11239219 Free space on /tmp= 73784 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-54_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-2700478-1278535666/watcher-2700478-1278535666 -o /tmp/evaluation-result-2700478-1278535666/solver-2700478-1278535666 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2700478-1278535666.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5da0482fa5c9a9d0a00dab78a5ff7041 RANDOM SEED=1118915051 node129.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.836 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.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 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 : 5311.72 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.836 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.82 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.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 29488536 kB Buffers: 139128 kB Cached: 2886628 kB SwapCached: 0 kB Active: 1458000 kB Inactive: 1864924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 29488536 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3132 kB Writeback: 0 kB AnonPages: 297292 kB Mapped: 17628 kB Slab: 75908 kB PageTables: 5232 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 445184 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73780 MiB End job on node129 at 2010-07-07 22:53:23