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 | 1265.93 | 1265.9 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967729--soft-33-100-0.wbo |
| MD5SUM | 28b22ff7551de5ca1263780ad2fbf9cd |
| 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 | 4 |
| Best CPU time to get the best result obtained on this benchmark | 0.178972 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 64 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 2925 |
| Min constraint cost | 1 |
| Max constraint cost | 96 |
| Sum of constraints costs | 2924 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1318 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-2693977-1277898900.wbo>
0.00/0.00 c original problem has 297 variables (233 bin, 0 int, 0 impl, 64 cont) and 166 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 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.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 3) 1 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 4) 2 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 33 upgd conss, 66 impls, 23 clqs
0.00/0.02 c (0.0s) probing: 101/232 (43.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 2 deleted vars, 7 deleted constraints, 63 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 66 implications, 23 cliques
0.00/0.02 c presolved problem has 295 variables (232 bin, 0 int, 0 impl, 63 cont) and 159 constraints
0.00/0.02 c 63 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 23 constraints of type <setppc>
0.00/0.02 c 63 constraints of type <linear>
0.00/0.02 c 9 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 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.02 c 0.0s| 1 | 2 | 0 | - |1056k| 0 | - | 295 | 159 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.46 c 1.4s| 10000 | 7044 | 0 | 0.0 |6741k| 183 | - | 295 |3900 | 0 | 0 | 0 |8303 | 0 | 0.000000e+00 | -- | Inf
3.30/3.34 c 3.1s| 20000 | 13601 | 0 | 0.0 | 10M| 183 | - | 295 |1681 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
5.59/5.68 c 5.4s| 30000 | 18848 | 0 | 0.0 | 15M| 183 | - | 295 |7370 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
9.50/9.50 c 9.1s| 40000 | 21967 | 0 | 0.0 | 20M| 183 | - | 295 | 10k| 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
14.99/15.00 c 14.5s| 50000 | 22223 | 0 | 0.0 | 25M| 183 | - | 295 | 15k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
16.49/16.56 o 587
16.49/16.56 c *16.0s| 53259 | 23159 | 0 | 0.0 | 25M| 183 | - | 295 | 13k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 5.870000e+02 | Inf
16.89/16.94 o 556
16.89/16.94 c *16.4s| 55660 | 25265 | 0 | 0.0 | 23M| 183 | - | 295 |3530 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 5.560000e+02 | Inf
16.89/16.94 o 427
16.89/16.94 c *16.4s| 55661 | 25264 | 0 | 0.0 | 23M| 183 | - | 295 |3530 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 4.270000e+02 | Inf
17.00/17.03 o 408
17.00/17.03 c *16.4s| 56407 | 25900 | 0 | 0.0 | 23M| 183 | - | 295 |2368 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 4.080000e+02 | Inf
17.00/17.07 o 386
17.00/17.07 c *16.5s| 56730 | 26168 | 0 | 0.0 | 23M| 183 | - | 295 |1986 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 3.860000e+02 | Inf
17.39/17.41 c 16.8s| 60000 | 28953 | 0 | 0.0 | 24M| 183 | - | 295 |1419 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 3.860000e+02 | Inf
18.19/18.26 o 365
18.19/18.26 c *17.6s| 68450 | 36220 | 0 | 0.0 | 27M| 183 | - | 295 |1621 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 3.650000e+02 | Inf
18.39/18.42 c 17.7s| 70000 | 37566 | 0 | 0.0 | 28M| 183 | - | 295 |1591 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 3.650000e+02 | Inf
19.40/19.47 c 18.7s| 80000 | 46026 | 0 | 0.0 | 31M| 183 | - | 295 |1320 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 3.650000e+02 | Inf
20.10/20.12 o 350
20.10/20.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.10/20.12 c *19.3s| 85853 | 50864 | 0 | 0.0 | 33M| 183 | - | 295 |1285 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 3.500000e+02 | Inf
20.50/20.57 c 19.7s| 90000 | 54290 | 0 | 0.0 | 35M| 183 | - | 295 |1369 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 3.500000e+02 | Inf
21.70/21.71 c 20.8s|100000 | 62344 | 0 | 0.0 | 39M| 183 | - | 295 |1718 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 3.500000e+02 | Inf
22.99/23.04 c 22.0s|110000 | 69906 | 0 | 0.0 | 42M| 183 | - | 295 |2025 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 3.500000e+02 | Inf
23.49/23.57 o 304
23.49/23.57 c *22.5s|113742 | 72645 | 0 | 0.0 | 44M| 183 | - | 295 |2339 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 3.040000e+02 | Inf
24.49/24.57 c 23.4s|120000 | 77059 | 0 | 0.0 | 47M| 183 | - | 295 |2604 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 3.040000e+02 | Inf
26.40/26.48 c 25.2s|130000 | 83337 | 0 | 0.0 | 51M| 183 | - | 295 |4040 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 3.040000e+02 | Inf
30.49/30.54 c 29.2s|140000 | 85868 | 0 | 0.0 | 56M| 183 | - | 295 | 10k| 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 3.040000e+02 | Inf
38.19/38.24 c 36.8s|150000 | 84702 | 0 | 0.0 | 60M| 183 | - | 295 | 19k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 3.040000e+02 | Inf
49.19/49.21 c 47.6s|160000 | 82246 | 0 | 0.0 | 62M| 183 | - | 295 | 23k| 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 3.040000e+02 | Inf
54.09/54.16 c 52.5s|170000 | 86920 | 0 | 0.0 | 56M| 183 | - | 295 |1977 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | 3.040000e+02 | Inf
55.49/55.56 c 53.8s|180000 | 94562 | 0 | 0.0 | 60M| 183 | - | 295 |1804 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 3.040000e+02 | Inf
56.99/57.06 c 55.2s|190000 |101947 | 0 | 0.0 | 64M| 183 | - | 295 |2113 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 3.040000e+02 | Inf
57.89/57.95 o 174
57.89/57.95 c *56.0s|196159 |106337 | 0 | 0.0 | 67M| 183 | - | 295 |2297 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 1.740000e+02 | Inf
58.49/58.51 c 56.6s|200000 |109241 | 0 | 0.0 | 68M| 183 | - | 295 |2364 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 1.740000e+02 | Inf
59.89/59.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.89/59.97 c 58.0s|210000 |116811 | 0 | 0.0 | 72M| 183 | - | 295 |2637 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 1.740000e+02 | Inf
61.29/61.35 c 59.3s|220000 |124551 | 0 | 0.0 | 76M| 183 | - | 295 |2700 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 1.740000e+02 | Inf
62.69/62.78 c 60.6s|230000 |132202 | 0 | 0.0 | 80M| 183 | - | 295 |2930 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 1.740000e+02 | Inf
64.19/64.24 c 62.0s|240000 |139863 | 0 | 0.0 | 84M| 183 | - | 295 |3010 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 1.740000e+02 | Inf
65.69/65.77 c 63.4s|250000 |147333 | 0 | 0.0 | 88M| 183 | - | 295 |3046 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 1.740000e+02 | Inf
67.20/67.25 c 64.8s|260000 |154955 | 0 | 0.0 | 92M| 183 | - | 295 |2898 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 1.740000e+02 | Inf
67.29/67.30 o 160
67.29/67.30 c *64.9s|260260 |154991 | 0 | 0.0 | 92M| 183 | - | 295 |2923 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
68.69/68.73 c 66.2s|270000 |162400 | 0 | 0.0 | 96M| 183 | - | 295 |2857 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
70.10/70.20 c 67.6s|280000 |170018 | 0 | 0.0 | 99M| 183 | - | 295 |2825 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
71.60/71.66 c 69.0s|290000 |177624 | 0 | 0.0 | 103M| 183 | - | 295 |2492 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 1.600000e+02 | Inf
72.90/72.91 o 152
72.90/72.91 c *70.1s|298134 |183513 | 0 | 0.0 | 107M| 183 | - | 295 |2380 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
73.19/73.21 c 70.4s|300000 |184829 | 0 | 0.0 | 107M| 183 | - | 295 |2376 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
74.69/74.77 c 71.9s|310000 |192100 | 0 | 0.0 | 111M| 183 | - | 295 |2370 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
76.20/76.29 c 73.3s|320000 |199440 | 0 | 0.0 | 115M| 183 | - | 295 |2335 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
77.89/77.91 c 74.8s|330000 |206508 | 0 | 0.0 | 119M| 183 | - | 295 |2356 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
79.39/79.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.39/79.48 c 76.3s|340000 |213685 | 0 | 0.0 | 123M| 183 | - | 295 |2590 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
81.09/81.10 c 77.9s|350000 |220763 | 0 | 0.0 | 127M| 183 | - | 295 |2431 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
82.69/82.73 c 79.4s|360000 |227810 | 0 | 0.0 | 131M| 183 | - | 295 |2301 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
84.39/84.43 c 81.0s|370000 |234634 | 0 | 0.0 | 135M| 183 | - | 295 |2324 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
86.19/86.20 c 82.7s|380000 |241249 | 0 | 0.0 | 139M| 183 | - | 295 |2872 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
88.00/88.01 c 84.4s|390000 |247873 | 0 | 0.0 | 143M| 183 | - | 295 |2771 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
89.80/89.82 c 86.2s|400000 |254487 | 0 | 0.0 | 147M| 183 | - | 295 |2903 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
91.59/91.69 c 87.9s|410000 |261022 | 0 | 0.0 | 151M| 183 | - | 295 |2883 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
93.60/93.62 c 89.8s|420000 |267373 | 0 | 0.0 | 155M| 183 | - | 295 |3398 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
95.50/95.58 c 91.6s|430000 |273707 | 0 | 0.0 | 159M| 183 | - | 295 |3329 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
97.50/97.53 c 93.5s|440000 |280109 | 0 | 0.0 | 163M| 183 | - | 295 |3350 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
99.49/99.53 c 95.4s|450000 |286447 | 0 | 0.0 | 167M| 183 | - | 295 |3442 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
101.60/101.65 c 97.4s|460000 |292455 | 0 | 0.0 | 171M| 183 | - | 295 |3685 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
103.69/103.72 c 99.4s|470000 |298610 | 0 | 0.0 | 174M| 183 | - | 295 |3631 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
105.90/105.90 c 101s|480000 |304597 | 0 | 0.0 | 178M| 183 | - | 295 |3795 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
108.09/108.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.09/108.11 c 104s|490000 |310449 | 0 | 0.0 | 182M| 183 | - | 295 |3929 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
110.39/110.40 c 106s|500000 |316162 | 0 | 0.0 | 186M| 183 | - | 295 |3803 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
112.60/112.66 c 108s|510000 |321892 | 0 | 0.0 | 190M| 183 | - | 295 |4055 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
114.90/114.91 c 110s|520000 |327742 | 0 | 0.0 | 193M| 183 | - | 295 |4131 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
117.29/117.32 c 112s|530000 |333204 | 0 | 0.0 | 197M| 183 | - | 295 |4319 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
119.80/119.86 c 115s|540000 |338469 | 0 | 0.0 | 201M| 183 | - | 295 |4475 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
122.50/122.53 c 117s|550000 |343521 | 0 | 0.0 | 204M| 183 | - | 295 |4674 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
125.30/125.32 c 120s|560000 |348389 | 0 | 0.0 | 208M| 183 | - | 295 |5309 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
128.29/128.36 c 123s|570000 |352849 | 0 | 0.0 | 212M| 183 | - | 295 |5818 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
131.69/131.77 c 126s|580000 |356819 | 0 | 0.0 | 215M| 183 | - | 295 |6789 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
135.80/135.80 c 130s|590000 |359922 | 0 | 0.0 | 219M| 183 | - | 295 |8734 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
140.19/140.22 c 135s|600000 |363183 | 0 | 0.0 | 220M| 183 | - | 295 |5218 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
148.79/148.82 c 143s|610000 |359719 | 0 | 0.0 | 218M| 183 | - | 295 | 15k| 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
151.09/151.11 c 145s|620000 |366316 | 0 | 0.0 | 218M| 183 | - | 295 |2014 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
153.09/153.10 c 147s|630000 |372626 | 0 | 0.0 | 222M| 183 | - | 295 |2668 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
154.99/155.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.99/155.03 c 149s|640000 |379189 | 0 | 0.0 | 226M| 183 | - | 295 |3156 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
156.90/156.99 c 151s|650000 |385810 | 0 | 0.0 | 231M| 183 | - | 295 |3377 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
158.89/158.98 c 153s|660000 |392456 | 0 | 0.0 | 235M| 183 | - | 295 |3616 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
160.99/161.03 c 155s|670000 |398971 | 0 | 0.0 | 239M| 183 | - | 295 |3578 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
163.09/163.12 c 157s|680000 |405405 | 0 | 0.0 | 244M| 183 | - | 295 |3745 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
165.10/165.15 c 159s|690000 |411940 | 0 | 0.0 | 248M| 183 | - | 295 |3815 | 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
167.20/167.27 c 161s|700000 |418335 | 0 | 0.0 | 252M| 183 | - | 295 |4027 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
169.29/169.36 c 163s|710000 |424774 | 0 | 0.0 | 256M| 183 | - | 295 |4033 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
171.39/171.44 c 165s|720000 |431189 | 0 | 0.0 | 260M| 183 | - | 295 |4258 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
173.70/173.75 c 167s|730000 |437188 | 0 | 0.0 | 265M| 183 | - | 295 |4385 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
175.90/175.90 c 169s|740000 |443520 | 0 | 0.0 | 269M| 183 | - | 295 |4431 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
177.89/177.96 c 171s|750000 |450061 | 0 | 0.0 | 273M| 183 | - | 295 |4490 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
180.00/180.00 c 173s|760000 |456584 | 0 | 0.0 | 277M| 183 | - | 295 |4773 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
182.19/182.24 c 175s|770000 |462799 | 0 | 0.0 | 282M| 183 | - | 295 |4722 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
184.29/184.36 c 177s|780000 |469224 | 0 | 0.0 | 285M| 183 | - | 295 |4555 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 1.520000e+02 | Inf
185.10/185.14 o 141
185.10/185.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.10/185.14 c * 178s|783503 |469922 | 0 | 0.0 | 285M| 183 | - | 295 |4611 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
186.30/186.38 c 179s|790000 |474385 | 0 | 0.0 | 287M| 183 | - | 295 |4539 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
188.60/188.69 c 181s|800000 |480351 | 0 | 0.0 | 291M| 183 | - | 295 |4605 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
190.69/190.78 c 183s|810000 |486793 | 0 | 0.0 | 295M| 183 | - | 295 |4695 | 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
193.09/193.19 c 186s|820000 |492612 | 0 | 0.0 | 299M| 183 | - | 295 |4660 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
195.59/195.60 c 188s|830000 |498429 | 0 | 0.0 | 303M| 183 | - | 295 |4787 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
197.80/197.83 c 190s|840000 |504671 | 0 | 0.0 | 307M| 183 | - | 295 |4760 | 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
199.99/200.05 c 192s|850000 |510847 | 0 | 0.0 | 311M| 183 | - | 295 |4797 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
201.99/202.07 c 194s|860000 |517530 | 0 | 0.0 | 315M| 183 | - | 295 |4736 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
204.29/204.37 c 196s|870000 |523540 | 0 | 0.0 | 319M| 183 | - | 295 |4766 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
206.50/206.53 c 198s|880000 |529872 | 0 | 0.0 | 322M| 183 | - | 295 |4732 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
208.80/208.86 c 201s|890000 |535718 | 0 | 0.0 | 326M| 183 | - | 295 |4489 | 0 | 0 | 0 | 482k| 0 | 1.000000e+00 | 1.410000e+02 | Large
210.69/210.78 c 202s|900000 |542511 | 0 | 0.0 | 330M| 183 | - | 295 |4440 | 0 | 0 | 0 | 485k| 0 | 1.000000e+00 | 1.410000e+02 | Large
212.89/212.92 c 205s|910000 |548649 | 0 | 0.0 | 334M| 183 | - | 295 |4374 | 0 | 0 | 0 | 488k| 0 | 1.000000e+00 | 1.410000e+02 | Large
214.90/214.94 c 206s|920000 |555044 | 0 | 0.0 | 338M| 183 | - | 295 |4280 | 0 | 0 | 0 | 491k| 0 | 1.000000e+00 | 1.410000e+02 | Large
217.10/217.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
217.10/217.11 c 209s|930000 |561003 | 0 | 0.0 | 343M| 183 | - | 295 |4227 | 0 | 0 | 0 | 494k| 0 | 1.000000e+00 | 1.410000e+02 | Large
219.30/219.31 c 211s|940000 |567025 | 0 | 0.0 | 347M| 183 | - | 295 |4082 | 0 | 0 | 0 | 497k| 0 | 1.000000e+00 | 1.410000e+02 | Large
221.39/221.45 c 213s|950000 |572983 | 0 | 0.0 | 351M| 183 | - | 295 |4211 | 0 | 0 | 0 | 501k| 0 | 1.000000e+00 | 1.410000e+02 | Large
223.60/223.65 c 215s|960000 |578930 | 0 | 0.0 | 355M| 183 | - | 295 |4155 | 0 | 0 | 0 | 504k| 0 | 1.000000e+00 | 1.410000e+02 | Large
224.50/224.52 o 133
224.50/224.52 c * 216s|964531 |580662 | 0 | 0.0 | 356M| 183 | - | 295 |4054 | 0 | 0 | 0 | 505k| 0 | 1.000000e+00 | 1.330000e+02 | Large
225.61/225.69 c 217s|970000 |583934 | 0 | 0.0 | 358M| 183 | - | 295 |4066 | 0 | 0 | 0 | 507k| 0 | 1.000000e+00 | 1.330000e+02 | Large
227.81/227.89 c 219s|980000 |589799 | 0 | 0.0 | 362M| 183 | - | 295 |4092 | 0 | 0 | 0 | 511k| 0 | 1.000000e+00 | 1.330000e+02 | Large
229.90/229.95 o 131
229.90/229.95 c * 221s|989707 |595095 | 0 | 0.0 | 366M| 183 | - | 295 |3964 | 0 | 0 | 0 | 514k| 0 | 1.000000e+00 | 1.310000e+02 | Large
230.00/230.03 c 221s|990000 |595253 | 0 | 0.0 | 366M| 183 | - | 295 |3973 | 0 | 0 | 0 | 514k| 0 | 1.000000e+00 | 1.310000e+02 | Large
232.39/232.43 c 223s| 1000k|600618 | 0 | 0.0 | 370M| 183 | - | 295 |4092 | 0 | 0 | 0 | 518k| 0 | 1.000000e+00 | 1.310000e+02 | Large
234.40/234.49 c 225s| 1010k|606892 | 0 | 0.0 | 375M| 183 | - | 295 |3963 | 0 | 0 | 0 | 521k| 0 | 1.000000e+00 | 1.310000e+02 | Large
235.59/235.69 o 127
235.59/235.69 c * 226s| 1015k|609705 | 0 | 0.0 | 377M| 183 | - | 295 |4038 | 0 | 0 | 0 | 523k| 0 | 1.000000e+00 | 1.270000e+02 | Large
236.80/236.80 c 227s| 1020k|612200 | 0 | 0.0 | 379M| 183 | - | 295 |4260 | 0 | 0 | 0 | 525k| 0 | 1.000000e+00 | 1.270000e+02 | Large
238.90/238.91 c 229s| 1030k|618421 | 0 | 0.0 | 383M| 183 | - | 295 |3951 | 0 | 0 | 0 | 528k| 0 | 1.000000e+00 | 1.270000e+02 | Large
241.10/241.12 c 231s| 1040k|624140 | 0 | 0.0 | 388M| 183 | - | 295 |4188 | 0 | 0 | 0 | 532k| 0 | 1.000000e+00 | 1.270000e+02 | Large
243.40/243.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.40/243.40 c 234s| 1050k|629856 | 0 | 0.0 | 392M| 183 | - | 295 |4186 | 0 | 0 | 0 | 536k| 0 | 1.000000e+00 | 1.270000e+02 | Large
245.60/245.64 c 236s| 1060k|635619 | 0 | 0.0 | 396M| 183 | - | 295 |4155 | 0 | 0 | 0 | 540k| 0 | 1.000000e+00 | 1.270000e+02 | Large
248.00/248.00 o 106
248.00/248.00 c * 238s| 1069k|636664 | 0 | 0.0 | 395M| 183 | - | 295 |4389 | 0 | 0 | 0 | 543k| 0 | 1.000000e+00 | 1.060000e+02 | Large
248.00/248.05 c 238s| 1070k|636754 | 0 | 0.0 | 396M| 183 | - | 295 |4385 | 0 | 0 | 0 | 543k| 0 | 1.000000e+00 | 1.060000e+02 | Large
250.40/250.43 c 240s| 1080k|642354 | 0 | 0.0 | 400M| 183 | - | 295 |4392 | 0 | 0 | 0 | 548k| 0 | 1.000000e+00 | 1.060000e+02 | Large
252.09/252.13 o 97
252.09/252.13 c * 242s| 1086k|641118 | 0 | 0.0 | 398M| 183 | - | 295 |4760 | 0 | 0 | 0 | 551k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
253.20/253.21 c 243s| 1090k|642629 | 0 | 0.0 | 400M| 183 | - | 295 |4730 | 0 | 0 | 0 | 553k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
255.90/255.96 c 246s| 1100k|647612 | 0 | 0.0 | 405M| 183 | - | 295 |4571 | 0 | 0 | 0 | 557k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
258.69/258.74 c 248s| 1110k|652182 | 0 | 0.0 | 409M| 183 | - | 295 |3372 | 0 | 0 | 0 | 562k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
261.19/261.22 c 251s| 1120k|657280 | 0 | 0.0 | 414M| 183 | - | 295 |3748 | 0 | 0 | 0 | 567k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
264.01/264.10 c 254s| 1130k|661432 | 0 | 0.0 | 418M| 183 | - | 295 |3238 | 0 | 0 | 0 | 573k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
266.80/266.86 c 256s| 1140k|665923 | 0 | 0.0 | 423M| 183 | - | 295 |3741 | 0 | 0 | 0 | 579k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
269.80/269.85 c 259s| 1150k|669789 | 0 | 0.0 | 428M| 183 | - | 295 |4223 | 0 | 0 | 0 | 585k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
272.60/272.61 c 262s| 1160k|674490 | 0 | 0.0 | 432M| 183 | - | 295 |4049 | 0 | 0 | 0 | 591k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
275.40/275.49 c 265s| 1170k|678690 | 0 | 0.0 | 437M| 183 | - | 295 |4429 | 0 | 0 | 0 | 597k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
278.10/278.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
278.10/278.16 c 267s| 1180k|683643 | 0 | 0.0 | 441M| 183 | - | 295 |4213 | 0 | 0 | 0 | 602k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
281.09/281.12 c 270s| 1190k|687698 | 0 | 0.0 | 446M| 183 | - | 295 |4599 | 0 | 0 | 0 | 608k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
283.90/283.92 c 273s| 1200k|692383 | 0 | 0.0 | 450M| 183 | - | 295 |4487 | 0 | 0 | 0 | 614k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
287.00/287.03 c 276s| 1210k|696243 | 0 | 0.0 | 455M| 183 | - | 295 |4680 | 0 | 0 | 0 | 620k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
289.80/289.88 c 278s| 1220k|700925 | 0 | 0.0 | 459M| 183 | - | 295 |4564 | 0 | 0 | 0 | 626k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
292.90/292.97 c 281s| 1230k|704875 | 0 | 0.0 | 463M| 183 | - | 295 |4844 | 0 | 0 | 0 | 632k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
295.80/295.81 c 284s| 1240k|709562 | 0 | 0.0 | 468M| 183 | - | 295 |4525 | 0 | 0 | 0 | 638k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
298.80/298.88 c 287s| 1250k|713619 | 0 | 0.0 | 472M| 183 | - | 295 |5062 | 0 | 0 | 0 | 644k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
301.90/301.97 c 290s| 1260k|717798 | 0 | 0.0 | 476M| 183 | - | 295 |4973 | 0 | 0 | 0 | 651k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
305.10/305.13 c 293s| 1270k|721758 | 0 | 0.0 | 481M| 183 | - | 295 |5603 | 0 | 0 | 0 | 657k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
308.20/308.26 c 296s| 1280k|726042 | 0 | 0.0 | 485M| 183 | - | 295 |5199 | 0 | 0 | 0 | 664k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
311.50/311.52 c 299s| 1290k|729849 | 0 | 0.0 | 489M| 183 | - | 295 |5522 | 0 | 0 | 0 | 671k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
314.70/314.72 c 302s| 1300k|733955 | 0 | 0.0 | 493M| 183 | - | 295 |5483 | 0 | 0 | 0 | 677k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
317.80/317.84 c 305s| 1310k|738203 | 0 | 0.0 | 497M| 183 | - | 295 |5980 | 0 | 0 | 0 | 684k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
321.00/321.06 c 309s| 1320k|742352 | 0 | 0.0 | 502M| 183 | - | 295 |5723 | 0 | 0 | 0 | 691k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
324.40/324.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
324.40/324.42 c 312s| 1330k|746248 | 0 | 0.0 | 506M| 183 | - | 295 |6026 | 0 | 0 | 0 | 698k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
327.60/327.62 c 315s| 1340k|750558 | 0 | 0.0 | 510M| 183 | - | 295 |5965 | 0 | 0 | 0 | 704k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
331.11/331.15 c 318s| 1350k|754161 | 0 | 0.0 | 514M| 183 | - | 295 |6109 | 0 | 0 | 0 | 712k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
334.50/334.55 c 322s| 1360k|758144 | 0 | 0.0 | 518M| 183 | - | 295 |6297 | 0 | 0 | 0 | 720k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
338.20/338.21 c 325s| 1370k|761527 | 0 | 0.0 | 521M| 183 | - | 295 |6316 | 0 | 0 | 0 | 727k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
341.40/341.40 c 328s| 1380k|766074 | 0 | 0.0 | 526M| 183 | - | 295 |6415 | 0 | 0 | 0 | 734k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
345.10/345.12 c 332s| 1390k|769414 | 0 | 0.0 | 529M| 183 | - | 295 |6705 | 0 | 0 | 0 | 742k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
348.50/348.59 c 335s| 1400k|773403 | 0 | 0.0 | 533M| 183 | - | 295 |7119 | 0 | 0 | 0 | 750k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
352.50/352.54 c 339s| 1410k|776573 | 0 | 0.0 | 537M| 183 | - | 295 |7017 | 0 | 0 | 0 | 758k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
356.40/356.44 c 343s| 1420k|779857 | 0 | 0.0 | 541M| 183 | - | 295 |6843 | 0 | 0 | 0 | 766k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
359.99/360.05 c 346s| 1430k|783659 | 0 | 0.0 | 544M| 183 | - | 295 |6971 | 0 | 0 | 0 | 775k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
364.10/364.14 c 350s| 1440k|786594 | 0 | 0.0 | 548M| 183 | - | 295 |7181 | 0 | 0 | 0 | 783k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
368.20/368.22 c 354s| 1450k|789641 | 0 | 0.0 | 552M| 183 | - | 295 |7746 | 0 | 0 | 0 | 792k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
372.19/372.26 c 358s| 1460k|793000 | 0 | 0.0 | 556M| 183 | - | 295 |7913 | 0 | 0 | 0 | 802k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
376.60/376.68 c 363s| 1470k|795552 | 0 | 0.0 | 559M| 183 | - | 295 |7758 | 0 | 0 | 0 | 812k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
381.00/381.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
381.00/381.02 c 367s| 1480k|798339 | 0 | 0.0 | 562M| 183 | - | 295 |8026 | 0 | 0 | 0 | 821k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
385.40/385.41 c 371s| 1490k|801175 | 0 | 0.0 | 566M| 183 | - | 295 |8464 | 0 | 0 | 0 | 831k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
389.80/389.86 c 375s| 1500k|804112 | 0 | 0.0 | 569M| 183 | - | 295 |8439 | 0 | 0 | 0 | 841k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
394.10/394.15 c 380s| 1510k|807338 | 0 | 0.0 | 573M| 183 | - | 295 |8698 | 0 | 0 | 0 | 852k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
398.80/398.83 c 384s| 1520k|809898 | 0 | 0.0 | 576M| 183 | - | 295 |8649 | 0 | 0 | 0 | 863k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
403.60/403.62 c 389s| 1530k|812330 | 0 | 0.0 | 579M| 183 | - | 295 |8658 | 0 | 0 | 0 | 874k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
408.40/408.47 c 394s| 1540k|814674 | 0 | 0.0 | 583M| 183 | - | 295 |9017 | 0 | 0 | 0 | 886k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
413.40/413.49 c 398s| 1550k|816906 | 0 | 0.0 | 586M| 183 | - | 295 |8897 | 0 | 0 | 0 | 898k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
418.60/418.61 c 403s| 1560k|819010 | 0 | 0.0 | 589M| 183 | - | 295 |9523 | 0 | 0 | 0 | 911k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
424.20/424.26 c 409s| 1570k|820363 | 0 | 0.0 | 591M| 183 | - | 295 |9363 | 0 | 0 | 0 | 925k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
430.00/430.09 c 415s| 1580k|821729 | 0 | 0.0 | 594M| 183 | - | 295 | 10k| 0 | 0 | 0 | 939k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
435.70/435.71 c 420s| 1590k|823624 | 0 | 0.0 | 597M| 183 | - | 295 | 10k| 0 | 0 | 0 | 953k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
442.50/442.53 c 427s| 1600k|824049 | 0 | 0.0 | 599M| 183 | - | 295 | 11k| 0 | 0 | 0 | 971k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
449.21/449.21 c 434s| 1610k|824963 | 0 | 0.0 | 602M| 183 | - | 295 | 12k| 0 | 0 | 0 | 987k| 0 | 1.000000e+00 | 9.700000e+01 |9600.00%
452.70/452.75 o 71
452.70/452.75 c * 437s| 1614k|780935 | 0 | 0.0 | 559M| 183 | - | 295 | 13k| 0 | 0 | 0 | 995k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
457.00/457.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
457.00/457.03 c 441s| 1620k|780692 | 0 | 0.0 | 561M| 183 | - | 295 | 14k| 0 | 0 | 0 |1005k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
466.60/466.63 c 451s| 1630k|779448 | 0 | 0.0 | 563M| 183 | - | 295 | 16k| 0 | 0 | 0 |1024k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
478.10/478.18 c 462s| 1640k|777351 | 0 | 0.0 | 565M| 183 | - | 295 | 21k| 0 | 0 | 0 |1044k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
484.90/484.90 c 469s| 1650k|780513 | 0 | 0.0 | 563M| 183 | - | 295 |3595 | 0 | 0 | 0 |1053k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
487.11/487.18 c 471s| 1660k|787189 | 0 | 0.0 | 567M| 183 | - | 295 |5416 | 0 | 0 | 0 |1061k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
490.90/490.92 c 474s| 1670k|790199 | 0 | 0.0 | 572M| 183 | - | 295 |3876 | 0 | 0 | 0 |1069k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
495.80/495.81 c 479s| 1680k|791820 | 0 | 0.0 | 577M| 183 | - | 295 |5422 | 0 | 0 | 0 |1079k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
501.10/501.13 c 484s| 1690k|793242 | 0 | 0.0 | 583M| 183 | - | 295 |6345 | 0 | 0 | 0 |1089k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
506.60/506.62 c 490s| 1700k|794788 | 0 | 0.0 | 588M| 183 | - | 295 |7257 | 0 | 0 | 0 |1099k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
512.50/512.59 c 496s| 1710k|795777 | 0 | 0.0 | 592M| 183 | - | 295 |7974 | 0 | 0 | 0 |1109k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
518.31/518.32 c 501s| 1720k|797279 | 0 | 0.0 | 596M| 183 | - | 295 |8130 | 0 | 0 | 0 |1119k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
523.91/523.91 c 507s| 1730k|798974 | 0 | 0.0 | 601M| 183 | - | 295 |8311 | 0 | 0 | 0 |1128k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
529.30/529.38 c 512s| 1740k|800731 | 0 | 0.0 | 605M| 183 | - | 295 |8486 | 0 | 0 | 0 |1137k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
535.01/535.01 c 518s| 1750k|802297 | 0 | 0.0 | 609M| 183 | - | 295 |8606 | 0 | 0 | 0 |1147k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
540.61/540.64 c 523s| 1760k|803664 | 0 | 0.0 | 613M| 183 | - | 295 |9061 | 0 | 0 | 0 |1156k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
546.40/546.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
546.40/546.49 c 529s| 1770k|804803 | 0 | 0.0 | 617M| 183 | - | 295 |9007 | 0 | 0 | 0 |1166k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
552.10/552.11 c 534s| 1780k|806109 | 0 | 0.0 | 621M| 183 | - | 295 |9363 | 0 | 0 | 0 |1176k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
557.50/557.55 c 540s| 1790k|807825 | 0 | 0.0 | 625M| 183 | - | 295 |9396 | 0 | 0 | 0 |1185k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
563.10/563.16 c 545s| 1800k|809417 | 0 | 0.0 | 629M| 183 | - | 295 |9577 | 0 | 0 | 0 |1194k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
569.21/569.26 c 551s| 1810k|810091 | 0 | 0.0 | 632M| 183 | - | 295 |9991 | 0 | 0 | 0 |1205k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
575.31/575.39 c 557s| 1820k|810824 | 0 | 0.0 | 636M| 183 | - | 295 |9936 | 0 | 0 | 0 |1215k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
581.30/581.35 c 563s| 1830k|811923 | 0 | 0.0 | 640M| 183 | - | 295 |9678 | 0 | 0 | 0 |1225k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
587.41/587.47 c 569s| 1840k|812501 | 0 | 0.0 | 642M| 183 | - | 295 |9802 | 0 | 0 | 0 |1235k| 0 | 1.000000e+00 | 7.100000e+01 |7000.00%
587.60/587.68 o 59
587.60/587.68 c * 569s| 1840k|765363 | 0 | 0.0 | 595M| 183 | - | 295 |9797 | 0 | 0 | 0 |1236k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
594.11/594.15 c 575s| 1850k|763833 | 0 | 0.0 | 597M| 183 | - | 295 |3083 | 0 | 0 | 0 |1245k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
596.31/596.37 o 34
596.31/596.37 c * 577s| 1853k|593434 | 0 | 0.0 | 471M| 183 | - | 295 |2943 | 0 | 0 | 0 |1247k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
602.41/602.45 c 583s| 1860k|588086 | 0 | 0.0 | 475M| 183 | - | 295 |4191 | 0 | 0 | 0 |1259k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
611.51/611.50 c 592s| 1870k|577965 | 0 | 0.0 | 474M| 183 | - | 295 |4728 | 0 | 0 | 0 |1275k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
620.90/620.97 c 602s| 1880k|567459 | 0 | 0.0 | 472M| 183 | - | 295 |5037 | 0 | 0 | 0 |1292k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
630.91/630.93 c 611s| 1890k|556262 | 0 | 0.0 | 471M| 183 | - | 295 |5386 | 0 | 0 | 0 |1309k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
641.31/641.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
641.31/641.37 c 621s| 1900k|544071 | 0 | 0.0 | 470M| 183 | - | 295 |6795 | 0 | 0 | 0 |1327k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
652.11/652.19 c 632s| 1910k|531767 | 0 | 0.0 | 466M| 183 | - | 295 |8002 | 0 | 0 | 0 |1346k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
663.51/663.54 c 643s| 1920k|519908 | 0 | 0.0 | 462M| 183 | - | 295 |9074 | 0 | 0 | 0 |1364k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
675.31/675.30 c 655s| 1930k|508901 | 0 | 0.0 | 458M| 183 | - | 295 |8308 | 0 | 0 | 0 |1383k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
686.60/686.68 c 666s| 1940k|498891 | 0 | 0.0 | 455M| 183 | - | 295 |9764 | 0 | 0 | 0 |1401k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
698.31/698.31 c 678s| 1950k|489115 | 0 | 0.0 | 450M| 183 | - | 295 |8901 | 0 | 0 | 0 |1419k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
709.61/709.69 c 689s| 1960k|480394 | 0 | 0.0 | 448M| 183 | - | 295 |9437 | 0 | 0 | 0 |1436k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
721.11/721.18 c 700s| 1970k|471596 | 0 | 0.0 | 443M| 183 | - | 295 |9428 | 0 | 0 | 0 |1454k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
732.72/732.71 c 711s| 1980k|463083 | 0 | 0.0 | 440M| 183 | - | 295 | 10k| 0 | 0 | 0 |1472k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
744.51/744.53 c 723s| 1990k|454810 | 0 | 0.0 | 436M| 183 | - | 295 |9753 | 0 | 0 | 0 |1490k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
756.01/756.09 c 734s| 2000k|447051 | 0 | 0.0 | 434M| 183 | - | 295 | 10k| 0 | 0 | 0 |1508k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
769.21/769.29 c 747s| 2010k|437148 | 0 | 0.0 | 429M| 183 | - | 295 | 11k| 0 | 0 | 0 |1527k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
782.31/782.35 c 760s| 2020k|428596 | 0 | 0.0 | 426M| 183 | - | 295 | 11k| 0 | 0 | 0 |1546k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
795.51/795.58 c 773s| 2030k|420066 | 0 | 0.0 | 422M| 183 | - | 295 | 11k| 0 | 0 | 0 |1565k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
808.71/808.70 c 786s| 2040k|411901 | 0 | 0.0 | 418M| 183 | - | 295 | 13k| 0 | 0 | 0 |1584k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
821.72/821.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
821.72/821.77 c 799s| 2050k|404317 | 0 | 0.0 | 414M| 183 | - | 295 | 12k| 0 | 0 | 0 |1604k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
834.71/834.76 c 812s| 2060k|397081 | 0 | 0.0 | 410M| 183 | - | 295 | 12k| 0 | 0 | 0 |1624k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
847.51/847.53 c 825s| 2070k|390265 | 0 | 0.0 | 407M| 183 | - | 295 | 13k| 0 | 0 | 0 |1644k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
860.32/860.39 c 837s| 2080k|383617 | 0 | 0.0 | 403M| 183 | - | 295 | 12k| 0 | 0 | 0 |1664k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
873.01/873.05 c 850s| 2090k|377034 | 0 | 0.0 | 398M| 183 | - | 295 | 13k| 0 | 0 | 0 |1685k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
886.72/886.73 c 863s| 2100k|369934 | 0 | 0.0 | 394M| 183 | - | 295 | 14k| 0 | 0 | 0 |1708k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
902.42/902.44 c 879s| 2110k|361385 | 0 | 0.0 | 387M| 183 | - | 295 | 16k| 0 | 0 | 0 |1731k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
918.71/918.80 c 895s| 2120k|352767 | 0 | 0.0 | 376M| 183 | - | 295 | 12k| 0 | 0 | 0 |1753k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
923.61/923.62 c 900s| 2130k|355813 | 0 | 0.0 | 376M| 183 | - | 295 |4237 | 0 | 0 | 0 |1762k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
926.81/926.81 c 903s| 2140k|360828 | 0 | 0.0 | 380M| 183 | - | 295 |5636 | 0 | 0 | 0 |1771k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
931.12/931.18 c 907s| 2150k|363951 | 0 | 0.0 | 384M| 183 | - | 295 |6693 | 0 | 0 | 0 |1782k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
936.61/936.62 c 912s| 2160k|365384 | 0 | 0.0 | 387M| 183 | - | 295 |7175 | 0 | 0 | 0 |1793k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
940.42/940.48 c 916s| 2170k|368950 | 0 | 0.0 | 389M| 183 | - | 295 |3904 | 0 | 0 | 0 |1802k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
953.51/953.59 c 929s| 2180k|357243 | 0 | 0.0 | 384M| 183 | - | 295 | 11k| 0 | 0 | 0 |1825k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
972.62/972.61 c 948s| 2190k|342684 | 0 | 0.0 | 376M| 183 | - | 295 | 14k| 0 | 0 | 0 |1847k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
991.31/991.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
991.31/991.35 c 966s| 2200k|329467 | 0 | 0.0 | 367M| 183 | - | 295 | 17k| 0 | 0 | 0 |1867k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
1011.02/1011.02 c 986s| 2210k|315856 | 0 | 0.0 | 354M| 183 | - | 295 | 18k| 0 | 0 | 0 |1888k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
1030.83/1030.83 c 1005s| 2220k|303426 | 0 | 0.0 | 340M| 183 | - | 295 | 18k| 0 | 0 | 0 |1909k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
1052.02/1052.06 c 1026s| 2230k|293935 | 0 | 0.0 | 331M| 183 | - | 295 | 20k| 0 | 0 | 0 |1932k| 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
1072.71/1072.79 o 31
1072.71/1072.79 c *1047s| 2239k|276957 | 0 | 0.0 | 317M| 183 | - | 295 | 23k| 0 | 0 | 0 |1953k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1075.31/1075.36 c 1049s| 2240k|275889 | 0 | 0.0 | 316M| 183 | - | 295 | 23k| 0 | 0 | 0 |1955k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1096.91/1096.95 c 1071s| 2250k|266722 | 0 | 0.0 | 306M| 183 | - | 295 | 20k| 0 | 0 | 0 |1979k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1117.63/1117.62 c 1091s| 2260k|257195 | 0 | 0.0 | 296M| 183 | - | 295 | 22k| 0 | 0 | 0 |2004k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1142.52/1142.51 c 1116s| 2270k|245193 | 0 | 0.0 | 281M| 183 | - | 295 | 24k| 0 | 0 | 0 |2031k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1156.31/1156.39 c 1130s| 2280k|242349 | 0 | 0.0 | 269M| 183 | - | 295 |7611 | 0 | 0 | 0 |2047k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1161.92/1161.95 c 1135s| 2290k|244881 | 0 | 0.0 | 273M| 183 | - | 295 |9973 | 0 | 0 | 0 |2059k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1168.91/1168.94 c 1142s| 2300k|246132 | 0 | 0.0 | 276M| 183 | - | 295 | 12k| 0 | 0 | 0 |2072k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1177.52/1177.50 c 1151s| 2310k|246224 | 0 | 0.0 | 279M| 183 | - | 295 | 15k| 0 | 0 | 0 |2086k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1188.02/1188.08 c 1161s| 2320k|244899 | 0 | 0.0 | 280M| 183 | - | 295 | 16k| 0 | 0 | 0 |2103k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1201.02/1201.01 c 1174s| 2330k|241094 | 0 | 0.0 | 276M| 183 | - | 295 | 10k| 0 | 0 | 0 |2120k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1204.92/1204.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1204.92/1204.92 c 1178s| 2340k|245242 | 0 | 0.0 | 279M| 183 | - | 295 |6622 | 0 | 0 | 0 |2128k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1210.52/1210.58 c 1183s| 2350k|246633 | 0 | 0.0 | 282M| 183 | - | 295 |9196 | 0 | 0 | 0 |2141k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1223.12/1223.15 o 4
1223.12/1223.15 c *1196s| 2358k| 25254 | 0 | 0.0 | 40M| 183 | - | 295 | 13k| 0 | 0 | 0 |2163k| 0 | 1.000000e+00 | 4.000000e+00 | 300.00%
1224.82/1224.90 c 1197s| 2360k| 24044 | 0 | 0.0 | 35M| 183 | - | 295 | 11k| 0 | 0 | 0 |2165k| 0 | 2.000000e+00 | 4.000000e+00 | 100.00%
1240.92/1240.92 c 1213s| 2370k| 16054 | 0 | 0.0 | 34M| 183 | - | 295 | 18k| 0 | 0 | 0 |2190k| 0 | 3.000000e+00 | 4.000000e+00 | 33.33%
1264.03/1264.04 c 1236s| 2380k| 2000 | 0 | 0.0 | 16M| 183 | - | 295 | 13k| 0 | 0 | 0 |2221k| 0 | 3.000000e+00 | 4.000000e+00 | 33.33%
1265.82/1265.85 c
1265.82/1265.85 c SCIP Status : problem is solved [optimal solution found]
1265.82/1265.85 c Solving Time (sec) : 1237.77
1265.82/1265.85 c Solving Nodes : 2380966
1265.82/1265.85 c Primal Bound : +4.00000000000000e+00 (22 solutions)
1265.82/1265.85 c Dual Bound : +4.00000000000000e+00
1265.82/1265.85 c Gap : 0.00 %
1265.82/1265.85 s OPTIMUM FOUND
1265.82/1265.85 v -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1265.82/1265.85 v -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 x128 -x127
1265.82/1265.85 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106
1265.82/1265.85 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
1265.82/1265.85 v -x81 -x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56
1265.82/1265.85 v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 x32 -x31
1265.82/1265.85 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5
1265.82/1265.85 v -x4 -x3 -x2 -x1
1265.82/1265.85 c SCIP Status : problem is solved [optimal solution found]
1265.82/1265.85 c Solving Time : 1237.77
1265.82/1265.85 c Original Problem :
1265.82/1265.85 c Problem name : HOME/instance-2693977-1277898900.wbo
1265.82/1265.85 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1265.82/1265.85 c Constraints : 166 initial, 166 maximal
1265.82/1265.85 c Presolved Problem :
1265.82/1265.85 c Problem name : t_HOME/instance-2693977-1277898900.wbo
1265.82/1265.85 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
1265.82/1265.85 c Constraints : 159 initial, 25738 maximal
1265.82/1265.85 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1265.82/1265.85 c trivial : 0.00 0 0 0 0 0 0 0 0
1265.82/1265.85 c dualfix : 0.00 2 0 0 0 0 0 0 0
1265.82/1265.85 c boundshift : 0.00 0 0 0 0 0 0 0 0
1265.82/1265.85 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1265.82/1265.85 c implics : 0.00 0 0 0 0 0 0 0 0
1265.82/1265.85 c probing : 0.01 0 0 0 0 0 0 0 0
1265.82/1265.85 c indicator : 0.00 0 0 0 0 0 1 0 0
1265.82/1265.85 c knapsack : 0.00 0 0 0 0 0 0 0 0
1265.82/1265.85 c setppc : 0.00 0 0 0 0 0 0 0 0
1265.82/1265.85 c linear : 0.00 0 0 0 63 0 6 1 0
1265.82/1265.85 c logicor : 0.00 0 0 0 0 0 0 0 0
1265.82/1265.85 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1265.82/1265.85 c root node : - 22 - - 44 - - - -
1265.82/1265.85 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1265.82/1265.85 c integral : 0 0 0 0 0 0 0 0 0 0
1265.82/1265.85 c indicator : 63 0 6528845 0 1662008 15382 3290422 0 0 0
1265.82/1265.85 c knapsack : 1 0 6836742 0 1722009 122590 28683317 0 0 0
1265.82/1265.85 c setppc : 23 0 6713795 0 1721954 322752 4073439 0 0 0
1265.82/1265.85 c linear : 63 0 6391385 0 1722002 337941 5694778 0 0 0
1265.82/1265.85 c logicor : 9+ 0 2994921 0 1721576 109890 1675326 0 0 0
1265.82/1265.85 c bounddisjunction : 0+ 0 279507 0 0 1 26443 0 0 0
1265.82/1265.85 c countsols : 0 0 0 0 1722024 0 0 0 0 0
1265.82/1265.85 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1265.82/1265.85 c integral : 0.00 0.00 0.00 0.00 0.00
1265.82/1265.85 c indicator : 9.05 0.00 5.63 0.00 3.42
1265.82/1265.85 c knapsack : 191.47 0.00 187.54 0.00 3.93
1265.82/1265.85 c setppc : 23.41 0.00 18.52 0.00 4.89
1265.82/1265.85 c linear : 63.69 0.00 62.94 0.00 0.75
1265.82/1265.85 c logicor : 378.98 0.00 377.06 0.00 1.92
1265.82/1265.85 c bounddisjunction : 0.32 0.00 0.32 0.00 0.00
1265.82/1265.85 c countsols : 0.31 0.00 0.00 0.00 0.31
1265.82/1265.85 c Propagators : Time Calls Cutoffs DomReds
1265.82/1265.85 c vbounds : 1.72 2 0 0
1265.82/1265.85 c rootredcost : 1.49 0 0 0
1265.82/1265.85 c pseudoobj : 18.05 6862555 10548 3096130
1265.82/1265.85 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1265.82/1265.85 c propagation : 25.84 903721 903561 4256934 20.3 153776 12.9 -
1265.82/1265.85 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1265.82/1265.85 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1265.82/1265.85 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1265.82/1265.85 c pseudo solution : 0.01 282 282 968 16.6 32 12.8 -
1265.82/1265.85 c applied globally : - - - 2196726 16.0 - - -
1265.82/1265.85 c applied locally : - - - 28101 35.9 - - -
1265.82/1265.85 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1265.82/1265.85 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1265.82/1265.85 c redcost : 0.00 0 0 0 0 0
1265.82/1265.85 c impliedbounds : 0.00 0 0 0 0 0
1265.82/1265.85 c intobj : 0.00 0 0 0 0 0
1265.82/1265.85 c cgmip : 0.00 0 0 0 0 0
1265.82/1265.85 c gomory : 0.00 0 0 0 0 0
1265.82/1265.85 c strongcg : 0.00 0 0 0 0 0
1265.82/1265.85 c cmir : 0.00 0 0 0 0 0
1265.82/1265.85 c flowcover : 0.00 0 0 0 0 0
1265.82/1265.85 c clique : 0.00 0 0 0 0 0
1265.82/1265.85 c zerohalf : 0.00 0 0 0 0 0
1265.82/1265.85 c mcf : 0.00 0 0 0 0 0
1265.82/1265.85 c rapidlearning : 0.00 0 0 0 0 0
1265.82/1265.85 c Pricers : Time Calls Vars
1265.82/1265.85 c problem variables: 0.00 0 0
1265.82/1265.85 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1265.82/1265.85 c relpscost : 0.00 0 0 0 0 0 0
1265.82/1265.85 c pscost : 0.00 0 0 0 0 0 0
1265.82/1265.85 c inference : 16.53 1722002 0 0 0 0 3444004
1265.82/1265.85 c mostinf : 0.00 0 0 0 0 0 0
1265.82/1265.85 c leastinf : 0.00 0 0 0 0 0 0
1265.82/1265.85 c fullstrong : 0.00 0 0 0 0 0 0
1265.82/1265.85 c allfullstrong : 0.00 0 0 0 0 0 0
1265.82/1265.85 c random : 0.00 0 0 0 0 0 0
1265.82/1265.85 c Primal Heuristics : Time Calls Found
1265.82/1265.85 c LP solutions : 0.00 - 0
1265.82/1265.85 c pseudo solutions : 1.14 - 22
1265.82/1265.85 c oneopt : 0.77 0 0
1265.82/1265.85 c trivial : 0.00 2 0
1265.82/1265.85 c simplerounding : 0.00 0 0
1265.82/1265.85 c zirounding : 0.00 0 0
1265.82/1265.85 c rounding : 0.00 0 0
1265.82/1265.85 c shifting : 0.00 0 0
1265.82/1265.85 c intshifting : 0.00 0 0
1265.82/1265.85 c twoopt : 0.00 0 0
1265.82/1265.85 c fixandinfer : 0.00 0 0
1265.82/1265.85 c feaspump : 0.00 0 0
1265.82/1265.85 c coefdiving : 0.00 0 0
1265.82/1265.85 c pscostdiving : 0.00 0 0
1265.82/1265.85 c fracdiving : 0.00 0 0
1265.82/1265.85 c veclendiving : 0.00 0 0
1265.82/1265.85 c intdiving : 0.00 0 0
1265.82/1265.85 c actconsdiving : 0.00 0 0
1265.82/1265.85 c objpscostdiving : 0.00 0 0
1265.82/1265.85 c rootsoldiving : 0.00 0 0
1265.82/1265.85 c linesearchdiving : 0.00 0 0
1265.82/1265.85 c guideddiving : 0.00 0 0
1265.82/1265.85 c octane : 0.00 0 0
1265.82/1265.85 c rens : 0.00 0 0
1265.82/1265.85 c rins : 0.00 0 0
1265.82/1265.85 c localbranching : 0.00 0 0
1265.82/1265.85 c mutation : 0.00 0 0
1265.82/1265.85 c crossover : 0.00 0 0
1265.82/1265.85 c dins : 0.00 0 0
1265.82/1265.85 c undercover : 0.00 0 0
1265.82/1265.85 c nlp : 0.51 0 0
1265.82/1265.85 c trysol : 0.50 1 0
1265.82/1265.85 c LP : Time Calls Iterations Iter/call Iter/sec
1265.82/1265.85 c primal LP : 0.00 0 0 0.00 -
1265.82/1265.85 c dual LP : 0.00 0 0 0.00 -
1265.82/1265.85 c lex dual LP : 0.00 0 0 0.00 -
1265.82/1265.85 c barrier LP : 0.00 0 0 0.00 -
1265.82/1265.85 c diving/probing LP: 0.00 0 0 0.00 -
1265.82/1265.85 c strong branching : 0.00 0 0 0.00 -
1265.82/1265.85 c (at root node) : - 0 0 0.00 -
1265.82/1265.85 c conflict analysis: 0.00 0 0 0.00 -
1265.82/1265.85 c B&B Tree :
1265.82/1265.85 c number of runs : 1
1265.82/1265.85 c nodes : 2380966
1265.82/1265.85 c nodes (total) : 2380966
1265.82/1265.85 c nodes left : 0
1265.82/1265.85 c max depth : 183
1265.82/1265.85 c max depth (total): 183
1265.82/1265.85 c backtracks : 779432 (32.7%)
1265.82/1265.85 c delayed cutoffs : 570337
1265.82/1265.85 c repropagations : 2711212 (11335939 domain reductions, 260444 cutoffs)
1265.82/1265.85 c avg switch length: 28.42
1265.82/1265.85 c switching time : 384.62
1265.82/1265.85 c Solution :
1265.82/1265.85 c Solutions found : 22 (22 improvements)
1265.82/1265.85 c First Solution : +5.87000000000000e+02 (in run 1, after 53259 nodes, 16.00 seconds, depth 88, found by <relaxation>)
1265.82/1265.85 c Primal Bound : +4.00000000000000e+00 (in run 1, after 2358961 nodes, 1194.99 seconds, depth 64, found by <relaxation>)
1265.82/1265.85 c Dual Bound : +4.00000000000000e+00
1265.82/1265.85 c Gap : 0.00 %
1265.82/1265.85 c Root Dual Bound : +0.00000000000000e+00
1265.82/1265.85 c Root Iterations : 0
1265.82/1265.89 c Time complete: 1265.92.
OK 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693977-1277898900/watcher-2693977-1277898900 -o /tmp/evaluation-result-2693977-1277898900/solver-2693977-1277898900 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693977-1277898900.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 4/178 10156 /proc/meminfo: memFree=31059256/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=8256 CPUtime=0 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 1545 0 0 0 0 0 0 0 25 0 1 0 131187497 8454144 1467 4089446400 4194304 7136930 140733843032736 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/10156/statm: 2064 1467 275 719 0 1343 0 [startup+0.102401 s] /proc/loadavg: 2.00 2.00 2.00 4/178 10156 /proc/meminfo: memFree=31059256/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=13148 CPUtime=0.09 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 5059 0 0 0 8 1 0 0 25 0 1 0 131187497 13463552 2572 4089446400 4194304 7136930 140733843032736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 3287 2572 404 719 0 2566 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13148 [startup+0.200393 s] /proc/loadavg: 2.00 2.00 2.00 4/178 10156 /proc/meminfo: memFree=31059256/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=13840 CPUtime=0.19 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 5256 0 0 0 17 2 0 0 25 0 1 0 131187497 14172160 2769 4089446400 4194304 7136930 140733843032736 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 3460 2769 404 719 0 2739 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 13840 [startup+0.300364 s] /proc/loadavg: 2.00 2.00 2.00 4/178 10156 /proc/meminfo: memFree=31059256/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=14492 CPUtime=0.29 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 5428 0 0 0 26 3 0 0 25 0 1 0 131187497 14839808 2941 4089446400 4194304 7136930 140733843032736 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 3623 2941 404 719 0 2902 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14492 [startup+0.700295 s] /proc/loadavg: 2.00 2.00 2.00 4/178 10156 /proc/meminfo: memFree=31059256/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=17420 CPUtime=0.69 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 6140 0 0 0 63 6 0 0 25 0 1 0 131187497 17838080 3653 4089446400 4194304 7136930 140733843032736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 4355 3653 404 719 0 3634 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17420 [startup+1.50015 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10157 /proc/meminfo: memFree=31041040/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=20924 CPUtime=1.49 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 7022 0 0 0 140 9 0 0 25 0 1 0 131187497 21426176 4535 4089446400 4194304 7136930 140733843032736 18446744073709551615 4218730 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 5231 4535 404 719 0 4510 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20924 [startup+3.10087 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10157 /proc/meminfo: memFree=31032608/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=26044 CPUtime=3.09 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 8322 0 0 0 293 16 0 0 25 0 1 0 131187497 26669056 5835 4089446400 4194304 7136930 140733843032736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 6511 5835 404 719 0 5790 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26044 [startup+6.30031 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10158 /proc/meminfo: memFree=31019640/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=32832 CPUtime=6.29 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 10038 0 0 0 600 29 0 0 25 0 1 0 131187497 33619968 7551 4089446400 4194304 7136930 140733843032736 18446744073709551615 5004405 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 8208 7551 404 719 0 7487 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32832 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10158 /proc/meminfo: memFree=30997564/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=40892 CPUtime=12.69 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 12049 0 0 0 1222 47 0 0 25 0 1 0 131187497 41873408 9562 4089446400 4194304 7136930 140733843032736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 10223 9562 404 719 0 9502 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40892 [startup+25.5009 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10159 /proc/meminfo: memFree=30934032/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=75476 CPUtime=25.5 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 20374 0 0 0 2432 118 0 0 25 0 1 0 131187497 77287424 17887 4089446400 4194304 7136930 140733843032736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 18869 17887 405 719 0 18148 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 75476 [startup+51.1005 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10204 /proc/meminfo: memFree=31015120/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=90212 CPUtime=51.1 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 24059 0 0 0 4949 161 0 0 25 0 1 0 131187497 92377088 21572 4089446400 4194304 7136930 140733843032736 18446744073709551615 4221571 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 22553 21572 405 719 0 21832 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 90212 [startup+102.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10206 /proc/meminfo: memFree=30857084/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=222128 CPUtime=102.3 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 56606 0 0 0 9804 426 0 0 25 0 1 0 131187497 227459072 54119 4089446400 4194304 7136930 140733843032736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 55532 54119 407 719 0 54811 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 222128 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10207 /proc/meminfo: memFree=30759076/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=309992 CPUtime=162.3 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 78831 0 0 0 15599 631 0 0 25 0 1 0 131187497 317431808 76344 4089446400 4194304 7136930 140733843032736 18446744073709551615 4227171 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 77498 76344 407 719 0 76777 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 309992 [startup+222.306 s] /proc/loadavg: 2.04 2.01 2.00 3/197 10208 /proc/meminfo: memFree=30640716/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=429856 CPUtime=222.3 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 107142 0 0 0 21349 881 0 0 25 0 1 0 131187497 440172544 104655 4089446400 4194304 7136930 140733843032736 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 107464 104655 407 719 0 106743 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 429856 [startup+282.301 s] /proc/loadavg: 2.01 2.01 2.00 3/197 10210 /proc/meminfo: memFree=30515420/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=536588 CPUtime=282.3 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 133733 0 0 0 27113 1117 0 0 25 0 1 0 131187497 549466112 131246 4089446400 4194304 7136930 140733843032736 18446744073709551615 4854288 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 134147 131246 407 719 0 133426 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 536588 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10212 /proc/meminfo: memFree=30419372/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=623184 CPUtime=342.3 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 155473 0 0 0 32916 1314 0 0 25 0 1 0 131187497 638140416 152986 4089446400 4194304 7136930 140733843032736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 155796 152986 407 719 0 155075 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 623184 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10223 /proc/meminfo: memFree=30364368/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=676592 CPUtime=402.3 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 168858 0 0 0 38754 1476 0 0 25 0 1 0 131187497 692830208 166371 4089446400 4194304 7136930 140733843032736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 169148 166371 407 719 0 168427 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 676592 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10224 /proc/meminfo: memFree=30324000/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=697284 CPUtime=462.3 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 174130 0 0 0 44638 1592 0 0 25 0 1 0 131187497 714018816 171643 4089446400 4194304 7136930 140733843032736 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 174321 171643 407 719 0 173600 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 697284 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10225 /proc/meminfo: memFree=30307452/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=707176 CPUtime=522.31 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 176567 0 0 0 50509 1722 0 0 25 0 1 0 131187497 724148224 174080 4089446400 4194304 7136930 140733843032736 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 176794 174080 407 719 0 176073 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 707176 [startup+582.3 s] /proc/loadavg: 2.05 2.01 2.00 3/197 10227 /proc/meminfo: memFree=30265596/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=747160 CPUtime=582.31 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 186489 0 0 0 56382 1849 0 0 25 0 1 0 131187497 765091840 184002 4089446400 4194304 7136930 140733843032736 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 186790 184002 407 719 0 186069 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 747160 [startup+642.301 s] /proc/loadavg: 2.02 2.01 2.00 3/197 10229 /proc/meminfo: memFree=30252896/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=748964 CPUtime=642.3 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 186904 0 0 0 62240 1990 0 0 25 0 1 0 131187497 766939136 184417 4089446400 4194304 7136930 140733843032736 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 187241 184417 407 719 0 186520 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 748964 [startup+702.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10231 /proc/meminfo: memFree=30244672/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=748964 CPUtime=702.31 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 186909 0 0 0 68146 2085 0 0 25 0 1 0 131187497 766939136 184422 4089446400 4194304 7136930 140733843032736 18446744073709551615 5954133 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 187241 184422 407 719 0 186520 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 748964 [startup+762.301 s] /proc/loadavg: 2.06 2.01 2.00 3/197 10232 /proc/meminfo: memFree=30239416/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=748964 CPUtime=762.31 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 186909 0 0 0 74056 2175 0 0 25 0 1 0 131187497 766939136 184422 4089446400 4194304 7136930 140733843032736 18446744073709551615 4431478 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 187241 184422 407 719 0 186520 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 748964 [startup+822.3 s] /proc/loadavg: 2.02 2.01 2.00 3/197 10233 /proc/meminfo: memFree=30239496/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=749156 CPUtime=822.31 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 186930 0 0 0 79973 2258 0 0 25 0 1 0 131187497 767135744 184443 4089446400 4194304 7136930 140733843032736 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 187289 184443 407 719 0 186568 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 749156 [startup+882.306 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10235 /proc/meminfo: memFree=30231016/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=749156 CPUtime=882.32 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 186930 0 0 0 85883 2349 0 0 25 0 1 0 131187497 767135744 184443 4089446400 4194304 7136930 140733843032736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 187289 184443 407 719 0 186568 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 749156 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10237 /proc/meminfo: memFree=30230224/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=750024 CPUtime=942.32 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 187098 0 0 0 91773 2459 0 0 25 0 1 0 131187497 768024576 184611 4089446400 4194304 7136930 140733843032736 18446744073709551615 4999968 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 187506 184611 407 719 0 186785 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 750024 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10239 /proc/meminfo: memFree=30229676/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=750644 CPUtime=1002.32 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 187184 0 0 0 97699 2533 0 0 25 0 1 0 131187497 768659456 184697 4089446400 4194304 7136930 140733843032736 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 187661 184697 407 719 0 186940 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 750644 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10240 /proc/meminfo: memFree=30229008/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=751336 CPUtime=1062.32 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 187316 0 0 0 103644 2588 0 0 25 0 1 0 131187497 769368064 184829 4089446400 4194304 7136930 140733843032736 18446744073709551615 4999782 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 187834 184829 407 719 0 187113 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 751336 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10241 /proc/meminfo: memFree=30228600/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=751640 CPUtime=1122.32 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 187357 0 0 0 109598 2634 0 0 25 0 1 0 131187497 769679360 184870 4089446400 4194304 7136930 140733843032736 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 187910 184870 407 719 0 187189 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 751640 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10243 /proc/meminfo: memFree=30228428/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=751640 CPUtime=1182.31 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 187357 0 0 0 115530 2701 0 0 25 0 1 0 131187497 769679360 184870 4089446400 4194304 7136930 140733843032736 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 187910 184870 407 719 0 187189 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 751640 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10245 /proc/meminfo: memFree=30230872/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=748292 CPUtime=1242.32 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 187366 0 0 0 121448 2784 0 0 25 0 1 0 131187497 766251008 184042 4089446400 4194304 7136930 140733843032736 18446744073709551615 4999782 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 187073 184042 407 719 0 186352 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 748292 Solver just ended. Dumping a history of the last processes samples [startup+1254.4 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10245 /proc/meminfo: memFree=30230620/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=749332 CPUtime=1254.42 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 187536 0 0 0 122647 2795 0 0 25 0 1 0 131187497 767315968 184212 4089446400 4194304 7136930 140733843032736 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 187333 184212 407 719 0 186612 0 Current children cumulated CPU time (s) 1254.42 Current children cumulated vsize (KiB) 749332 [startup+1260.8 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10245 /proc/meminfo: memFree=30230620/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=747780 CPUtime=1260.82 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 187538 0 0 0 123279 2803 0 0 25 0 1 0 131187497 765726720 183826 4089446400 4194304 7136930 140733843032736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 186945 183826 407 719 0 186224 0 Current children cumulated CPU time (s) 1260.82 Current children cumulated vsize (KiB) 747780 [startup+1264.01 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10245 /proc/meminfo: memFree=30234584/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=744156 CPUtime=1264.03 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 187538 0 0 0 123596 2807 0 0 25 0 1 0 131187497 762015744 182920 4089446400 4194304 7136930 140733843032736 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 186039 182920 407 719 0 185318 0 Current children cumulated CPU time (s) 1264.03 Current children cumulated vsize (KiB) 744156 [startup+1264.8 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10245 /proc/meminfo: memFree=30234584/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=741572 CPUtime=1264.82 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 187538 0 0 0 123674 2808 0 0 25 0 1 0 131187497 759369728 182274 4089446400 4194304 7136930 140733843032736 18446744073709551615 4221346 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 185393 182274 407 719 0 184672 0 Current children cumulated CPU time (s) 1264.82 Current children cumulated vsize (KiB) 741572 [startup+1265.6 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10245 /proc/meminfo: memFree=30239540/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=729688 CPUtime=1265.62 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 187538 0 0 0 123753 2809 0 0 25 0 1 0 131187497 747200512 179303 4089446400 4194304 7136930 140733843032736 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 182422 179303 407 719 0 181701 0 Current children cumulated CPU time (s) 1265.62 Current children cumulated vsize (KiB) 729688 [startup+1265.8 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10245 /proc/meminfo: memFree=30239540/32951124 swapFree=67111528/67111528 [pid=10156] ppid=10154 vsize=695096 CPUtime=1265.82 /proc/10156/stat : 10156 (pbscip.linux.x8) R 10154 10156 7632 0 -1 4202496 187538 0 0 0 123772 2810 0 0 25 0 1 0 131187497 711778304 170655 4089446400 4194304 7136930 140733843032736 18446744073709551615 4677228 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10156/statm: 173774 170655 407 719 0 173053 0 Current children cumulated CPU time (s) 1265.82 Current children cumulated vsize (KiB) 695096 Child status: 0 Real time (s): 1265.9 CPU time (s): 1265.93 CPU user time (s): 1237.8 CPU system time (s): 28.1317 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 751640 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1237.8 system time used= 28.1317 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 187550 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= 2669 runsolver used 1.79073 second user time and 3.98239 second system time The end
Begin job on node107 at 2010-06-30 13:55:00 IDJOB=2693977 IDBENCH=78849 IDSOLVER=1206 FILE ID=node107/2693977-1277898900 PBS_JOBID= 11197139 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110967729--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693977-1277898900/watcher-2693977-1277898900 -o /tmp/evaluation-result-2693977-1277898900/solver-2693977-1277898900 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693977-1277898900.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 28b22ff7551de5ca1263780ad2fbf9cd RANDOM SEED=1748628449 node107.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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.849 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.81 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.82 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.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31059784 kB Buffers: 181628 kB Cached: 1270868 kB SwapCached: 0 kB Active: 654720 kB Inactive: 1094444 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31059784 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3388 kB Writeback: 0 kB AnonPages: 296444 kB Mapped: 15284 kB Slab: 79104 kB PageTables: 5296 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 438316 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node107 at 2010-06-30 14:16:06