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) | 52 | 1800.1 | 1800.65 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex5.r.opb |
| MD5SUM | a65b7dae8af36ed37815bca4e48a5306 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 37 |
| Best CPU time to get the best result obtained on this benchmark | 14.6878 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 37 |
| Optimality of the best value was proved | YES |
| Number of variables | 2428 |
| Total number of constraints | 831 |
| Number of constraints which are clauses | 831 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 146 |
| Number of terms in the objective function | 2428 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 2428 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 2428 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: 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-2664785-1276594001.opb>
0.00/0.09 c original problem has 2428 variables (2428 bin, 0 int, 0 impl, 0 cont) and 831 constraints
0.00/0.09 c problem read
0.00/0.09 c presolving settings loaded
0.00/0.09 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.14 o 2428
0.10/0.14 c feasible solution found by trivial heuristic, objective value 2.428000e+03
0.10/0.14 c presolving:
0.19/0.23 c (round 1) 0 del vars, 3 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 828 upgd conss, 0 impls, 0 clqs
0.19/0.25 c (round 2) 0 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 828 upgd conss, 0 impls, 0 clqs
0.19/0.25 c (round 3) 5 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 828 upgd conss, 0 impls, 0 clqs
0.19/0.28 c (0.2s) probing: 101/2423 (4.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.28 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.28 c presolving (4 rounds):
0.19/0.28 c 5 deleted vars, 64 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.28 c 0 implications, 0 cliques
0.19/0.28 c presolved problem has 2423 variables (2423 bin, 0 int, 0 impl, 0 cont) and 767 constraints
0.19/0.28 c 767 constraints of type <logicor>
0.19/0.28 c transformed objective value is always integral (scale: 1)
0.19/0.28 c Presolving Time: 0.14
0.19/0.28 c - non default parameters ----------------------------------------------------------------------
0.19/0.28 c # SCIP version 1.2.1.2
0.19/0.28 c
0.19/0.28 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.28 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.28 c conflict/interconss = 0
0.19/0.28 c
0.19/0.28 c # should binary conflicts be preferred?
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c conflict/preferbinary = TRUE
0.19/0.28 c
0.19/0.28 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.28 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.28 c constraints/agelimit = 1
0.19/0.28 c
0.19/0.28 c # should enforcement of pseudo solution be disabled?
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c constraints/disableenfops = TRUE
0.19/0.28 c
0.19/0.28 c # frequency for displaying node information lines
0.19/0.28 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.28 c display/freq = 10000
0.19/0.28 c
0.19/0.28 c # maximal time in seconds to run
0.19/0.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28 c limits/time = 1799.91
0.19/0.28 c
0.19/0.28 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28 c limits/memory = 1620
0.19/0.28 c
0.19/0.28 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.28 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.28 c lp/solvefreq = -1
0.19/0.28 c
0.19/0.28 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.19/0.28 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.28 c lp/pricing = a
0.19/0.28 c
0.19/0.28 c # should presolving try to simplify inequalities
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c constraints/linear/simplifyinequalities = TRUE
0.19/0.28 c
0.19/0.28 c # should presolving try to simplify knapsacks
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.28 c
0.19/0.28 c # priority of node selection rule <dfs> in standard mode
0.19/0.28 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.28 c nodeselection/dfs/stdpriority = 1000000
0.19/0.28 c
0.19/0.28 c -----------------------------------------------------------------------------------------------
0.19/0.28 c start solving
0.19/0.28 c
0.19/0.28 o 2423
0.19/0.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.28 c t 0.2s| 1 | 0 | 0 | - |6355k| 0 | - |2423 | 767 | 0 | 0 | 0 | 0 | 0 | -- | 2.423000e+03 | Inf
0.19/0.29 c 0.2s| 1 | 2 | 0 | - |6296k| 0 | - |2423 | 767 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.423000e+03 | Inf
1.19/1.22 o 54
1.19/1.22 c * 1.1s| 2370 | 2357 | 0 | 0.0 |7529k|2369 | - |2423 | 767 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
6.98/7.06 c 6.8s| 10000 | 2340 | 0 | 0.0 |7585k|2369 | - |2423 | 767 | 0 | 0 | 0 |3669 | 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
14.98/15.07 o 53
14.98/15.07 c *14.6s| 18980 | 2343 | 0 | 0.0 |7641k|2369 | - |2423 | 771 | 0 | 0 | 0 |8873 | 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
15.89/15.90 c 15.4s| 20000 | 2339 | 0 | 0.0 |7643k|2369 | - |2423 | 773 | 0 | 0 | 0 |9419 | 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
23.79/23.82 c 23.1s| 30000 | 2336 | 0 | 0.0 |7639k|2369 | - |2423 | 773 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
31.89/31.92 c 30.9s| 40000 | 2335 | 0 | 0.0 |7648k|2369 | - |2423 | 777 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
39.98/40.01 c 38.8s| 50000 | 2332 | 0 | 0.0 |7633k|2369 | - |2423 | 767 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
47.58/47.69 c 46.3s| 60000 | 2329 | 0 | 0.0 |7658k|2369 | - |2423 | 784 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
56.07/56.17 c 54.5s| 70000 | 2334 | 0 | 0.0 |7642k|2369 | - |2423 | 769 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
64.27/64.30 c 62.4s| 80000 | 2329 | 0 | 0.0 |7641k|2369 | - |2423 | 771 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
72.26/72.32 c 70.2s| 90000 | 2329 | 0 | 0.0 |7649k|2369 | - |2423 | 774 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
80.07/80.17 c 77.9s|100000 | 2329 | 0 | 0.0 |7647k|2369 | - |2423 | 771 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
88.66/88.70 c 86.2s|110000 | 2330 | 0 | 0.0 |7638k|2369 | - |2423 | 767 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
96.96/97.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.96/97.04 c 94.3s|120000 | 2328 | 0 | 0.0 |7648k|2369 | - |2423 | 767 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
105.46/105.51 c 103s|130000 | 2326 | 0 | 0.0 |7654k|2369 | - |2423 | 769 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
114.26/114.39 c 111s|140000 | 2326 | 0 | 0.0 |7645k|2369 | - |2423 | 769 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
122.75/122.89 c 119s|150000 | 2326 | 0 | 0.0 |7642k|2369 | - |2423 | 767 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
131.55/131.61 c 128s|160000 | 2325 | 0 | 0.0 |7646k|2369 | - |2423 | 769 | 0 | 0 | 0 | 83k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
140.15/140.22 c 136s|170000 | 2323 | 0 | 0.0 |7647k|2369 | - |2423 | 772 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
148.74/148.81 c 145s|180000 | 2327 | 0 | 0.0 |7647k|2369 | - |2423 | 770 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
156.84/156.93 c 153s|190000 | 2322 | 0 | 0.0 |7643k|2369 | - |2423 | 769 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
165.34/165.44 c 161s|200000 | 2325 | 0 | 0.0 |7641k|2369 | - |2423 | 767 | 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
173.64/173.74 c 169s|210000 | 2327 | 0 | 0.0 |7648k|2369 | - |2423 | 767 | 0 | 0 | 0 | 109k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
182.33/182.49 c 177s|220000 | 2326 | 0 | 0.0 |7643k|2369 | - |2423 | 767 | 0 | 0 | 0 | 115k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
191.13/191.27 c 186s|230000 | 2324 | 0 | 0.0 |7647k|2369 | - |2423 | 770 | 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
199.23/199.34 c 194s|240000 | 2327 | 0 | 0.0 |7645k|2369 | - |2423 | 767 | 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
207.12/207.20 c 201s|250000 | 2321 | 0 | 0.0 |7647k|2369 | - |2423 | 769 | 0 | 0 | 0 | 131k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
215.02/215.12 c 209s|260000 | 2330 | 0 | 0.0 |7661k|2369 | - |2423 | 776 | 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
222.33/222.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
222.33/222.40 c 216s|270000 | 2325 | 0 | 0.0 |7652k|2369 | - |2423 | 771 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
229.52/229.61 c 223s|280000 | 2322 | 0 | 0.0 |7666k|2369 | - |2423 | 780 | 0 | 0 | 0 | 146k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
236.91/237.07 c 230s|290000 | 2322 | 0 | 0.0 |7658k|2369 | - |2423 | 775 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
244.23/244.33 c 238s|300000 | 2320 | 0 | 0.0 |7663k|2369 | - |2423 | 779 | 0 | 0 | 0 | 156k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
252.21/252.34 c 245s|310000 | 2326 | 0 | 0.0 |7648k|2369 | - |2423 | 768 | 0 | 0 | 0 | 161k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
259.81/259.94 c 253s|320000 | 2322 | 0 | 0.0 |7651k|2369 | - |2423 | 772 | 0 | 0 | 0 | 166k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
267.32/267.48 c 260s|330000 | 2322 | 0 | 0.0 |7657k|2369 | - |2423 | 777 | 0 | 0 | 0 | 171k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
274.91/275.09 c 267s|340000 | 2326 | 0 | 0.0 |7645k|2369 | - |2423 | 767 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
282.62/282.70 c 275s|350000 | 2326 | 0 | 0.0 |7650k|2369 | - |2423 | 770 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
289.80/289.99 c 282s|360000 | 2322 | 0 | 0.0 |7654k|2369 | - |2423 | 774 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
297.90/298.04 c 290s|370000 | 2324 | 0 | 0.0 |7647k|2369 | - |2423 | 767 | 0 | 0 | 0 | 191k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
306.30/306.47 c 298s|380000 | 2320 | 0 | 0.0 |7653k|2369 | - |2423 | 767 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
314.90/315.07 c 306s|390000 | 2330 | 0 | 0.0 |7647k|2369 | - |2423 | 767 | 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
323.40/323.51 c 314s|400000 | 2326 | 0 | 0.0 |7655k|2369 | - |2423 | 770 | 0 | 0 | 0 | 207k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
331.29/331.49 c 322s|410000 | 2324 | 0 | 0.0 |7648k|2369 | - |2423 | 769 | 0 | 0 | 0 | 212k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
339.19/339.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.19/339.36 c 330s|420000 | 2326 | 0 | 0.0 |7651k|2369 | - |2423 | 770 | 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
346.99/347.17 c 337s|430000 | 2330 | 0 | 0.0 |7653k|2369 | - |2423 | 769 | 0 | 0 | 0 | 223k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
355.19/355.34 c 345s|440000 | 2324 | 0 | 0.0 |7650k|2369 | - |2423 | 770 | 0 | 0 | 0 | 228k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
362.99/363.17 c 353s|450000 | 2323 | 0 | 0.0 |7652k|2369 | - |2423 | 769 | 0 | 0 | 0 | 233k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
371.69/371.84 c 361s|460000 | 2317 | 0 | 0.0 |7650k|2369 | - |2423 | 770 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
379.68/379.80 c 369s|470000 | 2322 | 0 | 0.0 |7664k|2369 | - |2423 | 774 | 0 | 0 | 0 | 243k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
387.38/387.50 c 377s|480000 | 2325 | 0 | 0.0 |7668k|2369 | - |2423 | 781 | 0 | 0 | 0 | 248k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
395.28/395.43 c 384s|490000 | 2326 | 0 | 0.0 |7655k|2369 | - |2423 | 770 | 0 | 0 | 0 | 253k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
403.28/403.46 c 392s|500000 | 2327 | 0 | 0.0 |7655k|2369 | - |2423 | 772 | 0 | 0 | 0 | 258k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
411.07/411.29 c 400s|510000 | 2325 | 0 | 0.0 |7659k|2369 | - |2423 | 774 | 0 | 0 | 0 | 263k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
418.47/418.64 c 407s|520000 | 2324 | 0 | 0.0 |7664k|2369 | - |2423 | 772 | 0 | 0 | 0 | 268k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
426.27/426.41 c 414s|530000 | 2320 | 0 | 0.0 |7663k|2369 | - |2423 | 772 | 0 | 0 | 0 | 274k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
433.87/434.01 c 422s|540000 | 2319 | 0 | 0.0 |7650k|2369 | - |2423 | 768 | 0 | 0 | 0 | 278k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
441.36/441.57 c 429s|550000 | 2321 | 0 | 0.0 |7653k|2369 | - |2423 | 771 | 0 | 0 | 0 | 283k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
448.56/448.79 c 436s|560000 | 2327 | 0 | 0.0 |7651k|2369 | - |2423 | 769 | 0 | 0 | 0 | 288k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
456.86/457.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
456.86/457.06 c 444s|570000 | 2321 | 0 | 0.0 |7648k|2369 | - |2423 | 768 | 0 | 0 | 0 | 294k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
465.55/465.71 c 453s|580000 | 2318 | 0 | 0.0 |7651k|2369 | - |2423 | 768 | 0 | 0 | 0 | 299k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
474.15/474.38 c 461s|590000 | 2319 | 0 | 0.0 |7657k|2369 | - |2423 | 775 | 0 | 0 | 0 | 304k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
482.15/482.33 c 469s|600000 | 2321 | 0 | 0.0 |7649k|2369 | - |2423 | 768 | 0 | 0 | 0 | 309k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
489.95/490.18 c 476s|610000 | 2319 | 0 | 0.0 |7658k|2369 | - |2423 | 775 | 0 | 0 | 0 | 314k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
497.85/498.06 c 484s|620000 | 2317 | 0 | 0.0 |7649k|2369 | - |2423 | 767 | 0 | 0 | 0 | 319k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
505.64/505.89 c 492s|630000 | 2315 | 0 | 0.0 |7649k|2369 | - |2423 | 770 | 0 | 0 | 0 | 324k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
513.04/513.21 c 499s|640000 | 2320 | 0 | 0.0 |7666k|2369 | - |2423 | 780 | 0 | 0 | 0 | 330k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
520.73/520.92 c 506s|650000 | 2327 | 0 | 0.0 |7658k|2369 | - |2423 | 768 | 0 | 0 | 0 | 335k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
528.84/529.07 c 514s|660000 | 2324 | 0 | 0.0 |7658k|2369 | - |2423 | 772 | 0 | 0 | 0 | 340k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
536.43/536.66 c 522s|670000 | 2323 | 0 | 0.0 |7652k|2369 | - |2423 | 769 | 0 | 0 | 0 | 345k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
544.33/544.59 c 529s|680000 | 2318 | 0 | 0.0 |7657k|2369 | - |2423 | 774 | 0 | 0 | 0 | 350k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
552.04/552.23 c 537s|690000 | 2323 | 0 | 0.0 |7650k|2369 | - |2423 | 768 | 0 | 0 | 0 | 355k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
559.63/559.83 c 544s|700000 | 2321 | 0 | 0.0 |7652k|2369 | - |2423 | 770 | 0 | 0 | 0 | 360k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
567.12/567.38 c 551s|710000 | 2323 | 0 | 0.0 |7652k|2369 | - |2423 | 767 | 0 | 0 | 0 | 365k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
574.92/575.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
574.92/575.18 c 559s|720000 | 2318 | 0 | 0.0 |7651k|2369 | - |2423 | 769 | 0 | 0 | 0 | 370k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
582.93/583.12 c 567s|730000 | 2318 | 0 | 0.0 |7667k|2369 | - |2423 | 781 | 0 | 0 | 0 | 375k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
590.72/590.96 c 574s|740000 | 2319 | 0 | 0.0 |7666k|2369 | - |2423 | 772 | 0 | 0 | 0 | 380k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
598.42/598.68 c 582s|750000 | 2317 | 0 | 0.0 |7655k|2369 | - |2423 | 767 | 0 | 0 | 0 | 385k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
606.41/606.65 c 590s|760000 | 2316 | 0 | 0.0 |7652k|2369 | - |2423 | 770 | 0 | 0 | 0 | 390k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
614.21/614.43 c 597s|770000 | 2318 | 0 | 0.0 |7652k|2369 | - |2423 | 770 | 0 | 0 | 0 | 395k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
621.61/621.89 c 604s|780000 | 2318 | 0 | 0.0 |7653k|2369 | - |2423 | 769 | 0 | 0 | 0 | 400k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
630.41/630.69 c 613s|790000 | 2316 | 0 | 0.0 |7660k|2369 | - |2423 | 772 | 0 | 0 | 0 | 405k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
639.21/639.49 c 622s|800000 | 2315 | 0 | 0.0 |7658k|2369 | - |2423 | 772 | 0 | 0 | 0 | 410k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
648.20/648.44 c 630s|810000 | 2318 | 0 | 0.0 |7656k|2369 | - |2423 | 772 | 0 | 0 | 0 | 416k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
657.30/657.53 c 639s|820000 | 2322 | 0 | 0.0 |7662k|2369 | - |2423 | 774 | 0 | 0 | 0 | 421k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
665.49/665.71 c 647s|830000 | 2316 | 0 | 0.0 |7656k|2369 | - |2423 | 772 | 0 | 0 | 0 | 426k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
673.90/674.14 c 655s|840000 | 2317 | 0 | 0.0 |7656k|2369 | - |2423 | 772 | 0 | 0 | 0 | 432k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
681.80/682.04 c 663s|850000 | 2317 | 0 | 0.0 |7658k|2369 | - |2423 | 773 | 0 | 0 | 0 | 437k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
690.19/690.49 c 671s|860000 | 2315 | 0 | 0.0 |7654k|2369 | - |2423 | 768 | 0 | 0 | 0 | 442k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
698.19/698.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
698.19/698.41 c 679s|870000 | 2318 | 0 | 0.0 |7665k|2369 | - |2423 | 776 | 0 | 0 | 0 | 446k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
705.88/706.19 c 686s|880000 | 2322 | 0 | 0.0 |7663k|2369 | - |2423 | 774 | 0 | 0 | 0 | 451k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
714.28/714.53 c 694s|890000 | 2318 | 0 | 0.0 |7655k|2369 | - |2423 | 769 | 0 | 0 | 0 | 457k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
722.38/722.66 c 702s|900000 | 2312 | 0 | 0.0 |7656k|2369 | - |2423 | 772 | 0 | 0 | 0 | 462k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
730.68/730.94 c 710s|910000 | 2320 | 0 | 0.0 |7653k|2369 | - |2423 | 769 | 0 | 0 | 0 | 467k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
739.17/739.45 c 719s|920000 | 2318 | 0 | 0.0 |7662k|2369 | - |2423 | 775 | 0 | 0 | 0 | 472k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
747.67/747.95 c 727s|930000 | 2317 | 0 | 0.0 |7653k|2369 | - |2423 | 769 | 0 | 0 | 0 | 477k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
755.77/756.04 c 735s|940000 | 2318 | 0 | 0.0 |7654k|2369 | - |2423 | 767 | 0 | 0 | 0 | 482k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
764.38/764.66 c 743s|950000 | 2319 | 0 | 0.0 |7654k|2369 | - |2423 | 768 | 0 | 0 | 0 | 487k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
773.27/773.52 c 752s|960000 | 2320 | 0 | 0.0 |7654k|2369 | - |2423 | 769 | 0 | 0 | 0 | 492k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
781.56/781.85 c 760s|970000 | 2319 | 0 | 0.0 |7654k|2369 | - |2423 | 769 | 0 | 0 | 0 | 497k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
790.06/790.38 c 768s|980000 | 2319 | 0 | 0.0 |7664k|2369 | - |2423 | 776 | 0 | 0 | 0 | 503k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
799.47/799.72 c 777s|990000 | 2317 | 0 | 0.0 |7656k|2369 | - |2423 | 768 | 0 | 0 | 0 | 508k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
808.66/808.94 c 786s| 1000k| 2316 | 0 | 0.0 |7656k|2369 | - |2423 | 772 | 0 | 0 | 0 | 513k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
817.25/817.51 c 794s| 1010k| 2312 | 0 | 0.0 |7660k|2369 | - |2423 | 778 | 0 | 0 | 0 | 518k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
825.95/826.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
825.95/826.21 c 803s| 1020k| 2326 | 0 | 0.0 |7651k|2369 | - |2423 | 767 | 0 | 0 | 0 | 523k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
834.66/834.92 c 811s| 1030k| 2322 | 0 | 0.0 |7652k|2369 | - |2423 | 768 | 0 | 0 | 0 | 529k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
842.94/843.23 c 820s| 1040k| 2324 | 0 | 0.0 |7655k|2369 | - |2423 | 767 | 0 | 0 | 0 | 534k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
851.14/851.42 c 827s| 1050k| 2322 | 0 | 0.0 |7664k|2369 | - |2423 | 775 | 0 | 0 | 0 | 539k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
859.14/859.49 c 835s| 1060k| 2316 | 0 | 0.0 |7665k|2369 | - |2423 | 778 | 0 | 0 | 0 | 544k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
867.14/867.42 c 843s| 1070k| 2316 | 0 | 0.0 |7660k|2369 | - |2423 | 772 | 0 | 0 | 0 | 549k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
875.14/875.43 c 851s| 1080k| 2314 | 0 | 0.0 |7678k|2369 | - |2423 | 785 | 0 | 0 | 0 | 554k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
883.23/883.57 c 859s| 1090k| 2318 | 0 | 0.0 |7676k|2369 | - |2423 | 780 | 0 | 0 | 0 | 560k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
891.94/892.27 c 867s| 1100k| 2317 | 0 | 0.0 |7651k|2369 | - |2423 | 767 | 0 | 0 | 0 | 565k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
900.83/901.12 c 876s| 1110k| 2316 | 0 | 0.0 |7650k|2369 | - |2423 | 767 | 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
910.23/910.55 c 885s| 1120k| 2315 | 0 | 0.0 |7650k|2369 | - |2423 | 767 | 0 | 0 | 0 | 575k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
918.92/919.28 c 893s| 1130k| 2318 | 0 | 0.0 |7651k|2369 | - |2423 | 767 | 0 | 0 | 0 | 580k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
928.13/928.43 c 902s| 1140k| 2316 | 0 | 0.0 |7674k|2369 | - |2423 | 781 | 0 | 0 | 0 | 585k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
937.61/937.97 c 912s| 1150k| 2316 | 0 | 0.0 |7660k|2369 | - |2423 | 774 | 0 | 0 | 0 | 590k| 0 | 1.000000e+00 | 5.300000e+01 |5200.00%
940.81/941.16 o 52
940.81/941.16 c * 915s| 1153k| 2314 | 0 | 0.0 |7707k|2369 | - |2423 | 785 | 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
946.32/946.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
946.32/946.60 c 920s| 1160k| 2323 | 0 | 0.0 |7692k|2369 | - |2423 | 772 | 0 | 0 | 0 | 595k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
954.82/955.12 c 928s| 1170k| 2317 | 0 | 0.0 |7689k|2369 | - |2423 | 771 | 0 | 0 | 0 | 600k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
963.01/963.30 c 936s| 1180k| 2311 | 0 | 0.0 |7718k|2369 | - |2423 | 773 | 0 | 0 | 0 | 606k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
971.71/972.06 c 945s| 1190k| 2315 | 0 | 0.0 |7692k|2369 | - |2423 | 774 | 0 | 0 | 0 | 611k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
980.61/980.93 c 953s| 1200k| 2319 | 0 | 0.0 |7694k|2369 | - |2423 | 769 | 0 | 0 | 0 | 616k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
989.20/989.56 c 962s| 1210k| 2320 | 0 | 0.0 |7696k|2369 | - |2423 | 775 | 0 | 0 | 0 | 621k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
998.11/998.43 c 970s| 1220k| 2318 | 0 | 0.0 |7686k|2369 | - |2423 | 770 | 0 | 0 | 0 | 627k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1006.80/1007.14 c 979s| 1230k| 2312 | 0 | 0.0 |7680k|2369 | - |2423 | 767 | 0 | 0 | 0 | 632k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1015.20/1015.59 c 987s| 1240k| 2313 | 0 | 0.0 |7688k|2369 | - |2423 | 770 | 0 | 0 | 0 | 637k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1023.99/1024.31 c 996s| 1250k| 2313 | 0 | 0.0 |7681k|2369 | - |2423 | 767 | 0 | 0 | 0 | 642k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1032.49/1032.88 c 1004s| 1260k| 2317 | 0 | 0.0 |7694k|2369 | - |2423 | 773 | 0 | 0 | 0 | 647k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1040.79/1041.10 c 1012s| 1270k| 2326 | 0 | 0.0 |7689k|2369 | - |2423 | 769 | 0 | 0 | 0 | 653k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1049.10/1049.45 c 1020s| 1280k| 2318 | 0 | 0.0 |7699k|2369 | - |2423 | 778 | 0 | 0 | 0 | 658k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1057.88/1058.23 c 1028s| 1290k| 2315 | 0 | 0.0 |7685k|2369 | - |2423 | 770 | 0 | 0 | 0 | 663k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1066.69/1067.00 c 1037s| 1300k| 2313 | 0 | 0.0 |7693k|2369 | - |2423 | 772 | 0 | 0 | 0 | 669k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1075.17/1075.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1075.17/1075.50 c 1045s| 1310k| 2326 | 0 | 0.0 |7688k|2369 | - |2423 | 769 | 0 | 0 | 0 | 674k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1083.18/1083.60 c 1053s| 1320k| 2315 | 0 | 0.0 |7687k|2369 | - |2423 | 770 | 0 | 0 | 0 | 679k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1091.77/1092.10 c 1061s| 1330k| 2320 | 0 | 0.0 |7691k|2369 | - |2423 | 772 | 0 | 0 | 0 | 685k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1100.77/1101.13 c 1070s| 1340k| 2318 | 0 | 0.0 |7693k|2369 | - |2423 | 774 | 0 | 0 | 0 | 690k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1109.67/1110.09 c 1079s| 1350k| 2312 | 0 | 0.0 |7702k|2369 | - |2423 | 781 | 0 | 0 | 0 | 696k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1118.07/1118.43 c 1087s| 1360k| 2318 | 0 | 0.0 |7700k|2369 | - |2423 | 778 | 0 | 0 | 0 | 701k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1126.86/1127.21 c 1095s| 1370k| 2311 | 0 | 0.0 |7681k|2369 | - |2423 | 767 | 0 | 0 | 0 | 706k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1135.16/1135.52 c 1104s| 1380k| 2315 | 0 | 0.0 |7690k|2369 | - |2423 | 772 | 0 | 0 | 0 | 711k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1143.66/1144.04 c 1112s| 1390k| 2318 | 0 | 0.0 |7685k|2369 | - |2423 | 768 | 0 | 0 | 0 | 716k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1152.35/1152.76 c 1120s| 1400k| 2313 | 0 | 0.0 |7707k|2369 | - |2423 | 780 | 0 | 0 | 0 | 722k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1160.95/1161.35 c 1129s| 1410k| 2315 | 0 | 0.0 |7688k|2369 | - |2423 | 770 | 0 | 0 | 0 | 727k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1169.25/1169.65 c 1137s| 1420k| 2313 | 0 | 0.0 |7696k|2369 | - |2423 | 775 | 0 | 0 | 0 | 733k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1178.34/1178.70 c 1146s| 1430k| 2319 | 0 | 0.0 |7703k|2369 | - |2423 | 774 | 0 | 0 | 0 | 738k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1187.43/1187.82 c 1154s| 1440k| 2314 | 0 | 0.0 |7691k|2369 | - |2423 | 771 | 0 | 0 | 0 | 743k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1196.23/1196.61 c 1163s| 1450k| 2320 | 0 | 0.0 |7708k|2369 | - |2423 | 779 | 0 | 0 | 0 | 749k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1204.63/1205.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1204.63/1205.05 c 1171s| 1460k| 2317 | 0 | 0.0 |7696k|2369 | - |2423 | 773 | 0 | 0 | 0 | 754k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1213.13/1213.58 c 1179s| 1470k| 2315 | 0 | 0.0 |7688k|2369 | - |2423 | 770 | 0 | 0 | 0 | 759k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1221.83/1222.24 c 1188s| 1480k| 2312 | 0 | 0.0 |7699k|2369 | - |2423 | 773 | 0 | 0 | 0 | 765k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1230.53/1230.95 c 1196s| 1490k| 2312 | 0 | 0.0 |7691k|2369 | - |2423 | 773 | 0 | 0 | 0 | 770k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1239.22/1239.63 c 1205s| 1500k| 2316 | 0 | 0.0 |7692k|2369 | - |2423 | 773 | 0 | 0 | 0 | 775k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1248.62/1249.08 c 1214s| 1510k| 2316 | 0 | 0.0 |7686k|2369 | - |2423 | 768 | 0 | 0 | 0 | 781k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1257.91/1258.35 c 1223s| 1520k| 2313 | 0 | 0.0 |7692k|2369 | - |2423 | 773 | 0 | 0 | 0 | 786k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1266.51/1266.92 c 1231s| 1530k| 2317 | 0 | 0.0 |7707k|2369 | - |2423 | 780 | 0 | 0 | 0 | 792k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1275.62/1276.06 c 1240s| 1540k| 2307 | 0 | 0.0 |7700k|2369 | - |2423 | 772 | 0 | 0 | 0 | 797k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1284.91/1285.31 c 1249s| 1550k| 2316 | 0 | 0.0 |7690k|2369 | - |2423 | 770 | 0 | 0 | 0 | 803k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1293.21/1293.69 c 1257s| 1560k| 2309 | 0 | 0.0 |7692k|2369 | - |2423 | 772 | 0 | 0 | 0 | 808k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1302.60/1303.04 c 1266s| 1570k| 2320 | 0 | 0.0 |7691k|2369 | - |2423 | 770 | 0 | 0 | 0 | 814k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1311.50/1311.91 c 1275s| 1580k| 2317 | 0 | 0.0 |7693k|2369 | - |2423 | 772 | 0 | 0 | 0 | 819k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1320.40/1320.84 c 1284s| 1590k| 2318 | 0 | 0.0 |7685k|2369 | - |2423 | 767 | 0 | 0 | 0 | 824k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1328.59/1329.06 c 1292s| 1600k| 2313 | 0 | 0.0 |7686k|2369 | - |2423 | 768 | 0 | 0 | 0 | 829k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1337.09/1337.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1337.09/1337.53 c 1300s| 1610k| 2318 | 0 | 0.0 |7689k|2369 | - |2423 | 768 | 0 | 0 | 0 | 834k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1345.89/1346.31 c 1309s| 1620k| 2314 | 0 | 0.0 |7689k|2369 | - |2423 | 767 | 0 | 0 | 0 | 840k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1353.69/1354.15 c 1316s| 1630k| 2316 | 0 | 0.0 |7692k|2369 | - |2423 | 771 | 0 | 0 | 0 | 845k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1361.69/1362.19 c 1324s| 1640k| 2316 | 0 | 0.0 |7693k|2369 | - |2423 | 770 | 0 | 0 | 0 | 850k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1370.19/1370.70 c 1332s| 1650k| 2311 | 0 | 0.0 |7697k|2369 | - |2423 | 770 | 0 | 0 | 0 | 855k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1379.18/1379.65 c 1341s| 1660k| 2317 | 0 | 0.0 |7690k|2369 | - |2423 | 768 | 0 | 0 | 0 | 860k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1387.67/1388.11 c 1349s| 1670k| 2328 | 0 | 0.0 |7699k|2369 | - |2423 | 773 | 0 | 0 | 0 | 865k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1396.07/1396.58 c 1357s| 1680k| 2315 | 0 | 0.0 |7700k|2369 | - |2423 | 777 | 0 | 0 | 0 | 870k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1404.47/1404.92 c 1366s| 1690k| 2312 | 0 | 0.0 |7693k|2369 | - |2423 | 770 | 0 | 0 | 0 | 876k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1412.88/1413.31 c 1374s| 1700k| 2318 | 0 | 0.0 |7694k|2369 | - |2423 | 768 | 0 | 0 | 0 | 881k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1420.67/1421.19 c 1381s| 1710k| 2312 | 0 | 0.0 |7686k|2369 | - |2423 | 768 | 0 | 0 | 0 | 886k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1429.57/1430.01 c 1390s| 1720k| 2319 | 0 | 0.0 |7690k|2369 | - |2423 | 770 | 0 | 0 | 0 | 891k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1438.36/1438.88 c 1399s| 1730k| 2311 | 0 | 0.0 |7690k|2369 | - |2423 | 769 | 0 | 0 | 0 | 896k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1446.96/1447.40 c 1407s| 1740k| 2315 | 0 | 0.0 |7707k|2369 | - |2423 | 779 | 0 | 0 | 0 | 902k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1454.56/1455.07 c 1414s| 1750k| 2319 | 0 | 0.0 |7698k|2369 | - |2423 | 774 | 0 | 0 | 0 | 907k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1462.46/1462.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1462.46/1462.97 c 1422s| 1760k| 2312 | 0 | 0.0 |7705k|2369 | - |2423 | 779 | 0 | 0 | 0 | 912k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1471.15/1471.61 c 1430s| 1770k| 2320 | 0 | 0.0 |7691k|2369 | - |2423 | 770 | 0 | 0 | 0 | 917k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1479.05/1479.53 c 1438s| 1780k| 2314 | 0 | 0.0 |7697k|2369 | - |2423 | 775 | 0 | 0 | 0 | 922k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1486.65/1487.13 c 1446s| 1790k| 2318 | 0 | 0.0 |7696k|2369 | - |2423 | 773 | 0 | 0 | 0 | 927k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1494.84/1495.33 c 1453s| 1800k| 2308 | 0 | 0.0 |7709k|2369 | - |2423 | 784 | 0 | 0 | 0 | 932k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1502.55/1503.09 c 1461s| 1810k| 2319 | 0 | 0.0 |7699k|2369 | - |2423 | 775 | 0 | 0 | 0 | 937k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1511.05/1511.50 c 1469s| 1820k| 2320 | 0 | 0.0 |7695k|2369 | - |2423 | 772 | 0 | 0 | 0 | 943k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1519.14/1519.60 c 1477s| 1830k| 2310 | 0 | 0.0 |7694k|2369 | - |2423 | 773 | 0 | 0 | 0 | 948k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1527.44/1527.94 c 1485s| 1840k| 2312 | 0 | 0.0 |7688k|2369 | - |2423 | 769 | 0 | 0 | 0 | 953k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1535.93/1536.46 c 1493s| 1850k| 2319 | 0 | 0.0 |7691k|2369 | - |2423 | 770 | 0 | 0 | 0 | 958k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1544.73/1545.27 c 1502s| 1860k| 2313 | 0 | 0.0 |7687k|2369 | - |2423 | 769 | 0 | 0 | 0 | 964k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1553.33/1553.89 c 1510s| 1870k| 2317 | 0 | 0.0 |7688k|2369 | - |2423 | 769 | 0 | 0 | 0 | 969k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1562.02/1562.58 c 1519s| 1880k| 2317 | 0 | 0.0 |7689k|2369 | - |2423 | 769 | 0 | 0 | 0 | 974k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1570.22/1570.71 c 1527s| 1890k| 2311 | 0 | 0.0 |7684k|2369 | - |2423 | 767 | 0 | 0 | 0 | 979k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1578.41/1578.97 c 1535s| 1900k| 2317 | 0 | 0.0 |7690k|2369 | - |2423 | 767 | 0 | 0 | 0 | 984k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1587.11/1587.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1587.11/1587.69 c 1543s| 1910k| 2312 | 0 | 0.0 |7689k|2369 | - |2423 | 768 | 0 | 0 | 0 | 990k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1595.52/1596.04 c 1551s| 1920k| 2309 | 0 | 0.0 |7686k|2369 | - |2423 | 768 | 0 | 0 | 0 | 995k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1603.11/1603.67 c 1559s| 1930k| 2315 | 0 | 0.0 |7689k|2369 | - |2423 | 767 | 0 | 0 | 0 |1000k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1610.91/1611.45 c 1566s| 1940k| 2315 | 0 | 0.0 |7685k|2369 | - |2423 | 767 | 0 | 0 | 0 |1005k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1619.60/1620.19 c 1575s| 1950k| 2313 | 0 | 0.0 |7691k|2369 | - |2423 | 771 | 0 | 0 | 0 |1010k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1627.80/1628.36 c 1583s| 1960k| 2319 | 0 | 0.0 |7690k|2369 | - |2423 | 769 | 0 | 0 | 0 |1016k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1635.80/1636.37 c 1591s| 1970k| 2315 | 0 | 0.0 |7704k|2369 | - |2423 | 780 | 0 | 0 | 0 |1021k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1644.30/1644.84 c 1599s| 1980k| 2312 | 0 | 0.0 |7693k|2369 | - |2423 | 773 | 0 | 0 | 0 |1026k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1653.00/1653.50 c 1607s| 1990k| 2314 | 0 | 0.0 |7697k|2369 | - |2423 | 774 | 0 | 0 | 0 |1031k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1661.49/1662.09 c 1615s| 2000k| 2313 | 0 | 0.0 |7701k|2369 | - |2423 | 771 | 0 | 0 | 0 |1037k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1670.08/1670.63 c 1624s| 2010k| 2312 | 0 | 0.0 |7691k|2369 | - |2423 | 773 | 0 | 0 | 0 |1042k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1679.09/1679.61 c 1633s| 2020k| 2311 | 0 | 0.0 |7699k|2369 | - |2423 | 776 | 0 | 0 | 0 |1048k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1686.99/1687.56 c 1640s| 2030k| 2311 | 0 | 0.0 |7685k|2369 | - |2423 | 769 | 0 | 0 | 0 |1053k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1695.68/1696.27 c 1649s| 2040k| 2311 | 0 | 0.0 |7692k|2369 | - |2423 | 772 | 0 | 0 | 0 |1058k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1704.17/1704.79 c 1657s| 2050k| 2310 | 0 | 0.0 |7692k|2369 | - |2423 | 772 | 0 | 0 | 0 |1063k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1712.78/1713.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1712.78/1713.36 c 1665s| 2060k| 2315 | 0 | 0.0 |7691k|2369 | - |2423 | 770 | 0 | 0 | 0 |1069k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1721.27/1721.88 c 1674s| 2070k| 2307 | 0 | 0.0 |7700k|2369 | - |2423 | 776 | 0 | 0 | 0 |1074k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1730.47/1731.07 c 1683s| 2080k| 2309 | 0 | 0.0 |7698k|2369 | - |2423 | 775 | 0 | 0 | 0 |1079k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1740.36/1740.99 c 1692s| 2090k| 2316 | 0 | 0.0 |7686k|2369 | - |2423 | 767 | 0 | 0 | 0 |1085k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1749.87/1750.49 c 1701s| 2100k| 2314 | 0 | 0.0 |7713k|2369 | - |2423 | 779 | 0 | 0 | 0 |1090k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1759.66/1760.22 c 1711s| 2110k| 2316 | 0 | 0.0 |7689k|2369 | - |2423 | 767 | 0 | 0 | 0 |1096k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1769.36/1770.00 c 1720s| 2120k| 2309 | 0 | 0.0 |7691k|2369 | - |2423 | 771 | 0 | 0 | 0 |1101k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1778.26/1778.86 c 1729s| 2130k| 2308 | 0 | 0.0 |7692k|2369 | - |2423 | 772 | 0 | 0 | 0 |1107k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1787.45/1788.00 c 1738s| 2140k| 2312 | 0 | 0.0 |7695k|2369 | - |2423 | 775 | 0 | 0 | 0 |1112k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1796.14/1796.79 c 1746s| 2150k| 2311 | 0 | 0.0 |7692k|2369 | - |2423 | 772 | 0 | 0 | 0 |1117k| 0 | 1.000000e+00 | 5.200000e+01 |5100.00%
1800.05/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1750.14
1800.05/1800.61 c Solving Nodes : 2154321
1800.05/1800.61 c Primal Bound : +5.20000000000000e+01 (6 solutions)
1800.05/1800.61 c Dual Bound : +1.00000000000000e+00
1800.05/1800.61 c Gap : 5100.00 %
1800.05/1800.61 s SATISFIABLE
1800.05/1800.61 v -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410
1800.05/1800.61 v -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393
1800.05/1800.61 v -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375
1800.05/1800.61 v -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357
1800.05/1800.61 v -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339
1800.05/1800.61 v -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321
1800.05/1800.61 v -x2320 -x2319 -x2318 -x2317 -x2316 x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303
1800.05/1800.61 v -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 x2285
1800.05/1800.61 v -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267
1800.05/1800.61 v -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249
1800.05/1800.61 v -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232
1800.05/1800.61 v -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214
1800.05/1800.61 v -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196
1800.05/1800.61 v -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178
1800.05/1800.61 v -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160
1800.05/1800.61 v -x2159 -x2158 -x2157 -x2156 x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142
1800.05/1800.61 v -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124
1800.05/1800.61 v -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106
1800.05/1800.61 v -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 x2091 -x2090 -x2089 -x2088
1800.05/1800.61 v x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 x2076 -x2075 x2074 -x2073 x2072 -x2071 -x2070
1800.05/1800.61 v -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052
1800.05/1800.61 v -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034
1800.05/1800.61 v -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016
1800.05/1800.61 v -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999
1800.05/1800.61 v -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981
1800.05/1800.61 v -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963
1800.05/1800.61 v -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945
1800.05/1800.61 v -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927
1800.05/1800.61 v -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909
1800.05/1800.61 v -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891
1800.05/1800.61 v -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873
1800.05/1800.61 v -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856
1800.05/1800.61 v -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838
1800.05/1800.61 v -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820
1800.05/1800.61 v -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802
1800.05/1800.61 v -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784
1800.05/1800.61 v -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766
1800.05/1800.61 v -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748
1800.05/1800.61 v -x1747 -x1746 -x1745 x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730
1800.05/1800.61 v -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713
1800.05/1800.61 v -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695
1800.05/1800.61 v -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677
1800.05/1800.61 v -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659
1800.05/1800.61 v -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641
1800.05/1800.61 v -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623
1800.05/1800.61 v -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605
1800.05/1800.61 v -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588
1800.05/1800.61 v -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570
1800.05/1800.62 v -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552
1800.05/1800.62 v -x1551 -x1550 -x1549 x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534
1800.05/1800.62 v -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516
1800.05/1800.62 v -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498
1800.05/1800.62 v -x1497 -x1496 -x1495 -x1494 -x1493 x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480
1800.05/1800.62 v -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462
1800.05/1800.62 v -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444
1800.05/1800.62 v -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426
1800.05/1800.62 v -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409
1800.05/1800.62 v -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391
1800.05/1800.62 v -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373
1800.05/1800.62 v -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 x1364 -x1363 -x1362 -x1361 -x1360 -x1359 x1358 -x1357 -x1356 -x1355
1800.05/1800.62 v -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337
1800.05/1800.62 v -x1336 -x1335 -x1334 -x1333 x1332 x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319
1800.05/1800.62 v -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301
1800.05/1800.62 v -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283
1800.05/1800.62 v -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265
1800.05/1800.62 v -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247
1800.05/1800.62 v -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229
1800.05/1800.62 v -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212
1800.05/1800.62 v -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194
1800.05/1800.62 v -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176
1800.05/1800.62 v -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158
1800.05/1800.62 v -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140
1800.05/1800.62 v -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122
1800.05/1800.62 v -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 x1105 -x1104
1800.05/1800.62 v -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 x1088 x1087 -x1086
1800.05/1800.62 v x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068
1800.05/1800.62 v -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050
1800.05/1800.62 v -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032
1800.05/1800.62 v -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014
1800.05/1800.62 v -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996
1800.05/1800.62 v -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975
1800.05/1800.62 v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 x954
1800.05/1800.62 v -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 x937 -x936 -x935 -x934 -x933
1800.05/1800.62 v -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912
1800.05/1800.62 v -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891
1800.05/1800.62 v -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870
1800.05/1800.62 v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 x850 -x849
1800.05/1800.62 v -x848 -x847 x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828
1800.05/1800.62 v -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807
1800.05/1800.62 v -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786
1800.05/1800.62 v -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765
1800.05/1800.62 v -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745
1800.05/1800.62 v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724
1800.05/1800.62 v -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703
1800.05/1800.62 v -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682
1800.05/1800.62 v -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661
1800.05/1800.62 v -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640
1800.05/1800.62 v -x639 -x638 -x637 -x636 -x635 x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 x626 -x625 -x624 -x623 x622 -x621 -x620 -x619
1800.05/1800.62 v -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598
1800.05/1800.62 v -x597 x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 x581 -x580 -x579 -x578 -x577
1800.05/1800.62 v -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556
1800.05/1800.62 v -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535
1800.05/1800.62 v -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514
1800.05/1800.62 v -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493
1800.05/1800.62 v -x492 -x491 -x490 -x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 x477 -x476 x475 -x474 x473 -x472
1800.05/1800.62 v -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451
1800.05/1800.62 v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 x430
1800.05/1800.62 v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409
1800.05/1800.62 v -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388
1800.05/1800.62 v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368
1800.05/1800.62 v -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347
1800.05/1800.62 v -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326
1800.05/1800.62 v -x325 -x324 x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305
1800.05/1800.62 v -x304 -x303 -x302 x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284
1800.05/1800.62 v -x283 x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263
1800.05/1800.62 v -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 x246 -x245 -x244 -x243 -x242
1800.05/1800.62 v -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221
1800.05/1800.62 v -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
1800.05/1800.62 v -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1800.05/1800.62 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158
1800.05/1800.62 v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
1800.05/1800.62 v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116
1800.05/1800.62 v -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95
1800.05/1800.62 v -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69
1800.05/1800.62 v -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44
1800.05/1800.62 v -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19
1800.05/1800.62 v -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.05/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.62 c Solving Time : 1750.14
1800.05/1800.62 c Original Problem :
1800.05/1800.62 c Problem name : HOME/instance-2664785-1276594001.opb
1800.05/1800.62 c Variables : 2428 (2428 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62 c Constraints : 831 initial, 831 maximal
1800.05/1800.62 c Presolved Problem :
1800.05/1800.62 c Problem name : t_HOME/instance-2664785-1276594001.opb
1800.05/1800.62 c Variables : 2423 (2423 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62 c Constraints : 767 initial, 799 maximal
1800.05/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c dualfix : 0.00 5 0 0 0 0 0 0 0
1800.05/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c probing : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.62 c linear : 0.05 0 0 0 0 0 3 0 0
1800.05/1800.62 c logicor : 0.05 0 0 0 0 0 61 0 0
1800.05/1800.62 c root node : - 0 - - 0 - - - -
1800.05/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.62 c logicor : 767+ 0 3747222 0 3 238192 2071738 0 0 0
1800.05/1800.62 c countsols : 0 0 0 0 3 0 0 0 0 0
1800.05/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.62 c logicor : 225.80 0.00 225.80 0.00 0.00
1800.05/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.62 c vbounds : 3.56 2 0 0
1800.05/1800.62 c rootredcost : 3.91 0 0 0
1800.05/1800.62 c pseudoobj : 1311.13 7487910 856454 10785172
1800.05/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.62 c propagation : 753.37 1093840 1093840 1093840 235.3 8206 239.5 -
1800.05/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c pseudo solution : 19.89 20499 20499 20499 200.6 1614 206.0 -
1800.05/1800.62 c applied globally : - - - 657406 138.9 - - -
1800.05/1800.62 c applied locally : - - - 462908 369.6 - - -
1800.05/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.62 c redcost : 0.00 0 0 0 0 0
1800.05/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.62 c intobj : 0.00 0 0 0 0 0
1800.05/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.62 c gomory : 0.00 0 0 0 0 0
1800.05/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.62 c cmir : 0.00 0 0 0 0 0
1800.05/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.62 c clique : 0.00 0 0 0 0 0
1800.05/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.62 c mcf : 0.00 0 0 0 0 0
1800.05/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.62 c Pricers : Time Calls Vars
1800.05/1800.62 c problem variables: 0.00 0 0
1800.05/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.62 c inference : 26.92 1574615 0 0 0 0 3149230
1800.05/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c random : 0.00 0 0 0 0 0 0
1800.05/1800.62 c Primal Heuristics : Time Calls Found
1800.05/1800.62 c LP solutions : 0.00 - 0
1800.05/1800.62 c pseudo solutions : 0.00 - 3
1800.05/1800.62 c oneopt : 1.93 0 0
1800.05/1800.62 c trivial : 0.01 2 3
1800.05/1800.62 c simplerounding : 0.00 0 0
1800.05/1800.62 c zirounding : 0.00 0 0
1800.05/1800.62 c rounding : 0.00 0 0
1800.05/1800.62 c shifting : 0.00 0 0
1800.05/1800.62 c intshifting : 0.00 0 0
1800.05/1800.62 c twoopt : 0.00 0 0
1800.05/1800.62 c fixandinfer : 0.00 0 0
1800.05/1800.62 c feaspump : 0.00 0 0
1800.05/1800.62 c coefdiving : 0.00 0 0
1800.05/1800.62 c pscostdiving : 0.00 0 0
1800.05/1800.62 c fracdiving : 0.00 0 0
1800.05/1800.62 c veclendiving : 0.00 0 0
1800.05/1800.62 c intdiving : 0.00 0 0
1800.05/1800.62 c actconsdiving : 0.00 0 0
1800.05/1800.62 c objpscostdiving : 0.00 0 0
1800.05/1800.62 c rootsoldiving : 0.00 0 0
1800.05/1800.62 c linesearchdiving : 0.00 0 0
1800.05/1800.62 c guideddiving : 0.00 0 0
1800.05/1800.62 c octane : 0.00 0 0
1800.05/1800.62 c rens : 0.00 0 0
1800.05/1800.62 c rins : 0.00 0 0
1800.05/1800.62 c localbranching : 0.00 0 0
1800.05/1800.62 c mutation : 0.00 0 0
1800.05/1800.62 c crossover : 0.00 0 0
1800.05/1800.62 c dins : 0.00 0 0
1800.05/1800.62 c undercover : 0.00 0 0
1800.05/1800.62 c nlp : 0.84 0 0
1800.05/1800.62 c trysol : 1.09 0 0
1800.05/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.62 c (at root node) : - 0 0 0.00 -
1800.05/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.62 c B&B Tree :
1800.05/1800.62 c number of runs : 1
1800.05/1800.62 c nodes : 2154321
1800.05/1800.62 c nodes (total) : 2154321
1800.05/1800.62 c nodes left : 2311
1800.05/1800.62 c max depth : 2369
1800.05/1800.62 c max depth (total): 2369
1800.05/1800.62 c backtracks : 646674 (30.0%)
1800.05/1800.62 c delayed cutoffs : 604153
1800.05/1800.62 c repropagations : 1171233 (4409754 domain reductions, 535442 cutoffs)
1800.05/1800.62 c avg switch length: 2.31
1800.05/1800.62 c switching time : 38.29
1800.05/1800.62 c Solution :
1800.05/1800.62 c Solutions found : 6 (5 improvements)
1800.05/1800.62 c First Solution : +2.42800000000000e+03 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.05/1800.62 c Primal Bound : +5.20000000000000e+01 (in run 1, after 1153671 nodes, 914.68 seconds, depth 2327, found by <relaxation>)
1800.05/1800.62 c Dual Bound : +1.00000000000000e+00
1800.05/1800.62 c Gap : 5100.00 %
1800.05/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.62 c Root Iterations : 0
1800.05/1800.64 c Time complete: 1800.09.
OK 52
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664785-1276594001/watcher-2664785-1276594001 -o /tmp/evaluation-result-2664785-1276594001/solver-2664785-1276594001 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664785-1276594001.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.92 1.05 1.03 2/106 2110 /proc/meminfo: memFree=1792604/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=5552 CPUtime=0 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 748 0 0 0 0 0 0 0 17 0 1 0 35003936 5685248 672 1992294400 4194304 7136930 140734997040368 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/2110/statm: 1388 680 243 719 0 667 0 [startup+0.106493 s] /proc/loadavg: 0.92 1.05 1.03 2/106 2110 /proc/meminfo: memFree=1792604/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=14744 CPUtime=0.1 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 3516 0 0 0 9 1 0 0 17 0 1 0 35003936 15097856 3085 1992294400 4194304 7136930 140734997040368 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 3686 3097 282 719 0 2965 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 14744 [startup+0.201503 s] /proc/loadavg: 0.92 1.05 1.03 2/106 2110 /proc/meminfo: memFree=1792604/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=22212 CPUtime=0.19 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 5453 0 0 0 18 1 0 0 17 0 1 0 35003936 22745088 4764 1992294400 4194304 7136930 140734997040368 18446744073709551615 5950366 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 5553 4764 346 719 0 4832 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 22212 [startup+0.301512 s] /proc/loadavg: 0.92 1.05 1.03 2/106 2110 /proc/meminfo: memFree=1792604/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=23376 CPUtime=0.29 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 6558 0 0 0 27 2 0 0 17 0 1 0 35003936 23937024 5095 1992294400 4194304 7136930 140734997040368 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 5844 5095 378 719 0 5123 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23376 [startup+0.70155 s] /proc/loadavg: 0.92 1.05 1.03 2/106 2110 /proc/meminfo: memFree=1792604/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=23768 CPUtime=0.69 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 6690 0 0 0 66 3 0 0 17 0 1 0 35003936 24338432 5227 1992294400 4194304 7136930 140734997040368 18446744073709551615 4643160 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 5942 5227 379 719 0 5221 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23768 [startup+1.50163 s] /proc/loadavg: 0.92 1.05 1.03 2/107 2111 /proc/meminfo: memFree=1772632/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=26152 CPUtime=1.49 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 7246 0 0 0 144 5 0 0 18 0 1 0 35003936 26779648 5783 1992294400 4194304 7136930 140734997040368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 6538 5783 386 719 0 5817 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26152 [startup+3.10078 s] /proc/loadavg: 0.92 1.05 1.03 2/107 2111 /proc/meminfo: memFree=1768540/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=29644 CPUtime=3.09 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 8113 0 0 0 299 10 0 0 21 0 1 0 35003936 30355456 6650 1992294400 4194304 7136930 140734997040368 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 7411 6650 386 719 0 6690 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29644 [startup+6.30108 s] /proc/loadavg: 0.93 1.05 1.03 2/107 2111 /proc/meminfo: memFree=1765564/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=31420 CPUtime=6.29 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 8521 0 0 0 609 20 0 0 25 0 1 0 35003936 32174080 7058 1992294400 4194304 7136930 140734997040368 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 7855 7058 386 719 0 7134 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31420 [startup+12.7007 s] /proc/loadavg: 0.93 1.05 1.03 2/107 2111 /proc/meminfo: memFree=1763580/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=33500 CPUtime=12.69 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 9012 0 0 0 1234 35 0 0 25 0 1 0 35003936 34304000 7549 1992294400 4194304 7136930 140734997040368 18446744073709551615 4434047 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 8375 7549 386 719 0 7654 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33500 [startup+25.5009 s] /proc/loadavg: 0.95 1.05 1.03 2/107 2111 /proc/meminfo: memFree=1761224/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=35688 CPUtime=25.49 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 9547 0 0 0 2477 72 0 0 25 0 1 0 35003936 36544512 8084 1992294400 4194304 7136930 140734997040368 18446744073709551615 5917919 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 8922 8084 386 719 0 8201 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 35688 [startup+51.1013 s] /proc/loadavg: 0.96 1.04 1.03 2/107 2113 /proc/meminfo: memFree=1758868/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=38120 CPUtime=51.08 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 10124 0 0 0 4969 139 0 0 25 0 1 0 35003936 39034880 8661 1992294400 4194304 7136930 140734997040368 18446744073709551615 5917627 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 9530 8661 386 719 0 8809 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 38120 [startup+102.301 s] /proc/loadavg: 0.98 1.03 1.02 2/107 2113 /proc/meminfo: memFree=1757008/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=39788 CPUtime=102.27 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 10549 0 0 0 9951 276 0 0 25 0 1 0 35003936 40742912 9086 1992294400 4194304 7136930 140734997040368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 9947 9086 386 719 0 9226 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 39788 [startup+162.301 s] /proc/loadavg: 0.99 1.02 1.02 2/107 2115 /proc/meminfo: memFree=1756016/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=40780 CPUtime=162.24 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 10772 0 0 0 15786 438 0 0 25 0 1 0 35003936 41758720 9309 1992294400 4194304 7136930 140734997040368 18446744073709551615 4208229 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10195 9309 386 719 0 9474 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 40780 [startup+222.309 s] /proc/loadavg: 0.99 1.02 1.01 2/107 2118 /proc/meminfo: memFree=1755396/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=41332 CPUtime=222.23 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 10902 0 0 0 21626 597 0 0 25 0 1 0 35003936 42323968 9439 1992294400 4194304 7136930 140734997040368 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10333 9439 386 719 0 9612 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 41332 [startup+282.301 s] /proc/loadavg: 0.99 1.01 1.00 2/107 2120 /proc/meminfo: memFree=1755396/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=41468 CPUtime=282.2 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 10919 0 0 0 27448 772 0 0 25 0 1 0 35003936 42463232 9456 1992294400 4194304 7136930 140734997040368 18446744073709551615 4240384 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10367 9456 386 719 0 9646 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 41468 [startup+342.301 s] /proc/loadavg: 0.99 1.01 1.00 2/107 2122 /proc/meminfo: memFree=1755148/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=41600 CPUtime=342.19 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 10949 0 0 0 33276 943 0 0 25 0 1 0 35003936 42598400 9486 1992294400 4194304 7136930 140734997040368 18446744073709551615 5905979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10400 9486 386 719 0 9679 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 41600 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/107 2122 /proc/meminfo: memFree=1755148/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=41600 CPUtime=402.17 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 10967 0 0 0 39107 1110 0 0 25 0 1 0 35003936 42598400 9504 1992294400 4194304 7136930 140734997040368 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10400 9504 386 719 0 9679 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 41600 [startup+462.301 s] /proc/loadavg: 1.05 1.01 1.00 2/107 2124 /proc/meminfo: memFree=1754776/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=41736 CPUtime=462.16 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 11005 0 0 0 44934 1282 0 0 25 0 1 0 35003936 42737664 9542 1992294400 4194304 7136930 140734997040368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10434 9542 386 719 0 9713 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 41736 [startup+522.301 s] /proc/loadavg: 1.02 1.01 1.00 2/107 2126 /proc/meminfo: memFree=1754652/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=41872 CPUtime=522.14 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 11017 0 0 0 50769 1445 0 0 25 0 1 0 35003936 42876928 9554 1992294400 4194304 7136930 140734997040368 18446744073709551615 4240461 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10468 9554 386 719 0 9747 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 41872 [startup+582.302 s] /proc/loadavg: 1.05 1.02 1.00 2/107 2128 /proc/meminfo: memFree=1754404/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=41872 CPUtime=582.12 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 11030 0 0 0 56601 1611 0 0 25 0 1 0 35003936 42876928 9567 1992294400 4194304 7136930 140734997040368 18446744073709551615 5507255 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10468 9567 386 719 0 9747 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 41872 [startup+642.302 s] /proc/loadavg: 1.05 1.03 1.00 2/107 2130 /proc/meminfo: memFree=1754280/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=42020 CPUtime=642.1 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 11059 0 0 0 62432 1778 0 0 25 0 1 0 35003936 43028480 9596 1992294400 4194304 7136930 140734997040368 18446744073709551615 4703935 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10505 9596 386 719 0 9784 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 42020 [startup+702.301 s] ################ # More data... # ################ [startup+882.309 s] /proc/loadavg: 1.02 1.03 1.00 2/107 2137 /proc/meminfo: memFree=1753660/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=42156 CPUtime=882.05 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 11105 0 0 0 85751 2454 0 0 25 0 1 0 35003936 43167744 9642 1992294400 4194304 7136930 140734997040368 18446744073709551615 4704214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10539 9642 386 719 0 9818 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 42156 [startup+942.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 2139 /proc/meminfo: memFree=1753536/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=42288 CPUtime=942.02 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 11124 0 0 0 91588 2614 0 0 25 0 1 0 35003936 43302912 9661 1992294400 4194304 7136930 140734997040368 18446744073709551615 6346613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10572 9661 386 719 0 9851 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 42288 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 2139 /proc/meminfo: memFree=1753412/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=42288 CPUtime=1002 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 11142 0 0 0 97419 2781 0 0 25 0 1 0 35003936 43302912 9679 1992294400 4194304 7136930 140734997040368 18446744073709551615 5917831 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10572 9679 386 719 0 9851 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 42288 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 2141 /proc/meminfo: memFree=1753288/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=42436 CPUtime=1061.98 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 11164 0 0 0 103250 2948 0 0 25 0 1 0 35003936 43454464 9701 1992294400 4194304 7136930 140734997040368 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10609 9701 386 719 0 9888 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 42436 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 2143 /proc/meminfo: memFree=1753164/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=42436 CPUtime=1121.96 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 11175 0 0 0 109079 3117 0 0 25 0 1 0 35003936 43454464 9712 1992294400 4194304 7136930 140734997040368 18446744073709551615 5902696 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10609 9712 386 719 0 9888 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 42436 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2146 /proc/meminfo: memFree=1752916/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=42436 CPUtime=1181.94 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 11181 0 0 0 114913 3281 0 0 25 0 1 0 35003936 43454464 9718 1992294400 4194304 7136930 140734997040368 18446744073709551615 5921487 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10609 9718 386 719 0 9888 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 42436 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2148 /proc/meminfo: memFree=1752668/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=42436 CPUtime=1241.92 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 11184 0 0 0 120751 3441 0 0 25 0 1 0 35003936 43454464 9721 1992294400 4194304 7136930 140734997040368 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10609 9721 386 719 0 9888 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 42436 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2148 /proc/meminfo: memFree=1752420/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=42588 CPUtime=1301.9 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 11214 0 0 0 126587 3603 0 0 25 0 1 0 35003936 43610112 9751 1992294400 4194304 7136930 140734997040368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10647 9751 386 719 0 9926 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 42588 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2150 /proc/meminfo: memFree=1752420/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=42724 CPUtime=1361.88 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 11228 0 0 0 132420 3768 0 0 25 0 1 0 35003936 43749376 9765 1992294400 4194304 7136930 140734997040368 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10681 9765 386 719 0 9960 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 42724 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2152 /proc/meminfo: memFree=1752420/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=42724 CPUtime=1421.87 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 11234 0 0 0 138253 3934 0 0 25 0 1 0 35003936 43749376 9771 1992294400 4194304 7136930 140734997040368 18446744073709551615 5506109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10681 9771 386 719 0 9960 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 42724 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2154 /proc/meminfo: memFree=1752296/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=42724 CPUtime=1481.85 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 11237 0 0 0 144091 4094 0 0 25 0 1 0 35003936 43749376 9774 1992294400 4194304 7136930 140734997040368 18446744073709551615 5506857 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10681 9774 386 719 0 9960 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 42724 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2156 /proc/meminfo: memFree=1752296/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=42724 CPUtime=1541.83 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 11242 0 0 0 149915 4268 0 0 25 0 1 0 35003936 43749376 9779 1992294400 4194304 7136930 140734997040368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10681 9779 386 719 0 9960 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 42724 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2156 /proc/meminfo: memFree=1752172/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=42724 CPUtime=1601.81 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 11242 0 0 0 155749 4432 0 0 25 0 1 0 35003936 43749376 9779 1992294400 4194304 7136930 140734997040368 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10681 9779 386 719 0 9960 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 42724 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2158 /proc/meminfo: memFree=1751924/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=42864 CPUtime=1661.78 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 11260 0 0 0 161577 4601 0 0 25 0 1 0 35003936 43892736 9797 1992294400 4194304 7136930 140734997040368 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10716 9797 386 719 0 9995 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 42864 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2160 /proc/meminfo: memFree=1751800/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=42864 CPUtime=1721.77 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 11264 0 0 0 167408 4769 0 0 25 0 1 0 35003936 43892736 9801 1992294400 4194304 7136930 140734997040368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10716 9801 386 719 0 9995 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 42864 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2162 /proc/meminfo: memFree=1751552/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=42864 CPUtime=1781.75 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 11265 0 0 0 173246 4929 0 0 25 0 1 0 35003936 43892736 9802 1992294400 4194304 7136930 140734997040368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10716 9802 386 719 0 9995 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 42864 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2162 /proc/meminfo: memFree=1751552/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=42864 CPUtime=1800.05 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 11265 0 0 0 175023 4982 0 0 25 0 1 0 35003936 43892736 9802 1992294400 4194304 7136930 140734997040368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10716 9802 386 719 0 9995 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 42864 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2162 /proc/meminfo: memFree=1751552/2059040 swapFree=4140372/4192956 [pid=2110] ppid=2107 vsize=42864 CPUtime=1800.05 /proc/2110/stat : 2110 (pbscip.linux.x8) R 2107 2110 1546 0 -1 4202496 11265 0 0 0 175023 4982 0 0 25 0 1 0 35003936 43892736 9802 1992294400 4194304 7136930 140734997040368 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2110/statm: 10716 9802 386 719 0 9995 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 42864 Child status: 0 Real time (s): 1800.65 CPU time (s): 1800.1 CPU user time (s): 1750.26 CPU system time (s): 49.8354 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (KiB): 42864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1750.26 system time used= 49.8354 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11296 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= 3 involuntary context switches= 18542 runsolver used 3.00554 second user time and 8.49371 second system time The end
Begin job on node004 at 2010-06-15 11:26:41 IDJOB=2664785 IDBENCH=2873 IDSOLVER=1167 FILE ID=node004/2664785-1276594001 PBS_JOBID= 11172223 Free space on /tmp= 62564 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-ex5.r.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664785-1276594001/watcher-2664785-1276594001 -o /tmp/evaluation-result-2664785-1276594001/solver-2664785-1276594001 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664785-1276594001.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a65b7dae8af36ed37815bca4e48a5306 RANDOM SEED=2034397665 node004.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.210 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.42 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.210 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1793132 kB Buffers: 38412 kB Cached: 134080 kB SwapCached: 6156 kB Active: 85680 kB Inactive: 100308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1793132 kB SwapTotal: 4192956 kB SwapFree: 4140372 kB Dirty: 3664 kB Writeback: 0 kB AnonPages: 12008 kB Mapped: 13128 kB Slab: 58036 kB PageTables: 4044 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182236 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= 62560 MiB End job on node004 at 2010-06-15 11:56:43