Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed | SAT | -40 | 1796.99 | 1797.29 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb |
| MD5SUM | dadfd792215a2bce735ffb7b3e25dcc5 |
| 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 | 1800.09 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -44 |
| Optimality of the best value was proved | NO |
| Number of variables | 945 |
| Total number of constraints | 58579 |
| Number of constraints which are clauses | 58579 |
| 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 | 945 |
| 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 | 945 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 945 |
| Number of bits of the biggest sum of numbers | 10 |
| 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 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3690941-1338018830.opb>
0.09/0.11 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58579 constraints
0.09/0.11 c problem read in 0.12
0.19/0.26 o 0
0.19/0.26 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.26 c presolving:
0.48/0.59 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 58579 upgd conss, 117158 impls, 0 clqs
0.79/0.86 c (0.9s) probing: 51/945 (5.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.86 c (0.9s) probing aborted: 50/50 successive totally useless probings
0.79/0.87 c presolving (2 rounds):
0.79/0.87 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.87 c 117158 implications, 0 cliques
0.79/0.87 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58579 constraints
0.79/0.87 c 58579 constraints of type <setppc>
0.79/0.87 c transformed objective value is always integral (scale: 1)
0.79/0.87 c Presolving Time: 0.72
0.79/0.87 c - non default parameters ----------------------------------------------------------------------
0.79/0.87 c # SCIP version 2.1.1.4
0.79/0.87 c
0.79/0.87 c # maximal time in seconds to run
0.79/0.87 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.87 c limits/time = 1797
0.79/0.87 c
0.79/0.87 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.87 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.87 c limits/memory = 13950
0.79/0.87 c
0.79/0.87 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.79/0.87 c # [type: int, range: [1,2], default: 1]
0.79/0.87 c timing/clocktype = 2
0.79/0.87 c
0.79/0.87 c # belongs reading time to solving time?
0.79/0.87 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.87 c timing/reading = TRUE
0.79/0.87 c
0.79/0.87 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.79/0.87 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.87 c separating/rapidlearning/freq = 0
0.79/0.87 c
0.79/0.87 c -----------------------------------------------------------------------------------------------
0.79/0.87 c start solving
0.79/0.89 c
1.49/1.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.58 c t 1.6s| 1 | 0 | 946 | - | 70M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 | 0.000000e+00 | Inf
1.59/1.63 o -1
1.59/1.63 c R 1.6s| 1 | 0 | 946 | - | 70M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-1.000000e+00 | Large
1.59/1.67 o -2
1.59/1.67 c s 1.7s| 1 | 0 | 946 | - | 70M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-2.000000e+00 | Large
2.69/2.79 c 2.8s| 1 | 0 | 1228 | - | 70M| 0 | 888 | 945 | 58k| 945 | 58k| 5 | 0 | 0 |-4.440000e+02 |-2.000000e+00 | Large
2.79/2.80 o -33
2.79/2.80 c b 2.8s| 1 | 0 | 1228 | - | 70M| 0 | 888 | 945 | 58k| 945 | 58k| 5 | 0 | 0 |-4.440000e+02 |-3.300000e+01 |1245.45%
3.89/3.99 c 4.0s| 1 | 0 | 1358 | - | 70M| 0 | 848 | 945 | 58k| 945 | 58k| 10 | 0 | 0 |-4.240000e+02 |-3.300000e+01 |1184.85%
5.29/5.38 c 5.4s| 1 | 0 | 1494 | - | 70M| 0 | 829 | 945 | 58k| 945 | 58k| 13 | 0 | 0 |-4.145000e+02 |-3.300000e+01 |1156.06%
6.79/6.88 c 6.9s| 1 | 0 | 1580 | - | 70M| 0 | 789 | 945 | 58k| 945 | 58k| 20 | 0 | 0 |-3.945000e+02 |-3.300000e+01 |1095.45%
8.79/8.83 c 8.8s| 1 | 0 | 1701 | - | 70M| 0 | 749 | 945 | 58k| 945 | 58k| 30 | 0 | 0 |-3.745000e+02 |-3.300000e+01 |1034.85%
11.09/11.15 c 11.2s| 1 | 0 | 1889 | - | 70M| 0 | 702 | 945 | 58k| 945 | 58k| 48 | 0 | 0 |-3.510000e+02 |-3.300000e+01 | 963.64%
13.38/13.49 c 13.5s| 1 | 0 | 1985 | - | 70M| 0 | 665 | 945 | 58k| 945 | 58k| 53 | 0 | 0 |-3.325000e+02 |-3.300000e+01 | 907.58%
16.09/16.19 c 16.2s| 1 | 0 | 2294 | - | 70M| 0 | 625 | 945 | 58k| 945 | 58k| 61 | 0 | 0 |-3.125000e+02 |-3.300000e+01 | 846.97%
18.60/18.62 c 18.6s| 1 | 0 | 2365 | - | 70M| 0 | 603 | 945 | 58k| 945 | 58k| 73 | 0 | 0 |-3.015000e+02 |-3.300000e+01 | 813.64%
21.28/21.37 c 21.4s| 1 | 0 | 3070 | - | 70M| 0 | 570 | 945 | 58k| 945 | 58k| 80 | 0 | 0 |-2.850000e+02 |-3.300000e+01 | 763.64%
21.99/22.01 c 22.0s| 1 | 0 | 3501 | - | 70M| 0 | 529 | 945 | 58k| 945 | 58k| 88 | 0 | 0 |-2.645000e+02 |-3.300000e+01 | 701.52%
22.48/22.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.48/22.59 c 22.6s| 1 | 0 | 3919 | - | 70M| 0 | 469 | 945 | 58k| 945 | 58k| 102 | 0 | 0 |-2.345000e+02 |-3.300000e+01 | 610.61%
22.88/22.92 c 22.9s| 1 | 0 | 4051 | - | 70M| 0 | 422 | 945 | 58k| 945 | 58k| 120 | 0 | 0 |-2.110000e+02 |-3.300000e+01 | 539.39%
23.69/23.71 c 23.7s| 1 | 0 | 4975 | - | 70M| 0 | 378 | 945 | 58k| 945 | 58k| 133 | 0 | 0 |-1.880000e+02 |-3.300000e+01 | 469.70%
24.10/24.16 c 24.2s| 1 | 0 | 5312 | - | 70M| 0 | 337 | 945 | 58k| 945 | 58k| 149 | 0 | 0 |-1.685000e+02 |-3.300000e+01 | 410.61%
24.89/24.91 c 24.9s| 1 | 0 | 6210 | - | 70M| 0 | 297 | 945 | 58k| 945 | 58k| 161 | 0 | 0 |-1.485000e+02 |-3.300000e+01 | 350.00%
25.19/25.28 c 25.3s| 1 | 0 | 6388 | - | 70M| 0 | 256 | 945 | 58k| 945 | 58k| 180 | 0 | 0 |-1.280000e+02 |-3.300000e+01 | 287.88%
25.68/25.76 c 25.8s| 1 | 0 | 6684 | - | 70M| 0 | 240 | 945 | 58k| 945 | 58k| 189 | 0 | 0 |-1.200000e+02 |-3.300000e+01 | 263.64%
27.49/27.54 c 27.5s| 1 | 0 | 8888 | - | 70M| 0 | 204 | 945 | 58k| 945 | 58k| 202 | 0 | 0 |-1.020000e+02 |-3.300000e+01 | 209.09%
28.09/28.12 c 28.1s| 1 | 0 | 9505 | - | 70M| 0 | 187 | 945 | 58k| 945 | 58k| 212 | 0 | 0 |-9.350000e+01 |-3.300000e+01 | 183.33%
29.28/29.34 c 29.3s| 1 | 0 | 11268 | - | 70M| 0 | 171 | 945 | 58k| 945 | 58k| 216 | 0 | 0 |-8.550000e+01 |-3.300000e+01 | 159.09%
29.49/29.55 c 29.6s| 1 | 0 | 11594 | - | 70M| 0 | 142 | 945 | 58k| 945 | 58k| 222 | 0 | 0 |-7.100000e+01 |-3.300000e+01 | 115.15%
29.70/29.71 c 29.7s| 1 | 0 | 11742 | - | 70M| 0 | 137 | 945 | 58k| 945 | 58k| 228 | 0 | 0 |-6.250000e+01 |-3.300000e+01 | 89.39%
29.70/29.77 c 29.8s| 1 | 0 | 11796 | - | 70M| 0 | 122 | 945 | 58k| 945 | 58k| 232 | 0 | 0 |-5.500000e+01 |-3.300000e+01 | 66.67%
29.79/29.84 c 29.8s| 1 | 0 | 11851 | - | 70M| 0 | 115 | 945 | 58k| 945 | 58k| 236 | 0 | 0 |-4.800000e+01 |-3.300000e+01 | 45.45%
29.79/29.89 c 29.9s| 1 | 0 | 11884 | - | 70M| 0 | 111 | 945 | 58k| 945 | 58k| 240 | 0 | 0 |-4.700000e+01 |-3.300000e+01 | 42.42%
29.89/29.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.89/29.96 c 30.0s| 1 | 0 | 11942 | - | 70M| 0 | 120 | 945 | 58k| 945 | 58k| 248 | 0 | 0 |-4.700000e+01 |-3.300000e+01 | 42.42%
29.99/30.04 c 30.0s| 1 | 0 | 12018 | - | 70M| 0 | 112 | 945 | 58k| 945 | 58k| 258 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 37.88%
30.09/30.11 c 30.1s| 1 | 0 | 12041 | - | 70M| 0 | 107 | 945 | 58k| 945 | 58k| 265 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 37.88%
30.09/30.17 c 30.2s| 1 | 0 | 12077 | - | 70M| 0 | 113 | 945 | 58k| 945 | 58k| 273 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 37.88%
30.19/30.25 c 30.2s| 1 | 0 | 12136 | - | 70M| 0 | 123 | 945 | 58k| 945 | 58k| 279 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 37.88%
30.29/30.32 c 30.3s| 1 | 0 | 12167 | - | 70M| 0 | 130 | 945 | 58k| 945 | 58k| 288 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 37.88%
30.39/30.41 c 30.4s| 1 | 0 | 12232 | - | 70M| 0 | 131 | 945 | 58k| 945 | 58k| 297 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 37.88%
33.19/33.29 c 33.3s| 1 | 2 | 12232 | - | 70M| 0 | 131 | 945 | 58k| 945 | 58k| 297 | 0 | 19 |-4.550000e+01 |-3.300000e+01 | 37.88%
84.69/84.77 o -34
84.69/84.77 c p84.8s| 31 | 31 | 14341 | 70.3 | 73M| 19 | - | 945 | 58k| 945 | 58k| 297 | 0 | 541 |-4.500000e+01 |-3.400000e+01 | 32.35%
84.69/84.78 o -35
84.69/84.78 c p84.8s| 31 | 31 | 14342 | 70.3 | 73M| 19 | - | 945 | 58k| 945 | 58k| 297 | 0 | 541 |-4.500000e+01 |-3.500000e+01 | 28.57%
143.77/143.85 o -36
143.77/143.85 c o 144s| 85 | 75 | 18606 | 75.9 | 76M| 23 | 0 | 945 | 58k| 945 | 58k| 297 | 0 |1226 |-4.500000e+01 |-3.600000e+01 | 25.00%
147.47/147.54 c 148s| 100 | 81 | 19374 | 72.1 | 76M| 23 | 76 | 945 | 58k| 945 | 58k| 297 | 0 |1258 |-4.500000e+01 |-3.600000e+01 | 25.00%
158.27/158.38 c 158s| 200 | 163 | 25187 | 65.1 | 79M| 31 | 74 | 945 | 58k| 945 | 58k| 297 | 0 |1301 |-4.500000e+01 |-3.600000e+01 | 25.00%
165.17/165.21 c 165s| 300 | 241 | 29683 | 58.4 | 81M| 37 | 84 | 945 | 58k| 945 | 58k| 297 | 0 |1318 |-4.500000e+01 |-3.600000e+01 | 25.00%
171.87/171.96 c 172s| 400 | 303 | 33636 | 53.6 | 83M| 42 | 92 | 945 | 58k| 945 | 58k| 297 | 0 |1346 |-4.500000e+01 |-3.600000e+01 | 25.00%
176.57/176.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.57/176.65 c 177s| 500 | 353 | 36655 | 48.9 | 84M| 51 | 85 | 945 | 58k| 945 | 58k| 297 | 0 |1360 |-4.500000e+01 |-3.600000e+01 | 25.00%
181.37/181.50 c 181s| 600 | 407 | 40373 | 47.0 | 85M| 52 | 56 | 945 | 58k| 945 | 58k| 297 | 0 |1369 |-4.500000e+01 |-3.600000e+01 | 25.00%
185.56/185.68 c 186s| 700 | 459 | 43056 | 44.1 | 86M| 52 | 44 | 945 | 58k| 945 | 58k| 297 | 0 |1379 |-4.500000e+01 |-3.600000e+01 | 25.00%
190.66/190.70 c 191s| 800 | 511 | 46846 | 43.3 | 88M| 52 | - | 945 | 58k| 945 | 58k| 297 | 0 |1391 |-4.500000e+01 |-3.600000e+01 | 25.00%
195.56/195.61 c 196s| 900 | 569 | 50537 | 42.6 | 89M| 52 | 81 | 945 | 58k| 945 | 58k| 297 | 0 |1402 |-4.500000e+01 |-3.600000e+01 | 25.00%
199.96/200.06 c 200s| 1000 | 619 | 53739 | 41.5 | 90M| 57 | - | 945 | 58k| 945 | 58k| 297 | 0 |1409 |-4.500000e+01 |-3.600000e+01 | 25.00%
203.76/203.87 c 204s| 1100 | 667 | 56423 | 40.2 | 91M| 64 | 58 | 945 | 58k| 945 | 58k| 297 | 0 |1413 |-4.500000e+01 |-3.600000e+01 | 25.00%
208.45/208.57 c 209s| 1200 | 717 | 59955 | 39.8 | 92M| 64 | 96 | 945 | 58k| 945 | 58k| 297 | 0 |1422 |-4.500000e+01 |-3.600000e+01 | 25.00%
210.07/210.14 o -37
210.07/210.14 c l 210s| 1235 | 669 | 61110 | 39.6 | 92M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |1424 |-4.500000e+01 |-3.700000e+01 | 21.62%
210.07/210.19 o -38
210.07/210.19 c b 210s| 1236 | 602 | 61111 | 39.6 | 91M| 64 | 85 | 945 | 58k| 945 | 58k| 297 | 0 |1424 |-4.500000e+01 |-3.800000e+01 | 18.42%
223.36/223.42 c 223s| 1300 | 634 | 63834 | 39.7 | 92M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |1546 |-4.500000e+01 |-3.800000e+01 | 18.42%
230.25/230.35 c 230s| 1400 | 698 | 68691 | 40.4 | 94M| 64 | 57 | 945 | 58k| 945 | 58k| 297 | 0 |1565 |-4.500000e+01 |-3.800000e+01 | 18.42%
239.45/239.51 c 240s| 1500 | 790 | 75392 | 42.1 | 96M| 64 | 73 | 945 | 58k| 945 | 58k| 297 | 0 |1571 |-4.500000e+01 |-3.800000e+01 | 18.42%
256.25/256.32 c 256s| 1600 | 886 | 85393 | 45.8 | 99M| 64 | 119 | 945 | 58k| 945 | 58k| 297 | 0 |1642 |-4.500000e+01 |-3.800000e+01 | 18.42%
268.65/268.79 c 269s| 1700 | 986 | 93903 | 48.1 | 102M| 64 | 96 | 945 | 58k| 945 | 58k| 297 | 0 |1677 |-4.500000e+01 |-3.800000e+01 | 18.42%
281.75/281.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
281.75/281.84 c 282s| 1800 | 1086 |102653 | 50.3 | 105M| 64 | 83 | 945 | 58k| 945 | 58k| 297 | 0 |1716 |-4.500000e+01 |-3.800000e+01 | 18.42%
298.24/298.32 c 298s| 1900 | 1186 |112911 | 53.0 | 107M| 64 | 114 | 945 | 58k| 945 | 58k| 297 | 0 |1764 |-4.500000e+01 |-3.800000e+01 | 18.42%
313.35/313.46 c 313s| 2000 | 1286 |123159 | 55.5 | 110M| 64 | 107 | 945 | 58k| 945 | 58k| 297 | 0 |1801 |-4.500000e+01 |-3.800000e+01 | 18.42%
327.44/327.55 c 328s| 2100 | 1380 |132270 | 57.2 | 112M| 64 | 114 | 945 | 58k| 945 | 58k| 297 | 0 |1851 |-4.500000e+01 |-3.800000e+01 | 18.42%
340.54/340.61 c 341s| 2200 | 1474 |140636 | 58.4 | 115M| 64 | 108 | 945 | 58k| 945 | 58k| 297 | 0 |1889 |-4.500000e+01 |-3.800000e+01 | 18.42%
359.74/359.80 c 360s| 2300 | 1574 |154033 | 61.7 | 117M| 64 | 78 | 945 | 58k| 945 | 58k| 297 | 0 |1940 |-4.500000e+01 |-3.800000e+01 | 18.42%
371.13/371.20 c 371s| 2400 | 1670 |162367 | 62.6 | 120M| 64 | 112 | 945 | 58k| 945 | 58k| 297 | 0 |1953 |-4.500000e+01 |-3.800000e+01 | 18.42%
385.53/385.62 c 386s| 2500 | 1768 |174985 | 65.1 | 123M| 64 | 88 | 945 | 58k| 945 | 58k| 297 | 0 |1968 |-4.500000e+01 |-3.800000e+01 | 18.42%
399.32/399.43 c 399s| 2600 | 1862 |185458 | 66.7 | 125M| 64 | 78 | 945 | 58k| 945 | 58k| 297 | 0 |1987 |-4.500000e+01 |-3.800000e+01 | 18.42%
410.73/410.84 c 411s| 2700 | 1950 |196314 | 68.2 | 128M| 64 | 70 | 945 | 58k| 945 | 58k| 297 | 0 |1991 |-4.500000e+01 |-3.800000e+01 | 18.42%
424.73/424.83 c 425s| 2800 | 2046 |208204 | 70.0 | 131M| 64 | 75 | 945 | 58k| 945 | 58k| 297 | 0 |1993 |-4.500000e+01 |-3.800000e+01 | 18.42%
435.33/435.49 c 435s| 2900 | 2140 |217180 | 70.7 | 133M| 64 | 66 | 945 | 58k| 945 | 58k| 297 | 0 |1996 |-4.500000e+01 |-3.800000e+01 | 18.42%
445.93/446.09 c 446s| 3000 | 2224 |226352 | 71.4 | 135M| 64 | 84 | 945 | 58k| 945 | 58k| 297 | 0 |1996 |-4.500000e+01 |-3.800000e+01 | 18.42%
457.22/457.37 c 457s| 3100 | 2316 |236118 | 72.2 | 138M| 64 | 82 | 945 | 58k| 945 | 58k| 297 | 0 |2008 |-4.500000e+01 |-3.800000e+01 | 18.42%
472.12/472.21 c 472s| 3200 | 2414 |245538 | 72.9 | 140M| 64 | 81 | 945 | 58k| 945 | 58k| 297 | 0 |2038 |-4.500000e+01 |-3.800000e+01 | 18.42%
488.52/488.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
488.52/488.66 c 489s| 3300 | 2512 |256213 | 74.0 | 143M| 64 | 69 | 945 | 58k| 945 | 58k| 297 | 0 |2093 |-4.500000e+01 |-3.800000e+01 | 18.42%
508.41/508.51 c 509s| 3400 | 2604 |269315 | 75.6 | 146M| 64 | 104 | 945 | 58k| 945 | 58k| 297 | 0 |2172 |-4.500000e+01 |-3.800000e+01 | 18.42%
522.11/522.27 o -39
522.11/522.27 c p 522s| 3491 | 2513 |279780 | 76.7 | 146M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |2184 |-4.500000e+01 |-3.900000e+01 | 15.38%
523.31/523.45 c 523s| 3500 | 2522 |280932 | 76.8 | 146M| 64 | 79 | 945 | 58k| 945 | 58k| 297 | 0 |2184 |-4.500000e+01 |-3.900000e+01 | 15.38%
537.41/537.59 c 538s| 3600 | 2602 |290097 | 77.2 | 148M| 64 | 113 | 945 | 58k| 945 | 58k| 297 | 0 |2234 |-4.500000e+01 |-3.900000e+01 | 15.38%
553.51/553.65 c 554s| 3700 | 2694 |299975 | 77.8 | 150M| 64 | 93 | 945 | 58k| 945 | 58k| 297 | 0 |2289 |-4.500000e+01 |-3.900000e+01 | 15.38%
568.00/568.17 c 568s| 3800 | 2786 |310702 | 78.6 | 153M| 64 | 117 | 945 | 58k| 945 | 58k| 297 | 0 |2317 |-4.500000e+01 |-3.900000e+01 | 15.38%
581.00/581.15 c 581s| 3900 | 2872 |320216 | 79.0 | 155M| 64 | 105 | 945 | 58k| 945 | 58k| 297 | 0 |2356 |-4.500000e+01 |-3.900000e+01 | 15.38%
596.60/596.77 c 597s| 4000 | 2958 |331272 | 79.8 | 157M| 64 | 129 | 945 | 58k| 945 | 58k| 297 | 0 |2405 |-4.500000e+01 |-3.900000e+01 | 15.38%
614.80/614.95 c 615s| 4100 | 3044 |343580 | 80.8 | 160M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |2452 |-4.500000e+01 |-3.900000e+01 | 15.38%
629.90/630.02 c 630s| 4200 | 3132 |354151 | 81.4 | 162M| 64 | 84 | 945 | 58k| 945 | 58k| 297 | 0 |2495 |-4.500000e+01 |-3.900000e+01 | 15.38%
645.49/645.64 c 646s| 4300 | 3226 |365036 | 82.1 | 165M| 64 | 99 | 945 | 58k| 945 | 58k| 297 | 0 |2536 |-4.500000e+01 |-3.900000e+01 | 15.38%
658.49/658.61 c 659s| 4400 | 3310 |374408 | 82.3 | 168M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |2571 |-4.500000e+01 |-3.900000e+01 | 15.38%
672.39/672.59 c 673s| 4500 | 3396 |383913 | 82.6 | 170M| 64 | 77 | 945 | 58k| 945 | 58k| 297 | 0 |2625 |-4.500000e+01 |-3.900000e+01 | 15.38%
687.89/688.07 c 688s| 4600 | 3482 |394495 | 83.1 | 172M| 64 | 94 | 945 | 58k| 945 | 58k| 297 | 0 |2665 |-4.500000e+01 |-3.900000e+01 | 15.38%
696.29/696.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
696.29/696.44 c 696s| 4700 | 3564 |402249 | 83.0 | 174M| 64 | 60 | 945 | 58k| 945 | 58k| 297 | 0 |2665 |-4.500000e+01 |-3.900000e+01 | 15.38%
712.18/712.38 c 712s| 4800 | 3652 |415075 | 83.9 | 177M| 64 | 78 | 945 | 58k| 945 | 58k| 297 | 0 |2698 |-4.500000e+01 |-3.900000e+01 | 15.38%
725.58/725.75 c 726s| 4900 | 3748 |426846 | 84.6 | 180M| 64 | 60 | 945 | 58k| 945 | 58k| 297 | 0 |2706 |-4.500000e+01 |-3.900000e+01 | 15.38%
733.98/734.14 c 734s| 5000 | 3822 |434542 | 84.5 | 182M| 64 | 90 | 945 | 58k| 945 | 58k| 297 | 0 |2706 |-4.500000e+01 |-3.900000e+01 | 15.38%
744.87/745.01 c 745s| 5100 | 3906 |444667 | 84.8 | 184M| 64 | 66 | 945 | 58k| 945 | 58k| 297 | 0 |2709 |-4.500000e+01 |-3.900000e+01 | 15.38%
757.47/757.69 c 758s| 5200 | 3988 |455024 | 85.2 | 186M| 64 | 91 | 945 | 58k| 945 | 58k| 297 | 0 |2711 |-4.500000e+01 |-3.900000e+01 | 15.38%
766.07/766.22 c 766s| 5300 | 4066 |462690 | 85.0 | 188M| 64 | 120 | 945 | 58k| 945 | 58k| 297 | 0 |2711 |-4.500000e+01 |-3.900000e+01 | 15.38%
772.87/773.08 c 773s| 5400 | 4134 |468664 | 84.5 | 190M| 64 | 80 | 945 | 58k| 945 | 58k| 297 | 0 |2712 |-4.500000e+01 |-3.900000e+01 | 15.38%
782.07/782.20 c 782s| 5500 | 4208 |476409 | 84.4 | 192M| 64 | 60 | 945 | 58k| 945 | 58k| 297 | 0 |2715 |-4.500000e+01 |-3.900000e+01 | 15.38%
792.37/792.55 c 793s| 5600 | 4280 |485420 | 84.5 | 194M| 64 | 68 | 945 | 58k| 945 | 58k| 297 | 0 |2716 |-4.500000e+01 |-3.900000e+01 | 15.38%
802.37/802.55 c 803s| 5700 | 4352 |493251 | 84.4 | 195M| 64 | 106 | 945 | 58k| 945 | 58k| 297 | 0 |2738 |-4.500000e+01 |-3.900000e+01 | 15.38%
814.57/814.73 c 815s| 5800 | 4436 |502297 | 84.5 | 197M| 64 | 68 | 945 | 58k| 945 | 58k| 297 | 0 |2775 |-4.500000e+01 |-3.900000e+01 | 15.38%
825.36/825.52 c 826s| 5900 | 4502 |509977 | 84.4 | 199M| 64 | 109 | 945 | 58k| 945 | 58k| 297 | 0 |2822 |-4.500000e+01 |-3.900000e+01 | 15.38%
826.06/826.21 o -40
826.06/826.21 c p 826s| 5904 | 4089 |510578 | 84.4 | 193M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |2822 |-4.500000e+01 |-4.000000e+01 | 12.50%
835.56/835.78 c 836s| 6000 | 4153 |518469 | 84.4 | 194M| 64 | 108 | 945 | 58k| 945 | 58k| 297 | 0 |2849 |-4.500000e+01 |-4.000000e+01 | 12.50%
846.36/846.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
846.36/846.51 c 847s| 6100 | 4225 |526369 | 84.3 | 196M| 64 | 59 | 945 | 58k| 945 | 58k| 297 | 0 |2889 |-4.500000e+01 |-4.000000e+01 | 12.50%
852.95/853.13 c 853s| 6200 | 4275 |531459 | 83.8 | 198M| 64 | 99 | 945 | 58k| 945 | 58k| 297 | 0 |2902 |-4.500000e+01 |-4.000000e+01 | 12.50%
861.85/862.02 c 862s| 6300 | 4339 |537754 | 83.4 | 199M| 64 | 94 | 945 | 58k| 945 | 58k| 297 | 0 |2935 |-4.500000e+01 |-4.000000e+01 | 12.50%
870.55/870.74 c 871s| 6400 | 4409 |544354 | 83.2 | 201M| 64 | 99 | 945 | 58k| 945 | 58k| 297 | 0 |2966 |-4.500000e+01 |-4.000000e+01 | 12.50%
882.74/882.97 c 883s| 6500 | 4479 |554036 | 83.4 | 203M| 64 | 91 | 945 | 58k| 945 | 58k| 297 | 0 |3008 |-4.500000e+01 |-4.000000e+01 | 12.50%
891.95/892.19 c 892s| 6600 | 4549 |561847 | 83.3 | 205M| 64 | 105 | 945 | 58k| 945 | 58k| 297 | 0 |3032 |-4.500000e+01 |-4.000000e+01 | 12.50%
904.44/904.61 c 905s| 6700 | 4617 |570310 | 83.3 | 207M| 64 | 113 | 945 | 58k| 945 | 58k| 297 | 0 |3073 |-4.500000e+01 |-4.000000e+01 | 12.50%
915.24/915.41 c 915s| 6800 | 4681 |579010 | 83.4 | 209M| 64 | 85 | 945 | 58k| 945 | 58k| 297 | 0 |3098 |-4.500000e+01 |-4.000000e+01 | 12.50%
923.84/924.09 c 924s| 6900 | 4745 |585372 | 83.1 | 210M| 64 | 66 | 945 | 58k| 945 | 58k| 297 | 0 |3130 |-4.500000e+01 |-4.000000e+01 | 12.50%
935.34/935.53 c 936s| 7000 | 4815 |594107 | 83.1 | 212M| 64 | 103 | 945 | 58k| 945 | 58k| 297 | 0 |3160 |-4.500000e+01 |-4.000000e+01 | 12.50%
944.83/945.00 c 945s| 7100 | 4885 |601543 | 83.0 | 214M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |3184 |-4.500000e+01 |-4.000000e+01 | 12.50%
952.72/952.93 c 953s| 7200 | 4935 |606877 | 82.6 | 216M| 64 | 110 | 945 | 58k| 945 | 58k| 297 | 0 |3224 |-4.500000e+01 |-4.000000e+01 | 12.50%
961.83/962.08 c 962s| 7300 | 4995 |615457 | 82.6 | 217M| 64 | 82 | 945 | 58k| 945 | 58k| 297 | 0 |3233 |-4.500000e+01 |-4.000000e+01 | 12.50%
970.82/971.05 c 971s| 7400 | 5057 |622389 | 82.5 | 219M| 64 | 65 | 945 | 58k| 945 | 58k| 297 | 0 |3259 |-4.500000e+01 |-4.000000e+01 | 12.50%
978.52/978.73 c 979s| 7500 | 5117 |629466 | 82.3 | 220M| 64 | 54 | 945 | 58k| 945 | 58k| 297 | 0 |3265 |-4.500000e+01 |-4.000000e+01 | 12.50%
986.02/986.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
986.02/986.26 c 986s| 7600 | 5179 |636644 | 82.2 | 222M| 64 | 74 | 945 | 58k| 945 | 58k| 297 | 0 |3271 |-4.500000e+01 |-4.000000e+01 | 12.50%
993.93/994.13 c 994s| 7700 | 5237 |643009 | 81.9 | 224M| 64 | 84 | 945 | 58k| 945 | 58k| 297 | 0 |3293 |-4.500000e+01 |-4.000000e+01 | 12.50%
1000.02/1000.24 c 1000s| 7800 | 5293 |648684 | 81.6 | 225M| 64 | 105 | 945 | 58k| 945 | 58k| 297 | 0 |3298 |-4.500000e+01 |-4.000000e+01 | 12.50%
1008.72/1008.97 c 1009s| 7900 | 5361 |656411 | 81.6 | 227M| 64 | 116 | 945 | 58k| 945 | 58k| 297 | 0 |3312 |-4.500000e+01 |-4.000000e+01 | 12.50%
1017.82/1018.08 c 1018s| 8000 | 5441 |664763 | 81.6 | 229M| 64 | 82 | 945 | 58k| 945 | 58k| 297 | 0 |3313 |-4.500000e+01 |-4.000000e+01 | 12.50%
1024.31/1024.54 c 1025s| 8100 | 5505 |671792 | 81.4 | 231M| 64 | 55 | 945 | 58k| 945 | 58k| 297 | 0 |3313 |-4.500000e+01 |-4.000000e+01 | 12.50%
1032.72/1032.95 c 1033s| 8200 | 5567 |679559 | 81.4 | 232M| 64 | 103 | 945 | 58k| 945 | 58k| 297 | 0 |3333 |-4.500000e+01 |-4.000000e+01 | 12.50%
1038.61/1038.85 c 1039s| 8300 | 5619 |685102 | 81.1 | 234M| 64 | 67 | 945 | 58k| 945 | 58k| 297 | 0 |3333 |-4.500000e+01 |-4.000000e+01 | 12.50%
1048.02/1048.23 c 1048s| 8400 | 5665 |693515 | 81.1 | 235M| 64 | 97 | 945 | 58k| 945 | 58k| 297 | 0 |3335 |-4.500000e+01 |-4.000000e+01 | 12.50%
1053.41/1053.66 c 1054s| 8500 | 5727 |699259 | 80.8 | 237M| 64 | 87 | 945 | 58k| 945 | 58k| 297 | 0 |3335 |-4.500000e+01 |-4.000000e+01 | 12.50%
1060.01/1060.22 c 1060s| 8600 | 5779 |704740 | 80.5 | 238M| 64 | 92 | 945 | 58k| 945 | 58k| 297 | 0 |3336 |-4.500000e+01 |-4.000000e+01 | 12.50%
1065.21/1065.40 c 1065s| 8700 | 5821 |709789 | 80.2 | 239M| 64 | 84 | 945 | 58k| 945 | 58k| 297 | 0 |3337 |-4.500000e+01 |-4.000000e+01 | 12.50%
1070.30/1070.54 c 1071s| 8800 | 5863 |714745 | 79.8 | 240M| 64 | 52 | 945 | 58k| 945 | 58k| 297 | 0 |3338 |-4.500000e+01 |-4.000000e+01 | 12.50%
1076.81/1077.00 c 1077s| 8900 | 5915 |720748 | 79.6 | 242M| 64 | 76 | 945 | 58k| 945 | 58k| 297 | 0 |3345 |-4.500000e+01 |-4.000000e+01 | 12.50%
1082.21/1082.46 c 1082s| 9000 | 5969 |726273 | 79.3 | 243M| 64 | 72 | 945 | 58k| 945 | 58k| 297 | 0 |3347 |-4.500000e+01 |-4.000000e+01 | 12.50%
1088.71/1088.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1088.71/1088.98 c 1089s| 9100 | 6021 |731547 | 79.1 | 244M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |3354 |-4.500000e+01 |-4.000000e+01 | 12.50%
1095.31/1095.55 c 1096s| 9200 | 6069 |735618 | 78.6 | 246M| 64 | 57 | 945 | 58k| 945 | 58k| 297 | 0 |3384 |-4.500000e+01 |-4.000000e+01 | 12.50%
1103.21/1103.41 c 1103s| 9300 | 6125 |742105 | 78.5 | 247M| 64 | 88 | 945 | 58k| 945 | 58k| 297 | 0 |3405 |-4.500000e+01 |-4.000000e+01 | 12.50%
1111.40/1111.69 c 1112s| 9400 | 6185 |748480 | 78.3 | 249M| 64 | 68 | 945 | 58k| 945 | 58k| 297 | 0 |3429 |-4.500000e+01 |-4.000000e+01 | 12.50%
1119.40/1119.70 c 1120s| 9500 | 6227 |754757 | 78.2 | 250M| 64 | 42 | 945 | 58k| 945 | 58k| 297 | 0 |3444 |-4.500000e+01 |-4.000000e+01 | 12.50%
1126.60/1126.89 c 1127s| 9600 | 6275 |760291 | 77.9 | 251M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |3462 |-4.500000e+01 |-4.000000e+01 | 12.50%
1133.40/1133.65 c 1134s| 9700 | 6327 |765456 | 77.7 | 252M| 64 | 58 | 945 | 58k| 945 | 58k| 297 | 0 |3479 |-4.500000e+01 |-4.000000e+01 | 12.50%
1142.40/1142.62 c 1143s| 9800 | 6381 |771552 | 77.5 | 254M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |3523 |-4.500000e+01 |-4.000000e+01 | 12.50%
1149.30/1149.57 c 1150s| 9900 | 6425 |777392 | 77.3 | 255M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |3541 |-4.500000e+01 |-4.000000e+01 | 12.50%
1156.49/1156.72 c 1157s| 10000 | 6473 |783003 | 77.1 | 256M| 64 | 78 | 945 | 58k| 945 | 58k| 297 | 0 |3567 |-4.500000e+01 |-4.000000e+01 | 12.50%
1165.89/1166.10 c 1166s| 10100 | 6533 |790442 | 77.1 | 258M| 64 | 130 | 945 | 58k| 945 | 58k| 297 | 0 |3600 |-4.500000e+01 |-4.000000e+01 | 12.50%
1173.79/1174.09 c 1174s| 10200 | 6583 |796662 | 76.9 | 259M| 64 | 94 | 945 | 58k| 945 | 58k| 297 | 0 |3627 |-4.500000e+01 |-4.000000e+01 | 12.50%
1181.49/1181.77 c 1182s| 10300 | 6637 |801886 | 76.7 | 260M| 64 | 74 | 945 | 58k| 945 | 58k| 297 | 0 |3660 |-4.500000e+01 |-4.000000e+01 | 12.50%
1189.10/1189.36 c 1189s| 10400 | 6689 |807708 | 76.5 | 261M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |3677 |-4.500000e+01 |-4.000000e+01 | 12.50%
1197.99/1198.28 c 1198s| 10500 | 6747 |814050 | 76.4 | 263M| 64 | 98 | 945 | 58k| 945 | 58k| 297 | 0 |3711 |-4.500000e+01 |-4.000000e+01 | 12.50%
1204.69/1204.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1204.69/1204.92 c 1205s| 10600 | 6781 |818182 | 76.0 | 264M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |3740 |-4.500000e+01 |-4.000000e+01 | 12.50%
1210.99/1211.24 c 1211s| 10700 | 6835 |824173 | 75.9 | 265M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |3744 |-4.500000e+01 |-4.000000e+01 | 12.50%
1216.69/1216.94 c 1217s| 10800 | 6867 |828607 | 75.6 | 266M| 64 | 77 | 945 | 58k| 945 | 58k| 297 | 0 |3763 |-4.500000e+01 |-4.000000e+01 | 12.50%
1225.58/1225.85 c 1226s| 10900 | 6929 |835057 | 75.5 | 267M| 64 | 80 | 945 | 58k| 945 | 58k| 297 | 0 |3792 |-4.500000e+01 |-4.000000e+01 | 12.50%
1232.89/1233.15 c 1233s| 11000 | 6979 |840681 | 75.3 | 269M| 64 | 134 | 945 | 58k| 945 | 58k| 297 | 0 |3820 |-4.500000e+01 |-4.000000e+01 | 12.50%
1241.19/1241.46 c 1241s| 11100 | 7035 |847737 | 75.3 | 270M| 64 | 71 | 945 | 58k| 945 | 58k| 297 | 0 |3837 |-4.500000e+01 |-4.000000e+01 | 12.50%
1246.88/1247.19 c 1247s| 11200 | 7075 |852804 | 75.1 | 271M| 64 | 63 | 945 | 58k| 945 | 58k| 297 | 0 |3841 |-4.500000e+01 |-4.000000e+01 | 12.50%
1256.88/1257.18 c 1257s| 11300 | 7123 |858622 | 74.9 | 273M| 64 | 107 | 945 | 58k| 945 | 58k| 297 | 0 |3898 |-4.500000e+01 |-4.000000e+01 | 12.50%
1262.58/1262.85 c 1263s| 11400 | 7177 |864043 | 74.7 | 274M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |3901 |-4.500000e+01 |-4.000000e+01 | 12.50%
1269.78/1270.06 c 1270s| 11500 | 7235 |870341 | 74.6 | 275M| 64 | 82 | 945 | 58k| 945 | 58k| 297 | 0 |3910 |-4.500000e+01 |-4.000000e+01 | 12.50%
1277.48/1277.71 c 1278s| 11600 | 7297 |877140 | 74.6 | 277M| 64 | 82 | 945 | 58k| 945 | 58k| 297 | 0 |3923 |-4.500000e+01 |-4.000000e+01 | 12.50%
1283.28/1283.57 c 1284s| 11700 | 7339 |882080 | 74.4 | 278M| 64 | 73 | 945 | 58k| 945 | 58k| 297 | 0 |3929 |-4.500000e+01 |-4.000000e+01 | 12.50%
1289.57/1289.82 c 1290s| 11800 | 7383 |887085 | 74.1 | 279M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |3947 |-4.500000e+01 |-4.000000e+01 | 12.50%
1298.67/1298.97 c 1299s| 11900 | 7427 |896127 | 74.3 | 280M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |3949 |-4.500000e+01 |-4.000000e+01 | 12.50%
1304.38/1304.64 c 1305s| 12000 | 7479 |901321 | 74.1 | 281M| 64 | 68 | 945 | 58k| 945 | 58k| 297 | 0 |3952 |-4.500000e+01 |-4.000000e+01 | 12.50%
1311.07/1311.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1311.07/1311.35 c 1311s| 12100 | 7527 |906802 | 73.9 | 282M| 64 | 81 | 945 | 58k| 945 | 58k| 297 | 0 |3959 |-4.500000e+01 |-4.000000e+01 | 12.50%
1316.07/1316.37 c 1316s| 12200 | 7571 |910913 | 73.7 | 283M| 64 | 86 | 945 | 58k| 945 | 58k| 297 | 0 |3965 |-4.500000e+01 |-4.000000e+01 | 12.50%
1322.27/1322.50 c 1323s| 12300 | 7619 |916829 | 73.6 | 285M| 64 | 91 | 945 | 58k| 945 | 58k| 297 | 0 |3967 |-4.500000e+01 |-4.000000e+01 | 12.50%
1328.57/1328.87 c 1329s| 12400 | 7667 |922434 | 73.4 | 286M| 64 | 90 | 945 | 58k| 945 | 58k| 297 | 0 |3972 |-4.500000e+01 |-4.000000e+01 | 12.50%
1333.66/1333.98 c 1334s| 12500 | 7717 |927553 | 73.2 | 287M| 64 | 55 | 945 | 58k| 945 | 58k| 297 | 0 |3974 |-4.500000e+01 |-4.000000e+01 | 12.50%
1338.77/1339.03 c 1339s| 12600 | 7755 |932105 | 73.0 | 288M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |3981 |-4.500000e+01 |-4.000000e+01 | 12.50%
1347.76/1348.05 c 1348s| 12700 | 7809 |940477 | 73.1 | 289M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |3981 |-4.500000e+01 |-4.000000e+01 | 12.50%
1353.47/1353.79 c 1354s| 12800 | 7857 |945666 | 72.9 | 291M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |3981 |-4.500000e+01 |-4.000000e+01 | 12.50%
1358.97/1359.20 c 1359s| 12900 | 7909 |950983 | 72.8 | 292M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |3982 |-4.500000e+01 |-4.000000e+01 | 12.50%
1363.56/1363.89 c 1364s| 13000 | 7951 |955155 | 72.5 | 293M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |3982 |-4.500000e+01 |-4.000000e+01 | 12.50%
1369.06/1369.40 c 1369s| 13100 | 7997 |960681 | 72.4 | 294M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |3982 |-4.500000e+01 |-4.000000e+01 | 12.50%
1378.46/1378.77 c 1379s| 13200 | 8063 |969624 | 72.5 | 296M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |3983 |-4.500000e+01 |-4.000000e+01 | 12.50%
1384.36/1384.66 c 1385s| 13300 | 8115 |975449 | 72.4 | 297M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |3985 |-4.500000e+01 |-4.000000e+01 | 12.50%
1390.26/1390.59 c 1391s| 13400 | 8169 |981690 | 72.4 | 299M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |3985 |-4.500000e+01 |-4.000000e+01 | 12.50%
1396.46/1396.73 c 1397s| 13500 | 8219 |987789 | 72.3 | 300M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |3986 |-4.500000e+01 |-4.000000e+01 | 12.50%
1402.85/1403.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1402.85/1403.13 c 1403s| 13600 | 8263 |992079 | 72.1 | 301M| 64 | 60 | 945 | 58k| 945 | 58k| 297 | 0 |4012 |-4.500000e+01 |-4.000000e+01 | 12.50%
1412.56/1412.83 c 1413s| 13700 | 8321 |997779 | 71.9 | 303M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |4055 |-4.500000e+01 |-4.000000e+01 | 12.50%
1419.35/1419.60 c 1420s| 13800 | 8383 | 1002k| 71.8 | 304M| 64 | 66 | 945 | 58k| 945 | 58k| 297 | 0 |4077 |-4.500000e+01 |-4.000000e+01 | 12.50%
1423.55/1423.82 c 1424s| 13900 | 8425 | 1006k| 71.6 | 305M| 64 | 62 | 945 | 58k| 945 | 58k| 297 | 0 |4078 |-4.500000e+01 |-4.000000e+01 | 12.50%
1429.66/1429.90 c 1430s| 14000 | 8459 | 1011k| 71.4 | 306M| 64 | 63 | 945 | 58k| 945 | 58k| 297 | 0 |4099 |-4.500000e+01 |-4.000000e+01 | 12.50%
1439.45/1439.73 c 1440s| 14100 | 8505 | 1018k| 71.4 | 307M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |4141 |-4.500000e+01 |-4.000000e+01 | 12.50%
1446.05/1446.35 c 1446s| 14200 | 8553 | 1023k| 71.2 | 308M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |4155 |-4.500000e+01 |-4.000000e+01 | 12.50%
1451.85/1452.13 c 1452s| 14300 | 8587 | 1028k| 71.1 | 309M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |4172 |-4.500000e+01 |-4.000000e+01 | 12.50%
1459.25/1459.50 c 1459s| 14400 | 8619 | 1033k| 70.9 | 310M| 64 | 89 | 945 | 58k| 945 | 58k| 297 | 0 |4206 |-4.500000e+01 |-4.000000e+01 | 12.50%
1467.16/1467.46 c 1467s| 14500 | 8673 | 1038k| 70.8 | 311M| 64 | 67 | 945 | 58k| 945 | 58k| 297 | 0 |4222 |-4.500000e+01 |-4.000000e+01 | 12.50%
1479.05/1479.30 c 1479s| 14600 | 8737 | 1048k| 71.0 | 313M| 64 | 84 | 945 | 58k| 945 | 58k| 297 | 0 |4257 |-4.500000e+01 |-4.000000e+01 | 12.50%
1486.04/1486.37 c 1486s| 14700 | 8793 | 1053k| 70.8 | 314M| 64 | 104 | 945 | 58k| 945 | 58k| 297 | 0 |4283 |-4.500000e+01 |-4.000000e+01 | 12.50%
1492.14/1492.40 c 1492s| 14800 | 8837 | 1058k| 70.7 | 315M| 64 | 92 | 945 | 58k| 945 | 58k| 297 | 0 |4296 |-4.500000e+01 |-4.000000e+01 | 12.50%
1500.05/1500.32 c 1500s| 14900 | 8891 | 1064k| 70.6 | 317M| 64 | 87 | 945 | 58k| 945 | 58k| 297 | 0 |4321 |-4.500000e+01 |-4.000000e+01 | 12.50%
1507.75/1508.09 c 1508s| 15000 | 8937 | 1070k| 70.5 | 318M| 64 | 88 | 945 | 58k| 945 | 58k| 297 | 0 |4347 |-4.500000e+01 |-4.000000e+01 | 12.50%
1517.34/1517.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1517.34/1517.62 c 1518s| 15100 | 9001 | 1077k| 70.5 | 320M| 64 | 78 | 945 | 58k| 945 | 58k| 297 | 0 |4368 |-4.500000e+01 |-4.000000e+01 | 12.50%
1522.84/1523.19 c 1523s| 15200 | 9039 | 1081k| 70.3 | 320M| 64 | 66 | 945 | 58k| 945 | 58k| 297 | 0 |4386 |-4.500000e+01 |-4.000000e+01 | 12.50%
1532.04/1532.38 c 1532s| 15300 | 9101 | 1088k| 70.4 | 322M| 64 | 45 | 945 | 58k| 945 | 58k| 297 | 0 |4412 |-4.500000e+01 |-4.000000e+01 | 12.50%
1541.34/1541.68 c 1542s| 15400 | 9165 | 1096k| 70.4 | 324M| 64 | 77 | 945 | 58k| 945 | 58k| 297 | 0 |4441 |-4.500000e+01 |-4.000000e+01 | 12.50%
1549.84/1550.11 c 1550s| 15500 | 9219 | 1102k| 70.4 | 325M| 64 | 84 | 945 | 58k| 945 | 58k| 297 | 0 |4462 |-4.500000e+01 |-4.000000e+01 | 12.50%
1558.44/1558.71 c 1559s| 15600 | 9275 | 1109k| 70.4 | 326M| 64 | 132 | 945 | 58k| 945 | 58k| 297 | 0 |4487 |-4.500000e+01 |-4.000000e+01 | 12.50%
1565.64/1565.96 c 1566s| 15700 | 9333 | 1115k| 70.3 | 328M| 64 | 69 | 945 | 58k| 945 | 58k| 297 | 0 |4508 |-4.500000e+01 |-4.000000e+01 | 12.50%
1574.03/1574.38 c 1574s| 15800 | 9385 | 1121k| 70.2 | 329M| 64 | 96 | 945 | 58k| 945 | 58k| 297 | 0 |4536 |-4.500000e+01 |-4.000000e+01 | 12.50%
1580.63/1580.97 c 1581s| 15900 | 9435 | 1126k| 70.1 | 330M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |4557 |-4.500000e+01 |-4.000000e+01 | 12.50%
1589.03/1589.37 c 1589s| 16000 | 9499 | 1133k| 70.1 | 332M| 64 | 69 | 945 | 58k| 945 | 58k| 297 | 0 |4580 |-4.500000e+01 |-4.000000e+01 | 12.50%
1595.93/1596.24 c 1596s| 16100 | 9543 | 1139k| 70.0 | 333M| 64 | 101 | 945 | 58k| 945 | 58k| 297 | 0 |4594 |-4.500000e+01 |-4.000000e+01 | 12.50%
1602.82/1603.19 c 1603s| 16200 | 9597 | 1144k| 69.9 | 334M| 64 | 73 | 945 | 58k| 945 | 58k| 297 | 0 |4613 |-4.500000e+01 |-4.000000e+01 | 12.50%
1608.62/1608.94 c 1609s| 16300 | 9647 | 1149k| 69.8 | 335M| 64 | 48 | 945 | 58k| 945 | 58k| 297 | 0 |4620 |-4.500000e+01 |-4.000000e+01 | 12.50%
1614.43/1614.73 c 1615s| 16400 | 9697 | 1154k| 69.7 | 336M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |4637 |-4.500000e+01 |-4.000000e+01 | 12.50%
1617.73/1618.03 c 1618s| 16500 | 9733 | 1157k| 69.4 | 337M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |4643 |-4.500000e+01 |-4.000000e+01 | 12.50%
1622.23/1622.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1622.23/1622.52 c 1623s| 16600 | 9779 | 1161k| 69.2 | 338M| 64 | 108 | 945 | 58k| 945 | 58k| 297 | 0 |4647 |-4.500000e+01 |-4.000000e+01 | 12.50%
1628.32/1628.68 c 1629s| 16700 | 9819 | 1167k| 69.2 | 339M| 64 | 110 | 945 | 58k| 945 | 58k| 297 | 0 |4653 |-4.500000e+01 |-4.000000e+01 | 12.50%
1634.62/1634.90 c 1635s| 16800 | 9865 | 1172k| 69.1 | 341M| 64 | 76 | 945 | 58k| 945 | 58k| 297 | 0 |4660 |-4.500000e+01 |-4.000000e+01 | 12.50%
1639.23/1639.58 c 1640s| 16900 | 9915 | 1176k| 68.9 | 342M| 64 | 71 | 945 | 58k| 945 | 58k| 297 | 0 |4665 |-4.500000e+01 |-4.000000e+01 | 12.50%
1645.72/1646.01 c 1646s| 17000 | 9971 | 1182k| 68.8 | 343M| 64 | 96 | 945 | 58k| 945 | 58k| 297 | 0 |4678 |-4.500000e+01 |-4.000000e+01 | 12.50%
1651.32/1651.64 c 1652s| 17100 | 10027 | 1187k| 68.7 | 344M| 64 | 78 | 945 | 58k| 945 | 58k| 297 | 0 |4685 |-4.500000e+01 |-4.000000e+01 | 12.50%
1656.72/1657.01 c 1657s| 17200 | 10071 | 1193k| 68.7 | 345M| 64 | 88 | 945 | 58k| 945 | 58k| 297 | 0 |4686 |-4.500000e+01 |-4.000000e+01 | 12.50%
1661.12/1661.45 c 1661s| 17300 | 10113 | 1197k| 68.5 | 346M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |4686 |-4.500000e+01 |-4.000000e+01 | 12.50%
1669.62/1669.94 c 1670s| 17400 | 10179 | 1205k| 68.6 | 348M| 64 | 64 | 945 | 58k| 945 | 58k| 297 | 0 |4688 |-4.500000e+01 |-4.000000e+01 | 12.50%
1674.31/1674.60 c 1675s| 17500 | 10231 | 1210k| 68.5 | 349M| 64 | 73 | 945 | 58k| 945 | 58k| 297 | 0 |4688 |-4.500000e+01 |-4.000000e+01 | 12.50%
1678.02/1678.39 c 1678s| 17600 | 10271 | 1214k| 68.3 | 350M| 64 | 81 | 945 | 58k| 945 | 58k| 297 | 0 |4689 |-4.500000e+01 |-4.000000e+01 | 12.50%
1682.41/1682.76 c 1683s| 17700 | 10309 | 1219k| 68.2 | 351M| 64 | 93 | 945 | 58k| 945 | 58k| 297 | 0 |4691 |-4.500000e+01 |-4.000000e+01 | 12.50%
1687.21/1687.57 c 1688s| 17800 | 10353 | 1224k| 68.1 | 352M| 64 | 82 | 945 | 58k| 945 | 58k| 297 | 0 |4694 |-4.500000e+01 |-4.000000e+01 | 12.50%
1691.52/1691.82 c 1692s| 17900 | 10399 | 1229k| 68.0 | 353M| 64 | 68 | 945 | 58k| 945 | 58k| 297 | 0 |4694 |-4.500000e+01 |-4.000000e+01 | 12.50%
1696.11/1696.47 c 1696s| 18000 | 10437 | 1233k| 67.9 | 354M| 64 | 68 | 945 | 58k| 945 | 58k| 297 | 0 |4694 |-4.500000e+01 |-4.000000e+01 | 12.50%
1699.81/1700.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1699.81/1700.14 c 1700s| 18100 | 10465 | 1237k| 67.7 | 354M| 64 | 79 | 945 | 58k| 945 | 58k| 297 | 0 |4694 |-4.500000e+01 |-4.000000e+01 | 12.50%
1703.02/1703.39 c 1703s| 18200 | 10489 | 1240k| 67.5 | 355M| 64 | 65 | 945 | 58k| 945 | 58k| 297 | 0 |4695 |-4.500000e+01 |-4.000000e+01 | 12.50%
1707.41/1707.74 c 1708s| 18300 | 10539 | 1244k| 67.3 | 356M| 64 | 75 | 945 | 58k| 945 | 58k| 297 | 0 |4695 |-4.500000e+01 |-4.000000e+01 | 12.50%
1710.81/1711.14 c 1711s| 18400 | 10567 | 1247k| 67.1 | 356M| 64 | 136 | 945 | 58k| 945 | 58k| 297 | 0 |4695 |-4.500000e+01 |-4.000000e+01 | 12.50%
1714.41/1714.70 c 1715s| 18500 | 10599 | 1250k| 67.0 | 357M| 64 | 51 | 945 | 58k| 945 | 58k| 297 | 0 |4698 |-4.500000e+01 |-4.000000e+01 | 12.50%
1718.31/1718.64 c 1719s| 18600 | 10635 | 1254k| 66.8 | 358M| 64 | 65 | 945 | 58k| 945 | 58k| 297 | 0 |4698 |-4.500000e+01 |-4.000000e+01 | 12.50%
1722.31/1722.68 c 1723s| 18700 | 10673 | 1258k| 66.7 | 359M| 64 | 79 | 945 | 58k| 945 | 58k| 297 | 0 |4701 |-4.500000e+01 |-4.000000e+01 | 12.50%
1726.01/1726.31 c 1726s| 18800 | 10709 | 1261k| 66.5 | 360M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |4702 |-4.500000e+01 |-4.000000e+01 | 12.50%
1730.11/1730.47 c 1730s| 18900 | 10747 | 1265k| 66.3 | 361M| 64 | 88 | 945 | 58k| 945 | 58k| 297 | 0 |4702 |-4.500000e+01 |-4.000000e+01 | 12.50%
1735.11/1735.43 c 1735s| 19000 | 10797 | 1271k| 66.3 | 362M| 64 | 124 | 945 | 58k| 945 | 58k| 297 | 0 |4702 |-4.500000e+01 |-4.000000e+01 | 12.50%
1739.91/1740.26 c 1740s| 19100 | 10831 | 1275k| 66.1 | 363M| 64 | 57 | 945 | 58k| 945 | 58k| 297 | 0 |4715 |-4.500000e+01 |-4.000000e+01 | 12.50%
1746.01/1746.34 c 1746s| 19200 | 10873 | 1279k| 66.0 | 364M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |4735 |-4.500000e+01 |-4.000000e+01 | 12.50%
1751.20/1751.55 c 1752s| 19300 | 10909 | 1283k| 65.9 | 365M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |4750 |-4.500000e+01 |-4.000000e+01 | 12.50%
1758.40/1758.77 c 1759s| 19400 | 10957 | 1288k| 65.8 | 366M| 64 | 70 | 945 | 58k| 945 | 58k| 297 | 0 |4792 |-4.500000e+01 |-4.000000e+01 | 12.50%
1763.01/1763.39 c 1763s| 19500 | 11003 | 1292k| 65.7 | 367M| 64 | 58 | 945 | 58k| 945 | 58k| 297 | 0 |4797 |-4.500000e+01 |-4.000000e+01 | 12.50%
1769.10/1769.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1769.10/1769.40 c 1769s| 19600 | 11049 | 1297k| 65.6 | 368M| 64 | 72 | 945 | 58k| 945 | 58k| 297 | 0 |4813 |-4.500000e+01 |-4.000000e+01 | 12.50%
1775.60/1775.93 c 1776s| 19700 | 11087 | 1302k| 65.5 | 369M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |4845 |-4.500000e+01 |-4.000000e+01 | 12.50%
1784.50/1784.83 c 1785s| 19800 | 11149 | 1309k| 65.5 | 370M| 64 | - | 945 | 58k| 945 | 58k| 297 | 0 |4869 |-4.500000e+01 |-4.000000e+01 | 12.50%
1789.60/1789.96 c 1790s| 19900 | 11183 | 1312k| 65.4 | 371M| 64 | 92 | 945 | 58k| 945 | 58k| 297 | 0 |4887 |-4.500000e+01 |-4.000000e+01 | 12.50%
1795.69/1796.08 c 1796s| 20000 | 11219 | 1318k| 65.3 | 372M| 64 | 74 | 945 | 58k| 945 | 58k| 297 | 0 |4903 |-4.500000e+01 |-4.000000e+01 | 12.50%
1796.69/1797.02 c
1796.69/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.02 c Solving Time (sec) : 1797.02
1796.69/1797.02 c Solving Nodes : 20017
1796.69/1797.02 c Primal Bound : -4.00000000000000e+01 (619 solutions)
1796.69/1797.02 c Dual Bound : -4.50000000000000e+01
1796.69/1797.02 c Gap : 12.50 %
1796.69/1797.03 s SATISFIABLE
1796.69/1797.03 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
1796.69/1797.03 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
1796.69/1797.03 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
1796.69/1797.03 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
1796.69/1797.03 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124
1796.69/1797.03 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1796.69/1797.03 v -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1796.69/1797.03 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187
1796.69/1797.03 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1796.69/1797.03 v x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
1796.69/1797.03 v x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250
1796.69/1797.03 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
1796.69/1797.03 v -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
1796.69/1797.03 v -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
1796.69/1797.03 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
1796.69/1797.03 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355
1796.69/1797.03 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1796.69/1797.03 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
1796.69/1797.03 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418
1796.69/1797.03 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
1796.69/1797.03 v -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
1796.69/1797.03 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1796.69/1797.03 v -x481 -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502
1796.69/1797.03 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1796.69/1797.03 v x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544
1796.69/1797.03 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565
1796.69/1797.03 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586
1796.69/1797.03 v -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607
1796.69/1797.03 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628
1796.69/1797.03 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1796.69/1797.03 v -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
1796.69/1797.03 v x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691
1796.69/1797.03 v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712
1796.69/1797.03 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 -x733
1796.69/1797.03 v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754
1796.69/1797.03 v -x755 -x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775
1796.69/1797.03 v -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795
1796.69/1797.03 v -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817
1796.69/1797.03 v -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837
1796.69/1797.03 v -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858
1796.69/1797.03 v -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879
1796.69/1797.03 v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
1796.69/1797.03 v x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921
1796.69/1797.03 v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942
1796.69/1797.03 v -x943 -x944 -x945
1796.69/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.03 c Total Time : 1797.02
1796.69/1797.03 c solving : 1797.02
1796.69/1797.03 c presolving : 0.72 (included in solving)
1796.69/1797.03 c reading : 0.12 (included in solving)
1796.69/1797.03 c copying : 1.33 (15 #copies) (minimal 0.08, maximal 0.09, average 0.09)
1796.69/1797.03 c Original Problem :
1796.69/1797.03 c Problem name : HOME/instance-3690941-1338018830.opb
1796.69/1797.03 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.03 c Constraints : 58579 initial, 58579 maximal
1796.69/1797.03 c Objective sense : minimize
1796.69/1797.03 c Presolved Problem :
1796.69/1797.03 c Problem name : t_HOME/instance-3690941-1338018830.opb
1796.69/1797.03 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.03 c Constraints : 58579 initial, 58579 maximal
1796.69/1797.03 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.03 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c pseudoobj : 0.00 0.02 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c probing : 0.21 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c setppc : 0.06 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c linear : 0.30 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.03 c root node : - - 0 - - 0 - - - - -
1796.69/1797.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.03 c integral : 0 0 0 0 16168 0 624 0 15 288 0 0 31988
1796.69/1797.03 c setppc : 58579 58579 33 56836 0 0 619 0 0 453172 0 0 0
1796.69/1797.03 c countsols : 0 0 0 0 0 0 622 0 0 0 0 0 0
1796.69/1797.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.03 c integral : 361.17 0.00 0.00 0.00 361.15 0.00 0.02 0.00
1796.69/1797.03 c setppc : 11.39 0.00 0.12 10.22 0.00 0.00 1.05 0.00
1796.69/1797.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.03 c rootredcost : 8 0 0 0
1796.69/1797.03 c pseudoobj : 72954 0 0 0
1796.69/1797.03 c vbounds : 0 0 0 0
1796.69/1797.03 c redcost : 16227 0 0 33
1796.69/1797.03 c probing : 0 0 0 0
1796.69/1797.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.03 c rootredcost : 0.04 0.00 0.00 0.04 0.00
1796.69/1797.03 c pseudoobj : 7.89 0.02 0.00 7.88 0.00
1796.69/1797.03 c vbounds : 0.03 0.00 0.00 0.03 0.00
1796.69/1797.03 c redcost : 0.28 0.00 0.00 0.28 0.00
1796.69/1797.03 c probing : 0.21 0.00 0.21 0.00 0.00
1796.69/1797.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.03 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.03 c applied globally : - - - 0 0.0 - - -
1796.69/1797.03 c applied locally : - - - 0 0.0 - - -
1796.69/1797.03 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.03 c cut pool : 0.00 32 - - 79 - (maximal pool size: 563)
1796.69/1797.03 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.03 c impliedbounds : 0.03 0.00 33 0 0 0 0
1796.69/1797.03 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.03 c gomory : 0.20 0.00 10 0 0 500 0
1796.69/1797.03 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.03 c strongcg : 3.65 0.00 20 0 0 10000 0
1796.69/1797.03 c cmir : 6.84 0.00 10 0 0 0 0
1796.69/1797.03 c flowcover : 7.21 0.00 10 0 0 0 0
1796.69/1797.03 c clique : 0.97 0.00 33 0 0 296 0
1796.69/1797.03 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.03 c mcf : 0.22 0.00 1 0 0 0 0
1796.69/1797.03 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.03 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.69/1797.03 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.03 c problem variables: 0.00 - 0 0
1796.69/1797.03 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.03 c relpscost : 361.12 0.00 16168 15 288 0 0 31988
1796.69/1797.03 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.03 c inference : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.03 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.03 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.03 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.03 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.03 c LP solutions : 0.00 - - 0
1796.69/1797.03 c pseudo solutions : 0.00 - - 0
1796.69/1797.03 c oneopt : 0.07 0.00 8 2
1796.69/1797.03 c crossover : 4.08 0.00 13 4
1796.69/1797.03 c guideddiving : 72.24 0.00 137 1
1796.69/1797.03 c pscostdiving : 30.06 0.00 137 14
1796.69/1797.03 c rootsoldiving : 23.71 0.00 69 77
1796.69/1797.03 c objpscostdiving : 43.44 0.00 69 121
1796.69/1797.03 c linesearchdiving : 27.34 0.00 138 5
1796.69/1797.03 c coefdiving : 57.49 0.00 138 13
1796.69/1797.03 c smallcard : 0.00 0.00 0 0
1796.69/1797.03 c trivial : 0.01 0.00 2 1
1796.69/1797.03 c shiftandpropagate: 0.00 0.00 0 0
1796.69/1797.03 c simplerounding : 0.41 0.00 16201 103
1796.69/1797.03 c zirounding : 46.74 0.00 13351 267
1796.69/1797.03 c rounding : 15.81 0.00 5664 1
1796.69/1797.03 c shifting : 4.35 0.00 1412 1
1796.69/1797.03 c intshifting : 0.00 0.00 0 0
1796.69/1797.03 c twoopt : 0.00 0.00 0 0
1796.69/1797.03 c indoneopt : 0.02 0.00 0 0
1796.69/1797.03 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.03 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.03 c feaspump : 0.00 0.00 0 0
1796.69/1797.03 c clique : 0.00 0.00 0 0
1796.69/1797.03 c indrounding : 0.00 0.00 0 0
1796.69/1797.03 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.03 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.03 c fracdiving : 72.87 0.00 124 1
1796.69/1797.03 c veclendiving : 73.56 0.00 138 7
1796.69/1797.03 c intdiving : 0.00 0.00 0 0
1796.69/1797.03 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.03 c octane : 0.00 0.00 0 0
1796.69/1797.03 c rens : 1.08 0.00 1 1
1796.69/1797.03 c rins : 0.00 0.00 0 0
1796.69/1797.03 c localbranching : 0.00 0.00 0 0
1796.69/1797.03 c mutation : 0.00 0.00 0 0
1796.69/1797.03 c dins : 0.00 0.00 0 0
1796.69/1797.03 c vbounds : 0.00 0.00 0 0
1796.69/1797.03 c undercover : 0.00 0.00 0 0
1796.69/1797.03 c subnlp : 0.01 0.00 0 0
1796.69/1797.03 c trysol : 0.02 0.00 0 0
1796.69/1797.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.03 c primal LP : 0.06 5 0 0.00 0.00 0.06 5
1796.69/1797.03 c dual LP : 807.85 20373 1036710 51.30 1283.30 1.74 164
1796.69/1797.03 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.03 c diving/probing LP: 325.74 16830 282868 16.81 868.38
1796.69/1797.03 c strong branching : 358.56 4903 361994 73.83 1009.58
1796.69/1797.03 c (at root node) : - 19 1328 69.89 -
1796.69/1797.03 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.03 c B&B Tree :
1796.69/1797.03 c number of runs : 1
1796.69/1797.03 c nodes : 20017
1796.69/1797.03 c nodes (total) : 20017
1796.69/1797.03 c nodes left : 11228
1796.69/1797.03 c max depth : 64
1796.69/1797.03 c max depth (total): 64
1796.69/1797.03 c backtracks : 2459 (12.3%)
1796.69/1797.03 c delayed cutoffs : 0
1796.69/1797.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.69/1797.03 c avg switch length: 5.61
1796.69/1797.03 c switching time : 22.82
1796.69/1797.03 c Solution :
1796.69/1797.03 c Solutions found : 619 (11 improvements)
1796.69/1797.03 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.25 seconds, depth 0, found by <trivial>)
1796.69/1797.03 c Primal Bound : -4.00000000000000e+01 (in run 1, after 5904 nodes, 826.21 seconds, depth 31, found by <pscostdiving>)
1796.69/1797.03 c Dual Bound : -4.50000000000000e+01
1796.69/1797.03 c Gap : 12.50 %
1796.69/1797.03 c Root Dual Bound : -4.55000000000000e+01
1796.69/1797.03 c Root Iterations : 12232
1796.90/1797.28 c Time complete: 1796.98.
OK -40
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3690941-1338018830/watcher-3690941-1338018830 -o /tmp/evaluation-result-3690941-1338018830/solver-3690941-1338018830 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690941-1338018830.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.08 2.05 1.75 3/176 5919 /proc/meminfo: memFree=26155256/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=10996 CPUtime=0 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 1490 0 0 0 0 0 0 0 20 0 1 0 268010243 11259904 1444 33554432000 4194304 10173063 140734736490816 140734736354296 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 2749 1444 416 1460 0 1280 0 [startup+0.0287361 s] /proc/loadavg: 2.08 2.05 1.75 3/176 5919 /proc/meminfo: memFree=26155256/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=15472 CPUtime=0.02 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 2631 0 0 0 2 0 0 0 20 0 1 0 268010243 15843328 2585 33554432000 4194304 10173063 140734736490816 140734736354296 7171394 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 3868 2585 416 1460 0 2399 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 15472 [startup+0.100303 s] /proc/loadavg: 2.08 2.05 1.75 3/176 5919 /proc/meminfo: memFree=26155256/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=24700 CPUtime=0.09 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 4935 0 0 0 8 1 0 0 20 0 1 0 268010243 25292800 4889 33554432000 4194304 10173063 140734736490816 140734736354296 5479875 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 6175 4889 416 1460 0 4706 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24700 [startup+0.300301 s] /proc/loadavg: 2.08 2.05 1.75 3/176 5919 /proc/meminfo: memFree=26155256/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=81532 CPUtime=0.29 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 21024 0 0 0 25 4 0 0 20 0 1 0 268010243 83488768 18674 33554432000 4194304 10173063 140734736490816 140734736488360 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 20383 18674 551 1460 0 18914 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 81532 [startup+0.700336 s] /proc/loadavg: 2.08 2.05 1.75 3/176 5919 /proc/meminfo: memFree=26155256/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=103652 CPUtime=0.69 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 28433 0 0 0 60 9 0 0 20 0 1 0 268010243 106139648 24196 33554432000 4194304 10173063 140734736490816 140734736488360 4780448 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 25913 24196 585 1460 0 24444 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 103652 [startup+1.50035 s] /proc/loadavg: 2.08 2.05 1.75 3/177 5920 /proc/meminfo: memFree=26005952/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=187144 CPUtime=1.49 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 47099 0 0 0 138 11 0 0 20 0 1 0 268010243 191635456 42690 33554432000 4194304 10173063 140734736490816 140734736484072 8886841 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 46786 42723 730 1460 0 45317 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 187144 [startup+3.10021 s] /proc/loadavg: 2.08 2.05 1.75 3/177 5920 /proc/meminfo: memFree=25990064/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=188064 CPUtime=3.09 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 50711 0 0 0 295 14 0 0 20 0 1 0 268010243 192577536 42965 33554432000 4194304 10173063 140734736490816 140734736486776 7274100 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 47016 42965 777 1460 0 45547 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 188064 [startup+6.30025 s] /proc/loadavg: 2.07 2.05 1.75 3/177 5920 /proc/meminfo: memFree=25981708/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=190192 CPUtime=6.29 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 51765 0 0 0 615 14 0 0 20 0 1 0 268010243 194756608 44019 33554432000 4194304 10173063 140734736490816 140734736485976 7283395 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 47548 44019 779 1460 0 46079 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 190192 [startup+12.7002 s] /proc/loadavg: 2.07 2.05 1.76 3/177 5920 /proc/meminfo: memFree=25975480/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=193036 CPUtime=12.68 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 53351 0 0 0 1254 14 0 0 20 0 1 0 268010243 197668864 45605 33554432000 4194304 10173063 140734736490816 140734736486200 7283391 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 48259 45605 779 1460 0 46790 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 193036 [startup+25.5002 s] /proc/loadavg: 2.05 2.04 1.76 3/177 5920 /proc/meminfo: memFree=25973004/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=194984 CPUtime=25.48 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 54079 0 0 0 2532 16 0 0 20 0 1 0 268010243 199663616 46333 33554432000 4194304 10173063 140734736490816 140734736484040 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 48746 46333 781 1460 0 47277 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 194984 [startup+51.1004 s] /proc/loadavg: 2.03 2.04 1.76 3/177 5920 /proc/meminfo: memFree=26030348/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=190400 CPUtime=51.08 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 66635 0 0 0 5080 28 0 0 20 0 1 0 268010243 194969600 46245 33554432000 4194304 10173063 140734736490816 140734736484648 7706032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 47600 46245 831 1460 0 46131 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 190400 [startup+102.307 s] /proc/loadavg: 2.08 2.05 1.78 3/177 5920 /proc/meminfo: memFree=26030412/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=190400 CPUtime=102.28 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 66635 0 0 0 10190 38 0 0 20 0 1 0 268010243 194969600 46245 33554432000 4194304 10173063 140734736490816 140734736484648 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 47600 46245 831 1460 0 46131 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 190400 [startup+162.3 s] /proc/loadavg: 2.06 2.05 1.80 3/177 5920 /proc/meminfo: memFree=26030536/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=192232 CPUtime=162.26 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 66637 0 0 0 16176 50 0 0 20 0 1 0 268010243 196845568 46247 33554432000 4194304 10173063 140734736490816 140734736484648 6868420 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 48058 46247 832 1460 0 46589 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 192232 [startup+222.3 s] /proc/loadavg: 2.02 2.04 1.81 3/177 5920 /proc/meminfo: memFree=25989288/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=208684 CPUtime=222.26 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 91274 0 0 0 22156 70 0 0 20 0 1 0 268010243 213692416 50240 33554432000 4194304 10173063 140734736490816 140734736484456 8012407 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 52171 50240 837 1460 0 50702 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 208684 [startup+282.3 s] /proc/loadavg: 2.01 2.03 1.82 3/177 5921 /proc/meminfo: memFree=25976272/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=223436 CPUtime=282.25 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 111399 0 0 0 28135 90 0 0 20 0 1 0 268010243 228798464 53456 33554432000 4194304 10173063 140734736490816 140734736484648 8046716 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 55859 53456 837 1460 0 54390 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 223436 [startup+342.3 s] /proc/loadavg: 2.00 2.02 1.82 3/177 5921 /proc/meminfo: memFree=25963752/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=236060 CPUtime=342.23 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 131485 0 0 0 34118 105 0 0 20 0 1 0 268010243 241725440 56545 33554432000 4194304 10173063 140734736490816 140734736486184 7910496 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 59015 56545 837 1460 0 57546 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 236060 [startup+402.3 s] /proc/loadavg: 2.00 2.02 1.83 3/178 5924 /proc/meminfo: memFree=25951072/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=248920 CPUtime=402.23 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 151396 0 0 0 40100 123 0 0 20 0 1 0 268010243 254894080 59756 33554432000 4194304 10173063 140734736490816 140734736484136 8007163 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 62230 59756 838 1460 0 60761 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 248920 [startup+462.3 s] /proc/loadavg: 2.00 2.01 1.84 3/178 5947 /proc/meminfo: memFree=25938920/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=261000 CPUtime=462.22 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 154434 0 0 0 46086 136 0 0 20 0 1 0 268010243 267264000 62775 33554432000 4194304 10173063 140734736490816 140734736484728 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 65250 62775 838 1460 0 63781 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 261000 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.84 3/176 5947 /proc/meminfo: memFree=25927404/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=273704 CPUtime=522.21 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 157544 0 0 0 52072 149 0 0 20 0 1 0 268010243 280272896 65869 33554432000 4194304 10173063 140734736490816 140734736483704 6868802 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 68426 65869 838 1460 0 66957 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 273704 [startup+582.3 s] /proc/loadavg: 2.10 2.03 1.86 3/177 5949 /proc/meminfo: memFree=25922768/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=275824 CPUtime=582.2 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 174043 0 0 0 58053 167 0 0 20 0 1 0 268010243 282443776 66758 33554432000 4194304 10173063 140734736490816 140734736484456 6868420 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 68956 66758 838 1460 0 67487 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 275824 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27118040/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=376072 CPUtime=1122.1 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 291640 0 0 0 111893 317 0 0 20 0 1 0 268010243 385097728 91339 33554432000 4194304 10173063 140734736490816 140734736484456 5084072 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 94018 91339 838 1460 0 92549 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 376072 [startup+1182.3 s] /proc/loadavg: 2.01 2.03 1.92 3/177 5992 /proc/meminfo: memFree=27054952/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=380420 CPUtime=1182.09 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 293355 0 0 0 117879 330 0 0 20 0 1 0 268010243 389550080 93054 33554432000 4194304 10173063 140734736490816 140734736484072 7911721 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 95105 93054 838 1460 0 93636 0 Current children cumulated CPU time (s) 1182.09 Current children cumulated vsize (KiB) 380420 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 1.92 3/177 5992 /proc/meminfo: memFree=26990064/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=395216 CPUtime=1242.08 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 296765 0 0 0 123866 342 0 0 20 0 1 0 268010243 404701184 96430 33554432000 4194304 10173063 140734736490816 140734736484072 8012276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 98804 96430 838 1460 0 97335 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 395216 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 1.92 3/177 5992 /proc/meminfo: memFree=26922600/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=404692 CPUtime=1302.08 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 299427 0 0 0 129853 355 0 0 20 0 1 0 268010243 414404608 99073 33554432000 4194304 10173063 140734736490816 140734736484456 7911706 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 101173 99073 838 1460 0 99704 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 404692 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 1.92 3/177 5992 /proc/meminfo: memFree=26864692/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=415228 CPUtime=1362.07 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 317659 0 0 0 135831 376 0 0 20 0 1 0 268010243 425193472 101571 33554432000 4194304 10173063 140734736490816 140734736484456 7661863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 103807 101571 838 1460 0 102338 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 415228 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.92 3/177 5992 /proc/meminfo: memFree=26807408/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=424680 CPUtime=1422.06 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 320411 0 0 0 141817 389 0 0 20 0 1 0 268010243 434872320 104236 33554432000 4194304 10173063 140734736490816 140734736484072 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 106170 104236 838 1460 0 104701 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 424680 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 5993 /proc/meminfo: memFree=26752188/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=432780 CPUtime=1482.05 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 322533 0 0 0 147804 401 0 0 20 0 1 0 268010243 443166720 106352 33554432000 4194304 10173063 140734736490816 140734736483992 7970327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 108195 106352 838 1460 0 106726 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 432780 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 5993 /proc/meminfo: memFree=26696456/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=441780 CPUtime=1542.04 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 324536 0 0 0 153791 413 0 0 20 0 1 0 268010243 452382720 108824 33554432000 4194304 10173063 140734736490816 140734736484456 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 110445 108824 838 1460 0 108976 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 441780 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 5996 /proc/meminfo: memFree=26634992/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=453992 CPUtime=1602.02 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 327441 0 0 0 159776 426 0 0 20 0 1 0 268010243 464887808 111712 33554432000 4194304 10173063 140734736490816 140734736484728 5122695 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 113498 111712 838 1460 0 112029 0 Current children cumulated CPU time (s) 1602.02 Current children cumulated vsize (KiB) 453992 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 5996 /proc/meminfo: memFree=26582548/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=467708 CPUtime=1662.02 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 330541 0 0 0 165763 439 0 0 20 0 1 0 268010243 478932992 114812 33554432000 4194304 10173063 140734736490816 140734736484456 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 116927 114812 838 1460 0 115458 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 467708 [startup+1722.3 s] /proc/loadavg: 2.12 2.03 1.93 3/177 5996 /proc/meminfo: memFree=26521292/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=482664 CPUtime=1722.01 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 334152 0 0 0 171747 454 0 0 20 0 1 0 268010243 494247936 118399 33554432000 4194304 10173063 140734736490816 140734736484072 7911892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 120666 118399 838 1460 0 119197 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 482664 [startup+1782.3 s] /proc/loadavg: 2.04 2.02 1.93 3/176 5996 /proc/meminfo: memFree=26464820/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=494864 CPUtime=1782 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 353620 0 0 0 177729 471 0 0 20 0 1 0 268010243 506740736 121607 33554432000 4194304 10173063 140734736490816 140734736484120 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 123716 121607 838 1460 0 122247 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 494864 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.04 2.02 1.93 3/177 5997 /proc/meminfo: memFree=26462456/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=495892 CPUtime=1785.2 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 353935 0 0 0 178048 472 0 0 20 0 1 0 268010243 507793408 121922 33554432000 4194304 10173063 140734736490816 140734736484456 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 123973 121922 838 1460 0 122504 0 Current children cumulated CPU time (s) 1785.2 Current children cumulated vsize (KiB) 495892 [startup+1791.91 s] /proc/loadavg: 2.04 2.02 1.93 3/177 5997 /proc/meminfo: memFree=26455636/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=495892 CPUtime=1791.61 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 354120 0 0 0 178687 474 0 0 20 0 1 0 268010243 507793408 122107 33554432000 4194304 10173063 140734736490816 140734736484072 8046957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 123973 122107 838 1460 0 122504 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (KiB) 495892 [startup+1795.1 s] /proc/loadavg: 2.03 2.02 1.93 3/177 5997 /proc/meminfo: memFree=26451296/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=495892 CPUtime=1794.8 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 354148 0 0 0 179006 474 0 0 20 0 1 0 268010243 507793408 122135 33554432000 4194304 10173063 140734736490816 140734736484456 8007083 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 123973 122135 838 1460 0 122504 0 Current children cumulated CPU time (s) 1794.8 Current children cumulated vsize (KiB) 495892 [startup+1795.9 s] /proc/loadavg: 2.03 2.02 1.93 3/177 5997 /proc/meminfo: memFree=26451296/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=495892 CPUtime=1795.59 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 354148 0 0 0 179085 474 0 0 20 0 1 0 268010243 507793408 122135 33554432000 4194304 10173063 140734736490816 140734736484184 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 123973 122135 838 1460 0 122504 0 Current children cumulated CPU time (s) 1795.59 Current children cumulated vsize (KiB) 495892 [startup+1796.7 s] /proc/loadavg: 2.03 2.02 1.93 3/177 5997 /proc/meminfo: memFree=26450304/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=496900 CPUtime=1796.39 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 354203 0 0 0 179165 474 0 0 20 0 1 0 268010243 508825600 122190 33554432000 4194304 10173063 140734736490816 140734736486184 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 124225 122190 838 1460 0 122756 0 Current children cumulated CPU time (s) 1796.39 Current children cumulated vsize (KiB) 496900 [startup+1797.1 s] /proc/loadavg: 2.03 2.02 1.93 3/177 5997 /proc/meminfo: memFree=26450304/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=497924 CPUtime=1796.79 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 354277 0 0 0 179205 474 0 0 20 0 1 0 268010243 509874176 122264 33554432000 4194304 10173063 140734736490816 140734736486184 4928768 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 124481 122264 840 1460 0 123012 0 Current children cumulated CPU time (s) 1796.79 Current children cumulated vsize (KiB) 497924 [startup+1797.2 s] /proc/loadavg: 2.03 2.02 1.93 3/177 5997 /proc/meminfo: memFree=26450304/32873648 swapFree=6336/6336 [pid=5919] ppid=5917 vsize=496316 CPUtime=1796.9 cores=1,3,5,7 /proc/5919/stat : 5919 (scip-2.1.1.4fix) R 5917 5919 5668 0 -1 4202496 354277 0 0 0 179215 475 0 0 20 0 1 0 268010243 508227584 121862 33554432000 4194304 10173063 140734736490816 140734736486184 4953280 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/5919/statm: 124079 121862 840 1460 0 122610 0 Current children cumulated CPU time (s) 1796.9 Current children cumulated vsize (KiB) 496316 Child status: 0 Real time (s): 1797.29 CPU time (s): 1796.99 CPU user time (s): 1792.23 CPU system time (s): 4.76527 CPU usage (%): 99.9837 Max. virtual memory (cumulated for all children) (KiB): 543224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.23 system time used= 4.76527 maximum resident set size= 538100 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 354279 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= 40 involuntary context switches= 1848 runsolver used 6.36403 second user time and 17.5833 second system time The end
Begin job on node112 at 2012-05-26 09:53:50 IDJOB=3690941 IDBENCH=2254 IDSOLVER=2270 FILE ID=node112/3690941-1338018830 RUNJOBID= node112-1338016935-5685 PBS_JOBID= 14624359 Free space on /tmp= 71564 MiB SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690941-1338018830/watcher-3690941-1338018830 -o /tmp/evaluation-result-3690941-1338018830/solver-3690941-1338018830 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690941-1338018830.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= dadfd792215a2bce735ffb7b3e25dcc5 RANDOM SEED=645046885 node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 26155520 kB Buffers: 224044 kB Cached: 4046332 kB SwapCached: 0 kB Active: 2285944 kB Inactive: 3643924 kB Active(anon): 1661940 kB Inactive(anon): 0 kB Active(file): 624004 kB Inactive(file): 3643924 kB Unevictable: 6336 kB Mlocked: 6336 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 14756 kB Writeback: 0 kB AnonPages: 1726432 kB Mapped: 17456 kB Shmem: 200 kB Slab: 634280 kB SReclaimable: 78500 kB SUnreclaim: 555780 kB KernelStack: 1472 kB PageTables: 7896 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1859596 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 1474560 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71560 MiB End job on node112 at 2012-05-26 10:23:47