Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | OPTIMUM | 1788.09 | 1788.05 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-44s.smv--soft-66-100-0.wbo |
| MD5SUM | 8bd111ad23cbe0cb7f1571b060618f25 |
| 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 | 0.011997 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 495 |
| Total number of constraints | 940 |
| Number of soft constraints | 337 |
| Number of constraints which are clauses | 800 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 140 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 13 |
| Top cost | 17324 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 17323 |
| Biggest number in a constraint | 68 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 257 |
| Number of bits of the biggest sum of numbers | 9 |
| 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: Clp 1.11.1] [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-2693108-1277915757.wbo>
0.00/0.01 c original problem has 1169 variables (832 bin, 0 int, 0 impl, 337 cont) and 1278 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.01/0.02 c (round 1) 26 del vars, 8 del conss, 1 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 2393 impls, 0 clqs
0.01/0.02 c (round 2) 26 del vars, 53 del conss, 1 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 2393 impls, 0 clqs
0.01/0.03 c (round 3) 27 del vars, 54 del conss, 337 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 2393 impls, 0 clqs
0.01/0.04 c (round 4) 28 del vars, 54 del conss, 337 chg bounds, 70 chg sides, 140 chg coeffs, 553 upgd conss, 2393 impls, 0 clqs
0.01/0.08 c (0.1s) probing: 495/805 (61.5%) - 4 fixings, 11 aggregations, 55 implications, 0 bound changes
0.01/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.01/0.09 c (round 5) 43 del vars, 54 del conss, 337 chg bounds, 70 chg sides, 140 chg coeffs, 553 upgd conss, 2533 impls, 0 clqs
0.01/0.09 c (round 6) 43 del vars, 73 del conss, 337 chg bounds, 71 chg sides, 141 chg coeffs, 553 upgd conss, 2533 impls, 0 clqs
0.01/0.09 c (round 7) 50 del vars, 80 del conss, 337 chg bounds, 71 chg sides, 141 chg coeffs, 554 upgd conss, 2533 impls, 0 clqs
0.01/0.09 c (round 8) 57 del vars, 80 del conss, 337 chg bounds, 71 chg sides, 141 chg coeffs, 554 upgd conss, 2533 impls, 0 clqs
0.01/0.09 c (0.1s) probing: 505/805 (62.7%) - 4 fixings, 11 aggregations, 55 implications, 0 bound changes
0.01/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.01/0.09 c presolving (9 rounds):
0.01/0.09 c 57 deleted vars, 80 deleted constraints, 337 tightened bounds, 0 added holes, 71 changed sides, 141 changed coefficients
0.01/0.09 c 2533 implications, 0 cliques
0.01/0.09 c presolved problem has 1112 variables (783 bin, 0 int, 0 impl, 329 cont) and 1198 constraints
0.01/0.09 c 329 constraints of type <indicator>
0.01/0.09 c 2 constraints of type <varbound>
0.01/0.09 c 89 constraints of type <knapsack>
0.01/0.09 c 327 constraints of type <linear>
0.01/0.09 c 451 constraints of type <logicor>
0.01/0.09 c transformed objective value is always integral (scale: 1)
0.01/0.09 c Presolving Time: 0.07
0.01/0.09 c - non default parameters ----------------------------------------------------------------------
0.01/0.09 c # SCIP version 1.2.1.2
0.01/0.09 c
0.01/0.09 c # frequency for displaying node information lines
0.01/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.09 c display/freq = 10000
0.01/0.09 c
0.01/0.09 c # maximal time in seconds to run
0.01/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.09 c limits/time = 1799.99
0.01/0.09 c
0.01/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.09 c limits/memory = 3420
0.01/0.09 c
0.01/0.09 c # should presolving try to simplify inequalities
0.01/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.09 c constraints/linear/simplifyinequalities = TRUE
0.01/0.09 c
0.01/0.09 c # should presolving try to simplify knapsacks
0.01/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.09 c
0.01/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.09 c separating/rapidlearning/freq = 0
0.01/0.09 c
0.01/0.09 c -----------------------------------------------------------------------------------------------
0.01/0.09 c start solving
0.01/0.09 c
0.09/0.10 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.10 c 0.1s| 1 | 0 | 83 | - |4693k| 0 | 54 |1112 |1198 |1112 | 520 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 o 16689
0.09/0.10 c y 0.1s| 1 | 0 | 83 | - |4737k| 0 | 54 |1112 |1198 |1112 | 520 | 0 | 0 | 0 | 0.000000e+00 | 1.668900e+04 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 199 | - |4829k| 0 | 112 |1112 |1198 |1112 | 619 | 99 | 0 | 0 | 0.000000e+00 | 1.668900e+04 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 379 | - |4953k| 0 | 138 |1112 |1198 |1112 | 698 | 178 | 0 | 0 | 0.000000e+00 | 1.668900e+04 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 503 | - |5124k| 0 | 200 |1112 |1198 |1112 | 771 | 251 | 0 | 0 | 0.000000e+00 | 1.668900e+04 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 637 | - |5238k| 0 | 249 |1112 |1198 |1112 | 833 | 313 | 0 | 0 | 0.000000e+00 | 1.668900e+04 | Inf
0.29/0.32 c 0.3s| 1 | 0 | 787 | - |5322k| 0 | 265 |1112 |1198 |1112 | 893 | 373 | 0 | 0 | 0.000000e+00 | 1.668900e+04 | Inf
0.39/0.41 c 0.4s| 1 | 0 | 945 | - |5409k| 0 | 263 |1112 |1198 |1112 | 949 | 429 | 0 | 0 | 0.000000e+00 | 1.668900e+04 | Inf
0.49/0.58 c 0.5s| 1 | 2 | 945 | - |5455k| 0 | 263 |1112 |1198 |1112 | 949 | 429 | 0 | 17 | 0.000000e+00 | 1.668900e+04 | Inf
13.39/13.45 c 12.9s| 10000 | 9935 | 14694 | 1.4 | 16M| 157 | 0 |1112 |1260 |1112 | 773 |1037 | 62 |2587 | 0.000000e+00 | 1.668900e+04 | Inf
20.20/20.24 c 19.4s| 20000 | 19931 | 21827 | 1.0 | 26M| 163 | 0 |1112 |1262 |1112 | 774 |1744 | 66 |2800 | 0.000000e+00 | 1.668900e+04 | Inf
26.59/26.65 c 25.6s| 30000 | 29929 | 26404 | 0.8 | 36M| 165 | 0 |1112 |1262 |1112 | 772 |2435 | 67 |2800 | 0.000000e+00 | 1.668900e+04 | Inf
33.00/33.09 c 31.8s| 40000 | 39924 | 31465 | 0.8 | 45M| 165 | 0 |1112 |1263 |1112 | 774 |3123 | 70 |2818 | 0.000000e+00 | 1.668900e+04 | Inf
39.39/39.46 c 38.0s| 50000 | 49921 | 35753 | 0.7 | 55M| 165 | 0 |1112 |1265 |1112 | 773 |3890 | 72 |2818 | 0.000000e+00 | 1.668900e+04 | Inf
45.79/45.89 c 44.2s| 60000 | 59921 | 41244 | 0.7 | 65M| 165 | 0 |1112 |1264 |1112 | 773 |4552 | 72 |2841 | 0.000000e+00 | 1.668900e+04 | Inf
52.40/52.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.40/52.48 c 50.6s| 70000 | 69917 | 48439 | 0.7 | 74M| 165 | 0 |1112 |1265 |1112 | 772 |5349 | 74 |2874 | 0.000000e+00 | 1.668900e+04 | Inf
58.79/58.82 c 56.7s| 80000 | 79917 | 52871 | 0.6 | 84M| 165 | 0 |1112 |1264 |1112 | 772 |5986 | 74 |2874 | 0.000000e+00 | 1.668900e+04 | Inf
65.30/65.32 c 63.0s| 90000 | 89913 | 59329 | 0.6 | 94M| 165 | 0 |1112 |1266 |1112 | 774 |6752 | 77 |2881 | 0.000000e+00 | 1.668900e+04 | Inf
71.99/72.00 c 69.4s|100000 | 99897 | 68684 | 0.7 | 103M| 165 | 0 |1112 |1273 |1112 | 774 |7536 | 91 |2906 | 0.000000e+00 | 1.668900e+04 | Inf
78.10/78.15 c 75.4s|110000 |109893 | 70991 | 0.6 | 113M| 165 | 0 |1112 |1271 |1112 | 772 |8063 | 93 |2917 | 0.000000e+00 | 1.668900e+04 | Inf
84.49/84.59 c 81.6s|120000 |119873 | 76995 | 0.6 | 122M| 165 | 0 |1112 |1278 |1112 | 772 |8734 | 106 |2925 | 0.000000e+00 | 1.668900e+04 | Inf
90.89/90.94 c 87.8s|130000 |129869 | 83892 | 0.6 | 132M| 165 | 0 |1112 |1275 |1112 | 775 |9491 | 110 |2955 | 0.000000e+00 | 1.668900e+04 | Inf
96.99/97.01 c 93.7s|140000 |139869 | 87264 | 0.6 | 141M| 165 | 0 |1112 |1271 |1112 | 775 | 10k| 110 |2956 | 0.000000e+00 | 1.668900e+04 | Inf
103.00/103.02 c 99.5s|150000 |149869 | 89924 | 0.6 | 151M| 165 | 0 |1112 |1271 |1112 | 776 | 11k| 110 |2956 | 0.000000e+00 | 1.668900e+04 | Inf
109.00/109.03 c 105s|160000 |159869 | 92601 | 0.6 | 160M| 167 | 0 |1112 |1271 |1112 | 777 | 12k| 110 |2956 | 0.000000e+00 | 1.668900e+04 | Inf
114.99/115.02 c 111s|170000 |169869 | 95665 | 0.6 | 170M| 171 | 0 |1112 |1269 |1112 | 776 | 13k| 110 |2956 | 0.000000e+00 | 1.668900e+04 | Inf
121.00/121.03 c 117s|180000 |179867 | 98685 | 0.5 | 179M| 171 | 0 |1112 |1268 |1112 | 776 | 14k| 111 |2956 | 0.000000e+00 | 1.668900e+04 | Inf
127.10/127.12 c 123s|190000 |189867 |102324 | 0.5 | 189M| 173 | 0 |1112 |1267 |1112 | 778 | 15k| 111 |2961 | 0.000000e+00 | 1.668900e+04 | Inf
133.10/133.12 c 129s|200000 |199863 |105063 | 0.5 | 198M| 173 | 0 |1112 |1272 |1112 | 774 | 16k| 116 |2961 | 0.000000e+00 | 1.668900e+04 | Inf
139.10/139.19 c 135s|210000 |209861 |108242 | 0.5 | 207M| 173 | 0 |1112 |1270 |1112 | 776 | 17k| 118 |2961 | 0.000000e+00 | 1.668900e+04 | Inf
145.30/145.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.30/145.34 c 141s|220000 |219861 |111326 | 0.5 | 217M| 175 | 0 |1112 |1268 |1112 | 778 | 18k| 118 |2961 | 0.000000e+00 | 1.668900e+04 | Inf
151.30/151.37 c 146s|230000 |229861 |113635 | 0.5 | 226M| 175 | 0 |1112 |1267 |1112 | 776 | 19k| 118 |2961 | 0.000000e+00 | 1.668900e+04 | Inf
157.20/157.29 c 152s|240000 |239861 |115799 | 0.5 | 236M| 175 | 0 |1112 |1266 |1112 | 776 | 19k| 118 |2963 | 0.000000e+00 | 1.668900e+04 | Inf
163.30/163.31 c 158s|250000 |249861 |118751 | 0.5 | 245M| 175 | 0 |1112 |1264 |1112 | 776 | 20k| 118 |2968 | 0.000000e+00 | 1.668900e+04 | Inf
169.30/169.34 c 164s|260000 |259861 |121676 | 0.5 | 255M| 175 | 0 |1112 |1264 |1112 | 776 | 21k| 118 |2975 | 0.000000e+00 | 1.668900e+04 | Inf
175.30/175.38 c 170s|270000 |269859 |124762 | 0.5 | 264M| 175 | 0 |1112 |1265 |1112 | 777 | 22k| 119 |2975 | 0.000000e+00 | 1.668900e+04 | Inf
181.29/181.34 c 176s|280000 |279857 |127265 | 0.5 | 273M| 175 | 0 |1112 |1268 |1112 | 776 | 23k| 123 |2975 | 0.000000e+00 | 1.668900e+04 | Inf
187.19/187.27 c 181s|290000 |289857 |129760 | 0.4 | 283M| 177 | 0 |1112 |1268 |1112 | 773 | 24k| 123 |2975 | 0.000000e+00 | 1.668900e+04 | Inf
193.09/193.11 c 187s|300000 |299857 |131967 | 0.4 | 292M| 179 | 0 |1112 |1268 |1112 | 771 | 24k| 123 |2975 | 0.000000e+00 | 1.668900e+04 | Inf
198.90/198.95 c 193s|310000 |309857 |134150 | 0.4 | 301M| 179 | 0 |1112 |1268 |1112 | 775 | 25k| 123 |2975 | 0.000000e+00 | 1.668900e+04 | Inf
204.89/204.98 c 198s|320000 |319853 |137056 | 0.4 | 310M| 179 | 0 |1112 |1271 |1112 | 775 | 25k| 126 |2975 | 0.000000e+00 | 1.668900e+04 | Inf
210.79/210.87 c 204s|330000 |329851 |139203 | 0.4 | 320M| 179 | 0 |1112 |1273 |1112 | 774 | 26k| 129 |2975 | 0.000000e+00 | 1.668900e+04 | Inf
216.60/216.69 c 210s|340000 |339849 |141407 | 0.4 | 329M| 179 | 0 |1112 |1272 |1112 | 775 | 27k| 131 |2975 | 0.000000e+00 | 1.668900e+04 | Inf
222.50/222.56 c 216s|350000 |349849 |143770 | 0.4 | 338M| 179 | 0 |1112 |1272 |1112 | 774 | 28k| 131 |2975 | 0.000000e+00 | 1.668900e+04 | Inf
228.29/228.38 c 221s|360000 |359849 |145860 | 0.4 | 348M| 179 | 0 |1112 |1272 |1112 | 774 | 29k| 131 |2975 | 0.000000e+00 | 1.668900e+04 | Inf
234.21/234.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
234.21/234.29 c 227s|370000 |369849 |148322 | 0.4 | 357M| 179 | 0 |1112 |1272 |1112 | 775 | 30k| 131 |2975 | 0.000000e+00 | 1.668900e+04 | Inf
240.10/240.13 c 233s|380000 |379849 |150465 | 0.4 | 366M| 179 | 0 |1112 |1272 |1112 | 775 | 30k| 131 |2975 | 0.000000e+00 | 1.668900e+04 | Inf
245.90/245.99 c 238s|390000 |389847 |152661 | 0.4 | 375M| 179 | 0 |1112 |1272 |1112 | 774 | 31k| 133 |2975 | 0.000000e+00 | 1.668900e+04 | Inf
251.80/251.81 c 244s|400000 |399843 |154655 | 0.4 | 385M| 179 | 0 |1112 |1276 |1112 | 771 | 32k| 137 |2975 | 0.000000e+00 | 1.668900e+04 | Inf
257.59/257.68 c 250s|410000 |409843 |156900 | 0.4 | 394M| 179 | 0 |1112 |1276 |1112 | 771 | 32k| 137 |2975 | 0.000000e+00 | 1.668900e+04 | Inf
263.39/263.48 c 255s|420000 |419843 |158911 | 0.4 | 403M| 179 | 0 |1112 |1273 |1112 | 771 | 33k| 137 |2975 | 0.000000e+00 | 1.668900e+04 | Inf
269.29/269.35 c 261s|430000 |429841 |161651 | 0.4 | 412M| 179 | 0 |1112 |1274 |1112 | 773 | 34k| 138 |2975 | 0.000000e+00 | 1.668900e+04 | Inf
275.30/275.31 c 267s|440000 |439838 |165360 | 0.4 | 422M| 179 | 0 |1112 |1273 |1112 | 774 | 35k| 139 |2977 | 0.000000e+00 | 1.668900e+04 | Inf
281.10/281.14 c 272s|450000 |449838 |167556 | 0.4 | 431M| 179 | 0 |1112 |1273 |1112 | 772 | 35k| 139 |2977 | 0.000000e+00 | 1.668900e+04 | Inf
287.10/287.14 c 278s|460000 |459838 |171541 | 0.4 | 440M| 179 | 0 |1112 |1272 |1112 | 774 | 36k| 139 |2993 | 0.000000e+00 | 1.668900e+04 | Inf
293.10/293.12 c 284s|470000 |469838 |174897 | 0.4 | 449M| 179 | 0 |1112 |1270 |1112 | 775 | 37k| 139 |2993 | 0.000000e+00 | 1.668900e+04 | Inf
299.20/299.22 c 290s|480000 |479838 |178862 | 0.4 | 459M| 179 | 0 |1112 |1267 |1112 | 775 | 38k| 139 |2993 | 0.000000e+00 | 1.668900e+04 | Inf
305.30/305.30 c 296s|490000 |489836 |182847 | 0.4 | 468M| 179 | 0 |1112 |1267 |1112 | 775 | 38k| 140 |2993 | 0.000000e+00 | 1.668900e+04 | Inf
311.30/311.33 c 302s|500000 |499836 |185762 | 0.4 | 477M| 179 | 0 |1112 |1267 |1112 | 775 | 39k| 140 |2993 | 0.000000e+00 | 1.668900e+04 | Inf
317.20/317.28 c 307s|510000 |509835 |188833 | 0.4 | 486M| 179 | 0 |1112 |1266 |1112 | 772 | 40k| 140 |2993 | 0.000000e+00 | 1.668900e+04 | Inf
323.00/323.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
323.00/323.10 c 313s|520000 |519835 |191050 | 0.4 | 496M| 179 | 0 |1112 |1265 |1112 | 775 | 41k| 140 |2993 | 0.000000e+00 | 1.668900e+04 | Inf
328.81/328.87 c 319s|530000 |529834 |193054 | 0.4 | 505M| 179 | 0 |1112 |1263 |1112 | 775 | 41k| 140 |2993 | 0.000000e+00 | 1.668900e+04 | Inf
334.31/334.31 c 324s|540000 |539834 |193840 | 0.4 | 514M| 249 | 0 |1112 |1263 |1112 | 776 | 41k| 140 |2994 | 0.000000e+00 | 1.668900e+04 | Inf
339.81/339.85 c 329s|550000 |549834 |194614 | 0.4 | 524M| 249 | 0 |1112 |1263 |1112 | 777 | 42k| 140 |2994 | 0.000000e+00 | 1.668900e+04 | Inf
345.31/345.35 c 335s|560000 |559834 |195264 | 0.3 | 533M| 249 | 0 |1112 |1263 |1112 | 774 | 42k| 140 |2994 | 0.000000e+00 | 1.668900e+04 | Inf
350.81/350.84 c 340s|570000 |569834 |195986 | 0.3 | 542M| 249 | 0 |1112 |1263 |1112 | 771 | 42k| 140 |2994 | 0.000000e+00 | 1.668900e+04 | Inf
356.30/356.36 c 345s|580000 |579834 |196750 | 0.3 | 552M| 249 | 0 |1112 |1263 |1112 | 776 | 42k| 140 |2994 | 0.000000e+00 | 1.668900e+04 | Inf
361.81/361.89 c 351s|590000 |589834 |197548 | 0.3 | 561M| 249 | 0 |1112 |1263 |1112 | 776 | 42k| 140 |2994 | 0.000000e+00 | 1.668900e+04 | Inf
367.41/367.45 c 356s|600000 |599834 |198421 | 0.3 | 571M| 249 | 0 |1112 |1263 |1112 | 772 | 42k| 140 |2994 | 0.000000e+00 | 1.668900e+04 | Inf
373.00/373.03 c 362s|610000 |609834 |199308 | 0.3 | 580M| 249 | 0 |1112 |1263 |1112 | 774 | 42k| 140 |2994 | 0.000000e+00 | 1.668900e+04 | Inf
378.60/378.60 c 367s|620000 |619834 |200193 | 0.3 | 589M| 249 | 0 |1112 |1263 |1112 | 777 | 43k| 140 |2994 | 0.000000e+00 | 1.668900e+04 | Inf
384.10/384.15 c 372s|630000 |629834 |201056 | 0.3 | 599M| 249 | 0 |1112 |1263 |1112 | 777 | 43k| 140 |2994 | 0.000000e+00 | 1.668900e+04 | Inf
389.70/389.71 c 378s|640000 |639834 |201925 | 0.3 | 608M| 249 | 0 |1112 |1263 |1112 | 774 | 43k| 140 |2994 | 0.000000e+00 | 1.668900e+04 | Inf
395.20/395.28 c 383s|650000 |649834 |202770 | 0.3 | 617M| 249 | 0 |1112 |1263 |1112 | 773 | 43k| 140 |2994 | 0.000000e+00 | 1.668900e+04 | Inf
400.81/400.83 c 389s|660000 |659834 |203559 | 0.3 | 627M| 249 | 0 |1112 |1263 |1112 | 778 | 43k| 140 |2994 | 0.000000e+00 | 1.668900e+04 | Inf
406.40/406.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
406.40/406.40 c 394s|670000 |669834 |204397 | 0.3 | 636M| 249 | 0 |1112 |1263 |1112 | 778 | 43k| 140 |2994 | 0.000000e+00 | 1.668900e+04 | Inf
411.90/411.97 c 400s|680000 |679834 |205233 | 0.3 | 646M| 249 | 0 |1112 |1263 |1112 | 773 | 44k| 140 |2994 | 0.000000e+00 | 1.668900e+04 | Inf
417.50/417.53 c 405s|690000 |689834 |206065 | 0.3 | 655M| 249 | 0 |1112 |1263 |1112 | 777 | 44k| 140 |2994 | 0.000000e+00 | 1.668900e+04 | Inf
423.00/423.07 c 410s|700000 |699834 |206876 | 0.3 | 664M| 249 | 0 |1112 |1263 |1112 | 777 | 44k| 140 |2994 | 0.000000e+00 | 1.668900e+04 | Inf
428.61/428.62 c 416s|710000 |709834 |207688 | 0.3 | 674M| 249 | 0 |1112 |1263 |1112 | 780 | 44k| 140 |2994 | 0.000000e+00 | 1.668900e+04 | Inf
434.10/434.18 c 421s|720000 |719834 |208575 | 0.3 | 683M| 267 | 0 |1112 |1263 |1112 | 782 | 44k| 140 |2994 | 0.000000e+00 | 1.668900e+04 | Inf
439.61/439.69 c 426s|730000 |729834 |209370 | 0.3 | 692M| 267 | 0 |1112 |1263 |1112 | 779 | 44k| 140 |2994 | 0.000000e+00 | 1.668900e+04 | Inf
445.10/445.19 c 432s|740000 |739834 |210155 | 0.3 | 702M| 267 | 0 |1112 |1263 |1112 | 773 | 45k| 140 |2994 | 0.000000e+00 | 1.668900e+04 | Inf
450.70/450.74 c 437s|750000 |749834 |211044 | 0.3 | 711M| 267 | 0 |1112 |1263 |1112 | 774 | 45k| 140 |2994 | 0.000000e+00 | 1.668900e+04 | Inf
456.20/456.26 c 443s|760000 |759834 |211911 | 0.3 | 721M| 267 | 0 |1112 |1263 |1112 | 773 | 45k| 140 |2999 | 0.000000e+00 | 1.668900e+04 | Inf
461.80/461.84 c 448s|770000 |769834 |212875 | 0.3 | 730M| 267 | 0 |1112 |1263 |1112 | 777 | 45k| 140 |3004 | 0.000000e+00 | 1.668900e+04 | Inf
467.30/467.38 c 453s|780000 |779834 |213769 | 0.3 | 739M| 267 | 0 |1112 |1263 |1112 | 772 | 45k| 140 |3014 | 0.000000e+00 | 1.668900e+04 | Inf
472.91/472.99 c 459s|790000 |789834 |214766 | 0.3 | 749M| 267 | 0 |1112 |1263 |1112 | 779 | 46k| 140 |3019 | 0.000000e+00 | 1.668900e+04 | Inf
478.51/478.57 c 464s|800000 |799834 |215722 | 0.3 | 758M| 267 | 0 |1112 |1263 |1112 | 778 | 46k| 140 |3029 | 0.000000e+00 | 1.668900e+04 | Inf
484.11/484.16 c 470s|810000 |809834 |216658 | 0.3 | 767M| 267 | 0 |1112 |1263 |1112 | 776 | 46k| 140 |3029 | 0.000000e+00 | 1.668900e+04 | Inf
489.71/489.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
489.71/489.71 c 475s|820000 |819834 |217451 | 0.3 | 777M| 267 | 0 |1112 |1263 |1112 | 773 | 46k| 140 |3029 | 0.000000e+00 | 1.668900e+04 | Inf
495.31/495.30 c 481s|830000 |829834 |218413 | 0.3 | 786M| 267 | 0 |1112 |1263 |1112 | 774 | 46k| 140 |3039 | 0.000000e+00 | 1.668900e+04 | Inf
500.80/500.84 c 486s|840000 |839834 |219288 | 0.3 | 795M| 267 | 0 |1112 |1263 |1112 | 777 | 46k| 140 |3039 | 0.000000e+00 | 1.668900e+04 | Inf
506.41/506.42 c 491s|850000 |849834 |220261 | 0.3 | 805M| 267 | 0 |1112 |1263 |1112 | 773 | 47k| 140 |3039 | 0.000000e+00 | 1.668900e+04 | Inf
511.90/511.95 c 497s|860000 |859834 |221130 | 0.3 | 814M| 267 | 0 |1112 |1263 |1112 | 773 | 47k| 140 |3042 | 0.000000e+00 | 1.668900e+04 | Inf
517.50/517.52 c 502s|870000 |869834 |222165 | 0.3 | 823M| 267 | 0 |1112 |1263 |1112 | 777 | 47k| 140 |3042 | 0.000000e+00 | 1.668900e+04 | Inf
523.01/523.06 c 508s|880000 |879834 |223066 | 0.3 | 833M| 267 | 0 |1112 |1263 |1112 | 778 | 47k| 140 |3042 | 0.000000e+00 | 1.668900e+04 | Inf
528.60/528.63 c 513s|890000 |889834 |224138 | 0.3 | 842M| 267 | 0 |1112 |1263 |1112 | 777 | 47k| 140 |3042 | 0.000000e+00 | 1.668900e+04 | Inf
534.10/534.18 c 518s|900000 |899834 |225084 | 0.2 | 851M| 267 | 0 |1112 |1263 |1112 | 772 | 47k| 140 |3042 | 0.000000e+00 | 1.668900e+04 | Inf
539.71/539.70 c 524s|910000 |909834 |225970 | 0.2 | 861M| 267 | 0 |1112 |1263 |1112 | 772 | 47k| 140 |3042 | 0.000000e+00 | 1.668900e+04 | Inf
545.20/545.29 c 529s|920000 |919834 |227104 | 0.2 | 870M| 267 | 0 |1112 |1263 |1112 | 774 | 48k| 140 |3042 | 0.000000e+00 | 1.668900e+04 | Inf
550.80/550.84 c 535s|930000 |929834 |228039 | 0.2 | 880M| 267 | 0 |1112 |1263 |1112 | 778 | 48k| 140 |3047 | 0.000000e+00 | 1.668900e+04 | Inf
556.41/556.42 c 540s|940000 |939834 |228996 | 0.2 | 889M| 267 | 0 |1112 |1263 |1112 | 773 | 48k| 140 |3047 | 0.000000e+00 | 1.668900e+04 | Inf
562.01/562.03 c 545s|950000 |949834 |229997 | 0.2 | 898M| 267 | 0 |1112 |1263 |1112 | 775 | 48k| 140 |3047 | 0.000000e+00 | 1.668900e+04 | Inf
567.61/567.62 c 551s|960000 |959834 |231079 | 0.2 | 908M| 267 | 0 |1112 |1263 |1112 | 774 | 48k| 140 |3047 | 0.000000e+00 | 1.668900e+04 | Inf
573.21/573.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.21/573.21 c 556s|970000 |969834 |232104 | 0.2 | 917M| 267 | 0 |1112 |1263 |1112 | 773 | 48k| 140 |3047 | 0.000000e+00 | 1.668900e+04 | Inf
578.70/578.75 c 562s|980000 |979834 |233139 | 0.2 | 926M| 267 | 0 |1112 |1263 |1112 | 772 | 49k| 140 |3047 | 0.000000e+00 | 1.668900e+04 | Inf
584.31/584.34 c 567s|990000 |989834 |234281 | 0.2 | 936M| 267 | 0 |1112 |1263 |1112 | 777 | 49k| 140 |3047 | 0.000000e+00 | 1.668900e+04 | Inf
589.91/589.99 c 573s| 1000k|999834 |235472 | 0.2 | 945M| 267 | 0 |1112 |1263 |1112 | 776 | 49k| 140 |3047 | 0.000000e+00 | 1.668900e+04 | Inf
595.61/595.61 c 578s| 1010k| 1009k|236605 | 0.2 | 955M| 267 | 0 |1112 |1263 |1112 | 774 | 49k| 140 |3047 | 0.000000e+00 | 1.668900e+04 | Inf
601.21/601.22 c 583s| 1020k| 1019k|237749 | 0.2 | 964M| 267 | 0 |1112 |1263 |1112 | 778 | 49k| 140 |3047 | 0.000000e+00 | 1.668900e+04 | Inf
606.81/606.80 c 589s| 1030k| 1029k|238826 | 0.2 | 973M| 267 | 0 |1112 |1263 |1112 | 775 | 49k| 140 |3047 | 0.000000e+00 | 1.668900e+04 | Inf
612.41/612.41 c 594s| 1040k| 1039k|239934 | 0.2 | 983M| 267 | 0 |1112 |1263 |1112 | 775 | 50k| 140 |3047 | 0.000000e+00 | 1.668900e+04 | Inf
618.01/618.04 c 600s| 1050k| 1049k|241089 | 0.2 | 992M| 267 | 0 |1112 |1263 |1112 | 772 | 50k| 140 |3047 | 0.000000e+00 | 1.668900e+04 | Inf
623.61/623.65 c 605s| 1060k| 1059k|242190 | 0.2 |1002M| 267 | 0 |1112 |1263 |1112 | 780 | 50k| 140 |3047 | 0.000000e+00 | 1.668900e+04 | Inf
629.21/629.25 c 611s| 1070k| 1069k|243325 | 0.2 |1011M| 267 | 0 |1112 |1263 |1112 | 772 | 50k| 140 |3052 | 0.000000e+00 | 1.668900e+04 | Inf
634.81/634.87 c 616s| 1080k| 1079k|244564 | 0.2 |1020M| 267 | 0 |1112 |1263 |1112 | 773 | 50k| 140 |3052 | 0.000000e+00 | 1.668900e+04 | Inf
640.40/640.48 c 622s| 1090k| 1089k|245660 | 0.2 |1030M| 267 | 0 |1112 |1263 |1112 | 777 | 50k| 140 |3052 | 0.000000e+00 | 1.668900e+04 | Inf
646.10/646.12 c 627s| 1100k| 1099k|246806 | 0.2 |1039M| 267 | 0 |1112 |1263 |1112 | 776 | 50k| 140 |3052 | 0.000000e+00 | 1.668900e+04 | Inf
651.70/651.76 c 633s| 1110k| 1109k|247954 | 0.2 |1049M| 267 | 0 |1112 |1263 |1112 | 772 | 51k| 140 |3052 | 0.000000e+00 | 1.668900e+04 | Inf
657.31/657.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
657.31/657.37 c 638s| 1120k| 1119k|249132 | 0.2 |1058M| 267 | 0 |1112 |1263 |1112 | 775 | 51k| 140 |3052 | 0.000000e+00 | 1.668900e+04 | Inf
662.91/662.95 c 643s| 1130k| 1129k|250173 | 0.2 |1067M| 267 | 0 |1112 |1263 |1112 | 775 | 51k| 140 |3052 | 0.000000e+00 | 1.668900e+04 | Inf
668.51/668.54 c 649s| 1140k| 1139k|251203 | 0.2 |1077M| 267 | 0 |1112 |1263 |1112 | 774 | 51k| 140 |3052 | 0.000000e+00 | 1.668900e+04 | Inf
674.10/674.10 c 654s| 1150k| 1149k|252198 | 0.2 |1086M| 267 | 0 |1112 |1263 |1112 | 778 | 51k| 140 |3052 | 0.000000e+00 | 1.668900e+04 | Inf
679.61/679.69 c 660s| 1160k| 1159k|253223 | 0.2 |1096M| 267 | 0 |1112 |1263 |1112 | 778 | 51k| 140 |3052 | 0.000000e+00 | 1.668900e+04 | Inf
685.21/685.27 c 665s| 1170k| 1169k|254270 | 0.2 |1105M| 267 | 0 |1112 |1263 |1112 | 779 | 52k| 140 |3052 | 0.000000e+00 | 1.668900e+04 | Inf
690.81/690.88 c 671s| 1180k| 1179k|255324 | 0.2 |1114M| 267 | 0 |1112 |1263 |1112 | 781 | 52k| 140 |3052 | 0.000000e+00 | 1.668900e+04 | Inf
696.50/696.52 c 676s| 1190k| 1189k|256385 | 0.2 |1124M| 267 | 0 |1112 |1263 |1112 | 778 | 52k| 140 |3052 | 0.000000e+00 | 1.668900e+04 | Inf
702.10/702.12 c 681s| 1200k| 1199k|257461 | 0.2 |1133M| 267 | 0 |1112 |1263 |1112 | 779 | 52k| 140 |3052 | 0.000000e+00 | 1.668900e+04 | Inf
707.60/707.69 c 686s| 1210k| 1209k|258467 | 0.2 |1142M| 267 | 0 |1112 |1263 |1112 | 775 | 52k| 140 |3057 | 0.000000e+00 | 1.668900e+04 | Inf
713.20/713.29 c 691s| 1220k| 1219k|259513 | 0.2 |1152M| 267 | 0 |1112 |1263 |1112 | 773 | 52k| 140 |3057 | 0.000000e+00 | 1.668900e+04 | Inf
718.80/718.89 c 696s| 1230k| 1229k|260555 | 0.2 |1161M| 267 | 0 |1112 |1263 |1112 | 778 | 53k| 140 |3057 | 0.000000e+00 | 1.668900e+04 | Inf
724.40/724.46 c 701s| 1240k| 1239k|261551 | 0.2 |1171M| 267 | 0 |1112 |1263 |1112 | 778 | 53k| 140 |3057 | 0.000000e+00 | 1.668900e+04 | Inf
730.00/730.04 c 707s| 1250k| 1249k|262538 | 0.2 |1180M| 267 | 0 |1112 |1263 |1112 | 778 | 53k| 140 |3057 | 0.000000e+00 | 1.668900e+04 | Inf
735.60/735.64 c 712s| 1260k| 1259k|263612 | 0.2 |1189M| 267 | 0 |1112 |1263 |1112 | 780 | 53k| 140 |3057 | 0.000000e+00 | 1.668900e+04 | Inf
741.21/741.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.21/741.24 c 717s| 1270k| 1269k|264639 | 0.2 |1199M| 267 | 0 |1112 |1263 |1112 | 778 | 53k| 140 |3057 | 0.000000e+00 | 1.668900e+04 | Inf
746.81/746.80 c 722s| 1280k| 1279k|265649 | 0.2 |1208M| 267 | 0 |1112 |1263 |1112 | 774 | 53k| 140 |3057 | 0.000000e+00 | 1.668900e+04 | Inf
752.31/752.39 c 727s| 1290k| 1289k|266641 | 0.2 |1218M| 267 | 0 |1112 |1263 |1112 | 778 | 53k| 140 |3057 | 0.000000e+00 | 1.668900e+04 | Inf
757.91/757.94 c 732s| 1300k| 1299k|267629 | 0.2 |1227M| 267 | 0 |1112 |1263 |1112 | 778 | 54k| 140 |3057 | 0.000000e+00 | 1.668900e+04 | Inf
763.50/763.53 c 737s| 1310k| 1309k|268647 | 0.2 |1236M| 267 | 0 |1112 |1263 |1112 | 776 | 54k| 140 |3057 | 0.000000e+00 | 1.668900e+04 | Inf
769.10/769.11 c 742s| 1320k| 1319k|269679 | 0.2 |1246M| 267 | 0 |1112 |1263 |1112 | 774 | 54k| 140 |3057 | 0.000000e+00 | 1.668900e+04 | Inf
774.60/774.69 c 747s| 1330k| 1329k|270693 | 0.2 |1255M| 267 | 0 |1112 |1263 |1112 | 773 | 54k| 140 |3057 | 0.000000e+00 | 1.668900e+04 | Inf
780.20/780.27 c 752s| 1340k| 1339k|271732 | 0.2 |1264M| 267 | 0 |1112 |1263 |1112 | 773 | 54k| 140 |3057 | 0.000000e+00 | 1.668900e+04 | Inf
785.80/785.87 c 758s| 1350k| 1349k|272819 | 0.2 |1274M| 267 | 0 |1112 |1263 |1112 | 773 | 54k| 140 |3057 | 0.000000e+00 | 1.668900e+04 | Inf
791.41/791.45 c 763s| 1360k| 1359k|273912 | 0.2 |1283M| 267 | 0 |1112 |1263 |1112 | 774 | 55k| 140 |3062 | 0.000000e+00 | 1.668900e+04 | Inf
797.00/797.04 c 768s| 1370k| 1369k|275014 | 0.2 |1293M| 267 | 0 |1112 |1263 |1112 | 773 | 55k| 140 |3062 | 0.000000e+00 | 1.668900e+04 | Inf
802.61/802.62 c 773s| 1380k| 1379k|276086 | 0.2 |1302M| 267 | 0 |1112 |1263 |1112 | 774 | 55k| 140 |3062 | 0.000000e+00 | 1.668900e+04 | Inf
808.20/808.20 c 778s| 1390k| 1389k|277192 | 0.2 |1311M| 267 | 0 |1112 |1263 |1112 | 779 | 55k| 140 |3062 | 0.000000e+00 | 1.668900e+04 | Inf
813.70/813.78 c 783s| 1400k| 1399k|278249 | 0.2 |1321M| 267 | 0 |1112 |1263 |1112 | 773 | 55k| 140 |3062 | 0.000000e+00 | 1.668900e+04 | Inf
819.30/819.35 c 788s| 1410k| 1409k|279357 | 0.2 |1330M| 267 | 0 |1112 |1263 |1112 | 777 | 55k| 140 |3062 | 0.000000e+00 | 1.668900e+04 | Inf
824.91/824.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
824.91/824.97 c 793s| 1420k| 1419k|280821 | 0.2 |1340M| 267 | 0 |1112 |1263 |1112 | 774 | 56k| 140 |3062 | 0.000000e+00 | 1.668900e+04 | Inf
830.51/830.54 c 798s| 1430k| 1429k|281947 | 0.2 |1349M| 267 | 0 |1112 |1263 |1112 | 774 | 56k| 140 |3062 | 0.000000e+00 | 1.668900e+04 | Inf
836.10/836.17 c 804s| 1440k| 1439k|283255 | 0.2 |1358M| 267 | 0 |1112 |1263 |1112 | 778 | 56k| 140 |3062 | 0.000000e+00 | 1.668900e+04 | Inf
841.71/841.75 c 809s| 1450k| 1449k|284621 | 0.2 |1368M| 267 | 0 |1112 |1263 |1112 | 774 | 56k| 140 |3062 | 0.000000e+00 | 1.668900e+04 | Inf
847.31/847.36 c 814s| 1460k| 1459k|285699 | 0.2 |1377M| 267 | 0 |1112 |1263 |1112 | 776 | 56k| 140 |3062 | 0.000000e+00 | 1.668900e+04 | Inf
852.90/852.94 c 819s| 1470k| 1469k|286684 | 0.2 |1387M| 267 | 0 |1112 |1263 |1112 | 773 | 56k| 140 |3062 | 0.000000e+00 | 1.668900e+04 | Inf
858.50/858.55 c 824s| 1480k| 1479k|287687 | 0.2 |1396M| 267 | 0 |1112 |1263 |1112 | 779 | 57k| 140 |3062 | 0.000000e+00 | 1.668900e+04 | Inf
864.11/864.15 c 829s| 1490k| 1489k|288790 | 0.2 |1405M| 267 | 0 |1112 |1263 |1112 | 781 | 57k| 140 |3067 | 0.000000e+00 | 1.668900e+04 | Inf
869.70/869.75 c 834s| 1500k| 1499k|289874 | 0.2 |1415M| 267 | 0 |1112 |1263 |1112 | 781 | 57k| 140 |3067 | 0.000000e+00 | 1.668900e+04 | Inf
875.31/875.34 c 839s| 1510k| 1509k|290927 | 0.2 |1424M| 267 | 0 |1112 |1263 |1112 | 780 | 57k| 140 |3067 | 0.000000e+00 | 1.668900e+04 | Inf
880.90/880.94 c 844s| 1520k| 1519k|291982 | 0.2 |1433M| 267 | 0 |1112 |1263 |1112 | 778 | 57k| 140 |3067 | 0.000000e+00 | 1.668900e+04 | Inf
886.51/886.53 c 850s| 1530k| 1529k|293049 | 0.2 |1443M| 267 | 0 |1112 |1263 |1112 | 775 | 57k| 140 |3067 | 0.000000e+00 | 1.668900e+04 | Inf
892.11/892.10 c 855s| 1540k| 1539k|294070 | 0.2 |1452M| 267 | 0 |1112 |1263 |1112 | 774 | 58k| 140 |3067 | 0.000000e+00 | 1.668900e+04 | Inf
897.62/897.69 c 860s| 1550k| 1549k|295209 | 0.2 |1462M| 267 | 0 |1112 |1263 |1112 | 777 | 58k| 140 |3067 | 0.000000e+00 | 1.668900e+04 | Inf
903.31/903.30 c 865s| 1560k| 1559k|296572 | 0.2 |1471M| 267 | 0 |1112 |1263 |1112 | 779 | 58k| 140 |3067 | 0.000000e+00 | 1.668900e+04 | Inf
908.80/908.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
908.80/908.89 c 870s| 1570k| 1569k|297847 | 0.2 |1480M| 267 | 0 |1112 |1263 |1112 | 774 | 58k| 140 |3067 | 0.000000e+00 | 1.668900e+04 | Inf
914.41/914.48 c 875s| 1580k| 1579k|299100 | 0.2 |1490M| 267 | 0 |1112 |1263 |1112 | 778 | 58k| 140 |3067 | 0.000000e+00 | 1.668900e+04 | Inf
920.01/920.08 c 880s| 1590k| 1589k|300208 | 0.2 |1499M| 267 | 0 |1112 |1263 |1112 | 777 | 58k| 140 |3067 | 0.000000e+00 | 1.668900e+04 | Inf
925.61/925.68 c 885s| 1600k| 1599k|301312 | 0.2 |1509M| 267 | 0 |1112 |1263 |1112 | 780 | 59k| 140 |3067 | 0.000000e+00 | 1.668900e+04 | Inf
931.20/931.29 c 890s| 1610k| 1609k|302407 | 0.2 |1518M| 267 | 0 |1112 |1263 |1112 | 781 | 59k| 140 |3067 | 0.000000e+00 | 1.668900e+04 | Inf
936.81/936.89 c 895s| 1620k| 1619k|303450 | 0.2 |1527M| 267 | 0 |1112 |1263 |1112 | 774 | 59k| 140 |3072 | 0.000000e+00 | 1.668900e+04 | Inf
942.40/942.46 c 901s| 1630k| 1629k|304453 | 0.2 |1537M| 267 | 0 |1112 |1263 |1112 | 779 | 59k| 140 |3072 | 0.000000e+00 | 1.668900e+04 | Inf
948.01/948.07 c 906s| 1640k| 1639k|305485 | 0.2 |1546M| 267 | 0 |1112 |1263 |1112 | 772 | 59k| 140 |3072 | 0.000000e+00 | 1.668900e+04 | Inf
953.61/953.65 c 911s| 1650k| 1649k|306520 | 0.2 |1555M| 267 | 0 |1112 |1263 |1112 | 774 | 59k| 140 |3072 | 0.000000e+00 | 1.668900e+04 | Inf
959.21/959.25 c 916s| 1660k| 1659k|307553 | 0.2 |1565M| 267 | 0 |1112 |1263 |1112 | 780 | 60k| 140 |3072 | 0.000000e+00 | 1.668900e+04 | Inf
964.81/964.84 c 921s| 1670k| 1669k|308596 | 0.2 |1574M| 267 | 0 |1112 |1263 |1112 | 778 | 60k| 140 |3072 | 0.000000e+00 | 1.668900e+04 | Inf
970.40/970.43 c 926s| 1680k| 1679k|309649 | 0.2 |1584M| 267 | 0 |1112 |1263 |1112 | 778 | 60k| 140 |3072 | 0.000000e+00 | 1.668900e+04 | Inf
976.00/976.00 c 931s| 1690k| 1689k|310670 | 0.2 |1593M| 267 | 0 |1112 |1263 |1112 | 777 | 60k| 140 |3072 | 0.000000e+00 | 1.668900e+04 | Inf
981.50/981.58 c 936s| 1700k| 1699k|311692 | 0.2 |1602M| 267 | 0 |1112 |1263 |1112 | 775 | 60k| 140 |3072 | 0.000000e+00 | 1.668900e+04 | Inf
987.11/987.15 c 941s| 1710k| 1709k|312698 | 0.2 |1612M| 267 | 0 |1112 |1263 |1112 | 777 | 60k| 140 |3072 | 0.000000e+00 | 1.668900e+04 | Inf
992.70/992.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
992.70/992.74 c 946s| 1720k| 1719k|313757 | 0.2 |1621M| 267 | 0 |1112 |1263 |1112 | 774 | 61k| 140 |3072 | 0.000000e+00 | 1.668900e+04 | Inf
998.31/998.32 c 951s| 1730k| 1729k|314782 | 0.2 |1631M| 267 | 0 |1112 |1263 |1112 | 778 | 61k| 140 |3072 | 0.000000e+00 | 1.668900e+04 | Inf
1003.91/1003.91 c 956s| 1740k| 1739k|315828 | 0.2 |1640M| 267 | 0 |1112 |1263 |1112 | 777 | 61k| 140 |3072 | 0.000000e+00 | 1.668900e+04 | Inf
1009.51/1009.51 c 962s| 1750k| 1749k|316890 | 0.2 |1649M| 267 | 0 |1112 |1263 |1112 | 773 | 61k| 140 |3072 | 0.000000e+00 | 1.668900e+04 | Inf
1015.11/1015.12 c 967s| 1760k| 1759k|318025 | 0.2 |1659M| 267 | 0 |1112 |1263 |1112 | 773 | 61k| 140 |3072 | 0.000000e+00 | 1.668900e+04 | Inf
1020.72/1020.72 c 972s| 1770k| 1769k|319059 | 0.2 |1668M| 267 | 0 |1112 |1263 |1112 | 773 | 61k| 140 |3077 | 0.000000e+00 | 1.668900e+04 | Inf
1026.32/1026.31 c 977s| 1780k| 1779k|320183 | 0.2 |1677M| 267 | 0 |1112 |1263 |1112 | 779 | 62k| 140 |3077 | 0.000000e+00 | 1.668900e+04 | Inf
1031.81/1031.89 c 982s| 1790k| 1789k|321229 | 0.2 |1687M| 267 | 0 |1112 |1263 |1112 | 773 | 62k| 140 |3077 | 0.000000e+00 | 1.668900e+04 | Inf
1037.41/1037.47 c 987s| 1800k| 1799k|322257 | 0.2 |1696M| 267 | 0 |1112 |1263 |1112 | 778 | 62k| 140 |3077 | 0.000000e+00 | 1.668900e+04 | Inf
1043.01/1043.06 c 992s| 1810k| 1809k|323315 | 0.2 |1706M| 267 | 0 |1112 |1263 |1112 | 777 | 62k| 140 |3077 | 0.000000e+00 | 1.668900e+04 | Inf
1048.61/1048.64 c 997s| 1820k| 1819k|324376 | 0.2 |1715M| 267 | 0 |1112 |1263 |1112 | 781 | 62k| 140 |3077 | 0.000000e+00 | 1.668900e+04 | Inf
1054.21/1054.22 c 1002s| 1830k| 1829k|325417 | 0.2 |1724M| 267 | 0 |1112 |1263 |1112 | 780 | 62k| 140 |3077 | 0.000000e+00 | 1.668900e+04 | Inf
1059.81/1059.81 c 1007s| 1840k| 1839k|326506 | 0.2 |1734M| 267 | 0 |1112 |1263 |1112 | 778 | 63k| 140 |3077 | 0.000000e+00 | 1.668900e+04 | Inf
1065.31/1065.39 c 1012s| 1850k| 1849k|327553 | 0.2 |1743M| 267 | 0 |1112 |1263 |1112 | 776 | 63k| 140 |3077 | 0.000000e+00 | 1.668900e+04 | Inf
1070.91/1070.97 c 1017s| 1860k| 1859k|328579 | 0.2 |1753M| 267 | 0 |1112 |1263 |1112 | 773 | 63k| 140 |3079 | 0.000000e+00 | 1.668900e+04 | Inf
1076.51/1076.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1076.51/1076.57 c 1023s| 1870k| 1869k|329643 | 0.2 |1762M| 267 | 0 |1112 |1263 |1112 | 773 | 63k| 140 |3079 | 0.000000e+00 | 1.668900e+04 | Inf
1082.11/1082.17 c 1028s| 1880k| 1879k|330744 | 0.2 |1771M| 267 | 0 |1112 |1263 |1112 | 776 | 63k| 140 |3079 | 0.000000e+00 | 1.668900e+04 | Inf
1087.71/1087.76 c 1033s| 1890k| 1889k|331803 | 0.2 |1781M| 267 | 0 |1112 |1263 |1112 | 773 | 64k| 140 |3079 | 0.000000e+00 | 1.668900e+04 | Inf
1093.31/1093.36 c 1038s| 1900k| 1899k|332848 | 0.2 |1790M| 267 | 0 |1112 |1263 |1112 | 781 | 64k| 140 |3086 | 0.000000e+00 | 1.668900e+04 | Inf
1098.92/1098.97 c 1043s| 1910k| 1909k|333836 | 0.2 |1799M| 267 | 0 |1112 |1263 |1112 | 777 | 64k| 140 |3091 | 0.000000e+00 | 1.668900e+04 | Inf
1104.51/1104.55 c 1048s| 1920k| 1919k|334897 | 0.2 |1809M| 267 | 0 |1112 |1263 |1112 | 773 | 64k| 140 |3091 | 0.000000e+00 | 1.668900e+04 | Inf
1110.11/1110.15 c 1053s| 1930k| 1929k|335981 | 0.2 |1818M| 267 | 0 |1112 |1263 |1112 | 776 | 64k| 140 |3091 | 0.000000e+00 | 1.668900e+04 | Inf
1115.71/1115.73 c 1058s| 1940k| 1939k|337023 | 0.2 |1828M| 267 | 0 |1112 |1263 |1112 | 777 | 64k| 140 |3091 | 0.000000e+00 | 1.668900e+04 | Inf
1121.31/1121.33 c 1063s| 1950k| 1949k|338079 | 0.2 |1837M| 267 | 0 |1112 |1263 |1112 | 777 | 65k| 140 |3091 | 0.000000e+00 | 1.668900e+04 | Inf
1126.91/1126.93 c 1069s| 1960k| 1959k|339176 | 0.2 |1846M| 267 | 0 |1112 |1263 |1112 | 778 | 65k| 140 |3091 | 0.000000e+00 | 1.668900e+04 | Inf
1132.51/1132.54 c 1074s| 1970k| 1969k|340268 | 0.2 |1856M| 267 | 0 |1112 |1263 |1112 | 774 | 65k| 140 |3091 | 0.000000e+00 | 1.668900e+04 | Inf
1138.11/1138.12 c 1079s| 1980k| 1979k|341330 | 0.2 |1865M| 267 | 0 |1112 |1263 |1112 | 773 | 65k| 140 |3091 | 0.000000e+00 | 1.668900e+04 | Inf
1143.71/1143.72 c 1084s| 1990k| 1989k|342429 | 0.2 |1874M| 267 | 0 |1112 |1263 |1112 | 776 | 65k| 140 |3091 | 0.000000e+00 | 1.668900e+04 | Inf
1149.31/1149.31 c 1089s| 2000k| 1999k|343526 | 0.2 |1884M| 267 | 0 |1112 |1263 |1112 | 773 | 66k| 140 |3091 | 0.000000e+00 | 1.668900e+04 | Inf
1154.92/1154.91 c 1094s| 2010k| 2009k|344598 | 0.2 |1893M| 267 | 0 |1112 |1263 |1112 | 779 | 66k| 140 |3091 | 0.000000e+00 | 1.668900e+04 | Inf
1160.52/1160.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.52/1160.51 c 1099s| 2020k| 2019k|345676 | 0.2 |1903M| 267 | 0 |1112 |1263 |1112 | 775 | 66k| 140 |3091 | 0.000000e+00 | 1.668900e+04 | Inf
1166.02/1166.07 c 1104s| 2030k| 2029k|346662 | 0.2 |1912M| 267 | 0 |1112 |1263 |1112 | 779 | 66k| 140 |3091 | 0.000000e+00 | 1.668900e+04 | Inf
1171.61/1171.67 c 1109s| 2040k| 2039k|347647 | 0.2 |1921M| 267 | 0 |1112 |1263 |1112 | 772 | 66k| 140 |3091 | 0.000000e+00 | 1.668900e+04 | Inf
1177.22/1177.27 c 1114s| 2050k| 2049k|348665 | 0.2 |1931M| 267 | 0 |1112 |1263 |1112 | 773 | 66k| 140 |3091 | 0.000000e+00 | 1.668900e+04 | Inf
1182.82/1182.88 c 1119s| 2060k| 2059k|349687 | 0.2 |1940M| 267 | 0 |1112 |1263 |1112 | 772 | 67k| 140 |3096 | 0.000000e+00 | 1.668900e+04 | Inf
1188.42/1188.47 c 1125s| 2070k| 2069k|350749 | 0.2 |1950M| 267 | 0 |1112 |1263 |1112 | 776 | 67k| 140 |3096 | 0.000000e+00 | 1.668900e+04 | Inf
1194.01/1194.06 c 1130s| 2080k| 2079k|351800 | 0.2 |1959M| 267 | 0 |1112 |1263 |1112 | 778 | 67k| 140 |3096 | 0.000000e+00 | 1.668900e+04 | Inf
1199.62/1199.67 c 1135s| 2090k| 2089k|352827 | 0.2 |1968M| 267 | 0 |1112 |1263 |1112 | 777 | 67k| 140 |3096 | 0.000000e+00 | 1.668900e+04 | Inf
1205.22/1205.24 c 1140s| 2100k| 2099k|353600 | 0.2 |1978M| 267 | 0 |1112 |1263 |1112 | 773 | 67k| 140 |3096 | 0.000000e+00 | 1.668900e+04 | Inf
1210.81/1210.81 c 1145s| 2110k| 2109k|354377 | 0.2 |1987M| 267 | 0 |1112 |1263 |1112 | 772 | 68k| 140 |3096 | 0.000000e+00 | 1.668900e+04 | Inf
1216.31/1216.38 c 1150s| 2120k| 2119k|355118 | 0.2 |1996M| 267 | 0 |1112 |1263 |1112 | 772 | 68k| 140 |3096 | 0.000000e+00 | 1.668900e+04 | Inf
1221.91/1221.97 c 1155s| 2130k| 2129k|356039 | 0.2 |2006M| 267 | 0 |1112 |1263 |1112 | 774 | 68k| 140 |3096 | 0.000000e+00 | 1.668900e+04 | Inf
1227.52/1227.56 c 1160s| 2140k| 2139k|357075 | 0.2 |2015M| 267 | 0 |1112 |1263 |1112 | 774 | 68k| 140 |3096 | 0.000000e+00 | 1.668900e+04 | Inf
1233.12/1233.16 c 1165s| 2150k| 2149k|358080 | 0.2 |2024M| 267 | 0 |1112 |1263 |1112 | 772 | 68k| 140 |3096 | 0.000000e+00 | 1.668900e+04 | Inf
1238.72/1238.74 c 1170s| 2160k| 2159k|359032 | 0.2 |2034M| 267 | 0 |1112 |1263 |1112 | 772 | 68k| 140 |3096 | 0.000000e+00 | 1.668900e+04 | Inf
1244.32/1244.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1244.32/1244.31 c 1175s| 2170k| 2169k|359974 | 0.2 |2043M| 267 | 0 |1112 |1263 |1112 | 774 | 68k| 140 |3096 | 0.000000e+00 | 1.668900e+04 | Inf
1249.92/1249.90 c 1180s| 2180k| 2179k|361004 | 0.2 |2052M| 267 | 0 |1112 |1263 |1112 | 775 | 69k| 140 |3096 | 0.000000e+00 | 1.668900e+04 | Inf
1255.41/1255.49 c 1185s| 2190k| 2189k|361995 | 0.2 |2062M| 267 | 0 |1112 |1263 |1112 | 778 | 69k| 140 |3096 | 0.000000e+00 | 1.668900e+04 | Inf
1261.02/1261.09 c 1191s| 2200k| 2199k|363038 | 0.2 |2071M| 267 | 5 |1112 |1263 |1112 | 781 | 69k| 140 |3096 | 0.000000e+00 | 1.668900e+04 | Inf
1266.61/1266.69 c 1196s| 2210k| 2209k|364064 | 0.2 |2081M| 267 | 0 |1112 |1263 |1112 | 778 | 69k| 140 |3101 | 0.000000e+00 | 1.668900e+04 | Inf
1272.22/1272.28 c 1201s| 2220k| 2219k|365061 | 0.2 |2090M| 267 | 0 |1112 |1263 |1112 | 775 | 69k| 140 |3101 | 0.000000e+00 | 1.668900e+04 | Inf
1277.81/1277.87 c 1206s| 2230k| 2229k|366072 | 0.2 |2099M| 267 | 0 |1112 |1263 |1112 | 773 | 70k| 140 |3101 | 0.000000e+00 | 1.668900e+04 | Inf
1283.41/1283.45 c 1211s| 2240k| 2239k|367079 | 0.2 |2109M| 267 | 0 |1112 |1263 |1112 | 777 | 70k| 140 |3101 | 0.000000e+00 | 1.668900e+04 | Inf
1289.02/1289.02 c 1216s| 2250k| 2249k|368030 | 0.2 |2118M| 267 | 0 |1112 |1263 |1112 | 773 | 70k| 140 |3101 | 0.000000e+00 | 1.668900e+04 | Inf
1294.51/1294.60 c 1221s| 2260k| 2259k|368917 | 0.2 |2127M| 267 | 0 |1112 |1263 |1112 | 777 | 70k| 140 |3101 | 0.000000e+00 | 1.668900e+04 | Inf
1300.12/1300.18 c 1226s| 2270k| 2269k|369899 | 0.2 |2137M| 267 | 0 |1112 |1263 |1112 | 772 | 70k| 140 |3101 | 0.000000e+00 | 1.668900e+04 | Inf
1305.72/1305.78 c 1231s| 2280k| 2279k|370904 | 0.2 |2146M| 267 | 0 |1112 |1263 |1112 | 778 | 70k| 140 |3101 | 0.000000e+00 | 1.668900e+04 | Inf
1311.31/1311.38 c 1236s| 2290k| 2289k|372039 | 0.2 |2155M| 267 | 5 |1112 |1263 |1112 | 774 | 71k| 140 |3101 | 0.000000e+00 | 1.668900e+04 | Inf
1316.91/1316.98 c 1242s| 2300k| 2299k|373475 | 0.2 |2165M| 267 | 0 |1112 |1263 |1112 | 777 | 71k| 140 |3101 | 0.000000e+00 | 1.668900e+04 | Inf
1322.51/1322.57 c 1247s| 2310k| 2309k|374873 | 0.2 |2174M| 267 | 0 |1112 |1263 |1112 | 771 | 71k| 140 |3101 | 0.000000e+00 | 1.668900e+04 | Inf
1328.11/1328.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1328.11/1328.18 c 1252s| 2320k| 2319k|376352 | 0.2 |2184M| 267 | 0 |1112 |1263 |1112 | 778 | 71k| 140 |3101 | 0.000000e+00 | 1.668900e+04 | Inf
1333.71/1333.77 c 1257s| 2330k| 2329k|377494 | 0.2 |2193M| 267 | 0 |1112 |1263 |1112 | 773 | 71k| 140 |3101 | 0.000000e+00 | 1.668900e+04 | Inf
1339.32/1339.34 c 1262s| 2340k| 2339k|378460 | 0.2 |2202M| 267 | 0 |1112 |1263 |1112 | 773 | 71k| 140 |3101 | 0.000000e+00 | 1.668900e+04 | Inf
1344.92/1344.96 c 1267s| 2350k| 2349k|379693 | 0.2 |2212M| 267 | 0 |1112 |1263 |1112 | 776 | 72k| 140 |3106 | 0.000000e+00 | 1.668900e+04 | Inf
1350.52/1350.54 c 1272s| 2360k| 2359k|380669 | 0.2 |2221M| 267 | 0 |1112 |1263 |1112 | 774 | 72k| 140 |3106 | 0.000000e+00 | 1.668900e+04 | Inf
1356.11/1356.14 c 1277s| 2370k| 2369k|381717 | 0.2 |2231M| 267 | 0 |1112 |1263 |1112 | 773 | 72k| 140 |3106 | 0.000000e+00 | 1.668900e+04 | Inf
1361.72/1361.73 c 1282s| 2380k| 2379k|382740 | 0.2 |2240M| 267 | 0 |1112 |1263 |1112 | 775 | 72k| 140 |3106 | 0.000000e+00 | 1.668900e+04 | Inf
1367.32/1367.31 c 1287s| 2390k| 2389k|383762 | 0.2 |2249M| 267 | 0 |1112 |1263 |1112 | 775 | 72k| 140 |3106 | 0.000000e+00 | 1.668900e+04 | Inf
1372.83/1372.90 c 1292s| 2400k| 2399k|384842 | 0.2 |2259M| 267 | 0 |1112 |1263 |1112 | 777 | 73k| 140 |3106 | 0.000000e+00 | 1.668900e+04 | Inf
1378.41/1378.46 c 1298s| 2410k| 2409k|385859 | 0.2 |2268M| 267 | 0 |1112 |1263 |1112 | 780 | 73k| 140 |3106 | 0.000000e+00 | 1.668900e+04 | Inf
1384.02/1384.04 c 1303s| 2420k| 2419k|386851 | 0.2 |2277M| 267 | 0 |1112 |1263 |1112 | 778 | 73k| 140 |3106 | 0.000000e+00 | 1.668900e+04 | Inf
1389.62/1389.64 c 1308s| 2430k| 2429k|387869 | 0.2 |2287M| 267 | 0 |1112 |1263 |1112 | 774 | 73k| 140 |3106 | 0.000000e+00 | 1.668900e+04 | Inf
1395.22/1395.23 c 1313s| 2440k| 2439k|388888 | 0.2 |2296M| 267 | 0 |1112 |1263 |1112 | 773 | 73k| 140 |3106 | 0.000000e+00 | 1.668900e+04 | Inf
1400.82/1400.82 c 1318s| 2450k| 2449k|389949 | 0.2 |2306M| 267 | 0 |1112 |1263 |1112 | 776 | 73k| 140 |3106 | 0.000000e+00 | 1.668900e+04 | Inf
1406.42/1406.43 c 1323s| 2460k| 2459k|391006 | 0.2 |2315M| 267 | 0 |1112 |1263 |1112 | 780 | 74k| 140 |3106 | 0.000000e+00 | 1.668900e+04 | Inf
1412.02/1412.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1412.02/1412.00 c 1328s| 2470k| 2469k|392024 | 0.2 |2324M| 267 | 0 |1112 |1263 |1112 | 773 | 74k| 140 |3106 | 0.000000e+00 | 1.668900e+04 | Inf
1417.52/1417.59 c 1333s| 2480k| 2479k|393046 | 0.2 |2334M| 267 | 0 |1112 |1263 |1112 | 777 | 74k| 140 |3106 | 0.000000e+00 | 1.668900e+04 | Inf
1423.12/1423.18 c 1338s| 2490k| 2489k|394070 | 0.2 |2343M| 267 | 0 |1112 |1263 |1112 | 777 | 74k| 140 |3106 | 0.000000e+00 | 1.668900e+04 | Inf
1428.72/1428.77 c 1343s| 2500k| 2499k|395060 | 0.2 |2352M| 267 | 0 |1112 |1263 |1112 | 773 | 74k| 140 |3111 | 0.000000e+00 | 1.668900e+04 | Inf
1434.33/1434.36 c 1348s| 2510k| 2509k|396056 | 0.2 |2362M| 267 | 0 |1112 |1263 |1112 | 776 | 74k| 140 |3111 | 0.000000e+00 | 1.668900e+04 | Inf
1439.93/1439.93 c 1353s| 2520k| 2519k|397057 | 0.2 |2371M| 267 | 0 |1112 |1263 |1112 | 773 | 75k| 140 |3111 | 0.000000e+00 | 1.668900e+04 | Inf
1445.52/1445.51 c 1358s| 2530k| 2529k|398063 | 0.2 |2381M| 267 | 0 |1112 |1263 |1112 | 776 | 75k| 140 |3111 | 0.000000e+00 | 1.668900e+04 | Inf
1451.12/1451.10 c 1364s| 2540k| 2539k|399055 | 0.2 |2390M| 267 | 0 |1112 |1263 |1112 | 774 | 75k| 140 |3111 | 0.000000e+00 | 1.668900e+04 | Inf
1456.62/1456.68 c 1369s| 2550k| 2549k|400052 | 0.2 |2399M| 267 | 0 |1112 |1263 |1112 | 773 | 75k| 140 |3111 | 0.000000e+00 | 1.668900e+04 | Inf
1462.22/1462.24 c 1374s| 2560k| 2559k|400995 | 0.2 |2409M| 267 | 0 |1112 |1263 |1112 | 781 | 75k| 140 |3111 | 0.000000e+00 | 1.668900e+04 | Inf
1467.83/1467.81 c 1379s| 2570k| 2569k|401944 | 0.2 |2418M| 267 | 0 |1112 |1263 |1112 | 772 | 75k| 140 |3111 | 0.000000e+00 | 1.668900e+04 | Inf
1473.32/1473.36 c 1384s| 2580k| 2579k|402908 | 0.2 |2427M| 267 | 0 |1112 |1263 |1112 | 773 | 76k| 140 |3111 | 0.000000e+00 | 1.668900e+04 | Inf
1478.92/1478.93 c 1389s| 2590k| 2589k|403938 | 0.2 |2437M| 267 | 0 |1112 |1263 |1112 | 773 | 76k| 140 |3111 | 0.000000e+00 | 1.668900e+04 | Inf
1484.53/1484.51 c 1394s| 2600k| 2599k|404941 | 0.2 |2446M| 267 | 0 |1112 |1263 |1112 | 775 | 76k| 140 |3111 | 0.000000e+00 | 1.668900e+04 | Inf
1490.02/1490.08 c 1399s| 2610k| 2609k|405905 | 0.2 |2456M| 267 | 0 |1112 |1263 |1112 | 772 | 76k| 140 |3111 | 0.000000e+00 | 1.668900e+04 | Inf
1495.62/1495.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.62/1495.66 c 1404s| 2620k| 2619k|406889 | 0.2 |2465M| 267 | 0 |1112 |1263 |1112 | 772 | 76k| 140 |3111 | 0.000000e+00 | 1.668900e+04 | Inf
1501.23/1501.23 c 1409s| 2630k| 2629k|407871 | 0.2 |2474M| 267 | 0 |1112 |1263 |1112 | 773 | 76k| 140 |3111 | 0.000000e+00 | 1.668900e+04 | Inf
1506.82/1506.80 c 1414s| 2640k| 2639k|408877 | 0.2 |2484M| 267 | 0 |1112 |1263 |1112 | 777 | 77k| 140 |3111 | 0.000000e+00 | 1.668900e+04 | Inf
1512.32/1512.39 c 1420s| 2650k| 2649k|409915 | 0.2 |2493M| 267 | 0 |1112 |1263 |1112 | 776 | 77k| 140 |3116 | 0.000000e+00 | 1.668900e+04 | Inf
1517.93/1517.97 c 1425s| 2660k| 2659k|410901 | 0.2 |2502M| 267 | 0 |1112 |1263 |1112 | 774 | 77k| 140 |3116 | 0.000000e+00 | 1.668900e+04 | Inf
1523.53/1523.54 c 1430s| 2670k| 2669k|411895 | 0.2 |2512M| 267 | 0 |1112 |1263 |1112 | 776 | 77k| 140 |3116 | 0.000000e+00 | 1.668900e+04 | Inf
1529.12/1529.11 c 1435s| 2680k| 2679k|412858 | 0.2 |2521M| 267 | 0 |1112 |1263 |1112 | 774 | 77k| 140 |3116 | 0.000000e+00 | 1.668900e+04 | Inf
1534.62/1534.69 c 1440s| 2690k| 2689k|413866 | 0.2 |2531M| 267 | 0 |1112 |1263 |1112 | 773 | 77k| 140 |3116 | 0.000000e+00 | 1.668900e+04 | Inf
1540.22/1540.27 c 1445s| 2700k| 2699k|414898 | 0.2 |2540M| 267 | 0 |1112 |1263 |1112 | 774 | 78k| 140 |3116 | 0.000000e+00 | 1.668900e+04 | Inf
1545.83/1545.84 c 1450s| 2710k| 2709k|415871 | 0.2 |2549M| 267 | 0 |1112 |1263 |1112 | 773 | 78k| 140 |3116 | 0.000000e+00 | 1.668900e+04 | Inf
1551.42/1551.41 c 1455s| 2720k| 2719k|416841 | 0.2 |2559M| 267 | 0 |1112 |1263 |1112 | 778 | 78k| 140 |3116 | 0.000000e+00 | 1.668900e+04 | Inf
1557.02/1557.02 c 1460s| 2730k| 2729k|417842 | 0.2 |2568M| 267 | 0 |1112 |1263 |1112 | 773 | 78k| 140 |3116 | 0.000000e+00 | 1.668900e+04 | Inf
1562.62/1562.61 c 1465s| 2740k| 2739k|418886 | 0.2 |2577M| 267 | 0 |1112 |1263 |1112 | 777 | 78k| 140 |3116 | 0.000000e+00 | 1.668900e+04 | Inf
1568.22/1568.20 c 1470s| 2750k| 2749k|419895 | 0.2 |2587M| 267 | 0 |1112 |1263 |1112 | 773 | 78k| 140 |3116 | 0.000000e+00 | 1.668900e+04 | Inf
1573.72/1573.79 c 1476s| 2760k| 2759k|420979 | 0.2 |2596M| 267 | 1 |1112 |1263 |1112 | 773 | 79k| 140 |3116 | 0.000000e+00 | 1.668900e+04 | Inf
1579.32/1579.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1579.32/1579.37 c 1481s| 2770k| 2769k|421985 | 0.2 |2606M| 267 | 0 |1112 |1263 |1112 | 774 | 79k| 140 |3116 | 0.000000e+00 | 1.668900e+04 | Inf
1584.93/1584.96 c 1486s| 2780k| 2779k|422933 | 0.2 |2615M| 267 | 0 |1112 |1263 |1112 | 773 | 79k| 140 |3116 | 0.000000e+00 | 1.668900e+04 | Inf
1590.53/1590.54 c 1491s| 2790k| 2789k|423999 | 0.2 |2624M| 267 | 0 |1112 |1263 |1112 | 774 | 79k| 140 |3116 | 0.000000e+00 | 1.668900e+04 | Inf
1596.13/1596.13 c 1496s| 2800k| 2799k|425012 | 0.2 |2634M| 267 | 0 |1112 |1263 |1112 | 774 | 79k| 140 |3121 | 0.000000e+00 | 1.668900e+04 | Inf
1601.72/1601.70 c 1501s| 2810k| 2809k|426040 | 0.2 |2643M| 267 | 0 |1112 |1263 |1112 | 777 | 80k| 140 |3121 | 0.000000e+00 | 1.668900e+04 | Inf
1607.23/1607.28 c 1506s| 2820k| 2819k|427030 | 0.2 |2652M| 267 | 0 |1112 |1263 |1112 | 781 | 80k| 140 |3121 | 0.000000e+00 | 1.668900e+04 | Inf
1612.82/1612.87 c 1511s| 2830k| 2829k|428055 | 0.2 |2662M| 267 | 0 |1112 |1263 |1112 | 773 | 80k| 140 |3121 | 0.000000e+00 | 1.668900e+04 | Inf
1618.42/1618.46 c 1516s| 2840k| 2839k|429084 | 0.2 |2671M| 267 | 0 |1112 |1263 |1112 | 776 | 80k| 140 |3121 | 0.000000e+00 | 1.668900e+04 | Inf
1624.02/1624.03 c 1521s| 2850k| 2849k|430033 | 0.2 |2681M| 267 | 0 |1112 |1263 |1112 | 771 | 80k| 140 |3121 | 0.000000e+00 | 1.668900e+04 | Inf
1629.62/1629.62 c 1526s| 2860k| 2859k|431070 | 0.2 |2690M| 267 | 0 |1112 |1263 |1112 | 777 | 80k| 140 |3121 | 0.000000e+00 | 1.668900e+04 | Inf
1635.22/1635.20 c 1532s| 2870k| 2869k|432034 | 0.2 |2699M| 267 | 0 |1112 |1263 |1112 | 772 | 81k| 140 |3121 | 0.000000e+00 | 1.668900e+04 | Inf
1640.73/1640.78 c 1537s| 2880k| 2879k|433015 | 0.2 |2709M| 267 | 0 |1112 |1263 |1112 | 773 | 81k| 140 |3121 | 0.000000e+00 | 1.668900e+04 | Inf
1646.32/1646.36 c 1542s| 2890k| 2889k|434037 | 0.1 |2718M| 267 | 0 |1112 |1263 |1112 | 773 | 81k| 140 |3121 | 0.000000e+00 | 1.668900e+04 | Inf
1651.93/1651.94 c 1547s| 2900k| 2899k|435049 | 0.1 |2727M| 267 | 0 |1112 |1263 |1112 | 777 | 81k| 140 |3121 | 0.000000e+00 | 1.668900e+04 | Inf
1657.53/1657.52 c 1552s| 2910k| 2909k|436064 | 0.1 |2737M| 267 | 0 |1112 |1263 |1112 | 777 | 81k| 140 |3121 | 0.000000e+00 | 1.668900e+04 | Inf
1663.03/1663.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1663.03/1663.10 c 1557s| 2920k| 2919k|437010 | 0.1 |2746M| 267 | 0 |1112 |1263 |1112 | 773 | 81k| 140 |3121 | 0.000000e+00 | 1.668900e+04 | Inf
1668.63/1668.68 c 1562s| 2930k| 2929k|438019 | 0.1 |2756M| 267 | 0 |1112 |1263 |1112 | 776 | 82k| 140 |3121 | 0.000000e+00 | 1.668900e+04 | Inf
1674.23/1674.24 c 1567s| 2940k| 2939k|438991 | 0.1 |2765M| 267 | 0 |1112 |1263 |1112 | 773 | 82k| 140 |3121 | 0.000000e+00 | 1.668900e+04 | Inf
1679.82/1679.81 c 1572s| 2950k| 2949k|439979 | 0.1 |2774M| 267 | 0 |1112 |1263 |1112 | 773 | 82k| 140 |3126 | 0.000000e+00 | 1.668900e+04 | Inf
1685.42/1685.41 c 1577s| 2960k| 2959k|441025 | 0.1 |2784M| 267 | 0 |1112 |1263 |1112 | 773 | 82k| 140 |3126 | 0.000000e+00 | 1.668900e+04 | Inf
1690.92/1690.99 c 1582s| 2970k| 2969k|442033 | 0.1 |2793M| 267 | 0 |1112 |1263 |1112 | 773 | 82k| 140 |3126 | 0.000000e+00 | 1.668900e+04 | Inf
1696.52/1696.58 c 1587s| 2980k| 2979k|443063 | 0.1 |2802M| 267 | 0 |1112 |1263 |1112 | 775 | 82k| 140 |3126 | 0.000000e+00 | 1.668900e+04 | Inf
1702.12/1702.14 c 1592s| 2990k| 2989k|444090 | 0.1 |2812M| 267 | 0 |1112 |1263 |1112 | 772 | 83k| 140 |3126 | 0.000000e+00 | 1.668900e+04 | Inf
1707.73/1707.71 c 1598s| 3000k| 2999k|445093 | 0.1 |2821M| 267 | 0 |1112 |1263 |1112 | 773 | 83k| 140 |3126 | 0.000000e+00 | 1.668900e+04 | Inf
1713.23/1713.29 c 1603s| 3010k| 3009k|446102 | 0.1 |2831M| 267 | 0 |1112 |1263 |1112 | 777 | 83k| 140 |3126 | 0.000000e+00 | 1.668900e+04 | Inf
1718.83/1718.88 c 1608s| 3020k| 3019k|447097 | 0.1 |2840M| 267 | 0 |1112 |1263 |1112 | 780 | 83k| 140 |3126 | 0.000000e+00 | 1.668900e+04 | Inf
1724.42/1724.48 c 1613s| 3030k| 3029k|448142 | 0.1 |2849M| 267 | 0 |1112 |1263 |1112 | 777 | 83k| 140 |3126 | 0.000000e+00 | 1.668900e+04 | Inf
1730.03/1730.05 c 1618s| 3040k| 3039k|449159 | 0.1 |2859M| 267 | 0 |1112 |1263 |1112 | 774 | 83k| 140 |3126 | 0.000000e+00 | 1.668900e+04 | Inf
1735.63/1735.64 c 1623s| 3050k| 3049k|450183 | 0.1 |2868M| 267 | 0 |1112 |1263 |1112 | 774 | 84k| 140 |3126 | 0.000000e+00 | 1.668900e+04 | Inf
1735.84/1735.81 c (node 3050305) switching to memory saving mode (mem: 2736.0M/3420.0M)
1738.43/1738.41 o 449
1738.43/1738.41 c *1626s| 3050k| 2274k|450222 | 0.1 |2312M| 451 | - |1112 |1263 |1112 | 776 | 84k| 140 |3126 | 0.000000e+00 | 4.490000e+02 | Inf
1743.43/1743.47 o 355
1743.43/1743.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1743.43/1743.47 c *1631s| 3050k| 1006k|450224 | 0.1 |1154M| 451 | - |1112 |1263 |1112 | 776 | 84k| 140 |3126 | 0.000000e+00 | 3.550000e+02 | Inf
1743.43/1743.47 c (node 3050629) switching to standard mode (mem: 1101.2M/3420.0M)
1743.73/1743.80 o 351
1743.73/1743.80 c *1631s| 3050k|982550 |450274 | 0.1 |1137M| 451 | - |1112 |1276 |1112 | 774 | 84k| 153 |3131 | 0.000000e+00 | 3.510000e+02 | Inf
1744.23/1744.25 o 345
1744.23/1744.25 c *1632s| 3050k|905972 |450327 | 0.1 |1053M| 451 | - |1112 |1280 |1112 | 773 | 84k| 157 |3131 | 0.000000e+00 | 3.450000e+02 | Inf
1745.13/1745.10 o 334
1745.13/1745.10 c *1633s| 3050k|824417 |450401 | 0.1 | 901M| 451 | - |1112 |1287 |1112 | 775 | 84k| 164 |3131 | 0.000000e+00 | 3.340000e+02 | Inf
1745.83/1745.89 o 306
1745.83/1745.89 c *1633s| 3051k|657059 |450513 | 0.1 | 777M| 451 | - |1112 |1292 |1112 | 775 | 84k| 169 |3169 | 0.000000e+00 | 3.060000e+02 | Inf
1746.53/1746.50 o 296
1746.53/1746.50 c *1634s| 3051k|597495 |450550 | 0.1 | 660M| 451 | - |1112 |1305 |1112 | 775 | 84k| 182 |3174 | 0.000000e+00 | 2.960000e+02 | Inf
1746.92/1746.98 o 282
1746.92/1746.98 c *1634s| 3051k|533235 |450593 | 0.1 | 570M| 451 | - |1112 |1305 |1112 | 775 | 84k| 182 |3183 | 0.000000e+00 | 2.820000e+02 | Inf
1748.23/1748.25 o 229
1748.23/1748.25 c *1636s| 3051k|421362 |450881 | 0.1 | 446M| 451 | - |1112 |1307 |1112 | 776 | 84k| 184 |3304 | 0.000000e+00 | 2.290000e+02 | Inf
1748.43/1748.42 o 214
1748.43/1748.42 c *1636s| 3051k|396771 |450918 | 0.1 | 421M| 451 | - |1112 |1307 |1112 | 774 | 84k| 184 |3307 | 0.000000e+00 | 2.140000e+02 | Inf
1748.73/1748.73 o 179
1748.73/1748.73 c *1636s| 3051k|346173 |450954 | 0.1 | 365M| 451 | - |1112 |1307 |1112 | 776 | 84k| 184 |3307 | 0.000000e+00 | 1.790000e+02 | Inf
1748.93/1748.94 o 154
1748.93/1748.94 c *1636s| 3051k|311164 |450994 | 0.1 | 329M| 451 | - |1112 |1311 |1112 | 776 | 84k| 188 |3307 | 0.000000e+00 | 1.540000e+02 | Inf
1749.13/1749.15 o 137
1749.13/1749.15 c *1636s| 3052k|280503 |451040 | 0.1 | 295M| 451 | - |1112 |1311 |1112 | 774 | 84k| 188 |3311 | 0.000000e+00 | 1.370000e+02 | Inf
1749.13/1749.18 o 134
1749.13/1749.18 c *1637s| 3052k|278691 |451073 | 0.1 | 293M| 451 | - |1112 |1311 |1112 | 775 | 84k| 188 |3311 | 0.000000e+00 | 1.340000e+02 | Inf
1749.63/1749.62 o 87
1749.63/1749.62 c *1637s| 3052k|193680 |451117 | 0.1 | 213M| 451 | - |1112 |1315 |1112 | 775 | 84k| 192 |3311 | 0.000000e+00 | 8.700000e+01 | Inf
1750.03/1750.02 o 62
1750.03/1750.02 c *1637s| 3052k|114959 |451160 | 0.1 | 139M| 451 | - |1112 |1262 |1112 | 775 | 84k| 201 |3311 | 0.000000e+00 | 6.200000e+01 | Inf
1750.14/1750.16 o 42
1750.14/1750.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1750.14/1750.16 c *1637s| 3052k| 90011 |451195 | 0.1 | 115M| 451 | - |1112 |1171 |1112 | 774 | 84k| 201 |3311 | 0.000000e+00 | 4.200000e+01 | Inf
1750.14/1750.19 o 41
1750.14/1750.19 c *1638s| 3052k| 89864 |451230 | 0.1 | 115M| 451 | - |1112 |1104 |1112 | 774 | 84k| 201 |3311 | 0.000000e+00 | 4.100000e+01 | Inf
1750.23/1750.20 o 40
1750.23/1750.20 c *1638s| 3052k| 89557 |451262 | 0.1 | 115M| 451 | - |1112 |1103 |1112 | 773 | 84k| 203 |3311 | 0.000000e+00 | 4.000000e+01 | Inf
1750.33/1750.30 o 33
1750.33/1750.30 c *1638s| 3052k| 70404 |451314 | 0.1 | 102M| 451 | - |1112 |1103 |1112 | 773 | 84k| 206 |3317 | 0.000000e+00 | 3.300000e+01 | Inf
1750.33/1750.32 o 32
1750.33/1750.32 c *1638s| 3052k| 70257 |451346 | 0.1 | 102M| 451 | - |1112 |1087 |1112 | 774 | 84k| 206 |3317 | 0.000000e+00 | 3.200000e+01 | Inf
1751.52/1751.59 o 29
1751.52/1751.59 c *1639s| 3052k| 56938 |452115 | 0.1 | 80M| 451 | - |1112 |1043 |1112 | 774 | 84k| 230 |4199 | 0.000000e+00 | 2.900000e+01 | Inf
1751.83/1751.84 o 28
1751.83/1751.84 c *1639s| 3052k| 51906 |452469 | 0.1 | 75M| 451 | - |1112 |1027 |1112 | 771 | 84k| 236 |4370 | 0.000000e+00 | 2.800000e+01 | Inf
1752.52/1752.53 o 27
1752.52/1752.53 c *1640s| 3052k| 51395 |453422 | 0.1 | 75M| 451 | - |1112 |1033 |1112 | 769 | 84k| 245 |4873 | 0.000000e+00 | 2.700000e+01 | Inf
1752.63/1752.68 o 26
1752.63/1752.68 c *1640s| 3052k| 51292 |453702 | 0.1 | 75M| 451 | - |1112 |1015 |1112 | 774 | 84k| 250 |4954 | 0.000000e+00 | 2.600000e+01 | Inf
1753.23/1753.26 o 22
1753.23/1753.26 c *1640s| 3052k| 40546 |455091 | 0.1 | 65M| 451 | - |1112 |1046 |1112 | 774 | 84k| 291 |5222 | 0.000000e+00 | 2.200000e+01 | Inf
1753.23/1753.29 o 21
1753.23/1753.29 c *1640s| 3052k| 40544 |455203 | 0.1 | 65M| 451 | - |1112 |1021 |1112 | 774 | 84k| 291 |5224 | 0.000000e+00 | 2.100000e+01 | Inf
1753.33/1753.34 o 16
1753.33/1753.34 c *1640s| 3052k| 36086 |455257 | 0.1 | 59M| 451 | - |1112 |1016 |1112 | 772 | 84k| 291 |5225 | 0.000000e+00 | 1.600000e+01 | Inf
1753.33/1753.37 o 12
1753.33/1753.37 c *1640s| 3052k| 35902 |455345 | 0.1 | 59M| 451 | - |1112 | 981 |1112 | 772 | 84k| 291 |5226 | 0.000000e+00 | 1.200000e+01 | Inf
1753.44/1753.49 o 9
1753.44/1753.49 c *1641s| 3052k| 26658 |455446 | 0.1 | 40M| 451 | - |1112 | 967 |1112 | 779 | 84k| 291 |5229 | 0.000000e+00 | 9.000000e+00 | Inf
1753.53/1753.52 o 6
1753.53/1753.52 c *1641s| 3052k| 23671 |455503 | 0.1 | 36M| 451 | - |1112 | 933 |1112 | 773 | 84k| 291 |5230 | 0.000000e+00 | 6.000000e+00 | Inf
1753.53/1753.55 o 3
1753.53/1753.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1753.53/1753.55 c *1641s| 3052k| 23673 |455582 | 0.1 | 36M| 451 | - |1112 | 922 |1112 | 779 | 84k| 291 |5233 | 0.000000e+00 | 3.000000e+00 | Inf
1753.63/1753.60 o 1
1753.63/1753.60 c *1641s| 3052k| 23662 |455772 | 0.1 | 36M| 451 | - |1112 | 918 |1112 | 778 | 84k| 303 |5244 | 0.000000e+00 | 1.000000e+00 | Inf
1781.53/1781.53 c 1666s| 3060k| 24302 |538410 | 0.2 | 37M| 451 | - |1112 | 915 |1112 | 777 | 97k|3552 | 21k| 0.000000e+00 | 1.000000e+00 | Inf
1788.03/1788.02 c
1788.03/1788.02 c SCIP Status : problem is solved [optimal solution found]
1788.03/1788.02 c Solving Time (sec) : 1672.30
1788.03/1788.02 c Solving Nodes : 3061996
1788.03/1788.02 c Primal Bound : +1.00000000000000e+00 (138 solutions)
1788.03/1788.02 c Dual Bound : +1.00000000000000e+00
1788.03/1788.02 c Gap : 0.00 %
1788.03/1788.02 s OPTIMUM FOUND
1788.03/1788.02 v -x495 x494 -x493 -x492 -x491 -x490 -x489 x488 x487 -x486 x485 x484 -x483 x482 x481 -x480 x479 x478 -x477 -x476 x475 x474 x473 x472
1788.03/1788.02 v -x471 -x470 -x469 x468 x467 x466 -x465 -x464 -x463 x462 x461 x460 x459 -x458 x457 x456 x455 x454 x453 -x452 x451 x450 x449
1788.03/1788.02 v x448 -x447 x446 -x445 x444 x443 x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 x434 -x433 x432 x431 x430 -x429 x428 -x427 x426
1788.03/1788.02 v x425 x424 -x423 x422 x421 -x420 x419 x418 -x417 x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 x408 x407 x406 -x405 x404 -x403
1788.03/1788.02 v x402 x401 x400 -x399 x398 -x397 x396 x395 x394 -x393 x392 -x391 x390 x389 x388 x387 -x386 -x385 x384 x383 x382 x381 -x380
1788.03/1788.02 v -x379 x378 x377 x376 -x375 x374 x373 -x372 x371 x370 x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 x359 -x358
1788.03/1788.02 v x357 -x356 -x355 x354 -x353 -x352 -x351 x350 -x349 -x348 -x347 x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336
1788.03/1788.02 v -x335 x334 -x333 -x332 x331 -x330 -x329 -x328 -x327 x326 -x325 -x324 x323 -x322 x321 x320 x319 x318 x317 -x316 -x315 x314 x313
1788.03/1788.02 v x312 x311 x310 x309 -x308 x307 x306 x305 -x304 x303 x302 x301 x300 x299 x298 x297 x296 x295 x294 x293 x292 x291 x290 x289
1788.03/1788.02 v -x288 x287 -x286 x285 x284 -x283 x282 -x281 x280 x279 x278 -x277 x276 -x275 x274 x273 -x272 x271 -x270 -x269 x268 x267 -x266
1788.03/1788.02 v -x265 -x264 -x263 x262 x261 -x260 -x259 -x258 x257 x256 -x255 -x254 -x253 x252 x251 -x250 -x249 -x248 x247 x246 -x245 -x244 -x243
1788.03/1788.02 v x242 -x241 -x240 -x239 x238 -x237 x236 -x235 -x234 x233 x232 x231 -x230 x229 x228 -x227 x226 x225 x224 -x223 -x222 x221
1788.03/1788.02 v -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 x211 x210 x209 x208 x207 x206 x205 x204 x203 x202 -x201 -x200 x199 -x198
1788.03/1788.02 v -x197 -x196 x195 x194 x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 x185 -x184 x183 -x182 -x181 x180 -x179 -x178 -x177 x176 -x175
1788.03/1788.02 v x174 -x173 -x172 -x171 x170 x169 -x168 -x167 x166 -x165 x164 -x163 -x162 -x161 -x160 x159 x158 x157 -x156 -x155 -x154 -x153
1788.03/1788.02 v -x152 -x151 x150 -x149 x148 x147 -x146 x145 x144 x143 -x142 x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131
1788.03/1788.02 v -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 x119 x118 x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109
1788.03/1788.02 v -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 x88 -x87 -x86 -x85
1788.03/1788.02 v x84 x83 x82 -x81 x80 -x79 -x78 x77 x76 -x75 -x74 -x73 x72 -x71 x70 -x69 -x68 -x67 x66 x65 x64 x63 x62 x61 x60 x59 x58 -x57
1788.03/1788.02 v -x56 x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 x42 -x41 -x40 x39 x38 x37 -x36 x35 x34 -x33 -x32 -x31 x30
1788.03/1788.02 v x29 -x28 -x27 -x26 x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 x17 x16 x15 -x14 x13 -x12 x11 -x10 -x9 -x8 x7 x6 x5 x4 x3 -x2 -x1
1788.03/1788.02 c SCIP Status : problem is solved [optimal solution found]
1788.03/1788.02 c Solving Time : 1672.30
1788.03/1788.02 c Original Problem :
1788.03/1788.02 c Problem name : HOME/instance-2693108-1277915757.wbo
1788.03/1788.02 c Variables : 1169 (832 binary, 0 integer, 0 implicit integer, 337 continuous)
1788.03/1788.02 c Constraints : 1278 initial, 1278 maximal
1788.03/1788.02 c Presolved Problem :
1788.03/1788.02 c Problem name : t_HOME/instance-2693108-1277915757.wbo
1788.03/1788.02 c Variables : 1112 (783 binary, 0 integer, 0 implicit integer, 329 continuous)
1788.03/1788.02 c Constraints : 1198 initial, 1317 maximal
1788.03/1788.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1788.03/1788.02 c trivial : 0.00 0 0 0 0 0 0 0 0
1788.03/1788.02 c dualfix : 0.00 16 0 0 0 0 0 0 0
1788.03/1788.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1788.03/1788.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1788.03/1788.02 c implics : 0.00 0 22 0 0 0 0 0 0
1788.03/1788.02 c probing : 0.04 4 11 0 0 0 0 0 0
1788.03/1788.02 c indicator : 0.00 0 0 0 0 0 8 0 0
1788.03/1788.02 c varbound : 0.00 0 0 0 0 0 0 0 0
1788.03/1788.02 c knapsack : 0.00 0 0 0 0 0 0 0 0
1788.03/1788.02 c linear : 0.03 1 3 0 337 0 60 71 141
1788.03/1788.02 c logicor : 0.00 0 0 0 0 0 12 0 0
1788.03/1788.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1788.03/1788.02 c root node : - 514 - - 843 - - - -
1788.03/1788.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1788.03/1788.02 c integral : 0 0 0 3114633 0 0 19166 0 0 126846
1788.03/1788.02 c indicator : 329 0 5469434 3041672 0 0 2656817 0 0 0
1788.03/1788.02 c varbound : 2 6 5454427 3033872 0 0 45 1 0 0
1788.03/1788.02 c knapsack : 89 6 5511432 3047360 0 117 74920 314 0 0
1788.03/1788.02 c linear : 327 6 5511315 3047360 0 46 1116718 99511 0 0
1788.03/1788.02 c logicor : 451+ 6 1530085 2994562 0 3870 1304701 0 0 0
1788.03/1788.02 c bounddisjunction : 0+ 0 167 0 0 0 1 0 0 0
1788.03/1788.02 c countsols : 0 0 0 2994562 0 0 0 0 0 0
1788.03/1788.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1788.03/1788.02 c integral : 24.94 0.00 0.00 24.94 0.00
1788.03/1788.02 c indicator : 70.57 0.04 17.82 52.71 0.00
1788.03/1788.02 c varbound : 0.90 0.00 0.49 0.41 0.00
1788.03/1788.02 c knapsack : 5.42 0.00 3.55 1.87 0.00
1788.03/1788.02 c linear : 42.70 0.00 9.74 32.96 0.00
1788.03/1788.02 c logicor : 11.95 0.00 2.61 9.34 0.00
1788.03/1788.02 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1788.03/1788.02 c countsols : 0.34 0.00 0.00 0.34 0.00
1788.03/1788.02 c Propagators : Time Calls Cutoffs DomReds
1788.03/1788.02 c vbounds : 0.79 75825 0 34
1788.03/1788.02 c rootredcost : 0.51 34 0 327
1788.03/1788.02 c pseudoobj : 42.84 5510378 6 9779
1788.03/1788.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1788.03/1788.02 c propagation : 0.04 4037 4036 4411 5.6 87 4.2 -
1788.03/1788.02 c infeasible LP : 0.00 41 41 42 2.9 0 0.0 0
1788.03/1788.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1788.03/1788.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1788.03/1788.02 c pseudo solution : 0.00 1 1 1 1.0 1 2.0 -
1788.03/1788.02 c applied globally : - - - 4357 5.3 - - -
1788.03/1788.02 c applied locally : - - - 0 0.0 - - -
1788.03/1788.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1788.03/1788.02 c cut pool : 0.00 5 - - 157 - (maximal pool size: 802)
1788.03/1788.02 c redcost : 69.82 3114712 0 2594 0 0
1788.03/1788.02 c impliedbounds : 0.00 6 0 0 1 0
1788.03/1788.02 c intobj : 0.00 0 0 0 0 0
1788.03/1788.02 c cgmip : 0.00 0 0 0 0 0
1788.03/1788.02 c gomory : 0.04 6 0 0 141 0
1788.03/1788.02 c strongcg : 0.03 6 0 0 68 0
1788.03/1788.02 c cmir : 0.06 6 0 0 284 0
1788.03/1788.02 c flowcover : 0.09 6 0 0 632 0
1788.03/1788.02 c clique : 0.00 6 0 0 4 0
1788.03/1788.02 c zerohalf : 0.00 0 0 0 0 0
1788.03/1788.02 c mcf : 0.00 1 0 0 0 0
1788.03/1788.02 c rapidlearning : 0.00 0 0 0 0 0
1788.03/1788.02 c Pricers : Time Calls Vars
1788.03/1788.02 c problem variables: 0.00 0 0
1788.03/1788.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1788.03/1788.02 c relpscost : 24.52 67273 0 19166 0 0 126846
1788.03/1788.02 c pscost : 0.00 0 0 0 0 0 0
1788.03/1788.02 c inference : 98.17 2994529 0 0 0 0 5989058
1788.03/1788.02 c mostinf : 0.00 0 0 0 0 0 0
1788.03/1788.02 c leastinf : 0.00 0 0 0 0 0 0
1788.03/1788.02 c fullstrong : 0.00 0 0 0 0 0 0
1788.03/1788.02 c allfullstrong : 0.00 0 0 0 0 0 0
1788.03/1788.02 c random : 0.00 0 0 0 0 0 0
1788.03/1788.02 c Primal Heuristics : Time Calls Found
1788.03/1788.02 c LP solutions : 12.61 - 33
1788.03/1788.02 c pseudo solutions : 0.00 - 0
1788.03/1788.02 c feaspump : 0.02 1 0
1788.03/1788.02 c oneopt : 0.86 33 0
1788.03/1788.02 c crossover : 0.60 15 0
1788.03/1788.02 c fracdiving : 5.64 24151 0
1788.03/1788.02 c veclendiving : 5.61 24151 0
1788.03/1788.02 c linesearchdiving : 5.49 24151 0
1788.03/1788.02 c guideddiving : 5.78 24151 0
1788.03/1788.02 c coefdiving : 6.07 24151 0
1788.03/1788.02 c pscostdiving : 5.70 24152 0
1788.03/1788.02 c rootsoldiving : 6.32 24144 0
1788.03/1788.02 c objpscostdiving : 6.28 24145 0
1788.03/1788.02 c trivial : 0.00 2 0
1788.03/1788.02 c simplerounding : 0.32 63573 0
1788.03/1788.02 c zirounding : 0.35 1000 0
1788.03/1788.02 c rounding : 0.50 3556 0
1788.03/1788.02 c shifting : 0.38 1055 0
1788.03/1788.02 c intshifting : 0.01 8 0
1788.03/1788.02 c twoopt : 0.00 0 0
1788.03/1788.02 c fixandinfer : 0.00 0 0
1788.03/1788.02 c intdiving : 0.00 0 0
1788.03/1788.02 c actconsdiving : 0.00 0 0
1788.03/1788.02 c octane : 0.00 0 0
1788.03/1788.02 c rens : 0.02 1 0
1788.03/1788.02 c rins : 0.00 0 0
1788.03/1788.02 c localbranching : 0.00 0 0
1788.03/1788.02 c mutation : 0.00 0 0
1788.03/1788.02 c dins : 0.00 0 0
1788.03/1788.02 c undercover : 0.00 0 0
1788.03/1788.02 c nlp : 0.38 0 0
1788.03/1788.02 c trysol : 0.70 26049 105
1788.03/1788.02 c LP : Time Calls Iterations Iter/call Iter/sec
1788.03/1788.02 c primal LP : 0.01 0 0 0.00 0.00
1788.03/1788.02 c dual LP : 860.30 256212 555096 2.17 645.24
1788.03/1788.02 c lex dual LP : 0.00 0 0 0.00 -
1788.03/1788.02 c barrier LP : 0.00 0 0 0.00 -
1788.03/1788.02 c diving/probing LP: 0.43 507 3296 6.50 7665.12
1788.03/1788.02 c strong branching : 24.16 24542 133101 5.42 5509.15
1788.03/1788.02 c (at root node) : - 17 822 48.35 -
1788.03/1788.02 c conflict analysis: 0.00 0 0 0.00 -
1788.03/1788.02 c B&B Tree :
1788.03/1788.02 c number of runs : 1
1788.03/1788.02 c nodes : 3061996
1788.03/1788.02 c nodes (total) : 3061996
1788.03/1788.02 c nodes left : 0
1788.03/1788.02 c max depth : 451
1788.03/1788.02 c max depth (total): 451
1788.03/1788.02 c backtracks : 26313 (0.9%)
1788.03/1788.02 c delayed cutoffs : 33053
1788.03/1788.02 c repropagations : 4105 (12249 domain reductions, 34 cutoffs)
1788.03/1788.02 c avg switch length: 2.16
1788.03/1788.02 c switching time : 68.10
1788.03/1788.02 c Solution :
1788.03/1788.02 c Solutions found : 138 (34 improvements)
1788.03/1788.02 c First Solution : +1.66890000000000e+04 (in run 1, after 1 nodes, 0.07 seconds, depth 0, found by <trysol>)
1788.03/1788.02 c Primal Bound : +1.00000000000000e+00 (in run 1, after 3052901 nodes, 1640.63 seconds, depth 60, found by <relaxation>)
1788.03/1788.02 c Dual Bound : +1.00000000000000e+00
1788.03/1788.02 c Gap : 0.00 %
1788.03/1788.02 c Root Dual Bound : +0.00000000000000e+00
1788.03/1788.02 c Root Iterations : 945
1788.03/1788.05 c Time complete: 1788.09.
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693108-1277915757/watcher-2693108-1277915757 -o /tmp/evaluation-result-2693108-1277915757/solver-2693108-1277915757 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693108-1277915757.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.88 1.93 1.96 4/178 18966 /proc/meminfo: memFree=30751352/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=10872 CPUtime=0 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 1650 0 0 0 0 0 0 0 25 0 1 0 132870336 11132928 1570 4089446400 4194304 9819077 140733445490736 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/18966/statm: 2718 1585 392 1374 0 1339 0 [startup+0.01969 s] /proc/loadavg: 1.88 1.93 1.96 4/178 18966 /proc/meminfo: memFree=30751352/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=17544 CPUtime=0.01 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 3496 0 0 0 1 0 0 0 25 0 1 0 132870336 17965056 3062 4089446400 4194304 9819077 140733445490736 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18966/statm: 4386 3062 487 1374 0 3007 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 17544 [startup+0.100659 s] /proc/loadavg: 1.88 1.93 1.96 4/178 18966 /proc/meminfo: memFree=30751352/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=20148 CPUtime=0.09 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 8339 0 0 0 8 1 0 0 25 0 1 0 132870336 20631552 3792 4089446400 4194304 9819077 140733445490736 18446744073709551615 4581644 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18966/statm: 5037 3801 548 1374 0 3658 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20148 [startup+0.300627 s] /proc/loadavg: 1.88 1.93 1.96 4/178 18966 /proc/meminfo: memFree=30751352/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=25468 CPUtime=0.29 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 9630 0 0 0 27 2 0 0 25 0 1 0 132870336 26079232 4768 4089446400 4194304 9819077 140733445490736 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18966/statm: 6367 4768 697 1374 0 4988 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25468 [startup+0.700553 s] /proc/loadavg: 1.88 1.93 1.96 4/178 18966 /proc/meminfo: memFree=30751352/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=27412 CPUtime=0.69 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 23448 0 0 0 66 3 0 0 25 0 1 0 132870336 28069888 5032 4089446400 4194304 9819077 140733445490736 18446744073709551615 7311927 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18966/statm: 6853 5032 724 1374 0 5474 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27412 [startup+1.50041 s] /proc/loadavg: 1.88 1.93 1.96 3/179 18967 /proc/meminfo: memFree=30733736/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=27424 CPUtime=1.49 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 34862 0 0 0 143 6 0 0 25 0 1 0 132870336 28082176 5014 4089446400 4194304 9819077 140733445490736 18446744073709551615 6670199 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18966/statm: 6856 5014 724 1374 0 5477 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27424 [startup+3.10013 s] /proc/loadavg: 1.88 1.93 1.96 3/179 18967 /proc/meminfo: memFree=30733884/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=27596 CPUtime=3.09 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 59214 0 0 0 298 11 0 0 25 0 1 0 132870336 28258304 5021 4089446400 4194304 9819077 140733445490736 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18966/statm: 6899 5021 727 1374 0 5520 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27596 [startup+6.30055 s] /proc/loadavg: 1.89 1.93 1.96 3/179 18967 /proc/meminfo: memFree=30732944/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=29920 CPUtime=6.29 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 136587 0 0 0 599 30 0 0 25 0 1 0 132870336 30638080 5592 4089446400 4194304 9819077 140733445490736 18446744073709551615 6669837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18966/statm: 7480 5592 729 1374 0 6101 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29920 [startup+12.7004 s] /proc/loadavg: 1.90 1.93 1.96 3/179 18967 /proc/meminfo: memFree=30721592/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=36160 CPUtime=12.7 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 206436 0 0 0 1215 55 0 0 25 0 1 0 132870336 37027840 7612 4089446400 4194304 9819077 140733445490736 18446744073709551615 6590493 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18966/statm: 9040 7612 729 1374 0 7661 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 36160 [startup+25.5001 s] /proc/loadavg: 1.92 1.93 1.96 3/179 18968 /proc/meminfo: memFree=30694808/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=55416 CPUtime=25.49 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 275743 0 0 0 2449 100 0 0 25 0 1 0 132870336 56745984 12442 4089446400 4194304 9819077 140733445490736 18446744073709551615 6361119 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18966/statm: 13854 12442 729 1374 0 12475 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 55416 [startup+51.1005 s] /proc/loadavg: 1.95 1.94 1.96 3/179 18969 /proc/meminfo: memFree=30650352/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=98328 CPUtime=51.09 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 373436 0 0 0 4926 183 0 0 25 0 1 0 132870336 100687872 22806 4089446400 4194304 9819077 140733445490736 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18966/statm: 24582 22806 729 1374 0 23203 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 98328 [startup+102.306 s] /proc/loadavg: 2.04 1.96 1.97 3/179 18970 /proc/meminfo: memFree=30554328/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=174228 CPUtime=102.3 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 566527 0 0 0 9879 351 0 0 25 0 1 0 132870336 178409472 42164 4089446400 4194304 9819077 140733445490736 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18966/statm: 43557 42164 729 1374 0 42178 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 174228 [startup+162.301 s] /proc/loadavg: 2.01 1.97 1.97 3/179 18971 /proc/meminfo: memFree=30442520/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=268964 CPUtime=162.29 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 719652 0 0 0 15703 526 0 0 25 0 1 0 132870336 275419136 65200 4089446400 4194304 9819077 140733445490736 18446744073709551615 4819295 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18966/statm: 67241 65200 729 1374 0 65862 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 268964 [startup+222.301 s] /proc/loadavg: 2.00 1.97 1.97 3/179 18973 /proc/meminfo: memFree=30323560/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=363688 CPUtime=222.3 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 853241 0 0 0 21529 701 0 0 25 0 1 0 132870336 372416512 89277 4089446400 4194304 9819077 140733445490736 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18966/statm: 90922 89277 729 1374 0 89543 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 363688 [startup+282.3 s] /proc/loadavg: 2.00 1.97 1.97 3/179 18975 /proc/meminfo: memFree=30211404/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=457196 CPUtime=282.3 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 980843 0 0 0 27359 871 0 0 25 0 1 0 132870336 468168704 113065 4089446400 4194304 9819077 140733445490736 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18966/statm: 114299 113065 729 1374 0 112920 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 457196 [startup+342.3 s] /proc/loadavg: 2.00 1.97 1.97 3/179 18976 /proc/meminfo: memFree=30094400/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=559676 CPUtime=342.3 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 1113479 0 0 0 33181 1049 0 0 25 0 1 0 132870336 573108224 137036 4089446400 4194304 9819077 140733445490736 18446744073709551615 6372747 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18966/statm: 139919 137036 729 1374 0 138540 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 559676 [startup+402.301 s] /proc/loadavg: 2.00 1.97 1.97 3/179 18978 /proc/meminfo: memFree=29972320/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=657820 CPUtime=402.3 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 1195778 0 0 0 39014 1216 0 0 25 0 1 0 132870336 673607680 161963 4089446400 4194304 9819077 140733445490736 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18966/statm: 164455 161963 729 1374 0 163076 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 657820 [startup+462.301 s] /proc/loadavg: 2.00 1.97 1.97 3/179 18979 /proc/meminfo: memFree=29847276/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=758412 CPUtime=462.3 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 1280495 0 0 0 44850 1380 0 0 25 0 1 0 132870336 776613888 187547 4089446400 4194304 9819077 140733445490736 18446744073709551615 7815933 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18966/statm: 189603 187547 729 1374 0 188224 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 758412 [startup+522.3 s] /proc/loadavg: 2.00 1.97 1.97 3/179 18981 /proc/meminfo: memFree=29728420/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=856760 CPUtime=522.31 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 1382960 0 0 0 50679 1552 0 0 25 0 1 0 132870336 877322240 212529 4089446400 4194304 9819077 140733445490736 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18966/statm: 214190 212529 729 1374 0 212811 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 856760 [startup+582.301 s] /proc/loadavg: 2.00 1.97 1.97 3/179 18983 /proc/meminfo: memFree=29602992/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=971992 CPUtime=582.31 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 1479091 0 0 0 56512 1719 0 0 25 0 1 0 132870336 995319808 237664 4089446400 4194304 9819077 140733445490736 18446744073709551615 7487731 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18966/statm: 242998 237664 729 1374 0 241619 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 971992 [startup+642.301 s] /proc/loadavg: 2.00 1.97 1.97 3/179 18984 /proc/meminfo: memFree=29480164/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=1071092 CPUtime=642.32 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 1581367 0 0 0 62333 1899 0 0 25 0 1 0 132870336 1096798208 262856 4089446400 4194304 9819077 140733445490736 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/18966/statm: 267773 262856 729 1374 0 266394 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1071092 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=29357708/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=1665936 CPUtime=1002.31 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 2190192 0 0 0 95500 4731 0 0 25 0 1 0 132870336 1705918464 414114 4089446400 4194304 9819077 140733445490736 18446744073709551615 7301784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18966/statm: 416484 414114 729 1374 0 415105 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1665936 [startup+1062.3 s] /proc/loadavg: 2.00 1.99 1.97 3/179 19096 /proc/meminfo: memFree=29234636/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=1762000 CPUtime=1062.31 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 2291189 0 0 0 100956 5275 0 0 25 0 1 0 132870336 1804288000 438550 4089446400 4194304 9819077 140733445490736 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18966/statm: 440500 438550 729 1374 0 439121 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1762000 [startup+1122.3 s] /proc/loadavg: 2.00 1.99 1.97 3/179 19098 /proc/meminfo: memFree=29109832/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=1865044 CPUtime=1122.31 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 2395300 0 0 0 106434 5797 0 0 25 0 1 0 132870336 1909805056 464728 4089446400 4194304 9819077 140733445490736 18446744073709551615 7816434 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18966/statm: 466261 464728 729 1374 0 464882 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1865044 [startup+1182.3 s] /proc/loadavg: 2.00 1.99 1.97 3/179 19100 /proc/meminfo: memFree=28986188/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=1993140 CPUtime=1182.31 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 2497497 0 0 0 111891 6340 0 0 25 0 1 0 132870336 2040975360 488987 4089446400 4194304 9819077 140733445490736 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18966/statm: 498285 488987 729 1374 0 496906 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1993140 [startup+1242.3 s] /proc/loadavg: 2.00 1.99 1.97 3/179 19101 /proc/meminfo: memFree=28859396/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=2091724 CPUtime=1242.32 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 2594026 0 0 0 117355 6877 0 0 25 0 1 0 132870336 2141925376 514045 4089446400 4194304 9819077 140733445490736 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18966/statm: 522931 514045 729 1374 0 521552 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 2091724 [startup+1302.3 s] /proc/loadavg: 2.00 1.99 1.97 3/179 19103 /proc/meminfo: memFree=28731604/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=2192012 CPUtime=1302.32 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 2693529 0 0 0 122811 7421 0 0 25 0 1 0 132870336 2244620288 539537 4089446400 4194304 9819077 140733445490736 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18966/statm: 548003 539537 729 1374 0 546624 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 2192012 [startup+1362.3 s] /proc/loadavg: 2.00 1.99 1.97 3/179 19104 /proc/meminfo: memFree=28604076/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=2290960 CPUtime=1362.32 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 2795457 0 0 0 128278 7954 0 0 25 0 1 0 132870336 2345943040 564700 4089446400 4194304 9819077 140733445490736 18446744073709551615 6361141 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18966/statm: 572740 564700 729 1374 0 571361 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 2290960 [startup+1422.31 s] /proc/loadavg: 2.00 1.99 1.97 3/179 19106 /proc/meminfo: memFree=28479876/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=2388572 CPUtime=1422.32 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 2895834 0 0 0 133740 8492 0 0 25 0 1 0 132870336 2445897728 589484 4089446400 4194304 9819077 140733445490736 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18966/statm: 597143 589484 729 1374 0 595764 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 2388572 [startup+1482.3 s] /proc/loadavg: 2.00 1.99 1.97 3/179 19108 /proc/meminfo: memFree=28359920/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=2486408 CPUtime=1482.32 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 2994143 0 0 0 139207 9025 0 0 25 0 1 0 132870336 2546081792 614367 4089446400 4194304 9819077 140733445490736 18446744073709551615 7815988 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18966/statm: 621602 614367 729 1374 0 620223 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 2486408 [startup+1542.3 s] /proc/loadavg: 2.00 1.99 1.97 3/179 19118 /proc/meminfo: memFree=28235160/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=2585604 CPUtime=1542.32 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 3093277 0 0 0 144686 9546 0 0 25 0 1 0 132870336 2647658496 639587 4089446400 4194304 9819077 140733445490736 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18966/statm: 646401 639587 729 1374 0 645022 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 2585604 [startup+1602.3 s] /proc/loadavg: 2.00 1.99 1.97 3/179 19120 /proc/meminfo: memFree=28105900/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=2685548 CPUtime=1602.32 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 3193197 0 0 0 150151 10081 0 0 25 0 1 0 132870336 2750001152 664999 4089446400 4194304 9819077 140733445490736 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18966/statm: 671387 664999 729 1374 0 670008 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 2685548 [startup+1662.3 s] /proc/loadavg: 2.00 1.99 1.97 3/179 19121 /proc/meminfo: memFree=27979988/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=2784512 CPUtime=1662.33 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 3292244 0 0 0 155619 10614 0 0 25 0 1 0 132870336 2851340288 690154 4089446400 4194304 9819077 140733445490736 18446744073709551615 6364616 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18966/statm: 696128 690154 729 1374 0 694749 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 2784512 [startup+1722.3 s] /proc/loadavg: 2.00 1.99 1.97 3/179 19123 /proc/meminfo: memFree=27856288/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=2884104 CPUtime=1722.33 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 3391505 0 0 0 161100 11133 0 0 25 0 1 0 132870336 2953322496 715472 4089446400 4194304 9819077 140733445490736 18446744073709551615 7816416 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18966/statm: 721026 715472 729 1374 0 719647 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 2884104 [startup+1782.3 s] /proc/loadavg: 2.00 1.99 1.97 3/179 19125 /proc/meminfo: memFree=27894544/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=2817940 CPUtime=1782.33 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 3955384 0 0 0 166710 11523 0 0 25 0 1 0 132870336 2885570560 699333 4089446400 4194304 9819077 140733445490736 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18966/statm: 704485 699333 731 1374 0 703106 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 2817940 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 1.99 1.97 3/179 19125 /proc/meminfo: memFree=27893544/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=2819232 CPUtime=1785.53 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 4005236 0 0 0 167008 11545 0 0 25 0 1 0 132870336 2886893568 699339 4089446400 4194304 9819077 140733445490736 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18966/statm: 704862 699340 731 1374 0 703483 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (KiB) 2819232 [startup+1787.1 s] /proc/loadavg: 2.00 1.99 1.97 3/179 19125 /proc/meminfo: memFree=27893172/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=2819668 CPUtime=1787.13 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 4029123 0 0 0 167155 11558 0 0 25 0 1 0 132870336 2887340032 699342 4089446400 4194304 9819077 140733445490736 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18966/statm: 704917 699342 731 1374 0 703538 0 Current children cumulated CPU time (s) 1787.13 Current children cumulated vsize (KiB) 2819668 [startup+1787.51 s] /proc/loadavg: 2.00 1.99 1.97 3/179 19125 /proc/meminfo: memFree=27893172/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=2818004 CPUtime=1787.54 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 4034663 0 0 0 167193 11561 0 0 25 0 1 0 132870336 2885636096 699341 4089446400 4194304 9819077 140733445490736 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18966/statm: 704501 699341 731 1374 0 703122 0 Current children cumulated CPU time (s) 1787.54 Current children cumulated vsize (KiB) 2818004 [startup+1787.9 s] /proc/loadavg: 2.00 1.99 1.97 3/179 19125 /proc/meminfo: memFree=27893172/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=2383004 CPUtime=1787.93 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 4036330 0 0 0 167227 11566 0 0 25 0 1 0 132870336 2440196096 590558 4089446400 4194304 9819077 140733445490736 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18966/statm: 595654 590558 731 1374 0 594275 0 Current children cumulated CPU time (s) 1787.93 Current children cumulated vsize (KiB) 2383004 [startup+1788 s] /proc/loadavg: 2.00 1.99 1.97 3/179 19125 /proc/meminfo: memFree=27893172/32951124 swapFree=67111528/67111528 [pid=18966] ppid=18964 vsize=932056 CPUtime=1788.03 /proc/18966/stat : 18966 (pbscip.linux.x8) R 18964 18966 17925 0 -1 4202496 4036330 0 0 0 167230 11573 0 0 25 0 1 0 132870336 954425344 227919 4089446400 4194304 9819077 140733445490736 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18966/statm: 232885 227702 731 1374 0 231506 0 Current children cumulated CPU time (s) 1788.03 Current children cumulated vsize (KiB) 932056 Child status: 0 Real time (s): 1788.05 CPU time (s): 1788.09 CPU user time (s): 1672.32 CPU system time (s): 115.77 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2970608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1672.32 system time used= 115.77 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4036335 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= 1077 runsolver used 2.38764 second user time and 5.83611 second system time The end
Begin job on node146 at 2010-06-30 18:35:57 IDJOB=2693108 IDBENCH=79061 IDSOLVER=1205 FILE ID=node146/2693108-1277915757 PBS_JOBID= 11197345 Free space on /tmp= 74172 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-44s.smv--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693108-1277915757/watcher-2693108-1277915757 -o /tmp/evaluation-result-2693108-1277915757/solver-2693108-1277915757 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693108-1277915757.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8bd111ad23cbe0cb7f1571b060618f25 RANDOM SEED=385711613 node146.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.839 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.839 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.83 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.839 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.75 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.839 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.839 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.67 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.839 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.82 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.839 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.74 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.839 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30751880 kB Buffers: 205000 kB Cached: 1337348 kB SwapCached: 0 kB Active: 934104 kB Inactive: 1116236 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30751880 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6296 kB Writeback: 0 kB AnonPages: 508064 kB Mapped: 17652 kB Slab: 84100 kB PageTables: 5892 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 668760 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= 74168 MiB End job on node146 at 2010-06-30 19:05:45