Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | OPT | 3 | 1449.24 | 1449.63 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=251-P1=251-P2=101-P3=11-P4=89-P5=53-P6=439-P7=491-P8=389-B.opb |
| MD5SUM | 016a6113efb9500350327fbbc3111675 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 15.5106 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 216 |
| Total number of constraints | 17 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 99 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 523264 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 648 |
| Sum of products size (including duplicates) | 1296 |
| Number of different products | 648 |
| Sum of products size | 1296 |
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-2663621-1276648347.opb>
0.00/0.01 c original problem has 864 variables (864 bin, 0 int, 0 impl, 0 cont) and 665 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.02 c presolving:
0.19/0.20 c (round 1) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 63 chg coeffs, 0 upgd conss, 3712 impls, 0 clqs
0.19/0.20 c (round 2) 26 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 79 chg coeffs, 9 upgd conss, 5728 impls, 0 clqs
0.19/0.21 c (round 3) 44 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 95 chg coeffs, 9 upgd conss, 7456 impls, 0 clqs
0.19/0.22 c (round 4) 62 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 111 chg coeffs, 9 upgd conss, 8896 impls, 0 clqs
0.19/0.22 c (round 5) 80 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 127 chg coeffs, 9 upgd conss, 10048 impls, 0 clqs
0.19/0.23 c (round 6) 98 del vars, 80 del conss, 0 chg bounds, 0 chg sides, 143 chg coeffs, 9 upgd conss, 10912 impls, 0 clqs
0.19/0.23 c (round 7) 116 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 159 chg coeffs, 9 upgd conss, 11488 impls, 0 clqs
0.19/0.24 c (round 8) 134 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 175 chg coeffs, 9 upgd conss, 11776 impls, 0 clqs
0.19/0.24 c (round 9) 152 del vars, 128 del conss, 0 chg bounds, 0 chg sides, 191 chg coeffs, 9 upgd conss, 11776 impls, 0 clqs
0.29/0.31 c (0.1s) probing: 222/712 (31.2%) - 0 fixings, 0 aggregations, 16 implications, 0 bound changes
0.29/0.31 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.29/0.31 c presolving (10 rounds):
0.29/0.31 c 152 deleted vars, 128 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 191 changed coefficients
0.29/0.31 c 11808 implications, 0 cliques
0.29/0.31 c presolved problem has 712 variables (712 bin, 0 int, 0 impl, 0 cont) and 529 constraints
0.29/0.31 c 512 constraints of type <and>
0.29/0.31 c 8 constraints of type <linear>
0.29/0.31 c 9 constraints of type <logicor>
0.29/0.31 c transformed objective value is always integral (scale: 2)
0.29/0.31 c Presolving Time: 0.15
0.29/0.31 c - non default parameters ----------------------------------------------------------------------
0.29/0.31 c # SCIP version 1.2.1.2
0.29/0.31 c
0.29/0.31 c # frequency for displaying node information lines
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.31 c display/freq = 10000
0.29/0.31 c
0.29/0.31 c # maximal time in seconds to run
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.31 c limits/time = 1799.99
0.29/0.31 c
0.29/0.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.31 c limits/memory = 1620
0.29/0.31 c
0.29/0.31 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.31 c lp/solvefreq = -1
0.29/0.31 c
0.29/0.31 c # should presolving try to simplify inequalities
0.29/0.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.31 c constraints/linear/simplifyinequalities = TRUE
0.29/0.31 c
0.29/0.31 c # should presolving try to simplify knapsacks
0.29/0.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.31 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.31 c
0.29/0.31 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.31 c heuristics/undercover/freq = 0
0.29/0.31 c
0.29/0.31 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.31 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.31 c separating/rapidlearning/freq = 0
0.29/0.31 c
0.29/0.31 c -----------------------------------------------------------------------------------------------
0.29/0.31 c start solving
0.29/0.31 c
0.29/0.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.31 c 0.1s| 1 | 2 | 0 | - |2268k| 0 | - | 712 | 529 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
3.39/3.48 c 3.1s| 10000 | 8262 | 0 | 0.0 |8637k| 480 | - | 712 | 849 | 0 | 0 | 0 |1317 | 0 | 1.000000e+00 | -- | Inf
6.68/6.73 c 6.1s| 20000 | 16278 | 0 | 0.0 | 14M| 480 | - | 712 | 902 | 0 | 0 | 0 |2626 | 0 | 1.000000e+00 | -- | Inf
10.09/10.12 c 9.2s| 30000 | 23865 | 0 | 0.0 | 20M| 480 | - | 712 | 991 | 0 | 0 | 0 |4282 | 0 | 1.000000e+00 | -- | Inf
13.39/13.49 c 12.3s| 40000 | 31913 | 0 | 0.0 | 26M| 480 | - | 712 | 942 | 0 | 0 | 0 |5730 | 0 | 1.000000e+00 | -- | Inf
16.88/16.95 c 15.5s| 50000 | 39784 | 0 | 0.0 | 32M| 480 | - | 712 |1114 | 0 | 0 | 0 |7393 | 0 | 1.000000e+00 | -- | Inf
20.38/20.40 c 18.7s| 60000 | 47532 | 0 | 0.0 | 37M| 480 | - | 712 |1253 | 0 | 0 | 0 |8996 | 0 | 1.000000e+00 | -- | Inf
23.59/23.69 c 21.8s| 70000 | 55347 | 0 | 0.0 | 42M| 480 | - | 712 |1311 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | -- | Inf
27.08/27.14 c 25.0s| 80000 | 62897 | 0 | 0.0 | 48M| 480 | - | 712 |1265 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | -- | Inf
30.48/30.55 c 28.1s| 90000 | 70368 | 0 | 0.0 | 53M| 480 | - | 712 |1230 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | -- | Inf
33.88/33.97 c 31.3s|100000 | 77878 | 0 | 0.0 | 59M| 480 | - | 712 |1153 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | -- | Inf
37.98/38.07 c 35.1s|110000 | 84456 | 0 | 0.0 | 64M| 480 | - | 712 |1306 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | -- | Inf
41.98/42.04 c 38.8s|120000 | 90982 | 0 | 0.0 | 70M| 480 | - | 712 | 964 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | -- | Inf
45.47/45.59 c 42.1s|130000 | 98749 | 0 | 0.0 | 75M| 480 | - | 712 | 973 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | -- | Inf
49.08/49.11 c 45.4s|140000 |106415 | 0 | 0.0 | 81M| 480 | - | 712 |1174 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | -- | Inf
52.58/52.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.58/52.67 c 48.7s|150000 |114022 | 0 | 0.0 | 86M| 480 | - | 712 |1137 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | -- | Inf
56.27/56.35 c 52.1s|160000 |121410 | 0 | 0.0 | 92M| 480 | - | 712 |1168 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | -- | Inf
59.97/60.00 c 55.5s|170000 |128856 | 0 | 0.0 | 97M| 480 | - | 712 |1107 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | -- | Inf
63.69/63.72 c 59.0s|180000 |136099 | 0 | 0.0 | 103M| 480 | - | 712 |1090 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | -- | Inf
67.58/67.64 c 62.7s|190000 |143016 | 0 | 0.0 | 108M| 480 | - | 712 |1093 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | -- | Inf
71.57/71.68 c 66.5s|200000 |149683 | 0 | 0.0 | 113M| 480 | - | 712 |1093 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | -- | Inf
75.67/75.77 c 70.3s|210000 |156419 | 0 | 0.0 | 118M| 480 | - | 712 |1134 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | -- | Inf
79.77/79.89 c 74.2s|220000 |163094 | 0 | 0.0 | 123M| 480 | - | 712 |1211 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | -- | Inf
84.06/84.12 c 78.2s|230000 |169756 | 0 | 0.0 | 127M| 480 | - | 712 |1249 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | -- | Inf
88.27/88.35 c 82.1s|240000 |176608 | 0 | 0.0 | 133M| 480 | - | 712 |1298 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | -- | Inf
92.16/92.29 c 85.8s|250000 |183690 | 0 | 0.0 | 138M| 480 | - | 712 |1339 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | -- | Inf
96.07/96.15 c 89.4s|260000 |190882 | 0 | 0.0 | 143M| 480 | - | 712 |1409 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | -- | Inf
99.97/100.03 c 93.0s|270000 |198134 | 0 | 0.0 | 149M| 480 | - | 712 |1377 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | -- | Inf
103.86/103.93 c 96.7s|280000 |205344 | 0 | 0.0 | 154M| 480 | - | 712 |1335 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | -- | Inf
107.86/107.96 c 100s|290000 |212330 | 0 | 0.0 | 160M| 480 | - | 712 |1448 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | -- | Inf
111.87/111.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.87/111.98 c 104s|300000 |219503 | 0 | 0.0 | 165M| 480 | - | 712 |1295 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | -- | Inf
115.76/115.82 c 108s|310000 |226943 | 0 | 0.0 | 170M| 480 | - | 712 |1155 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | -- | Inf
119.46/119.52 c 111s|320000 |234579 | 0 | 0.0 | 176M| 480 | - | 712 | 985 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | -- | Inf
123.06/123.11 c 115s|330000 |242291 | 0 | 0.0 | 182M| 480 | - | 712 | 987 | 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | -- | Inf
126.66/126.71 c 118s|340000 |250028 | 0 | 0.0 | 187M| 480 | - | 712 |1079 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | -- | Inf
130.15/130.27 c 121s|350000 |257890 | 0 | 0.0 | 193M| 480 | - | 712 |1028 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | -- | Inf
133.76/133.83 c 125s|360000 |265765 | 0 | 0.0 | 199M| 480 | - | 712 | 997 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | -- | Inf
137.25/137.32 c 128s|370000 |273811 | 0 | 0.0 | 204M| 480 | - | 712 | 987 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | -- | Inf
140.86/140.94 c 131s|380000 |281574 | 0 | 0.0 | 210M| 480 | - | 712 |1027 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | -- | Inf
144.55/144.60 c 135s|390000 |289271 | 0 | 0.0 | 216M| 480 | - | 712 |1067 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | -- | Inf
148.25/148.38 c 138s|400000 |296769 | 0 | 0.0 | 221M| 480 | - | 712 |1163 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | -- | Inf
152.55/152.61 c 142s|410000 |303790 | 0 | 0.0 | 227M| 480 | - | 712 |1371 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | -- | Inf
156.85/156.95 c 146s|420000 |310711 | 0 | 0.0 | 232M| 480 | - | 712 |1452 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | -- | Inf
161.35/161.48 c 150s|430000 |317407 | 0 | 0.0 | 237M| 480 | - | 712 |1606 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | -- | Inf
165.95/166.10 c 155s|440000 |324023 | 0 | 0.0 | 242M| 480 | - | 712 |1672 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | -- | Inf
170.65/170.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.65/170.74 c 159s|450000 |330659 | 0 | 0.0 | 247M| 480 | - | 712 |1843 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | -- | Inf
175.24/175.35 c 164s|460000 |337339 | 0 | 0.0 | 253M| 480 | - | 712 |2060 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | -- | Inf
180.05/180.17 c 168s|470000 |343801 | 0 | 0.0 | 258M| 480 | - | 712 |2170 | 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | -- | Inf
184.65/184.79 c 173s|480000 |350576 | 0 | 0.0 | 263M| 480 | - | 712 |2237 | 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | -- | Inf
189.24/189.34 c 177s|490000 |357431 | 0 | 0.0 | 268M| 480 | - | 712 |2186 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | -- | Inf
193.74/193.86 c 181s|500000 |364122 | 0 | 0.0 | 274M| 480 | - | 712 |2275 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | -- | Inf
198.24/198.33 c 185s|510000 |370891 | 0 | 0.0 | 279M| 480 | - | 712 |2335 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | -- | Inf
202.94/203.06 c 190s|520000 |377390 | 0 | 0.0 | 284M| 480 | - | 712 |2620 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | -- | Inf
207.94/208.00 c 194s|530000 |383617 | 0 | 0.0 | 289M| 480 | - | 712 |2774 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | -- | Inf
212.83/212.91 c 199s|540000 |389878 | 0 | 0.0 | 294M| 480 | - | 712 |2831 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | -- | Inf
217.93/218.00 c 204s|550000 |395967 | 0 | 0.0 | 300M| 480 | - | 712 |2963 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | -- | Inf
222.83/222.93 c 209s|560000 |402348 | 0 | 0.0 | 305M| 480 | - | 712 |2991 | 0 | 0 | 0 | 112k| 0 | 1.000000e+00 | -- | Inf
227.93/228.07 c 213s|570000 |408418 | 0 | 0.0 | 310M| 480 | - | 712 |3001 | 0 | 0 | 0 | 115k| 0 | 1.000000e+00 | -- | Inf
232.93/233.04 c 218s|580000 |414564 | 0 | 0.0 | 315M| 480 | - | 712 |3101 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | -- | Inf
237.92/238.06 c 223s|590000 |420736 | 0 | 0.0 | 320M| 480 | - | 712 |3274 | 0 | 0 | 0 | 121k| 0 | 1.000000e+00 | -- | Inf
242.82/242.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.82/242.92 c 227s|600000 |427039 | 0 | 0.0 | 325M| 480 | - | 712 |3269 | 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | -- | Inf
247.63/247.74 c 232s|610000 |433471 | 0 | 0.0 | 330M| 480 | - | 712 |3282 | 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | -- | Inf
252.42/252.55 c 237s|620000 |439882 | 0 | 0.0 | 335M| 480 | - | 712 |3341 | 0 | 0 | 0 | 128k| 0 | 1.000000e+00 | -- | Inf
257.33/257.41 c 241s|630000 |446287 | 0 | 0.0 | 340M| 480 | - | 712 |3435 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | -- | Inf
262.32/262.42 c 246s|640000 |452355 | 0 | 0.0 | 344M| 480 | - | 712 |3381 | 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | -- | Inf
267.41/267.56 c 251s|650000 |458404 | 0 | 0.0 | 349M| 480 | - | 712 |3429 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | -- | Inf
272.52/272.61 c 256s|660000 |464433 | 0 | 0.0 | 354M| 480 | - | 712 |3434 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | -- | Inf
277.52/277.65 c 260s|670000 |470546 | 0 | 0.0 | 359M| 480 | - | 712 |3435 | 0 | 0 | 0 | 140k| 0 | 1.000000e+00 | -- | Inf
282.53/282.65 c 265s|680000 |476693 | 0 | 0.0 | 364M| 480 | - | 712 |3502 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | -- | Inf
287.61/287.72 c 270s|690000 |482831 | 0 | 0.0 | 369M| 480 | - | 712 |3522 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | -- | Inf
292.52/292.70 c 275s|700000 |489063 | 0 | 0.0 | 374M| 480 | - | 712 |3594 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | -- | Inf
297.52/297.63 c 279s|710000 |495363 | 0 | 0.0 | 379M| 480 | - | 712 |3607 | 0 | 0 | 0 | 150k| 0 | 1.000000e+00 | -- | Inf
302.51/302.69 c 284s|720000 |501553 | 0 | 0.0 | 384M| 480 | - | 712 |3693 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | -- | Inf
307.61/307.76 c 289s|730000 |507846 | 0 | 0.0 | 389M| 480 | - | 712 |3666 | 0 | 0 | 0 | 155k| 0 | 1.000000e+00 | -- | Inf
312.51/312.66 c 293s|740000 |514340 | 0 | 0.0 | 395M| 480 | - | 712 |3642 | 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | -- | Inf
317.40/317.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
317.40/317.52 c 298s|750000 |521057 | 0 | 0.0 | 400M| 480 | - | 712 |3612 | 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | -- | Inf
322.11/322.30 c 303s|760000 |528078 | 0 | 0.0 | 406M| 480 | - | 712 |3390 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | -- | Inf
326.90/327.04 c 307s|770000 |534915 | 0 | 0.0 | 411M| 480 | - | 712 |3326 | 0 | 0 | 0 | 164k| 0 | 1.000000e+00 | -- | Inf
331.70/331.85 c 312s|780000 |541721 | 0 | 0.0 | 417M| 480 | - | 712 |3293 | 0 | 0 | 0 | 166k| 0 | 1.000000e+00 | -- | Inf
336.60/336.70 c 316s|790000 |548409 | 0 | 0.0 | 423M| 480 | - | 712 |3314 | 0 | 0 | 0 | 168k| 0 | 1.000000e+00 | -- | Inf
341.50/341.69 c 321s|800000 |555018 | 0 | 0.0 | 428M| 480 | - | 712 |3322 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | -- | Inf
346.60/346.70 c 326s|810000 |561455 | 0 | 0.0 | 434M| 480 | - | 712 |3298 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | -- | Inf
351.80/351.90 c 331s|820000 |567753 | 0 | 0.0 | 439M| 480 | - | 712 |3262 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | -- | Inf
357.00/357.18 c 336s|830000 |573881 | 0 | 0.0 | 445M| 480 | - | 712 |3246 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | -- | Inf
362.39/362.57 c 341s|840000 |579723 | 0 | 0.0 | 450M| 480 | - | 712 |3220 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | -- | Inf
367.79/367.98 c 346s|850000 |585402 | 0 | 0.0 | 456M| 480 | - | 712 |3195 | 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | -- | Inf
373.40/373.60 c 351s|860000 |590898 | 0 | 0.0 | 461M| 480 | - | 712 |3228 | 0 | 0 | 0 | 187k| 0 | 1.000000e+00 | -- | Inf
379.49/379.68 c 357s|870000 |596069 | 0 | 0.0 | 467M| 480 | - | 712 |3240 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | -- | Inf
385.09/385.29 c 362s|880000 |601641 | 0 | 0.0 | 472M| 480 | - | 712 |3248 | 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | -- | Inf
390.39/390.55 c 367s|890000 |607409 | 0 | 0.0 | 477M| 480 | - | 712 |3247 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | -- | Inf
395.69/395.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
395.69/395.82 c 372s|900000 |613015 | 0 | 0.0 | 482M| 480 | - | 712 |3232 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | -- | Inf
400.69/400.89 c 377s|910000 |618956 | 0 | 0.0 | 486M| 480 | - | 712 |3242 | 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | -- | Inf
406.19/406.39 c 382s|920000 |624352 | 0 | 0.0 | 491M| 480 | - | 712 |3286 | 0 | 0 | 0 | 203k| 0 | 1.000000e+00 | -- | Inf
412.08/412.23 c 388s|930000 |629488 | 0 | 0.0 | 496M| 480 | - | 712 |3301 | 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | -- | Inf
418.07/418.28 c 394s|940000 |634558 | 0 | 0.0 | 501M| 480 | - | 712 |3471 | 0 | 0 | 0 | 209k| 0 | 1.000000e+00 | -- | Inf
423.97/424.15 c 399s|950000 |639545 | 0 | 0.0 | 506M| 480 | - | 712 |3470 | 0 | 0 | 0 | 212k| 0 | 1.000000e+00 | -- | Inf
429.88/430.06 c 405s|960000 |644434 | 0 | 0.0 | 510M| 480 | - | 712 |3483 | 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | -- | Inf
435.97/436.10 c 411s|970000 |649482 | 0 | 0.0 | 515M| 480 | - | 712 |1827 | 0 | 0 | 0 | 218k| 0 | 1.000000e+00 | -- | Inf
439.38/439.57 c 414s|980000 |657550 | 0 | 0.0 | 520M| 480 | - | 712 | 871 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | -- | Inf
442.97/443.18 c 417s|990000 |665152 | 0 | 0.0 | 526M| 480 | - | 712 | 939 | 0 | 0 | 0 | 221k| 0 | 1.000000e+00 | -- | Inf
447.07/447.20 c 421s| 1000k|672005 | 0 | 0.0 | 531M| 480 | - | 712 |1093 | 0 | 0 | 0 | 223k| 0 | 1.000000e+00 | -- | Inf
451.17/451.32 c 425s| 1010k|678678 | 0 | 0.0 | 536M| 480 | - | 712 |1181 | 0 | 0 | 0 | 226k| 0 | 1.000000e+00 | -- | Inf
455.47/455.66 c 429s| 1020k|685284 | 0 | 0.0 | 541M| 480 | - | 712 |1409 | 0 | 0 | 0 | 228k| 0 | 1.000000e+00 | -- | Inf
459.97/460.15 c 433s| 1030k|692513 | 0 | 0.0 | 547M| 480 | - | 712 | 797 | 0 | 0 | 0 | 230k| 0 | 1.000000e+00 | -- | Inf
463.77/463.95 c 437s| 1040k|700073 | 0 | 0.0 | 552M| 480 | - | 712 |1258 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | -- | Inf
468.07/468.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
468.07/468.22 c 441s| 1050k|707085 | 0 | 0.0 | 557M| 480 | - | 712 |1572 | 0 | 0 | 0 | 234k| 0 | 1.000000e+00 | -- | Inf
472.57/472.74 c 445s| 1060k|713940 | 0 | 0.0 | 562M| 480 | - | 712 |1804 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | -- | Inf
477.06/477.23 c 449s| 1070k|720937 | 0 | 0.0 | 567M| 480 | - | 712 |1462 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | -- | Inf
481.57/481.71 c 453s| 1080k|727923 | 0 | 0.0 | 572M| 480 | - | 712 |1569 | 0 | 0 | 0 | 240k| 0 | 1.000000e+00 | -- | Inf
485.86/486.09 c 458s| 1090k|735043 | 0 | 0.0 | 577M| 480 | - | 712 |1415 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | -- | Inf
490.36/490.57 c 462s| 1100k|741863 | 0 | 0.0 | 581M| 480 | - | 712 |1422 | 0 | 0 | 0 | 245k| 0 | 1.000000e+00 | -- | Inf
494.77/494.98 c 466s| 1110k|748759 | 0 | 0.0 | 586M| 480 | - | 712 |1734 | 0 | 0 | 0 | 247k| 0 | 1.000000e+00 | -- | Inf
498.86/499.06 c 470s| 1120k|756167 | 0 | 0.0 | 592M| 480 | - | 712 |1198 | 0 | 0 | 0 | 248k| 0 | 1.000000e+00 | -- | Inf
503.05/503.27 c 474s| 1130k|763145 | 0 | 0.0 | 597M| 480 | - | 712 |1401 | 0 | 0 | 0 | 251k| 0 | 1.000000e+00 | -- | Inf
507.46/507.66 c 478s| 1140k|769700 | 0 | 0.0 | 601M| 480 | - | 712 |1439 | 0 | 0 | 0 | 253k| 0 | 1.000000e+00 | -- | Inf
511.76/511.91 c 482s| 1150k|776590 | 0 | 0.0 | 606M| 480 | - | 712 |1398 | 0 | 0 | 0 | 255k| 0 | 1.000000e+00 | -- | Inf
516.25/516.47 c 486s| 1160k|782828 | 0 | 0.0 | 611M| 480 | - | 712 |1536 | 0 | 0 | 0 | 257k| 0 | 1.000000e+00 | -- | Inf
520.55/520.71 c 490s| 1170k|789875 | 0 | 0.0 | 616M| 480 | - | 712 |1211 | 0 | 0 | 0 | 259k| 0 | 1.000000e+00 | -- | Inf
524.95/525.12 c 494s| 1180k|796500 | 0 | 0.0 | 621M| 480 | - | 712 |1515 | 0 | 0 | 0 | 262k| 0 | 1.000000e+00 | -- | Inf
528.96/529.16 c 498s| 1190k|803875 | 0 | 0.0 | 626M| 480 | - | 712 |1078 | 0 | 0 | 0 | 263k| 0 | 1.000000e+00 | -- | Inf
533.44/533.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
533.44/533.69 c 502s| 1200k|810313 | 0 | 0.0 | 631M| 480 | - | 712 |1554 | 0 | 0 | 0 | 266k| 0 | 1.000000e+00 | -- | Inf
537.75/537.96 c 506s| 1210k|817346 | 0 | 0.0 | 636M| 480 | - | 712 |1114 | 0 | 0 | 0 | 268k| 0 | 1.000000e+00 | -- | Inf
542.05/542.28 c 510s| 1220k|824195 | 0 | 0.0 | 641M| 480 | - | 712 |1330 | 0 | 0 | 0 | 270k| 0 | 1.000000e+00 | -- | Inf
546.45/546.60 c 515s| 1230k|831152 | 0 | 0.0 | 646M| 480 | - | 712 |1342 | 0 | 0 | 0 | 272k| 0 | 1.000000e+00 | -- | Inf
550.74/550.91 c 519s| 1240k|838161 | 0 | 0.0 | 651M| 480 | - | 712 |1237 | 0 | 0 | 0 | 274k| 0 | 1.000000e+00 | -- | Inf
555.25/555.43 c 523s| 1250k|844906 | 0 | 0.0 | 656M| 480 | - | 712 |1430 | 0 | 0 | 0 | 276k| 0 | 1.000000e+00 | -- | Inf
559.44/559.61 c 527s| 1260k|852082 | 0 | 0.0 | 662M| 480 | - | 712 |1261 | 0 | 0 | 0 | 278k| 0 | 1.000000e+00 | -- | Inf
563.73/563.94 c 531s| 1270k|858804 | 0 | 0.0 | 666M| 480 | - | 712 |1424 | 0 | 0 | 0 | 280k| 0 | 1.000000e+00 | -- | Inf
568.04/568.23 c 535s| 1280k|865734 | 0 | 0.0 | 671M| 480 | - | 712 |1285 | 0 | 0 | 0 | 282k| 0 | 1.000000e+00 | -- | Inf
572.44/572.62 c 539s| 1290k|872713 | 0 | 0.0 | 677M| 480 | - | 712 |1380 | 0 | 0 | 0 | 284k| 0 | 1.000000e+00 | -- | Inf
577.04/577.27 c 544s| 1300k|879351 | 0 | 0.0 | 682M| 480 | - | 712 |1473 | 0 | 0 | 0 | 287k| 0 | 1.000000e+00 | -- | Inf
581.44/581.69 c 548s| 1310k|886162 | 0 | 0.0 | 687M| 480 | - | 712 |1334 | 0 | 0 | 0 | 289k| 0 | 1.000000e+00 | -- | Inf
586.23/586.40 c 552s| 1320k|893056 | 0 | 0.0 | 692M| 480 | - | 712 |1295 | 0 | 0 | 0 | 291k| 0 | 1.000000e+00 | -- | Inf
591.24/591.44 c 557s| 1330k|899684 | 0 | 0.0 | 697M| 480 | - | 712 |1648 | 0 | 0 | 0 | 293k| 0 | 1.000000e+00 | -- | Inf
595.94/596.10 c 561s| 1340k|906276 | 0 | 0.0 | 701M| 480 | - | 712 |1463 | 0 | 0 | 0 | 295k| 0 | 1.000000e+00 | -- | Inf
600.23/600.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
600.23/600.47 c 565s| 1350k|913048 | 0 | 0.0 | 706M| 480 | - | 712 |1274 | 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | -- | Inf
604.74/604.95 c 570s| 1360k|919659 | 0 | 0.0 | 711M| 480 | - | 712 |1446 | 0 | 0 | 0 | 300k| 0 | 1.000000e+00 | -- | Inf
609.23/609.42 c 574s| 1370k|926262 | 0 | 0.0 | 716M| 480 | - | 712 |1400 | 0 | 0 | 0 | 302k| 0 | 1.000000e+00 | -- | Inf
613.72/613.96 c 578s| 1380k|932893 | 0 | 0.0 | 721M| 480 | - | 712 |1416 | 0 | 0 | 0 | 305k| 0 | 1.000000e+00 | -- | Inf
618.23/618.45 c 582s| 1390k|939653 | 0 | 0.0 | 726M| 480 | - | 712 |1512 | 0 | 0 | 0 | 307k| 0 | 1.000000e+00 | -- | Inf
622.82/623.05 c 587s| 1400k|946110 | 0 | 0.0 | 731M| 480 | - | 712 |1585 | 0 | 0 | 0 | 309k| 0 | 1.000000e+00 | -- | Inf
627.73/627.93 c 591s| 1410k|952419 | 0 | 0.0 | 736M| 480 | - | 712 |1528 | 0 | 0 | 0 | 312k| 0 | 1.000000e+00 | -- | Inf
632.13/632.36 c 596s| 1420k|959204 | 0 | 0.0 | 740M| 480 | - | 712 |1237 | 0 | 0 | 0 | 314k| 0 | 1.000000e+00 | -- | Inf
636.72/636.99 c 600s| 1430k|965463 | 0 | 0.0 | 745M| 480 | - | 712 |1527 | 0 | 0 | 0 | 317k| 0 | 1.000000e+00 | -- | Inf
641.52/641.75 c 605s| 1440k|971766 | 0 | 0.0 | 750M| 480 | - | 712 |1643 | 0 | 0 | 0 | 319k| 0 | 1.000000e+00 | -- | Inf
646.32/646.54 c 609s| 1450k|978205 | 0 | 0.0 | 755M| 480 | - | 712 |1398 | 0 | 0 | 0 | 322k| 0 | 1.000000e+00 | -- | Inf
651.02/651.22 c 613s| 1460k|984669 | 0 | 0.0 | 759M| 480 | - | 712 |1532 | 0 | 0 | 0 | 325k| 0 | 1.000000e+00 | -- | Inf
655.72/655.95 c 618s| 1470k|990924 | 0 | 0.0 | 764M| 480 | - | 712 |1713 | 0 | 0 | 0 | 327k| 0 | 1.000000e+00 | -- | Inf
660.71/660.96 c 623s| 1480k|997104 | 0 | 0.0 | 769M| 480 | - | 712 |1648 | 0 | 0 | 0 | 330k| 0 | 1.000000e+00 | -- | Inf
665.41/665.69 c 627s| 1490k| 1003k| 0 | 0.0 | 774M| 480 | - | 712 |1385 | 0 | 0 | 0 | 332k| 0 | 1.000000e+00 | -- | Inf
670.21/670.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
670.21/670.44 c 632s| 1500k| 1009k| 0 | 0.0 | 778M| 480 | - | 712 |1665 | 0 | 0 | 0 | 335k| 0 | 1.000000e+00 | -- | Inf
675.22/675.46 c 636s| 1510k| 1016k| 0 | 0.0 | 783M| 480 | - | 712 |1865 | 0 | 0 | 0 | 338k| 0 | 1.000000e+00 | -- | Inf
680.41/680.62 c 641s| 1520k| 1022k| 0 | 0.0 | 788M| 480 | - | 712 |1608 | 0 | 0 | 0 | 341k| 0 | 1.000000e+00 | -- | Inf
685.21/685.47 c 646s| 1530k| 1028k| 0 | 0.0 | 792M| 480 | - | 712 |1571 | 0 | 0 | 0 | 343k| 0 | 1.000000e+00 | -- | Inf
690.40/690.61 c 651s| 1540k| 1034k| 0 | 0.0 | 797M| 480 | - | 712 |1886 | 0 | 0 | 0 | 346k| 0 | 1.000000e+00 | -- | Inf
695.30/695.56 c 656s| 1550k| 1040k| 0 | 0.0 | 802M| 480 | - | 712 |1799 | 0 | 0 | 0 | 349k| 0 | 1.000000e+00 | -- | Inf
700.11/700.33 c 660s| 1560k| 1047k| 0 | 0.0 | 806M| 480 | - | 712 |1605 | 0 | 0 | 0 | 351k| 0 | 1.000000e+00 | -- | Inf
705.10/705.37 c 665s| 1570k| 1053k| 0 | 0.0 | 811M| 480 | - | 712 |1801 | 0 | 0 | 0 | 354k| 0 | 1.000000e+00 | -- | Inf
710.41/710.69 c 670s| 1580k| 1059k| 0 | 0.0 | 816M| 480 | - | 712 |2074 | 0 | 0 | 0 | 357k| 0 | 1.000000e+00 | -- | Inf
715.70/715.97 c 675s| 1590k| 1065k| 0 | 0.0 | 820M| 480 | - | 712 |1913 | 0 | 0 | 0 | 360k| 0 | 1.000000e+00 | -- | Inf
720.89/721.11 c 680s| 1600k| 1071k| 0 | 0.0 | 825M| 480 | - | 712 |1803 | 0 | 0 | 0 | 363k| 0 | 1.000000e+00 | -- | Inf
726.10/726.38 c 685s| 1610k| 1078k| 0 | 0.0 | 830M| 480 | - | 712 |2288 | 0 | 0 | 0 | 366k| 0 | 1.000000e+00 | -- | Inf
731.59/731.80 c 690s| 1620k| 1084k| 0 | 0.0 | 835M| 480 | - | 712 |2152 | 0 | 0 | 0 | 368k| 0 | 1.000000e+00 | -- | Inf
736.49/736.75 c 695s| 1630k| 1090k| 0 | 0.0 | 839M| 480 | - | 712 |1936 | 0 | 0 | 0 | 371k| 0 | 1.000000e+00 | -- | Inf
741.69/741.95 c 700s| 1640k| 1097k| 0 | 0.0 | 844M| 480 | - | 712 |2208 | 0 | 0 | 0 | 374k| 0 | 1.000000e+00 | -- | Inf
747.19/747.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
747.19/747.41 c 705s| 1650k| 1103k| 0 | 0.0 | 849M| 480 | - | 712 |2335 | 0 | 0 | 0 | 376k| 0 | 1.000000e+00 | -- | Inf
752.20/752.49 c 710s| 1660k| 1109k| 0 | 0.0 | 854M| 480 | - | 712 |1870 | 0 | 0 | 0 | 379k| 0 | 1.000000e+00 | -- | Inf
757.38/757.63 c 715s| 1670k| 1116k| 0 | 0.0 | 858M| 480 | - | 712 |2259 | 0 | 0 | 0 | 382k| 0 | 1.000000e+00 | -- | Inf
762.99/763.26 c 720s| 1680k| 1122k| 0 | 0.0 | 863M| 480 | - | 712 |2548 | 0 | 0 | 0 | 385k| 0 | 1.000000e+00 | -- | Inf
768.18/768.45 c 725s| 1690k| 1128k| 0 | 0.0 | 868M| 480 | - | 712 |2117 | 0 | 0 | 0 | 387k| 0 | 1.000000e+00 | -- | Inf
772.68/772.96 c 729s| 1700k| 1135k| 0 | 0.0 | 873M| 480 | - | 712 |1873 | 0 | 0 | 0 | 390k| 0 | 1.000000e+00 | -- | Inf
777.58/777.86 c 734s| 1710k| 1142k| 0 | 0.0 | 878M| 480 | - | 712 |2237 | 0 | 0 | 0 | 392k| 0 | 1.000000e+00 | -- | Inf
782.38/782.63 c 738s| 1720k| 1149k| 0 | 0.0 | 884M| 480 | - | 712 |2221 | 0 | 0 | 0 | 394k| 0 | 1.000000e+00 | -- | Inf
786.68/787.00 c 742s| 1730k| 1156k| 0 | 0.0 | 889M| 480 | - | 712 |1656 | 0 | 0 | 0 | 396k| 0 | 1.000000e+00 | -- | Inf
791.38/791.60 c 747s| 1740k| 1163k| 0 | 0.0 | 894M| 480 | - | 712 |2038 | 0 | 0 | 0 | 399k| 0 | 1.000000e+00 | -- | Inf
796.28/796.51 c 751s| 1750k| 1169k| 0 | 0.0 | 899M| 480 | - | 712 |2376 | 0 | 0 | 0 | 401k| 0 | 1.000000e+00 | -- | Inf
801.18/801.46 c 756s| 1760k| 1176k| 0 | 0.0 | 904M| 480 | - | 712 |1948 | 0 | 0 | 0 | 404k| 0 | 1.000000e+00 | -- | Inf
805.78/806.00 c 760s| 1770k| 1183k| 0 | 0.0 | 909M| 480 | - | 712 |1847 | 0 | 0 | 0 | 406k| 0 | 1.000000e+00 | -- | Inf
810.98/811.26 c 765s| 1780k| 1190k| 0 | 0.0 | 914M| 480 | - | 712 |2464 | 0 | 0 | 0 | 409k| 0 | 1.000000e+00 | -- | Inf
816.47/816.77 c 771s| 1790k| 1196k| 0 | 0.0 | 919M| 480 | - | 712 |2496 | 0 | 0 | 0 | 412k| 0 | 1.000000e+00 | -- | Inf
821.57/821.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
821.57/821.89 c 776s| 1800k| 1203k| 0 | 0.0 | 924M| 480 | - | 712 |2203 | 0 | 0 | 0 | 414k| 0 | 1.000000e+00 | -- | Inf
826.77/827.07 c 780s| 1810k| 1209k| 0 | 0.0 | 929M| 480 | - | 712 |2627 | 0 | 0 | 0 | 417k| 0 | 1.000000e+00 | -- | Inf
832.38/832.63 c 786s| 1820k| 1216k| 0 | 0.0 | 934M| 480 | - | 712 |2709 | 0 | 0 | 0 | 419k| 0 | 1.000000e+00 | -- | Inf
837.46/837.77 c 791s| 1830k| 1223k| 0 | 0.0 | 939M| 480 | - | 712 |2374 | 0 | 0 | 0 | 422k| 0 | 1.000000e+00 | -- | Inf
842.46/842.73 c 795s| 1840k| 1230k| 0 | 0.0 | 944M| 480 | - | 712 |2003 | 0 | 0 | 0 | 424k| 0 | 1.000000e+00 | -- | Inf
847.67/847.90 c 800s| 1850k| 1236k| 0 | 0.0 | 949M| 480 | - | 712 |2711 | 0 | 0 | 0 | 427k| 0 | 1.000000e+00 | -- | Inf
852.76/853.01 c 805s| 1860k| 1243k| 0 | 0.0 | 954M| 480 | - | 712 |2530 | 0 | 0 | 0 | 430k| 0 | 1.000000e+00 | -- | Inf
857.16/857.47 c 809s| 1870k| 1250k| 0 | 0.0 | 959M| 480 | - | 712 |1813 | 0 | 0 | 0 | 432k| 0 | 1.000000e+00 | -- | Inf
861.76/862.07 c 814s| 1880k| 1257k| 0 | 0.0 | 965M| 480 | - | 712 |2111 | 0 | 0 | 0 | 434k| 0 | 1.000000e+00 | -- | Inf
866.96/867.27 c 819s| 1890k| 1264k| 0 | 0.0 | 970M| 480 | - | 712 |2421 | 0 | 0 | 0 | 437k| 0 | 1.000000e+00 | -- | Inf
871.76/872.07 c 823s| 1900k| 1271k| 0 | 0.0 | 975M| 480 | - | 712 |2101 | 0 | 0 | 0 | 439k| 0 | 1.000000e+00 | -- | Inf
876.25/876.51 c 827s| 1910k| 1278k| 0 | 0.0 | 980M| 480 | - | 712 |1625 | 0 | 0 | 0 | 441k| 0 | 1.000000e+00 | -- | Inf
881.26/881.56 c 832s| 1920k| 1285k| 0 | 0.0 | 985M| 480 | - | 712 |2442 | 0 | 0 | 0 | 444k| 0 | 1.000000e+00 | -- | Inf
886.85/887.17 c 838s| 1930k| 1291k| 0 | 0.0 | 990M| 480 | - | 712 |2402 | 0 | 0 | 0 | 447k| 0 | 1.000000e+00 | -- | Inf
891.55/891.87 c 842s| 1940k| 1298k| 0 | 0.0 | 995M| 480 | - | 712 |1988 | 0 | 0 | 0 | 449k| 0 | 1.000000e+00 | -- | Inf
896.25/896.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
896.25/896.57 c 846s| 1950k| 1305k| 0 | 0.0 |1000M| 480 | - | 712 |2104 | 0 | 0 | 0 | 451k| 0 | 1.000000e+00 | -- | Inf
901.85/902.17 c 852s| 1960k| 1312k| 0 | 0.0 |1005M| 480 | - | 712 |2616 | 0 | 0 | 0 | 454k| 0 | 1.000000e+00 | -- | Inf
906.75/907.10 c 856s| 1970k| 1318k| 0 | 0.0 |1010M| 480 | - | 712 |2120 | 0 | 0 | 0 | 457k| 0 | 1.000000e+00 | -- | Inf
911.24/911.52 c 861s| 1980k| 1326k| 0 | 0.0 |1015M| 480 | - | 712 |1799 | 0 | 0 | 0 | 459k| 0 | 1.000000e+00 | -- | Inf
915.25/915.58 c 864s| 1990k| 1333k| 0 | 0.0 |1021M| 480 | - | 712 |1860 | 0 | 0 | 0 | 461k| 0 | 1.000000e+00 | -- | Inf
920.35/920.61 c 869s| 2000k| 1340k| 0 | 0.0 |1026M| 480 | - | 712 |2309 | 0 | 0 | 0 | 464k| 0 | 1.000000e+00 | -- | Inf
925.04/925.30 c 874s| 2010k| 1347k| 0 | 0.0 |1031M| 480 | - | 712 |1929 | 0 | 0 | 0 | 467k| 0 | 1.000000e+00 | -- | Inf
929.34/929.68 c 878s| 2020k| 1354k| 0 | 0.0 |1036M| 480 | - | 712 |1796 | 0 | 0 | 0 | 469k| 0 | 1.000000e+00 | -- | Inf
933.74/934.09 c 882s| 2030k| 1361k| 0 | 0.0 |1042M| 480 | - | 712 |1854 | 0 | 0 | 0 | 471k| 0 | 1.000000e+00 | -- | Inf
938.54/938.85 c 886s| 2040k| 1368k| 0 | 0.0 |1047M| 480 | - | 712 |2238 | 0 | 0 | 0 | 474k| 0 | 1.000000e+00 | -- | Inf
943.34/943.60 c 891s| 2050k| 1374k| 0 | 0.0 |1052M| 480 | - | 712 |1839 | 0 | 0 | 0 | 476k| 0 | 1.000000e+00 | -- | Inf
947.85/948.17 c 895s| 2060k| 1381k| 0 | 0.0 |1057M| 480 | - | 712 |1799 | 0 | 0 | 0 | 479k| 0 | 1.000000e+00 | -- | Inf
952.94/953.28 c 900s| 2070k| 1388k| 0 | 0.0 |1062M| 480 | - | 712 |2065 | 0 | 0 | 0 | 481k| 0 | 1.000000e+00 | -- | Inf
957.84/958.11 c 905s| 2080k| 1394k| 0 | 0.0 |1067M| 480 | - | 712 |1842 | 0 | 0 | 0 | 484k| 0 | 1.000000e+00 | -- | Inf
962.43/962.73 c 909s| 2090k| 1401k| 0 | 0.0 |1072M| 480 | - | 712 |1564 | 0 | 0 | 0 | 486k| 0 | 1.000000e+00 | -- | Inf
967.03/967.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
967.03/967.38 c 913s| 2100k| 1408k| 0 | 0.0 |1077M| 480 | - | 712 |1933 | 0 | 0 | 0 | 489k| 0 | 1.000000e+00 | -- | Inf
971.73/972.09 c 918s| 2110k| 1415k| 0 | 0.0 |1082M| 480 | - | 712 |1935 | 0 | 0 | 0 | 491k| 0 | 1.000000e+00 | -- | Inf
976.44/976.77 c 922s| 2120k| 1422k| 0 | 0.0 |1087M| 480 | - | 712 |1636 | 0 | 0 | 0 | 494k| 0 | 1.000000e+00 | -- | Inf
980.94/981.27 c 926s| 2130k| 1429k| 0 | 0.0 |1093M| 480 | - | 712 |1734 | 0 | 0 | 0 | 496k| 0 | 1.000000e+00 | -- | Inf
985.73/986.06 c 931s| 2140k| 1435k| 0 | 0.0 |1098M| 480 | - | 712 |1815 | 0 | 0 | 0 | 499k| 0 | 1.000000e+00 | -- | Inf
990.52/990.84 c 936s| 2150k| 1442k| 0 | 0.0 |1103M| 480 | - | 712 |1898 | 0 | 0 | 0 | 501k| 0 | 1.000000e+00 | -- | Inf
995.02/995.39 c 940s| 2160k| 1449k| 0 | 0.0 |1108M| 480 | - | 712 |1652 | 0 | 0 | 0 | 504k| 0 | 1.000000e+00 | -- | Inf
1000.03/1000.35 c 945s| 2170k| 1456k| 0 | 0.0 |1114M| 480 | - | 712 |2042 | 0 | 0 | 0 | 507k| 0 | 1.000000e+00 | -- | Inf
1004.82/1005.16 c 949s| 2180k| 1463k| 0 | 0.0 |1118M| 480 | - | 712 |1882 | 0 | 0 | 0 | 509k| 0 | 1.000000e+00 | -- | Inf
1009.62/1009.97 c 954s| 2190k| 1469k| 0 | 0.0 |1124M| 480 | - | 712 |1685 | 0 | 0 | 0 | 512k| 0 | 1.000000e+00 | -- | Inf
1014.52/1014.86 c 958s| 2200k| 1476k| 0 | 0.0 |1129M| 480 | - | 712 |1919 | 0 | 0 | 0 | 514k| 0 | 1.000000e+00 | -- | Inf
1019.43/1019.77 c 963s| 2210k| 1483k| 0 | 0.0 |1134M| 480 | - | 712 |1819 | 0 | 0 | 0 | 517k| 0 | 1.000000e+00 | -- | Inf
1024.31/1024.65 c 968s| 2220k| 1490k| 0 | 0.0 |1139M| 480 | - | 712 |1887 | 0 | 0 | 0 | 519k| 0 | 1.000000e+00 | -- | Inf
1029.11/1029.46 c 972s| 2230k| 1497k| 0 | 0.0 |1144M| 480 | - | 712 |1762 | 0 | 0 | 0 | 521k| 0 | 1.000000e+00 | -- | Inf
1034.72/1035.02 c 977s| 2240k| 1503k| 0 | 0.0 |1149M| 480 | - | 712 |1734 | 0 | 0 | 0 | 524k| 0 | 1.000000e+00 | -- | Inf
1039.51/1039.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1039.51/1039.84 c 982s| 2250k| 1510k| 0 | 0.0 |1154M| 480 | - | 712 |1807 | 0 | 0 | 0 | 527k| 0 | 1.000000e+00 | -- | Inf
1044.21/1044.53 c 986s| 2260k| 1517k| 0 | 0.0 |1159M| 480 | - | 712 |1435 | 0 | 0 | 0 | 529k| 0 | 1.000000e+00 | -- | Inf
1049.31/1049.62 c 991s| 2270k| 1523k| 0 | 0.0 |1164M| 480 | - | 712 |1740 | 0 | 0 | 0 | 532k| 0 | 1.000000e+00 | -- | Inf
1054.21/1054.55 c 996s| 2280k| 1530k| 0 | 0.0 |1169M| 480 | - | 712 |1721 | 0 | 0 | 0 | 535k| 0 | 1.000000e+00 | -- | Inf
1058.81/1059.11 c 1000s| 2290k| 1537k| 0 | 0.0 |1174M| 480 | - | 712 |1332 | 0 | 0 | 0 | 537k| 0 | 1.000000e+00 | -- | Inf
1063.70/1064.07 c 1005s| 2300k| 1543k| 0 | 0.0 |1179M| 480 | - | 712 |1709 | 0 | 0 | 0 | 540k| 0 | 1.000000e+00 | -- | Inf
1068.81/1069.14 c 1010s| 2310k| 1550k| 0 | 0.0 |1184M| 480 | - | 712 |1564 | 0 | 0 | 0 | 543k| 0 | 1.000000e+00 | -- | Inf
1073.40/1073.74 c 1014s| 2320k| 1556k| 0 | 0.0 |1189M| 480 | - | 712 |1485 | 0 | 0 | 0 | 545k| 0 | 1.000000e+00 | -- | Inf
1078.40/1078.72 c 1019s| 2330k| 1563k| 0 | 0.0 |1194M| 480 | - | 712 |1463 | 0 | 0 | 0 | 548k| 0 | 1.000000e+00 | -- | Inf
1083.40/1083.78 c 1024s| 2340k| 1570k| 0 | 0.0 |1199M| 480 | - | 712 |1440 | 0 | 0 | 0 | 551k| 0 | 1.000000e+00 | -- | Inf
1088.19/1088.59 c 1028s| 2350k| 1577k| 0 | 0.0 |1204M| 480 | - | 712 |1416 | 0 | 0 | 0 | 553k| 0 | 1.000000e+00 | -- | Inf
1093.29/1093.69 c 1033s| 2360k| 1583k| 0 | 0.0 |1209M| 480 | - | 712 |1462 | 0 | 0 | 0 | 555k| 0 | 1.000000e+00 | -- | Inf
1098.40/1098.72 c 1038s| 2370k| 1590k| 0 | 0.0 |1214M| 480 | - | 712 |1375 | 0 | 0 | 0 | 558k| 0 | 1.000000e+00 | -- | Inf
1102.90/1103.25 c 1042s| 2380k| 1597k| 0 | 0.0 |1219M| 480 | - | 712 |1375 | 0 | 0 | 0 | 560k| 0 | 1.000000e+00 | -- | Inf
1108.29/1108.62 c 1047s| 2390k| 1604k| 0 | 0.0 |1224M| 480 | - | 712 |1494 | 0 | 0 | 0 | 563k| 0 | 1.000000e+00 | -- | Inf
1113.09/1113.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1113.09/1113.49 c 1052s| 2400k| 1611k| 0 | 0.0 |1229M| 480 | - | 712 |1308 | 0 | 0 | 0 | 565k| 0 | 1.000000e+00 | -- | Inf
1117.49/1117.84 c 1056s| 2410k| 1618k| 0 | 0.0 |1235M| 480 | - | 712 |1144 | 0 | 0 | 0 | 567k| 0 | 1.000000e+00 | -- | Inf
1122.99/1123.32 c 1061s| 2420k| 1625k| 0 | 0.0 |1239M| 480 | - | 712 |1398 | 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | -- | Inf
1127.78/1128.14 c 1066s| 2430k| 1631k| 0 | 0.0 |1245M| 480 | - | 712 |1243 | 0 | 0 | 0 | 572k| 0 | 1.000000e+00 | -- | Inf
1132.29/1132.60 c 1070s| 2440k| 1639k| 0 | 0.0 |1250M| 480 | - | 712 |1226 | 0 | 0 | 0 | 574k| 0 | 1.000000e+00 | -- | Inf
1137.28/1137.64 c 1075s| 2450k| 1645k| 0 | 0.0 |1255M| 480 | - | 712 |1564 | 0 | 0 | 0 | 577k| 0 | 1.000000e+00 | -- | Inf
1141.68/1142.08 c 1079s| 2460k| 1652k| 0 | 0.0 |1260M| 480 | - | 712 |1266 | 0 | 0 | 0 | 579k| 0 | 1.000000e+00 | -- | Inf
1145.89/1146.21 c 1083s| 2470k| 1660k| 0 | 0.0 |1266M| 480 | - | 712 | 942 | 0 | 0 | 0 | 581k| 0 | 1.000000e+00 | -- | Inf
1151.08/1151.44 c 1088s| 2480k| 1667k| 0 | 0.0 |1271M| 480 | - | 712 |1541 | 0 | 0 | 0 | 583k| 0 | 1.000000e+00 | -- | Inf
1155.69/1156.10 c 1092s| 2490k| 1674k| 0 | 0.0 |1276M| 480 | - | 712 |1375 | 0 | 0 | 0 | 585k| 0 | 1.000000e+00 | -- | Inf
1159.78/1160.14 c 1096s| 2500k| 1681k| 0 | 0.0 |1282M| 480 | - | 712 |1127 | 0 | 0 | 0 | 587k| 0 | 1.000000e+00 | -- | Inf
1164.58/1164.96 c 1100s| 2510k| 1688k| 0 | 0.0 |1287M| 480 | - | 712 |1376 | 0 | 0 | 0 | 589k| 0 | 1.000000e+00 | -- | Inf
1169.37/1169.77 c 1105s| 2520k| 1695k| 0 | 0.0 |1292M| 480 | - | 712 |1331 | 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | -- | Inf
1173.57/1173.98 c 1109s| 2530k| 1703k| 0 | 0.0 |1297M| 480 | - | 712 |1111 | 0 | 0 | 0 | 594k| 0 | 1.000000e+00 | -- | Inf
1178.18/1178.51 c 1113s| 2540k| 1710k| 0 | 0.0 |1302M| 480 | - | 712 |1116 | 0 | 0 | 0 | 596k| 0 | 1.000000e+00 | -- | Inf
1182.98/1183.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1182.98/1183.33 c 1118s| 2550k| 1717k| 0 | 0.0 |1307M| 480 | - | 712 |1282 | 0 | 0 | 0 | 598k| 0 | 1.000000e+00 | -- | Inf
1187.17/1187.56 c 1122s| 2560k| 1724k| 0 | 0.0 |1313M| 480 | - | 712 |1204 | 0 | 0 | 0 | 600k| 0 | 1.000000e+00 | -- | Inf
1191.27/1191.64 c 1126s| 2570k| 1732k| 0 | 0.0 |1318M| 480 | - | 712 |1020 | 0 | 0 | 0 | 602k| 0 | 1.000000e+00 | -- | Inf
1196.27/1196.63 c 1130s| 2580k| 1739k| 0 | 0.0 |1323M| 480 | - | 712 |1465 | 0 | 0 | 0 | 604k| 0 | 1.000000e+00 | -- | Inf
1200.67/1201.06 c 1135s| 2590k| 1746k| 0 | 0.0 |1329M| 480 | - | 712 |1200 | 0 | 0 | 0 | 606k| 0 | 1.000000e+00 | -- | Inf
1204.87/1205.21 c 1138s| 2600k| 1753k| 0 | 0.0 |1334M| 480 | - | 712 |1079 | 0 | 0 | 0 | 608k| 0 | 1.000000e+00 | -- | Inf
1209.36/1209.71 c 1143s| 2610k| 1761k| 0 | 0.0 |1339M| 480 | - | 712 |1196 | 0 | 0 | 0 | 610k| 0 | 1.000000e+00 | -- | Inf
1214.26/1214.61 c 1147s| 2620k| 1768k| 0 | 0.0 |1344M| 480 | - | 712 |1408 | 0 | 0 | 0 | 613k| 0 | 1.000000e+00 | -- | Inf
1218.67/1219.05 c 1152s| 2630k| 1775k| 0 | 0.0 |1350M| 480 | - | 712 |1137 | 0 | 0 | 0 | 615k| 0 | 1.000000e+00 | -- | Inf
1222.87/1223.24 c 1155s| 2640k| 1783k| 0 | 0.0 |1355M| 480 | - | 712 |1095 | 0 | 0 | 0 | 616k| 0 | 1.000000e+00 | -- | Inf
1225.36/1225.73 c (node 2646015) switching to memory saving mode (mem: 1296.0M/1620.0M)
1226.46/1226.81 o 481
1226.46/1226.81 c *1159s| 2646k| 1787k| 0 | 0.0 |1359M| 480 | - | 712 |1884 | 0 | 0 | 0 | 618k| 0 | 1.000000e+00 | 4.810000e+02 | Large
1226.56/1226.93 o 417
1226.56/1226.93 c *1159s| 2646k| 1787k| 0 | 0.0 |1359M| 480 | - | 712 |2123 | 0 | 0 | 0 | 618k| 0 | 1.000000e+00 | 4.170000e+02 | Large
1228.16/1228.52 o 257
1228.16/1228.52 c *1160s| 2647k| 1787k| 0 | 0.0 |1359M| 480 | - | 712 |1552 | 0 | 0 | 0 | 620k| 0 | 1.000000e+00 | 2.570000e+02 | Large
1228.96/1229.34 o 5
1228.96/1229.34 c *1161s| 2648k| 1784k| 0 | 0.0 |1357M| 480 | - | 712 |1660 | 0 | 0 | 0 | 620k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1231.06/1231.43 c 1163s| 2650k| 1784k| 0 | 0.0 |1357M| 480 | - | 712 |1749 | 0 | 0 | 0 | 621k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1237.06/1237.41 o 3
1237.06/1237.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1237.06/1237.41 c *1169s| 2653k| 1741k| 0 | 0.0 |1325M| 480 | - | 712 |1718 | 0 | 0 | 0 | 623k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
1249.75/1250.18 c (node 2653290) switching to standard mode (mem: 648.0M/1620.0M)
1449.10/1449.53 c
1449.10/1449.53 c SCIP Status : problem is solved [optimal solution found]
1449.10/1449.53 c Solving Time (sec) : 1378.59
1449.10/1449.53 c Solving Nodes : 2653290
1449.10/1449.53 c Primal Bound : +3.00000000000000e+00 (5 solutions)
1449.10/1449.53 c Dual Bound : +3.00000000000000e+00
1449.10/1449.53 c Gap : 0.00 %
1449.10/1449.53 s OPTIMUM FOUND
1449.10/1449.53 v -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x144 -x143 -x142 -x141
1449.10/1449.53 v -x140 -x139 -x138 -x137 x136 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x135 -x134 -x133 x132 x131 x130 -x129
1449.10/1449.53 v -x128 x127 -x189 x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x180 -x179
1449.10/1449.53 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x171 -x170 -x169 -x168 x167
1449.10/1449.53 v -x166 x165 -x164 -x163 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x162 -x161 -x160 -x159 -x158 x157 x156 x155 -x154
1449.10/1449.53 v -x99 -x98 x97 -x96 -x95 x94 x93 -x92 x91 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 x90 x89 x88 x87 -x86 -x85
1449.10/1449.53 v -x84 x83 x82 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
1449.10/1449.53 v -x56 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
1449.10/1449.53 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 -x4 -x3
1449.10/1449.53 v x2 x1
1449.10/1449.53 c SCIP Status : problem is solved [optimal solution found]
1449.10/1449.53 c Solving Time : 1378.59
1449.10/1449.53 c Original Problem :
1449.10/1449.53 c Problem name : HOME/instance-2663621-1276648347.opb
1449.10/1449.53 c Variables : 864 (864 binary, 0 integer, 0 implicit integer, 0 continuous)
1449.10/1449.53 c Constraints : 665 initial, 665 maximal
1449.10/1449.53 c Presolved Problem :
1449.10/1449.53 c Problem name : t_HOME/instance-2663621-1276648347.opb
1449.10/1449.53 c Variables : 712 (712 binary, 0 integer, 0 implicit integer, 0 continuous)
1449.10/1449.53 c Constraints : 529 initial, 3724 maximal
1449.10/1449.53 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1449.10/1449.53 c trivial : 0.00 0 0 0 0 0 0 0 0
1449.10/1449.53 c dualfix : 0.00 0 0 0 0 0 0 0 0
1449.10/1449.53 c boundshift : 0.00 0 0 0 0 0 0 0 0
1449.10/1449.53 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1449.10/1449.53 c implics : 0.00 0 0 0 0 0 0 0 0
1449.10/1449.53 c probing : 0.03 0 0 0 0 0 0 0 0
1449.10/1449.53 c and : 0.10 16 128 0 0 0 128 0 128
1449.10/1449.53 c linear : 0.01 1 7 0 0 0 0 0 63
1449.10/1449.53 c logicor : 0.00 0 0 0 0 0 0 0 0
1449.10/1449.53 c root node : - 81 - - 81 - - - -
1449.10/1449.53 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1449.10/1449.53 c integral : 0 0 0 0 0 0 0 0 0 0
1449.10/1449.53 c and : 512 0 6263491 0 2336361 78491 12715918 0 0 0
1449.10/1449.53 c linear : 8 0 6184999 0 2336361 423235 4693325 0 0 0
1449.10/1449.53 c logicor : 9+ 0 2466508 0 2335701 17144 644030 0 0 0
1449.10/1449.53 c countsols : 0 0 0 0 2336366 0 0 0 0 0
1449.10/1449.53 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1449.10/1449.53 c integral : 0.00 0.00 0.00 0.00 0.00
1449.10/1449.53 c and : 184.73 0.00 119.61 0.00 65.12
1449.10/1449.53 c linear : 338.79 0.00 336.29 0.00 2.50
1449.10/1449.53 c logicor : 81.57 0.00 75.90 0.00 5.67
1449.10/1449.53 c countsols : 0.93 0.00 0.00 0.00 0.93
1449.10/1449.53 c Propagators : Time Calls Cutoffs DomReds
1449.10/1449.53 c vbounds : 2.86 2 0 0
1449.10/1449.53 c rootredcost : 2.87 0 0 0
1449.10/1449.53 c pseudoobj : 8.46 6263076 34 196
1449.10/1449.53 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1449.10/1449.53 c propagation : 214.96 518904 517262 7289272 77.5 45113 67.8 -
1449.10/1449.53 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1449.10/1449.53 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1449.10/1449.53 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1449.10/1449.54 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1449.10/1449.54 c applied globally : - - - 569213 33.2 - - -
1449.10/1449.54 c applied locally : - - - 54612 85.6 - - -
1449.10/1449.54 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1449.10/1449.54 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1449.10/1449.54 c redcost : 0.00 0 0 0 0 0
1449.10/1449.54 c impliedbounds : 0.00 0 0 0 0 0
1449.10/1449.54 c intobj : 0.00 0 0 0 0 0
1449.10/1449.54 c cgmip : 0.00 0 0 0 0 0
1449.10/1449.54 c gomory : 0.00 0 0 0 0 0
1449.10/1449.54 c strongcg : 0.00 0 0 0 0 0
1449.10/1449.54 c cmir : 0.00 0 0 0 0 0
1449.10/1449.54 c flowcover : 0.00 0 0 0 0 0
1449.10/1449.54 c clique : 0.00 0 0 0 0 0
1449.10/1449.54 c zerohalf : 0.00 0 0 0 0 0
1449.10/1449.54 c mcf : 0.00 0 0 0 0 0
1449.10/1449.54 c rapidlearning : 0.00 0 0 0 0 0
1449.10/1449.54 c Pricers : Time Calls Vars
1449.10/1449.54 c problem variables: 0.00 0 0
1449.10/1449.54 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1449.10/1449.54 c relpscost : 0.00 0 0 0 0 0 0
1449.10/1449.54 c pscost : 0.00 0 0 0 0 0 0
1449.10/1449.54 c inference : 196.26 2336361 0 0 0 0 4672722
1449.10/1449.54 c mostinf : 0.00 0 0 0 0 0 0
1449.10/1449.54 c leastinf : 0.00 0 0 0 0 0 0
1449.10/1449.54 c fullstrong : 0.00 0 0 0 0 0 0
1449.10/1449.54 c allfullstrong : 0.00 0 0 0 0 0 0
1449.10/1449.54 c random : 0.00 0 0 0 0 0 0
1449.10/1449.54 c Primal Heuristics : Time Calls Found
1449.10/1449.54 c LP solutions : 0.00 - 0
1449.10/1449.54 c pseudo solutions : 0.48 - 5
1449.10/1449.54 c oneopt : 1.28 0 0
1449.10/1449.54 c trivial : 0.00 2 0
1449.10/1449.54 c simplerounding : 0.00 0 0
1449.10/1449.54 c zirounding : 0.00 0 0
1449.10/1449.54 c rounding : 0.00 0 0
1449.10/1449.54 c shifting : 0.00 0 0
1449.10/1449.54 c intshifting : 0.00 0 0
1449.10/1449.54 c twoopt : 0.00 0 0
1449.10/1449.54 c fixandinfer : 0.00 0 0
1449.10/1449.54 c feaspump : 0.00 0 0
1449.10/1449.54 c coefdiving : 0.00 0 0
1449.10/1449.54 c pscostdiving : 0.00 0 0
1449.10/1449.54 c fracdiving : 0.00 0 0
1449.10/1449.54 c veclendiving : 0.00 0 0
1449.10/1449.54 c intdiving : 0.00 0 0
1449.10/1449.54 c actconsdiving : 0.00 0 0
1449.10/1449.54 c objpscostdiving : 0.00 0 0
1449.10/1449.54 c rootsoldiving : 0.00 0 0
1449.10/1449.54 c linesearchdiving : 0.00 0 0
1449.10/1449.54 c guideddiving : 0.00 0 0
1449.10/1449.54 c octane : 0.00 0 0
1449.10/1449.54 c rens : 0.00 0 0
1449.10/1449.54 c rins : 0.00 0 0
1449.10/1449.54 c localbranching : 0.00 0 0
1449.10/1449.54 c mutation : 0.00 0 0
1449.10/1449.54 c crossover : 0.00 0 0
1449.10/1449.54 c dins : 0.00 0 0
1449.10/1449.54 c undercover : 0.00 0 0
1449.10/1449.54 c nlp : 1.45 0 0
1449.10/1449.54 c trysol : 1.05 0 0
1449.10/1449.54 c LP : Time Calls Iterations Iter/call Iter/sec
1449.10/1449.54 c primal LP : 0.00 0 0 0.00 -
1449.10/1449.54 c dual LP : 0.00 0 0 0.00 -
1449.10/1449.54 c lex dual LP : 0.00 0 0 0.00 -
1449.10/1449.54 c barrier LP : 0.00 0 0 0.00 -
1449.10/1449.54 c diving/probing LP: 0.00 0 0 0.00 -
1449.10/1449.54 c strong branching : 0.00 0 0 0.00 -
1449.10/1449.54 c (at root node) : - 0 0 0.00 -
1449.10/1449.54 c conflict analysis: 0.00 0 0 0.00 -
1449.10/1449.54 c B&B Tree :
1449.10/1449.54 c number of runs : 1
1449.10/1449.54 c nodes : 2653290
1449.10/1449.54 c nodes (total) : 2653290
1449.10/1449.54 c nodes left : 0
1449.10/1449.54 c max depth : 480
1449.10/1449.54 c max depth (total): 480
1449.10/1449.54 c backtracks : 213645 (8.1%)
1449.10/1449.54 c delayed cutoffs : 1973426
1449.10/1449.54 c repropagations : 488262 (2249194 domain reductions, 201980 cutoffs)
1449.10/1449.54 c avg switch length: 6.64
1449.10/1449.54 c switching time : 446.82
1449.10/1449.54 c Solution :
1449.10/1449.54 c Solutions found : 5 (5 improvements)
1449.10/1449.54 c First Solution : +4.81000000000000e+02 (in run 1, after 2646568 nodes, 1158.74 seconds, depth 435, found by <relaxation>)
1449.10/1449.54 c Primal Bound : +3.00000000000000e+00 (in run 1, after 2653290 nodes, 1169.00 seconds, depth 404, found by <relaxation>)
1449.10/1449.54 c Dual Bound : +3.00000000000000e+00
1449.10/1449.54 c Gap : 0.00 %
1449.10/1449.54 c Root Dual Bound : +1.00000000000000e+00
1449.10/1449.54 c Root Iterations : 0
1449.20/1449.62 c Time complete: 1449.23.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663621-1276648347/watcher-2663621-1276648347 -o /tmp/evaluation-result-2663621-1276648347/solver-2663621-1276648347 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663621-1276648347.opb -t 1800 -m 1800 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.11 1.03 1.04 3/106 13193 /proc/meminfo: memFree=1781776/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=6584 CPUtime=0 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 1000 0 0 0 0 0 0 0 25 0 1 0 6129822 6742016 923 1992294400 4194304 7136930 140733380622848 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13193/statm: 1646 933 254 719 0 925 0 [startup+0.0458621 s] /proc/loadavg: 1.11 1.03 1.04 3/106 13193 /proc/meminfo: memFree=1781776/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=12228 CPUtime=0.03 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 2938 0 0 0 2 1 0 0 25 0 1 0 6129822 12521472 2251 1992294400 4194304 7136930 140733380622848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 3057 2251 328 719 0 2336 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12228 [startup+0.100869 s] /proc/loadavg: 1.11 1.03 1.04 3/106 13193 /proc/meminfo: memFree=1781776/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=12228 CPUtime=0.09 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 2938 0 0 0 4 5 0 0 25 0 1 0 6129822 12521472 2251 1992294400 4194304 7136930 140733380622848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 3057 2251 328 719 0 2336 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12228 [startup+0.300892 s] /proc/loadavg: 1.11 1.03 1.04 3/106 13193 /proc/meminfo: memFree=1781776/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=13316 CPUtime=0.29 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 8169 0 0 0 15 14 0 0 25 0 1 0 6129822 13635584 2599 1992294400 4194304 7136930 140733380622848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 3329 2599 371 719 0 2608 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13316 [startup+0.700939 s] /proc/loadavg: 1.11 1.03 1.04 3/106 13193 /proc/meminfo: memFree=1781776/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=15848 CPUtime=0.69 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 8815 0 0 0 52 17 0 0 25 0 1 0 6129822 16228352 3245 1992294400 4194304 7136930 140733380622848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 3962 3245 394 719 0 3241 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15848 [startup+1.50103 s] /proc/loadavg: 1.11 1.03 1.04 2/107 13194 /proc/meminfo: memFree=1769244/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=17968 CPUtime=1.49 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 9363 0 0 0 125 24 0 0 25 0 1 0 6129822 18399232 3793 1992294400 4194304 7136930 140733380622848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 4492 3793 394 719 0 3771 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17968 [startup+3.10122 s] /proc/loadavg: 1.10 1.03 1.04 2/107 13194 /proc/meminfo: memFree=1766020/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=22332 CPUtime=3.09 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 10469 0 0 0 271 38 0 0 25 0 1 0 6129822 22867968 4899 1992294400 4194304 7136930 140733380622848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 5583 4899 394 719 0 4862 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22332 [startup+6.3016 s] /proc/loadavg: 1.10 1.03 1.04 2/107 13194 /proc/meminfo: memFree=1757844/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=30236 CPUtime=6.29 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 12466 0 0 0 569 60 0 0 25 0 1 0 6129822 30961664 6896 1992294400 4194304 7136930 140733380622848 18446744073709551615 4633282 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 7559 6896 394 719 0 6838 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30236 [startup+12.7013 s] /proc/loadavg: 1.09 1.03 1.04 2/107 13194 /proc/meminfo: memFree=1743956/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=42452 CPUtime=12.69 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 15585 0 0 0 1158 111 0 0 25 0 1 0 6129822 43470848 10015 1992294400 4194304 7136930 140733380622848 18446744073709551615 4948367 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 10613 10015 394 719 0 9892 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42452 [startup+25.5009 s] /proc/loadavg: 1.07 1.03 1.04 2/107 13194 /proc/meminfo: memFree=1719032/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=67004 CPUtime=25.48 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 21800 0 0 0 2345 203 0 0 25 0 1 0 6129822 68612096 16230 1992294400 4194304 7136930 140733380622848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 16751 16230 394 719 0 16030 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 67004 [startup+51.1009 s] /proc/loadavg: 1.05 1.02 1.04 2/107 13194 /proc/meminfo: memFree=1676996/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=109196 CPUtime=51.08 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 32033 0 0 0 4723 385 0 0 25 0 1 0 6129822 111816704 26463 1992294400 4194304 7136930 140733380622848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 27299 26463 394 719 0 26578 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 109196 [startup+102.308 s] /proc/loadavg: 1.02 1.02 1.03 2/107 13196 /proc/meminfo: memFree=1602844/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=185564 CPUtime=102.27 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 50449 0 0 0 9517 710 0 0 25 0 1 0 6129822 190017536 44879 1992294400 4194304 7136930 140733380622848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 46391 44879 394 719 0 45670 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 185564 [startup+162.301 s] /proc/loadavg: 1.00 1.01 1.03 2/107 13198 /proc/meminfo: memFree=1512076/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=276040 CPUtime=162.25 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 73513 0 0 0 15129 1096 0 0 25 0 1 0 6129822 282664960 67943 1992294400 4194304 7136930 140733380622848 18446744073709551615 5922484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 69010 67943 394 719 0 68289 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 276040 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.02 2/107 13200 /proc/meminfo: memFree=1443628/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=341840 CPUtime=222.23 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 90279 0 0 0 20799 1424 0 0 25 0 1 0 6129822 350044160 84709 1992294400 4194304 7136930 140733380622848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 85460 84709 394 719 0 84739 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 341840 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.01 2/107 13202 /proc/meminfo: memFree=1375056/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=417488 CPUtime=282.22 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 107437 0 0 0 26471 1751 0 0 25 0 1 0 6129822 427507712 101867 1992294400 4194304 7136930 140733380622848 18446744073709551615 4979703 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 104372 101867 394 719 0 103651 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 417488 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.01 2/107 13202 /proc/meminfo: memFree=1311816/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=478568 CPUtime=342.2 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 123007 0 0 0 32149 2071 0 0 25 0 1 0 6129822 490053632 117437 1992294400 4194304 7136930 140733380622848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 119642 117437 394 719 0 118921 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 478568 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13204 /proc/meminfo: memFree=1245228/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=544152 CPUtime=402.18 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 139632 0 0 0 37844 2374 0 0 25 0 1 0 6129822 557211648 134062 1992294400 4194304 7136930 140733380622848 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 136038 134062 394 719 0 135317 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 544152 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13206 /proc/meminfo: memFree=1176036/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=611660 CPUtime=462.17 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 156820 0 0 0 43513 2704 0 0 25 0 1 0 6129822 626339840 151250 1992294400 4194304 7136930 140733380622848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 152915 151250 394 719 0 152194 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 611660 [startup+522.301 s] /proc/loadavg: 1.06 1.01 1.00 2/107 13208 /proc/meminfo: memFree=1110936/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=677032 CPUtime=522.15 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 173530 0 0 0 49168 3047 0 0 25 0 1 0 6129822 693280768 167960 1992294400 4194304 7136930 140733380622848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 169258 167960 394 719 0 168537 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 677032 [startup+582.301 s] /proc/loadavg: 1.02 1.01 1.00 2/107 13210 /proc/meminfo: memFree=1038520/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=746316 CPUtime=582.13 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 191235 0 0 0 54824 3389 0 0 25 0 1 0 6129822 764227584 185665 1992294400 4194304 7136930 140733380622848 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 186579 185665 394 719 0 185858 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 746316 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13210 /proc/meminfo: memFree=977388/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=805420 CPUtime=642.12 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 206322 0 0 0 60503 3709 0 0 25 0 1 0 6129822 824750080 200752 1992294400 4194304 7136930 140733380622848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 201355 200752 394 719 0 200634 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 805420 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=794736/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=1001084 CPUtime=822.07 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 252042 0 0 0 77593 4614 0 0 25 0 1 0 6129822 1025110016 246472 1992294400 4194304 7136930 140733380622848 18446744073709551615 4660050 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 250271 246472 394 719 0 249550 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1001084 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13218 /proc/meminfo: memFree=730752/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=1063256 CPUtime=882.06 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 267887 0 0 0 83288 4918 0 0 25 0 1 0 6129822 1088774144 262317 1992294400 4194304 7136930 140733380622848 18446744073709551615 4648313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 265814 262317 394 719 0 265093 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1063256 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13218 /proc/meminfo: memFree=666768/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=1127128 CPUtime=942.04 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 284241 0 0 0 88961 5243 0 0 25 0 1 0 6129822 1154179072 278671 1992294400 4194304 7136930 140733380622848 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 281782 278671 394 719 0 281061 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1127128 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13220 /proc/meminfo: memFree=599188/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=1191300 CPUtime=1002.02 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 300556 0 0 0 94641 5561 0 0 25 0 1 0 6129822 1219891200 294986 1992294400 4194304 7136930 140733380622848 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 297825 294986 394 719 0 297104 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 1191300 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13222 /proc/meminfo: memFree=540784/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=1248972 CPUtime=1062 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 315332 0 0 0 100322 5878 0 0 25 0 1 0 6129822 1278947328 309762 1992294400 4194304 7136930 140733380622848 18446744073709551615 4678839 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 312243 309762 394 719 0 311522 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1248972 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13224 /proc/meminfo: memFree=479652/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=1308824 CPUtime=1121.99 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 330625 0 0 0 106021 6178 0 0 25 0 1 0 6129822 1340235776 325055 1992294400 4194304 7136930 140733380622848 18446744073709551615 5905985 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 327206 325055 394 719 0 326485 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1308824 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13226 /proc/meminfo: memFree=410956/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=1376836 CPUtime=1181.98 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 347921 0 0 0 111685 6513 0 0 25 0 1 0 6129822 1409880064 342351 1992294400 4194304 7136930 140733380622848 18446744073709551615 4624219 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 344209 342351 394 719 0 343488 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1376836 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13226 /proc/meminfo: memFree=404012/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=1375948 CPUtime=1241.95 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 369515 0 0 0 117363 6832 0 0 25 0 1 0 6129822 1408970752 342421 1992294400 4194304 7136930 140733380622848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 343987 342421 394 719 0 343266 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1375948 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13228 /proc/meminfo: memFree=541652/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=1239680 CPUtime=1301.94 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 373023 0 0 0 123270 6924 0 0 25 0 1 0 6129822 1269432320 308974 1992294400 4194304 7136930 140733380622848 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 309920 308974 394 719 0 309199 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1239680 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13230 /proc/meminfo: memFree=546860/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=1234520 CPUtime=1361.93 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 373023 0 0 0 129233 6960 0 0 25 0 1 0 6129822 1264148480 307684 1992294400 4194304 7136930 140733380622848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 308630 307684 394 719 0 307909 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1234520 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13232 /proc/meminfo: memFree=553432/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=1227948 CPUtime=1421.92 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 373023 0 0 0 135187 7005 0 0 25 0 1 0 6129822 1257418752 306041 1992294400 4194304 7136930 140733380622848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 306987 306041 394 719 0 306266 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1227948 Solver just ended. Dumping a history of the last processes samples [startup+1433.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13232 /proc/meminfo: memFree=554052/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=1224840 CPUtime=1433.1 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 373023 0 0 0 136292 7018 0 0 25 0 1 0 6129822 1254236160 305264 1992294400 4194304 7136930 140733380622848 18446744073709551615 6165646 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 306210 305264 394 719 0 305489 0 Current children cumulated CPU time (s) 1433.1 Current children cumulated vsize (KiB) 1224840 [startup+1439.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13232 /proc/meminfo: memFree=564220/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=1217144 CPUtime=1439.51 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 373023 0 0 0 136924 7027 0 0 25 0 1 0 6129822 1246355456 303340 1992294400 4194304 7136930 140733380622848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 304286 303340 394 719 0 303565 0 Current children cumulated CPU time (s) 1439.51 Current children cumulated vsize (KiB) 1217144 [startup+1446.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13232 /proc/meminfo: memFree=571784/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=1204676 CPUtime=1445.9 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 373023 0 0 0 137550 7040 0 0 25 0 1 0 6129822 1233588224 300224 1992294400 4194304 7136930 140733380622848 18446744073709551615 6165657 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 301169 300224 394 719 0 300448 0 Current children cumulated CPU time (s) 1445.9 Current children cumulated vsize (KiB) 1204676 [startup+1447.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13232 /proc/meminfo: memFree=586664/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=1188784 CPUtime=1447.5 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 373023 0 0 0 137706 7044 0 0 25 0 1 0 6129822 1217314816 296251 1992294400 4194304 7136930 140733380622848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 297196 296251 394 719 0 296475 0 Current children cumulated CPU time (s) 1447.5 Current children cumulated vsize (KiB) 1188784 [startup+1448.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13232 /proc/meminfo: memFree=611712/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=1165380 CPUtime=1448.31 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 373023 0 0 0 137784 7047 0 0 25 0 1 0 6129822 1193349120 290400 1992294400 4194304 7136930 140733380622848 18446744073709551615 6165620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 291345 290400 394 719 0 290624 0 Current children cumulated CPU time (s) 1448.31 Current children cumulated vsize (KiB) 1165380 [startup+1449.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13232 /proc/meminfo: memFree=611712/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=1139876 CPUtime=1448.7 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 373023 0 0 0 137822 7048 0 0 25 0 1 0 6129822 1167233024 284024 1992294400 4194304 7136930 140733380622848 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 284969 284024 394 719 0 284248 0 Current children cumulated CPU time (s) 1448.7 Current children cumulated vsize (KiB) 1139876 [startup+1449.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13232 /proc/meminfo: memFree=611712/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=895140 CPUtime=1449.1 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 373023 0 0 0 137858 7052 0 0 25 0 1 0 6129822 916623360 222711 1992294400 4194304 7136930 140733380622848 18446744073709551615 6360983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13193/statm: 223656 222711 394 719 0 222935 0 Current children cumulated CPU time (s) 1449.1 Current children cumulated vsize (KiB) 895140 [startup+1449.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13232 /proc/meminfo: memFree=611712/2059040 swapFree=4192956/4192956 [pid=13193] ppid=13191 vsize=216536 CPUtime=1449.2 /proc/13193/stat : 13193 (pbscip.linux.x8) R 13191 13193 12076 0 -1 4202496 373029 0 0 0 137861 7059 0 0 25 0 1 0 6129822 221732864 53323 1992294400 4194304 7136930 140733380622848 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13193/statm: 53878 53110 400 719 0 53157 0 Current children cumulated CPU time (s) 1449.2 Current children cumulated vsize (KiB) 216536 Child status: 0 Real time (s): 1449.63 CPU time (s): 1449.24 CPU user time (s): 1378.62 CPU system time (s): 70.6163 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 1464808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1378.62 system time used= 70.6163 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 373035 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= 2759 runsolver used 2.50262 second user time and 6.75497 second system time The end
Begin job on node033 at 2010-06-16 02:32:27 IDJOB=2663621 IDBENCH=47994 IDSOLVER=1167 FILE ID=node033/2663621-1276648347 PBS_JOBID= 11172425 Free space on /tmp= 62592 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=251-P1=251-P2=101-P3=11-P4=89-P5=53-P6=439-P7=491-P8=389-B.opb 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-2663621-1276648347/watcher-2663621-1276648347 -o /tmp/evaluation-result-2663621-1276648347/solver-2663621-1276648347 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663621-1276648347.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 016a6113efb9500350327fbbc3111675 RANDOM SEED=483188530 node033.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1782180 kB Buffers: 23100 kB Cached: 128660 kB SwapCached: 0 kB Active: 90160 kB Inactive: 121372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1782180 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3404 kB Writeback: 0 kB AnonPages: 59668 kB Mapped: 15432 kB Slab: 43564 kB PageTables: 4084 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181708 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62588 MiB End job on node033 at 2010-06-16 02:56:37