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) | -33 | 1800.33 | 1800.94 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb |
| MD5SUM | 669011fc499ae56e44c354cc6cddc4c7 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -43 |
| Best CPU time to get the best result obtained on this benchmark | 1789.96 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -49 |
| Optimality of the best value was proved | NO |
| Number of variables | 1150 |
| Total number of constraints | 80851 |
| Number of constraints which are clauses | 80851 |
| 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 | 2 |
| Number of terms in the objective function | 1150 |
| 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 | 1150 |
| 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 | 1150 |
| 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-2664203-1276508791.opb>
1.19/1.25 c original problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80851 constraints
1.19/1.25 c problem read
1.19/1.25 c presolving settings loaded
1.19/1.25 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
1.39/1.45 o 0
1.39/1.45 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.39/1.45 c presolving:
2.49/2.53 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 80851 upgd conss, 161702 impls, 0 clqs
4.30/4.40 c (2.9s) probing: 101/1150 (8.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.30/4.40 c (2.9s) probing aborted: 100/100 successive totally useless probings
4.30/4.40 c presolving (2 rounds):
4.30/4.40 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.30/4.40 c 161702 implications, 0 cliques
4.30/4.40 c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80851 constraints
4.30/4.40 c 80851 constraints of type <logicor>
4.30/4.40 c transformed objective value is always integral (scale: 1)
4.30/4.40 c Presolving Time: 2.75
4.30/4.40 c - non default parameters ----------------------------------------------------------------------
4.30/4.40 c # SCIP version 1.2.1.2
4.30/4.40 c
4.30/4.40 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
4.30/4.40 c # [type: int, range: [-1,2147483647], default: -1]
4.30/4.40 c conflict/interconss = 0
4.30/4.40 c
4.30/4.40 c # should binary conflicts be preferred?
4.30/4.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.30/4.40 c conflict/preferbinary = TRUE
4.30/4.40 c
4.30/4.40 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
4.30/4.40 c # [type: int, range: [-1,2147483647], default: 0]
4.30/4.40 c constraints/agelimit = 1
4.30/4.40 c
4.30/4.40 c # should enforcement of pseudo solution be disabled?
4.30/4.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.30/4.40 c constraints/disableenfops = TRUE
4.30/4.40 c
4.30/4.40 c # frequency for displaying node information lines
4.30/4.40 c # [type: int, range: [-1,2147483647], default: 100]
4.30/4.40 c display/freq = 10000
4.30/4.40 c
4.30/4.40 c # maximal time in seconds to run
4.30/4.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.30/4.40 c limits/time = 1798.76
4.30/4.40 c
4.30/4.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.30/4.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.30/4.40 c limits/memory = 1620
4.30/4.40 c
4.30/4.40 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.30/4.40 c # [type: int, range: [-1,2147483647], default: 1]
4.30/4.40 c lp/solvefreq = -1
4.30/4.40 c
4.30/4.40 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)
4.30/4.40 c # [type: char, range: {lafpsqd}, default: l]
4.30/4.40 c lp/pricing = a
4.30/4.40 c
4.30/4.40 c # should presolving try to simplify inequalities
4.30/4.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.30/4.40 c constraints/linear/simplifyinequalities = TRUE
4.30/4.40 c
4.30/4.40 c # should presolving try to simplify knapsacks
4.30/4.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.30/4.40 c constraints/knapsack/simplifyinequalities = TRUE
4.30/4.40 c
4.30/4.40 c # priority of node selection rule <dfs> in standard mode
4.30/4.40 c # [type: int, range: [-536870912,536870911], default: 0]
4.30/4.40 c nodeselection/dfs/stdpriority = 1000000
4.30/4.40 c
4.30/4.40 c -----------------------------------------------------------------------------------------------
4.30/4.40 c start solving
4.40/4.41 c
4.40/4.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.40/4.43 c t 2.9s| 1 | 2 | 0 | - | 57M| 0 | - |1150 | 80k| 0 | 0 | 0 | 0 | 0 |-1.150000e+03 | 0.000000e+00 | 100.00%
4.40/4.46 o -30
4.40/4.46 c * 2.9s| 31 | 30 | 0 | 0.0 | 57M| 30 | - |1150 | 80k| 0 | 0 | 0 | 0 | 0 |-1.149000e+03 |-3.000000e+01 | 97.39%
4.58/4.63 o -31
4.58/4.63 c * 3.1s| 275 | 27 | 0 | 0.0 | 57M| 35 | - |1150 | 80k| 0 | 0 | 0 | 2 | 0 |-1.149000e+03 |-3.100000e+01 | 97.30%
5.69/5.71 o -32
5.69/5.71 c * 4.1s| 1844 | 27 | 0 | 0.0 | 57M| 37 | - |1150 | 80k| 0 | 0 | 0 | 22 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
10.89/10.90 c 9.2s| 10000 | 24 | 0 | 0.0 | 57M| 41 | - |1150 | 80k| 0 | 0 | 0 | 78 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
17.09/17.11 c 15.3s| 20000 | 23 | 0 | 0.0 | 57M| 44 | - |1150 | 80k| 0 | 0 | 0 | 134 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
23.28/23.35 c 21.4s| 30000 | 22 | 0 | 0.0 | 57M| 45 | - |1150 | 80k| 0 | 0 | 0 | 177 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
29.38/29.40 c 27.3s| 40000 | 22 | 0 | 0.0 | 57M| 45 | - |1150 | 80k| 0 | 0 | 0 | 252 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
35.37/35.44 c 33.2s| 50000 | 23 | 0 | 0.0 | 57M| 45 | - |1150 | 80k| 0 | 0 | 0 | 318 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
41.68/41.73 c 39.4s| 60000 | 25 | 0 | 0.0 | 57M| 45 | - |1150 | 80k| 0 | 0 | 0 | 369 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
47.87/47.99 c 45.5s| 70000 | 22 | 0 | 0.0 | 57M| 45 | - |1150 | 80k| 0 | 0 | 0 | 414 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
54.17/54.20 c 51.6s| 80000 | 23 | 0 | 0.0 | 57M| 45 | - |1150 | 80k| 0 | 0 | 0 | 466 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
60.57/60.64 c 57.9s| 90000 | 25 | 0 | 0.0 | 57M| 45 | - |1150 | 80k| 0 | 0 | 0 | 526 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
66.97/67.02 c 64.2s|100000 | 21 | 0 | 0.0 | 57M| 47 | - |1150 | 80k| 0 | 0 | 0 | 599 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
72.97/73.05 c 70.0s|110000 | 20 | 0 | 0.0 | 57M| 47 | - |1150 | 80k| 0 | 0 | 0 | 658 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
78.96/79.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.96/79.07 c 75.9s|120000 | 25 | 0 | 0.0 | 57M| 49 | - |1150 | 80k| 0 | 0 | 0 | 716 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
85.05/85.19 c 81.9s|130000 | 22 | 0 | 0.0 | 57M| 49 | - |1150 | 80k| 0 | 0 | 0 | 763 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
91.06/91.12 c 87.7s|140000 | 25 | 0 | 0.0 | 57M| 49 | - |1150 | 80k| 0 | 0 | 0 | 830 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
96.86/96.98 c 93.4s|150000 | 24 | 0 | 0.0 | 57M| 51 | - |1150 | 80k| 0 | 0 | 0 | 885 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
102.85/102.90 c 99.2s|160000 | 22 | 0 | 0.0 | 57M| 51 | - |1150 | 80k| 0 | 0 | 0 | 943 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
108.76/108.81 c 105s|170000 | 23 | 0 | 0.0 | 57M| 51 | - |1150 | 80k| 0 | 0 | 0 |1005 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
114.75/114.90 c 111s|180000 | 25 | 0 | 0.0 | 57M| 51 | - |1150 | 80k| 0 | 0 | 0 |1073 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
120.65/120.70 c 117s|190000 | 27 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |1133 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
126.74/126.82 c 123s|200000 | 23 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |1188 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
132.74/132.89 c 128s|210000 | 23 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |1255 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
139.04/139.14 c 135s|220000 | 23 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |1324 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
145.15/145.27 c 141s|230000 | 24 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |1366 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
151.33/151.44 c 147s|240000 | 23 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |1417 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
157.34/157.48 c 153s|250000 | 24 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |1458 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
163.43/163.53 c 158s|260000 | 22 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |1506 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
169.43/169.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.43/169.58 c 164s|270000 | 26 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |1582 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
175.63/175.77 c 170s|280000 | 24 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |1640 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
181.73/181.88 c 176s|290000 | 22 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |1687 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
187.83/187.99 c 182s|300000 | 23 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |1746 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
194.22/194.37 c 189s|310000 | 24 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |1794 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
200.42/200.55 c 195s|320000 | 22 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |1830 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
206.63/206.75 c 201s|330000 | 21 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |1874 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
212.52/212.67 c 207s|340000 | 20 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |1925 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
218.31/218.44 c 212s|350000 | 22 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |1974 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
224.42/224.53 c 218s|360000 | 22 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |2045 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
230.41/230.57 c 224s|370000 | 22 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |2094 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
236.81/236.94 c 230s|380000 | 25 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |2148 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
243.20/243.35 c 237s|390000 | 24 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |2206 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
249.61/249.71 c 243s|400000 | 24 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |2264 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
255.80/255.96 c 249s|410000 | 24 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |2300 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
262.10/262.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.10/262.25 c 255s|420000 | 23 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |2350 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
268.20/268.31 c 261s|430000 | 23 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |2394 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
274.10/274.22 c 267s|440000 | 22 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |2428 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
279.89/280.04 c 272s|450000 | 24 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |2486 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
286.09/286.25 c 279s|460000 | 23 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |2534 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
291.79/291.98 c 284s|470000 | 24 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |2580 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
297.99/298.11 c 290s|480000 | 24 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |2672 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
303.79/303.97 c 296s|490000 | 23 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |2712 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
309.99/310.12 c 302s|500000 | 23 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |2758 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
316.08/316.23 c 308s|510000 | 23 | 0 | 0.0 | 57M| 53 | - |1150 | 80k| 0 | 0 | 0 |2842 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
321.98/322.15 c 314s|520000 | 24 | 0 | 0.0 | 57M| 54 | - |1150 | 80k| 0 | 0 | 0 |2891 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
327.88/328.05 c 319s|530000 | 20 | 0 | 0.0 | 57M| 54 | - |1150 | 80k| 0 | 0 | 0 |2936 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
333.98/334.11 c 325s|540000 | 21 | 0 | 0.0 | 57M| 54 | - |1150 | 80k| 0 | 0 | 0 |2992 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
340.08/340.25 c 331s|550000 | 23 | 0 | 0.0 | 57M| 54 | - |1150 | 80k| 0 | 0 | 0 |3051 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
345.97/346.19 c 337s|560000 | 24 | 0 | 0.0 | 57M| 54 | - |1150 | 80k| 0 | 0 | 0 |3105 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
352.07/352.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
352.07/352.21 c 343s|570000 | 22 | 0 | 0.0 | 57M| 54 | - |1150 | 80k| 0 | 0 | 0 |3176 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
357.96/358.10 c 349s|580000 | 24 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |3240 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
364.17/364.30 c 355s|590000 | 23 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |3296 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
370.26/370.44 c 361s|600000 | 22 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |3337 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
375.97/376.17 c 366s|610000 | 21 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |3375 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
381.76/381.92 c 372s|620000 | 26 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |3413 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
387.76/387.93 c 378s|630000 | 25 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |3458 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
393.95/394.15 c 384s|640000 | 24 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |3519 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
400.05/400.27 c 390s|650000 | 23 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |3567 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
406.05/406.27 c 396s|660000 | 24 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |3607 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
412.15/412.32 c 402s|670000 | 23 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |3667 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
418.25/418.43 c 408s|680000 | 27 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |3710 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
424.45/424.67 c 414s|690000 | 23 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |3760 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
430.64/430.88 c 420s|700000 | 24 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |3802 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
436.84/437.05 c 426s|710000 | 22 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |3851 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
442.84/443.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
442.84/443.04 c 432s|720000 | 23 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |3894 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
448.94/449.18 c 438s|730000 | 26 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |3950 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
455.24/455.49 c 444s|740000 | 24 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |4003 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
461.43/461.69 c 450s|750000 | 23 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |4070 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
467.73/467.91 c 456s|760000 | 23 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |4119 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
473.93/474.10 c 462s|770000 | 21 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |4169 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
480.33/480.56 c 469s|780000 | 23 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |4217 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
486.52/486.76 c 475s|790000 | 23 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |4281 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
492.42/492.66 c 480s|800000 | 21 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |4339 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
498.53/498.70 c 486s|810000 | 22 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |4393 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
504.62/504.80 c 492s|820000 | 21 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |4455 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
510.81/511.01 c 498s|830000 | 21 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |4518 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
516.92/517.12 c 504s|840000 | 18 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |4571 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
523.11/523.39 c 511s|850000 | 25 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |4627 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
529.31/529.58 c 517s|860000 | 20 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |4670 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
535.21/535.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
535.21/535.50 c 522s|870000 | 22 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |4726 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
541.30/541.57 c 528s|880000 | 19 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |4752 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
547.51/547.71 c 534s|890000 | 20 | 0 | 0.0 | 57M| 57 | - |1150 | 80k| 0 | 0 | 0 |4829 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
553.41/553.67 c 540s|900000 | 21 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |4897 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
559.30/559.52 c 546s|910000 | 23 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |4960 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
565.21/565.45 c 552s|920000 | 23 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |5008 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
571.10/571.38 c 557s|930000 | 23 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |5052 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
577.31/577.51 c 563s|940000 | 24 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |5102 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
583.40/583.68 c 570s|950000 | 23 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |5149 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
589.49/589.74 c 575s|960000 | 25 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |5186 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
595.29/595.57 c 581s|970000 | 24 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |5257 | 0 |-1.149000e+03 |-3.200000e+01 | 97.21%
600.09/600.37 o -33
600.09/600.37 c * 586s|978286 | 24 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |5296 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
601.08/601.35 c 587s|980000 | 24 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |5319 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
607.18/607.47 c 593s|990000 | 22 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |5451 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
613.09/613.35 c 599s| 1000k| 24 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |5501 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
618.88/619.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.88/619.13 c 604s| 1010k| 25 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |5550 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
624.88/625.14 c 610s| 1020k| 23 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |5610 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
630.67/630.94 c 616s| 1030k| 24 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |5652 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
636.47/636.72 c 621s| 1040k| 24 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |5698 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
642.28/642.53 c 627s| 1050k| 23 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |5729 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
648.07/648.35 c 633s| 1060k| 24 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |5760 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
653.97/654.25 c 638s| 1070k| 24 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |5808 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
659.87/660.11 c 644s| 1080k| 23 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |5862 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
665.56/665.82 c 650s| 1090k| 25 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |5904 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
671.37/671.61 c 655s| 1100k| 24 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |5953 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
677.07/677.33 c 661s| 1110k| 24 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |5990 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
682.66/682.97 c 667s| 1120k| 23 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |6038 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
688.36/688.70 c 672s| 1130k| 23 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |6082 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
694.16/694.49 c 678s| 1140k| 23 | 0 | 0.0 | 57M| 58 | - |1150 | 80k| 0 | 0 | 0 |6127 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
700.05/700.35 c 684s| 1150k| 23 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |6171 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
705.86/706.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
705.86/706.12 c 689s| 1160k| 22 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |6212 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
711.55/711.89 c 695s| 1170k| 21 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |6255 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
717.75/718.04 c 701s| 1180k| 23 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |6293 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
723.55/723.87 c 707s| 1190k| 23 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |6337 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
729.64/729.93 c 712s| 1200k| 22 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |6371 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
735.65/735.95 c 718s| 1210k| 23 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |6407 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
741.64/741.90 c 724s| 1220k| 24 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |6437 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
747.54/747.90 c 730s| 1230k| 22 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |6471 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
753.54/753.81 c 736s| 1240k| 21 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |6514 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
759.54/759.80 c 742s| 1250k| 22 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |6547 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
765.73/766.04 c 748s| 1260k| 22 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |6593 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
771.84/772.12 c 754s| 1270k| 23 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |6645 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
777.73/778.07 c 760s| 1280k| 22 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |6692 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
783.52/783.80 c 765s| 1290k| 23 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |6751 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
789.12/789.45 c 771s| 1300k| 24 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |6816 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
795.22/795.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
795.22/795.52 c 777s| 1310k| 24 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |6855 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
801.12/801.44 c 782s| 1320k| 26 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |6909 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
807.03/807.31 c 788s| 1330k| 23 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |6945 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
812.82/813.19 c 794s| 1340k| 22 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |6990 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
818.82/819.11 c 800s| 1350k| 23 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |7028 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
824.73/825.05 c 805s| 1360k| 22 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |7070 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
830.51/830.88 c 811s| 1370k| 21 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |7130 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
836.21/836.55 c 817s| 1380k| 22 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |7200 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
842.51/842.87 c 823s| 1390k| 21 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |7252 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
848.61/848.96 c 829s| 1400k| 23 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |7288 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
854.90/855.27 c 835s| 1410k| 22 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |7336 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
860.70/861.08 c 841s| 1420k| 23 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |7397 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
866.61/866.93 c 846s| 1430k| 23 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |7432 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
872.50/872.82 c 852s| 1440k| 22 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |7488 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
878.49/878.83 c 858s| 1450k| 21 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |7557 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
884.49/884.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
884.49/884.82 c 864s| 1460k| 26 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |7615 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
890.88/891.22 c 870s| 1470k| 25 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |7674 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
896.79/897.11 c 876s| 1480k| 22 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |7732 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
902.58/902.99 c 882s| 1490k| 21 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |7790 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
908.48/908.85 c 887s| 1500k| 24 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |7840 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
914.48/914.87 c 893s| 1510k| 24 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |7882 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
920.38/920.73 c 899s| 1520k| 25 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |7917 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
926.07/926.45 c 905s| 1530k| 23 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |7969 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
931.97/932.30 c 910s| 1540k| 23 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |8024 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
937.67/938.07 c 916s| 1550k| 25 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |8067 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
943.86/944.21 c 922s| 1560k| 22 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |8136 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
949.77/950.15 c 928s| 1570k| 26 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |8196 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
955.87/956.21 c 934s| 1580k| 23 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |8245 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
961.66/962.04 c 939s| 1590k| 24 | 0 | 0.0 | 57M| 60 | - |1150 | 80k| 0 | 0 | 0 |8292 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
967.66/968.02 c 945s| 1600k| 21 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 |8344 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
973.56/973.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
973.56/973.91 c 951s| 1610k| 22 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 |8397 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
979.26/979.61 c 956s| 1620k| 21 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 |8444 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
984.96/985.30 c 962s| 1630k| 23 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 |8511 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
990.55/990.90 c 968s| 1640k| 19 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 |8558 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
996.26/996.61 c 973s| 1650k| 20 | 0 | 0.0 | 57M| 63 | - |1150 | 80k| 0 | 0 | 0 |8599 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1001.76/1002.16 c 979s| 1660k| 21 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |8662 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1007.65/1008.03 c 984s| 1670k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |8717 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1013.35/1013.78 c 990s| 1680k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |8769 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1019.15/1019.56 c 996s| 1690k| 22 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |8814 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1024.85/1025.28 c 1001s| 1700k| 25 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |8849 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1030.54/1030.91 c 1007s| 1710k| 26 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |8876 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1036.95/1037.35 c 1013s| 1720k| 25 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |8928 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1043.44/1043.85 c 1019s| 1730k| 26 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |9039 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1050.04/1050.41 c 1026s| 1740k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |9082 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1056.33/1056.75 c 1032s| 1750k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |9131 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1062.63/1063.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1062.63/1063.04 c 1038s| 1760k| 25 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |9187 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1068.93/1069.34 c 1044s| 1770k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |9255 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1075.22/1075.60 c 1050s| 1780k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |9332 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1081.53/1081.90 c 1057s| 1790k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |9371 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1087.82/1088.27 c 1063s| 1800k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |9414 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1094.32/1094.70 c 1069s| 1810k| 25 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |9463 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1100.63/1101.08 c 1075s| 1820k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |9512 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1106.71/1107.17 c 1081s| 1830k| 26 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |9558 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1112.91/1113.39 c 1087s| 1840k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |9637 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1119.21/1119.68 c 1094s| 1850k| 25 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |9684 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1125.31/1125.77 c 1099s| 1860k| 25 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |9724 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1131.42/1131.88 c 1105s| 1870k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |9757 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1137.60/1138.00 c 1111s| 1880k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |9825 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1143.90/1144.32 c 1118s| 1890k| 22 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |9861 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1150.10/1150.59 c 1124s| 1900k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |9912 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1156.30/1156.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1156.30/1156.74 c 1130s| 1910k| 22 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 |9977 | 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1162.49/1162.95 c 1136s| 1920k| 21 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1168.80/1169.29 c 1142s| 1930k| 19 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1174.99/1175.46 c 1148s| 1940k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1181.58/1182.00 c 1155s| 1950k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1187.69/1188.13 c 1161s| 1960k| 22 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1193.88/1194.30 c 1167s| 1970k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1200.28/1200.73 c 1173s| 1980k| 26 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1206.88/1207.34 c 1179s| 1990k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1213.28/1213.80 c 1186s| 2000k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1219.87/1220.38 c 1192s| 2010k| 22 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1226.27/1226.77 c 1198s| 2020k| 22 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1232.68/1233.18 c 1205s| 2030k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1239.18/1239.66 c 1211s| 2040k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1245.57/1246.01 c 1217s| 2050k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1251.96/1252.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1251.96/1252.40 c 1223s| 2060k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1258.46/1258.97 c 1230s| 2070k| 22 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1264.86/1265.36 c 1236s| 2080k| 27 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1271.17/1271.63 c 1242s| 2090k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1277.46/1277.98 c 1249s| 2100k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1283.95/1284.49 c 1255s| 2110k| 25 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 10k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1290.05/1290.58 c 1261s| 2120k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1296.35/1296.87 c 1267s| 2130k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1302.55/1303.06 c 1273s| 2140k| 21 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1308.94/1309.47 c 1279s| 2150k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1315.34/1315.86 c 1286s| 2160k| 21 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1321.34/1321.87 c 1292s| 2170k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1327.44/1327.99 c 1298s| 2180k| 25 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1333.54/1334.08 c 1304s| 2190k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1339.84/1340.36 c 1310s| 2200k| 22 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1346.04/1346.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1346.04/1346.56 c 1316s| 2210k| 25 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1352.34/1352.87 c 1322s| 2220k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1358.73/1359.21 c 1328s| 2230k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1364.93/1365.47 c 1334s| 2240k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1371.14/1371.62 c 1340s| 2250k| 25 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1377.12/1377.63 c 1346s| 2260k| 25 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1383.23/1383.71 c 1352s| 2270k| 22 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 11k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1389.12/1389.67 c 1358s| 2280k| 25 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 12k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1395.22/1395.72 c 1364s| 2290k| 25 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 12k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1401.22/1401.74 c 1370s| 2300k| 22 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 12k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1407.02/1407.58 c 1376s| 2310k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 12k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1413.11/1413.63 c 1381s| 2320k| 25 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 12k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1419.01/1419.56 c 1387s| 2330k| 26 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 12k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1424.91/1425.43 c 1393s| 2340k| 22 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 12k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1431.00/1431.59 c 1399s| 2350k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 12k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1437.21/1437.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1437.21/1437.71 c 1405s| 2360k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 12k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1443.50/1444.04 c 1411s| 2370k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 12k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1449.80/1450.36 c 1417s| 2380k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 12k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1455.99/1456.57 c 1423s| 2390k| 22 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 12k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1462.20/1462.79 c 1430s| 2400k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 12k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1468.30/1468.84 c 1435s| 2410k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 12k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1474.29/1474.82 c 1441s| 2420k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 12k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1480.29/1480.86 c 1447s| 2430k| 25 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 12k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1486.49/1487.06 c 1453s| 2440k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 12k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1492.59/1493.16 c 1459s| 2450k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 12k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1498.88/1499.48 c 1465s| 2460k| 26 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 12k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1505.39/1505.91 c 1472s| 2470k| 22 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 13k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1511.89/1512.44 c 1478s| 2480k| 27 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 13k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1518.18/1518.73 c 1484s| 2490k| 22 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 13k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1524.47/1525.02 c 1490s| 2500k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 13k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1530.58/1531.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1530.58/1531.15 c 1496s| 2510k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 13k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1536.67/1537.27 c 1502s| 2520k| 22 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 13k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1542.97/1543.53 c 1509s| 2530k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 13k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1549.17/1549.79 c 1515s| 2540k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 13k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1555.66/1556.23 c 1521s| 2550k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 13k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1561.86/1562.41 c 1527s| 2560k| 21 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 13k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1567.97/1568.60 c 1533s| 2570k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 13k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1574.16/1574.77 c 1539s| 2580k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 13k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1580.16/1580.78 c 1545s| 2590k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 13k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1586.36/1586.96 c 1551s| 2600k| 27 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 13k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1592.75/1593.31 c 1557s| 2610k| 25 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 13k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1599.05/1599.64 c 1564s| 2620k| 26 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 13k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1605.36/1605.99 c 1570s| 2630k| 25 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 13k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1611.75/1612.34 c 1576s| 2640k| 26 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 13k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1617.95/1618.52 c 1582s| 2650k| 26 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 14k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1624.05/1624.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1624.05/1624.64 c 1588s| 2660k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 14k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1630.34/1630.91 c 1594s| 2670k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 14k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1636.34/1636.90 c 1600s| 2680k| 28 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 14k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1642.34/1642.94 c 1606s| 2690k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 14k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1648.34/1648.93 c 1612s| 2700k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 14k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1654.33/1654.95 c 1618s| 2710k| 26 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 14k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1660.44/1661.05 c 1624s| 2720k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 14k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1666.53/1667.19 c 1630s| 2730k| 25 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 14k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1672.72/1673.30 c 1636s| 2740k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 14k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1678.63/1679.28 c 1641s| 2750k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 14k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1684.63/1685.24 c 1647s| 2760k| 21 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 14k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1690.82/1691.45 c 1653s| 2770k| 21 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 14k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1696.91/1697.50 c 1659s| 2780k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 14k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1703.01/1703.61 c 1665s| 2790k| 25 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 14k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1709.21/1709.87 c 1671s| 2800k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 14k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1715.21/1715.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1715.21/1715.85 c 1677s| 2810k| 25 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 14k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1721.51/1722.10 c 1683s| 2820k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 14k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1727.71/1728.34 c 1689s| 2830k| 25 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 14k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1734.11/1734.75 c 1696s| 2840k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 14k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1740.40/1741.01 c 1702s| 2850k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 15k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1746.50/1747.16 c 1708s| 2860k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 15k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1752.81/1753.41 c 1714s| 2870k| 23 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 15k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1758.89/1759.57 c 1720s| 2880k| 25 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 15k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1765.09/1765.71 c 1726s| 2890k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 15k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1770.90/1771.59 c 1732s| 2900k| 28 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 15k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1777.29/1777.90 c 1738s| 2910k| 19 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 15k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1783.38/1784.03 c 1744s| 2920k| 22 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 15k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1789.49/1790.13 c 1750s| 2930k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 15k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1795.39/1796.05 c 1756s| 2940k| 24 | 0 | 0.0 | 57M| 64 | - |1150 | 80k| 0 | 0 | 0 | 15k| 0 |-1.149000e+03 |-3.300000e+01 | 97.13%
1800.10/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.71 c
1800.10/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.71 c Solving Time (sec) : 1760.19
1800.10/1800.71 c Solving Nodes : 2947989
1800.10/1800.71 c Primal Bound : -3.30000000000000e+01 (7 solutions)
1800.10/1800.71 c Dual Bound : -1.14900000000000e+03
1800.10/1800.71 c Gap : 97.13 %
1800.10/1800.76 s SATISFIABLE
1800.10/1800.76 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.10/1800.76 v -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1800.10/1800.76 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78
1800.10/1800.76 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
1800.10/1800.76 v -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1800.10/1800.76 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144
1800.10/1800.76 v -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165
1800.10/1800.76 v -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186
1800.10/1800.76 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207
1800.10/1800.76 v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228
1800.10/1800.76 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
1800.10/1800.76 v -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1800.10/1800.76 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
1800.10/1800.76 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
1800.10/1800.76 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1800.10/1800.76 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
1800.10/1800.76 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1800.10/1800.76 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395
1800.10/1800.76 v -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416
1800.10/1800.76 v -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437
1800.10/1800.76 v -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458
1800.10/1800.76 v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479
1800.10/1800.76 v -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
1800.10/1800.76 v -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521
1800.10/1800.76 v -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542
1800.10/1800.76 v -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562
1800.10/1800.76 v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583
1800.10/1800.76 v -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604
1800.10/1800.76 v x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625
1800.10/1800.76 v -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646
1800.10/1800.76 v -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667
1800.10/1800.76 v -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688
1800.10/1800.76 v -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709
1800.10/1800.76 v -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
1800.10/1800.76 v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751
1800.10/1800.76 v -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772
1800.10/1800.76 v x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793
1800.10/1800.76 v -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814
1800.10/1800.76 v -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835
1800.10/1800.76 v -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 -x856
1800.10/1800.76 v -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877
1800.10/1800.76 v -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898
1800.10/1800.76 v -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919
1800.10/1800.76 v -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
1800.10/1800.76 v -x941 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961
1800.10/1800.76 v -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982
1800.10/1800.76 v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002
1800.10/1800.76 v -x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
1800.10/1800.76 v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038
1800.10/1800.76 v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056
1800.10/1800.76 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1800.10/1800.76 v x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092
1800.10/1800.76 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
1800.10/1800.76 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128
1800.10/1800.76 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146
1800.10/1800.76 v -x1147 -x1148 -x1149 -x1150
1800.10/1800.76 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.76 c Solving Time : 1760.19
1800.10/1800.76 c Original Problem :
1800.10/1800.76 c Problem name : HOME/instance-2664203-1276508791.opb
1800.10/1800.76 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.76 c Constraints : 80851 initial, 80851 maximal
1800.10/1800.76 c Presolved Problem :
1800.10/1800.76 c Problem name : t_HOME/instance-2664203-1276508791.opb
1800.10/1800.76 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.76 c Constraints : 80851 initial, 80867 maximal
1800.10/1800.76 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.76 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.76 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.76 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.76 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.76 c implics : 0.01 0 0 0 0 0 0 0 0
1800.10/1800.76 c probing : 1.74 0 0 0 0 0 0 0 0
1800.10/1800.76 c logicor : 0.24 0 0 0 0 0 0 0 0
1800.10/1800.76 c root node : - 0 - - 0 - - - -
1800.10/1800.76 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.76 c integral : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.76 c logicor : 80851+ 0 2788369 0 4 162550 3676852 0 0 0
1800.10/1800.76 c countsols : 0 0 0 0 4 0 0 0 0 0
1800.10/1800.76 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.76 c integral : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.76 c logicor : 431.47 0.00 431.42 0.00 0.05
1800.10/1800.76 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.76 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.76 c vbounds : 2.15 2 0 0
1800.10/1800.76 c rootredcost : 2.38 0 0 0
1800.10/1800.76 c pseudoobj : 447.20 4517775 977282 1308042
1800.10/1800.76 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.76 c propagation : 239.10 162550 15608 15608 41.2 0 0.0 -
1800.10/1800.76 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.76 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.76 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.76 c pseudo solution : 606.33 323745 0 0 0.0 0 0.0 -
1800.10/1800.76 c applied globally : - - - 15608 41.2 - - -
1800.10/1800.76 c applied locally : - - - 0 0.0 - - -
1800.10/1800.76 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.76 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.10/1800.76 c redcost : 0.00 0 0 0 0 0
1800.10/1800.76 c impliedbounds : 0.00 0 0 0 0 0
1800.10/1800.76 c intobj : 0.00 0 0 0 0 0
1800.10/1800.76 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.76 c gomory : 0.00 0 0 0 0 0
1800.10/1800.76 c strongcg : 0.00 0 0 0 0 0
1800.10/1800.76 c cmir : 0.00 0 0 0 0 0
1800.10/1800.76 c flowcover : 0.00 0 0 0 0 0
1800.10/1800.76 c clique : 0.00 0 0 0 0 0
1800.10/1800.76 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.76 c mcf : 0.00 0 0 0 0 0
1800.10/1800.76 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.76 c Pricers : Time Calls Vars
1800.10/1800.76 c problem variables: 0.00 0 0
1800.10/1800.76 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.76 c relpscost : 0.00 0 0 0 0 0 0
1800.10/1800.76 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.76 c inference : 13.65 1496531 0 0 0 0 2993062
1800.10/1800.76 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.76 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.76 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.76 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.76 c random : 0.00 0 0 0 0 0 0
1800.10/1800.76 c Primal Heuristics : Time Calls Found
1800.10/1800.76 c LP solutions : 0.00 - 0
1800.10/1800.76 c pseudo solutions : 0.00 - 4
1800.10/1800.76 c oneopt : 2.46 0 0
1800.10/1800.76 c trivial : 0.05 2 3
1800.10/1800.76 c simplerounding : 0.00 0 0
1800.10/1800.76 c zirounding : 0.00 0 0
1800.10/1800.76 c rounding : 0.00 0 0
1800.10/1800.76 c shifting : 0.00 0 0
1800.10/1800.76 c intshifting : 0.00 0 0
1800.10/1800.76 c twoopt : 0.00 0 0
1800.10/1800.76 c fixandinfer : 0.00 0 0
1800.10/1800.76 c feaspump : 0.00 0 0
1800.10/1800.76 c coefdiving : 0.00 0 0
1800.10/1800.76 c pscostdiving : 0.00 0 0
1800.10/1800.76 c fracdiving : 0.00 0 0
1800.10/1800.76 c veclendiving : 0.00 0 0
1800.10/1800.76 c intdiving : 0.00 0 0
1800.10/1800.76 c actconsdiving : 0.00 0 0
1800.10/1800.76 c objpscostdiving : 0.00 0 0
1800.10/1800.76 c rootsoldiving : 0.00 0 0
1800.10/1800.76 c linesearchdiving : 0.00 0 0
1800.10/1800.76 c guideddiving : 0.00 0 0
1800.10/1800.76 c octane : 0.00 0 0
1800.10/1800.76 c rens : 0.00 0 0
1800.10/1800.76 c rins : 0.00 0 0
1800.10/1800.76 c localbranching : 0.00 0 0
1800.10/1800.76 c mutation : 0.00 0 0
1800.10/1800.76 c crossover : 0.00 0 0
1800.10/1800.76 c dins : 0.00 0 0
1800.10/1800.76 c undercover : 0.00 0 0
1800.10/1800.76 c nlp : 1.56 0 0
1800.10/1800.76 c trysol : 1.49 0 0
1800.10/1800.76 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.76 c primal LP : 0.00 0 0 0.00 -
1800.10/1800.76 c dual LP : 0.00 0 0 0.00 -
1800.10/1800.76 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.76 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.76 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1800.76 c strong branching : 0.00 0 0 0.00 -
1800.10/1800.76 c (at root node) : - 0 0 0.00 -
1800.10/1800.76 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.76 c B&B Tree :
1800.10/1800.76 c number of runs : 1
1800.10/1800.76 c nodes : 2947989
1800.10/1800.76 c nodes (total) : 2947989
1800.10/1800.76 c nodes left : 21
1800.10/1800.76 c max depth : 64
1800.10/1800.76 c max depth (total): 64
1800.10/1800.76 c backtracks : 590640 (20.0%)
1800.10/1800.76 c delayed cutoffs : 12953
1800.10/1800.76 c repropagations : 14609 (37461 domain reductions, 12123 cutoffs)
1800.10/1800.76 c avg switch length: 2.00
1800.10/1800.76 c switching time : 126.99
1800.10/1800.76 c Solution :
1800.10/1800.76 c Solutions found : 7 (5 improvements)
1800.10/1800.76 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.12 seconds, depth 0, found by <trivial>)
1800.10/1800.76 c Primal Bound : -3.30000000000000e+01 (in run 1, after 978286 nodes, 585.84 seconds, depth 45, found by <relaxation>)
1800.10/1800.76 c Dual Bound : -1.14900000000000e+03
1800.10/1800.76 c Gap : 97.13 %
1800.10/1800.76 c Root Dual Bound : -1.15000000000000e+03
1800.10/1800.76 c Root Iterations : 0
1800.28/1800.93 c Time complete: 1800.32.
OK -33
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664203-1276508791/watcher-2664203-1276508791 -o /tmp/evaluation-result-2664203-1276508791/solver-2664203-1276508791 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664203-1276508791.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 0.98 0.99 3/106 31027 /proc/meminfo: memFree=1781800/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=3652 CPUtime=0 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 477 0 0 0 0 0 0 0 16 0 1 0 26480707 3739648 401 1992294400 4194304 7136930 140733730819696 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31027/statm: 913 401 224 719 0 192 0 [startup+0.0473169 s] /proc/loadavg: 0.92 0.98 0.99 3/106 31027 /proc/meminfo: memFree=1781800/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=9988 CPUtime=0.03 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 1991 0 0 0 3 0 0 0 16 0 1 0 26480707 10227712 1914 1992294400 4194304 7136930 140733730819696 18446744073709551615 4908439 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31027/statm: 2497 1914 271 719 0 1776 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9988 [startup+0.101326 s] /proc/loadavg: 0.92 0.98 0.99 3/106 31027 /proc/meminfo: memFree=1781800/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=12452 CPUtime=0.09 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 2590 0 0 0 9 0 0 0 16 0 1 0 26480707 12750848 2513 1992294400 4194304 7136930 140733730819696 18446744073709551615 6285738 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31027/statm: 3113 2513 271 719 0 2392 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12452 [startup+0.301362 s] /proc/loadavg: 0.92 0.98 0.99 3/106 31027 /proc/meminfo: memFree=1781800/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=16812 CPUtime=0.29 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 3693 0 0 0 28 1 0 0 17 0 1 0 26480707 17215488 3616 1992294400 4194304 7136930 140733730819696 18446744073709551615 6334898 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31027/statm: 4203 3616 271 719 0 3482 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16812 [startup+0.701434 s] /proc/loadavg: 0.92 0.98 0.99 3/106 31027 /proc/meminfo: memFree=1781800/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=25724 CPUtime=0.69 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 5935 0 0 0 67 2 0 0 17 0 1 0 26480707 26341376 5858 1992294400 4194304 7136930 140733730819696 18446744073709551615 6285736 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31027/statm: 6431 5858 271 719 0 5710 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25724 [startup+1.50158 s] /proc/loadavg: 0.92 0.98 0.99 2/107 31028 /proc/meminfo: memFree=1753644/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=84364 CPUtime=1.48 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 20535 0 0 0 140 8 0 0 18 0 1 0 26480707 86388736 20093 1992294400 4194304 7136930 140733730819696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 21091 20093 343 719 0 20370 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 84364 [startup+3.10086 s] /proc/loadavg: 0.92 0.98 0.99 2/107 31028 /proc/meminfo: memFree=1685320/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=103516 CPUtime=3.09 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33589 0 0 0 277 32 0 0 21 0 1 0 26480707 106000384 24700 1992294400 4194304 7136930 140733730819696 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 25879 24700 363 719 0 25158 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 103516 [startup+6.30143 s] /proc/loadavg: 0.93 0.98 0.99 2/107 31028 /proc/meminfo: memFree=1682716/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=6.28 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 592 36 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 5907483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 104284 [startup+12.7006 s] /proc/loadavg: 0.93 0.98 0.99 2/107 31028 /proc/meminfo: memFree=1682716/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=12.69 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 1219 50 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 5907192 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 104284 [startup+25.5009 s] /proc/loadavg: 0.95 0.98 0.99 2/107 31028 /proc/meminfo: memFree=1682716/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=25.48 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 2473 75 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 104284 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/107 31030 /proc/meminfo: memFree=1682716/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=51.07 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 4979 128 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 5917627 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 104284 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 31030 /proc/meminfo: memFree=1682592/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=102.26 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 9981 245 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 104284 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31032 /proc/meminfo: memFree=1682468/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=162.23 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 15846 377 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 104284 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31034 /proc/meminfo: memFree=1682468/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=222.21 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 21714 507 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 104284 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31036 /proc/meminfo: memFree=1682344/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=282.2 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 27587 633 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 104284 [startup+342.301 s] /proc/loadavg: 1.07 1.00 1.00 2/107 31038 /proc/meminfo: memFree=1682220/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=342.17 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 33451 766 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 5907486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 104284 [startup+402.301 s] /proc/loadavg: 1.02 1.00 1.00 2/107 31038 /proc/meminfo: memFree=1682220/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=402.16 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 39320 896 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 104284 [startup+462.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 31040 /proc/meminfo: memFree=1681972/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=462.13 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 45194 1019 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 5907474 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 104284 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31042 /proc/meminfo: memFree=1681848/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=522.11 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 51069 1142 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 104284 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31044 /proc/meminfo: memFree=1681724/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=582.09 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 56936 1273 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 104284 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31046 /proc/meminfo: memFree=1681600/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=642.08 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 62806 1402 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 5907509 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 104284 [startup+702.302 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31063 /proc/meminfo: memFree=1680484/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=941.96 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 92121 2075 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 104284 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31063 /proc/meminfo: memFree=1680484/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=1001.95 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 97986 2209 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 104284 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31065 /proc/meminfo: memFree=1680484/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=1061.93 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 103857 2336 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 5508680 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 104284 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31067 /proc/meminfo: memFree=1680484/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=1121.91 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 109730 2461 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 5905982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 104284 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31069 /proc/meminfo: memFree=1680484/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=1181.89 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 115604 2585 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 104284 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31071 /proc/meminfo: memFree=1680360/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=1241.87 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 121482 2705 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 5907505 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 104284 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31071 /proc/meminfo: memFree=1680236/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=1301.86 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 127360 2826 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 104284 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31073 /proc/meminfo: memFree=1680236/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=1361.83 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 133238 2945 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 104284 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31075 /proc/meminfo: memFree=1680236/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=1421.81 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 139113 3068 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 104284 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31077 /proc/meminfo: memFree=1680112/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=1481.79 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 144982 3197 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 104284 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31079 /proc/meminfo: memFree=1679988/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=1541.77 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 150852 3325 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 104284 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31079 /proc/meminfo: memFree=1679988/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=1601.75 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 156733 3442 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 5905992 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 104284 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31084 /proc/meminfo: memFree=1679492/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=1661.73 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 162600 3573 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 5907457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 104284 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31086 /proc/meminfo: memFree=1679492/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=1721.71 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 168473 3698 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 104284 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31088 /proc/meminfo: memFree=1679368/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=1781.69 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 174341 3828 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 104284 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31088 /proc/meminfo: memFree=1679368/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=104284 CPUtime=1800.1 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33870 0 0 0 176140 3870 0 0 25 0 1 0 26480707 106786816 24978 1992294400 4194304 7136930 140733730819696 18446744073709551615 5918646 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31027/statm: 26071 24978 385 719 0 25350 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 104284 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31088 /proc/meminfo: memFree=1679368/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=103124 CPUtime=1800.19 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33876 0 0 0 176149 3870 0 0 25 0 1 0 26480707 105598976 24694 1992294400 4194304 7136930 140733730819696 18446744073709551615 4222282 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31027/statm: 25781 24694 391 719 0 25060 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 103124 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31088 /proc/meminfo: memFree=1679368/2059040 swapFree=4136716/4192956 [pid=31027] ppid=31025 vsize=54592 CPUtime=1800.28 /proc/31027/stat : 31027 (pbscip.linux.x8) R 31025 31027 30540 0 -1 4202496 33876 0 0 0 176157 3871 0 0 25 0 1 0 26480707 55902208 12631 1992294400 4194304 7136930 140733730819696 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31027/statm: 13648 12547 391 719 0 12927 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 54592 Child status: 0 Real time (s): 1800.94 CPU time (s): 1800.33 CPU user time (s): 1761.61 CPU system time (s): 38.7211 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (KiB): 111428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1761.61 system time used= 38.7211 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33883 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= 2 involuntary context switches= 3092 runsolver used 2.98155 second user time and 8.5227 second system time The end
Begin job on node012 at 2010-06-14 11:46:31 IDJOB=2664203 IDBENCH=2264 IDSOLVER=1167 FILE ID=node012/2664203-1276508791 PBS_JOBID= 11173412 Free space on /tmp= 62504 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.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-2664203-1276508791/watcher-2664203-1276508791 -o /tmp/evaluation-result-2664203-1276508791/solver-2664203-1276508791 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664203-1276508791.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 669011fc499ae56e44c354cc6cddc4c7 RANDOM SEED=1767290248 node012.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.258 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.51 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.258 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: 1782452 kB Buffers: 86364 kB Cached: 110240 kB SwapCached: 9404 kB Active: 107844 kB Inactive: 101244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1782452 kB SwapTotal: 4192956 kB SwapFree: 4136716 kB Dirty: 5156 kB Writeback: 0 kB AnonPages: 10884 kB Mapped: 9196 kB Slab: 45732 kB PageTables: 4104 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181640 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= 62500 MiB End job on node012 at 2010-06-14 12:16:34