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) | 192 | 1800.05 | 1800.52 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-addm4.r.opb |
| MD5SUM | 9633aa6e9fb6df7104bc0e43c44542c0 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 165 |
| Best CPU time to get the best result obtained on this benchmark | 0.495924 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 165 |
| Optimality of the best value was proved | YES |
| Number of variables | 1073 |
| Total number of constraints | 832 |
| Number of constraints which are clauses | 832 |
| 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 | 2 |
| Maximum length of a constraint | 19 |
| Number of terms in the objective function | 1073 |
| 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 | 1073 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1073 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664758-1276589890.opb>
0.00/0.03 c original problem has 1073 variables (1073 bin, 0 int, 0 impl, 0 cont) and 832 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 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.03/0.04 o 1073
0.03/0.04 c feasible solution found by trivial heuristic, objective value 1.073000e+03
0.03/0.04 c presolving:
0.03/0.05 c (round 1) 18 del vars, 18 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 146 impls, 0 clqs
0.03/0.05 c (round 2) 41 del vars, 69 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 146 impls, 0 clqs
0.03/0.05 c (round 3) 58 del vars, 77 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 146 impls, 0 clqs
0.03/0.07 c (round 4) 58 del vars, 282 del conss, 0 chg bounds, 205 chg sides, 0 chg coeffs, 0 upgd conss, 146 impls, 0 clqs
0.03/0.07 c (round 5) 164 del vars, 300 del conss, 0 chg bounds, 205 chg sides, 0 chg coeffs, 0 upgd conss, 146 impls, 0 clqs
0.03/0.07 c (round 6) 174 del vars, 327 del conss, 0 chg bounds, 205 chg sides, 0 chg coeffs, 0 upgd conss, 146 impls, 0 clqs
0.03/0.09 c (round 7) 182 del vars, 327 del conss, 0 chg bounds, 205 chg sides, 0 chg coeffs, 505 upgd conss, 146 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 101/891 (11.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (8 rounds):
0.09/0.10 c 182 deleted vars, 327 deleted constraints, 0 tightened bounds, 0 added holes, 205 changed sides, 0 changed coefficients
0.09/0.10 c 146 implications, 0 cliques
0.09/0.10 c presolved problem has 891 variables (891 bin, 0 int, 0 impl, 0 cont) and 505 constraints
0.09/0.10 c 505 constraints of type <logicor>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.05
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 1.2.1.2
0.09/0.10 c
0.09/0.10 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c conflict/interconss = 0
0.09/0.10 c
0.09/0.10 c # should binary conflicts be preferred?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c conflict/preferbinary = TRUE
0.09/0.10 c
0.09/0.10 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.10 c constraints/agelimit = 1
0.09/0.10 c
0.09/0.10 c # should enforcement of pseudo solution be disabled?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/disableenfops = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1799.98
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 1620
0.09/0.10 c
0.09/0.10 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.10 c lp/solvefreq = -1
0.09/0.10 c
0.09/0.10 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.09/0.10 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.10 c lp/pricing = a
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # priority of node selection rule <dfs> in standard mode
0.09/0.10 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.10 c nodeselection/dfs/stdpriority = 1000000
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.10 o 924
0.09/0.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.10 c t 0.1s| 1 | 0 | 0 | - |2414k| 0 | - | 891 | 505 | 0 | 0 | 0 | 0 | 0 | -- | 9.240000e+02 | Inf
0.09/0.10 c 0.1s| 1 | 2 | 0 | - |2386k| 0 | - | 891 | 505 | 0 | 0 | 0 | 0 | 0 | 3.300000e+01 | 9.240000e+02 |2700.00%
0.19/0.23 o 196
0.19/0.23 c * 0.2s| 729 | 719 | 0 | 0.0 |2794k| 728 | - | 891 | 505 | 0 | 0 | 0 | 0 | 0 | 3.400000e+01 | 1.960000e+02 | 476.47%
1.10/1.18 o 195
1.10/1.18 c * 1.1s| 2645 | 708 | 0 | 0.0 |2907k| 728 | - | 891 | 505 | 0 | 0 | 0 |1156 | 0 | 3.400000e+01 | 1.950000e+02 | 473.53%
1.69/1.72 o 194
1.69/1.72 c * 1.6s| 3708 | 705 | 0 | 0.0 |2927k| 728 | - | 891 | 505 | 0 | 0 | 0 |1792 | 0 | 3.400000e+01 | 1.940000e+02 | 470.59%
4.99/5.00 c 4.7s| 10000 | 707 | 0 | 0.0 |2934k| 728 | - | 891 | 505 | 0 | 0 | 0 |5551 | 0 | 3.400000e+01 | 1.940000e+02 | 470.59%
5.59/5.65 o 193
5.59/5.65 c * 5.3s| 11256 | 706 | 0 | 0.0 |2949k| 728 | - | 891 | 505 | 0 | 0 | 0 |6284 | 0 | 3.400000e+01 | 1.930000e+02 | 467.65%
6.99/7.05 o 192
6.99/7.05 c * 6.7s| 13976 | 701 | 0 | 0.0 |2960k| 728 | - | 891 | 505 | 0 | 0 | 0 |7904 | 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
10.29/10.32 c 9.8s| 20000 | 700 | 0 | 0.0 |2967k| 728 | - | 891 | 505 | 0 | 0 | 0 | 11k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
15.69/15.78 c 15.1s| 30000 | 702 | 0 | 0.0 |2965k| 728 | - | 891 | 505 | 0 | 0 | 0 | 17k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
21.19/21.24 c 20.3s| 40000 | 697 | 0 | 0.0 |2969k| 728 | - | 891 | 505 | 0 | 0 | 0 | 23k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
26.59/26.64 c 25.5s| 50000 | 701 | 0 | 0.0 |2966k| 728 | - | 891 | 505 | 0 | 0 | 0 | 30k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
31.98/32.05 c 30.7s| 60000 | 698 | 0 | 0.0 |2966k| 728 | - | 891 | 505 | 0 | 0 | 0 | 36k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
37.39/37.47 c 35.9s| 70000 | 697 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 | 42k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
42.88/42.93 c 41.1s| 80000 | 695 | 0 | 0.0 |2963k| 728 | - | 891 | 505 | 0 | 0 | 0 | 48k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
48.28/48.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.28/48.34 c 46.3s| 90000 | 697 | 0 | 0.0 |2969k| 728 | - | 891 | 505 | 0 | 0 | 0 | 54k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
53.57/53.68 c 51.4s|100000 | 700 | 0 | 0.0 |2970k| 728 | - | 891 | 505 | 0 | 0 | 0 | 60k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
59.08/59.11 c 56.6s|110000 | 699 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 | 66k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
64.38/64.48 c 61.8s|120000 | 700 | 0 | 0.0 |2970k| 728 | - | 891 | 505 | 0 | 0 | 0 | 73k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
69.88/69.95 c 67.0s|130000 | 696 | 0 | 0.0 |2972k| 728 | - | 891 | 505 | 0 | 0 | 0 | 79k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
75.17/75.27 c 72.1s|140000 | 697 | 0 | 0.0 |2972k| 728 | - | 891 | 505 | 0 | 0 | 0 | 85k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
80.67/80.77 c 77.4s|150000 | 696 | 0 | 0.0 |2975k| 728 | - | 891 | 505 | 0 | 0 | 0 | 91k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
86.17/86.28 c 82.7s|160000 | 700 | 0 | 0.0 |2969k| 728 | - | 891 | 505 | 0 | 0 | 0 | 97k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
91.57/91.68 c 87.9s|170000 | 701 | 0 | 0.0 |2972k| 728 | - | 891 | 505 | 0 | 0 | 0 | 104k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
97.07/97.11 c 93.1s|180000 | 700 | 0 | 0.0 |2969k| 728 | - | 891 | 505 | 0 | 0 | 0 | 110k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
102.36/102.47 c 98.2s|190000 | 698 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 116k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
107.77/107.81 c 103s|200000 | 699 | 0 | 0.0 |2972k| 728 | - | 891 | 505 | 0 | 0 | 0 | 122k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
112.96/113.07 c 108s|210000 | 701 | 0 | 0.0 |2970k| 728 | - | 891 | 505 | 0 | 0 | 0 | 128k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
118.26/118.39 c 113s|220000 | 697 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 134k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
123.66/123.72 c 119s|230000 | 700 | 0 | 0.0 |2972k| 728 | - | 891 | 505 | 0 | 0 | 0 | 140k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
128.86/128.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.86/128.99 c 124s|240000 | 696 | 0 | 0.0 |2969k| 728 | - | 891 | 505 | 0 | 0 | 0 | 146k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
134.07/134.10 c 128s|250000 | 701 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 | 152k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
139.25/139.39 c 134s|260000 | 697 | 0 | 0.0 |2971k| 728 | - | 891 | 505 | 0 | 0 | 0 | 159k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
144.45/144.57 c 138s|270000 | 697 | 0 | 0.0 |2969k| 728 | - | 891 | 505 | 0 | 0 | 0 | 165k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
149.86/149.90 c 144s|280000 | 697 | 0 | 0.0 |2969k| 728 | - | 891 | 505 | 0 | 0 | 0 | 171k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
154.96/155.10 c 149s|290000 | 698 | 0 | 0.0 |2971k| 728 | - | 891 | 505 | 0 | 0 | 0 | 177k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
160.25/160.37 c 154s|300000 | 698 | 0 | 0.0 |2972k| 728 | - | 891 | 505 | 0 | 0 | 0 | 183k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
165.55/165.69 c 159s|310000 | 696 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 | 189k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
170.95/171.08 c 164s|320000 | 699 | 0 | 0.0 |2972k| 728 | - | 891 | 505 | 0 | 0 | 0 | 195k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
176.35/176.43 c 169s|330000 | 696 | 0 | 0.0 |2967k| 728 | - | 891 | 505 | 0 | 0 | 0 | 201k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
181.75/181.82 c 174s|340000 | 697 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 207k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
187.15/187.27 c 179s|350000 | 695 | 0 | 0.0 |2971k| 728 | - | 891 | 505 | 0 | 0 | 0 | 214k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
192.54/192.67 c 185s|360000 | 699 | 0 | 0.0 |2968k| 728 | - | 891 | 505 | 0 | 0 | 0 | 220k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
198.04/198.13 c 190s|370000 | 697 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 | 226k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
203.35/203.45 c 195s|380000 | 699 | 0 | 0.0 |2981k| 728 | - | 891 | 505 | 0 | 0 | 0 | 232k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
208.64/208.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.64/208.74 c 200s|390000 | 698 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 | 238k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
214.04/214.13 c 205s|400000 | 700 | 0 | 0.0 |2971k| 728 | - | 891 | 505 | 0 | 0 | 0 | 244k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
219.33/219.48 c 210s|410000 | 699 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 251k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
224.84/224.98 c 216s|420000 | 699 | 0 | 0.0 |2972k| 728 | - | 891 | 505 | 0 | 0 | 0 | 257k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
230.34/230.45 c 221s|430000 | 699 | 0 | 0.0 |2971k| 728 | - | 891 | 505 | 0 | 0 | 0 | 263k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
235.93/236.00 c 226s|440000 | 700 | 0 | 0.0 |2969k| 728 | - | 891 | 505 | 0 | 0 | 0 | 269k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
241.44/241.59 c 232s|450000 | 705 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 | 276k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
246.73/246.82 c 237s|460000 | 698 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 | 282k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
251.93/252.07 c 242s|470000 | 696 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 | 288k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
257.42/257.56 c 247s|480000 | 697 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 294k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
262.92/263.01 c 252s|490000 | 698 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 300k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
268.33/268.43 c 257s|500000 | 698 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 307k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
273.84/273.98 c 263s|510000 | 699 | 0 | 0.0 |2972k| 728 | - | 891 | 505 | 0 | 0 | 0 | 313k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
279.42/279.51 c 268s|520000 | 699 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 319k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
284.73/284.84 c 273s|530000 | 698 | 0 | 0.0 |2971k| 728 | - | 891 | 505 | 0 | 0 | 0 | 325k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
290.02/290.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
290.02/290.10 c 278s|540000 | 700 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 | 331k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
295.22/295.32 c 283s|550000 | 696 | 0 | 0.0 |2968k| 728 | - | 891 | 505 | 0 | 0 | 0 | 337k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
300.42/300.58 c 288s|560000 | 698 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 | 344k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
305.72/305.83 c 293s|570000 | 697 | 0 | 0.0 |2972k| 728 | - | 891 | 505 | 0 | 0 | 0 | 350k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
310.92/311.01 c 298s|580000 | 694 | 0 | 0.0 |2971k| 728 | - | 891 | 505 | 0 | 0 | 0 | 356k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
316.11/316.23 c 303s|590000 | 692 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 | 362k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
321.61/321.75 c 308s|600000 | 702 | 0 | 0.0 |2983k| 728 | - | 891 | 505 | 0 | 0 | 0 | 368k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
327.12/327.26 c 314s|610000 | 696 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 374k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
332.71/332.81 c 319s|620000 | 692 | 0 | 0.0 |2972k| 728 | - | 891 | 505 | 0 | 0 | 0 | 380k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
337.91/338.08 c 324s|630000 | 698 | 0 | 0.0 |2971k| 728 | - | 891 | 505 | 0 | 0 | 0 | 386k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
343.31/343.40 c 329s|640000 | 699 | 0 | 0.0 |2970k| 728 | - | 891 | 505 | 0 | 0 | 0 | 392k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
348.52/348.69 c 334s|650000 | 699 | 0 | 0.0 |2972k| 728 | - | 891 | 505 | 0 | 0 | 0 | 398k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
353.70/353.89 c 339s|660000 | 694 | 0 | 0.0 |2971k| 728 | - | 891 | 505 | 0 | 0 | 0 | 405k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
359.01/359.18 c 344s|670000 | 704 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 | 410k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
364.30/364.41 c 349s|680000 | 702 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 | 416k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
369.71/369.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
369.71/369.84 c 354s|690000 | 697 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 | 423k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
375.10/375.24 c 360s|700000 | 700 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 429k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
380.70/380.86 c 365s|710000 | 701 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 435k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
386.20/386.39 c 370s|720000 | 696 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 | 441k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
391.59/391.79 c 375s|730000 | 701 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 448k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
397.01/397.14 c 381s|740000 | 700 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 | 454k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
402.30/402.46 c 386s|750000 | 699 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 | 460k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
407.69/407.84 c 391s|760000 | 701 | 0 | 0.0 |2972k| 728 | - | 891 | 505 | 0 | 0 | 0 | 466k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
412.99/413.16 c 396s|770000 | 700 | 0 | 0.0 |2972k| 728 | - | 891 | 505 | 0 | 0 | 0 | 472k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
418.39/418.50 c 401s|780000 | 697 | 0 | 0.0 |2982k| 728 | - | 891 | 505 | 0 | 0 | 0 | 478k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
423.78/423.92 c 406s|790000 | 696 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 | 484k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
428.98/429.14 c 411s|800000 | 696 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 | 490k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
434.19/434.39 c 416s|810000 | 701 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 | 496k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
439.48/439.68 c 421s|820000 | 699 | 0 | 0.0 |2972k| 728 | - | 891 | 505 | 0 | 0 | 0 | 502k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
445.08/445.25 c 427s|830000 | 697 | 0 | 0.0 |2984k| 728 | - | 891 | 505 | 0 | 0 | 0 | 508k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
450.58/450.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
450.58/450.76 c 432s|840000 | 697 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 | 514k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
455.98/456.17 c 437s|850000 | 699 | 0 | 0.0 |2972k| 728 | - | 891 | 505 | 0 | 0 | 0 | 520k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
461.37/461.55 c 442s|860000 | 694 | 0 | 0.0 |2981k| 728 | - | 891 | 505 | 0 | 0 | 0 | 527k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
466.67/466.84 c 447s|870000 | 697 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 533k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
471.87/472.03 c 452s|880000 | 696 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 | 539k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
477.18/477.38 c 457s|890000 | 696 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 | 545k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
482.57/482.79 c 463s|900000 | 699 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 551k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
487.97/488.17 c 468s|910000 | 701 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 557k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
493.27/493.48 c 473s|920000 | 697 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 | 563k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
498.66/498.87 c 478s|930000 | 698 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 569k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
504.06/504.24 c 483s|940000 | 699 | 0 | 0.0 |2972k| 728 | - | 891 | 505 | 0 | 0 | 0 | 575k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
509.46/509.63 c 488s|950000 | 698 | 0 | 0.0 |2972k| 728 | - | 891 | 505 | 0 | 0 | 0 | 582k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
514.96/515.12 c 494s|960000 | 699 | 0 | 0.0 |2972k| 728 | - | 891 | 505 | 0 | 0 | 0 | 588k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
520.46/520.65 c 499s|970000 | 697 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 | 594k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
525.76/525.94 c 504s|980000 | 698 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 | 600k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
531.17/531.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
531.17/531.35 c 509s|990000 | 698 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 | 606k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
536.35/536.54 c 514s| 1000k| 698 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 612k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
541.85/542.03 c 519s| 1010k| 694 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 | 618k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
547.15/547.36 c 524s| 1020k| 700 | 0 | 0.0 |2975k| 728 | - | 891 | 505 | 0 | 0 | 0 | 624k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
552.65/552.89 c 530s| 1030k| 696 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 | 630k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
558.15/558.30 c 535s| 1040k| 696 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 636k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
563.05/563.28 c 540s| 1050k| 703 | 0 | 0.0 |2980k| 728 | - | 891 | 505 | 0 | 0 | 0 | 642k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
568.55/568.76 c 545s| 1060k| 698 | 0 | 0.0 |2972k| 728 | - | 891 | 505 | 0 | 0 | 0 | 648k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
573.84/574.05 c 550s| 1070k| 695 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 | 654k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
579.24/579.48 c 555s| 1080k| 699 | 0 | 0.0 |2975k| 728 | - | 891 | 505 | 0 | 0 | 0 | 661k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
584.54/584.76 c 560s| 1090k| 695 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 | 667k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
589.94/590.18 c 566s| 1100k| 704 | 0 | 0.0 |2975k| 728 | - | 891 | 505 | 0 | 0 | 0 | 673k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
595.24/595.45 c 571s| 1110k| 701 | 0 | 0.0 |2982k| 728 | - | 891 | 505 | 0 | 0 | 0 | 679k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
600.64/600.86 c 576s| 1120k| 699 | 0 | 0.0 |2980k| 728 | - | 891 | 505 | 0 | 0 | 0 | 685k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
606.04/606.30 c 581s| 1130k| 696 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 | 691k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
611.34/611.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
611.34/611.56 c 586s| 1140k| 695 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 | 697k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
616.84/617.10 c 591s| 1150k| 696 | 0 | 0.0 |2980k| 728 | - | 891 | 505 | 0 | 0 | 0 | 703k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
622.23/622.49 c 597s| 1160k| 696 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 | 709k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
627.73/627.92 c 602s| 1170k| 700 | 0 | 0.0 |2975k| 728 | - | 891 | 505 | 0 | 0 | 0 | 715k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
633.12/633.31 c 607s| 1180k| 701 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 | 721k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
638.53/638.70 c 612s| 1190k| 698 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 728k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
643.73/643.96 c 617s| 1200k| 698 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 | 734k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
649.13/649.38 c 622s| 1210k| 697 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 | 740k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
654.62/654.81 c 628s| 1220k| 695 | 0 | 0.0 |2971k| 728 | - | 891 | 505 | 0 | 0 | 0 | 746k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
659.72/659.95 c 632s| 1230k| 695 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 | 752k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
665.02/665.29 c 638s| 1240k| 701 | 0 | 0.0 |2975k| 728 | - | 891 | 505 | 0 | 0 | 0 | 758k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
670.41/670.66 c 643s| 1250k| 697 | 0 | 0.0 |2982k| 728 | - | 891 | 505 | 0 | 0 | 0 | 765k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
675.92/676.18 c 648s| 1260k| 696 | 0 | 0.0 |2982k| 728 | - | 891 | 505 | 0 | 0 | 0 | 771k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
681.21/681.41 c 653s| 1270k| 696 | 0 | 0.0 |2971k| 728 | - | 891 | 505 | 0 | 0 | 0 | 777k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
686.31/686.53 c 658s| 1280k| 701 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 | 783k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
691.72/691.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
691.72/691.96 c 663s| 1290k| 701 | 0 | 0.0 |2980k| 728 | - | 891 | 505 | 0 | 0 | 0 | 789k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
697.12/697.33 c 668s| 1300k| 699 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 795k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
702.51/702.77 c 673s| 1310k| 696 | 0 | 0.0 |2971k| 728 | - | 891 | 505 | 0 | 0 | 0 | 801k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
708.00/708.28 c 679s| 1320k| 701 | 0 | 0.0 |2975k| 728 | - | 891 | 505 | 0 | 0 | 0 | 807k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
713.21/713.43 c 684s| 1330k| 698 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 | 813k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
718.41/718.63 c 689s| 1340k| 701 | 0 | 0.0 |2975k| 728 | - | 891 | 505 | 0 | 0 | 0 | 819k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
723.51/723.77 c 694s| 1350k| 695 | 0 | 0.0 |2971k| 728 | - | 891 | 505 | 0 | 0 | 0 | 825k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
728.60/728.85 c 698s| 1360k| 695 | 0 | 0.0 |2971k| 728 | - | 891 | 505 | 0 | 0 | 0 | 831k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
733.80/734.06 c 703s| 1370k| 693 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 | 837k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
738.90/739.20 c 708s| 1380k| 700 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 | 843k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
744.09/744.30 c 713s| 1390k| 694 | 0 | 0.0 |2980k| 728 | - | 891 | 505 | 0 | 0 | 0 | 849k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
749.29/749.52 c 718s| 1400k| 695 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 856k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
754.40/754.68 c 723s| 1410k| 695 | 0 | 0.0 |2980k| 728 | - | 891 | 505 | 0 | 0 | 0 | 862k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
759.70/759.92 c 728s| 1420k| 696 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 | 868k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
765.10/765.39 c 733s| 1430k| 699 | 0 | 0.0 |2980k| 728 | - | 891 | 505 | 0 | 0 | 0 | 874k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
770.69/770.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
770.69/770.99 c 739s| 1440k| 701 | 0 | 0.0 |2982k| 728 | - | 891 | 505 | 0 | 0 | 0 | 880k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
776.09/776.33 c 744s| 1450k| 699 | 0 | 0.0 |2972k| 728 | - | 891 | 505 | 0 | 0 | 0 | 886k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
781.49/781.70 c 749s| 1460k| 697 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 | 892k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
786.89/787.16 c 754s| 1470k| 701 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 | 899k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
792.28/792.51 c 759s| 1480k| 699 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 905k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
797.38/797.64 c 764s| 1490k| 699 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 | 911k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
802.58/802.86 c 769s| 1500k| 695 | 0 | 0.0 |2971k| 728 | - | 891 | 505 | 0 | 0 | 0 | 917k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
807.78/808.03 c 774s| 1510k| 697 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 | 923k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
813.28/813.55 c 779s| 1520k| 699 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 929k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
818.48/818.77 c 785s| 1530k| 697 | 0 | 0.0 |2971k| 728 | - | 891 | 505 | 0 | 0 | 0 | 935k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
823.58/823.88 c 789s| 1540k| 696 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 | 940k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
828.77/829.01 c 794s| 1550k| 696 | 0 | 0.0 |2971k| 728 | - | 891 | 505 | 0 | 0 | 0 | 946k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
834.17/834.40 c 799s| 1560k| 695 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 | 952k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
839.47/839.74 c 805s| 1570k| 693 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 | 959k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
844.86/845.15 c 810s| 1580k| 694 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 | 965k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
850.27/850.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
850.27/850.55 c 815s| 1590k| 699 | 0 | 0.0 |2975k| 728 | - | 891 | 505 | 0 | 0 | 0 | 971k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
855.48/855.74 c 820s| 1600k| 694 | 0 | 0.0 |2971k| 728 | - | 891 | 505 | 0 | 0 | 0 | 977k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
860.66/860.96 c 825s| 1610k| 696 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 | 983k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
865.86/866.20 c 830s| 1620k| 702 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 | 989k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
871.06/871.39 c 835s| 1630k| 701 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 | 995k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
876.37/876.63 c 840s| 1640k| 699 | 0 | 0.0 |2981k| 728 | - | 891 | 505 | 0 | 0 | 0 |1001k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
881.56/881.85 c 845s| 1650k| 702 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 |1007k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
886.85/887.15 c 850s| 1660k| 697 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 |1013k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
892.06/892.33 c 855s| 1670k| 697 | 0 | 0.0 |2975k| 728 | - | 891 | 505 | 0 | 0 | 0 |1018k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
897.35/897.66 c 860s| 1680k| 700 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1024k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
902.86/903.15 c 865s| 1690k| 698 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1030k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
908.15/908.49 c 870s| 1700k| 698 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 |1036k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
913.35/913.63 c 875s| 1710k| 703 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 |1042k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
918.44/918.74 c 880s| 1720k| 701 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1048k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
923.85/924.17 c 885s| 1730k| 699 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 |1054k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
929.34/929.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
929.34/929.67 c 891s| 1740k| 701 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1061k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
934.65/935.00 c 896s| 1750k| 701 | 0 | 0.0 |2985k| 728 | - | 891 | 505 | 0 | 0 | 0 |1067k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
940.04/940.30 c 901s| 1760k| 702 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 |1073k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
945.14/945.45 c 906s| 1770k| 703 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 |1079k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
950.43/950.77 c 911s| 1780k| 702 | 0 | 0.0 |2980k| 728 | - | 891 | 505 | 0 | 0 | 0 |1085k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
955.73/956.06 c 916s| 1790k| 700 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1091k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
961.33/961.64 c 921s| 1800k| 698 | 0 | 0.0 |2983k| 728 | - | 891 | 505 | 0 | 0 | 0 |1097k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
966.73/967.05 c 926s| 1810k| 700 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1103k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
972.03/972.32 c 931s| 1820k| 700 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1109k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
977.43/977.73 c 937s| 1830k| 705 | 0 | 0.0 |2975k| 728 | - | 891 | 505 | 0 | 0 | 0 |1115k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
982.73/983.08 c 942s| 1840k| 699 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1121k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
988.12/988.46 c 947s| 1850k| 701 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1127k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
993.52/993.84 c 952s| 1860k| 700 | 0 | 0.0 |2984k| 728 | - | 891 | 505 | 0 | 0 | 0 |1133k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
998.92/999.22 c 957s| 1870k| 698 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1139k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1004.32/1004.66 c 962s| 1880k| 699 | 0 | 0.0 |2984k| 728 | - | 891 | 505 | 0 | 0 | 0 |1145k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1009.92/1010.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1009.92/1010.22 c 968s| 1890k| 697 | 0 | 0.0 |2981k| 728 | - | 891 | 505 | 0 | 0 | 0 |1152k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1015.52/1015.81 c 973s| 1900k| 699 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1158k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1020.82/1021.19 c 978s| 1910k| 701 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 |1164k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1026.21/1026.59 c 983s| 1920k| 697 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1170k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1031.91/1032.23 c 989s| 1930k| 697 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1176k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1037.31/1037.63 c 994s| 1940k| 700 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 |1182k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1042.61/1042.99 c 999s| 1950k| 697 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 |1188k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1048.21/1048.58 c 1005s| 1960k| 695 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1195k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1053.81/1054.12 c 1010s| 1970k| 701 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1201k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1059.11/1059.46 c 1015s| 1980k| 697 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1207k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1064.42/1064.74 c 1020s| 1990k| 700 | 0 | 0.0 |2981k| 728 | - | 891 | 505 | 0 | 0 | 0 |1213k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1069.80/1070.14 c 1025s| 2000k| 697 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 |1219k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1075.20/1075.50 c 1030s| 2010k| 699 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1225k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1080.50/1080.83 c 1035s| 2020k| 699 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 |1231k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1085.80/1086.10 c 1040s| 2030k| 699 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1237k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1091.20/1091.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.20/1091.52 c 1046s| 2040k| 697 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 |1243k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1096.41/1096.72 c 1051s| 2050k| 699 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1249k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1101.59/1101.98 c 1056s| 2060k| 695 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1255k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1106.99/1107.39 c 1061s| 2070k| 700 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1262k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1112.29/1112.65 c 1066s| 2080k| 694 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1268k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1117.58/1117.96 c 1071s| 2090k| 700 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 |1274k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1123.08/1123.45 c 1076s| 2100k| 699 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1280k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1128.69/1129.01 c 1082s| 2110k| 697 | 0 | 0.0 |2975k| 728 | - | 891 | 505 | 0 | 0 | 0 |1286k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1134.18/1134.52 c 1087s| 2120k| 698 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1292k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1139.69/1140.02 c 1092s| 2130k| 700 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1298k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1145.19/1145.54 c 1097s| 2140k| 701 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 |1304k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1150.78/1151.11 c 1103s| 2150k| 699 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1311k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1156.18/1156.51 c 1108s| 2160k| 699 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1317k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1161.58/1161.95 c 1113s| 2170k| 699 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1323k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1166.97/1167.39 c 1118s| 2180k| 697 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1329k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1172.38/1172.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1172.38/1172.75 c 1123s| 2190k| 698 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1335k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1177.87/1178.28 c 1129s| 2200k| 694 | 0 | 0.0 |2980k| 728 | - | 891 | 505 | 0 | 0 | 0 |1342k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1183.37/1183.72 c 1134s| 2210k| 697 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 |1348k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1188.67/1189.08 c 1139s| 2220k| 698 | 0 | 0.0 |2981k| 728 | - | 891 | 505 | 0 | 0 | 0 |1354k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1194.28/1194.64 c 1144s| 2230k| 699 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 |1360k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1199.78/1200.15 c 1150s| 2240k| 697 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1367k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1205.27/1205.69 c 1155s| 2250k| 697 | 0 | 0.0 |2980k| 728 | - | 891 | 505 | 0 | 0 | 0 |1373k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1210.96/1211.34 c 1160s| 2260k| 696 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1379k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1216.27/1216.67 c 1166s| 2270k| 697 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 |1385k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1221.77/1222.15 c 1171s| 2280k| 696 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1391k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1227.27/1227.66 c 1176s| 2290k| 698 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1397k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1232.77/1233.17 c 1181s| 2300k| 696 | 0 | 0.0 |2975k| 728 | - | 891 | 505 | 0 | 0 | 0 |1404k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1238.26/1238.62 c 1187s| 2310k| 700 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1410k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1243.45/1243.88 c 1192s| 2320k| 700 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 |1416k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1248.86/1249.24 c 1197s| 2330k| 704 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1422k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1254.15/1254.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.15/1254.57 c 1202s| 2340k| 699 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 |1428k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1259.65/1260.04 c 1207s| 2350k| 698 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 |1434k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1265.05/1265.43 c 1212s| 2360k| 701 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 |1440k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1270.45/1270.87 c 1218s| 2370k| 698 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 |1447k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1275.95/1276.35 c 1223s| 2380k| 699 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1453k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1281.45/1281.82 c 1228s| 2390k| 700 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 |1459k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1286.85/1287.23 c 1233s| 2400k| 694 | 0 | 0.0 |2985k| 728 | - | 891 | 505 | 0 | 0 | 0 |1465k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1292.15/1292.56 c 1238s| 2410k| 696 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1471k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1297.55/1297.95 c 1243s| 2420k| 698 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1477k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1302.84/1303.24 c 1249s| 2430k| 697 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1483k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1308.24/1308.63 c 1254s| 2440k| 700 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 |1489k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1313.64/1314.05 c 1259s| 2450k| 696 | 0 | 0.0 |2986k| 728 | - | 891 | 505 | 0 | 0 | 0 |1495k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1318.93/1319.39 c 1264s| 2460k| 697 | 0 | 0.0 |2983k| 728 | - | 891 | 505 | 0 | 0 | 0 |1502k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1324.34/1324.77 c 1269s| 2470k| 696 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1508k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1329.73/1330.11 c 1274s| 2480k| 697 | 0 | 0.0 |2984k| 728 | - | 891 | 505 | 0 | 0 | 0 |1514k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1335.04/1335.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1335.04/1335.48 c 1279s| 2490k| 698 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1520k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1340.33/1340.74 c 1284s| 2500k| 699 | 0 | 0.0 |2981k| 728 | - | 891 | 505 | 0 | 0 | 0 |1526k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1345.83/1346.23 c 1290s| 2510k| 699 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 |1532k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1351.03/1351.49 c 1295s| 2520k| 696 | 0 | 0.0 |2980k| 728 | - | 891 | 505 | 0 | 0 | 0 |1538k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1356.22/1356.68 c 1300s| 2530k| 697 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1544k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1361.62/1362.03 c 1305s| 2540k| 698 | 0 | 0.0 |2981k| 728 | - | 891 | 505 | 0 | 0 | 0 |1550k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1366.83/1367.21 c 1310s| 2550k| 696 | 0 | 0.0 |2981k| 728 | - | 891 | 505 | 0 | 0 | 0 |1556k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1371.92/1372.38 c 1315s| 2560k| 695 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1562k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1377.22/1377.64 c 1320s| 2570k| 696 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1568k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1382.42/1382.84 c 1325s| 2580k| 699 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 |1574k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1387.82/1388.28 c 1330s| 2590k| 699 | 0 | 0.0 |2985k| 728 | - | 891 | 505 | 0 | 0 | 0 |1581k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1393.11/1393.60 c 1335s| 2600k| 695 | 0 | 0.0 |2980k| 728 | - | 891 | 505 | 0 | 0 | 0 |1587k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1398.32/1398.75 c 1340s| 2610k| 696 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 |1593k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1403.61/1404.09 c 1345s| 2620k| 695 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1599k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1408.81/1409.22 c 1350s| 2630k| 700 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1605k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1413.91/1414.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1413.91/1414.39 c 1355s| 2640k| 700 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1611k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1419.01/1419.49 c 1360s| 2650k| 700 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 |1617k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1424.51/1424.91 c 1365s| 2660k| 699 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1623k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1429.81/1430.20 c 1370s| 2670k| 698 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 |1629k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1435.01/1435.41 c 1375s| 2680k| 697 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 |1635k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1440.30/1440.76 c 1380s| 2690k| 697 | 0 | 0.0 |2981k| 728 | - | 891 | 505 | 0 | 0 | 0 |1641k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1445.80/1446.29 c 1385s| 2700k| 700 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 |1648k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1451.20/1451.62 c 1391s| 2710k| 702 | 0 | 0.0 |2980k| 728 | - | 891 | 505 | 0 | 0 | 0 |1654k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1456.50/1456.90 c 1396s| 2720k| 699 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 |1660k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1461.80/1462.25 c 1401s| 2730k| 699 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1666k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1467.20/1467.61 c 1406s| 2740k| 701 | 0 | 0.0 |2975k| 728 | - | 891 | 505 | 0 | 0 | 0 |1672k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1472.51/1472.99 c 1411s| 2750k| 697 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1678k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1477.91/1478.36 c 1416s| 2760k| 697 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1684k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1483.30/1483.76 c 1421s| 2770k| 702 | 0 | 0.0 |2982k| 728 | - | 891 | 505 | 0 | 0 | 0 |1690k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1488.40/1488.84 c 1426s| 2780k| 697 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1696k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1493.49/1493.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1493.49/1493.93 c 1431s| 2790k| 703 | 0 | 0.0 |2975k| 728 | - | 891 | 505 | 0 | 0 | 0 |1702k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1498.60/1499.07 c 1436s| 2800k| 703 | 0 | 0.0 |2975k| 728 | - | 891 | 505 | 0 | 0 | 0 |1708k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1504.09/1504.58 c 1441s| 2810k| 698 | 0 | 0.0 |2982k| 728 | - | 891 | 505 | 0 | 0 | 0 |1714k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1509.39/1509.80 c 1446s| 2820k| 697 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1721k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1514.99/1515.41 c 1452s| 2830k| 696 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1727k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1520.38/1520.80 c 1457s| 2840k| 695 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 |1733k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1525.78/1526.29 c 1462s| 2850k| 697 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 |1739k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1531.28/1531.78 c 1467s| 2860k| 698 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1745k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1536.78/1537.27 c 1473s| 2870k| 699 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1752k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1542.18/1542.61 c 1478s| 2880k| 698 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1758k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1547.67/1548.12 c 1483s| 2890k| 695 | 0 | 0.0 |2975k| 728 | - | 891 | 505 | 0 | 0 | 0 |1764k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1552.88/1553.34 c 1488s| 2900k| 695 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1770k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1558.29/1558.71 c 1493s| 2910k| 695 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 |1776k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1563.58/1564.05 c 1498s| 2920k| 698 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1782k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1568.88/1569.32 c 1503s| 2930k| 699 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 |1789k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1574.17/1574.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1574.17/1574.64 c 1508s| 2940k| 694 | 0 | 0.0 |2981k| 728 | - | 891 | 505 | 0 | 0 | 0 |1795k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1579.37/1579.82 c 1513s| 2950k| 691 | 0 | 0.0 |2972k| 728 | - | 891 | 505 | 0 | 0 | 0 |1801k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1584.77/1585.23 c 1519s| 2960k| 702 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 |1807k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1590.37/1590.82 c 1524s| 2970k| 700 | 0 | 0.0 |2982k| 728 | - | 891 | 505 | 0 | 0 | 0 |1813k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1595.77/1596.25 c 1529s| 2980k| 698 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 |1819k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1601.08/1601.53 c 1534s| 2990k| 699 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1825k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1606.27/1606.77 c 1539s| 3000k| 698 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 |1831k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1611.46/1611.97 c 1544s| 3010k| 699 | 0 | 0.0 |2981k| 728 | - | 891 | 505 | 0 | 0 | 0 |1837k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1616.96/1617.42 c 1549s| 3020k| 696 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 |1843k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1622.26/1622.79 c 1555s| 3030k| 696 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1849k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1627.75/1628.24 c 1560s| 3040k| 698 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 |1855k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1633.26/1633.72 c 1565s| 3050k| 697 | 0 | 0.0 |2975k| 728 | - | 891 | 505 | 0 | 0 | 0 |1861k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1638.47/1638.96 c 1570s| 3060k| 698 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 |1867k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1643.76/1644.21 c 1575s| 3070k| 696 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1873k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1648.85/1649.37 c 1580s| 3080k| 697 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 |1879k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1654.15/1654.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1654.15/1654.66 c 1585s| 3090k| 701 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1885k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1659.46/1659.93 c 1590s| 3100k| 699 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 |1891k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1664.75/1665.24 c 1595s| 3110k| 696 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1897k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1669.95/1670.47 c 1600s| 3120k| 701 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 |1903k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1675.25/1675.76 c 1605s| 3130k| 699 | 0 | 0.0 |2974k| 728 | - | 891 | 505 | 0 | 0 | 0 |1909k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1680.65/1681.11 c 1610s| 3140k| 698 | 0 | 0.0 |2984k| 728 | - | 891 | 505 | 0 | 0 | 0 |1915k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1686.04/1686.56 c 1616s| 3150k| 700 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 |1922k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1691.35/1691.81 c 1621s| 3160k| 698 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1928k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1696.54/1697.06 c 1626s| 3170k| 698 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1934k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1701.94/1702.44 c 1631s| 3180k| 699 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1940k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1707.25/1707.70 c 1636s| 3190k| 697 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 |1946k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1712.54/1713.08 c 1641s| 3200k| 697 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1952k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1717.84/1718.36 c 1646s| 3210k| 698 | 0 | 0.0 |2987k| 728 | - | 891 | 505 | 0 | 0 | 0 |1958k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1723.33/1723.88 c 1651s| 3220k| 697 | 0 | 0.0 |2984k| 728 | - | 891 | 505 | 0 | 0 | 0 |1964k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1728.74/1729.28 c 1657s| 3230k| 698 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1971k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1734.24/1734.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1734.24/1734.76 c 1662s| 3240k| 697 | 0 | 0.0 |2981k| 728 | - | 891 | 505 | 0 | 0 | 0 |1977k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1739.84/1740.31 c 1667s| 3250k| 698 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |1983k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1745.33/1745.80 c 1672s| 3260k| 696 | 0 | 0.0 |2980k| 728 | - | 891 | 505 | 0 | 0 | 0 |1989k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1750.73/1751.21 c 1678s| 3270k| 694 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |1995k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1756.14/1756.62 c 1683s| 3280k| 696 | 0 | 0.0 |2981k| 728 | - | 891 | 505 | 0 | 0 | 0 |2001k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1761.53/1762.06 c 1688s| 3290k| 697 | 0 | 0.0 |2976k| 728 | - | 891 | 505 | 0 | 0 | 0 |2008k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1767.02/1767.55 c 1693s| 3300k| 695 | 0 | 0.0 |2975k| 728 | - | 891 | 505 | 0 | 0 | 0 |2014k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1772.42/1772.93 c 1698s| 3310k| 694 | 0 | 0.0 |2973k| 728 | - | 891 | 505 | 0 | 0 | 0 |2020k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1777.73/1778.25 c 1704s| 3320k| 694 | 0 | 0.0 |2975k| 728 | - | 891 | 505 | 0 | 0 | 0 |2026k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1782.93/1783.49 c 1709s| 3330k| 696 | 0 | 0.0 |2978k| 728 | - | 891 | 505 | 0 | 0 | 0 |2032k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1788.22/1788.76 c 1714s| 3340k| 700 | 0 | 0.0 |2977k| 728 | - | 891 | 505 | 0 | 0 | 0 |2039k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1793.53/1794.08 c 1719s| 3350k| 702 | 0 | 0.0 |2979k| 728 | - | 891 | 505 | 0 | 0 | 0 |2045k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
1798.72/1799.21 c 1724s| 3360k| 698 | 0 | 0.0 |2981k| 728 | - | 891 | 505 | 0 | 0 | 0 |2051k| 0 | 3.400000e+01 | 1.920000e+02 | 464.71%
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) : 1724.81
1800.03/1800.50 c Solving Nodes : 3362493
1800.03/1800.50 c Primal Bound : +1.92000000000000e+02 (8 solutions)
1800.03/1800.50 c Dual Bound : +3.40000000000000e+01
1800.03/1800.50 c Gap : 464.71 %
1800.03/1800.51 s SATISFIABLE
1800.03/1800.51 v -x1073 -x1072 -x1071 x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 x1060 -x1059 x1058 -x1057 -x1056 -x1055
1800.03/1800.51 v -x1054 x1053 -x1052 -x1051 -x1050 x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 x1039 -x1038 -x1037
1800.03/1800.51 v x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 x1028 -x1027 x1026 -x1025 -x1024 -x1023 x1022 -x1021 -x1020 -x1019 -x1018
1800.03/1800.51 v x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 x1006 -x1005 -x1004 x1003 -x1002 x1001 -x1000
1800.03/1800.51 v -x999 -x998 x997 x996 -x995 -x994 -x993 x992 -x991 x990 -x989 -x988 x987 -x986 -x985 -x984 -x983 -x982 x981 -x980 -x979 -x978
1800.03/1800.51 v -x977 x976 -x975 -x974 x973 x972 x971 -x970 x969 x968 -x967 -x966 -x965 x964 -x963 -x962 -x961 -x960 x959 x958 -x957 -x956
1800.03/1800.51 v -x955 x954 -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 -x911
1800.03/1800.51 v x910 -x909 -x908 -x907 x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 x890
1800.03/1800.51 v x889 -x888 -x887 -x886 x885 -x884 x883 -x882 x881 x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 x869 x868
1800.03/1800.51 v -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847
1800.03/1800.51 v -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826
1800.03/1800.51 v -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805
1800.03/1800.51 v -x804 -x803 -x802 x801 -x800 x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784
1800.03/1800.51 v -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763
1800.03/1800.51 v -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742
1800.03/1800.51 v -x741 -x740 -x739 -x738 x737 -x736 -x735 -x734 -x733 x732 -x731 x730 -x729 -x728 -x727 -x726 x725 -x724 -x723 -x722 -x721 -x720
1800.03/1800.51 v -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 x700 -x699
1800.03/1800.51 v x698 x697 x696 -x695 -x694 x693 -x692 x691 x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677
1800.03/1800.51 v -x676 -x675 x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656
1800.03/1800.51 v x655 -x654 -x653 x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635
1800.03/1800.51 v -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614
1800.03/1800.51 v -x613 -x612 -x611 -x610 x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593
1800.03/1800.51 v -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572
1800.03/1800.51 v -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 x563 -x562 x561 -x560 -x559 -x558 -x557 x556 -x555 -x554 -x553 -x552 -x551
1800.03/1800.51 v x550 -x549 -x548 -x547 -x546 -x545 x544 x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 x535 -x534 x533 -x532 -x531 x530 -x529
1800.03/1800.51 v x528 -x527 -x526 -x525 -x524 x523 x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 x511 -x510 -x509 x508 -x507
1800.03/1800.51 v -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486
1800.03/1800.51 v -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465
1800.03/1800.51 v -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 x448 x447 -x446 x445 -x444
1800.03/1800.51 v x443 x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 x425 x424 -x423 -x422
1800.03/1800.51 v -x421 -x420 -x419 -x418 -x417 x416 x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 x403 -x402 -x401
1800.03/1800.51 v x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379
1800.03/1800.51 v -x378 -x377 -x376 -x375 -x374 -x373 x372 x371 -x370 -x369 x368 x367 -x366 x365 -x364 -x363 -x362 x361 -x360 -x359 x358 -x357
1800.03/1800.51 v -x356 -x355 -x354 -x353 -x352 -x351 -x350 x349 x348 x347 -x346 x345 x344 -x343 -x342 x341 -x340 -x339 -x338 x337 -x336 -x335
1800.03/1800.51 v x334 -x333 x332 -x331 -x330 -x329 x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 x317 -x316 -x315 -x314
1800.03/1800.51 v -x313 x312 -x311 -x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 x294 -x293 -x292
1800.03/1800.51 v -x291 x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278 x277 -x276 -x275 x274 -x273 -x272 -x271
1800.03/1800.51 v -x270 -x269 -x268 -x267 -x266 -x265 -x264 x263 x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249
1800.03/1800.51 v -x248 x247 x246 -x245 -x244 -x243 x242 -x241 -x240 -x239 -x238 -x237 -x236 x235 x234 -x233 -x232 -x231 -x230 -x229 x228
1800.03/1800.51 v -x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 x211 -x210 -x209 -x208 -x207 x206
1800.03/1800.51 v -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189 -x188 -x187 -x186 -x185
1800.03/1800.51 v -x184 -x183 x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163
1800.03/1800.51 v x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 x153 -x152 -x151 x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142
1800.03/1800.51 v -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120
1800.03/1800.51 v -x119 -x118 x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99
1800.03/1800.51 v -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 x84 -x83 -x82 -x81 x80 -x79 x78 -x77 -x76 -x75 -x74 -x73
1800.03/1800.51 v -x72 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.51 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 -x21 x20
1800.03/1800.51 v x19 -x18 -x17 -x16 x15 -x14 x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.03/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.51 c Solving Time : 1724.81
1800.03/1800.51 c Original Problem :
1800.03/1800.51 c Problem name : HOME/instance-2664758-1276589890.opb
1800.03/1800.51 c Variables : 1073 (1073 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51 c Constraints : 832 initial, 832 maximal
1800.03/1800.51 c Presolved Problem :
1800.03/1800.51 c Problem name : t_HOME/instance-2664758-1276589890.opb
1800.03/1800.51 c Variables : 891 (891 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51 c Constraints : 505 initial, 505 maximal
1800.03/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c dualfix : 0.00 138 0 0 0 0 0 0 0
1800.03/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.51 c linear : 0.02 0 44 0 0 0 327 205 0
1800.03/1800.51 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.51 c root node : - 0 - - 0 - - - -
1800.03/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.51 c logicor : 505+ 0 6232275 0 5 716082 6812430 0 0 0
1800.03/1800.51 c countsols : 0 0 0 0 5 0 0 0 0 0
1800.03/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.51 c logicor : 400.00 0.00 400.00 0.00 0.00
1800.03/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.51 c vbounds : 5.07 2 0 0
1800.03/1800.51 c rootredcost : 5.14 0 0 0
1800.03/1800.51 c pseudoobj : 1087.10 11699248 1343873 16553772
1800.03/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.51 c propagation : 1011.47 2048868 2048868 2048868 251.2 3992 244.1 -
1800.03/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c pseudo solution : 1.89 3808 3808 3808 244.0 70 241.8 -
1800.03/1800.51 c applied globally : - - - 0 0.0 - - -
1800.03/1800.51 c applied locally : - - - 2052676 251.1 - - -
1800.03/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.51 c redcost : 0.00 0 0 0 0 0
1800.03/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.51 c intobj : 0.00 0 0 0 0 0
1800.03/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.51 c gomory : 0.00 0 0 0 0 0
1800.03/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.51 c cmir : 0.00 0 0 0 0 0
1800.03/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.51 c clique : 0.00 0 0 0 0 0
1800.03/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.51 c mcf : 0.00 0 0 0 0 0
1800.03/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.51 c Pricers : Time Calls Vars
1800.03/1800.51 c problem variables: 0.00 0 0
1800.03/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c inference : 24.11 2308298 0 0 0 0 4616596
1800.03/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c random : 0.00 0 0 0 0 0 0
1800.03/1800.51 c Primal Heuristics : Time Calls Found
1800.03/1800.51 c LP solutions : 0.00 - 0
1800.03/1800.51 c pseudo solutions : 0.00 - 5
1800.03/1800.51 c oneopt : 2.26 0 0
1800.03/1800.51 c trivial : 0.00 2 3
1800.03/1800.51 c simplerounding : 0.00 0 0
1800.03/1800.51 c zirounding : 0.00 0 0
1800.03/1800.51 c rounding : 0.00 0 0
1800.03/1800.51 c shifting : 0.00 0 0
1800.03/1800.51 c intshifting : 0.00 0 0
1800.03/1800.51 c twoopt : 0.00 0 0
1800.03/1800.51 c fixandinfer : 0.00 0 0
1800.03/1800.51 c feaspump : 0.00 0 0
1800.03/1800.51 c coefdiving : 0.00 0 0
1800.03/1800.51 c pscostdiving : 0.00 0 0
1800.03/1800.51 c fracdiving : 0.00 0 0
1800.03/1800.51 c veclendiving : 0.00 0 0
1800.03/1800.51 c intdiving : 0.00 0 0
1800.03/1800.51 c actconsdiving : 0.00 0 0
1800.03/1800.51 c objpscostdiving : 0.00 0 0
1800.03/1800.51 c rootsoldiving : 0.00 0 0
1800.03/1800.51 c linesearchdiving : 0.00 0 0
1800.03/1800.51 c guideddiving : 0.00 0 0
1800.03/1800.51 c octane : 0.00 0 0
1800.03/1800.51 c rens : 0.00 0 0
1800.03/1800.51 c rins : 0.00 0 0
1800.03/1800.51 c localbranching : 0.00 0 0
1800.03/1800.51 c mutation : 0.00 0 0
1800.03/1800.51 c crossover : 0.00 0 0
1800.03/1800.51 c dins : 0.00 0 0
1800.03/1800.51 c undercover : 0.00 0 0
1800.03/1800.51 c nlp : 1.47 0 0
1800.03/1800.51 c trysol : 1.37 0 0
1800.03/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.51 c (at root node) : - 0 0 0.00 -
1800.03/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.51 c B&B Tree :
1800.03/1800.51 c number of runs : 1
1800.03/1800.51 c nodes : 3362493
1800.03/1800.51 c nodes (total) : 3362493
1800.03/1800.51 c nodes left : 699
1800.03/1800.51 c max depth : 728
1800.03/1800.51 c max depth (total): 728
1800.03/1800.51 c backtracks : 1164294 (34.6%)
1800.03/1800.51 c delayed cutoffs : 1246201
1800.03/1800.51 c repropagations : 2269118 (12340978 domain reductions, 1009573 cutoffs)
1800.03/1800.51 c avg switch length: 2.31
1800.03/1800.51 c switching time : 41.01
1800.03/1800.51 c Solution :
1800.03/1800.51 c Solutions found : 8 (7 improvements)
1800.03/1800.51 c First Solution : +1.07300000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.03/1800.51 c Primal Bound : +1.92000000000000e+02 (in run 1, after 13976 nodes, 6.68 seconds, depth 713, found by <relaxation>)
1800.03/1800.51 c Dual Bound : +3.40000000000000e+01
1800.03/1800.51 c Gap : 464.71 %
1800.03/1800.51 c Root Dual Bound : +3.30000000000000e+01
1800.03/1800.51 c Root Iterations : 0
1800.03/1800.52 c Time complete: 1800.04.
OK 192
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664758-1276589890/watcher-2664758-1276589890 -o /tmp/evaluation-result-2664758-1276589890/solver-2664758-1276589890 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664758-1276589890.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.99 0.97 0.82 3/107 2524 /proc/meminfo: memFree=1681420/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=6584 CPUtime=0 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 996 0 0 0 0 0 0 0 18 0 1 0 281033 6742016 918 1992294400 4194304 7136930 140736264278736 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2524/statm: 1646 928 254 719 0 925 0 [startup+0.042448 s] /proc/loadavg: 0.99 0.97 0.82 3/107 2524 /proc/meminfo: memFree=1681420/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=12284 CPUtime=0.03 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 2940 0 0 0 3 0 0 0 20 0 1 0 281033 12578816 2508 1992294400 4194304 7136930 140736264278736 18446744073709551615 5953030 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 3071 2513 292 719 0 2350 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12284 [startup+0.101455 s] /proc/loadavg: 0.99 0.97 0.82 3/107 2524 /proc/meminfo: memFree=1681420/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=14500 CPUtime=0.09 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 5360 0 0 0 8 1 0 0 20 0 1 0 281033 14848000 2872 1992294400 4194304 7136930 140736264278736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 3625 2872 370 719 0 2904 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14500 [startup+0.301475 s] /proc/loadavg: 0.99 0.97 0.82 3/107 2524 /proc/meminfo: memFree=1681420/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=16060 CPUtime=0.29 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 5773 0 0 0 26 3 0 0 20 0 1 0 281033 16445440 3282 1992294400 4194304 7136930 140736264278736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4015 3282 389 719 0 3294 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16060 [startup+0.701517 s] /proc/loadavg: 0.99 0.97 0.82 3/107 2524 /proc/meminfo: memFree=1681420/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=16196 CPUtime=0.7 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 5826 0 0 0 64 6 0 0 21 0 1 0 281033 16584704 3335 1992294400 4194304 7136930 140736264278736 18446744073709551615 5905982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4049 3335 390 719 0 3328 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 16196 [startup+1.5016 s] /proc/loadavg: 0.99 0.97 0.82 2/108 2525 /proc/meminfo: memFree=1669384/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=16328 CPUtime=1.49 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 5843 0 0 0 141 8 0 0 23 0 1 0 281033 16719872 3352 1992294400 4194304 7136930 140736264278736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4082 3352 390 719 0 3361 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16328 [startup+3.10177 s] /proc/loadavg: 0.99 0.97 0.82 2/108 2525 /proc/meminfo: memFree=1669012/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=16464 CPUtime=3.09 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 5895 0 0 0 292 17 0 0 25 0 1 0 281033 16859136 3404 1992294400 4194304 7136930 140736264278736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4116 3404 390 719 0 3395 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16464 [startup+6.30111 s] /proc/loadavg: 0.99 0.97 0.82 2/108 2525 /proc/meminfo: memFree=1668640/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=16736 CPUtime=6.29 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 5955 0 0 0 597 32 0 0 25 0 1 0 281033 17137664 3464 1992294400 4194304 7136930 140736264278736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4184 3464 390 719 0 3463 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16736 [startup+12.7018 s] /proc/loadavg: 0.99 0.97 0.82 2/108 2525 /proc/meminfo: memFree=1668268/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=17064 CPUtime=12.69 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6019 0 0 0 1212 57 0 0 25 0 1 0 281033 17473536 3528 1992294400 4194304 7136930 140736264278736 18446744073709551615 4434043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4266 3528 390 719 0 3545 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17064 [startup+25.5011 s] /proc/loadavg: 0.99 0.97 0.82 2/108 2525 /proc/meminfo: memFree=1668020/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=17196 CPUtime=25.48 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6055 0 0 0 2439 109 0 0 25 0 1 0 281033 17608704 3564 1992294400 4194304 7136930 140736264278736 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4299 3564 390 719 0 3578 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17196 [startup+51.1007 s] /proc/loadavg: 0.99 0.97 0.83 2/108 2527 /proc/meminfo: memFree=1668020/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=17328 CPUtime=51.08 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6094 0 0 0 4898 210 0 0 25 0 1 0 281033 17743872 3603 1992294400 4194304 7136930 140736264278736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4332 3603 390 719 0 3611 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 17328 [startup+102.309 s] /proc/loadavg: 0.99 0.97 0.83 2/108 2529 /proc/meminfo: memFree=1667896/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=17468 CPUtime=102.27 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6112 0 0 0 9804 423 0 0 25 0 1 0 281033 17887232 3621 1992294400 4194304 7136930 140736264278736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4367 3621 390 719 0 3646 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 17468 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.84 2/108 2529 /proc/meminfo: memFree=1667772/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=17468 CPUtime=162.25 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6128 0 0 0 15549 676 0 0 25 0 1 0 281033 17887232 3637 1992294400 4194304 7136930 140736264278736 18446744073709551615 5909525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4367 3637 390 719 0 3646 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 17468 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.84 2/108 2531 /proc/meminfo: memFree=1667400/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=17736 CPUtime=222.23 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6198 0 0 0 21305 918 0 0 25 0 1 0 281033 18161664 3707 1992294400 4194304 7136930 140736264278736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4434 3707 390 719 0 3713 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 17736 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.85 2/108 2533 /proc/meminfo: memFree=1667152/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=17736 CPUtime=282.22 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6209 0 0 0 27058 1164 0 0 25 0 1 0 281033 18161664 3718 1992294400 4194304 7136930 140736264278736 18446744073709551615 5909095 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4434 3718 390 719 0 3713 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 17736 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.85 2/108 2535 /proc/meminfo: memFree=1667028/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=17880 CPUtime=342.21 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6221 0 0 0 32804 1417 0 0 25 0 1 0 281033 18309120 3730 1992294400 4194304 7136930 140736264278736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4470 3730 390 719 0 3749 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 17880 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.86 2/108 2537 /proc/meminfo: memFree=1666780/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=17880 CPUtime=402.19 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6240 0 0 0 38560 1659 0 0 25 0 1 0 281033 18309120 3749 1992294400 4194304 7136930 140736264278736 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4470 3749 390 719 0 3749 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 17880 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.87 2/108 2537 /proc/meminfo: memFree=1666780/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=18020 CPUtime=462.17 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6266 0 0 0 44304 1913 0 0 25 0 1 0 281033 18452480 3775 1992294400 4194304 7136930 140736264278736 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4505 3775 390 719 0 3784 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 18020 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.87 2/108 2539 /proc/meminfo: memFree=1666656/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=18020 CPUtime=522.15 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6274 0 0 0 50046 2169 0 0 25 0 1 0 281033 18452480 3783 1992294400 4194304 7136930 140736264278736 18446744073709551615 4240557 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4505 3783 390 719 0 3784 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 18020 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.88 2/108 2541 /proc/meminfo: memFree=1666408/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=18164 CPUtime=582.14 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6289 0 0 0 55796 2418 0 0 25 0 1 0 281033 18599936 3798 1992294400 4194304 7136930 140736264278736 18446744073709551615 5917773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4541 3798 390 719 0 3820 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 18164 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.88 2/108 2543 /proc/meminfo: memFree=1666284/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=18164 CPUtime=642.13 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6304 0 0 0 61550 2663 0 0 25 0 1 0 281033 18599936 3813 1992294400 4194304 7136930 140736264278736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4541 3813 390 719 0 3820 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 18164 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.04 0.99 0.91 2/108 2552 /proc/meminfo: memFree=1631432/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=18308 CPUtime=882.06 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6337 0 0 0 84538 3668 0 0 25 0 1 0 281033 18747392 3846 1992294400 4194304 7136930 140736264278736 18446744073709551615 5925496 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4577 3846 390 719 0 3856 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 18308 [startup+942.301 s] /proc/loadavg: 1.01 0.99 0.91 2/108 2554 /proc/meminfo: memFree=1631432/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=18308 CPUtime=942.03 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6338 0 0 0 90275 3928 0 0 25 0 1 0 281033 18747392 3847 1992294400 4194304 7136930 140736264278736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4577 3847 390 719 0 3856 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 18308 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.91 2/108 2556 /proc/meminfo: memFree=1631432/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=18308 CPUtime=1002.02 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6342 0 0 0 96021 4181 0 0 25 0 1 0 281033 18747392 3851 1992294400 4194304 7136930 140736264278736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4577 3851 390 719 0 3856 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 18308 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.91 2/108 2556 /proc/meminfo: memFree=1631432/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=18308 CPUtime=1062.01 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6342 0 0 0 101773 4428 0 0 25 0 1 0 281033 18747392 3851 1992294400 4194304 7136930 140736264278736 18446744073709551615 5909086 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4577 3851 390 719 0 3856 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 18308 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.91 2/108 2558 /proc/meminfo: memFree=1631432/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=18308 CPUtime=1121.99 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6342 0 0 0 107519 4680 0 0 25 0 1 0 281033 18747392 3851 1992294400 4194304 7136930 140736264278736 18446744073709551615 5917883 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4577 3851 390 719 0 3856 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 18308 [startup+1182.3 s] /proc/loadavg: 1.14 1.03 0.93 2/108 2775 /proc/meminfo: memFree=1587176/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=18308 CPUtime=1181.97 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6342 0 0 0 113263 4934 0 0 25 0 1 0 281033 18747392 3851 1992294400 4194304 7136930 140736264278736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4577 3851 390 719 0 3856 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 18308 [startup+1242.3 s] /proc/loadavg: 1.05 1.02 0.93 2/108 2777 /proc/meminfo: memFree=1587176/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=18308 CPUtime=1241.96 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6346 0 0 0 119013 5183 0 0 25 0 1 0 281033 18747392 3855 1992294400 4194304 7136930 140736264278736 18446744073709551615 5905989 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4577 3855 390 719 0 3856 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 18308 [startup+1302.3 s] /proc/loadavg: 1.02 1.02 0.93 2/108 2779 /proc/meminfo: memFree=1587176/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=18308 CPUtime=1301.95 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6346 0 0 0 124770 5425 0 0 25 0 1 0 281033 18747392 3855 1992294400 4194304 7136930 140736264278736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4577 3855 390 719 0 3856 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 18308 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 0.93 2/108 2779 /proc/meminfo: memFree=1587176/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=18308 CPUtime=1361.93 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6347 0 0 0 130514 5679 0 0 25 0 1 0 281033 18747392 3856 1992294400 4194304 7136930 140736264278736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4577 3856 390 719 0 3856 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 18308 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 0.93 2/108 2781 /proc/meminfo: memFree=1587052/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=18308 CPUtime=1421.91 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6351 0 0 0 136257 5934 0 0 25 0 1 0 281033 18747392 3860 1992294400 4194304 7136930 140736264278736 18446744073709551615 4240399 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4577 3860 390 719 0 3856 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 18308 [startup+1482.3 s] /proc/loadavg: 1.64 1.17 0.98 3/113 11690 /proc/meminfo: memFree=1573608/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=18308 CPUtime=1481.9 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6351 0 0 0 141994 6196 0 0 25 0 1 0 281033 18747392 3860 1992294400 4194304 7136930 140736264278736 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4577 3860 390 719 0 3856 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 18308 [startup+1542.3 s] /proc/loadavg: 2.30 1.44 1.09 3/113 27499 /proc/meminfo: memFree=1560524/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=18444 CPUtime=1541.88 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6358 0 0 0 147749 6439 0 0 25 0 1 0 281033 18886656 3867 1992294400 4194304 7136930 140736264278736 18446744073709551615 4240371 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4611 3867 390 719 0 3890 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 18444 [startup+1602.3 s] /proc/loadavg: 2.11 1.55 1.15 2/107 8779 /proc/meminfo: memFree=1548244/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=18444 CPUtime=1601.86 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6368 0 0 0 153498 6688 0 0 25 0 1 0 281033 18886656 3877 1992294400 4194304 7136930 140736264278736 18446744073709551615 5925621 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4611 3877 390 719 0 3890 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 18444 [startup+1662.3 s] /proc/loadavg: 1.44 1.46 1.14 2/107 8779 /proc/meminfo: memFree=1548244/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=18444 CPUtime=1661.85 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6368 0 0 0 159245 6940 0 0 25 0 1 0 281033 18886656 3877 1992294400 4194304 7136930 140736264278736 18446744073709551615 4238121 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4611 3877 390 719 0 3890 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 18444 [startup+1722.3 s] /proc/loadavg: 1.16 1.38 1.13 2/107 8781 /proc/meminfo: memFree=1548244/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=18444 CPUtime=1721.84 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6368 0 0 0 164991 7193 0 0 25 0 1 0 281033 18886656 3877 1992294400 4194304 7136930 140736264278736 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4611 3877 390 719 0 3890 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 18444 [startup+1782.3 s] /proc/loadavg: 1.06 1.31 1.12 2/107 8783 /proc/meminfo: memFree=1548244/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=18444 CPUtime=1781.82 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6368 0 0 0 170739 7443 0 0 25 0 1 0 281033 18886656 3877 1992294400 4194304 7136930 140736264278736 18446744073709551615 4240553 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4611 3877 390 719 0 3890 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 18444 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.04 1.29 1.11 2/107 8783 /proc/meminfo: memFree=1548244/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=18444 CPUtime=1800.03 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6368 0 0 0 172483 7520 0 0 25 0 1 0 281033 18886656 3877 1992294400 4194304 7136930 140736264278736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4611 3877 390 719 0 3890 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 18444 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.29 1.11 2/107 8783 /proc/meminfo: memFree=1548244/2059040 swapFree=4192956/4192956 [pid=2524] ppid=2522 vsize=18444 CPUtime=1800.03 /proc/2524/stat : 2524 (pbscip.linux.x8) R 2522 2524 2333 0 -1 4202496 6368 0 0 0 172483 7520 0 0 25 0 1 0 281033 18886656 3877 1992294400 4194304 7136930 140736264278736 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2524/statm: 4611 3877 390 719 0 3890 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 18444 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.05 CPU user time (s): 1724.85 CPU system time (s): 75.2026 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 18444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1724.85 system time used= 75.2026 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6416 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= 5 involuntary context switches= 22861 runsolver used 2.98555 second user time and 8.68168 second system time The end
Begin job on node047 at 2010-06-15 10:18:10 IDJOB=2664758 IDBENCH=2842 IDSOLVER=1167 FILE ID=node047/2664758-1276589890 PBS_JOBID= 11173565 Free space on /tmp= 62376 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-addm4.r.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-2664758-1276589890/watcher-2664758-1276589890 -o /tmp/evaluation-result-2664758-1276589890/solver-2664758-1276589890 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664758-1276589890.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9633aa6e9fb6df7104bc0e43c44542c0 RANDOM SEED=19521757 node047.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.244 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.244 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1681824 kB Buffers: 16236 kB Cached: 255560 kB SwapCached: 0 kB Active: 98688 kB Inactive: 232256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1681824 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3364 kB Writeback: 0 kB AnonPages: 59072 kB Mapped: 15372 kB Slab: 24492 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 177884 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= 62540 MiB End job on node047 at 2010-06-15 10:48:13