Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | -36 | 1800.44 | 1801.17 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb |
| MD5SUM | 29f577041bedcbf69a98210424b233be |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -42 |
| Best CPU time to get the best result obtained on this benchmark | 1789.9 |
| 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 | 81068 |
| Number of constraints which are clauses | 81068 |
| 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: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665508-1276506612.opb>
1.19/1.25 c original problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 81068 constraints
1.19/1.25 c problem read
1.19/1.25 c presolving settings loaded
1.39/1.46 o 0
1.39/1.46 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.39/1.46 c presolving:
2.39/2.48 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 81068 upgd conss, 162136 impls, 0 clqs
4.09/4.19 c (2.6s) probing: 101/1150 (8.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.09/4.19 c (2.6s) probing aborted: 100/100 successive totally useless probings
4.09/4.19 c presolving (2 rounds):
4.09/4.19 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.09/4.19 c 162136 implications, 0 cliques
4.09/4.19 c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 81068 constraints
4.09/4.19 c 81068 constraints of type <logicor>
4.09/4.19 c transformed objective value is always integral (scale: 1)
4.09/4.19 c Presolving Time: 2.52
4.09/4.19 c - non default parameters ----------------------------------------------------------------------
4.09/4.19 c # SCIP version 1.2.1.2
4.09/4.19 c
4.09/4.19 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
4.09/4.19 c # [type: int, range: [-1,2147483647], default: -1]
4.09/4.19 c conflict/interconss = 0
4.09/4.19 c
4.09/4.19 c # should binary conflicts be preferred?
4.09/4.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.09/4.19 c conflict/preferbinary = TRUE
4.09/4.19 c
4.09/4.19 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
4.09/4.19 c # [type: int, range: [-1,2147483647], default: 0]
4.09/4.19 c constraints/agelimit = 1
4.09/4.19 c
4.09/4.19 c # should enforcement of pseudo solution be disabled?
4.09/4.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.09/4.19 c constraints/disableenfops = TRUE
4.09/4.19 c
4.09/4.19 c # frequency for displaying node information lines
4.09/4.19 c # [type: int, range: [-1,2147483647], default: 100]
4.09/4.19 c display/freq = 10000
4.09/4.19 c
4.09/4.19 c # maximal time in seconds to run
4.09/4.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.09/4.19 c limits/time = 1798.76
4.09/4.19 c
4.09/4.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.09/4.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.09/4.19 c limits/memory = 1620
4.09/4.19 c
4.09/4.19 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.09/4.19 c # [type: int, range: [-1,2147483647], default: 1]
4.09/4.19 c lp/solvefreq = 0
4.09/4.19 c
4.09/4.19 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.09/4.19 c # [type: char, range: {lafpsqd}, default: l]
4.09/4.19 c lp/pricing = a
4.09/4.19 c
4.09/4.19 c # should presolving try to simplify inequalities
4.09/4.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.09/4.19 c constraints/linear/simplifyinequalities = TRUE
4.09/4.19 c
4.09/4.19 c # should presolving try to simplify knapsacks
4.09/4.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.09/4.19 c constraints/knapsack/simplifyinequalities = TRUE
4.09/4.19 c
4.09/4.19 c # priority of node selection rule <dfs> in standard mode
4.09/4.19 c # [type: int, range: [-536870912,536870911], default: 0]
4.09/4.19 c nodeselection/dfs/stdpriority = 1000000
4.09/4.19 c
4.09/4.19 c -----------------------------------------------------------------------------------------------
4.09/4.19 c start solving
4.19/4.20 c
5.89/5.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.89/5.96 c t 4.3s| 1 | 0 | 1273 | - | 90M| 0 |1150 |1150 | 81k|1150 | 81k| 0 | 0 | 0 |-5.750000e+02 | 0.000000e+00 | 100.00%
6.08/6.12 o -1
6.08/6.12 c R 4.4s| 1 | 0 | 1273 | - | 90M| 0 |1150 |1150 | 81k|1150 | 81k| 0 | 0 | 0 |-5.750000e+02 |-1.000000e+00 | 99.83%
15.88/15.93 c 14.1s| 1 | 0 | 1750 | - | 90M| 0 |1078 |1150 | 81k|1150 | 81k| 15 | 0 | 0 |-5.390000e+02 |-1.000000e+00 | 99.81%
15.98/16.01 o -36
15.98/16.01 c b14.2s| 1 | 0 | 1750 | - | 90M| 0 |1078 |1150 | 81k|1150 | 81k| 15 | 0 | 0 |-5.390000e+02 |-3.600000e+01 | 93.32%
24.68/24.74 c 22.9s| 1 | 0 | 2090 | - | 90M| 0 |1035 |1150 | 81k|1150 | 81k| 20 | 0 | 0 |-5.175000e+02 |-3.600000e+01 | 93.04%
31.68/31.75 c 29.8s| 1 | 0 | 2285 | - | 90M| 0 |1011 |1150 | 81k|1150 | 81k| 31 | 0 | 0 |-5.055000e+02 |-3.600000e+01 | 92.88%
51.07/51.11 c 49.1s| 1 | 0 | 3034 | - | 90M| 0 | 967 |1150 | 81k|1150 | 81k| 40 | 0 | 0 |-4.827500e+02 |-3.600000e+01 | 92.54%
66.27/66.30 c 64.2s| 1 | 0 | 3608 | - | 90M| 0 | 925 |1150 | 81k|1150 | 81k| 45 | 0 | 0 |-4.617500e+02 |-3.600000e+01 | 92.20%
84.45/84.58 c 82.4s| 1 | 0 | 4275 | - | 90M| 0 | 866 |1150 | 81k|1150 | 81k| 53 | 0 | 0 |-4.322500e+02 |-3.600000e+01 | 91.67%
102.05/102.17 c 99.9s| 1 | 0 | 4919 | - | 90M| 0 | 821 |1150 | 81k|1150 | 81k| 65 | 0 | 0 |-4.097500e+02 |-3.600000e+01 | 91.21%
117.95/118.09 c 116s| 1 | 0 | 5447 | - | 90M| 0 | 773 |1150 | 81k|1150 | 81k| 79 | 0 | 0 |-3.847500e+02 |-3.600000e+01 | 90.64%
135.64/135.78 c 133s| 1 | 0 | 6057 | - | 90M| 0 | 729 |1150 | 81k|1150 | 81k| 86 | 0 | 0 |-3.637500e+02 |-3.600000e+01 | 90.10%
150.93/151.09 c 149s| 1 | 0 | 6516 | - | 90M| 0 | 689 |1150 | 81k|1150 | 81k| 95 | 0 | 0 |-3.437500e+02 |-3.600000e+01 | 89.53%
163.22/163.31 c 161s| 1 | 0 | 7325 | - | 90M| 0 | 648 |1150 | 81k|1150 | 81k| 100 | 0 | 0 |-3.232500e+02 |-3.600000e+01 | 88.86%
175.42/175.53 c 173s| 1 | 0 | 8047 | - | 90M| 0 | 604 |1150 | 81k|1150 | 81k| 104 | 0 | 0 |-3.020000e+02 |-3.600000e+01 | 88.08%
187.32/187.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.32/187.41 c 185s| 1 | 0 | 8809 | - | 90M| 0 | 560 |1150 | 81k|1150 | 81k| 113 | 0 | 0 |-2.800000e+02 |-3.600000e+01 | 87.14%
200.11/200.23 c 197s| 1 | 0 | 9814 | - | 90M| 0 | 500 |1150 | 81k|1150 | 81k| 124 | 0 | 0 |-2.492500e+02 |-3.600000e+01 | 85.56%
210.81/210.94 c 208s| 1 | 0 | 10542 | - | 90M| 0 | 459 |1150 | 81k|1150 | 81k| 132 | 0 | 0 |-2.287500e+02 |-3.600000e+01 | 84.26%
216.40/216.54 c 214s| 1 | 0 | 11000 | - | 90M| 0 | 438 |1150 | 81k|1150 | 81k| 139 | 0 | 0 |-2.182500e+02 |-3.600000e+01 | 83.51%
227.00/227.15 c 224s| 1 | 0 | 11761 | - | 90M| 0 | 397 |1150 | 81k|1150 | 81k| 147 | 0 | 0 |-1.977500e+02 |-3.600000e+01 | 81.80%
239.29/239.42 c 236s| 1 | 0 | 12774 | - | 90M| 0 | 337 |1150 | 81k|1150 | 81k| 151 | 0 | 0 |-1.685000e+02 |-3.600000e+01 | 78.64%
243.39/243.53 c 240s| 1 | 0 | 13107 | - | 90M| 0 | 316 |1150 | 81k|1150 | 81k| 155 | 0 | 0 |-1.580000e+02 |-3.600000e+01 | 77.22%
251.99/252.19 c 249s| 1 | 0 | 13862 | - | 90M| 0 | 278 |1150 | 81k|1150 | 81k| 163 | 0 | 0 |-1.390000e+02 |-3.600000e+01 | 74.10%
257.48/257.61 c 254s| 1 | 0 | 14365 | - | 90M| 0 | 240 |1150 | 81k|1150 | 81k| 170 | 0 | 0 |-1.200000e+02 |-3.600000e+01 | 70.00%
259.28/259.49 c 256s| 1 | 0 | 14594 | - | 90M| 0 | 216 |1150 | 81k|1150 | 81k| 177 | 0 | 0 |-1.080000e+02 |-3.600000e+01 | 66.67%
264.78/264.93 c 262s| 1 | 0 | 15168 | - | 90M| 0 | 181 |1150 | 81k|1150 | 81k| 185 | 0 | 0 |-8.800000e+01 |-3.600000e+01 | 59.09%
266.69/266.81 c 263s| 1 | 0 | 15447 | - | 90M| 0 | 163 |1150 | 81k|1150 | 81k| 191 | 0 | 0 |-7.800000e+01 |-3.600000e+01 | 53.85%
272.38/272.54 c 269s| 1 | 0 | 16123 | - | 90M| 0 | 189 |1150 | 81k|1150 | 81k| 199 | 0 | 0 |-5.900000e+01 |-3.600000e+01 | 38.98%
275.48/275.68 c 272s| 1 | 0 | 16524 | - | 91M| 0 | 151 |1150 | 81k|1150 | 81k| 210 | 0 | 0 |-5.000000e+01 |-3.600000e+01 | 28.00%
281.68/281.89 c 278s| 1 | 0 | 17205 | - | 91M| 0 | 229 |1150 | 81k|1150 | 81k| 222 | 0 | 0 |-5.000000e+01 |-3.600000e+01 | 28.00%
286.77/286.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
286.77/286.93 c 283s| 1 | 0 | 17665 | - | 91M| 0 | 307 |1150 | 81k|1150 | 81k| 233 | 0 | 0 |-5.000000e+01 |-3.600000e+01 | 28.00%
308.77/308.98 c 305s| 1 | 0 | 18626 | - | 91M| 0 | 317 |1150 | 81k|1150 | 81k| 241 | 0 | 0 |-5.000000e+01 |-3.600000e+01 | 28.00%
355.44/355.69 c 352s| 1 | 0 | 19293 | - | 91M| 0 | 350 |1150 | 81k|1150 | 81k| 250 | 0 | 0 |-5.000000e+01 |-3.600000e+01 | 28.00%
409.82/410.02 c 406s| 1 | 0 | 20057 | - | 91M| 0 | 288 |1150 | 81k|1150 | 81k| 258 | 0 | 0 |-5.000000e+01 |-3.600000e+01 | 28.00%
698.90/699.27 c 693s| 1 | 2 | 20057 | - | 91M| 0 | 288 |1150 | 81k|1150 | 81k| 258 | 0 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
705.31/705.65 c 699s| 10000 | 25 | 20057 | 0.0 | 92M| 49 | - |1150 | 81k| 0 | 0 | 258 | 98 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
711.60/711.91 c 705s| 20000 | 28 | 20057 | 0.0 | 92M| 50 | - |1150 | 81k| 0 | 0 | 258 | 188 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
717.60/717.96 c 711s| 30000 | 25 | 20057 | 0.0 | 92M| 52 | - |1150 | 81k| 0 | 0 | 258 | 284 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
723.70/724.08 c 717s| 40000 | 28 | 20057 | 0.0 | 92M| 53 | - |1150 | 81k| 0 | 0 | 258 | 320 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
729.90/730.21 c 723s| 50000 | 28 | 20057 | 0.0 | 92M| 53 | - |1150 | 81k| 0 | 0 | 258 | 355 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
736.00/736.37 c 729s| 60000 | 29 | 20057 | 0.0 | 92M| 54 | - |1150 | 81k| 0 | 0 | 258 | 408 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
742.30/742.69 c 735s| 70000 | 25 | 20057 | 0.0 | 92M| 54 | - |1150 | 81k| 0 | 0 | 258 | 443 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
748.49/748.87 c 741s| 80000 | 25 | 20057 | 0.0 | 92M| 55 | - |1150 | 81k| 0 | 0 | 258 | 503 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
754.59/754.90 c 747s| 90000 | 27 | 20057 | 0.0 | 92M| 55 | - |1150 | 81k| 0 | 0 | 258 | 546 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
760.29/760.61 c 753s|100000 | 26 | 20057 | 0.0 | 92M| 56 | - |1150 | 81k| 0 | 0 | 258 | 617 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
766.08/766.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
766.08/766.44 c 758s|110000 | 26 | 20057 | 0.0 | 92M| 56 | - |1150 | 81k| 0 | 0 | 258 | 677 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
772.07/772.44 c 764s|120000 | 27 | 20057 | 0.0 | 92M| 56 | - |1150 | 81k| 0 | 0 | 258 | 721 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
777.78/778.17 c 770s|130000 | 24 | 20057 | 0.0 | 92M| 56 | - |1150 | 81k| 0 | 0 | 258 | 768 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
783.88/784.22 c 776s|140000 | 25 | 20057 | 0.0 | 92M| 56 | - |1150 | 81k| 0 | 0 | 258 | 799 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
789.88/790.22 c 782s|150000 | 26 | 20057 | 0.0 | 92M| 56 | - |1150 | 81k| 0 | 0 | 258 | 845 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
795.87/796.27 c 787s|160000 | 25 | 20057 | 0.0 | 92M| 56 | - |1150 | 81k| 0 | 0 | 258 | 909 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
801.87/802.26 c 793s|170000 | 27 | 20057 | 0.0 | 92M| 56 | - |1150 | 81k| 0 | 0 | 258 | 943 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
807.97/808.38 c 799s|180000 | 26 | 20057 | 0.0 | 92M| 56 | - |1150 | 81k| 0 | 0 | 258 | 998 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
814.36/814.71 c 806s|190000 | 25 | 20057 | 0.0 | 92M| 56 | - |1150 | 81k| 0 | 0 | 258 |1038 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
820.46/820.85 c 812s|200000 | 26 | 20057 | 0.0 | 92M| 58 | - |1150 | 81k| 0 | 0 | 258 |1072 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
826.56/826.91 c 817s|210000 | 26 | 20057 | 0.0 | 92M| 58 | - |1150 | 81k| 0 | 0 | 258 |1109 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
832.55/832.92 c 823s|220000 | 24 | 20057 | 0.0 | 92M| 59 | - |1150 | 81k| 0 | 0 | 258 |1146 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
838.65/839.04 c 829s|230000 | 26 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |1187 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
844.75/845.16 c 835s|240000 | 25 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |1252 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
850.84/851.24 c 841s|250000 | 25 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |1303 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
856.95/857.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
856.95/857.34 c 847s|260000 | 26 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |1347 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
863.15/863.51 c 853s|270000 | 28 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |1395 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
869.14/869.58 c 859s|280000 | 26 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |1450 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
875.15/875.57 c 865s|290000 | 25 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |1498 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
881.24/881.65 c 871s|300000 | 23 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |1552 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
887.25/887.67 c 877s|310000 | 26 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |1606 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
893.13/893.51 c 883s|320000 | 26 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |1678 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
899.13/899.52 c 888s|330000 | 26 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |1734 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
905.23/905.62 c 894s|340000 | 27 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |1793 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
911.12/911.59 c 900s|350000 | 27 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |1829 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
917.12/917.50 c 906s|360000 | 28 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |1879 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
923.02/923.44 c 912s|370000 | 26 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |1935 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
928.91/929.32 c 918s|380000 | 27 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2000 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
935.01/935.41 c 924s|390000 | 28 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2076 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
941.12/941.51 c 930s|400000 | 26 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2138 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
947.01/947.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
947.01/947.42 c 935s|410000 | 26 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2192 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
953.01/953.47 c 941s|420000 | 26 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2233 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
958.90/959.35 c 947s|430000 | 28 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2292 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
965.00/965.42 c 953s|440000 | 24 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2350 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
970.90/971.36 c 959s|450000 | 26 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2395 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
976.89/977.37 c 965s|460000 | 25 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2425 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
982.90/983.31 c 970s|470000 | 25 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2463 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
988.89/989.32 c 976s|480000 | 24 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2507 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
994.69/995.16 c 982s|490000 | 26 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2536 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1000.59/1001.07 c 988s|500000 | 24 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2567 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1006.58/1007.02 c 994s|510000 | 25 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2596 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1012.88/1013.32 c 1000s|520000 | 27 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2638 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1018.88/1019.39 c 1006s|530000 | 22 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2685 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1024.68/1025.13 c 1011s|540000 | 25 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2724 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1030.67/1031.14 c 1017s|550000 | 26 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2755 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1036.57/1037.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1036.57/1037.07 c 1023s|560000 | 25 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2788 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1042.38/1042.88 c 1029s|570000 | 26 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2829 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1048.56/1049.01 c 1035s|580000 | 25 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2881 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1054.87/1055.30 c 1041s|590000 | 26 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2931 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1060.86/1061.35 c 1047s|600000 | 24 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |2971 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1066.86/1067.33 c 1053s|610000 | 24 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |3041 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1072.86/1073.31 c 1058s|620000 | 27 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |3096 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1078.75/1079.24 c 1064s|630000 | 27 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |3133 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1084.55/1085.06 c 1070s|640000 | 28 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |3180 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1090.45/1090.99 c 1076s|650000 | 25 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |3243 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1096.55/1097.10 c 1082s|660000 | 26 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |3272 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1102.64/1103.13 c 1088s|670000 | 24 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |3319 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1108.55/1109.08 c 1093s|680000 | 24 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |3366 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1114.64/1115.12 c 1099s|690000 | 25 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |3408 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1120.44/1120.98 c 1105s|700000 | 27 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |3440 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1126.33/1126.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1126.33/1126.80 c 1111s|710000 | 28 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |3482 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1132.33/1132.83 c 1117s|720000 | 27 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |3541 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1138.33/1138.86 c 1123s|730000 | 25 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |3593 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1144.23/1144.77 c 1128s|740000 | 25 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |3630 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1150.33/1150.81 c 1134s|750000 | 25 | 20057 | 0.0 | 92M| 62 | - |1150 | 81k| 0 | 0 | 258 |3684 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1156.12/1156.64 c 1140s|760000 | 25 | 20057 | 0.0 | 92M| 63 | - |1150 | 81k| 0 | 0 | 258 |3730 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1162.13/1162.62 c 1146s|770000 | 26 | 20057 | 0.0 | 92M| 63 | - |1150 | 81k| 0 | 0 | 258 |3757 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1167.92/1168.44 c 1152s|780000 | 25 | 20057 | 0.0 | 92M| 63 | - |1150 | 81k| 0 | 0 | 258 |3799 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1173.92/1174.40 c 1157s|790000 | 25 | 20057 | 0.0 | 92M| 63 | - |1150 | 81k| 0 | 0 | 258 |3864 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1179.72/1180.21 c 1163s|800000 | 24 | 20057 | 0.0 | 92M| 63 | - |1150 | 81k| 0 | 0 | 258 |3908 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1185.51/1186.06 c 1169s|810000 | 24 | 20057 | 0.0 | 92M| 63 | - |1150 | 81k| 0 | 0 | 258 |3940 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1191.40/1191.91 c 1174s|820000 | 23 | 20057 | 0.0 | 92M| 63 | - |1150 | 81k| 0 | 0 | 258 |3979 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1197.31/1197.81 c 1180s|830000 | 28 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4010 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1203.20/1203.71 c 1186s|840000 | 23 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4063 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1209.10/1209.62 c 1192s|850000 | 26 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4105 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1214.90/1215.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1214.90/1215.41 c 1197s|860000 | 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4133 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1220.70/1221.23 c 1203s|870000 | 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4190 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1226.60/1227.11 c 1209s|880000 | 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4214 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1232.50/1233.06 c 1215s|890000 | 26 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4246 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1238.69/1239.24 c 1221s|900000 | 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4288 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1245.09/1245.60 c 1227s|910000 | 26 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4330 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1251.09/1251.65 c 1233s|920000 | 25 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4382 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1257.08/1257.69 c 1239s|930000 | 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4428 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1263.08/1263.60 c 1245s|940000 | 26 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4466 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1269.08/1269.66 c 1250s|950000 | 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4485 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1275.28/1275.86 c 1257s|960000 | 23 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4528 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1281.57/1282.10 c 1263s|970000 | 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4579 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1287.48/1288.02 c 1268s|980000 | 25 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4618 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1293.37/1293.96 c 1274s|990000 | 25 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4648 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1299.47/1300.01 c 1280s| 1000k| 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4701 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1305.26/1305.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1305.26/1305.86 c 1286s| 1010k| 25 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4732 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1310.96/1311.57 c 1291s| 1020k| 23 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4767 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1316.95/1317.52 c 1297s| 1030k| 23 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4796 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1322.76/1323.33 c 1303s| 1040k| 23 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4811 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1328.75/1329.37 c 1309s| 1050k| 23 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4847 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1334.75/1335.40 c 1315s| 1060k| 22 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4889 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1340.94/1341.58 c 1321s| 1070k| 25 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4955 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1346.95/1347.55 c 1327s| 1080k| 25 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |4996 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1353.04/1353.61 c 1333s| 1090k| 25 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5040 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1358.95/1359.60 c 1338s| 1100k| 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5068 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1365.14/1365.77 c 1344s| 1110k| 27 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5107 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1371.24/1371.85 c 1350s| 1120k| 25 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5158 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1377.23/1377.81 c 1356s| 1130k| 23 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5203 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1383.33/1383.97 c 1362s| 1140k| 26 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5250 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1389.32/1389.91 c 1368s| 1150k| 26 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5300 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1395.02/1395.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1395.02/1395.69 c 1374s| 1160k| 26 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5333 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1401.02/1401.67 c 1380s| 1170k| 27 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5366 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1407.02/1407.63 c 1385s| 1180k| 26 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5406 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1412.83/1413.45 c 1391s| 1190k| 26 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5469 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1418.62/1419.26 c 1397s| 1200k| 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5493 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1424.31/1424.96 c 1402s| 1210k| 26 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5549 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1430.21/1430.82 c 1408s| 1220k| 25 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5594 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1436.11/1436.72 c 1414s| 1230k| 25 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5619 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1441.91/1442.51 c 1420s| 1240k| 23 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5648 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1447.80/1448.46 c 1425s| 1250k| 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5673 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1454.10/1454.77 c 1432s| 1260k| 25 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5730 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1460.30/1460.91 c 1438s| 1270k| 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5781 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1466.40/1467.02 c 1444s| 1280k| 25 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5826 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1472.50/1473.19 c 1450s| 1290k| 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5871 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1478.60/1479.24 c 1455s| 1300k| 23 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5915 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1484.69/1485.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1484.69/1485.32 c 1461s| 1310k| 26 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |5972 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1490.99/1491.62 c 1468s| 1320k| 23 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6027 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1497.19/1497.85 c 1474s| 1330k| 23 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6093 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1502.99/1503.67 c 1479s| 1340k| 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6136 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1509.08/1509.74 c 1485s| 1350k| 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6156 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1514.77/1515.46 c 1491s| 1360k| 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6202 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1520.58/1521.24 c 1497s| 1370k| 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6250 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1526.48/1527.11 c 1502s| 1380k| 25 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6296 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1532.57/1533.22 c 1508s| 1390k| 26 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6348 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1538.57/1539.22 c 1514s| 1400k| 27 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6375 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1544.67/1545.32 c 1520s| 1410k| 26 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6437 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1550.66/1551.37 c 1526s| 1420k| 26 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6455 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1556.56/1557.28 c 1532s| 1430k| 23 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6484 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1562.47/1563.13 c 1538s| 1440k| 21 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6512 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1568.56/1569.23 c 1544s| 1450k| 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6546 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1574.46/1575.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1574.46/1575.19 c 1549s| 1460k| 23 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6582 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1580.35/1581.02 c 1555s| 1470k| 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6615 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1586.15/1586.88 c 1561s| 1480k| 23 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6661 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1592.15/1592.82 c 1567s| 1490k| 22 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6704 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1598.35/1599.00 c 1573s| 1500k| 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6764 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1604.25/1604.94 c 1578s| 1510k| 22 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6799 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1610.24/1610.93 c 1584s| 1520k| 22 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6828 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1616.34/1617.02 c 1590s| 1530k| 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6872 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1622.24/1622.99 c 1596s| 1540k| 25 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6911 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1628.24/1628.95 c 1602s| 1550k| 25 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |6959 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1634.43/1635.16 c 1608s| 1560k| 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |7013 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1640.63/1641.30 c 1614s| 1570k| 25 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |7063 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1646.62/1647.30 c 1620s| 1580k| 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |7109 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1652.22/1652.92 c 1625s| 1590k| 25 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |7167 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1658.13/1658.89 c 1631s| 1600k| 25 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |7200 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1663.92/1664.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1663.92/1664.67 c 1637s| 1610k| 23 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |7276 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1669.82/1670.52 c 1643s| 1620k| 24 | 20057 | 0.0 | 92M| 66 | - |1150 | 81k| 0 | 0 | 258 |7305 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1675.72/1676.48 c 1648s| 1630k| 25 | 20057 | 0.0 | 92M| 68 | - |1150 | 81k| 0 | 0 | 258 |7354 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1682.31/1683.01 c 1655s| 1640k| 25 | 20057 | 0.0 | 92M| 68 | - |1150 | 81k| 0 | 0 | 258 |7377 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1688.50/1689.22 c 1661s| 1650k| 23 | 20057 | 0.0 | 92M| 68 | - |1150 | 81k| 0 | 0 | 258 |7415 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1694.60/1695.30 c 1667s| 1660k| 25 | 20057 | 0.0 | 92M| 68 | - |1150 | 81k| 0 | 0 | 258 |7463 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1700.50/1701.26 c 1673s| 1670k| 24 | 20057 | 0.0 | 92M| 68 | - |1150 | 81k| 0 | 0 | 258 |7520 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1706.40/1707.20 c 1678s| 1680k| 24 | 20057 | 0.0 | 92M| 68 | - |1150 | 81k| 0 | 0 | 258 |7568 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1712.20/1712.99 c 1684s| 1690k| 26 | 20057 | 0.0 | 92M| 68 | - |1150 | 81k| 0 | 0 | 258 |7604 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1718.20/1718.91 c 1690s| 1700k| 25 | 20057 | 0.0 | 92M| 68 | - |1150 | 81k| 0 | 0 | 258 |7646 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1724.19/1724.97 c 1696s| 1710k| 26 | 20057 | 0.0 | 92M| 68 | - |1150 | 81k| 0 | 0 | 258 |7693 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1730.39/1731.10 c 1702s| 1720k| 24 | 20057 | 0.0 | 92M| 68 | - |1150 | 81k| 0 | 0 | 258 |7741 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1736.39/1737.10 c 1708s| 1730k| 26 | 20057 | 0.0 | 92M| 68 | - |1150 | 81k| 0 | 0 | 258 |7789 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1742.09/1742.85 c 1713s| 1740k| 24 | 20057 | 0.0 | 92M| 68 | - |1150 | 81k| 0 | 0 | 258 |7830 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1747.78/1748.54 c 1719s| 1750k| 24 | 20057 | 0.0 | 92M| 68 | - |1150 | 81k| 0 | 0 | 258 |7877 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1753.78/1754.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1753.78/1754.51 c 1725s| 1760k| 24 | 20057 | 0.0 | 92M| 68 | - |1150 | 81k| 0 | 0 | 258 |7931 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1760.08/1760.83 c 1731s| 1770k| 23 | 20057 | 0.0 | 92M| 68 | - |1150 | 81k| 0 | 0 | 258 |7959 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1766.17/1766.96 c 1737s| 1780k| 26 | 20057 | 0.0 | 92M| 68 | - |1150 | 81k| 0 | 0 | 258 |8003 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1772.17/1772.93 c 1743s| 1790k| 25 | 20057 | 0.0 | 92M| 68 | - |1150 | 81k| 0 | 0 | 258 |8037 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1778.17/1778.95 c 1749s| 1800k| 23 | 20057 | 0.0 | 92M| 68 | - |1150 | 81k| 0 | 0 | 258 |8091 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1784.06/1784.87 c 1754s| 1810k| 22 | 20057 | 0.0 | 92M| 68 | - |1150 | 81k| 0 | 0 | 258 |8167 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1790.17/1790.99 c 1760s| 1820k| 24 | 20057 | 0.0 | 92M| 68 | - |1150 | 81k| 0 | 0 | 258 |8202 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1796.57/1797.32 c 1767s| 1830k| 25 | 20057 | 0.0 | 92M| 68 | - |1150 | 81k| 0 | 0 | 258 |8257 | 33 |-5.000000e+01 |-3.600000e+01 | 28.00%
1800.07/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.80 c
1800.07/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.80 c Solving Time (sec) : 1770.08
1800.07/1800.80 c Solving Nodes : 1835729
1800.07/1800.80 c Primal Bound : -3.60000000000000e+01 (13 solutions)
1800.07/1800.80 c Dual Bound : -4.99999999999999e+01
1800.07/1800.80 c Gap : 28.00 %
1800.07/1800.85 s SATISFIABLE
1800.07/1800.85 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.07/1800.85 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.07/1800.85 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.07/1800.85 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
1800.07/1800.85 v -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123
1800.07/1800.85 v -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144
1800.07/1800.85 v -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165
1800.07/1800.85 v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186
1800.07/1800.85 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207
1800.07/1800.85 v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228
1800.07/1800.85 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
1800.07/1800.85 v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1800.07/1800.85 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
1800.07/1800.85 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311
1800.07/1800.85 v -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332
1800.07/1800.85 v -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353
1800.07/1800.85 v -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374
1800.07/1800.85 v -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395
1800.07/1800.85 v -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416
1800.07/1800.85 v -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437
1800.07/1800.85 v -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458
1800.07/1800.85 v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479
1800.07/1800.85 v -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
1800.07/1800.85 v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521
1800.07/1800.85 v -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541
1800.07/1800.85 v -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562
1800.07/1800.85 v -x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583
1800.07/1800.85 v -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604
1800.07/1800.85 v -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625
1800.07/1800.85 v -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646
1800.07/1800.85 v -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667
1800.07/1800.85 v -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688
1800.07/1800.85 v -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709
1800.07/1800.85 v -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
1800.07/1800.85 v -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751
1800.07/1800.85 v -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772
1800.07/1800.85 v -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793
1800.07/1800.85 v -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814
1800.07/1800.85 v -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835
1800.07/1800.85 v -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856
1800.07/1800.85 v -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877
1800.07/1800.85 v -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898
1800.07/1800.85 v -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919
1800.07/1800.85 v -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
1800.07/1800.85 v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961
1800.07/1800.85 v -x962 -x963 -x964 -x965 x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982
1800.07/1800.85 v -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002
1800.07/1800.85 v -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
1800.07/1800.85 v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038
1800.07/1800.85 v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056
1800.07/1800.85 v -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1800.07/1800.85 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092
1800.07/1800.85 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
1800.07/1800.85 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128
1800.07/1800.85 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146
1800.07/1800.85 v -x1147 -x1148 -x1149 x1150
1800.07/1800.85 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.85 c Solving Time : 1770.08
1800.07/1800.85 c Original Problem :
1800.07/1800.85 c Problem name : HOME/instance-2665508-1276506612.opb
1800.07/1800.85 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.85 c Constraints : 81068 initial, 81068 maximal
1800.07/1800.85 c Presolved Problem :
1800.07/1800.85 c Problem name : t_HOME/instance-2665508-1276506612.opb
1800.07/1800.85 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.85 c Constraints : 81068 initial, 81080 maximal
1800.07/1800.85 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.85 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.85 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.85 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.85 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.85 c implics : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.85 c probing : 1.56 0 0 0 0 0 0 0 0
1800.07/1800.85 c logicor : 0.22 0 0 0 0 0 0 0 0
1800.07/1800.85 c root node : - 0 - - 0 - - - -
1800.07/1800.85 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.85 c integral : 0 0 0 1 0 0 0 0 0 2
1800.07/1800.85 c logicor : 81068+ 31 1751504 0 0 107327 3042897 0 0 0
1800.07/1800.85 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.85 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.85 c integral : 282.86 0.00 0.00 282.86 0.00
1800.07/1800.85 c logicor : 281.51 0.37 281.14 0.00 0.00
1800.07/1800.85 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.85 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.85 c vbounds : 1.47 2 0 0
1800.07/1800.85 c rootredcost : 1.24 0 0 0
1800.07/1800.85 c pseudoobj : 292.60 2742283 641489 676259
1800.07/1800.85 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.85 c propagation : 150.94 107327 8273 8273 43.9 0 0.0 -
1800.07/1800.85 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.85 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.85 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.85 c pseudo solution : 306.07 168297 0 0 0.0 0 0.0 -
1800.07/1800.85 c applied globally : - - - 8273 43.9 - - -
1800.07/1800.85 c applied locally : - - - 0 0.0 - - -
1800.07/1800.85 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.85 c cut pool : 0.00 30 - - 79 - (maximal pool size: 488)
1800.07/1800.85 c redcost : 0.00 31 0 0 0 0
1800.07/1800.85 c impliedbounds : 0.09 31 0 0 0 0
1800.07/1800.85 c intobj : 0.00 0 0 0 0 0
1800.07/1800.85 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.85 c gomory : 102.57 31 0 0 14513 0
1800.07/1800.85 c strongcg : 5.58 20 0 0 10000 0
1800.07/1800.85 c cmir : 23.12 10 0 0 0 0
1800.07/1800.85 c flowcover : 24.57 10 0 0 0 0
1800.07/1800.85 c clique : 2.65 31 0 0 279 0
1800.07/1800.85 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.85 c mcf : 0.16 1 0 0 0 0
1800.07/1800.85 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.85 c Pricers : Time Calls Vars
1800.07/1800.85 c problem variables: 0.00 0 0
1800.07/1800.85 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.85 c relpscost : 282.86 1 0 0 0 0 2
1800.07/1800.85 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.85 c inference : 9.78 924415 0 0 0 0 1848830
1800.07/1800.85 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.85 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.85 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.85 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.85 c random : 0.00 0 0 0 0 0 0
1800.07/1800.85 c Primal Heuristics : Time Calls Found
1800.07/1800.85 c LP solutions : 0.00 - 0
1800.07/1800.85 c pseudo solutions : 0.00 - 0
1800.07/1800.85 c crossover : 0.00 0 0
1800.07/1800.85 c oneopt : 1.46 2 1
1800.07/1800.85 c trivial : 0.05 2 3
1800.07/1800.85 c simplerounding : 0.02 32 5
1800.07/1800.85 c zirounding : 0.03 1 1
1800.07/1800.85 c rounding : 1.76 32 1
1800.07/1800.85 c shifting : 2.25 32 1
1800.07/1800.85 c intshifting : 0.00 0 0
1800.07/1800.85 c twoopt : 0.00 0 0
1800.07/1800.85 c fixandinfer : 0.00 0 0
1800.07/1800.85 c feaspump : 0.00 0 0
1800.07/1800.85 c coefdiving : 0.00 0 0
1800.07/1800.85 c pscostdiving : 0.00 0 0
1800.07/1800.85 c fracdiving : 0.00 0 0
1800.07/1800.85 c veclendiving : 0.00 0 0
1800.07/1800.85 c intdiving : 0.00 0 0
1800.07/1800.85 c actconsdiving : 0.00 0 0
1800.07/1800.85 c objpscostdiving : 0.00 0 0
1800.07/1800.85 c rootsoldiving : 0.00 0 0
1800.07/1800.85 c linesearchdiving : 0.00 0 0
1800.07/1800.85 c guideddiving : 0.00 0 0
1800.07/1800.85 c octane : 0.00 0 0
1800.07/1800.85 c rens : 3.89 1 1
1800.07/1800.85 c rins : 0.00 0 0
1800.07/1800.85 c localbranching : 0.00 0 0
1800.07/1800.85 c mutation : 0.00 0 0
1800.07/1800.85 c dins : 0.00 0 0
1800.07/1800.85 c undercover : 0.00 0 0
1800.07/1800.85 c nlp : 1.01 0 0
1800.07/1800.85 c trysol : 0.74 0 0
1800.07/1800.85 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.85 c primal LP : 0.40 0 0 0.00 0.00
1800.07/1800.85 c dual LP : 238.41 32 20057 626.78 84.13
1800.07/1800.85 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.85 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.85 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.85 c strong branching : 282.86 33 21466 650.48 75.89
1800.07/1800.85 c (at root node) : - 33 21466 650.48 -
1800.07/1800.85 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.85 c B&B Tree :
1800.07/1800.85 c number of runs : 1
1800.07/1800.85 c nodes : 1835729
1800.07/1800.85 c nodes (total) : 1835729
1800.07/1800.85 c nodes left : 26
1800.07/1800.85 c max depth : 68
1800.07/1800.85 c max depth (total): 68
1800.07/1800.85 c backtracks : 317781 (17.3%)
1800.07/1800.85 c delayed cutoffs : 6209
1800.07/1800.85 c repropagations : 7056 (20660 domain reductions, 5800 cutoffs)
1800.07/1800.85 c avg switch length: 2.00
1800.07/1800.85 c switching time : 97.05
1800.07/1800.85 c Solution :
1800.07/1800.85 c Solutions found : 13 (3 improvements)
1800.07/1800.85 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.13 seconds, depth 0, found by <trivial>)
1800.07/1800.85 c Primal Bound : -3.60000000000000e+01 (in run 1, after 1 nodes, 14.12 seconds, depth 0, found by <oneopt>)
1800.07/1800.85 c Dual Bound : -4.99999999999999e+01
1800.07/1800.85 c Gap : 28.00 %
1800.07/1800.85 c Root Dual Bound : -4.99999999999999e+01
1800.07/1800.85 c Root Iterations : 20057
1800.36/1801.16 c Time complete: 1800.43.
OK -36
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665508-1276506612/watcher-2665508-1276506612 -o /tmp/evaluation-result-2665508-1276506612/solver-2665508-1276506612 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665508-1276506612.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.39 1.20 1.07 3/106 30035 /proc/meminfo: memFree=1804128/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=9288 CPUtime=0 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 1226 0 0 0 0 0 0 0 18 0 1 0 26262809 9510912 1146 1992294400 4194304 9819077 140736824838976 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30035/statm: 2322 1156 371 1374 0 943 0 [startup+0.0479999 s] /proc/loadavg: 1.39 1.20 1.07 3/106 30035 /proc/meminfo: memFree=1804128/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=12692 CPUtime=0.03 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 2118 0 0 0 3 0 0 0 20 0 1 0 26262809 12996608 2038 1992294400 4194304 9819077 140736824838976 18446744073709551615 4213995 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30035/statm: 3173 2038 388 1374 0 1794 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12692 [startup+0.10201 s] /proc/loadavg: 1.39 1.20 1.07 3/106 30035 /proc/meminfo: memFree=1804128/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=15160 CPUtime=0.09 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 2716 0 0 0 9 0 0 0 20 0 1 0 26262809 15523840 2636 1992294400 4194304 9819077 140736824838976 18446744073709551615 8610946 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30035/statm: 3790 2636 388 1374 0 2411 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15160 [startup+0.301053 s] /proc/loadavg: 1.39 1.20 1.07 3/106 30035 /proc/meminfo: memFree=1804128/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=19520 CPUtime=0.29 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 3818 0 0 0 28 1 0 0 20 0 1 0 26262809 19988480 3738 1992294400 4194304 9819077 140736824838976 18446744073709551615 8610797 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30035/statm: 4880 3738 388 1374 0 3501 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19520 [startup+0.701139 s] /proc/loadavg: 1.39 1.20 1.07 3/106 30035 /proc/meminfo: memFree=1804128/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=28428 CPUtime=0.69 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 6060 0 0 0 67 2 0 0 20 0 1 0 26262809 29110272 5980 1992294400 4194304 9819077 140736824838976 18446744073709551615 5648809 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30035/statm: 7107 5980 388 1374 0 5728 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28428 [startup+1.50131 s] /proc/loadavg: 1.44 1.22 1.07 2/107 30036 /proc/meminfo: memFree=1775600/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=88928 CPUtime=1.49 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 21234 0 0 0 141 8 0 0 23 0 1 0 26262809 91062272 20732 1992294400 4194304 9819077 140736824838976 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 22232 20732 488 1374 0 20853 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 88928 [startup+3.10165 s] /proc/loadavg: 1.44 1.22 1.07 2/107 30036 /proc/meminfo: memFree=1705416/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=106672 CPUtime=3.09 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 34096 0 0 0 277 32 0 0 25 0 1 0 26262809 109232128 25005 1992294400 4194304 9819077 140736824838976 18446744073709551615 5000688 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 26668 25005 508 1374 0 25289 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 106672 [startup+6.30033 s] /proc/loadavg: 1.44 1.22 1.07 2/107 30036 /proc/meminfo: memFree=1634240/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=235904 CPUtime=6.28 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 64271 0 0 0 583 45 0 0 25 0 1 0 26262809 241565696 42349 1992294400 4194304 9819077 140736824838976 18446744073709551615 5436613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 58976 42349 634 1374 0 57597 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 235904 [startup+12.7007 s] /proc/loadavg: 1.37 1.21 1.07 2/107 30036 /proc/meminfo: memFree=1635232/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=237768 CPUtime=12.69 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 74052 0 0 0 1212 57 0 0 25 0 1 0 26262809 243474432 42726 1992294400 4194304 9819077 140736824838976 18446744073709551615 7292313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 59442 42726 664 1374 0 58063 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 237768 [startup+25.5014 s] /proc/loadavg: 1.32 1.20 1.07 2/107 30036 /proc/meminfo: memFree=1636472/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=235212 CPUtime=25.48 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 89763 0 0 0 2484 64 0 0 25 0 1 0 26262809 240857088 42308 1992294400 4194304 9819077 140736824838976 18446744073709551615 6054126 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 58803 42308 665 1374 0 57424 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 235212 [startup+51.1009 s] /proc/loadavg: 1.21 1.18 1.07 2/107 30038 /proc/meminfo: memFree=1635356/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=234824 CPUtime=51.07 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 117345 0 0 0 5030 77 0 0 25 0 1 0 26262809 240459776 42547 1992294400 4194304 9819077 140736824838976 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 58706 42547 668 1374 0 57327 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 234824 [startup+102.308 s] /proc/loadavg: 1.08 1.15 1.06 2/107 30038 /proc/meminfo: memFree=1635480/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=231744 CPUtime=102.25 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 160144 0 0 0 10128 97 0 0 25 0 1 0 26262809 237305856 42540 1992294400 4194304 9819077 140736824838976 18446744073709551615 8494822 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 57936 42540 669 1374 0 56557 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 231744 [startup+162.302 s] /proc/loadavg: 1.03 1.12 1.06 2/107 30040 /proc/meminfo: memFree=1628784/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=229468 CPUtime=162.23 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 208197 0 0 0 16100 123 0 0 25 0 1 0 26262809 234975232 42810 1992294400 4194304 9819077 140736824838976 18446744073709551615 6192309 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 57367 42810 669 1374 0 55988 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 229468 [startup+222.301 s] /proc/loadavg: 1.01 1.10 1.05 2/107 30042 /proc/meminfo: memFree=1630148/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=225880 CPUtime=222.2 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 296607 0 0 0 22054 166 0 0 25 0 1 0 26262809 231301120 43991 1992294400 4194304 9819077 140736824838976 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 56470 43991 676 1374 0 55091 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 225880 [startup+282.301 s] /proc/loadavg: 1.00 1.08 1.05 2/107 30047 /proc/meminfo: memFree=1626428/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=223940 CPUtime=282.18 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 440545 0 0 0 27984 234 0 0 25 0 1 0 26262809 229314560 43208 1992294400 4194304 9819077 140736824838976 18446744073709551615 6555529 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 55985 43208 676 1374 0 54606 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 223940 [startup+342.301 s] /proc/loadavg: 1.07 1.08 1.05 2/107 30047 /proc/meminfo: memFree=1631884/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=226672 CPUtime=342.16 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 474642 0 0 0 33949 267 0 0 25 0 1 0 26262809 232112128 43188 1992294400 4194304 9819077 140736824838976 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 56668 43188 676 1374 0 55289 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 226672 [startup+402.301 s] /proc/loadavg: 1.19 1.10 1.06 2/107 30049 /proc/meminfo: memFree=1631140/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=227544 CPUtime=402.13 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 498115 0 0 0 39921 292 0 0 25 0 1 0 26262809 233005056 43756 1992294400 4194304 9819077 140736824838976 18446744073709551615 7292313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 56886 43756 676 1374 0 55507 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 227544 [startup+462.301 s] /proc/loadavg: 1.12 1.10 1.06 2/107 30051 /proc/meminfo: memFree=1622088/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=285240 CPUtime=462.11 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 617676 0 0 0 45848 363 0 0 25 0 1 0 26262809 292085760 45867 1992294400 4194304 9819077 140736824838976 18446744073709551615 6191191 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 71310 45867 717 1374 0 69931 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 285240 [startup+522.301 s] /proc/loadavg: 1.10 1.09 1.06 2/107 30053 /proc/meminfo: memFree=1621592/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=285240 CPUtime=522.08 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 713342 0 0 0 51803 405 0 0 25 0 1 0 26262809 292085760 46044 1992294400 4194304 9819077 140736824838976 18446744073709551615 7291592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 71310 46044 717 1374 0 69931 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 285240 [startup+582.301 s] /proc/loadavg: 1.08 1.09 1.05 2/107 30055 /proc/meminfo: memFree=1621716/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=285240 CPUtime=582.06 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 796214 0 0 0 57762 444 0 0 25 0 1 0 26262809 292085760 45986 1992294400 4194304 9819077 140736824838976 18446744073709551615 7304786 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 71310 45986 717 1374 0 69931 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 285240 [startup+642.301 s] /proc/loadavg: 1.07 1.08 1.05 2/107 30055 /proc/meminfo: memFree=1619608/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=285240 CPUtime=642.04 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 890036 0 0 0 63718 486 0 0 25 0 1 0 26262809 292085760 46487 1992294400 4194304 9819077 140736824838976 18446744073709551615 7324005 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 71310 46487 717 1374 0 69931 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 285240 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.05 1.04 2/107 30063 /proc/meminfo: memFree=1629900/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=229576 CPUtime=941.92 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 982474 0 0 0 93153 1039 0 0 25 0 1 0 26262809 235085824 43774 1992294400 4194304 9819077 140736824838976 18446744073709551615 4648638 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 57394 43774 721 1374 0 56015 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 229576 [startup+1002.3 s] /proc/loadavg: 1.00 1.04 1.04 2/107 30065 /proc/meminfo: memFree=1629776/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=229576 CPUtime=1001.89 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 982474 0 0 0 99019 1170 0 0 25 0 1 0 26262809 235085824 43774 1992294400 4194304 9819077 140736824838976 18446744073709551615 5913267 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 57394 43774 721 1374 0 56015 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 229576 [startup+1062.3 s] /proc/loadavg: 1.00 1.03 1.03 2/107 30067 /proc/meminfo: memFree=1629652/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=229576 CPUtime=1061.86 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 982474 0 0 0 104891 1295 0 0 25 0 1 0 26262809 235085824 43774 1992294400 4194304 9819077 140736824838976 18446744073709551615 5905989 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 57394 43774 721 1374 0 56015 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 229576 [startup+1122.3 s] /proc/loadavg: 1.06 1.04 1.03 2/107 30069 /proc/meminfo: memFree=1629528/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=229576 CPUtime=1121.84 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 982474 0 0 0 110758 1426 0 0 25 0 1 0 26262809 235085824 43774 1992294400 4194304 9819077 140736824838976 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 57394 43774 721 1374 0 56015 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 229576 [startup+1182.3 s] /proc/loadavg: 1.02 1.03 1.02 2/107 30071 /proc/meminfo: memFree=1629404/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=229576 CPUtime=1181.82 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 982474 0 0 0 116628 1554 0 0 25 0 1 0 26262809 235085824 43774 1992294400 4194304 9819077 140736824838976 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 57394 43774 721 1374 0 56015 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 229576 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.02 2/107 30071 /proc/meminfo: memFree=1629156/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=229576 CPUtime=1241.79 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 982474 0 0 0 122492 1687 0 0 25 0 1 0 26262809 235085824 43774 1992294400 4194304 9819077 140736824838976 18446744073709551615 5907519 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 57394 43774 721 1374 0 56015 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 229576 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.01 2/107 30073 /proc/meminfo: memFree=1628908/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=229576 CPUtime=1301.77 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 982474 0 0 0 128362 1815 0 0 25 0 1 0 26262809 235085824 43774 1992294400 4194304 9819077 140736824838976 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 57394 43774 721 1374 0 56015 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 229576 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.01 2/107 30075 /proc/meminfo: memFree=1628908/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=229576 CPUtime=1361.74 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 982474 0 0 0 134230 1944 0 0 25 0 1 0 26262809 235085824 43774 1992294400 4194304 9819077 140736824838976 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 57394 43774 721 1374 0 56015 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 229576 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30077 /proc/meminfo: memFree=1628908/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=229576 CPUtime=1421.72 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 982474 0 0 0 140100 2072 0 0 25 0 1 0 26262809 235085824 43774 1992294400 4194304 9819077 140736824838976 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 57394 43774 721 1374 0 56015 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 229576 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30079 /proc/meminfo: memFree=1628784/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=229576 CPUtime=1481.69 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 982474 0 0 0 145968 2201 0 0 25 0 1 0 26262809 235085824 43774 1992294400 4194304 9819077 140736824838976 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 57394 43774 721 1374 0 56015 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 229576 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30079 /proc/meminfo: memFree=1628660/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=229576 CPUtime=1541.67 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 982474 0 0 0 151842 2325 0 0 25 0 1 0 26262809 235085824 43774 1992294400 4194304 9819077 140736824838976 18446744073709551615 5907213 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 57394 43774 721 1374 0 56015 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 229576 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30081 /proc/meminfo: memFree=1628536/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=229576 CPUtime=1601.64 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 982474 0 0 0 157698 2466 0 0 25 0 1 0 26262809 235085824 43774 1992294400 4194304 9819077 140736824838976 18446744073709551615 5928764 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 57394 43774 721 1374 0 56015 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 229576 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30083 /proc/meminfo: memFree=1628412/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=229576 CPUtime=1661.62 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 982474 0 0 0 163572 2590 0 0 25 0 1 0 26262809 235085824 43774 1992294400 4194304 9819077 140736824838976 18446744073709551615 4704769 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 57394 43774 721 1374 0 56015 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 229576 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30085 /proc/meminfo: memFree=1628164/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=229576 CPUtime=1721.59 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 982474 0 0 0 169447 2712 0 0 25 0 1 0 26262809 235085824 43774 1992294400 4194304 9819077 140736824838976 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 57394 43774 721 1374 0 56015 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 229576 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30087 /proc/meminfo: memFree=1627792/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=229576 CPUtime=1781.57 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 982474 0 0 0 175317 2840 0 0 25 0 1 0 26262809 235085824 43774 1992294400 4194304 9819077 140736824838976 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 57394 43774 721 1374 0 56015 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 229576 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30087 /proc/meminfo: memFree=1627792/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=229576 CPUtime=1800.07 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 982474 0 0 0 177129 2878 0 0 25 0 1 0 26262809 235085824 43774 1992294400 4194304 9819077 140736824838976 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30035/statm: 57394 43774 721 1374 0 56015 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 229576 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30087 /proc/meminfo: memFree=1627792/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=209264 CPUtime=1800.26 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 982555 0 0 0 177148 2878 0 0 25 0 1 0 26262809 214286336 38697 1992294400 4194304 9819077 140736824838976 18446744073709551615 6027059 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30035/statm: 52316 38697 722 1374 0 50937 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 209264 [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30087 /proc/meminfo: memFree=1627792/2059040 swapFree=4140220/4192956 [pid=30035] ppid=30033 vsize=184704 CPUtime=1800.36 /proc/30035/stat : 30035 (pbscip.linux.x8) R 30033 30035 29508 0 -1 4202496 982555 0 0 0 177157 2879 0 0 25 0 1 0 26262809 189136896 32587 1992294400 4194304 9819077 140736824838976 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30035/statm: 46176 32587 722 1374 0 44797 0 Current children cumulated CPU time (s) 1800.36 Current children cumulated vsize (KiB) 184704 Child status: 0 Real time (s): 1801.17 CPU time (s): 1800.44 CPU user time (s): 1771.63 CPU system time (s): 28.8086 CPU usage (%): 99.9595 Max. virtual memory (cumulated for all children) (KiB): 314152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1771.63 system time used= 28.8086 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 982559 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= 1 involuntary context switches= 4943 runsolver used 3.06253 second user time and 8.43372 second system time The end
Begin job on node010 at 2010-06-14 11:10:12 IDJOB=2665508 IDBENCH=2261 IDSOLVER=1168 FILE ID=node010/2665508-1276506612 PBS_JOBID= 11173410 Free space on /tmp= 62500 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665508-1276506612/watcher-2665508-1276506612 -o /tmp/evaluation-result-2665508-1276506612/solver-2665508-1276506612 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665508-1276506612.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 29f577041bedcbf69a98210424b233be RANDOM SEED=1696384501 node010.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.267 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.53 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.267 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1804656 kB Buffers: 67552 kB Cached: 107716 kB SwapCached: 5836 kB Active: 100076 kB Inactive: 87648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1804656 kB SwapTotal: 4192956 kB SwapFree: 4140220 kB Dirty: 8076 kB Writeback: 0 kB AnonPages: 10904 kB Mapped: 12836 kB Slab: 44956 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181228 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= 62492 MiB End job on node010 at 2010-06-14 11:40:15