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 | 1306.16 | 1306.59 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.opb |
| MD5SUM | 901fa4df755866cb23bdcc769669d554 |
| 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 | 9.02663 |
| 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 | 189 |
| Total number of constraints | 15 |
| 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 | 15 |
| 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) | 567 |
| Sum of products size (including duplicates) | 1134 |
| Number of different products | 567 |
| Sum of products size | 1134 |
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-2663725-1276650915.opb>
0.00/0.01 c original problem has 756 variables (756 bin, 0 int, 0 impl, 0 cont) and 582 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.09/0.16 c (round 1) 7 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 56 chg coeffs, 0 upgd conss, 3108 impls, 0 clqs
0.09/0.17 c (round 2) 25 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 72 chg coeffs, 8 upgd conss, 4836 impls, 0 clqs
0.09/0.18 c (round 3) 43 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 88 chg coeffs, 8 upgd conss, 6276 impls, 0 clqs
0.09/0.18 c (round 4) 61 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 104 chg coeffs, 8 upgd conss, 7428 impls, 0 clqs
0.09/0.19 c (round 5) 79 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 120 chg coeffs, 8 upgd conss, 8292 impls, 0 clqs
0.09/0.19 c (round 6) 97 del vars, 80 del conss, 0 chg bounds, 0 chg sides, 136 chg coeffs, 8 upgd conss, 8868 impls, 0 clqs
0.09/0.20 c (round 7) 115 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 152 chg coeffs, 8 upgd conss, 9156 impls, 0 clqs
0.19/0.20 c (round 8) 133 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 168 chg coeffs, 8 upgd conss, 9156 impls, 0 clqs
0.19/0.23 c (0.1s) probing: 206/623 (33.1%) - 0 fixings, 0 aggregations, 14 implications, 0 bound changes
0.19/0.23 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.23 c presolving (9 rounds):
0.19/0.23 c 133 deleted vars, 112 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 168 changed coefficients
0.19/0.23 c 9184 implications, 0 cliques
0.19/0.23 c presolved problem has 623 variables (623 bin, 0 int, 0 impl, 0 cont) and 463 constraints
0.19/0.23 c 448 constraints of type <and>
0.19/0.23 c 7 constraints of type <linear>
0.19/0.23 c 8 constraints of type <logicor>
0.19/0.23 c transformed objective value is always integral (scale: 2)
0.19/0.23 c Presolving Time: 0.13
0.19/0.23 c - non default parameters ----------------------------------------------------------------------
0.19/0.23 c # SCIP version 1.2.1.2
0.19/0.23 c
0.19/0.23 c # frequency for displaying node information lines
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.23 c display/freq = 10000
0.19/0.23 c
0.19/0.23 c # maximal time in seconds to run
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/time = 1800
0.19/0.23 c
0.19/0.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/memory = 1620
0.19/0.23 c
0.19/0.23 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.23 c lp/solvefreq = -1
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify inequalities
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/linear/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify knapsacks
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23 c heuristics/undercover/freq = 0
0.19/0.23 c
0.19/0.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23 c separating/rapidlearning/freq = 0
0.19/0.23 c
0.19/0.23 c -----------------------------------------------------------------------------------------------
0.19/0.23 c start solving
0.19/0.23 c
0.19/0.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.23 c 0.1s| 1 | 2 | 0 | - |1985k| 0 | - | 623 | 463 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
3.09/3.15 c 2.8s| 10000 | 8104 | 0 | 0.0 |8100k| 407 | - | 623 | 652 | 0 | 0 | 0 |1231 | 0 | 1.000000e+00 | -- | Inf
5.89/5.99 c 5.4s| 20000 | 16592 | 0 | 0.0 | 14M| 407 | - | 623 | 811 | 0 | 0 | 0 |2246 | 0 | 1.000000e+00 | -- | Inf
9.49/9.50 c 8.7s| 30000 | 23586 | 0 | 0.0 | 19M| 407 | - | 623 | 809 | 0 | 0 | 0 |4158 | 0 | 1.000000e+00 | -- | Inf
13.10/13.13 c 12.1s| 40000 | 30607 | 0 | 0.0 | 24M| 407 | - | 623 | 937 | 0 | 0 | 0 |6106 | 0 | 1.000000e+00 | -- | Inf
16.39/16.40 c 15.1s| 50000 | 37876 | 0 | 0.0 | 30M| 407 | - | 623 |1275 | 0 | 0 | 0 |7926 | 0 | 1.000000e+00 | -- | Inf
20.09/20.17 c 18.6s| 60000 | 44313 | 0 | 0.0 | 35M| 407 | - | 623 |1617 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | -- | Inf
24.09/24.10 c 22.4s| 70000 | 50337 | 0 | 0.0 | 40M| 407 | - | 623 |1895 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | -- | Inf
27.98/28.05 c 26.0s| 80000 | 56266 | 0 | 0.0 | 45M| 407 | - | 623 |1945 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | -- | Inf
31.78/31.89 c 29.6s| 90000 | 62756 | 0 | 0.0 | 50M| 407 | - | 623 | 654 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | -- | Inf
34.88/34.99 c 32.4s|100000 | 70908 | 0 | 0.0 | 56M| 407 | - | 623 | 640 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | -- | Inf
37.97/38.08 c 35.3s|110000 | 79039 | 0 | 0.0 | 62M| 407 | - | 623 | 719 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | -- | Inf
41.17/41.26 c 38.2s|120000 | 86891 | 0 | 0.0 | 68M| 407 | - | 623 | 669 | 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | -- | Inf
44.47/44.50 c 41.2s|130000 | 94482 | 0 | 0.0 | 73M| 407 | - | 623 |1026 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | -- | Inf
47.77/47.80 c 44.3s|140000 |102182 | 0 | 0.0 | 79M| 407 | - | 623 | 999 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | -- | Inf
51.17/51.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.17/51.23 c 47.5s|150000 |109640 | 0 | 0.0 | 85M| 407 | - | 623 | 871 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | -- | Inf
54.67/54.73 c 50.7s|160000 |116937 | 0 | 0.0 | 90M| 407 | - | 623 | 729 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | -- | Inf
58.17/58.22 c 54.0s|170000 |124153 | 0 | 0.0 | 95M| 407 | - | 623 | 786 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | -- | Inf
61.66/61.71 c 57.2s|180000 |131412 | 0 | 0.0 | 100M| 407 | - | 623 | 757 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | -- | Inf
65.27/65.30 c 60.6s|190000 |138407 | 0 | 0.0 | 105M| 407 | - | 623 | 891 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | -- | Inf
68.87/68.94 c 64.0s|200000 |145350 | 0 | 0.0 | 110M| 407 | - | 623 | 891 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | -- | Inf
72.47/72.54 c 67.3s|210000 |152336 | 0 | 0.0 | 115M| 407 | - | 623 | 849 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | -- | Inf
76.16/76.27 c 70.8s|220000 |159124 | 0 | 0.0 | 120M| 407 | - | 623 | 835 | 0 | 0 | 0 | 39k| 0 | 1.000000e+00 | -- | Inf
80.07/80.17 c 74.4s|230000 |165654 | 0 | 0.0 | 125M| 407 | - | 623 |1025 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | -- | Inf
83.96/84.03 c 78.0s|240000 |172361 | 0 | 0.0 | 130M| 407 | - | 623 |1059 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | -- | Inf
87.75/87.89 c 81.7s|250000 |179038 | 0 | 0.0 | 135M| 407 | - | 623 |1076 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | -- | Inf
91.66/91.76 c 85.3s|260000 |185638 | 0 | 0.0 | 140M| 407 | - | 623 | 943 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | -- | Inf
95.67/95.73 c 89.1s|270000 |192278 | 0 | 0.0 | 144M| 407 | - | 623 |1139 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | -- | Inf
99.76/99.86 c 93.0s|280000 |198796 | 0 | 0.0 | 149M| 407 | - | 623 |1109 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | -- | Inf
103.86/103.95 c 96.8s|290000 |205221 | 0 | 0.0 | 154M| 407 | - | 623 |1137 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | -- | Inf
107.95/108.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.95/108.08 c 101s|300000 |211729 | 0 | 0.0 | 159M| 407 | - | 623 |1015 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | -- | Inf
112.25/112.37 c 105s|310000 |218036 | 0 | 0.0 | 163M| 407 | - | 623 |1298 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | -- | Inf
116.65/116.75 c 109s|320000 |224292 | 0 | 0.0 | 168M| 407 | - | 623 |1395 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | -- | Inf
121.25/121.34 c 113s|330000 |230675 | 0 | 0.0 | 173M| 407 | - | 623 |1638 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | -- | Inf
125.95/126.05 c 118s|340000 |237092 | 0 | 0.0 | 178M| 407 | - | 623 |1562 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | -- | Inf
130.54/130.66 c 122s|350000 |243649 | 0 | 0.0 | 183M| 407 | - | 623 |1459 | 0 | 0 | 0 | 69k| 0 | 1.000000e+00 | -- | Inf
134.94/135.03 c 126s|360000 |250343 | 0 | 0.0 | 188M| 407 | - | 623 |1537 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | -- | Inf
139.14/139.23 c 130s|370000 |257010 | 0 | 0.0 | 193M| 407 | - | 623 |1544 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | -- | Inf
143.44/143.55 c 134s|380000 |263530 | 0 | 0.0 | 198M| 407 | - | 623 |1689 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | -- | Inf
147.74/147.80 c 138s|390000 |270413 | 0 | 0.0 | 203M| 407 | - | 623 |1656 | 0 | 0 | 0 | 78k| 0 | 1.000000e+00 | -- | Inf
151.34/151.44 c 142s|400000 |277885 | 0 | 0.0 | 208M| 407 | - | 623 |1625 | 0 | 0 | 0 | 80k| 0 | 1.000000e+00 | -- | Inf
155.14/155.24 c 145s|410000 |284996 | 0 | 0.0 | 214M| 407 | - | 623 |1637 | 0 | 0 | 0 | 82k| 0 | 1.000000e+00 | -- | Inf
159.03/159.19 c 149s|420000 |291837 | 0 | 0.0 | 219M| 407 | - | 623 |1762 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | -- | Inf
163.43/163.53 c 153s|430000 |298207 | 0 | 0.0 | 224M| 407 | - | 623 |1961 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | -- | Inf
168.14/168.22 c 157s|440000 |304219 | 0 | 0.0 | 229M| 407 | - | 623 |2211 | 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | -- | Inf
173.13/173.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.13/173.20 c 162s|450000 |309804 | 0 | 0.0 | 234M| 407 | - | 623 |2737 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | -- | Inf
178.33/178.44 c 167s|460000 |315306 | 0 | 0.0 | 239M| 407 | - | 623 |2846 | 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | -- | Inf
183.63/183.73 c 172s|470000 |320497 | 0 | 0.0 | 244M| 407 | - | 623 |2804 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | -- | Inf
188.92/189.01 c 177s|480000 |325549 | 0 | 0.0 | 248M| 407 | - | 623 |3259 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | -- | Inf
193.83/193.95 c 182s|490000 |331128 | 0 | 0.0 | 253M| 407 | - | 623 |3420 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | -- | Inf
198.72/198.88 c 186s|500000 |336835 | 0 | 0.0 | 258M| 407 | - | 623 |3391 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | -- | Inf
203.92/204.05 c 191s|510000 |342041 | 0 | 0.0 | 262M| 407 | - | 623 |3286 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | -- | Inf
209.62/209.78 c 197s|520000 |346496 | 0 | 0.0 | 266M| 407 | - | 623 |3738 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | -- | Inf
215.32/215.42 c 202s|530000 |350999 | 0 | 0.0 | 270M| 407 | - | 623 |3891 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | -- | Inf
220.92/221.10 c 208s|540000 |355515 | 0 | 0.0 | 273M| 407 | - | 623 |3970 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | -- | Inf
226.92/227.05 c 213s|550000 |359854 | 0 | 0.0 | 277M| 407 | - | 623 |4027 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | -- | Inf
232.31/232.49 c 218s|560000 |364593 | 0 | 0.0 | 282M| 407 | - | 623 |3938 | 0 | 0 | 0 | 127k| 0 | 1.000000e+00 | -- | Inf
238.11/238.21 c 224s|570000 |368953 | 0 | 0.0 | 286M| 407 | - | 623 |4032 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | -- | Inf
244.21/244.37 c 230s|580000 |372359 | 0 | 0.0 | 290M| 407 | - | 623 |4128 | 0 | 0 | 0 | 134k| 0 | 1.000000e+00 | -- | Inf
250.61/250.71 c 236s|590000 |376342 | 0 | 0.0 | 294M| 407 | - | 623 |4166 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | -- | Inf
252.10/252.27 o 57
252.10/252.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
252.10/252.27 c * 237s|592265 |376953 | 0 | 0.0 | 295M| 407 | - | 623 |4164 | 0 | 0 | 0 | 139k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
259.90/260.02 c 245s|600000 |378474 | 0 | 0.0 | 297M| 407 | - | 623 |3767 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
263.20/263.34 c 248s|610000 |386357 | 0 | 0.0 | 302M| 407 | - | 623 | 897 | 0 | 0 | 0 | 144k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
266.69/266.89 c 251s|620000 |393279 | 0 | 0.0 | 307M| 407 | - | 623 | 876 | 0 | 0 | 0 | 146k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
270.90/271.09 c 255s|630000 |399538 | 0 | 0.0 | 312M| 407 | - | 623 | 651 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
274.40/274.50 c 258s|640000 |407442 | 0 | 0.0 | 318M| 407 | - | 623 | 673 | 0 | 0 | 0 | 149k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
277.70/277.89 c 261s|650000 |415283 | 0 | 0.0 | 323M| 407 | - | 623 | 686 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
281.30/281.42 c 265s|660000 |422976 | 0 | 0.0 | 329M| 407 | - | 623 | 702 | 0 | 0 | 0 | 152k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
284.81/284.92 c 268s|670000 |430684 | 0 | 0.0 | 334M| 407 | - | 623 | 745 | 0 | 0 | 0 | 154k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
288.29/288.48 c 271s|680000 |438298 | 0 | 0.0 | 340M| 407 | - | 623 | 755 | 0 | 0 | 0 | 155k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
291.89/292.00 c 275s|690000 |445917 | 0 | 0.0 | 345M| 407 | - | 623 | 871 | 0 | 0 | 0 | 157k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
295.39/295.50 c 278s|700000 |453157 | 0 | 0.0 | 350M| 407 | - | 623 | 857 | 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
298.89/299.08 c 281s|710000 |460351 | 0 | 0.0 | 355M| 407 | - | 623 | 922 | 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
302.19/302.38 c 284s|720000 |468046 | 0 | 0.0 | 361M| 407 | - | 623 | 808 | 0 | 0 | 0 | 162k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
305.49/305.69 c 287s|730000 |475692 | 0 | 0.0 | 366M| 407 | - | 623 | 963 | 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
308.89/309.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.89/309.02 c 290s|740000 |483420 | 0 | 0.0 | 372M| 407 | - | 623 | 722 | 0 | 0 | 0 | 165k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
312.08/312.23 c 293s|750000 |491369 | 0 | 0.0 | 378M| 407 | - | 623 | 860 | 0 | 0 | 0 | 166k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
315.49/315.69 c 297s|760000 |498964 | 0 | 0.0 | 383M| 407 | - | 623 | 893 | 0 | 0 | 0 | 168k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
318.90/319.08 c 300s|770000 |506500 | 0 | 0.0 | 389M| 407 | - | 623 | 897 | 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
322.38/322.59 c 303s|780000 |513981 | 0 | 0.0 | 394M| 407 | - | 623 | 918 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
326.18/326.37 c 306s|790000 |521011 | 0 | 0.0 | 399M| 407 | - | 623 |1289 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
329.89/330.08 c 310s|800000 |528194 | 0 | 0.0 | 404M| 407 | - | 623 |1021 | 0 | 0 | 0 | 174k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
333.47/333.65 c 313s|810000 |535544 | 0 | 0.0 | 410M| 407 | - | 623 | 760 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
337.49/337.63 c 317s|820000 |542197 | 0 | 0.0 | 415M| 407 | - | 623 |1058 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
341.07/341.29 c 320s|830000 |549419 | 0 | 0.0 | 420M| 407 | - | 623 | 955 | 0 | 0 | 0 | 180k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
344.87/345.00 c 324s|840000 |556395 | 0 | 0.0 | 425M| 407 | - | 623 |1191 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
348.48/348.68 c 327s|850000 |563593 | 0 | 0.0 | 431M| 407 | - | 623 |1034 | 0 | 0 | 0 | 183k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
351.77/351.93 c 330s|860000 |571507 | 0 | 0.0 | 436M| 407 | - | 623 | 849 | 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
355.08/355.26 c 333s|870000 |579323 | 0 | 0.0 | 442M| 407 | - | 623 | 721 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
358.48/358.68 c 336s|880000 |586982 | 0 | 0.0 | 448M| 407 | - | 623 | 906 | 0 | 0 | 0 | 188k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
362.07/362.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
362.07/362.22 c 340s|890000 |594289 | 0 | 0.0 | 453M| 407 | - | 623 | 940 | 0 | 0 | 0 | 189k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
365.37/365.56 c 343s|900000 |602111 | 0 | 0.0 | 458M| 407 | - | 623 | 852 | 0 | 0 | 0 | 191k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
368.67/368.89 c 346s|910000 |609963 | 0 | 0.0 | 464M| 407 | - | 623 | 752 | 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
372.07/372.24 c 349s|920000 |617727 | 0 | 0.0 | 470M| 407 | - | 623 | 776 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
375.37/375.59 c 352s|930000 |625391 | 0 | 0.0 | 475M| 407 | - | 623 | 889 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
378.76/378.93 c 355s|940000 |633138 | 0 | 0.0 | 481M| 407 | - | 623 | 958 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
382.07/382.21 c 358s|950000 |641013 | 0 | 0.0 | 486M| 407 | - | 623 | 677 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
385.66/385.88 c 362s|960000 |648132 | 0 | 0.0 | 492M| 407 | - | 623 |1065 | 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
389.16/389.31 c 365s|970000 |655960 | 0 | 0.0 | 497M| 407 | - | 623 | 863 | 0 | 0 | 0 | 201k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
392.56/392.71 c 368s|980000 |663735 | 0 | 0.0 | 503M| 407 | - | 623 | 806 | 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
395.77/395.97 c 371s|990000 |671624 | 0 | 0.0 | 508M| 407 | - | 623 | 694 | 0 | 0 | 0 | 203k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
399.26/399.46 c 374s| 1000k|679099 | 0 | 0.0 | 514M| 407 | - | 623 | 964 | 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
402.76/402.97 c 378s| 1010k|686767 | 0 | 0.0 | 519M| 407 | - | 623 |1031 | 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
406.65/406.81 c 381s| 1020k|693806 | 0 | 0.0 | 525M| 407 | - | 623 | 865 | 0 | 0 | 0 | 208k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
410.45/410.65 c 385s| 1030k|700787 | 0 | 0.0 | 530M| 407 | - | 623 | 677 | 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
414.75/414.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
414.75/414.99 c 389s| 1040k|707343 | 0 | 0.0 | 535M| 407 | - | 623 |1496 | 0 | 0 | 0 | 212k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
419.25/419.47 c 393s| 1050k|713740 | 0 | 0.0 | 540M| 407 | - | 623 | 974 | 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
423.15/423.37 c 397s| 1060k|720566 | 0 | 0.0 | 544M| 407 | - | 623 | 758 | 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
426.95/427.16 c 400s| 1070k|727376 | 0 | 0.0 | 549M| 407 | - | 623 |1073 | 0 | 0 | 0 | 219k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
431.15/431.38 c 404s| 1080k|733821 | 0 | 0.0 | 554M| 407 | - | 623 |1280 | 0 | 0 | 0 | 221k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
434.95/435.18 c 408s| 1090k|740749 | 0 | 0.0 | 560M| 407 | - | 623 |1114 | 0 | 0 | 0 | 223k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
438.95/439.12 c 411s| 1100k|747548 | 0 | 0.0 | 565M| 407 | - | 623 | 812 | 0 | 0 | 0 | 225k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
443.34/443.55 c 416s| 1110k|753959 | 0 | 0.0 | 569M| 407 | - | 623 |1432 | 0 | 0 | 0 | 227k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
447.24/447.48 c 419s| 1120k|761118 | 0 | 0.0 | 575M| 407 | - | 623 |1268 | 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
451.24/451.44 c 423s| 1130k|767937 | 0 | 0.0 | 580M| 407 | - | 623 |1025 | 0 | 0 | 0 | 231k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
455.15/455.32 c 427s| 1140k|774759 | 0 | 0.0 | 585M| 407 | - | 623 | 815 | 0 | 0 | 0 | 233k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
458.94/459.13 c 430s| 1150k|781679 | 0 | 0.0 | 590M| 407 | - | 623 |1163 | 0 | 0 | 0 | 235k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
463.23/463.40 c 434s| 1160k|788092 | 0 | 0.0 | 595M| 407 | - | 623 |1232 | 0 | 0 | 0 | 237k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
467.24/467.50 c 438s| 1170k|794796 | 0 | 0.0 | 600M| 407 | - | 623 | 914 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
471.33/471.54 c 442s| 1180k|801431 | 0 | 0.0 | 604M| 407 | - | 623 | 811 | 0 | 0 | 0 | 241k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
475.33/475.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
475.33/475.54 c 445s| 1190k|808191 | 0 | 0.0 | 609M| 407 | - | 623 | 755 | 0 | 0 | 0 | 243k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
479.63/479.82 c 450s| 1200k|814567 | 0 | 0.0 | 614M| 407 | - | 623 |1512 | 0 | 0 | 0 | 246k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
484.03/484.26 c 454s| 1210k|821011 | 0 | 0.0 | 619M| 407 | - | 623 |1079 | 0 | 0 | 0 | 248k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
488.13/488.40 c 458s| 1220k|827533 | 0 | 0.0 | 624M| 407 | - | 623 | 937 | 0 | 0 | 0 | 250k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
492.23/492.42 c 461s| 1230k|834132 | 0 | 0.0 | 628M| 407 | - | 623 | 904 | 0 | 0 | 0 | 252k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
496.33/496.52 c 465s| 1240k|840797 | 0 | 0.0 | 633M| 407 | - | 623 |1194 | 0 | 0 | 0 | 254k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
500.72/500.93 c 469s| 1250k|847315 | 0 | 0.0 | 638M| 407 | - | 623 |1260 | 0 | 0 | 0 | 257k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
504.92/505.19 c 473s| 1260k|853876 | 0 | 0.0 | 643M| 407 | - | 623 |1000 | 0 | 0 | 0 | 259k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
509.13/509.38 c 477s| 1270k|860437 | 0 | 0.0 | 648M| 407 | - | 623 | 966 | 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
513.22/513.46 c 481s| 1280k|867092 | 0 | 0.0 | 652M| 407 | - | 623 |1060 | 0 | 0 | 0 | 263k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
517.52/517.70 c 485s| 1290k|873788 | 0 | 0.0 | 657M| 407 | - | 623 |1354 | 0 | 0 | 0 | 265k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
521.72/521.93 c 489s| 1300k|880352 | 0 | 0.0 | 662M| 407 | - | 623 |1050 | 0 | 0 | 0 | 267k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
525.92/526.18 c 493s| 1310k|886732 | 0 | 0.0 | 667M| 407 | - | 623 |1034 | 0 | 0 | 0 | 270k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
530.22/530.43 c 497s| 1320k|893342 | 0 | 0.0 | 672M| 407 | - | 623 | 889 | 0 | 0 | 0 | 272k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
534.52/534.71 c 501s| 1330k|899832 | 0 | 0.0 | 676M| 407 | - | 623 |1385 | 0 | 0 | 0 | 274k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
539.11/539.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
539.11/539.32 c 506s| 1340k|906201 | 0 | 0.0 | 681M| 407 | - | 623 |1276 | 0 | 0 | 0 | 277k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
543.41/543.60 c 510s| 1350k|912639 | 0 | 0.0 | 686M| 407 | - | 623 |1177 | 0 | 0 | 0 | 279k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
547.51/547.77 c 513s| 1360k|919210 | 0 | 0.0 | 691M| 407 | - | 623 | 908 | 0 | 0 | 0 | 281k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
551.70/551.96 c 517s| 1370k|925706 | 0 | 0.0 | 695M| 407 | - | 623 |1143 | 0 | 0 | 0 | 283k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
556.31/556.58 c 522s| 1380k|932133 | 0 | 0.0 | 700M| 407 | - | 623 |1453 | 0 | 0 | 0 | 286k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
561.01/561.23 c 526s| 1390k|938311 | 0 | 0.0 | 705M| 407 | - | 623 |1249 | 0 | 0 | 0 | 288k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
565.31/565.57 c 530s| 1400k|944718 | 0 | 0.0 | 710M| 407 | - | 623 |1066 | 0 | 0 | 0 | 291k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
569.41/569.66 c 534s| 1410k|951333 | 0 | 0.0 | 714M| 407 | - | 623 |1137 | 0 | 0 | 0 | 293k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
573.91/574.15 c 538s| 1420k|958020 | 0 | 0.0 | 719M| 407 | - | 623 |1506 | 0 | 0 | 0 | 295k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
578.41/578.63 c 542s| 1430k|964611 | 0 | 0.0 | 724M| 407 | - | 623 |1288 | 0 | 0 | 0 | 297k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
582.90/583.19 c 547s| 1440k|970852 | 0 | 0.0 | 729M| 407 | - | 623 |1243 | 0 | 0 | 0 | 300k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
587.21/587.47 c 551s| 1450k|977415 | 0 | 0.0 | 733M| 407 | - | 623 | 832 | 0 | 0 | 0 | 302k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
591.69/591.95 c 555s| 1460k|983955 | 0 | 0.0 | 738M| 407 | - | 623 |1428 | 0 | 0 | 0 | 304k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
596.29/596.59 c 559s| 1470k|990467 | 0 | 0.0 | 743M| 407 | - | 623 |1469 | 0 | 0 | 0 | 306k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
600.99/601.27 c 564s| 1480k|996675 | 0 | 0.0 | 748M| 407 | - | 623 |1216 | 0 | 0 | 0 | 309k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
605.39/605.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
605.39/605.69 c 568s| 1490k| 1003k| 0 | 0.0 | 752M| 407 | - | 623 |1066 | 0 | 0 | 0 | 311k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
609.89/610.16 c 572s| 1500k| 1009k| 0 | 0.0 | 757M| 407 | - | 623 |1504 | 0 | 0 | 0 | 314k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
614.49/614.79 c 577s| 1510k| 1016k| 0 | 0.0 | 762M| 407 | - | 623 |1586 | 0 | 0 | 0 | 316k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
619.18/619.47 c 581s| 1520k| 1022k| 0 | 0.0 | 767M| 407 | - | 623 |1367 | 0 | 0 | 0 | 318k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
623.68/623.91 c 585s| 1530k| 1028k| 0 | 0.0 | 771M| 407 | - | 623 |1040 | 0 | 0 | 0 | 321k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
628.18/628.48 c 589s| 1540k| 1035k| 0 | 0.0 | 776M| 407 | - | 623 |1475 | 0 | 0 | 0 | 323k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
632.78/633.07 c 594s| 1550k| 1042k| 0 | 0.0 | 781M| 407 | - | 623 |1641 | 0 | 0 | 0 | 325k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
637.58/637.84 c 598s| 1560k| 1048k| 0 | 0.0 | 786M| 407 | - | 623 |1416 | 0 | 0 | 0 | 328k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
642.09/642.34 c 603s| 1570k| 1054k| 0 | 0.0 | 790M| 407 | - | 623 |1041 | 0 | 0 | 0 | 330k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
646.58/646.87 c 607s| 1580k| 1060k| 0 | 0.0 | 795M| 407 | - | 623 |1544 | 0 | 0 | 0 | 333k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
651.37/651.69 c 611s| 1590k| 1067k| 0 | 0.0 | 800M| 407 | - | 623 |1800 | 0 | 0 | 0 | 335k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
656.27/656.57 c 616s| 1600k| 1073k| 0 | 0.0 | 804M| 407 | - | 623 |1443 | 0 | 0 | 0 | 338k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
660.88/661.11 c 620s| 1610k| 1079k| 0 | 0.0 | 809M| 407 | - | 623 |1019 | 0 | 0 | 0 | 340k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
665.57/665.87 c 625s| 1620k| 1086k| 0 | 0.0 | 814M| 407 | - | 623 |1519 | 0 | 0 | 0 | 342k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
670.57/670.81 c 630s| 1630k| 1092k| 0 | 0.0 | 819M| 407 | - | 623 |1728 | 0 | 0 | 0 | 345k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
675.57/675.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
675.57/675.86 c 634s| 1640k| 1098k| 0 | 0.0 | 823M| 407 | - | 623 |1434 | 0 | 0 | 0 | 347k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
679.97/680.26 c 638s| 1650k| 1105k| 0 | 0.0 | 828M| 407 | - | 623 |1062 | 0 | 0 | 0 | 350k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
685.07/685.32 c 643s| 1660k| 1111k| 0 | 0.0 | 832M| 407 | - | 623 |1513 | 0 | 0 | 0 | 352k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
690.16/690.46 c 648s| 1670k| 1118k| 0 | 0.0 | 837M| 407 | - | 623 |1672 | 0 | 0 | 0 | 355k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
695.06/695.31 c 653s| 1680k| 1124k| 0 | 0.0 | 842M| 407 | - | 623 |1217 | 0 | 0 | 0 | 357k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
699.56/699.82 c 657s| 1690k| 1130k| 0 | 0.0 | 846M| 407 | - | 623 |1293 | 0 | 0 | 0 | 360k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
704.86/705.20 c 662s| 1700k| 1136k| 0 | 0.0 | 851M| 407 | - | 623 |1748 | 0 | 0 | 0 | 362k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
709.86/710.17 c 667s| 1710k| 1143k| 0 | 0.0 | 856M| 407 | - | 623 |1462 | 0 | 0 | 0 | 365k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
714.35/714.67 c 671s| 1720k| 1149k| 0 | 0.0 | 860M| 407 | - | 623 |1120 | 0 | 0 | 0 | 367k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
719.55/719.82 c 676s| 1730k| 1155k| 0 | 0.0 | 865M| 407 | - | 623 |1643 | 0 | 0 | 0 | 370k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
724.56/724.87 c 681s| 1740k| 1162k| 0 | 0.0 | 869M| 407 | - | 623 |1704 | 0 | 0 | 0 | 372k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
729.25/729.58 c 685s| 1750k| 1168k| 0 | 0.0 | 874M| 407 | - | 623 |1447 | 0 | 0 | 0 | 375k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
733.55/733.84 c 689s| 1760k| 1175k| 0 | 0.0 | 879M| 407 | - | 623 |1240 | 0 | 0 | 0 | 377k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
739.25/739.50 c 694s| 1770k| 1181k| 0 | 0.0 | 883M| 407 | - | 623 |1910 | 0 | 0 | 0 | 380k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
744.35/744.64 c 699s| 1780k| 1187k| 0 | 0.0 | 888M| 407 | - | 623 |1594 | 0 | 0 | 0 | 382k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
748.75/749.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
748.75/749.08 c 704s| 1790k| 1193k| 0 | 0.0 | 892M| 407 | - | 623 |1263 | 0 | 0 | 0 | 384k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
754.04/754.39 c 709s| 1800k| 1199k| 0 | 0.0 | 897M| 407 | - | 623 |1830 | 0 | 0 | 0 | 387k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
759.14/759.48 c 713s| 1810k| 1206k| 0 | 0.0 | 901M| 407 | - | 623 |1715 | 0 | 0 | 0 | 390k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
763.83/764.17 c 718s| 1820k| 1212k| 0 | 0.0 | 906M| 407 | - | 623 |1412 | 0 | 0 | 0 | 392k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
768.84/769.10 c 723s| 1830k| 1218k| 0 | 0.0 | 910M| 407 | - | 623 |1631 | 0 | 0 | 0 | 395k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
774.33/774.69 c 728s| 1840k| 1224k| 0 | 0.0 | 915M| 407 | - | 623 |1810 | 0 | 0 | 0 | 398k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
779.33/779.68 c 733s| 1850k| 1230k| 0 | 0.0 | 919M| 407 | - | 623 |1485 | 0 | 0 | 0 | 400k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
784.04/784.31 c 737s| 1860k| 1236k| 0 | 0.0 | 923M| 407 | - | 623 |1340 | 0 | 0 | 0 | 403k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
789.83/790.15 c 743s| 1870k| 1242k| 0 | 0.0 | 928M| 407 | - | 623 |1936 | 0 | 0 | 0 | 406k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
794.94/795.27 c 747s| 1880k| 1248k| 0 | 0.0 | 932M| 407 | - | 623 |1425 | 0 | 0 | 0 | 408k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
799.73/800.01 c 752s| 1890k| 1255k| 0 | 0.0 | 937M| 407 | - | 623 |1094 | 0 | 0 | 0 | 411k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
805.63/805.99 c 758s| 1900k| 1260k| 0 | 0.0 | 941M| 407 | - | 623 |2019 | 0 | 0 | 0 | 414k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
811.13/811.47 c 763s| 1910k| 1266k| 0 | 0.0 | 945M| 407 | - | 623 |1639 | 0 | 0 | 0 | 417k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
815.83/816.20 c 767s| 1920k| 1272k| 0 | 0.0 | 949M| 407 | - | 623 |1174 | 0 | 0 | 0 | 419k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
821.62/821.95 c 773s| 1930k| 1278k| 0 | 0.0 | 954M| 407 | - | 623 |2039 | 0 | 0 | 0 | 422k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
827.12/827.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
827.12/827.40 c 778s| 1940k| 1284k| 0 | 0.0 | 958M| 407 | - | 623 |1686 | 0 | 0 | 0 | 425k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
831.82/832.18 c 783s| 1950k| 1290k| 0 | 0.0 | 963M| 407 | - | 623 |1044 | 0 | 0 | 0 | 427k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
838.21/838.58 c 789s| 1960k| 1295k| 0 | 0.0 | 967M| 407 | - | 623 |2056 | 0 | 0 | 0 | 431k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
843.62/843.93 c 794s| 1970k| 1301k| 0 | 0.0 | 971M| 407 | - | 623 |1600 | 0 | 0 | 0 | 433k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
848.82/849.10 c 799s| 1980k| 1307k| 0 | 0.0 | 975M| 407 | - | 623 |1543 | 0 | 0 | 0 | 436k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
854.91/855.28 c 805s| 1990k| 1313k| 0 | 0.0 | 980M| 407 | - | 623 |2020 | 0 | 0 | 0 | 439k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
860.01/860.34 c 809s| 2000k| 1319k| 0 | 0.0 | 984M| 407 | - | 623 |1525 | 0 | 0 | 0 | 442k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
865.01/865.32 c 814s| 2010k| 1325k| 0 | 0.0 | 989M| 407 | - | 623 |1423 | 0 | 0 | 0 | 444k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
870.71/871.04 c 820s| 2020k| 1331k| 0 | 0.0 | 993M| 407 | - | 623 |2009 | 0 | 0 | 0 | 447k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
876.10/876.43 c 825s| 2030k| 1337k| 0 | 0.0 | 997M| 407 | - | 623 |1468 | 0 | 0 | 0 | 450k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
881.50/881.81 c 830s| 2040k| 1343k| 0 | 0.0 |1002M| 407 | - | 623 |1867 | 0 | 0 | 0 | 453k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
886.80/887.14 c 835s| 2050k| 1349k| 0 | 0.0 |1006M| 407 | - | 623 |1747 | 0 | 0 | 0 | 455k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
891.70/892.09 c 840s| 2060k| 1355k| 0 | 0.0 |1011M| 407 | - | 623 |1293 | 0 | 0 | 0 | 458k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
897.39/897.73 c 845s| 2070k| 1361k| 0 | 0.0 |1015M| 407 | - | 623 |1914 | 0 | 0 | 0 | 461k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
902.70/903.06 c 850s| 2080k| 1367k| 0 | 0.0 |1019M| 407 | - | 623 |1536 | 0 | 0 | 0 | 463k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
907.99/908.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
907.99/908.33 c 855s| 2090k| 1373k| 0 | 0.0 |1024M| 407 | - | 623 |1592 | 0 | 0 | 0 | 466k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
913.39/913.71 c 860s| 2100k| 1379k| 0 | 0.0 |1029M| 407 | - | 623 |1764 | 0 | 0 | 0 | 469k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
918.29/918.64 c 865s| 2110k| 1385k| 0 | 0.0 |1033M| 407 | - | 623 |1339 | 0 | 0 | 0 | 471k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
923.89/924.29 c 870s| 2120k| 1391k| 0 | 0.0 |1038M| 407 | - | 623 |1967 | 0 | 0 | 0 | 474k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
929.38/929.75 c 875s| 2130k| 1397k| 0 | 0.0 |1042M| 407 | - | 623 |1638 | 0 | 0 | 0 | 477k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
934.69/935.09 c 880s| 2140k| 1403k| 0 | 0.0 |1046M| 407 | - | 623 |1828 | 0 | 0 | 0 | 480k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
940.09/940.49 c 886s| 2150k| 1409k| 0 | 0.0 |1051M| 407 | - | 623 |1687 | 0 | 0 | 0 | 483k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
945.48/945.86 c 891s| 2160k| 1415k| 0 | 0.0 |1055M| 407 | - | 623 |1629 | 0 | 0 | 0 | 485k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
950.98/951.38 c 896s| 2170k| 1421k| 0 | 0.0 |1059M| 407 | - | 623 |1778 | 0 | 0 | 0 | 488k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
955.98/956.38 c 901s| 2180k| 1427k| 0 | 0.0 |1064M| 407 | - | 623 |1492 | 0 | 0 | 0 | 491k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
961.88/962.26 c 906s| 2190k| 1432k| 0 | 0.0 |1068M| 407 | - | 623 |1957 | 0 | 0 | 0 | 494k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
967.17/967.54 c 911s| 2200k| 1438k| 0 | 0.0 |1073M| 407 | - | 623 |1573 | 0 | 0 | 0 | 496k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
972.87/973.28 c 917s| 2210k| 1444k| 0 | 0.0 |1077M| 407 | - | 623 |2058 | 0 | 0 | 0 | 499k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
978.37/978.73 c 922s| 2220k| 1450k| 0 | 0.0 |1082M| 407 | - | 623 |1770 | 0 | 0 | 0 | 502k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
983.67/984.09 c 927s| 2230k| 1456k| 0 | 0.0 |1086M| 407 | - | 623 |1954 | 0 | 0 | 0 | 505k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
988.96/989.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
988.96/989.37 c 932s| 2240k| 1462k| 0 | 0.0 |1091M| 407 | - | 623 |1882 | 0 | 0 | 0 | 507k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
994.17/994.53 c 937s| 2250k| 1469k| 0 | 0.0 |1096M| 407 | - | 623 |1966 | 0 | 0 | 0 | 510k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
998.87/999.29 c 942s| 2260k| 1475k| 0 | 0.0 |1101M| 407 | - | 623 |1721 | 0 | 0 | 0 | 512k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1004.26/1004.60 c 947s| 2270k| 1481k| 0 | 0.0 |1105M| 407 | - | 623 |1959 | 0 | 0 | 0 | 515k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1009.76/1010.14 c 952s| 2280k| 1487k| 0 | 0.0 |1110M| 407 | - | 623 |2162 | 0 | 0 | 0 | 518k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1015.46/1015.88 c 957s| 2290k| 1493k| 0 | 0.0 |1114M| 407 | - | 623 |1943 | 0 | 0 | 0 | 520k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1021.25/1021.64 c 963s| 2300k| 1499k| 0 | 0.0 |1119M| 407 | - | 623 |2243 | 0 | 0 | 0 | 523k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1026.75/1027.11 c 968s| 2310k| 1505k| 0 | 0.0 |1123M| 407 | - | 623 |2271 | 0 | 0 | 0 | 526k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1032.05/1032.49 c 973s| 2320k| 1511k| 0 | 0.0 |1128M| 407 | - | 623 |1650 | 0 | 0 | 0 | 528k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1036.45/1036.82 c 977s| 2330k| 1518k| 0 | 0.0 |1133M| 407 | - | 623 |1583 | 0 | 0 | 0 | 531k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1041.65/1042.09 c 982s| 2340k| 1524k| 0 | 0.0 |1138M| 407 | - | 623 |2202 | 0 | 0 | 0 | 533k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1046.75/1047.17 c 987s| 2350k| 1531k| 0 | 0.0 |1143M| 407 | - | 623 |1957 | 0 | 0 | 0 | 535k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1052.15/1052.56 c 992s| 2360k| 1537k| 0 | 0.0 |1147M| 407 | - | 623 |2121 | 0 | 0 | 0 | 538k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1057.04/1057.46 c 997s| 2370k| 1543k| 0 | 0.0 |1152M| 407 | - | 623 |2077 | 0 | 0 | 0 | 540k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1062.05/1062.43 c 1002s| 2380k| 1549k| 0 | 0.0 |1157M| 407 | - | 623 |2262 | 0 | 0 | 0 | 543k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1067.14/1067.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1067.14/1067.54 c 1006s| 2390k| 1556k| 0 | 0.0 |1162M| 407 | - | 623 |2252 | 0 | 0 | 0 | 545k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1071.64/1072.09 c 1011s| 2400k| 1562k| 0 | 0.0 |1167M| 407 | - | 623 |1832 | 0 | 0 | 0 | 548k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1076.64/1077.01 c 1015s| 2410k| 1569k| 0 | 0.0 |1172M| 407 | - | 623 |1932 | 0 | 0 | 0 | 550k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1082.04/1082.47 c 1021s| 2420k| 1575k| 0 | 0.0 |1177M| 407 | - | 623 |2139 | 0 | 0 | 0 | 553k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1087.44/1087.89 c 1026s| 2430k| 1581k| 0 | 0.0 |1181M| 407 | - | 623 |2224 | 0 | 0 | 0 | 555k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1092.73/1093.16 c 1031s| 2440k| 1587k| 0 | 0.0 |1186M| 407 | - | 623 |2180 | 0 | 0 | 0 | 558k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1098.23/1098.69 c 1036s| 2450k| 1593k| 0 | 0.0 |1191M| 407 | - | 623 |2298 | 0 | 0 | 0 | 560k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1103.94/1104.31 c 1041s| 2460k| 1599k| 0 | 0.0 |1196M| 407 | - | 623 |2346 | 0 | 0 | 0 | 563k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1109.23/1109.69 c 1047s| 2470k| 1606k| 0 | 0.0 |1201M| 407 | - | 623 |2311 | 0 | 0 | 0 | 565k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1114.63/1115.09 c 1052s| 2480k| 1612k| 0 | 0.0 |1205M| 407 | - | 623 |2279 | 0 | 0 | 0 | 567k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1120.13/1120.51 c 1057s| 2490k| 1618k| 0 | 0.0 |1210M| 407 | - | 623 |2297 | 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1125.72/1126.13 c 1062s| 2500k| 1624k| 0 | 0.0 |1215M| 407 | - | 623 |2330 | 0 | 0 | 0 | 572k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1130.92/1131.37 c 1067s| 2510k| 1631k| 0 | 0.0 |1220M| 407 | - | 623 |2505 | 0 | 0 | 0 | 575k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1136.32/1136.79 c 1072s| 2520k| 1637k| 0 | 0.0 |1224M| 407 | - | 623 |2430 | 0 | 0 | 0 | 577k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1141.52/1141.98 c 1077s| 2530k| 1643k| 0 | 0.0 |1229M| 407 | - | 623 |2684 | 0 | 0 | 0 | 580k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1146.92/1147.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1146.92/1147.37 c 1082s| 2540k| 1649k| 0 | 0.0 |1234M| 407 | - | 623 |2774 | 0 | 0 | 0 | 582k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1152.52/1152.93 c 1088s| 2550k| 1655k| 0 | 0.0 |1238M| 407 | - | 623 |2906 | 0 | 0 | 0 | 585k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1158.02/1158.48 c 1093s| 2560k| 1661k| 0 | 0.0 |1243M| 407 | - | 623 |3039 | 0 | 0 | 0 | 588k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1163.51/1163.93 c 1098s| 2570k| 1666k| 0 | 0.0 |1247M| 407 | - | 623 |3105 | 0 | 0 | 0 | 591k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1169.21/1169.67 c 1104s| 2580k| 1672k| 0 | 0.0 |1251M| 407 | - | 623 |3136 | 0 | 0 | 0 | 594k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1174.71/1175.17 c 1109s| 2590k| 1678k| 0 | 0.0 |1256M| 407 | - | 623 |2848 | 0 | 0 | 0 | 597k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1180.11/1180.55 c 1114s| 2600k| 1684k| 0 | 0.0 |1260M| 407 | - | 623 |2616 | 0 | 0 | 0 | 599k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1185.00/1185.43 c 1119s| 2610k| 1690k| 0 | 0.0 |1265M| 407 | - | 623 |2157 | 0 | 0 | 0 | 602k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1190.30/1190.75 c 1124s| 2620k| 1696k| 0 | 0.0 |1269M| 407 | - | 623 |1951 | 0 | 0 | 0 | 605k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1195.50/1195.90 c 1129s| 2630k| 1702k| 0 | 0.0 |1274M| 407 | - | 623 |2562 | 0 | 0 | 0 | 608k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1200.50/1200.91 c 1133s| 2640k| 1708k| 0 | 0.0 |1278M| 407 | - | 623 |2659 | 0 | 0 | 0 | 610k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1205.59/1206.01 c 1138s| 2650k| 1715k| 0 | 0.0 |1283M| 407 | - | 623 |2583 | 0 | 0 | 0 | 613k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1210.49/1210.96 c 1143s| 2660k| 1721k| 0 | 0.0 |1288M| 407 | - | 623 |2780 | 0 | 0 | 0 | 616k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1215.29/1215.76 c 1147s| 2670k| 1728k| 0 | 0.0 |1293M| 407 | - | 623 |2274 | 0 | 0 | 0 | 618k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1220.29/1220.75 c 1152s| 2680k| 1734k| 0 | 0.0 |1298M| 407 | - | 623 |2870 | 0 | 0 | 0 | 621k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1224.79/1225.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1224.79/1225.29 c 1156s| 2690k| 1741k| 0 | 0.0 |1303M| 407 | - | 623 |2159 | 0 | 0 | 0 | 623k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1229.59/1230.04 c 1161s| 2700k| 1748k| 0 | 0.0 |1308M| 407 | - | 623 |2734 | 0 | 0 | 0 | 625k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1233.98/1234.49 c 1165s| 2710k| 1755k| 0 | 0.0 |1313M| 407 | - | 623 |2223 | 0 | 0 | 0 | 627k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1238.79/1239.26 c 1170s| 2720k| 1761k| 0 | 0.0 |1318M| 407 | - | 623 |2723 | 0 | 0 | 0 | 630k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1243.38/1243.81 c 1174s| 2730k| 1768k| 0 | 0.0 |1323M| 407 | - | 623 |2444 | 0 | 0 | 0 | 632k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1247.99/1248.47 c 1178s| 2740k| 1774k| 0 | 0.0 |1328M| 407 | - | 623 |2614 | 0 | 0 | 0 | 634k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1252.89/1253.30 c 1183s| 2750k| 1781k| 0 | 0.0 |1333M| 407 | - | 623 |2585 | 0 | 0 | 0 | 637k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1257.38/1257.81 c 1187s| 2760k| 1788k| 0 | 0.0 |1338M| 407 | - | 623 |2242 | 0 | 0 | 0 | 639k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1261.78/1262.25 c 1191s| 2770k| 1794k| 0 | 0.0 |1343M| 407 | - | 623 |2513 | 0 | 0 | 0 | 641k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1266.08/1266.56 c 1195s| 2780k| 1801k| 0 | 0.0 |1348M| 407 | - | 623 |2499 | 0 | 0 | 0 | 643k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1271.28/1271.71 c 1200s| 2790k| 1807k| 0 | 0.0 |1353M| 407 | - | 623 |2760 | 0 | 0 | 0 | 646k| 0 | 1.000000e+00 | 5.700000e+01 |5600.00%
1276.28/1276.71 c (node 2799759) switching to memory saving mode (mem: 1296.0M/1620.0M)
1276.87/1277.34 o 17
1276.87/1277.34 c *1206s| 2799k| 1813k| 0 | 0.0 |1358M| 407 | - | 623 |2748 | 0 | 0 | 0 | 648k| 0 | 1.000000e+00 | 1.700000e+01 |1600.00%
1276.97/1277.49 o 9
1276.97/1277.49 c *1206s| 2799k| 1813k| 0 | 0.0 |1358M| 407 | - | 623 |2690 | 0 | 0 | 0 | 648k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1277.17/1277.64 c 1206s| 2800k| 1813k| 0 | 0.0 |1358M| 407 | - | 623 |2756 | 0 | 0 | 0 | 649k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1277.97/1278.49 o 3
1277.97/1278.49 c *1207s| 2800k| 1792k| 0 | 0.0 |1343M| 407 | - | 623 |3116 | 0 | 0 | 0 | 649k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
1290.98/1291.45 c (node 2800495) switching to standard mode (mem: 648.0M/1620.0M)
1305.97/1306.49 c
1305.97/1306.49 c SCIP Status : problem is solved [optimal solution found]
1305.97/1306.49 c Solving Time (sec) : 1232.54
1305.97/1306.49 c Solving Nodes : 2800495
1305.97/1306.49 c Primal Bound : +3.00000000000000e+00 (4 solutions)
1305.97/1306.49 c Dual Bound : +3.00000000000000e+00
1305.97/1306.49 c Gap : 0.00 %
1305.97/1306.49 s OPTIMUM FOUND
1305.97/1306.49 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 x177 -x176 -x175 -x174 -x173 x172 -x126 -x125 -x124 -x123
1305.97/1306.49 v -x122 -x121 -x120 -x119 x118 -x171 -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 x117 x116 -x115 -x114 -x113 -x112 -x111 -x110
1305.97/1306.49 v x109 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x153 -x152
1305.97/1306.49 v -x151 -x150 -x149 -x148 -x147 x146 -x145 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x144 -x143 -x142 x141 x140 -x139 x138
1305.97/1306.49 v -x137 -x136 -x90 x89 x88 -x87 -x86 x85 x84 -x83 x82 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x81 -x80 x79 x78
1305.97/1306.49 v -x77 -x76 -x75 x74 x73 -x72 x71 x70 -x69 -x68 x67 -x66 -x65 x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 x53 -x52 -x51
1305.97/1306.49 v -x50 -x49 -x48 -x47 x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 x28 x27 -x26 -x25
1305.97/1306.49 v -x24 -x23 x22 x21 x20 x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
1305.97/1306.49 c SCIP Status : problem is solved [optimal solution found]
1305.97/1306.49 c Solving Time : 1232.54
1305.97/1306.49 c Original Problem :
1305.97/1306.49 c Problem name : HOME/instance-2663725-1276650915.opb
1305.97/1306.49 c Variables : 756 (756 binary, 0 integer, 0 implicit integer, 0 continuous)
1305.97/1306.49 c Constraints : 582 initial, 582 maximal
1305.97/1306.49 c Presolved Problem :
1305.97/1306.49 c Problem name : t_HOME/instance-2663725-1276650915.opb
1305.97/1306.49 c Variables : 623 (623 binary, 0 integer, 0 implicit integer, 0 continuous)
1305.97/1306.49 c Constraints : 463 initial, 4365 maximal
1305.97/1306.49 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1305.97/1306.49 c trivial : 0.00 0 0 0 0 0 0 0 0
1305.97/1306.49 c dualfix : 0.00 0 0 0 0 0 0 0 0
1305.97/1306.49 c boundshift : 0.00 0 0 0 0 0 0 0 0
1305.97/1306.49 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1305.97/1306.49 c implics : 0.01 0 0 0 0 0 0 0 0
1305.97/1306.49 c probing : 0.03 0 0 0 0 0 0 0 0
1305.97/1306.49 c and : 0.08 14 112 0 0 0 112 0 112
1305.97/1306.49 c linear : 0.00 1 6 0 0 0 0 0 56
1305.97/1306.49 c logicor : 0.00 0 0 0 0 0 0 0 0
1305.97/1306.49 c root node : - 81 - - 81 - - - -
1305.97/1306.49 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1305.97/1306.49 c integral : 0 0 0 0 0 0 0 0 0 0
1305.97/1306.49 c and : 448 0 6658760 0 2446415 73797 13189448 0 0 0
1305.97/1306.49 c linear : 7 0 6584960 0 2446415 505559 4909766 0 0 0
1305.97/1306.49 c logicor : 8+ 0 2662145 0 2446372 11397 573757 0 0 0
1305.97/1306.49 c countsols : 0 0 0 0 2446419 0 0 0 0 0
1305.97/1306.49 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1305.97/1306.49 c integral : 0.00 0.00 0.00 0.00 0.00
1305.97/1306.49 c and : 159.77 0.00 106.43 0.00 53.34
1305.97/1306.49 c linear : 384.59 0.00 382.37 0.00 2.22
1305.97/1306.49 c logicor : 87.06 0.00 80.97 0.00 6.09
1305.97/1306.49 c countsols : 0.94 0.00 0.00 0.00 0.94
1305.97/1306.49 c Propagators : Time Calls Cutoffs DomReds
1305.97/1306.49 c vbounds : 2.70 2 0 0
1305.97/1306.49 c rootredcost : 2.85 0 0 0
1305.97/1306.49 c pseudoobj : 9.15 6658339 0 1716
1305.97/1306.49 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1305.97/1306.49 c propagation : 245.73 590752 590163 8691210 75.8 53064 70.5 -
1305.97/1306.49 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1305.97/1306.49 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1305.97/1306.49 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1305.97/1306.49 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1305.97/1306.49 c applied globally : - - - 617583 29.8 - - -
1305.97/1306.49 c applied locally : - - - 31924 77.8 - - -
1305.97/1306.49 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1305.97/1306.49 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1305.97/1306.49 c redcost : 0.00 0 0 0 0 0
1305.97/1306.49 c impliedbounds : 0.00 0 0 0 0 0
1305.97/1306.49 c intobj : 0.00 0 0 0 0 0
1305.97/1306.49 c cgmip : 0.00 0 0 0 0 0
1305.97/1306.49 c gomory : 0.00 0 0 0 0 0
1305.97/1306.49 c strongcg : 0.00 0 0 0 0 0
1305.97/1306.49 c cmir : 0.00 0 0 0 0 0
1305.97/1306.49 c flowcover : 0.00 0 0 0 0 0
1305.97/1306.49 c clique : 0.00 0 0 0 0 0
1305.97/1306.49 c zerohalf : 0.00 0 0 0 0 0
1305.97/1306.49 c mcf : 0.00 0 0 0 0 0
1305.97/1306.49 c rapidlearning : 0.00 0 0 0 0 0
1305.97/1306.49 c Pricers : Time Calls Vars
1305.97/1306.49 c problem variables: 0.00 0 0
1305.97/1306.49 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1305.97/1306.49 c relpscost : 0.00 0 0 0 0 0 0
1305.97/1306.49 c pscost : 0.00 0 0 0 0 0 0
1305.97/1306.49 c inference : 164.10 2446415 0 0 0 0 4892830
1305.97/1306.49 c mostinf : 0.00 0 0 0 0 0 0
1305.97/1306.49 c leastinf : 0.00 0 0 0 0 0 0
1305.97/1306.49 c fullstrong : 0.00 0 0 0 0 0 0
1305.97/1306.49 c allfullstrong : 0.00 0 0 0 0 0 0
1305.97/1306.49 c random : 0.00 0 0 0 0 0 0
1305.97/1306.49 c Primal Heuristics : Time Calls Found
1305.97/1306.49 c LP solutions : 0.00 - 0
1305.97/1306.49 c pseudo solutions : 0.29 - 4
1305.97/1306.49 c oneopt : 2.13 0 0
1305.97/1306.49 c trivial : 0.00 2 0
1305.97/1306.49 c simplerounding : 0.00 0 0
1305.97/1306.49 c zirounding : 0.00 0 0
1305.97/1306.49 c rounding : 0.00 0 0
1305.97/1306.49 c shifting : 0.00 0 0
1305.97/1306.49 c intshifting : 0.00 0 0
1305.97/1306.49 c twoopt : 0.00 0 0
1305.97/1306.49 c fixandinfer : 0.00 0 0
1305.97/1306.49 c feaspump : 0.00 0 0
1305.97/1306.49 c coefdiving : 0.00 0 0
1305.97/1306.49 c pscostdiving : 0.00 0 0
1305.97/1306.49 c fracdiving : 0.00 0 0
1305.97/1306.49 c veclendiving : 0.00 0 0
1305.97/1306.49 c intdiving : 0.00 0 0
1305.97/1306.49 c actconsdiving : 0.00 0 0
1305.97/1306.49 c objpscostdiving : 0.00 0 0
1305.97/1306.49 c rootsoldiving : 0.00 0 0
1305.97/1306.49 c linesearchdiving : 0.00 0 0
1305.97/1306.49 c guideddiving : 0.00 0 0
1305.97/1306.49 c octane : 0.00 0 0
1305.97/1306.49 c rens : 0.00 0 0
1305.97/1306.49 c rins : 0.00 0 0
1305.97/1306.49 c localbranching : 0.00 0 0
1305.97/1306.49 c mutation : 0.00 0 0
1305.97/1306.49 c crossover : 0.00 0 0
1305.97/1306.49 c dins : 0.00 0 0
1305.97/1306.49 c undercover : 0.00 0 0
1305.97/1306.49 c nlp : 1.28 0 0
1305.97/1306.49 c trysol : 1.22 0 0
1305.97/1306.49 c LP : Time Calls Iterations Iter/call Iter/sec
1305.97/1306.49 c primal LP : 0.00 0 0 0.00 -
1305.97/1306.49 c dual LP : 0.00 0 0 0.00 -
1305.97/1306.49 c lex dual LP : 0.00 0 0 0.00 -
1305.97/1306.49 c barrier LP : 0.00 0 0 0.00 -
1305.97/1306.49 c diving/probing LP: 0.00 0 0 0.00 -
1305.97/1306.49 c strong branching : 0.00 0 0 0.00 -
1305.97/1306.49 c (at root node) : - 0 0 0.00 -
1305.97/1306.49 c conflict analysis: 0.00 0 0 0.00 -
1305.97/1306.49 c B&B Tree :
1305.97/1306.49 c number of runs : 1
1305.97/1306.49 c nodes : 2800495
1305.97/1306.49 c nodes (total) : 2800495
1305.97/1306.49 c nodes left : 0
1305.97/1306.49 c max depth : 407
1305.97/1306.49 c max depth (total): 407
1305.97/1306.49 c backtracks : 248847 (8.9%)
1305.97/1306.49 c delayed cutoffs : 2070791
1305.97/1306.49 c repropagations : 692843 (2407834 domain reductions, 236677 cutoffs)
1305.97/1306.49 c avg switch length: 6.99
1305.97/1306.49 c switching time : 299.94
1305.97/1306.49 c Solution :
1305.97/1306.49 c Solutions found : 4 (4 improvements)
1305.97/1306.49 c First Solution : +5.70000000000000e+01 (in run 1, after 592265 nodes, 237.28 seconds, depth 352, found by <relaxation>)
1305.97/1306.49 c Primal Bound : +3.00000000000000e+00 (in run 1, after 2800494 nodes, 1206.64 seconds, depth 373, found by <relaxation>)
1305.97/1306.49 c Dual Bound : +3.00000000000000e+00
1305.97/1306.49 c Gap : 0.00 %
1305.97/1306.49 c Root Dual Bound : +1.00000000000000e+00
1305.97/1306.49 c Root Iterations : 0
1306.06/1306.59 c Time complete: 1306.15.
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663725-1276650915/watcher-2663725-1276650915 -o /tmp/evaluation-result-2663725-1276650915/solver-2663725-1276650915 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663725-1276650915.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.44 1.11 1.03 3/106 6874 /proc/meminfo: memFree=1793884/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=6584 CPUtime=0 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 965 0 0 0 0 0 0 0 25 0 1 0 40692931 6742016 888 1992294400 4194304 7136930 140736231929584 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6874/statm: 1646 897 254 719 0 925 0 [startup+0.0378629 s] /proc/loadavg: 1.44 1.11 1.03 3/106 6874 /proc/meminfo: memFree=1793884/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=12064 CPUtime=0.03 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 2908 0 0 0 2 1 0 0 25 0 1 0 40692931 12353536 2221 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 3016 2221 328 719 0 2295 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12064 [startup+0.101861 s] /proc/loadavg: 1.44 1.11 1.03 3/106 6874 /proc/meminfo: memFree=1793884/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=12064 CPUtime=0.09 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 2908 0 0 0 5 4 0 0 25 0 1 0 40692931 12353536 2221 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 3016 2221 328 719 0 2295 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12064 [startup+0.301894 s] /proc/loadavg: 1.44 1.11 1.03 3/106 6874 /proc/meminfo: memFree=1793884/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=13884 CPUtime=0.29 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 7544 0 0 0 20 9 0 0 25 0 1 0 40692931 14217216 2745 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 3471 2745 389 719 0 2750 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13884 [startup+0.701962 s] /proc/loadavg: 1.44 1.11 1.03 3/106 6874 /proc/meminfo: memFree=1793884/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=14980 CPUtime=0.69 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 7839 0 0 0 56 13 0 0 25 0 1 0 40692931 15339520 3040 1992294400 4194304 7136930 140736231929584 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 3745 3040 394 719 0 3024 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14980 [startup+1.5011 s] /proc/loadavg: 1.41 1.10 1.03 2/107 6875 /proc/meminfo: memFree=1781848/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=17944 CPUtime=1.49 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 8578 0 0 0 129 20 0 0 25 0 1 0 40692931 18374656 3779 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 4486 3779 394 719 0 3765 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17944 [startup+3.10137 s] /proc/loadavg: 1.41 1.10 1.03 2/107 6875 /proc/meminfo: memFree=1777880/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=21820 CPUtime=3.09 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 9548 0 0 0 279 30 0 0 25 0 1 0 40692931 22343680 4749 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 5455 4749 394 719 0 4734 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21820 [startup+6.30092 s] /proc/loadavg: 1.37 1.10 1.03 2/107 6875 /proc/meminfo: memFree=1769820/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=31192 CPUtime=6.29 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 11955 0 0 0 573 56 0 0 25 0 1 0 40692931 31940608 7156 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 7798 7156 394 719 0 7077 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31192 [startup+12.701 s] /proc/loadavg: 1.34 1.10 1.03 2/107 6875 /proc/meminfo: memFree=1758288/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=40372 CPUtime=12.69 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 14262 0 0 0 1168 101 0 0 25 0 1 0 40692931 41340928 9463 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 10093 9463 394 719 0 9372 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40372 [startup+25.5012 s] /proc/loadavg: 1.29 1.10 1.03 2/107 6875 /proc/meminfo: memFree=1734728/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=63100 CPUtime=25.49 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 20044 0 0 0 2365 184 0 0 25 0 1 0 40692931 64614400 15245 1992294400 4194304 7136930 140736231929584 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 15775 15245 394 719 0 15054 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 63100 [startup+51.1016 s] /proc/loadavg: 1.17 1.09 1.03 2/107 6875 /proc/meminfo: memFree=1688228/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=110648 CPUtime=51.07 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 31638 0 0 0 4733 374 0 0 25 0 1 0 40692931 113303552 26839 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 27662 26839 394 719 0 26941 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 110648 [startup+102.308 s] /proc/loadavg: 1.07 1.07 1.02 2/107 6877 /proc/meminfo: memFree=1614448/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=186852 CPUtime=102.26 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 50040 0 0 0 9526 700 0 0 25 0 1 0 40692931 191336448 45241 1992294400 4194304 7136930 140736231929584 18446744073709551615 4976544 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 46713 45241 394 719 0 45992 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 186852 [startup+162.302 s] /proc/loadavg: 1.02 1.05 1.01 2/107 6879 /proc/meminfo: memFree=1544264/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=256568 CPUtime=162.24 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 67806 0 0 0 15179 1045 0 0 25 0 1 0 40692931 262725632 63007 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 64142 63007 394 719 0 63421 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 256568 [startup+222.301 s] /proc/loadavg: 1.01 1.04 1.01 2/107 6881 /proc/meminfo: memFree=1483008/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=314876 CPUtime=222.22 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 82619 0 0 0 20874 1348 0 0 25 0 1 0 40692931 322433024 77820 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 78719 77820 394 719 0 77998 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 314876 [startup+282.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 6881 /proc/meminfo: memFree=1426100/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=370884 CPUtime=282.2 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 96887 0 0 0 26559 1661 0 0 25 0 1 0 40692931 379785216 92088 1992294400 4194304 7136930 140736231929584 18446744073709551615 5921682 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 92721 92088 394 719 0 92000 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 370884 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 6883 /proc/meminfo: memFree=1331488/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=470984 CPUtime=342.17 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 120333 0 0 0 32125 2092 0 0 25 0 1 0 40692931 482287616 115534 1992294400 4194304 7136930 140736231929584 18446744073709551615 5908957 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 117746 115534 394 719 0 117025 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 470984 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 6885 /proc/meminfo: memFree=1236140/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=565136 CPUtime=402.15 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 144408 0 0 0 37688 2527 0 0 25 0 1 0 40692931 578699264 139609 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 141284 139609 394 719 0 140563 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 565136 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 6887 /proc/meminfo: memFree=1152936/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=645268 CPUtime=462.14 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 164790 0 0 0 43310 2904 0 0 25 0 1 0 40692931 660754432 159991 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 161317 159991 394 719 0 160596 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 645268 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 6889 /proc/meminfo: memFree=1085232/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=711800 CPUtime=522.12 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 181834 0 0 0 48948 3264 0 0 25 0 1 0 40692931 728883200 177035 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 177950 177035 394 719 0 177229 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 711800 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6889 /proc/meminfo: memFree=1013932/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=781156 CPUtime=582.1 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 199475 0 0 0 54588 3622 0 0 25 0 1 0 40692931 799903744 194676 1992294400 4194304 7136930 140736231929584 18446744073709551615 4740369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 195289 194676 394 719 0 194568 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 781156 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6891 /proc/meminfo: memFree=952924/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=856856 CPUtime=642.09 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 214647 0 0 0 60254 3955 0 0 25 0 1 0 40692931 877420544 209848 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 214214 209848 394 719 0 213493 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 856856 [startup+702.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6893 /proc/meminfo: memFree=896132/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=913300 CPUtime=702.05 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 229047 0 0 0 65932 4273 0 0 25 0 1 0 40692931 935219200 224248 1992294400 4194304 7136930 140736231929584 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 228325 224248 394 719 0 227604 0 Current children cumulated CPU time (s) 702.05 Current children cumulated vsize (KiB) 913300 [startup+762.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6895 /proc/meminfo: memFree=836736/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=970080 CPUtime=762.05 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 243571 0 0 0 71612 4593 0 0 25 0 1 0 40692931 993361920 238772 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 242520 238772 394 719 0 241799 0 Current children cumulated CPU time (s) 762.05 Current children cumulated vsize (KiB) 970080 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6897 /proc/meminfo: memFree=782672/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=1023440 CPUtime=822.02 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 257192 0 0 0 77312 4890 0 0 25 0 1 0 40692931 1048002560 252393 1992294400 4194304 7136930 140736231929584 18446744073709551615 4240415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 255860 252393 394 719 0 255139 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 1023440 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6897 /proc/meminfo: memFree=735428/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=1069132 CPUtime=882 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 268835 0 0 0 83021 5179 0 0 25 0 1 0 40692931 1094791168 264036 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 267283 264036 394 719 0 266562 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 1069132 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6899 /proc/meminfo: memFree=684092/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=1121784 CPUtime=941.98 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 282241 0 0 0 88733 5465 0 0 25 0 1 0 40692931 1148706816 277442 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 280446 277442 394 719 0 279725 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 1121784 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6901 /proc/meminfo: memFree=629284/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=1172840 CPUtime=1001.96 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 295288 0 0 0 94447 5749 0 0 25 0 1 0 40692931 1200988160 290489 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 293210 290489 394 719 0 292489 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 1172840 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6903 /proc/meminfo: memFree=577576/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=1223784 CPUtime=1061.94 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 308313 0 0 0 100147 6047 0 0 25 0 1 0 40692931 1253154816 303514 1992294400 4194304 7136930 140736231929584 18446744073709551615 5922100 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 305946 303514 394 719 0 305225 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 1223784 [startup+1122.3 s] /proc/loadavg: 1.07 1.02 1.00 2/107 6905 /proc/meminfo: memFree=517684/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=1282936 CPUtime=1121.92 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 323332 0 0 0 105855 6337 0 0 25 0 1 0 40692931 1313726464 318533 1992294400 4194304 7136930 140736231929584 18446744073709551615 6123187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 320734 318533 394 719 0 320013 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 1282936 [startup+1182.3 s] /proc/loadavg: 1.09 1.03 1.00 2/107 6905 /proc/meminfo: memFree=470936/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=1327364 CPUtime=1181.9 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 334711 0 0 0 111576 6614 0 0 25 0 1 0 40692931 1359220736 329912 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 331841 329912 394 719 0 331120 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 1327364 [startup+1242.3 s] /proc/loadavg: 1.09 1.04 1.00 2/107 6907 /proc/meminfo: memFree=410300/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=1387928 CPUtime=1241.88 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 350181 0 0 0 117255 6933 0 0 25 0 1 0 40692931 1421238272 345382 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 346982 345382 394 719 0 346261 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1387928 [startup+1302.3 s] /proc/loadavg: 1.09 1.04 1.00 2/107 6909 /proc/meminfo: memFree=482716/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=1309948 CPUtime=1301.87 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 371369 0 0 0 122864 7323 0 0 25 0 1 0 40692931 1341386752 326644 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 327487 326644 394 719 0 326766 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1309948 Solver just ended. Dumping a history of the last processes samples [startup+1303.9 s] /proc/loadavg: 1.09 1.04 1.00 2/107 6909 /proc/meminfo: memFree=498216/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=1278716 CPUtime=1303.46 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 371369 0 0 0 123015 7331 0 0 25 0 1 0 40692931 1309405184 318836 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 319679 318836 394 719 0 318958 0 Current children cumulated CPU time (s) 1303.46 Current children cumulated vsize (KiB) 1278716 [startup+1305.5 s] /proc/loadavg: 1.09 1.04 1.00 2/107 6909 /proc/meminfo: memFree=516940/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=1237836 CPUtime=1305.06 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 371369 0 0 0 123165 7341 0 0 25 0 1 0 40692931 1267544064 308616 1992294400 4194304 7136930 140736231929584 18446744073709551615 6165759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 309459 308616 394 719 0 308738 0 Current children cumulated CPU time (s) 1305.06 Current children cumulated vsize (KiB) 1237836 [startup+1306.3 s] /proc/loadavg: 1.08 1.04 1.00 2/107 6909 /proc/meminfo: memFree=577452/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=1117436 CPUtime=1305.87 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 371369 0 0 0 123240 7347 0 0 25 0 1 0 40692931 1144254464 278517 1992294400 4194304 7136930 140736231929584 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6874/statm: 279359 278517 394 719 0 278638 0 Current children cumulated CPU time (s) 1305.87 Current children cumulated vsize (KiB) 1117436 [startup+1306.5 s] /proc/loadavg: 1.08 1.04 1.00 2/107 6909 /proc/meminfo: memFree=577452/2059040 swapFree=4136120/4192956 [pid=6874] ppid=6872 vsize=680180 CPUtime=1306.06 /proc/6874/stat : 6874 (pbscip.linux.x8) R 6872 6874 6124 0 -1 4202496 371375 0 0 0 123254 7352 0 0 18 0 1 0 40692931 696504320 169209 1992294400 4194304 7136930 140736231929584 18446744073709551615 4997838 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6874/statm: 170045 169193 400 719 0 169324 0 Current children cumulated CPU time (s) 1306.06 Current children cumulated vsize (KiB) 680180 Child status: 0 Real time (s): 1306.59 CPU time (s): 1306.16 CPU user time (s): 1232.56 CPU system time (s): 73.5998 CPU usage (%): 99.9673 Max. virtual memory (cumulated for all children) (KiB): 1460960 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1232.56 system time used= 73.5998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 371381 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= 14603 runsolver used 2.17667 second user time and 6.16306 second system time The end
Begin job on node014 at 2010-06-16 03:15:15 IDJOB=2663725 IDBENCH=48098 IDSOLVER=1167 FILE ID=node014/2663725-1276650915 PBS_JOBID= 11172408 Free space on /tmp= 62572 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=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-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-2663725-1276650915/watcher-2663725-1276650915 -o /tmp/evaluation-result-2663725-1276650915/solver-2663725-1276650915 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663725-1276650915.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 901fa4df755866cb23bdcc769669d554 RANDOM SEED=2021152754 node014.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.258 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.51 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.258 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1794288 kB Buffers: 74300 kB Cached: 103072 kB SwapCached: 10712 kB Active: 89968 kB Inactive: 101816 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1794288 kB SwapTotal: 4192956 kB SwapFree: 4136120 kB Dirty: 3464 kB Writeback: 0 kB AnonPages: 12688 kB Mapped: 9424 kB Slab: 51116 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182508 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= 62568 MiB End job on node014 at 2010-06-16 03:37:02