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.06 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574864--soft-66-100-0.wbo |
| MD5SUM | 8675827de7240d8277488879d51bec75 |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 160.876 |
| 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 | 671 |
| 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-2694033-1277901253.wbo>
0.00/0.02 c original problem has 2081 variables (1156 bin, 0 int, 0 impl, 925 cont) and 3633 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, 1143 impls, 14 clqs
0.00/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.07/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.07/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
0.99/1.01 o 251
0.99/1.01 c * 0.8s| 3670 | 3051 | 0 | 0.0 | 10M|1068 | - |1991 |4088 | 0 | 0 | 0 | 907 | 0 | 0.000000e+00 | 2.510000e+02 | Inf
1.19/1.22 o 199
1.19/1.22 c * 1.0s| 4480 | 3843 | 0 | 0.0 | 10M|1068 | - |1991 |4069 | 0 | 0 | 0 | 945 | 0 | 0.000000e+00 | 1.990000e+02 | Inf
1.19/1.22 o 170
1.19/1.22 c * 1.0s| 4481 | 3840 | 0 | 0.0 | 10M|1068 | - |1991 |4069 | 0 | 0 | 0 | 945 | 0 | 0.000000e+00 | 1.700000e+02 | Inf
2.49/2.59 c 2.2s| 10000 | 8546 | 0 | 0.0 | 14M|1068 | - |1991 |4620 | 0 | 0 | 0 |3069 | 0 | 0.000000e+00 | 1.700000e+02 | Inf
5.69/5.74 c 5.0s| 20000 | 15871 | 0 | 0.0 | 21M|1068 | - |1991 |5333 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.700000e+02 | Inf
8.89/8.97 o 162
8.89/8.97 c * 8.0s| 27688 | 20325 | 0 | 0.0 | 28M|1068 | - |1991 |6081 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.620000e+02 | Inf
8.89/8.99 o 145
8.89/8.99 c * 8.0s| 27741 | 20303 | 0 | 0.0 | 27M|1068 | - |1991 |6090 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
9.69/9.73 c 8.7s| 30000 | 22376 | 0 | 0.0 | 30M|1068 | - |1991 |5563 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.450000e+02 | Inf
10.39/10.49 o 115
10.39/10.49 c * 9.3s| 32401 | 24433 | 0 | 0.0 | 31M|1068 | - |1991 |5244 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.150000e+02 | Inf
11.59/11.64 o 108
11.59/11.64 c *10.4s| 36169 | 27726 | 0 | 0.0 | 34M|1068 | - |1991 |5227 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.080000e+02 | Inf
11.59/11.64 o 107
11.59/11.64 c *10.4s| 36174 | 27723 | 0 | 0.0 | 34M|1068 | - |1991 |5238 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.070000e+02 | Inf
11.89/11.91 o 97
11.89/11.91 c *10.6s| 37101 | 28432 | 0 | 0.0 | 35M|1068 | - |1991 |5269 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 9.700000e+01 | Inf
11.89/11.94 o 35
11.89/11.94 c *10.6s| 37216 | 24995 | 0 | 0.0 | 31M|1068 | - |1991 |5265 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
12.79/12.88 c 11.5s| 40000 | 27145 | 0 | 0.0 | 36M|1068 | - |1991 |6157 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
15.79/15.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.79/15.80 c 14.0s| 50000 | 35256 | 0 | 0.0 | 46M|1068 | - |1991 |6441 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
18.60/18.68 c 16.6s| 60000 | 43185 | 0 | 0.0 | 53M|1068 | - |1991 |7443 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
21.69/21.74 c 19.3s| 70000 | 50871 | 0 | 0.0 | 60M|1068 | - |1991 |8021 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
24.99/25.00 c 22.2s| 80000 | 58312 | 0 | 0.0 | 67M|1068 | - |1991 |8458 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
28.49/28.51 c 25.4s| 90000 | 65231 | 0 | 0.0 | 75M|1068 | - |1991 |9034 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
32.69/32.77 c 29.3s|100000 | 70657 | 0 | 0.0 | 83M|1068 | - |1991 | 10k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
38.40/38.47 c 34.6s|110000 | 72627 | 0 | 0.0 | 90M|1068 | - |1991 | 12k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
42.80/42.85 o 27
42.80/42.85 c *38.7s|116253 | 69429 | 0 | 0.0 | 89M|1068 | - |1991 | 10k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
44.30/44.35 c 40.0s|120000 | 72566 | 0 | 0.0 | 95M|1068 | - |1991 |5441 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
46.29/46.37 o 25
46.29/46.37 c *41.8s|126145 | 77459 | 0 | 0.0 | 100M|1068 | - |1991 |6441 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
48.00/48.07 c 43.3s|130000 | 79994 | 0 | 0.0 | 105M|1068 | - |1991 |7548 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
49.40/49.44 o 16
49.40/49.44 c *44.6s|132440 | 80643 | 0 | 0.0 | 107M|1068 | - |1991 |9125 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
51.99/52.03 c 46.9s|140000 | 86926 | 0 | 0.0 | 119M|1068 | - |1991 |7309 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
56.30/56.38 c 50.8s|150000 | 93480 | 0 | 0.0 | 128M|1068 | - |1991 |8738 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
60.19/60.29 c 54.4s|160000 |100580 | 0 | 0.0 | 136M|1068 | - |1991 | 10k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
64.19/64.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.19/64.27 c 57.9s|170000 |108157 | 0 | 0.0 | 152M|1068 | - |1991 |7842 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
67.89/67.98 c 61.2s|180000 |115265 | 0 | 0.0 | 158M|1068 | - |1991 |6756 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
70.89/70.99 c 63.9s|190000 |123426 | 0 | 0.0 | 165M|1068 | - |1991 |7579 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
74.39/74.42 c 66.9s|200000 |130859 | 0 | 0.0 | 172M|1068 | - |1991 |7814 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
75.49/75.57 o 15
75.49/75.57 c *67.9s|203041 |132787 | 0 | 0.0 | 174M|1068 | - |1991 |8012 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
77.50/77.51 o 10
77.50/77.51 c *69.6s|207680 |134210 | 0 | 0.0 | 175M|1068 | - |1991 |8376 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
77.50/77.51 o 7
77.50/77.51 c *69.6s|207681 |133661 | 0 | 0.0 | 174M|1068 | - |1991 |8376 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
78.59/78.60 c 70.6s|210000 |134996 | 0 | 0.0 | 176M|1068 | - |1991 |8672 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
83.00/83.09 c 74.7s|220000 |140811 | 0 | 0.0 | 182M|1068 | - |1991 |7661 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
86.00/86.09 c 77.3s|230000 |148940 | 0 | 0.0 | 188M|1068 | - |1991 |7642 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
89.69/89.79 c 80.6s|240000 |155882 | 0 | 0.0 | 196M|1068 | - |1991 |9817 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
94.20/94.27 c 84.6s|250000 |162029 | 0 | 0.0 | 202M|1068 | - |1991 |7606 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
97.99/98.06 c 88.0s|260000 |168823 | 0 | 0.0 | 208M|1068 | - |1991 |7596 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
101.69/101.75 c 91.3s|270000 |175788 | 0 | 0.0 | 215M|1068 | - |1991 |6894 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
105.00/105.01 c 94.2s|280000 |183343 | 0 | 0.0 | 220M|1068 | - |1991 |4988 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
108.59/108.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.59/108.69 c 97.5s|290000 |190058 | 0 | 0.0 | 227M|1068 | - |1991 |6069 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
112.40/112.49 c 101s|300000 |196715 | 0 | 0.0 | 234M|1068 | - |1991 |6459 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
116.39/116.48 c 105s|310000 |203068 | 0 | 0.0 | 241M|1068 | - |1991 |6699 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
120.40/120.44 c 108s|320000 |209446 | 0 | 0.0 | 248M|1068 | - |1991 |7419 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
124.59/124.65 c 112s|330000 |215490 | 0 | 0.0 | 255M|1068 | - |1991 |7735 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
129.10/129.18 c 116s|340000 |221136 | 0 | 0.0 | 262M|1068 | - |1991 |8655 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
133.69/133.74 c 120s|350000 |226900 | 0 | 0.0 | 269M|1068 | - |1991 |8859 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
138.39/138.46 c 125s|360000 |232418 | 0 | 0.0 | 276M|1068 | - |1991 |9137 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
143.20/143.27 c 129s|370000 |237829 | 0 | 0.0 | 283M|1068 | - |1991 |9155 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
148.10/148.11 c 133s|380000 |243126 | 0 | 0.0 | 290M|1068 | - |1991 |9470 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
153.00/153.04 c 138s|390000 |248275 | 0 | 0.0 | 296M|1068 | - |1991 |9746 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
157.70/157.79 c 142s|400000 |253742 | 0 | 0.0 | 303M|1068 | - |1991 |9254 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
162.70/162.79 c 147s|410000 |258823 | 0 | 0.0 | 309M|1068 | - |1991 |9902 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
167.90/167.97 c 152s|420000 |263788 | 0 | 0.0 | 316M|1068 | - |1991 | 10k| 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
173.40/173.43 c 157s|430000 |268647 | 0 | 0.0 | 322M|1068 | - |1991 | 10k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
178.80/178.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.80/178.80 c 162s|440000 |273640 | 0 | 0.0 | 329M|1068 | - |1991 | 11k| 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
184.50/184.53 c 167s|450000 |278163 | 0 | 0.0 | 335M|1068 | - |1991 | 11k| 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
191.20/191.28 c 173s|460000 |281476 | 0 | 0.0 | 342M|1068 | - |1991 | 12k| 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
197.69/197.78 c 179s|470000 |285303 | 0 | 0.0 | 348M|1068 | - |1991 | 12k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
204.40/204.42 c 185s|480000 |289032 | 0 | 0.0 | 353M|1068 | - |1991 | 13k| 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
212.00/212.01 c 193s|490000 |291758 | 0 | 0.0 | 359M|1068 | - |1991 | 14k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
220.80/220.89 c 201s|500000 |293199 | 0 | 0.0 | 364M|1068 | - |1991 | 15k| 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
230.60/230.65 c 210s|510000 |293764 | 0 | 0.0 | 367M|1068 | - |1991 | 16k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
240.10/240.13 c 219s|520000 |294553 | 0 | 0.0 | 366M|1068 | - |1991 |9723 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
243.40/243.42 c 222s|530000 |302457 | 0 | 0.0 | 370M|1068 | - |1991 |4929 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
246.70/246.75 c 225s|540000 |309966 | 0 | 0.0 | 377M|1068 | - |1991 |5273 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
250.20/250.21 c 228s|550000 |317198 | 0 | 0.0 | 384M|1068 | - |1991 |5731 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
253.80/253.89 c 232s|560000 |324111 | 0 | 0.0 | 391M|1068 | - |1991 |6101 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
257.70/257.74 c 235s|570000 |330875 | 0 | 0.0 | 398M|1068 | - |1991 |6600 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
261.81/261.82 c 239s|580000 |337234 | 0 | 0.0 | 406M|1068 | - |1991 |6972 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
266.60/266.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
266.60/266.69 c 243s|590000 |342636 | 0 | 0.0 | 414M|1068 | - |1991 |8383 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
272.30/272.35 c 248s|600000 |347120 | 0 | 0.0 | 422M|1068 | - |1991 |9575 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
278.60/278.63 c 254s|610000 |350975 | 0 | 0.0 | 429M|1068 | - |1991 | 11k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
285.50/285.60 c 260s|620000 |354500 | 0 | 0.0 | 433M|1068 | - |1991 |6874 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
288.70/288.77 c 263s|630000 |362330 | 0 | 0.0 | 439M|1068 | - |1991 |6203 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
291.90/291.96 c 266s|640000 |370022 | 0 | 0.0 | 446M|1068 | - |1991 |6843 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
295.41/295.42 c 269s|650000 |377322 | 0 | 0.0 | 452M|1068 | - |1991 |7663 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
299.50/299.54 c 273s|660000 |383806 | 0 | 0.0 | 460M|1068 | - |1991 |8812 | 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
304.30/304.35 c 277s|670000 |389516 | 0 | 0.0 | 468M|1068 | - |1991 | 10k| 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
309.80/309.87 c 282s|680000 |394540 | 0 | 0.0 | 475M|1068 | - |1991 | 11k| 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
316.10/316.13 c 288s|690000 |398892 | 0 | 0.0 | 483M|1068 | - |1991 | 13k| 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
323.90/323.94 c 295s|700000 |401907 | 0 | 0.0 | 490M|1068 | - |1991 | 16k| 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
330.01/330.07 c 301s|710000 |407440 | 0 | 0.0 | 493M|1068 | - |1991 |8178 | 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
333.21/333.25 c 304s|720000 |415338 | 0 | 0.0 | 499M|1068 | - |1991 |7975 | 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
336.61/336.64 c 307s|730000 |422885 | 0 | 0.0 | 506M|1068 | - |1991 |8485 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
340.40/340.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.40/340.41 c 310s|740000 |429942 | 0 | 0.0 | 513M|1068 | - |1991 |9779 | 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
344.50/344.52 c 314s|750000 |436593 | 0 | 0.0 | 520M|1068 | - |1991 | 11k| 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
349.51/349.51 c 318s|760000 |442349 | 0 | 0.0 | 527M|1068 | - |1991 | 12k| 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
355.90/355.91 c 324s|770000 |446857 | 0 | 0.0 | 535M|1068 | - |1991 | 15k| 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
364.61/364.61 c 333s|780000 |449503 | 0 | 0.0 | 542M|1068 | - |1991 | 17k| 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
370.31/370.37 c 338s|790000 |455634 | 0 | 0.0 | 547M|1068 | - |1991 | 12k| 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
374.01/374.03 c 341s|800000 |463502 | 0 | 0.0 | 553M|1068 | - |1991 | 11k| 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
378.01/378.02 c 345s|810000 |470819 | 0 | 0.0 | 560M|1068 | - |1991 | 11k| 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
382.31/382.30 c 349s|820000 |477742 | 0 | 0.0 | 568M|1068 | - |1991 | 13k| 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
387.21/387.23 c 353s|830000 |484080 | 0 | 0.0 | 576M|1068 | - |1991 | 14k| 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
392.50/392.58 c 358s|840000 |489945 | 0 | 0.0 | 584M|1068 | - |1991 | 12k| 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
398.60/398.65 c 364s|850000 |494744 | 0 | 0.0 | 592M|1068 | - |1991 | 16k| 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
407.51/407.57 c 372s|860000 |497470 | 0 | 0.0 | 599M|1068 | - |1991 | 20k| 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
414.91/414.91 c 379s|870000 |502870 | 0 | 0.0 | 605M|1068 | - |1991 | 18k| 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
419.01/419.03 c 382s|880000 |510924 | 0 | 0.0 | 612M|1068 | - |1991 | 15k| 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
422.91/422.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
422.91/422.94 c 386s|890000 |518837 | 0 | 0.0 | 620M|1068 | - |1991 | 14k| 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
426.81/426.87 c 389s|900000 |526675 | 0 | 0.0 | 629M|1068 | - |1991 | 14k| 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
431.01/431.02 c 393s|910000 |534279 | 0 | 0.0 | 637M|1068 | - |1991 | 15k| 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
435.21/435.25 c 397s|920000 |541793 | 0 | 0.0 | 646M|1068 | - |1991 | 15k| 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
439.61/439.69 c 401s|930000 |549110 | 0 | 0.0 | 655M|1068 | - |1991 | 16k| 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
444.51/444.57 c 406s|940000 |556054 | 0 | 0.0 | 665M|1068 | - |1991 | 17k| 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
449.61/449.65 c 410s|950000 |562944 | 0 | 0.0 | 674M|1068 | - |1991 | 18k| 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
455.21/455.26 c 415s|960000 |569381 | 0 | 0.0 | 684M|1068 | - |1991 | 19k| 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
460.92/460.96 c 421s|970000 |576032 | 0 | 0.0 | 694M|1068 | - |1991 | 20k| 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
467.61/467.61 c 427s|980000 |582039 | 0 | 0.0 | 704M|1068 | - |1991 | 22k| 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
474.51/474.50 c 433s|990000 |587821 | 0 | 0.0 | 707M|1068 | - |1991 |9861 | 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
479.31/479.38 c 438s| 1000k|593571 | 0 | 0.0 | 714M|1068 | - |1991 | 11k| 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
484.61/484.66 c 442s| 1010k|599092 | 0 | 0.0 | 720M|1068 | - |1991 | 11k| 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
490.01/490.08 c 447s| 1020k|604406 | 0 | 0.0 | 726M|1068 | - |1991 | 12k| 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
495.72/495.72 c 453s| 1030k|609525 | 0 | 0.0 | 732M|1068 | - |1991 | 11k| 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
495.91/495.98 o 4
495.91/495.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
495.91/495.98 c * 453s| 1030k|603901 | 0 | 0.0 | 725M|1068 | - |1991 | 12k| 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
501.51/501.56 c 458s| 1040k|608976 | 0 | 0.0 | 732M|1068 | - |1991 | 12k| 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
507.31/507.39 c 463s| 1050k|614074 | 0 | 0.0 | 738M|1068 | - |1991 | 12k| 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
512.82/512.80 c 468s| 1060k|619518 | 0 | 0.0 | 745M|1068 | - |1991 | 12k| 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
518.51/518.55 c 474s| 1070k|624657 | 0 | 0.0 | 751M|1068 | - |1991 | 13k| 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
524.82/524.84 c 479s| 1080k|629135 | 0 | 0.0 | 758M|1068 | - |1991 | 15k| 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
532.61/532.67 c 487s| 1090k|632116 | 0 | 0.0 | 764M|1068 | - |1991 | 17k| 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
537.92/537.98 c 492s| 1100k|638404 | 0 | 0.0 | 766M|1068 | - |1991 |9101 | 0 | 0 | 0 | 817k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
541.22/541.24 c 494s| 1110k|646282 | 0 | 0.0 | 773M|1068 | - |1991 |9152 | 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
544.61/544.60 c 497s| 1120k|654004 | 0 | 0.0 | 779M|1068 | - |1991 |9408 | 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
548.02/548.06 c 501s| 1130k|661513 | 0 | 0.0 | 785M|1068 | - |1991 |9841 | 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
551.61/551.61 c 504s| 1140k|668892 | 0 | 0.0 | 792M|1068 | - |1991 | 10k| 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
555.21/555.24 c 507s| 1150k|676139 | 0 | 0.0 | 798M|1068 | - |1991 | 11k| 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
559.02/559.09 c 510s| 1160k|683138 | 0 | 0.0 | 805M|1068 | - |1991 | 11k| 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
562.91/562.97 c 514s| 1170k|690154 | 0 | 0.0 | 811M|1068 | - |1991 | 11k| 0 | 0 | 0 | 845k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
567.11/567.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.11/567.13 c 518s| 1180k|696839 | 0 | 0.0 | 818M|1068 | - |1991 | 12k| 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
571.31/571.33 c 521s| 1190k|703460 | 0 | 0.0 | 825M|1068 | - |1991 | 12k| 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
576.42/576.44 c 526s| 1200k|709115 | 0 | 0.0 | 831M|1068 | - |1991 | 13k| 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
582.01/582.06 c 531s| 1210k|714424 | 0 | 0.0 | 838M|1068 | - |1991 | 14k| 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
588.11/588.17 c 537s| 1220k|719318 | 0 | 0.0 | 845M|1068 | - |1991 | 15k| 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
594.81/594.89 c 543s| 1230k|723666 | 0 | 0.0 | 852M|1068 | - |1991 | 16k| 0 | 0 | 0 | 887k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
602.61/602.68 c 550s| 1240k|727180 | 0 | 0.0 | 858M|1068 | - |1991 | 18k| 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
612.31/612.38 c 560s| 1250k|729353 | 0 | 0.0 | 864M|1068 | - |1991 | 20k| 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
620.52/620.55 c 567s| 1260k|733570 | 0 | 0.0 | 866M|1068 | - |1991 | 11k| 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
624.11/624.17 c 571s| 1270k|741152 | 0 | 0.0 | 871M|1068 | - |1991 | 10k| 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
627.82/627.84 c 574s| 1280k|748493 | 0 | 0.0 | 878M|1068 | - |1991 | 11k| 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
631.92/631.93 c 578s| 1290k|755346 | 0 | 0.0 | 885M|1068 | - |1991 | 12k| 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
636.41/636.47 c 582s| 1300k|761631 | 0 | 0.0 | 892M|1068 | - |1991 | 13k| 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
642.01/642.06 c 587s| 1310k|766754 | 0 | 0.0 | 899M|1068 | - |1991 | 15k| 0 | 0 | 0 | 948k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
649.72/649.77 c 594s| 1320k|769978 | 0 | 0.0 | 906M|1068 | - |1991 | 19k| 0 | 0 | 0 | 959k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
655.32/655.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
655.32/655.32 c 599s| 1330k|776310 | 0 | 0.0 | 909M|1068 | - |1991 | 10k| 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
658.82/658.83 c 602s| 1340k|783942 | 0 | 0.0 | 915M|1068 | - |1991 | 10k| 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
662.62/662.65 c 606s| 1350k|791071 | 0 | 0.0 | 922M|1068 | - |1991 | 11k| 0 | 0 | 0 | 973k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
667.22/667.23 c 610s| 1360k|797441 | 0 | 0.0 | 929M|1068 | - |1991 | 12k| 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
672.42/672.45 c 615s| 1370k|803185 | 0 | 0.0 | 936M|1068 | - |1991 | 14k| 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
678.32/678.38 c 620s| 1380k|808289 | 0 | 0.0 | 943M|1068 | - |1991 | 16k| 0 | 0 | 0 | 994k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
686.32/686.34 c 628s| 1390k|811570 | 0 | 0.0 | 949M|1068 | - |1991 | 20k| 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
691.92/691.94 c 633s| 1400k|817798 | 0 | 0.0 | 949M|1068 | - |1991 |4640 | 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
695.02/695.05 c 636s| 1410k|825645 | 0 | 0.0 | 956M|1068 | - |1991 |5736 | 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
699.72/699.73 c 640s| 1420k|831252 | 0 | 0.0 | 963M|1068 | - |1991 |8278 | 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
703.02/703.04 c 643s| 1430k|838738 | 0 | 0.0 | 969M|1068 | - |1991 |5910 | 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
706.41/706.44 c 646s| 1440k|845979 | 0 | 0.0 | 975M|1068 | - |1991 |5118 | 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
710.12/710.18 c 649s| 1450k|852641 | 0 | 0.0 | 980M|1068 | - |1991 |4772 | 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
713.72/713.76 c 652s| 1460k|859600 | 0 | 0.0 | 987M|1068 | - |1991 |4823 | 0 | 0 | 0 |1044k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
717.02/717.02 c 655s| 1470k|867110 | 0 | 0.0 | 993M|1068 | - |1991 |5032 | 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
722.91/722.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
722.91/722.96 c 661s| 1480k|870898 | 0 | 0.0 | 999M|1068 | - |1991 |7198 | 0 | 0 | 0 |1058k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
729.02/729.06 c 666s| 1490k|874968 | 0 | 0.0 |1006M|1068 | - |1991 |7802 | 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
735.22/735.25 c 672s| 1500k|878885 | 0 | 0.0 |1013M|1068 | - |1991 |9081 | 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
741.72/741.79 c 678s| 1510k|882822 | 0 | 0.0 |1019M|1068 | - |1991 |9619 | 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
748.62/748.62 c 685s| 1520k|886531 | 0 | 0.0 |1026M|1068 | - |1991 |9584 | 0 | 0 | 0 |1094k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
755.42/755.47 c 691s| 1530k|890313 | 0 | 0.0 |1033M|1068 | - |1991 | 11k| 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
762.92/762.95 c 698s| 1540k|893405 | 0 | 0.0 |1039M|1068 | - |1991 | 11k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
770.82/770.84 c 705s| 1550k|896277 | 0 | 0.0 |1045M|1068 | - |1991 | 11k| 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
778.42/778.49 c 713s| 1560k|899628 | 0 | 0.0 |1052M|1068 | - |1991 | 12k| 0 | 0 | 0 |1134k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
786.72/786.70 c 720s| 1570k|902194 | 0 | 0.0 |1058M|1068 | - |1991 | 12k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
794.42/794.43 c 728s| 1580k|905754 | 0 | 0.0 |1064M|1068 | - |1991 | 11k| 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
803.03/803.04 c 736s| 1590k|907958 | 0 | 0.0 |1070M|1068 | - |1991 | 13k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
811.32/811.32 c 744s| 1600k|911088 | 0 | 0.0 |1076M|1068 | - |1991 | 12k| 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
820.33/820.37 c 752s| 1610k|913380 | 0 | 0.0 |1082M|1068 | - |1991 | 14k| 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
830.12/830.19 c 761s| 1620k|915299 | 0 | 0.0 |1087M|1068 | - |1991 | 13k| 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
839.82/839.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
839.82/839.86 c 771s| 1630k|917387 | 0 | 0.0 |1093M|1068 | - |1991 | 15k| 0 | 0 | 0 |1211k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
851.03/851.07 c 781s| 1640k|918162 | 0 | 0.0 |1098M|1068 | - |1991 | 14k| 0 | 0 | 0 |1225k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
861.63/861.66 c 792s| 1650k|919840 | 0 | 0.0 |1104M|1068 | - |1991 | 14k| 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
873.53/873.50 c 803s| 1660k|920119 | 0 | 0.0 |1108M|1068 | - |1991 | 15k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
884.62/884.68 c 814s| 1670k|921420 | 0 | 0.0 |1114M|1068 | - |1991 | 15k| 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
896.93/896.94 c 825s| 1680k|921399 | 0 | 0.0 |1118M|1068 | - |1991 | 16k| 0 | 0 | 0 |1281k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
908.83/908.89 c 837s| 1690k|922342 | 0 | 0.0 |1123M|1068 | - |1991 | 15k| 0 | 0 | 0 |1294k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
921.33/921.39 c 849s| 1700k|922115 | 0 | 0.0 |1126M|1068 | - |1991 | 16k| 0 | 0 | 0 |1310k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
933.33/933.31 c 860s| 1710k|922887 | 0 | 0.0 |1132M|1068 | - |1991 | 16k| 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
946.33/946.36 c 873s| 1720k|922557 | 0 | 0.0 |1135M|1068 | - |1991 | 17k| 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
958.63/958.62 c 884s| 1730k|923302 | 0 | 0.0 |1140M|1068 | - |1991 | 16k| 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
971.34/971.35 c 897s| 1740k|923328 | 0 | 0.0 |1143M|1068 | - |1991 | 16k| 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
983.23/983.23 c 908s| 1750k|924120 | 0 | 0.0 |1147M|1068 | - |1991 | 15k| 0 | 0 | 0 |1384k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
996.33/996.39 c 921s| 1760k|923830 | 0 | 0.0 |1150M|1068 | - |1991 | 17k| 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1008.83/1008.83 c 933s| 1770k|924107 | 0 | 0.0 |1153M|1068 | - |1991 | 17k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1022.13/1022.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1022.13/1022.19 c 945s| 1780k|924334 | 0 | 0.0 |1158M|1068 | - |1991 | 18k| 0 | 0 | 0 |1430k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1035.83/1035.83 c 959s| 1790k|924056 | 0 | 0.0 |1161M|1068 | - |1991 | 19k| 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1049.34/1049.40 c 972s| 1800k|924493 | 0 | 0.0 |1166M|1068 | - |1991 | 18k| 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1064.43/1064.41 c 986s| 1810k|923504 | 0 | 0.0 |1168M|1068 | - |1991 | 21k| 0 | 0 | 0 |1481k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1079.43/1079.40 c 1001s| 1820k|922814 | 0 | 0.0 |1170M|1068 | - |1991 | 21k| 0 | 0 | 0 |1499k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1094.74/1094.72 c 1015s| 1830k|922204 | 0 | 0.0 |1173M|1068 | - |1991 | 22k| 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1111.24/1111.26 c 1031s| 1840k|921162 | 0 | 0.0 |1175M|1068 | - |1991 | 22k| 0 | 0 | 0 |1536k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1127.83/1127.84 c 1047s| 1850k|919975 | 0 | 0.0 |1176M|1068 | - |1991 | 23k| 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1144.23/1144.27 c 1063s| 1860k|918938 | 0 | 0.0 |1177M|1068 | - |1991 | 24k| 0 | 0 | 0 |1575k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1161.93/1161.90 c 1080s| 1870k|917261 | 0 | 0.0 |1176M|1068 | - |1991 | 25k| 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1179.94/1179.95 c 1098s| 1880k|915489 | 0 | 0.0 |1175M|1068 | - |1991 | 28k| 0 | 0 | 0 |1618k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1194.83/1194.84 c 1112s| 1890k|916470 | 0 | 0.0 |1171M|1068 | - |1991 | 13k| 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1199.64/1199.61 c 1117s| 1900k|923300 | 0 | 0.0 |1176M|1068 | - |1991 |7354 | 0 | 0 | 0 |1641k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1203.94/1203.92 c 1120s| 1910k|929923 | 0 | 0.0 |1182M|1068 | - |1991 |7330 | 0 | 0 | 0 |1646k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1208.24/1208.24 c 1124s| 1920k|936492 | 0 | 0.0 |1188M|1068 | - |1991 |7278 | 0 | 0 | 0 |1652k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1212.74/1212.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1212.74/1212.73 c 1128s| 1930k|942855 | 0 | 0.0 |1194M|1068 | - |1991 |7811 | 0 | 0 | 0 |1658k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1217.54/1217.58 c 1133s| 1940k|948850 | 0 | 0.0 |1200M|1068 | - |1991 |8531 | 0 | 0 | 0 |1664k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1222.54/1222.50 c 1137s| 1950k|954834 | 0 | 0.0 |1207M|1068 | - |1991 |9053 | 0 | 0 | 0 |1670k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1227.65/1227.61 c 1142s| 1960k|960652 | 0 | 0.0 |1213M|1068 | - |1991 |9541 | 0 | 0 | 0 |1677k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1232.94/1232.90 c 1147s| 1970k|966283 | 0 | 0.0 |1219M|1068 | - |1991 |9627 | 0 | 0 | 0 |1684k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1238.24/1238.25 c 1152s| 1980k|971860 | 0 | 0.0 |1225M|1068 | - |1991 |9708 | 0 | 0 | 0 |1691k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1243.54/1243.59 c 1157s| 1990k|977502 | 0 | 0.0 |1231M|1068 | - |1991 |9184 | 0 | 0 | 0 |1697k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1248.94/1248.92 c 1162s| 2000k|983117 | 0 | 0.0 |1237M|1068 | - |1991 | 10k| 0 | 0 | 0 |1704k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1254.74/1254.73 c 1167s| 2010k|988224 | 0 | 0.0 |1243M|1068 | - |1991 | 10k| 0 | 0 | 0 |1712k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1260.65/1260.69 c 1172s| 2020k|993157 | 0 | 0.0 |1248M|1068 | - |1991 | 10k| 0 | 0 | 0 |1719k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1266.04/1266.06 c 1177s| 2030k|998734 | 0 | 0.0 |1254M|1068 | - |1991 | 10k| 0 | 0 | 0 |1726k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1272.14/1272.17 c 1183s| 2040k| 1003k| 0 | 0.0 |1260M|1068 | - |1991 | 10k| 0 | 0 | 0 |1734k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1278.14/1278.17 c 1189s| 2050k| 1008k| 0 | 0.0 |1266M|1068 | - |1991 | 10k| 0 | 0 | 0 |1742k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1284.15/1284.18 c 1194s| 2060k| 1013k| 0 | 0.0 |1272M|1068 | - |1991 | 10k| 0 | 0 | 0 |1750k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1290.95/1290.96 c 1200s| 2070k| 1017k| 0 | 0.0 |1277M|1068 | - |1991 | 11k| 0 | 0 | 0 |1759k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1297.14/1297.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1297.14/1297.17 c 1206s| 2080k| 1022k| 0 | 0.0 |1283M|1068 | - |1991 |9903 | 0 | 0 | 0 |1767k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1303.94/1303.91 c 1212s| 2090k| 1026k| 0 | 0.0 |1288M|1068 | - |1991 | 11k| 0 | 0 | 0 |1776k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1310.95/1310.92 c 1219s| 2100k| 1029k| 0 | 0.0 |1293M|1068 | - |1991 | 11k| 0 | 0 | 0 |1785k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1317.24/1317.27 c 1225s| 2110k| 1034k| 0 | 0.0 |1299M|1068 | - |1991 | 11k| 0 | 0 | 0 |1794k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1324.54/1324.54 c 1232s| 2120k| 1038k| 0 | 0.0 |1305M|1068 | - |1991 | 12k| 0 | 0 | 0 |1804k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1331.75/1331.76 c 1238s| 2130k| 1041k| 0 | 0.0 |1310M|1068 | - |1991 | 12k| 0 | 0 | 0 |1814k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1339.04/1339.00 c 1245s| 2140k| 1045k| 0 | 0.0 |1316M|1068 | - |1991 | 11k| 0 | 0 | 0 |1824k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1347.05/1347.08 c 1253s| 2150k| 1048k| 0 | 0.0 |1321M|1068 | - |1991 | 13k| 0 | 0 | 0 |1835k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1355.65/1355.63 c 1261s| 2160k| 1051k| 0 | 0.0 |1326M|1068 | - |1991 | 13k| 0 | 0 | 0 |1847k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1364.35/1364.39 c 1269s| 2170k| 1053k| 0 | 0.0 |1331M|1068 | - |1991 | 13k| 0 | 0 | 0 |1859k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1373.34/1373.30 c 1277s| 2180k| 1055k| 0 | 0.0 |1336M|1068 | - |1991 | 14k| 0 | 0 | 0 |1871k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1382.85/1382.90 c 1286s| 2190k| 1057k| 0 | 0.0 |1341M|1068 | - |1991 | 15k| 0 | 0 | 0 |1885k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1393.76/1393.74 c 1297s| 2200k| 1058k| 0 | 0.0 |1344M|1068 | - |1991 | 16k| 0 | 0 | 0 |1900k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1406.45/1406.40 c 1309s| 2210k| 1058k| 0 | 0.0 |1347M|1068 | - |1991 | 18k| 0 | 0 | 0 |1918k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1422.45/1422.44 c 1324s| 2220k| 1057k| 0 | 0.0 |1349M|1068 | - |1991 | 22k| 0 | 0 | 0 |1939k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1433.14/1433.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1433.14/1433.17 c 1335s| 2230k| 1060k| 0 | 0.0 |1347M|1068 | - |1991 | 11k| 0 | 0 | 0 |1951k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1437.95/1437.90 c 1339s| 2240k| 1066k| 0 | 0.0 |1353M|1068 | - |1991 | 10k| 0 | 0 | 0 |1956k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1442.35/1442.36 c 1343s| 2250k| 1073k| 0 | 0.0 |1360M|1068 | - |1991 | 10k| 0 | 0 | 0 |1962k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1446.95/1446.95 c 1347s| 2260k| 1080k| 0 | 0.0 |1366M|1068 | - |1991 | 11k| 0 | 0 | 0 |1968k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1451.75/1451.79 c 1351s| 2270k| 1086k| 0 | 0.0 |1373M|1068 | - |1991 | 12k| 0 | 0 | 0 |1974k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1456.85/1456.82 c 1356s| 2280k| 1092k| 0 | 0.0 |1379M|1068 | - |1991 | 12k| 0 | 0 | 0 |1980k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1461.95/1461.98 c 1361s| 2290k| 1098k| 0 | 0.0 |1386M|1068 | - |1991 | 12k| 0 | 0 | 0 |1986k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1467.55/1467.50 c 1366s| 2300k| 1104k| 0 | 0.0 |1392M|1068 | - |1991 | 13k| 0 | 0 | 0 |1992k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1473.04/1473.06 c 1371s| 2310k| 1110k| 0 | 0.0 |1398M|1068 | - |1991 | 13k| 0 | 0 | 0 |1999k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1478.85/1478.80 c 1376s| 2320k| 1116k| 0 | 0.0 |1405M|1068 | - |1991 | 13k| 0 | 0 | 0 |2006k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1484.55/1484.54 c 1382s| 2330k| 1121k| 0 | 0.0 |1411M|1068 | - |1991 | 14k| 0 | 0 | 0 |2013k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1490.95/1490.91 c 1388s| 2340k| 1126k| 0 | 0.0 |1417M|1068 | - |1991 | 15k| 0 | 0 | 0 |2021k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1497.65/1497.65 c 1394s| 2350k| 1131k| 0 | 0.0 |1424M|1068 | - |1991 | 15k| 0 | 0 | 0 |2029k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1503.85/1503.80 c 1400s| 2360k| 1137k| 0 | 0.0 |1430M|1068 | - |1991 | 15k| 0 | 0 | 0 |2037k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1510.55/1510.54 c 1406s| 2370k| 1142k| 0 | 0.0 |1436M|1068 | - |1991 | 16k| 0 | 0 | 0 |2045k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1517.75/1517.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1517.75/1517.77 c 1413s| 2380k| 1146k| 0 | 0.0 |1442M|1068 | - |1991 | 17k| 0 | 0 | 0 |2054k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1524.75/1524.74 c 1419s| 2390k| 1151k| 0 | 0.0 |1448M|1068 | - |1991 | 17k| 0 | 0 | 0 |2062k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1532.45/1532.49 c 1427s| 2400k| 1155k| 0 | 0.0 |1454M|1068 | - |1991 | 18k| 0 | 0 | 0 |2072k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1540.75/1540.78 c 1434s| 2410k| 1159k| 0 | 0.0 |1459M|1068 | - |1991 | 18k| 0 | 0 | 0 |2082k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1549.46/1549.45 c 1443s| 2420k| 1163k| 0 | 0.0 |1465M|1068 | - |1991 | 19k| 0 | 0 | 0 |2092k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1557.95/1557.91 c 1451s| 2430k| 1167k| 0 | 0.0 |1471M|1068 | - |1991 | 19k| 0 | 0 | 0 |2103k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1567.25/1567.27 c 1459s| 2440k| 1170k| 0 | 0.0 |1476M|1068 | - |1991 | 20k| 0 | 0 | 0 |2114k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1577.25/1577.26 c 1469s| 2450k| 1173k| 0 | 0.0 |1481M|1068 | - |1991 | 21k| 0 | 0 | 0 |2126k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1587.96/1587.98 c 1479s| 2460k| 1176k| 0 | 0.0 |1487M|1068 | - |1991 | 22k| 0 | 0 | 0 |2139k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1598.75/1598.75 c 1489s| 2470k| 1179k| 0 | 0.0 |1492M|1068 | - |1991 | 23k| 0 | 0 | 0 |2152k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1611.06/1611.03 c 1501s| 2480k| 1181k| 0 | 0.0 |1496M|1068 | - |1991 | 24k| 0 | 0 | 0 |2166k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1625.25/1625.20 c 1515s| 2490k| 1182k| 0 | 0.0 |1501M|1068 | - |1991 | 26k| 0 | 0 | 0 |2183k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1642.55/1642.51 c 1532s| 2500k| 1182k| 0 | 0.0 |1504M|1068 | - |1991 | 29k| 0 | 0 | 0 |2202k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1664.16/1664.12 c 1553s| 2510k| 1180k| 0 | 0.0 |1505M|1068 | - |1991 | 34k| 0 | 0 | 0 |2225k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1676.85/1676.86 c 1565s| 2520k| 1184k| 0 | 0.0 |1503M|1068 | - |1991 | 18k| 0 | 0 | 0 |2235k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1682.46/1682.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1682.46/1682.40 c 1570s| 2530k| 1190k| 0 | 0.0 |1508M|1068 | - |1991 | 14k| 0 | 0 | 0 |2241k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1687.46/1687.49 c 1574s| 2540k| 1197k| 0 | 0.0 |1514M|1068 | - |1991 | 14k| 0 | 0 | 0 |2246k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1692.55/1692.50 c 1579s| 2550k| 1204k| 0 | 0.0 |1521M|1068 | - |1991 | 14k| 0 | 0 | 0 |2252k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1697.76/1697.71 c 1584s| 2560k| 1211k| 0 | 0.0 |1527M|1068 | - |1991 | 14k| 0 | 0 | 0 |2257k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1703.06/1703.00 c 1589s| 2570k| 1217k| 0 | 0.0 |1533M|1068 | - |1991 | 14k| 0 | 0 | 0 |2263k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1708.26/1708.30 c 1594s| 2580k| 1223k| 0 | 0.0 |1539M|1068 | - |1991 | 14k| 0 | 0 | 0 |2269k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1713.96/1713.90 c 1599s| 2590k| 1229k| 0 | 0.0 |1545M|1068 | - |1991 | 15k| 0 | 0 | 0 |2276k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1719.76/1719.74 c 1604s| 2600k| 1235k| 0 | 0.0 |1551M|1068 | - |1991 | 16k| 0 | 0 | 0 |2283k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1725.97/1725.95 c 1610s| 2610k| 1241k| 0 | 0.0 |1558M|1068 | - |1991 | 17k| 0 | 0 | 0 |2289k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1732.66/1732.62 c 1616s| 2620k| 1247k| 0 | 0.0 |1564M|1068 | - |1991 | 18k| 0 | 0 | 0 |2297k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1739.56/1739.59 c 1623s| 2630k| 1252k| 0 | 0.0 |1570M|1068 | - |1991 | 18k| 0 | 0 | 0 |2305k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1746.46/1746.45 c 1629s| 2640k| 1257k| 0 | 0.0 |1576M|1068 | - |1991 | 18k| 0 | 0 | 0 |2312k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1753.66/1753.69 c 1636s| 2650k| 1262k| 0 | 0.0 |1582M|1068 | - |1991 | 20k| 0 | 0 | 0 |2320k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1761.86/1761.86 c 1644s| 2660k| 1267k| 0 | 0.0 |1588M|1068 | - |1991 | 20k| 0 | 0 | 0 |2329k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1770.46/1770.49 c 1652s| 2670k| 1271k| 0 | 0.0 |1594M|1068 | - |1991 | 21k| 0 | 0 | 0 |2339k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1779.66/1779.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1779.66/1779.68 c 1661s| 2680k| 1275k| 0 | 0.0 |1600M|1068 | - |1991 | 22k| 0 | 0 | 0 |2349k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1789.16/1789.12 c 1670s| 2690k| 1279k| 0 | 0.0 |1605M|1068 | - |1991 | 23k| 0 | 0 | 0 |2359k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1798.46/1798.46 c 1678s| 2700k| 1283k| 0 | 0.0 |1612M|1068 | - |1991 | 24k| 0 | 0 | 0 |2369k| 0 | 0.000000e+00 | 4.000000e+00 | Inf
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time (sec) : 1679.82
1800.06/1800.00 c Solving Nodes : 2701175
1800.06/1800.00 c Primal Bound : +4.00000000000000e+00 (17 solutions)
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.01 s SATISFIABLE
1800.06/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.06/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.06/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.06/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.06/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.06/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.06/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.06/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 -x54
1800.06/1800.01 v -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.06/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.06/1800.01 v -x1
1800.06/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.01 c Solving Time : 1679.82
1800.06/1800.01 c Original Problem :
1800.06/1800.01 c Problem name : HOME/instance-2694033-1277901253.wbo
1800.06/1800.01 c Variables : 2081 (1156 binary, 0 integer, 0 implicit integer, 925 continuous)
1800.06/1800.01 c Constraints : 3633 initial, 3633 maximal
1800.06/1800.01 c Presolved Problem :
1800.06/1800.01 c Problem name : t_HOME/instance-2694033-1277901253.wbo
1800.06/1800.01 c Variables : 1991 (1111 binary, 0 integer, 0 implicit integer, 880 continuous)
1800.06/1800.01 c Constraints : 3475 initial, 35896 maximal
1800.06/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.01 c trivial : 0.00 45 0 0 0 0 0 0 0
1800.06/1800.01 c dualfix : 0.00 45 0 0 0 0 0 0 0
1800.06/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c probing : 0.03 0 0 0 0 0 0 0 0
1800.06/1800.01 c indicator : 0.00 0 0 0 0 0 45 0 0
1800.06/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c linear : 0.04 0 0 0 925 0 113 45 0
1800.06/1800.01 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.01 c root node : - 826 - - 1652 - - - -
1800.06/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.01 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.01 c indicator : 880 0 5566500 0 1585192 77 912931 0 0 0
1800.06/1800.01 c knapsack : 1 0 8575910 0 2188995 173875 23730057 0 0 0
1800.06/1800.01 c setppc : 14 0 8426921 0 2188733 108347 5262623 0 0 0
1800.06/1800.01 c linear : 880 0 8319743 0 2189050 163591 11890046 0 0 0
1800.06/1800.01 c logicor : 1700+ 0 6438946 0 2189064 371558 16440565 0 0 0
1800.06/1800.01 c bounddisjunction : 0+ 0 29588 0 0 0 14 0 0 0
1800.06/1800.01 c countsols : 0 0 0 0 2189064 0 0 0 0 0
1800.06/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.01 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.01 c indicator : 3.51 0.00 1.23 0.00 2.28
1800.06/1800.01 c knapsack : 89.60 0.00 86.75 0.00 2.85
1800.06/1800.01 c setppc : 22.49 0.00 20.01 0.00 2.48
1800.06/1800.01 c linear : 130.02 0.00 129.57 0.00 0.45
1800.06/1800.01 c logicor : 589.58 0.00 485.95 0.00 103.63
1800.06/1800.01 c bounddisjunction : 0.06 0.00 0.06 0.00 0.00
1800.06/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.01 c vbounds : 0.00 2 0 0
1800.06/1800.01 c rootredcost : 0.00 0 0 0
1800.06/1800.01 c pseudoobj : 145.33 8602429 502 895467
1800.06/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.01 c propagation : 26.09 817873 817814 4170544 21.2 79853 10.6 -
1800.06/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c pseudo solution : 0.01 24 24 103 24.7 22 7.8 -
1800.06/1800.01 c applied globally : - - - 2370842 18.6 - - -
1800.06/1800.01 c applied locally : - - - 29 125.0 - - -
1800.06/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.01 c redcost : 0.00 0 0 0 0 0
1800.06/1800.01 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.01 c intobj : 0.00 0 0 0 0 0
1800.06/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.01 c gomory : 0.00 0 0 0 0 0
1800.06/1800.01 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.01 c cmir : 0.00 0 0 0 0 0
1800.06/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.01 c clique : 0.00 0 0 0 0 0
1800.06/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.01 c mcf : 0.00 0 0 0 0 0
1800.06/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.01 c Pricers : Time Calls Vars
1800.06/1800.01 c problem variables: 0.00 0 0
1800.06/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.01 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.01 c inference : 28.23 2189047 0 0 0 0 4378094
1800.06/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.01 c random : 0.00 0 0 0 0 0 0
1800.06/1800.01 c Primal Heuristics : Time Calls Found
1800.06/1800.01 c LP solutions : 0.00 - 0
1800.06/1800.01 c pseudo solutions : 0.02 - 17
1800.06/1800.01 c oneopt : 0.02 0 0
1800.06/1800.01 c trivial : 0.01 2 0
1800.06/1800.01 c simplerounding : 0.00 0 0
1800.06/1800.01 c zirounding : 0.00 0 0
1800.06/1800.01 c rounding : 0.00 0 0
1800.06/1800.01 c shifting : 0.00 0 0
1800.06/1800.01 c intshifting : 0.00 0 0
1800.06/1800.01 c twoopt : 0.00 0 0
1800.06/1800.01 c fixandinfer : 0.00 0 0
1800.06/1800.01 c feaspump : 0.00 0 0
1800.06/1800.01 c coefdiving : 0.00 0 0
1800.06/1800.01 c pscostdiving : 0.00 0 0
1800.06/1800.01 c fracdiving : 0.00 0 0
1800.06/1800.01 c veclendiving : 0.00 0 0
1800.06/1800.01 c intdiving : 0.00 0 0
1800.06/1800.01 c actconsdiving : 0.00 0 0
1800.06/1800.01 c objpscostdiving : 0.00 0 0
1800.06/1800.01 c rootsoldiving : 0.00 0 0
1800.06/1800.01 c linesearchdiving : 0.00 0 0
1800.06/1800.01 c guideddiving : 0.00 0 0
1800.06/1800.01 c octane : 0.00 0 0
1800.06/1800.01 c rens : 0.00 0 0
1800.06/1800.01 c rins : 0.00 0 0
1800.06/1800.01 c localbranching : 0.00 0 0
1800.06/1800.01 c mutation : 0.00 0 0
1800.06/1800.01 c crossover : 0.00 0 0
1800.06/1800.01 c dins : 0.00 0 0
1800.06/1800.01 c undercover : 0.00 0 0
1800.06/1800.01 c nlp : 0.00 0 0
1800.06/1800.01 c trysol : 0.00 1 0
1800.06/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.01 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.01 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.01 c (at root node) : - 0 0 0.00 -
1800.06/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.01 c B&B Tree :
1800.06/1800.01 c number of runs : 1
1800.06/1800.01 c nodes : 2701175
1800.06/1800.01 c nodes (total) : 2701175
1800.06/1800.01 c nodes left : 1284083
1800.06/1800.01 c max depth : 1068
1800.06/1800.01 c max depth (total): 1068
1800.06/1800.01 c backtracks : 491181 (18.2%)
1800.06/1800.01 c delayed cutoffs : 379427
1800.06/1800.01 c repropagations : 1803531 (17539154 domain reductions, 305863 cutoffs)
1800.06/1800.01 c avg switch length: 23.35
1800.06/1800.01 c switching time : 519.58
1800.06/1800.01 c Solution :
1800.06/1800.01 c Solutions found : 17 (17 improvements)
1800.06/1800.01 c First Solution : +2.51000000000000e+02 (in run 1, after 3670 nodes, 0.85 seconds, depth 386, found by <relaxation>)
1800.06/1800.01 c Primal Bound : +4.00000000000000e+00 (in run 1, after 1030294 nodes, 452.85 seconds, depth 498, found by <relaxation>)
1800.06/1800.01 c Dual Bound : +0.00000000000000e+00
1800.06/1800.01 c Gap : infinite
1800.06/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.01 c Root Iterations : 0
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694033-1277901253/watcher-2694033-1277901253 -o /tmp/evaluation-result-2694033-1277901253/solver-2694033-1277901253 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694033-1277901253.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/178 14090 /proc/meminfo: memFree=31121840/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=8160 CPUtime=0 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 1545 0 0 0 0 0 0 0 20 0 1 0 131419563 8355840 1467 4089446400 4194304 7136930 140735248756384 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14090/statm: 2040 1467 275 719 0 1319 0 [startup+0.085302 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14090 /proc/meminfo: memFree=31121840/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=22184 CPUtime=0.07 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 6230 0 0 0 6 1 0 0 21 0 1 0 131419563 22716416 4770 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 5546 4770 360 719 0 4825 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 22184 [startup+0.100301 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14090 /proc/meminfo: memFree=31121840/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=23212 CPUtime=0.09 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 8098 0 0 0 7 2 0 0 21 0 1 0 131419563 23769088 4839 4089446400 4194304 7136930 140735248756384 18446744073709551615 6346856 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 5803 4862 368 719 0 5082 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23212 [startup+0.300277 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14090 /proc/meminfo: memFree=31121840/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=24312 CPUtime=0.29 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 9104 0 0 0 25 4 0 0 21 0 1 0 131419563 24895488 5331 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 6078 5331 399 719 0 5357 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24312 [startup+0.700187 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14090 /proc/meminfo: memFree=31121840/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=26408 CPUtime=0.69 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 9661 0 0 0 60 9 0 0 22 0 1 0 131419563 27041792 5888 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 6602 5888 404 719 0 5881 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26408 [startup+1.50104 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14091 /proc/meminfo: memFree=31098892/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=27752 CPUtime=1.49 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 10005 0 0 0 131 18 0 0 25 0 1 0 131419563 28418048 6232 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 6938 6232 405 719 0 6217 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27752 [startup+3.10073 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14091 /proc/meminfo: memFree=31095836/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=33852 CPUtime=3.09 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 11529 0 0 0 271 38 0 0 25 0 1 0 131419563 34664448 7756 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 8463 7756 405 719 0 7742 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33852 [startup+6.30111 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14091 /proc/meminfo: memFree=31083932/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=44144 CPUtime=6.29 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 14126 0 0 0 556 73 0 0 25 0 1 0 131419563 45203456 10353 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 11036 10353 405 719 0 10315 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44144 [startup+12.7009 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14091 /proc/meminfo: memFree=31062296/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=66584 CPUtime=12.69 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 19601 0 0 0 1133 136 0 0 25 0 1 0 131419563 68182016 15828 4089446400 4194304 7136930 140735248756384 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 16646 15828 407 719 0 15925 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 66584 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14091 /proc/meminfo: memFree=31021072/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=104908 CPUtime=25.49 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 29138 0 0 0 2272 277 0 0 25 0 1 0 131419563 107425792 25365 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 26227 25365 407 719 0 25506 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 104908 [startup+51.1005 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14092 /proc/meminfo: memFree=30969328/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=165820 CPUtime=51.09 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 42485 0 0 0 4608 501 0 0 25 0 1 0 131419563 169799680 38712 4089446400 4194304 7136930 140735248756384 18446744073709551615 5954062 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 41455 38712 407 719 0 40734 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 165820 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14094 /proc/meminfo: memFree=30842672/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=284296 CPUtime=102.3 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 71637 0 0 0 9180 1050 0 0 25 0 1 0 131419563 291119104 67864 4089446400 4194304 7136930 140735248756384 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 71074 67864 407 719 0 70353 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 284296 [startup+162.301 s] /proc/loadavg: 2.07 2.02 2.00 3/179 14095 /proc/meminfo: memFree=30733616/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=392456 CPUtime=162.3 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 97852 0 0 0 14633 1597 0 0 25 0 1 0 131419563 401874944 94079 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 98114 94079 407 719 0 97393 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 392456 [startup+222.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14097 /proc/meminfo: memFree=30664256/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=450760 CPUtime=222.3 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 112492 0 0 0 20234 1996 0 0 25 0 1 0 131419563 461578240 108719 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 112690 108719 407 719 0 111969 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 450760 [startup+282.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 14098 /proc/meminfo: memFree=30581252/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=528300 CPUtime=282.3 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 131837 0 0 0 25741 2489 0 0 25 0 1 0 131419563 540979200 128037 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 132075 128037 407 719 0 131354 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 528300 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14100 /proc/meminfo: memFree=30485104/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=617596 CPUtime=342.3 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 154254 0 0 0 31193 3037 0 0 25 0 1 0 131419563 632418304 150454 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 154399 150454 407 719 0 153678 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 617596 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14101 /proc/meminfo: memFree=30395012/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=711116 CPUtime=402.31 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 175493 0 0 0 36697 3534 0 0 25 0 1 0 131419563 728182784 171693 4089446400 4194304 7136930 140735248756384 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 177779 171693 407 719 0 177058 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 711116 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14103 /proc/meminfo: memFree=30285092/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=817664 CPUtime=462.31 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 202119 0 0 0 42187 4044 0 0 25 0 1 0 131419563 837287936 198319 4089446400 4194304 7136930 140735248756384 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 204416 198319 407 719 0 203695 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 817664 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14105 /proc/meminfo: memFree=30217580/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=881132 CPUtime=522.32 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 218090 0 0 0 47709 4523 0 0 25 0 1 0 131419563 902279168 214290 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 220283 214290 407 719 0 219562 0 Current children cumulated CPU time (s) 522.32 Current children cumulated vsize (KiB) 881132 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14106 /proc/meminfo: memFree=30131576/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=959348 CPUtime=582.31 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 238014 0 0 0 53156 5075 0 0 25 0 1 0 131419563 982372352 234214 4089446400 4194304 7136930 140735248756384 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 239837 234214 407 719 0 239116 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 959348 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14108 /proc/meminfo: memFree=30060948/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=1019300 CPUtime=642.32 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 253164 0 0 0 58709 5523 0 0 25 0 1 0 131419563 1043763200 249364 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 254825 249364 407 719 0 254104 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1019300 [startup+702.3 s] ################ # More data... # ################ /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 317466 0 0 0 92637 7596 0 0 25 0 1 0 131419563 1304469504 313666 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 318474 313666 407 719 0 317753 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 1273896 [startup+1062.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 14119 /proc/meminfo: memFree=29747252/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=1290676 CPUtime=1062.33 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 321634 0 0 0 98409 7824 0 0 25 0 1 0 131419563 1321652224 317834 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 322669 317834 407 719 0 321948 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 1290676 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14121 /proc/meminfo: memFree=29737048/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=1295316 CPUtime=1122.33 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 322728 0 0 0 104208 8025 0 0 25 0 1 0 131419563 1326403584 318928 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 323829 318928 407 719 0 323108 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1295316 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14122 /proc/meminfo: memFree=29722016/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=1302552 CPUtime=1182.33 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 324437 0 0 0 110016 8217 0 0 25 0 1 0 131419563 1333813248 320637 4089446400 4194304 7136930 140735248756384 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 325638 320637 407 719 0 324917 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1302552 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14124 /proc/meminfo: memFree=29663556/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=1354968 CPUtime=1242.34 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 337584 0 0 0 115550 8684 0 0 25 0 1 0 131419563 1387487232 333784 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 338742 333784 407 719 0 338021 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 1354968 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14126 /proc/meminfo: memFree=29595892/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=1428416 CPUtime=1302.35 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 352011 0 0 0 121100 9135 0 0 25 0 1 0 131419563 1462697984 348211 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 357104 348211 407 719 0 356383 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 1428416 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14127 /proc/meminfo: memFree=29548708/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=1472232 CPUtime=1362.35 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 363006 0 0 0 126711 9524 0 0 25 0 1 0 131419563 1507565568 359206 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 368058 359206 407 719 0 367337 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 1472232 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14129 /proc/meminfo: memFree=29527092/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=1488976 CPUtime=1422.35 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 367164 0 0 0 132417 9818 0 0 25 0 1 0 131419563 1524711424 363364 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 372244 363364 407 719 0 371523 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 1488976 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14158 /proc/meminfo: memFree=29732316/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=1551028 CPUtime=1482.35 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 382756 0 0 0 137960 10275 0 0 25 0 1 0 131419563 1588252672 378956 4089446400 4194304 7136930 140735248756384 18446744073709551615 5957661 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 387757 378956 407 719 0 387036 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 1551028 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14160 /proc/meminfo: memFree=29662516/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=1599908 CPUtime=1542.35 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 395168 0 0 0 143587 10648 0 0 25 0 1 0 131419563 1638305792 391368 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 399977 391368 407 719 0 399256 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 1599908 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14161 /proc/meminfo: memFree=29626884/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=1627900 CPUtime=1602.36 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 402176 0 0 0 149290 10946 0 0 25 0 1 0 131419563 1666969600 398376 4089446400 4194304 7136930 140735248756384 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 406975 398376 407 719 0 406254 0 Current children cumulated CPU time (s) 1602.36 Current children cumulated vsize (KiB) 1627900 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14172 /proc/meminfo: memFree=29606212/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=1646272 CPUtime=1662.35 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 406739 0 0 0 155075 11160 0 0 25 0 1 0 131419563 1685782528 402939 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 411568 402939 407 719 0 410847 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 1646272 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14174 /proc/meminfo: memFree=29548348/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=1695536 CPUtime=1722.36 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 419376 0 0 0 160666 11570 0 0 25 0 1 0 131419563 1736228864 415576 4089446400 4194304 7136930 140735248756384 18446744073709551615 4210031 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 423884 415576 407 719 0 423163 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 1695536 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14175 /proc/meminfo: memFree=29501428/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=1741056 CPUtime=1782.36 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 430913 0 0 0 166305 11931 0 0 25 0 1 0 131419563 1782841344 427113 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 435264 427113 407 719 0 434543 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 1741056 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14176 /proc/meminfo: memFree=29491740/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=1749660 CPUtime=1800.06 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 432975 0 0 0 167984 12022 0 0 25 0 1 0 131419563 1791651840 429175 4089446400 4194304 7136930 140735248756384 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/14090/statm: 437415 429175 407 719 0 436694 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1749660 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -14090 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/180 14177 /proc/meminfo: memFree=29491732/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=1749660 CPUtime=1801.46 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 432980 0 0 0 168124 12022 0 0 25 0 1 0 131419563 1791651840 429180 4089446400 4194304 7136930 140735248756384 18446744073709551615 6165693 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14090/statm: 437415 429180 412 719 0 436694 0 Current children cumulated CPU time (s) 1801.46 Current children cumulated vsize (KiB) 1749660 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 3/180 14177 /proc/meminfo: memFree=29491732/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=1749660 CPUtime=1801.86 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 432980 0 0 0 168164 12022 0 0 25 0 1 0 131419563 1791651840 429180 4089446400 4194304 7136930 140735248756384 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14090/statm: 437415 429180 412 719 0 436694 0 Current children cumulated CPU time (s) 1801.86 Current children cumulated vsize (KiB) 1749660 [startup+1802 s] /proc/loadavg: 2.00 2.00 2.00 3/180 14177 /proc/meminfo: memFree=29491732/32950928 swapFree=67111528/67111528 [pid=14090] ppid=14088 vsize=1749660 CPUtime=1802.06 /proc/14090/stat : 14090 (pbscip.linux.x8) R 14088 14090 13958 0 -1 4202496 432980 0 0 0 168184 12022 0 0 25 0 1 0 131419563 1791651840 429180 4089446400 4194304 7136930 140735248756384 18446744073709551615 4670075 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/14090/statm: 437415 429180 412 719 0 436694 0 Current children cumulated CPU time (s) 1802.06 Current children cumulated vsize (KiB) 1749660 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.06 CPU time (s): 1802.13 CPU user time (s): 1681.85 CPU system time (s): 120.285 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 1749660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1681.85 system time used= 120.285 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 432980 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= 22840 runsolver used 3.39248 second user time and 6.42202 second system time The end
Begin job on node148 at 2010-06-30 14:34:13 IDJOB=2694033 IDBENCH=78889 IDSOLVER=1206 FILE ID=node148/2694033-1277901253 PBS_JOBID= 11197219 Free space on /tmp= 74168 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.1900574864--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-2694033-1277901253/watcher-2694033-1277901253 -o /tmp/evaluation-result-2694033-1277901253/solver-2694033-1277901253 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694033-1277901253.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8675827de7240d8277488879d51bec75 RANDOM SEED=1603773059 node148.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 : 5415.14 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.83 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.78 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.79 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.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31122616 kB Buffers: 183852 kB Cached: 1274820 kB SwapCached: 0 kB Active: 702616 kB Inactive: 981256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31122616 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3164 kB Writeback: 0 kB AnonPages: 225872 kB Mapped: 17484 kB Slab: 80132 kB PageTables: 5020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 380468 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= 74164 MiB End job on node148 at 2010-06-30 15:04:15