Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | -37 | 1800.41 | 1800.87 |
| 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: SoPlex 1.4.2] [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-2667063-1276508899.opb>
1.19/1.27 c original problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80851 constraints
1.19/1.27 c problem read
1.19/1.27 c presolving settings loaded
1.39/1.48 o 0
1.39/1.48 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.39/1.48 c presolving:
2.49/2.54 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.40/4.41 c (2.9s) probing: 101/1150 (8.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.40/4.41 c (2.9s) probing aborted: 100/100 successive totally useless probings
4.40/4.41 c presolving (2 rounds):
4.40/4.41 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.40/4.41 c 161702 implications, 0 cliques
4.40/4.41 c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80851 constraints
4.40/4.41 c 80851 constraints of type <logicor>
4.40/4.41 c transformed objective value is always integral (scale: 1)
4.40/4.41 c Presolving Time: 2.73
4.40/4.41 c - non default parameters ----------------------------------------------------------------------
4.40/4.41 c # SCIP version 1.2.1.2
4.40/4.41 c
4.40/4.41 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
4.40/4.41 c # [type: int, range: [-1,2147483647], default: -1]
4.40/4.41 c conflict/interconss = 0
4.40/4.41 c
4.40/4.41 c # should binary conflicts be preferred?
4.40/4.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.40/4.41 c conflict/preferbinary = TRUE
4.40/4.41 c
4.40/4.41 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
4.40/4.41 c # [type: int, range: [-1,2147483647], default: 0]
4.40/4.41 c constraints/agelimit = 1
4.40/4.41 c
4.40/4.41 c # should enforcement of pseudo solution be disabled?
4.40/4.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.40/4.41 c constraints/disableenfops = TRUE
4.40/4.41 c
4.40/4.41 c # frequency for displaying node information lines
4.40/4.41 c # [type: int, range: [-1,2147483647], default: 100]
4.40/4.41 c display/freq = 10000
4.40/4.41 c
4.40/4.41 c # maximal time in seconds to run
4.40/4.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.40/4.41 c limits/time = 1798.73
4.40/4.41 c
4.40/4.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.40/4.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.40/4.41 c limits/memory = 1620
4.40/4.41 c
4.40/4.41 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.40/4.41 c # [type: int, range: [-1,2147483647], default: 1]
4.40/4.41 c lp/solvefreq = 0
4.40/4.41 c
4.40/4.41 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.40/4.41 c # [type: char, range: {lafpsqd}, default: l]
4.40/4.41 c lp/pricing = a
4.40/4.41 c
4.40/4.41 c # should presolving try to simplify inequalities
4.40/4.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.40/4.41 c constraints/linear/simplifyinequalities = TRUE
4.40/4.41 c
4.40/4.41 c # should presolving try to simplify knapsacks
4.40/4.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.40/4.41 c constraints/knapsack/simplifyinequalities = TRUE
4.40/4.41 c
4.40/4.41 c # priority of node selection rule <dfs> in standard mode
4.40/4.41 c # [type: int, range: [-536870912,536870911], default: 0]
4.40/4.41 c nodeselection/dfs/stdpriority = 1000000
4.40/4.41 c
4.40/4.41 c -----------------------------------------------------------------------------------------------
4.40/4.41 c start solving
4.40/4.42 c
10.28/10.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.28/10.33 c t 8.7s| 1 | 0 | 1267 | - | 90M| 0 |1150 |1150 | 80k|1150 | 80k| 0 | 0 | 0 |-5.750000e+02 | 0.000000e+00 | 100.00%
10.39/10.49 o -1
10.39/10.49 c R 8.8s| 1 | 0 | 1267 | - | 90M| 0 |1150 |1150 | 80k|1150 | 80k| 0 | 0 | 0 |-5.750000e+02 |-1.000000e+00 | 99.83%
16.98/17.02 c 14.6s| 1 | 0 | 1515 | - | 90M| 0 |1082 |1150 | 80k|1150 | 80k| 10 | 0 | 0 |-5.410000e+02 |-1.000000e+00 | 99.82%
16.98/17.09 o -34
16.98/17.09 c b14.7s| 1 | 0 | 1515 | - | 90M| 0 |1082 |1150 | 80k|1150 | 80k| 10 | 0 | 0 |-5.410000e+02 |-3.400000e+01 | 93.72%
24.39/24.45 c 21.4s| 1 | 0 | 1730 | - | 90M| 0 |1024 |1150 | 80k|1150 | 80k| 29 | 0 | 0 |-5.120000e+02 |-3.400000e+01 | 93.36%
34.59/34.68 c 31.1s| 1 | 0 | 2080 | - | 90M| 0 | 977 |1150 | 80k|1150 | 80k| 46 | 0 | 0 |-4.885000e+02 |-3.400000e+01 | 93.04%
45.29/45.34 c 41.1s| 1 | 0 | 2333 | - | 90M| 0 | 933 |1150 | 80k|1150 | 80k| 53 | 0 | 0 |-4.652500e+02 |-3.400000e+01 | 92.69%
57.28/57.31 c 52.5s| 1 | 0 | 2695 | - | 90M| 0 | 887 |1150 | 80k|1150 | 80k| 67 | 0 | 0 |-4.417500e+02 |-3.400000e+01 | 92.30%
68.78/68.85 c 63.4s| 1 | 0 | 2930 | - | 90M| 0 | 844 |1150 | 80k|1150 | 80k| 73 | 0 | 0 |-4.202500e+02 |-3.400000e+01 | 91.91%
82.97/83.03 c 77.0s| 1 | 0 | 3456 | - | 90M| 0 | 781 |1150 | 80k|1150 | 80k| 84 | 0 | 0 |-3.887500e+02 |-3.400000e+01 | 91.25%
96.87/96.91 c 90.3s| 1 | 0 | 3938 | - | 90M| 0 | 721 |1150 | 80k|1150 | 80k| 90 | 0 | 0 |-3.597500e+02 |-3.400000e+01 | 90.55%
112.17/112.24 c 105s| 1 | 0 | 4449 | - | 90M| 0 | 678 |1150 | 80k|1150 | 80k| 96 | 0 | 0 |-3.382500e+02 |-3.400000e+01 | 89.95%
127.76/127.88 c 120s| 1 | 0 | 5024 | - | 90M| 0 | 632 |1150 | 80k|1150 | 80k| 107 | 0 | 0 |-3.160000e+02 |-3.400000e+01 | 89.24%
135.56/135.69 c 127s| 1 | 0 | 5477 | - | 90M| 0 | 590 |1150 | 80k|1150 | 80k| 111 | 0 | 0 |-2.950000e+02 |-3.400000e+01 | 88.47%
142.56/142.65 c 134s| 1 | 0 | 5891 | - | 90M| 0 | 548 |1150 | 80k|1150 | 80k| 115 | 0 | 0 |-2.740000e+02 |-3.400000e+01 | 87.59%
150.56/150.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.56/150.62 c 141s| 1 | 0 | 6485 | - | 90M| 0 | 504 |1150 | 80k|1150 | 80k| 121 | 0 | 0 |-2.520000e+02 |-3.400000e+01 | 86.51%
155.55/155.63 c 145s| 1 | 0 | 6722 | - | 90M| 0 | 465 |1150 | 80k|1150 | 80k| 128 | 0 | 0 |-2.325000e+02 |-3.400000e+01 | 85.38%
164.55/164.65 c 154s| 1 | 0 | 7501 | - | 90M| 0 | 405 |1150 | 80k|1150 | 80k| 137 | 0 | 0 |-2.025000e+02 |-3.400000e+01 | 83.21%
170.65/170.76 c 159s| 1 | 0 | 7829 | - | 90M| 0 | 384 |1150 | 80k|1150 | 80k| 145 | 0 | 0 |-1.920000e+02 |-3.400000e+01 | 82.29%
177.25/177.31 c 165s| 1 | 0 | 8305 | - | 90M| 0 | 332 |1150 | 80k|1150 | 80k| 152 | 0 | 0 |-1.660000e+02 |-3.400000e+01 | 79.52%
183.94/184.07 c 171s| 1 | 0 | 8808 | - | 90M| 0 | 293 |1150 | 80k|1150 | 80k| 156 | 0 | 0 |-1.465000e+02 |-3.400000e+01 | 76.79%
190.05/190.18 c 177s| 1 | 0 | 9266 | - | 90M| 0 | 251 |1150 | 80k|1150 | 80k| 160 | 0 | 0 |-1.255000e+02 |-3.400000e+01 | 72.91%
196.75/196.87 c 183s| 1 | 0 | 9757 | - | 90M| 0 | 210 |1150 | 80k|1150 | 80k| 168 | 0 | 0 |-1.050000e+02 |-3.400000e+01 | 67.62%
200.45/200.52 c 186s| 1 | 0 | 10040 | - | 90M| 0 | 195 |1150 | 80k|1150 | 81k| 175 | 0 | 0 |-9.450000e+01 |-3.400000e+01 | 64.02%
206.74/206.82 c 192s| 1 | 0 | 10773 | - | 90M| 0 | 163 |1150 | 80k|1150 | 81k| 179 | 0 | 0 |-7.600000e+01 |-3.400000e+01 | 55.26%
211.34/211.41 c 196s| 1 | 0 | 11233 | - | 90M| 0 | 105 |1150 | 80k|1150 | 80k| 188 | 0 | 0 |-5.750000e+01 |-3.400000e+01 | 40.87%
216.04/216.19 c 201s| 1 | 0 | 11689 | - | 90M| 0 | 199 |1150 | 80k|1150 | 80k| 194 | 0 | 0 |-5.000000e+01 |-3.400000e+01 | 32.00%
220.24/220.30 c 205s| 1 | 0 | 11970 | - | 90M| 0 | 204 |1150 | 80k|1150 | 81k| 201 | 0 | 0 |-5.000000e+01 |-3.400000e+01 | 32.00%
223.34/223.41 c 208s| 1 | 0 | 12139 | - | 90M| 0 | 178 |1150 | 80k|1150 | 81k| 212 | 0 | 0 |-5.000000e+01 |-3.400000e+01 | 32.00%
227.14/227.25 c 211s| 1 | 0 | 12369 | - | 90M| 0 | 205 |1150 | 80k|1150 | 81k| 223 | 0 | 0 |-5.000000e+01 |-3.400000e+01 | 32.00%
308.81/308.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.81/308.93 c 276s| 1 | 0 | 12876 | - | 90M| 0 | 252 |1150 | 80k|1150 | 81k| 234 | 0 | 0 |-5.000000e+01 |-3.400000e+01 | 32.00%
399.29/399.44 c 346s| 1 | 0 | 13113 | - | 90M| 0 | 255 |1150 | 80k|1150 | 81k| 246 | 0 | 0 |-5.000000e+01 |-3.400000e+01 | 32.00%
711.12/711.30 c 657s| 1 | 2 | 13113 | - | 90M| 0 | 255 |1150 | 80k|1150 | 81k| 246 | 0 | 53 |-5.000000e+01 |-3.400000e+01 | 32.00%
711.22/711.40 o -35
711.22/711.40 c * 657s| 36 | 32 | 13113 | 0.0 | 91M| 35 | - |1150 | 80k| 0 | 0 | 246 | 0 | 53 |-5.000000e+01 |-3.500000e+01 | 30.00%
711.22/711.45 o -36
711.22/711.45 c * 657s| 97 | 30 | 13113 | 0.0 | 91M| 37 | - |1150 | 80k| 0 | 0 | 246 | 1 | 53 |-5.000000e+01 |-3.600000e+01 | 28.00%
711.42/711.63 o -37
711.42/711.63 c * 658s| 376 | 28 | 13113 | 0.0 | 91M| 40 | - |1150 | 80k| 0 | 0 | 246 | 10 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
716.92/717.18 c 663s| 10000 | 31 | 13113 | 0.0 | 91M| 47 | - |1150 | 80k| 0 | 0 | 246 | 109 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
722.71/722.93 c 669s| 20000 | 29 | 13113 | 0.0 | 91M| 49 | - |1150 | 80k| 0 | 0 | 246 | 188 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
728.41/728.64 c 674s| 30000 | 27 | 13113 | 0.0 | 91M| 50 | - |1150 | 80k| 0 | 0 | 246 | 244 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
734.21/734.46 c 680s| 40000 | 27 | 13113 | 0.0 | 91M| 52 | - |1150 | 80k| 0 | 0 | 246 | 294 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
740.31/740.54 c 686s| 50000 | 26 | 13113 | 0.0 | 91M| 52 | - |1150 | 80k| 0 | 0 | 246 | 353 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
746.10/746.39 c 691s| 60000 | 27 | 13113 | 0.0 | 91M| 52 | - |1150 | 80k| 0 | 0 | 246 | 395 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
752.12/752.40 c 697s| 70000 | 28 | 13113 | 0.0 | 91M| 52 | - |1150 | 80k| 0 | 0 | 246 | 427 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
758.00/758.24 c 703s| 80000 | 26 | 13113 | 0.0 | 91M| 55 | - |1150 | 80k| 0 | 0 | 246 | 487 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
763.79/764.05 c 709s| 90000 | 26 | 13113 | 0.0 | 91M| 55 | - |1150 | 80k| 0 | 0 | 246 | 548 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
769.69/769.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
769.69/769.99 c 714s|100000 | 28 | 13113 | 0.0 | 91M| 55 | - |1150 | 80k| 0 | 0 | 246 | 607 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
775.48/775.78 c 720s|110000 | 25 | 13113 | 0.0 | 91M| 55 | - |1150 | 80k| 0 | 0 | 246 | 665 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
781.38/781.61 c 726s|120000 | 27 | 13113 | 0.0 | 91M| 55 | - |1150 | 80k| 0 | 0 | 246 | 729 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
787.08/787.33 c 731s|130000 | 28 | 13113 | 0.0 | 91M| 55 | - |1150 | 80k| 0 | 0 | 246 | 775 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
793.07/793.30 c 737s|140000 | 25 | 13113 | 0.0 | 91M| 55 | - |1150 | 80k| 0 | 0 | 246 | 849 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
798.78/799.07 c 743s|150000 | 24 | 13113 | 0.0 | 91M| 55 | - |1150 | 80k| 0 | 0 | 246 | 910 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
804.38/804.67 c 748s|160000 | 27 | 13113 | 0.0 | 91M| 55 | - |1150 | 80k| 0 | 0 | 246 | 954 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
809.97/810.28 c 754s|170000 | 26 | 13113 | 0.0 | 91M| 57 | - |1150 | 80k| 0 | 0 | 246 |1012 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
815.88/816.17 c 760s|180000 | 27 | 13113 | 0.0 | 91M| 57 | - |1150 | 80k| 0 | 0 | 246 |1066 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
821.38/821.69 c 765s|190000 | 25 | 13113 | 0.0 | 91M| 57 | - |1150 | 80k| 0 | 0 | 246 |1118 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
826.98/827.26 c 770s|200000 | 26 | 13113 | 0.0 | 91M| 57 | - |1150 | 80k| 0 | 0 | 246 |1173 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
832.57/832.84 c 776s|210000 | 29 | 13113 | 0.0 | 91M| 57 | - |1150 | 80k| 0 | 0 | 246 |1225 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
838.27/838.51 c 781s|220000 | 27 | 13113 | 0.0 | 91M| 57 | - |1150 | 80k| 0 | 0 | 246 |1261 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
843.97/844.21 c 787s|230000 | 22 | 13113 | 0.0 | 91M| 57 | - |1150 | 80k| 0 | 0 | 246 |1312 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
849.57/849.83 c 792s|240000 | 26 | 13113 | 0.0 | 91M| 57 | - |1150 | 80k| 0 | 0 | 246 |1357 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
855.26/855.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
855.26/855.55 c 798s|250000 | 25 | 13113 | 0.0 | 91M| 57 | - |1150 | 80k| 0 | 0 | 246 |1398 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
860.77/861.07 c 803s|260000 | 26 | 13113 | 0.0 | 91M| 57 | - |1150 | 80k| 0 | 0 | 246 |1454 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
866.57/866.84 c 809s|270000 | 27 | 13113 | 0.0 | 91M| 57 | - |1150 | 80k| 0 | 0 | 246 |1504 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
872.46/872.71 c 815s|280000 | 26 | 13113 | 0.0 | 91M| 57 | - |1150 | 80k| 0 | 0 | 246 |1557 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
878.46/878.73 c 821s|290000 | 26 | 13113 | 0.0 | 91M| 57 | - |1150 | 80k| 0 | 0 | 246 |1608 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
884.26/884.56 c 826s|300000 | 24 | 13113 | 0.0 | 91M| 57 | - |1150 | 80k| 0 | 0 | 246 |1661 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
890.15/890.45 c 832s|310000 | 26 | 13113 | 0.0 | 91M| 57 | - |1150 | 80k| 0 | 0 | 246 |1727 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
896.05/896.34 c 838s|320000 | 27 | 13113 | 0.0 | 91M| 57 | - |1150 | 80k| 0 | 0 | 246 |1781 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
901.65/902.00 c 843s|330000 | 28 | 13113 | 0.0 | 91M| 57 | - |1150 | 80k| 0 | 0 | 246 |1836 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
907.25/907.53 c 849s|340000 | 27 | 13113 | 0.0 | 91M| 57 | - |1150 | 80k| 0 | 0 | 246 |1880 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
912.85/913.19 c 854s|350000 | 27 | 13113 | 0.0 | 91M| 57 | - |1150 | 80k| 0 | 0 | 246 |1915 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
918.64/918.95 c 860s|360000 | 24 | 13113 | 0.0 | 91M| 57 | - |1150 | 80k| 0 | 0 | 246 |1973 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
924.25/924.58 c 866s|370000 | 24 | 13113 | 0.0 | 91M| 57 | - |1150 | 80k| 0 | 0 | 246 |2013 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
930.15/930.42 c 871s|380000 | 27 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |2058 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
935.45/935.77 c 876s|390000 | 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |2106 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
941.05/941.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
941.05/941.30 c 882s|400000 | 24 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |2154 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
946.75/947.08 c 887s|410000 | 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |2201 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
952.35/952.69 c 893s|420000 | 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |2247 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
958.14/958.41 c 899s|430000 | 23 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |2295 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
963.94/964.28 c 904s|440000 | 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |2350 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
969.74/970.05 c 910s|450000 | 23 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |2400 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
975.54/975.84 c 916s|460000 | 28 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |2464 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
981.43/981.78 c 921s|470000 | 24 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |2526 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
987.23/987.52 c 927s|480000 | 24 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |2569 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
993.04/993.32 c 933s|490000 | 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |2632 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
998.54/998.89 c 938s|500000 | 27 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |2662 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1004.33/1004.67 c 944s|510000 | 28 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |2700 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1010.33/1010.60 c 950s|520000 | 24 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |2741 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1016.13/1016.48 c 955s|530000 | 27 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |2785 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1022.22/1022.52 c 961s|540000 | 27 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |2843 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1028.22/1028.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1028.22/1028.55 c 967s|550000 | 27 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |2919 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1034.12/1034.43 c 973s|560000 | 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |2965 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1039.92/1040.20 c 978s|570000 | 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |3021 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1046.12/1046.40 c 985s|580000 | 28 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |3077 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1052.43/1052.75 c 991s|590000 | 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |3136 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1058.71/1059.03 c 997s|600000 | 27 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |3209 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1064.91/1065.26 c 1003s|610000 | 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |3257 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1071.12/1071.49 c 1009s|620000 | 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |3321 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1077.51/1077.87 c 1015s|630000 | 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |3374 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1084.01/1084.36 c 1022s|640000 | 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |3441 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1090.40/1090.70 c 1028s|650000 | 22 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |3475 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1096.51/1096.84 c 1034s|660000 | 29 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |3514 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1102.81/1103.15 c 1040s|670000 | 27 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |3583 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1108.70/1109.05 c 1046s|680000 | 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |3642 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1114.60/1114.99 c 1052s|690000 | 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |3686 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1120.70/1121.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1120.70/1121.06 c 1058s|700000 | 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |3735 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1126.80/1127.13 c 1064s|710000 | 27 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |3781 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1132.89/1133.22 c 1070s|720000 | 24 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |3818 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1138.79/1139.15 c 1075s|730000 | 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |3864 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1144.70/1145.09 c 1081s|740000 | 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |3895 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1150.99/1151.30 c 1087s|750000 | 28 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |3957 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1156.99/1157.37 c 1093s|760000 | 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |4007 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1162.99/1163.31 c 1099s|770000 | 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |4062 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1168.89/1169.29 c 1105s|780000 | 27 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |4105 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1175.08/1175.41 c 1111s|790000 | 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |4155 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1181.09/1181.47 c 1117s|800000 | 23 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |4217 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1187.08/1187.49 c 1123s|810000 | 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |4313 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1193.09/1193.41 c 1128s|820000 | 27 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |4383 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1199.08/1199.49 c 1134s|830000 | 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |4436 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1204.97/1205.32 c 1140s|840000 | 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |4475 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1211.07/1211.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1211.07/1211.42 c 1146s|850000 | 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |4539 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1216.98/1217.37 c 1152s|860000 | 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |4576 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1222.88/1223.29 c 1158s|870000 | 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |4642 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1228.77/1229.19 c 1163s|880000 | 24 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |4694 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1234.77/1235.14 c 1169s|890000 | 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |4728 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1240.67/1241.01 c 1175s|900000 | 24 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |4775 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1246.37/1246.78 c 1180s|910000 | 24 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |4804 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1252.36/1252.72 c 1186s|920000 | 24 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |4843 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1258.26/1258.69 c 1192s|930000 | 23 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |4885 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1264.06/1264.46 c 1198s|940000 | 23 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |4911 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1270.36/1270.71 c 1204s|950000 | 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |4992 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1276.26/1276.64 c 1210s|960000 | 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |5023 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1282.36/1282.74 c 1216s|970000 | 27 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |5087 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1288.36/1288.74 c 1222s|980000 | 24 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |5142 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1293.95/1294.38 c 1227s|990000 | 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |5187 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1299.76/1300.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1299.76/1300.16 c 1233s| 1000k| 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |5228 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1305.65/1306.06 c 1238s| 1010k| 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |5251 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1311.55/1311.96 c 1244s| 1020k| 28 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |5291 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1317.45/1317.89 c 1250s| 1030k| 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |5333 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1323.34/1323.74 c 1256s| 1040k| 27 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |5385 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1329.35/1329.78 c 1262s| 1050k| 28 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |5449 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1335.54/1335.93 c 1268s| 1060k| 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |5491 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1341.44/1341.80 c 1273s| 1070k| 29 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |5532 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1347.54/1347.98 c 1279s| 1080k| 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |5614 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1353.75/1354.18 c 1285s| 1090k| 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |5678 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1360.04/1360.48 c 1292s| 1100k| 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |5745 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1366.24/1366.61 c 1298s| 1110k| 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |5781 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1372.23/1372.66 c 1304s| 1120k| 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |5822 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1378.23/1378.69 c 1309s| 1130k| 27 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |5884 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1384.33/1384.71 c 1315s| 1140k| 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |5940 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1390.43/1390.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1390.43/1390.84 c 1321s| 1150k| 23 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |5975 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1396.23/1396.62 c 1327s| 1160k| 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |6031 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1402.23/1402.67 c 1333s| 1170k| 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |6082 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1408.43/1408.85 c 1339s| 1180k| 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |6136 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1414.53/1414.92 c 1345s| 1190k| 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |6192 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1420.42/1420.80 c 1351s| 1200k| 27 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |6241 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1426.33/1426.74 c 1357s| 1210k| 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |6316 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1432.12/1432.55 c 1362s| 1220k| 24 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |6382 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1437.92/1438.35 c 1368s| 1230k| 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |6429 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1443.92/1444.38 c 1374s| 1240k| 27 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |6481 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1449.81/1450.25 c 1379s| 1250k| 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |6524 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1455.61/1456.03 c 1385s| 1260k| 27 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |6556 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1461.52/1461.92 c 1391s| 1270k| 27 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |6613 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1467.51/1467.99 c 1397s| 1280k| 27 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |6686 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1473.21/1473.62 c 1402s| 1290k| 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |6723 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1479.01/1479.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1479.01/1479.46 c 1408s| 1300k| 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |6764 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1484.71/1485.13 c 1414s| 1310k| 24 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |6803 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1491.11/1491.50 c 1420s| 1320k| 27 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |6877 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1497.21/1497.69 c 1426s| 1330k| 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |6951 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1503.41/1503.80 c 1432s| 1340k| 27 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |7013 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1509.30/1509.73 c 1438s| 1350k| 24 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |7062 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1515.10/1515.59 c 1443s| 1360k| 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |7114 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1521.09/1521.51 c 1449s| 1370k| 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |7154 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1526.89/1527.39 c 1455s| 1380k| 24 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |7225 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1532.79/1533.26 c 1461s| 1390k| 27 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |7267 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1538.69/1539.19 c 1466s| 1400k| 24 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |7320 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1544.79/1545.24 c 1472s| 1410k| 23 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |7376 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1550.79/1551.26 c 1478s| 1420k| 28 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |7425 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1556.49/1556.97 c 1484s| 1430k| 24 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |7476 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1562.39/1562.83 c 1489s| 1440k| 24 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |7530 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1568.29/1568.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1568.29/1568.77 c 1495s| 1450k| 23 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |7586 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1573.88/1574.31 c 1501s| 1460k| 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |7653 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1579.58/1580.02 c 1506s| 1470k| 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |7692 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1585.18/1585.68 c 1512s| 1480k| 26 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |7738 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1591.08/1591.55 c 1517s| 1490k| 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |7782 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1596.88/1597.36 c 1523s| 1500k| 25 | 13113 | 0.0 | 91M| 62 | - |1150 | 80k| 0 | 0 | 246 |7832 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1602.68/1603.17 c 1529s| 1510k| 23 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |7883 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1608.67/1609.15 c 1535s| 1520k| 25 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |7921 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1614.57/1615.08 c 1541s| 1530k| 24 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |7948 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1620.68/1621.14 c 1546s| 1540k| 23 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |7984 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1626.38/1626.86 c 1552s| 1550k| 23 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |8033 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1632.27/1632.70 c 1558s| 1560k| 25 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |8101 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1638.27/1638.75 c 1564s| 1570k| 28 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |8151 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1644.16/1644.60 c 1569s| 1580k| 27 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |8199 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1650.47/1650.91 c 1576s| 1590k| 26 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |8221 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1656.46/1656.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1656.46/1656.98 c 1581s| 1600k| 24 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |8255 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1662.56/1663.06 c 1587s| 1610k| 26 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |8296 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1668.56/1669.01 c 1593s| 1620k| 25 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |8330 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1674.76/1675.28 c 1599s| 1630k| 25 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |8366 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1681.06/1681.59 c 1606s| 1640k| 26 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |8398 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1687.46/1687.91 c 1612s| 1650k| 25 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |8463 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1693.47/1693.96 c 1618s| 1660k| 25 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |8487 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1699.46/1699.93 c 1623s| 1670k| 27 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |8538 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1705.56/1706.01 c 1629s| 1680k| 27 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |8588 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1711.55/1712.08 c 1635s| 1690k| 26 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |8655 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1717.85/1718.31 c 1641s| 1700k| 27 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |8700 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1723.84/1724.39 c 1647s| 1710k| 26 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |8750 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1730.14/1730.60 c 1653s| 1720k| 25 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |8791 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1736.15/1736.64 c 1659s| 1730k| 27 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |8842 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1742.04/1742.52 c 1665s| 1740k| 25 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |8894 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1747.85/1748.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1747.85/1748.38 c 1671s| 1750k| 25 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |8932 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1753.54/1754.10 c 1676s| 1760k| 26 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |8975 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1759.74/1760.21 c 1682s| 1770k| 27 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |9032 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1766.24/1766.73 c 1689s| 1780k| 25 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |9093 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1772.03/1772.56 c 1695s| 1790k| 26 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |9149 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1777.93/1778.44 c 1700s| 1800k| 24 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |9198 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1783.94/1784.49 c 1706s| 1810k| 26 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |9246 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1790.03/1790.56 c 1712s| 1820k| 27 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |9297 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1796.43/1796.91 c 1718s| 1830k| 25 | 13113 | 0.0 | 91M| 63 | - |1150 | 80k| 0 | 0 | 246 |9340 | 53 |-5.000000e+01 |-3.700000e+01 | 26.00%
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.51 c
1800.03/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.51 c Solving Time (sec) : 1721.89
1800.03/1800.51 c Solving Nodes : 1835823
1800.03/1800.51 c Primal Bound : -3.70000000000000e+01 (16 solutions)
1800.03/1800.51 c Dual Bound : -5.00000000000000e+01
1800.03/1800.51 c Gap : 26.00 %
1800.03/1800.55 s SATISFIABLE
1800.03/1800.55 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.03/1800.55 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.03/1800.55 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.03/1800.55 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.03/1800.55 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1800.03/1800.55 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1800.03/1800.55 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166
1800.03/1800.55 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
1800.03/1800.55 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207
1800.03/1800.55 v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228
1800.03/1800.55 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
1800.03/1800.55 v x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1800.03/1800.55 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
1800.03/1800.55 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
1800.03/1800.55 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333
1800.03/1800.55 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
1800.03/1800.55 v -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1800.03/1800.55 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
1800.03/1800.55 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416
1800.03/1800.55 v -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437
1800.03/1800.55 v -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458
1800.03/1800.55 v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479
1800.03/1800.55 v -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500
1800.03/1800.55 v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521
1800.03/1800.55 v -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542
1800.03/1800.55 v -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563
1800.03/1800.55 v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584
1800.03/1800.55 v -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605
1800.03/1800.55 v x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626
1800.03/1800.55 v -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647
1800.03/1800.55 v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668
1800.03/1800.55 v -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689
1800.03/1800.55 v -x690 x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
1800.03/1800.55 v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
1800.03/1800.55 v -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752
1800.03/1800.55 v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773
1800.03/1800.55 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794
1800.03/1800.55 v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
1800.03/1800.55 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
1800.03/1800.55 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856
1800.03/1800.55 v -x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877
1800.03/1800.55 v -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898
1800.03/1800.55 v -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 -x918 -x919
1800.03/1800.55 v -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940
1800.03/1800.55 v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961
1800.03/1800.55 v -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982
1800.03/1800.55 v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003
1800.03/1800.55 v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021
1800.03/1800.55 v -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1800.03/1800.55 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056
1800.03/1800.55 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1800.03/1800.55 v x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092
1800.03/1800.55 v -x1093 -x1094 -x1095 -x1096 x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110
1800.03/1800.55 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128
1800.03/1800.55 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146
1800.03/1800.55 v -x1147 -x1148 -x1149 -x1150
1800.03/1800.55 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.55 c Solving Time : 1721.89
1800.03/1800.55 c Original Problem :
1800.03/1800.55 c Problem name : HOME/instance-2667063-1276508899.opb
1800.03/1800.55 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.55 c Constraints : 80851 initial, 80851 maximal
1800.03/1800.55 c Presolved Problem :
1800.03/1800.55 c Problem name : t_HOME/instance-2667063-1276508899.opb
1800.03/1800.55 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.55 c Constraints : 80851 initial, 80861 maximal
1800.03/1800.55 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.55 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.55 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.55 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.55 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.55 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.55 c probing : 1.73 0 0 0 0 0 0 0 0
1800.03/1800.55 c logicor : 0.24 0 0 0 0 0 0 0 0
1800.03/1800.55 c root node : - 0 - - 0 - - - -
1800.03/1800.55 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.55 c integral : 0 0 0 1 0 0 0 0 0 2
1800.03/1800.55 c logicor : 80851+ 29 1803054 0 3 105300 2624540 0 0 0
1800.03/1800.55 c countsols : 0 0 0 0 3 0 0 0 0 0
1800.03/1800.55 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.55 c integral : 307.96 0.00 0.00 307.96 0.00
1800.03/1800.55 c logicor : 291.32 0.34 290.95 0.00 0.03
1800.03/1800.55 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.55 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.55 c vbounds : 1.15 2 0 0
1800.03/1800.55 c rootredcost : 1.71 3 0 0
1800.03/1800.55 c pseudoobj : 295.30 2890130 652007 869748
1800.03/1800.55 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.55 c propagation : 159.78 105300 9363 9363 43.4 0 0.0 -
1800.03/1800.55 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.55 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.55 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.55 c pseudo solution : 291.19 156408 0 0 0.0 0 0.0 -
1800.03/1800.55 c applied globally : - - - 9363 43.4 - - -
1800.03/1800.55 c applied locally : - - - 0 0.0 - - -
1800.03/1800.55 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.55 c cut pool : 0.00 28 - - 86 - (maximal pool size: 474)
1800.03/1800.55 c redcost : 0.01 29 0 0 0 0
1800.03/1800.55 c impliedbounds : 0.12 29 0 0 0 0
1800.03/1800.55 c intobj : 0.00 0 0 0 0 0
1800.03/1800.55 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.55 c gomory : 153.37 29 0 0 13836 0
1800.03/1800.55 c strongcg : 19.08 20 0 0 10000 0
1800.03/1800.55 c cmir : 25.17 10 0 0 0 0
1800.03/1800.55 c flowcover : 27.86 10 0 0 0 0
1800.03/1800.55 c clique : 2.02 29 0 0 271 0
1800.03/1800.55 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.55 c mcf : 0.14 1 0 0 0 0
1800.03/1800.55 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.55 c Pricers : Time Calls Vars
1800.03/1800.55 c problem variables: 0.00 0 0
1800.03/1800.55 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.55 c relpscost : 307.96 1 0 0 0 0 2
1800.03/1800.55 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.55 c inference : 9.88 929147 0 0 0 0 1858294
1800.03/1800.55 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.55 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.55 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.55 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.55 c random : 0.00 0 0 0 0 0 0
1800.03/1800.55 c Primal Heuristics : Time Calls Found
1800.03/1800.55 c LP solutions : 0.00 - 0
1800.03/1800.55 c pseudo solutions : 0.00 - 3
1800.03/1800.55 c crossover : 0.00 0 0
1800.03/1800.55 c oneopt : 1.44 2 1
1800.03/1800.55 c trivial : 0.05 2 3
1800.03/1800.55 c simplerounding : 0.05 30 5
1800.03/1800.55 c zirounding : 0.02 1 1
1800.03/1800.55 c rounding : 1.59 30 1
1800.03/1800.55 c shifting : 2.03 30 1
1800.03/1800.55 c intshifting : 0.00 0 0
1800.03/1800.55 c twoopt : 0.00 0 0
1800.03/1800.55 c fixandinfer : 0.00 0 0
1800.03/1800.55 c feaspump : 0.00 0 0
1800.03/1800.55 c coefdiving : 0.00 0 0
1800.03/1800.55 c pscostdiving : 0.00 0 0
1800.03/1800.55 c fracdiving : 0.00 0 0
1800.03/1800.55 c veclendiving : 0.00 0 0
1800.03/1800.55 c intdiving : 0.00 0 0
1800.03/1800.55 c actconsdiving : 0.00 0 0
1800.03/1800.55 c objpscostdiving : 0.00 0 0
1800.03/1800.55 c rootsoldiving : 0.00 0 0
1800.03/1800.55 c linesearchdiving : 0.00 0 0
1800.03/1800.55 c guideddiving : 0.00 0 0
1800.03/1800.55 c octane : 0.00 0 0
1800.03/1800.55 c rens : 2.76 1 1
1800.03/1800.55 c rins : 0.00 0 0
1800.03/1800.55 c localbranching : 0.00 0 0
1800.03/1800.55 c mutation : 0.00 0 0
1800.03/1800.55 c dins : 0.00 0 0
1800.03/1800.55 c undercover : 0.00 0 0
1800.03/1800.55 c nlp : 0.94 0 0
1800.03/1800.55 c trysol : 0.99 0 0
1800.03/1800.55 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.55 c primal LP : 0.27 0 0 0.00 0.00
1800.03/1800.55 c dual LP : 110.29 30 13113 437.10 118.90
1800.03/1800.55 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.55 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.55 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.55 c strong branching : 307.96 53 31315 590.85 101.69
1800.03/1800.55 c (at root node) : - 53 31315 590.85 -
1800.03/1800.55 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.55 c B&B Tree :
1800.03/1800.55 c number of runs : 1
1800.03/1800.55 c nodes : 1835823
1800.03/1800.55 c nodes (total) : 1835823
1800.03/1800.55 c nodes left : 28
1800.03/1800.55 c max depth : 63
1800.03/1800.55 c max depth (total): 63
1800.03/1800.55 c backtracks : 363702 (19.8%)
1800.03/1800.55 c delayed cutoffs : 7787
1800.03/1800.55 c repropagations : 8506 (24471 domain reductions, 7043 cutoffs)
1800.03/1800.55 c avg switch length: 2.00
1800.03/1800.55 c switching time : 86.61
1800.03/1800.55 c Solution :
1800.03/1800.55 c Solutions found : 16 (6 improvements)
1800.03/1800.55 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.12 seconds, depth 0, found by <trivial>)
1800.03/1800.55 c Primal Bound : -3.70000000000000e+01 (in run 1, after 376 nodes, 657.50 seconds, depth 40, found by <relaxation>)
1800.03/1800.55 c Dual Bound : -5.00000000000000e+01
1800.03/1800.55 c Gap : 26.00 %
1800.03/1800.55 c Root Dual Bound : -5.00000000000000e+01
1800.03/1800.55 c Root Iterations : 13113
1800.33/1800.87 c Time complete: 1800.4.
OK -37
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667063-1276508899/watcher-2667063-1276508899 -o /tmp/evaluation-result-2667063-1276508899/solver-2667063-1276508899 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667063-1276508899.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.77 1.95 1.66 3/106 28407 /proc/meminfo: memFree=1712924/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=6696 CPUtime=0 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 26493747 6856704 905 1992294400 4194304 8223781 140733309528320 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28407/statm: 1673 905 343 984 0 686 0 [startup+0.017291 s] /proc/loadavg: 1.77 1.95 1.66 3/106 28407 /proc/meminfo: memFree=1712924/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=10292 CPUtime=0.01 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 1887 0 0 0 1 0 0 0 20 0 1 0 26493747 10539008 1807 1992294400 4194304 8223781 140733309528320 18446744073709551615 5655094 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28407/statm: 2573 1807 365 984 0 1586 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10292 [startup+0.1013 s] /proc/loadavg: 1.77 1.95 1.66 3/106 28407 /proc/meminfo: memFree=1712924/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=13600 CPUtime=0.09 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 2693 0 0 0 9 0 0 0 20 0 1 0 26493747 13926400 2613 1992294400 4194304 8223781 140733309528320 18446744073709551615 4240584 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28407/statm: 3400 2613 365 984 0 2413 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13600 [startup+0.301317 s] /proc/loadavg: 1.77 1.95 1.66 3/106 28407 /proc/meminfo: memFree=1712924/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=17956 CPUtime=0.29 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 3796 0 0 0 28 1 0 0 20 0 1 0 26493747 18386944 3716 1992294400 4194304 8223781 140733309528320 18446744073709551615 5649608 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28407/statm: 4489 3716 365 984 0 3502 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17956 [startup+0.701356 s] /proc/loadavg: 1.77 1.95 1.66 3/106 28407 /proc/meminfo: memFree=1712924/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=26736 CPUtime=0.69 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 6003 0 0 0 67 2 0 0 21 0 1 0 26493747 27377664 5923 1992294400 4194304 8223781 140733309528320 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28407/statm: 6684 5923 365 984 0 5697 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26736 [startup+1.50143 s] /proc/loadavg: 1.77 1.95 1.66 2/107 28408 /proc/meminfo: memFree=1684892/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=85824 CPUtime=1.49 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 20662 0 0 0 141 8 0 0 23 0 1 0 26493747 87883776 20184 1992294400 4194304 8223781 140733309528320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 21456 20184 442 984 0 20469 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 85824 [startup+3.10158 s] /proc/loadavg: 1.70 1.94 1.65 2/107 28408 /proc/meminfo: memFree=1617684/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=105500 CPUtime=3.09 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 33724 0 0 0 278 31 0 0 25 0 1 0 26493747 108032000 24934 1992294400 4194304 8223781 140733309528320 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 26375 24934 462 984 0 25388 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 105500 [startup+6.30189 s] /proc/loadavg: 1.70 1.94 1.65 2/107 28408 /proc/meminfo: memFree=1541548/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=192008 CPUtime=6.29 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 56156 0 0 0 589 40 0 0 25 0 1 0 26493747 196616192 43476 1992294400 4194304 8223781 140733309528320 18446744073709551615 6448527 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 48002 43476 528 984 0 47015 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 192008 [startup+12.7015 s] /proc/loadavg: 1.60 1.91 1.65 2/107 28408 /proc/meminfo: memFree=1535968/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=207928 CPUtime=12.69 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 180334 0 0 0 1176 93 0 0 25 0 1 0 26493747 212918272 44557 1992294400 4194304 8223781 140733309528320 18446744073709551615 6299558 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 51982 44557 544 984 0 50995 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 207928 [startup+25.5007 s] /proc/loadavg: 1.50 1.88 1.64 2/107 28408 /proc/meminfo: memFree=1533364/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=213740 CPUtime=25.48 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 431962 0 0 0 2354 194 0 0 25 0 1 0 26493747 218869760 45146 1992294400 4194304 8223781 140733309528320 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 53435 45158 560 984 0 52448 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 213740 [startup+51.1012 s] /proc/loadavg: 1.33 1.81 1.62 2/107 28408 /proc/meminfo: memFree=1532620/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=211920 CPUtime=51.08 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 868010 0 0 0 4754 354 0 0 25 0 1 0 26493747 217006080 45254 1992294400 4194304 8223781 140733309528320 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52980 45254 561 984 0 51993 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 211920 [startup+102.308 s] /proc/loadavg: 1.13 1.67 1.58 2/107 28410 /proc/meminfo: memFree=1531752/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=210460 CPUtime=102.27 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 1519140 0 0 0 9631 596 0 0 25 0 1 0 26493747 215511040 45454 1992294400 4194304 8223781 140733309528320 18446744073709551615 5721528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52615 45454 561 984 0 51628 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 210460 [startup+162.301 s] /proc/loadavg: 1.05 1.55 1.54 2/107 28412 /proc/meminfo: memFree=1529396/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=209360 CPUtime=162.25 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 2499904 0 0 0 15270 955 0 0 25 0 1 0 26493747 214384640 46174 1992294400 4194304 8223781 140733309528320 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52340 46174 561 984 0 51353 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 209360 [startup+222.3 s] /proc/loadavg: 1.02 1.44 1.51 2/107 28414 /proc/meminfo: memFree=1529892/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=205840 CPUtime=222.24 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 3807275 0 0 0 20766 1458 0 0 25 0 1 0 26493747 210780160 46049 1992294400 4194304 8223781 140733309528320 18446744073709551615 6448550 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 51460 46049 586 984 0 50473 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 205840 [startup+282.301 s] /proc/loadavg: 1.00 1.37 1.47 2/107 28414 /proc/meminfo: memFree=1528032/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=207152 CPUtime=282.22 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 6935293 0 0 0 25519 2703 0 0 25 0 1 0 26493747 212123648 46527 1992294400 4194304 8223781 140733309528320 18446744073709551615 6299574 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 51788 46527 586 984 0 50801 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 207152 [startup+342.301 s] /proc/loadavg: 1.00 1.29 1.44 2/107 28416 /proc/meminfo: memFree=1527908/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=207304 CPUtime=342.21 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 10100735 0 0 0 30286 3935 0 0 25 0 1 0 26493747 212279296 46541 1992294400 4194304 8223781 140733309528320 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 51826 46541 586 984 0 50839 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 207304 [startup+402.301 s] /proc/loadavg: 1.00 1.24 1.41 2/107 28418 /proc/meminfo: memFree=1453756/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=283208 CPUtime=402.19 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13363767 0 0 0 35021 5198 0 0 25 0 1 0 26493747 290004992 64938 1992294400 4194304 8223781 140733309528320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 70802 64938 579 984 0 69815 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 283208 [startup+462.301 s] /proc/loadavg: 1.00 1.19 1.38 2/107 28420 /proc/meminfo: memFree=1517864/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=211048 CPUtime=462.18 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13369839 0 0 0 41005 5213 0 0 25 0 1 0 26493747 216113152 48873 1992294400 4194304 8223781 140733309528320 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52762 48873 585 984 0 51775 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 211048 [startup+522.301 s] /proc/loadavg: 1.00 1.16 1.36 2/107 28422 /proc/meminfo: memFree=1517864/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=211048 CPUtime=522.17 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13377530 0 0 0 46991 5226 0 0 25 0 1 0 26493747 216113152 48873 1992294400 4194304 8223781 140733309528320 18446744073709551615 6569894 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52762 48873 585 984 0 51775 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 211048 [startup+582.301 s] /proc/loadavg: 1.00 1.12 1.33 2/107 28422 /proc/meminfo: memFree=1517740/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=211048 CPUtime=582.15 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13385439 0 0 0 52975 5240 0 0 25 0 1 0 26493747 216113152 48873 1992294400 4194304 8223781 140733309528320 18446744073709551615 6251373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52762 48873 585 984 0 51775 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 211048 [startup+642.3 s] /proc/loadavg: 1.00 1.10 1.31 2/107 28424 /proc/meminfo: memFree=1517740/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=211048 CPUtime=642.14 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13392868 0 0 0 58962 5252 0 0 25 0 1 0 26493747 216113152 48873 1992294400 4194304 8223781 140733309528320 18446744073709551615 6503883 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52762 48873 585 984 0 51775 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 211048 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.03 1.21 2/107 28441 /proc/meminfo: memFree=1517120/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=211048 CPUtime=942.04 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13401748 0 0 0 88405 5799 0 0 25 0 1 0 26493747 216113152 48878 1992294400 4194304 8223781 140733309528320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52762 48878 589 984 0 51775 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 211048 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.19 2/107 28443 /proc/meminfo: memFree=1517120/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=211048 CPUtime=1002.02 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13401748 0 0 0 94268 5934 0 0 25 0 1 0 26493747 216113152 48878 1992294400 4194304 8223781 140733309528320 18446744073709551615 5907486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52762 48878 589 984 0 51775 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 211048 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.18 2/107 28445 /proc/meminfo: memFree=1517120/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=211048 CPUtime=1062.01 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13401748 0 0 0 100135 6066 0 0 25 0 1 0 26493747 216113152 48878 1992294400 4194304 8223781 140733309528320 18446744073709551615 5905987 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52762 48878 589 984 0 51775 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 211048 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.16 2/107 28447 /proc/meminfo: memFree=1516996/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=211048 CPUtime=1122 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13401748 0 0 0 106006 6194 0 0 25 0 1 0 26493747 216113152 48878 1992294400 4194304 8223781 140733309528320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52762 48878 589 984 0 51775 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 211048 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.15 2/107 28447 /proc/meminfo: memFree=1516872/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=211048 CPUtime=1181.99 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13401748 0 0 0 111871 6328 0 0 25 0 1 0 26493747 216113152 48878 1992294400 4194304 8223781 140733309528320 18446744073709551615 4393381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52762 48878 589 984 0 51775 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 211048 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 28449 /proc/meminfo: memFree=1516748/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=211048 CPUtime=1241.96 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13401748 0 0 0 117733 6463 0 0 25 0 1 0 26493747 216113152 48878 1992294400 4194304 8223781 140733309528320 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52762 48878 589 984 0 51775 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 211048 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.13 2/107 28451 /proc/meminfo: memFree=1516624/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=211048 CPUtime=1301.96 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13401748 0 0 0 123600 6596 0 0 25 0 1 0 26493747 216113152 48878 1992294400 4194304 8223781 140733309528320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52762 48878 589 984 0 51775 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 211048 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 28453 /proc/meminfo: memFree=1516624/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=211048 CPUtime=1361.94 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13401748 0 0 0 129467 6727 0 0 25 0 1 0 26493747 216113152 48878 1992294400 4194304 8223781 140733309528320 18446744073709551615 4349907 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52762 48878 589 984 0 51775 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 211048 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.11 2/107 28455 /proc/meminfo: memFree=1516624/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=211048 CPUtime=1421.93 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13401748 0 0 0 135342 6851 0 0 25 0 1 0 26493747 216113152 48878 1992294400 4194304 8223781 140733309528320 18446744073709551615 5907483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52762 48878 589 984 0 51775 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 211048 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.10 2/107 28455 /proc/meminfo: memFree=1516500/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=211048 CPUtime=1481.91 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13401748 0 0 0 141203 6988 0 0 25 0 1 0 26493747 216113152 48878 1992294400 4194304 8223781 140733309528320 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52762 48878 589 984 0 51775 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 211048 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 28460 /proc/meminfo: memFree=1516004/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=211048 CPUtime=1541.89 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13401748 0 0 0 147064 7125 0 0 25 0 1 0 26493747 216113152 48878 1992294400 4194304 8223781 140733309528320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52762 48878 589 984 0 51775 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 211048 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 28462 /proc/meminfo: memFree=1516128/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=211048 CPUtime=1601.88 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13401748 0 0 0 152926 7262 0 0 25 0 1 0 26493747 216113152 48878 1992294400 4194304 8223781 140733309528320 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52762 48878 589 984 0 51775 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 211048 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 28464 /proc/meminfo: memFree=1516128/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=211048 CPUtime=1661.86 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13401748 0 0 0 158790 7396 0 0 25 0 1 0 26493747 216113152 48878 1992294400 4194304 8223781 140733309528320 18446744073709551615 5506140 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52762 48878 589 984 0 51775 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 211048 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 28466 /proc/meminfo: memFree=1516128/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=211048 CPUtime=1721.85 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13401748 0 0 0 164661 7524 0 0 25 0 1 0 26493747 216113152 48878 1992294400 4194304 8223781 140733309528320 18446744073709551615 4998670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52762 48878 589 984 0 51775 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 211048 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.06 2/107 28466 /proc/meminfo: memFree=1515756/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=211048 CPUtime=1781.83 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13401748 0 0 0 170529 7654 0 0 25 0 1 0 26493747 216113152 48878 1992294400 4194304 8223781 140733309528320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52762 48878 589 984 0 51775 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 211048 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.06 2/107 28468 /proc/meminfo: memFree=1515756/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=211048 CPUtime=1800.03 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13401748 0 0 0 172312 7691 0 0 25 0 1 0 26493747 216113152 48878 1992294400 4194304 8223781 140733309528320 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28407/statm: 52762 48878 589 984 0 51775 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 211048 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.06 2/108 28469 /proc/meminfo: memFree=1516368/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=210412 CPUtime=1800.14 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13401750 0 0 0 172323 7691 0 0 25 0 1 0 26493747 215461888 48722 1992294400 4194304 8223781 140733309528320 18446744073709551615 6075188 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28407/statm: 52603 48722 591 984 0 51616 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 210412 [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.06 2/108 28469 /proc/meminfo: memFree=1516368/2059040 swapFree=4140388/4192956 [pid=28407] ppid=28405 vsize=173740 CPUtime=1800.33 /proc/28407/stat : 28407 (pbscip.linux.x8) R 28405 28407 28138 0 -1 4202496 13401750 0 0 0 172341 7692 0 0 25 0 1 0 26493747 177909760 39585 1992294400 4194304 8223781 140733309528320 18446744073709551615 6207264 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28407/statm: 43435 39585 591 984 0 42448 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 173740 Child status: 0 Real time (s): 1800.87 CPU time (s): 1800.41 CPU user time (s): 1723.47 CPU system time (s): 76.9443 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (KiB): 287360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1723.47 system time used= 76.9443 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13401754 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= 6330 runsolver used 3.13152 second user time and 8.36473 second system time The end
Begin job on node004 at 2010-06-14 11:48:19 IDJOB=2667063 IDBENCH=2264 IDSOLVER=1169 FILE ID=node004/2667063-1276508899 PBS_JOBID= 11173419 Free space on /tmp= 62548 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as 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.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667063-1276508899/watcher-2667063-1276508899 -o /tmp/evaluation-result-2667063-1276508899/solver-2667063-1276508899 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667063-1276508899.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 669011fc499ae56e44c354cc6cddc4c7 RANDOM SEED=68550348 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: 1713452 kB Buffers: 114388 kB Cached: 148668 kB SwapCached: 6684 kB Active: 106644 kB Inactive: 169988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1713452 kB SwapTotal: 4192956 kB SwapFree: 4140388 kB Dirty: 6488 kB Writeback: 0 kB AnonPages: 11388 kB Mapped: 12916 kB Slab: 47220 kB PageTables: 4104 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182620 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= 62544 MiB End job on node004 at 2010-06-14 12:18:21