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) | 83 | 1800.06 | 1800.54 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C499.a.opb |
| MD5SUM | a983c7d791d0da9cc5e2ec69578db721 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 64 |
| Best CPU time to get the best result obtained on this benchmark | 8.99663 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 64 |
| Optimality of the best value was proved | NO |
| Number of variables | 1226 |
| Total number of constraints | 4208 |
| Number of constraints which are clauses | 4208 |
| 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 | 105 |
| Number of terms in the objective function | 1226 |
| 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 | 1226 |
| 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 | 1226 |
| 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-2664212-1276596443.opb>
0.10/0.13 c original problem has 1226 variables (1226 bin, 0 int, 0 impl, 0 cont) and 4208 constraints
0.10/0.13 c problem read
0.10/0.13 c presolving settings loaded
0.10/0.13 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.10/0.17 o 1226
0.10/0.17 o 949
0.10/0.17 c feasible solution found by trivial heuristic, objective value 9.490000e+02
0.10/0.17 c presolving:
0.19/0.28 c (round 1) 0 del vars, 34 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 4110 upgd conss, 1822 impls, 0 clqs
0.29/0.31 c (round 2) 0 del vars, 34 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 4142 upgd conss, 1822 impls, 0 clqs
0.29/0.33 c (round 3) 0 del vars, 34 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 4174 upgd conss, 1822 impls, 0 clqs
0.29/0.36 c (0.2s) probing: 101/1226 (8.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.36 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.29/0.36 c presolving (4 rounds):
0.29/0.36 c 0 deleted vars, 34 deleted constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
0.29/0.36 c 1822 implications, 0 cliques
0.29/0.36 c presolved problem has 1226 variables (1226 bin, 0 int, 0 impl, 0 cont) and 4174 constraints
0.29/0.36 c 4174 constraints of type <logicor>
0.29/0.36 c transformed objective value is always integral (scale: 1)
0.29/0.36 c Presolving Time: 0.17
0.29/0.36 c - non default parameters ----------------------------------------------------------------------
0.29/0.36 c # SCIP version 1.2.1.2
0.29/0.36 c
0.29/0.36 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.29/0.36 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.36 c conflict/interconss = 0
0.29/0.36 c
0.29/0.36 c # should binary conflicts be preferred?
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c conflict/preferbinary = TRUE
0.29/0.36 c
0.29/0.36 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.29/0.36 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.36 c constraints/agelimit = 1
0.29/0.36 c
0.29/0.36 c # should enforcement of pseudo solution be disabled?
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c constraints/disableenfops = TRUE
0.29/0.36 c
0.29/0.36 c # frequency for displaying node information lines
0.29/0.36 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.36 c display/freq = 10000
0.29/0.36 c
0.29/0.36 c # maximal time in seconds to run
0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.36 c limits/time = 1799.87
0.29/0.36 c
0.29/0.36 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.36 c limits/memory = 1620
0.29/0.36 c
0.29/0.36 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.29/0.36 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.36 c lp/solvefreq = -1
0.29/0.36 c
0.29/0.36 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.29/0.36 c # [type: char, range: {lafpsqd}, default: l]
0.29/0.36 c lp/pricing = a
0.29/0.36 c
0.29/0.36 c # should presolving try to simplify inequalities
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c constraints/linear/simplifyinequalities = TRUE
0.29/0.36 c
0.29/0.36 c # should presolving try to simplify knapsacks
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.36 c
0.29/0.36 c # priority of node selection rule <dfs> in standard mode
0.29/0.36 c # [type: int, range: [-536870912,536870911], default: 0]
0.29/0.36 c nodeselection/dfs/stdpriority = 1000000
0.29/0.36 c
0.29/0.36 c -----------------------------------------------------------------------------------------------
0.29/0.36 c start solving
0.29/0.37 c
0.29/0.37 o 833
0.29/0.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.37 c t 0.2s| 1 | 0 | 0 | - |7116k| 0 | - |1226 |4174 | 0 | 0 | 0 | 0 | 0 | -- | 8.330000e+02 | Inf
0.29/0.37 c 0.2s| 1 | 2 | 0 | - |7083k| 0 | - |1226 |4174 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 8.330000e+02 | Inf
0.39/0.45 o 84
0.39/0.45 c * 0.3s| 377 | 351 | 0 | 0.0 |7577k| 372 | - |1226 |4178 | 0 | 0 | 0 | 4 | 0 | 1.000000e+00 | 8.400000e+01 |8300.00%
6.99/7.07 o 83
6.99/7.07 c * 6.7s| 8280 | 340 | 0 | 0.0 |7606k| 372 | - |1226 |4178 | 0 | 0 | 0 |5130 | 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
8.39/8.42 c 8.0s| 10000 | 337 | 0 | 0.0 |7606k| 372 | - |1226 |4178 | 0 | 0 | 0 |6182 | 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
16.59/16.64 c 15.9s| 20000 | 332 | 0 | 0.0 |7605k| 372 | - |1226 |4178 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
24.88/24.91 c 23.9s| 30000 | 329 | 0 | 0.0 |7605k| 372 | - |1226 |4178 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
33.18/33.26 c 32.1s| 40000 | 327 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 24k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
41.69/41.70 c 40.2s| 50000 | 328 | 0 | 0.0 |7607k| 372 | - |1226 |4178 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
49.98/50.07 c 48.4s| 60000 | 330 | 0 | 0.0 |7608k| 372 | - |1226 |4178 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
58.47/58.50 c 56.6s| 70000 | 327 | 0 | 0.0 |7608k| 372 | - |1226 |4178 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
66.98/67.05 c 64.9s| 80000 | 326 | 0 | 0.0 |7607k| 372 | - |1226 |4178 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
75.47/75.55 c 73.2s| 90000 | 326 | 0 | 0.0 |7607k| 372 | - |1226 |4178 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
84.07/84.19 c 81.6s|100000 | 329 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
92.67/92.79 c 89.9s|110000 | 325 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
101.17/101.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.17/101.28 c 98.1s|120000 | 329 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
109.46/109.56 c 106s|130000 | 329 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 80k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
117.96/118.07 c 114s|140000 | 329 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
126.36/126.49 c 123s|150000 | 329 | 0 | 0.0 |7613k| 372 | - |1226 |4178 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
134.85/134.94 c 131s|160000 | 326 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
143.45/143.52 c 139s|170000 | 324 | 0 | 0.0 |7608k| 372 | - |1226 |4178 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
151.95/152.09 c 147s|180000 | 326 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
160.46/160.51 c 156s|190000 | 327 | 0 | 0.0 |7614k| 372 | - |1226 |4178 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
168.94/169.02 c 164s|200000 | 327 | 0 | 0.0 |7608k| 372 | - |1226 |4178 | 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
177.44/177.59 c 172s|210000 | 329 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 129k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
186.04/186.18 c 181s|220000 | 322 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
194.74/194.84 c 189s|230000 | 322 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
203.53/203.68 c 198s|240000 | 327 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
212.14/212.28 c 206s|250000 | 322 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 155k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
220.83/220.92 c 214s|260000 | 324 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 | 161k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
229.33/229.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.33/229.43 c 222s|270000 | 330 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
238.03/238.14 c 231s|280000 | 325 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
246.72/246.84 c 239s|290000 | 321 | 0 | 0.0 |7607k| 372 | - |1226 |4178 | 0 | 0 | 0 | 180k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
255.32/255.40 c 248s|300000 | 322 | 0 | 0.0 |7608k| 372 | - |1226 |4178 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
263.83/263.94 c 256s|310000 | 324 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
272.52/272.61 c 264s|320000 | 327 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
281.22/281.34 c 273s|330000 | 324 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 204k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
290.12/290.21 c 281s|340000 | 325 | 0 | 0.0 |7613k| 372 | - |1226 |4178 | 0 | 0 | 0 | 211k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
298.92/299.07 c 290s|350000 | 324 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
307.61/307.70 c 298s|360000 | 322 | 0 | 0.0 |7608k| 372 | - |1226 |4178 | 0 | 0 | 0 | 223k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
316.21/316.37 c 307s|370000 | 325 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 230k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
324.81/324.98 c 315s|380000 | 325 | 0 | 0.0 |7616k| 372 | - |1226 |4178 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
333.40/333.53 c 324s|390000 | 325 | 0 | 0.0 |7608k| 372 | - |1226 |4178 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
342.01/342.11 c 332s|400000 | 325 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 248k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
350.60/350.74 c 340s|410000 | 321 | 0 | 0.0 |7614k| 372 | - |1226 |4178 | 0 | 0 | 0 | 255k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
359.00/359.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
359.00/359.17 c 348s|420000 | 326 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
367.60/367.72 c 357s|430000 | 325 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 267k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
376.00/376.13 c 365s|440000 | 326 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 273k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
384.39/384.58 c 373s|450000 | 325 | 0 | 0.0 |7613k| 372 | - |1226 |4178 | 0 | 0 | 0 | 280k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
393.19/393.32 c 382s|460000 | 321 | 0 | 0.0 |7614k| 372 | - |1226 |4178 | 0 | 0 | 0 | 286k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
402.08/402.23 c 390s|470000 | 323 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 292k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
410.89/411.03 c 399s|480000 | 324 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
419.59/419.72 c 407s|490000 | 326 | 0 | 0.0 |7613k| 372 | - |1226 |4178 | 0 | 0 | 0 | 305k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
427.98/428.10 c 415s|500000 | 320 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 311k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
436.48/436.61 c 424s|510000 | 323 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 317k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
445.17/445.36 c 432s|520000 | 319 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 | 323k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
454.18/454.38 c 441s|530000 | 321 | 0 | 0.0 |7608k| 372 | - |1226 |4178 | 0 | 0 | 0 | 329k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
462.77/462.92 c 449s|540000 | 327 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 | 336k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
471.47/471.60 c 458s|550000 | 330 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 342k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
479.87/480.01 c 466s|560000 | 324 | 0 | 0.0 |7614k| 372 | - |1226 |4178 | 0 | 0 | 0 | 348k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
488.36/488.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
488.36/488.54 c 474s|570000 | 327 | 0 | 0.0 |7617k| 372 | - |1226 |4178 | 0 | 0 | 0 | 354k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
496.86/497.04 c 482s|580000 | 325 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 361k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
504.96/505.19 c 490s|590000 | 324 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 367k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
513.47/513.68 c 498s|600000 | 325 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 | 373k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
521.85/522.02 c 506s|610000 | 325 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 379k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
530.06/530.29 c 514s|620000 | 323 | 0 | 0.0 |7613k| 372 | - |1226 |4178 | 0 | 0 | 0 | 385k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
538.65/538.80 c 523s|630000 | 322 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 392k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
547.04/547.27 c 531s|640000 | 325 | 0 | 0.0 |7613k| 372 | - |1226 |4178 | 0 | 0 | 0 | 398k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
555.55/555.71 c 539s|650000 | 324 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 | 404k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
563.94/564.16 c 547s|660000 | 322 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 411k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
572.85/573.02 c 556s|670000 | 325 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 417k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
581.24/581.49 c 564s|680000 | 321 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 423k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
589.93/590.11 c 572s|690000 | 321 | 0 | 0.0 |7613k| 372 | - |1226 |4178 | 0 | 0 | 0 | 429k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
598.24/598.45 c 581s|700000 | 323 | 0 | 0.0 |7613k| 372 | - |1226 |4178 | 0 | 0 | 0 | 436k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
606.64/606.86 c 589s|710000 | 323 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 442k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
614.93/615.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
614.93/615.12 c 597s|720000 | 324 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 448k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
623.23/623.45 c 605s|730000 | 320 | 0 | 0.0 |7614k| 372 | - |1226 |4178 | 0 | 0 | 0 | 454k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
631.83/632.09 c 613s|740000 | 325 | 0 | 0.0 |7615k| 372 | - |1226 |4178 | 0 | 0 | 0 | 461k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
640.42/640.62 c 621s|750000 | 321 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 467k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
648.82/649.09 c 630s|760000 | 327 | 0 | 0.0 |7614k| 372 | - |1226 |4178 | 0 | 0 | 0 | 473k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
657.42/657.67 c 638s|770000 | 324 | 0 | 0.0 |7615k| 372 | - |1226 |4178 | 0 | 0 | 0 | 479k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
666.12/666.31 c 646s|780000 | 319 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 486k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
674.61/674.81 c 655s|790000 | 320 | 0 | 0.0 |7608k| 372 | - |1226 |4178 | 0 | 0 | 0 | 492k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
683.11/683.33 c 663s|800000 | 322 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 498k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
691.62/691.82 c 671s|810000 | 323 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 | 505k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
700.00/700.21 c 679s|820000 | 322 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 511k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
708.30/708.54 c 687s|830000 | 320 | 0 | 0.0 |7608k| 372 | - |1226 |4178 | 0 | 0 | 0 | 517k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
716.71/716.97 c 696s|840000 | 320 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 523k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
725.50/725.74 c 704s|850000 | 326 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 530k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
734.30/734.59 c 713s|860000 | 322 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 536k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
743.40/743.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
743.40/743.61 c 721s|870000 | 323 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 | 542k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
752.29/752.50 c 730s|880000 | 320 | 0 | 0.0 |7608k| 372 | - |1226 |4178 | 0 | 0 | 0 | 548k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
761.09/761.32 c 738s|890000 | 323 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 555k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
769.89/770.12 c 747s|900000 | 319 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 561k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
778.69/778.93 c 756s|910000 | 322 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 567k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
787.59/787.87 c 764s|920000 | 325 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 | 573k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
796.48/796.73 c 773s|930000 | 321 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 580k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
805.18/805.48 c 781s|940000 | 322 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 586k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
814.08/814.34 c 790s|950000 | 317 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
822.78/823.09 c 798s|960000 | 320 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 598k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
831.67/831.90 c 807s|970000 | 322 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 605k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
840.67/840.93 c 816s|980000 | 317 | 0 | 0.0 |7614k| 372 | - |1226 |4178 | 0 | 0 | 0 | 611k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
849.26/849.54 c 824s|990000 | 325 | 0 | 0.0 |7615k| 372 | - |1226 |4178 | 0 | 0 | 0 | 617k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
857.77/858.08 c 832s| 1000k| 323 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 623k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
866.47/866.76 c 841s| 1010k| 324 | 0 | 0.0 |7613k| 372 | - |1226 |4178 | 0 | 0 | 0 | 630k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
875.27/875.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
875.27/875.59 c 849s| 1020k| 325 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 636k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
884.07/884.33 c 858s| 1030k| 325 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 642k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
892.97/893.28 c 867s| 1040k| 326 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 648k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
901.55/901.85 c 875s| 1050k| 323 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 655k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
910.25/910.55 c 883s| 1060k| 321 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 661k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
918.75/919.05 c 891s| 1070k| 321 | 0 | 0.0 |7613k| 372 | - |1226 |4178 | 0 | 0 | 0 | 667k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
927.45/927.75 c 900s| 1080k| 322 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 | 673k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
936.15/936.43 c 908s| 1090k| 320 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 679k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
944.95/945.21 c 917s| 1100k| 321 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 686k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
953.84/954.12 c 925s| 1110k| 321 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 692k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
962.25/962.59 c 934s| 1120k| 324 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 698k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
970.95/971.24 c 942s| 1130k| 322 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 704k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
979.64/979.98 c 951s| 1140k| 323 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 710k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
988.13/988.46 c 959s| 1150k| 321 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 717k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
996.93/997.26 c 967s| 1160k| 322 | 0 | 0.0 |7615k| 372 | - |1226 |4178 | 0 | 0 | 0 | 723k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1005.63/1005.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1005.63/1005.99 c 976s| 1170k| 322 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 729k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1014.72/1015.01 c 985s| 1180k| 320 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 | 735k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1023.42/1023.76 c 993s| 1190k| 321 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 741k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1032.32/1032.60 c 1002s| 1200k| 318 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 | 748k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1041.32/1041.69 c 1010s| 1210k| 319 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 754k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1050.31/1050.64 c 1019s| 1220k| 319 | 0 | 0.0 |7615k| 372 | - |1226 |4178 | 0 | 0 | 0 | 760k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1059.21/1059.56 c 1028s| 1230k| 319 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 767k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1068.31/1068.62 c 1037s| 1240k| 321 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 | 773k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1077.41/1077.71 c 1045s| 1250k| 323 | 0 | 0.0 |7614k| 372 | - |1226 |4178 | 0 | 0 | 0 | 779k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1086.20/1086.53 c 1054s| 1260k| 324 | 0 | 0.0 |7614k| 372 | - |1226 |4178 | 0 | 0 | 0 | 785k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1095.10/1095.44 c 1063s| 1270k| 319 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 | 792k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1103.90/1104.28 c 1071s| 1280k| 323 | 0 | 0.0 |7613k| 372 | - |1226 |4178 | 0 | 0 | 0 | 798k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1112.70/1113.06 c 1080s| 1290k| 321 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 804k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1121.49/1121.88 c 1088s| 1300k| 320 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 811k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1130.50/1130.83 c 1097s| 1310k| 320 | 0 | 0.0 |7615k| 372 | - |1226 |4178 | 0 | 0 | 0 | 817k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1139.39/1139.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1139.39/1139.73 c 1105s| 1320k| 324 | 0 | 0.0 |7615k| 372 | - |1226 |4178 | 0 | 0 | 0 | 823k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1148.00/1148.32 c 1114s| 1330k| 324 | 0 | 0.0 |7615k| 372 | - |1226 |4178 | 0 | 0 | 0 | 829k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1156.59/1156.99 c 1122s| 1340k| 323 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 | 835k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1165.28/1165.62 c 1131s| 1350k| 316 | 0 | 0.0 |7614k| 372 | - |1226 |4178 | 0 | 0 | 0 | 842k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1174.08/1174.48 c 1139s| 1360k| 318 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 848k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1182.57/1182.98 c 1147s| 1370k| 320 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 | 854k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1191.18/1191.53 c 1156s| 1380k| 316 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 860k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1200.07/1200.49 c 1164s| 1390k| 316 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 | 867k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1208.67/1209.04 c 1173s| 1400k| 322 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 873k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1217.07/1217.48 c 1181s| 1410k| 326 | 0 | 0.0 |7615k| 372 | - |1226 |4178 | 0 | 0 | 0 | 879k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1225.46/1225.88 c 1189s| 1420k| 318 | 0 | 0.0 |7617k| 372 | - |1226 |4178 | 0 | 0 | 0 | 885k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1233.87/1234.28 c 1197s| 1430k| 322 | 0 | 0.0 |7615k| 372 | - |1226 |4178 | 0 | 0 | 0 | 892k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1242.26/1242.63 c 1205s| 1440k| 323 | 0 | 0.0 |7613k| 372 | - |1226 |4178 | 0 | 0 | 0 | 898k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1250.57/1250.96 c 1213s| 1450k| 321 | 0 | 0.0 |7613k| 372 | - |1226 |4178 | 0 | 0 | 0 | 904k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1259.17/1259.56 c 1222s| 1460k| 319 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 | 911k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1267.86/1268.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1267.86/1268.22 c 1230s| 1470k| 321 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 | 917k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1276.55/1276.92 c 1238s| 1480k| 321 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 923k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1285.15/1285.52 c 1247s| 1490k| 324 | 0 | 0.0 |7615k| 372 | - |1226 |4178 | 0 | 0 | 0 | 929k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1293.65/1294.02 c 1255s| 1500k| 320 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 936k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1302.05/1302.46 c 1263s| 1510k| 319 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 942k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1310.35/1310.76 c 1271s| 1520k| 324 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 948k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1318.45/1318.88 c 1279s| 1530k| 323 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 955k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1326.64/1327.09 c 1287s| 1540k| 321 | 0 | 0.0 |7614k| 372 | - |1226 |4178 | 0 | 0 | 0 | 961k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1335.05/1335.43 c 1295s| 1550k| 321 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 | 967k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1343.43/1343.80 c 1303s| 1560k| 321 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 | 974k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1351.73/1352.16 c 1311s| 1570k| 324 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 980k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1360.23/1360.68 c 1320s| 1580k| 319 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 986k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1368.73/1369.15 c 1328s| 1590k| 319 | 0 | 0.0 |7616k| 372 | - |1226 |4178 | 0 | 0 | 0 | 993k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1377.12/1377.58 c 1336s| 1600k| 318 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 | 999k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1385.63/1386.01 c 1344s| 1610k| 323 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 |1005k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1393.92/1394.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1393.92/1394.32 c 1352s| 1620k| 318 | 0 | 0.0 |7609k| 372 | - |1226 |4178 | 0 | 0 | 0 |1011k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1402.22/1402.66 c 1360s| 1630k| 318 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 |1017k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1410.72/1411.13 c 1369s| 1640k| 316 | 0 | 0.0 |7615k| 372 | - |1226 |4178 | 0 | 0 | 0 |1023k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1419.42/1419.82 c 1377s| 1650k| 319 | 0 | 0.0 |7616k| 372 | - |1226 |4178 | 0 | 0 | 0 |1030k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1428.52/1428.99 c 1386s| 1660k| 316 | 0 | 0.0 |7616k| 372 | - |1226 |4178 | 0 | 0 | 0 |1036k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1437.22/1437.64 c 1394s| 1670k| 320 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 |1042k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1445.71/1446.14 c 1403s| 1680k| 317 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 |1048k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1454.30/1454.74 c 1411s| 1690k| 318 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 |1055k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1462.81/1463.25 c 1419s| 1700k| 321 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 |1061k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1471.51/1471.95 c 1428s| 1710k| 313 | 0 | 0.0 |7608k| 372 | - |1226 |4178 | 0 | 0 | 0 |1067k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1480.11/1480.57 c 1436s| 1720k| 319 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 |1073k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1489.20/1489.65 c 1445s| 1730k| 319 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 |1079k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1498.30/1498.73 c 1454s| 1740k| 318 | 0 | 0.0 |7613k| 372 | - |1226 |4178 | 0 | 0 | 0 |1086k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1506.99/1507.47 c 1462s| 1750k| 318 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 |1092k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1515.79/1516.30 c 1471s| 1760k| 322 | 0 | 0.0 |7617k| 372 | - |1226 |4178 | 0 | 0 | 0 |1098k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1524.59/1525.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1524.59/1525.05 c 1479s| 1770k| 320 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 |1105k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1533.19/1533.66 c 1487s| 1780k| 320 | 0 | 0.0 |7614k| 372 | - |1226 |4178 | 0 | 0 | 0 |1111k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1541.89/1542.30 c 1496s| 1790k| 324 | 0 | 0.0 |7614k| 372 | - |1226 |4178 | 0 | 0 | 0 |1117k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1550.49/1550.90 c 1504s| 1800k| 318 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 |1123k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1559.08/1559.51 c 1513s| 1810k| 322 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 |1129k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1567.87/1568.37 c 1521s| 1820k| 322 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 |1136k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1576.57/1577.08 c 1530s| 1830k| 321 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 |1142k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1585.28/1585.76 c 1538s| 1840k| 318 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 |1148k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1593.67/1594.13 c 1546s| 1850k| 320 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 |1154k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1602.36/1602.87 c 1555s| 1860k| 321 | 0 | 0.0 |7613k| 372 | - |1226 |4178 | 0 | 0 | 0 |1160k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1611.07/1611.60 c 1563s| 1870k| 321 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 |1166k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1619.96/1620.49 c 1572s| 1880k| 321 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 |1173k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1628.86/1629.38 c 1580s| 1890k| 316 | 0 | 0.0 |7613k| 372 | - |1226 |4178 | 0 | 0 | 0 |1179k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1638.05/1638.54 c 1589s| 1900k| 317 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 |1185k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1646.36/1646.84 c 1597s| 1910k| 321 | 0 | 0.0 |7617k| 372 | - |1226 |4178 | 0 | 0 | 0 |1191k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1655.06/1655.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1655.06/1655.55 c 1606s| 1920k| 321 | 0 | 0.0 |7615k| 372 | - |1226 |4178 | 0 | 0 | 0 |1198k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1663.35/1663.88 c 1614s| 1930k| 323 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 |1204k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1672.15/1672.61 c 1622s| 1940k| 320 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 |1210k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1680.74/1681.24 c 1631s| 1950k| 317 | 0 | 0.0 |7614k| 372 | - |1226 |4178 | 0 | 0 | 0 |1216k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1689.45/1689.92 c 1639s| 1960k| 318 | 0 | 0.0 |7614k| 372 | - |1226 |4178 | 0 | 0 | 0 |1222k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1698.04/1698.59 c 1648s| 1970k| 321 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 |1228k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1706.84/1707.34 c 1656s| 1980k| 322 | 0 | 0.0 |7614k| 372 | - |1226 |4178 | 0 | 0 | 0 |1235k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1715.23/1715.70 c 1664s| 1990k| 320 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 |1241k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1723.54/1724.03 c 1672s| 2000k| 321 | 0 | 0.0 |7612k| 372 | - |1226 |4178 | 0 | 0 | 0 |1247k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1731.54/1732.09 c 1680s| 2010k| 319 | 0 | 0.0 |7614k| 372 | - |1226 |4178 | 0 | 0 | 0 |1253k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1740.13/1740.65 c 1688s| 2020k| 316 | 0 | 0.0 |7616k| 372 | - |1226 |4178 | 0 | 0 | 0 |1259k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1748.43/1748.94 c 1696s| 2030k| 322 | 0 | 0.0 |7611k| 372 | - |1226 |4178 | 0 | 0 | 0 |1266k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1756.93/1757.41 c 1705s| 2040k| 319 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 |1272k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1765.12/1765.67 c 1713s| 2050k| 317 | 0 | 0.0 |7614k| 372 | - |1226 |4178 | 0 | 0 | 0 |1278k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1773.73/1774.23 c 1721s| 2060k| 318 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 |1284k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1782.31/1782.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1782.31/1782.82 c 1729s| 2070k| 318 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 |1290k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1790.81/1791.32 c 1737s| 2080k| 319 | 0 | 0.0 |7613k| 372 | - |1226 |4178 | 0 | 0 | 0 |1297k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1799.41/1799.94 c 1746s| 2090k| 319 | 0 | 0.0 |7610k| 372 | - |1226 |4178 | 0 | 0 | 0 |1303k| 0 | 1.000000e+00 | 8.300000e+01 |8200.00%
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.50 c
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time (sec) : 1746.32
1800.02/1800.50 c Solving Nodes : 2090635
1800.02/1800.50 c Primal Bound : +8.30000000000000e+01 (6 solutions)
1800.02/1800.50 c Dual Bound : +1.00000000000000e+00
1800.02/1800.50 c Gap : 8200.00 %
1800.02/1800.51 s SATISFIABLE
1800.02/1800.51 v -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 x1220 -x1219 -x1218 -x1217 -x1216 -x1215 x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208
1800.02/1800.51 v -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 x1196 -x1195 -x1194 -x1193 x1192 -x1191 -x1190
1800.02/1800.51 v -x1189 -x1188 x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172
1800.02/1800.51 v -x1171 -x1170 -x1169 -x1168 -x1167 x1166 -x1165 -x1164 x1163 -x1162 -x1161 -x1160 -x1159 -x1158 x1157 -x1156 -x1155 x1154
1800.02/1800.51 v -x1153 x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 x1139 -x1138 -x1137 -x1136 -x1135
1800.02/1800.51 v x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 x1126 -x1125 -x1124 x1123 x1122 -x1121 -x1120 -x1119 -x1118 -x1117
1800.02/1800.51 v x1116 -x1115 x1114 -x1113 -x1112 -x1111 x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 x1100 -x1099
1800.02/1800.51 v -x1098 -x1097 -x1096 -x1095 x1094 -x1093 -x1092 -x1091 -x1090 -x1089 x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 x1081 -x1080
1800.02/1800.51 v -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062
1800.02/1800.51 v -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044
1800.02/1800.51 v -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 x1029 -x1028 -x1027 -x1026
1800.02/1800.51 v -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008
1800.02/1800.51 v -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 x995 -x994 -x993 -x992 -x991 -x990 -x989
1800.02/1800.51 v -x988 -x987 -x986 -x985 -x984 x983 -x982 -x981 x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 x970 -x969 -x968
1800.02/1800.51 v -x967 x966 -x965 -x964 x963 -x962 -x961 x960 -x959 -x958 -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946
1800.02/1800.51 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 x929 -x928 -x927 x926 -x925
1800.02/1800.51 v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904
1800.02/1800.51 v -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 x888 -x887 -x886 -x885 -x884 -x883
1800.02/1800.51 v -x882 -x881 -x880 -x879 -x878 -x877 x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 x863 -x862
1800.02/1800.51 v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841
1800.02/1800.51 v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820
1800.02/1800.51 v -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799
1800.02/1800.51 v -x798 -x797 x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 x788 -x787 -x786 -x785 -x784 x783 -x782 -x781 -x780 -x779 -x778
1800.02/1800.51 v x777 -x776 -x775 -x774 -x773 -x772 x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757
1800.02/1800.51 v -x756 x755 -x754 -x753 x752 -x751 -x750 x749 -x748 -x747 -x746 x745 -x744 x743 -x742 -x741 -x740 -x739 x738 x737 -x736 -x735
1800.02/1800.51 v -x734 -x733 -x732 -x731 x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714
1800.02/1800.51 v -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693
1800.02/1800.51 v -x692 x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672
1800.02/1800.51 v -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651
1800.02/1800.51 v -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630
1800.02/1800.51 v x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 x612 -x611 -x610 -x609
1800.02/1800.51 v -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 x590 -x589 -x588
1800.02/1800.51 v -x587 x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567
1800.02/1800.51 v -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 x551 -x550 -x549 -x548 -x547 -x546
1800.02/1800.51 v -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525
1800.02/1800.51 v -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504
1800.02/1800.51 v -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 x489 -x488 -x487 -x486 -x485 -x484 -x483
1800.02/1800.51 v -x482 -x481 -x480 -x479 -x478 -x477 x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463 -x462
1800.02/1800.51 v -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441
1800.02/1800.51 v -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 -x428 -x427 -x426 -x425 -x424 x423 -x422 -x421 -x420
1800.02/1800.51 v x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 -x401 -x400 -x399
1800.02/1800.51 v -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378
1800.02/1800.51 v x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357
1800.02/1800.51 v -x356 -x355 x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336
1800.02/1800.51 v -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315
1800.02/1800.51 v -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 x299 -x298 -x297 x296 -x295 -x294
1800.02/1800.51 v -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 x276 -x275 -x274 -x273
1800.02/1800.51 v -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252
1800.02/1800.51 v -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231
1800.02/1800.51 v -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.02/1800.51 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.02/1800.51 v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168
1800.02/1800.51 v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.02/1800.51 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126
1800.02/1800.51 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.02/1800.51 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81
1800.02/1800.51 v -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56
1800.02/1800.51 v -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31
1800.02/1800.51 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4
1800.02/1800.51 v -x3 -x2 -x1
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time : 1746.32
1800.02/1800.51 c Original Problem :
1800.02/1800.51 c Problem name : HOME/instance-2664212-1276596443.opb
1800.02/1800.51 c Variables : 1226 (1226 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 4208 initial, 4208 maximal
1800.02/1800.51 c Presolved Problem :
1800.02/1800.51 c Problem name : t_HOME/instance-2664212-1276596443.opb
1800.02/1800.51 c Variables : 1226 (1226 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.51 c Constraints : 4174 initial, 4178 maximal
1800.02/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.51 c probing : 0.02 0 0 0 0 0 0 0 0
1800.02/1800.51 c linear : 0.06 0 0 0 0 0 34 2 0
1800.02/1800.51 c logicor : 0.07 0 0 0 0 0 0 0 0
1800.02/1800.51 c root node : - 0 - - 0 - - - -
1800.02/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.51 c logicor : 4174+ 0 4757926 0 2 327799 5136521 0 0 0
1800.02/1800.51 c countsols : 0 0 0 0 2 0 0 0 0 0
1800.02/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.51 c logicor : 316.66 0.00 316.66 0.00 0.00
1800.02/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.51 c vbounds : 4.32 2 0 0
1800.02/1800.51 c rootredcost : 3.65 0 0 0
1800.02/1800.51 c pseudoobj : 1212.37 8215868 972073 17536811
1800.02/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.51 c propagation : 1041.00 1299872 1299872 1299872 179.6 1278 183.7 -
1800.02/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.51 c pseudo solution : 3.35 3882 3882 3882 177.0 71 181.6 -
1800.02/1800.51 c applied globally : - - - 4 13.5 - - -
1800.02/1800.51 c applied locally : - - - 1303750 179.6 - - -
1800.02/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.51 c redcost : 0.00 0 0 0 0 0
1800.02/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.51 c intobj : 0.00 0 0 0 0 0
1800.02/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.51 c gomory : 0.00 0 0 0 0 0
1800.02/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.51 c cmir : 0.00 0 0 0 0 0
1800.02/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.51 c clique : 0.00 0 0 0 0 0
1800.02/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.51 c mcf : 0.00 0 0 0 0 0
1800.02/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.51 c Pricers : Time Calls Vars
1800.02/1800.51 c problem variables: 0.00 0 0
1800.02/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.51 c inference : 23.63 1394811 0 0 0 0 2789622
1800.02/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.51 c random : 0.00 0 0 0 0 0 0
1800.02/1800.51 c Primal Heuristics : Time Calls Found
1800.02/1800.51 c LP solutions : 0.00 - 0
1800.02/1800.51 c pseudo solutions : 0.00 - 2
1800.02/1800.51 c oneopt : 1.73 0 0
1800.02/1800.51 c trivial : 0.01 2 4
1800.02/1800.51 c simplerounding : 0.00 0 0
1800.02/1800.51 c zirounding : 0.00 0 0
1800.02/1800.51 c rounding : 0.00 0 0
1800.02/1800.51 c shifting : 0.00 0 0
1800.02/1800.51 c intshifting : 0.00 0 0
1800.02/1800.51 c twoopt : 0.00 0 0
1800.02/1800.51 c fixandinfer : 0.00 0 0
1800.02/1800.51 c feaspump : 0.00 0 0
1800.02/1800.51 c coefdiving : 0.00 0 0
1800.02/1800.51 c pscostdiving : 0.00 0 0
1800.02/1800.51 c fracdiving : 0.00 0 0
1800.02/1800.51 c veclendiving : 0.00 0 0
1800.02/1800.51 c intdiving : 0.00 0 0
1800.02/1800.51 c actconsdiving : 0.00 0 0
1800.02/1800.51 c objpscostdiving : 0.00 0 0
1800.02/1800.51 c rootsoldiving : 0.00 0 0
1800.02/1800.51 c linesearchdiving : 0.00 0 0
1800.02/1800.51 c guideddiving : 0.00 0 0
1800.02/1800.51 c octane : 0.00 0 0
1800.02/1800.51 c rens : 0.00 0 0
1800.02/1800.51 c rins : 0.00 0 0
1800.02/1800.51 c localbranching : 0.00 0 0
1800.02/1800.51 c mutation : 0.00 0 0
1800.02/1800.51 c crossover : 0.00 0 0
1800.02/1800.51 c dins : 0.00 0 0
1800.02/1800.51 c undercover : 0.00 0 0
1800.02/1800.51 c nlp : 1.29 0 0
1800.02/1800.51 c trysol : 0.91 0 0
1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.51 c (at root node) : - 0 0 0.00 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 2090635
1800.02/1800.51 c nodes (total) : 2090635
1800.02/1800.51 c nodes left : 323
1800.02/1800.51 c max depth : 372
1800.02/1800.51 c max depth (total): 372
1800.02/1800.51 c backtracks : 774326 (37.0%)
1800.02/1800.51 c delayed cutoffs : 686276
1800.02/1800.51 c repropagations : 1283449 (10257749 domain reductions, 607932 cutoffs)
1800.02/1800.51 c avg switch length: 2.29
1800.02/1800.51 c switching time : 59.76
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 6 (5 improvements)
1800.02/1800.51 c First Solution : +1.22600000000000e+03 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.02/1800.51 c Primal Bound : +8.30000000000000e+01 (in run 1, after 8280 nodes, 6.68 seconds, depth 351, found by <relaxation>)
1800.02/1800.51 c Dual Bound : +1.00000000000000e+00
1800.02/1800.51 c Gap : 8200.00 %
1800.02/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Root Iterations : 0
1800.02/1800.53 c Time complete: 1800.05.
OK 83
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664212-1276596443/watcher-2664212-1276596443 -o /tmp/evaluation-result-2664212-1276596443/solver-2664212-1276596443 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664212-1276596443.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.98 0.99 3/106 10833 /proc/meminfo: memFree=1433928/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=6584 CPUtime=0 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 959 0 0 0 0 0 0 0 18 0 1 0 934985 6742016 881 1992294400 4194304 7136930 140735171709136 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10833/statm: 1646 894 254 719 0 925 0 [startup+0.0414669 s] /proc/loadavg: 0.99 0.98 0.99 3/106 10833 /proc/meminfo: memFree=1433928/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=9676 CPUtime=0.03 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 1920 0 0 0 3 0 0 0 18 0 1 0 934985 9908224 1842 1992294400 4194304 7136930 140735171709136 18446744073709551615 6178271 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10833/statm: 2419 1842 271 719 0 1698 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9676 [startup+0.101473 s] /proc/loadavg: 0.99 0.98 0.99 3/106 10833 /proc/meminfo: memFree=1433928/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=11416 CPUtime=0.1 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 2328 0 0 0 9 1 0 0 18 0 1 0 934985 11689984 2250 1992294400 4194304 7136930 140735171709136 18446744073709551615 5650597 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10833/statm: 2854 2250 271 719 0 2133 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11416 [startup+0.301496 s] /proc/loadavg: 0.99 0.98 0.99 3/106 10833 /proc/meminfo: memFree=1433928/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=23840 CPUtime=0.29 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 6655 0 0 0 25 4 0 0 18 0 1 0 934985 24412160 5195 1992294400 4194304 7136930 140735171709136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 5960 5195 351 719 0 5239 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23840 [startup+0.701539 s] /proc/loadavg: 0.99 0.98 0.99 3/106 10833 /proc/meminfo: memFree=1433928/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=25804 CPUtime=0.7 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7723 0 0 0 63 7 0 0 18 0 1 0 934985 26423296 5713 1992294400 4194304 7136930 140735171709136 18446744073709551615 5905979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6451 5713 384 719 0 5730 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 25804 [startup+1.50163 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10834 /proc/meminfo: memFree=1412468/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=25804 CPUtime=1.49 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7738 0 0 0 140 9 0 0 19 0 1 0 934985 26423296 5728 1992294400 4194304 7136930 140735171709136 18446744073709551615 5905985 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6451 5728 384 719 0 5730 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25804 [startup+3.10081 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10834 /proc/meminfo: memFree=1412220/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=25936 CPUtime=3.09 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7750 0 0 0 295 14 0 0 23 0 1 0 934985 26558464 5740 1992294400 4194304 7136930 140735171709136 18446744073709551615 5924475 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6484 5740 384 719 0 5763 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25936 [startup+6.30116 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10834 /proc/meminfo: memFree=1411972/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=25936 CPUtime=6.29 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7759 0 0 0 605 24 0 0 25 0 1 0 934985 26558464 5749 1992294400 4194304 7136930 140735171709136 18446744073709551615 5905997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6484 5749 384 719 0 5763 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25936 [startup+12.7009 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10834 /proc/meminfo: memFree=1411724/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26068 CPUtime=12.69 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7782 0 0 0 1225 44 0 0 25 0 1 0 934985 26693632 5772 1992294400 4194304 7136930 140735171709136 18446744073709551615 4998670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6517 5772 385 719 0 5796 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26068 [startup+25.5013 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10836 /proc/meminfo: memFree=1411724/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26068 CPUtime=25.49 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7799 0 0 0 2464 85 0 0 25 0 1 0 934985 26693632 5789 1992294400 4194304 7136930 140735171709136 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6517 5789 385 719 0 5796 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 26068 [startup+51.1011 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10836 /proc/meminfo: memFree=1411724/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26200 CPUtime=51.08 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7811 0 0 0 4953 155 0 0 25 0 1 0 934985 26828800 5801 1992294400 4194304 7136930 140735171709136 18446744073709551615 5917892 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6550 5801 385 719 0 5829 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 26200 [startup+102.309 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10838 /proc/meminfo: memFree=1411600/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26200 CPUtime=102.28 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7830 0 0 0 9923 305 0 0 25 0 1 0 934985 26828800 5820 1992294400 4194304 7136930 140735171709136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6550 5820 385 719 0 5829 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 26200 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10838 /proc/meminfo: memFree=1411352/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26200 CPUtime=162.25 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7833 0 0 0 15744 481 0 0 25 0 1 0 934985 26828800 5823 1992294400 4194304 7136930 140735171709136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6550 5823 385 719 0 5829 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 26200 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10840 /proc/meminfo: memFree=1411352/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26200 CPUtime=222.23 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7838 0 0 0 21571 652 0 0 25 0 1 0 934985 26828800 5828 1992294400 4194304 7136930 140735171709136 18446744073709551615 4240519 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6550 5828 385 719 0 5829 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 26200 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10842 /proc/meminfo: memFree=1411228/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26200 CPUtime=282.22 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7838 0 0 0 27394 828 0 0 25 0 1 0 934985 26828800 5828 1992294400 4194304 7136930 140735171709136 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6550 5828 385 719 0 5829 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 26200 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10844 /proc/meminfo: memFree=1411104/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26200 CPUtime=342.2 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7838 0 0 0 33213 1007 0 0 25 0 1 0 934985 26828800 5828 1992294400 4194304 7136930 140735171709136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6550 5828 385 719 0 5829 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 26200 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10846 /proc/meminfo: memFree=1410980/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26200 CPUtime=402.18 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7842 0 0 0 39036 1182 0 0 25 0 1 0 934985 26828800 5832 1992294400 4194304 7136930 140735171709136 18446744073709551615 5909654 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6550 5832 385 719 0 5829 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 26200 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10846 /proc/meminfo: memFree=1410856/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26200 CPUtime=462.17 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7842 0 0 0 44863 1354 0 0 25 0 1 0 934985 26828800 5832 1992294400 4194304 7136930 140735171709136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6550 5832 385 719 0 5829 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 26200 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10848 /proc/meminfo: memFree=1410732/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26332 CPUtime=522.16 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7848 0 0 0 50676 1540 0 0 25 0 1 0 934985 26963968 5838 1992294400 4194304 7136930 140735171709136 18446744073709551615 5905989 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6583 5838 385 719 0 5862 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 26332 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10857 /proc/meminfo: memFree=1409808/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26332 CPUtime=582.14 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7848 0 0 0 56498 1716 0 0 25 0 1 0 934985 26963968 5838 1992294400 4194304 7136930 140735171709136 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6583 5838 385 719 0 5862 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 26332 [startup+642.302 s] /proc/loadavg: 1.03 1.00 1.00 2/107 10859 /proc/meminfo: memFree=1409808/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26332 CPUtime=642.13 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7848 0 0 0 62322 1891 0 0 25 0 1 0 934985 26963968 5838 1992294400 4194304 7136930 140735171709136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6583 5838 385 719 0 5862 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 26332 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10865 /proc/meminfo: memFree=1409808/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26332 CPUtime=882.06 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7856 0 0 0 85598 2608 0 0 25 0 1 0 934985 26963968 5846 1992294400 4194304 7136930 140735171709136 18446744073709551615 5919179 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6583 5846 385 719 0 5862 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 26332 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10867 /proc/meminfo: memFree=1409808/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26332 CPUtime=942.04 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7860 0 0 0 91412 2792 0 0 25 0 1 0 934985 26963968 5850 1992294400 4194304 7136930 140735171709136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6583 5850 385 719 0 5862 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 26332 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10869 /proc/meminfo: memFree=1409684/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26332 CPUtime=1002.03 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7875 0 0 0 97233 2970 0 0 25 0 1 0 934985 26963968 5865 1992294400 4194304 7136930 140735171709136 18446744073709551615 4434043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6583 5865 385 719 0 5862 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 26332 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10869 /proc/meminfo: memFree=1409560/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26332 CPUtime=1062.01 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7875 0 0 0 103051 3150 0 0 25 0 1 0 934985 26963968 5865 1992294400 4194304 7136930 140735171709136 18446744073709551615 4998670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6583 5865 385 719 0 5862 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 26332 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10871 /proc/meminfo: memFree=1409436/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26332 CPUtime=1121.99 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7875 0 0 0 108867 3332 0 0 25 0 1 0 934985 26963968 5865 1992294400 4194304 7136930 140735171709136 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6583 5865 385 719 0 5862 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 26332 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10873 /proc/meminfo: memFree=1409312/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26472 CPUtime=1181.98 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7878 0 0 0 114688 3510 0 0 25 0 1 0 934985 27107328 5868 1992294400 4194304 7136930 140735171709136 18446744073709551615 4998702 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6618 5868 385 719 0 5897 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 26472 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10875 /proc/meminfo: memFree=1408940/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26472 CPUtime=1241.97 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7882 0 0 0 120502 3695 0 0 25 0 1 0 934985 27107328 5872 1992294400 4194304 7136930 140735171709136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6618 5872 385 719 0 5897 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 26472 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10877 /proc/meminfo: memFree=1408940/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26472 CPUtime=1301.95 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7882 0 0 0 126316 3879 0 0 25 0 1 0 934985 27107328 5872 1992294400 4194304 7136930 140735171709136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6618 5872 385 719 0 5897 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 26472 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10877 /proc/meminfo: memFree=1408940/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26472 CPUtime=1361.93 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7882 0 0 0 132134 4059 0 0 25 0 1 0 934985 27107328 5872 1992294400 4194304 7136930 140735171709136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6618 5872 385 719 0 5897 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 26472 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10879 /proc/meminfo: memFree=1408940/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26472 CPUtime=1421.92 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7882 0 0 0 137953 4239 0 0 25 0 1 0 934985 27107328 5872 1992294400 4194304 7136930 140735171709136 18446744073709551615 4240361 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6618 5872 385 719 0 5897 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 26472 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10881 /proc/meminfo: memFree=1408940/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26472 CPUtime=1481.9 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7882 0 0 0 143774 4416 0 0 25 0 1 0 934985 27107328 5872 1992294400 4194304 7136930 140735171709136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6618 5872 385 719 0 5897 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 26472 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10886 /proc/meminfo: memFree=1408320/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26472 CPUtime=1541.89 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7882 0 0 0 149597 4592 0 0 25 0 1 0 934985 27107328 5872 1992294400 4194304 7136930 140735171709136 18446744073709551615 5924076 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6618 5872 385 719 0 5897 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 26472 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10888 /proc/meminfo: memFree=1408320/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26472 CPUtime=1601.86 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7885 0 0 0 155418 4768 0 0 25 0 1 0 934985 27107328 5875 1992294400 4194304 7136930 140735171709136 18446744073709551615 6349896 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6618 5875 385 719 0 5897 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 26472 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10888 /proc/meminfo: memFree=1408320/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26472 CPUtime=1661.85 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7885 0 0 0 161247 4938 0 0 25 0 1 0 934985 27107328 5875 1992294400 4194304 7136930 140735171709136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6618 5875 385 719 0 5897 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 26472 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10890 /proc/meminfo: memFree=1408444/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26472 CPUtime=1721.84 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7885 0 0 0 167063 5121 0 0 25 0 1 0 934985 27107328 5875 1992294400 4194304 7136930 140735171709136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6618 5875 385 719 0 5897 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 26472 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10892 /proc/meminfo: memFree=1408196/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26472 CPUtime=1781.82 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7886 0 0 0 172881 5301 0 0 25 0 1 0 934985 27107328 5876 1992294400 4194304 7136930 140735171709136 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6618 5876 385 719 0 5897 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 26472 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10892 /proc/meminfo: memFree=1408196/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26472 CPUtime=1800.02 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7886 0 0 0 174644 5358 0 0 25 0 1 0 934985 27107328 5876 1992294400 4194304 7136930 140735171709136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6618 5876 385 719 0 5897 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 26472 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.00 1.00 1.00 2/107 10892 /proc/meminfo: memFree=1408196/2059040 swapFree=4192956/4192956 [pid=10833] ppid=10831 vsize=26472 CPUtime=1800.02 /proc/10833/stat : 10833 (pbscip.linux.x8) R 10831 10833 2334 0 -1 4202496 7886 0 0 0 174644 5358 0 0 25 0 1 0 934985 27107328 5876 1992294400 4194304 7136930 140735171709136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10833/statm: 6618 5876 385 719 0 5897 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 26472 Child status: 0 Real time (s): 1800.54 CPU time (s): 1800.06 CPU user time (s): 1746.47 CPU system time (s): 53.5869 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 26472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1746.47 system time used= 53.5869 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7904 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= 3109 runsolver used 3.2615 second user time and 8.23475 second system time The end
Begin job on node059 at 2010-06-15 12:07:23 IDJOB=2664212 IDBENCH=2884 IDSOLVER=1167 FILE ID=node059/2664212-1276596443 PBS_JOBID= 11173555 Free space on /tmp= 62552 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-C499.a.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-2664212-1276596443/watcher-2664212-1276596443 -o /tmp/evaluation-result-2664212-1276596443/solver-2664212-1276596443 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664212-1276596443.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a983c7d791d0da9cc5e2ec69578db721 RANDOM SEED=2034689974 node059.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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1434456 kB Buffers: 49008 kB Cached: 435896 kB SwapCached: 0 kB Active: 205512 kB Inactive: 338556 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1434456 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3508 kB Writeback: 0 kB AnonPages: 59256 kB Mapped: 15444 kB Slab: 58852 kB PageTables: 3992 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181308 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= 62552 MiB End job on node059 at 2010-06-15 12:37:26