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) | 7 | 1800.09 | 1800.58 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-rd84.b.opb |
| MD5SUM | 6560abb26f607ef952ebe1a74dd5dae1 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 57.3413 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5 |
| Optimality of the best value was proved | YES |
| Number of variables | 1009 |
| Total number of constraints | 3773 |
| Number of constraints which are clauses | 3773 |
| 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 | 5 |
| Maximum length of a constraint | 446 |
| Number of terms in the objective function | 1009 |
| 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 | 1009 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1009 |
| Number of bits of the biggest sum of numbers | 10 |
| 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.01 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2664754-1276589879.opb>
0.39/0.49 c original problem has 1009 variables (1009 bin, 0 int, 0 impl, 0 cont) and 3773 constraints
0.39/0.49 c problem read
0.39/0.49 c presolving settings loaded
0.39/0.49 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.59/0.65 o 1009
0.59/0.65 o 979
0.59/0.65 c feasible solution found by trivial heuristic, objective value 9.790000e+02
0.59/0.65 c presolving:
1.49/1.52 c (round 1) 0 del vars, 376 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 3770 upgd conss, 0 impls, 0 clqs
1.49/1.55 c (1.0s) probing: 101/1009 (10.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.49/1.55 c (1.0s) probing aborted: 100/100 successive totally useless probings
1.49/1.55 c presolving (2 rounds):
1.49/1.55 c 0 deleted vars, 376 deleted constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
1.49/1.55 c 0 implications, 0 cliques
1.49/1.55 c presolved problem has 1009 variables (1009 bin, 0 int, 0 impl, 0 cont) and 3397 constraints
1.49/1.55 c 3397 constraints of type <logicor>
1.49/1.55 c transformed objective value is always integral (scale: 1)
1.49/1.55 c Presolving Time: 0.91
1.49/1.55 c - non default parameters ----------------------------------------------------------------------
1.49/1.55 c # SCIP version 1.2.1.2
1.49/1.55 c
1.49/1.55 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.49/1.55 c # [type: int, range: [-1,2147483647], default: -1]
1.49/1.55 c conflict/interconss = 0
1.49/1.55 c
1.49/1.55 c # should binary conflicts be preferred?
1.49/1.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.55 c conflict/preferbinary = TRUE
1.49/1.55 c
1.49/1.55 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.49/1.55 c # [type: int, range: [-1,2147483647], default: 0]
1.49/1.55 c constraints/agelimit = 1
1.49/1.55 c
1.49/1.55 c # should enforcement of pseudo solution be disabled?
1.49/1.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.55 c constraints/disableenfops = TRUE
1.49/1.55 c
1.49/1.55 c # frequency for displaying node information lines
1.49/1.55 c # [type: int, range: [-1,2147483647], default: 100]
1.49/1.55 c display/freq = 10000
1.49/1.55 c
1.49/1.55 c # maximal time in seconds to run
1.49/1.55 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.55 c limits/time = 1799.51
1.49/1.55 c
1.49/1.55 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.49/1.55 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.55 c limits/memory = 1620
1.49/1.55 c
1.49/1.55 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.49/1.55 c # [type: int, range: [-1,2147483647], default: 1]
1.49/1.55 c lp/solvefreq = -1
1.49/1.55 c
1.49/1.55 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)
1.49/1.55 c # [type: char, range: {lafpsqd}, default: l]
1.49/1.55 c lp/pricing = a
1.49/1.55 c
1.49/1.55 c # should presolving try to simplify inequalities
1.49/1.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.55 c constraints/linear/simplifyinequalities = TRUE
1.49/1.55 c
1.49/1.55 c # should presolving try to simplify knapsacks
1.49/1.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.55 c constraints/knapsack/simplifyinequalities = TRUE
1.49/1.55 c
1.49/1.55 c # priority of node selection rule <dfs> in standard mode
1.49/1.55 c # [type: int, range: [-536870912,536870911], default: 0]
1.49/1.55 c nodeselection/dfs/stdpriority = 1000000
1.49/1.55 c
1.49/1.55 c -----------------------------------------------------------------------------------------------
1.49/1.55 c start solving
1.49/1.55 c
1.49/1.55 o 894
1.49/1.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.55 c t 1.0s| 1 | 0 | 0 | - | 16M| 0 | - |1009 |3397 | 0 | 0 | 0 | 0 | 0 | -- | 8.940000e+02 | Inf
1.49/1.55 c 1.0s| 1 | 2 | 0 | - | 16M| 0 | - |1009 |3397 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 8.940000e+02 | Inf
1.69/1.72 o 10
1.69/1.72 c * 1.2s| 937 | 918 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | 1.000000e+01 | 900.00%
1.69/1.72 o 9
1.69/1.72 c * 1.2s| 948 | 917 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 1 | 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
2.89/2.93 o 8
2.89/2.93 c * 2.3s| 3728 | 879 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 |1376 | 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
5.40/5.45 c 4.7s| 10000 | 801 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 |4091 | 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
8.99/9.05 c 8.2s| 20000 | 801 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 |7719 | 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
12.69/12.78 c 11.7s| 30000 | 795 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
16.50/16.52 c 15.3s| 40000 | 796 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
20.29/20.35 c 19.0s| 50000 | 827 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
23.59/23.62 c 22.1s| 60000 | 824 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
26.99/27.07 c 25.4s| 70000 | 805 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
30.58/30.69 c 28.8s| 80000 | 800 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
34.18/34.26 c 32.2s| 90000 | 820 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
37.59/37.63 c 35.5s|100000 | 836 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
41.08/41.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.08/41.11 c 38.8s|110000 | 807 | 0 | 0.0 | 17M| 936 | - |1009 |3410 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
44.98/45.01 c 42.5s|120000 | 797 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | 8.000000e+00 | 700.00%
48.08/48.19 o 7
48.08/48.19 c *45.5s|129842 | 822 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
48.18/48.24 c 45.6s|130000 | 812 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
52.38/52.42 c 49.5s|140000 | 788 | 0 | 0.0 | 17M| 936 | - |1009 |3406 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
56.18/56.22 c 53.2s|150000 | 779 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
60.28/60.38 c 57.2s|160000 | 788 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
64.58/64.67 c 61.3s|170000 | 793 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
68.88/68.95 c 65.4s|180000 | 790 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
73.17/73.24 c 69.5s|190000 | 786 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
78.27/78.36 c 74.5s|200000 | 801 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
83.17/83.30 c 79.2s|210000 | 814 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
87.77/87.86 c 83.7s|220000 | 775 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
91.77/91.89 c 87.5s|230000 | 788 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
97.16/97.29 c 92.7s|240000 | 775 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 89k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
102.67/102.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.67/102.71 c 98.0s|250000 | 775 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
106.96/107.06 c 102s|260000 | 771 | 0 | 0.0 | 17M| 936 | - |1009 |3404 | 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
111.76/111.81 c 107s|270000 | 763 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
116.76/116.86 c 112s|280000 | 776 | 0 | 0.0 | 17M| 936 | - |1009 |3404 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
121.56/121.67 c 116s|290000 | 804 | 0 | 0.0 | 17M| 936 | - |1009 |3403 | 0 | 0 | 0 | 109k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
127.56/127.67 c 122s|300000 | 752 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
133.85/133.90 c 128s|310000 | 749 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
140.06/140.12 c 134s|320000 | 747 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
146.25/146.31 c 140s|330000 | 744 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 | 127k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
152.65/152.78 c 146s|340000 | 744 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
159.15/159.24 c 153s|350000 | 731 | 0 | 0.0 | 17M| 936 | - |1009 |3403 | 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
164.65/164.70 c 158s|360000 | 737 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
170.04/170.19 c 163s|370000 | 744 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
175.54/175.64 c 168s|380000 | 732 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 149k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
179.94/180.02 c 173s|390000 | 739 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 154k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
184.44/184.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.44/184.52 c 177s|400000 | 739 | 0 | 0.0 | 17M| 936 | - |1009 |3413 | 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
189.34/189.46 c 182s|410000 | 729 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
194.34/194.44 c 186s|420000 | 748 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
199.54/199.69 c 192s|430000 | 741 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
204.74/204.81 c 196s|440000 | 727 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
209.84/209.99 c 201s|450000 | 750 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 | 180k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
214.93/215.07 c 206s|460000 | 748 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
220.53/220.60 c 212s|470000 | 779 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 189k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
225.82/225.99 c 217s|480000 | 733 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
231.32/231.47 c 222s|490000 | 748 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
236.53/236.69 c 227s|500000 | 732 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
241.62/241.74 c 232s|510000 | 737 | 0 | 0.0 | 17M| 936 | - |1009 |3408 | 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
246.62/246.74 c 237s|520000 | 740 | 0 | 0.0 | 17M| 936 | - |1009 |3406 | 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
252.22/252.37 c 242s|530000 | 753 | 0 | 0.0 | 17M| 936 | - |1009 |3407 | 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
258.42/258.51 c 248s|540000 | 746 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 219k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
263.71/263.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.71/263.80 c 253s|550000 | 738 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 223k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
268.81/268.95 c 258s|560000 | 734 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 227k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
273.61/273.73 c 263s|570000 | 739 | 0 | 0.0 | 17M| 936 | - |1009 |3404 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
278.12/278.28 c 267s|580000 | 755 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
282.91/283.03 c 272s|590000 | 741 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 | 240k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
287.61/287.72 c 276s|600000 | 736 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 245k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
292.70/292.87 c 281s|610000 | 744 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 | 249k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
297.11/297.27 c 285s|620000 | 731 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 | 254k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
302.32/302.43 c 290s|630000 | 734 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 258k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
307.30/307.47 c 295s|640000 | 732 | 0 | 0.0 | 17M| 936 | - |1009 |3404 | 0 | 0 | 0 | 262k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
312.50/312.69 c 300s|650000 | 744 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 | 266k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
317.90/318.00 c 305s|660000 | 732 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 | 271k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
323.00/323.17 c 310s|670000 | 732 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 | 276k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
328.70/328.81 c 316s|680000 | 765 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 280k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
334.40/334.57 c 321s|690000 | 727 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 | 284k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
340.00/340.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.00/340.11 c 327s|700000 | 727 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 | 289k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
345.10/345.28 c 332s|710000 | 736 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 | 293k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
349.89/350.05 c 336s|720000 | 719 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
355.29/355.48 c 342s|730000 | 722 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 302k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
359.99/360.11 c 346s|740000 | 723 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 | 306k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
365.09/365.21 c 351s|750000 | 725 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 311k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
370.79/370.99 c 356s|760000 | 743 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 315k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
376.78/376.95 c 362s|770000 | 723 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 | 319k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
382.38/382.50 c 368s|780000 | 741 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 | 324k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
387.28/387.47 c 372s|790000 | 723 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 | 328k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
392.38/392.52 c 377s|800000 | 720 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 | 333k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
397.47/397.67 c 382s|810000 | 723 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 337k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
402.98/403.16 c 387s|820000 | 727 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 341k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
408.07/408.26 c 392s|830000 | 789 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 | 346k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
412.87/413.03 c 397s|840000 | 726 | 0 | 0.0 | 17M| 936 | - |1009 |3404 | 0 | 0 | 0 | 350k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
418.07/418.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
418.07/418.25 c 402s|850000 | 727 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 354k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
423.57/423.73 c 407s|860000 | 721 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 | 359k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
429.97/430.14 c 413s|870000 | 731 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 364k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
436.07/436.28 c 419s|880000 | 725 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 368k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
441.57/441.78 c 425s|890000 | 724 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 | 373k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
447.26/447.49 c 430s|900000 | 722 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 378k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
452.67/452.89 c 435s|910000 | 733 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 | 383k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
459.37/459.56 c 442s|920000 | 755 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 388k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
466.16/466.33 c 448s|930000 | 725 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 392k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
471.85/472.07 c 454s|940000 | 730 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 397k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
477.95/478.12 c 460s|950000 | 719 | 0 | 0.0 | 17M| 936 | - |1009 |3410 | 0 | 0 | 0 | 402k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
484.15/484.31 c 466s|960000 | 739 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 407k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
489.95/490.11 c 471s|970000 | 726 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 412k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
495.55/495.78 c 477s|980000 | 726 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 | 417k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
501.35/501.50 c 482s|990000 | 730 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 422k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
506.86/507.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
506.86/507.10 c 488s| 1000k| 712 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 426k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
513.15/513.31 c 494s| 1010k| 731 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 431k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
519.44/519.61 c 500s| 1020k| 724 | 0 | 0.0 | 17M| 936 | - |1009 |3404 | 0 | 0 | 0 | 436k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
526.25/526.40 c 506s| 1030k| 713 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 | 441k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
532.94/533.11 c 513s| 1040k| 714 | 0 | 0.0 | 17M| 936 | - |1009 |3411 | 0 | 0 | 0 | 445k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
539.45/539.61 c 519s| 1050k| 715 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 | 450k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
545.74/545.96 c 525s| 1060k| 730 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 455k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
551.33/551.53 c 531s| 1070k| 714 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 | 460k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
556.63/556.82 c 536s| 1080k| 713 | 0 | 0.0 | 17M| 936 | - |1009 |3406 | 0 | 0 | 0 | 464k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
562.23/562.42 c 541s| 1090k| 721 | 0 | 0.0 | 17M| 936 | - |1009 |3404 | 0 | 0 | 0 | 469k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
567.45/567.63 c 546s| 1100k| 714 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 | 474k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
572.44/572.67 c 551s| 1110k| 712 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 | 478k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
577.53/577.76 c 556s| 1120k| 708 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 483k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
582.23/582.41 c 560s| 1130k| 717 | 0 | 0.0 | 17M| 936 | - |1009 |3411 | 0 | 0 | 0 | 488k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
586.73/586.95 c 565s| 1140k| 737 | 0 | 0.0 | 17M| 936 | - |1009 |3412 | 0 | 0 | 0 | 492k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
592.92/593.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.92/593.13 c 571s| 1150k| 754 | 0 | 0.0 | 17M| 936 | - |1009 |3410 | 0 | 0 | 0 | 496k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
597.73/597.96 c 575s| 1160k| 764 | 0 | 0.0 | 17M| 936 | - |1009 |3412 | 0 | 0 | 0 | 500k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
603.52/603.70 c 581s| 1170k| 708 | 0 | 0.0 | 17M| 936 | - |1009 |3403 | 0 | 0 | 0 | 505k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
607.43/607.66 c 585s| 1180k| 743 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 | 508k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
612.32/612.57 c 589s| 1190k| 754 | 0 | 0.0 | 17M| 936 | - |1009 |3404 | 0 | 0 | 0 | 512k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
616.83/617.08 c 594s| 1200k| 762 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 516k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
622.33/622.50 c 599s| 1210k| 752 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 | 521k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
627.82/628.04 c 604s| 1220k| 714 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 | 525k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
632.81/633.02 c 609s| 1230k| 739 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 530k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
636.62/636.90 c 613s| 1240k| 740 | 0 | 0.0 | 17M| 936 | - |1009 |3404 | 0 | 0 | 0 | 534k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
641.12/641.30 c 617s| 1250k| 712 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 | 538k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
646.91/647.17 c 623s| 1260k| 722 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 542k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
650.52/650.70 c 626s| 1270k| 736 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 545k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
655.22/655.41 c 630s| 1280k| 719 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 | 550k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
660.92/661.18 c 636s| 1290k| 735 | 0 | 0.0 | 17M| 936 | - |1009 |3404 | 0 | 0 | 0 | 554k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
666.31/666.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
666.31/666.57 c 641s| 1300k| 719 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 | 559k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
672.41/672.63 c 647s| 1310k| 714 | 0 | 0.0 | 17M| 936 | - |1009 |3408 | 0 | 0 | 0 | 564k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
678.41/678.70 c 653s| 1320k| 710 | 0 | 0.0 | 17M| 936 | - |1009 |3403 | 0 | 0 | 0 | 569k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
684.01/684.26 c 658s| 1330k| 708 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 | 574k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
690.61/690.81 c 665s| 1340k| 706 | 0 | 0.0 | 17M| 936 | - |1009 |3413 | 0 | 0 | 0 | 578k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
697.30/697.50 c 671s| 1350k| 708 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 | 583k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
703.71/704.00 c 677s| 1360k| 705 | 0 | 0.0 | 17M| 936 | - |1009 |3410 | 0 | 0 | 0 | 588k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
710.20/710.41 c 684s| 1370k| 711 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 | 593k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
716.49/716.70 c 690s| 1380k| 718 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 | 598k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
722.51/722.78 c 695s| 1390k| 704 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 | 603k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
728.09/728.38 c 701s| 1400k| 723 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 608k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
733.40/733.62 c 706s| 1410k| 697 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 | 613k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
739.89/740.17 c 712s| 1420k| 709 | 0 | 0.0 | 17M| 936 | - |1009 |3403 | 0 | 0 | 0 | 617k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
746.39/746.66 c 719s| 1430k| 708 | 0 | 0.0 | 17M| 936 | - |1009 |3403 | 0 | 0 | 0 | 622k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
752.59/752.88 c 725s| 1440k| 699 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 627k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
758.38/758.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
758.38/758.69 c 730s| 1450k| 710 | 0 | 0.0 | 17M| 936 | - |1009 |3403 | 0 | 0 | 0 | 632k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
764.88/765.14 c 736s| 1460k| 713 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 | 637k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
770.68/770.90 c 742s| 1470k| 707 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 642k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
776.89/777.16 c 748s| 1480k| 703 | 0 | 0.0 | 17M| 936 | - |1009 |3409 | 0 | 0 | 0 | 647k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
781.98/782.22 c 753s| 1490k| 701 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 652k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
788.39/788.60 c 759s| 1500k| 703 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 | 657k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
795.38/795.61 c 766s| 1510k| 718 | 0 | 0.0 | 17M| 936 | - |1009 |3404 | 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
802.57/802.84 c 773s| 1520k| 715 | 0 | 0.0 | 17M| 936 | - |1009 |3404 | 0 | 0 | 0 | 667k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
808.97/809.25 c 779s| 1530k| 704 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 | 671k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
814.17/814.43 c 784s| 1540k| 703 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 676k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
820.28/820.53 c 790s| 1550k| 724 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 681k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
826.17/826.41 c 796s| 1560k| 707 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 | 685k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
832.27/832.56 c 801s| 1570k| 710 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 690k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
838.76/839.04 c 808s| 1580k| 729 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 695k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
845.27/845.57 c 814s| 1590k| 716 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 | 700k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
851.96/852.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
851.96/852.25 c 820s| 1600k| 702 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 705k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
858.56/858.80 c 827s| 1610k| 705 | 0 | 0.0 | 17M| 936 | - |1009 |3404 | 0 | 0 | 0 | 710k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
864.37/864.62 c 832s| 1620k| 707 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 | 715k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
870.76/871.04 c 839s| 1630k| 703 | 0 | 0.0 | 17M| 936 | - |1009 |3410 | 0 | 0 | 0 | 720k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
876.46/876.78 c 844s| 1640k| 701 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 | 724k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
882.76/883.05 c 850s| 1650k| 702 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 | 729k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
889.66/889.98 c 857s| 1660k| 714 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 734k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
895.24/895.56 c 862s| 1670k| 698 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 739k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
900.85/901.12 c 868s| 1680k| 702 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 744k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
907.05/907.31 c 874s| 1690k| 700 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 749k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
913.54/913.89 c 880s| 1700k| 708 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 754k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
920.54/920.89 c 887s| 1710k| 698 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 758k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
926.34/926.62 c 892s| 1720k| 707 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 | 763k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
932.24/932.55 c 898s| 1730k| 706 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 | 768k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
937.84/938.14 c 903s| 1740k| 699 | 0 | 0.0 | 17M| 936 | - |1009 |3403 | 0 | 0 | 0 | 772k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
944.34/944.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.34/944.61 c 910s| 1750k| 693 | 0 | 0.0 | 17M| 936 | - |1009 |3404 | 0 | 0 | 0 | 777k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
950.44/950.77 c 916s| 1760k| 691 | 0 | 0.0 | 17M| 936 | - |1009 |3404 | 0 | 0 | 0 | 782k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
956.24/956.52 c 921s| 1770k| 699 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 787k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
962.03/962.40 c 927s| 1780k| 687 | 0 | 0.0 | 17M| 936 | - |1009 |3404 | 0 | 0 | 0 | 792k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
967.64/967.92 c 932s| 1790k| 698 | 0 | 0.0 | 17M| 936 | - |1009 |3404 | 0 | 0 | 0 | 797k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
973.72/974.02 c 938s| 1800k| 692 | 0 | 0.0 | 17M| 936 | - |1009 |3408 | 0 | 0 | 0 | 802k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
979.92/980.24 c 944s| 1810k| 695 | 0 | 0.0 | 17M| 936 | - |1009 |3413 | 0 | 0 | 0 | 806k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
986.23/986.50 c 950s| 1820k| 694 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 | 811k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
993.12/993.48 c 957s| 1830k| 698 | 0 | 0.0 | 17M| 936 | - |1009 |3403 | 0 | 0 | 0 | 816k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1000.02/1000.35 c 963s| 1840k| 690 | 0 | 0.0 | 17M| 936 | - |1009 |3409 | 0 | 0 | 0 | 821k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1006.32/1006.62 c 970s| 1850k| 690 | 0 | 0.0 | 17M| 936 | - |1009 |3407 | 0 | 0 | 0 | 825k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1011.51/1011.85 c 975s| 1860k| 701 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 | 830k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1016.52/1016.89 c 979s| 1870k| 690 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 | 834k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1021.71/1022.02 c 984s| 1880k| 696 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 839k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1027.92/1028.22 c 990s| 1890k| 711 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 844k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1034.72/1035.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1034.72/1035.06 c 997s| 1900k| 692 | 0 | 0.0 | 17M| 936 | - |1009 |3403 | 0 | 0 | 0 | 849k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1040.81/1041.15 c 1003s| 1910k| 693 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 853k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1046.40/1046.75 c 1008s| 1920k| 695 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 858k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1052.10/1052.45 c 1014s| 1930k| 691 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 | 863k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1058.21/1058.59 c 1020s| 1940k| 701 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 868k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1063.50/1063.88 c 1025s| 1950k| 689 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 | 872k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1070.20/1070.52 c 1031s| 1960k| 701 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 877k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1076.80/1077.17 c 1038s| 1970k| 688 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 882k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1083.10/1083.42 c 1044s| 1980k| 691 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 887k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1088.49/1088.88 c 1049s| 1990k| 704 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 | 892k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1095.20/1095.58 c 1055s| 2000k| 687 | 0 | 0.0 | 17M| 936 | - |1009 |3409 | 0 | 0 | 0 | 897k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1101.19/1101.58 c 1061s| 2010k| 697 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 902k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1107.49/1107.88 c 1067s| 2020k| 689 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 | 907k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1113.19/1113.57 c 1073s| 2030k| 694 | 0 | 0.0 | 17M| 936 | - |1009 |3409 | 0 | 0 | 0 | 911k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1120.09/1120.46 c 1079s| 2040k| 686 | 0 | 0.0 | 17M| 936 | - |1009 |3409 | 0 | 0 | 0 | 916k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1125.78/1126.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1125.78/1126.15 c 1085s| 2050k| 690 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 921k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1131.49/1131.90 c 1090s| 2060k| 686 | 0 | 0.0 | 17M| 936 | - |1009 |3408 | 0 | 0 | 0 | 926k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1137.28/1137.69 c 1096s| 2070k| 683 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 930k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1143.38/1143.80 c 1102s| 2080k| 687 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 | 935k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1149.67/1150.00 c 1108s| 2090k| 686 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 | 940k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1155.27/1155.60 c 1113s| 2100k| 700 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 945k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1161.38/1161.74 c 1119s| 2110k| 684 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 950k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1167.47/1167.81 c 1125s| 2120k| 701 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 | 954k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1173.28/1173.70 c 1131s| 2130k| 692 | 0 | 0.0 | 17M| 936 | - |1009 |3403 | 0 | 0 | 0 | 959k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1180.47/1180.84 c 1138s| 2140k| 702 | 0 | 0.0 | 17M| 936 | - |1009 |3410 | 0 | 0 | 0 | 964k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1186.07/1186.45 c 1143s| 2150k| 687 | 0 | 0.0 | 17M| 936 | - |1009 |3408 | 0 | 0 | 0 | 969k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1192.57/1192.94 c 1149s| 2160k| 688 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 | 974k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1199.07/1199.40 c 1156s| 2170k| 689 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 | 979k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1204.96/1205.39 c 1161s| 2180k| 689 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 984k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1211.36/1211.72 c 1168s| 2190k| 687 | 0 | 0.0 | 17M| 936 | - |1009 |3411 | 0 | 0 | 0 | 989k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1217.16/1217.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1217.16/1217.56 c 1173s| 2200k| 683 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 | 993k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1223.46/1223.80 c 1179s| 2210k| 694 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 | 998k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1229.56/1229.93 c 1185s| 2220k| 690 | 0 | 0.0 | 17M| 936 | - |1009 |3407 | 0 | 0 | 0 |1003k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1235.06/1235.45 c 1190s| 2230k| 689 | 0 | 0.0 | 17M| 936 | - |1009 |3404 | 0 | 0 | 0 |1008k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1241.57/1241.96 c 1197s| 2240k| 682 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 |1013k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1247.56/1247.96 c 1203s| 2250k| 686 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 |1018k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1253.85/1254.28 c 1209s| 2260k| 692 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 |1023k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1260.05/1260.47 c 1215s| 2270k| 682 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 |1027k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1266.25/1266.68 c 1221s| 2280k| 685 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 |1032k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1272.65/1273.06 c 1227s| 2290k| 679 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 |1037k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1279.35/1279.72 c 1233s| 2300k| 680 | 0 | 0.0 | 17M| 936 | - |1009 |3408 | 0 | 0 | 0 |1042k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1284.64/1285.04 c 1238s| 2310k| 687 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 |1047k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1290.34/1290.77 c 1244s| 2320k| 688 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 |1052k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1297.34/1297.74 c 1251s| 2330k| 676 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 |1056k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1304.94/1305.38 c 1258s| 2340k| 704 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 |1061k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1312.24/1312.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1312.24/1312.69 c 1265s| 2350k| 686 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 |1066k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1318.34/1318.77 c 1271s| 2360k| 691 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 |1071k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1324.44/1324.84 c 1277s| 2370k| 690 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 |1076k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1330.83/1331.29 c 1283s| 2380k| 676 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 |1081k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1337.53/1337.92 c 1290s| 2390k| 683 | 0 | 0.0 | 17M| 936 | - |1009 |3403 | 0 | 0 | 0 |1086k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1344.53/1344.91 c 1296s| 2400k| 687 | 0 | 0.0 | 17M| 936 | - |1009 |3403 | 0 | 0 | 0 |1091k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1350.63/1351.09 c 1302s| 2410k| 682 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 |1096k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1357.04/1357.47 c 1308s| 2420k| 684 | 0 | 0.0 | 17M| 936 | - |1009 |3410 | 0 | 0 | 0 |1101k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1363.02/1363.40 c 1314s| 2430k| 689 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 |1106k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1368.12/1368.57 c 1319s| 2440k| 685 | 0 | 0.0 | 17M| 936 | - |1009 |3403 | 0 | 0 | 0 |1111k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1374.72/1375.13 c 1326s| 2450k| 679 | 0 | 0.0 | 17M| 936 | - |1009 |3403 | 0 | 0 | 0 |1115k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1381.92/1382.30 c 1332s| 2460k| 673 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 |1120k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1387.72/1388.20 c 1338s| 2470k| 679 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 |1125k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1392.52/1392.99 c 1343s| 2480k| 671 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 |1130k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1398.72/1399.11 c 1349s| 2490k| 666 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 |1135k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1405.42/1405.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1405.42/1405.82 c 1355s| 2500k| 696 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 |1139k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1411.81/1412.26 c 1361s| 2510k| 672 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 |1144k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1418.81/1419.22 c 1368s| 2520k| 681 | 0 | 0.0 | 17M| 936 | - |1009 |3403 | 0 | 0 | 0 |1149k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1424.91/1425.38 c 1374s| 2530k| 673 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 |1154k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1431.11/1431.55 c 1380s| 2540k| 668 | 0 | 0.0 | 17M| 936 | - |1009 |3403 | 0 | 0 | 0 |1159k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1437.91/1438.35 c 1387s| 2550k| 667 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 |1164k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1444.81/1445.27 c 1393s| 2560k| 690 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 |1169k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1451.70/1452.18 c 1400s| 2570k| 680 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 |1173k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1458.21/1458.63 c 1406s| 2580k| 671 | 0 | 0.0 | 17M| 936 | - |1009 |3404 | 0 | 0 | 0 |1178k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1465.39/1465.87 c 1413s| 2590k| 672 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 |1183k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1472.80/1473.25 c 1421s| 2600k| 673 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 |1188k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1479.49/1479.92 c 1427s| 2610k| 669 | 0 | 0.0 | 17M| 936 | - |1009 |3406 | 0 | 0 | 0 |1193k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1486.10/1486.53 c 1433s| 2620k| 683 | 0 | 0.0 | 17M| 936 | - |1009 |3406 | 0 | 0 | 0 |1198k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1492.39/1492.90 c 1440s| 2630k| 681 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 |1203k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1499.19/1499.66 c 1446s| 2640k| 665 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 |1208k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1505.50/1505.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1505.50/1505.92 c 1452s| 2650k| 680 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 |1212k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1511.49/1511.91 c 1458s| 2660k| 669 | 0 | 0.0 | 17M| 936 | - |1009 |3406 | 0 | 0 | 0 |1217k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1516.68/1517.12 c 1463s| 2670k| 680 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 |1222k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1523.18/1523.68 c 1469s| 2680k| 672 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 |1226k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1530.48/1530.98 c 1476s| 2690k| 664 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 |1231k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1538.17/1538.62 c 1484s| 2700k| 678 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 |1236k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1545.27/1545.75 c 1491s| 2710k| 699 | 0 | 0.0 | 17M| 936 | - |1009 |3403 | 0 | 0 | 0 |1240k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1551.37/1551.85 c 1497s| 2720k| 683 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 |1245k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1558.28/1558.74 c 1503s| 2730k| 680 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 |1250k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1565.37/1565.86 c 1510s| 2740k| 672 | 0 | 0.0 | 17M| 936 | - |1009 |3408 | 0 | 0 | 0 |1255k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1572.47/1572.97 c 1517s| 2750k| 670 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 |1260k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1578.87/1579.31 c 1523s| 2760k| 675 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 |1265k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1585.06/1585.55 c 1529s| 2770k| 679 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 |1270k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1591.77/1592.20 c 1536s| 2780k| 676 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 |1274k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1598.06/1598.59 c 1542s| 2790k| 699 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 |1279k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1603.46/1603.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1603.46/1603.93 c 1547s| 2800k| 676 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 |1284k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1608.96/1609.40 c 1552s| 2810k| 670 | 0 | 0.0 | 17M| 936 | - |1009 |3409 | 0 | 0 | 0 |1289k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1614.56/1615.09 c 1558s| 2820k| 683 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 |1293k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1620.86/1621.37 c 1564s| 2830k| 665 | 0 | 0.0 | 17M| 936 | - |1009 |3402 | 0 | 0 | 0 |1298k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1627.46/1627.98 c 1570s| 2840k| 667 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 |1302k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1634.35/1634.84 c 1577s| 2850k| 659 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 |1307k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1640.95/1641.45 c 1583s| 2860k| 680 | 0 | 0.0 | 17M| 936 | - |1009 |3399 | 0 | 0 | 0 |1312k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1647.54/1648.05 c 1590s| 2870k| 662 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 |1316k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1655.35/1655.85 c 1597s| 2880k| 668 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 |1321k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1662.45/1662.93 c 1604s| 2890k| 689 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 |1326k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1668.64/1669.15 c 1610s| 2900k| 660 | 0 | 0.0 | 17M| 936 | - |1009 |3407 | 0 | 0 | 0 |1331k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1675.15/1675.68 c 1616s| 2910k| 667 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 |1336k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1681.45/1681.96 c 1623s| 2920k| 671 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 |1341k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1687.84/1688.36 c 1629s| 2930k| 674 | 0 | 0.0 | 17M| 936 | - |1009 |3415 | 0 | 0 | 0 |1346k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1694.64/1695.18 c 1635s| 2940k| 666 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 |1351k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1701.33/1701.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1701.33/1701.81 c 1642s| 2950k| 678 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 |1355k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1708.94/1709.46 c 1649s| 2960k| 672 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 |1360k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1715.54/1716.02 c 1655s| 2970k| 664 | 0 | 0.0 | 17M| 936 | - |1009 |3398 | 0 | 0 | 0 |1365k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1722.04/1722.58 c 1662s| 2980k| 660 | 0 | 0.0 | 17M| 936 | - |1009 |3418 | 0 | 0 | 0 |1370k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1729.02/1729.59 c 1669s| 2990k| 658 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 |1375k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1735.72/1736.26 c 1675s| 3000k| 657 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 |1379k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1742.52/1743.09 c 1682s| 3010k| 665 | 0 | 0.0 | 17M| 936 | - |1009 |3406 | 0 | 0 | 0 |1384k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1749.02/1749.57 c 1688s| 3020k| 664 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 |1389k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1755.52/1756.03 c 1694s| 3030k| 666 | 0 | 0.0 | 17M| 936 | - |1009 |3407 | 0 | 0 | 0 |1394k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1761.73/1762.28 c 1700s| 3040k| 690 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 |1399k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1768.11/1768.65 c 1706s| 3050k| 671 | 0 | 0.0 | 17M| 936 | - |1009 |3397 | 0 | 0 | 0 |1404k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1774.31/1774.84 c 1712s| 3060k| 664 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 |1409k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1780.11/1780.67 c 1718s| 3070k| 658 | 0 | 0.0 | 17M| 936 | - |1009 |3405 | 0 | 0 | 0 |1414k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1786.71/1787.21 c 1724s| 3080k| 660 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 |1419k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1792.81/1793.38 c 1730s| 3090k| 653 | 0 | 0.0 | 17M| 936 | - |1009 |3400 | 0 | 0 | 0 |1424k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1798.91/1799.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1798.91/1799.44 c 1736s| 3100k| 661 | 0 | 0.0 | 17M| 936 | - |1009 |3401 | 0 | 0 | 0 |1429k| 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.50 c
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time (sec) : 1737.16
1800.02/1800.50 c Solving Nodes : 3101885
1800.02/1800.50 c Primal Bound : +7.00000000000000e+00 (8 solutions)
1800.02/1800.50 c Dual Bound : +1.00000000000000e+00
1800.02/1800.50 c Gap : 600.00 %
1800.02/1800.54 s SATISFIABLE
1800.02/1800.54 v -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990
1800.02/1800.54 v -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969
1800.02/1800.54 v -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948
1800.02/1800.54 v -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928
1800.02/1800.54 v -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907
1800.02/1800.54 v -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886
1800.02/1800.54 v -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865
1800.02/1800.54 v -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844
1800.02/1800.54 v -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823
1800.02/1800.54 v -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803
1800.02/1800.54 v -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782
1800.02/1800.54 v -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761
1800.02/1800.54 v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740
1800.02/1800.54 v -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719
1800.02/1800.54 v -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698
1800.02/1800.54 v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678
1800.02/1800.54 v -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657
1800.02/1800.54 v -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636
1800.02/1800.54 v -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615
1800.02/1800.54 v -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594
1800.02/1800.54 v -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573
1800.02/1800.54 v -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553
1800.02/1800.54 v -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532
1800.02/1800.54 v -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511
1800.02/1800.54 v -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490
1800.02/1800.54 v -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469
1800.02/1800.54 v -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448
1800.02/1800.54 v -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428
1800.02/1800.54 v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407
1800.02/1800.54 v -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386
1800.02/1800.54 v -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365
1800.02/1800.54 v -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344
1800.02/1800.54 v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323
1800.02/1800.54 v -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303
1800.02/1800.54 v -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282
1800.02/1800.54 v -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261
1800.02/1800.54 v -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240
1800.02/1800.54 v -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219
1800.02/1800.54 v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198
1800.02/1800.54 v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177
1800.02/1800.54 v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157
1800.02/1800.54 v -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136
1800.02/1800.54 v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115
1800.02/1800.54 v -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93
1800.02/1800.54 v -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68
1800.02/1800.54 v -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 x47 -x46 -x45 -x44 -x43 x42
1800.02/1800.54 v -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17
1800.02/1800.54 v -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.02/1800.54 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.54 c Solving Time : 1737.16
1800.02/1800.54 c Original Problem :
1800.02/1800.54 c Problem name : HOME/instance-2664754-1276589879.opb
1800.02/1800.54 c Variables : 1009 (1009 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.54 c Constraints : 3773 initial, 3773 maximal
1800.02/1800.54 c Presolved Problem :
1800.02/1800.54 c Problem name : t_HOME/instance-2664754-1276589879.opb
1800.02/1800.54 c Variables : 1009 (1009 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.54 c Constraints : 3397 initial, 3470 maximal
1800.02/1800.54 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.54 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.54 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.54 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.54 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.54 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.54 c probing : 0.02 0 0 0 0 0 0 0 0
1800.02/1800.54 c linear : 0.26 0 0 0 0 0 3 2 0
1800.02/1800.54 c logicor : 0.56 0 0 0 0 0 373 0 0
1800.02/1800.54 c root node : - 0 - - 0 - - - -
1800.02/1800.54 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.54 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.54 c logicor : 3397+ 0 4474763 0 3 766078 14974468 0 0 0
1800.02/1800.54 c countsols : 0 0 0 0 4 0 0 0 0 0
1800.02/1800.54 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.54 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.54 c logicor : 556.59 0.00 556.59 0.00 0.00
1800.02/1800.54 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.54 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.54 c vbounds : 4.12 2 0 0
1800.02/1800.54 c rootredcost : 4.12 0 0 0
1800.02/1800.54 c pseudoobj : 684.43 8618913 648316 116629602
1800.02/1800.54 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.54 c propagation : 420.78 1378112 1378112 1378112 62.8 14770 87.8 -
1800.02/1800.54 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.54 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.54 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.54 c pseudo solution : 7.83 37740 37740 37740 38.6 3562 81.8 -
1800.02/1800.54 c applied globally : - - - 1183034 21.4 - - -
1800.02/1800.54 c applied locally : - - - 247060 255.7 - - -
1800.02/1800.54 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.54 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.54 c redcost : 0.00 0 0 0 0 0
1800.02/1800.54 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.54 c intobj : 0.00 0 0 0 0 0
1800.02/1800.54 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.54 c gomory : 0.00 0 0 0 0 0
1800.02/1800.54 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.54 c cmir : 0.00 0 0 0 0 0
1800.02/1800.54 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.54 c clique : 0.00 0 0 0 0 0
1800.02/1800.54 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.54 c mcf : 0.00 0 0 0 0 0
1800.02/1800.54 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.54 c Pricers : Time Calls Vars
1800.02/1800.54 c problem variables: 0.00 0 0
1800.02/1800.54 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.54 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.54 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.54 c inference : 105.45 2290346 0 0 0 0 4580692
1800.02/1800.54 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.54 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.54 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.54 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.54 c random : 0.00 0 0 0 0 0 0
1800.02/1800.54 c Primal Heuristics : Time Calls Found
1800.02/1800.54 c LP solutions : 0.00 - 0
1800.02/1800.54 c pseudo solutions : 0.00 - 4
1800.02/1800.54 c oneopt : 2.57 0 0
1800.02/1800.54 c trivial : 0.03 2 4
1800.02/1800.54 c simplerounding : 0.00 0 0
1800.02/1800.54 c zirounding : 0.00 0 0
1800.02/1800.54 c rounding : 0.00 0 0
1800.02/1800.54 c shifting : 0.00 0 0
1800.02/1800.54 c intshifting : 0.00 0 0
1800.02/1800.54 c twoopt : 0.00 0 0
1800.02/1800.54 c fixandinfer : 0.00 0 0
1800.02/1800.54 c feaspump : 0.00 0 0
1800.02/1800.54 c coefdiving : 0.00 0 0
1800.02/1800.54 c pscostdiving : 0.00 0 0
1800.02/1800.54 c fracdiving : 0.00 0 0
1800.02/1800.54 c veclendiving : 0.00 0 0
1800.02/1800.54 c intdiving : 0.00 0 0
1800.02/1800.54 c actconsdiving : 0.00 0 0
1800.02/1800.54 c objpscostdiving : 0.00 0 0
1800.02/1800.54 c rootsoldiving : 0.00 0 0
1800.02/1800.54 c linesearchdiving : 0.00 0 0
1800.02/1800.54 c guideddiving : 0.00 0 0
1800.02/1800.54 c octane : 0.00 0 0
1800.02/1800.54 c rens : 0.00 0 0
1800.02/1800.54 c rins : 0.00 0 0
1800.02/1800.54 c localbranching : 0.00 0 0
1800.02/1800.54 c mutation : 0.00 0 0
1800.02/1800.54 c crossover : 0.00 0 0
1800.02/1800.54 c dins : 0.00 0 0
1800.02/1800.54 c undercover : 0.00 0 0
1800.02/1800.54 c nlp : 1.46 0 0
1800.02/1800.54 c trysol : 1.44 0 0
1800.02/1800.54 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.54 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.54 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.54 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.54 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.54 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.54 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.54 c (at root node) : - 0 0 0.00 -
1800.02/1800.54 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.54 c B&B Tree :
1800.02/1800.54 c number of runs : 1
1800.02/1800.54 c nodes : 3101885
1800.02/1800.54 c nodes (total) : 3101885
1800.02/1800.54 c nodes left : 659
1800.02/1800.54 c max depth : 936
1800.02/1800.54 c max depth (total): 936
1800.02/1800.54 c backtracks : 839060 (27.1%)
1800.02/1800.54 c delayed cutoffs : 689785
1800.02/1800.54 c repropagations : 2337434 (47244215 domain reductions, 640599 cutoffs)
1800.02/1800.54 c avg switch length: 2.82
1800.02/1800.54 c switching time : 207.62
1800.02/1800.54 c Solution :
1800.02/1800.54 c Solutions found : 8 (7 improvements)
1800.02/1800.54 c First Solution : +1.00900000000000e+03 (in run 1, after 0 nodes, 0.09 seconds, depth 0, found by <trivial>)
1800.02/1800.54 c Primal Bound : +7.00000000000000e+00 (in run 1, after 129842 nodes, 45.51 seconds, depth 836, found by <relaxation>)
1800.02/1800.54 c Dual Bound : +1.00000000000000e+00
1800.02/1800.54 c Gap : 600.00 %
1800.02/1800.54 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.54 c Root Iterations : 0
1800.02/1800.57 c Time complete: 1800.08.
OK 7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664754-1276589879/watcher-2664754-1276589879 -o /tmp/evaluation-result-2664754-1276589879/solver-2664754-1276589879 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664754-1276589879.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 0.97 0.82 3/107 2441 /proc/meminfo: memFree=1690716/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=7612 CPUtime=0 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 1238 0 0 0 0 0 0 0 15 0 1 0 280682 7794688 1160 1992294400 4194304 7136930 140734120719312 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2441/statm: 1903 1172 254 719 0 1182 0 [startup+0.0788641 s] /proc/loadavg: 1.00 0.97 0.82 3/107 2441 /proc/meminfo: memFree=1690716/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=9740 CPUtime=0.07 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 1938 0 0 0 7 0 0 0 18 0 1 0 280682 9973760 1860 1992294400 4194304 7136930 140734120719312 18446744073709551615 6274826 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2441/statm: 2435 1860 271 719 0 1714 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9740 [startup+0.100866 s] /proc/loadavg: 1.00 0.97 0.82 3/107 2441 /proc/meminfo: memFree=1690716/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=10156 CPUtime=0.09 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 2015 0 0 0 9 0 0 0 18 0 1 0 280682 10399744 1937 1992294400 4194304 7136930 140734120719312 18446744073709551615 4361606 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2441/statm: 2539 1937 271 719 0 1818 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10156 [startup+0.300889 s] /proc/loadavg: 1.00 0.97 0.82 3/107 2441 /proc/meminfo: memFree=1690716/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=14028 CPUtime=0.29 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 2978 0 0 0 29 0 0 0 18 0 1 0 280682 14364672 2900 1992294400 4194304 7136930 140734120719312 18446744073709551615 6303907 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2441/statm: 3507 2900 271 719 0 2786 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14028 [startup+0.700933 s] /proc/loadavg: 1.00 0.97 0.82 3/107 2441 /proc/meminfo: memFree=1690716/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=49636 CPUtime=0.69 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 11938 0 0 0 65 4 0 0 18 0 1 0 280682 50827264 11506 1992294400 4194304 7136930 140734120719312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 12409 11506 340 719 0 11688 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 49636 [startup+1.50102 s] /proc/loadavg: 1.00 0.97 0.82 2/108 2442 /proc/meminfo: memFree=1644456/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=50440 CPUtime=1.49 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 13502 0 0 0 143 6 0 0 19 0 1 0 280682 51650560 11731 1992294400 4194304 7136930 140734120719312 18446744073709551615 5008757 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 12610 11731 347 719 0 11889 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 50440 [startup+3.1012 s] /proc/loadavg: 1.00 0.97 0.82 2/108 2442 /proc/meminfo: memFree=1641976/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=55444 CPUtime=3.09 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 14792 0 0 0 296 13 0 0 23 0 1 0 280682 56774656 13018 1992294400 4194304 7136930 140734120719312 18446744073709551615 4704056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 13861 13018 382 719 0 13140 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 55444 [startup+6.30155 s] /proc/loadavg: 1.00 0.97 0.82 2/108 2442 /proc/meminfo: memFree=1638008/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=57188 CPUtime=6.29 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 15203 0 0 0 601 28 0 0 25 0 1 0 280682 58560512 13429 1992294400 4194304 7136930 140734120719312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 14297 13429 382 719 0 13576 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 57188 [startup+12.7013 s] /proc/loadavg: 1.00 0.97 0.82 2/108 2442 /proc/meminfo: memFree=1637512/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=57720 CPUtime=12.69 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 15344 0 0 0 1214 55 0 0 25 0 1 0 280682 59105280 13570 1992294400 4194304 7136930 140734120719312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 14430 13570 382 719 0 13709 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 57720 [startup+25.5006 s] /proc/loadavg: 1.00 0.97 0.82 2/108 2442 /proc/meminfo: memFree=1636768/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=58248 CPUtime=25.48 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 15495 0 0 0 2435 113 0 0 25 0 1 0 280682 59645952 13721 1992294400 4194304 7136930 140734120719312 18446744073709551615 6166873 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 14562 13721 382 719 0 13841 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 58248 [startup+51.1004 s] /proc/loadavg: 1.00 0.97 0.83 2/108 2444 /proc/meminfo: memFree=1635528/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=59616 CPUtime=51.08 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 15815 0 0 0 4877 231 0 0 25 0 1 0 280682 61046784 14041 1992294400 4194304 7136930 140734120719312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 14904 14041 382 719 0 14183 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 59616 [startup+102.308 s] /proc/loadavg: 1.00 0.97 0.83 2/108 2444 /proc/meminfo: memFree=1634412/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=60568 CPUtime=102.27 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 16048 0 0 0 9805 422 0 0 25 0 1 0 280682 62021632 14274 1992294400 4194304 7136930 140734120719312 18446744073709551615 4652815 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 15142 14274 382 719 0 14421 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 60568 [startup+162.301 s] /proc/loadavg: 1.00 0.97 0.84 2/108 2446 /proc/meminfo: memFree=1633916/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=60980 CPUtime=162.25 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 16161 0 0 0 15604 621 0 0 25 0 1 0 280682 62443520 14387 1992294400 4194304 7136930 140734120719312 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 15245 14387 382 719 0 14524 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 60980 [startup+222.301 s] /proc/loadavg: 1.00 0.97 0.84 2/108 2448 /proc/meminfo: memFree=1633420/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=61536 CPUtime=222.23 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 16283 0 0 0 21375 848 0 0 25 0 1 0 280682 63012864 14509 1992294400 4194304 7136930 140734120719312 18446744073709551615 5506192 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 15384 14509 382 719 0 14663 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 61536 [startup+282.3 s] /proc/loadavg: 1.00 0.97 0.85 2/108 2450 /proc/meminfo: memFree=1633172/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=61668 CPUtime=282.21 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 16309 0 0 0 27151 1070 0 0 25 0 1 0 280682 63148032 14535 1992294400 4194304 7136930 140734120719312 18446744073709551615 4452905 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 15417 14535 382 719 0 14696 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 61668 [startup+342.3 s] /proc/loadavg: 1.00 0.97 0.85 2/108 2450 /proc/meminfo: memFree=1632676/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=61932 CPUtime=342.19 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 16385 0 0 0 32937 1282 0 0 25 0 1 0 280682 63418368 14611 1992294400 4194304 7136930 140734120719312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 15483 14611 382 719 0 14762 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 61932 [startup+402.301 s] /proc/loadavg: 1.00 0.97 0.86 2/108 2452 /proc/meminfo: memFree=1632428/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=62064 CPUtime=402.18 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 16432 0 0 0 38709 1509 0 0 25 0 1 0 280682 63553536 14658 1992294400 4194304 7136930 140734120719312 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 15516 14658 382 719 0 14795 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 62064 [startup+462.301 s] /proc/loadavg: 1.00 0.97 0.87 2/108 2454 /proc/meminfo: memFree=1632304/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=62340 CPUtime=462.16 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 16483 0 0 0 44491 1725 0 0 25 0 1 0 280682 63836160 14709 1992294400 4194304 7136930 140734120719312 18446744073709551615 5506180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 15585 14709 382 719 0 14864 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 62340 [startup+522.301 s] /proc/loadavg: 1.00 0.97 0.87 2/108 2456 /proc/meminfo: memFree=1631932/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=62604 CPUtime=522.15 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 16555 0 0 0 50284 1931 0 0 25 0 1 0 280682 64106496 14781 1992294400 4194304 7136930 140734120719312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 15651 14781 382 719 0 14930 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 62604 [startup+582.301 s] /proc/loadavg: 1.00 0.97 0.88 2/108 2458 /proc/meminfo: memFree=1631436/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=62876 CPUtime=582.13 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 16619 0 0 0 56069 2144 0 0 25 0 1 0 280682 64385024 14845 1992294400 4194304 7136930 140734120719312 18446744073709551615 5506150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 15719 14845 382 719 0 14998 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 62876 [startup+642.301 s] /proc/loadavg: 1.00 0.97 0.88 2/108 2458 /proc/meminfo: memFree=1630940/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=63272 CPUtime=642.12 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 16709 0 0 0 61833 2379 0 0 25 0 1 0 280682 64790528 14935 1992294400 4194304 7136930 140734120719312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 15818 14935 382 719 0 15097 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 63272 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.10 1.02 0.92 2/108 2469 /proc/meminfo: memFree=1595532/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=64080 CPUtime=882.05 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 16905 0 0 0 84994 3211 0 0 25 0 1 0 280682 65617920 15131 1992294400 4194304 7136930 140734120719312 18446744073709551615 5506109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 16020 15131 382 719 0 15299 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 64080 [startup+942.301 s] /proc/loadavg: 1.04 1.01 0.92 2/108 2469 /proc/meminfo: memFree=1595532/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=64220 CPUtime=942.04 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 16929 0 0 0 90782 3422 0 0 25 0 1 0 280682 65761280 15155 1992294400 4194304 7136930 140734120719312 18446744073709551615 5918673 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 16055 15155 382 719 0 15334 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 64220 [startup+1002.3 s] /proc/loadavg: 1.01 1.01 0.92 2/108 2471 /proc/meminfo: memFree=1595532/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=64352 CPUtime=1002.01 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 16966 0 0 0 96580 3621 0 0 25 0 1 0 280682 65896448 15192 1992294400 4194304 7136930 140734120719312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 16088 15192 382 719 0 15367 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 64352 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.92 2/108 2473 /proc/meminfo: memFree=1595284/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=64628 CPUtime=1062 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 17027 0 0 0 102367 3833 0 0 25 0 1 0 280682 66179072 15253 1992294400 4194304 7136930 140734120719312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 16157 15253 382 719 0 15436 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 64628 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.92 2/108 2475 /proc/meminfo: memFree=1595036/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=64760 CPUtime=1121.99 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 17060 0 0 0 108165 4034 0 0 25 0 1 0 280682 66314240 15286 1992294400 4194304 7136930 140734120719312 18446744073709551615 5507309 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 16190 15286 382 719 0 15469 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 64760 [startup+1182.3 s] /proc/loadavg: 1.16 1.04 0.94 2/108 2692 /proc/meminfo: memFree=1551088/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=64896 CPUtime=1181.97 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 17079 0 0 0 113953 4244 0 0 25 0 1 0 280682 66453504 15305 1992294400 4194304 7136930 140734120719312 18446744073709551615 4704214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 16224 15305 382 719 0 15503 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 64896 [startup+1242.3 s] /proc/loadavg: 1.06 1.03 0.94 2/108 2692 /proc/meminfo: memFree=1551088/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=64896 CPUtime=1241.95 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 17099 0 0 0 119753 4442 0 0 25 0 1 0 280682 66453504 15325 1992294400 4194304 7136930 140734120719312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 16224 15325 382 719 0 15503 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 64896 [startup+1302.3 s] /proc/loadavg: 1.02 1.02 0.94 2/108 2694 /proc/meminfo: memFree=1551088/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=65036 CPUtime=1301.94 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 17121 0 0 0 125555 4639 0 0 25 0 1 0 280682 66596864 15347 1992294400 4194304 7136930 140734120719312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 16259 15347 382 719 0 15538 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 65036 [startup+1362.3 s] /proc/loadavg: 1.00 1.02 0.94 2/108 2696 /proc/meminfo: memFree=1551088/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=65168 CPUtime=1361.93 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 17148 0 0 0 131357 4836 0 0 25 0 1 0 280682 66732032 15374 1992294400 4194304 7136930 140734120719312 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 16292 15374 382 719 0 15571 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 65168 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 0.94 2/108 2698 /proc/meminfo: memFree=1550840/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=65308 CPUtime=1421.91 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 17182 0 0 0 137166 5025 0 0 25 0 1 0 280682 66875392 15408 1992294400 4194304 7136930 140734120719312 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 16327 15408 382 719 0 15606 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 65308 [startup+1482.3 s] /proc/loadavg: 1.76 1.20 1.00 3/114 11098 /proc/meminfo: memFree=1538004/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=65308 CPUtime=1481.89 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 17195 0 0 0 142977 5212 0 0 25 0 1 0 280682 66875392 15421 1992294400 4194304 7136930 140734120719312 18446744073709551615 5953120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 16327 15421 382 719 0 15606 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 65308 [startup+1542.3 s] /proc/loadavg: 2.15 1.40 1.08 3/113 26952 /proc/meminfo: memFree=1524420/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=65448 CPUtime=1541.87 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 17211 0 0 0 148790 5397 0 0 25 0 1 0 280682 67018752 15437 1992294400 4194304 7136930 140734120719312 18446744073709551615 4703926 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 16362 15437 382 719 0 15641 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 65448 [startup+1602.3 s] /proc/loadavg: 2.09 1.54 1.14 2/107 8694 /proc/meminfo: memFree=1511724/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=65448 CPUtime=1601.86 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 17229 0 0 0 154596 5590 0 0 25 0 1 0 280682 67018752 15455 1992294400 4194304 7136930 140734120719312 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 16362 15455 382 719 0 15641 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 65448 [startup+1662.3 s] /proc/loadavg: 1.40 1.43 1.13 2/107 8696 /proc/meminfo: memFree=1511848/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=65588 CPUtime=1661.84 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 17261 0 0 0 160398 5786 0 0 25 0 1 0 280682 67162112 15487 1992294400 4194304 7136930 140734120719312 18446744073709551615 4653134 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 16397 15487 382 719 0 15676 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 65588 [startup+1722.3 s] /proc/loadavg: 1.14 1.35 1.12 2/107 8698 /proc/meminfo: memFree=1511724/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=65732 CPUtime=1721.83 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 17295 0 0 0 166203 5980 0 0 25 0 1 0 280682 67309568 15521 1992294400 4194304 7136930 140734120719312 18446744073709551615 5957518 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 16433 15521 382 719 0 15712 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 65732 [startup+1782.3 s] /proc/loadavg: 1.05 1.29 1.11 2/107 8700 /proc/meminfo: memFree=1511724/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=65732 CPUtime=1781.81 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 17301 0 0 0 172005 6176 0 0 25 0 1 0 280682 67309568 15527 1992294400 4194304 7136930 140734120719312 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 16433 15527 382 719 0 15712 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 65732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.04 1.27 1.11 2/107 8700 /proc/meminfo: memFree=1511724/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=65872 CPUtime=1800.02 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 17305 0 0 0 173764 6238 0 0 25 0 1 0 280682 67452928 15531 1992294400 4194304 7136930 140734120719312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 16468 15531 382 719 0 15747 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 65872 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: 1.04 1.27 1.11 2/107 8700 /proc/meminfo: memFree=1511724/2059040 swapFree=4192956/4192956 [pid=2441] ppid=2439 vsize=65872 CPUtime=1800.02 /proc/2441/stat : 2441 (pbscip.linux.x8) R 2439 2441 2332 0 -1 4202496 17305 0 0 0 173764 6238 0 0 25 0 1 0 280682 67452928 15531 1992294400 4194304 7136930 140734120719312 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2441/statm: 16468 15531 382 719 0 15747 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 65872 Child status: 0 Real time (s): 1800.58 CPU time (s): 1800.09 CPU user time (s): 1737.7 CPU system time (s): 62.3905 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 65872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1737.7 system time used= 62.3905 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17357 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= 2545 runsolver used 2.98355 second user time and 8.66868 second system time The end
Begin job on node038 at 2010-06-15 10:17:59 IDJOB=2664754 IDBENCH=2838 IDSOLVER=1167 FILE ID=node038/2664754-1276589879 PBS_JOBID= 11172213 Free space on /tmp= 62276 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-rd84.b.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664754-1276589879/watcher-2664754-1276589879 -o /tmp/evaluation-result-2664754-1276589879/solver-2664754-1276589879 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664754-1276589879.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6560abb26f607ef952ebe1a74dd5dae1 RANDOM SEED=1316561616 node038.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.222 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.44 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.222 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1691244 kB Buffers: 15680 kB Cached: 246824 kB SwapCached: 0 kB Active: 96560 kB Inactive: 225160 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1691244 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 5220 kB Writeback: 0 kB AnonPages: 59216 kB Mapped: 15284 kB Slab: 24208 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180076 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= 62472 MiB End job on node038 at 2010-06-15 10:48:02