Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1801.15 | 1801.12 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973163--soft-33-100-0.wbo |
| MD5SUM | e1c1b8cf9bad61151281f614914c2e6f |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 15 |
| Best CPU time to get the best result obtained on this benchmark | 0.31795 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 69 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 3204 |
| Min constraint cost | 1 |
| Max constraint cost | 97 |
| Sum of constraints costs | 3203 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1215 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693948-1277898200.wbo>
0.00/0.00 c original problem has 307 variables (238 bin, 0 int, 0 impl, 69 cont) and 171 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 2) 0 del vars, 4 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 3) 1 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 4) 2 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 30 upgd conss, 75 impls, 20 clqs
0.00/0.02 c (0.0s) probing: 101/237 (42.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 2 deleted vars, 5 deleted constraints, 68 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 75 implications, 20 cliques
0.00/0.02 c presolved problem has 305 variables (237 bin, 0 int, 0 impl, 68 cont) and 166 constraints
0.00/0.02 c 68 constraints of type <indicator>
0.00/0.02 c 20 constraints of type <setppc>
0.00/0.02 c 68 constraints of type <linear>
0.00/0.02 c 10 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 950k| 0 | - | 305 | 166 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.09/1.12 c 1.0s| 10000 | 7149 | 0 | 0.0 |6802k| 168 | - | 305 |3372 | 0 | 0 | 0 |7518 | 0 | 0.000000e+00 | -- | Inf
2.80/2.84 c 2.7s| 20000 | 12908 | 0 | 0.0 | 11M| 168 | - | 305 |5225 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
5.19/5.23 c 5.0s| 30000 | 17903 | 0 | 0.0 | 17M| 168 | - | 305 |8875 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
8.49/8.51 c 8.1s| 40000 | 21500 | 0 | 0.0 | 22M| 168 | - | 305 | 11k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
12.79/12.85 c 12.4s| 50000 | 23286 | 0 | 0.0 | 27M| 168 | - | 305 | 15k| 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
15.89/15.98 c 15.4s| 60000 | 28391 | 0 | 0.0 | 28M| 168 | - | 305 |5476 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
17.39/17.41 o 666
17.39/17.41 c *16.8s| 69217 | 35189 | 0 | 0.0 | 30M| 168 | - | 305 |2881 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 6.660000e+02 | Inf
17.39/17.42 o 597
17.39/17.42 c *16.8s| 69464 | 35433 | 0 | 0.0 | 30M| 168 | - | 305 |2692 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 5.970000e+02 | Inf
17.39/17.42 o 596
17.39/17.42 c *16.8s| 69465 | 35432 | 0 | 0.0 | 30M| 168 | - | 305 |2692 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 5.960000e+02 | Inf
17.39/17.45 c 16.8s| 70000 | 35967 | 0 | 0.0 | 31M| 168 | - | 305 |2239 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 5.960000e+02 | Inf
17.49/17.51 o 561
17.49/17.51 c *16.9s| 71031 | 36976 | 0 | 0.0 | 31M| 168 | - | 305 |1827 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 5.610000e+02 | Inf
17.49/17.51 o 527
17.49/17.51 c *16.9s| 71032 | 36973 | 0 | 0.0 | 31M| 168 | - | 305 |1827 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
19.80/19.89 c 19.2s| 80000 | 40437 | 0 | 0.0 | 36M| 168 | - | 305 |9639 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
24.59/24.66 c 23.8s| 90000 | 42318 | 0 | 0.0 | 42M| 168 | - | 305 | 15k| 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
31.19/31.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.19/31.25 c 30.3s|100000 | 42681 | 0 | 0.0 | 46M| 168 | - | 305 | 19k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
39.09/39.14 c 38.1s|110000 | 42273 | 0 | 0.0 | 49M| 168 | - | 305 | 22k| 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
48.09/48.10 c 47.0s|120000 | 41260 | 0 | 0.0 | 52M| 168 | - | 305 | 26k| 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
57.89/57.93 c 56.7s|130000 | 41085 | 0 | 0.0 | 50M| 168 | - | 305 | 19k| 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
61.29/61.33 c 60.0s|140000 | 47523 | 0 | 0.0 | 52M| 168 | - | 305 | 10k| 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
64.49/64.59 c 63.2s|150000 | 53240 | 0 | 0.0 | 57M| 168 | - | 305 | 11k| 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
68.29/68.33 c 66.8s|160000 | 58158 | 0 | 0.0 | 61M| 168 | - | 305 | 11k| 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
72.69/72.72 c 71.1s|170000 | 61585 | 0 | 0.0 | 65M| 168 | - | 305 | 13k| 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
75.80/75.84 c 74.1s|180000 | 67597 | 0 | 0.0 | 65M| 168 | - | 305 |2371 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 5.270000e+02 | Inf
75.90/75.95 o 178
75.90/75.95 c *74.2s|181509 | 68285 | 0 | 0.0 | 65M| 168 | - | 305 |1160 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
76.59/76.62 c 74.8s|190000 | 76062 | 0 | 0.0 | 68M| 168 | - | 305 |1290 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
77.39/77.48 c 75.6s|200000 | 85002 | 0 | 0.0 | 72M| 168 | - | 305 |1732 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
78.19/78.22 o 171
78.19/78.22 c *76.3s|208034 | 91928 | 0 | 0.0 | 75M| 168 | - | 305 |2243 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
78.39/78.43 c 76.5s|210000 | 93601 | 0 | 0.0 | 75M| 168 | - | 305 |2456 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 1.710000e+02 | Inf
78.70/78.76 o 159
78.70/78.76 c *76.8s|212975 | 95969 | 0 | 0.0 | 77M| 168 | - | 305 |2700 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
79.49/79.50 o 156
79.49/79.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.49/79.50 c *77.5s|219059 |100892 | 0 | 0.0 | 79M| 168 | - | 305 |3306 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
79.49/79.54 o 150
79.49/79.54 c *77.5s|219385 |100999 | 0 | 0.0 | 79M| 168 | - | 305 |3324 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
79.59/79.63 c 77.6s|220000 |101481 | 0 | 0.0 | 80M| 168 | - | 305 |3353 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
79.69/79.76 o 141
79.69/79.76 c *77.8s|220997 |102001 | 0 | 0.0 | 80M| 168 | - | 305 |3534 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 1.410000e+02 | Inf
80.09/80.11 o 107
80.09/80.11 c *78.1s|223531 |102239 | 0 | 0.0 | 80M| 168 | - | 305 |3916 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
80.09/80.17 o 101
80.09/80.17 c *78.1s|223965 |102209 | 0 | 0.0 | 80M| 168 | - | 305 |3948 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 1.010000e+02 | Inf
80.09/80.18 o 92
80.09/80.18 c *78.2s|223988 | 99575 | 0 | 0.0 | 79M| 168 | - | 305 |3950 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
80.20/80.24 o 90
80.20/80.24 c *78.2s|224314 | 99539 | 0 | 0.0 | 79M| 168 | - | 305 |3934 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
80.30/80.31 o 88
80.30/80.31 c *78.3s|224759 | 99508 | 0 | 0.0 | 79M| 168 | - | 305 |3980 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
80.30/80.31 o 79
80.30/80.31 c *78.3s|224761 | 98510 | 0 | 0.0 | 79M| 168 | - | 305 |3980 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
80.40/80.41 o 73
80.40/80.41 c *78.4s|225270 | 95917 | 0 | 0.0 | 78M| 168 | - | 305 |4089 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
81.39/81.47 c 79.4s|230000 | 98594 | 0 | 0.0 | 81M| 168 | - | 305 |2886 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
85.09/85.17 c 83.0s|240000 | 98763 | 0 | 0.0 | 86M| 168 | - | 305 |6362 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
92.59/92.63 c 90.3s|250000 | 95558 | 0 | 0.0 | 88M| 168 | - | 305 | 15k| 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
103.19/103.21 c 101s|260000 | 89798 | 0 | 0.0 | 82M| 168 | - | 305 | 18k| 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
110.60/110.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.60/110.65 c 108s|270000 | 88333 | 0 | 0.0 | 73M| 168 | - | 305 |4550 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
113.79/113.85 c 111s|280000 | 91975 | 0 | 0.0 | 77M| 168 | - | 305 |7070 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
117.70/117.72 c 115s|290000 | 95026 | 0 | 0.0 | 81M| 168 | - | 305 |9858 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
122.20/122.20 c 119s|300000 | 97825 | 0 | 0.0 | 85M| 168 | - | 305 | 11k| 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
127.20/127.23 c 124s|310000 |100131 | 0 | 0.0 | 88M| 168 | - | 305 | 14k| 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
132.79/132.84 c 130s|320000 |102285 | 0 | 0.0 | 91M| 168 | - | 305 | 15k| 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
139.10/139.18 c 136s|330000 |103564 | 0 | 0.0 | 93M| 168 | - | 305 | 16k| 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
145.40/145.48 c 142s|340000 |104870 | 0 | 0.0 | 95M| 168 | - | 305 | 16k| 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
150.49/150.51 o 72
150.49/150.51 c * 147s|347738 |104614 | 0 | 0.0 | 96M| 168 | - | 305 | 17k| 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
152.09/152.10 c 149s|350000 |104492 | 0 | 0.0 | 95M| 168 | - | 305 | 13k| 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
156.10/156.10 c 152s|360000 |107969 | 0 | 0.0 | 94M| 168 | - | 305 |2237 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
157.30/157.33 c 154s|370000 |115934 | 0 | 0.0 | 98M| 168 | - | 305 |2104 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
158.49/158.59 c 155s|380000 |123757 | 0 | 0.0 | 102M| 168 | - | 305 |2470 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
159.89/159.90 c 156s|390000 |131490 | 0 | 0.0 | 106M| 168 | - | 305 |3052 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
161.19/161.24 c 157s|400000 |139164 | 0 | 0.0 | 111M| 168 | - | 305 |3458 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
162.59/162.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.59/162.60 c 159s|410000 |146853 | 0 | 0.0 | 115M| 168 | - | 305 |3582 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
163.99/164.01 c 160s|420000 |154432 | 0 | 0.0 | 119M| 168 | - | 305 |3978 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
165.49/165.52 c 161s|430000 |161823 | 0 | 0.0 | 124M| 168 | - | 305 |4371 | 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
166.99/167.04 c 163s|440000 |169197 | 0 | 0.0 | 128M| 168 | - | 305 |4694 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
168.60/168.66 c 164s|450000 |176396 | 0 | 0.0 | 132M| 168 | - | 305 |5136 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
170.29/170.36 c 166s|460000 |183440 | 0 | 0.0 | 137M| 168 | - | 305 |5091 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
172.00/172.05 c 168s|470000 |190444 | 0 | 0.0 | 141M| 168 | - | 305 |5439 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
173.80/173.81 c 169s|480000 |197399 | 0 | 0.0 | 145M| 168 | - | 305 |5455 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
175.60/175.61 c 171s|490000 |204255 | 0 | 0.0 | 150M| 168 | - | 305 |5611 | 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
177.30/177.39 c 173s|500000 |211077 | 0 | 0.0 | 154M| 168 | - | 305 |6106 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
179.29/179.32 c 174s|510000 |217602 | 0 | 0.0 | 159M| 168 | - | 305 |6659 | 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
181.30/181.31 c 176s|520000 |224020 | 0 | 0.0 | 163M| 168 | - | 305 |6996 | 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
183.60/183.63 c 179s|530000 |229851 | 0 | 0.0 | 168M| 168 | - | 305 |7379 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
185.99/186.03 c 181s|540000 |235506 | 0 | 0.0 | 173M| 168 | - | 305 |7801 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
188.59/188.60 c 183s|550000 |240880 | 0 | 0.0 | 177M| 168 | - | 305 |8020 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
191.30/191.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.30/191.37 c 186s|560000 |245966 | 0 | 0.0 | 182M| 168 | - | 305 |8503 | 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
194.40/194.43 c 189s|570000 |250502 | 0 | 0.0 | 186M| 168 | - | 305 |8926 | 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
197.90/197.98 c 192s|580000 |254075 | 0 | 0.0 | 190M| 168 | - | 305 |9593 | 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
202.00/202.08 c 196s|590000 |256783 | 0 | 0.0 | 194M| 168 | - | 305 | 10k| 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
207.19/207.23 c 201s|600000 |257484 | 0 | 0.0 | 195M| 168 | - | 305 |9323 | 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 7.200000e+01 | Inf
212.80/212.86 c 207s|610000 |258073 | 0 | 0.0 | 197M| 168 | - | 305 | 12k| 0 | 0 | 0 | 654k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
220.20/220.27 c 214s|620000 |258504 | 0 | 0.0 | 201M| 168 | - | 305 | 17k| 0 | 0 | 0 | 674k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
228.39/228.40 c 222s|630000 |258191 | 0 | 0.0 | 202M| 168 | - | 305 | 12k| 0 | 0 | 0 | 693k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
234.49/234.58 c 228s|640000 |257608 | 0 | 0.0 | 203M| 168 | - | 305 | 11k| 0 | 0 | 0 | 713k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
242.50/242.55 c 236s|650000 |257300 | 0 | 0.0 | 208M| 168 | - | 305 | 21k| 0 | 0 | 0 | 732k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
253.79/253.88 c 247s|660000 |256821 | 0 | 0.0 | 212M| 168 | - | 305 | 29k| 0 | 0 | 0 | 750k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
268.30/268.38 c 262s|670000 |255847 | 0 | 0.0 | 215M| 168 | - | 305 | 34k| 0 | 0 | 0 | 769k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
285.49/285.57 c 279s|680000 |253863 | 0 | 0.0 | 216M| 168 | - | 305 | 34k| 0 | 0 | 0 | 788k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
302.89/302.95 c 296s|690000 |251360 | 0 | 0.0 | 212M| 168 | - | 305 | 29k| 0 | 0 | 0 | 807k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
307.20/307.29 c 300s|700000 |258460 | 0 | 0.0 | 211M| 168 | - | 305 | 10k| 0 | 0 | 0 | 813k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
310.10/310.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
310.10/310.19 c 303s|710000 |264998 | 0 | 0.0 | 215M| 168 | - | 305 |8388 | 0 | 0 | 0 | 820k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
312.90/312.98 c 306s|720000 |271352 | 0 | 0.0 | 219M| 168 | - | 305 |7898 | 0 | 0 | 0 | 827k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
315.70/315.73 c 309s|730000 |277475 | 0 | 0.0 | 224M| 168 | - | 305 |7799 | 0 | 0 | 0 | 834k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
318.50/318.55 c 311s|740000 |283510 | 0 | 0.0 | 229M| 168 | - | 305 |7619 | 0 | 0 | 0 | 841k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
321.40/321.40 c 314s|750000 |289395 | 0 | 0.0 | 233M| 168 | - | 305 |7573 | 0 | 0 | 0 | 849k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
324.40/324.40 c 317s|760000 |295104 | 0 | 0.0 | 239M| 168 | - | 305 |8378 | 0 | 0 | 0 | 857k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
327.30/327.34 c 320s|770000 |300873 | 0 | 0.0 | 244M| 168 | - | 305 |9390 | 0 | 0 | 0 | 865k| 0 | 1.000000e+00 | 7.200000e+01 |7100.00%
329.20/329.21 o 62
329.20/329.21 c * 322s|775627 |302266 | 0 | 0.0 | 245M| 168 | - | 305 |9694 | 0 | 0 | 0 | 870k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
330.69/330.73 c 323s|780000 |304734 | 0 | 0.0 | 247M| 168 | - | 305 |8495 | 0 | 0 | 0 | 873k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
333.10/333.10 c 325s|790000 |310069 | 0 | 0.0 | 250M| 168 | - | 305 |2769 | 0 | 0 | 0 | 882k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
335.50/335.58 c 328s|800000 |315270 | 0 | 0.0 | 255M| 168 | - | 305 |3288 | 0 | 0 | 0 | 891k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
338.19/338.24 c 330s|810000 |320295 | 0 | 0.0 | 261M| 168 | - | 305 |5792 | 0 | 0 | 0 | 900k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
340.90/340.95 c 333s|820000 |325475 | 0 | 0.0 | 266M| 168 | - | 305 |5661 | 0 | 0 | 0 | 909k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
343.69/343.77 c 336s|830000 |330753 | 0 | 0.0 | 271M| 168 | - | 305 |7581 | 0 | 0 | 0 | 918k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
346.59/346.69 c 338s|840000 |335848 | 0 | 0.0 | 276M| 168 | - | 305 |7054 | 0 | 0 | 0 | 927k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
349.50/349.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.50/349.58 c 341s|850000 |341219 | 0 | 0.0 | 281M| 168 | - | 305 |6990 | 0 | 0 | 0 | 935k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
352.50/352.57 c 344s|860000 |346066 | 0 | 0.0 | 286M| 168 | - | 305 |7870 | 0 | 0 | 0 | 945k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
355.60/355.61 c 347s|870000 |351522 | 0 | 0.0 | 291M| 168 | - | 305 |7900 | 0 | 0 | 0 | 953k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
358.70/358.74 c 350s|880000 |356377 | 0 | 0.0 | 296M| 168 | - | 305 |8613 | 0 | 0 | 0 | 962k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
362.00/362.00 c 353s|890000 |361661 | 0 | 0.0 | 301M| 168 | - | 305 |9093 | 0 | 0 | 0 | 970k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
365.10/365.12 c 356s|900000 |366690 | 0 | 0.0 | 305M| 168 | - | 305 |8613 | 0 | 0 | 0 | 979k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
368.29/368.40 c 359s|910000 |371716 | 0 | 0.0 | 310M| 168 | - | 305 |9954 | 0 | 0 | 0 | 988k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
371.70/371.74 c 363s|920000 |376444 | 0 | 0.0 | 314M| 168 | - | 305 |8560 | 0 | 0 | 0 | 997k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
375.00/375.01 c 366s|930000 |381421 | 0 | 0.0 | 319M| 168 | - | 305 |9803 | 0 | 0 | 0 |1006k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
378.10/378.17 c 369s|940000 |386415 | 0 | 0.0 | 323M| 168 | - | 305 |8701 | 0 | 0 | 0 |1014k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
381.40/381.48 c 372s|950000 |391291 | 0 | 0.0 | 328M| 168 | - | 305 | 10k| 0 | 0 | 0 |1023k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
384.80/384.81 c 375s|960000 |396330 | 0 | 0.0 | 333M| 168 | - | 305 |7954 | 0 | 0 | 0 |1031k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
388.09/388.18 c 379s|970000 |400911 | 0 | 0.0 | 338M| 168 | - | 305 | 10k| 0 | 0 | 0 |1041k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
391.60/391.63 c 382s|980000 |405798 | 0 | 0.0 | 343M| 168 | - | 305 | 11k| 0 | 0 | 0 |1049k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
394.99/395.03 c 385s|990000 |410464 | 0 | 0.0 | 346M| 168 | - | 305 | 10k| 0 | 0 | 0 |1058k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
398.60/398.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
398.60/398.65 c 389s| 1000k|415104 | 0 | 0.0 | 351M| 168 | - | 305 | 11k| 0 | 0 | 0 |1067k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
402.00/402.05 c 392s| 1010k|419964 | 0 | 0.0 | 356M| 168 | - | 305 | 10k| 0 | 0 | 0 |1076k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
405.69/405.78 c 396s| 1020k|424305 | 0 | 0.0 | 360M| 168 | - | 305 | 10k| 0 | 0 | 0 |1085k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
409.30/409.31 c 399s| 1030k|429163 | 0 | 0.0 | 364M| 168 | - | 305 |9044 | 0 | 0 | 0 |1093k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
412.80/412.90 c 403s| 1040k|433375 | 0 | 0.0 | 369M| 168 | - | 305 | 10k| 0 | 0 | 0 |1103k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
416.59/416.68 c 406s| 1050k|437881 | 0 | 0.0 | 373M| 168 | - | 305 | 10k| 0 | 0 | 0 |1111k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
419.89/419.90 c 409s| 1060k|442829 | 0 | 0.0 | 377M| 168 | - | 305 | 10k| 0 | 0 | 0 |1119k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
423.70/423.79 c 413s| 1070k|446940 | 0 | 0.0 | 382M| 168 | - | 305 | 11k| 0 | 0 | 0 |1129k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
427.30/427.32 c 417s| 1080k|451681 | 0 | 0.0 | 386M| 168 | - | 305 |9559 | 0 | 0 | 0 |1137k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
430.99/431.04 c 420s| 1090k|455837 | 0 | 0.0 | 391M| 168 | - | 305 | 11k| 0 | 0 | 0 |1146k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
434.70/434.70 c 424s| 1100k|460501 | 0 | 0.0 | 395M| 168 | - | 305 | 11k| 0 | 0 | 0 |1155k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
438.39/438.40 c 427s| 1110k|464721 | 0 | 0.0 | 399M| 168 | - | 305 | 11k| 0 | 0 | 0 |1164k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
442.21/442.20 c 431s| 1120k|469168 | 0 | 0.0 | 404M| 168 | - | 305 | 11k| 0 | 0 | 0 |1172k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
445.89/445.97 c 435s| 1130k|473343 | 0 | 0.0 | 408M| 168 | - | 305 | 11k| 0 | 0 | 0 |1182k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
449.81/449.83 c 439s| 1140k|477648 | 0 | 0.0 | 413M| 168 | - | 305 | 11k| 0 | 0 | 0 |1191k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
453.70/453.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
453.70/453.73 c 442s| 1150k|481587 | 0 | 0.0 | 416M| 168 | - | 305 | 11k| 0 | 0 | 0 |1200k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
457.60/457.69 c 446s| 1160k|485672 | 0 | 0.0 | 421M| 168 | - | 305 | 11k| 0 | 0 | 0 |1209k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
461.70/461.75 c 450s| 1170k|489442 | 0 | 0.0 | 424M| 168 | - | 305 | 11k| 0 | 0 | 0 |1219k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
465.80/465.81 c 454s| 1180k|493406 | 0 | 0.0 | 429M| 168 | - | 305 | 11k| 0 | 0 | 0 |1228k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
470.00/470.02 c 458s| 1190k|496895 | 0 | 0.0 | 432M| 168 | - | 305 | 12k| 0 | 0 | 0 |1238k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
474.40/474.41 c 463s| 1200k|500538 | 0 | 0.0 | 437M| 168 | - | 305 | 12k| 0 | 0 | 0 |1247k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
479.00/479.02 c 467s| 1210k|503649 | 0 | 0.0 | 440M| 168 | - | 305 | 12k| 0 | 0 | 0 |1257k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
483.80/483.84 c 472s| 1220k|506536 | 0 | 0.0 | 444M| 168 | - | 305 | 13k| 0 | 0 | 0 |1268k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
488.60/488.63 c 476s| 1230k|509701 | 0 | 0.0 | 448M| 168 | - | 305 | 12k| 0 | 0 | 0 |1278k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
493.70/493.74 c 481s| 1240k|512359 | 0 | 0.0 | 452M| 168 | - | 305 | 13k| 0 | 0 | 0 |1289k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
499.20/499.25 c 487s| 1250k|514566 | 0 | 0.0 | 456M| 168 | - | 305 | 13k| 0 | 0 | 0 |1301k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
505.10/505.18 c 493s| 1260k|516412 | 0 | 0.0 | 459M| 168 | - | 305 | 13k| 0 | 0 | 0 |1313k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
511.30/511.35 c 499s| 1270k|517873 | 0 | 0.0 | 463M| 168 | - | 305 | 14k| 0 | 0 | 0 |1325k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
517.80/517.89 c 505s| 1280k|518884 | 0 | 0.0 | 466M| 168 | - | 305 | 14k| 0 | 0 | 0 |1338k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
524.80/524.90 c 512s| 1290k|519500 | 0 | 0.0 | 469M| 168 | - | 305 | 14k| 0 | 0 | 0 |1351k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
532.50/532.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
532.50/532.59 c 520s| 1300k|519505 | 0 | 0.0 | 471M| 168 | - | 305 | 15k| 0 | 0 | 0 |1365k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
541.30/541.30 c 528s| 1310k|518261 | 0 | 0.0 | 473M| 168 | - | 305 | 16k| 0 | 0 | 0 |1380k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
548.50/548.56 c 535s| 1320k|518591 | 0 | 0.0 | 473M| 168 | - | 305 | 13k| 0 | 0 | 0 |1392k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
550.80/550.85 c 538s| 1330k|524630 | 0 | 0.0 | 473M| 168 | - | 305 |3100 | 0 | 0 | 0 |1398k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
552.90/552.97 c 540s| 1340k|530033 | 0 | 0.0 | 477M| 168 | - | 305 |3651 | 0 | 0 | 0 |1406k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
560.40/560.40 c 547s| 1350k|526069 | 0 | 0.0 | 475M| 168 | - | 305 | 13k| 0 | 0 | 0 |1427k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
566.10/566.18 c 552s| 1360k|527920 | 0 | 0.0 | 473M| 168 | - | 305 |6552 | 0 | 0 | 0 |1438k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
570.00/570.08 c 556s| 1370k|531839 | 0 | 0.0 | 478M| 168 | - | 305 |7544 | 0 | 0 | 0 |1448k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
574.00/574.05 c 560s| 1380k|535809 | 0 | 0.0 | 482M| 168 | - | 305 |8705 | 0 | 0 | 0 |1458k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
578.30/578.36 c 564s| 1390k|539516 | 0 | 0.0 | 486M| 168 | - | 305 |8964 | 0 | 0 | 0 |1468k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
583.10/583.18 c 569s| 1400k|542493 | 0 | 0.0 | 490M| 168 | - | 305 |9152 | 0 | 0 | 0 |1479k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
587.90/587.93 c 574s| 1410k|545839 | 0 | 0.0 | 494M| 168 | - | 305 |9385 | 0 | 0 | 0 |1490k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
592.81/592.89 c 579s| 1420k|548879 | 0 | 0.0 | 497M| 168 | - | 305 | 10k| 0 | 0 | 0 |1501k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
598.10/598.11 c 584s| 1430k|551764 | 0 | 0.0 | 501M| 168 | - | 305 | 10k| 0 | 0 | 0 |1512k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
603.70/603.77 c 589s| 1440k|554186 | 0 | 0.0 | 504M| 168 | - | 305 | 11k| 0 | 0 | 0 |1524k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
608.80/608.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
608.80/608.87 c 594s| 1450k|557324 | 0 | 0.0 | 508M| 168 | - | 305 | 12k| 0 | 0 | 0 |1535k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
614.80/614.81 c 600s| 1460k|559982 | 0 | 0.0 | 510M| 168 | - | 305 | 11k| 0 | 0 | 0 |1546k| 0 | 1.000000e+00 | 6.200000e+01 |6100.00%
620.60/620.61 c 606s| 1470k|562786 | 0 | 0.0 | 515M| 168 | - | 305 | 14k| 0 | 0 | 0 |1557k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
626.50/626.57 c 612s| 1480k|565700 | 0 | 0.0 | 518M| 168 | - | 305 | 13k| 0 | 0 | 0 |1568k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
633.10/633.13 c 618s| 1490k|568187 | 0 | 0.0 | 522M| 168 | - | 305 | 14k| 0 | 0 | 0 |1580k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
639.11/639.13 c 624s| 1500k|571332 | 0 | 0.0 | 527M| 168 | - | 305 | 14k| 0 | 0 | 0 |1590k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
646.00/646.03 c 631s| 1510k|573799 | 0 | 0.0 | 530M| 168 | - | 305 | 15k| 0 | 0 | 0 |1601k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
652.60/652.69 c 637s| 1520k|576438 | 0 | 0.0 | 534M| 168 | - | 305 | 15k| 0 | 0 | 0 |1613k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
658.81/658.88 c 643s| 1530k|579754 | 0 | 0.0 | 538M| 168 | - | 305 | 17k| 0 | 0 | 0 |1623k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
666.70/666.73 c 651s| 1540k|581639 | 0 | 0.0 | 542M| 168 | - | 305 | 16k| 0 | 0 | 0 |1635k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
673.11/673.12 c 657s| 1550k|584833 | 0 | 0.0 | 546M| 168 | - | 305 | 18k| 0 | 0 | 0 |1646k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
681.50/681.53 c 666s| 1560k|586615 | 0 | 0.0 | 549M| 168 | - | 305 | 17k| 0 | 0 | 0 |1658k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
688.60/688.65 c 673s| 1570k|589433 | 0 | 0.0 | 553M| 168 | - | 305 | 18k| 0 | 0 | 0 |1669k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
695.90/695.99 c 680s| 1580k|592511 | 0 | 0.0 | 557M| 168 | - | 305 | 19k| 0 | 0 | 0 |1679k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
704.30/704.32 c 688s| 1590k|594635 | 0 | 0.0 | 561M| 168 | - | 305 | 19k| 0 | 0 | 0 |1691k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
710.91/710.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
710.91/710.99 c 695s| 1600k|598358 | 0 | 0.0 | 565M| 168 | - | 305 | 20k| 0 | 0 | 0 |1700k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
720.20/720.27 c 704s| 1610k|600210 | 0 | 0.0 | 568M| 168 | - | 305 | 20k| 0 | 0 | 0 |1712k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
728.00/728.05 c 712s| 1620k|602972 | 0 | 0.0 | 572M| 168 | - | 305 | 19k| 0 | 0 | 0 |1723k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
734.10/734.16 c 718s| 1630k|607270 | 0 | 0.0 | 577M| 168 | - | 305 | 21k| 0 | 0 | 0 |1732k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
743.40/743.48 c 727s| 1640k|609079 | 0 | 0.0 | 579M| 168 | - | 305 | 21k| 0 | 0 | 0 |1743k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
751.31/751.32 c 735s| 1650k|612013 | 0 | 0.0 | 583M| 168 | - | 305 | 21k| 0 | 0 | 0 |1754k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
758.10/758.14 c 741s| 1660k|615900 | 0 | 0.0 | 588M| 168 | - | 305 | 22k| 0 | 0 | 0 |1763k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
768.50/768.56 c 752s| 1670k|617198 | 0 | 0.0 | 591M| 168 | - | 305 | 22k| 0 | 0 | 0 |1776k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
776.70/776.76 c 760s| 1680k|620031 | 0 | 0.0 | 594M| 168 | - | 305 | 21k| 0 | 0 | 0 |1786k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
783.40/783.45 c 766s| 1690k|623832 | 0 | 0.0 | 599M| 168 | - | 305 | 23k| 0 | 0 | 0 |1795k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
793.30/793.34 c 776s| 1700k|625670 | 0 | 0.0 | 602M| 168 | - | 305 | 23k| 0 | 0 | 0 |1807k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
802.40/802.44 c 785s| 1710k|628033 | 0 | 0.0 | 606M| 168 | - | 305 | 23k| 0 | 0 | 0 |1818k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
810.20/810.29 c 793s| 1720k|631553 | 0 | 0.0 | 610M| 168 | - | 305 | 23k| 0 | 0 | 0 |1827k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
819.41/819.42 c 802s| 1730k|634170 | 0 | 0.0 | 614M| 168 | - | 305 | 25k| 0 | 0 | 0 |1838k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
829.80/829.86 c 812s| 1740k|635770 | 0 | 0.0 | 617M| 168 | - | 305 | 24k| 0 | 0 | 0 |1849k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
837.61/837.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.61/837.68 c 820s| 1750k|639298 | 0 | 0.0 | 621M| 168 | - | 305 | 24k| 0 | 0 | 0 |1859k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
845.01/845.07 c 827s| 1760k|643182 | 0 | 0.0 | 626M| 168 | - | 305 | 24k| 0 | 0 | 0 |1868k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
856.71/856.79 c 839s| 1770k|643771 | 0 | 0.0 | 628M| 168 | - | 305 | 24k| 0 | 0 | 0 |1881k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
865.10/865.17 c 847s| 1780k|646697 | 0 | 0.0 | 632M| 168 | - | 305 | 24k| 0 | 0 | 0 |1891k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
872.61/872.63 c 854s| 1790k|650296 | 0 | 0.0 | 636M| 168 | - | 305 | 25k| 0 | 0 | 0 |1900k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
883.60/883.64 c 865s| 1800k|651193 | 0 | 0.0 | 638M| 168 | - | 305 | 24k| 0 | 0 | 0 |1913k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
892.90/892.92 c 875s| 1810k|653542 | 0 | 0.0 | 642M| 168 | - | 305 | 25k| 0 | 0 | 0 |1923k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
901.00/901.01 c 883s| 1820k|656970 | 0 | 0.0 | 646M| 168 | - | 305 | 24k| 0 | 0 | 0 |1933k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
909.61/909.67 c 891s| 1830k|659623 | 0 | 0.0 | 650M| 168 | - | 305 | 25k| 0 | 0 | 0 |1943k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
920.61/920.61 c 902s| 1840k|660574 | 0 | 0.0 | 653M| 168 | - | 305 | 25k| 0 | 0 | 0 |1956k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
929.00/929.05 c 910s| 1850k|663640 | 0 | 0.0 | 657M| 168 | - | 305 | 25k| 0 | 0 | 0 |1965k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
936.30/936.32 c 917s| 1860k|667431 | 0 | 0.0 | 662M| 168 | - | 305 | 25k| 0 | 0 | 0 |1974k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
948.30/948.31 c 929s| 1870k|667501 | 0 | 0.0 | 664M| 168 | - | 305 | 26k| 0 | 0 | 0 |1988k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
957.20/957.29 c 938s| 1880k|670124 | 0 | 0.0 | 668M| 168 | - | 305 | 25k| 0 | 0 | 0 |1998k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
964.90/964.94 c 946s| 1890k|673757 | 0 | 0.0 | 672M| 168 | - | 305 | 26k| 0 | 0 | 0 |2007k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
976.61/976.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
976.61/976.68 c 957s| 1900k|674244 | 0 | 0.0 | 675M| 168 | - | 305 | 27k| 0 | 0 | 0 |2020k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
986.51/986.56 c 967s| 1910k|676575 | 0 | 0.0 | 678M| 168 | - | 305 | 26k| 0 | 0 | 0 |2030k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
994.91/994.96 c 975s| 1920k|679696 | 0 | 0.0 | 682M| 168 | - | 305 | 26k| 0 | 0 | 0 |2040k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1006.81/1006.84 c 987s| 1930k|680182 | 0 | 0.0 | 685M| 168 | - | 305 | 26k| 0 | 0 | 0 |2053k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1016.61/1016.65 c 997s| 1940k|682214 | 0 | 0.0 | 688M| 168 | - | 305 | 25k| 0 | 0 | 0 |2064k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1024.71/1024.76 c 1005s| 1950k|685294 | 0 | 0.0 | 693M| 168 | - | 305 | 26k| 0 | 0 | 0 |2074k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1036.90/1036.97 c 1017s| 1960k|685351 | 0 | 0.0 | 695M| 168 | - | 305 | 26k| 0 | 0 | 0 |2087k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1046.41/1046.49 c 1026s| 1970k|687352 | 0 | 0.0 | 699M| 168 | - | 305 | 25k| 0 | 0 | 0 |2098k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1054.51/1054.58 c 1034s| 1980k|690496 | 0 | 0.0 | 703M| 168 | - | 305 | 26k| 0 | 0 | 0 |2107k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1067.10/1067.15 c 1047s| 1990k|690386 | 0 | 0.0 | 705M| 168 | - | 305 | 26k| 0 | 0 | 0 |2121k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1076.71/1076.78 c 1056s| 2000k|692418 | 0 | 0.0 | 709M| 168 | - | 305 | 25k| 0 | 0 | 0 |2132k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1086.72/1086.74 c 1066s| 2010k|693991 | 0 | 0.0 | 713M| 168 | - | 305 | 27k| 0 | 0 | 0 |2143k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1098.70/1098.76 c 1078s| 2020k|694726 | 0 | 0.0 | 716M| 168 | - | 305 | 26k| 0 | 0 | 0 |2156k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1107.81/1107.84 c 1087s| 2030k|697370 | 0 | 0.0 | 720M| 168 | - | 305 | 27k| 0 | 0 | 0 |2166k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1121.41/1121.40 c 1101s| 2040k|696715 | 0 | 0.0 | 722M| 168 | - | 305 | 27k| 0 | 0 | 0 |2180k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1132.01/1132.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1132.01/1132.02 c 1111s| 2050k|698328 | 0 | 0.0 | 726M| 168 | - | 305 | 27k| 0 | 0 | 0 |2191k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1145.21/1145.26 c 1124s| 2060k|697937 | 0 | 0.0 | 728M| 168 | - | 305 | 28k| 0 | 0 | 0 |2205k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1156.71/1156.73 c 1136s| 2070k|699039 | 0 | 0.0 | 732M| 168 | - | 305 | 27k| 0 | 0 | 0 |2217k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1170.71/1170.71 c 1149s| 2080k|698340 | 0 | 0.0 | 734M| 168 | - | 305 | 27k| 0 | 0 | 0 |2231k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1183.21/1183.26 c 1162s| 2090k|698423 | 0 | 0.0 | 737M| 168 | - | 305 | 28k| 0 | 0 | 0 |2244k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1197.01/1197.03 c 1175s| 2100k|698071 | 0 | 0.0 | 739M| 168 | - | 305 | 28k| 0 | 0 | 0 |2258k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1211.31/1211.35 c 1190s| 2110k|697280 | 0 | 0.0 | 742M| 168 | - | 305 | 28k| 0 | 0 | 0 |2271k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1225.51/1225.54 c 1204s| 2120k|696515 | 0 | 0.0 | 744M| 168 | - | 305 | 29k| 0 | 0 | 0 |2285k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1240.91/1240.92 c 1219s| 2130k|695462 | 0 | 0.0 | 747M| 168 | - | 305 | 31k| 0 | 0 | 0 |2300k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1257.41/1257.44 c 1235s| 2140k|693962 | 0 | 0.0 | 748M| 168 | - | 305 | 31k| 0 | 0 | 0 |2314k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1273.61/1273.64 c 1251s| 2150k|692612 | 0 | 0.0 | 750M| 168 | - | 305 | 31k| 0 | 0 | 0 |2328k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1291.01/1291.09 c 1269s| 2160k|690403 | 0 | 0.0 | 752M| 168 | - | 305 | 31k| 0 | 0 | 0 |2344k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1309.22/1309.28 c 1287s| 2170k|687956 | 0 | 0.0 | 753M| 168 | - | 305 | 32k| 0 | 0 | 0 |2359k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1328.61/1328.63 c 1306s| 2180k|684584 | 0 | 0.0 | 751M| 168 | - | 305 | 27k| 0 | 0 | 0 |2374k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1339.31/1339.30 c 1316s| 2190k|686525 | 0 | 0.0 | 753M| 168 | - | 305 | 24k| 0 | 0 | 0 |2385k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1347.31/1347.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1347.31/1347.34 c 1324s| 2200k|690717 | 0 | 0.0 | 756M| 168 | - | 305 | 21k| 0 | 0 | 0 |2394k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1353.81/1353.86 c 1331s| 2210k|695424 | 0 | 0.0 | 758M| 168 | - | 305 | 19k| 0 | 0 | 0 |2402k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1358.91/1358.98 c 1336s| 2220k|700529 | 0 | 0.0 | 760M| 168 | - | 305 | 13k| 0 | 0 | 0 |2410k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1363.32/1363.35 c 1340s| 2230k|705560 | 0 | 0.0 | 763M| 168 | - | 305 | 11k| 0 | 0 | 0 |2418k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1367.52/1367.54 c 1344s| 2240k|710397 | 0 | 0.0 | 767M| 168 | - | 305 | 11k| 0 | 0 | 0 |2427k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1371.81/1371.81 c 1348s| 2250k|714998 | 0 | 0.0 | 771M| 168 | - | 305 | 12k| 0 | 0 | 0 |2437k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1376.62/1376.64 c 1353s| 2260k|718814 | 0 | 0.0 | 776M| 168 | - | 305 | 13k| 0 | 0 | 0 |2448k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1382.12/1382.19 c 1358s| 2270k|721897 | 0 | 0.0 | 779M| 168 | - | 305 | 10k| 0 | 0 | 0 |2460k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1384.12/1384.15 c 1360s| 2280k|729089 | 0 | 0.0 | 781M| 168 | - | 305 |5856 | 0 | 0 | 0 |2466k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1388.22/1388.27 c 1364s| 2290k|731437 | 0 | 0.0 | 786M| 168 | - | 305 |7930 | 0 | 0 | 0 |2477k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1394.82/1394.89 c 1371s| 2300k|731245 | 0 | 0.0 | 788M| 168 | - | 305 | 13k| 0 | 0 | 0 |2491k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1403.91/1403.91 c 1380s| 2310k|731494 | 0 | 0.0 | 793M| 168 | - | 305 | 18k| 0 | 0 | 0 |2505k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1414.41/1414.46 c 1390s| 2320k|732052 | 0 | 0.0 | 797M| 168 | - | 305 | 22k| 0 | 0 | 0 |2518k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1427.22/1427.23 c 1403s| 2330k|731906 | 0 | 0.0 | 800M| 168 | - | 305 | 24k| 0 | 0 | 0 |2532k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1440.92/1440.94 c 1417s| 2340k|731640 | 0 | 0.0 | 803M| 168 | - | 305 | 26k| 0 | 0 | 0 |2546k| 0 | 2.000000e+00 | 6.200000e+01 |3000.00%
1448.01/1448.01 o 51
1448.01/1448.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1448.01/1448.01 c *1424s| 2345k|670562 | 0 | 0.0 | 714M| 168 | - | 305 | 27k| 0 | 0 | 0 |2553k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1457.82/1457.84 c 1433s| 2350k|668854 | 0 | 0.0 | 714M| 168 | - | 305 | 23k| 0 | 0 | 0 |2562k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1473.71/1473.76 c 1449s| 2360k|666309 | 0 | 0.0 | 715M| 168 | - | 305 | 22k| 0 | 0 | 0 |2578k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1489.61/1489.66 c 1465s| 2370k|663546 | 0 | 0.0 | 717M| 168 | - | 305 | 23k| 0 | 0 | 0 |2596k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1508.21/1508.20 c 1483s| 2380k|660469 | 0 | 0.0 | 718M| 168 | - | 305 | 24k| 0 | 0 | 0 |2613k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1525.82/1525.88 c 1501s| 2390k|658302 | 0 | 0.0 | 721M| 168 | - | 305 | 26k| 0 | 0 | 0 |2630k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1546.42/1546.48 c 1521s| 2400k|654840 | 0 | 0.0 | 722M| 168 | - | 305 | 28k| 0 | 0 | 0 |2647k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1569.11/1569.13 c 1544s| 2410k|650835 | 0 | 0.0 | 723M| 168 | - | 305 | 29k| 0 | 0 | 0 |2665k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1591.72/1591.75 c 1566s| 2420k|647266 | 0 | 0.0 | 723M| 168 | - | 305 | 30k| 0 | 0 | 0 |2683k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1612.62/1612.61 c 1587s| 2430k|645228 | 0 | 0.0 | 726M| 168 | - | 305 | 31k| 0 | 0 | 0 |2699k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1638.42/1638.44 c 1613s| 2440k|640924 | 0 | 0.0 | 727M| 168 | - | 305 | 33k| 0 | 0 | 0 |2717k| 0 | 2.000000e+00 | 5.100000e+01 |2450.00%
1643.01/1643.03 o 49
1643.01/1643.03 c *1617s| 2442k|635580 | 0 | 0.0 | 719M| 168 | - | 305 | 33k| 0 | 0 | 0 |2721k| 0 | 2.000000e+00 | 4.900000e+01 |2350.00%
1662.42/1662.43 c 1637s| 2450k|631584 | 0 | 0.0 | 717M| 168 | - | 305 | 27k| 0 | 0 | 0 |2735k| 0 | 2.000000e+00 | 4.900000e+01 |2350.00%
1682.12/1682.10 c 1656s| 2460k|627673 | 0 | 0.0 | 716M| 168 | - | 305 | 24k| 0 | 0 | 0 |2753k| 0 | 2.000000e+00 | 4.900000e+01 |2350.00%
1700.52/1700.54 c 1674s| 2470k|624278 | 0 | 0.0 | 718M| 168 | - | 305 | 25k| 0 | 0 | 0 |2770k| 0 | 2.000000e+00 | 4.900000e+01 |2350.00%
1723.12/1723.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1723.12/1723.15 c 1697s| 2480k|619221 | 0 | 0.0 | 718M| 168 | - | 305 | 30k| 0 | 0 | 0 |2788k| 0 | 2.000000e+00 | 4.900000e+01 |2350.00%
1746.52/1746.53 o 17
1746.52/1746.53 c *1720s| 2489k|419967 | 0 | 0.0 | 460M| 168 | - | 305 | 32k| 0 | 0 | 0 |2805k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1750.42/1750.44 c 1724s| 2490k|418786 | 0 | 0.0 | 460M| 168 | - | 305 | 25k| 0 | 0 | 0 |2807k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1785.02/1785.05 c 1758s| 2500k|394858 | 0 | 0.0 | 458M| 168 | - | 305 | 20k| 0 | 0 | 0 |2846k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1773.15
1800.03/1800.00 c Solving Nodes : 2503751
1800.03/1800.00 c Primal Bound : +1.70000000000000e+01 (23 solutions)
1800.03/1800.00 c Dual Bound : +2.00000000000000e+00
1800.03/1800.00 c Gap : 750.00 %
1800.03/1800.00 s SATISFIABLE
1800.03/1800.00 v x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148
1800.03/1800.00 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127
1800.03/1800.00 v x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1800.03/1800.00 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
1800.03/1800.00 v -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57
1800.03/1800.00 v -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31
1800.03/1800.00 v -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 -x5
1800.03/1800.00 v -x4 -x3 -x2 -x1
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time : 1773.15
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2693948-1277898200.wbo
1800.03/1800.00 c Variables : 307 (238 binary, 0 integer, 0 implicit integer, 69 continuous)
1800.03/1800.00 c Constraints : 171 initial, 171 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-2693948-1277898200.wbo
1800.03/1800.00 c Variables : 305 (237 binary, 0 integer, 0 implicit integer, 68 continuous)
1800.03/1800.00 c Constraints : 166 initial, 35154 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.03/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.00 0 0 0 68 0 4 1 0
1800.03/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 20 - - 40 - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 68 0 6675242 0 1721423 10254 3662686 0 0 0
1800.03/1800.00 c setppc : 20 0 7141827 0 1810355 48678 6338607 0 0 0
1800.03/1800.00 c linear : 68 0 7093211 0 1810372 701949 35020886 0 0 0
1800.03/1800.00 c logicor : 10+ 0 3530839 0 1810336 234127 1789811 0 0 0
1800.03/1800.00 c bounddisjunction : 0+ 0 347768 0 0 21 7914 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 1810395 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c indicator : 8.58 0.00 6.02 0.00 2.56
1800.03/1800.00 c setppc : 17.91 0.00 13.41 0.00 4.50
1800.03/1800.00 c linear : 156.13 0.00 155.16 0.00 0.97
1800.03/1800.00 c logicor : 745.30 0.00 743.03 0.00 2.27
1800.03/1800.00 c bounddisjunction : 1.26 0.00 1.26 0.00 0.00
1800.03/1800.00 c countsols : 0.36 0.00 0.00 0.00 0.36
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 1.73 2 0 0
1800.03/1800.00 c rootredcost : 1.49 0 0 0
1800.03/1800.00 c pseudoobj : 22.75 7157785 5808 3390794
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 47.91 990581 990034 5052348 21.9 351215 13.8 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.02 125 125 398 14.8 39 16.8 -
1800.03/1800.00 c applied globally : - - - 2812184 16.7 - - -
1800.03/1800.00 c applied locally : - - - 49020 37.1 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.00 c redcost : 0.00 0 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.00 c cmir : 0.00 0 0 0 0 0
1800.03/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.00 c clique : 0.00 0 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 15.24 1810372 0 0 0 0 3620744
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.70 - 23
1800.03/1800.00 c oneopt : 0.83 0 0
1800.03/1800.00 c trivial : 0.00 2 0
1800.03/1800.00 c simplerounding : 0.00 0 0
1800.03/1800.00 c zirounding : 0.00 0 0
1800.03/1800.00 c rounding : 0.00 0 0
1800.03/1800.00 c shifting : 0.00 0 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c coefdiving : 0.00 0 0
1800.03/1800.00 c pscostdiving : 0.00 0 0
1800.03/1800.00 c fracdiving : 0.00 0 0
1800.03/1800.00 c veclendiving : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 0.00 0 0
1800.03/1800.00 c linesearchdiving : 0.00 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.00 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c crossover : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c nlp : 0.48 0 0
1800.03/1800.00 c trysol : 0.53 1 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.00 c (at root node) : - 0 0 0.00 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 2503751
1800.03/1800.00 c nodes (total) : 2503751
1800.03/1800.00 c nodes left : 385336
1800.03/1800.00 c max depth : 168
1800.03/1800.00 c max depth (total): 168
1800.03/1800.00 c backtracks : 727855 (29.1%)
1800.03/1800.00 c delayed cutoffs : 456002
1800.03/1800.00 c repropagations : 2538189 (12356685 domain reductions, 307606 cutoffs)
1800.03/1800.00 c avg switch length: 22.53
1800.03/1800.00 c switching time : 575.34
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 23 (23 improvements)
1800.03/1800.00 c First Solution : +6.66000000000000e+02 (in run 1, after 69217 nodes, 16.78 seconds, depth 118, found by <relaxation>)
1800.03/1800.00 c Primal Bound : +1.70000000000000e+01 (in run 1, after 2489498 nodes, 1719.55 seconds, depth 70, found by <relaxation>)
1800.03/1800.00 c Dual Bound : +2.00000000000000e+00
1800.03/1800.00 c Gap : 750.00 %
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Root Iterations : 0
1801.12/1801.11 c Time complete: 1801.14.
OK 15
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693948-1277898200/watcher-2693948-1277898200 -o /tmp/evaluation-result-2693948-1277898200/solver-2693948-1277898200 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693948-1277898200.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.98 2.00 2.00 4/196 10822 /proc/meminfo: memFree=31038088/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=8256 CPUtime=0 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 1547 0 0 0 0 0 0 0 25 0 1 0 131116090 8454144 1469 4089446400 4194304 7136930 140736089954752 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/10822/statm: 2064 1469 275 719 0 1343 0 [startup+0.01025 s] /proc/loadavg: 1.98 2.00 2.00 4/196 10822 /proc/meminfo: memFree=31038088/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=11688 CPUtime=0 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 2910 0 0 0 0 0 0 0 25 0 1 0 131116090 11968512 1966 4089446400 4194304 7136930 140736089954752 18446744073709551615 6346856 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 2922 1990 354 719 0 2201 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11688 [startup+0.100232 s] /proc/loadavg: 1.98 2.00 2.00 4/196 10822 /proc/meminfo: memFree=31038088/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=13012 CPUtime=0.09 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 4772 0 0 0 8 1 0 0 25 0 1 0 131116090 13324288 2542 4089446400 4194304 7136930 140736089954752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 3253 2542 395 719 0 2532 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13012 [startup+0.300198 s] /proc/loadavg: 1.98 2.00 2.00 4/196 10822 /proc/meminfo: memFree=31038088/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=14984 CPUtime=0.29 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 5266 0 0 0 27 2 0 0 25 0 1 0 131116090 15343616 3036 4089446400 4194304 7136930 140736089954752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 3746 3036 395 719 0 3025 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14984 [startup+0.700129 s] /proc/loadavg: 1.98 2.00 2.00 4/196 10822 /proc/meminfo: memFree=31038088/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=18292 CPUtime=0.69 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 6098 0 0 0 64 5 0 0 25 0 1 0 131116090 18731008 3868 4089446400 4194304 7136930 140736089954752 18446744073709551615 4976458 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 4573 3868 395 719 0 3852 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18292 [startup+1.50099 s] /proc/loadavg: 1.98 2.00 2.00 3/197 10823 /proc/meminfo: memFree=31023320/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=22108 CPUtime=1.49 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 7072 0 0 0 140 9 0 0 25 0 1 0 131116090 22638592 4842 4089446400 4194304 7136930 140736089954752 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 5527 4842 395 719 0 4806 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22108 [startup+3.10073 s] /proc/loadavg: 1.98 2.00 2.00 3/197 10823 /proc/meminfo: memFree=31017864/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=27768 CPUtime=3.09 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 8487 0 0 0 292 17 0 0 25 0 1 0 131116090 28434432 6257 4089446400 4194304 7136930 140736089954752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 6942 6257 395 719 0 6221 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27768 [startup+6.30018 s] /proc/loadavg: 2.06 2.01 2.00 3/197 10823 /proc/meminfo: memFree=31006956/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=36684 CPUtime=6.3 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 10744 0 0 0 599 31 0 0 25 0 1 0 131116090 37564416 8514 4089446400 4194304 7136930 140736089954752 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 9171 8514 395 719 0 8450 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 36684 [startup+12.7011 s] /proc/loadavg: 2.06 2.01 2.00 3/197 10823 /proc/meminfo: memFree=30996540/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=46700 CPUtime=12.69 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 13247 0 0 0 1224 45 0 0 25 0 1 0 131116090 47820800 11017 4089446400 4194304 7136930 140736089954752 18446744073709551615 5955584 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 11675 11017 395 719 0 10954 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46700 [startup+25.5009 s] /proc/loadavg: 2.05 2.01 2.00 3/197 10823 /proc/meminfo: memFree=30976456/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=66020 CPUtime=25.49 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 18055 0 0 0 2467 82 0 0 25 0 1 0 131116090 67604480 15820 4089446400 4194304 7136930 140736089954752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 16505 15820 395 719 0 15784 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 66020 [startup+51.1006 s] /proc/loadavg: 2.03 2.01 2.00 3/197 10823 /proc/meminfo: memFree=30960528/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=82256 CPUtime=51.09 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 22080 0 0 0 4992 117 0 0 25 0 1 0 131116090 84230144 19845 4089446400 4194304 7136930 140736089954752 18446744073709551615 4221256 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 20564 19845 395 719 0 19843 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 82256 [startup+102.306 s] /proc/loadavg: 2.01 2.00 2.00 2/174 10845 /proc/meminfo: memFree=31483068/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=126564 CPUtime=102.3 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 32843 0 0 0 9984 246 0 0 25 0 1 0 131116090 129601536 30608 4089446400 4194304 7136930 140736089954752 18446744073709551615 4219854 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 31641 30608 398 719 0 30920 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 126564 [startup+162.301 s] /proc/loadavg: 1.97 1.99 1.99 3/179 10878 /proc/meminfo: memFree=31451276/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=157624 CPUtime=162.29 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 40731 0 0 0 15831 398 0 0 25 0 1 0 131116090 161406976 38496 4089446400 4194304 7136930 140736089954752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 39406 38496 398 719 0 38685 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 157624 [startup+222.301 s] /proc/loadavg: 2.05 2.00 2.00 2/175 10902 /proc/meminfo: memFree=31359608/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=256248 CPUtime=222.29 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 64579 0 0 0 21631 598 0 0 25 0 1 0 131116090 262397952 62344 4089446400 4194304 7136930 140736089954752 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 64062 62344 398 719 0 63341 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 256248 [startup+282.301 s] /proc/loadavg: 2.14 2.04 2.01 3/179 10960 /proc/meminfo: memFree=31255616/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=281112 CPUtime=282.3 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 70723 0 0 0 27564 666 0 0 25 0 1 0 131116090 287858688 68488 4089446400 4194304 7136930 140736089954752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 70278 68488 398 719 0 69557 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 281112 [startup+342.301 s] /proc/loadavg: 2.05 2.03 2.01 3/179 10962 /proc/meminfo: memFree=31163028/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=340000 CPUtime=342.3 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 85541 0 0 0 33423 807 0 0 25 0 1 0 131116090 348160000 83306 4089446400 4194304 7136930 140736089954752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 85000 83306 398 719 0 84279 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 340000 [startup+402.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 10964 /proc/meminfo: memFree=31030920/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=441000 CPUtime=402.29 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 110988 0 0 0 39237 992 0 0 25 0 1 0 131116090 451584000 108753 4089446400 4194304 7136930 140736089954752 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 110250 108753 398 719 0 109529 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 441000 [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 10966 /proc/meminfo: memFree=30950260/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=511976 CPUtime=462.3 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 126755 0 0 0 45077 1153 0 0 25 0 1 0 131116090 524263424 124520 4089446400 4194304 7136930 140736089954752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 127994 124520 398 719 0 127273 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 511976 [startup+522.3 s] /proc/loadavg: 2.07 2.03 2.00 3/179 10968 /proc/meminfo: memFree=30867380/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=557436 CPUtime=522.29 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 138248 0 0 0 50949 1280 0 0 25 0 1 0 131116090 570814464 136013 4089446400 4194304 7136930 140736089954752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 139359 136013 398 719 0 138638 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 557436 [startup+582.301 s] /proc/loadavg: 2.02 2.02 2.00 3/179 10968 /proc/meminfo: memFree=30750360/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=587352 CPUtime=582.3 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 145747 0 0 0 56820 1410 0 0 25 0 1 0 131116090 601448448 143512 4089446400 4194304 7136930 140736089954752 18446744073709551615 4999847 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 146838 143512 398 719 0 146117 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 587352 [startup+642.301 s] /proc/loadavg: 2.01 2.02 2.00 4/179 10970 /proc/meminfo: memFree=30707396/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=626060 CPUtime=642.31 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 155504 0 0 0 62713 1518 0 0 25 0 1 0 131116090 641085440 153269 4089446400 4194304 7136930 140736089954752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 156515 153269 398 719 0 155794 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 626060 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10980 /proc/meminfo: memFree=30354256/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=781080 CPUtime=1002.31 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 194640 0 0 0 98265 1966 0 0 25 0 1 0 131116090 799825920 192405 4089446400 4194304 7136930 140736089954752 18446744073709551615 4210116 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 195270 192405 398 719 0 194549 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 781080 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 10983 /proc/meminfo: memFree=30316732/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=803624 CPUtime=1062.31 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 200212 0 0 0 104204 2027 0 0 25 0 1 0 131116090 822910976 197977 4089446400 4194304 7136930 140736089954752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 200906 197977 398 719 0 200185 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 803624 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10993 /proc/meminfo: memFree=30296248/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=823184 CPUtime=1122.31 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 205011 0 0 0 110142 2089 0 0 25 0 1 0 131116090 842940416 202776 4089446400 4194304 7136930 140736089954752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 205796 202776 398 719 0 205075 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 823184 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10993 /proc/meminfo: memFree=30286544/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=832556 CPUtime=1182.31 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 207379 0 0 0 116084 2147 0 0 25 0 1 0 131116090 852537344 205144 4089446400 4194304 7136930 140736089954752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 208139 205144 398 719 0 207418 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 832556 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10995 /proc/meminfo: memFree=30277572/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=841480 CPUtime=1242.31 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 209609 0 0 0 122030 2201 0 0 25 0 1 0 131116090 861675520 207374 4089446400 4194304 7136930 140736089954752 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 210370 207374 398 719 0 209649 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 841480 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10997 /proc/meminfo: memFree=30271572/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=846764 CPUtime=1302.31 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 210897 0 0 0 127978 2253 0 0 25 0 1 0 131116090 867086336 208662 4089446400 4194304 7136930 140736089954752 18446744073709551615 4679107 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 211691 208662 398 719 0 210970 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 846764 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10999 /proc/meminfo: memFree=30256292/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=860676 CPUtime=1362.32 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 214412 0 0 0 133903 2329 0 0 25 0 1 0 131116090 881332224 212177 4089446400 4194304 7136930 140736089954752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 215169 212177 398 719 0 214448 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 860676 [startup+1422.31 s] /proc/loadavg: 2.04 2.01 2.00 3/179 11001 /proc/meminfo: memFree=30227328/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=887948 CPUtime=1422.32 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 221373 0 0 0 139803 2429 0 0 25 0 1 0 131116090 909258752 219138 4089446400 4194304 7136930 140736089954752 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 221987 219138 398 719 0 221266 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 887948 [startup+1482.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 11001 /proc/meminfo: memFree=30218464/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=896436 CPUtime=1482.32 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 223405 0 0 0 145755 2477 0 0 25 0 1 0 131116090 917950464 221170 4089446400 4194304 7136930 140736089954752 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 224109 221170 398 719 0 223388 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 896436 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11003 /proc/meminfo: memFree=30215808/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=897448 CPUtime=1542.31 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 223669 0 0 0 151712 2519 0 0 25 0 1 0 131116090 918986752 221434 4089446400 4194304 7136930 140736089954752 18446744073709551615 4999850 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 224362 221434 398 719 0 223641 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 897448 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11005 /proc/meminfo: memFree=30213404/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=897868 CPUtime=1602.32 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 223730 0 0 0 157671 2561 0 0 25 0 1 0 131116090 919416832 221495 4089446400 4194304 7136930 140736089954752 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 224467 221495 398 719 0 223746 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 897868 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11007 /proc/meminfo: memFree=30209028/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=901952 CPUtime=1662.31 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 224771 0 0 0 163637 2594 0 0 25 0 1 0 131116090 923598848 222536 4089446400 4194304 7136930 140736089954752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 225488 222536 398 719 0 224767 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 901952 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11036 /proc/meminfo: memFree=30708428/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=901952 CPUtime=1722.31 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 224771 0 0 0 169594 2637 0 0 25 0 1 0 131116090 923598848 222536 4089446400 4194304 7136930 140736089954752 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 225488 222536 398 719 0 224767 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 901952 [startup+1782.3 s] /proc/loadavg: 2.20 2.05 2.01 3/179 11155 /proc/meminfo: memFree=30684084/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=900932 CPUtime=1782.32 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 225031 0 0 0 175555 2677 0 0 25 0 1 0 131116090 922554368 222308 4089446400 4194304 7136930 140736089954752 18446744073709551615 4431478 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 225233 222308 398 719 0 224512 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 900932 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.14 2.04 2.01 3/179 11157 /proc/meminfo: memFree=30630656/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=900932 CPUtime=1800.03 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 225032 0 0 0 177315 2688 0 0 25 0 1 0 131116090 922554368 222309 4089446400 4194304 7136930 140736089954752 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/10822/statm: 225233 222309 398 719 0 224512 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 900932 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.14 2.04 2.01 3/180 11158 /proc/meminfo: memFree=30626060/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=900932 CPUtime=1800.63 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 225037 0 0 0 177375 2688 0 0 18 0 1 0 131116090 922554368 222314 4089446400 4194304 7136930 140736089954752 18446744073709551615 6165639 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/10822/statm: 225233 222314 403 719 0 224512 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (KiB) 900932 [startup+1801 s] /proc/loadavg: 2.14 2.04 2.01 3/180 11158 /proc/meminfo: memFree=30626060/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=898884 CPUtime=1801.02 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 225037 0 0 0 177414 2688 0 0 19 0 1 0 131116090 920457216 221802 4089446400 4194304 7136930 140736089954752 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/10822/statm: 224721 221802 403 719 0 224000 0 Current children cumulated CPU time (s) 1801.02 Current children cumulated vsize (KiB) 898884 [startup+1801.1 s] /proc/loadavg: 2.14 2.04 2.01 3/180 11158 /proc/meminfo: memFree=30626060/32951124 swapFree=67111528/67111528 [pid=10822] ppid=10820 vsize=484932 CPUtime=1801.12 /proc/10822/stat : 10822 (pbscip.linux.x8) R 10820 10822 10768 0 -1 4202496 225037 0 0 0 177423 2689 0 0 19 0 1 0 131116090 496570368 119546 4089446400 4194304 7136930 140736089954752 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/10822/statm: 121173 119366 403 719 0 120452 0 Current children cumulated CPU time (s) 1801.12 Current children cumulated vsize (KiB) 484932 Child status: 0 Real time (s): 1801.12 CPU time (s): 1801.15 CPU user time (s): 1774.24 CPU system time (s): 26.9129 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 902980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1774.24 system time used= 26.9129 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 225044 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1823 runsolver used 3.2775 second user time and 6.27604 second system time The end
Begin job on node130 at 2010-06-30 13:43:20 IDJOB=2693948 IDBENCH=78828 IDSOLVER=1206 FILE ID=node130/2693948-1277898200 PBS_JOBID= 11197193 Free space on /tmp= 74212 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110973163--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693948-1277898200/watcher-2693948-1277898200 -o /tmp/evaluation-result-2693948-1277898200/solver-2693948-1277898200 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693948-1277898200.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e1c1b8cf9bad61151281f614914c2e6f RANDOM SEED=1884243653 node130.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.796 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.796 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.796 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.72 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.796 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.796 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.796 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.796 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5237.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31038616 kB Buffers: 182124 kB Cached: 953868 kB SwapCached: 0 kB Active: 1082864 kB Inactive: 688128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31038616 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3148 kB Writeback: 0 kB AnonPages: 634760 kB Mapped: 20280 kB Slab: 77396 kB PageTables: 5852 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1658400 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node130 at 2010-06-30 14:13:22