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) | 1802.13 | 1802.08 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584106--soft-66-100-0.wbo |
| MD5SUM | af1f4aa986dfaf7d995a788abb35be25 |
| 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 | 12 |
| Best CPU time to get the best result obtained on this benchmark | 526.527 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 961 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 46411 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46410 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 737 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 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-2694030-1277900958.wbo>
0.00/0.02 c original problem has 2153 variables (1192 bin, 0 int, 0 impl, 961 cont) and 3669 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.03 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1161 impls, 15 clqs
0.05/0.07 c (round 2) 0 del vars, 107 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1161 impls, 15 clqs
0.05/0.08 c (round 3) 50 del vars, 157 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 1690 upgd conss, 1161 impls, 15 clqs
0.05/0.09 c (round 4) 100 del vars, 157 del conss, 961 chg bounds, 50 chg sides, 0 chg coeffs, 1690 upgd conss, 1161 impls, 15 clqs
0.09/0.14 c (0.1s) probing: 101/1142 (8.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (5 rounds):
0.09/0.14 c 100 deleted vars, 157 deleted constraints, 961 tightened bounds, 0 added holes, 50 changed sides, 0 changed coefficients
0.09/0.14 c 1161 implications, 15 cliques
0.09/0.14 c presolved problem has 2053 variables (1142 bin, 0 int, 0 impl, 911 cont) and 3512 constraints
0.09/0.14 c 911 constraints of type <indicator>
0.09/0.14 c 1 constraints of type <knapsack>
0.09/0.14 c 15 constraints of type <setppc>
0.09/0.14 c 911 constraints of type <linear>
0.09/0.14 c 1674 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.10
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.98
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 3420
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = -1
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.14 c 0.1s| 1 | 2 | 0 | - |7818k| 0 | - |2053 |3512 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.59/2.61 c 2.5s| 10000 | 8846 | 0 | 0.0 | 14M|1099 | - |2053 |4472 | 0 | 0 | 0 |2129 | 0 | 0.000000e+00 | -- | Inf
5.99/6.08 c 5.9s| 20000 | 15598 | 0 | 0.0 | 22M|1099 | - |2053 |5833 | 0 | 0 | 0 |9232 | 0 | 0.000000e+00 | -- | Inf
7.69/7.78 o 314
7.69/7.78 c * 7.5s| 23677 | 15259 | 0 | 0.0 | 24M|1099 | - |2053 |7004 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 3.140000e+02 | Inf
7.99/8.09 o 298
7.99/8.09 c * 7.8s| 24643 | 16174 | 0 | 0.0 | 24M|1099 | - |2053 |6608 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 2.980000e+02 | Inf
8.09/8.12 o 249
8.09/8.12 c * 7.9s| 24736 | 16233 | 0 | 0.0 | 24M|1099 | - |2053 |6578 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 2.490000e+02 | Inf
8.09/8.12 o 233
8.09/8.12 c * 7.9s| 24737 | 16211 | 0 | 0.0 | 24M|1099 | - |2053 |6578 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
8.19/8.29 o 231
8.19/8.29 c * 8.0s| 25260 | 16704 | 0 | 0.0 | 25M|1099 | - |2053 |6460 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 2.310000e+02 | Inf
8.19/8.29 o 214
8.19/8.29 c * 8.0s| 25261 | 16668 | 0 | 0.0 | 25M|1099 | - |2053 |6460 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 2.140000e+02 | Inf
9.09/9.18 o 178
9.09/9.18 c * 8.9s| 27817 | 18743 | 0 | 0.0 | 27M|1099 | - |2053 |6010 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.780000e+02 | Inf
9.29/9.37 o 157
9.29/9.37 c * 9.1s| 28365 | 18930 | 0 | 0.0 | 27M|1099 | - |2053 |5770 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.570000e+02 | Inf
9.79/9.81 o 139
9.79/9.81 c * 9.5s| 29476 | 19483 | 0 | 0.0 | 28M|1099 | - |2053 |5763 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
9.89/9.99 c 9.7s| 30000 | 19961 | 0 | 0.0 | 28M|1099 | - |2053 |5533 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
13.20/13.20 c 12.8s| 40000 | 28305 | 0 | 0.0 | 37M|1099 | - |2053 |5627 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
16.19/16.28 c 15.7s| 50000 | 35954 | 0 | 0.0 | 45M|1099 | - |2053 |7112 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
19.59/19.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.59/19.70 c 19.1s| 60000 | 43214 | 0 | 0.0 | 51M|1099 | - |2053 |7296 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
23.60/23.60 c 22.8s| 70000 | 49752 | 0 | 0.0 | 59M|1099 | - |2053 |8711 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
27.69/27.78 c 26.9s| 80000 | 56022 | 0 | 0.0 | 66M|1099 | - |2053 |9100 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
32.69/32.77 c 31.8s| 90000 | 61044 | 0 | 0.0 | 74M|1099 | - |2053 |9780 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
38.40/38.40 c 37.3s|100000 | 65313 | 0 | 0.0 | 82M|1099 | - |2053 | 10k| 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
44.99/45.09 c 43.9s|110000 | 68584 | 0 | 0.0 | 90M|1099 | - |2053 | 12k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
52.80/52.89 c 51.5s|120000 | 71261 | 0 | 0.0 | 96M|1099 | - |2053 | 11k| 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
56.69/56.74 c 55.2s|130000 | 80207 | 0 | 0.0 | 103M|1099 | - |2053 |6973 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
57.79/57.85 o 130
57.79/57.85 c *56.3s|132835 | 82464 | 0 | 0.0 | 105M|1099 | - |2053 |6995 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 1.300000e+02 | Inf
57.79/57.85 o 90
57.79/57.85 c *56.3s|132836 | 81104 | 0 | 0.0 | 100M|1099 | - |2053 |6995 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
61.10/61.13 c 59.5s|140000 | 86979 | 0 | 0.0 | 111M|1099 | - |2053 |5071 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
62.29/62.32 o 70
62.29/62.32 c *60.7s|142572 | 86136 | 0 | 0.0 | 107M|1099 | - |2053 |5198 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
65.59/65.63 o 56
65.59/65.63 c *63.9s|148979 | 89647 | 0 | 0.0 | 115M|1099 | - |2053 |6645 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
66.20/66.23 c 64.5s|150000 | 90248 | 0 | 0.0 | 116M|1099 | - |2053 |6677 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
70.20/70.21 c 68.3s|160000 | 98238 | 0 | 0.0 | 126M|1099 | - |2053 |4839 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
74.30/74.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.30/74.37 c 72.4s|170000 |105501 | 0 | 0.0 | 138M|1099 | - |2053 |6560 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
78.10/78.17 c 76.1s|180000 |113446 | 0 | 0.0 | 145M|1099 | - |2053 |5252 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
81.99/82.02 c 79.8s|190000 |121063 | 0 | 0.0 | 155M|1099 | - |2053 |6754 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
85.80/85.81 c 83.5s|200000 |128824 | 0 | 0.0 | 164M|1099 | - |2053 |5972 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
89.59/89.63 c 87.2s|210000 |136327 | 0 | 0.0 | 174M|1099 | - |2053 |8038 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
92.99/93.09 c 90.5s|220000 |144257 | 0 | 0.0 | 182M|1099 | - |2053 |7022 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
97.19/97.22 c 94.5s|230000 |150821 | 0 | 0.0 | 190M|1099 | - |2053 |9568 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
100.90/100.99 c 98.1s|240000 |158192 | 0 | 0.0 | 196M|1099 | - |2053 |8510 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
105.20/105.27 c 102s|250000 |164752 | 0 | 0.0 | 202M|1099 | - |2053 |9329 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
109.20/109.28 c 106s|260000 |171842 | 0 | 0.0 | 208M|1099 | - |2053 |7673 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
112.69/112.79 c 110s|270000 |179687 | 0 | 0.0 | 215M|1099 | - |2053 |6008 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
117.70/117.76 c 114s|280000 |185026 | 0 | 0.0 | 222M|1099 | - |2053 |7913 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
122.79/122.85 c 119s|290000 |190365 | 0 | 0.0 | 229M|1099 | - |2053 |8553 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
128.10/128.10 c 125s|300000 |195510 | 0 | 0.0 | 237M|1099 | - |2053 |9079 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
133.70/133.78 c 130s|310000 |200190 | 0 | 0.0 | 244M|1099 | - |2053 |9119 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
139.60/139.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.60/139.66 c 136s|320000 |204603 | 0 | 0.0 | 251M|1099 | - |2053 |9972 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
146.09/146.10 c 142s|330000 |208474 | 0 | 0.0 | 257M|1099 | - |2053 | 10k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
153.00/153.05 c 149s|340000 |211749 | 0 | 0.0 | 264M|1099 | - |2053 | 10k| 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
159.80/159.88 c 156s|350000 |215133 | 0 | 0.0 | 271M|1099 | - |2053 | 10k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
166.99/167.03 c 163s|360000 |218159 | 0 | 0.0 | 277M|1099 | - |2053 | 11k| 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
174.49/174.59 c 170s|370000 |220814 | 0 | 0.0 | 284M|1099 | - |2053 | 12k| 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
182.60/182.70 c 178s|380000 |222891 | 0 | 0.0 | 290M|1099 | - |2053 | 11k| 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
190.70/190.74 c 186s|390000 |225046 | 0 | 0.0 | 297M|1099 | - |2053 | 12k| 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
198.60/198.69 c 194s|400000 |227437 | 0 | 0.0 | 303M|1099 | - |2053 | 12k| 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
207.10/207.15 c 202s|410000 |229188 | 0 | 0.0 | 308M|1099 | - |2053 | 12k| 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
216.10/216.17 c 211s|420000 |230278 | 0 | 0.0 | 315M|1099 | - |2053 | 13k| 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
226.10/226.18 c 221s|430000 |230346 | 0 | 0.0 | 319M|1099 | - |2053 | 14k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
237.60/237.66 c 232s|440000 |229330 | 0 | 0.0 | 322M|1099 | - |2053 | 15k| 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
251.60/251.65 c 246s|450000 |225994 | 0 | 0.0 | 320M|1099 | - |2053 | 18k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
256.20/256.23 c 250s|460000 |234153 | 0 | 0.0 | 324M|1099 | - |2053 |5514 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
259.70/259.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
259.70/259.77 c 254s|470000 |242740 | 0 | 0.0 | 333M|1099 | - |2053 |4880 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
263.39/263.40 c 257s|480000 |251154 | 0 | 0.0 | 342M|1099 | - |2053 |4899 | 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
267.00/267.02 c 261s|490000 |259510 | 0 | 0.0 | 351M|1099 | - |2053 |5214 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
268.50/268.53 o 44
268.50/268.53 c * 262s|494067 |261081 | 0 | 0.0 | 346M|1099 | - |2053 |5270 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 4.400000e+01 | Inf
268.50/268.54 o 35
268.50/268.54 c * 262s|494068 |254095 | 0 | 0.0 | 326M|1099 | - |2053 |5270 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
270.80/270.82 c 265s|500000 |258884 | 0 | 0.0 | 333M|1099 | - |2053 |5401 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
274.50/274.56 c 268s|510000 |266739 | 0 | 0.0 | 341M|1099 | - |2053 |5753 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
278.30/278.38 c 272s|520000 |274489 | 0 | 0.0 | 348M|1099 | - |2053 |6010 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
282.30/282.39 c 276s|530000 |281991 | 0 | 0.0 | 356M|1099 | - |2053 |6396 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
286.40/286.49 c 280s|540000 |289398 | 0 | 0.0 | 365M|1099 | - |2053 |6734 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
290.60/290.64 c 284s|550000 |296675 | 0 | 0.0 | 373M|1099 | - |2053 |6804 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
295.40/295.47 c 289s|560000 |303172 | 0 | 0.0 | 383M|1099 | - |2053 |7803 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
300.60/300.68 c 294s|570000 |309373 | 0 | 0.0 | 394M|1099 | - |2053 |8564 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
306.20/306.24 c 299s|580000 |315226 | 0 | 0.0 | 405M|1099 | - |2053 |9209 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
312.10/312.15 c 305s|590000 |320777 | 0 | 0.0 | 416M|1099 | - |2053 |9611 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
318.29/318.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.29/318.37 c 311s|600000 |326147 | 0 | 0.0 | 428M|1099 | - |2053 | 10k| 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
325.20/325.23 c 318s|610000 |330745 | 0 | 0.0 | 439M|1099 | - |2053 | 10k| 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
333.00/333.01 c 325s|620000 |334481 | 0 | 0.0 | 451M|1099 | - |2053 | 12k| 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
342.10/342.18 c 334s|630000 |336897 | 0 | 0.0 | 460M|1099 | - |2053 | 14k| 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
348.10/348.16 c 340s|640000 |343120 | 0 | 0.0 | 467M|1099 | - |2053 |8076 | 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
352.01/352.05 c 344s|650000 |351002 | 0 | 0.0 | 475M|1099 | - |2053 |7006 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
355.70/355.72 c 347s|660000 |358926 | 0 | 0.0 | 482M|1099 | - |2053 |7249 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
359.40/359.47 c 351s|670000 |366693 | 0 | 0.0 | 489M|1099 | - |2053 |7768 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
363.30/363.39 c 355s|680000 |374316 | 0 | 0.0 | 497M|1099 | - |2053 |8344 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
367.60/367.65 c 359s|690000 |381588 | 0 | 0.0 | 505M|1099 | - |2053 |9485 | 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
372.30/372.36 c 364s|700000 |388506 | 0 | 0.0 | 515M|1099 | - |2053 | 10k| 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
377.50/377.50 c 369s|710000 |394955 | 0 | 0.0 | 525M|1099 | - |2053 | 12k| 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
383.30/383.30 c 374s|720000 |401006 | 0 | 0.0 | 536M|1099 | - |2053 | 13k| 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
389.70/389.74 c 381s|730000 |406556 | 0 | 0.0 | 548M|1099 | - |2053 | 14k| 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
397.01/397.01 c 388s|740000 |411503 | 0 | 0.0 | 559M|1099 | - |2053 | 17k| 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
406.60/406.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.60/406.69 c 397s|750000 |414438 | 0 | 0.0 | 569M|1099 | - |2053 | 17k| 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
413.70/413.79 c 404s|760000 |420045 | 0 | 0.0 | 579M|1099 | - |2053 | 12k| 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
418.00/418.09 c 408s|770000 |428192 | 0 | 0.0 | 593M|1099 | - |2053 | 10k| 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
422.41/422.45 c 413s|780000 |436048 | 0 | 0.0 | 609M|1099 | - |2053 | 10k| 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
426.90/426.96 c 417s|790000 |443679 | 0 | 0.0 | 626M|1099 | - |2053 | 10k| 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
431.70/431.77 c 422s|800000 |451076 | 0 | 0.0 | 643M|1099 | - |2053 | 11k| 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
436.71/436.77 c 426s|810000 |458298 | 0 | 0.0 | 661M|1099 | - |2053 | 11k| 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
442.00/442.01 c 432s|820000 |465334 | 0 | 0.0 | 680M|1099 | - |2053 | 12k| 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
447.60/447.67 c 437s|830000 |471998 | 0 | 0.0 | 699M|1099 | - |2053 | 13k| 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
454.10/454.18 c 443s|840000 |478030 | 0 | 0.0 | 721M|1099 | - |2053 | 14k| 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
461.20/461.29 c 450s|850000 |483693 | 0 | 0.0 | 744M|1099 | - |2053 | 16k| 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
469.50/469.53 c 458s|860000 |488575 | 0 | 0.0 | 766M|1099 | - |2053 | 17k| 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
478.30/478.35 c 467s|870000 |492958 | 0 | 0.0 | 786M|1099 | - |2053 | 18k| 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
489.00/489.07 c 478s|880000 |495473 | 0 | 0.0 | 803M|1099 | - |2053 | 21k| 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
494.10/494.17 c 483s|890000 |503188 | 0 | 0.0 | 814M|1099 | - |2053 | 15k| 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
498.50/498.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
498.50/498.56 c 487s|900000 |511373 | 0 | 0.0 | 827M|1099 | - |2053 | 14k| 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
502.80/502.89 c 491s|910000 |519345 | 0 | 0.0 | 841M|1099 | - |2053 | 14k| 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
507.31/507.33 c 495s|920000 |527138 | 0 | 0.0 | 855M|1099 | - |2053 | 14k| 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
512.10/512.16 c 500s|930000 |534573 | 0 | 0.0 | 871M|1099 | - |2053 | 14k| 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
517.31/517.36 c 505s|940000 |541709 | 0 | 0.0 | 888M|1099 | - |2053 | 15k| 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
523.10/523.12 c 511s|950000 |548446 | 0 | 0.0 | 906M|1099 | - |2053 | 16k| 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
529.11/529.17 c 517s|960000 |554957 | 0 | 0.0 | 924M|1099 | - |2053 | 17k| 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
535.91/535.96 c 523s|970000 |560950 | 0 | 0.0 | 943M|1099 | - |2053 | 19k| 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
542.60/542.65 c 530s|980000 |566418 | 0 | 0.0 | 951M|1099 | - |2053 | 13k| 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
549.51/549.51 c 537s|990000 |571112 | 0 | 0.0 | 961M|1099 | - |2053 | 14k| 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
557.61/557.66 c 545s| 1000k|574317 | 0 | 0.0 | 968M|1099 | - |2053 | 12k| 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
561.31/561.30 c 548s| 1010k|582552 | 0 | 0.0 | 975M|1099 | - |2053 | 11k| 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
565.11/565.15 c 552s| 1020k|590455 | 0 | 0.0 | 981M|1099 | - |2053 | 12k| 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
569.30/569.39 c 556s| 1030k|597969 | 0 | 0.0 | 989M|1099 | - |2053 | 13k| 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
573.90/573.96 c 560s| 1040k|605151 | 0 | 0.0 | 996M|1099 | - |2053 | 14k| 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
578.91/578.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
578.91/578.98 c 565s| 1050k|611894 | 0 | 0.0 |1003M|1099 | - |2053 | 14k| 0 | 0 | 0 | 818k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
584.20/584.28 c 570s| 1060k|618325 | 0 | 0.0 |1011M|1099 | - |2053 | 15k| 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
590.30/590.31 c 576s| 1070k|624033 | 0 | 0.0 |1019M|1099 | - |2053 | 16k| 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
596.91/596.95 c 583s| 1080k|629092 | 0 | 0.0 |1028M|1099 | - |2053 | 16k| 0 | 0 | 0 | 842k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
604.81/604.80 c 591s| 1090k|632900 | 0 | 0.0 |1036M|1099 | - |2053 | 17k| 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
614.71/614.74 c 600s| 1100k|634774 | 0 | 0.0 |1044M|1099 | - |2053 | 18k| 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
621.61/621.64 c 607s| 1110k|639810 | 0 | 0.0 |1047M|1099 | - |2053 | 13k| 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
626.30/626.39 c 612s| 1120k|646862 | 0 | 0.0 |1054M|1099 | - |2053 | 14k| 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
631.51/631.58 c 617s| 1130k|653492 | 0 | 0.0 |1061M|1099 | - |2053 | 15k| 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
637.41/637.46 c 623s| 1140k|659419 | 0 | 0.0 |1068M|1099 | - |2053 | 15k| 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
644.81/644.82 c 630s| 1150k|663925 | 0 | 0.0 |1076M|1099 | - |2053 | 18k| 0 | 0 | 0 | 908k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
654.51/654.55 c 639s| 1160k|666769 | 0 | 0.0 |1082M|1099 | - |2053 | 18k| 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
661.11/661.15 c 646s| 1170k|672639 | 0 | 0.0 |1086M|1099 | - |2053 | 14k| 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
667.41/667.41 c 652s| 1180k|678488 | 0 | 0.0 |1094M|1099 | - |2053 | 16k| 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
674.91/674.91 c 659s| 1190k|683330 | 0 | 0.0 |1101M|1099 | - |2053 | 17k| 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
684.71/684.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
684.71/684.72 c 669s| 1200k|686153 | 0 | 0.0 |1109M|1099 | - |2053 | 21k| 0 | 0 | 0 | 959k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
690.82/690.87 c 675s| 1210k|692674 | 0 | 0.0 |1112M|1099 | - |2053 | 14k| 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
696.51/696.59 c 680s| 1220k|698961 | 0 | 0.0 |1119M|1099 | - |2053 | 15k| 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
703.61/703.69 c 687s| 1230k|704067 | 0 | 0.0 |1126M|1099 | - |2053 | 16k| 0 | 0 | 0 | 980k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
712.82/712.89 c 696s| 1240k|707314 | 0 | 0.0 |1133M|1099 | - |2053 | 19k| 0 | 0 | 0 | 992k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
720.81/720.80 c 704s| 1250k|712355 | 0 | 0.0 |1135M|1099 | - |2053 |7017 | 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
724.22/724.23 c 708s| 1260k|720676 | 0 | 0.0 |1142M|1099 | - |2053 |6559 | 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
728.01/728.10 c 711s| 1270k|728231 | 0 | 0.0 |1150M|1099 | - |2053 |5823 | 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
731.21/731.25 c 714s| 1280k|736685 | 0 | 0.0 |1157M|1099 | - |2053 |6105 | 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
734.61/734.61 c 718s| 1290k|744694 | 0 | 0.0 |1164M|1099 | - |2053 |6745 | 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
738.81/738.82 c 722s| 1300k|751486 | 0 | 0.0 |1172M|1099 | - |2053 |8613 | 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
742.21/742.24 c 725s| 1310k|759616 | 0 | 0.0 |1178M|1099 | - |2053 |6447 | 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
746.21/746.27 c 729s| 1320k|766697 | 0 | 0.0 |1185M|1099 | - |2053 |7525 | 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
750.61/750.63 c 733s| 1330k|773342 | 0 | 0.0 |1192M|1099 | - |2053 |6907 | 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
754.62/754.63 c 737s| 1340k|780326 | 0 | 0.0 |1198M|1099 | - |2053 |6931 | 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
759.02/759.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
759.02/759.04 c 741s| 1350k|787200 | 0 | 0.0 |1206M|1099 | - |2053 |4423 | 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
762.02/762.03 c 744s| 1360k|795593 | 0 | 0.0 |1212M|1099 | - |2053 |4348 | 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
768.92/768.96 c 751s| 1370k|798486 | 0 | 0.0 |1219M|1099 | - |2053 |8850 | 0 | 0 | 0 |1062k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
779.31/779.39 c 761s| 1380k|798406 | 0 | 0.0 |1225M|1099 | - |2053 | 11k| 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
791.41/791.49 c 773s| 1390k|797944 | 0 | 0.0 |1230M|1099 | - |2053 | 13k| 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
803.91/803.95 c 786s| 1400k|797706 | 0 | 0.0 |1235M|1099 | - |2053 | 14k| 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
817.11/817.11 c 799s| 1410k|796774 | 0 | 0.0 |1238M|1099 | - |2053 | 13k| 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
830.52/830.51 c 812s| 1420k|795702 | 0 | 0.0 |1241M|1099 | - |2053 | 14k| 0 | 0 | 0 |1146k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
844.31/844.31 c 826s| 1430k|794370 | 0 | 0.0 |1244M|1099 | - |2053 | 14k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
858.61/858.67 c 840s| 1440k|791977 | 0 | 0.0 |1243M|1099 | - |2053 | 13k| 0 | 0 | 0 |1184k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
873.51/873.54 c 854s| 1450k|789637 | 0 | 0.0 |1244M|1099 | - |2053 | 14k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
888.41/888.47 c 869s| 1460k|787419 | 0 | 0.0 |1245M|1099 | - |2053 | 16k| 0 | 0 | 0 |1224k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
904.01/904.04 c 885s| 1470k|784380 | 0 | 0.0 |1242M|1099 | - |2053 | 15k| 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
920.02/920.04 c 900s| 1480k|781547 | 0 | 0.0 |1242M|1099 | - |2053 | 15k| 0 | 0 | 0 |1264k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
937.12/937.16 c 917s| 1490k|777619 | 0 | 0.0 |1238M|1099 | - |2053 | 16k| 0 | 0 | 0 |1285k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
955.52/955.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
955.52/955.54 c 936s| 1500k|772882 | 0 | 0.0 |1232M|1099 | - |2053 | 17k| 0 | 0 | 0 |1307k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
974.92/974.93 c 955s| 1510k|767280 | 0 | 0.0 |1222M|1099 | - |2053 | 19k| 0 | 0 | 0 |1332k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
997.22/997.25 c 977s| 1520k|759840 | 0 | 0.0 |1201M|1099 | - |2053 | 18k| 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1002.22/1002.23 c 982s| 1530k|767731 | 0 | 0.0 |1206M|1099 | - |2053 |7205 | 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1006.32/1006.39 c 986s| 1540k|775548 | 0 | 0.0 |1214M|1099 | - |2053 |6081 | 0 | 0 | 0 |1368k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1010.52/1010.56 c 990s| 1550k|783225 | 0 | 0.0 |1222M|1099 | - |2053 |5648 | 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1014.82/1014.89 c 994s| 1560k|790627 | 0 | 0.0 |1231M|1099 | - |2053 |5647 | 0 | 0 | 0 |1375k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1019.12/1019.17 c 998s| 1570k|798052 | 0 | 0.0 |1239M|1099 | - |2053 |5675 | 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1023.12/1023.13 c 1002s| 1580k|805687 | 0 | 0.0 |1246M|1099 | - |2053 |5642 | 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1027.33/1027.39 c 1006s| 1590k|813041 | 0 | 0.0 |1255M|1099 | - |2053 |5838 | 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1032.02/1032.01 c 1011s| 1600k|820066 | 0 | 0.0 |1263M|1099 | - |2053 |6125 | 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1036.62/1036.61 c 1015s| 1610k|827129 | 0 | 0.0 |1271M|1099 | - |2053 |5954 | 0 | 0 | 0 |1395k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1041.12/1041.12 c 1019s| 1620k|834263 | 0 | 0.0 |1279M|1099 | - |2053 |6175 | 0 | 0 | 0 |1399k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1045.82/1045.81 c 1024s| 1630k|841143 | 0 | 0.0 |1288M|1099 | - |2053 |6553 | 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1050.53/1050.52 c 1029s| 1640k|848113 | 0 | 0.0 |1297M|1099 | - |2053 |6200 | 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1055.31/1055.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.31/1055.30 c 1033s| 1650k|854923 | 0 | 0.0 |1306M|1099 | - |2053 |6763 | 0 | 0 | 0 |1412k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1060.22/1060.24 c 1038s| 1660k|861627 | 0 | 0.0 |1314M|1099 | - |2053 |6249 | 0 | 0 | 0 |1417k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
1062.32/1062.30 o 23
1062.32/1062.30 c *1040s| 1663k|842978 | 0 | 0.0 |1209M|1099 | - |2053 |6762 | 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1065.42/1065.44 c 1043s| 1670k|846669 | 0 | 0.0 |1214M|1099 | - |2053 |6134 | 0 | 0 | 0 |1422k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1070.92/1070.93 c 1048s| 1680k|852481 | 0 | 0.0 |1222M|1099 | - |2053 |6143 | 0 | 0 | 0 |1429k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1076.72/1076.70 c 1054s| 1690k|858080 | 0 | 0.0 |1230M|1099 | - |2053 |6665 | 0 | 0 | 0 |1435k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1082.62/1082.67 c 1060s| 1700k|863499 | 0 | 0.0 |1238M|1099 | - |2053 |6340 | 0 | 0 | 0 |1442k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1088.22/1088.24 c 1065s| 1710k|869190 | 0 | 0.0 |1246M|1099 | - |2053 |6760 | 0 | 0 | 0 |1448k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1094.12/1094.16 c 1071s| 1720k|874480 | 0 | 0.0 |1254M|1099 | - |2053 |6570 | 0 | 0 | 0 |1455k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1099.72/1099.74 c 1077s| 1730k|880031 | 0 | 0.0 |1262M|1099 | - |2053 |6968 | 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1105.72/1105.75 c 1082s| 1740k|885129 | 0 | 0.0 |1270M|1099 | - |2053 |6469 | 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1111.42/1111.41 c 1088s| 1750k|890509 | 0 | 0.0 |1278M|1099 | - |2053 |7217 | 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1117.32/1117.35 c 1094s| 1760k|895620 | 0 | 0.0 |1286M|1099 | - |2053 |7448 | 0 | 0 | 0 |1484k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1123.42/1123.46 c 1100s| 1770k|900539 | 0 | 0.0 |1294M|1099 | - |2053 |7410 | 0 | 0 | 0 |1491k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1129.42/1129.40 c 1106s| 1780k|905667 | 0 | 0.0 |1301M|1099 | - |2053 |7449 | 0 | 0 | 0 |1498k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1136.02/1136.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1136.02/1136.08 c 1112s| 1790k|909999 | 0 | 0.0 |1310M|1099 | - |2053 |7546 | 0 | 0 | 0 |1507k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1142.02/1142.04 c 1118s| 1800k|915056 | 0 | 0.0 |1317M|1099 | - |2053 |7951 | 0 | 0 | 0 |1514k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1148.73/1148.76 c 1124s| 1810k|919348 | 0 | 0.0 |1325M|1099 | - |2053 |7400 | 0 | 0 | 0 |1523k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1155.12/1155.17 c 1131s| 1820k|923922 | 0 | 0.0 |1333M|1099 | - |2053 |7862 | 0 | 0 | 0 |1531k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1161.63/1161.65 c 1137s| 1830k|928516 | 0 | 0.0 |1341M|1099 | - |2053 |8082 | 0 | 0 | 0 |1539k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1168.72/1168.75 c 1144s| 1840k|932439 | 0 | 0.0 |1349M|1099 | - |2053 |8028 | 0 | 0 | 0 |1549k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1175.42/1175.43 c 1151s| 1850k|936798 | 0 | 0.0 |1356M|1099 | - |2053 |8121 | 0 | 0 | 0 |1557k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1182.33/1182.34 c 1157s| 1860k|940851 | 0 | 0.0 |1364M|1099 | - |2053 |7343 | 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1189.92/1189.97 c 1165s| 1870k|944154 | 0 | 0.0 |1372M|1099 | - |2053 |8538 | 0 | 0 | 0 |1576k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1197.03/1197.00 c 1172s| 1880k|948107 | 0 | 0.0 |1380M|1099 | - |2053 |8019 | 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1204.62/1204.62 c 1179s| 1890k|951454 | 0 | 0.0 |1388M|1099 | - |2053 |8748 | 0 | 0 | 0 |1595k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1211.83/1211.82 c 1186s| 1900k|955163 | 0 | 0.0 |1395M|1099 | - |2053 |8335 | 0 | 0 | 0 |1604k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1219.73/1219.71 c 1194s| 1910k|958250 | 0 | 0.0 |1404M|1099 | - |2053 |8653 | 0 | 0 | 0 |1615k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1227.23/1227.24 c 1201s| 1920k|961601 | 0 | 0.0 |1411M|1099 | - |2053 |8549 | 0 | 0 | 0 |1625k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1235.13/1235.17 c 1209s| 1930k|964738 | 0 | 0.0 |1419M|1099 | - |2053 |8506 | 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1243.73/1243.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1243.73/1243.75 c 1217s| 1940k|967088 | 0 | 0.0 |1426M|1099 | - |2053 |8737 | 0 | 0 | 0 |1646k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1251.83/1251.84 c 1225s| 1950k|970073 | 0 | 0.0 |1435M|1099 | - |2053 |8730 | 0 | 0 | 0 |1658k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1260.93/1260.90 c 1234s| 1960k|971957 | 0 | 0.0 |1441M|1099 | - |2053 |9050 | 0 | 0 | 0 |1670k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1269.52/1269.53 c 1243s| 1970k|974477 | 0 | 0.0 |1449M|1099 | - |2053 |9518 | 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1278.53/1278.51 c 1252s| 1980k|976641 | 0 | 0.0 |1456M|1099 | - |2053 |9890 | 0 | 0 | 0 |1694k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1287.92/1287.93 c 1261s| 1990k|978242 | 0 | 0.0 |1462M|1099 | - |2053 |9424 | 0 | 0 | 0 |1706k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1297.02/1297.03 c 1270s| 2000k|980116 | 0 | 0.0 |1469M|1099 | - |2053 | 10k| 0 | 0 | 0 |1719k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1306.52/1306.54 c 1279s| 2010k|981850 | 0 | 0.0 |1475M|1099 | - |2053 | 10k| 0 | 0 | 0 |1733k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1316.23/1316.28 c 1289s| 2020k|983339 | 0 | 0.0 |1481M|1099 | - |2053 | 10k| 0 | 0 | 0 |1747k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1326.93/1326.93 c 1299s| 2030k|983916 | 0 | 0.0 |1486M|1099 | - |2053 | 10k| 0 | 0 | 0 |1763k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1338.12/1338.10 c 1310s| 2040k|984046 | 0 | 0.0 |1492M|1099 | - |2053 | 12k| 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1350.03/1350.03 c 1322s| 2050k|984023 | 0 | 0.0 |1496M|1099 | - |2053 | 13k| 0 | 0 | 0 |1796k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1363.63/1363.69 c 1335s| 2060k|982857 | 0 | 0.0 |1499M|1099 | - |2053 | 12k| 0 | 0 | 0 |1816k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1378.34/1378.36 c 1350s| 2070k|980126 | 0 | 0.0 |1500M|1099 | - |2053 | 14k| 0 | 0 | 0 |1838k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1388.24/1388.23 c 1359s| 2080k|982255 | 0 | 0.0 |1501M|1099 | - |2053 |9306 | 0 | 0 | 0 |1851k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1393.03/1393.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1393.03/1393.04 c 1364s| 2090k|989300 | 0 | 0.0 |1509M|1099 | - |2053 |7012 | 0 | 0 | 0 |1856k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1397.23/1397.28 c 1368s| 2100k|996568 | 0 | 0.0 |1517M|1099 | - |2053 |7314 | 0 | 0 | 0 |1861k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1401.93/1401.94 c 1373s| 2110k| 1003k| 0 | 0.0 |1525M|1099 | - |2053 |7816 | 0 | 0 | 0 |1867k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1406.63/1406.61 c 1377s| 2120k| 1010k| 0 | 0.0 |1533M|1099 | - |2053 |8035 | 0 | 0 | 0 |1872k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1411.63/1411.61 c 1382s| 2130k| 1016k| 0 | 0.0 |1541M|1099 | - |2053 |8399 | 0 | 0 | 0 |1878k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1416.74/1416.71 c 1387s| 2140k| 1022k| 0 | 0.0 |1549M|1099 | - |2053 |8982 | 0 | 0 | 0 |1884k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1422.03/1422.09 c 1392s| 2150k| 1029k| 0 | 0.0 |1558M|1099 | - |2053 |9652 | 0 | 0 | 0 |1891k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1427.53/1427.58 c 1398s| 2160k| 1035k| 0 | 0.0 |1566M|1099 | - |2053 |9181 | 0 | 0 | 0 |1897k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1433.23/1433.27 c 1403s| 2170k| 1040k| 0 | 0.0 |1575M|1099 | - |2053 |9716 | 0 | 0 | 0 |1905k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1439.23/1439.25 c 1409s| 2180k| 1046k| 0 | 0.0 |1583M|1099 | - |2053 |9822 | 0 | 0 | 0 |1912k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1445.03/1445.09 c 1415s| 2190k| 1051k| 0 | 0.0 |1591M|1099 | - |2053 |9751 | 0 | 0 | 0 |1919k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1451.33/1451.31 c 1421s| 2200k| 1057k| 0 | 0.0 |1599M|1099 | - |2053 | 10k| 0 | 0 | 0 |1926k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1457.93/1457.90 c 1427s| 2210k| 1061k| 0 | 0.0 |1607M|1099 | - |2053 | 10k| 0 | 0 | 0 |1935k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1464.73/1464.75 c 1434s| 2220k| 1066k| 0 | 0.0 |1615M|1099 | - |2053 | 10k| 0 | 0 | 0 |1943k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1471.23/1471.27 c 1440s| 2230k| 1071k| 0 | 0.0 |1623M|1099 | - |2053 | 10k| 0 | 0 | 0 |1951k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
1473.03/1473.02 o 21
1473.03/1473.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1473.03/1473.02 c *1442s| 2232k| 1069k| 0 | 0.0 |1606M|1099 | - |2053 | 10k| 0 | 0 | 0 |1954k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1478.34/1478.32 c 1447s| 2240k| 1072k| 0 | 0.0 |1612M|1099 | - |2053 |9562 | 0 | 0 | 0 |1961k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1485.13/1485.19 c 1454s| 2250k| 1076k| 0 | 0.0 |1620M|1099 | - |2053 |9597 | 0 | 0 | 0 |1970k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1492.53/1492.58 c 1461s| 2260k| 1080k| 0 | 0.0 |1627M|1099 | - |2053 | 10k| 0 | 0 | 0 |1979k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1500.54/1500.51 c 1469s| 2270k| 1084k| 0 | 0.0 |1636M|1099 | - |2053 | 11k| 0 | 0 | 0 |1990k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1507.93/1507.95 c 1476s| 2280k| 1088k| 0 | 0.0 |1644M|1099 | - |2053 | 11k| 0 | 0 | 0 |2000k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1516.13/1516.12 c 1484s| 2290k| 1091k| 0 | 0.0 |1651M|1099 | - |2053 | 11k| 0 | 0 | 0 |2010k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1524.73/1524.71 c 1493s| 2300k| 1094k| 0 | 0.0 |1660M|1099 | - |2053 | 12k| 0 | 0 | 0 |2022k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1532.94/1532.93 c 1501s| 2310k| 1098k| 0 | 0.0 |1668M|1099 | - |2053 | 12k| 0 | 0 | 0 |2033k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1541.83/1541.81 c 1510s| 2320k| 1101k| 0 | 0.0 |1674M|1099 | - |2053 | 10k| 0 | 0 | 0 |2044k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1550.63/1550.64 c 1518s| 2330k| 1103k| 0 | 0.0 |1682M|1099 | - |2053 | 11k| 0 | 0 | 0 |2056k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1559.13/1559.12 c 1527s| 2340k| 1107k| 0 | 0.0 |1690M|1099 | - |2053 | 12k| 0 | 0 | 0 |2068k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1568.34/1568.31 c 1536s| 2350k| 1109k| 0 | 0.0 |1698M|1099 | - |2053 | 13k| 0 | 0 | 0 |2080k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1578.44/1578.46 c 1546s| 2360k| 1111k| 0 | 0.0 |1704M|1099 | - |2053 | 14k| 0 | 0 | 0 |2093k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1588.94/1588.99 c 1556s| 2370k| 1113k| 0 | 0.0 |1711M|1099 | - |2053 | 14k| 0 | 0 | 0 |2107k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1600.74/1600.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1600.74/1600.72 c 1568s| 2380k| 1114k| 0 | 0.0 |1717M|1099 | - |2053 | 14k| 0 | 0 | 0 |2122k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1613.83/1613.85 c 1581s| 2390k| 1114k| 0 | 0.0 |1722M|1099 | - |2053 | 16k| 0 | 0 | 0 |2140k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1628.94/1629.00 c 1596s| 2400k| 1113k| 0 | 0.0 |1726M|1099 | - |2053 | 20k| 0 | 0 | 0 |2159k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1648.24/1648.25 c 1615s| 2410k| 1109k| 0 | 0.0 |1728M|1099 | - |2053 | 24k| 0 | 0 | 0 |2181k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1660.24/1660.20 c 1626s| 2420k| 1111k| 0 | 0.0 |1725M|1099 | - |2053 |9769 | 0 | 0 | 0 |2193k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1665.03/1665.07 c 1631s| 2430k| 1118k| 0 | 0.0 |1733M|1099 | - |2053 |9531 | 0 | 0 | 0 |2198k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1669.74/1669.77 c 1636s| 2440k| 1125k| 0 | 0.0 |1741M|1099 | - |2053 |9804 | 0 | 0 | 0 |2204k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1674.94/1674.99 c 1641s| 2450k| 1132k| 0 | 0.0 |1750M|1099 | - |2053 |9874 | 0 | 0 | 0 |2209k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1680.34/1680.38 c 1646s| 2460k| 1139k| 0 | 0.0 |1758M|1099 | - |2053 | 10k| 0 | 0 | 0 |2215k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1685.94/1685.96 c 1651s| 2470k| 1145k| 0 | 0.0 |1767M|1099 | - |2053 | 10k| 0 | 0 | 0 |2222k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1691.84/1691.86 c 1657s| 2480k| 1151k| 0 | 0.0 |1775M|1099 | - |2053 | 11k| 0 | 0 | 0 |2228k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1697.83/1697.87 c 1663s| 2490k| 1157k| 0 | 0.0 |1783M|1099 | - |2053 | 11k| 0 | 0 | 0 |2235k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1704.34/1704.31 c 1669s| 2500k| 1162k| 0 | 0.0 |1791M|1099 | - |2053 | 11k| 0 | 0 | 0 |2243k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1710.73/1710.73 c 1676s| 2510k| 1168k| 0 | 0.0 |1799M|1099 | - |2053 | 11k| 0 | 0 | 0 |2250k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1716.94/1716.91 c 1682s| 2520k| 1174k| 0 | 0.0 |1808M|1099 | - |2053 | 12k| 0 | 0 | 0 |2257k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1723.54/1723.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1723.54/1723.60 c 1688s| 2530k| 1179k| 0 | 0.0 |1816M|1099 | - |2053 | 12k| 0 | 0 | 0 |2265k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1730.74/1730.77 c 1695s| 2540k| 1184k| 0 | 0.0 |1824M|1099 | - |2053 | 13k| 0 | 0 | 0 |2274k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1737.74/1737.76 c 1702s| 2550k| 1189k| 0 | 0.0 |1832M|1099 | - |2053 | 13k| 0 | 0 | 0 |2282k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1745.23/1745.27 c 1709s| 2560k| 1193k| 0 | 0.0 |1840M|1099 | - |2053 | 13k| 0 | 0 | 0 |2291k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1752.94/1752.94 c 1717s| 2570k| 1198k| 0 | 0.0 |1848M|1099 | - |2053 | 14k| 0 | 0 | 0 |2300k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1760.73/1760.74 c 1725s| 2580k| 1203k| 0 | 0.0 |1855M|1099 | - |2053 | 13k| 0 | 0 | 0 |2309k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1768.44/1768.48 c 1732s| 2590k| 1207k| 0 | 0.0 |1863M|1099 | - |2053 | 14k| 0 | 0 | 0 |2319k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1776.94/1776.97 c 1741s| 2600k| 1211k| 0 | 0.0 |1871M|1099 | - |2053 | 15k| 0 | 0 | 0 |2329k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1785.24/1785.30 c 1749s| 2610k| 1215k| 0 | 0.0 |1879M|1099 | - |2053 | 14k| 0 | 0 | 0 |2339k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1794.54/1794.52 c 1758s| 2620k| 1219k| 0 | 0.0 |1887M|1099 | - |2053 | 15k| 0 | 0 | 0 |2350k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1763.21
1800.05/1800.00 c Solving Nodes : 2625539
1800.05/1800.00 c Primal Bound : +2.10000000000000e+01 (17 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.02 s SATISFIABLE
1800.05/1800.02 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210
1800.05/1800.02 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189
1800.05/1800.02 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.05/1800.02 v -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147
1800.05/1800.02 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.05/1800.02 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105
1800.05/1800.02 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81
1800.05/1800.02 v -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 -x55
1800.05/1800.02 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 -x30
1800.05/1800.02 v -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 -x4 -x3
1800.05/1800.02 v -x2 x1
1800.05/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.02 c Solving Time : 1763.21
1800.05/1800.02 c Original Problem :
1800.05/1800.02 c Problem name : HOME/instance-2694030-1277900958.wbo
1800.05/1800.02 c Variables : 2153 (1192 binary, 0 integer, 0 implicit integer, 961 continuous)
1800.05/1800.02 c Constraints : 3669 initial, 3669 maximal
1800.05/1800.02 c Presolved Problem :
1800.05/1800.02 c Problem name : t_HOME/instance-2694030-1277900958.wbo
1800.05/1800.02 c Variables : 2053 (1142 binary, 0 integer, 0 implicit integer, 911 continuous)
1800.05/1800.02 c Constraints : 3512 initial, 27643 maximal
1800.05/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.02 c trivial : 0.00 50 0 0 0 0 0 0 0
1800.05/1800.02 c dualfix : 0.00 50 0 0 0 0 0 0 0
1800.05/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.02 c indicator : 0.00 0 0 0 0 0 50 0 0
1800.05/1800.02 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c linear : 0.06 0 0 0 961 0 107 50 0
1800.05/1800.02 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.02 c root node : - 543 - - 1086 - - - -
1800.05/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.02 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.02 c indicator : 911 0 6627649 0 1813162 1996 10793670 0 0 0
1800.05/1800.02 c knapsack : 1 0 8570607 0 2126315 198389 26029183 0 0 0
1800.05/1800.02 c setppc : 15 0 8427702 0 2126771 138060 6171648 0 0 0
1800.05/1800.02 c linear : 911 0 8291084 0 2127209 152146 9237291 0 0 0
1800.05/1800.02 c logicor : 1674+ 0 6082289 0 2127219 272630 15919736 0 0 0
1800.05/1800.02 c bounddisjunction : 0+ 0 78731 0 0 0 378 0 0 0
1800.05/1800.02 c countsols : 0 0 0 0 2127219 0 0 0 0 0
1800.05/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.02 c indicator : 50.93 0.00 27.53 0.00 23.40
1800.05/1800.02 c knapsack : 89.71 0.00 85.25 0.00 4.46
1800.05/1800.02 c setppc : 33.46 0.00 28.92 0.00 4.54
1800.05/1800.02 c linear : 139.42 0.00 137.77 0.00 1.65
1800.05/1800.02 c logicor : 499.91 0.00 393.74 0.00 106.17
1800.05/1800.02 c bounddisjunction : 0.10 0.00 0.10 0.00 0.00
1800.05/1800.02 c countsols : 0.45 0.00 0.00 0.00 0.45
1800.05/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.02 c vbounds : 1.99 2 0 0
1800.05/1800.02 c rootredcost : 1.65 0 0 0
1800.05/1800.02 c pseudoobj : 193.67 8650712 21250 10673168
1800.05/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.02 c propagation : 26.77 782475 782455 3562708 20.0 187550 9.7 -
1800.05/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.02 c pseudo solution : 0.04 241 241 997 15.5 180 8.8 -
1800.05/1800.02 c applied globally : - - - 2356365 17.5 - - -
1800.05/1800.02 c applied locally : - - - 8 126.6 - - -
1800.05/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.02 c redcost : 0.00 0 0 0 0 0
1800.05/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.02 c intobj : 0.00 0 0 0 0 0
1800.05/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.02 c gomory : 0.00 0 0 0 0 0
1800.05/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.02 c cmir : 0.00 0 0 0 0 0
1800.05/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.02 c clique : 0.00 0 0 0 0 0
1800.05/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.02 c mcf : 0.00 0 0 0 0 0
1800.05/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.02 c Pricers : Time Calls Vars
1800.05/1800.02 c problem variables: 0.00 0 0
1800.05/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.02 c inference : 63.53 2127202 0 0 0 0 4254404
1800.05/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.02 c random : 0.00 0 0 0 0 0 0
1800.05/1800.02 c Primal Heuristics : Time Calls Found
1800.05/1800.02 c LP solutions : 0.00 - 0
1800.05/1800.02 c pseudo solutions : 0.12 - 17
1800.05/1800.02 c oneopt : 1.00 0 0
1800.05/1800.02 c trivial : 0.00 2 0
1800.05/1800.02 c simplerounding : 0.00 0 0
1800.05/1800.02 c zirounding : 0.00 0 0
1800.05/1800.02 c rounding : 0.00 0 0
1800.05/1800.02 c shifting : 0.00 0 0
1800.05/1800.02 c intshifting : 0.00 0 0
1800.05/1800.02 c twoopt : 0.00 0 0
1800.05/1800.02 c fixandinfer : 0.00 0 0
1800.05/1800.02 c feaspump : 0.00 0 0
1800.05/1800.02 c coefdiving : 0.00 0 0
1800.05/1800.02 c pscostdiving : 0.00 0 0
1800.05/1800.02 c fracdiving : 0.00 0 0
1800.05/1800.02 c veclendiving : 0.00 0 0
1800.05/1800.02 c intdiving : 0.00 0 0
1800.05/1800.02 c actconsdiving : 0.00 0 0
1800.05/1800.02 c objpscostdiving : 0.00 0 0
1800.05/1800.02 c rootsoldiving : 0.00 0 0
1800.05/1800.02 c linesearchdiving : 0.00 0 0
1800.05/1800.02 c guideddiving : 0.00 0 0
1800.05/1800.02 c octane : 0.00 0 0
1800.05/1800.02 c rens : 0.00 0 0
1800.05/1800.02 c rins : 0.00 0 0
1800.05/1800.02 c localbranching : 0.00 0 0
1800.05/1800.02 c mutation : 0.00 0 0
1800.05/1800.02 c crossover : 0.00 0 0
1800.05/1800.02 c dins : 0.00 0 0
1800.05/1800.02 c undercover : 0.00 0 0
1800.05/1800.02 c nlp : 0.65 0 0
1800.05/1800.02 c trysol : 0.46 1 0
1800.05/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.02 c (at root node) : - 0 0 0.00 -
1800.05/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.02 c B&B Tree :
1800.05/1800.02 c number of runs : 1
1800.05/1800.02 c nodes : 2625539
1800.05/1800.02 c nodes (total) : 2625539
1800.05/1800.02 c nodes left : 1220765
1800.05/1800.02 c max depth : 1099
1800.05/1800.02 c max depth (total): 1099
1800.05/1800.02 c backtracks : 480757 (18.3%)
1800.05/1800.02 c delayed cutoffs : 366276
1800.05/1800.02 c repropagations : 1818383 (22755300 domain reductions, 286392 cutoffs)
1800.05/1800.02 c avg switch length: 27.98
1800.05/1800.02 c switching time : 514.02
1800.05/1800.02 c Solution :
1800.05/1800.02 c Solutions found : 17 (17 improvements)
1800.05/1800.02 c First Solution : +3.14000000000000e+02 (in run 1, after 23677 nodes, 7.54 seconds, depth 413, found by <relaxation>)
1800.05/1800.02 c Primal Bound : +2.10000000000000e+01 (in run 1, after 2232602 nodes, 1442.18 seconds, depth 151, found by <relaxation>)
1800.05/1800.02 c Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Gap : infinite
1800.05/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.02 c Root Iterations : 0
OK 20
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694030-1277900958/watcher-2694030-1277900958 -o /tmp/evaluation-result-2694030-1277900958/solver-2694030-1277900958 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694030-1277900958.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.02 2.01 2.00 3/178 13762 /proc/meminfo: memFree=31154520/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=8304 CPUtime=0 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 1558 0 0 0 0 0 0 0 25 0 1 0 131390963 8503296 1480 4089446400 4194304 7136930 140734747524000 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13762/statm: 2076 1480 275 719 0 1355 0 [startup+0.0636761 s] /proc/loadavg: 2.02 2.01 2.00 3/178 13762 /proc/meminfo: memFree=31154520/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=21308 CPUtime=0.05 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 5500 0 0 0 5 0 0 0 25 0 1 0 131390963 21819392 4554 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 5327 4554 348 719 0 4606 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 21308 [startup+0.100668 s] /proc/loadavg: 2.02 2.01 2.00 3/178 13762 /proc/meminfo: memFree=31154520/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=23204 CPUtime=0.09 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 8292 0 0 0 8 1 0 0 25 0 1 0 131390963 23760896 5033 4089446400 4194304 7136930 140734747524000 18446744073709551615 4361616 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 5801 5033 368 719 0 5080 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23204 [startup+0.300634 s] /proc/loadavg: 2.02 2.01 2.00 3/178 13762 /proc/meminfo: memFree=31154520/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=24308 CPUtime=0.29 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 9102 0 0 0 28 1 0 0 25 0 1 0 131390963 24891392 5329 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 6077 5329 399 719 0 5356 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24308 [startup+0.700564 s] /proc/loadavg: 2.02 2.01 2.00 3/178 13762 /proc/meminfo: memFree=31154520/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=26392 CPUtime=0.69 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 9653 0 0 0 66 3 0 0 25 0 1 0 131390963 27025408 5880 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 6598 5880 404 719 0 5877 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26392 [startup+1.50042 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13763 /proc/meminfo: memFree=31131572/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=27288 CPUtime=1.49 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 9894 0 0 0 144 5 0 0 25 0 1 0 131390963 27942912 6121 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 6822 6121 404 719 0 6101 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27288 [startup+3.10113 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13763 /proc/meminfo: memFree=31128356/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=32888 CPUtime=3.09 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 11298 0 0 0 299 10 0 0 25 0 1 0 131390963 33677312 7525 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 8222 7525 404 719 0 7501 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32888 [startup+6.30057 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13763 /proc/meminfo: memFree=31118260/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=43400 CPUtime=6.29 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 13929 0 0 0 611 18 0 0 25 0 1 0 131390963 44441600 10156 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 10850 10156 404 719 0 10129 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43400 [startup+12.7004 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13764 /proc/meminfo: memFree=31094336/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=67192 CPUtime=12.7 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 19685 0 0 0 1230 40 0 0 25 0 1 0 131390963 68804608 15912 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 16798 15912 407 719 0 16077 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 67192 [startup+25.5011 s] /proc/loadavg: 2.01 2.01 2.00 3/179 13764 /proc/meminfo: memFree=31063136/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=95892 CPUtime=25.5 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 26962 0 0 0 2471 79 0 0 25 0 1 0 131390963 98193408 23189 4089446400 4194304 7136930 140734747524000 18446744073709551615 4925448 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 23973 23189 407 719 0 23252 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 95892 [startup+51.1005 s] /proc/loadavg: 2.01 2.00 2.00 3/179 13764 /proc/meminfo: memFree=31025844/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=134908 CPUtime=51.1 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 36176 0 0 0 4978 132 0 0 25 0 1 0 131390963 138145792 32403 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 33727 32403 407 719 0 33006 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 134908 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13766 /proc/meminfo: memFree=30881080/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=284944 CPUtime=102.3 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 71092 0 0 0 9942 288 0 0 25 0 1 0 131390963 291782656 67319 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 71236 67319 407 719 0 70515 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 284944 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13771 /proc/meminfo: memFree=30793212/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=374068 CPUtime=162.3 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 92516 0 0 0 15804 426 0 0 25 0 1 0 131390963 383045632 88743 4089446400 4194304 7136930 140734747524000 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 93517 88743 407 719 0 92796 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 374068 [startup+222.301 s] /proc/loadavg: 2.06 2.02 2.00 3/179 13772 /proc/meminfo: memFree=30743520/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=422780 CPUtime=222.3 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 104534 0 0 0 21701 529 0 0 25 0 1 0 131390963 432926720 100761 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 105695 100761 407 719 0 104974 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 422780 [startup+282.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13773 /proc/meminfo: memFree=30683208/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=488272 CPUtime=282.3 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 119719 0 0 0 27575 655 0 0 25 0 1 0 131390963 499990528 115946 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 122068 115946 407 719 0 121347 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 488272 [startup+342.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 13775 /proc/meminfo: memFree=30574404/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=602712 CPUtime=342.3 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 146191 0 0 0 33435 795 0 0 25 0 1 0 131390963 617177088 142418 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 150678 142418 407 719 0 149957 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 602712 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13777 /proc/meminfo: memFree=30459900/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=727776 CPUtime=402.3 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 175045 0 0 0 39288 942 0 0 25 0 1 0 131390963 745242624 171272 4089446400 4194304 7136930 140734747524000 18446744073709551615 5000143 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 181944 171272 407 719 0 181223 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 727776 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13779 /proc/meminfo: memFree=30262804/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=959252 CPUtime=462.3 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 224219 0 0 0 45138 1092 0 0 25 0 1 0 131390963 982274048 220446 4089446400 4194304 7136930 140734747524000 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 239813 220446 407 719 0 239092 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 959252 [startup+522.301 s] /proc/loadavg: 2.04 2.01 2.00 3/179 13780 /proc/meminfo: memFree=30094372/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=1152468 CPUtime=522.3 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 266286 0 0 0 50998 1232 0 0 25 0 1 0 131390963 1180127232 262513 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 288117 262513 407 719 0 287396 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1152468 [startup+582.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 13781 /proc/meminfo: memFree=29989784/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=1253312 CPUtime=582.3 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 291145 0 0 0 56852 1378 0 0 25 0 1 0 131390963 1283391488 287372 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 313328 287372 407 719 0 312607 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1253312 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13783 /proc/meminfo: memFree=29916944/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=1326240 CPUtime=642.32 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 309205 0 0 0 62728 1504 0 0 25 0 1 0 131390963 1358069760 305432 4089446400 4194304 7136930 140734747524000 18446744073709551615 4854288 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 331560 305432 407 719 0 330839 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1326240 [startup+702.301 s] ################ # More data... # ################ /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 356819 0 0 0 98175 2057 0 0 25 0 1 0 131390963 1554464768 353046 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 379508 353046 407 719 0 378787 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1518032 [startup+1062.3 s] /proc/loadavg: 2.06 2.02 2.00 3/179 13795 /proc/meminfo: memFree=29648936/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=1591352 CPUtime=1062.32 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 373762 0 0 0 104004 2228 0 0 25 0 1 0 131390963 1629544448 369989 4089446400 4194304 7136930 140734747524000 18446744073709551615 4670225 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 397838 369989 407 719 0 397117 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1591352 [startup+1122.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13796 /proc/meminfo: memFree=29602124/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=1638228 CPUtime=1122.32 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 385074 0 0 0 109859 2373 0 0 25 0 1 0 131390963 1677545472 381301 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 409557 381301 407 719 0 408836 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1638228 [startup+1182.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 13797 /proc/meminfo: memFree=29535976/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=1706784 CPUtime=1182.33 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 401747 0 0 0 115725 2508 0 0 25 0 1 0 131390963 1747746816 397974 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 426696 397974 407 719 0 425975 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1706784 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13799 /proc/meminfo: memFree=29484212/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=1758880 CPUtime=1242.32 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 414695 0 0 0 121602 2630 0 0 25 0 1 0 131390963 1801093120 410922 4089446400 4194304 7136930 140734747524000 18446744073709551615 4210355 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 439720 410922 407 719 0 438999 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1758880 [startup+1302.3 s] /proc/loadavg: 1.93 1.98 1.99 3/179 13829 /proc/meminfo: memFree=29595452/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=1793620 CPUtime=1302.33 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 423424 0 0 0 127493 2740 0 0 25 0 1 0 131390963 1836666880 419651 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 448405 419651 407 719 0 447684 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1793620 [startup+1362.3 s] /proc/loadavg: 2.06 2.01 2.00 3/179 13831 /proc/meminfo: memFree=29568576/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=1835640 CPUtime=1362.33 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 430156 0 0 0 133399 2834 0 0 25 0 1 0 131390963 1879695360 426383 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 458910 426383 407 719 0 458189 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1835640 [startup+1422.31 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13832 /proc/meminfo: memFree=29515432/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=1886332 CPUtime=1422.34 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 443175 0 0 0 139269 2965 0 0 25 0 1 0 131390963 1931603968 439402 4089446400 4194304 7136930 140734747524000 18446744073709551615 6123181 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 471583 439402 407 719 0 470862 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1886332 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13833 /proc/meminfo: memFree=29444460/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=1958316 CPUtime=1482.33 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 461085 0 0 0 145128 3105 0 0 25 0 1 0 131390963 2005315584 457312 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 489579 457312 407 719 0 488858 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1958316 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13835 /proc/meminfo: memFree=29385760/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=2015880 CPUtime=1542.33 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 475401 0 0 0 151012 3221 0 0 25 0 1 0 131390963 2064261120 471628 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 503970 471628 407 719 0 503249 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 2015880 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13837 /proc/meminfo: memFree=29344544/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=2062912 CPUtime=1602.33 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 485735 0 0 0 156916 3317 0 0 25 0 1 0 131390963 2112421888 481962 4089446400 4194304 7136930 140734747524000 18446744073709551615 5956121 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 515728 481962 407 719 0 515007 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2062912 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13839 /proc/meminfo: memFree=29322564/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=2088032 CPUtime=1662.33 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 491247 0 0 0 162838 3395 0 0 25 0 1 0 131390963 2138144768 487474 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 522008 487474 407 719 0 521287 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2088032 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13840 /proc/meminfo: memFree=29238936/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=2174732 CPUtime=1722.34 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 512168 0 0 0 168701 3533 0 0 25 0 1 0 131390963 2226925568 508395 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 543683 508395 407 719 0 542962 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2174732 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 13886 /proc/meminfo: memFree=28979580/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=2242216 CPUtime=1782.34 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 529039 0 0 0 174580 3654 0 0 25 0 1 0 131390963 2296029184 525266 4089446400 4194304 7136930 140734747524000 18446744073709551615 4431718 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 560554 525266 407 719 0 559833 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2242216 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/197 13887 /proc/meminfo: memFree=28951784/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=2263968 CPUtime=1800.05 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 533371 0 0 0 176323 3682 0 0 25 0 1 0 131390963 2318303232 529598 4089446400 4194304 7136930 140734747524000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/13762/statm: 565992 529598 407 719 0 565271 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2263968 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -13762 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/198 13888 /proc/meminfo: memFree=28951404/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=2263968 CPUtime=1801.44 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 533376 0 0 0 176462 3682 0 0 25 0 1 0 131390963 2318303232 529603 4089446400 4194304 7136930 140734747524000 18446744073709551615 4212575 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13762/statm: 565992 529603 412 719 0 565271 0 Current children cumulated CPU time (s) 1801.44 Current children cumulated vsize (KiB) 2263968 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/198 13888 /proc/meminfo: memFree=28950908/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=2262944 CPUtime=1801.85 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 533376 0 0 0 176503 3682 0 0 25 0 1 0 131390963 2317254656 529347 4089446400 4194304 7136930 140734747524000 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13762/statm: 565736 529347 412 719 0 565015 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 2262944 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/198 13888 /proc/meminfo: memFree=28950908/32951124 swapFree=67111528/67111528 [pid=13762] ppid=13760 vsize=2262428 CPUtime=1802.04 /proc/13762/stat : 13762 (pbscip.linux.x8) R 13760 13762 12955 0 -1 4202496 533376 0 0 0 176522 3682 0 0 25 0 1 0 131390963 2316726272 529218 4089446400 4194304 7136930 140734747524000 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13762/statm: 565607 529218 412 719 0 564886 0 Current children cumulated CPU time (s) 1802.04 Current children cumulated vsize (KiB) 2262428 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.08 CPU time (s): 1802.13 CPU user time (s): 1765.23 CPU system time (s): 36.8934 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2263968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1765.23 system time used= 36.8934 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 533376 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= 1068 runsolver used 2.95355 second user time and 6.47902 second system time The end
Begin job on node145 at 2010-06-30 14:29:18 IDJOB=2694030 IDBENCH=78886 IDSOLVER=1206 FILE ID=node145/2694030-1277900958 PBS_JOBID= 11197171 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/tsp/normalized-t3002.11tsp11.1900584106--soft-66-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-2694030-1277900958/watcher-2694030-1277900958 -o /tmp/evaluation-result-2694030-1277900958/solver-2694030-1277900958 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694030-1277900958.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= af1f4aa986dfaf7d995a788abb35be25 RANDOM SEED=410909996 node145.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.851 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.70 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.851 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.851 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.851 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.75 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.851 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.851 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.67 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.851 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.851 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31155048 kB Buffers: 185916 kB Cached: 1266516 kB SwapCached: 0 kB Active: 685764 kB Inactive: 968348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31155048 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3136 kB Writeback: 0 kB AnonPages: 201376 kB Mapped: 17120 kB Slab: 79564 kB PageTables: 5008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 351756 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 node145 at 2010-06-30 14:59:20