Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | 38 | 1800.09 | 1800.56 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex5.r.opb |
| MD5SUM | a65b7dae8af36ed37815bca4e48a5306 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 37 |
| Best CPU time to get the best result obtained on this benchmark | 14.6878 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 37 |
| Optimality of the best value was proved | YES |
| Number of variables | 2428 |
| Total number of constraints | 831 |
| Number of constraints which are clauses | 831 |
| 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 | 3 |
| Maximum length of a constraint | 146 |
| Number of terms in the objective function | 2428 |
| 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 | 2428 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 2428 |
| Number of bits of the biggest sum of numbers | 12 |
| 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: SoPlex 1.4.2] [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-2667645-1276594062.opb>
0.09/0.10 c original problem has 2428 variables (2428 bin, 0 int, 0 impl, 0 cont) and 831 constraints
0.09/0.10 c problem read
0.09/0.10 c presolving settings loaded
0.09/0.14 o 2428
0.09/0.14 c feasible solution found by trivial heuristic, objective value 2.428000e+03
0.09/0.14 c presolving:
0.19/0.24 c (round 1) 0 del vars, 3 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 828 upgd conss, 0 impls, 0 clqs
0.19/0.25 c (round 2) 0 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 828 upgd conss, 0 impls, 0 clqs
0.19/0.26 c (round 3) 5 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 828 upgd conss, 0 impls, 0 clqs
0.19/0.28 c (0.2s) probing: 101/2423 (4.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.28 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.28 c presolving (4 rounds):
0.19/0.28 c 5 deleted vars, 64 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.28 c 0 implications, 0 cliques
0.19/0.28 c presolved problem has 2423 variables (2423 bin, 0 int, 0 impl, 0 cont) and 767 constraints
0.19/0.28 c 767 constraints of type <logicor>
0.19/0.28 c transformed objective value is always integral (scale: 1)
0.19/0.28 c Presolving Time: 0.14
0.19/0.28 c - non default parameters ----------------------------------------------------------------------
0.19/0.28 c # SCIP version 1.2.1.2
0.19/0.28 c
0.19/0.28 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.28 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.28 c conflict/interconss = 0
0.19/0.28 c
0.19/0.28 c # should binary conflicts be preferred?
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c conflict/preferbinary = TRUE
0.19/0.28 c
0.19/0.28 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.28 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.28 c constraints/agelimit = 1
0.19/0.28 c
0.19/0.28 c # should enforcement of pseudo solution be disabled?
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c constraints/disableenfops = TRUE
0.19/0.28 c
0.19/0.28 c # frequency for displaying node information lines
0.19/0.28 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.28 c display/freq = 10000
0.19/0.28 c
0.19/0.28 c # maximal time in seconds to run
0.19/0.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28 c limits/time = 1799.91
0.19/0.28 c
0.19/0.28 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28 c limits/memory = 1620
0.19/0.28 c
0.19/0.28 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.28 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.28 c lp/solvefreq = 0
0.19/0.28 c
0.19/0.28 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.19/0.28 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.28 c lp/pricing = a
0.19/0.28 c
0.19/0.28 c # should presolving try to simplify inequalities
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c constraints/linear/simplifyinequalities = TRUE
0.19/0.28 c
0.19/0.28 c # should presolving try to simplify knapsacks
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.28 c
0.19/0.28 c # priority of node selection rule <dfs> in standard mode
0.19/0.28 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.28 c nodeselection/dfs/stdpriority = 1000000
0.19/0.28 c
0.19/0.28 c -----------------------------------------------------------------------------------------------
0.19/0.28 c start solving
0.19/0.29 c
0.19/0.29 o 2423
0.19/0.29 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.29 c t 0.2s| 1 | 0 | 0 | - |6355k| 0 | - |2423 | 767 | 0 | 0 | 0 | 0 | 0 | -- | 2.423000e+03 | Inf
0.29/0.33 o 66
0.29/0.33 c b 0.2s| 1 | 0 | 0 | - |8980k| 0 | - |2423 | 767 |2423 | 767 | 0 | 0 | 0 | -- | 6.600000e+01 | Inf
0.99/1.06 c 0.9s| 1 | 0 | 2178 | - |8951k| 0 | 132 |2423 | 767 |2423 | 767 | 0 | 0 | 0 | 3.556825e+01 | 6.600000e+01 | 85.56%
2.29/2.30 c 2.1s| 1 | 0 | 2582 | - | 21M| 0 | 135 |2423 | 767 |2423 | 768 | 1 | 0 | 0 | 3.563769e+01 | 6.600000e+01 | 85.20%
2.48/2.59 c 2.4s| 1 | 0 | 2956 | - | 21M| 0 | 139 |2423 | 767 |2423 | 769 | 2 | 0 | 0 | 3.580130e+01 | 6.600000e+01 | 84.35%
3.20/3.30 o 38
3.20/3.30 c E 3.1s| 1 | 0 | 2956 | - | 21M| 0 | 139 |2423 | 767 |2423 | 769 | 2 | 0 | 0 | 3.580130e+01 | 3.800000e+01 | 6.14%
3.29/3.32 c 3.1s| 1 | 0 | 2956 | - | 21M| 0 | 139 |2423 | 767 |2423 | 769 | 2 | 0 | 0 | 3.580130e+01 | 3.800000e+01 | 6.14%
10.68/10.78 c 10.5s| 1 | 2 | 2956 | - | 21M| 0 | 139 |2423 | 767 |2423 | 769 | 2 | 0 | 25 | 3.580130e+01 | 3.800000e+01 | 6.14%
21.49/21.52 c 21.0s| 10000 | 1891 | 2956 | 0.0 | 22M|2062 | - |2423 | 769 | 0 | 0 | 2 |4586 | 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
34.98/35.07 c 34.3s| 20000 | 1856 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 10k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
49.08/49.14 c 48.1s| 30000 | 1825 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 16k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
63.68/63.78 c 62.5s| 40000 | 1806 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 22k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
78.97/79.09 c 77.5s| 50000 | 1798 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 28k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
94.17/94.26 c 92.4s| 60000 | 1800 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 33k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
109.47/109.56 c 107s| 70000 | 1795 | 2956 | 0.0 | 22M|2062 | - |2423 | 770 | 0 | 0 | 2 | 39k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
124.55/124.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.55/124.66 c 122s| 80000 | 1791 | 2956 | 0.0 | 22M|2062 | - |2423 | 770 | 0 | 0 | 2 | 44k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
139.76/139.87 c 137s| 90000 | 1789 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 50k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
155.25/155.35 c 152s|100000 | 1794 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 55k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
170.35/170.40 c 167s|110000 | 1785 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 61k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
185.75/185.84 c 182s|120000 | 1784 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 66k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
199.84/199.99 c 196s|130000 | 1784 | 2956 | 0.0 | 22M|2062 | - |2423 | 772 | 0 | 0 | 2 | 72k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
214.74/214.85 c 211s|140000 | 1782 | 2956 | 0.0 | 22M|2062 | - |2423 | 774 | 0 | 0 | 2 | 78k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
229.74/229.85 c 226s|150000 | 1781 | 2956 | 0.0 | 22M|2062 | - |2423 | 770 | 0 | 0 | 2 | 83k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
244.92/245.09 c 241s|160000 | 1779 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 89k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
260.02/260.18 c 255s|170000 | 1777 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 94k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
273.83/273.95 c 269s|180000 | 1774 | 2956 | 0.0 | 22M|2062 | - |2423 | 774 | 0 | 0 | 2 | 100k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
288.42/288.50 c 283s|190000 | 1778 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 106k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
302.21/302.37 c 297s|200000 | 1769 | 2956 | 0.0 | 22M|2062 | - |2423 | 772 | 0 | 0 | 2 | 111k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
317.01/317.14 c 311s|210000 | 1774 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 117k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
332.01/332.11 c 326s|220000 | 1774 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 123k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
346.00/346.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.00/346.12 c 340s|230000 | 1771 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 128k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
361.60/361.71 c 355s|240000 | 1772 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 134k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
376.39/376.59 c 370s|250000 | 1771 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 140k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
391.59/391.79 c 385s|260000 | 1771 | 2956 | 0.0 | 22M|2062 | - |2423 | 772 | 0 | 0 | 2 | 145k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
406.79/406.95 c 399s|270000 | 1772 | 2956 | 0.0 | 22M|2062 | - |2423 | 771 | 0 | 0 | 2 | 151k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
421.98/422.17 c 414s|280000 | 1767 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 156k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
436.59/436.71 c 429s|290000 | 1768 | 2956 | 0.0 | 22M|2062 | - |2423 | 774 | 0 | 0 | 2 | 162k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
451.68/451.88 c 444s|300000 | 1769 | 2956 | 0.0 | 22M|2062 | - |2423 | 769 | 0 | 0 | 2 | 167k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
467.07/467.22 c 459s|310000 | 1770 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 173k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
481.06/481.28 c 472s|320000 | 1767 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 179k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
496.26/496.40 c 487s|330000 | 1770 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 184k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
511.05/511.24 c 502s|340000 | 1764 | 2956 | 0.0 | 22M|2062 | - |2423 | 769 | 0 | 0 | 2 | 190k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
526.15/526.35 c 517s|350000 | 1764 | 2956 | 0.0 | 22M|2062 | - |2423 | 772 | 0 | 0 | 2 | 195k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
541.35/541.50 c 532s|360000 | 1766 | 2956 | 0.0 | 22M|2062 | - |2423 | 769 | 0 | 0 | 2 | 201k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
556.54/556.70 c 547s|370000 | 1764 | 2956 | 0.0 | 22M|2062 | - |2423 | 770 | 0 | 0 | 2 | 206k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
571.25/571.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
571.25/571.43 c 561s|380000 | 1764 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 212k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
585.34/585.60 c 575s|390000 | 1760 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 218k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
600.53/600.74 c 590s|400000 | 1764 | 2956 | 0.0 | 22M|2062 | - |2423 | 779 | 0 | 0 | 2 | 223k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
615.44/615.65 c 604s|410000 | 1764 | 2956 | 0.0 | 22M|2062 | - |2423 | 770 | 0 | 0 | 2 | 229k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
630.53/630.79 c 619s|420000 | 1756 | 2956 | 0.0 | 22M|2062 | - |2423 | 776 | 0 | 0 | 2 | 234k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
645.53/645.79 c 634s|430000 | 1760 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 240k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
660.93/661.11 c 649s|440000 | 1767 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 245k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
675.82/676.10 c 664s|450000 | 1761 | 2956 | 0.0 | 22M|2062 | - |2423 | 772 | 0 | 0 | 2 | 251k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
690.21/690.48 c 678s|460000 | 1764 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 256k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
705.11/705.33 c 692s|470000 | 1761 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 262k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
719.60/719.82 c 707s|480000 | 1760 | 2956 | 0.0 | 22M|2062 | - |2423 | 770 | 0 | 0 | 2 | 267k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
733.90/734.15 c 721s|490000 | 1756 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 273k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
748.90/749.19 c 736s|500000 | 1758 | 2956 | 0.0 | 22M|2062 | - |2423 | 773 | 0 | 0 | 2 | 279k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
763.79/764.07 c 750s|510000 | 1759 | 2956 | 0.0 | 22M|2062 | - |2423 | 773 | 0 | 0 | 2 | 284k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
778.69/778.98 c 765s|520000 | 1763 | 2956 | 0.0 | 22M|2062 | - |2423 | 772 | 0 | 0 | 2 | 290k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
793.69/793.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
793.69/793.98 c 780s|530000 | 1758 | 2956 | 0.0 | 22M|2062 | - |2423 | 770 | 0 | 0 | 2 | 295k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
808.58/808.84 c 794s|540000 | 1762 | 2956 | 0.0 | 22M|2062 | - |2423 | 770 | 0 | 0 | 2 | 301k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
823.38/823.63 c 809s|550000 | 1759 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 306k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
838.07/838.37 c 823s|560000 | 1754 | 2956 | 0.0 | 22M|2062 | - |2423 | 770 | 0 | 0 | 2 | 312k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
853.28/853.52 c 838s|570000 | 1761 | 2956 | 0.0 | 22M|2062 | - |2423 | 772 | 0 | 0 | 2 | 318k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
867.97/868.20 c 852s|580000 | 1761 | 2956 | 0.0 | 22M|2062 | - |2423 | 770 | 0 | 0 | 2 | 323k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
882.76/883.08 c 867s|590000 | 1755 | 2956 | 0.0 | 22M|2062 | - |2423 | 772 | 0 | 0 | 2 | 329k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
897.46/897.70 c 881s|600000 | 1757 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 334k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
912.15/912.41 c 896s|610000 | 1756 | 2956 | 0.0 | 22M|2062 | - |2423 | 772 | 0 | 0 | 2 | 340k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
927.06/927.31 c 910s|620000 | 1761 | 2956 | 0.0 | 22M|2062 | - |2423 | 770 | 0 | 0 | 2 | 346k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
941.75/942.01 c 925s|630000 | 1756 | 2956 | 0.0 | 22M|2062 | - |2423 | 769 | 0 | 0 | 2 | 351k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
956.55/956.84 c 939s|640000 | 1759 | 2956 | 0.0 | 22M|2062 | - |2423 | 770 | 0 | 0 | 2 | 357k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
971.24/971.56 c 954s|650000 | 1754 | 2956 | 0.0 | 22M|2062 | - |2423 | 772 | 0 | 0 | 2 | 362k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
985.74/986.06 c 968s|660000 | 1753 | 2956 | 0.0 | 22M|2062 | - |2423 | 770 | 0 | 0 | 2 | 368k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1000.83/1001.19 c 983s|670000 | 1751 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 373k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1015.72/1016.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1015.72/1016.04 c 998s|680000 | 1755 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 379k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1029.63/1029.93 c 1011s|690000 | 1761 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 385k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1044.12/1044.45 c 1025s|700000 | 1758 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 390k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1058.82/1059.12 c 1040s|710000 | 1754 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 396k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1073.71/1074.03 c 1055s|720000 | 1754 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 401k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1088.01/1088.39 c 1069s|730000 | 1753 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 407k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1103.31/1103.68 c 1084s|740000 | 1758 | 2956 | 0.0 | 22M|2062 | - |2423 | 771 | 0 | 0 | 2 | 412k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1118.00/1118.33 c 1098s|750000 | 1760 | 2956 | 0.0 | 22M|2062 | - |2423 | 778 | 0 | 0 | 2 | 418k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1133.00/1133.31 c 1113s|760000 | 1758 | 2956 | 0.0 | 22M|2062 | - |2423 | 773 | 0 | 0 | 2 | 423k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1147.89/1148.20 c 1127s|770000 | 1757 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 429k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1162.89/1163.26 c 1142s|780000 | 1754 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 435k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1178.49/1178.87 c 1157s|790000 | 1755 | 2956 | 0.0 | 22M|2062 | - |2423 | 772 | 0 | 0 | 2 | 440k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1194.08/1194.43 c 1173s|800000 | 1760 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 446k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1208.59/1208.91 c 1187s|810000 | 1760 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 452k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1223.57/1223.96 c 1202s|820000 | 1759 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 457k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1238.28/1238.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1238.28/1238.66 c 1216s|830000 | 1761 | 2956 | 0.0 | 22M|2062 | - |2423 | 774 | 0 | 0 | 2 | 463k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1253.16/1253.51 c 1231s|840000 | 1761 | 2956 | 0.0 | 22M|2062 | - |2423 | 770 | 0 | 0 | 2 | 468k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1268.16/1268.51 c 1245s|850000 | 1756 | 2956 | 0.0 | 22M|2062 | - |2423 | 769 | 0 | 0 | 2 | 474k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1283.16/1283.54 c 1260s|860000 | 1760 | 2956 | 0.0 | 22M|2062 | - |2423 | 769 | 0 | 0 | 2 | 480k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1297.95/1298.35 c 1275s|870000 | 1763 | 2956 | 0.0 | 22M|2062 | - |2423 | 769 | 0 | 0 | 2 | 485k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1312.65/1313.03 c 1289s|880000 | 1761 | 2956 | 0.0 | 22M|2062 | - |2423 | 770 | 0 | 0 | 2 | 491k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1327.35/1327.72 c 1304s|890000 | 1757 | 2956 | 0.0 | 22M|2062 | - |2423 | 770 | 0 | 0 | 2 | 496k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1341.95/1342.35 c 1318s|900000 | 1759 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 502k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1356.25/1356.67 c 1332s|910000 | 1750 | 2956 | 0.0 | 22M|2062 | - |2423 | 771 | 0 | 0 | 2 | 507k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1371.14/1371.51 c 1347s|920000 | 1751 | 2956 | 0.0 | 22M|2062 | - |2423 | 777 | 0 | 0 | 2 | 513k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1385.93/1386.32 c 1361s|930000 | 1761 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 518k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1400.94/1401.32 c 1376s|940000 | 1760 | 2956 | 0.0 | 22M|2062 | - |2423 | 769 | 0 | 0 | 2 | 524k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1415.93/1416.33 c 1391s|950000 | 1753 | 2956 | 0.0 | 22M|2062 | - |2423 | 786 | 0 | 0 | 2 | 530k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1430.53/1430.94 c 1405s|960000 | 1759 | 2956 | 0.0 | 22M|2062 | - |2423 | 770 | 0 | 0 | 2 | 535k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1445.03/1445.41 c 1419s|970000 | 1756 | 2956 | 0.0 | 22M|2062 | - |2423 | 774 | 0 | 0 | 2 | 540k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1460.01/1460.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1460.01/1460.41 c 1434s|980000 | 1751 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 546k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1474.51/1474.98 c 1448s|990000 | 1758 | 2956 | 0.0 | 22M|2062 | - |2423 | 770 | 0 | 0 | 2 | 552k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1489.30/1489.78 c 1463s| 1000k| 1749 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 557k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1504.00/1504.45 c 1477s| 1010k| 1751 | 2956 | 0.0 | 22M|2062 | - |2423 | 772 | 0 | 0 | 2 | 563k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1518.70/1519.13 c 1492s| 1020k| 1758 | 2956 | 0.0 | 22M|2062 | - |2423 | 775 | 0 | 0 | 2 | 568k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1533.60/1534.02 c 1506s| 1030k| 1756 | 2956 | 0.0 | 22M|2062 | - |2423 | 771 | 0 | 0 | 2 | 574k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1548.19/1548.62 c 1520s| 1040k| 1751 | 2956 | 0.0 | 22M|2062 | - |2423 | 771 | 0 | 0 | 2 | 579k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1562.70/1563.19 c 1535s| 1050k| 1758 | 2956 | 0.0 | 22M|2062 | - |2423 | 771 | 0 | 0 | 2 | 585k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1577.68/1578.11 c 1549s| 1060k| 1751 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 590k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1591.08/1591.55 c 1563s| 1070k| 1776 | 2956 | 0.0 | 22M|2062 | - |2423 | 770 | 0 | 0 | 2 | 596k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1605.58/1606.04 c 1577s| 1080k| 1771 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 602k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1618.47/1618.97 c 1590s| 1090k| 1773 | 2956 | 0.0 | 22M|2062 | - |2423 | 769 | 0 | 0 | 2 | 607k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1633.67/1634.14 c 1604s| 1100k| 1767 | 2956 | 0.0 | 22M|2062 | - |2423 | 769 | 0 | 0 | 2 | 613k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1649.06/1649.55 c 1620s| 1110k| 1764 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 618k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1663.87/1664.38 c 1634s| 1120k| 1764 | 2956 | 0.0 | 22M|2062 | - |2423 | 772 | 0 | 0 | 2 | 624k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1679.17/1679.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1679.17/1679.66 c 1649s| 1130k| 1761 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 630k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1694.45/1694.91 c 1664s| 1140k| 1762 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 635k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1709.55/1710.07 c 1679s| 1150k| 1763 | 2956 | 0.0 | 22M|2062 | - |2423 | 769 | 0 | 0 | 2 | 641k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1724.75/1725.30 c 1694s| 1160k| 1764 | 2956 | 0.0 | 22M|2062 | - |2423 | 768 | 0 | 0 | 2 | 646k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1739.94/1740.48 c 1709s| 1170k| 1769 | 2956 | 0.0 | 22M|2062 | - |2423 | 767 | 0 | 0 | 2 | 652k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1755.24/1755.79 c 1724s| 1180k| 1763 | 2956 | 0.0 | 22M|2062 | - |2423 | 773 | 0 | 0 | 2 | 658k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1770.44/1770.98 c 1739s| 1190k| 1760 | 2956 | 0.0 | 22M|2062 | - |2423 | 771 | 0 | 0 | 2 | 663k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1785.73/1786.20 c 1754s| 1200k| 1759 | 2956 | 0.0 | 22M|2062 | - |2423 | 773 | 0 | 0 | 2 | 669k| 25 | 3.601164e+01 | 3.800000e+01 | 5.52%
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.50 c
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.50 c Solving Time (sec) : 1767.93
1800.03/1800.50 c Solving Nodes : 1209309
1800.03/1800.50 c Primal Bound : +3.80000000000000e+01 (9 solutions)
1800.03/1800.50 c Dual Bound : +3.60116448326055e+01
1800.03/1800.50 c Gap : 5.52 %
1800.03/1800.51 s SATISFIABLE
1800.03/1800.51 v -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410
1800.03/1800.51 v -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 x2394 -x2393 -x2392
1800.03/1800.51 v -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375
1800.03/1800.51 v -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357
1800.03/1800.51 v -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339
1800.03/1800.51 v -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321
1800.03/1800.51 v -x2320 -x2319 -x2318 -x2317 -x2316 x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303
1800.03/1800.51 v -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 x2287 -x2286 -x2285
1800.03/1800.51 v -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267
1800.03/1800.51 v -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249
1800.03/1800.51 v -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231
1800.03/1800.51 v -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214
1800.03/1800.51 v -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196
1800.03/1800.51 v -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178
1800.03/1800.51 v -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160
1800.03/1800.51 v -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142
1800.03/1800.51 v -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124
1800.03/1800.51 v -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106
1800.03/1800.51 v -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089
1800.03/1800.51 v -x2088 -x2087 x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071
1800.03/1800.51 v -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053
1800.03/1800.51 v -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 x2039 -x2038 -x2037 -x2036 -x2035
1800.03/1800.51 v -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017
1800.03/1800.51 v -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999
1800.03/1800.51 v -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981
1800.03/1800.51 v -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963
1800.03/1800.51 v -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945
1800.03/1800.51 v -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928
1800.03/1800.51 v -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910
1800.03/1800.51 v -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892
1800.03/1800.51 v -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874
1800.03/1800.51 v -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856
1800.03/1800.51 v -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838
1800.03/1800.51 v -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820
1800.03/1800.51 v x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802
1800.03/1800.51 v -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784
1800.03/1800.51 v -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767
1800.03/1800.51 v -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749
1800.03/1800.51 v -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731
1800.03/1800.51 v -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713
1800.03/1800.51 v -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695
1800.03/1800.51 v -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677
1800.03/1800.51 v -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 x1669 -x1668 -x1667 x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659
1800.03/1800.51 v -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641
1800.03/1800.51 v -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623
1800.03/1800.51 v -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605
1800.03/1800.51 v -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588
1800.03/1800.51 v -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570
1800.03/1800.51 v -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552
1800.03/1800.51 v -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534
1800.03/1800.51 v -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516
1800.03/1800.51 v -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 x1502 -x1501 -x1500 -x1499 -x1498
1800.03/1800.51 v -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 x1484 -x1483 -x1482 -x1481 -x1480
1800.03/1800.51 v -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462
1800.03/1800.51 v -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444
1800.03/1800.51 v -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 x1427 -x1426
1800.03/1800.51 v -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408
1800.03/1800.51 v -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391
1800.03/1800.51 v -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373
1800.03/1800.51 v -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 x1358 -x1357 -x1356 -x1355
1800.03/1800.51 v -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337
1800.03/1800.51 v -x1336 -x1335 -x1334 -x1333 -x1332 x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319
1800.03/1800.51 v -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301
1800.03/1800.51 v -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283
1800.03/1800.51 v -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265
1800.03/1800.51 v -x1264 x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247
1800.03/1800.51 v -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229
1800.03/1800.51 v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212
1800.03/1800.51 v -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194
1800.03/1800.51 v -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176
1800.03/1800.51 v -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158
1800.03/1800.51 v -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140
1800.03/1800.51 v -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122
1800.03/1800.51 v -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104
1800.03/1800.51 v x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086
1800.03/1800.51 v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068
1800.03/1800.51 v -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051
1800.03/1800.51 v -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033
1800.03/1800.51 v -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 x1017 -x1016 -x1015
1800.03/1800.51 v -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996
1800.03/1800.51 v -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976
1800.03/1800.51 v -x975 -x974 x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 x954
1800.03/1800.51 v -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 x937 -x936 -x935 -x934 -x933
1800.03/1800.51 v -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912
1800.03/1800.51 v -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892
1800.03/1800.51 v -x891 -x890 -x889 -x888 x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870
1800.03/1800.51 v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850
1800.03/1800.51 v -x849 -x848 x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 x832 -x831 -x830 -x829 -x828
1800.03/1800.51 v -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808
1800.03/1800.51 v -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787
1800.03/1800.51 v -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766
1800.03/1800.51 v -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745
1800.03/1800.51 v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724
1800.03/1800.51 v -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703
1800.03/1800.51 v -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683
1800.03/1800.51 v x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662
1800.03/1800.51 v -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641
1800.03/1800.51 v -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 x622 -x621 -x620
1800.03/1800.51 v -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599
1800.03/1800.51 v -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578
1800.03/1800.51 v -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557
1800.03/1800.51 v -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536
1800.03/1800.51 v -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516
1800.03/1800.51 v -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495
1800.03/1800.51 v -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474
1800.03/1800.51 v -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453
1800.03/1800.51 v -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432
1800.03/1800.51 v -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411
1800.03/1800.51 v -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391
1800.03/1800.51 v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370
1800.03/1800.51 v -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349
1800.03/1800.51 v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328
1800.03/1800.51 v -x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307
1800.03/1800.51 v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286
1800.03/1800.51 v -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265
1800.03/1800.51 v -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244
1800.03/1800.51 v -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223
1800.03/1800.51 v -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203
1800.03/1800.51 v -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182
1800.03/1800.51 v -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161
1800.03/1800.52 v -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140
1800.03/1800.52 v -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119
1800.03/1800.52 v -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97
1800.03/1800.52 v -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72
1800.03/1800.52 v -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47
1800.03/1800.52 v -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22
1800.03/1800.52 v -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.03/1800.52 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.52 c Solving Time : 1767.93
1800.03/1800.52 c Original Problem :
1800.03/1800.52 c Problem name : HOME/instance-2667645-1276594062.opb
1800.03/1800.52 c Variables : 2428 (2428 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.52 c Constraints : 831 initial, 831 maximal
1800.03/1800.52 c Presolved Problem :
1800.03/1800.52 c Problem name : t_HOME/instance-2667645-1276594062.opb
1800.03/1800.52 c Variables : 2423 (2423 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.52 c Constraints : 767 initial, 793 maximal
1800.03/1800.52 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.52 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.52 c dualfix : 0.00 5 0 0 0 0 0 0 0
1800.03/1800.52 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.52 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.52 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.52 c probing : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.52 c linear : 0.05 0 0 0 0 0 3 0 0
1800.03/1800.52 c logicor : 0.05 0 0 0 0 0 61 0 0
1800.03/1800.52 c root node : - 0 - - 0 - - - -
1800.03/1800.52 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.52 c integral : 0 0 0 1 0 0 0 0 0 2
1800.03/1800.52 c logicor : 767+ 3 2521711 0 0 419687 1416059 0 0 0
1800.03/1800.52 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.52 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.52 c integral : 7.32 0.00 0.00 7.32 0.00
1800.03/1800.52 c logicor : 731.89 0.00 731.89 0.00 0.00
1800.03/1800.52 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.52 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.52 c vbounds : 2.16 2 0 0
1800.03/1800.52 c rootredcost : 2.36 0 0 0
1800.03/1800.52 c pseudoobj : 755.33 4462401 247905 42768585
1800.03/1800.52 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.52 c propagation : 824.49 667379 667379 667379 251.8 7228 276.9 -
1800.03/1800.52 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.52 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.52 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.52 c pseudo solution : 2.99 3958 3958 3958 226.0 124 188.2 -
1800.03/1800.52 c applied globally : - - - 351833 126.6 - - -
1800.03/1800.52 c applied locally : - - - 322609 387.1 - - -
1800.03/1800.52 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.52 c cut pool : 0.01 2 - - 0 - (maximal pool size: 250)
1800.03/1800.52 c redcost : 0.00 4 0 0 0 0
1800.03/1800.52 c impliedbounds : 0.00 4 0 0 0 0
1800.03/1800.52 c intobj : 0.00 0 0 0 0 0
1800.03/1800.52 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.52 c gomory : 0.14 4 0 0 55 0
1800.03/1800.52 c strongcg : 0.90 4 0 0 555 0
1800.03/1800.52 c cmir : 0.08 4 0 0 0 0
1800.03/1800.52 c flowcover : 0.12 4 0 0 0 0
1800.03/1800.52 c clique : 0.00 1 0 0 0 0
1800.03/1800.52 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.52 c mcf : 0.00 1 0 0 0 0
1800.03/1800.52 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.52 c Pricers : Time Calls Vars
1800.03/1800.52 c problem variables: 0.00 0 0
1800.03/1800.52 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.52 c relpscost : 7.32 1 0 0 0 0 2
1800.03/1800.52 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.52 c inference : 138.10 868867 0 0 0 0 1737734
1800.03/1800.52 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.52 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.52 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.52 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.52 c random : 0.00 0 0 0 0 0 0
1800.03/1800.52 c Primal Heuristics : Time Calls Found
1800.03/1800.52 c LP solutions : 0.00 - 0
1800.03/1800.52 c pseudo solutions : 0.00 - 0
1800.03/1800.52 c crossover : 0.00 0 0
1800.03/1800.52 c oneopt : 0.79 3 1
1800.03/1800.52 c trivial : 0.00 2 3
1800.03/1800.52 c simplerounding : 0.00 3 3
1800.03/1800.52 c zirounding : 0.00 1 1
1800.03/1800.52 c rounding : 0.01 3 0
1800.03/1800.52 c shifting : 0.01 3 0
1800.03/1800.52 c intshifting : 0.00 0 0
1800.03/1800.52 c twoopt : 0.00 0 0
1800.03/1800.52 c fixandinfer : 0.00 0 0
1800.03/1800.52 c feaspump : 0.00 0 0
1800.03/1800.52 c coefdiving : 0.00 0 0
1800.03/1800.52 c pscostdiving : 0.00 0 0
1800.03/1800.52 c fracdiving : 0.00 0 0
1800.03/1800.52 c veclendiving : 0.00 0 0
1800.03/1800.52 c intdiving : 0.00 0 0
1800.03/1800.52 c actconsdiving : 0.00 0 0
1800.03/1800.52 c objpscostdiving : 0.00 0 0
1800.03/1800.52 c rootsoldiving : 0.00 0 0
1800.03/1800.52 c linesearchdiving : 0.00 0 0
1800.03/1800.52 c guideddiving : 0.00 0 0
1800.03/1800.52 c octane : 0.00 0 0
1800.03/1800.52 c rens : 0.58 1 1
1800.03/1800.52 c rins : 0.00 0 0
1800.03/1800.52 c localbranching : 0.00 0 0
1800.03/1800.52 c mutation : 0.00 0 0
1800.03/1800.52 c dins : 0.00 0 0
1800.03/1800.52 c undercover : 0.00 0 0
1800.03/1800.52 c nlp : 0.84 0 0
1800.03/1800.52 c trysol : 0.74 0 0
1800.03/1800.52 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.52 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.52 c dual LP : 1.11 3 2956 985.33 2663.06
1800.03/1800.52 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.52 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.52 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.52 c strong branching : 7.32 25 16134 645.36 2204.10
1800.03/1800.52 c (at root node) : - 25 16134 645.36 -
1800.03/1800.52 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.52 c B&B Tree :
1800.03/1800.52 c number of runs : 1
1800.03/1800.52 c nodes : 1209309
1800.03/1800.52 c nodes (total) : 1209309
1800.03/1800.52 c nodes left : 1759
1800.03/1800.52 c max depth : 2062
1800.03/1800.52 c max depth (total): 2062
1800.03/1800.52 c backtracks : 410402 (33.9%)
1800.03/1800.52 c delayed cutoffs : 407419
1800.03/1800.52 c repropagations : 962642 (23097466 domain reductions, 331109 cutoffs)
1800.03/1800.52 c avg switch length: 2.66
1800.03/1800.52 c switching time : 48.62
1800.03/1800.52 c Solution :
1800.03/1800.52 c Solutions found : 9 (4 improvements)
1800.03/1800.52 c First Solution : +2.42800000000000e+03 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.03/1800.52 c Primal Bound : +3.80000000000000e+01 (in run 1, after 1 nodes, 3.06 seconds, depth 0, found by <rens>)
1800.03/1800.52 c Dual Bound : +3.60116448326055e+01
1800.03/1800.52 c Gap : 5.52 %
1800.03/1800.52 c Root Dual Bound : +3.58013029315961e+01
1800.03/1800.52 c Root Iterations : 2956
1800.03/1800.55 c Time complete: 1800.08.
OK 38
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667645-1276594062/watcher-2667645-1276594062 -o /tmp/evaluation-result-2667645-1276594062/solver-2667645-1276594062 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667645-1276594062.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: 0.93 1.02 0.99 3/106 5050 /proc/meminfo: memFree=1819720/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=7724 CPUtime=0 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 1044 0 0 0 0 0 0 0 20 0 1 0 35010181 7909376 963 1992294400 4194304 8223781 140735123361552 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5050/statm: 1931 973 348 984 0 944 0 [startup+0.038895 s] /proc/loadavg: 0.93 1.02 0.99 3/106 5050 /proc/meminfo: memFree=1819720/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=11948 CPUtime=0.02 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 2291 0 0 0 2 0 0 0 20 0 1 0 35010181 12234752 2209 1992294400 4194304 8223781 140735123361552 18446744073709551615 5648950 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5050/statm: 2987 2209 365 984 0 2000 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11948 [startup+0.101899 s] /proc/loadavg: 0.93 1.02 0.99 3/106 5050 /proc/meminfo: memFree=1819720/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=12944 CPUtime=0.09 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 2536 0 0 0 9 0 0 0 20 0 1 0 35010181 13254656 2454 1992294400 4194304 8223781 140735123361552 18446744073709551615 7246482 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5050/statm: 3236 2454 365 984 0 2249 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12944 [startup+0.300919 s] /proc/loadavg: 0.93 1.02 0.99 3/106 5050 /proc/meminfo: memFree=1819720/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=26420 CPUtime=0.29 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 7085 0 0 0 26 3 0 0 20 0 1 0 35010181 27054080 5606 1992294400 4194304 8223781 140735123361552 18446744073709551615 6021852 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 6605 5606 488 984 0 5618 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26420 [startup+0.700961 s] /proc/loadavg: 0.93 1.02 0.99 3/106 5050 /proc/meminfo: memFree=1819720/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=31668 CPUtime=0.69 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 8616 0 0 0 65 4 0 0 21 0 1 0 35010181 32428032 6810 1992294400 4194304 8223781 140735123361552 18446744073709551615 6359004 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 7917 6810 529 984 0 6930 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31668 [startup+1.50104 s] /proc/loadavg: 0.93 1.02 0.99 2/107 5051 /proc/meminfo: memFree=1794168/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=43376 CPUtime=1.49 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 11490 0 0 0 143 6 0 0 23 0 1 0 35010181 44417024 9451 1992294400 4194304 8223781 140735123361552 18446744073709551615 6021972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 10844 9451 540 984 0 9857 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43376 [startup+3.10121 s] /proc/loadavg: 0.93 1.02 0.99 2/107 5051 /proc/meminfo: memFree=1768872/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=81424 CPUtime=3.09 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 22872 0 0 0 296 13 0 0 25 0 1 0 35010181 83378176 18683 1992294400 4194304 8223781 140735123361552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 20356 18683 580 984 0 19369 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 81424 [startup+6.30153 s] /proc/loadavg: 0.93 1.02 0.99 2/107 5051 /proc/meminfo: memFree=1759944/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=65696 CPUtime=6.29 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 22909 0 0 0 612 17 0 0 25 0 1 0 35010181 67272704 15210 1992294400 4194304 8223781 140735123361552 18446744073709551615 6539315 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 16424 15210 587 984 0 15437 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 65696 [startup+12.7012 s] /proc/loadavg: 0.94 1.02 0.99 2/107 5051 /proc/meminfo: memFree=1759944/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=65696 CPUtime=12.69 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 22924 0 0 0 1245 24 0 0 25 0 1 0 35010181 67272704 15225 1992294400 4194304 8223781 140735123361552 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 16424 15225 591 984 0 15437 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 65696 [startup+25.5015 s] /proc/loadavg: 0.95 1.02 0.99 2/107 5051 /proc/meminfo: memFree=1759324/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=67076 CPUtime=25.49 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 23236 0 0 0 2500 49 0 0 25 0 1 0 35010181 68685824 15537 1992294400 4194304 8223781 140735123361552 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 16769 15537 591 984 0 15782 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 67076 [startup+51.1011 s] /proc/loadavg: 0.97 1.01 0.99 2/107 5053 /proc/meminfo: memFree=1757588/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=68884 CPUtime=51.08 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 23677 0 0 0 5012 96 0 0 25 0 1 0 35010181 70537216 15978 1992294400 4194304 8223781 140735123361552 18446744073709551615 5918859 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 17221 15978 591 984 0 16234 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 68884 [startup+102.308 s] /proc/loadavg: 0.98 1.01 0.99 2/107 5053 /proc/meminfo: memFree=1754364/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=72032 CPUtime=102.27 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 24430 0 0 0 10044 183 0 0 25 0 1 0 35010181 73760768 16731 1992294400 4194304 8223781 140735123361552 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18008 16731 591 984 0 17021 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 72032 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5055 /proc/meminfo: memFree=1753248/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=73144 CPUtime=162.24 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 24701 0 0 0 15936 288 0 0 25 0 1 0 35010181 74899456 17002 1992294400 4194304 8223781 140735123361552 18446744073709551615 5506174 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18286 17002 591 984 0 17299 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 73144 [startup+222.302 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5057 /proc/meminfo: memFree=1752752/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=73564 CPUtime=222.23 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 24806 0 0 0 21825 398 0 0 25 0 1 0 35010181 75329536 17107 1992294400 4194304 8223781 140735123361552 18446744073709551615 4704214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18391 17107 591 984 0 17404 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 73564 [startup+282.302 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5059 /proc/meminfo: memFree=1752380/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=73972 CPUtime=282.21 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 24892 0 0 0 27715 506 0 0 25 0 1 0 35010181 75747328 17193 1992294400 4194304 8223781 140735123361552 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18493 17193 591 984 0 17506 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 73972 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5059 /proc/meminfo: memFree=1752256/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=73972 CPUtime=342.2 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 24921 0 0 0 33602 618 0 0 25 0 1 0 35010181 75747328 17222 1992294400 4194304 8223781 140735123361552 18446744073709551615 4648625 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18493 17222 591 984 0 17506 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 73972 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5061 /proc/meminfo: memFree=1751388/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=74760 CPUtime=402.19 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25104 0 0 0 39491 728 0 0 25 0 1 0 35010181 76554240 17405 1992294400 4194304 8223781 140735123361552 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18690 17405 591 984 0 17703 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 74760 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5063 /proc/meminfo: memFree=1751264/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=74760 CPUtime=462.17 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25109 0 0 0 45387 830 0 0 25 0 1 0 35010181 76554240 17410 1992294400 4194304 8223781 140735123361552 18446744073709551615 4660050 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18690 17410 591 984 0 17703 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 74760 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5065 /proc/meminfo: memFree=1751140/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=74760 CPUtime=522.15 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25116 0 0 0 51279 936 0 0 25 0 1 0 35010181 76554240 17417 1992294400 4194304 8223781 140735123361552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18690 17417 591 984 0 17703 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 74760 [startup+582.302 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5067 /proc/meminfo: memFree=1751140/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=74904 CPUtime=582.14 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25129 0 0 0 57173 1041 0 0 25 0 1 0 35010181 76701696 17430 1992294400 4194304 8223781 140735123361552 18446744073709551615 5507169 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18726 17430 591 984 0 17739 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 74904 [startup+642.302 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5067 /proc/meminfo: memFree=1751016/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=74904 CPUtime=642.13 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25144 0 0 0 63064 1149 0 0 25 0 1 0 35010181 76701696 17445 1992294400 4194304 8223781 140735123361552 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18726 17445 591 984 0 17739 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 74904 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5075 /proc/meminfo: memFree=1750396/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=75304 CPUtime=882.06 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25246 0 0 0 86636 1570 0 0 25 0 1 0 35010181 77111296 17547 1992294400 4194304 8223781 140735123361552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18826 17547 591 984 0 17839 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 75304 [startup+942.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5075 /proc/meminfo: memFree=1750272/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=75304 CPUtime=942.05 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25246 0 0 0 92529 1676 0 0 25 0 1 0 35010181 77111296 17547 1992294400 4194304 8223781 140735123361552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18826 17547 591 984 0 17839 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 75304 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5077 /proc/meminfo: memFree=1750148/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=75304 CPUtime=1002.04 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25248 0 0 0 98418 1786 0 0 25 0 1 0 35010181 77111296 17549 1992294400 4194304 8223781 140735123361552 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18826 17549 591 984 0 17839 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 75304 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5079 /proc/meminfo: memFree=1750148/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=75304 CPUtime=1062.01 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25251 0 0 0 104308 1893 0 0 25 0 1 0 35010181 77111296 17552 1992294400 4194304 8223781 140735123361552 18446744073709551615 5506849 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18826 17552 591 984 0 17839 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 75304 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5081 /proc/meminfo: memFree=1750024/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=75304 CPUtime=1122 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25251 0 0 0 110199 2001 0 0 25 0 1 0 35010181 77111296 17552 1992294400 4194304 8223781 140735123361552 18446744073709551615 5506155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18826 17552 591 984 0 17839 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 75304 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5083 /proc/meminfo: memFree=1749900/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=75304 CPUtime=1181.98 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25254 0 0 0 116088 2110 0 0 25 0 1 0 35010181 77111296 17555 1992294400 4194304 8223781 140735123361552 18446744073709551615 5917627 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18826 17555 591 984 0 17839 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 75304 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5083 /proc/meminfo: memFree=1749776/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=75436 CPUtime=1241.97 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25261 0 0 0 121983 2214 0 0 25 0 1 0 35010181 77246464 17562 1992294400 4194304 8223781 140735123361552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18859 17562 591 984 0 17872 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 75436 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5085 /proc/meminfo: memFree=1749652/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=75436 CPUtime=1301.96 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25269 0 0 0 127874 2322 0 0 25 0 1 0 35010181 77246464 17570 1992294400 4194304 8223781 140735123361552 18446744073709551615 5506155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18859 17570 591 984 0 17872 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 75436 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5087 /proc/meminfo: memFree=1749528/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=75436 CPUtime=1361.94 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25291 0 0 0 133761 2433 0 0 25 0 1 0 35010181 77246464 17592 1992294400 4194304 8223781 140735123361552 18446744073709551615 5905979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18859 17592 591 984 0 17872 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 75436 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5089 /proc/meminfo: memFree=1749528/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=75580 CPUtime=1421.93 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25306 0 0 0 139654 2539 0 0 25 0 1 0 35010181 77393920 17607 1992294400 4194304 8223781 140735123361552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18895 17607 591 984 0 17908 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 75580 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5091 /proc/meminfo: memFree=1749280/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=75716 CPUtime=1481.91 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25337 0 0 0 145547 2644 0 0 25 0 1 0 35010181 77533184 17638 1992294400 4194304 8223781 140735123361552 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18929 17638 591 984 0 17942 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 75716 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5091 /proc/meminfo: memFree=1749280/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=75848 CPUtime=1541.9 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25360 0 0 0 151438 2752 0 0 25 0 1 0 35010181 77668352 17661 1992294400 4194304 8223781 140735123361552 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18962 17661 591 984 0 17975 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 75848 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5093 /proc/meminfo: memFree=1749032/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=75848 CPUtime=1601.88 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25386 0 0 0 157324 2864 0 0 25 0 1 0 35010181 77668352 17687 1992294400 4194304 8223781 140735123361552 18446744073709551615 4642105 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18962 17687 591 984 0 17975 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 75848 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5095 /proc/meminfo: memFree=1749032/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=75984 CPUtime=1661.86 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25400 0 0 0 163216 2970 0 0 25 0 1 0 35010181 77807616 17701 1992294400 4194304 8223781 140735123361552 18446744073709551615 5506174 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18996 17701 591 984 0 18009 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 75984 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5097 /proc/meminfo: memFree=1748908/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=75984 CPUtime=1721.84 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25401 0 0 0 169113 3071 0 0 25 0 1 0 35010181 77807616 17702 1992294400 4194304 8223781 140735123361552 18446744073709551615 5507155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18996 17702 591 984 0 18009 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 75984 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5099 /proc/meminfo: memFree=1748660/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=75984 CPUtime=1781.83 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25401 0 0 0 175010 3173 0 0 25 0 1 0 35010181 77807616 17702 1992294400 4194304 8223781 140735123361552 18446744073709551615 5506134 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18996 17702 591 984 0 18009 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 75984 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5099 /proc/meminfo: memFree=1748660/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=75984 CPUtime=1800.03 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25401 0 0 0 176802 3201 0 0 25 0 1 0 35010181 77807616 17702 1992294400 4194304 8223781 140735123361552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18996 17702 591 984 0 18009 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 75984 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 1.00 0.99 2/107 5099 /proc/meminfo: memFree=1748660/2059040 swapFree=4135652/4192956 [pid=5050] ppid=5048 vsize=75984 CPUtime=1800.03 /proc/5050/stat : 5050 (pbscip.linux.x8) R 5048 5050 4850 0 -1 4202496 25401 0 0 0 176802 3201 0 0 25 0 1 0 35010181 77807616 17702 1992294400 4194304 8223781 140735123361552 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5050/statm: 18996 17702 591 984 0 18009 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 75984 Child status: 0 Real time (s): 1800.56 CPU time (s): 1800.09 CPU user time (s): 1768.07 CPU system time (s): 32.0271 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (KiB): 81424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1768.07 system time used= 32.0271 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25434 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= 6827 runsolver used 2.98455 second user time and 8.51071 second system time The end
Begin job on node002 at 2010-06-15 11:27:42 IDJOB=2667645 IDBENCH=2873 IDSOLVER=1169 FILE ID=node002/2667645-1276594062 PBS_JOBID= 11172228 Free space on /tmp= 62572 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex5.r.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667645-1276594062/watcher-2667645-1276594062 -o /tmp/evaluation-result-2667645-1276594062/solver-2667645-1276594062 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667645-1276594062.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a65b7dae8af36ed37815bca4e48a5306 RANDOM SEED=510971302 node002.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1820248 kB Buffers: 42396 kB Cached: 106196 kB SwapCached: 10548 kB Active: 89156 kB Inactive: 72556 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1820248 kB SwapTotal: 4192956 kB SwapFree: 4135652 kB Dirty: 4884 kB Writeback: 0 kB AnonPages: 11448 kB Mapped: 9360 kB Slab: 55304 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182040 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 node002 at 2010-06-15 11:57:45