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.08 | 1802.06 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670167--soft-66-100-0.wbo |
| MD5SUM | 3458f76d1c0eafd16754e96da618f7a2 |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 303.96 |
| 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 | 925 |
| 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 | 46664 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46663 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 707 |
| 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-2694067-1277903626.wbo>
0.01/0.02 c original problem has 2081 variables (1156 bin, 0 int, 0 impl, 925 cont) and 3633 constraints
0.01/0.02 c problem read
0.01/0.02 c presolving settings loaded
0.01/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.01/0.04 c presolving:
0.01/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1143 impls, 14 clqs
0.01/0.07 c (round 2) 0 del vars, 113 del conss, 925 chg bounds, 45 chg sides, 0 chg coeffs, 0 upgd conss, 1143 impls, 14 clqs
0.01/0.08 c (round 3) 45 del vars, 158 del conss, 925 chg bounds, 45 chg sides, 0 chg coeffs, 1715 upgd conss, 1143 impls, 14 clqs
0.01/0.09 c (round 4) 90 del vars, 158 del conss, 925 chg bounds, 45 chg sides, 0 chg coeffs, 1715 upgd conss, 1143 impls, 14 clqs
0.09/0.14 c (0.1s) probing: 101/1111 (9.1%) - 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 90 deleted vars, 158 deleted constraints, 925 tightened bounds, 0 added holes, 45 changed sides, 0 changed coefficients
0.09/0.14 c 1143 implications, 14 cliques
0.09/0.14 c presolved problem has 1991 variables (1111 bin, 0 int, 0 impl, 880 cont) and 3475 constraints
0.09/0.14 c 880 constraints of type <indicator>
0.09/0.14 c 1 constraints of type <knapsack>
0.09/0.14 c 14 constraints of type <setppc>
0.09/0.14 c 880 constraints of type <linear>
0.09/0.14 c 1700 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.09
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 | - |7620k| 0 | - |1991 |3475 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.37 o 333
1.29/1.37 c * 1.2s| 5307 | 4542 | 0 | 0.0 | 10M|1068 | - |1991 |4003 | 0 | 0 | 0 | 822 | 0 | 0.000000e+00 | 3.330000e+02 | Inf
1.49/1.50 o 282
1.49/1.50 c * 1.3s| 5848 | 4955 | 0 | 0.0 | 10M|1068 | - |1991 |4001 | 0 | 0 | 0 | 851 | 0 | 0.000000e+00 | 2.820000e+02 | Inf
2.49/2.56 c 2.2s| 10000 | 8433 | 0 | 0.0 | 13M|1068 | - |1991 |4534 | 0 | 0 | 0 |2674 | 0 | 0.000000e+00 | 2.820000e+02 | Inf
5.69/5.73 c 5.2s| 20000 | 15741 | 0 | 0.0 | 21M|1068 | - |1991 |5433 | 0 | 0 | 0 |9777 | 0 | 0.000000e+00 | 2.820000e+02 | Inf
9.50/9.58 o 256
9.50/9.58 c * 8.7s| 29946 | 22240 | 0 | 0.0 | 27M|1068 | - |1991 |6038 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 2.560000e+02 | Inf
9.59/9.60 c 8.7s| 30000 | 22294 | 0 | 0.0 | 27M|1068 | - |1991 |6014 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 2.560000e+02 | Inf
9.59/9.61 o 255
9.59/9.61 c * 8.7s| 30032 | 22319 | 0 | 0.0 | 28M|1068 | - |1991 |6014 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 2.550000e+02 | Inf
9.59/9.61 o 193
9.59/9.61 c * 8.7s| 30034 | 22113 | 0 | 0.0 | 27M|1068 | - |1991 |6014 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.930000e+02 | Inf
9.79/9.81 o 189
9.79/9.81 c * 8.9s| 30730 | 22752 | 0 | 0.0 | 28M|1068 | - |1991 |5937 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.890000e+02 | Inf
9.79/9.88 o 187
9.79/9.88 c * 9.0s| 30954 | 22952 | 0 | 0.0 | 28M|1068 | - |1991 |5949 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.870000e+02 | Inf
9.79/9.90 o 186
9.79/9.90 c * 9.0s| 31015 | 23007 | 0 | 0.0 | 28M|1068 | - |1991 |5941 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
9.99/10.05 o 135
9.99/10.05 c * 9.1s| 31467 | 22469 | 0 | 0.0 | 28M|1068 | - |1991 |5930 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.350000e+02 | Inf
11.39/11.41 o 118
11.39/11.41 c *10.3s| 35532 | 25575 | 0 | 0.0 | 31M|1068 | - |1991 |5075 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
11.39/11.41 o 74
11.39/11.41 c *10.3s| 35533 | 23160 | 0 | 0.0 | 30M|1068 | - |1991 |5075 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
12.69/12.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.69/12.75 c 11.5s| 40000 | 27149 | 0 | 0.0 | 36M|1068 | - |1991 |5114 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
15.59/15.69 c 14.2s| 50000 | 35506 | 0 | 0.0 | 46M|1068 | - |1991 |5965 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
18.79/18.82 c 17.0s| 60000 | 43040 | 0 | 0.0 | 53M|1068 | - |1991 |7688 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
22.19/22.23 c 20.1s| 70000 | 50266 | 0 | 0.0 | 61M|1068 | - |1991 |8139 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
25.89/25.97 c 23.6s| 80000 | 57028 | 0 | 0.0 | 68M|1068 | - |1991 |8290 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
29.99/30.02 c 27.3s| 90000 | 63364 | 0 | 0.0 | 76M|1068 | - |1991 |9224 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
34.39/34.41 c 31.4s|100000 | 69277 | 0 | 0.0 | 83M|1068 | - |1991 |9587 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
39.29/39.30 c 35.9s|110000 | 74749 | 0 | 0.0 | 91M|1068 | - |1991 | 10k| 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
44.59/44.69 c 40.9s|120000 | 79660 | 0 | 0.0 | 99M|1068 | - |1991 | 11k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
50.60/50.69 c 46.5s|130000 | 83876 | 0 | 0.0 | 106M|1068 | - |1991 | 11k| 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
57.49/57.59 c 53.1s|140000 | 87267 | 0 | 0.0 | 115M|1068 | - |1991 | 14k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
66.49/66.58 o 70
66.49/66.58 c *62.0s|148731 | 89118 | 0 | 0.0 | 121M|1068 | - |1991 | 13k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
67.10/67.19 c 62.6s|150000 | 90290 | 0 | 0.0 | 121M|1068 | - |1991 | 11k| 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 7.000000e+01 | Inf
70.30/70.39 o 59
70.30/70.39 c *65.7s|157247 | 95920 | 0 | 0.0 | 127M|1068 | - |1991 |5236 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
71.39/71.50 c 66.8s|160000 | 98324 | 0 | 0.0 | 129M|1068 | - |1991 |5278 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 5.900000e+01 | Inf
73.29/73.35 o 30
73.29/73.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.29/73.35 c *68.6s|164478 | 97736 | 0 | 0.0 | 124M|1068 | - |1991 |5693 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
75.99/76.02 c 71.2s|170000 |101759 | 0 | 0.0 | 131M|1068 | - |1991 |6344 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
81.00/81.01 c 76.0s|180000 |108834 | 0 | 0.0 | 141M|1068 | - |1991 |5758 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
83.69/83.70 o 29
83.69/83.70 c *78.6s|186852 |114117 | 0 | 0.0 | 147M|1068 | - |1991 |6804 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
85.29/85.32 c 80.2s|190000 |116189 | 0 | 0.0 | 151M|1068 | - |1991 |7574 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
89.00/89.01 o 26
89.00/89.01 c *83.8s|197761 |118149 | 0 | 0.0 | 145M|1068 | - |1991 |6384 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
89.79/89.86 c 84.6s|200000 |119905 | 0 | 0.0 | 147M|1068 | - |1991 |6613 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 2.600000e+01 | Inf
90.89/90.94 o 25
90.89/90.94 c *85.6s|202461 |121698 | 0 | 0.0 | 149M|1068 | - |1991 |7111 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
94.69/94.74 c 89.3s|210000 |126731 | 0 | 0.0 | 155M|1068 | - |1991 |7079 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
98.90/98.92 c 93.4s|220000 |134198 | 0 | 0.0 | 163M|1068 | - |1991 |9328 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
103.00/103.08 o 21
103.00/103.08 c *97.4s|229984 |141507 | 0 | 0.0 | 168M|1068 | - |1991 |7549 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
103.00/103.09 c 97.4s|230000 |141523 | 0 | 0.0 | 168M|1068 | - |1991 |7544 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
107.29/107.35 c 102s|240000 |149170 | 0 | 0.0 | 175M|1068 | - |1991 |8421 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
112.10/112.17 c 106s|250000 |156090 | 0 | 0.0 | 183M|1068 | - |1991 |9256 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
117.39/117.47 c 111s|260000 |162408 | 0 | 0.0 | 190M|1068 | - |1991 |9293 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
120.99/121.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.99/121.07 c 115s|270000 |170730 | 0 | 0.0 | 197M|1068 | - |1991 |8752 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
125.30/125.37 c 119s|280000 |178034 | 0 | 0.0 | 204M|1068 | - |1991 | 10k| 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
130.29/130.34 c 124s|290000 |184794 | 0 | 0.0 | 210M|1068 | - |1991 |9253 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
135.30/135.34 c 129s|300000 |191343 | 0 | 0.0 | 217M|1068 | - |1991 |9114 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
140.09/140.12 c 133s|310000 |198244 | 0 | 0.0 | 223M|1068 | - |1991 |6104 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
144.50/144.51 c 138s|320000 |205099 | 0 | 0.0 | 231M|1068 | - |1991 |6843 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
149.20/149.28 c 142s|330000 |211465 | 0 | 0.0 | 238M|1068 | - |1991 |7322 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
154.69/154.75 c 148s|340000 |216996 | 0 | 0.0 | 245M|1068 | - |1991 |8267 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
161.00/161.02 c 154s|350000 |221778 | 0 | 0.0 | 252M|1068 | - |1991 |8549 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
167.10/167.15 c 160s|360000 |226653 | 0 | 0.0 | 260M|1068 | - |1991 |9487 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
173.79/173.80 c 166s|370000 |231111 | 0 | 0.0 | 267M|1068 | - |1991 |9730 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
180.99/181.08 c 174s|380000 |234769 | 0 | 0.0 | 274M|1068 | - |1991 |9807 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
188.10/188.19 c 180s|390000 |238660 | 0 | 0.0 | 281M|1068 | - |1991 | 10k| 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
195.70/195.75 c 188s|400000 |242214 | 0 | 0.0 | 288M|1068 | - |1991 | 11k| 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
203.50/203.55 c 196s|410000 |245634 | 0 | 0.0 | 295M|1068 | - |1991 | 11k| 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
211.89/211.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.89/211.96 c 204s|420000 |248483 | 0 | 0.0 | 302M|1068 | - |1991 | 11k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
220.89/220.94 c 213s|430000 |250757 | 0 | 0.0 | 308M|1068 | - |1991 | 12k| 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
229.80/229.83 c 221s|440000 |253345 | 0 | 0.0 | 315M|1068 | - |1991 | 12k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
238.60/238.65 c 230s|450000 |255956 | 0 | 0.0 | 321M|1068 | - |1991 | 12k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
247.59/247.63 c 239s|460000 |258418 | 0 | 0.0 | 328M|1068 | - |1991 | 13k| 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
257.19/257.20 c 248s|470000 |260483 | 0 | 0.0 | 333M|1068 | - |1991 | 11k| 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
266.69/266.71 c 258s|480000 |262562 | 0 | 0.0 | 340M|1068 | - |1991 | 13k| 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
276.49/276.50 c 267s|490000 |264882 | 0 | 0.0 | 347M|1068 | - |1991 | 14k| 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
286.10/286.16 c 277s|500000 |266739 | 0 | 0.0 | 353M|1068 | - |1991 | 14k| 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
295.60/295.63 c 286s|510000 |268365 | 0 | 0.0 | 358M|1068 | - |1991 | 15k| 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
305.70/305.73 c 295s|520000 |269654 | 0 | 0.0 | 364M|1068 | - |1991 | 16k| 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
316.69/316.73 c 306s|530000 |270648 | 0 | 0.0 | 370M|1068 | - |1991 | 18k| 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
329.79/329.84 c 318s|540000 |270233 | 0 | 0.0 | 375M|1068 | - |1991 | 21k| 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
346.29/346.33 c 334s|550000 |268409 | 0 | 0.0 | 377M|1068 | - |1991 | 23k| 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
354.69/354.70 c 342s|560000 |273767 | 0 | 0.0 | 377M|1068 | - |1991 |7088 | 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
357.79/357.84 o 16
357.79/357.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
357.79/357.84 c * 345s|567967 |278733 | 0 | 0.0 | 380M|1068 | - |1991 |6232 | 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
358.60/358.65 c 346s|570000 |280285 | 0 | 0.0 | 382M|1068 | - |1991 |5916 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
362.39/362.40 c 349s|580000 |287755 | 0 | 0.0 | 389M|1068 | - |1991 |6835 | 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
366.50/366.54 c 353s|590000 |294806 | 0 | 0.0 | 397M|1068 | - |1991 |7496 | 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
371.29/371.32 c 357s|600000 |301221 | 0 | 0.0 | 405M|1068 | - |1991 |8473 | 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
376.49/376.58 c 362s|610000 |307212 | 0 | 0.0 | 414M|1068 | - |1991 |9552 | 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
382.39/382.45 c 368s|620000 |312785 | 0 | 0.0 | 422M|1068 | - |1991 | 10k| 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
388.59/388.65 c 373s|630000 |318082 | 0 | 0.0 | 432M|1068 | - |1991 | 11k| 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
395.49/395.59 c 380s|640000 |322741 | 0 | 0.0 | 440M|1068 | - |1991 | 11k| 0 | 0 | 0 | 746k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
403.20/403.20 c 387s|650000 |326741 | 0 | 0.0 | 449M|1068 | - |1991 | 13k| 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
411.89/411.99 c 395s|660000 |329719 | 0 | 0.0 | 458M|1068 | - |1991 | 14k| 0 | 0 | 0 | 778k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
415.29/415.35 o 15
415.29/415.35 c * 398s|663367 |329435 | 0 | 0.0 | 458M|1068 | - |1991 | 15k| 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
424.00/424.04 c 407s|670000 |328761 | 0 | 0.0 | 461M|1068 | - |1991 | 17k| 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
428.70/428.75 c 411s|680000 |336631 | 0 | 0.0 | 472M|1068 | - |1991 |9748 | 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
433.09/433.10 c 415s|690000 |344158 | 0 | 0.0 | 486M|1068 | - |1991 |9975 | 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
437.70/437.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
437.70/437.77 c 419s|700000 |351403 | 0 | 0.0 | 500M|1068 | - |1991 | 10k| 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
438.99/439.04 o 10
438.99/439.04 c * 420s|702627 |350856 | 0 | 0.0 | 497M|1068 | - |1991 | 10k| 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
442.80/442.88 c 424s|710000 |355885 | 0 | 0.0 | 511M|1068 | - |1991 | 11k| 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
448.29/448.33 c 429s|720000 |362282 | 0 | 0.0 | 523M|1068 | - |1991 |6939 | 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
453.20/453.28 c 433s|730000 |367623 | 0 | 0.0 | 531M|1068 | - |1991 |8310 | 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
458.90/459.00 c 439s|740000 |372138 | 0 | 0.0 | 539M|1068 | - |1991 |9207 | 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
465.59/465.63 c 445s|750000 |375277 | 0 | 0.0 | 545M|1068 | - |1991 |9795 | 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
473.79/473.81 c 452s|760000 |376517 | 0 | 0.0 | 550M|1068 | - |1991 |9298 | 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
477.09/477.17 c 455s|770000 |384312 | 0 | 0.0 | 556M|1068 | - |1991 |6988 | 0 | 0 | 0 | 873k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
480.49/480.58 c 458s|780000 |391904 | 0 | 0.0 | 562M|1068 | - |1991 |7746 | 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
484.30/484.35 c 462s|790000 |399001 | 0 | 0.0 | 569M|1068 | - |1991 |8565 | 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
488.49/488.52 c 465s|800000 |405656 | 0 | 0.0 | 576M|1068 | - |1991 |9177 | 0 | 0 | 0 | 886k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
493.30/493.39 o 6
493.30/493.39 c * 470s|809554 |408421 | 0 | 0.0 | 577M|1068 | - |1991 | 10k| 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
493.59/493.66 c 470s|810000 |408649 | 0 | 0.0 | 578M|1068 | - |1991 | 10k| 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
499.59/499.62 c 476s|820000 |413460 | 0 | 0.0 | 586M|1068 | - |1991 | 10k| 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
506.69/506.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
506.69/506.72 c 482s|830000 |416901 | 0 | 0.0 | 594M|1068 | - |1991 | 12k| 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
514.09/514.12 c 489s|840000 |420266 | 0 | 0.0 | 597M|1068 | - |1991 |8125 | 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
517.50/517.56 c 492s|850000 |427984 | 0 | 0.0 | 603M|1068 | - |1991 |7995 | 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
521.20/521.21 c 495s|860000 |435339 | 0 | 0.0 | 610M|1068 | - |1991 |8741 | 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
525.10/525.14 c 499s|870000 |442410 | 0 | 0.0 | 617M|1068 | - |1991 |9657 | 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
529.29/529.35 c 503s|880000 |449124 | 0 | 0.0 | 624M|1068 | - |1991 | 10k| 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
533.99/534.04 c 507s|890000 |455327 | 0 | 0.0 | 631M|1068 | - |1991 | 11k| 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
539.19/539.28 c 512s|900000 |460885 | 0 | 0.0 | 638M|1068 | - |1991 | 13k| 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
545.89/545.91 c 518s|910000 |465145 | 0 | 0.0 | 644M|1068 | - |1991 | 14k| 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
554.79/554.82 c 526s|920000 |467201 | 0 | 0.0 | 647M|1068 | - |1991 | 12k| 0 | 0 | 0 | 976k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
558.40/558.42 c 530s|930000 |474938 | 0 | 0.0 | 652M|1068 | - |1991 |7942 | 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
561.70/561.79 c 533s|940000 |482713 | 0 | 0.0 | 659M|1068 | - |1991 |7935 | 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
565.10/565.19 c 536s|950000 |490425 | 0 | 0.0 | 665M|1068 | - |1991 |8237 | 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
568.80/568.80 c 539s|960000 |497898 | 0 | 0.0 | 671M|1068 | - |1991 |8361 | 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
572.49/572.59 c 542s|970000 |505061 | 0 | 0.0 | 678M|1068 | - |1991 |8777 | 0 | 0 | 0 | 994k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
576.50/576.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
576.50/576.54 c 546s|980000 |512043 | 0 | 0.0 | 684M|1068 | - |1991 |9225 | 0 | 0 | 0 | 999k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
580.60/580.67 c 550s|990000 |518812 | 0 | 0.0 | 691M|1068 | - |1991 |9740 | 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
585.00/585.02 c 554s| 1000k|525310 | 0 | 0.0 | 698M|1068 | - |1991 | 10k| 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
589.60/589.66 c 558s| 1010k|531501 | 0 | 0.0 | 704M|1068 | - |1991 | 10k| 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
594.30/594.33 c 562s| 1020k|537606 | 0 | 0.0 | 711M|1068 | - |1991 | 10k| 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
599.30/599.38 c 567s| 1030k|543259 | 0 | 0.0 | 717M|1068 | - |1991 | 10k| 0 | 0 | 0 |1028k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
604.50/604.51 c 571s| 1040k|548817 | 0 | 0.0 | 724M|1068 | - |1991 |9965 | 0 | 0 | 0 |1035k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
610.09/610.10 c 576s| 1050k|553710 | 0 | 0.0 | 730M|1068 | - |1991 | 10k| 0 | 0 | 0 |1043k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
615.80/615.85 c 582s| 1060k|558427 | 0 | 0.0 | 736M|1068 | - |1991 | 10k| 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
621.30/621.36 c 587s| 1070k|563445 | 0 | 0.0 | 742M|1068 | - |1991 |9925 | 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
626.60/626.67 c 592s| 1080k|568612 | 0 | 0.0 | 747M|1068 | - |1991 | 10k| 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
631.60/631.68 c 596s| 1090k|574219 | 0 | 0.0 | 753M|1068 | - |1991 | 10k| 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
636.90/636.95 c 601s| 1100k|579543 | 0 | 0.0 | 759M|1068 | - |1991 | 10k| 0 | 0 | 0 |1081k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
642.31/642.34 c 606s| 1110k|584821 | 0 | 0.0 | 765M|1068 | - |1991 | 11k| 0 | 0 | 0 |1088k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
648.30/648.37 c 612s| 1120k|589303 | 0 | 0.0 | 771M|1068 | - |1991 | 12k| 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
655.90/655.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
655.90/655.97 c 619s| 1130k|592017 | 0 | 0.0 | 775M|1068 | - |1991 | 12k| 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
659.49/659.50 c 622s| 1140k|599881 | 0 | 0.0 | 781M|1068 | - |1991 |8325 | 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
662.60/662.66 o 3
662.60/662.66 c * 625s| 1149k|602959 | 0 | 0.0 | 780M|1068 | - |1991 |8357 | 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
662.90/662.96 c 625s| 1150k|603602 | 0 | 0.0 | 780M|1068 | - |1991 |8345 | 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
666.60/666.64 c 628s| 1160k|611005 | 0 | 0.0 | 787M|1068 | - |1991 |8847 | 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
670.40/670.43 c 632s| 1170k|618273 | 0 | 0.0 | 794M|1068 | - |1991 |9434 | 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
674.30/674.33 c 635s| 1180k|625397 | 0 | 0.0 | 800M|1068 | - |1991 |9552 | 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
678.40/678.43 c 639s| 1190k|632265 | 0 | 0.0 | 807M|1068 | - |1991 | 10k| 0 | 0 | 0 |1133k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
682.69/682.79 c 643s| 1200k|638879 | 0 | 0.0 | 814M|1068 | - |1991 | 10k| 0 | 0 | 0 |1139k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
687.40/687.45 c 647s| 1210k|645157 | 0 | 0.0 | 820M|1068 | - |1991 | 10k| 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
692.20/692.26 c 652s| 1220k|651264 | 0 | 0.0 | 827M|1068 | - |1991 | 11k| 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
697.40/697.46 c 656s| 1230k|656914 | 0 | 0.0 | 833M|1068 | - |1991 | 11k| 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
702.90/702.98 c 661s| 1240k|662220 | 0 | 0.0 | 840M|1068 | - |1991 | 12k| 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
709.10/709.17 c 667s| 1250k|666725 | 0 | 0.0 | 846M|1068 | - |1991 | 12k| 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
716.30/716.34 c 674s| 1260k|670037 | 0 | 0.0 | 852M|1068 | - |1991 | 13k| 0 | 0 | 0 |1185k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
725.50/725.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
725.50/725.59 c 682s| 1270k|671143 | 0 | 0.0 | 854M|1068 | - |1991 | 11k| 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
729.40/729.43 c 686s| 1280k|678603 | 0 | 0.0 | 860M|1068 | - |1991 |9337 | 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
733.40/733.47 c 690s| 1290k|685697 | 0 | 0.0 | 866M|1068 | - |1991 | 10k| 0 | 0 | 0 |1207k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
738.20/738.23 c 694s| 1300k|691879 | 0 | 0.0 | 873M|1068 | - |1991 | 11k| 0 | 0 | 0 |1213k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
743.70/743.70 c 699s| 1310k|697349 | 0 | 0.0 | 880M|1068 | - |1991 | 13k| 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
749.80/749.87 c 705s| 1320k|702018 | 0 | 0.0 | 886M|1068 | - |1991 | 14k| 0 | 0 | 0 |1228k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
758.30/758.35 c 713s| 1330k|704454 | 0 | 0.0 | 890M|1068 | - |1991 | 13k| 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
762.31/762.30 c 716s| 1340k|711911 | 0 | 0.0 | 895M|1068 | - |1991 |9942 | 0 | 0 | 0 |1243k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
766.50/766.56 c 720s| 1350k|718724 | 0 | 0.0 | 902M|1068 | - |1991 | 10k| 0 | 0 | 0 |1248k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
771.20/771.27 c 724s| 1360k|724975 | 0 | 0.0 | 908M|1068 | - |1991 | 11k| 0 | 0 | 0 |1253k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
776.30/776.34 c 729s| 1370k|730916 | 0 | 0.0 | 915M|1068 | - |1991 | 13k| 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
782.60/782.62 c 735s| 1380k|735645 | 0 | 0.0 | 921M|1068 | - |1991 | 14k| 0 | 0 | 0 |1268k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
790.30/790.33 c 742s| 1390k|739276 | 0 | 0.0 | 922M|1068 | - |1991 |5826 | 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
793.80/793.82 c 745s| 1400k|746985 | 0 | 0.0 | 929M|1068 | - |1991 |6737 | 0 | 0 | 0 |1283k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
798.51/798.53 c 750s| 1410k|752985 | 0 | 0.0 | 935M|1068 | - |1991 |6478 | 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
802.80/802.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
802.80/802.80 c 753s| 1420k|759283 | 0 | 0.0 | 941M|1068 | - |1991 |7084 | 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
806.50/806.58 c 757s| 1430k|766258 | 0 | 0.0 | 947M|1068 | - |1991 |7807 | 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
810.31/810.31 c 760s| 1440k|773410 | 0 | 0.0 | 954M|1068 | - |1991 |7815 | 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
818.01/818.00 c 767s| 1450k|775680 | 0 | 0.0 | 960M|1068 | - |1991 |9127 | 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
826.10/826.10 c 775s| 1460k|777975 | 0 | 0.0 | 966M|1068 | - |1991 |9948 | 0 | 0 | 0 |1327k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
834.81/834.81 c 783s| 1470k|779705 | 0 | 0.0 | 971M|1068 | - |1991 | 10k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
844.00/844.04 c 792s| 1480k|781236 | 0 | 0.0 | 976M|1068 | - |1991 | 12k| 0 | 0 | 0 |1351k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
854.41/854.40 c 802s| 1490k|782122 | 0 | 0.0 | 981M|1068 | - |1991 | 13k| 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
865.21/865.26 c 812s| 1500k|782726 | 0 | 0.0 | 985M|1068 | - |1991 | 13k| 0 | 0 | 0 |1377k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
876.50/876.51 c 823s| 1510k|783056 | 0 | 0.0 | 989M|1068 | - |1991 | 14k| 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
888.31/888.35 c 834s| 1520k|782842 | 0 | 0.0 | 992M|1068 | - |1991 | 14k| 0 | 0 | 0 |1404k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
900.90/900.94 c 846s| 1530k|782257 | 0 | 0.0 | 995M|1068 | - |1991 | 15k| 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
913.90/913.92 c 859s| 1540k|781704 | 0 | 0.0 | 998M|1068 | - |1991 | 15k| 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
927.21/927.26 c 872s| 1550k|781030 | 0 | 0.0 |1000M|1068 | - |1991 | 16k| 0 | 0 | 0 |1449k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
940.81/940.80 c 885s| 1560k|780156 | 0 | 0.0 |1002M|1068 | - |1991 | 16k| 0 | 0 | 0 |1465k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
955.30/955.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
955.30/955.30 c 899s| 1570k|778569 | 0 | 0.0 |1002M|1068 | - |1991 | 15k| 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
970.01/970.09 c 913s| 1580k|776986 | 0 | 0.0 |1002M|1068 | - |1991 | 16k| 0 | 0 | 0 |1498k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
985.10/985.11 c 928s| 1590k|775351 | 0 | 0.0 |1003M|1068 | - |1991 | 17k| 0 | 0 | 0 |1515k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
999.71/999.76 c 942s| 1600k|773870 | 0 | 0.0 |1003M|1068 | - |1991 | 17k| 0 | 0 | 0 |1533k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1014.31/1014.34 c 956s| 1610k|772799 | 0 | 0.0 |1005M|1068 | - |1991 | 18k| 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1030.21/1030.29 c 971s| 1620k|771015 | 0 | 0.0 |1004M|1068 | - |1991 | 19k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1046.80/1046.86 c 987s| 1630k|768881 | 0 | 0.0 |1003M|1068 | - |1991 | 20k| 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1064.21/1064.21 c 1004s| 1640k|763032 | 0 | 0.0 | 996M|1068 | - |1991 | 21k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1086.81/1086.87 c 1026s| 1650k|749189 | 0 | 0.0 | 970M|1068 | - |1991 | 26k| 0 | 0 | 0 |1634k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1101.11/1101.16 c 1040s| 1660k|746959 | 0 | 0.0 | 952M|1068 | - |1991 | 11k| 0 | 0 | 0 |1648k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1106.51/1106.54 c 1045s| 1670k|753215 | 0 | 0.0 | 958M|1068 | - |1991 |8708 | 0 | 0 | 0 |1654k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1111.71/1111.78 c 1049s| 1680k|759323 | 0 | 0.0 | 964M|1068 | - |1991 |8352 | 0 | 0 | 0 |1659k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1116.91/1116.97 c 1054s| 1690k|765346 | 0 | 0.0 | 970M|1068 | - |1991 |8148 | 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1122.80/1122.81 c 1060s| 1700k|770607 | 0 | 0.0 | 977M|1068 | - |1991 |8946 | 0 | 0 | 0 |1671k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1128.71/1128.71 c 1065s| 1710k|775896 | 0 | 0.0 | 983M|1068 | - |1991 |9282 | 0 | 0 | 0 |1678k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1134.91/1134.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1134.91/1134.92 c 1071s| 1720k|780980 | 0 | 0.0 | 990M|1068 | - |1991 |9519 | 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1141.41/1141.41 c 1077s| 1730k|785627 | 0 | 0.0 | 997M|1068 | - |1991 |9714 | 0 | 0 | 0 |1692k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1147.71/1147.73 c 1083s| 1740k|790401 | 0 | 0.0 |1003M|1068 | - |1991 |9992 | 0 | 0 | 0 |1699k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1154.11/1154.17 c 1089s| 1750k|795027 | 0 | 0.0 |1010M|1068 | - |1991 | 10k| 0 | 0 | 0 |1707k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1161.01/1161.01 c 1095s| 1760k|799252 | 0 | 0.0 |1016M|1068 | - |1991 | 10k| 0 | 0 | 0 |1714k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1168.31/1168.39 c 1102s| 1770k|803318 | 0 | 0.0 |1022M|1068 | - |1991 | 10k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1176.21/1176.26 c 1110s| 1780k|807715 | 0 | 0.0 |1028M|1068 | - |1991 | 10k| 0 | 0 | 0 |1730k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1185.21/1185.22 c 1119s| 1790k|811146 | 0 | 0.0 |1035M|1068 | - |1991 | 10k| 0 | 0 | 0 |1739k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1194.71/1194.79 c 1128s| 1800k|814253 | 0 | 0.0 |1041M|1068 | - |1991 | 11k| 0 | 0 | 0 |1749k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1205.00/1205.05 c 1138s| 1810k|816784 | 0 | 0.0 |1047M|1068 | - |1991 | 11k| 0 | 0 | 0 |1759k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1215.52/1215.55 c 1148s| 1820k|819193 | 0 | 0.0 |1052M|1068 | - |1991 | 12k| 0 | 0 | 0 |1769k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1226.70/1226.73 c 1160s| 1830k|821029 | 0 | 0.0 |1058M|1068 | - |1991 | 12k| 0 | 0 | 0 |1780k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1238.21/1238.20 c 1171s| 1840k|822731 | 0 | 0.0 |1063M|1068 | - |1991 | 12k| 0 | 0 | 0 |1792k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1250.11/1250.16 c 1183s| 1850k|824114 | 0 | 0.0 |1068M|1068 | - |1991 | 13k| 0 | 0 | 0 |1804k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1262.72/1262.76 c 1195s| 1860k|825097 | 0 | 0.0 |1073M|1068 | - |1991 | 13k| 0 | 0 | 0 |1816k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1275.81/1275.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1275.81/1275.88 c 1208s| 1870k|825787 | 0 | 0.0 |1077M|1068 | - |1991 | 14k| 0 | 0 | 0 |1829k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1289.71/1289.72 c 1222s| 1880k|826250 | 0 | 0.0 |1081M|1068 | - |1991 | 14k| 0 | 0 | 0 |1842k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1304.21/1304.25 c 1236s| 1890k|826042 | 0 | 0.0 |1084M|1068 | - |1991 | 15k| 0 | 0 | 0 |1856k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1317.11/1317.12 c 1248s| 1900k|826020 | 0 | 0.0 |1087M|1068 | - |1991 | 16k| 0 | 0 | 0 |1870k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1330.92/1330.93 c 1262s| 1910k|825240 | 0 | 0.0 |1089M|1068 | - |1991 | 16k| 0 | 0 | 0 |1886k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1346.21/1346.29 c 1276s| 1920k|823431 | 0 | 0.0 |1089M|1068 | - |1991 | 17k| 0 | 0 | 0 |1903k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1364.21/1364.20 c 1294s| 1930k|820020 | 0 | 0.0 |1087M|1068 | - |1991 | 19k| 0 | 0 | 0 |1923k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1376.12/1376.11 c 1305s| 1940k|821978 | 0 | 0.0 |1085M|1068 | - |1991 | 12k| 0 | 0 | 0 |1935k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1381.41/1381.49 c 1310s| 1950k|828481 | 0 | 0.0 |1091M|1068 | - |1991 |9280 | 0 | 0 | 0 |1940k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1386.61/1386.66 c 1315s| 1960k|834715 | 0 | 0.0 |1098M|1068 | - |1991 |8910 | 0 | 0 | 0 |1946k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1391.81/1391.85 c 1320s| 1970k|840811 | 0 | 0.0 |1105M|1068 | - |1991 |9122 | 0 | 0 | 0 |1952k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1397.31/1397.37 c 1325s| 1980k|846557 | 0 | 0.0 |1112M|1068 | - |1991 |9291 | 0 | 0 | 0 |1958k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1402.81/1402.80 c 1330s| 1990k|852337 | 0 | 0.0 |1120M|1068 | - |1991 |9494 | 0 | 0 | 0 |1965k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1408.51/1408.50 c 1335s| 2000k|857866 | 0 | 0.0 |1127M|1068 | - |1991 |9621 | 0 | 0 | 0 |1971k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1414.21/1414.25 c 1340s| 2010k|863362 | 0 | 0.0 |1134M|1068 | - |1991 | 10k| 0 | 0 | 0 |1978k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1420.21/1420.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1420.21/1420.20 c 1346s| 2020k|868579 | 0 | 0.0 |1141M|1068 | - |1991 | 10k| 0 | 0 | 0 |1985k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1425.81/1425.82 c 1351s| 2030k|874232 | 0 | 0.0 |1148M|1068 | - |1991 | 10k| 0 | 0 | 0 |1991k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1431.81/1431.82 c 1356s| 2040k|879403 | 0 | 0.0 |1155M|1068 | - |1991 | 10k| 0 | 0 | 0 |1999k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1438.02/1438.04 c 1362s| 2050k|884381 | 0 | 0.0 |1162M|1068 | - |1991 | 11k| 0 | 0 | 0 |2006k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1444.41/1444.47 c 1368s| 2060k|889259 | 0 | 0.0 |1169M|1068 | - |1991 | 11k| 0 | 0 | 0 |2014k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1450.52/1450.56 c 1374s| 2070k|894451 | 0 | 0.0 |1176M|1068 | - |1991 | 11k| 0 | 0 | 0 |2021k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1457.31/1457.34 c 1380s| 2080k|898973 | 0 | 0.0 |1182M|1068 | - |1991 | 11k| 0 | 0 | 0 |2030k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1464.61/1464.66 c 1387s| 2090k|903035 | 0 | 0.0 |1189M|1068 | - |1991 | 12k| 0 | 0 | 0 |2039k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1471.72/1471.72 c 1394s| 2100k|907706 | 0 | 0.0 |1195M|1068 | - |1991 |8746 | 0 | 0 | 0 |2047k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1478.71/1478.77 c 1400s| 2110k|911314 | 0 | 0.0 |1200M|1068 | - |1991 |6802 | 0 | 0 | 0 |2056k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1485.31/1485.36 c 1406s| 2120k|914827 | 0 | 0.0 |1205M|1068 | - |1991 |9129 | 0 | 0 | 0 |2066k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1492.51/1492.59 c 1413s| 2130k|917931 | 0 | 0.0 |1210M|1068 | - |1991 |9819 | 0 | 0 | 0 |2075k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1500.51/1500.54 c 1420s| 2140k|920461 | 0 | 0.0 |1214M|1068 | - |1991 | 10k| 0 | 0 | 0 |2086k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1508.41/1508.49 c 1428s| 2150k|923140 | 0 | 0.0 |1219M|1068 | - |1991 | 10k| 0 | 0 | 0 |2097k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1516.81/1516.84 c 1436s| 2160k|925411 | 0 | 0.0 |1223M|1068 | - |1991 | 10k| 0 | 0 | 0 |2108k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1525.91/1525.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1525.91/1525.96 c 1444s| 2170k|926982 | 0 | 0.0 |1228M|1068 | - |1991 | 12k| 0 | 0 | 0 |2121k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1536.01/1536.08 c 1454s| 2180k|927915 | 0 | 0.0 |1231M|1068 | - |1991 | 12k| 0 | 0 | 0 |2134k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1547.41/1547.45 c 1465s| 2190k|927722 | 0 | 0.0 |1233M|1068 | - |1991 | 13k| 0 | 0 | 0 |2150k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1560.20/1560.29 c 1477s| 2200k|926353 | 0 | 0.0 |1234M|1068 | - |1991 | 14k| 0 | 0 | 0 |2167k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1570.91/1570.93 c 1487s| 2210k|927083 | 0 | 0.0 |1232M|1068 | - |1991 |8455 | 0 | 0 | 0 |2180k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1575.51/1575.54 c 1491s| 2220k|933544 | 0 | 0.0 |1238M|1068 | - |1991 |8266 | 0 | 0 | 0 |2186k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1580.21/1580.25 c 1496s| 2230k|939780 | 0 | 0.0 |1245M|1068 | - |1991 |8989 | 0 | 0 | 0 |2191k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1584.91/1584.97 c 1500s| 2240k|946022 | 0 | 0.0 |1251M|1068 | - |1991 |9558 | 0 | 0 | 0 |2197k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1590.20/1590.24 c 1505s| 2250k|951743 | 0 | 0.0 |1258M|1068 | - |1991 |9857 | 0 | 0 | 0 |2203k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1595.41/1595.40 c 1509s| 2260k|957539 | 0 | 0.0 |1264M|1068 | - |1991 | 10k| 0 | 0 | 0 |2209k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1600.81/1600.86 c 1514s| 2270k|963201 | 0 | 0.0 |1270M|1068 | - |1991 | 11k| 0 | 0 | 0 |2216k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1606.31/1606.39 c 1520s| 2280k|968752 | 0 | 0.0 |1277M|1068 | - |1991 | 11k| 0 | 0 | 0 |2222k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1612.21/1612.30 c 1525s| 2290k|974001 | 0 | 0.0 |1283M|1068 | - |1991 | 11k| 0 | 0 | 0 |2230k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1618.41/1618.44 c 1531s| 2300k|979001 | 0 | 0.0 |1289M|1068 | - |1991 | 11k| 0 | 0 | 0 |2237k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1624.71/1624.78 c 1537s| 2310k|983810 | 0 | 0.0 |1294M|1068 | - |1991 | 11k| 0 | 0 | 0 |2245k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1631.21/1631.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1631.21/1631.20 c 1543s| 2320k|988550 | 0 | 0.0 |1301M|1068 | - |1991 | 12k| 0 | 0 | 0 |2253k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1638.01/1638.07 c 1549s| 2330k|992855 | 0 | 0.0 |1306M|1068 | - |1991 | 12k| 0 | 0 | 0 |2261k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1645.01/1645.01 c 1555s| 2340k|997080 | 0 | 0.0 |1312M|1068 | - |1991 | 12k| 0 | 0 | 0 |2269k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1652.21/1652.29 c 1562s| 2350k| 1000k| 0 | 0.0 |1318M|1068 | - |1991 | 13k| 0 | 0 | 0 |2279k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1659.61/1659.61 c 1569s| 2360k| 1004k| 0 | 0.0 |1323M|1068 | - |1991 | 12k| 0 | 0 | 0 |2288k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1667.01/1667.09 c 1576s| 2370k| 1008k| 0 | 0.0 |1328M|1068 | - |1991 | 13k| 0 | 0 | 0 |2297k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1675.51/1675.55 c 1584s| 2380k| 1011k| 0 | 0.0 |1333M|1068 | - |1991 | 13k| 0 | 0 | 0 |2307k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1684.51/1684.57 c 1593s| 2390k| 1013k| 0 | 0.0 |1338M|1068 | - |1991 | 14k| 0 | 0 | 0 |2319k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1693.70/1693.76 c 1601s| 2400k| 1015k| 0 | 0.0 |1343M|1068 | - |1991 | 15k| 0 | 0 | 0 |2330k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1703.60/1703.65 c 1611s| 2410k| 1017k| 0 | 0.0 |1347M|1068 | - |1991 | 14k| 0 | 0 | 0 |2342k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1714.51/1714.58 c 1621s| 2420k| 1018k| 0 | 0.0 |1352M|1068 | - |1991 | 14k| 0 | 0 | 0 |2356k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1727.20/1727.24 c 1634s| 2430k| 1017k| 0 | 0.0 |1354M|1068 | - |1991 | 16k| 0 | 0 | 0 |2371k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1741.80/1741.80 c 1648s| 2440k| 1015k| 0 | 0.0 |1350M|1068 | - |1991 | 11k| 0 | 0 | 0 |2388k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1746.30/1746.38 c 1652s| 2450k| 1022k| 0 | 0.0 |1356M|1068 | - |1991 |8672 | 0 | 0 | 0 |2393k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1751.01/1751.05 c 1656s| 2460k| 1028k| 0 | 0.0 |1362M|1068 | - |1991 |9348 | 0 | 0 | 0 |2398k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1756.01/1756.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1756.01/1756.06 c 1661s| 2470k| 1034k| 0 | 0.0 |1369M|1068 | - |1991 | 10k| 0 | 0 | 0 |2404k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1761.20/1761.23 c 1666s| 2480k| 1040k| 0 | 0.0 |1375M|1068 | - |1991 | 10k| 0 | 0 | 0 |2409k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1766.90/1766.93 c 1671s| 2490k| 1045k| 0 | 0.0 |1382M|1068 | - |1991 | 10k| 0 | 0 | 0 |2416k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1772.41/1772.50 c 1676s| 2500k| 1050k| 0 | 0.0 |1388M|1068 | - |1991 | 11k| 0 | 0 | 0 |2422k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1778.11/1778.18 c 1681s| 2510k| 1056k| 0 | 0.0 |1395M|1068 | - |1991 | 11k| 0 | 0 | 0 |2428k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1784.11/1784.17 c 1687s| 2520k| 1061k| 0 | 0.0 |1401M|1068 | - |1991 | 12k| 0 | 0 | 0 |2435k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1790.40/1790.49 c 1693s| 2530k| 1066k| 0 | 0.0 |1407M|1068 | - |1991 | 12k| 0 | 0 | 0 |2442k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1797.21/1797.25 c 1699s| 2540k| 1070k| 0 | 0.0 |1413M|1068 | - |1991 | 12k| 0 | 0 | 0 |2450k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1800.01/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.00 c
1800.01/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.00 c Solving Time (sec) : 1701.97
1800.01/1800.00 c Solving Nodes : 2544364
1800.01/1800.00 c Primal Bound : +3.00000000000000e+00 (23 solutions)
1800.01/1800.00 c Dual Bound : +0.00000000000000e+00
1800.01/1800.00 c Gap : infinite
1800.01/1800.01 s SATISFIABLE
1800.01/1800.01 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.01/1800.01 v -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.01/1800.01 v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 x168
1800.01/1800.01 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.01/1800.01 v -x146 x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.01/1800.01 v -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
1800.01/1800.01 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.01/1800.01 v -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.01/1800.01 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 -x29
1800.01/1800.01 v -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 -x2
1800.01/1800.01 v -x1
1800.01/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.01 c Solving Time : 1701.97
1800.01/1800.01 c Original Problem :
1800.01/1800.01 c Problem name : HOME/instance-2694067-1277903626.wbo
1800.01/1800.01 c Variables : 2081 (1156 binary, 0 integer, 0 implicit integer, 925 continuous)
1800.01/1800.01 c Constraints : 3633 initial, 3633 maximal
1800.01/1800.01 c Presolved Problem :
1800.01/1800.01 c Problem name : t_HOME/instance-2694067-1277903626.wbo
1800.01/1800.01 c Variables : 1991 (1111 binary, 0 integer, 0 implicit integer, 880 continuous)
1800.01/1800.01 c Constraints : 3475 initial, 31869 maximal
1800.01/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.01 c trivial : 0.00 45 0 0 0 0 0 0 0
1800.01/1800.01 c dualfix : 0.00 45 0 0 0 0 0 0 0
1800.01/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c probing : 0.04 0 0 0 0 0 0 0 0
1800.01/1800.01 c indicator : 0.00 0 0 0 0 0 45 0 0
1800.01/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c linear : 0.03 0 0 0 925 0 113 45 0
1800.01/1800.01 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.01/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.01 c root node : - 864 - - 1728 - - - -
1800.01/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c indicator : 880 0 5982218 0 1579710 160 1591806 0 0 0
1800.01/1800.01 c knapsack : 1 0 8482984 0 2019630 202166 25629117 0 0 0
1800.01/1800.01 c setppc : 14 0 8311568 0 2019275 125565 5487211 0 0 0
1800.01/1800.01 c linear : 880 0 8186916 0 2019698 153993 11406950 0 0 0
1800.01/1800.01 c logicor : 1700+ 0 6224380 0 2019721 346377 16094873 0 0 0
1800.01/1800.01 c bounddisjunction : 0+ 0 7624 0 0 0 1 0 0 0
1800.01/1800.01 c countsols : 0 0 0 0 2019714 0 0 0 0 0
1800.01/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.01 c indicator : 7.32 0.00 3.23 0.00 4.09
1800.01/1800.01 c knapsack : 94.69 0.00 91.70 0.00 2.99
1800.01/1800.01 c setppc : 26.56 0.00 23.17 0.00 3.39
1800.01/1800.01 c linear : 139.07 0.00 138.32 0.00 0.75
1800.01/1800.01 c logicor : 560.98 0.00 458.26 0.00 102.72
1800.01/1800.01 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.01 c countsols : 0.08 0.00 0.00 0.00 0.08
1800.01/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.01 c vbounds : 0.43 2 0 0
1800.01/1800.01 c rootredcost : 0.47 0 0 0
1800.01/1800.01 c pseudoobj : 150.97 8516035 1301 1560734
1800.01/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.01 c propagation : 28.87 829402 829390 3994798 21.3 181189 10.9 -
1800.01/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.01 c pseudo solution : 0.00 51 51 217 16.1 48 9.9 -
1800.01/1800.01 c applied globally : - - - 2453543 18.7 - - -
1800.01/1800.01 c applied locally : - - - 28 129.8 - - -
1800.01/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.01 c redcost : 0.00 0 0 0 0 0
1800.01/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.01 c intobj : 0.00 0 0 0 0 0
1800.01/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.01 c gomory : 0.00 0 0 0 0 0
1800.01/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.01 c cmir : 0.00 0 0 0 0 0
1800.01/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.01 c clique : 0.00 0 0 0 0 0
1800.01/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.01 c mcf : 0.00 0 0 0 0 0
1800.01/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.01 c Pricers : Time Calls Vars
1800.01/1800.01 c problem variables: 0.00 0 0
1800.01/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.01 c inference : 29.42 2019691 0 0 0 0 4039382
1800.01/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.01 c random : 0.00 0 0 0 0 0 0
1800.01/1800.01 c Primal Heuristics : Time Calls Found
1800.01/1800.01 c LP solutions : 0.00 - 0
1800.01/1800.01 c pseudo solutions : 0.11 - 23
1800.01/1800.01 c oneopt : 0.21 0 0
1800.01/1800.01 c trivial : 0.00 2 0
1800.01/1800.01 c simplerounding : 0.00 0 0
1800.01/1800.01 c zirounding : 0.00 0 0
1800.01/1800.01 c rounding : 0.00 0 0
1800.01/1800.01 c shifting : 0.00 0 0
1800.01/1800.01 c intshifting : 0.00 0 0
1800.01/1800.01 c twoopt : 0.00 0 0
1800.01/1800.01 c fixandinfer : 0.00 0 0
1800.01/1800.01 c feaspump : 0.00 0 0
1800.01/1800.01 c coefdiving : 0.00 0 0
1800.01/1800.01 c pscostdiving : 0.00 0 0
1800.01/1800.01 c fracdiving : 0.00 0 0
1800.01/1800.01 c veclendiving : 0.00 0 0
1800.01/1800.01 c intdiving : 0.00 0 0
1800.01/1800.01 c actconsdiving : 0.00 0 0
1800.01/1800.01 c objpscostdiving : 0.00 0 0
1800.01/1800.01 c rootsoldiving : 0.00 0 0
1800.01/1800.01 c linesearchdiving : 0.00 0 0
1800.01/1800.01 c guideddiving : 0.00 0 0
1800.01/1800.01 c octane : 0.00 0 0
1800.01/1800.01 c rens : 0.00 0 0
1800.01/1800.01 c rins : 0.00 0 0
1800.01/1800.01 c localbranching : 0.00 0 0
1800.01/1800.01 c mutation : 0.00 0 0
1800.01/1800.01 c crossover : 0.00 0 0
1800.01/1800.01 c dins : 0.00 0 0
1800.01/1800.01 c undercover : 0.00 0 0
1800.01/1800.01 c nlp : 0.15 0 0
1800.01/1800.01 c trysol : 0.17 1 0
1800.01/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.01 c (at root node) : - 0 0 0.00 -
1800.01/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.01 c B&B Tree :
1800.01/1800.01 c number of runs : 1
1800.01/1800.01 c nodes : 2544364
1800.01/1800.01 c nodes (total) : 2544364
1800.01/1800.01 c nodes left : 1072694
1800.01/1800.01 c max depth : 1068
1800.01/1800.01 c max depth (total): 1068
1800.01/1800.01 c backtracks : 507354 (19.9%)
1800.01/1800.01 c delayed cutoffs : 397213
1800.01/1800.01 c repropagations : 1968161 (18748236 domain reductions, 304963 cutoffs)
1800.01/1800.01 c avg switch length: 26.76
1800.01/1800.01 c switching time : 539.18
1800.01/1800.01 c Solution :
1800.01/1800.01 c Solutions found : 23 (23 improvements)
1800.01/1800.01 c First Solution : +3.33000000000000e+02 (in run 1, after 5307 nodes, 1.20 seconds, depth 699, found by <relaxation>)
1800.01/1800.01 c Primal Bound : +3.00000000000000e+00 (in run 1, after 1149164 nodes, 624.78 seconds, depth 613, found by <relaxation>)
1800.01/1800.01 c Dual Bound : +0.00000000000000e+00
1800.01/1800.01 c Gap : infinite
1800.01/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.01 c Root Iterations : 0
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694067-1277903626/watcher-2694067-1277903626 -o /tmp/evaluation-result-2694067-1277903626/solver-2694067-1277903626 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694067-1277903626.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.00 2.00 2.00 3/176 12478 /proc/meminfo: memFree=31211472/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=8160 CPUtime=0 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 1544 0 0 0 0 0 0 0 22 0 1 0 131659150 8355840 1466 4089446400 4194304 7136930 140734087185680 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12478/statm: 2040 1466 275 719 0 1319 0 [startup+0.0127481 s] /proc/loadavg: 2.00 2.00 2.00 3/176 12478 /proc/meminfo: memFree=31211472/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=9780 CPUtime=0.01 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 1937 0 0 0 1 0 0 0 22 0 1 0 131659150 10014720 1859 4089446400 4194304 7136930 140734087185680 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/12478/statm: 2445 1859 275 719 0 1724 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9780 [startup+0.100723 s] /proc/loadavg: 2.00 2.00 2.00 3/176 12478 /proc/meminfo: memFree=31211472/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=22184 CPUtime=0.09 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 8038 0 0 0 8 1 0 0 22 0 1 0 131659150 22716416 4779 4089446400 4194304 7136930 140734087185680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12478/statm: 5546 4779 368 719 0 4825 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22184 [startup+0.300697 s] /proc/loadavg: 2.00 2.00 2.00 3/176 12478 /proc/meminfo: memFree=31211472/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=24312 CPUtime=0.29 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 9103 0 0 0 26 3 0 0 22 0 1 0 131659150 24895488 5330 4089446400 4194304 7136930 140734087185680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12478/statm: 6078 5330 399 719 0 5357 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24312 [startup+0.700627 s] /proc/loadavg: 2.00 2.00 2.00 3/176 12478 /proc/meminfo: memFree=31211472/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=26408 CPUtime=0.69 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 9654 0 0 0 62 7 0 0 24 0 1 0 131659150 27041792 5881 4089446400 4194304 7136930 140734087185680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12478/statm: 6602 5881 404 719 0 5881 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26408 [startup+1.50049 s] /proc/loadavg: 2.00 2.00 2.00 5/177 12479 /proc/meminfo: memFree=31188776/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=27336 CPUtime=1.49 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 9878 0 0 0 133 16 0 0 25 0 1 0 131659150 27992064 6105 4089446400 4194304 7136930 140734087185680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12478/statm: 6834 6105 404 719 0 6113 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27336 [startup+3.10021 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12479 /proc/meminfo: memFree=31186340/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=32740 CPUtime=3.09 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 11276 0 0 0 276 33 0 0 25 0 1 0 131659150 33525760 7503 4089446400 4194304 7136930 140734087185680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12478/statm: 8185 7503 404 719 0 7464 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32740 [startup+6.30064 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12479 /proc/meminfo: memFree=31175412/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=43556 CPUtime=6.29 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 13981 0 0 0 569 60 0 0 25 0 1 0 131659150 44601344 10208 4089446400 4194304 7136930 140734087185680 18446744073709551615 4219859 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12478/statm: 10889 10208 404 719 0 10168 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43556 [startup+12.7005 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12479 /proc/meminfo: memFree=31158064/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=63864 CPUtime=12.69 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 18947 0 0 0 1150 119 0 0 25 0 1 0 131659150 65396736 15174 4089446400 4194304 7136930 140734087185680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12478/statm: 15966 15174 405 719 0 15245 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 63864 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12479 /proc/meminfo: memFree=31116160/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=102676 CPUtime=25.49 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 28532 0 0 0 2314 235 0 0 25 0 1 0 131659150 105140224 24759 4089446400 4194304 7136930 140734087185680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12478/statm: 25669 24759 405 719 0 24948 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 102676 [startup+51.1009 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12480 /proc/meminfo: memFree=31073104/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=148048 CPUtime=51.09 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 39390 0 0 0 4695 414 0 0 25 0 1 0 131659150 151601152 35617 4089446400 4194304 7136930 140734087185680 18446744073709551615 4223883 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12478/statm: 37012 35617 405 719 0 36291 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 148048 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12481 /proc/meminfo: memFree=30977336/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=247972 CPUtime=102.3 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 62952 0 0 0 9670 560 0 0 25 0 1 0 131659150 253923328 59179 4089446400 4194304 7136930 140734087185680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12478/statm: 61993 59179 405 719 0 61272 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 247972 [startup+162.301 s] /proc/loadavg: 2.04 2.01 2.00 3/177 12483 /proc/meminfo: memFree=30880832/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=346048 CPUtime=162.29 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 86535 0 0 0 15512 717 0 0 25 0 1 0 131659150 354353152 82762 4089446400 4194304 7136930 140734087185680 18446744073709551615 5001205 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12478/statm: 86512 82762 405 719 0 85791 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 346048 [startup+222.301 s] /proc/loadavg: 2.01 2.01 2.00 3/177 12485 /proc/meminfo: memFree=30815816/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=409996 CPUtime=222.29 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 102551 0 0 0 21396 833 0 0 25 0 1 0 131659150 419835904 98778 4089446400 4194304 7136930 140734087185680 18446744073709551615 4221012 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12478/statm: 102499 98778 405 719 0 101778 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 409996 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12514 /proc/meminfo: memFree=30964684/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=454652 CPUtime=282.29 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 113739 0 0 0 27293 936 0 0 25 0 1 0 131659150 465563648 109966 4089446400 4194304 7136930 140734087185680 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12478/statm: 113663 109966 405 719 0 112942 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 454652 [startup+342.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 12515 /proc/meminfo: memFree=30933508/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=484612 CPUtime=342.29 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 121150 0 0 0 33039 1190 0 0 25 0 1 0 131659150 496242688 117377 4089446400 4194304 7136930 140734087185680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12478/statm: 121153 117377 405 719 0 120432 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 484612 [startup+402.301 s] /proc/loadavg: 2.02 2.01 2.00 3/177 12517 /proc/meminfo: memFree=30849760/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=570820 CPUtime=402.29 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 142020 0 0 0 38600 1629 0 0 25 0 1 0 131659150 584519680 138247 4089446400 4194304 7136930 140734087185680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12478/statm: 142705 138247 407 719 0 141984 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 570820 [startup+462.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 12519 /proc/meminfo: memFree=30749780/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=682836 CPUtime=462.29 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 167398 0 0 0 44157 2072 0 0 25 0 1 0 131659150 699224064 163625 4089446400 4194304 7136930 140734087185680 18446744073709551615 4925465 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12478/statm: 170709 163625 407 719 0 169988 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 682836 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12521 /proc/meminfo: memFree=30682040/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=748332 CPUtime=522.3 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 184076 0 0 0 49648 2582 0 0 25 0 1 0 131659150 766291968 180303 4089446400 4194304 7136930 140734087185680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12478/statm: 187083 180303 407 719 0 186362 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 748332 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12523 /proc/meminfo: memFree=30594224/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=842868 CPUtime=582.3 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 205944 0 0 0 55111 3119 0 0 25 0 1 0 131659150 863096832 202171 4089446400 4194304 7136930 140734087185680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12478/statm: 210717 202171 407 719 0 209996 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 842868 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12523 /proc/meminfo: memFree=30515928/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=918392 CPUtime=642.31 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 225068 0 0 0 60611 3620 0 0 25 0 1 0 131659150 940433408 221295 4089446400 4194304 7136930 140734087185680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12478/statm: 229598 221295 407 719 0 228877 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 918392 [startup+702.301 s] ################ # More data... # ################ /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 285814 0 0 0 94409 5821 0 0 25 0 1 0 131659150 1186885632 282041 4089446400 4194304 7136930 140734087185680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12478/statm: 289767 282041 407 719 0 289046 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 1159068 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12535 /proc/meminfo: memFree=30269684/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=1161264 CPUtime=1062.31 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 286371 0 0 0 100204 6027 0 0 25 0 1 0 131659150 1189134336 282598 4089446400 4194304 7136930 140734087185680 18446744073709551615 4998243 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12478/statm: 290316 282598 407 719 0 289595 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1161264 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12537 /proc/meminfo: memFree=30264192/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=1168908 CPUtime=1122.31 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 287732 0 0 0 105913 6318 0 0 25 0 1 0 131659150 1196961792 283959 4089446400 4194304 7136930 140734087185680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12478/statm: 292227 283959 407 719 0 291506 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1168908 [startup+1182.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 12541 /proc/meminfo: memFree=30239064/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=1192844 CPUtime=1182.3 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 293840 0 0 0 111583 6647 0 0 25 0 1 0 131659150 1221472256 290067 4089446400 4194304 7136930 140734087185680 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12478/statm: 298211 290067 407 719 0 297490 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 1192844 [startup+1242.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 12542 /proc/meminfo: memFree=30211140/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=1221100 CPUtime=1242.31 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 300960 0 0 0 117487 6744 0 0 25 0 1 0 131659150 1250406400 297187 4089446400 4194304 7136930 140734087185680 18446744073709551615 4644801 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12478/statm: 305275 297187 407 719 0 304554 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 1221100 [startup+1302.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 12544 /proc/meminfo: memFree=30189524/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=1242120 CPUtime=1302.32 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 306196 0 0 0 123406 6826 0 0 25 0 1 0 131659150 1271930880 302423 4089446400 4194304 7136930 140734087185680 18446744073709551615 4947379 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12478/statm: 310530 302423 407 719 0 309809 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1242120 [startup+1362.3 s] /proc/loadavg: 2.07 2.04 2.01 4/195 12591 /proc/meminfo: memFree=30116656/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=1249232 CPUtime=1362.31 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 308010 0 0 0 129181 7050 0 0 25 0 1 0 131659150 1279213568 304237 4089446400 4194304 7136930 140734087185680 18446744073709551615 4209193 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12478/statm: 312308 304237 407 719 0 311587 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 1249232 [startup+1422.31 s] /proc/loadavg: 2.02 2.03 2.00 4/195 12593 /proc/meminfo: memFree=30061920/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=1306872 CPUtime=1422.31 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 321586 0 0 0 134768 7463 0 0 25 0 1 0 131659150 1338236928 317813 4089446400 4194304 7136930 140734087185680 18446744073709551615 5000109 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/12478/statm: 326718 317813 407 719 0 325997 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 1306872 [startup+1482.3 s] /proc/loadavg: 2.01 2.02 2.00 4/195 12594 /proc/meminfo: memFree=29989708/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=1378784 CPUtime=1482.31 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 339111 0 0 0 140336 7895 0 0 25 0 1 0 131659150 1411874816 335338 4089446400 4194304 7136930 140734087185680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12478/statm: 344696 335338 407 719 0 343975 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 1378784 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/195 12595 /proc/meminfo: memFree=29952332/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=1415100 CPUtime=1542.31 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 348221 0 0 0 145990 8241 0 0 25 0 1 0 131659150 1449062400 344448 4089446400 4194304 7136930 140734087185680 18446744073709551615 4209110 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12478/statm: 353775 344448 407 719 0 353054 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 1415100 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 4/195 12597 /proc/meminfo: memFree=29908880/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=1457200 CPUtime=1602.31 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 358925 0 0 0 151576 8655 0 0 25 0 1 0 131659150 1492172800 355152 4089446400 4194304 7136930 140734087185680 18446744073709551615 4221155 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12478/statm: 364300 355152 407 719 0 363579 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 1457200 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 4/195 12599 /proc/meminfo: memFree=29863320/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=1518184 CPUtime=1662.3 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 370205 0 0 0 157167 9063 0 0 25 0 1 0 131659150 1554620416 366432 4089446400 4194304 7136930 140734087185680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12478/statm: 379546 366432 407 719 0 378825 0 Current children cumulated CPU time (s) 1662.3 Current children cumulated vsize (KiB) 1518184 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 4/195 12601 /proc/meminfo: memFree=29833756/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=1547304 CPUtime=1722.31 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 377422 0 0 0 162885 9346 0 0 25 0 1 0 131659150 1584439296 373649 4089446400 4194304 7136930 140734087185680 18446744073709551615 4999678 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12478/statm: 386826 373649 407 719 0 386105 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 1547304 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 4/195 12603 /proc/meminfo: memFree=29787584/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=1592956 CPUtime=1782.31 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 388986 0 0 0 168534 9697 0 0 25 0 1 0 131659150 1631186944 385213 4089446400 4194304 7136930 140734087185680 18446744073709551615 5905720 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12478/statm: 398239 385213 407 719 0 397518 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 1592956 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.06 2.02 2.00 3/195 12603 /proc/meminfo: memFree=29766724/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=1612936 CPUtime=1800.01 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 393945 0 0 0 170199 9802 0 0 25 0 1 0 131659150 1651646464 390172 4089446400 4194304 7136930 140734087185680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/12478/statm: 403234 390172 407 719 0 402513 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1612936 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -12478 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.06 2.02 2.00 3/196 12604 /proc/meminfo: memFree=29766592/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=1612936 CPUtime=1801.41 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 393950 0 0 0 170339 9802 0 0 19 0 1 0 131659150 1651646464 390177 4089446400 4194304 7136930 140734087185680 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12478/statm: 403234 390177 412 719 0 402513 0 Current children cumulated CPU time (s) 1801.41 Current children cumulated vsize (KiB) 1612936 [startup+1801.81 s] /proc/loadavg: 2.06 2.02 2.00 3/196 12604 /proc/meminfo: memFree=29766592/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=1612936 CPUtime=1801.81 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 393950 0 0 0 170379 9802 0 0 20 0 1 0 131659150 1651646464 390177 4089446400 4194304 7136930 140734087185680 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12478/statm: 403234 390177 412 719 0 402513 0 Current children cumulated CPU time (s) 1801.81 Current children cumulated vsize (KiB) 1612936 [startup+1802 s] /proc/loadavg: 2.06 2.02 2.00 3/196 12604 /proc/meminfo: memFree=29766592/32951132 swapFree=67111528/67111528 [pid=12478] ppid=12476 vsize=1612160 CPUtime=1802.01 /proc/12478/stat : 12478 (pbscip.linux.x8) R 12476 12478 11779 0 -1 4202496 393950 0 0 0 170399 9802 0 0 21 0 1 0 131659150 1650851840 389983 4089446400 4194304 7136930 140734087185680 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/12478/statm: 403040 389983 412 719 0 402319 0 Current children cumulated CPU time (s) 1802.01 Current children cumulated vsize (KiB) 1612160 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.06 CPU time (s): 1802.08 CPU user time (s): 1704 CPU system time (s): 98.0781 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 1612936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1704 system time used= 98.0781 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 393950 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= 4 involuntary context switches= 13022 runsolver used 2.56561 second user time and 5.65414 second system time The end
Begin job on node131 at 2010-06-30 15:13:46 IDJOB=2694067 IDBENCH=78912 IDSOLVER=1206 FILE ID=node131/2694067-1277903626 PBS_JOBID= 11197184 Free space on /tmp= 74136 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.1900670167--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-2694067-1277903626/watcher-2694067-1277903626 -o /tmp/evaluation-result-2694067-1277903626/solver-2694067-1277903626 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694067-1277903626.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3458f76d1c0eafd16754e96da618f7a2 RANDOM SEED=415529619 node131.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.836 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.67 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.836 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.836 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.836 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.82 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.836 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.76 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.836 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.83 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.836 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.75 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.836 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 31212372 kB Buffers: 189528 kB Cached: 1138276 kB SwapCached: 0 kB Active: 793884 kB Inactive: 801800 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 31212372 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3148 kB Writeback: 4 kB AnonPages: 268032 kB Mapped: 17404 kB Slab: 79852 kB PageTables: 5076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 419264 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74136 MiB End job on node131 at 2010-06-30 15:43:48