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 | SAT (TO) | 53 | 1800.24 | 1800.8 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir10_area_partials.opb |
| MD5SUM | 8e58fdc516472c37b974ebbf77c2a4fa |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 52 |
| Best CPU time to get the best result obtained on this benchmark | 2.46662 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 52 |
| Optimality of the best value was proved | YES |
| Number of variables | 2091 |
| Total number of constraints | 7288 |
| Number of constraints which are clauses | 7288 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 124 |
| Number of terms in the objective function | 486 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 486 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 486 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2663974-1276642924.opb>
0.09/0.14 c original problem has 2091 variables (2091 bin, 0 int, 0 impl, 0 cont) and 7288 constraints
0.09/0.14 c problem read
0.09/0.14 c presolving settings loaded
0.09/0.14 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.09/0.17 o 486
0.09/0.17 c feasible solution found by trivial heuristic, objective value 4.860000e+02
0.09/0.17 c presolving:
0.19/0.26 c (round 1) 250 del vars, 454 del conss, 46 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 77764 impls, 0 clqs
0.29/0.35 c (round 2) 250 del vars, 454 del conss, 46 chg bounds, 0 chg sides, 0 chg coeffs, 6793 upgd conss, 77764 impls, 0 clqs
0.29/0.37 c (round 3) 250 del vars, 454 del conss, 46 chg bounds, 0 chg sides, 0 chg coeffs, 6834 upgd conss, 77764 impls, 0 clqs
0.59/0.67 c (0.5s) probing: 185/1841 (10.0%) - 0 fixings, 8 aggregations, 232 implications, 0 bound changes
0.59/0.67 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.59/0.67 c (round 4) 258 del vars, 454 del conss, 46 chg bounds, 0 chg sides, 0 chg coeffs, 6834 upgd conss, 77996 impls, 0 clqs
0.69/0.70 c (0.5s) probing: 195/1841 (10.6%) - 0 fixings, 8 aggregations, 232 implications, 0 bound changes
0.69/0.70 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.69/0.70 c presolving (5 rounds):
0.69/0.70 c 258 deleted vars, 454 deleted constraints, 46 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.69/0.70 c 77996 implications, 0 cliques
0.69/0.70 c presolved problem has 1833 variables (1833 bin, 0 int, 0 impl, 0 cont) and 6834 constraints
0.69/0.70 c 6834 constraints of type <logicor>
0.69/0.70 c transformed objective value is always integral (scale: 1)
0.69/0.70 c Presolving Time: 0.50
0.69/0.70 c - non default parameters ----------------------------------------------------------------------
0.69/0.70 c # SCIP version 1.2.1.2
0.69/0.70 c
0.69/0.70 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.69/0.70 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.70 c conflict/interconss = 0
0.69/0.70 c
0.69/0.70 c # should binary conflicts be preferred?
0.69/0.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.70 c conflict/preferbinary = TRUE
0.69/0.70 c
0.69/0.70 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.69/0.70 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.70 c constraints/agelimit = 1
0.69/0.70 c
0.69/0.70 c # should enforcement of pseudo solution be disabled?
0.69/0.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.70 c constraints/disableenfops = TRUE
0.69/0.70 c
0.69/0.70 c # frequency for displaying node information lines
0.69/0.70 c # [type: int, range: [-1,2147483647], default: 100]
0.69/0.70 c display/freq = 10000
0.69/0.70 c
0.69/0.70 c # maximal time in seconds to run
0.69/0.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.70 c limits/time = 1799.87
0.69/0.70 c
0.69/0.70 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.70 c limits/memory = 1620
0.69/0.70 c
0.69/0.70 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.69/0.70 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.70 c lp/solvefreq = -1
0.69/0.70 c
0.69/0.70 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.69/0.70 c # [type: char, range: {lafpsqd}, default: l]
0.69/0.70 c lp/pricing = a
0.69/0.70 c
0.69/0.70 c # should presolving try to simplify inequalities
0.69/0.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.70 c constraints/linear/simplifyinequalities = TRUE
0.69/0.70 c
0.69/0.70 c # should presolving try to simplify knapsacks
0.69/0.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.70 c constraints/knapsack/simplifyinequalities = TRUE
0.69/0.70 c
0.69/0.70 c # priority of node selection rule <dfs> in standard mode
0.69/0.70 c # [type: int, range: [-536870912,536870911], default: 0]
0.69/0.70 c nodeselection/dfs/stdpriority = 1000000
0.69/0.70 c
0.69/0.70 c -----------------------------------------------------------------------------------------------
0.69/0.70 c start solving
0.69/0.70 c
0.69/0.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.71 c t 0.5s| 1 | 2 | 0 | - | 11M| 0 | - |1833 |6834 | 0 | 0 | 0 | 0 | 0 | 4.600000e+01 | 4.860000e+02 | 956.52%
1.00/1.04 o 55
1.00/1.04 c * 0.8s| 1158 | 1121 | 0 | 0.0 | 12M|1156 | - |1833 |6835 | 0 | 0 | 0 | 1 | 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
9.29/9.31 c 8.8s| 10000 | 1036 | 0 | 0.0 | 12M|1156 | - |1833 |6835 | 0 | 0 | 0 |5268 | 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
18.69/18.74 c 17.9s| 20000 | 1036 | 0 | 0.0 | 12M|1156 | - |1833 |7371 | 0 | 0 | 0 | 11k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
28.38/28.43 c 27.2s| 30000 | 1029 | 0 | 0.0 | 12M|1156 | - |1833 |7956 | 0 | 0 | 0 | 18k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
39.38/39.40 c 37.8s| 40000 | 1033 | 0 | 0.0 | 13M|1156 | - |1833 |9114 | 0 | 0 | 0 | 25k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
48.78/48.85 c 46.9s| 50000 | 1024 | 0 | 0.0 | 13M|1156 | - |1833 |9463 | 0 | 0 | 0 | 32k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
59.77/59.89 c 57.5s| 60000 | 1024 | 0 | 0.0 | 13M|1156 | - |1833 |9683 | 0 | 0 | 0 | 38k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
70.87/70.94 c 68.2s| 70000 | 1019 | 0 | 0.0 | 13M|1156 | - |1833 | 10k| 0 | 0 | 0 | 46k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
79.76/79.81 c 76.7s| 80000 | 1027 | 0 | 0.0 | 13M|1156 | - |1833 | 10k| 0 | 0 | 0 | 53k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
89.36/89.47 c 85.9s| 90000 | 1026 | 0 | 0.0 | 14M|1156 | - |1833 | 11k| 0 | 0 | 0 | 60k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
97.66/97.74 c 93.8s|100000 | 1036 | 0 | 0.0 | 14M|1156 | - |1833 | 11k| 0 | 0 | 0 | 66k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
105.57/105.67 c 101s|110000 | 1029 | 0 | 0.0 | 14M|1156 | - |1833 | 10k| 0 | 0 | 0 | 73k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
114.37/114.41 c 110s|120000 | 1017 | 0 | 0.0 | 14M|1156 | - |1833 | 10k| 0 | 0 | 0 | 79k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
121.66/121.75 c 117s|130000 | 1033 | 0 | 0.0 | 14M|1156 | - |1833 | 11k| 0 | 0 | 0 | 87k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
128.75/128.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.75/128.86 c 124s|140000 | 1032 | 0 | 0.0 | 14M|1156 | - |1833 | 12k| 0 | 0 | 0 | 94k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
136.05/136.15 c 130s|150000 | 1028 | 0 | 0.0 | 14M|1156 | - |1833 | 13k| 0 | 0 | 0 | 101k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
143.55/143.62 c 138s|160000 | 1018 | 0 | 0.0 | 15M|1156 | - |1833 | 14k| 0 | 0 | 0 | 108k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
151.84/151.92 c 146s|170000 | 1039 | 0 | 0.0 | 15M|1156 | - |1833 | 15k| 0 | 0 | 0 | 115k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
162.05/162.14 c 155s|180000 | 1032 | 0 | 0.0 | 16M|1156 | - |1833 | 16k| 0 | 0 | 0 | 122k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
171.24/171.37 c 164s|190000 | 1035 | 0 | 0.0 | 16M|1156 | - |1833 | 16k| 0 | 0 | 0 | 129k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
180.53/180.63 c 173s|200000 | 1020 | 0 | 0.0 | 16M|1156 | - |1833 | 17k| 0 | 0 | 0 | 136k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
191.03/191.18 c 183s|210000 | 1036 | 0 | 0.0 | 17M|1156 | - |1833 | 18k| 0 | 0 | 0 | 143k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
200.63/200.79 c 192s|220000 | 1029 | 0 | 0.0 | 17M|1156 | - |1833 | 19k| 0 | 0 | 0 | 150k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
210.53/210.69 c 202s|230000 | 1019 | 0 | 0.0 | 18M|1156 | - |1833 | 21k| 0 | 0 | 0 | 158k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
220.03/220.14 c 211s|240000 | 1015 | 0 | 0.0 | 18M|1156 | - |1833 | 21k| 0 | 0 | 0 | 164k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
230.02/230.14 c 221s|250000 | 1012 | 0 | 0.0 | 18M|1156 | - |1833 | 22k| 0 | 0 | 0 | 171k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
239.52/239.65 c 230s|260000 | 1021 | 0 | 0.0 | 18M|1156 | - |1833 | 22k| 0 | 0 | 0 | 178k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
248.81/248.90 c 239s|270000 | 1011 | 0 | 0.0 | 19M|1156 | - |1833 | 23k| 0 | 0 | 0 | 185k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
258.51/258.60 c 248s|280000 | 1011 | 0 | 0.0 | 19M|1156 | - |1833 | 23k| 0 | 0 | 0 | 192k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
268.41/268.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.41/268.58 c 258s|290000 | 1022 | 0 | 0.0 | 19M|1156 | - |1833 | 24k| 0 | 0 | 0 | 199k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
278.11/278.21 c 267s|300000 | 1014 | 0 | 0.0 | 19M|1156 | - |1833 | 24k| 0 | 0 | 0 | 205k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
288.70/288.81 c 277s|310000 | 1029 | 0 | 0.0 | 19M|1156 | - |1833 | 24k| 0 | 0 | 0 | 211k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
299.20/299.38 c 287s|320000 | 1010 | 0 | 0.0 | 19M|1156 | - |1833 | 24k| 0 | 0 | 0 | 218k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
308.90/309.04 c 296s|330000 | 1009 | 0 | 0.0 | 19M|1156 | - |1833 | 24k| 0 | 0 | 0 | 225k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
317.99/318.13 c 305s|340000 | 1023 | 0 | 0.0 | 20M|1156 | - |1833 | 26k| 0 | 0 | 0 | 234k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
327.88/328.04 c 314s|350000 | 1017 | 0 | 0.0 | 20M|1156 | - |1833 | 27k| 0 | 0 | 0 | 242k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
337.69/337.89 c 324s|360000 | 1009 | 0 | 0.0 | 20M|1156 | - |1833 | 27k| 0 | 0 | 0 | 250k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
348.88/349.02 c 335s|370000 | 1006 | 0 | 0.0 | 21M|1156 | - |1833 | 29k| 0 | 0 | 0 | 258k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
358.98/359.17 c 344s|380000 | 1016 | 0 | 0.0 | 21M|1156 | - |1833 | 29k| 0 | 0 | 0 | 267k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
368.98/369.14 c 354s|390000 | 1015 | 0 | 0.0 | 21M|1156 | - |1833 | 30k| 0 | 0 | 0 | 274k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
379.57/379.72 c 364s|400000 | 1006 | 0 | 0.0 | 22M|1156 | - |1833 | 31k| 0 | 0 | 0 | 282k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
389.77/389.96 c 374s|410000 | 1011 | 0 | 0.0 | 22M|1156 | - |1833 | 32k| 0 | 0 | 0 | 289k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
400.47/400.69 c 384s|420000 | 1007 | 0 | 0.0 | 22M|1156 | - |1833 | 32k| 0 | 0 | 0 | 297k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
410.76/410.99 c 394s|430000 | 1011 | 0 | 0.0 | 22M|1156 | - |1833 | 33k| 0 | 0 | 0 | 305k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
421.66/421.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
421.66/421.80 c 405s|440000 | 1033 | 0 | 0.0 | 24M|1156 | - |1833 | 36k| 0 | 0 | 0 | 315k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
432.36/432.56 c 415s|450000 | 1032 | 0 | 0.0 | 24M|1156 | - |1833 | 36k| 0 | 0 | 0 | 321k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
443.35/443.54 c 426s|460000 | 1030 | 0 | 0.0 | 23M|1156 | - |1833 | 34k| 0 | 0 | 0 | 328k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
453.85/454.01 c 436s|470000 | 1027 | 0 | 0.0 | 23M|1156 | - |1833 | 34k| 0 | 0 | 0 | 336k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
464.14/464.30 c 446s|480000 | 1007 | 0 | 0.0 | 23M|1156 | - |1833 | 34k| 0 | 0 | 0 | 343k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
474.74/474.97 c 456s|490000 | 1006 | 0 | 0.0 | 23M|1156 | - |1833 | 34k| 0 | 0 | 0 | 351k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
487.15/487.35 c 468s|500000 | 1021 | 0 | 0.0 | 23M|1156 | - |1833 | 34k| 0 | 0 | 0 | 359k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
496.04/496.29 c 476s|510000 | 1016 | 0 | 0.0 | 23M|1156 | - |1833 | 34k| 0 | 0 | 0 | 365k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
506.04/506.23 c 486s|520000 | 1015 | 0 | 0.0 | 23M|1156 | - |1833 | 34k| 0 | 0 | 0 | 372k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
515.43/515.69 c 495s|530000 | 1013 | 0 | 0.0 | 23M|1156 | - |1833 | 34k| 0 | 0 | 0 | 378k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
525.73/525.99 c 505s|540000 | 1022 | 0 | 0.0 | 23M|1156 | - |1833 | 34k| 0 | 0 | 0 | 385k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
535.72/535.95 c 514s|550000 | 1015 | 0 | 0.0 | 23M|1156 | - |1833 | 34k| 0 | 0 | 0 | 391k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
544.12/544.35 c 522s|560000 | 1032 | 0 | 0.0 | 23M|1156 | - |1833 | 34k| 0 | 0 | 0 | 397k| 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
545.02/545.23 o 54
545.02/545.23 c * 523s|560992 | 1032 | 0 | 0.0 | 23M|1156 | - |1833 | 34k| 0 | 0 | 0 | 397k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
554.12/554.37 c 532s|570000 | 1000 | 0 | 0.0 | 23M|1156 | - |1833 | 34k| 0 | 0 | 0 | 404k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
564.71/564.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
564.71/564.98 c 542s|580000 | 1021 | 0 | 0.0 | 23M|1156 | - |1833 | 35k| 0 | 0 | 0 | 411k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
573.81/574.08 c 551s|590000 | 1009 | 0 | 0.0 | 23M|1156 | - |1833 | 35k| 0 | 0 | 0 | 417k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
583.82/584.06 c 561s|600000 | 1004 | 0 | 0.0 | 24M|1156 | - |1833 | 36k| 0 | 0 | 0 | 424k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
594.01/594.22 c 570s|610000 | 1006 | 0 | 0.0 | 24M|1156 | - |1833 | 37k| 0 | 0 | 0 | 431k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
604.50/604.74 c 581s|620000 | 1007 | 0 | 0.0 | 24M|1156 | - |1833 | 38k| 0 | 0 | 0 | 439k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
614.50/614.73 c 590s|630000 | 1016 | 0 | 0.0 | 25M|1156 | - |1833 | 39k| 0 | 0 | 0 | 446k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
623.20/623.42 c 598s|640000 | 1022 | 0 | 0.0 | 25M|1156 | - |1833 | 40k| 0 | 0 | 0 | 453k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
631.00/631.30 c 606s|650000 | 1004 | 0 | 0.0 | 25M|1156 | - |1833 | 40k| 0 | 0 | 0 | 459k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
639.70/640.00 c 614s|660000 | 1006 | 0 | 0.0 | 25M|1156 | - |1833 | 41k| 0 | 0 | 0 | 465k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
649.29/649.54 c 624s|670000 | 1020 | 0 | 0.0 | 25M|1156 | - |1833 | 41k| 0 | 0 | 0 | 471k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
659.69/659.99 c 634s|680000 | 1018 | 0 | 0.0 | 25M|1156 | - |1833 | 41k| 0 | 0 | 0 | 478k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
669.28/669.58 c 643s|690000 | 1008 | 0 | 0.0 | 26M|1156 | - |1833 | 42k| 0 | 0 | 0 | 485k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
679.18/679.46 c 652s|700000 | 1017 | 0 | 0.0 | 26M|1156 | - |1833 | 44k| 0 | 0 | 0 | 493k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
690.37/690.62 c 663s|710000 | 1022 | 0 | 0.0 | 26M|1156 | - |1833 | 44k| 0 | 0 | 0 | 500k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
699.77/700.03 c 672s|720000 | 1012 | 0 | 0.0 | 27M|1156 | - |1833 | 45k| 0 | 0 | 0 | 507k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
708.87/709.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
708.87/709.16 c 681s|730000 | 995 | 0 | 0.0 | 27M|1156 | - |1833 | 45k| 0 | 0 | 0 | 513k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
718.08/718.34 c 690s|740000 | 1015 | 0 | 0.0 | 27M|1156 | - |1833 | 46k| 0 | 0 | 0 | 520k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
726.47/726.77 c 698s|750000 | 989 | 0 | 0.0 | 27M|1156 | - |1833 | 47k| 0 | 0 | 0 | 526k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
737.16/737.48 c 708s|760000 | 997 | 0 | 0.0 | 27M|1156 | - |1833 | 47k| 0 | 0 | 0 | 533k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
746.96/747.24 c 717s|770000 | 1013 | 0 | 0.0 | 28M|1156 | - |1833 | 48k| 0 | 0 | 0 | 539k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
753.96/754.20 c 724s|780000 | 1004 | 0 | 0.0 | 28M|1156 | - |1833 | 48k| 0 | 0 | 0 | 544k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
762.95/763.25 c 733s|790000 | 993 | 0 | 0.0 | 28M|1156 | - |1833 | 48k| 0 | 0 | 0 | 551k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
773.45/773.73 c 743s|800000 | 1002 | 0 | 0.0 | 28M|1156 | - |1833 | 50k| 0 | 0 | 0 | 559k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
782.66/782.98 c 752s|810000 | 1002 | 0 | 0.0 | 29M|1156 | - |1833 | 50k| 0 | 0 | 0 | 566k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
792.05/792.30 c 761s|820000 | 991 | 0 | 0.0 | 29M|1156 | - |1833 | 51k| 0 | 0 | 0 | 572k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
800.94/801.24 c 769s|830000 | 987 | 0 | 0.0 | 29M|1156 | - |1833 | 51k| 0 | 0 | 0 | 579k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
810.04/810.36 c 778s|840000 | 992 | 0 | 0.0 | 29M|1156 | - |1833 | 52k| 0 | 0 | 0 | 586k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
819.54/819.85 c 787s|850000 | 1000 | 0 | 0.0 | 29M|1156 | - |1833 | 52k| 0 | 0 | 0 | 592k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
830.24/830.51 c 797s|860000 | 985 | 0 | 0.0 | 29M|1156 | - |1833 | 53k| 0 | 0 | 0 | 599k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
838.63/838.93 c 805s|870000 | 983 | 0 | 0.0 | 29M|1156 | - |1833 | 53k| 0 | 0 | 0 | 604k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
849.14/849.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
849.14/849.43 c 816s|880000 | 992 | 0 | 0.0 | 30M|1156 | - |1833 | 53k| 0 | 0 | 0 | 612k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
858.74/859.06 c 825s|890000 | 985 | 0 | 0.0 | 30M|1156 | - |1833 | 54k| 0 | 0 | 0 | 618k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
867.93/868.27 c 834s|900000 | 1000 | 0 | 0.0 | 30M|1156 | - |1833 | 54k| 0 | 0 | 0 | 624k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
877.33/877.64 c 843s|910000 | 992 | 0 | 0.0 | 30M|1156 | - |1833 | 55k| 0 | 0 | 0 | 631k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
887.43/887.74 c 852s|920000 | 997 | 0 | 0.0 | 30M|1156 | - |1833 | 55k| 0 | 0 | 0 | 638k| 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
896.61/896.90 o 53
896.61/896.90 c * 861s|929071 | 1005 | 0 | 0.0 | 30M|1156 | - |1833 | 56k| 0 | 0 | 0 | 644k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
897.32/897.69 c 862s|930000 | 991 | 0 | 0.0 | 31M|1156 | - |1833 | 56k| 0 | 0 | 0 | 644k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
907.91/908.20 c 872s|940000 | 996 | 0 | 0.0 | 31M|1156 | - |1833 | 56k| 0 | 0 | 0 | 651k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
917.81/918.16 c 882s|950000 | 990 | 0 | 0.0 | 31M|1156 | - |1833 | 57k| 0 | 0 | 0 | 659k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
926.92/927.30 c 890s|960000 | 978 | 0 | 0.0 | 31M|1156 | - |1833 | 57k| 0 | 0 | 0 | 665k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
937.11/937.46 c 900s|970000 | 986 | 0 | 0.0 | 31M|1156 | - |1833 | 58k| 0 | 0 | 0 | 671k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
948.70/949.02 c 911s|980000 | 992 | 0 | 0.0 | 32M|1156 | - |1833 | 59k| 0 | 0 | 0 | 679k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
960.10/960.44 c 922s|990000 | 968 | 0 | 0.0 | 32M|1156 | - |1833 | 59k| 0 | 0 | 0 | 685k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
971.39/971.71 c 933s| 1000k| 977 | 0 | 0.0 | 32M|1156 | - |1833 | 60k| 0 | 0 | 0 | 693k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
981.70/982.09 c 943s| 1010k| 979 | 0 | 0.0 | 33M|1156 | - |1833 | 61k| 0 | 0 | 0 | 699k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
993.39/993.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
993.39/993.78 c 955s| 1020k| 973 | 0 | 0.0 | 33M|1156 | - |1833 | 61k| 0 | 0 | 0 | 706k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1004.99/1005.34 c 966s| 1030k| 983 | 0 | 0.0 | 33M|1156 | - |1833 | 62k| 0 | 0 | 0 | 713k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1013.98/1014.35 c 974s| 1040k| 980 | 0 | 0.0 | 33M|1156 | - |1833 | 63k| 0 | 0 | 0 | 720k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1023.38/1023.77 c 983s| 1050k| 976 | 0 | 0.0 | 34M|1156 | - |1833 | 64k| 0 | 0 | 0 | 727k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1035.08/1035.44 c 995s| 1060k| 979 | 0 | 0.0 | 34M|1156 | - |1833 | 64k| 0 | 0 | 0 | 735k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1045.17/1045.59 c 1004s| 1070k| 1006 | 0 | 0.0 | 34M|1156 | - |1833 | 65k| 0 | 0 | 0 | 742k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1055.67/1056.05 c 1014s| 1080k| 983 | 0 | 0.0 | 34M|1156 | - |1833 | 66k| 0 | 0 | 0 | 751k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1066.47/1066.85 c 1025s| 1090k| 1118 | 0 | 0.0 | 35M|1156 | - |1833 | 66k| 0 | 0 | 0 | 757k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1076.56/1076.95 c 1034s| 1100k| 964 | 0 | 0.0 | 35M|1156 | - |1833 | 67k| 0 | 0 | 0 | 765k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1086.66/1087.05 c 1044s| 1110k| 976 | 0 | 0.0 | 35M|1156 | - |1833 | 68k| 0 | 0 | 0 | 772k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1096.75/1097.12 c 1054s| 1120k| 967 | 0 | 0.0 | 35M|1156 | - |1833 | 69k| 0 | 0 | 0 | 778k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1106.96/1107.36 c 1064s| 1130k| 1002 | 0 | 0.0 | 36M|1156 | - |1833 | 70k| 0 | 0 | 0 | 785k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1115.85/1116.24 c 1072s| 1140k| 973 | 0 | 0.0 | 36M|1156 | - |1833 | 70k| 0 | 0 | 0 | 791k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1125.44/1125.80 c 1081s| 1150k| 969 | 0 | 0.0 | 36M|1156 | - |1833 | 71k| 0 | 0 | 0 | 799k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1135.14/1135.58 c 1091s| 1160k| 962 | 0 | 0.0 | 36M|1156 | - |1833 | 71k| 0 | 0 | 0 | 805k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1145.43/1145.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1145.43/1145.87 c 1101s| 1170k| 963 | 0 | 0.0 | 36M|1156 | - |1833 | 72k| 0 | 0 | 0 | 811k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1155.23/1155.67 c 1110s| 1180k| 983 | 0 | 0.0 | 36M|1156 | - |1833 | 72k| 0 | 0 | 0 | 817k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1164.23/1164.67 c 1119s| 1190k| 984 | 0 | 0.0 | 36M|1156 | - |1833 | 72k| 0 | 0 | 0 | 823k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1173.62/1174.05 c 1128s| 1200k| 968 | 0 | 0.0 | 36M|1156 | - |1833 | 72k| 0 | 0 | 0 | 829k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1184.62/1185.04 c 1139s| 1210k| 974 | 0 | 0.0 | 36M|1156 | - |1833 | 72k| 0 | 0 | 0 | 836k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1196.32/1196.78 c 1150s| 1220k| 965 | 0 | 0.0 | 36M|1156 | - |1833 | 72k| 0 | 0 | 0 | 842k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1209.22/1209.62 c 1162s| 1230k| 963 | 0 | 0.0 | 36M|1156 | - |1833 | 72k| 0 | 0 | 0 | 849k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1221.81/1222.23 c 1174s| 1240k| 972 | 0 | 0.0 | 37M|1156 | - |1833 | 73k| 0 | 0 | 0 | 857k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1234.41/1234.81 c 1186s| 1250k| 983 | 0 | 0.0 | 37M|1156 | - |1833 | 75k| 0 | 0 | 0 | 865k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1244.51/1244.91 c 1196s| 1260k| 968 | 0 | 0.0 | 38M|1156 | - |1833 | 75k| 0 | 0 | 0 | 872k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1256.81/1257.23 c 1208s| 1270k| 981 | 0 | 0.0 | 38M|1156 | - |1833 | 76k| 0 | 0 | 0 | 880k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1266.50/1266.90 c 1217s| 1280k| 965 | 0 | 0.0 | 38M|1156 | - |1833 | 76k| 0 | 0 | 0 | 886k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1276.09/1276.51 c 1227s| 1290k| 964 | 0 | 0.0 | 38M|1156 | - |1833 | 77k| 0 | 0 | 0 | 892k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1284.69/1285.10 c 1235s| 1300k| 987 | 0 | 0.0 | 38M|1156 | - |1833 | 77k| 0 | 0 | 0 | 898k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1295.89/1296.38 c 1246s| 1310k| 983 | 0 | 0.0 | 38M|1156 | - |1833 | 77k| 0 | 0 | 0 | 905k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1306.39/1306.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1306.39/1306.84 c 1256s| 1320k| 991 | 0 | 0.0 | 38M|1156 | - |1833 | 77k| 0 | 0 | 0 | 912k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1317.38/1317.89 c 1266s| 1330k| 974 | 0 | 0.0 | 38M|1156 | - |1833 | 78k| 0 | 0 | 0 | 919k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1328.39/1328.81 c 1277s| 1340k| 976 | 0 | 0.0 | 39M|1156 | - |1833 | 79k| 0 | 0 | 0 | 926k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1340.67/1341.16 c 1289s| 1350k| 1012 | 0 | 0.0 | 39M|1156 | - |1833 | 79k| 0 | 0 | 0 | 932k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1351.38/1351.88 c 1299s| 1360k| 968 | 0 | 0.0 | 39M|1156 | - |1833 | 79k| 0 | 0 | 0 | 939k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1361.17/1361.66 c 1308s| 1370k| 981 | 0 | 0.0 | 39M|1156 | - |1833 | 80k| 0 | 0 | 0 | 946k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1372.56/1373.06 c 1319s| 1380k| 979 | 0 | 0.0 | 39M|1156 | - |1833 | 81k| 0 | 0 | 0 | 952k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1384.46/1384.91 c 1331s| 1390k| 964 | 0 | 0.0 | 40M|1156 | - |1833 | 81k| 0 | 0 | 0 | 960k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1396.95/1397.44 c 1343s| 1400k| 968 | 0 | 0.0 | 40M|1156 | - |1833 | 82k| 0 | 0 | 0 | 967k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1408.56/1409.01 c 1354s| 1410k| 971 | 0 | 0.0 | 40M|1156 | - |1833 | 82k| 0 | 0 | 0 | 975k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1420.15/1420.68 c 1365s| 1420k| 953 | 0 | 0.0 | 41M|1156 | - |1833 | 83k| 0 | 0 | 0 | 982k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1432.35/1432.82 c 1377s| 1430k| 958 | 0 | 0.0 | 41M|1156 | - |1833 | 83k| 0 | 0 | 0 | 988k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1443.34/1443.89 c 1388s| 1440k| 967 | 0 | 0.0 | 41M|1156 | - |1833 | 85k| 0 | 0 | 0 | 996k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1455.85/1456.36 c 1400s| 1450k| 979 | 0 | 0.0 | 41M|1156 | - |1833 | 85k| 0 | 0 | 0 |1002k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1467.03/1467.54 c 1411s| 1460k| 970 | 0 | 0.0 | 41M|1156 | - |1833 | 85k| 0 | 0 | 0 |1008k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1478.43/1478.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.43/1478.98 c 1422s| 1470k| 985 | 0 | 0.0 | 41M|1156 | - |1833 | 85k| 0 | 0 | 0 |1015k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1489.02/1489.56 c 1432s| 1480k| 967 | 0 | 0.0 | 42M|1156 | - |1833 | 87k| 0 | 0 | 0 |1022k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1500.33/1500.85 c 1443s| 1490k| 961 | 0 | 0.0 | 43M|1156 | - |1833 | 89k| 0 | 0 | 0 |1031k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1510.02/1510.51 c 1452s| 1500k| 989 | 0 | 0.0 | 43M|1156 | - |1833 | 89k| 0 | 0 | 0 |1038k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1520.91/1521.41 c 1462s| 1510k| 964 | 0 | 0.0 | 43M|1156 | - |1833 | 91k| 0 | 0 | 0 |1045k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1530.52/1531.02 c 1472s| 1520k| 956 | 0 | 0.0 | 44M|1156 | - |1833 | 93k| 0 | 0 | 0 |1053k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1540.71/1541.24 c 1481s| 1530k| 973 | 0 | 0.0 | 44M|1156 | - |1833 | 93k| 0 | 0 | 0 |1059k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1552.11/1552.66 c 1492s| 1540k| 979 | 0 | 0.0 | 44M|1156 | - |1833 | 93k| 0 | 0 | 0 |1066k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1562.51/1563.00 c 1502s| 1550k| 972 | 0 | 0.0 | 44M|1156 | - |1833 | 94k| 0 | 0 | 0 |1072k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1571.80/1572.38 c 1511s| 1560k| 967 | 0 | 0.0 | 44M|1156 | - |1833 | 95k| 0 | 0 | 0 |1078k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1584.40/1584.95 c 1524s| 1570k| 974 | 0 | 0.0 | 45M|1156 | - |1833 | 96k| 0 | 0 | 0 |1086k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1596.79/1597.30 c 1536s| 1580k| 960 | 0 | 0.0 | 45M|1156 | - |1833 | 97k| 0 | 0 | 0 |1094k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1606.49/1607.10 c 1545s| 1590k| 970 | 0 | 0.0 | 45M|1156 | - |1833 | 98k| 0 | 0 | 0 |1101k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1617.68/1618.25 c 1556s| 1600k| 964 | 0 | 0.0 | 46M|1156 | - |1833 | 99k| 0 | 0 | 0 |1109k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1629.08/1629.61 c 1567s| 1610k| 963 | 0 | 0.0 | 46M|1156 | - |1833 | 99k| 0 | 0 | 0 |1115k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1640.68/1641.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1640.68/1641.27 c 1578s| 1620k| 977 | 0 | 0.0 | 46M|1156 | - |1833 | 100k| 0 | 0 | 0 |1121k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1650.58/1651.18 c 1588s| 1630k| 969 | 0 | 0.0 | 46M|1156 | - |1833 | 100k| 0 | 0 | 0 |1128k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1660.87/1661.45 c 1597s| 1640k| 973 | 0 | 0.0 | 46M|1156 | - |1833 | 101k| 0 | 0 | 0 |1134k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1671.48/1672.05 c 1608s| 1650k| 976 | 0 | 0.0 | 47M|1156 | - |1833 | 101k| 0 | 0 | 0 |1141k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1680.87/1681.43 c 1617s| 1660k| 982 | 0 | 0.0 | 47M|1156 | - |1833 | 102k| 0 | 0 | 0 |1147k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1689.66/1690.20 c 1625s| 1670k| 974 | 0 | 0.0 | 47M|1156 | - |1833 | 103k| 0 | 0 | 0 |1153k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1701.86/1702.47 c 1637s| 1680k| 998 | 0 | 0.0 | 48M|1156 | - |1833 | 104k| 0 | 0 | 0 |1161k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1712.26/1712.81 c 1647s| 1690k| 961 | 0 | 0.0 | 48M|1156 | - |1833 | 106k| 0 | 0 | 0 |1170k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1722.86/1723.41 c 1657s| 1700k| 972 | 0 | 0.0 | 49M|1156 | - |1833 | 108k| 0 | 0 | 0 |1178k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1733.75/1734.35 c 1668s| 1710k| 955 | 0 | 0.0 | 49M|1156 | - |1833 | 110k| 0 | 0 | 0 |1187k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1743.95/1744.51 c 1677s| 1720k| 964 | 0 | 0.0 | 50M|1156 | - |1833 | 110k| 0 | 0 | 0 |1194k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1755.95/1756.50 c 1689s| 1730k| 958 | 0 | 0.0 | 50M|1156 | - |1833 | 111k| 0 | 0 | 0 |1201k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1766.24/1766.84 c 1699s| 1740k| 969 | 0 | 0.0 | 50M|1156 | - |1833 | 112k| 0 | 0 | 0 |1208k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1779.54/1780.16 c 1712s| 1750k| 965 | 0 | 0.0 | 51M|1156 | - |1833 | 113k| 0 | 0 | 0 |1216k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1791.04/1791.70 c 1723s| 1760k| 965 | 0 | 0.0 | 51M|1156 | - |1833 | 114k| 0 | 0 | 0 |1223k| 0 | 4.600000e+01 | 5.300000e+01 | 15.22%
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1731.51
1800.05/1800.61 c Solving Nodes : 1766790
1800.05/1800.61 c Primal Bound : +5.30000000000000e+01 (5 solutions)
1800.05/1800.61 c Dual Bound : +4.60000000000000e+01
1800.05/1800.61 c Gap : 15.22 %
1800.05/1800.62 s SATISFIABLE
1800.05/1800.62 v -x2089 -x2084 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 x2066 -x2062
1800.05/1800.62 v -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041
1800.05/1800.62 v -x2040 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2026 -x2025 -x2024 -x2023 -x2019 -x2018 -x2015 -x2014 -x2013
1800.05/1800.62 v -x2012 -x2011 -x2010 -x2007 -x2006 -x2005 -x2002 -x2001 -x2000 -x1999 -x1996 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986
1800.05/1800.62 v -x1985 -x1983 -x1982 -x1981 -x1975 -x1974 -x1973 x1972 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1955 -x1951
1800.05/1800.62 v -x1948 -x1947 -x1946 -x1945 -x1970 -x1944 -x2082 -x1943 -x1942 -x1941 -x1940 -x2021 -x1939 -x1938 x1937 -x1953 -x1934 -x1933
1800.05/1800.62 v -x2060 -x1932 -x1931 -x1930 -x1927 -x1926 -x1922 -x1918 -x1915 -x1912 -x1911 -x1910 -x2016 -x1909 -x1908 -x1903 -x1899 -x1898
1800.05/1800.62 v -x1897 -x1896 -x1895 -x1894 -x1893 -x2003 -x1916 -x1892 -x1889 -x1888 -x1924 -x1994 -x1901 -x1887 -x1913 -x1886 -x1884 x1881
1800.05/1800.62 v -x1879 -x1878 -x1874 -x1873 -x1872 -x1871 -x1979 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860
1800.05/1800.62 v -x1906 -x1859 -x1858 -x1857 -x1856 -x1853 -x1851 -x1849 -x1949 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1837
1800.05/1800.62 v -x1876 -x1836 -x1831 -x1830 -x1920 -x1829 -x1825 -x1822 -x1820 -x1818 -x1817 -x1816 -x1815 -x2008 -x1814 -x1813 -x1812 -x1997
1800.05/1800.62 v -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1834 -x1803 -x1802 -x1801 -x1890 -x1839 -x1800 -x1799 -x1798 -x1823
1800.05/1800.62 v -x1795 -x1794 -x1792 -x1790 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776
1800.05/1800.62 v -x1775 -x1774 -x1771 -x1770 -x1769 -x1766 -x1765 -x1762 -x1761 -x1760 -x1759 x1758 -x1755 -x1752 -x1749 -x1748 -x1747 -x1746
1800.05/1800.62 v -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 x1734 -x1728 -x1725 -x1724 -x1723 -x1722 -x1721
1800.05/1800.62 v -x1720 -x1716 -x1713 -x1712 -x1711 -x1710 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696
1800.05/1800.62 v -x1695 -x1694 -x1693 -x1692 -x1689 -x1688 -x1687 -x1686 -x1685 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1714 -x1675 -x1753
1800.05/1800.62 v -x1674 -x1673 -x1671 -x1669 -x1666 -x1663 -x1662 -x1661 -x1660 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649
1800.05/1800.62 v -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 x1642 -x1639 -x1638 -x1637 -x1634 -x1633 -x1631 -x1629 -x1626 -x1625 -x1621 -x1620
1800.05/1800.62 v -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1658 -x1610 -x1606 -x1605 -x1603 -x1726 -x1602 -x1600 -x1664
1800.05/1800.62 v -x1763 -x1667 -x1750 -x1599 -x1596 -x1595 -x1594 -x1593 -x1590 -x1587 -x1586 -x1581 -x1578 -x1575 -x1574 -x1573 -x1572 -x1571
1800.05/1800.62 v -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1559 -x1557 -x1555 -x1579 -x1554 -x1552 -x1576 -x1551 -x1550 -x1546 -x1545 -x1544
1800.05/1800.62 v -x1541 -x1535 -x1531 -x1530 -x1529 -x1528 -x1527 -x1524 -x1523 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512
1800.05/1800.62 v -x1511 -x1510 -x1542 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1487 -x1486
1800.05/1800.62 v -x1485 -x1484 -x1483 -x1478 -x1474 -x1473 -x1472 -x1471 -x1470 -x1466 -x1461 -x1460 -x1459 -x1458 x1457 -x1454 -x1453 -x1452
1800.05/1800.62 v -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1440 -x1439 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429
1800.05/1800.62 v -x1428 -x1468 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1416 -x1414 -x1409 -x1408 -x1407 -x1521 -x1406 -x1405 -x1404
1800.05/1800.62 v -x1403 -x1400 -x1399 -x1398 -x1396 -x1394 -x1390 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1374
1800.05/1800.62 v -x1373 -x1372 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 x1354
1800.05/1800.62 v -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1332 -x1331 -x1330 -x1329
1800.05/1800.62 v -x1328 -x1327 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309
1800.05/1800.62 v -x1306 -x1303 -x1302 -x1301 -x1300 -x1297 -x1296 -x1295 -x1293 -x1291 -x1290 -x1289 -x1288 -x1283 -x1278 -x1277 -x1271
1800.05/1800.62 v -x1270 -x1269 -x1298 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1252 -x1244 -x1242
1800.05/1800.62 v -x1238 -x1233 -x1227 -x1226 -x1275 -x1225 -x1392 -x1224 -x1222 -x1370 -x1220 -x1219 -x1218 -x1217 -x1216 -x1281 -x1213 -x1212
1800.05/1800.62 v -x1211 -x1210 -x1209 -x1207 -x1205 -x1202 -x1201 -x1231 -x1200 -x1236 x1199 -x1195 -x1194 -x1250 -x1193 -x1192 -x1191 -x1189
1800.05/1800.62 v -x1388 -x1203 -x1184 -x1183 -x1181 -x1180 -x1179 -x1178 -x1161 -x1160 -x1156 -x1146 -x1143 -x1142 -x1137 -x1136 -x1131 -x1130
1800.05/1800.62 v -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112
1800.05/1800.62 v -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094
1800.05/1800.62 v -x1093 -x1092 -x1091 -x1090 -x1084 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068
1800.05/1800.62 v -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051
1800.05/1800.62 v -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1030 -x1029 -x1025 -x1024
1800.05/1800.62 v -x1023 x1022 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003
1800.05/1800.62 v x1002 -x999 -x998 -x997 -x996 -x995 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976
1800.05/1800.62 v -x975 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x954 -x950
1800.05/1800.62 v -x949 -x948 -x947 -x946 -x945 -x942 -x941 -x940 -x939 -x938 -x937 -x928 -x925 -x924 -x921 -x920 -x919 -x918 -x917 -x916 -x915
1800.05/1800.62 v -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894
1800.05/1800.62 v -x893 -x892 -x1000 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 x883 -x880 -x879 -x875 -x874 -x871 -x870 -x869 -x866
1800.05/1800.62 v -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x848 -x845 -x844 -x843 -x839
1800.05/1800.62 v -x838 -x832 -x831 -x830 -x829 -x826 -x825 -x824 -x823 -x822 -x877 -x821 -x820 -x819 -x818 x817 -x813 -x812 -x811 -x810 x809
1800.05/1800.62 v -x805 -x804 -x803 -x802 -x922 -x801 -x800 -x798 -x794 -x793 -x792 -x791 -x790 -x789 -x783 -x782 -x781 -x773 -x772 -x771 -x770
1800.05/1800.62 v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748
1800.05/1800.62 v -x747 -x746 -x733 -x732 -x727 -x726 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709
1800.05/1800.62 v -x708 -x707 -x703 -x700 -x699 -x698 -x697 -x696 -x695 x694 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681
1800.05/1800.62 v -x680 -x679 -x678 -x677 -x676 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x993 -x660 -x659 -x658
1800.05/1800.62 v -x653 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x636 -x635 -x634 -x629 -x628 x627 -x625 -x623 -x622 -x621 x620
1800.05/1800.62 v -x616 -x615 -x614 -x613 -x612 -x607 -x605 -x604 -x603 -x602 -x601 -x600 -x596 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584
1800.05/1800.62 v -x779 -x583 -x582 -x581 -x580 -x651 -x579 -x578 -x807 -x577 x576 -x574 -x573 -x572 -x571 -x570 -x872 -x569 -x566 -x563 -x562
1800.05/1800.62 v -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 x548 -x540 -x537 -x536 -x535 -x534 -x533 -x532
1800.05/1800.62 v -x531 -x530 -x827 -x1020 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x517 -x516 -x701 -x515 -x514 -x1027
1800.05/1800.62 v -x513 -x841 -x512 -x511 -x1144 -x510 -x509 -x943 -x508 -x836 -x507 -x506 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493
1800.05/1800.62 v -x492 -x598 -x674 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474
1800.05/1800.62 v -x473 -x472 -x471 -x724 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x518 -x462 -x461 -x460 -x567 -x455 -x454 -x453 -x452
1800.05/1800.62 v -x451 -x450 -x449 -x448 -x730 -x867 -x447 -x446 -x445 -x444 -x443 -x787 -x442 -x638 -x441 -x440 -x439 -x926 -x438 -x437
1800.05/1800.62 v -x435 -x432 -x430 -x429 -x420 -x419 -x418 -x1082 -x417 -x538 -x564 -x416 -x414 -x413 -x408 -x398 -x394 -x390 -x389 -x377 -x376
1800.05/1800.62 v -x392 -x375 -x374 -x373 -x372 -x360 -x357 -x356 -x355 x354 -x358 -x351 -x350 -x349 -x345 -x344 -x340 -x339 -x2087 -x337 -x336
1800.05/1800.62 v -x335 -x2064 -x334 -x333 -x2038 -x2029 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x1957
1800.05/1800.62 v -x319 -x318 -x1935 -x1928 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x1854 -x304 -x303
1800.05/1800.62 v -x302 -x301 -x300 -x299 -x1827 -x298 -x297 -x296 -x1796 -x295 -x294 -x293 -x1772 -x1767 -x289 -x288 -x1756 -x287 -x286 -x285
1800.05/1800.62 v -x284 -x1732 -x283 -x282 -x281 -x280 -x279 x618 -x278 -x277 -x276 -x275 -x274 -x1718 -x273 -x272 -x1708 -x1690 -x271 -x270 -x1676
1800.05/1800.62 v -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x1640 -x259 -x1635 -x258 -x257 -x1627 -x1623 -x256 -x255 -x254
1800.05/1800.62 v -x253 -x1608 -x252 -x251 -x250 -x249 -x248 -x1597 -x247 -x1154 -x1591 -x1588 -x1584 -x245 -x244 -x243 -x242 -x241 -x240 -x239
1800.05/1800.62 v -x1569 -x238 -x237 -x1560 -x236 -x235 -x1286 -x234 -x233 -x1304 -x232 -x231 -x1548 -x230 -x226 -x1539 -x225 -x224 -x223
1800.05/1800.62 v -x222 -x221 -x1533 -x220 -x219 -x218 -x217 -x216 -x215 -x1525 -x214 -x213 -x1508 -x212 -x211 -x210 -x1490 -x209 -x208 -x207 -x1481
1800.05/1800.62 v -x206 -x205 -x1476 -x204 -x203 -x1464 -x1455 -x202 -x1441 -x201 -x1437 -x200 -x1419 -x199 -x198 -x197 -x196 -x195 -x194
1800.05/1800.62 v -x1401 -x193 -x192 -x190 -x189 -x1375 -x188 -x187 -x1352 -x186 -x185 -x184 -x183 -x1333 -x1325 -x1307 -x182 -x181 -x180 -x179
1800.05/1800.62 v -x178 -x177 -x176 -x175 -x174 -x173 -x1255 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x1214
1800.05/1800.62 v -x159 -x158 -x1197 -x157 -x156 -x155 -x154 -x153 -x151 -x150 -x1176 -x427 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1800.05/1800.62 v -x141 -x140 -x139 -x138 -x692 -x130 -x129 -x1158 -x128 -x127 -x126 -x125 -x124 -x123 -x1140 -x122 -x1134 -x121 -x1088 -x120
1800.05/1800.62 v -x119 -x118 -x1035 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x935 -x105 -x104 -x103 -x102 -x101
1800.05/1800.62 v -x100 -x881 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x815 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x744
1800.05/1800.62 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x705 -x72 -x71 -x70 -x69 -x656 -x68 -x67 -x66 -x65 -x64 -x632 -x63 -x62 -x61 -x60 -x610
1800.05/1800.62 v -x59 -x58 -x57 -x56 -x594 -x55 -x54 -x546 -x53 -x52 -x51 -x50 -x504 -x49 -x458 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x411
1800.05/1800.62 v -x32 -x406 -x31 -x30 -x396 -x29 -x387 -x28 -x27 -x26 -x25 -x370 -x24 -x23 -x22 -x21 -x352 -x347 -x342 -x2091 -x2090 -x2088 -x2086
1800.05/1800.62 v -x2085 -x2083 -x2065 -x2063 -x2061 -x2059 -x2039 -x2030 -x2028 -x2027 -x2022 -x2020 -x2017 -x2009 -x2004 -x1998 -x1995
1800.05/1800.62 v -x1993 -x1984 -x1980 -x1978 -x1977 -x1976 -x1971 -x1969 -x1968 -x1967 -x1958 -x1956 -x1954 -x1952 -x1950 -x1936 -x1929 -x1925
1800.05/1800.62 v -x1923 -x1921 -x1919 -x1917 -x1914 -x1907 x1905 -x1904 -x1902 -x1900 -x1891 -x1885 -x1883 -x1882 -x1880 -x1877 -x1875 -x1855
1800.05/1800.62 v -x1852 -x1850 -x1840 -x1838 -x1835 -x1833 -x1832 -x1828 -x1826 -x1824 -x1821 -x1819 -x1797 -x1793 -x1791 -x1789 -x1773 -x1768
1800.05/1800.62 v -x1764 -x1757 -x1754 -x1751 -x1733 -x1731 -x1730 -x1729 -x1727 -x1719 -x1717 -x1715 -x1709 -x1691 -x1684 -x1677 -x1672 -x1670
1800.05/1800.62 v -x1668 -x1665 -x1659 -x1641 -x1636 -x1632 -x1630 -x1628 -x1624 -x1622 -x1609 -x1607 -x1604 -x1601 -x1598 -x1592 -x1589 -x1585
1800.05/1800.62 v -x1583 -x1582 -x1580 -x1577 -x1570 -x1568 -x1561 -x1558 -x1556 -x1553 -x1549 -x1547 -x1543 -x1540 -x1538 -x1537 -x1536 -x1534
1800.05/1800.62 v -x1532 -x1526 -x1522 -x1520 -x1509 -x1507 -x1506 -x1505 -x1491 -x1489 -x1488 -x1482 -x1480 -x1479 -x1477 -x1475 -x1469 -x1467
1800.05/1800.62 v -x1465 -x1463 -x1462 -x1456 -x1442 -x1438 -x1436 -x1420 -x1418 -x1417 -x1415 -x1413 -x1412 -x1411 -x1410 -x1402 -x1397
1800.05/1800.62 v -x1395 -x1393 -x1391 -x1389 -x1387 -x1376 -x1371 -x1353 -x1351 -x1350 -x1349 -x1334 -x1326 -x1308 -x1305 -x1299 -x1294 -x1292
1800.05/1800.62 v -x1287 -x1285 -x1284 -x1282 -x1280 -x1279 -x1276 -x1274 -x1273 -x1272 -x1256 -x1254 -x1253 -x1251 -x1249 -x1248 -x1247 -x1246
1800.05/1800.62 v -x1245 -x1243 -x1241 -x1240 -x1239 -x1237 -x1235 -x1234 -x1232 -x1230 -x1229 -x1228 -x1223 -x1221 -x1215 -x1208 -x1206 -x1204
1800.05/1800.62 v -x1198 -x1196 -x1190 -x1188 -x1187 -x1186 -x1185 -x1182 -x1177 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167
1800.05/1800.62 v -x1166 -x1165 -x1164 -x1163 -x1162 -x1159 -x1157 -x1155 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1145 -x1141 -x1139
1800.05/1800.62 v -x1138 -x1135 -x1133 -x1132 -x1089 -x1087 -x1086 -x1085 -x1083 x1081 -x1036 -x1034 -x1033 -x1032 -x1031 -x1028 -x1026 -x1021
1800.05/1800.62 v -x1019 -x1001 -x994 -x992 -x991 -x974 -x955 -x953 -x952 -x951 -x944 -x936 -x934 -x933 -x932 -x931 -x930 -x929 -x927 -x923
1800.05/1800.62 v -x882 -x878 -x876 -x873 -x868 -x849 -x847 -x846 -x842 -x840 -x837 -x835 -x834 -x833 -x828 -x816 -x814 -x808 -x806 -x799 -x797
1800.05/1800.62 v -x796 -x795 -x788 -x786 -x785 -x784 -x780 -x778 -x777 -x776 -x775 -x774 -x761 -x745 -x743 -x742 -x741 -x740 x739 -x738 -x737
1800.05/1800.62 v -x736 -x735 -x734 -x731 -x729 -x728 -x725 -x706 -x704 -x702 -x693 -x675 -x673 -x657 -x655 -x654 -x652 -x650 -x649 -x639 -x637
1800.05/1800.62 v -x633 -x631 -x630 -x626 -x624 x619 -x617 -x611 -x609 -x608 -x606 -x599 -x597 -x595 -x593 -x592 -x575 -x568 -x565 -x547 x545
1800.05/1800.62 v -x544 -x543 -x542 -x541 -x539 -x519 -x505 -x503 -x502 -x459 -x457 -x456 -x436 -x434 -x433 -x431 -x428 -x426 x425 -x424 -x423
1800.05/1800.62 v -x422 -x421 -x415 -x412 -x410 -x409 -x407 -x405 -x404 -x403 -x402 -x401 x400 -x399 -x397 -x395 -x393 -x391 -x388 -x386 -x385
1800.05/1800.62 v -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x371 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x359 -x353 -x348 -x346
1800.05/1800.62 v -x343 x341 x338 x292 x291 x290 x246 x229 x228 x227 x191 x152 x137 x136 x135 x134 x133 x132 x131 x40 x39 x38 x37 x36 x35 x34
1800.05/1800.62 v x33 x20 x19 x18 x17 x16 x15 x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
1800.05/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.62 c Solving Time : 1731.51
1800.05/1800.62 c Original Problem :
1800.05/1800.62 c Problem name : HOME/instance-2663974-1276642924.opb
1800.05/1800.62 c Variables : 2091 (2091 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62 c Constraints : 7288 initial, 7288 maximal
1800.05/1800.62 c Presolved Problem :
1800.05/1800.62 c Problem name : t_HOME/instance-2663974-1276642924.opb
1800.05/1800.62 c Variables : 1833 (1833 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62 c Constraints : 6834 initial, 115027 maximal
1800.05/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c probing : 0.28 0 8 0 0 0 0 0 0
1800.05/1800.62 c linear : 0.12 46 204 0 46 0 454 0 0
1800.05/1800.62 c logicor : 0.08 0 0 0 0 0 0 0 0
1800.05/1800.62 c root node : - 0 - - 0 - - - -
1800.05/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.62 c logicor : 6834+ 0 6105139 0 3 719339 40065004 0 0 0
1800.05/1800.62 c countsols : 0 0 0 0 3 0 0 0 0 0
1800.05/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.62 c logicor : 609.86 0.00 609.86 0.00 0.00
1800.05/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.62 c vbounds : 5.62 2 0 0
1800.05/1800.62 c rootredcost : 5.03 0 0 0
1800.05/1800.62 c pseudoobj : 524.64 11219624 314925 102414884
1800.05/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.62 c propagation : 295.91 1034264 1034264 1034264 105.3 212909 58.3 -
1800.05/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c pseudo solution : 0.00 1 1 1 7.0 0 0.0 -
1800.05/1800.62 c applied globally : - - - 1033924 63.7 - - -
1800.05/1800.62 c applied locally : - - - 194405 260.1 - - -
1800.05/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.62 c redcost : 0.00 0 0 0 0 0
1800.05/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.62 c intobj : 0.00 0 0 0 0 0
1800.05/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.62 c gomory : 0.00 0 0 0 0 0
1800.05/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.62 c cmir : 0.00 0 0 0 0 0
1800.05/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.62 c clique : 0.00 0 0 0 0 0
1800.05/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.62 c mcf : 0.00 0 0 0 0 0
1800.05/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.62 c Pricers : Time Calls Vars
1800.05/1800.62 c problem variables: 0.00 0 0
1800.05/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.62 c inference : 98.63 1407704 0 0 0 0 2815408
1800.05/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c random : 0.00 0 0 0 0 0 0
1800.05/1800.62 c Primal Heuristics : Time Calls Found
1800.05/1800.62 c LP solutions : 0.00 - 0
1800.05/1800.62 c pseudo solutions : 0.00 - 3
1800.05/1800.62 c oneopt : 1.68 0 0
1800.05/1800.62 c trivial : 0.00 2 2
1800.05/1800.62 c simplerounding : 0.00 0 0
1800.05/1800.62 c zirounding : 0.00 0 0
1800.05/1800.62 c rounding : 0.00 0 0
1800.05/1800.62 c shifting : 0.00 0 0
1800.05/1800.62 c intshifting : 0.00 0 0
1800.05/1800.62 c twoopt : 0.00 0 0
1800.05/1800.62 c fixandinfer : 0.00 0 0
1800.05/1800.62 c feaspump : 0.00 0 0
1800.05/1800.62 c coefdiving : 0.00 0 0
1800.05/1800.62 c pscostdiving : 0.00 0 0
1800.05/1800.62 c fracdiving : 0.00 0 0
1800.05/1800.62 c veclendiving : 0.00 0 0
1800.05/1800.62 c intdiving : 0.00 0 0
1800.05/1800.62 c actconsdiving : 0.00 0 0
1800.05/1800.62 c objpscostdiving : 0.00 0 0
1800.05/1800.62 c rootsoldiving : 0.00 0 0
1800.05/1800.62 c linesearchdiving : 0.00 0 0
1800.05/1800.62 c guideddiving : 0.00 0 0
1800.05/1800.62 c octane : 0.00 0 0
1800.05/1800.62 c rens : 0.00 0 0
1800.05/1800.62 c rins : 0.00 0 0
1800.05/1800.62 c localbranching : 0.00 0 0
1800.05/1800.62 c mutation : 0.00 0 0
1800.05/1800.62 c crossover : 0.00 0 0
1800.05/1800.62 c dins : 0.00 0 0
1800.05/1800.62 c undercover : 0.00 0 0
1800.05/1800.62 c nlp : 0.91 0 0
1800.05/1800.62 c trysol : 0.84 0 0
1800.05/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.62 c (at root node) : - 0 0 0.00 -
1800.05/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.62 c B&B Tree :
1800.05/1800.62 c number of runs : 1
1800.05/1800.62 c nodes : 1766790
1800.05/1800.62 c nodes (total) : 1766790
1800.05/1800.62 c nodes left : 963
1800.05/1800.62 c max depth : 1156
1800.05/1800.62 c max depth (total): 1156
1800.05/1800.62 c backtracks : 818742 (46.3%)
1800.05/1800.62 c delayed cutoffs : 1047499
1800.05/1800.62 c repropagations : 5614450 (95666271 domain reductions, 675182 cutoffs)
1800.05/1800.62 c avg switch length: 7.25
1800.05/1800.62 c switching time : 299.40
1800.05/1800.62 c Solution :
1800.05/1800.62 c Solutions found : 5 (4 improvements)
1800.05/1800.62 c First Solution : +4.86000000000000e+02 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.05/1800.62 c Primal Bound : +5.30000000000000e+01 (in run 1, after 929071 nodes, 861.10 seconds, depth 1027, found by <relaxation>)
1800.05/1800.62 c Dual Bound : +4.60000000000000e+01
1800.05/1800.62 c Gap : 15.22 %
1800.05/1800.62 c Root Dual Bound : +4.60000000000000e+01
1800.05/1800.62 c Root Iterations : 0
1800.14/1800.80 c Time complete: 1800.23.
OK 53
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663974-1276642924/watcher-2663974-1276642924 -o /tmp/evaluation-result-2663974-1276642924/solver-2663974-1276642924 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663974-1276642924.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.00 1.03 1.00 3/106 6744 /proc/meminfo: memFree=1807948/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=6584 CPUtime=0 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 933 0 0 0 0 0 0 0 18 0 1 0 37948702 6742016 856 1992294400 4194304 7136930 140735805544512 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6744/statm: 1646 864 254 719 0 925 0 [startup+0.0666939 s] /proc/loadavg: 1.00 1.03 1.00 3/106 6744 /proc/meminfo: memFree=1807948/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=11380 CPUtime=0.05 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 2327 0 0 0 5 0 0 0 20 0 1 0 37948702 11653120 2250 1992294400 4194304 7136930 140735805544512 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6744/statm: 2845 2250 271 719 0 2124 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11380 [startup+0.100697 s] /proc/loadavg: 1.00 1.03 1.00 3/106 6744 /proc/meminfo: memFree=1807948/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=12740 CPUtime=0.09 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 2680 0 0 0 8 1 0 0 20 0 1 0 37948702 13045760 2603 1992294400 4194304 7136930 140735805544512 18446744073709551615 6177543 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6744/statm: 3185 2603 271 719 0 2464 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12740 [startup+0.300716 s] /proc/loadavg: 1.00 1.03 1.00 3/106 6744 /proc/meminfo: memFree=1807948/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=30168 CPUtime=0.29 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 7705 0 0 0 26 3 0 0 20 0 1 0 37948702 30892032 6761 1992294400 4194304 7136930 140735805544512 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 7542 6764 359 719 0 6821 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30168 [startup+0.700755 s] /proc/loadavg: 1.00 1.03 1.00 3/106 6744 /proc/meminfo: memFree=1807948/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=31416 CPUtime=0.69 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 9611 0 0 0 63 6 0 0 21 0 1 0 37948702 32169984 7124 1992294400 4194304 7136930 140735805544512 18446744073709551615 4665369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 7854 7124 372 719 0 7133 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31416 [startup+1.50083 s] /proc/loadavg: 1.00 1.03 1.00 2/107 6745 /proc/meminfo: memFree=1779172/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=34604 CPUtime=1.49 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 10409 0 0 0 140 9 0 0 23 0 1 0 37948702 35434496 7919 1992294400 4194304 7136930 140735805544512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 8651 7919 389 719 0 7930 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34604 [startup+3.10098 s] /proc/loadavg: 1.00 1.03 1.00 2/107 6745 /proc/meminfo: memFree=1776444/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=36220 CPUtime=3.09 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 10818 0 0 0 295 14 0 0 25 0 1 0 37948702 37089280 8328 1992294400 4194304 7136930 140735805544512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 9055 8328 389 719 0 8334 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36220 [startup+6.30129 s] /proc/loadavg: 1.00 1.03 1.00 2/107 6745 /proc/meminfo: memFree=1774460/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=37716 CPUtime=6.29 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 11187 0 0 0 604 25 0 0 25 0 1 0 37948702 38621184 8697 1992294400 4194304 7136930 140735805544512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 9429 8697 389 719 0 8708 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37716 [startup+12.7019 s] /proc/loadavg: 1.00 1.03 1.00 2/107 6745 /proc/meminfo: memFree=1772600/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=40056 CPUtime=12.69 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 11744 0 0 0 1219 50 0 0 25 0 1 0 37948702 41017344 9254 1992294400 4194304 7136930 140735805544512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 10014 9254 389 719 0 9293 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40056 [startup+25.5011 s] /proc/loadavg: 1.00 1.03 1.00 2/107 6747 /proc/meminfo: memFree=1769748/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=42560 CPUtime=25.48 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 12358 0 0 0 2451 97 0 0 25 0 1 0 37948702 43581440 9868 1992294400 4194304 7136930 140735805544512 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 10640 9868 389 719 0 9919 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 42560 [startup+51.1006 s] /proc/loadavg: 1.00 1.03 1.00 2/107 6747 /proc/meminfo: memFree=1765284/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=47260 CPUtime=51.07 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 13497 0 0 0 4914 193 0 0 25 0 1 0 37948702 48394240 11007 1992294400 4194304 7136930 140735805544512 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 11815 11007 389 719 0 11094 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 47260 [startup+102.309 s] /proc/loadavg: 1.00 1.02 1.00 2/107 6749 /proc/meminfo: memFree=1761068/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=51080 CPUtime=102.27 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 14416 0 0 0 9828 399 0 0 25 0 1 0 37948702 52305920 11926 1992294400 4194304 7136930 140735805544512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 12770 11926 389 719 0 12049 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 51080 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 6749 /proc/meminfo: memFree=1756976/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=55360 CPUtime=162.25 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 15411 0 0 0 15568 657 0 0 25 0 1 0 37948702 56688640 12921 1992294400 4194304 7136930 140735805544512 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 13840 12921 389 719 0 13119 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 55360 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 6751 /proc/meminfo: memFree=1752884/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=60104 CPUtime=222.22 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 16454 0 0 0 21313 909 0 0 25 0 1 0 37948702 61546496 13964 1992294400 4194304 7136930 140735805544512 18446744073709551615 5905982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 15026 13964 389 719 0 14305 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 60104 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6753 /proc/meminfo: memFree=1750528/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=62620 CPUtime=282.2 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 17021 0 0 0 27080 1140 0 0 25 0 1 0 37948702 64122880 14531 1992294400 4194304 7136930 140735805544512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 15655 14531 389 719 0 14934 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 62620 [startup+342.302 s] /proc/loadavg: 1.04 1.01 1.00 2/107 6755 /proc/meminfo: memFree=1749040/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=64032 CPUtime=342.18 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 17365 0 0 0 32825 1393 0 0 25 0 1 0 37948702 65568768 14875 1992294400 4194304 7136930 140735805544512 18446744073709551615 5955506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 16008 14875 389 719 0 15287 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 64032 [startup+402.301 s] /proc/loadavg: 1.08 1.03 1.00 2/107 6757 /proc/meminfo: memFree=1745940/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=67240 CPUtime=402.16 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 18095 0 0 0 38600 1616 0 0 25 0 1 0 37948702 68853760 15605 1992294400 4194304 7136930 140735805544512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 16810 15605 389 719 0 16089 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 67240 [startup+462.301 s] /proc/loadavg: 1.03 1.02 1.00 2/107 6757 /proc/meminfo: memFree=1743212/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=70428 CPUtime=462.14 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 18767 0 0 0 44380 1834 0 0 25 0 1 0 37948702 72118272 16277 1992294400 4194304 7136930 140735805544512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 17607 16277 389 719 0 16886 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 70428 [startup+522.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 6759 /proc/meminfo: memFree=1741972/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=71624 CPUtime=522.13 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 19056 0 0 0 50139 2074 0 0 25 0 1 0 37948702 73342976 16566 1992294400 4194304 7136930 140735805544512 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 17906 16566 389 719 0 17185 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 71624 [startup+582.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 6761 /proc/meminfo: memFree=1740484/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=72944 CPUtime=582.12 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 19403 0 0 0 55904 2308 0 0 25 0 1 0 37948702 74694656 16913 1992294400 4194304 7136930 140735805544512 18446744073709551615 4219848 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 18236 16913 389 719 0 17515 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 72944 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6763 /proc/meminfo: memFree=1738500/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=74960 CPUtime=642.1 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 19884 0 0 0 61673 2537 0 0 25 0 1 0 37948702 76759040 17394 1992294400 4194304 7136930 140735805544512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 18740 17394 389 719 0 18019 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 74960 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6769 /proc/meminfo: memFree=1730564/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=83000 CPUtime=882.02 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 21787 0 0 0 84720 3482 0 0 25 0 1 0 37948702 84992000 19297 1992294400 4194304 7136930 140735805544512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 20750 19297 389 719 0 20029 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 83000 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6771 /proc/meminfo: memFree=1726348/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=87568 CPUtime=942.01 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 22795 0 0 0 90496 3705 0 0 25 0 1 0 37948702 89669632 20305 1992294400 4194304 7136930 140735805544512 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 21892 20305 390 719 0 21171 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 87568 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6773 /proc/meminfo: memFree=1724984/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=88872 CPUtime=1001.99 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 23114 0 0 0 96287 3912 0 0 25 0 1 0 37948702 91004928 20624 1992294400 4194304 7136930 140735805544512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 22218 20624 390 719 0 21497 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 88872 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6773 /proc/meminfo: memFree=1721140/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=93484 CPUtime=1061.97 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 24064 0 0 0 102042 4155 0 0 25 0 1 0 37948702 95727616 21574 1992294400 4194304 7136930 140735805544512 18446744073709551615 5506768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 23371 21574 390 719 0 22650 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 93484 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6775 /proc/meminfo: memFree=1719652/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=94804 CPUtime=1121.95 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 24417 0 0 0 107813 4382 0 0 25 0 1 0 37948702 97079296 21927 1992294400 4194304 7136930 140735805544512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 23701 21927 390 719 0 22980 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 94804 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6777 /proc/meminfo: memFree=1719156/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=95232 CPUtime=1181.92 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 24513 0 0 0 113601 4591 0 0 25 0 1 0 37948702 97517568 22023 1992294400 4194304 7136930 140735805544512 18446744073709551615 4219826 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 23808 22023 390 719 0 23087 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 95232 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6779 /proc/meminfo: memFree=1717420/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=96872 CPUtime=1241.91 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 24930 0 0 0 119380 4811 0 0 25 0 1 0 37948702 99196928 22440 1992294400 4194304 7136930 140735805544512 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 24218 22440 390 719 0 23497 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 96872 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6781 /proc/meminfo: memFree=1715808/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=98160 CPUtime=1301.9 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 25256 0 0 0 125144 5046 0 0 25 0 1 0 37948702 100515840 22766 1992294400 4194304 7136930 140735805544512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 24540 22766 390 719 0 23819 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 98160 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6781 /proc/meminfo: memFree=1715684/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=98408 CPUtime=1361.87 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 25298 0 0 0 130922 5265 0 0 25 0 1 0 37948702 100769792 22808 1992294400 4194304 7136930 140735805544512 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 24602 22808 390 719 0 23881 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 98408 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6783 /proc/meminfo: memFree=1711716/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=103148 CPUtime=1421.85 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 26273 0 0 0 136694 5491 0 0 25 0 1 0 37948702 105623552 23783 1992294400 4194304 7136930 140735805544512 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 25787 23783 390 719 0 25066 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 103148 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6785 /proc/meminfo: memFree=1711220/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=103428 CPUtime=1481.83 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 26369 0 0 0 142491 5692 0 0 25 0 1 0 37948702 105910272 23879 1992294400 4194304 7136930 140735805544512 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 25857 23879 390 719 0 25136 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 103428 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6787 /proc/meminfo: memFree=1708988/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=105920 CPUtime=1541.81 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 26950 0 0 0 148260 5921 0 0 25 0 1 0 37948702 108462080 24460 1992294400 4194304 7136930 140735805544512 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 26480 24460 390 719 0 25759 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 105920 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6789 /proc/meminfo: memFree=1707252/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=107624 CPUtime=1601.79 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 27366 0 0 0 154044 6135 0 0 25 0 1 0 37948702 110206976 24876 1992294400 4194304 7136930 140735805544512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 26906 24876 390 719 0 26185 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 107624 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6789 /proc/meminfo: memFree=1705392/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=109168 CPUtime=1661.77 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 27808 0 0 0 159839 6338 0 0 25 0 1 0 37948702 111788032 25318 1992294400 4194304 7136930 140735805544512 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 27292 25318 390 719 0 26571 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 109168 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6791 /proc/meminfo: memFree=1702292/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=113120 CPUtime=1721.75 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 28565 0 0 0 165614 6561 0 0 25 0 1 0 37948702 115834880 26075 1992294400 4194304 7136930 140735805544512 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 28280 26075 390 719 0 27559 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 113120 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6793 /proc/meminfo: memFree=1699812/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=115500 CPUtime=1781.74 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 29105 0 0 0 171391 6783 0 0 25 0 1 0 37948702 118272000 26615 1992294400 4194304 7136930 140735805544512 18446744073709551615 5919158 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 28875 26615 390 719 0 28154 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 115500 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6793 /proc/meminfo: memFree=1698820/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=116336 CPUtime=1800.05 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202496 29329 0 0 0 173163 6842 0 0 25 0 1 0 37948702 119128064 26839 1992294400 4194304 7136930 140735805544512 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6744/statm: 29084 26839 390 719 0 28363 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 116336 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6793 /proc/meminfo: memFree=1698820/2059040 swapFree=4140256/4192956 [pid=6744] ppid=6742 vsize=0 CPUtime=1800.24 /proc/6744/stat : 6744 (pbscip.linux.x8) R 6742 6744 6034 0 -1 4202500 29883 0 0 0 173180 6844 0 0 25 0 1 0 37948702 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/6744/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.24 CPU user time (s): 1731.8 CPU system time (s): 68.4406 CPU usage (%): 99.969 Max. virtual memory (cumulated for all children) (KiB): 116336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1731.8 system time used= 68.4406 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29883 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 10172 runsolver used 3.10153 second user time and 8.39772 second system time The end
Begin job on node018 at 2010-06-16 01:02:04 IDJOB=2663974 IDBENCH=25029 IDSOLVER=1167 FILE ID=node018/2663974-1276642924 PBS_JOBID= 11172368 Free space on /tmp= 62484 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir10_area_partials.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-2663974-1276642924/watcher-2663974-1276642924 -o /tmp/evaluation-result-2663974-1276642924/solver-2663974-1276642924 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663974-1276642924.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8e58fdc516472c37b974ebbf77c2a4fa RANDOM SEED=648574849 node018.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.248 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.49 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.248 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1808476 kB Buffers: 58368 kB Cached: 105084 kB SwapCached: 6204 kB Active: 81808 kB Inactive: 95256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1808476 kB SwapTotal: 4192956 kB SwapFree: 4140256 kB Dirty: 3448 kB Writeback: 24 kB AnonPages: 11740 kB Mapped: 13020 kB Slab: 51776 kB PageTables: 4052 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181080 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= 62484 MiB End job on node018 at 2010-06-16 01:32:06