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.3 with Clp 1.11.1 (Release Version) as LP solver | MSAT | 1795 | 1794.93 |
| Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh214_wcsp.wbo |
| MD5SUM | 7b7f899ec609c9207642e3bd82d991a6 |
| 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 | 75 |
| Best CPU time to get the best result obtained on this benchmark | 0.287955 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 200 |
| Total number of constraints | 900 |
| Number of soft constraints | 800 |
| Number of constraints which are clauses | 800 |
| Number of constraints which are cardinality constraints (but not clauses) | 100 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 11 |
| Top cost | 394239 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 394238 |
| Biggest number in a constraint | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| 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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705739-1278580125.wbo>
0.00/0.01 c original problem has 1800 variables (1000 bin, 0 int, 800 impl, 0 cont) and 1701 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 800 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 101/900 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 100 deleted vars, 101 deleted constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 1800 implications, 0 cliques
0.00/0.05 c presolved problem has 1700 variables (900 bin, 0 int, 800 impl, 0 cont) and 1600 constraints
0.00/0.05 c 800 constraints of type <linear>
0.00/0.05 c 800 constraints of type <indicator>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.03
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.3
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1789.99
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 3420
0.00/0.05 c
0.00/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/indicator/addCouplingCons = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.05 o 394238
0.00/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.05 c t 0.0s| 1 | 0 | 0 | - |5950k| 0 | - |1700 |1600 | 0 | 0 | 0 | 0 | 0 | -- | 3.942380e+05 | Inf
0.00/0.05 c 0.0s| 1 | 0 | 0 | - |6323k| 0 | 0 |1700 |1600 |1700 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 33 | - |6384k| 0 | 0 |1700 |1600 |1700 | 63 | 63 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 104 | - |6402k| 0 | 24 |1700 |1600 |1700 | 97 | 97 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 135 | - |6456k| 0 | 52 |1700 |1600 |1700 | 124 | 124 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 180 | - |6759k| 0 | 59 |1700 |1600 |1700 | 142 | 142 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 233 | - |6782k| 0 | 53 |1700 |1600 |1700 | 156 | 156 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.17 c 0.2s| 1 | 0 | 258 | - |6848k| 0 | 52 |1700 |1600 |1700 | 171 | 171 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.29/0.30 c 0.3s| 1 | 2 | 258 | - |6873k| 0 | 52 |1700 |1600 |1700 | 171 | 171 | 0 | 33 | 0.000000e+00 | 3.942380e+05 | Inf
7.60/7.68 c 7.7s| 10000 | 9995 | 15288 | 1.5 | 17M| 665 | 4 |1700 |1604 |1700 | 198 |1680 | 4 | 772 | 0.000000e+00 | 3.942380e+05 | Inf
9.19/9.22 o 15992
9.19/9.22 c * 9.2s| 12319 | 12312 | 18452 | 1.5 | 20M| 665 | - |1700 |1604 |1700 | 279 |2168 | 4 | 779 | 0.000000e+00 | 1.599200e+04 | Inf
14.29/14.38 c 14.4s| 20000 | 19991 | 29175 | 1.4 | 28M| 665 | 0 |1700 |1606 |1700 | 209 |3417 | 6 | 788 | 0.000000e+00 | 1.599200e+04 | Inf
20.69/20.76 c 20.7s| 30000 | 29991 | 37931 | 1.3 | 37M| 665 | 0 |1700 |1606 |1700 | 233 |4542 | 6 | 788 | 0.000000e+00 | 1.599200e+04 | Inf
27.09/27.11 c 27.1s| 40000 | 39989 | 47177 | 1.2 | 47M| 665 | 0 |1700 |1608 |1700 | 229 |5865 | 8 | 788 | 0.000000e+00 | 1.599200e+04 | Inf
33.29/33.32 c 33.3s| 50000 | 49987 | 53610 | 1.1 | 56M| 665 | 0 |1700 |1609 |1700 | 209 |6810 | 9 | 788 | 0.000000e+00 | 1.599200e+04 | Inf
39.50/39.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.50/39.55 c 39.5s| 60000 | 59983 | 59578 | 1.0 | 65M| 665 | 0 |1700 |1611 |1700 | 201 |7718 | 11 | 788 | 0.000000e+00 | 1.599200e+04 | Inf
45.79/45.85 c 45.8s| 70000 | 69983 | 64643 | 0.9 | 75M| 665 | 0 |1700 |1611 |1700 | 192 |8514 | 11 | 788 | 0.000000e+00 | 1.599200e+04 | Inf
51.99/52.08 c 52.1s| 80000 | 79983 | 69507 | 0.9 | 84M| 665 | 0 |1700 |1611 |1700 | 204 |9297 | 11 | 788 | 0.000000e+00 | 1.599200e+04 | Inf
58.10/58.18 c 58.2s| 90000 | 89983 | 73817 | 0.8 | 93M| 665 | 0 |1700 |1611 |1700 | 213 | 10k| 11 | 788 | 0.000000e+00 | 1.599200e+04 | Inf
64.29/64.30 c 64.3s|100000 | 99983 | 78155 | 0.8 | 103M| 665 | 0 |1700 |1611 |1700 | 213 | 10k| 11 | 788 | 0.000000e+00 | 1.599200e+04 | Inf
70.30/70.34 c 70.3s|110000 |109977 | 81828 | 0.7 | 112M| 665 | 0 |1700 |1614 |1700 | 209 | 11k| 14 | 788 | 0.000000e+00 | 1.599200e+04 | Inf
76.60/76.60 c 76.6s|120000 |119973 | 86486 | 0.7 | 121M| 665 | 0 |1700 |1616 |1700 | 172 | 12k| 16 | 788 | 0.000000e+00 | 1.599200e+04 | Inf
82.79/82.88 c 82.9s|130000 |129971 | 91803 | 0.7 | 131M| 665 | 0 |1700 |1617 |1700 | 189 | 12k| 17 | 788 | 0.000000e+00 | 1.599200e+04 | Inf
89.50/89.58 c 89.6s|140000 |139971 |100058 | 0.7 | 140M| 665 | 0 |1700 |1617 |1700 | 219 | 14k| 17 | 788 | 0.000000e+00 | 1.599200e+04 | Inf
95.89/95.97 c 96.0s|150000 |149971 |106148 | 0.7 | 149M| 665 | 0 |1700 |1617 |1700 | 190 | 14k| 17 | 790 | 0.000000e+00 | 1.599200e+04 | Inf
102.30/102.31 c 102s|160000 |159971 |110185 | 0.7 | 159M| 665 | 0 |1700 |1617 |1700 | 197 | 15k| 17 | 806 | 0.000000e+00 | 1.599200e+04 | Inf
108.59/108.61 c 109s|170000 |169971 |115253 | 0.7 | 168M| 665 | 0 |1700 |1617 |1700 | 192 | 16k| 17 | 810 | 0.000000e+00 | 1.599200e+04 | Inf
114.69/114.73 c 115s|180000 |179971 |118344 | 0.7 | 177M| 665 | 0 |1700 |1617 |1700 | 194 | 16k| 17 | 823 | 0.000000e+00 | 1.599200e+04 | Inf
120.79/120.90 c 121s|190000 |189971 |122038 | 0.6 | 187M| 665 | 0 |1700 |1616 |1700 | 189 | 17k| 17 | 831 | 0.000000e+00 | 1.599200e+04 | Inf
127.09/127.18 c 127s|200000 |199971 |126146 | 0.6 | 196M| 665 | 0 |1700 |1616 |1700 | 185 | 18k| 17 | 841 | 0.000000e+00 | 1.599200e+04 | Inf
133.59/133.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.59/133.64 c 134s|210000 |209971 |132203 | 0.6 | 205M| 665 | 0 |1700 |1616 |1700 | 189 | 19k| 17 | 862 | 0.000000e+00 | 1.599200e+04 | Inf
140.00/140.07 c 140s|220000 |219971 |136116 | 0.6 | 214M| 665 | 0 |1700 |1616 |1700 | 177 | 19k| 17 | 882 | 0.000000e+00 | 1.599200e+04 | Inf
146.40/146.42 c 146s|230000 |229971 |140714 | 0.6 | 224M| 665 | 0 |1700 |1615 |1700 | 175 | 20k| 17 | 918 | 0.000000e+00 | 1.599200e+04 | Inf
152.91/152.93 c 153s|240000 |239971 |146669 | 0.6 | 233M| 665 | 0 |1700 |1614 |1700 | 225 | 21k| 17 | 956 | 0.000000e+00 | 1.599200e+04 | Inf
159.30/159.31 c 159s|250000 |249971 |151712 | 0.6 | 242M| 665 | 0 |1700 |1614 |1700 | 213 | 21k| 17 | 970 | 0.000000e+00 | 1.599200e+04 | Inf
165.80/165.84 c 166s|260000 |259969 |158577 | 0.6 | 252M| 665 | 0 |1700 |1615 |1700 | 212 | 22k| 18 |1000 | 0.000000e+00 | 1.599200e+04 | Inf
172.50/172.51 c 172s|270000 |269969 |165669 | 0.6 | 261M| 665 | 0 |1700 |1614 |1700 | 210 | 24k| 18 |1024 | 0.000000e+00 | 1.599200e+04 | Inf
178.60/178.64 c 179s|280000 |279969 |168943 | 0.6 | 270M| 665 | 0 |1700 |1614 |1700 | 203 | 24k| 18 |1051 | 0.000000e+00 | 1.599200e+04 | Inf
184.70/184.77 c 185s|290000 |289969 |172134 | 0.6 | 280M| 665 | 0 |1700 |1612 |1700 | 195 | 24k| 18 |1058 | 0.000000e+00 | 1.599200e+04 | Inf
190.90/190.91 c 191s|300000 |299969 |175483 | 0.6 | 289M| 665 | 0 |1700 |1612 |1700 | 187 | 25k| 18 |1059 | 0.000000e+00 | 1.599200e+04 | Inf
196.90/196.91 c 197s|310000 |309969 |178216 | 0.6 | 298M| 665 | 0 |1700 |1612 |1700 | 191 | 25k| 18 |1082 | 0.000000e+00 | 1.599200e+04 | Inf
202.90/202.94 c 203s|320000 |319969 |180447 | 0.6 | 307M| 665 | 0 |1700 |1612 |1700 | 193 | 26k| 18 |1082 | 0.000000e+00 | 1.599200e+04 | Inf
209.09/209.11 c 209s|330000 |329969 |183856 | 0.6 | 317M| 665 | 0 |1700 |1611 |1700 | 194 | 26k| 18 |1093 | 0.000000e+00 | 1.599200e+04 | Inf
215.20/215.27 c 215s|340000 |339969 |187657 | 0.6 | 326M| 665 | 0 |1700 |1611 |1700 | 184 | 27k| 18 |1112 | 0.000000e+00 | 1.599200e+04 | Inf
221.30/221.33 c 221s|350000 |349969 |191243 | 0.5 | 335M| 665 | 0 |1700 |1611 |1700 | 184 | 27k| 18 |1124 | 0.000000e+00 | 1.599200e+04 | Inf
227.50/227.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.50/227.52 c 228s|360000 |359969 |194683 | 0.5 | 344M| 665 | 0 |1700 |1611 |1700 | 187 | 28k| 18 |1132 | 0.000000e+00 | 1.599200e+04 | Inf
233.80/233.83 c 234s|370000 |369969 |199105 | 0.5 | 354M| 665 | 0 |1700 |1611 |1700 | 196 | 29k| 18 |1163 | 0.000000e+00 | 1.599200e+04 | Inf
239.71/239.77 c 240s|380000 |379969 |202209 | 0.5 | 363M| 665 | 0 |1700 |1609 |1700 | 218 | 29k| 18 |1167 | 0.000000e+00 | 1.599200e+04 | Inf
245.70/245.78 c 246s|390000 |389969 |206029 | 0.5 | 372M| 665 | 0 |1700 |1609 |1700 | 190 | 30k| 18 |1182 | 0.000000e+00 | 1.599200e+04 | Inf
251.90/251.98 c 252s|400000 |399969 |210357 | 0.5 | 381M| 665 | 0 |1700 |1609 |1700 | 197 | 30k| 18 |1189 | 0.000000e+00 | 1.599200e+04 | Inf
258.20/258.27 c 258s|410000 |409967 |215108 | 0.5 | 391M| 665 | 0 |1700 |1610 |1700 | 205 | 31k| 19 |1212 | 0.000000e+00 | 1.599200e+04 | Inf
264.61/264.63 c 265s|420000 |419967 |219750 | 0.5 | 400M| 665 | 0 |1700 |1610 |1700 | 195 | 32k| 19 |1250 | 0.000000e+00 | 1.599200e+04 | Inf
271.00/271.05 c 271s|430000 |429967 |224239 | 0.5 | 409M| 665 | 0 |1700 |1610 |1700 | 205 | 33k| 19 |1293 | 0.000000e+00 | 1.599200e+04 | Inf
277.50/277.51 c 277s|440000 |439967 |229316 | 0.5 | 419M| 665 | 0 |1700 |1610 |1700 | 175 | 33k| 19 |1304 | 0.000000e+00 | 1.599200e+04 | Inf
283.81/283.82 c 284s|450000 |449967 |233184 | 0.5 | 428M| 665 | 0 |1700 |1610 |1700 | 189 | 34k| 19 |1313 | 0.000000e+00 | 1.599200e+04 | Inf
290.20/290.27 c 290s|460000 |459965 |237550 | 0.5 | 437M| 665 | 0 |1700 |1611 |1700 | 184 | 35k| 20 |1334 | 0.000000e+00 | 1.599200e+04 | Inf
296.61/296.63 c 297s|470000 |469965 |241014 | 0.5 | 446M| 665 | 0 |1700 |1611 |1700 | 208 | 35k| 20 |1336 | 0.000000e+00 | 1.599200e+04 | Inf
302.91/302.90 c 303s|480000 |479965 |244476 | 0.5 | 456M| 665 | 0 |1700 |1611 |1700 | 182 | 36k| 20 |1349 | 0.000000e+00 | 1.599200e+04 | Inf
309.60/309.60 c 310s|490000 |489965 |249815 | 0.5 | 465M| 665 | 0 |1700 |1611 |1700 | 192 | 36k| 20 |1397 | 0.000000e+00 | 1.599200e+04 | Inf
315.81/315.89 c 316s|500000 |499965 |253817 | 0.5 | 474M| 665 | 0 |1700 |1611 |1700 | 188 | 37k| 20 |1402 | 0.000000e+00 | 1.599200e+04 | Inf
322.31/322.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
322.31/322.34 c 322s|510000 |509965 |258614 | 0.5 | 484M| 665 | 0 |1700 |1610 |1700 | 182 | 38k| 20 |1408 | 0.000000e+00 | 1.599200e+04 | Inf
328.81/328.87 c 329s|520000 |519965 |263563 | 0.5 | 493M| 665 | 0 |1700 |1610 |1700 | 205 | 38k| 20 |1435 | 0.000000e+00 | 1.599200e+04 | Inf
335.30/335.39 c 335s|530000 |529965 |268829 | 0.5 | 502M| 665 | 0 |1700 |1610 |1700 | 181 | 39k| 20 |1459 | 0.000000e+00 | 1.599200e+04 | Inf
341.90/341.91 c 342s|540000 |539965 |273623 | 0.5 | 511M| 665 | 0 |1700 |1611 |1700 | 172 | 40k| 21 |1482 | 0.000000e+00 | 1.599200e+04 | Inf
348.21/348.27 c 348s|550000 |549965 |277792 | 0.5 | 521M| 665 | 0 |1700 |1611 |1700 | 192 | 40k| 21 |1496 | 0.000000e+00 | 1.599200e+04 | Inf
354.50/354.54 c 355s|560000 |559965 |282628 | 0.5 | 530M| 665 | 0 |1700 |1611 |1700 | 192 | 41k| 21 |1509 | 0.000000e+00 | 1.599200e+04 | Inf
361.01/361.05 c 361s|570000 |569965 |288571 | 0.5 | 539M| 665 | 0 |1700 |1611 |1700 | 180 | 42k| 21 |1539 | 0.000000e+00 | 1.599200e+04 | Inf
367.70/367.70 c 368s|580000 |579963 |295449 | 0.5 | 549M| 665 | 0 |1700 |1611 |1700 | 189 | 43k| 22 |1562 | 0.000000e+00 | 1.599200e+04 | Inf
374.01/374.09 c 374s|590000 |589963 |300733 | 0.5 | 558M| 665 | 0 |1700 |1611 |1700 | 208 | 44k| 22 |1572 | 0.000000e+00 | 1.599200e+04 | Inf
380.31/380.36 c 380s|600000 |599963 |305576 | 0.5 | 567M| 665 | 0 |1700 |1611 |1700 | 191 | 44k| 22 |1578 | 0.000000e+00 | 1.599200e+04 | Inf
386.81/386.84 c 387s|610000 |609963 |310960 | 0.5 | 576M| 665 | 0 |1700 |1611 |1700 | 196 | 45k| 22 |1619 | 0.000000e+00 | 1.599200e+04 | Inf
393.10/393.17 c 393s|620000 |619963 |315418 | 0.5 | 586M| 665 | 0 |1700 |1611 |1700 | 199 | 46k| 22 |1630 | 0.000000e+00 | 1.599200e+04 | Inf
399.50/399.57 c 400s|630000 |629963 |320646 | 0.5 | 595M| 665 | 0 |1700 |1611 |1700 | 197 | 47k| 22 |1648 | 0.000000e+00 | 1.599200e+04 | Inf
405.91/405.98 c 406s|640000 |639961 |325002 | 0.5 | 604M| 665 | 0 |1700 |1612 |1700 | 218 | 47k| 23 |1671 | 0.000000e+00 | 1.599200e+04 | Inf
412.31/412.36 c 412s|650000 |649961 |329367 | 0.5 | 614M| 665 | 0 |1700 |1612 |1700 | 192 | 48k| 23 |1682 | 0.000000e+00 | 1.599200e+04 | Inf
418.81/418.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
418.81/418.80 c 419s|660000 |659961 |333684 | 0.5 | 623M| 665 | 0 |1700 |1611 |1700 | 190 | 49k| 23 |1691 | 0.000000e+00 | 1.599200e+04 | Inf
425.10/425.18 c 425s|670000 |669961 |337619 | 0.5 | 632M| 665 | 0 |1700 |1611 |1700 | 194 | 49k| 23 |1701 | 0.000000e+00 | 1.599200e+04 | Inf
431.60/431.62 c 432s|680000 |679961 |341898 | 0.5 | 641M| 665 | 0 |1700 |1609 |1700 | 215 | 50k| 23 |1725 | 0.000000e+00 | 1.599200e+04 | Inf
438.11/438.18 c 438s|690000 |689961 |347240 | 0.5 | 651M| 665 | 0 |1700 |1609 |1700 | 178 | 50k| 23 |1740 | 0.000000e+00 | 1.599200e+04 | Inf
444.51/444.55 c 445s|700000 |699961 |351824 | 0.5 | 660M| 665 | 0 |1700 |1609 |1700 | 209 | 51k| 23 |1763 | 0.000000e+00 | 1.599200e+04 | Inf
451.21/451.29 c 451s|710000 |709961 |357133 | 0.5 | 669M| 665 | 0 |1700 |1609 |1700 | 179 | 52k| 23 |1777 | 0.000000e+00 | 1.599200e+04 | Inf
457.61/457.66 c 458s|720000 |719961 |360730 | 0.5 | 679M| 665 | 0 |1700 |1608 |1700 | 190 | 53k| 23 |1794 | 0.000000e+00 | 1.599200e+04 | Inf
463.71/463.70 c 464s|730000 |729961 |363554 | 0.5 | 688M| 665 | 0 |1700 |1608 |1700 | 198 | 53k| 23 |1796 | 0.000000e+00 | 1.599200e+04 | Inf
469.81/469.81 c 470s|740000 |739961 |366543 | 0.5 | 697M| 665 | 0 |1700 |1608 |1700 | 201 | 54k| 23 |1799 | 0.000000e+00 | 1.599200e+04 | Inf
475.71/475.77 c 476s|750000 |749961 |368921 | 0.5 | 706M| 665 | 0 |1700 |1608 |1700 | 201 | 54k| 23 |1799 | 0.000000e+00 | 1.599200e+04 | Inf
481.61/481.65 c 482s|760000 |759961 |371288 | 0.5 | 716M| 665 | 0 |1700 |1608 |1700 | 205 | 55k| 23 |1803 | 0.000000e+00 | 1.599200e+04 | Inf
487.91/487.94 c 488s|770000 |769961 |376133 | 0.5 | 725M| 665 | 0 |1700 |1608 |1700 | 183 | 55k| 23 |1829 | 0.000000e+00 | 1.599200e+04 | Inf
494.41/494.45 c 494s|780000 |779959 |380768 | 0.5 | 734M| 665 | 0 |1700 |1608 |1700 | 185 | 56k| 24 |1853 | 0.000000e+00 | 1.599200e+04 | Inf
500.91/500.92 c 501s|790000 |789959 |384704 | 0.5 | 743M| 665 | 0 |1700 |1607 |1700 | 190 | 57k| 24 |1873 | 0.000000e+00 | 1.599200e+04 | Inf
507.12/507.18 c 507s|800000 |799957 |388365 | 0.5 | 753M| 665 | 0 |1700 |1608 |1700 | 206 | 57k| 25 |1881 | 0.000000e+00 | 1.599200e+04 | Inf
513.51/513.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
513.51/513.51 c 514s|810000 |809957 |391488 | 0.5 | 762M| 665 | 0 |1700 |1608 |1700 | 206 | 58k| 25 |1891 | 0.000000e+00 | 1.599200e+04 | Inf
519.81/519.88 c 520s|820000 |819957 |394847 | 0.5 | 771M| 665 | 0 |1700 |1608 |1700 | 192 | 59k| 25 |1895 | 0.000000e+00 | 1.599200e+04 | Inf
526.21/526.29 c 526s|830000 |829957 |398404 | 0.5 | 781M| 665 | 0 |1700 |1608 |1700 | 208 | 59k| 25 |1902 | 0.000000e+00 | 1.599200e+04 | Inf
532.71/532.73 c 533s|840000 |839957 |402274 | 0.5 | 790M| 665 | 0 |1700 |1608 |1700 | 198 | 60k| 25 |1914 | 0.000000e+00 | 1.599200e+04 | Inf
539.02/539.04 c 539s|850000 |849957 |405406 | 0.5 | 799M| 665 | 0 |1700 |1608 |1700 | 183 | 60k| 25 |1934 | 0.000000e+00 | 1.599200e+04 | Inf
545.51/545.54 c 546s|860000 |859957 |409868 | 0.5 | 808M| 665 | 0 |1700 |1607 |1700 | 211 | 61k| 25 |1942 | 0.000000e+00 | 1.599200e+04 | Inf
552.01/552.05 c 552s|870000 |869957 |414679 | 0.5 | 818M| 665 | 0 |1700 |1607 |1700 | 197 | 62k| 25 |1952 | 0.000000e+00 | 1.599200e+04 | Inf
558.41/558.46 c 558s|880000 |879957 |418680 | 0.5 | 827M| 665 | 0 |1700 |1607 |1700 | 180 | 62k| 25 |1960 | 0.000000e+00 | 1.599200e+04 | Inf
564.81/564.82 c 565s|890000 |889957 |422985 | 0.5 | 836M| 665 | 0 |1700 |1607 |1700 | 195 | 63k| 25 |1966 | 0.000000e+00 | 1.599200e+04 | Inf
571.11/571.19 c 571s|900000 |899957 |427019 | 0.5 | 845M| 665 | 0 |1700 |1607 |1700 | 209 | 63k| 25 |1971 | 0.000000e+00 | 1.599200e+04 | Inf
577.52/577.55 c 578s|910000 |909957 |430913 | 0.5 | 855M| 665 | 0 |1700 |1607 |1700 | 200 | 64k| 25 |1989 | 0.000000e+00 | 1.599200e+04 | Inf
583.92/583.96 c 584s|920000 |919957 |434576 | 0.5 | 864M| 665 | 0 |1700 |1607 |1700 | 198 | 64k| 25 |2025 | 0.000000e+00 | 1.599200e+04 | Inf
590.41/590.40 c 590s|930000 |929957 |438538 | 0.5 | 873M| 665 | 0 |1700 |1607 |1700 | 201 | 65k| 25 |2029 | 0.000000e+00 | 1.599200e+04 | Inf
596.82/596.89 c 597s|940000 |939957 |442058 | 0.5 | 882M| 665 | 0 |1700 |1607 |1700 | 182 | 66k| 25 |2046 | 0.000000e+00 | 1.599200e+04 | Inf
603.41/603.49 c 603s|950000 |949957 |446065 | 0.5 | 892M| 665 | 0 |1700 |1607 |1700 | 200 | 66k| 25 |2059 | 0.000000e+00 | 1.599200e+04 | Inf
609.91/609.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.91/609.93 c 610s|960000 |959957 |449503 | 0.5 | 901M| 665 | 0 |1700 |1607 |1700 | 216 | 67k| 25 |2071 | 0.000000e+00 | 1.599200e+04 | Inf
616.22/616.24 c 616s|970000 |969957 |453326 | 0.5 | 910M| 665 | 0 |1700 |1606 |1700 | 211 | 67k| 25 |2075 | 0.000000e+00 | 1.599200e+04 | Inf
622.81/622.83 c 623s|980000 |979957 |457646 | 0.5 | 920M| 665 | 0 |1700 |1606 |1700 | 179 | 68k| 25 |2107 | 0.000000e+00 | 1.599200e+04 | Inf
629.22/629.26 c 629s|990000 |989957 |460836 | 0.5 | 929M| 665 | 0 |1700 |1606 |1700 | 187 | 69k| 25 |2112 | 0.000000e+00 | 1.599200e+04 | Inf
635.62/635.61 c 636s| 1000k|999957 |464361 | 0.5 | 938M| 665 | 0 |1700 |1606 |1700 | 197 | 69k| 25 |2118 | 0.000000e+00 | 1.599200e+04 | Inf
641.92/641.98 c 642s| 1010k| 1009k|467639 | 0.5 | 947M| 665 | 0 |1700 |1607 |1700 | 223 | 70k| 26 |2124 | 0.000000e+00 | 1.599200e+04 | Inf
648.32/648.32 c 648s| 1020k| 1019k|471188 | 0.5 | 957M| 665 | 0 |1700 |1607 |1700 | 201 | 70k| 26 |2128 | 0.000000e+00 | 1.599200e+04 | Inf
654.72/654.71 c 655s| 1030k| 1029k|474831 | 0.5 | 966M| 665 | 0 |1700 |1607 |1700 | 206 | 71k| 26 |2147 | 0.000000e+00 | 1.599200e+04 | Inf
661.12/661.13 c 661s| 1040k| 1039k|478396 | 0.5 | 975M| 665 | 0 |1700 |1607 |1700 | 199 | 72k| 26 |2147 | 0.000000e+00 | 1.599200e+04 | Inf
667.62/667.60 c 668s| 1050k| 1049k|481897 | 0.5 | 984M| 665 | 0 |1700 |1607 |1700 | 208 | 73k| 26 |2149 | 0.000000e+00 | 1.599200e+04 | Inf
674.01/674.09 c 674s| 1060k| 1059k|485615 | 0.5 | 994M| 665 | 0 |1700 |1607 |1700 | 195 | 73k| 26 |2157 | 0.000000e+00 | 1.599200e+04 | Inf
680.51/680.55 c 681s| 1070k| 1069k|489424 | 0.5 |1003M| 665 | 0 |1700 |1608 |1700 | 210 | 74k| 27 |2157 | 0.000000e+00 | 1.599200e+04 | Inf
686.91/687.00 c 687s| 1080k| 1079k|493294 | 0.5 |1012M| 665 | 0 |1700 |1608 |1700 | 210 | 75k| 27 |2157 | 0.000000e+00 | 1.599200e+04 | Inf
693.41/693.48 c 693s| 1090k| 1089k|497176 | 0.5 |1021M| 665 | 0 |1700 |1608 |1700 | 205 | 76k| 27 |2157 | 0.000000e+00 | 1.599200e+04 | Inf
699.92/699.94 c 700s| 1100k| 1099k|500932 | 0.5 |1031M| 665 | 0 |1700 |1608 |1700 | 205 | 77k| 27 |2157 | 0.000000e+00 | 1.599200e+04 | Inf
706.32/706.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
706.32/706.36 c 706s| 1110k| 1109k|504643 | 0.5 |1040M| 665 | 0 |1700 |1608 |1700 | 202 | 77k| 27 |2165 | 0.000000e+00 | 1.599200e+04 | Inf
712.72/712.77 c 713s| 1120k| 1119k|508499 | 0.5 |1049M| 665 | 0 |1700 |1608 |1700 | 242 | 78k| 27 |2166 | 0.000000e+00 | 1.599200e+04 | Inf
719.02/719.09 c 719s| 1130k| 1129k|511604 | 0.5 |1059M| 665 | 0 |1700 |1608 |1700 | 211 | 78k| 27 |2178 | 0.000000e+00 | 1.599200e+04 | Inf
725.42/725.46 c 725s| 1140k| 1139k|514800 | 0.5 |1068M| 665 | 0 |1700 |1608 |1700 | 194 | 79k| 27 |2178 | 0.000000e+00 | 1.599200e+04 | Inf
731.82/731.84 c 732s| 1150k| 1149k|518983 | 0.5 |1077M| 665 | 0 |1700 |1608 |1700 | 197 | 79k| 27 |2178 | 0.000000e+00 | 1.599200e+04 | Inf
738.32/738.32 c 738s| 1160k| 1159k|524402 | 0.5 |1086M| 665 | 0 |1700 |1608 |1700 | 208 | 80k| 27 |2178 | 0.000000e+00 | 1.599200e+04 | Inf
744.82/744.82 c 745s| 1170k| 1169k|529193 | 0.5 |1096M| 665 | 0 |1700 |1608 |1700 | 201 | 81k| 27 |2178 | 0.000000e+00 | 1.599200e+04 | Inf
751.32/751.37 c 751s| 1180k| 1179k|533964 | 0.5 |1105M| 665 | 0 |1700 |1608 |1700 | 213 | 82k| 27 |2183 | 0.000000e+00 | 1.599200e+04 | Inf
757.82/757.82 c 758s| 1190k| 1189k|537469 | 0.5 |1114M| 665 | 0 |1700 |1608 |1700 | 216 | 82k| 27 |2209 | 0.000000e+00 | 1.599200e+04 | Inf
764.22/764.22 c 764s| 1200k| 1199k|541022 | 0.5 |1123M| 665 | 0 |1700 |1608 |1700 | 193 | 83k| 27 |2213 | 0.000000e+00 | 1.599200e+04 | Inf
770.53/770.58 c 771s| 1210k| 1209k|544057 | 0.4 |1133M| 665 | 0 |1700 |1608 |1700 | 195 | 83k| 27 |2217 | 0.000000e+00 | 1.599200e+04 | Inf
777.12/777.14 c 777s| 1220k| 1219k|548551 | 0.4 |1142M| 665 | 0 |1700 |1608 |1700 | 208 | 84k| 27 |2222 | 0.000000e+00 | 1.599200e+04 | Inf
783.72/783.75 c 784s| 1230k| 1229k|553502 | 0.4 |1151M| 665 | 0 |1700 |1608 |1700 | 209 | 85k| 27 |2226 | 0.000000e+00 | 1.599200e+04 | Inf
790.32/790.32 c 790s| 1240k| 1239k|557458 | 0.4 |1160M| 665 | 0 |1700 |1608 |1700 | 195 | 86k| 27 |2226 | 0.000000e+00 | 1.599200e+04 | Inf
796.72/796.78 c 797s| 1250k| 1249k|560744 | 0.4 |1170M| 665 | 0 |1700 |1608 |1700 | 206 | 86k| 27 |2229 | 0.000000e+00 | 1.599200e+04 | Inf
803.32/803.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
803.32/803.38 c 803s| 1260k| 1259k|566790 | 0.4 |1179M| 665 | 0 |1700 |1608 |1700 | 200 | 87k| 27 |2229 | 0.000000e+00 | 1.599200e+04 | Inf
809.72/809.75 c 810s| 1270k| 1269k|570840 | 0.4 |1188M| 665 | 0 |1700 |1608 |1700 | 199 | 88k| 27 |2246 | 0.000000e+00 | 1.599200e+04 | Inf
816.02/816.03 c 816s| 1280k| 1279k|572938 | 0.4 |1197M| 665 | 0 |1700 |1608 |1700 | 196 | 88k| 27 |2248 | 0.000000e+00 | 1.599200e+04 | Inf
822.33/822.36 c 822s| 1290k| 1289k|575430 | 0.4 |1207M| 665 | 0 |1700 |1608 |1700 | 203 | 88k| 27 |2251 | 0.000000e+00 | 1.599200e+04 | Inf
828.62/828.68 c 829s| 1300k| 1299k|577561 | 0.4 |1216M| 665 | 0 |1700 |1608 |1700 | 195 | 88k| 27 |2251 | 0.000000e+00 | 1.599200e+04 | Inf
834.93/834.97 c 835s| 1310k| 1309k|579988 | 0.4 |1225M| 665 | 0 |1700 |1608 |1700 | 196 | 89k| 27 |2251 | 0.000000e+00 | 1.599200e+04 | Inf
841.43/841.43 c 841s| 1320k| 1319k|582995 | 0.4 |1234M| 665 | 0 |1700 |1607 |1700 | 206 | 89k| 27 |2252 | 0.000000e+00 | 1.599200e+04 | Inf
847.82/847.89 c 848s| 1330k| 1329k|585484 | 0.4 |1244M| 665 | 0 |1700 |1607 |1700 | 194 | 89k| 27 |2252 | 0.000000e+00 | 1.599200e+04 | Inf
854.23/854.29 c 854s| 1340k| 1339k|587550 | 0.4 |1253M| 665 | 0 |1700 |1607 |1700 | 198 | 90k| 27 |2255 | 0.000000e+00 | 1.599200e+04 | Inf
860.62/860.63 c 861s| 1350k| 1349k|589697 | 0.4 |1262M| 665 | 0 |1700 |1607 |1700 | 195 | 90k| 27 |2259 | 0.000000e+00 | 1.599200e+04 | Inf
867.03/867.05 c 867s| 1360k| 1359k|591038 | 0.4 |1272M| 665 | 0 |1700 |1607 |1700 | 200 | 90k| 27 |2261 | 0.000000e+00 | 1.599200e+04 | Inf
873.43/873.45 c 873s| 1370k| 1369k|594209 | 0.4 |1281M| 665 | 0 |1700 |1607 |1700 | 218 | 90k| 27 |2261 | 0.000000e+00 | 1.599200e+04 | Inf
879.93/879.90 c 880s| 1380k| 1379k|597931 | 0.4 |1290M| 665 | 0 |1700 |1607 |1700 | 202 | 91k| 27 |2261 | 0.000000e+00 | 1.599200e+04 | Inf
886.43/886.41 c 886s| 1390k| 1389k|601953 | 0.4 |1299M| 665 | 0 |1700 |1607 |1700 | 199 | 92k| 27 |2261 | 0.000000e+00 | 1.599200e+04 | Inf
892.82/892.81 c 893s| 1400k| 1399k|605623 | 0.4 |1309M| 665 | 0 |1700 |1607 |1700 | 204 | 93k| 27 |2261 | 0.000000e+00 | 1.599200e+04 | Inf
899.32/899.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
899.32/899.34 c 899s| 1410k| 1409k|609491 | 0.4 |1318M| 665 | 0 |1700 |1607 |1700 | 201 | 94k| 27 |2261 | 0.000000e+00 | 1.599200e+04 | Inf
905.83/905.85 c 906s| 1420k| 1419k|613079 | 0.4 |1327M| 665 | 0 |1700 |1607 |1700 | 200 | 94k| 27 |2261 | 0.000000e+00 | 1.599200e+04 | Inf
912.22/912.24 c 912s| 1430k| 1429k|616619 | 0.4 |1336M| 665 | 0 |1700 |1607 |1700 | 203 | 95k| 27 |2272 | 0.000000e+00 | 1.599200e+04 | Inf
918.73/918.72 c 919s| 1440k| 1439k|620007 | 0.4 |1346M| 665 | 0 |1700 |1607 |1700 | 197 | 96k| 27 |2274 | 0.000000e+00 | 1.599200e+04 | Inf
925.33/925.31 c 925s| 1450k| 1449k|623574 | 0.4 |1355M| 665 | 0 |1700 |1607 |1700 | 219 | 97k| 27 |2276 | 0.000000e+00 | 1.599200e+04 | Inf
931.73/931.76 c 932s| 1460k| 1459k|627520 | 0.4 |1364M| 665 | 0 |1700 |1607 |1700 | 201 | 97k| 27 |2276 | 0.000000e+00 | 1.599200e+04 | Inf
938.23/938.23 c 938s| 1470k| 1469k|630443 | 0.4 |1374M| 665 | 0 |1700 |1606 |1700 | 208 | 98k| 27 |2276 | 0.000000e+00 | 1.599200e+04 | Inf
944.73/944.71 c 945s| 1480k| 1479k|633050 | 0.4 |1383M| 665 | 0 |1700 |1606 |1700 | 201 | 99k| 27 |2276 | 0.000000e+00 | 1.599200e+04 | Inf
951.13/951.14 c 951s| 1490k| 1489k|636330 | 0.4 |1392M| 665 | 0 |1700 |1606 |1700 | 203 | 99k| 27 |2276 | 0.000000e+00 | 1.599200e+04 | Inf
957.53/957.58 c 958s| 1500k| 1499k|639580 | 0.4 |1401M| 665 | 0 |1700 |1606 |1700 | 203 | 100k| 27 |2276 | 0.000000e+00 | 1.599200e+04 | Inf
963.93/963.99 c 964s| 1510k| 1509k|642807 | 0.4 |1411M| 665 | 0 |1700 |1606 |1700 | 196 | 101k| 27 |2276 | 0.000000e+00 | 1.599200e+04 | Inf
970.33/970.38 c 970s| 1520k| 1519k|645465 | 0.4 |1420M| 665 | 0 |1700 |1606 |1700 | 194 | 102k| 27 |2276 | 0.000000e+00 | 1.599200e+04 | Inf
976.84/976.83 c 977s| 1530k| 1529k|648365 | 0.4 |1429M| 665 | 0 |1700 |1606 |1700 | 201 | 102k| 27 |2276 | 0.000000e+00 | 1.599200e+04 | Inf
983.13/983.16 c 983s| 1540k| 1539k|651137 | 0.4 |1439M| 665 | 0 |1700 |1606 |1700 | 193 | 103k| 27 |2276 | 0.000000e+00 | 1.599200e+04 | Inf
989.53/989.55 c 990s| 1550k| 1549k|653943 | 0.4 |1448M| 665 | 0 |1700 |1606 |1700 | 197 | 103k| 27 |2276 | 0.000000e+00 | 1.599200e+04 | Inf
995.83/995.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
995.83/995.88 c 996s| 1560k| 1559k|656465 | 0.4 |1457M| 665 | 0 |1700 |1606 |1700 | 204 | 104k| 27 |2276 | 0.000000e+00 | 1.599200e+04 | Inf
1002.23/1002.20 c 1002s| 1570k| 1569k|659104 | 0.4 |1466M| 665 | 0 |1700 |1606 |1700 | 202 | 104k| 27 |2276 | 0.000000e+00 | 1.599200e+04 | Inf
1008.53/1008.52 c 1009s| 1580k| 1579k|661781 | 0.4 |1476M| 665 | 0 |1700 |1606 |1700 | 211 | 105k| 27 |2276 | 0.000000e+00 | 1.599200e+04 | Inf
1014.83/1014.89 c 1015s| 1590k| 1589k|664816 | 0.4 |1485M| 665 | 0 |1700 |1606 |1700 | 211 | 105k| 27 |2276 | 0.000000e+00 | 1.599200e+04 | Inf
1021.23/1021.21 c 1021s| 1600k| 1599k|667432 | 0.4 |1494M| 665 | 0 |1700 |1606 |1700 | 211 | 106k| 27 |2276 | 0.000000e+00 | 1.599200e+04 | Inf
1027.53/1027.58 c 1028s| 1610k| 1609k|670365 | 0.4 |1503M| 665 | 0 |1700 |1606 |1700 | 220 | 106k| 27 |2276 | 0.000000e+00 | 1.599200e+04 | Inf
1033.94/1034.00 c 1034s| 1620k| 1619k|673681 | 0.4 |1513M| 665 | 0 |1700 |1606 |1700 | 202 | 107k| 27 |2276 | 0.000000e+00 | 1.599200e+04 | Inf
1040.34/1040.36 c 1040s| 1630k| 1629k|675913 | 0.4 |1522M| 665 | 0 |1700 |1606 |1700 | 196 | 107k| 27 |2276 | 0.000000e+00 | 1.599200e+04 | Inf
1046.74/1046.75 c 1047s| 1640k| 1639k|678227 | 0.4 |1531M| 665 | 0 |1700 |1606 |1700 | 218 | 108k| 27 |2277 | 0.000000e+00 | 1.599200e+04 | Inf
1053.03/1053.05 c 1053s| 1650k| 1649k|679730 | 0.4 |1541M| 665 | 0 |1700 |1606 |1700 | 193 | 108k| 27 |2277 | 0.000000e+00 | 1.599200e+04 | Inf
1059.54/1059.57 c 1060s| 1660k| 1659k|684469 | 0.4 |1550M| 665 | 0 |1700 |1606 |1700 | 188 | 109k| 27 |2277 | 0.000000e+00 | 1.599200e+04 | Inf
1066.03/1066.05 c 1066s| 1670k| 1669k|688427 | 0.4 |1559M| 665 | 0 |1700 |1606 |1700 | 190 | 110k| 27 |2277 | 0.000000e+00 | 1.599200e+04 | Inf
1072.54/1072.51 c 1072s| 1680k| 1679k|692682 | 0.4 |1568M| 665 | 0 |1700 |1606 |1700 | 191 | 111k| 27 |2283 | 0.000000e+00 | 1.599200e+04 | Inf
1078.93/1078.99 c 1079s| 1690k| 1689k|695675 | 0.4 |1578M| 665 | 0 |1700 |1606 |1700 | 191 | 111k| 27 |2285 | 0.000000e+00 | 1.599200e+04 | Inf
1085.34/1085.37 c 1085s| 1700k| 1699k|698548 | 0.4 |1587M| 665 | 0 |1700 |1606 |1700 | 189 | 111k| 27 |2285 | 0.000000e+00 | 1.599200e+04 | Inf
1091.84/1091.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.84/1091.87 c 1092s| 1710k| 1709k|702122 | 0.4 |1596M| 665 | 0 |1700 |1606 |1700 | 205 | 112k| 27 |2285 | 0.000000e+00 | 1.599200e+04 | Inf
1098.43/1098.47 c 1098s| 1720k| 1719k|706516 | 0.4 |1606M| 665 | 0 |1700 |1606 |1700 | 201 | 113k| 27 |2285 | 0.000000e+00 | 1.599200e+04 | Inf
1105.13/1105.15 c 1105s| 1730k| 1729k|710744 | 0.4 |1615M| 665 | 0 |1700 |1606 |1700 | 193 | 114k| 27 |2285 | 0.000000e+00 | 1.599200e+04 | Inf
1111.83/1111.85 c 1112s| 1740k| 1739k|715336 | 0.4 |1624M| 665 | 0 |1700 |1606 |1700 | 201 | 115k| 27 |2293 | 0.000000e+00 | 1.599200e+04 | Inf
1118.34/1118.34 c 1118s| 1750k| 1749k|719086 | 0.4 |1633M| 665 | 0 |1700 |1605 |1700 | 208 | 116k| 27 |2301 | 0.000000e+00 | 1.599200e+04 | Inf
1124.74/1124.77 c 1125s| 1760k| 1759k|723336 | 0.4 |1643M| 665 | 0 |1700 |1605 |1700 | 210 | 117k| 27 |2303 | 0.000000e+00 | 1.599200e+04 | Inf
1131.24/1131.27 c 1131s| 1770k| 1769k|728315 | 0.4 |1652M| 665 | 0 |1700 |1605 |1700 | 207 | 118k| 27 |2334 | 0.000000e+00 | 1.599200e+04 | Inf
1138.04/1138.01 c 1138s| 1780k| 1779k|733425 | 0.4 |1661M| 665 | 0 |1700 |1605 |1700 | 211 | 118k| 27 |2392 | 0.000000e+00 | 1.599200e+04 | Inf
1144.53/1144.50 c 1144s| 1790k| 1789k|737379 | 0.4 |1670M| 665 | 0 |1700 |1605 |1700 | 210 | 119k| 27 |2404 | 0.000000e+00 | 1.599200e+04 | Inf
1150.94/1150.90 c 1151s| 1800k| 1799k|741488 | 0.4 |1680M| 665 | 0 |1700 |1605 |1700 | 211 | 120k| 27 |2416 | 0.000000e+00 | 1.599200e+04 | Inf
1157.44/1157.42 c 1157s| 1810k| 1809k|744503 | 0.4 |1689M| 665 | 0 |1700 |1605 |1700 | 177 | 120k| 27 |2418 | 0.000000e+00 | 1.599200e+04 | Inf
1163.94/1163.98 c 1164s| 1820k| 1819k|749293 | 0.4 |1698M| 665 | 0 |1700 |1605 |1700 | 205 | 121k| 27 |2468 | 0.000000e+00 | 1.599200e+04 | Inf
1170.54/1170.56 c 1171s| 1830k| 1829k|753212 | 0.4 |1708M| 665 | 0 |1700 |1605 |1700 | 215 | 122k| 27 |2503 | 0.000000e+00 | 1.599200e+04 | Inf
1177.05/1177.04 c 1177s| 1840k| 1839k|756700 | 0.4 |1717M| 665 | 0 |1700 |1605 |1700 | 203 | 122k| 27 |2533 | 0.000000e+00 | 1.599200e+04 | Inf
1183.44/1183.50 c 1183s| 1850k| 1849k|760055 | 0.4 |1726M| 665 | 0 |1700 |1605 |1700 | 198 | 123k| 27 |2567 | 0.000000e+00 | 1.599200e+04 | Inf
1190.04/1190.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1190.04/1190.04 c 1190s| 1860k| 1859k|764022 | 0.4 |1736M| 665 | 0 |1700 |1605 |1700 | 204 | 124k| 27 |2567 | 0.000000e+00 | 1.599200e+04 | Inf
1196.53/1196.52 c 1197s| 1870k| 1869k|767925 | 0.4 |1745M| 665 | 0 |1700 |1605 |1700 | 174 | 125k| 27 |2572 | 0.000000e+00 | 1.599200e+04 | Inf
1202.94/1202.90 c 1203s| 1880k| 1879k|770566 | 0.4 |1754M| 665 | 0 |1700 |1605 |1700 | 190 | 125k| 27 |2572 | 0.000000e+00 | 1.599200e+04 | Inf
1209.34/1209.33 c 1209s| 1890k| 1889k|773287 | 0.4 |1763M| 665 | 0 |1700 |1605 |1700 | 198 | 125k| 27 |2572 | 0.000000e+00 | 1.599200e+04 | Inf
1215.94/1215.94 c 1216s| 1900k| 1899k|777690 | 0.4 |1773M| 665 | 0 |1700 |1605 |1700 | 192 | 126k| 27 |2572 | 0.000000e+00 | 1.599200e+04 | Inf
1222.54/1222.55 c 1223s| 1910k| 1909k|781905 | 0.4 |1782M| 665 | 0 |1700 |1605 |1700 | 188 | 127k| 27 |2572 | 0.000000e+00 | 1.599200e+04 | Inf
1229.14/1229.16 c 1229s| 1920k| 1919k|786181 | 0.4 |1791M| 665 | 0 |1700 |1605 |1700 | 195 | 128k| 27 |2590 | 0.000000e+00 | 1.599200e+04 | Inf
1235.63/1235.64 c 1236s| 1930k| 1929k|791314 | 0.4 |1800M| 665 | 0 |1700 |1605 |1700 | 200 | 129k| 27 |2600 | 0.000000e+00 | 1.599200e+04 | Inf
1242.14/1242.16 c 1242s| 1940k| 1939k|795431 | 0.4 |1810M| 665 | 0 |1700 |1605 |1700 | 208 | 129k| 27 |2626 | 0.000000e+00 | 1.599200e+04 | Inf
1248.74/1248.74 c 1249s| 1950k| 1949k|799989 | 0.4 |1819M| 665 | 0 |1700 |1605 |1700 | 205 | 130k| 27 |2635 | 0.000000e+00 | 1.599200e+04 | Inf
1255.24/1255.26 c 1255s| 1960k| 1959k|802977 | 0.4 |1828M| 665 | 0 |1700 |1605 |1700 | 195 | 131k| 27 |2657 | 0.000000e+00 | 1.599200e+04 | Inf
1261.84/1261.83 c 1262s| 1970k| 1969k|805927 | 0.4 |1838M| 665 | 0 |1700 |1605 |1700 | 195 | 131k| 27 |2668 | 0.000000e+00 | 1.599200e+04 | Inf
1268.44/1268.46 c 1268s| 1980k| 1979k|809693 | 0.4 |1847M| 665 | 0 |1700 |1605 |1700 | 196 | 132k| 27 |2685 | 0.000000e+00 | 1.599200e+04 | Inf
1275.14/1275.18 c 1275s| 1990k| 1989k|814105 | 0.4 |1856M| 665 | 0 |1700 |1605 |1700 | 196 | 133k| 27 |2712 | 0.000000e+00 | 1.599200e+04 | Inf
1281.84/1281.88 c 1282s| 2000k| 1999k|818460 | 0.4 |1865M| 665 | 0 |1700 |1605 |1700 | 210 | 134k| 27 |2717 | 0.000000e+00 | 1.599200e+04 | Inf
1288.55/1288.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1288.55/1288.50 c 1288s| 2010k| 2009k|823436 | 0.4 |1875M| 665 | 0 |1700 |1605 |1700 | 186 | 135k| 27 |2717 | 0.000000e+00 | 1.599200e+04 | Inf
1295.05/1295.07 c 1295s| 2020k| 2019k|826400 | 0.4 |1884M| 665 | 0 |1700 |1605 |1700 | 195 | 135k| 27 |2717 | 0.000000e+00 | 1.599200e+04 | Inf
1301.64/1301.66 c 1302s| 2030k| 2029k|829835 | 0.4 |1893M| 665 | 0 |1700 |1605 |1700 | 175 | 136k| 27 |2717 | 0.000000e+00 | 1.599200e+04 | Inf
1308.34/1308.34 c 1308s| 2040k| 2039k|833630 | 0.4 |1903M| 665 | 0 |1700 |1605 |1700 | 184 | 137k| 27 |2742 | 0.000000e+00 | 1.599200e+04 | Inf
1314.94/1314.92 c 1315s| 2050k| 2049k|837340 | 0.4 |1912M| 665 | 0 |1700 |1605 |1700 | 180 | 138k| 27 |2750 | 0.000000e+00 | 1.599200e+04 | Inf
1321.65/1321.69 c 1322s| 2060k| 2059k|842227 | 0.4 |1921M| 665 | 0 |1700 |1605 |1700 | 185 | 139k| 27 |2779 | 0.000000e+00 | 1.599200e+04 | Inf
1328.14/1328.10 c 1328s| 2070k| 2069k|845172 | 0.4 |1930M| 665 | 0 |1700 |1605 |1700 | 196 | 139k| 27 |2781 | 0.000000e+00 | 1.599200e+04 | Inf
1334.54/1334.52 c 1335s| 2080k| 2079k|848057 | 0.4 |1940M| 665 | 0 |1700 |1605 |1700 | 193 | 140k| 27 |2792 | 0.000000e+00 | 1.599200e+04 | Inf
1341.05/1341.04 c 1341s| 2090k| 2089k|851160 | 0.4 |1949M| 665 | 0 |1700 |1605 |1700 | 191 | 140k| 27 |2794 | 0.000000e+00 | 1.599200e+04 | Inf
1347.55/1347.57 c 1348s| 2100k| 2099k|854070 | 0.4 |1958M| 665 | 0 |1700 |1605 |1700 | 206 | 140k| 27 |2794 | 0.000000e+00 | 1.599200e+04 | Inf
1353.95/1354.00 c 1354s| 2110k| 2109k|857090 | 0.4 |1968M| 665 | 0 |1700 |1605 |1700 | 176 | 141k| 27 |2794 | 0.000000e+00 | 1.599200e+04 | Inf
1360.45/1360.47 c 1360s| 2120k| 2119k|861017 | 0.4 |1977M| 665 | 0 |1700 |1605 |1700 | 189 | 142k| 27 |2811 | 0.000000e+00 | 1.599200e+04 | Inf
1366.95/1366.93 c 1367s| 2130k| 2129k|864510 | 0.4 |1986M| 665 | 0 |1700 |1605 |1700 | 194 | 142k| 27 |2817 | 0.000000e+00 | 1.599200e+04 | Inf
1373.44/1373.42 c 1373s| 2140k| 2139k|867903 | 0.4 |1995M| 665 | 0 |1700 |1605 |1700 | 181 | 143k| 27 |2839 | 0.000000e+00 | 1.599200e+04 | Inf
1379.95/1379.95 c 1380s| 2150k| 2149k|872299 | 0.4 |2005M| 665 | 0 |1700 |1605 |1700 | 201 | 143k| 27 |2848 | 0.000000e+00 | 1.599200e+04 | Inf
1386.54/1386.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1386.54/1386.57 c 1387s| 2160k| 2159k|876737 | 0.4 |2014M| 665 | 0 |1700 |1605 |1700 | 210 | 144k| 27 |2874 | 0.000000e+00 | 1.599200e+04 | Inf
1393.35/1393.30 c 1393s| 2170k| 2169k|882048 | 0.4 |2023M| 665 | 0 |1700 |1606 |1700 | 213 | 145k| 28 |2885 | 0.000000e+00 | 1.599200e+04 | Inf
1399.74/1399.74 c 1400s| 2180k| 2179k|885756 | 0.4 |2032M| 665 | 0 |1700 |1606 |1700 | 192 | 146k| 28 |2901 | 0.000000e+00 | 1.599200e+04 | Inf
1406.14/1406.15 c 1406s| 2190k| 2189k|889370 | 0.4 |2042M| 665 | 0 |1700 |1606 |1700 | 198 | 146k| 28 |2902 | 0.000000e+00 | 1.599200e+04 | Inf
1412.64/1412.62 c 1413s| 2200k| 2199k|894287 | 0.4 |2051M| 665 | 0 |1700 |1606 |1700 | 190 | 147k| 28 |2909 | 0.000000e+00 | 1.599200e+04 | Inf
1419.05/1419.05 c 1419s| 2210k| 2209k|897879 | 0.4 |2060M| 665 | 0 |1700 |1606 |1700 | 192 | 147k| 28 |2913 | 0.000000e+00 | 1.599200e+04 | Inf
1425.45/1425.41 c 1425s| 2220k| 2219k|901632 | 0.4 |2069M| 665 | 0 |1700 |1606 |1700 | 193 | 148k| 28 |2917 | 0.000000e+00 | 1.599200e+04 | Inf
1431.64/1431.68 c 1432s| 2230k| 2229k|905634 | 0.4 |2079M| 665 | 0 |1700 |1606 |1700 | 194 | 148k| 28 |2922 | 0.000000e+00 | 1.599200e+04 | Inf
1437.95/1437.93 c 1438s| 2240k| 2239k|909805 | 0.4 |2088M| 665 | 0 |1700 |1606 |1700 | 194 | 149k| 28 |2922 | 0.000000e+00 | 1.599200e+04 | Inf
1444.25/1444.20 c 1444s| 2250k| 2249k|913951 | 0.4 |2097M| 665 | 0 |1700 |1606 |1700 | 199 | 150k| 28 |2922 | 0.000000e+00 | 1.599200e+04 | Inf
1450.35/1450.38 c 1450s| 2260k| 2259k|917767 | 0.4 |2106M| 665 | 0 |1700 |1606 |1700 | 202 | 150k| 28 |2926 | 0.000000e+00 | 1.599200e+04 | Inf
1456.55/1456.51 c 1457s| 2270k| 2269k|921366 | 0.4 |2116M| 665 | 0 |1700 |1606 |1700 | 197 | 151k| 28 |2927 | 0.000000e+00 | 1.599200e+04 | Inf
1462.85/1462.81 c 1463s| 2280k| 2279k|925754 | 0.4 |2125M| 665 | 0 |1700 |1606 |1700 | 200 | 151k| 28 |2931 | 0.000000e+00 | 1.599200e+04 | Inf
1469.15/1469.12 c 1469s| 2290k| 2289k|930107 | 0.4 |2134M| 665 | 0 |1700 |1606 |1700 | 189 | 152k| 28 |2935 | 0.000000e+00 | 1.599200e+04 | Inf
1475.25/1475.20 c 1475s| 2300k| 2299k|933686 | 0.4 |2143M| 665 | 0 |1700 |1606 |1700 | 200 | 153k| 28 |2935 | 0.000000e+00 | 1.599200e+04 | Inf
1481.45/1481.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1481.45/1481.46 c 1481s| 2310k| 2309k|938095 | 0.4 |2153M| 665 | 0 |1700 |1606 |1700 | 198 | 153k| 28 |2935 | 0.000000e+00 | 1.599200e+04 | Inf
1487.65/1487.61 c 1488s| 2320k| 2319k|941806 | 0.4 |2162M| 665 | 0 |1700 |1606 |1700 | 198 | 154k| 28 |2935 | 0.000000e+00 | 1.599200e+04 | Inf
1493.75/1493.71 c 1494s| 2330k| 2329k|945275 | 0.4 |2171M| 665 | 0 |1700 |1606 |1700 | 197 | 154k| 28 |2937 | 0.000000e+00 | 1.599200e+04 | Inf
1499.85/1499.83 c 1500s| 2340k| 2339k|949044 | 0.4 |2180M| 665 | 0 |1700 |1606 |1700 | 195 | 155k| 28 |2941 | 0.000000e+00 | 1.599200e+04 | Inf
1506.05/1506.06 c 1506s| 2350k| 2349k|953155 | 0.4 |2189M| 665 | 0 |1700 |1606 |1700 | 191 | 155k| 28 |2941 | 0.000000e+00 | 1.599200e+04 | Inf
1512.25/1512.22 c 1512s| 2360k| 2359k|956676 | 0.4 |2199M| 665 | 0 |1700 |1606 |1700 | 204 | 156k| 28 |2941 | 0.000000e+00 | 1.599200e+04 | Inf
1518.45/1518.48 c 1518s| 2370k| 2369k|960589 | 0.4 |2208M| 665 | 0 |1700 |1606 |1700 | 202 | 157k| 28 |2945 | 0.000000e+00 | 1.599200e+04 | Inf
1524.95/1524.92 c 1525s| 2380k| 2379k|965316 | 0.4 |2217M| 665 | 0 |1700 |1606 |1700 | 198 | 157k| 28 |2960 | 0.000000e+00 | 1.599200e+04 | Inf
1531.45/1531.44 c 1531s| 2390k| 2389k|967872 | 0.4 |2227M| 665 | 0 |1700 |1605 |1700 | 197 | 158k| 28 |2998 | 0.000000e+00 | 1.599200e+04 | Inf
1538.05/1538.05 c 1538s| 2400k| 2399k|970889 | 0.4 |2236M| 665 | 0 |1700 |1605 |1700 | 196 | 158k| 28 |2998 | 0.000000e+00 | 1.599200e+04 | Inf
1544.36/1544.40 c 1544s| 2410k| 2409k|973392 | 0.4 |2245M| 665 | 0 |1700 |1605 |1700 | 192 | 159k| 28 |3018 | 0.000000e+00 | 1.599200e+04 | Inf
1550.75/1550.73 c 1551s| 2420k| 2419k|976065 | 0.4 |2254M| 665 | 0 |1700 |1605 |1700 | 199 | 159k| 28 |3018 | 0.000000e+00 | 1.599200e+04 | Inf
1557.15/1557.13 c 1557s| 2430k| 2429k|979815 | 0.4 |2264M| 665 | 0 |1700 |1605 |1700 | 189 | 160k| 28 |3022 | 0.000000e+00 | 1.599200e+04 | Inf
1563.35/1563.38 c 1563s| 2440k| 2439k|983072 | 0.4 |2273M| 665 | 0 |1700 |1605 |1700 | 202 | 160k| 28 |3022 | 0.000000e+00 | 1.599200e+04 | Inf
1569.55/1569.53 c 1570s| 2450k| 2449k|986111 | 0.4 |2282M| 665 | 0 |1700 |1605 |1700 | 195 | 161k| 28 |3022 | 0.000000e+00 | 1.599200e+04 | Inf
1575.85/1575.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1575.85/1575.80 c 1576s| 2460k| 2459k|988921 | 0.4 |2291M| 665 | 0 |1700 |1605 |1700 | 197 | 161k| 28 |3032 | 0.000000e+00 | 1.599200e+04 | Inf
1582.15/1582.15 c 1582s| 2470k| 2469k|992186 | 0.4 |2301M| 665 | 0 |1700 |1605 |1700 | 191 | 161k| 28 |3035 | 0.000000e+00 | 1.599200e+04 | Inf
1588.55/1588.54 c 1589s| 2480k| 2479k|996186 | 0.4 |2310M| 665 | 0 |1700 |1605 |1700 | 192 | 162k| 28 |3035 | 0.000000e+00 | 1.599200e+04 | Inf
1594.95/1594.93 c 1595s| 2490k| 2489k|999722 | 0.4 |2319M| 665 | 0 |1700 |1605 |1700 | 187 | 163k| 28 |3035 | 0.000000e+00 | 1.599200e+04 | Inf
1601.15/1601.16 c 1601s| 2500k| 2499k| 1003k| 0.4 |2328M| 665 | 0 |1700 |1605 |1700 | 206 | 163k| 28 |3035 | 0.000000e+00 | 1.599200e+04 | Inf
1607.45/1607.48 c 1607s| 2510k| 2509k| 1006k| 0.4 |2337M| 665 | 0 |1700 |1605 |1700 | 206 | 164k| 28 |3035 | 0.000000e+00 | 1.599200e+04 | Inf
1613.76/1613.78 c 1614s| 2520k| 2519k| 1010k| 0.4 |2347M| 665 | 0 |1700 |1605 |1700 | 191 | 164k| 28 |3040 | 0.000000e+00 | 1.599200e+04 | Inf
1620.16/1620.13 c 1620s| 2530k| 2529k| 1013k| 0.4 |2356M| 665 | 0 |1700 |1605 |1700 | 177 | 164k| 28 |3040 | 0.000000e+00 | 1.599200e+04 | Inf
1626.45/1626.40 c 1626s| 2540k| 2539k| 1016k| 0.4 |2365M| 665 | 0 |1700 |1605 |1700 | 198 | 165k| 28 |3040 | 0.000000e+00 | 1.599200e+04 | Inf
1632.65/1632.67 c 1633s| 2550k| 2549k| 1019k| 0.4 |2374M| 665 | 0 |1700 |1605 |1700 | 204 | 165k| 28 |3040 | 0.000000e+00 | 1.599200e+04 | Inf
1639.16/1639.13 c 1639s| 2560k| 2559k| 1024k| 0.4 |2383M| 665 | 0 |1700 |1605 |1700 | 183 | 166k| 28 |3040 | 0.000000e+00 | 1.599200e+04 | Inf
1645.76/1645.73 c 1646s| 2570k| 2569k| 1028k| 0.4 |2393M| 665 | 0 |1700 |1605 |1700 | 199 | 167k| 28 |3056 | 0.000000e+00 | 1.599200e+04 | Inf
1652.05/1652.08 c 1652s| 2580k| 2579k| 1032k| 0.4 |2402M| 665 | 0 |1700 |1605 |1700 | 198 | 168k| 28 |3056 | 0.000000e+00 | 1.599200e+04 | Inf
1658.55/1658.57 c 1659s| 2590k| 2589k| 1037k| 0.4 |2411M| 665 | 0 |1700 |1605 |1700 | 194 | 169k| 28 |3056 | 0.000000e+00 | 1.599200e+04 | Inf
1664.55/1664.59 c 1665s| 2600k| 2599k| 1039k| 0.4 |2420M| 665 | 0 |1700 |1605 |1700 | 206 | 169k| 28 |3056 | 0.000000e+00 | 1.599200e+04 | Inf
1670.75/1670.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1670.75/1670.79 c 1671s| 2610k| 2609k| 1043k| 0.4 |2430M| 665 | 0 |1700 |1605 |1700 | 200 | 170k| 28 |3056 | 0.000000e+00 | 1.599200e+04 | Inf
1677.26/1677.25 c 1677s| 2620k| 2619k| 1047k| 0.4 |2439M| 665 | 0 |1700 |1605 |1700 | 199 | 170k| 28 |3056 | 0.000000e+00 | 1.599200e+04 | Inf
1683.56/1683.50 c 1683s| 2630k| 2629k| 1050k| 0.4 |2448M| 665 | 0 |1700 |1605 |1700 | 201 | 171k| 28 |3056 | 0.000000e+00 | 1.599200e+04 | Inf
1689.86/1689.87 c 1690s| 2640k| 2639k| 1054k| 0.4 |2457M| 665 | 0 |1700 |1605 |1700 | 202 | 172k| 28 |3056 | 0.000000e+00 | 1.599200e+04 | Inf
1696.36/1696.38 c 1696s| 2650k| 2649k| 1058k| 0.4 |2467M| 665 | 0 |1700 |1605 |1700 | 187 | 173k| 28 |3056 | 0.000000e+00 | 1.599200e+04 | Inf
1702.87/1702.84 c 1703s| 2660k| 2659k| 1061k| 0.4 |2476M| 665 | 0 |1700 |1605 |1700 | 188 | 173k| 28 |3067 | 0.000000e+00 | 1.599200e+04 | Inf
1709.26/1709.29 c 1709s| 2670k| 2669k| 1064k| 0.4 |2485M| 665 | 0 |1700 |1605 |1700 | 192 | 173k| 28 |3068 | 0.000000e+00 | 1.599200e+04 | Inf
1715.36/1715.39 c 1715s| 2680k| 2679k| 1067k| 0.4 |2494M| 665 | 0 |1700 |1605 |1700 | 207 | 174k| 28 |3068 | 0.000000e+00 | 1.599200e+04 | Inf
1721.56/1721.58 c 1722s| 2690k| 2689k| 1070k| 0.4 |2503M| 665 | 0 |1700 |1605 |1700 | 183 | 174k| 28 |3068 | 0.000000e+00 | 1.599200e+04 | Inf
1727.86/1727.88 c 1728s| 2700k| 2699k| 1073k| 0.4 |2513M| 665 | 0 |1700 |1605 |1700 | 201 | 175k| 28 |3068 | 0.000000e+00 | 1.599200e+04 | Inf
1734.36/1734.39 c 1734s| 2710k| 2709k| 1077k| 0.4 |2522M| 665 | 0 |1700 |1605 |1700 | 199 | 176k| 28 |3068 | 0.000000e+00 | 1.599200e+04 | Inf
1740.76/1740.74 c 1741s| 2720k| 2719k| 1081k| 0.4 |2531M| 665 | 0 |1700 |1605 |1700 | 189 | 176k| 28 |3068 | 0.000000e+00 | 1.599200e+04 | Inf
1746.96/1746.94 c 1747s| 2730k| 2729k| 1083k| 0.4 |2540M| 665 | 0 |1700 |1605 |1700 | 202 | 176k| 28 |3068 | 0.000000e+00 | 1.599200e+04 | Inf
1753.16/1753.16 c 1753s| 2740k| 2739k| 1086k| 0.4 |2550M| 665 | 0 |1700 |1605 |1700 | 200 | 177k| 28 |3068 | 0.000000e+00 | 1.599200e+04 | Inf
1759.66/1759.64 c 1760s| 2750k| 2749k| 1090k| 0.4 |2559M| 665 | 0 |1700 |1605 |1700 | 197 | 177k| 28 |3097 | 0.000000e+00 | 1.599200e+04 | Inf
1765.97/1765.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1765.97/1765.91 c 1766s| 2760k| 2759k| 1093k| 0.4 |2568M| 665 | 0 |1700 |1605 |1700 | 204 | 178k| 28 |3099 | 0.000000e+00 | 1.599200e+04 | Inf
1772.26/1772.27 c 1772s| 2770k| 2769k| 1096k| 0.4 |2577M| 665 | 0 |1700 |1605 |1700 | 202 | 179k| 28 |3099 | 0.000000e+00 | 1.599200e+04 | Inf
1778.77/1778.78 c 1779s| 2780k| 2779k| 1100k| 0.4 |2587M| 665 | 0 |1700 |1605 |1700 | 187 | 179k| 28 |3125 | 0.000000e+00 | 1.599200e+04 | Inf
1785.26/1785.24 c 1785s| 2790k| 2789k| 1103k| 0.4 |2596M| 665 | 0 |1700 |1605 |1700 | 190 | 179k| 28 |3125 | 0.000000e+00 | 1.599200e+04 | Inf
1790.06/1790.00 c
1790.06/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.06/1790.00 c Solving Time (sec) : 1789.99
1790.06/1790.00 c Solving Nodes : 2797469
1790.06/1790.00 c Primal Bound : +1.59920000000000e+04 (100 solutions)
1790.06/1790.00 c Dual Bound : +0.00000000000000e+00
1790.06/1790.00 c Gap : infinite
1790.06/1790.01 s SATISFIABLE
1790.06/1790.01 v x200 -x199 x198 -x197 x196 -x195 x194 -x193 -x192 x191 x190 -x189 -x188 x187 x186 -x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177
1790.06/1790.01 v -x176 x175 -x174 x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155
1790.06/1790.01 v -x154 x153 -x152 x151 -x150 x149 x148 -x147 x146 -x145 -x144 x143 -x142 x141 x140 -x139 x138 -x137 -x136 x135 x134 -x133 -x132
1790.06/1790.01 v x131 -x130 x129 -x128 x127 -x126 x125 -x124 x123 x122 -x121 x120 -x119 x118 -x117 x116 -x115 -x114 x113 -x112 x111 x110 -x109
1790.06/1790.01 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 -x84
1790.06/1790.01 v 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 x56
1790.06/1790.01 v -x55 x54 -x53 -x52 x51 x50 -x49 x48 -x47 -x46 x45 x44 -x43 -x42 x41 -x40 x39 x38 -x37 x36 -x35 x34 -x33 x32 -x31 -x30 x29 x28
1790.06/1790.01 v -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
1790.06/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.06/1790.01 c Solving Time : 1789.99
1790.06/1790.01 c Original Problem :
1790.06/1790.01 c Problem name : HOME/instance-2705739-1278580125.wbo
1790.06/1790.01 c Variables : 1800 (1000 binary, 0 integer, 800 implicit integer, 0 continuous)
1790.06/1790.01 c Constraints : 1701 initial, 1701 maximal
1790.06/1790.01 c Presolved Problem :
1790.06/1790.01 c Problem name : t_HOME/instance-2705739-1278580125.wbo
1790.06/1790.01 c Variables : 1700 (900 binary, 0 integer, 800 implicit integer, 0 continuous)
1790.06/1790.01 c Constraints : 1600 initial, 1617 maximal
1790.06/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.06/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1790.06/1790.01 c linear : 0.02 0 100 0 800 0 101 0 0
1790.06/1790.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.01 c root node : - 0 - - 0 - - - -
1790.06/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.06/1790.01 c integral : 0 0 0 2881094 0 0 11 0 0 9418
1790.06/1790.01 c linear : 800 6 3943751 2876374 0 15 472481 180326 0 0
1790.06/1790.01 c indicator : 800 0 3943736 2876374 0 2 2580244 0 0 0
1790.06/1790.01 c logicor : 0+ 0 21198 0 0 0 290 0 0 0
1790.06/1790.01 c countsols : 0 0 0 2792735 0 0 0 0 0 0
1790.06/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.06/1790.01 c integral : 3.14 0.00 0.00 3.14 0.00
1790.06/1790.01 c linear : 52.87 0.00 11.84 41.03 0.00
1790.06/1790.01 c indicator : 251.58 0.05 92.07 159.45 0.00
1790.06/1790.01 c logicor : 0.02 0.00 0.02 0.00 0.00
1790.06/1790.01 c countsols : 0.36 0.00 0.00 0.36 0.00
1790.06/1790.01 c Propagators : Time Calls Cutoffs DomReds
1790.06/1790.01 c vbounds : 0.75 2 0 0
1790.06/1790.01 c rootredcost : 0.70 1 0 0
1790.06/1790.01 c pseudoobj : 46.93 3943551 0 0
1790.06/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.06/1790.01 c propagation : 0.00 15 15 16 9.4 0 0.0 -
1790.06/1790.01 c infeasible LP : 0.00 9 9 12 15.4 0 0.0 0
1790.06/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.06/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.06/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.06/1790.01 c applied globally : - - - 28 12.0 - - -
1790.06/1790.01 c applied locally : - - - 0 0.0 - - -
1790.06/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.06/1790.01 c cut pool : 0.00 3 - - 15 - (maximal pool size: 130)
1790.06/1790.01 c redcost : 111.05 2881097 0 0 0 0
1790.06/1790.01 c impliedbounds : 0.00 4 0 0 0 0
1790.06/1790.01 c intobj : 0.00 0 0 0 0 0
1790.06/1790.01 c cgmip : 0.00 0 0 0 0 0
1790.06/1790.01 c gomory : 0.02 4 0 0 159 0
1790.06/1790.01 c strongcg : 0.01 4 0 0 191 0
1790.06/1790.01 c cmir : 0.01 4 0 0 0 0
1790.06/1790.01 c flowcover : 0.01 4 0 0 0 0
1790.06/1790.01 c clique : 0.00 1 0 0 0 0
1790.06/1790.01 c zerohalf : 0.00 0 0 0 0 0
1790.06/1790.01 c mcf : 0.00 1 0 0 0 0
1790.06/1790.01 c rapidlearning : 0.05 1 0 0 0 0
1790.06/1790.01 c Pricers : Time Calls Vars
1790.06/1790.01 c problem variables: 0.00 0 0
1790.06/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.06/1790.01 c relpscost : 2.37 4720 0 11 0 0 9418
1790.06/1790.01 c pscost : 0.00 0 0 0 0 0 0
1790.06/1790.01 c inference : 300.18 2792734 0 0 0 0 5585468
1790.06/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1790.06/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1790.06/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1790.06/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1790.06/1790.01 c random : 0.00 0 0 0 0 0 0
1790.06/1790.01 c Primal Heuristics : Time Calls Found
1790.06/1790.01 c LP solutions : 0.00 - 1
1790.06/1790.01 c pseudo solutions : 0.00 - 0
1790.06/1790.01 c intshifting : 0.01 0 0
1790.06/1790.01 c feaspump : 0.01 0 0
1790.06/1790.01 c oneopt : 0.55 2 0
1790.06/1790.01 c crossover : 0.74 17 6
1790.06/1790.01 c pscostdiving : 14.52 24704 0
1790.06/1790.01 c fracdiving : 14.60 24704 0
1790.06/1790.01 c veclendiving : 14.60 24704 0
1790.06/1790.01 c linesearchdiving : 14.55 24704 0
1790.06/1790.01 c guideddiving : 14.52 24705 0
1790.06/1790.01 c coefdiving : 14.57 24705 0
1790.06/1790.01 c objpscostdiving : 15.11 24687 0
1790.06/1790.01 c rootsoldiving : 15.30 24687 0
1790.06/1790.01 c trivial : 0.00 2 1
1790.06/1790.01 c simplerounding : 0.84 4724 0
1790.06/1790.01 c zirounding : 0.55 1000 0
1790.06/1790.01 c rounding : 0.47 901 0
1790.06/1790.01 c shifting : 0.09 237 0
1790.06/1790.01 c twoopt : 0.00 0 0
1790.06/1790.01 c fixandinfer : 0.00 0 0
1790.06/1790.01 c intdiving : 0.00 0 0
1790.06/1790.01 c actconsdiving : 0.00 0 0
1790.06/1790.01 c octane : 0.00 0 0
1790.06/1790.01 c rens : 0.01 1 0
1790.06/1790.01 c rins : 0.00 0 0
1790.06/1790.01 c localbranching : 0.00 0 0
1790.06/1790.01 c mutation : 0.00 0 0
1790.06/1790.01 c dins : 0.00 0 0
1790.06/1790.01 c undercover : 0.00 0 0
1790.06/1790.01 c nlp : 0.38 0 0
1790.06/1790.01 c trysol : 0.71 24756 92
1790.06/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1790.06/1790.01 c primal LP : 0.00 0 0 0.00 -
1790.06/1790.01 c dual LP : 541.44 218518 1105841 5.06 2042.40
1790.06/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1790.06/1790.01 c barrier LP : 0.00 0 0 0.00 -
1790.06/1790.01 c diving/probing LP: 0.06 101 501 4.96 7875.25
1790.06/1790.01 c strong branching : 2.34 3125 44218 14.15 18930.86
1790.06/1790.01 c (at root node) : - 33 3885 117.73 -
1790.06/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1790.06/1790.01 c B&B Tree :
1790.06/1790.01 c number of runs : 1
1790.06/1790.01 c nodes : 2797469
1790.06/1790.01 c nodes (total) : 2797469
1790.06/1790.01 c nodes left : 2797418
1790.06/1790.01 c max depth : 665
1790.06/1790.01 c max depth (total): 665
1790.06/1790.01 c backtracks : 24781 (0.9%)
1790.06/1790.01 c delayed cutoffs : 0
1790.06/1790.01 c repropagations : 210 (88 domain reductions, 0 cutoffs)
1790.06/1790.01 c avg switch length: 2.30
1790.06/1790.01 c switching time : 55.02
1790.06/1790.01 c Solution :
1790.06/1790.01 c Solutions found : 100 (2 improvements)
1790.06/1790.01 c First Solution : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1790.06/1790.01 c Primal Bound : +1.59920000000000e+04 (in run 1, after 12319 nodes, 9.21 seconds, depth 470, found by <relaxation>)
1790.06/1790.01 c Dual Bound : +0.00000000000000e+00
1790.06/1790.01 c Gap : infinite
1790.06/1790.01 c Root Dual Bound : +0.00000000000000e+00
1790.06/1790.01 c Root Iterations : 258
1794.96/1794.92 c Time complete: 1794.98.
OK 15992
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705739-1278580125/watcher-2705739-1278580125 -o /tmp/evaluation-result-2705739-1278580125/solver-2705739-1278580125 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705739-1278580125.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.95 3/178 23957 /proc/meminfo: memFree=29827020/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=12336 CPUtime=0 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 1922 0 0 0 0 0 0 0 21 0 1 0 26226323 12632064 1841 4089446400 4194304 10345943 140735129073664 18446744073709551615 4970370 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23957/statm: 3084 1842 429 1502 0 1577 0 [startup+0.0795231 s] /proc/loadavg: 2.00 2.00 1.95 3/178 23957 /proc/meminfo: memFree=29827020/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=39300 CPUtime=0.07 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 8702 0 0 0 6 1 0 0 21 0 1 0 26226323 40243200 8266 4089446400 4194304 10345943 140735129073664 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 9825 8266 636 1502 0 8318 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 39300 [startup+0.100516 s] /proc/loadavg: 2.00 2.00 1.95 3/178 23957 /proc/meminfo: memFree=29827020/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=39300 CPUtime=0.09 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 8728 0 0 0 8 1 0 0 21 0 1 0 26226323 40243200 8292 4089446400 4194304 10345943 140735129073664 18446744073709551615 4687909 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 9825 8292 636 1502 0 8318 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 39300 [startup+0.300477 s] /proc/loadavg: 2.00 2.00 1.95 3/178 23957 /proc/meminfo: memFree=29827020/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=40684 CPUtime=0.29 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 9855 0 0 0 27 2 0 0 21 0 1 0 26226323 41660416 8730 4089446400 4194304 10345943 140735129073664 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 10171 8730 750 1502 0 8664 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 40684 [startup+0.700407 s] /proc/loadavg: 2.00 2.00 1.95 3/178 23957 /proc/meminfo: memFree=29827020/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=41100 CPUtime=0.69 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 10241 0 0 0 66 3 0 0 22 0 1 0 26226323 42086400 9116 4089446400 4194304 10345943 140735129073664 18446744073709551615 4749704 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 10275 9116 760 1502 0 8768 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41100 [startup+1.50032 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23958 /proc/meminfo: memFree=29793160/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=41840 CPUtime=1.49 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 10430 0 0 0 145 4 0 0 25 0 1 0 26226323 42844160 9305 4089446400 4194304 10345943 140735129073664 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 10460 9305 760 1502 0 8953 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 41840 [startup+3.10094 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23958 /proc/meminfo: memFree=29792632/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=45628 CPUtime=3.09 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 11895 0 0 0 304 5 0 0 25 0 1 0 26226323 46723072 9990 4089446400 4194304 10345943 140735129073664 18446744073709551615 4476340 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 11407 9990 760 1502 0 9900 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45628 [startup+6.30033 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23958 /proc/meminfo: memFree=29783492/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=45776 CPUtime=6.3 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 12708 0 0 0 624 6 0 0 25 0 1 0 26226323 46874624 10347 4089446400 4194304 10345943 140735129073664 18446744073709551615 6324679 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 11444 10347 763 1502 0 9937 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 45776 [startup+12.7001 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23958 /proc/meminfo: memFree=29773076/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=51352 CPUtime=12.69 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 22812 0 0 0 1260 9 0 0 25 0 1 0 26226323 52584448 11349 4089446400 4194304 10345943 140735129073664 18446744073709551615 6139136 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 12838 11349 764 1502 0 11331 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51352 [startup+25.5007 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23958 /proc/meminfo: memFree=29740692/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=69904 CPUtime=25.49 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 32176 0 0 0 2536 13 0 0 25 0 1 0 26226323 71581696 16013 4089446400 4194304 10345943 140735129073664 18446744073709551615 6518872 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 17476 16013 764 1502 0 15969 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 69904 [startup+51.1008 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23960 /proc/meminfo: memFree=29672612/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=112320 CPUtime=51.09 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 45538 0 0 0 5090 19 0 0 25 0 1 0 26226323 115015680 26220 4089446400 4194304 10345943 140735129073664 18446744073709551615 6802864 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 28080 26220 764 1502 0 26573 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 112320 [startup+102.306 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23960 /proc/meminfo: memFree=29538924/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=187920 CPUtime=102.3 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 66148 0 0 0 10200 30 0 0 25 0 1 0 26226323 192430080 44914 4089446400 4194304 10345943 140735129073664 18446744073709551615 6777643 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 46980 44914 764 1502 0 45473 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 187920 [startup+162.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23962 /proc/meminfo: memFree=29384736/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=281912 CPUtime=162.29 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 90694 0 0 0 16187 42 0 0 25 0 1 0 26226323 288677888 67590 4089446400 4194304 10345943 140735129073664 18446744073709551615 4605864 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 70478 67590 764 1502 0 68971 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 281912 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23964 /proc/meminfo: memFree=29224220/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=371600 CPUtime=222.3 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 113514 0 0 0 22177 53 0 0 25 0 1 0 26226323 380518400 90410 4089446400 4194304 10345943 140735129073664 18446744073709551615 4605624 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 92900 90410 764 1502 0 91393 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 371600 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23966 /proc/meminfo: memFree=29067796/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=459584 CPUtime=282.3 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 137604 0 0 0 28165 65 0 0 25 0 1 0 26226323 470614016 112584 4089446400 4194304 10345943 140735129073664 18446744073709551615 6803030 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 114896 112584 764 1502 0 113389 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 459584 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23967 /proc/meminfo: memFree=28904312/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=554180 CPUtime=342.3 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 159196 0 0 0 34155 75 0 0 25 0 1 0 26226323 567480320 134175 4089446400 4194304 10345943 140735129073664 18446744073709551615 6866083 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 138545 134175 764 1502 0 137038 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 554180 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23968 /proc/meminfo: memFree=28740832/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=641052 CPUtime=402.31 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 180743 0 0 0 40146 85 0 0 25 0 1 0 26226323 656437248 155722 4089446400 4194304 10345943 140735129073664 18446744073709551615 6864985 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 160263 155722 764 1502 0 158756 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 641052 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23970 /proc/meminfo: memFree=28573476/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=730280 CPUtime=462.31 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 202988 0 0 0 46134 97 0 0 25 0 1 0 26226323 747806720 177967 4089446400 4194304 10345943 140735129073664 18446744073709551615 8933842 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 182570 177967 764 1502 0 181063 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 730280 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23972 /proc/meminfo: memFree=28406892/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=819408 CPUtime=522.31 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 225339 0 0 0 52124 107 0 0 25 0 1 0 26226323 839073792 200318 4089446400 4194304 10345943 140735129073664 18446744073709551615 4476294 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 204852 200318 764 1502 0 203345 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 819408 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23974 /proc/meminfo: memFree=28241136/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=905804 CPUtime=582.31 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 249059 0 0 0 58114 117 0 0 25 0 1 0 26226323 927543296 222091 4089446400 4194304 10345943 140735129073664 18446744073709551615 4454106 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 226451 222091 764 1502 0 224944 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 905804 [startup+642.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23978 /proc/meminfo: memFree=28076916/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=1006760 CPUtime=642.32 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 269905 0 0 0 64104 128 0 0 25 0 1 0 26226323 1030922240 242937 4089446400 4194304 10345943 140735129073664 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 251690 242937 764 1502 0 250183 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1006760 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=26915308/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=1614372 CPUtime=1062.33 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 424142 0 0 0 106034 199 0 0 25 0 1 0 26226323 1653116928 395227 4089446400 4194304 10345943 140735129073664 18446744073709551615 9137947 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 403593 395227 764 1502 0 402086 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 1614372 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23991 /proc/meminfo: memFree=26752432/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=1699644 CPUtime=1122.33 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 445390 0 0 0 112023 210 0 0 25 0 1 0 26226323 1740435456 416475 4089446400 4194304 10345943 140735129073664 18446744073709551615 4476294 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 424911 416475 764 1502 0 423404 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1699644 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23993 /proc/meminfo: memFree=26591296/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=1782976 CPUtime=1182.33 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 466174 0 0 0 118013 220 0 0 25 0 1 0 26226323 1825767424 437259 4089446400 4194304 10345943 140735129073664 18446744073709551615 6130594 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 445744 437259 764 1502 0 444237 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1782976 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23994 /proc/meminfo: memFree=26425196/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=1867816 CPUtime=1242.34 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 487500 0 0 0 124004 230 0 0 25 0 1 0 26226323 1912643584 458585 4089446400 4194304 10345943 140735129073664 18446744073709551615 4882034 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 466954 458585 764 1502 0 465447 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 1867816 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 23995 /proc/meminfo: memFree=26261960/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=1951732 CPUtime=1302.34 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 508648 0 0 0 129993 241 0 0 25 0 1 0 26226323 1998573568 479733 4089446400 4194304 10345943 140735129073664 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 487933 479733 764 1502 0 486426 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1951732 [startup+1362.3 s] /proc/loadavg: 2.07 2.02 1.96 3/179 23997 /proc/meminfo: memFree=26096964/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=2069744 CPUtime=1362.35 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 529970 0 0 0 135984 251 0 0 25 0 1 0 26226323 2119417856 501055 4089446400 4194304 10345943 140735129073664 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 517436 501055 764 1502 0 515929 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 2069744 [startup+1422.31 s] /proc/loadavg: 2.02 2.01 1.96 3/179 23999 /proc/meminfo: memFree=25927012/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=2155300 CPUtime=1422.36 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 551368 0 0 0 141974 262 0 0 25 0 1 0 26226323 2207027200 522453 4089446400 4194304 10345943 140735129073664 18446744073709551615 6003056 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 538825 522453 764 1502 0 537318 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 2155300 [startup+1482.3 s] /proc/loadavg: 2.06 2.02 1.96 3/179 24001 /proc/meminfo: memFree=25762908/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=2244312 CPUtime=1482.35 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 573446 0 0 0 147962 273 0 0 25 0 1 0 26226323 2298175488 544531 4089446400 4194304 10345943 140735129073664 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 561078 544531 764 1502 0 559571 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 2244312 [startup+1542.3 s] /proc/loadavg: 2.02 2.01 1.96 3/179 24002 /proc/meminfo: memFree=25596316/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=2333960 CPUtime=1542.35 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 595588 0 0 0 153952 283 0 0 25 0 1 0 26226323 2389975040 566673 4089446400 4194304 10345943 140735129073664 18446744073709551615 5926573 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 583490 566673 764 1502 0 581983 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 2333960 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 1.96 3/179 24003 /proc/meminfo: memFree=25432552/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=2418888 CPUtime=1602.35 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 617003 0 0 0 159942 293 0 0 25 0 1 0 26226323 2476941312 588088 4089446400 4194304 10345943 140735129073664 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 604722 588088 764 1502 0 603215 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 2418888 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 24005 /proc/meminfo: memFree=25260876/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=2509376 CPUtime=1662.36 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 639441 0 0 0 165931 305 0 0 25 0 1 0 26226323 2569601024 610526 4089446400 4194304 10345943 140735129073664 18446744073709551615 6777403 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 627344 610526 764 1502 0 625837 0 Current children cumulated CPU time (s) 1662.36 Current children cumulated vsize (KiB) 2509376 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 24007 /proc/meminfo: memFree=25096780/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=2597172 CPUtime=1722.36 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 661395 0 0 0 171921 315 0 0 25 0 1 0 26226323 2659504128 632480 4089446400 4194304 10345943 140735129073664 18446744073709551615 4476340 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 649293 632480 764 1502 0 647786 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 2597172 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 24009 /proc/meminfo: memFree=24931424/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=2682292 CPUtime=1782.36 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 682616 0 0 0 177913 323 0 0 25 0 1 0 26226323 2746667008 653700 4089446400 4194304 10345943 140735129073664 18446744073709551615 6328773 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 670573 653700 764 1502 0 669066 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 2682292 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.96 3/179 24009 /proc/meminfo: memFree=24924600/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=2687124 CPUtime=1785.57 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 683871 0 0 0 178233 324 0 0 25 0 1 0 26226323 2751614976 654955 4089446400 4194304 10345943 140735129073664 18446744073709551615 6108031 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23957/statm: 671781 654955 764 1502 0 670274 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (KiB) 2687124 [startup+1791.91 s] /proc/loadavg: 1.92 1.98 1.96 2/171 24030 /proc/meminfo: memFree=27248536/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=2694032 CPUtime=1791.97 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 685525 0 0 0 178872 325 0 0 25 0 1 0 26226323 2758688768 656609 4089446400 4194304 10345943 140735129073664 18446744073709551615 6325130 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23957/statm: 673508 656609 768 1502 0 672001 0 Current children cumulated CPU time (s) 1791.97 Current children cumulated vsize (KiB) 2694032 [startup+1793.5 s] /proc/loadavg: 1.92 1.98 1.96 2/171 24030 /proc/meminfo: memFree=27248676/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=2694032 CPUtime=1793.56 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 685525 0 0 0 179031 325 0 0 25 0 1 0 26226323 2758688768 656609 4089446400 4194304 10345943 140735129073664 18446744073709551615 6325130 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23957/statm: 673508 656609 768 1502 0 672001 0 Current children cumulated CPU time (s) 1793.56 Current children cumulated vsize (KiB) 2694032 [startup+1794.3 s] /proc/loadavg: 1.92 1.98 1.96 2/171 24030 /proc/meminfo: memFree=27248676/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=2694032 CPUtime=1794.36 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 685525 0 0 0 179111 325 0 0 25 0 1 0 26226323 2758688768 656609 4089446400 4194304 10345943 140735129073664 18446744073709551615 6324956 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23957/statm: 673508 656609 768 1502 0 672001 0 Current children cumulated CPU time (s) 1794.36 Current children cumulated vsize (KiB) 2694032 [startup+1794.7 s] /proc/loadavg: 1.92 1.98 1.96 2/171 24030 /proc/meminfo: memFree=27248676/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=2694032 CPUtime=1794.76 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 685525 0 0 0 179151 325 0 0 25 0 1 0 26226323 2758688768 656609 4089446400 4194304 10345943 140735129073664 18446744073709551615 4221203 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23957/statm: 673508 656609 768 1502 0 672001 0 Current children cumulated CPU time (s) 1794.76 Current children cumulated vsize (KiB) 2694032 [startup+1794.9 s] /proc/loadavg: 1.92 1.98 1.96 2/171 24030 /proc/meminfo: memFree=27248676/32950928 swapFree=67111528/67111528 [pid=23957] ppid=23955 vsize=2046252 CPUtime=1794.96 /proc/23957/stat : 23957 (pbscip.linux.x8) R 23955 23957 23405 0 -1 4202496 685525 0 0 0 179165 331 0 0 25 0 1 0 26226323 2095362048 173792 4089446400 4194304 10345943 140735129073664 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23957/statm: 511563 173293 768 1502 0 510056 0 Current children cumulated CPU time (s) 1794.96 Current children cumulated vsize (KiB) 2046252 Child status: 0 Real time (s): 1794.93 CPU time (s): 1795 CPU user time (s): 1791.66 CPU system time (s): 3.34049 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 2694032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.66 system time used= 3.34049 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 685528 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 967 runsolver used 2.55661 second user time and 5.62415 second system time The end
Begin job on node127 at 2010-07-08 11:08:45 IDJOB=2705739 IDBENCH=79403 IDSOLVER=1214 FILE ID=node127/2705739-1278580125 PBS_JOBID= 11240200 Free space on /tmp= 73188 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh214_wcsp.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-2705739-1278580125/watcher-2705739-1278580125 -o /tmp/evaluation-result-2705739-1278580125/solver-2705739-1278580125 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705739-1278580125.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7b7f899ec609c9207642e3bd82d991a6 RANDOM SEED=1887248558 node127.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.804 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.60 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.804 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 : 5424.67 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.804 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.74 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.804 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.804 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.75 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.804 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.68 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.804 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.804 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29827672 kB Buffers: 165228 kB Cached: 2685576 kB SwapCached: 0 kB Active: 1243008 kB Inactive: 1709084 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29827672 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 25716 kB Writeback: 0 kB AnonPages: 101292 kB Mapped: 17620 kB Slab: 107452 kB PageTables: 5104 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 241704 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= 73188 MiB End job on node127 at 2010-07-08 11:38:40