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) | 1800.31 | 1800.32 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224929--soft-33-100-0.wbo |
| MD5SUM | 6dec18dfef172675cbaede25bd0c1c14 |
| 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 | 8 |
| Best CPU time to get the best result obtained on this benchmark | 0.273957 |
| 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 | 64 |
| 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 | 2925 |
| Min constraint cost | 1 |
| Max constraint cost | 96 |
| Sum of constraints costs | 2924 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1264 |
| 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-2694012-1277899872.wbo>
0.00/0.00 c original problem has 297 variables (233 bin, 0 int, 0 impl, 64 cont) and 166 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, 66 impls, 23 clqs
0.00/0.01 c (round 2) 0 del vars, 6 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 3) 1 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 66 impls, 23 clqs
0.00/0.01 c (round 4) 2 del vars, 7 del conss, 63 chg bounds, 1 chg sides, 0 chg coeffs, 33 upgd conss, 66 impls, 23 clqs
0.00/0.02 c (0.0s) probing: 101/232 (43.5%) - 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, 7 deleted constraints, 63 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 66 implications, 23 cliques
0.00/0.02 c presolved problem has 295 variables (232 bin, 0 int, 0 impl, 63 cont) and 159 constraints
0.00/0.02 c 63 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 23 constraints of type <setppc>
0.00/0.02 c 63 constraints of type <linear>
0.00/0.02 c 9 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.02
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 | - |1056k| 0 | - | 295 | 159 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.32 c 1.2s| 10000 | 7365 | 0 | 0.0 |6491k| 183 | - | 295 |3456 | 0 | 0 | 0 |7159 | 0 | 0.000000e+00 | -- | Inf
2.89/2.94 o 568
2.89/2.94 c * 2.8s| 17136 | 11148 | 0 | 0.0 | 10M| 183 | - | 295 |5379 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 5.680000e+02 | Inf
2.89/2.94 o 509
2.89/2.94 c * 2.8s| 17148 | 11158 | 0 | 0.0 | 10M| 183 | - | 295 |5378 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 5.090000e+02 | Inf
2.89/2.94 o 468
2.89/2.94 c * 2.8s| 17149 | 11157 | 0 | 0.0 | 10M| 183 | - | 295 |5378 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 4.680000e+02 | Inf
3.19/3.22 c 3.0s| 20000 | 13730 | 0 | 0.0 | 10M| 183 | - | 295 |1798 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 4.680000e+02 | Inf
4.99/5.01 c 4.7s| 30000 | 20220 | 0 | 0.0 | 15M| 183 | - | 295 |5264 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 4.680000e+02 | Inf
7.89/7.90 c 7.5s| 40000 | 24915 | 0 | 0.0 | 20M| 183 | - | 295 |7193 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 4.680000e+02 | Inf
11.79/11.83 c 11.4s| 50000 | 28048 | 0 | 0.0 | 25M| 183 | - | 295 | 10k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 4.680000e+02 | Inf
16.60/16.64 c 16.1s| 60000 | 29803 | 0 | 0.0 | 30M| 183 | - | 295 | 12k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 4.680000e+02 | Inf
19.10/19.12 o 363
19.10/19.12 c *18.4s| 65350 | 31254 | 0 | 0.0 | 29M| 183 | - | 295 |7104 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 3.630000e+02 | Inf
19.10/19.12 o 232
19.10/19.12 c *18.4s| 65351 | 31249 | 0 | 0.0 | 29M| 183 | - | 295 |7104 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
19.59/19.63 c 18.9s| 70000 | 35348 | 0 | 0.0 | 30M| 183 | - | 295 |1619 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 2.320000e+02 | Inf
20.40/20.46 o 217
20.40/20.46 c *19.7s| 78049 | 42189 | 0 | 0.0 | 33M| 183 | - | 295 |1855 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 2.170000e+02 | Inf
20.40/20.46 o 211
20.40/20.46 c *19.7s| 78056 | 42194 | 0 | 0.0 | 33M| 183 | - | 295 |1855 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 2.110000e+02 | Inf
20.40/20.46 o 184
20.40/20.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.40/20.47 c *19.7s| 78057 | 42188 | 0 | 0.0 | 33M| 183 | - | 295 |1855 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
20.59/20.67 c 19.9s| 80000 | 43827 | 0 | 0.0 | 33M| 183 | - | 295 |1863 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
21.69/21.79 c 20.9s| 90000 | 52183 | 0 | 0.0 | 37M| 183 | - | 295 |1533 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
22.89/22.96 c 22.0s|100000 | 60277 | 0 | 0.0 | 41M| 183 | - | 295 |1696 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
24.20/24.27 c 23.2s|110000 | 68036 | 0 | 0.0 | 45M| 183 | - | 295 |2190 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
25.69/25.72 c 24.6s|120000 | 75513 | 0 | 0.0 | 49M| 183 | - | 295 |3010 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
27.39/27.44 c 26.2s|130000 | 82497 | 0 | 0.0 | 54M| 183 | - | 295 |3968 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
29.40/29.46 c 28.1s|140000 | 89053 | 0 | 0.0 | 59M| 183 | - | 295 |6356 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 1.840000e+02 | Inf
29.59/29.60 o 167
29.59/29.60 c *28.3s|140523 | 89269 | 0 | 0.0 | 59M| 183 | - | 295 |6576 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
33.19/33.22 c 31.8s|150000 | 92788 | 0 | 0.0 | 64M| 183 | - | 295 |9581 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
38.99/39.07 c 37.6s|160000 | 94139 | 0 | 0.0 | 68M| 183 | - | 295 | 13k| 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
46.20/46.20 c 44.6s|170000 | 94419 | 0 | 0.0 | 72M| 183 | - | 295 | 16k| 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
54.60/54.66 c 52.9s|180000 | 93775 | 0 | 0.0 | 75M| 183 | - | 295 | 20k| 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
65.00/65.07 c 63.2s|190000 | 91759 | 0 | 0.0 | 77M| 183 | - | 295 | 23k| 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
72.80/72.80 c 70.9s|200000 | 93818 | 0 | 0.0 | 71M| 183 | - | 295 |2968 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
74.19/74.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.19/74.20 c 72.2s|210000 |101568 | 0 | 0.0 | 75M| 183 | - | 295 |1995 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
75.49/75.55 c 73.4s|220000 |109397 | 0 | 0.0 | 79M| 183 | - | 295 |2348 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
76.89/76.94 c 74.8s|230000 |117186 | 0 | 0.0 | 84M| 183 | - | 295 |2636 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
78.40/78.40 c 76.1s|240000 |124807 | 0 | 0.0 | 88M| 183 | - | 295 |2988 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
79.79/79.89 c 77.6s|250000 |132377 | 0 | 0.0 | 92M| 183 | - | 295 |3176 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
81.40/81.45 c 79.0s|260000 |139808 | 0 | 0.0 | 97M| 183 | - | 295 |3501 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
82.99/83.06 c 80.5s|270000 |147190 | 0 | 0.0 | 102M| 183 | - | 295 |3797 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
84.70/84.78 c 82.2s|280000 |154338 | 0 | 0.0 | 106M| 183 | - | 295 |4164 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
86.49/86.53 c 83.9s|290000 |161478 | 0 | 0.0 | 111M| 183 | - | 295 |4412 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
88.19/88.23 c 85.5s|300000 |168785 | 0 | 0.0 | 115M| 183 | - | 295 |4427 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
89.99/90.02 c 87.2s|310000 |175816 | 0 | 0.0 | 120M| 183 | - | 295 |4415 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.670000e+02 | Inf
91.40/91.46 o 150
91.40/91.46 c *88.5s|318557 |181723 | 0 | 0.0 | 123M| 183 | - | 295 |4087 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
91.69/91.70 c 88.8s|320000 |182824 | 0 | 0.0 | 124M| 183 | - | 295 |3949 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
93.39/93.47 c 90.5s|330000 |189882 | 0 | 0.0 | 128M| 183 | - | 295 |4031 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
95.19/95.23 c 92.1s|340000 |196976 | 0 | 0.0 | 133M| 183 | - | 295 |4010 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
96.90/96.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.90/96.96 c 93.8s|350000 |204151 | 0 | 0.0 | 137M| 183 | - | 295 |3609 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
98.60/98.66 c 95.4s|360000 |211382 | 0 | 0.0 | 141M| 183 | - | 295 |3462 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
100.39/100.46 c 97.1s|370000 |218265 | 0 | 0.0 | 146M| 183 | - | 295 |3756 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
102.19/102.26 c 98.8s|380000 |225159 | 0 | 0.0 | 150M| 183 | - | 295 |3884 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
104.10/104.13 c 101s|390000 |231999 | 0 | 0.0 | 155M| 183 | - | 295 |4020 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
105.90/105.97 c 102s|400000 |238972 | 0 | 0.0 | 159M| 183 | - | 295 |3928 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
107.80/107.89 c 104s|410000 |245728 | 0 | 0.0 | 163M| 183 | - | 295 |4036 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
109.79/109.85 c 106s|420000 |252355 | 0 | 0.0 | 168M| 183 | - | 295 |4103 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
111.79/111.87 c 108s|430000 |258920 | 0 | 0.0 | 173M| 183 | - | 295 |4074 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
113.89/113.91 c 110s|440000 |265292 | 0 | 0.0 | 177M| 183 | - | 295 |4314 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
115.99/116.02 c 112s|450000 |271597 | 0 | 0.0 | 181M| 183 | - | 295 |4615 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 1.500000e+02 | Inf
118.19/118.21 o 124
118.19/118.21 c * 114s|459971 |275341 | 0 | 0.0 | 183M| 183 | - | 295 |4699 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
118.19/118.22 c 114s|460000 |275356 | 0 | 0.0 | 183M| 183 | - | 295 |4702 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
120.39/120.48 c 116s|470000 |281547 | 0 | 0.0 | 187M| 183 | - | 295 |4718 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
122.80/122.85 c 118s|480000 |287442 | 0 | 0.0 | 192M| 183 | - | 295 |5162 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
125.19/125.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.19/125.29 c 121s|490000 |293272 | 0 | 0.0 | 197M| 183 | - | 295 |5238 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
127.70/127.74 c 123s|500000 |299150 | 0 | 0.0 | 201M| 183 | - | 295 |5904 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
130.29/130.35 c 126s|510000 |304883 | 0 | 0.0 | 206M| 183 | - | 295 |6056 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
133.00/133.06 c 128s|520000 |310462 | 0 | 0.0 | 210M| 183 | - | 295 |6568 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
135.80/135.87 c 131s|530000 |315894 | 0 | 0.0 | 215M| 183 | - | 295 |6885 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
138.70/138.76 c 134s|540000 |321268 | 0 | 0.0 | 219M| 183 | - | 295 |7283 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
141.69/141.78 c 137s|550000 |326525 | 0 | 0.0 | 223M| 183 | - | 295 |7958 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
144.99/145.02 c 140s|560000 |331484 | 0 | 0.0 | 228M| 183 | - | 295 |8416 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
148.40/148.47 c 143s|570000 |336207 | 0 | 0.0 | 232M| 183 | - | 295 |9437 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
151.99/152.09 c 147s|580000 |340970 | 0 | 0.0 | 236M| 183 | - | 295 | 10k| 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 1.240000e+02 | Inf
152.30/152.40 o 119
152.30/152.40 c * 147s|580821 |340546 | 0 | 0.0 | 236M| 183 | - | 295 | 10k| 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
156.00/156.09 c 151s|590000 |344727 | 0 | 0.0 | 240M| 183 | - | 295 | 12k| 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
160.60/160.61 c 155s|600000 |348893 | 0 | 0.0 | 244M| 183 | - | 295 | 14k| 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
166.30/166.30 c 161s|610000 |352081 | 0 | 0.0 | 248M| 183 | - | 295 | 16k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
172.90/172.95 c 167s|620000 |354292 | 0 | 0.0 | 250M| 183 | - | 295 | 11k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
183.81/183.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.81/183.88 c 178s|630000 |351459 | 0 | 0.0 | 252M| 183 | - | 295 | 21k| 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
201.80/201.82 c 196s|640000 |344229 | 0 | 0.0 | 246M| 183 | - | 295 | 31k| 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
208.39/208.42 c 202s|650000 |348310 | 0 | 0.0 | 238M| 183 | - | 295 |2655 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
210.30/210.34 c 204s|660000 |355073 | 0 | 0.0 | 242M| 183 | - | 295 |2783 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
212.20/212.28 c 206s|670000 |361823 | 0 | 0.0 | 247M| 183 | - | 295 |2984 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
214.39/214.42 c 208s|680000 |368122 | 0 | 0.0 | 252M| 183 | - | 295 |3462 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
216.50/216.52 c 210s|690000 |374581 | 0 | 0.0 | 257M| 183 | - | 295 |3663 | 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
218.60/218.66 c 212s|700000 |381019 | 0 | 0.0 | 262M| 183 | - | 295 |4023 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
220.70/220.78 c 214s|710000 |387504 | 0 | 0.0 | 267M| 183 | - | 295 |4310 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
222.90/222.94 c 216s|720000 |394013 | 0 | 0.0 | 272M| 183 | - | 295 |4345 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
225.20/225.21 c 218s|730000 |400259 | 0 | 0.0 | 277M| 183 | - | 295 |4500 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
227.40/227.48 c 220s|740000 |406572 | 0 | 0.0 | 282M| 183 | - | 295 |4651 | 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
229.70/229.79 c 223s|750000 |412868 | 0 | 0.0 | 287M| 183 | - | 295 |4738 | 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
232.00/232.03 c 225s|760000 |419292 | 0 | 0.0 | 292M| 183 | - | 295 |5162 | 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
234.30/234.36 c 227s|770000 |425607 | 0 | 0.0 | 297M| 183 | - | 295 |5094 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
236.80/236.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
236.80/236.83 c 229s|780000 |431667 | 0 | 0.0 | 302M| 183 | - | 295 |5403 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
239.20/239.23 c 232s|790000 |437906 | 0 | 0.0 | 307M| 183 | - | 295 |5533 | 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
241.60/241.63 c 234s|800000 |444186 | 0 | 0.0 | 311M| 183 | - | 295 |5626 | 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
244.10/244.16 c 236s|810000 |450217 | 0 | 0.0 | 317M| 183 | - | 295 |6223 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
246.51/246.53 c 239s|820000 |456671 | 0 | 0.0 | 321M| 183 | - | 295 |6041 | 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
249.00/249.09 c 241s|830000 |462713 | 0 | 0.0 | 326M| 183 | - | 295 |6309 | 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
251.50/251.58 c 243s|840000 |468944 | 0 | 0.0 | 331M| 183 | - | 295 |6387 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
254.10/254.15 c 246s|850000 |475074 | 0 | 0.0 | 336M| 183 | - | 295 |6480 | 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
256.60/256.61 c 248s|860000 |481337 | 0 | 0.0 | 341M| 183 | - | 295 |6785 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
259.30/259.37 c 251s|870000 |487154 | 0 | 0.0 | 345M| 183 | - | 295 |6582 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
261.91/261.93 c 253s|880000 |493296 | 0 | 0.0 | 350M| 183 | - | 295 |6801 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
264.60/264.61 c 256s|890000 |499199 | 0 | 0.0 | 355M| 183 | - | 295 |6890 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
267.10/267.10 c 258s|900000 |505541 | 0 | 0.0 | 360M| 183 | - | 295 |7073 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
269.90/269.91 c 261s|910000 |511365 | 0 | 0.0 | 365M| 183 | - | 295 |7012 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
272.50/272.50 c 264s|920000 |517490 | 0 | 0.0 | 369M| 183 | - | 295 |6892 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
275.20/275.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
275.20/275.22 c 266s|930000 |523339 | 0 | 0.0 | 374M| 183 | - | 295 |6946 | 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
278.00/278.04 c 269s|940000 |529064 | 0 | 0.0 | 378M| 183 | - | 295 |6997 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
280.69/280.75 c 272s|950000 |534968 | 0 | 0.0 | 383M| 183 | - | 295 |7066 | 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
283.40/283.45 c 274s|960000 |540827 | 0 | 0.0 | 387M| 183 | - | 295 |6949 | 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
286.11/286.16 c 277s|970000 |546785 | 0 | 0.0 | 392M| 183 | - | 295 |6944 | 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
289.00/289.02 c 280s|980000 |552366 | 0 | 0.0 | 397M| 183 | - | 295 |7052 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
291.80/291.81 c 282s|990000 |558245 | 0 | 0.0 | 401M| 183 | - | 295 |6875 | 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
294.70/294.73 c 285s| 1000k|563648 | 0 | 0.0 | 406M| 183 | - | 295 |7017 | 0 | 0 | 0 | 622k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
297.40/297.41 c 288s| 1010k|569722 | 0 | 0.0 | 411M| 183 | - | 295 |6829 | 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
300.30/300.38 c 291s| 1020k|575002 | 0 | 0.0 | 415M| 183 | - | 295 |7216 | 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
303.10/303.13 c 293s| 1030k|580894 | 0 | 0.0 | 420M| 183 | - | 295 |6958 | 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
306.10/306.14 c 296s| 1040k|586196 | 0 | 0.0 | 424M| 183 | - | 295 |7153 | 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
309.10/309.12 c 299s| 1050k|591680 | 0 | 0.0 | 429M| 183 | - | 295 |6927 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
311.80/311.85 c 302s| 1060k|597373 | 0 | 0.0 | 433M| 183 | - | 295 |6973 | 0 | 0 | 0 | 648k| 0 | 1.000000e+00 | 1.190000e+02 | Large
314.50/314.57 c 304s| 1070k|603063 | 0 | 0.0 | 438M| 183 | - | 295 |6609 | 0 | 0 | 0 | 652k| 0 | 1.000000e+00 | 1.190000e+02 | Large
317.01/317.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
317.01/317.09 c 307s| 1080k|609078 | 0 | 0.0 | 444M| 183 | - | 295 |6895 | 0 | 0 | 0 | 656k| 0 | 1.000000e+00 | 1.190000e+02 | Large
320.00/320.09 c 310s| 1090k|614196 | 0 | 0.0 | 449M| 183 | - | 295 |7014 | 0 | 0 | 0 | 661k| 0 | 1.000000e+00 | 1.190000e+02 | Large
322.70/322.77 c 312s| 1100k|620081 | 0 | 0.0 | 454M| 183 | - | 295 |6937 | 0 | 0 | 0 | 665k| 0 | 1.000000e+00 | 1.190000e+02 | Large
325.60/325.69 c 315s| 1110k|625316 | 0 | 0.0 | 459M| 183 | - | 295 |7418 | 0 | 0 | 0 | 670k| 0 | 1.000000e+00 | 1.190000e+02 | Large
328.50/328.53 c 318s| 1120k|630843 | 0 | 0.0 | 464M| 183 | - | 295 |7095 | 0 | 0 | 0 | 674k| 0 | 1.000000e+00 | 1.190000e+02 | Large
331.21/331.28 c 320s| 1130k|636466 | 0 | 0.0 | 469M| 183 | - | 295 |7633 | 0 | 0 | 0 | 678k| 0 | 1.000000e+00 | 1.190000e+02 | Large
334.31/334.30 c 323s| 1140k|641676 | 0 | 0.0 | 474M| 183 | - | 295 |7001 | 0 | 0 | 0 | 683k| 0 | 1.000000e+00 | 1.190000e+02 | Large
337.00/337.05 c 326s| 1150k|647395 | 0 | 0.0 | 479M| 183 | - | 295 |7138 | 0 | 0 | 0 | 687k| 0 | 1.000000e+00 | 1.190000e+02 | Large
340.20/340.25 c 329s| 1160k|652212 | 0 | 0.0 | 485M| 183 | - | 295 |7463 | 0 | 0 | 0 | 692k| 0 | 1.000000e+00 | 1.190000e+02 | Large
343.10/343.18 c 332s| 1170k|657692 | 0 | 0.0 | 490M| 183 | - | 295 |7388 | 0 | 0 | 0 | 697k| 0 | 1.000000e+00 | 1.190000e+02 | Large
346.20/346.29 c 335s| 1180k|662720 | 0 | 0.0 | 495M| 183 | - | 295 |7971 | 0 | 0 | 0 | 702k| 0 | 1.000000e+00 | 1.190000e+02 | Large
349.40/349.47 c 338s| 1190k|667751 | 0 | 0.0 | 500M| 183 | - | 295 |7531 | 0 | 0 | 0 | 707k| 0 | 1.000000e+00 | 1.190000e+02 | Large
352.30/352.33 c 341s| 1200k|673254 | 0 | 0.0 | 505M| 183 | - | 295 |7809 | 0 | 0 | 0 | 712k| 0 | 1.000000e+00 | 1.190000e+02 | Large
355.60/355.61 c 344s| 1210k|678048 | 0 | 0.0 | 510M| 183 | - | 295 |7819 | 0 | 0 | 0 | 717k| 0 | 1.000000e+00 | 1.190000e+02 | Large
358.60/358.60 c 347s| 1220k|683500 | 0 | 0.0 | 515M| 183 | - | 295 |7651 | 0 | 0 | 0 | 722k| 0 | 1.000000e+00 | 1.190000e+02 | Large
361.91/361.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
361.91/361.90 c 350s| 1230k|688224 | 0 | 0.0 | 520M| 183 | - | 295 |8292 | 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 1.190000e+02 | Large
365.00/365.02 c 353s| 1240k|693450 | 0 | 0.0 | 525M| 183 | - | 295 |7887 | 0 | 0 | 0 | 733k| 0 | 1.000000e+00 | 1.190000e+02 | Large
368.40/368.46 c 356s| 1250k|698042 | 0 | 0.0 | 530M| 183 | - | 295 |9102 | 0 | 0 | 0 | 739k| 0 | 1.000000e+00 | 1.190000e+02 | Large
371.91/371.95 c 360s| 1260k|702758 | 0 | 0.0 | 535M| 183 | - | 295 |8337 | 0 | 0 | 0 | 744k| 0 | 1.000000e+00 | 1.190000e+02 | Large
375.10/375.15 c 363s| 1270k|707987 | 0 | 0.0 | 540M| 183 | - | 295 |8570 | 0 | 0 | 0 | 750k| 0 | 1.000000e+00 | 1.190000e+02 | Large
378.80/378.87 c 366s| 1280k|712303 | 0 | 0.0 | 545M| 183 | - | 295 |8815 | 0 | 0 | 0 | 756k| 0 | 1.000000e+00 | 1.190000e+02 | Large
381.00/381.05 o 114
381.00/381.05 c * 368s| 1286k|711569 | 0 | 0.0 | 545M| 183 | - | 295 |8514 | 0 | 0 | 0 | 759k| 0 | 1.000000e+00 | 1.140000e+02 | Large
382.40/382.45 c 370s| 1290k|713443 | 0 | 0.0 | 547M| 183 | - | 295 |8582 | 0 | 0 | 0 | 762k| 0 | 1.000000e+00 | 1.140000e+02 | Large
386.21/386.29 c 374s| 1300k|717688 | 0 | 0.0 | 552M| 183 | - | 295 |9398 | 0 | 0 | 0 | 768k| 0 | 1.000000e+00 | 1.140000e+02 | Large
390.10/390.11 c 377s| 1310k|722182 | 0 | 0.0 | 557M| 183 | - | 295 |9054 | 0 | 0 | 0 | 775k| 0 | 1.000000e+00 | 1.140000e+02 | Large
393.91/393.97 c 381s| 1320k|726522 | 0 | 0.0 | 562M| 183 | - | 295 |9961 | 0 | 0 | 0 | 782k| 0 | 1.000000e+00 | 1.140000e+02 | Large
398.00/398.06 c 385s| 1330k|730594 | 0 | 0.0 | 567M| 183 | - | 295 |9275 | 0 | 0 | 0 | 788k| 0 | 1.000000e+00 | 1.140000e+02 | Large
401.90/401.92 c 389s| 1340k|734963 | 0 | 0.0 | 572M| 183 | - | 295 | 10k| 0 | 0 | 0 | 795k| 0 | 1.000000e+00 | 1.140000e+02 | Large
406.10/406.14 c 393s| 1350k|738844 | 0 | 0.0 | 577M| 183 | - | 295 |9823 | 0 | 0 | 0 | 802k| 0 | 1.000000e+00 | 1.140000e+02 | Large
409.80/409.87 c 397s| 1360k|743653 | 0 | 0.0 | 582M| 183 | - | 295 | 10k| 0 | 0 | 0 | 808k| 0 | 1.000000e+00 | 1.140000e+02 | Large
414.31/414.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
414.31/414.38 c 401s| 1370k|747299 | 0 | 0.0 | 586M| 183 | - | 295 | 10k| 0 | 0 | 0 | 815k| 0 | 1.000000e+00 | 1.140000e+02 | Large
418.30/418.36 c 405s| 1380k|751770 | 0 | 0.0 | 591M| 183 | - | 295 | 11k| 0 | 0 | 0 | 823k| 0 | 1.000000e+00 | 1.140000e+02 | Large
422.80/422.80 c 409s| 1390k|755716 | 0 | 0.0 | 596M| 183 | - | 295 | 11k| 0 | 0 | 0 | 830k| 0 | 1.000000e+00 | 1.140000e+02 | Large
426.91/426.94 c 413s| 1400k|760044 | 0 | 0.0 | 601M| 183 | - | 295 | 11k| 0 | 0 | 0 | 837k| 0 | 1.000000e+00 | 1.140000e+02 | Large
431.50/431.57 c 418s| 1410k|763861 | 0 | 0.0 | 606M| 183 | - | 295 | 11k| 0 | 0 | 0 | 845k| 0 | 1.000000e+00 | 1.140000e+02 | Large
435.91/435.93 c 422s| 1420k|768092 | 0 | 0.0 | 611M| 183 | - | 295 | 12k| 0 | 0 | 0 | 852k| 0 | 1.000000e+00 | 1.140000e+02 | Large
440.60/440.61 c 427s| 1430k|772006 | 0 | 0.0 | 615M| 183 | - | 295 | 12k| 0 | 0 | 0 | 860k| 0 | 1.000000e+00 | 1.140000e+02 | Large
445.30/445.35 c 431s| 1440k|775972 | 0 | 0.0 | 620M| 183 | - | 295 | 12k| 0 | 0 | 0 | 868k| 0 | 1.000000e+00 | 1.140000e+02 | Large
449.80/449.85 c 436s| 1450k|780403 | 0 | 0.0 | 625M| 183 | - | 295 | 13k| 0 | 0 | 0 | 876k| 0 | 1.000000e+00 | 1.140000e+02 | Large
455.30/455.31 c 441s| 1460k|783660 | 0 | 0.0 | 629M| 183 | - | 295 | 12k| 0 | 0 | 0 | 884k| 0 | 1.000000e+00 | 1.140000e+02 | Large
460.10/460.19 c 446s| 1470k|787636 | 0 | 0.0 | 633M| 183 | - | 295 | 13k| 0 | 0 | 0 | 893k| 0 | 1.000000e+00 | 1.140000e+02 | Large
465.20/465.23 c 451s| 1480k|791591 | 0 | 0.0 | 638M| 183 | - | 295 | 13k| 0 | 0 | 0 | 901k| 0 | 1.000000e+00 | 1.140000e+02 | Large
470.81/470.84 c 456s| 1490k|794906 | 0 | 0.0 | 642M| 183 | - | 295 | 13k| 0 | 0 | 0 | 910k| 0 | 1.000000e+00 | 1.140000e+02 | Large
476.10/476.15 c 461s| 1500k|798644 | 0 | 0.0 | 646M| 183 | - | 295 | 14k| 0 | 0 | 0 | 919k| 0 | 1.000000e+00 | 1.140000e+02 | Large
481.40/481.45 c 466s| 1510k|802593 | 0 | 0.0 | 650M| 183 | - | 295 | 15k| 0 | 0 | 0 | 928k| 0 | 1.000000e+00 | 1.140000e+02 | Large
487.60/487.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
487.60/487.61 c 472s| 1520k|805697 | 0 | 0.0 | 654M| 183 | - | 295 | 15k| 0 | 0 | 0 | 938k| 0 | 1.000000e+00 | 1.140000e+02 | Large
493.40/493.48 c 478s| 1530k|809158 | 0 | 0.0 | 658M| 183 | - | 295 | 15k| 0 | 0 | 0 | 947k| 0 | 1.000000e+00 | 1.140000e+02 | Large
499.51/499.53 c 484s| 1540k|812526 | 0 | 0.0 | 662M| 183 | - | 295 | 15k| 0 | 0 | 0 | 957k| 0 | 1.000000e+00 | 1.140000e+02 | Large
505.80/505.83 c 490s| 1550k|815743 | 0 | 0.0 | 666M| 183 | - | 295 | 16k| 0 | 0 | 0 | 968k| 0 | 1.000000e+00 | 1.140000e+02 | Large
511.91/511.99 c 496s| 1560k|819114 | 0 | 0.0 | 670M| 183 | - | 295 | 16k| 0 | 0 | 0 | 978k| 0 | 1.000000e+00 | 1.140000e+02 | Large
518.21/518.24 c 503s| 1570k|822493 | 0 | 0.0 | 674M| 183 | - | 295 | 17k| 0 | 0 | 0 | 989k| 0 | 1.000000e+00 | 1.140000e+02 | Large
524.60/524.68 c 509s| 1580k|825803 | 0 | 0.0 | 678M| 183 | - | 295 | 17k| 0 | 0 | 0 | 999k| 0 | 1.000000e+00 | 1.140000e+02 | Large
531.31/531.33 c 515s| 1590k|829148 | 0 | 0.0 | 682M| 183 | - | 295 | 18k| 0 | 0 | 0 |1010k| 0 | 1.000000e+00 | 1.140000e+02 | Large
538.51/538.57 c 522s| 1600k|832117 | 0 | 0.0 | 686M| 183 | - | 295 | 19k| 0 | 0 | 0 |1022k| 0 | 1.000000e+00 | 1.140000e+02 | Large
546.01/546.00 c 530s| 1610k|835021 | 0 | 0.0 | 690M| 183 | - | 295 | 20k| 0 | 0 | 0 |1034k| 0 | 1.000000e+00 | 1.140000e+02 | Large
553.51/553.58 c 537s| 1620k|838116 | 0 | 0.0 | 694M| 183 | - | 295 | 21k| 0 | 0 | 0 |1047k| 0 | 1.000000e+00 | 1.140000e+02 | Large
561.12/561.14 c 545s| 1630k|841423 | 0 | 0.0 | 698M| 183 | - | 295 | 22k| 0 | 0 | 0 |1059k| 0 | 1.000000e+00 | 1.140000e+02 | Large
569.31/569.35 c 553s| 1640k|844389 | 0 | 0.0 | 702M| 183 | - | 295 | 23k| 0 | 0 | 0 |1072k| 0 | 1.000000e+00 | 1.140000e+02 | Large
578.71/578.70 c 562s| 1650k|846507 | 0 | 0.0 | 706M| 183 | - | 295 | 24k| 0 | 0 | 0 |1086k| 0 | 1.000000e+00 | 1.140000e+02 | Large
587.81/587.87 c 571s| 1660k|849190 | 0 | 0.0 | 710M| 183 | - | 295 | 25k| 0 | 0 | 0 |1101k| 0 | 1.000000e+00 | 1.140000e+02 | Large
597.81/597.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
597.81/597.89 c 581s| 1670k|851529 | 0 | 0.0 | 713M| 183 | - | 295 | 26k| 0 | 0 | 0 |1116k| 0 | 1.000000e+00 | 1.140000e+02 | Large
608.51/608.57 c 592s| 1680k|853493 | 0 | 0.0 | 717M| 183 | - | 295 | 28k| 0 | 0 | 0 |1131k| 0 | 1.000000e+00 | 1.140000e+02 | Large
620.31/620.30 c 603s| 1690k|854800 | 0 | 0.0 | 721M| 183 | - | 295 | 30k| 0 | 0 | 0 |1148k| 0 | 1.000000e+00 | 1.140000e+02 | Large
634.31/634.37 c 617s| 1700k|854848 | 0 | 0.0 | 724M| 183 | - | 295 | 32k| 0 | 0 | 0 |1167k| 0 | 1.000000e+00 | 1.140000e+02 | Large
648.41/648.46 c 631s| 1710k|854998 | 0 | 0.0 | 726M| 183 | - | 295 | 34k| 0 | 0 | 0 |1185k| 0 | 1.000000e+00 | 1.140000e+02 | Large
656.51/656.54 c 639s| 1720k|859520 | 0 | 0.0 | 727M| 183 | - | 295 | 19k| 0 | 0 | 0 |1191k| 0 | 1.000000e+00 | 1.140000e+02 | Large
660.81/660.84 c 643s| 1730k|865802 | 0 | 0.0 | 729M| 183 | - | 295 |9422 | 0 | 0 | 0 |1196k| 0 | 1.000000e+00 | 1.140000e+02 | Large
665.11/665.13 c 647s| 1740k|870653 | 0 | 0.0 | 731M| 183 | - | 295 |4709 | 0 | 0 | 0 |1203k| 0 | 1.000000e+00 | 1.140000e+02 | Large
668.71/668.71 c 651s| 1750k|875112 | 0 | 0.0 | 736M| 183 | - | 295 |4213 | 0 | 0 | 0 |1208k| 0 | 1.000000e+00 | 1.140000e+02 | Large
672.31/672.35 c 654s| 1760k|879637 | 0 | 0.0 | 741M| 183 | - | 295 |4903 | 0 | 0 | 0 |1213k| 0 | 1.000000e+00 | 1.140000e+02 | Large
676.41/676.48 c 658s| 1770k|883605 | 0 | 0.0 | 746M| 183 | - | 295 |5577 | 0 | 0 | 0 |1218k| 0 | 1.000000e+00 | 1.140000e+02 | Large
680.51/680.56 c 662s| 1780k|887815 | 0 | 0.0 | 751M| 183 | - | 295 |5807 | 0 | 0 | 0 |1223k| 0 | 1.000000e+00 | 1.140000e+02 | Large
684.50/684.59 c 666s| 1790k|892173 | 0 | 0.0 | 756M| 183 | - | 295 |6137 | 0 | 0 | 0 |1228k| 0 | 1.000000e+00 | 1.140000e+02 | Large
688.71/688.72 c 670s| 1800k|896468 | 0 | 0.0 | 761M| 183 | - | 295 |6458 | 0 | 0 | 0 |1232k| 0 | 1.000000e+00 | 1.140000e+02 | Large
692.50/692.54 c 674s| 1810k|901291 | 0 | 0.0 | 766M| 183 | - | 295 |6676 | 0 | 0 | 0 |1237k| 0 | 1.000000e+00 | 1.140000e+02 | Large
696.60/696.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
696.60/696.61 c 678s| 1820k|905805 | 0 | 0.0 | 771M| 183 | - | 295 |7082 | 0 | 0 | 0 |1241k| 0 | 1.000000e+00 | 1.140000e+02 | Large
700.41/700.49 c 682s| 1830k|910676 | 0 | 0.0 | 776M| 183 | - | 295 |7763 | 0 | 0 | 0 |1245k| 0 | 1.000000e+00 | 1.140000e+02 | Large
704.71/704.70 c 686s| 1840k|915261 | 0 | 0.0 | 780M| 183 | - | 295 |7845 | 0 | 0 | 0 |1250k| 0 | 1.000000e+00 | 1.140000e+02 | Large
709.10/709.10 c 690s| 1850k|919532 | 0 | 0.0 | 785M| 183 | - | 295 |8025 | 0 | 0 | 0 |1255k| 0 | 1.000000e+00 | 1.140000e+02 | Large
712.11/712.13 o 113
712.11/712.13 c * 693s| 1857k|921799 | 0 | 0.0 | 787M| 183 | - | 295 |8158 | 0 | 0 | 0 |1258k| 0 | 1.000000e+00 | 1.130000e+02 | Large
713.01/713.08 c 694s| 1860k|922952 | 0 | 0.0 | 788M| 183 | - | 295 |8233 | 0 | 0 | 0 |1259k| 0 | 1.000000e+00 | 1.130000e+02 | Large
717.40/717.42 c 698s| 1870k|927501 | 0 | 0.0 | 793M| 183 | - | 295 |8110 | 0 | 0 | 0 |1263k| 0 | 1.000000e+00 | 1.130000e+02 | Large
721.10/721.18 c 702s| 1880k|932724 | 0 | 0.0 | 798M| 183 | - | 295 |8720 | 0 | 0 | 0 |1268k| 0 | 1.000000e+00 | 1.130000e+02 | Large
725.40/725.45 c 706s| 1890k|937216 | 0 | 0.0 | 802M| 183 | - | 295 |8913 | 0 | 0 | 0 |1272k| 0 | 1.000000e+00 | 1.130000e+02 | Large
729.39/729.43 c 710s| 1900k|942024 | 0 | 0.0 | 807M| 183 | - | 295 |9448 | 0 | 0 | 0 |1276k| 0 | 1.000000e+00 | 1.130000e+02 | Large
733.27/733.32 c 714s| 1910k|947218 | 0 | 0.0 | 812M| 183 | - | 295 | 10k| 0 | 0 | 0 |1280k| 0 | 1.000000e+00 | 1.130000e+02 | Large
737.67/737.78 c 718s| 1920k|951983 | 0 | 0.0 | 817M| 183 | - | 295 |9705 | 0 | 0 | 0 |1285k| 0 | 1.000000e+00 | 1.130000e+02 | Large
740.17/740.27 o 84
740.17/740.27 c * 720s| 1926k|888680 | 0 | 0.0 | 747M| 183 | - | 295 |9998 | 0 | 0 | 0 |1287k| 0 | 1.000000e+00 | 8.400000e+01 |8300.00%
742.28/742.34 c 722s| 1930k|890364 | 0 | 0.0 | 747M| 183 | - | 295 |3431 | 0 | 0 | 0 |1289k| 0 | 1.000000e+00 | 8.400000e+01 |8300.00%
746.77/746.80 c 727s| 1940k|893223 | 0 | 0.0 | 752M| 183 | - | 295 |2077 | 0 | 0 | 0 |1294k| 0 | 1.000000e+00 | 8.400000e+01 |8300.00%
750.47/750.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
750.47/750.53 c 730s| 1950k|896936 | 0 | 0.0 | 756M| 183 | - | 295 |1522 | 0 | 0 | 0 |1299k| 0 | 1.000000e+00 | 8.400000e+01 |8300.00%
754.38/754.47 c 734s| 1960k|899749 | 0 | 0.0 | 761M| 183 | - | 295 |2839 | 0 | 0 | 0 |1305k| 0 | 1.000000e+00 | 8.400000e+01 |8300.00%
757.47/757.59 o 68
757.47/757.59 c * 737s| 1967k|874546 | 0 | 0.0 | 736M| 183 | - | 295 |1685 | 0 | 0 | 0 |1309k| 0 | 1.000000e+00 | 6.800000e+01 |6700.00%
758.78/758.88 c 738s| 1970k|874648 | 0 | 0.0 | 736M| 183 | - | 295 |1181 | 0 | 0 | 0 |1310k| 0 | 1.000000e+00 | 6.800000e+01 |6700.00%
763.38/763.44 c 743s| 1980k|876677 | 0 | 0.0 | 741M| 183 | - | 295 |2105 | 0 | 0 | 0 |1316k| 0 | 1.000000e+00 | 6.800000e+01 |6700.00%
768.28/768.37 c 747s| 1990k|877567 | 0 | 0.0 | 745M| 183 | - | 295 |3886 | 0 | 0 | 0 |1322k| 0 | 1.000000e+00 | 6.800000e+01 |6700.00%
773.68/773.78 c 753s| 2000k|878679 | 0 | 0.0 | 748M| 183 | - | 295 |3788 | 0 | 0 | 0 |1328k| 0 | 1.000000e+00 | 6.800000e+01 |6700.00%
779.07/779.15 c 758s| 2010k|879719 | 0 | 0.0 | 753M| 183 | - | 295 |5268 | 0 | 0 | 0 |1334k| 0 | 1.000000e+00 | 6.800000e+01 |6700.00%
784.98/785.06 c 764s| 2020k|880291 | 0 | 0.0 | 756M| 183 | - | 295 |5413 | 0 | 0 | 0 |1341k| 0 | 1.000000e+00 | 6.800000e+01 |6700.00%
785.38/785.47 o 67
785.38/785.47 c * 764s| 2020k|863666 | 0 | 0.0 | 736M| 183 | - | 295 |5519 | 0 | 0 | 0 |1341k| 0 | 1.000000e+00 | 6.700000e+01 |6600.00%
791.38/791.44 c 770s| 2030k|864086 | 0 | 0.0 | 740M| 183 | - | 295 |4797 | 0 | 0 | 0 |1347k| 0 | 1.000000e+00 | 6.700000e+01 |6600.00%
797.49/797.55 c 776s| 2040k|864388 | 0 | 0.0 | 744M| 183 | - | 295 |6268 | 0 | 0 | 0 |1354k| 0 | 1.000000e+00 | 6.700000e+01 |6600.00%
803.97/804.01 c 782s| 2050k|864203 | 0 | 0.0 | 747M| 183 | - | 295 |6237 | 0 | 0 | 0 |1360k| 0 | 1.000000e+00 | 6.700000e+01 |6600.00%
810.48/810.52 c 788s| 2060k|863983 | 0 | 0.0 | 749M| 183 | - | 295 |1655 | 0 | 0 | 0 |1367k| 0 | 1.000000e+00 | 6.700000e+01 |6600.00%
815.48/815.51 c 793s| 2070k|864961 | 0 | 0.0 | 753M| 183 | - | 295 |2094 | 0 | 0 | 0 |1373k| 0 | 1.000000e+00 | 6.700000e+01 |6600.00%
820.88/820.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
820.88/820.91 c 798s| 2080k|864047 | 0 | 0.0 | 757M| 183 | - | 295 |4676 | 0 | 0 | 0 |1381k| 0 | 1.000000e+00 | 6.700000e+01 |6600.00%
822.98/823.07 o 59
822.98/823.07 c * 801s| 2083k|809388 | 0 | 0.0 | 699M| 183 | - | 295 |3800 | 0 | 0 | 0 |1383k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
826.58/826.69 c 804s| 2090k|808065 | 0 | 0.0 | 701M| 183 | - | 295 |1477 | 0 | 0 | 0 |1389k| 0 | 1.000000e+00 | 5.900000e+01 |5800.00%
828.97/829.08 o 54
828.97/829.08 c * 806s| 2094k|754793 | 0 | 0.0 | 649M| 183 | - | 295 |2216 | 0 | 0 | 0 |1392k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
833.17/833.21 c 810s| 2100k|752599 | 0 | 0.0 | 651M| 183 | - | 295 |1101 | 0 | 0 | 0 |1398k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
839.38/839.47 c 816s| 2110k|749033 | 0 | 0.0 | 654M| 183 | - | 295 |2620 | 0 | 0 | 0 |1407k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
846.38/846.45 c 823s| 2120k|744987 | 0 | 0.0 | 656M| 183 | - | 295 |2119 | 0 | 0 | 0 |1416k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
853.18/853.21 c 830s| 2130k|740969 | 0 | 0.0 | 658M| 183 | - | 295 |4549 | 0 | 0 | 0 |1425k| 0 | 1.000000e+00 | 5.400000e+01 |5300.00%
857.77/857.87 o 27
857.77/857.87 c * 834s| 2135k|557739 | 0 | 0.0 | 486M| 183 | - | 295 |4670 | 0 | 0 | 0 |1430k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
857.98/858.04 o 16
857.98/858.04 c * 834s| 2135k|488147 | 0 | 0.0 | 434M| 183 | - | 295 |4670 | 0 | 0 | 0 |1430k| 0 | 1.000000e+00 | 1.600000e+01 |1500.00%
859.38/859.46 o 9
859.38/859.46 c * 836s| 2136k|446669 | 0 | 0.0 | 407M| 183 | - | 295 |5141 | 0 | 0 | 0 |1432k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
869.77/869.83 c 846s| 2140k|435888 | 0 | 0.0 | 410M| 183 | - | 295 |7989 | 0 | 0 | 0 |1447k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
890.97/891.10 c 867s| 2150k|408904 | 0 | 0.0 | 399M| 183 | - | 295 |9314 | 0 | 0 | 0 |1476k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
916.17/916.20 c 892s| 2160k|383889 | 0 | 0.0 | 389M| 183 | - | 295 | 11k| 0 | 0 | 0 |1505k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
942.47/942.54 c 918s| 2170k|361782 | 0 | 0.0 | 378M| 183 | - | 295 | 13k| 0 | 0 | 0 |1532k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
970.07/970.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
970.07/970.18 c 945s| 2180k|342570 | 0 | 0.0 | 368M| 183 | - | 295 | 14k| 0 | 0 | 0 |1558k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
996.57/996.65 c 971s| 2190k|325719 | 0 | 0.0 | 358M| 183 | - | 295 | 15k| 0 | 0 | 0 |1584k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1023.37/1023.44 c 998s| 2200k|310072 | 0 | 0.0 | 348M| 183 | - | 295 | 18k| 0 | 0 | 0 |1609k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1051.48/1051.50 c 1026s| 2210k|296251 | 0 | 0.0 | 340M| 183 | - | 295 | 19k| 0 | 0 | 0 |1633k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1079.57/1079.61 c 1053s| 2220k|283709 | 0 | 0.0 | 333M| 183 | - | 295 | 20k| 0 | 0 | 0 |1658k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1105.87/1105.96 c 1080s| 2230k|272161 | 0 | 0.0 | 328M| 183 | - | 295 | 22k| 0 | 0 | 0 |1683k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1130.57/1130.67 c 1104s| 2240k|261677 | 0 | 0.0 | 322M| 183 | - | 295 | 24k| 0 | 0 | 0 |1707k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1157.28/1157.33 c 1131s| 2250k|251527 | 0 | 0.0 | 316M| 183 | - | 295 | 26k| 0 | 0 | 0 |1731k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1186.98/1187.03 c 1160s| 2260k|239527 | 0 | 0.0 | 308M| 183 | - | 295 | 25k| 0 | 0 | 0 |1757k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1219.66/1219.75 c 1192s| 2270k|220292 | 0 | 0.0 | 291M| 183 | - | 295 | 16k| 0 | 0 | 0 |1786k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1229.37/1229.48 c 1202s| 2280k|216768 | 0 | 0.0 | 285M| 183 | - | 295 |8254 | 0 | 0 | 0 |1799k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1234.36/1234.47 c 1207s| 2290k|220606 | 0 | 0.0 | 290M| 183 | - | 295 | 10k| 0 | 0 | 0 |1810k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1243.17/1243.21 c 1215s| 2300k|220421 | 0 | 0.0 | 293M| 183 | - | 295 | 13k| 0 | 0 | 0 |1826k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1259.07/1259.17 c 1231s| 2310k|195405 | 0 | 0.0 | 277M| 183 | - | 295 | 13k| 0 | 0 | 0 |1850k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1322.47/1322.51 c 1294s| 2320k|126923 | 0 | 0.0 | 227M| 183 | - | 295 | 29k| 0 | 0 | 0 |1888k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1377.87/1377.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1377.87/1377.97 c 1349s| 2330k| 97866 | 0 | 0.0 | 191M| 183 | - | 295 | 39k| 0 | 0 | 0 |1918k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1435.88/1435.91 c 1407s| 2340k| 78529 | 0 | 0.0 | 165M| 183 | - | 295 | 46k| 0 | 0 | 0 |1946k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1501.58/1501.69 c 1472s| 2350k| 59001 | 0 | 0.0 | 133M| 183 | - | 295 | 51k| 0 | 0 | 0 |1976k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1528.58/1528.68 c 1499s| 2360k| 56064 | 0 | 0.0 | 117M| 183 | - | 295 | 34k| 0 | 0 | 0 |1992k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1545.48/1545.56 c 1516s| 2370k| 58386 | 0 | 0.0 | 118M| 183 | - | 295 | 30k| 0 | 0 | 0 |2008k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1565.98/1566.02 c 1536s| 2380k| 58053 | 0 | 0.0 | 120M| 183 | - | 295 | 33k| 0 | 0 | 0 |2026k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1587.68/1587.75 c 1558s| 2390k| 56525 | 0 | 0.0 | 121M| 183 | - | 295 | 37k| 0 | 0 | 0 |2045k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1612.78/1612.88 c 1583s| 2400k| 53272 | 0 | 0.0 | 119M| 183 | - | 295 | 42k| 0 | 0 | 0 |2064k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1628.98/1629.08 c 1599s| 2410k| 55012 | 0 | 0.0 | 112M| 183 | - | 295 | 19k| 0 | 0 | 0 |2078k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1640.38/1640.40 c 1610s| 2420k| 54376 | 0 | 0.0 | 106M| 183 | - | 295 | 21k| 0 | 0 | 0 |2093k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
1657.18/1657.23 c 1627s| 2430k| 48494 | 0 | 0.0 | 84M| 183 | - | 295 | 27k| 0 | 0 | 0 |2118k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
1680.58/1680.65 c 1650s| 2440k| 45346 | 0 | 0.0 | 87M| 183 | - | 295 | 36k| 0 | 0 | 0 |2143k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
1710.38/1710.47 c 1680s| 2450k| 40849 | 0 | 0.0 | 88M| 183 | - | 295 | 45k| 0 | 0 | 0 |2169k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
1745.79/1745.89 c 1715s| 2460k| 34386 | 0 | 0.0 | 85M| 183 | - | 295 | 55k| 0 | 0 | 0 |2193k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
1769.08/1769.19 c 1738s| 2470k| 34763 | 0 | 0.0 | 77M| 183 | - | 295 | 26k| 0 | 0 | 0 |2213k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
1786.29/1786.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1786.29/1786.30 c 1755s| 2480k| 34002 | 0 | 0.0 | 80M| 183 | - | 295 | 35k| 0 | 0 | 0 |2233k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
1797.79/1797.83 c 1767s| 2490k| 37999 | 0 | 0.0 | 78M| 183 | - | 295 | 24k| 0 | 0 | 0 |2244k| 0 | 3.000000e+00 | 9.000000e+00 | 200.00%
1800.09/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.10 c
1800.09/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.10 c Solving Time (sec) : 1768.89
1800.09/1800.10 c Solving Nodes : 2491232
1800.09/1800.10 c Primal Bound : +9.00000000000000e+00 (22 solutions)
1800.09/1800.10 c Dual Bound : +3.00000000000000e+00
1800.09/1800.10 c Gap : 200.00 %
1800.09/1800.10 s SATISFIABLE
1800.09/1800.10 v -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1800.09/1800.10 v x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127
1800.09/1800.10 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1800.09/1800.10 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.09/1800.10 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 -x56
1800.09/1800.10 v -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.09/1800.10 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.09/1800.10 v -x4 -x3 -x2 -x1
1800.09/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.10 c Solving Time : 1768.89
1800.09/1800.10 c Original Problem :
1800.09/1800.10 c Problem name : HOME/instance-2694012-1277899872.wbo
1800.09/1800.10 c Variables : 297 (233 binary, 0 integer, 0 implicit integer, 64 continuous)
1800.09/1800.10 c Constraints : 166 initial, 166 maximal
1800.09/1800.10 c Presolved Problem :
1800.09/1800.10 c Problem name : t_HOME/instance-2694012-1277899872.wbo
1800.09/1800.10 c Variables : 295 (232 binary, 0 integer, 0 implicit integer, 63 continuous)
1800.09/1800.10 c Constraints : 159 initial, 55884 maximal
1800.09/1800.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.10 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.10 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.09/1800.10 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.10 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.10 c probing : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.10 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.09/1800.10 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.10 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.10 c linear : 0.00 0 0 0 63 0 6 1 0
1800.09/1800.10 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.10 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.10 c root node : - 28 - - 56 - - - -
1800.09/1800.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.10 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.10 c indicator : 63 0 6880048 0 1777976 27578 4800852 0 0 0
1800.09/1800.10 c knapsack : 1 0 7333470 0 1868344 125966 27663643 0 0 0
1800.09/1800.10 c setppc : 23 0 7207099 0 1868279 253402 3977503 0 0 0
1800.09/1800.10 c linear : 63 0 6954058 0 1868328 372080 6918750 0 0 0
1800.09/1800.10 c logicor : 9+ 0 3433509 0 1868055 128383 2161748 0 0 0
1800.09/1800.10 c bounddisjunction : 0+ 0 401624 0 0 1 60964 0 0 0
1800.09/1800.10 c countsols : 0 0 0 0 1868350 0 0 0 0 0
1800.09/1800.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.10 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.10 c indicator : 10.56 0.00 7.07 0.00 3.49
1800.09/1800.10 c knapsack : 213.19 0.00 208.13 0.00 5.06
1800.09/1800.10 c setppc : 22.36 0.00 17.62 0.00 4.74
1800.09/1800.10 c linear : 75.38 0.00 74.52 0.00 0.86
1800.09/1800.10 c logicor : 659.47 0.00 657.51 0.00 1.96
1800.09/1800.10 c bounddisjunction : 3.28 0.00 3.28 0.00 0.00
1800.09/1800.10 c countsols : 0.37 0.00 0.00 0.00 0.37
1800.09/1800.10 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.10 c vbounds : 2.01 2 0 0
1800.09/1800.10 c rootredcost : 1.61 0 0 0
1800.09/1800.10 c pseudoobj : 21.34 7379092 18224 4465525
1800.09/1800.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.10 c propagation : 30.13 898056 897778 4420231 22.0 235114 13.7 -
1800.09/1800.10 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.10 c pseudo solution : 0.04 433 433 1676 16.4 119 13.3 -
1800.09/1800.10 c applied globally : - - - 2202673 16.5 - - -
1800.09/1800.10 c applied locally : - - - 43702 36.8 - - -
1800.09/1800.10 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.10 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.10 c redcost : 0.00 0 0 0 0 0
1800.09/1800.10 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.10 c intobj : 0.00 0 0 0 0 0
1800.09/1800.10 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.10 c gomory : 0.00 0 0 0 0 0
1800.09/1800.10 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.10 c cmir : 0.00 0 0 0 0 0
1800.09/1800.10 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.10 c clique : 0.00 0 0 0 0 0
1800.09/1800.10 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.10 c mcf : 0.00 0 0 0 0 0
1800.09/1800.10 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.10 c Pricers : Time Calls Vars
1800.09/1800.10 c problem variables: 0.00 0 0
1800.09/1800.10 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.10 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.10 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.10 c inference : 18.34 1868328 0 0 0 0 3736656
1800.09/1800.10 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.10 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.10 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.10 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.10 c random : 0.00 0 0 0 0 0 0
1800.09/1800.10 c Primal Heuristics : Time Calls Found
1800.09/1800.10 c LP solutions : 0.00 - 0
1800.09/1800.10 c pseudo solutions : 1.27 - 22
1800.09/1800.10 c oneopt : 0.72 0 0
1800.09/1800.10 c trivial : 0.00 2 0
1800.09/1800.10 c simplerounding : 0.00 0 0
1800.09/1800.10 c zirounding : 0.00 0 0
1800.09/1800.10 c rounding : 0.00 0 0
1800.09/1800.10 c shifting : 0.00 0 0
1800.09/1800.10 c intshifting : 0.00 0 0
1800.09/1800.10 c twoopt : 0.00 0 0
1800.09/1800.10 c fixandinfer : 0.00 0 0
1800.09/1800.10 c feaspump : 0.00 0 0
1800.09/1800.10 c coefdiving : 0.00 0 0
1800.09/1800.10 c pscostdiving : 0.00 0 0
1800.09/1800.10 c fracdiving : 0.00 0 0
1800.09/1800.10 c veclendiving : 0.00 0 0
1800.09/1800.10 c intdiving : 0.00 0 0
1800.09/1800.10 c actconsdiving : 0.00 0 0
1800.09/1800.10 c objpscostdiving : 0.00 0 0
1800.09/1800.10 c rootsoldiving : 0.00 0 0
1800.09/1800.10 c linesearchdiving : 0.00 0 0
1800.09/1800.10 c guideddiving : 0.00 0 0
1800.09/1800.10 c octane : 0.00 0 0
1800.09/1800.10 c rens : 0.00 0 0
1800.09/1800.10 c rins : 0.00 0 0
1800.09/1800.10 c localbranching : 0.00 0 0
1800.09/1800.10 c mutation : 0.00 0 0
1800.09/1800.10 c crossover : 0.00 0 0
1800.09/1800.10 c dins : 0.00 0 0
1800.09/1800.10 c undercover : 0.00 0 0
1800.09/1800.10 c nlp : 0.51 0 0
1800.09/1800.10 c trysol : 0.43 1 0
1800.09/1800.10 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.10 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.10 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.10 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.10 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.10 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.10 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.10 c (at root node) : - 0 0 0.00 -
1800.09/1800.10 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.10 c B&B Tree :
1800.09/1800.10 c number of runs : 1
1800.09/1800.10 c nodes : 2491232
1800.09/1800.10 c nodes (total) : 2491232
1800.09/1800.10 c nodes left : 37784
1800.09/1800.10 c max depth : 183
1800.09/1800.10 c max depth (total): 183
1800.09/1800.10 c backtracks : 749744 (30.1%)
1800.09/1800.10 c delayed cutoffs : 687640
1800.09/1800.10 c repropagations : 2813640 (13061679 domain reductions, 303185 cutoffs)
1800.09/1800.10 c avg switch length: 25.23
1800.09/1800.10 c switching time : 533.94
1800.09/1800.10 c Solution :
1800.09/1800.10 c Solutions found : 22 (22 improvements)
1800.09/1800.10 c First Solution : +5.68000000000000e+02 (in run 1, after 17136 nodes, 2.79 seconds, depth 81, found by <relaxation>)
1800.09/1800.10 c Primal Bound : +9.00000000000000e+00 (in run 1, after 2136283 nodes, 835.65 seconds, depth 62, found by <relaxation>)
1800.09/1800.10 c Dual Bound : +3.00000000000000e+00
1800.09/1800.10 c Gap : 200.00 %
1800.09/1800.10 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.10 c Root Iterations : 0
1800.28/1800.31 c Time complete: 1800.3.
OK 9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694012-1277899872/watcher-2694012-1277899872 -o /tmp/evaluation-result-2694012-1277899872/solver-2694012-1277899872 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694012-1277899872.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: 2.01 2.00 2.00 4/178 11266 /proc/meminfo: memFree=30241532/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=8248 CPUtime=0 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 1544 0 0 0 0 0 0 0 25 0 1 0 131284918 8445952 1466 4089446400 4194304 7136930 140734965346224 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/11266/statm: 2062 1466 275 719 0 1341 0 [startup+0.103412 s] /proc/loadavg: 2.01 2.00 2.00 4/178 11266 /proc/meminfo: memFree=30241532/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=13096 CPUtime=0.09 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 5062 0 0 0 9 0 0 0 25 0 1 0 131284918 13410304 2575 4089446400 4194304 7136930 140734965346224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 3274 2575 404 719 0 2553 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13096 [startup+0.200395 s] /proc/loadavg: 2.01 2.00 2.00 4/178 11266 /proc/meminfo: memFree=30241532/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=13916 CPUtime=0.19 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 5256 0 0 0 18 1 0 0 25 0 1 0 131284918 14249984 2769 4089446400 4194304 7136930 140734965346224 18446744073709551615 4854295 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 3479 2769 404 719 0 2758 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 13916 [startup+0.300379 s] /proc/loadavg: 2.01 2.00 2.00 4/178 11266 /proc/meminfo: memFree=30241532/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=14592 CPUtime=0.29 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 5437 0 0 0 27 2 0 0 25 0 1 0 131284918 14942208 2950 4089446400 4194304 7136930 140734965346224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 3648 2950 404 719 0 2927 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14592 [startup+0.700302 s] /proc/loadavg: 2.01 2.00 2.00 4/178 11266 /proc/meminfo: memFree=30241532/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=17144 CPUtime=0.69 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 6094 0 0 0 66 3 0 0 25 0 1 0 131284918 17555456 3607 4089446400 4194304 7136930 140734965346224 18446744073709551615 4854266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 4286 3607 404 719 0 3565 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17144 [startup+1.50016 s] /proc/loadavg: 2.01 2.00 2.00 3/179 11267 /proc/meminfo: memFree=30225776/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=21396 CPUtime=1.49 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 7162 0 0 0 141 8 0 0 25 0 1 0 131284918 21909504 4675 4089446400 4194304 7136930 140734965346224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 5349 4675 404 719 0 4628 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21396 [startup+3.10087 s] /proc/loadavg: 2.01 2.00 2.00 3/179 11267 /proc/meminfo: memFree=30220196/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=25688 CPUtime=3.09 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 8244 0 0 0 294 15 0 0 25 0 1 0 131284918 26304512 5757 4089446400 4194304 7136930 140734965346224 18446744073709551615 4210705 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 6422 5757 404 719 0 5701 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25688 [startup+6.30029 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11267 /proc/meminfo: memFree=30207552/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=35196 CPUtime=6.29 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 10669 0 0 0 597 32 0 0 25 0 1 0 131284918 36040704 8182 4089446400 4194304 7136930 140734965346224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 8799 8182 404 719 0 8078 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35196 [startup+12.7011 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11267 /proc/meminfo: memFree=30192776/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=43552 CPUtime=12.69 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 12738 0 0 0 1220 49 0 0 25 0 1 0 131284918 44597248 10251 4089446400 4194304 7136930 140734965346224 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 10888 10251 404 719 0 10167 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43552 [startup+25.5008 s] /proc/loadavg: 2.08 2.01 2.00 3/179 11267 /proc/meminfo: memFree=30154240/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=76532 CPUtime=25.5 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 20634 0 0 0 2440 110 0 0 25 0 1 0 131284918 78368768 18147 4089446400 4194304 7136930 140734965346224 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 19133 18147 407 719 0 18412 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 76532 [startup+51.1002 s] /proc/loadavg: 2.05 2.01 2.00 3/179 11268 /proc/meminfo: memFree=30099400/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=109840 CPUtime=51.09 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 28980 0 0 0 4941 168 0 0 25 0 1 0 131284918 112476160 26493 4089446400 4194304 7136930 140734965346224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 27460 26493 407 719 0 26739 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 109840 [startup+102.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 11269 /proc/meminfo: memFree=29961956/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=202328 CPUtime=102.3 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 51398 0 0 0 9882 348 0 0 25 0 1 0 131284918 207183872 48911 4089446400 4194304 7136930 140734965346224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 50582 48911 407 719 0 49861 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 202328 [startup+162.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 11271 /proc/meminfo: memFree=29814332/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=306864 CPUtime=162.3 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 77951 0 0 0 15659 571 0 0 25 0 1 0 131284918 314228736 75464 4089446400 4194304 7136930 140734965346224 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 76716 75464 407 719 0 75995 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 306864 [startup+222.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11273 /proc/meminfo: memFree=29720412/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=347640 CPUtime=222.3 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 87949 0 0 0 21535 695 0 0 25 0 1 0 131284918 355983360 85462 4089446400 4194304 7136930 140734965346224 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 86910 85462 407 719 0 86189 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 347640 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11275 /proc/meminfo: memFree=29556676/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=478104 CPUtime=282.3 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 118481 0 0 0 27308 922 0 0 25 0 1 0 131284918 489578496 115994 4089446400 4194304 7136930 140734965346224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 119526 115994 407 719 0 118805 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 478104 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11276 /proc/meminfo: memFree=29399632/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=588300 CPUtime=342.3 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 145888 0 0 0 33093 1137 0 0 25 0 1 0 131284918 602419200 143401 4089446400 4194304 7136930 140734965346224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 147075 143401 407 719 0 146354 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 588300 [startup+402.3 s] /proc/loadavg: 2.06 2.02 2.00 3/179 11277 /proc/meminfo: memFree=29264668/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=680908 CPUtime=402.3 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 169098 0 0 0 38917 1313 0 0 25 0 1 0 131284918 697249792 166611 4089446400 4194304 7136930 140734965346224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 170227 166611 407 719 0 169506 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 680908 [startup+462.301 s] /proc/loadavg: 2.02 2.01 2.00 4/179 11306 /proc/meminfo: memFree=30527016/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=734420 CPUtime=462.31 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 182537 0 0 0 44772 1459 0 0 25 0 1 0 131284918 752046080 180050 4089446400 4194304 7136930 140734965346224 18446744073709551615 4644701 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 183605 180050 407 719 0 182884 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 734420 [startup+522.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 11308 /proc/meminfo: memFree=30332328/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=779044 CPUtime=522.3 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 193590 0 0 0 50649 1581 0 0 25 0 1 0 131284918 797741056 191103 4089446400 4194304 7136930 140734965346224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 194761 191103 407 719 0 194040 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 779044 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11310 /proc/meminfo: memFree=30146020/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=818556 CPUtime=582.31 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 203477 0 0 0 56559 1672 0 0 25 0 1 0 131284918 838201344 200990 4089446400 4194304 7136930 140734965346224 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 204639 200990 407 719 0 203918 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 818556 [startup+642.301 s] /proc/loadavg: 2.58 2.15 2.05 4/200 11365 /proc/meminfo: memFree=30258288/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=840892 CPUtime=642.31 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 209098 0 0 0 62490 1741 0 0 25 0 1 0 131284918 861073408 206611 4089446400 4194304 7136930 140734965346224 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/11266/statm: 210223 206611 407 719 0 209502 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 840892 [startup+702.301 s] ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 2.80 2.54 2.23 4/200 11372 /proc/meminfo: memFree=30104224/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=934564 CPUtime=882.28 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 232462 0 0 0 85820 2408 0 0 25 0 1 0 131284918 956993536 229975 4089446400 4194304 7136930 140734965346224 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 233641 229975 407 719 0 232920 0 Current children cumulated CPU time (s) 882.28 Current children cumulated vsize (KiB) 934564 [startup+942.301 s] /proc/loadavg: 2.81 2.59 2.27 4/200 11373 /proc/meminfo: memFree=30099176/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=934564 CPUtime=942.27 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 232462 0 0 0 91744 2483 0 0 25 0 1 0 131284918 956993536 229975 4089446400 4194304 7136930 140734965346224 18446744073709551615 4210602 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11266/statm: 233641 229975 407 719 0 232920 0 Current children cumulated CPU time (s) 942.27 Current children cumulated vsize (KiB) 934564 [startup+1002.3 s] /proc/loadavg: 2.88 2.65 2.30 3/200 11374 /proc/meminfo: memFree=30093640/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=934564 CPUtime=1002.27 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 232462 0 0 0 97684 2543 0 0 25 0 1 0 131284918 956993536 229975 4089446400 4194304 7136930 140734965346224 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11266/statm: 233641 229975 407 719 0 232920 0 Current children cumulated CPU time (s) 1002.27 Current children cumulated vsize (KiB) 934564 [startup+1062.3 s] /proc/loadavg: 2.79 2.66 2.33 4/200 11376 /proc/meminfo: memFree=30086776/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=934564 CPUtime=1062.27 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 232462 0 0 0 103629 2598 0 0 25 0 1 0 131284918 956993536 229975 4089446400 4194304 7136930 140734965346224 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/11266/statm: 233641 229975 407 719 0 232920 0 Current children cumulated CPU time (s) 1062.27 Current children cumulated vsize (KiB) 934564 [startup+1122.3 s] /proc/loadavg: 2.77 2.69 2.36 3/200 11378 /proc/meminfo: memFree=30081004/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=934784 CPUtime=1122.26 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 232509 0 0 0 109575 2651 0 0 25 0 1 0 131284918 957218816 230022 4089446400 4194304 7136930 140734965346224 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 233696 230022 407 719 0 232975 0 Current children cumulated CPU time (s) 1122.26 Current children cumulated vsize (KiB) 934784 [startup+1182.3 s] /proc/loadavg: 2.86 2.73 2.39 4/200 11380 /proc/meminfo: memFree=30076432/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=935100 CPUtime=1182.27 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 232550 0 0 0 115531 2696 0 0 25 0 1 0 131284918 957542400 230063 4089446400 4194304 7136930 140734965346224 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 233775 230063 407 719 0 233054 0 Current children cumulated CPU time (s) 1182.27 Current children cumulated vsize (KiB) 935100 [startup+1242.3 s] /proc/loadavg: 2.83 2.74 2.41 4/200 11384 /proc/meminfo: memFree=30067240/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=935556 CPUtime=1242.27 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 232592 0 0 0 121453 2774 0 0 25 0 1 0 131284918 958009344 230105 4089446400 4194304 7136930 140734965346224 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 233889 230105 407 719 0 233168 0 Current children cumulated CPU time (s) 1242.27 Current children cumulated vsize (KiB) 935556 [startup+1302.3 s] /proc/loadavg: 2.78 2.74 2.43 4/200 11385 /proc/meminfo: memFree=30065804/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=932484 CPUtime=1302.27 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 232624 0 0 0 127397 2830 0 0 25 0 1 0 131284918 954863616 229371 4089446400 4194304 7136930 140734965346224 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 233121 229371 407 719 0 232400 0 Current children cumulated CPU time (s) 1302.27 Current children cumulated vsize (KiB) 932484 [startup+1362.3 s] /proc/loadavg: 2.84 2.77 2.46 4/200 11387 /proc/meminfo: memFree=30059652/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=934132 CPUtime=1362.28 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 232892 0 0 0 133363 2865 0 0 25 0 1 0 131284918 956551168 229639 4089446400 4194304 7136930 140734965346224 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 233533 229639 407 719 0 232812 0 Current children cumulated CPU time (s) 1362.28 Current children cumulated vsize (KiB) 934132 [startup+1422.3 s] /proc/loadavg: 2.79 2.75 2.47 3/200 11389 /proc/meminfo: memFree=30055748/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=934984 CPUtime=1422.28 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 233098 0 0 0 139336 2892 0 0 25 0 1 0 131284918 957423616 229845 4089446400 4194304 7136930 140734965346224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 233746 229845 407 719 0 233025 0 Current children cumulated CPU time (s) 1422.28 Current children cumulated vsize (KiB) 934984 [startup+1482.3 s] /proc/loadavg: 2.92 2.79 2.50 4/200 11391 /proc/meminfo: memFree=30050852/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=935624 CPUtime=1482.28 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 233163 0 0 0 145311 2917 0 0 25 0 1 0 131284918 958078976 229910 4089446400 4194304 7136930 140734965346224 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 233906 229910 407 719 0 233185 0 Current children cumulated CPU time (s) 1482.28 Current children cumulated vsize (KiB) 935624 [startup+1542.31 s] /proc/loadavg: 2.90 2.81 2.52 4/200 11392 /proc/meminfo: memFree=30045360/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=936700 CPUtime=1542.29 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 233348 0 0 0 151282 2947 0 0 25 0 1 0 131284918 959180800 230095 4089446400 4194304 7136930 140734965346224 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 234175 230095 407 719 0 233454 0 Current children cumulated CPU time (s) 1542.29 Current children cumulated vsize (KiB) 936700 [startup+1602.3 s] /proc/loadavg: 2.47 2.72 2.51 3/197 11441 /proc/meminfo: memFree=30149328/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=937492 CPUtime=1602.28 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 233409 0 0 0 157243 2985 0 0 25 0 1 0 131284918 959991808 230156 4089446400 4194304 7136930 140734965346224 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 234373 230156 407 719 0 233652 0 Current children cumulated CPU time (s) 1602.28 Current children cumulated vsize (KiB) 937492 [startup+1662.3 s] /proc/loadavg: 2.17 2.59 2.47 4/197 11443 /proc/meminfo: memFree=30124608/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=937492 CPUtime=1662.28 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 233445 0 0 0 163191 3037 0 0 25 0 1 0 131284918 959991808 230192 4089446400 4194304 7136930 140734965346224 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 234373 230192 407 719 0 233652 0 Current children cumulated CPU time (s) 1662.28 Current children cumulated vsize (KiB) 937492 [startup+1722.3 s] /proc/loadavg: 2.06 2.48 2.44 4/197 11445 /proc/meminfo: memFree=30100476/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=937972 CPUtime=1722.29 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 233491 0 0 0 169156 3073 0 0 25 0 1 0 131284918 960483328 230238 4089446400 4194304 7136930 140734965346224 18446744073709551615 4431706 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 234493 230238 407 719 0 233772 0 Current children cumulated CPU time (s) 1722.29 Current children cumulated vsize (KiB) 937972 [startup+1782.3 s] /proc/loadavg: 2.09 2.40 2.42 3/197 11447 /proc/meminfo: memFree=30075480/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=938236 CPUtime=1782.28 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 233545 0 0 0 175123 3105 0 0 25 0 1 0 131284918 960753664 230292 4089446400 4194304 7136930 140734965346224 18446744073709551615 4999855 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 234559 230292 407 719 0 233838 0 Current children cumulated CPU time (s) 1782.28 Current children cumulated vsize (KiB) 938236 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.06 2.38 2.41 3/197 11447 /proc/meminfo: memFree=30068136/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=938236 CPUtime=1800.09 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 233612 0 0 0 176888 3121 0 0 25 0 1 0 131284918 960753664 230359 4089446400 4194304 7136930 140734965346224 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/11266/statm: 234559 230359 407 719 0 233838 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 938236 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.06 2.38 2.41 3/197 11447 /proc/meminfo: memFree=30068136/32951124 swapFree=67111528/67111528 [pid=11266] ppid=11264 vsize=491512 CPUtime=1800.28 /proc/11266/stat : 11266 (pbscip.linux.x8) R 11264 11266 11183 0 -1 4202496 233617 0 0 0 176906 3122 0 0 25 0 1 0 131284918 503308288 119237 4089446400 4194304 7136930 140734965346224 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/11266/statm: 122458 119030 412 719 0 121737 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 491512 Child status: 0 Real time (s): 1800.32 CPU time (s): 1800.31 CPU user time (s): 1769.07 CPU system time (s): 31.2452 CPU usage (%): 99.9996 Max. virtual memory (cumulated for all children) (KiB): 938236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1769.07 system time used= 31.2452 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 233624 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 12735 runsolver used 2.66759 second user time and 5.85411 second system time The end
Begin job on node106 at 2010-06-30 14:11:12 IDJOB=2694012 IDBENCH=78868 IDSOLVER=1206 FILE ID=node106/2694012-1277899872 PBS_JOBID= 11197224 Free space on /tmp= 74208 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.1111224929--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-2694012-1277899872/watcher-2694012-1277899872 -o /tmp/evaluation-result-2694012-1277899872/solver-2694012-1277899872 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694012-1277899872.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6dec18dfef172675cbaede25bd0c1c14 RANDOM SEED=304198970 node106.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.825 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.65 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.825 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.75 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.825 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.825 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.76 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.825 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.825 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.73 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.825 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.83 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.825 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 : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30242060 kB Buffers: 182128 kB Cached: 1271728 kB SwapCached: 0 kB Active: 1546548 kB Inactive: 1019712 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30242060 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3268 kB Writeback: 0 kB AnonPages: 1112780 kB Mapped: 14956 kB Slab: 78028 kB PageTables: 7292 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1255792 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= 74208 MiB End job on node106 at 2010-06-30 14:41:15