Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | 61 | 1800.09 | 1800.77 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-alu2.b.opb |
| MD5SUM | a793af2f16b39bdc1dda733b5326bfb4 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 60 |
| Best CPU time to get the best result obtained on this benchmark | 2.97355 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 60 |
| Optimality of the best value was proved | NO |
| Number of variables | 1266 |
| Total number of constraints | 2888 |
| Number of constraints which are clauses | 2888 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 183 |
| Number of terms in the objective function | 1266 |
| 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 | 1266 |
| 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 | 1266 |
| 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: Clp 1.11.1] [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-2665512-1276594879.opb>
0.09/0.17 c original problem has 1266 variables (1266 bin, 0 int, 0 impl, 0 cont) and 2888 constraints
0.09/0.17 c problem read
0.09/0.17 c presolving settings loaded
0.19/0.22 o 1266
0.19/0.22 c feasible solution found by trivial heuristic, objective value 1.266000e+03
0.19/0.22 c presolving:
0.19/0.26 c (round 1) 14 del vars, 179 del conss, 14 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 34 impls, 0 clqs
0.19/0.26 c (round 2) 14 del vars, 189 del conss, 14 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 34 impls, 0 clqs
0.39/0.46 c (round 3) 14 del vars, 1756 del conss, 14 chg bounds, 20 chg sides, 2 chg coeffs, 2638 upgd conss, 34 impls, 0 clqs
0.39/0.47 c (round 4) 14 del vars, 1758 del conss, 14 chg bounds, 20 chg sides, 2 chg coeffs, 2642 upgd conss, 34 impls, 0 clqs
0.39/0.48 c (round 5) 14 del vars, 1759 del conss, 14 chg bounds, 20 chg sides, 2 chg coeffs, 2646 upgd conss, 34 impls, 0 clqs
0.39/0.49 c (0.3s) probing: 101/1252 (8.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.49 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.39/0.49 c presolving (6 rounds):
0.39/0.49 c 14 deleted vars, 1759 deleted constraints, 14 tightened bounds, 0 added holes, 20 changed sides, 2 changed coefficients
0.39/0.49 c 34 implications, 0 cliques
0.39/0.49 c presolved problem has 1252 variables (1252 bin, 0 int, 0 impl, 0 cont) and 1129 constraints
0.39/0.49 c 1129 constraints of type <logicor>
0.39/0.49 c transformed objective value is always integral (scale: 1)
0.39/0.49 c Presolving Time: 0.26
0.39/0.49 c - non default parameters ----------------------------------------------------------------------
0.39/0.49 c # SCIP version 1.2.1.2
0.39/0.49 c
0.39/0.49 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.49 c conflict/interconss = 0
0.39/0.49 c
0.39/0.49 c # should binary conflicts be preferred?
0.39/0.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.49 c conflict/preferbinary = TRUE
0.39/0.49 c
0.39/0.49 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.49 c constraints/agelimit = 1
0.39/0.49 c
0.39/0.49 c # should enforcement of pseudo solution be disabled?
0.39/0.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.49 c constraints/disableenfops = TRUE
0.39/0.49 c
0.39/0.49 c # frequency for displaying node information lines
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.49 c display/freq = 10000
0.39/0.49 c
0.39/0.49 c # maximal time in seconds to run
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.49 c limits/time = 1799.85
0.39/0.49 c
0.39/0.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.49 c limits/memory = 1620
0.39/0.49 c
0.39/0.49 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.49 c lp/solvefreq = 0
0.39/0.49 c
0.39/0.49 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.39/0.49 c # [type: char, range: {lafpsqd}, default: l]
0.39/0.49 c lp/pricing = a
0.39/0.49 c
0.39/0.49 c # should presolving try to simplify inequalities
0.39/0.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.49 c constraints/linear/simplifyinequalities = TRUE
0.39/0.49 c
0.39/0.49 c # should presolving try to simplify knapsacks
0.39/0.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.49 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.49 c
0.39/0.49 c # priority of node selection rule <dfs> in standard mode
0.39/0.49 c # [type: int, range: [-536870912,536870911], default: 0]
0.39/0.49 c nodeselection/dfs/stdpriority = 1000000
0.39/0.49 c
0.39/0.49 c -----------------------------------------------------------------------------------------------
0.39/0.49 c start solving
0.39/0.49 c
0.49/0.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.56 c t 0.4s| 1 | 0 | 287 | - |9748k| 0 | 124 |1252 |1129 |1252 |1129 | 0 | 0 | 0 | 5.518750e+01 | 1.266000e+03 |2194.00%
0.49/0.56 o 125
0.49/0.56 c R 0.4s| 1 | 0 | 287 | - |9782k| 0 | 124 |1252 |1129 |1252 |1129 | 0 | 0 | 0 | 5.518750e+01 | 1.250000e+02 | 126.50%
0.89/0.96 c 0.8s| 1 | 0 | 418 | - | 11M| 0 | 131 |1252 |1129 |1252 |1135 | 6 | 0 | 0 | 5.600487e+01 | 1.250000e+02 | 123.19%
0.89/0.96 o 67
0.89/0.96 c b 0.8s| 1 | 0 | 418 | - | 11M| 0 | 131 |1252 |1129 |1252 |1135 | 6 | 0 | 0 | 5.600487e+01 | 6.700000e+01 | 19.63%
1.69/1.76 c 1.5s| 1 | 0 | 568 | - | 14M| 0 | 154 |1252 |1129 |1252 |1141 | 12 | 0 | 0 | 5.646721e+01 | 6.700000e+01 | 18.65%
2.39/2.41 c 2.2s| 1 | 0 | 673 | - | 15M| 0 | 115 |1252 |1129 |1252 |1143 | 14 | 0 | 0 | 5.655731e+01 | 6.700000e+01 | 18.46%
3.09/3.11 c 2.9s| 1 | 0 | 827 | - | 16M| 0 | 137 |1252 |1129 |1252 |1147 | 18 | 0 | 0 | 5.682620e+01 | 6.700000e+01 | 17.90%
3.69/3.76 c 3.5s| 1 | 0 | 935 | - | 17M| 0 | 120 |1252 |1129 |1252 |1149 | 20 | 0 | 0 | 5.696806e+01 | 6.700000e+01 | 17.61%
4.29/4.40 c 4.1s| 1 | 0 | 1090 | - | 17M| 0 | 116 |1252 |1129 |1252 |1151 | 22 | 0 | 0 | 5.718189e+01 | 6.700000e+01 | 17.17%
4.89/4.97 c 4.7s| 1 | 0 | 1118 | - | 18M| 0 | 116 |1252 |1129 |1252 |1152 | 23 | 0 | 0 | 5.718224e+01 | 6.700000e+01 | 17.17%
5.59/5.60 c 5.3s| 1 | 0 | 1158 | - | 18M| 0 | 104 |1252 |1129 |1252 |1153 | 24 | 0 | 0 | 5.718255e+01 | 6.700000e+01 | 17.17%
6.09/6.10 c 5.8s| 1 | 0 | 1269 | - | 18M| 0 | 126 |1252 |1129 |1252 |1156 | 27 | 0 | 0 | 5.726545e+01 | 6.700000e+01 | 17.00%
6.69/6.75 c 6.5s| 1 | 0 | 1384 | - | 18M| 0 | 129 |1252 |1129 |1252 |1158 | 29 | 0 | 0 | 5.729902e+01 | 6.700000e+01 | 16.93%
7.38/7.41 c 7.1s| 1 | 0 | 1520 | - | 18M| 0 | 135 |1252 |1129 |1252 |1158 | 30 | 0 | 0 | 5.731222e+01 | 6.700000e+01 | 16.90%
7.89/7.90 c 7.6s| 1 | 0 | 1700 | - | 18M| 0 | 128 |1252 |1129 |1252 |1160 | 32 | 0 | 0 | 5.735761e+01 | 6.700000e+01 | 16.81%
8.38/8.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.38/8.41 c 8.1s| 1 | 0 | 1968 | - | 18M| 0 | 121 |1252 |1129 |1252 |1161 | 33 | 0 | 0 | 5.738175e+01 | 6.700000e+01 | 16.76%
9.89/9.91 o 61
9.89/9.91 c E 9.5s| 1 | 0 | 1968 | - | 18M| 0 | 121 |1252 |1129 |1252 |1161 | 33 | 0 | 0 | 5.738175e+01 | 6.100000e+01 | 6.31%
9.89/9.92 c 9.5s| 1 | 0 | 1968 | - | 18M| 0 | 121 |1252 |1129 |1252 |1161 | 33 | 0 | 0 | 5.738175e+01 | 6.100000e+01 | 6.31%
11.38/11.43 c 11.0s| 1 | 2 | 1968 | - | 18M| 0 | 121 |1252 |1129 |1252 |1161 | 33 | 0 | 26 | 5.738175e+01 | 6.100000e+01 | 6.31%
20.38/20.44 c 19.7s| 10000 | 1007 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 |5872 | 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
31.78/31.87 c 30.9s| 20000 | 1000 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 12k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
43.78/43.88 c 42.6s| 30000 | 993 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 19k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
55.67/55.80 c 54.2s| 40000 | 985 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 25k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
67.46/67.58 c 65.7s| 50000 | 980 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 32k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
79.17/79.24 c 77.1s| 60000 | 979 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 39k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
90.25/90.30 c 87.9s| 70000 | 974 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 45k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
101.65/101.72 c 99.0s| 80000 | 970 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 52k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
112.85/112.90 c 110s| 90000 | 968 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 58k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
124.44/124.56 c 121s|100000 | 965 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 65k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
136.04/136.13 c 133s|110000 | 964 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 71k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
148.04/148.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.04/148.10 c 144s|120000 | 960 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 78k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
159.33/159.42 c 155s|130000 | 960 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 85k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
170.12/170.23 c 166s|140000 | 959 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 91k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
181.22/181.34 c 177s|150000 | 958 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 98k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
191.92/192.02 c 187s|160000 | 956 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 105k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
202.62/202.79 c 198s|170000 | 956 | 1968 | 0.0 | 19M|1086 | - |1252 |1131 | 0 | 0 | 33 | 111k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
213.62/213.72 c 208s|180000 | 952 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 118k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
224.51/224.69 c 219s|190000 | 947 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 124k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
235.40/235.57 c 229s|200000 | 947 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 131k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
247.10/247.21 c 241s|210000 | 948 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 138k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
259.30/259.44 c 253s|220000 | 947 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 144k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
269.60/269.78 c 263s|230000 | 954 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 150k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
280.68/280.82 c 274s|240000 | 949 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 157k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
291.58/291.75 c 284s|250000 | 945 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 164k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
302.78/302.98 c 295s|260000 | 946 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 171k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
312.18/312.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.18/312.38 c 304s|270000 | 944 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 177k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
322.37/322.50 c 314s|280000 | 948 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 183k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
333.18/333.38 c 325s|290000 | 947 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 190k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
343.16/343.35 c 334s|300000 | 947 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 196k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
352.96/353.14 c 344s|310000 | 946 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 202k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
363.36/363.54 c 354s|320000 | 942 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 209k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
374.25/374.41 c 365s|330000 | 943 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 216k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
384.25/384.45 c 374s|340000 | 947 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 222k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
394.35/394.52 c 384s|350000 | 945 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 229k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
403.74/403.92 c 393s|360000 | 948 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 235k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
413.34/413.50 c 402s|370000 | 945 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 241k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
423.13/423.30 c 412s|380000 | 943 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 247k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
433.14/433.37 c 422s|390000 | 946 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 254k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
443.92/444.11 c 432s|400000 | 949 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 261k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
453.23/453.43 c 441s|410000 | 949 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 267k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
463.12/463.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
463.12/463.39 c 451s|420000 | 944 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 273k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
473.32/473.54 c 461s|430000 | 938 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 280k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
483.41/483.64 c 471s|440000 | 945 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 286k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
493.41/493.67 c 480s|450000 | 942 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 293k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
503.40/503.63 c 490s|460000 | 945 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 299k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
513.40/513.60 c 500s|470000 | 943 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 305k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
523.40/523.65 c 509s|480000 | 947 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 312k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
534.09/534.38 c 520s|490000 | 940 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 319k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
544.39/544.67 c 530s|500000 | 945 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 325k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
554.48/554.71 c 540s|510000 | 942 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 332k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
564.28/564.53 c 549s|520000 | 946 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 338k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
574.28/574.52 c 559s|530000 | 941 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 344k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
584.27/584.57 c 569s|540000 | 943 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 351k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
593.67/593.97 c 578s|550000 | 945 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 357k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
603.47/603.70 c 587s|560000 | 943 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 363k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
613.77/614.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
613.77/614.05 c 597s|570000 | 941 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 370k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
624.46/624.80 c 608s|580000 | 939 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 377k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
635.85/636.18 c 619s|590000 | 941 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 384k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
646.35/646.60 c 629s|600000 | 943 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 390k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
656.94/657.27 c 639s|610000 | 940 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 397k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
667.04/667.36 c 649s|620000 | 938 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 403k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
677.14/677.41 c 659s|630000 | 939 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 410k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
687.44/687.71 c 669s|640000 | 938 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 416k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
698.43/698.70 c 680s|650000 | 938 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 423k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
708.83/709.16 c 690s|660000 | 943 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 430k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
719.03/719.31 c 700s|670000 | 942 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 436k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
729.32/729.62 c 710s|680000 | 939 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 443k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
739.82/740.10 c 720s|690000 | 934 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 449k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
750.11/750.43 c 730s|700000 | 934 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 456k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
759.61/759.97 c 739s|710000 | 941 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 462k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
770.21/770.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
770.21/770.51 c 750s|720000 | 937 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 468k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
780.00/780.30 c 759s|730000 | 942 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 474k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
790.10/790.47 c 769s|740000 | 936 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 481k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
800.00/800.39 c 779s|750000 | 933 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 487k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
810.59/810.95 c 789s|760000 | 941 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 494k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
821.08/821.40 c 799s|770000 | 945 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 500k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
831.88/832.29 c 810s|780000 | 934 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 507k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
842.18/842.54 c 820s|790000 | 938 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 513k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
852.38/852.71 c 829s|800000 | 938 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 520k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
862.87/863.27 c 840s|810000 | 935 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 527k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
873.57/873.91 c 850s|820000 | 936 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 533k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
883.57/883.95 c 860s|830000 | 942 | 1968 | 0.0 | 19M|1086 | - |1252 |1131 | 0 | 0 | 33 | 540k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
893.87/894.24 c 870s|840000 | 937 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 546k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
904.46/904.84 c 880s|850000 | 937 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 553k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
915.15/915.51 c 891s|860000 | 936 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 560k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
925.45/925.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
925.45/925.83 c 901s|870000 | 933 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 566k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
936.95/937.32 c 912s|880000 | 936 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 573k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
947.14/947.52 c 922s|890000 | 942 | 1968 | 0.0 | 19M|1086 | - |1252 |1130 | 0 | 0 | 33 | 580k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
956.84/957.26 c 931s|900000 | 936 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 586k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
966.34/966.78 c 940s|910000 | 935 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 592k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
976.34/976.71 c 950s|920000 | 936 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 599k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
986.34/986.79 c 960s|930000 | 935 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 605k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
996.72/997.15 c 970s|940000 | 937 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 612k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1007.42/1007.87 c 980s|950000 | 937 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 619k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1019.33/1019.72 c 992s|960000 | 932 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 627k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1028.31/1028.75 c 1000s|970000 | 939 | 1968 | 0.0 | 19M|1086 | - |1252 |1130 | 0 | 0 | 33 | 633k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1038.21/1038.66 c 1010s|980000 | 934 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 639k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1049.10/1049.56 c 1021s|990000 | 936 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 646k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1059.90/1060.38 c 1031s| 1000k| 935 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 653k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1070.39/1070.81 c 1041s| 1010k| 933 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 659k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1081.20/1081.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1081.20/1081.64 c 1052s| 1020k| 928 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 666k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1091.69/1092.11 c 1062s| 1030k| 933 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 673k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1102.79/1103.27 c 1073s| 1040k| 930 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 680k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1112.19/1112.67 c 1082s| 1050k| 936 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 686k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1122.88/1123.31 c 1092s| 1060k| 931 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 693k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1132.38/1132.81 c 1102s| 1070k| 938 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 699k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1142.77/1143.20 c 1112s| 1080k| 933 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 705k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1152.96/1153.43 c 1122s| 1090k| 931 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 712k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1163.06/1163.57 c 1132s| 1100k| 931 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 718k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1173.27/1173.73 c 1141s| 1110k| 932 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 724k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1183.24/1183.75 c 1151s| 1120k| 933 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 731k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1193.74/1194.25 c 1161s| 1130k| 931 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 738k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1203.14/1203.67 c 1171s| 1140k| 934 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 744k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1212.44/1212.94 c 1180s| 1150k| 933 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 750k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1221.43/1221.99 c 1188s| 1160k| 933 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 756k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1231.02/1231.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1231.02/1231.54 c 1198s| 1170k| 932 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 763k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1241.12/1241.60 c 1207s| 1180k| 935 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 769k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1251.41/1251.96 c 1218s| 1190k| 932 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 776k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1261.71/1262.25 c 1228s| 1200k| 935 | 1968 | 0.0 | 19M|1086 | - |1252 |1131 | 0 | 0 | 33 | 782k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1271.51/1272.07 c 1237s| 1210k| 933 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 789k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1281.70/1282.29 c 1247s| 1220k| 935 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 795k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1292.20/1292.71 c 1257s| 1230k| 934 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 802k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1302.00/1302.58 c 1267s| 1240k| 935 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 808k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1311.99/1312.59 c 1276s| 1250k| 933 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 815k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1321.79/1322.31 c 1286s| 1260k| 931 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 821k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1331.49/1332.05 c 1295s| 1270k| 930 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 827k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1341.68/1342.29 c 1305s| 1280k| 932 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 834k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1352.57/1353.17 c 1316s| 1290k| 938 | 1968 | 0.0 | 19M|1086 | - |1252 |1130 | 0 | 0 | 33 | 841k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1362.38/1362.96 c 1325s| 1300k| 931 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 847k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1372.87/1373.41 c 1336s| 1310k| 927 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 854k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1382.66/1383.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.66/1383.23 c 1345s| 1320k| 938 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 860k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1392.26/1392.88 c 1355s| 1330k| 932 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 866k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1401.97/1402.59 c 1364s| 1340k| 934 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 872k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1412.25/1412.86 c 1374s| 1350k| 930 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 879k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1422.16/1422.73 c 1384s| 1360k| 932 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 885k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1432.34/1432.91 c 1393s| 1370k| 935 | 1968 | 0.0 | 19M|1086 | - |1252 |1130 | 0 | 0 | 33 | 892k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1442.75/1443.36 c 1404s| 1380k| 932 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 898k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1452.84/1453.43 c 1413s| 1390k| 931 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 905k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1462.74/1463.32 c 1423s| 1400k| 928 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 911k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1472.93/1473.51 c 1433s| 1410k| 930 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 918k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1483.53/1484.10 c 1443s| 1420k| 929 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 924k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1493.83/1494.47 c 1453s| 1430k| 933 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 931k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1504.02/1504.69 c 1463s| 1440k| 927 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 937k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1514.13/1514.72 c 1473s| 1450k| 932 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 944k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1524.61/1525.20 c 1483s| 1460k| 927 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 950k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1535.02/1535.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1535.02/1535.61 c 1493s| 1470k| 932 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 957k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1545.10/1545.78 c 1503s| 1480k| 929 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 964k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1554.90/1555.54 c 1513s| 1490k| 930 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 970k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1565.10/1565.71 c 1522s| 1500k| 929 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 977k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1574.79/1575.46 c 1532s| 1510k| 933 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 983k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1584.59/1585.25 c 1541s| 1520k| 934 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 989k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1594.49/1595.18 c 1551s| 1530k| 929 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 | 996k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1604.59/1605.22 c 1561s| 1540k| 925 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 |1003k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1614.09/1614.80 c 1570s| 1550k| 932 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 |1009k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1623.67/1624.39 c 1579s| 1560k| 928 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 |1016k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1633.07/1633.76 c 1589s| 1570k| 930 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 |1022k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1642.28/1642.92 c 1597s| 1580k| 931 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 |1028k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1651.58/1652.23 c 1606s| 1590k| 929 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 |1035k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1661.27/1661.93 c 1616s| 1600k| 931 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 |1041k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1671.16/1671.80 c 1625s| 1610k| 928 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 |1048k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1681.17/1681.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1681.17/1681.81 c 1635s| 1620k| 930 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 |1054k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1691.35/1692.05 c 1645s| 1630k| 929 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 |1060k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1701.65/1702.38 c 1655s| 1640k| 929 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 |1067k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1711.75/1712.44 c 1665s| 1650k| 929 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 |1073k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1721.64/1722.39 c 1675s| 1660k| 927 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 |1080k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1731.74/1732.48 c 1684s| 1670k| 928 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 |1086k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1741.43/1742.14 c 1694s| 1680k| 931 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 |1092k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1751.33/1752.05 c 1703s| 1690k| 933 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 |1099k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1761.12/1761.86 c 1713s| 1700k| 927 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 |1105k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1771.44/1772.13 c 1723s| 1710k| 928 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 |1112k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1781.83/1782.53 c 1733s| 1720k| 924 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 |1119k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1791.82/1792.55 c 1743s| 1730k| 929 | 1968 | 0.0 | 19M|1086 | - |1252 |1129 | 0 | 0 | 33 |1125k| 26 | 5.745029e+01 | 6.100000e+01 | 6.18%
1800.02/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.71 c
1800.02/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.71 c Solving Time (sec) : 1750.65
1800.02/1800.71 c Solving Nodes : 1737816
1800.02/1800.71 c Primal Bound : +6.10000000000000e+01 (5 solutions)
1800.02/1800.71 c Dual Bound : +5.74502873728661e+01
1800.02/1800.71 c Gap : 6.18 %
1800.02/1800.72 s SATISFIABLE
1800.02/1800.72 v -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 x1253 x1252 x1251 -x1250 -x1249 x1248
1800.02/1800.72 v x1247 -x1246 -x1245 -x1244 x1243 -x1242 -x1241 x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230
1800.02/1800.72 v x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212
1800.02/1800.72 v x1211 x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193
1800.02/1800.72 v -x1192 -x1191 x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175
1800.02/1800.72 v -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157
1800.02/1800.72 v -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139
1800.02/1800.72 v -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 x1124 -x1123 -x1122 x1121
1800.02/1800.72 v -x1120 x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 x1105 -x1104 -x1103
1800.02/1800.72 v -x1102 -x1101 x1100 -x1099 x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085
1800.02/1800.72 v -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067
1800.02/1800.72 v -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049
1800.02/1800.72 v -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031
1800.02/1800.72 v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013
1800.02/1800.72 v -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995
1800.02/1800.72 v -x994 -x993 -x992 -x991 -x990 -x989 -x988 x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974
1800.02/1800.72 v -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953
1800.02/1800.72 v -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 x936 -x935 -x934 -x933 -x932
1800.02/1800.72 v -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911
1800.02/1800.72 v -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890
1800.02/1800.72 v -x889 -x888 -x887 -x886 -x885 -x884 x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 x869
1800.02/1800.72 v -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848
1800.02/1800.72 v -x847 -x846 x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827
1800.02/1800.72 v -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806
1800.02/1800.72 v -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785
1800.02/1800.72 v -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 x768 -x767 -x766 -x765 -x764
1800.02/1800.72 v -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743
1800.02/1800.72 v -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722
1800.02/1800.72 v -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701
1800.02/1800.72 v -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 x685 -x684 -x683 -x682 -x681 -x680
1800.02/1800.72 v -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659
1800.02/1800.72 v -x658 x657 -x656 -x655 -x654 x653 -x652 -x651 x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638
1800.02/1800.72 v -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 x618 x617
1800.02/1800.72 v -x616 -x615 x614 -x613 -x612 -x611 -x610 x609 -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595
1800.02/1800.72 v -x594 x593 -x592 -x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574
1800.02/1800.72 v -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553
1800.02/1800.72 v -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533
1800.02/1800.72 v -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512
1800.02/1800.72 v -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491
1800.02/1800.72 v x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470
1800.02/1800.72 v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449
1800.02/1800.72 v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428
1800.02/1800.72 v -x427 -x426 x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407
1800.02/1800.72 v -x406 x405 -x404 -x403 -x402 x401 -x400 -x399 x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386
1800.02/1800.72 v -x385 -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365
1800.02/1800.72 v -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 -x345 -x344
1800.02/1800.72 v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323
1800.02/1800.72 v -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302
1800.02/1800.72 v -x301 -x300 -x299 -x298 -x297 -x296 -x295 x294 -x293 x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281
1800.02/1800.72 v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260
1800.02/1800.72 v -x259 x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239
1800.02/1800.72 v -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218
1800.02/1800.72 v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197
1800.02/1800.72 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176
1800.02/1800.72 v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155
1800.02/1800.72 v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134
1800.02/1800.72 v -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
1800.02/1800.72 v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91
1800.02/1800.72 v -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
1800.02/1800.72 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41
1800.02/1800.72 v -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16
1800.02/1800.72 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.02/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.72 c Solving Time : 1750.65
1800.02/1800.72 c Original Problem :
1800.02/1800.72 c Problem name : HOME/instance-2665512-1276594879.opb
1800.02/1800.72 c Variables : 1266 (1266 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.72 c Constraints : 2888 initial, 2888 maximal
1800.02/1800.72 c Presolved Problem :
1800.02/1800.72 c Problem name : t_HOME/instance-2665512-1276594879.opb
1800.02/1800.72 c Variables : 1252 (1252 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.72 c Constraints : 1129 initial, 1141 maximal
1800.02/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.72 c probing : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.72 c linear : 0.10 14 0 0 14 0 242 20 2
1800.02/1800.72 c logicor : 0.13 0 0 0 0 0 1517 0 0
1800.02/1800.72 c root node : - 0 - - 0 - - - -
1800.02/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.72 c integral : 0 0 0 1 0 0 0 0 0 2
1800.02/1800.72 c logicor : 1129+ 14 4466002 0 0 811854 4049005 0 0 0
1800.02/1800.72 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.72 c integral : 0.93 0.00 0.00 0.93 0.00
1800.02/1800.72 c logicor : 753.46 0.00 753.46 0.00 0.00
1800.02/1800.72 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.72 c vbounds : 3.82 2 0 0
1800.02/1800.72 c rootredcost : 3.65 0 0 0
1800.02/1800.72 c pseudoobj : 728.92 7481997 318528 51256365
1800.02/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.72 c propagation : 950.37 1130382 1130382 1130382 427.9 1587 338.7 -
1800.02/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.72 c applied globally : - - - 23600 90.8 - - -
1800.02/1800.72 c applied locally : - - - 1106793 435.1 - - -
1800.02/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.72 c cut pool : 0.05 13 - - 13 - (maximal pool size: 480)
1800.02/1800.72 c redcost : 0.00 15 0 0 0 0
1800.02/1800.72 c impliedbounds : 0.00 15 0 0 0 0
1800.02/1800.72 c intobj : 0.00 0 0 0 0 0
1800.02/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.72 c gomory : 3.94 15 0 0 1666 0
1800.02/1800.72 c strongcg : 3.62 15 0 0 3289 0
1800.02/1800.72 c cmir : 0.19 10 0 0 0 0
1800.02/1800.72 c flowcover : 0.42 10 0 0 0 0
1800.02/1800.72 c clique : 0.00 1 0 0 0 0
1800.02/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.72 c mcf : 0.01 1 0 0 0 0
1800.02/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.72 c Pricers : Time Calls Vars
1800.02/1800.72 c problem variables: 0.00 0 0
1800.02/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.72 c relpscost : 0.93 1 0 0 0 0 2
1800.02/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.72 c inference : 76.03 1229975 0 0 0 0 2459950
1800.02/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.72 c random : 0.00 0 0 0 0 0 0
1800.02/1800.72 c Primal Heuristics : Time Calls Found
1800.02/1800.72 c LP solutions : 0.00 - 0
1800.02/1800.72 c pseudo solutions : 0.00 - 0
1800.02/1800.72 c crossover : 0.00 0 0
1800.02/1800.72 c oneopt : 1.05 3 1
1800.02/1800.72 c trivial : 0.01 2 2
1800.02/1800.72 c simplerounding : 0.00 14 0
1800.02/1800.72 c zirounding : 0.00 1 0
1800.02/1800.72 c rounding : 0.01 14 1
1800.02/1800.72 c shifting : 0.00 14 0
1800.02/1800.72 c intshifting : 0.00 0 0
1800.02/1800.72 c twoopt : 0.00 0 0
1800.02/1800.72 c fixandinfer : 0.00 0 0
1800.02/1800.72 c feaspump : 0.00 0 0
1800.02/1800.72 c coefdiving : 0.00 0 0
1800.02/1800.72 c pscostdiving : 0.00 0 0
1800.02/1800.72 c fracdiving : 0.00 0 0
1800.02/1800.72 c veclendiving : 0.00 0 0
1800.02/1800.72 c intdiving : 0.00 0 0
1800.02/1800.72 c actconsdiving : 0.00 0 0
1800.02/1800.72 c objpscostdiving : 0.00 0 0
1800.02/1800.72 c rootsoldiving : 0.00 0 0
1800.02/1800.72 c linesearchdiving : 0.00 0 0
1800.02/1800.72 c guideddiving : 0.00 0 0
1800.02/1800.72 c octane : 0.00 0 0
1800.02/1800.72 c rens : 0.87 1 1
1800.02/1800.72 c rins : 0.00 0 0
1800.02/1800.72 c localbranching : 0.00 0 0
1800.02/1800.72 c mutation : 0.00 0 0
1800.02/1800.72 c dins : 0.00 0 0
1800.02/1800.72 c undercover : 0.00 0 0
1800.02/1800.72 c nlp : 1.04 0 0
1800.02/1800.72 c trysol : 0.95 0 0
1800.02/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.72 c primal LP : 0.01 0 0 0.00 0.00
1800.02/1800.72 c dual LP : 0.53 14 1968 140.57 3713.21
1800.02/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.72 c strong branching : 0.93 26 3111 119.65 3345.16
1800.02/1800.73 c (at root node) : - 26 3111 119.65 -
1800.02/1800.73 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.73 c B&B Tree :
1800.02/1800.73 c number of runs : 1
1800.02/1800.73 c nodes : 1737816
1800.02/1800.73 c nodes (total) : 1737816
1800.02/1800.73 c nodes left : 931
1800.02/1800.73 c max depth : 1086
1800.02/1800.73 c max depth (total): 1086
1800.02/1800.73 c backtracks : 623907 (35.9%)
1800.02/1800.73 c delayed cutoffs : 721206
1800.02/1800.73 c repropagations : 1886425 (30695852 domain reductions, 622542 cutoffs)
1800.02/1800.73 c avg switch length: 2.88
1800.02/1800.73 c switching time : 67.50
1800.02/1800.73 c Solution :
1800.02/1800.73 c Solutions found : 5 (4 improvements)
1800.02/1800.73 c First Solution : +1.26600000000000e+03 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.02/1800.73 c Primal Bound : +6.10000000000000e+01 (in run 1, after 1 nodes, 9.51 seconds, depth 0, found by <rens>)
1800.02/1800.73 c Dual Bound : +5.74502873728661e+01
1800.02/1800.73 c Gap : 6.18 %
1800.02/1800.73 c Root Dual Bound : +5.73817515529354e+01
1800.02/1800.73 c Root Iterations : 1968
1800.02/1800.76 c Time complete: 1800.08.
OK 61
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665512-1276594879/watcher-2665512-1276594879 -o /tmp/evaluation-result-2665512-1276594879/solver-2665512-1276594879 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665512-1276594879.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.04 1.20 3/106 859 /proc/meminfo: memFree=1820152/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=6224 CPUtime=0 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 553 0 0 0 0 0 0 0 22 0 1 0 33139729 6373376 474 1992294400 4194304 9819077 140736557861120 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/859/statm: 1556 476 338 1374 0 177 0 [startup+0.03747 s] /proc/loadavg: 1.00 1.04 1.20 3/106 859 /proc/meminfo: memFree=1820152/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=12292 CPUtime=0.03 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 2001 0 0 0 3 0 0 0 24 0 1 0 33139729 12587008 1922 1992294400 4194304 9819077 140736557861120 18446744073709551615 8718976 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/859/statm: 3073 1922 388 1374 0 1694 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12292 [startup+0.101466 s] /proc/loadavg: 1.00 1.04 1.20 3/106 859 /proc/meminfo: memFree=1820152/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=13480 CPUtime=0.09 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 2312 0 0 0 9 0 0 0 24 0 1 0 33139729 13803520 2233 1992294400 4194304 9819077 140736557861120 18446744073709551615 8677967 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/859/statm: 3370 2233 388 1374 0 1991 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13480 [startup+0.301501 s] /proc/loadavg: 1.00 1.04 1.20 3/106 859 /proc/meminfo: memFree=1820152/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=27160 CPUtime=0.29 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 6422 0 0 0 27 2 0 0 18 0 1 0 33139729 27811840 5475 1992294400 4194304 9819077 140736557861120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 6790 5475 496 1374 0 5411 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27160 [startup+0.701575 s] /proc/loadavg: 1.00 1.04 1.20 3/106 859 /proc/meminfo: memFree=1820152/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=41960 CPUtime=0.69 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 10680 0 0 0 65 4 0 0 18 0 1 0 33139729 42967040 8802 1992294400 4194304 9819077 140736557861120 18446744073709551615 4310855 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 10490 8802 650 1374 0 9111 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41960 [startup+1.50172 s] /proc/loadavg: 1.00 1.04 1.20 2/107 860 /proc/meminfo: memFree=1780712/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=53296 CPUtime=1.49 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 13870 0 0 0 143 6 0 0 19 0 1 0 33139729 54575104 11655 1992294400 4194304 9819077 140736557861120 18446744073709551615 4310609 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 13324 11655 670 1374 0 11945 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 53296 [startup+3.10101 s] /proc/loadavg: 1.00 1.04 1.20 2/107 860 /proc/meminfo: memFree=1763104/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=76568 CPUtime=3.09 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 20267 0 0 0 300 9 0 0 24 0 1 0 33139729 78405632 17035 1992294400 4194304 9819077 140736557861120 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 19142 17035 669 1374 0 17763 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 76568 [startup+6.30159 s] /proc/loadavg: 1.00 1.04 1.20 2/107 860 /proc/meminfo: memFree=1752936/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=77872 CPUtime=6.29 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 22518 0 0 0 617 12 0 0 25 0 1 0 33139729 79740928 17295 1992294400 4194304 9819077 140736557861120 18446744073709551615 6031556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 19468 17295 669 1374 0 18089 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 77872 [startup+12.7008 s] /proc/loadavg: 1.00 1.04 1.19 2/107 860 /proc/meminfo: memFree=1747728/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=83664 CPUtime=12.68 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 49426 0 0 0 1236 32 0 0 25 0 1 0 33139729 85671936 18872 1992294400 4194304 9819077 140736557861120 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 20916 18872 721 1374 0 19537 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 83664 [startup+25.5011 s] /proc/loadavg: 1.00 1.04 1.19 2/107 860 /proc/meminfo: memFree=1742644/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=87860 CPUtime=25.48 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 50472 0 0 0 2480 68 0 0 25 0 1 0 33139729 89968640 19918 1992294400 4194304 9819077 140736557861120 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 21965 19918 721 1374 0 20586 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 87860 [startup+51.1008 s] /proc/loadavg: 1.08 1.05 1.19 2/107 860 /proc/meminfo: memFree=1740412/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=90100 CPUtime=51.07 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 51044 0 0 0 4977 130 0 0 25 0 1 0 33139729 92262400 20490 1992294400 4194304 9819077 140736557861120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 22525 20490 721 1374 0 21146 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 90100 [startup+102.309 s] /proc/loadavg: 1.03 1.04 1.18 2/107 862 /proc/meminfo: memFree=1738304/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=92204 CPUtime=102.26 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 51564 0 0 0 9971 255 0 0 25 0 1 0 33139729 94416896 21010 1992294400 4194304 9819077 140736557861120 18446744073709551615 4704214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 23051 21010 721 1374 0 21672 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 92204 [startup+162.301 s] /proc/loadavg: 1.01 1.03 1.16 2/107 864 /proc/meminfo: memFree=1737312/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=93060 CPUtime=162.23 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 51782 0 0 0 15821 402 0 0 25 0 1 0 33139729 95293440 21228 1992294400 4194304 9819077 140736557861120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 23265 21228 721 1374 0 21886 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 93060 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.15 2/107 866 /proc/meminfo: memFree=1736320/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=94064 CPUtime=222.21 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52017 0 0 0 21668 553 0 0 25 0 1 0 33139729 96321536 21463 1992294400 4194304 9819077 140736557861120 18446744073709551615 4219826 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 23516 21463 721 1374 0 22137 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 94064 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.14 2/107 866 /proc/meminfo: memFree=1735700/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=94632 CPUtime=282.19 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52161 0 0 0 27512 707 0 0 25 0 1 0 33139729 96903168 21607 1992294400 4194304 9819077 140736557861120 18446744073709551615 4704046 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 23658 21607 721 1374 0 22279 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 94632 [startup+342.302 s] /proc/loadavg: 1.00 1.01 1.13 2/107 868 /proc/meminfo: memFree=1735452/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=94908 CPUtime=342.17 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52231 0 0 0 33344 873 0 0 25 0 1 0 33139729 97185792 21677 1992294400 4194304 9819077 140736557861120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 23727 21677 721 1374 0 22348 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 94908 [startup+402.302 s] /proc/loadavg: 1.00 1.01 1.12 2/107 870 /proc/meminfo: memFree=1735080/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=95188 CPUtime=402.15 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52299 0 0 0 39178 1037 0 0 25 0 1 0 33139729 97472512 21745 1992294400 4194304 9819077 140736557861120 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 23797 21745 721 1374 0 22418 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 95188 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.11 2/107 872 /proc/meminfo: memFree=1733964/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=96200 CPUtime=462.12 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52562 0 0 0 44993 1219 0 0 25 0 1 0 33139729 98508800 22008 1992294400 4194304 9819077 140736557861120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 24050 22008 721 1374 0 22671 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 96200 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.09 2/107 874 /proc/meminfo: memFree=1733964/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=96332 CPUtime=522.09 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52570 0 0 0 50827 1382 0 0 25 0 1 0 33139729 98643968 22016 1992294400 4194304 9819077 140736557861120 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 24083 22016 721 1374 0 22704 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 96332 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 874 /proc/meminfo: memFree=1733840/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=96332 CPUtime=582.07 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52572 0 0 0 56665 1542 0 0 25 0 1 0 33139729 98643968 22018 1992294400 4194304 9819077 140736557861120 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 24083 22018 721 1374 0 22704 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 96332 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 876 /proc/meminfo: memFree=1733716/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=96332 CPUtime=642.05 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52580 0 0 0 62499 1706 0 0 25 0 1 0 33139729 98643968 22026 1992294400 4194304 9819077 140736557861120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 24083 22026 721 1374 0 22704 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 96332 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.06 2/107 882 /proc/meminfo: memFree=1733220/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=96472 CPUtime=881.96 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52620 0 0 0 85834 2362 0 0 25 0 1 0 33139729 98787328 22066 1992294400 4194304 9819077 140736557861120 18446744073709551615 5506130 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 24118 22066 721 1374 0 22739 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 96472 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.05 2/107 884 /proc/meminfo: memFree=1733220/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=96472 CPUtime=941.94 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52621 0 0 0 91672 2522 0 0 25 0 1 0 33139729 98787328 22067 1992294400 4194304 9819077 140736557861120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 24118 22067 721 1374 0 22739 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 96472 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.05 2/107 886 /proc/meminfo: memFree=1733096/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=96472 CPUtime=1001.92 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52624 0 0 0 97499 2693 0 0 25 0 1 0 33139729 98787328 22070 1992294400 4194304 9819077 140736557861120 18446744073709551615 5921712 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 24118 22070 721 1374 0 22739 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 96472 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.04 2/107 888 /proc/meminfo: memFree=1732972/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=96604 CPUtime=1061.89 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52640 0 0 0 103322 2867 0 0 25 0 1 0 33139729 98922496 22086 1992294400 4194304 9819077 140736557861120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 24151 22086 721 1374 0 22772 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 96604 [startup+1122.3 s] /proc/loadavg: 1.05 1.01 1.04 2/107 890 /proc/meminfo: memFree=1732848/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=96604 CPUtime=1121.88 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52642 0 0 0 109155 3033 0 0 25 0 1 0 33139729 98922496 22088 1992294400 4194304 9819077 140736557861120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 24151 22088 721 1374 0 22772 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 96604 [startup+1182.3 s] /proc/loadavg: 1.06 1.02 1.04 2/107 890 /proc/meminfo: memFree=1732848/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=96604 CPUtime=1181.85 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52642 0 0 0 114996 3189 0 0 25 0 1 0 33139729 98922496 22088 1992294400 4194304 9819077 140736557861120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 24151 22088 721 1374 0 22772 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 96604 [startup+1242.3 s] /proc/loadavg: 1.06 1.03 1.04 2/107 901 /proc/meminfo: memFree=1731732/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=96604 CPUtime=1241.82 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52652 0 0 0 120831 3351 0 0 25 0 1 0 33139729 98922496 22098 1992294400 4194304 9819077 140736557861120 18446744073709551615 4240492 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 24151 22098 721 1374 0 22772 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 96604 [startup+1302.3 s] /proc/loadavg: 1.06 1.04 1.04 2/107 903 /proc/meminfo: memFree=1731732/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=96604 CPUtime=1301.8 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52654 0 0 0 126664 3516 0 0 25 0 1 0 33139729 98922496 22100 1992294400 4194304 9819077 140736557861120 18446744073709551615 5909659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 24151 22100 721 1374 0 22772 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 96604 [startup+1362.3 s] /proc/loadavg: 1.05 1.04 1.04 2/107 905 /proc/meminfo: memFree=1731732/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=96604 CPUtime=1361.78 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52655 0 0 0 132490 3688 0 0 25 0 1 0 33139729 98922496 22101 1992294400 4194304 9819077 140736557861120 18446744073709551615 5917881 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 24151 22101 721 1374 0 22772 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 96604 [startup+1422.31 s] /proc/loadavg: 1.13 1.06 1.04 2/107 907 /proc/meminfo: memFree=1731732/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=96604 CPUtime=1421.76 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52655 0 0 0 138327 3849 0 0 25 0 1 0 33139729 98922496 22101 1992294400 4194304 9819077 140736557861120 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 24151 22101 721 1374 0 22772 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 96604 [startup+1482.3 s] /proc/loadavg: 1.12 1.07 1.04 2/107 907 /proc/meminfo: memFree=1731732/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=96604 CPUtime=1481.73 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52655 0 0 0 144161 4012 0 0 25 0 1 0 33139729 98922496 22101 1992294400 4194304 9819077 140736557861120 18446744073709551615 5506148 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 24151 22101 721 1374 0 22772 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 96604 [startup+1542.3 s] /proc/loadavg: 1.11 1.07 1.04 2/107 909 /proc/meminfo: memFree=1731732/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=96604 CPUtime=1541.71 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52655 0 0 0 149987 4184 0 0 25 0 1 0 33139729 98922496 22101 1992294400 4194304 9819077 140736557861120 18446744073709551615 4434094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 24151 22101 721 1374 0 22772 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 96604 [startup+1602.3 s] /proc/loadavg: 1.10 1.07 1.04 2/107 911 /proc/meminfo: memFree=1731732/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=96604 CPUtime=1601.68 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52657 0 0 0 155810 4358 0 0 25 0 1 0 33139729 98922496 22103 1992294400 4194304 9819077 140736557861120 18446744073709551615 5908957 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 24151 22103 721 1374 0 22772 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 96604 [startup+1662.3 s] /proc/loadavg: 1.04 1.05 1.03 2/107 913 /proc/meminfo: memFree=1731732/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=96604 CPUtime=1661.67 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52664 0 0 0 161635 4532 0 0 25 0 1 0 33139729 98922496 22110 1992294400 4194304 9819077 140736557861120 18446744073709551615 5506773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 24151 22110 721 1374 0 22772 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 96604 [startup+1722.3 s] /proc/loadavg: 1.01 1.04 1.03 2/107 915 /proc/meminfo: memFree=1731732/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=96604 CPUtime=1721.64 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52665 0 0 0 167467 4697 0 0 25 0 1 0 33139729 98922496 22111 1992294400 4194304 9819077 140736557861120 18446744073709551615 5921535 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 24151 22111 721 1374 0 22772 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 96604 [startup+1782.3 s] /proc/loadavg: 1.00 1.03 1.02 2/107 915 /proc/meminfo: memFree=1731484/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=96604 CPUtime=1781.62 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52667 0 0 0 173293 4869 0 0 25 0 1 0 33139729 98922496 22113 1992294400 4194304 9819077 140736557861120 18446744073709551615 5506180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 24151 22113 721 1374 0 22772 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 96604 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.03 1.02 2/107 917 /proc/meminfo: memFree=1731484/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=96604 CPUtime=1800.02 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52667 0 0 0 175079 4923 0 0 25 0 1 0 33139729 98922496 22113 1992294400 4194304 9819077 140736557861120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 24151 22113 721 1374 0 22772 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 96604 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.03 1.02 2/107 917 /proc/meminfo: memFree=1731484/2059040 swapFree=4140296/4192956 [pid=859] ppid=857 vsize=96604 CPUtime=1800.02 /proc/859/stat : 859 (pbscip.linux.x8) R 857 859 32136 0 -1 4202496 52667 0 0 0 175079 4923 0 0 25 0 1 0 33139729 98922496 22113 1992294400 4194304 9819077 140736557861120 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/859/statm: 24151 22113 721 1374 0 22772 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 96604 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.09 CPU user time (s): 1750.84 CPU system time (s): 49.2505 CPU usage (%): 99.9624 Max. virtual memory (cumulated for all children) (KiB): 99180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1750.84 system time used= 49.2505 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52676 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= 4 involuntary context switches= 23893 runsolver used 3.75643 second user time and 9.03463 second system time The end
Begin job on node027 at 2010-06-15 11:41:19 IDJOB=2665512 IDBENCH=2876 IDSOLVER=1168 FILE ID=node027/2665512-1276594879 PBS_JOBID= 11173539 Free space on /tmp= 62532 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-alu2.b.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665512-1276594879/watcher-2665512-1276594879 -o /tmp/evaluation-result-2665512-1276594879/solver-2665512-1276594879 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665512-1276594879.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a793af2f16b39bdc1dda733b5326bfb4 RANDOM SEED=2124890840 node027.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 : 2800.261 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 : 5600.52 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 : 2800.261 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1820680 kB Buffers: 31416 kB Cached: 127140 kB SwapCached: 5748 kB Active: 88928 kB Inactive: 82892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1820680 kB SwapTotal: 4192956 kB SwapFree: 4140296 kB Dirty: 6864 kB Writeback: 0 kB AnonPages: 11732 kB Mapped: 13084 kB Slab: 44676 kB PageTables: 3944 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181484 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62528 MiB End job on node027 at 2010-06-15 12:11:22