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-2693016-1277914349.wbo>
0.00/0.01 c original problem has 1719 variables (1107 bin, 0 int, 0 impl, 612 cont) and 1553 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) 9 del vars, 4 del conss, 0 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 1260 impls, 0 clqs
0.00/0.02 c (round 2) 10 del vars, 20 del conss, 0 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 1260 impls, 0 clqs
0.00/0.03 c (round 3) 12 del vars, 21 del conss, 610 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 1260 impls, 0 clqs
0.00/0.04 c (round 4) 13 del vars, 21 del conss, 610 chg bounds, 70 chg sides, 140 chg coeffs, 313 upgd conss, 1260 impls, 0 clqs
0.00/0.06 c (0.0s) probing: 101/1096 (9.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06 c presolving (5 rounds):
0.00/0.06 c 13 deleted vars, 21 deleted constraints, 610 tightened bounds, 0 added holes, 70 changed sides, 140 changed coefficients
0.00/0.06 c 1261 implications, 0 cliques
0.00/0.06 c presolved problem has 1706 variables (1096 bin, 0 int, 0 impl, 610 cont) and 1532 constraints
0.00/0.06 c 610 constraints of type <indicator>
0.00/0.06 c 1 constraints of type <varbound>
0.00/0.06 c 51 constraints of type <knapsack>
0.00/0.06 c 609 constraints of type <linear>
0.00/0.06 c 261 constraints of type <logicor>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.04
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 1.2.1.2
0.00/0.06 c
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = 10000
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1799.99
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 3420
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.00/0.06 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.06 c 0.0s| 1 | 0 | 56 | - |5980k| 0 | 33 |1706 |1532 |1706 | 312 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 o 31042
0.00/0.07 c y 0.1s| 1 | 0 | 56 | - |6030k| 0 | 33 |1706 |1532 |1706 | 312 | 0 | 0 | 0 | 0.000000e+00 | 3.104200e+04 | Inf
0.00/0.08 c 0.1s| 1 | 0 | 166 | - |6128k| 0 | 99 |1706 |1532 |1706 | 419 | 107 | 0 | 0 | 0.000000e+00 | 3.104200e+04 | Inf
0.10/0.11 c 0.1s| 1 | 0 | 386 | - |6270k| 0 | 112 |1706 |1532 |1706 | 516 | 204 | 0 | 0 | 0.000000e+00 | 3.104200e+04 | Inf
0.10/0.15 c 0.1s| 1 | 0 | 487 | - |6413k| 0 | 213 |1706 |1532 |1706 | 577 | 265 | 0 | 0 | 0.000000e+00 | 3.104200e+04 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 635 | - |6524k| 0 | 232 |1706 |1532 |1706 | 648 | 336 | 0 | 0 | 0.000000e+00 | 3.104200e+04 | Inf
0.19/0.29 c 0.3s| 1 | 0 | 744 | - |6656k| 0 | 246 |1706 |1532 |1706 | 718 | 406 | 0 | 0 | 0.000000e+00 | 3.104200e+04 | Inf
0.29/0.39 c 0.4s| 1 | 0 | 886 | - |6804k| 0 | 274 |1706 |1532 |1706 | 774 | 462 | 0 | 0 | 0.000000e+00 | 3.104200e+04 | Inf
0.39/0.46 c 0.4s| 1 | 2 | 886 | - |6867k| 0 | 274 |1706 |1532 |1706 | 774 | 462 | 0 | 17 | 0.000000e+00 | 3.104200e+04 | Inf
16.19/16.24 c 15.8s| 10000 | 9993 | 32488 | 3.2 | 20M| 181 | 0 |1706 |1545 |1706 | 662 |3077 | 13 |2407 | 0.000000e+00 | 3.104200e+04 | Inf
25.59/25.66 c 25.0s| 20000 | 19993 | 54640 | 2.7 | 30M| 183 | 2 |1706 |1542 |1706 | 669 |5841 | 13 |2418 | 0.000000e+00 | 3.104200e+04 | Inf
35.00/35.04 c 34.1s| 30000 | 29989 | 74257 | 2.4 | 41M| 183 | 0 |1706 |1544 |1706 | 659 |8548 | 15 |2464 | 0.000000e+00 | 3.104200e+04 | Inf
44.29/44.38 c 43.1s| 40000 | 39987 | 97044 | 2.4 | 52M| 183 | 0 |1706 |1544 |1706 | 666 | 11k| 17 |2477 | 0.000000e+00 | 3.104200e+04 | Inf
53.60/53.69 c 52.2s| 50000 | 49979 |118097 | 2.3 | 62M| 183 | 0 |1706 |1547 |1706 | 664 | 14k| 24 |2502 | 0.000000e+00 | 3.104200e+04 | Inf
62.99/63.00 c 61.2s| 60000 | 59977 |138286 | 2.3 | 73M| 183 | 0 |1706 |1546 |1706 | 660 | 17k| 25 |2520 | 0.000000e+00 | 3.104200e+04 | Inf
72.19/72.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.19/72.25 c 70.2s| 70000 | 69975 |157383 | 2.2 | 84M| 183 | 6 |1706 |1544 |1706 | 638 | 19k| 26 |2528 | 0.000000e+00 | 3.104200e+04 | Inf
81.40/81.43 c 79.0s| 80000 | 79973 |174731 | 2.2 | 95M| 183 | 0 |1706 |1546 |1706 | 669 | 22k| 28 |2528 | 0.000000e+00 | 3.104200e+04 | Inf
90.59/90.64 c 88.0s| 90000 | 89973 |191432 | 2.1 | 105M| 183 | 0 |1706 |1545 |1706 | 669 | 25k| 28 |2548 | 0.000000e+00 | 3.104200e+04 | Inf
99.80/99.80 c 96.9s|100000 | 99971 |207313 | 2.1 | 116M| 191 | 0 |1706 |1546 |1706 | 674 | 28k| 30 |2594 | 0.000000e+00 | 3.104200e+04 | Inf
108.70/108.75 c 106s|110000 |109969 |221446 | 2.0 | 127M| 199 | 0 |1706 |1545 |1706 | 675 | 30k| 31 |2604 | 0.000000e+00 | 3.104200e+04 | Inf
117.80/117.81 c 114s|120000 |119964 |237049 | 2.0 | 138M| 199 | 6 |1706 |1548 |1706 | 638 | 33k| 34 |2682 | 0.000000e+00 | 3.104200e+04 | Inf
126.69/126.72 c 123s|130000 |129964 |249879 | 1.9 | 148M| 199 | 0 |1706 |1548 |1706 | 674 | 35k| 34 |2694 | 0.000000e+00 | 3.104200e+04 | Inf
135.89/135.97 c 132s|140000 |139964 |268691 | 1.9 | 159M| 199 | 0 |1706 |1548 |1706 | 664 | 38k| 34 |2795 | 0.000000e+00 | 3.104200e+04 | Inf
145.00/145.08 c 141s|150000 |149964 |286451 | 1.9 | 170M| 199 | 0 |1706 |1545 |1706 | 666 | 41k| 34 |2851 | 0.000000e+00 | 3.104200e+04 | Inf
154.10/154.18 c 150s|160000 |159964 |302409 | 1.9 | 181M| 199 | 6 |1706 |1545 |1706 | 638 | 43k| 34 |2920 | 0.000000e+00 | 3.104200e+04 | Inf
163.29/163.30 c 159s|170000 |169964 |317973 | 1.9 | 192M| 199 | 0 |1706 |1545 |1706 | 662 | 46k| 34 |3002 | 0.000000e+00 | 3.104200e+04 | Inf
172.40/172.40 c 167s|180000 |179964 |332995 | 1.8 | 203M| 199 | 0 |1706 |1545 |1706 | 669 | 49k| 34 |3088 | 0.000000e+00 | 3.104200e+04 | Inf
181.60/181.62 c 176s|190000 |189964 |351119 | 1.8 | 213M| 199 | 0 |1706 |1545 |1706 | 666 | 51k| 34 |3186 | 0.000000e+00 | 3.104200e+04 | Inf
190.90/190.96 c 185s|200000 |199964 |369824 | 1.8 | 224M| 199 | 0 |1706 |1544 |1706 | 666 | 54k| 34 |3390 | 0.000000e+00 | 3.104200e+04 | Inf
200.30/200.34 c 194s|210000 |209962 |387501 | 1.8 | 235M| 199 | 48 |1706 |1545 |1706 | 638 | 57k| 35 |3615 | 0.000000e+00 | 3.104200e+04 | Inf
209.59/209.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
209.59/209.67 c 203s|220000 |219960 |407013 | 1.8 | 246M| 199 | 0 |1706 |1546 |1706 | 667 | 60k| 37 |3745 | 0.000000e+00 | 3.104200e+04 | Inf
219.00/219.06 c 213s|230000 |229960 |425614 | 1.8 | 257M| 199 | 0 |1706 |1546 |1706 | 657 | 63k| 37 |3966 | 0.000000e+00 | 3.104200e+04 | Inf
228.20/228.21 c 221s|240000 |239960 |443205 | 1.8 | 267M| 199 | 0 |1706 |1546 |1706 | 668 | 66k| 37 |4033 | 0.000000e+00 | 3.104200e+04 | Inf
237.30/237.38 c 230s|250000 |249960 |460932 | 1.8 | 278M| 199 | 0 |1706 |1546 |1706 | 659 | 69k| 37 |4096 | 0.000000e+00 | 3.104200e+04 | Inf
246.60/246.61 c 239s|260000 |259960 |478672 | 1.8 | 289M| 199 | 0 |1706 |1546 |1706 | 672 | 72k| 37 |4158 | 0.000000e+00 | 3.104200e+04 | Inf
255.70/255.77 c 248s|270000 |269958 |494926 | 1.8 | 300M| 199 | 28 |1706 |1547 |1706 | 653 | 75k| 38 |4242 | 0.000000e+00 | 3.104200e+04 | Inf
264.90/264.97 c 257s|280000 |279958 |510662 | 1.8 | 311M| 199 | 0 |1706 |1547 |1706 | 666 | 77k| 38 |4324 | 0.000000e+00 | 3.104200e+04 | Inf
274.09/274.10 c 266s|290000 |289958 |528114 | 1.8 | 321M| 199 | 0 |1706 |1547 |1706 | 665 | 80k| 38 |4358 | 0.000000e+00 | 3.104200e+04 | Inf
283.29/283.37 c 275s|300000 |299958 |544810 | 1.8 | 332M| 199 | 0 |1706 |1547 |1706 | 665 | 82k| 38 |4488 | 0.000000e+00 | 3.104200e+04 | Inf
292.50/292.58 c 284s|310000 |309958 |562194 | 1.8 | 343M| 199 | 0 |1706 |1547 |1706 | 674 | 85k| 38 |4567 | 0.000000e+00 | 3.104200e+04 | Inf
301.59/301.67 c 293s|320000 |319958 |577479 | 1.8 | 354M| 199 | 0 |1706 |1546 |1706 | 661 | 88k| 38 |4630 | 0.000000e+00 | 3.104200e+04 | Inf
310.70/310.76 c 302s|330000 |329956 |591800 | 1.8 | 365M| 199 | 0 |1706 |1548 |1706 | 663 | 90k| 40 |4689 | 0.000000e+00 | 3.104200e+04 | Inf
319.89/319.93 c 310s|340000 |339956 |607057 | 1.8 | 375M| 199 | 0 |1706 |1547 |1706 | 673 | 93k| 40 |4791 | 0.000000e+00 | 3.104200e+04 | Inf
329.00/329.03 c 319s|350000 |349956 |622698 | 1.8 | 386M| 199 | 0 |1706 |1547 |1706 | 665 | 95k| 40 |4807 | 0.000000e+00 | 3.104200e+04 | Inf
338.20/338.29 c 328s|360000 |359956 |638872 | 1.8 | 397M| 199 | 0 |1706 |1547 |1706 | 671 | 98k| 40 |4898 | 0.000000e+00 | 3.104200e+04 | Inf
347.50/347.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
347.50/347.52 c 337s|370000 |369956 |654250 | 1.8 | 408M| 199 | 0 |1706 |1547 |1706 | 666 | 102k| 40 |4980 | 0.000000e+00 | 3.104200e+04 | Inf
356.59/356.65 c 346s|380000 |379956 |671220 | 1.8 | 419M| 199 | 11 |1706 |1547 |1706 | 658 | 105k| 40 |5013 | 0.000000e+00 | 3.104200e+04 | Inf
365.89/365.94 c 355s|390000 |389956 |690552 | 1.8 | 429M| 199 | 0 |1706 |1547 |1706 | 664 | 108k| 40 |5128 | 0.000000e+00 | 3.104200e+04 | Inf
375.10/375.19 c 364s|400000 |399956 |710071 | 1.8 | 440M| 199 | 0 |1706 |1547 |1706 | 665 | 111k| 40 |5223 | 0.000000e+00 | 3.104200e+04 | Inf
384.40/384.42 c 373s|410000 |409954 |729243 | 1.8 | 451M| 199 | 0 |1706 |1548 |1706 | 659 | 114k| 41 |5273 | 0.000000e+00 | 3.104200e+04 | Inf
393.60/393.60 c 382s|420000 |419954 |746118 | 1.8 | 462M| 199 | 0 |1706 |1548 |1706 | 663 | 116k| 41 |5345 | 0.000000e+00 | 3.104200e+04 | Inf
402.80/402.80 c 391s|430000 |429954 |762441 | 1.8 | 473M| 199 | 0 |1706 |1548 |1706 | 664 | 118k| 41 |5428 | 0.000000e+00 | 3.104200e+04 | Inf
411.90/411.90 c 400s|440000 |439954 |779341 | 1.8 | 483M| 199 | 0 |1706 |1548 |1706 | 673 | 121k| 41 |5441 | 0.000000e+00 | 3.104200e+04 | Inf
421.00/421.05 c 408s|450000 |449954 |793449 | 1.8 | 494M| 199 | 5 |1706 |1548 |1706 | 638 | 124k| 41 |5554 | 0.000000e+00 | 3.104200e+04 | Inf
429.99/430.07 c 417s|460000 |459954 |809103 | 1.8 | 505M| 199 | 0 |1706 |1548 |1706 | 670 | 126k| 41 |5567 | 0.000000e+00 | 3.104200e+04 | Inf
439.10/439.19 c 426s|470000 |469952 |824271 | 1.8 | 516M| 199 | 0 |1706 |1548 |1706 | 667 | 129k| 42 |5675 | 0.000000e+00 | 3.104200e+04 | Inf
448.30/448.34 c 435s|480000 |479952 |841361 | 1.8 | 527M| 199 | 0 |1706 |1548 |1706 | 672 | 132k| 42 |5726 | 0.000000e+00 | 3.104200e+04 | Inf
457.50/457.53 c 444s|490000 |489950 |860515 | 1.8 | 537M| 199 | 5 |1706 |1550 |1706 | 638 | 135k| 46 |5799 | 0.000000e+00 | 3.104200e+04 | Inf
466.80/466.88 c 453s|500000 |499950 |880182 | 1.8 | 548M| 199 | 0 |1706 |1548 |1706 | 661 | 138k| 46 |5903 | 0.000000e+00 | 3.104200e+04 | Inf
476.10/476.13 c 462s|510000 |509950 |897224 | 1.8 | 559M| 199 | 0 |1706 |1548 |1706 | 666 | 141k| 46 |5969 | 0.000000e+00 | 3.104200e+04 | Inf
485.30/485.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
485.30/485.34 c 471s|520000 |519950 |915668 | 1.8 | 570M| 199 | 3 |1706 |1548 |1706 | 658 | 144k| 46 |6029 | 0.000000e+00 | 3.104200e+04 | Inf
494.50/494.50 c 480s|530000 |529950 |932867 | 1.8 | 581M| 199 | 38 |1706 |1547 |1706 | 638 | 147k| 46 |6111 | 0.000000e+00 | 3.104200e+04 | Inf
503.69/503.70 c 489s|540000 |539948 |952140 | 1.8 | 591M| 199 | 0 |1706 |1547 |1706 | 665 | 151k| 47 |6146 | 0.000000e+00 | 3.104200e+04 | Inf
512.90/512.94 c 497s|550000 |549944 |971632 | 1.8 | 602M| 199 | 0 |1706 |1549 |1706 | 673 | 154k| 51 |6223 | 0.000000e+00 | 3.104200e+04 | Inf
522.10/522.11 c 506s|560000 |559942 |988241 | 1.8 | 613M| 199 | 0 |1706 |1549 |1706 | 666 | 157k| 52 |6301 | 0.000000e+00 | 3.104200e+04 | Inf
531.20/531.26 c 515s|570000 |569942 | 1005k| 1.8 | 624M| 199 | 19 |1706 |1549 |1706 | 658 | 160k| 52 |6319 | 0.000000e+00 | 3.104200e+04 | Inf
540.40/540.44 c 524s|580000 |579942 | 1022k| 1.8 | 635M| 199 | 0 |1706 |1549 |1706 | 672 | 163k| 52 |6406 | 0.000000e+00 | 3.104200e+04 | Inf
549.60/549.66 c 533s|590000 |589940 | 1038k| 1.8 | 645M| 199 | 0 |1706 |1550 |1706 | 670 | 167k| 53 |6485 | 0.000000e+00 | 3.104200e+04 | Inf
558.81/558.87 c 542s|600000 |599940 | 1055k| 1.8 | 656M| 199 | 0 |1706 |1549 |1706 | 660 | 170k| 53 |6552 | 0.000000e+00 | 3.104200e+04 | Inf
568.00/568.04 c 551s|610000 |609940 | 1071k| 1.8 | 667M| 199 | 0 |1706 |1548 |1706 | 665 | 172k| 53 |6616 | 0.000000e+00 | 3.104200e+04 | Inf
577.10/577.18 c 560s|620000 |619940 | 1087k| 1.8 | 678M| 199 | 2 |1706 |1547 |1706 | 638 | 175k| 53 |6655 | 0.000000e+00 | 3.104200e+04 | Inf
586.40/586.44 c 569s|630000 |629940 | 1103k| 1.7 | 689M| 199 | 0 |1706 |1547 |1706 | 672 | 177k| 53 |6767 | 0.000000e+00 | 3.104200e+04 | Inf
595.50/595.59 c 578s|640000 |639940 | 1119k| 1.7 | 699M| 199 | 0 |1706 |1547 |1706 | 666 | 180k| 53 |6853 | 0.000000e+00 | 3.104200e+04 | Inf
604.80/604.84 c 587s|650000 |649940 | 1139k| 1.8 | 710M| 199 | 8 |1706 |1547 |1706 | 638 | 184k| 53 |6871 | 0.000000e+00 | 3.104200e+04 | Inf
614.10/614.16 c 596s|660000 |659940 | 1158k| 1.8 | 721M| 199 | 0 |1706 |1547 |1706 | 674 | 187k| 53 |6941 | 0.000000e+00 | 3.104200e+04 | Inf
623.30/623.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
623.30/623.35 c 605s|670000 |669940 | 1174k| 1.8 | 732M| 199 | 0 |1706 |1546 |1706 | 673 | 190k| 53 |7012 | 0.000000e+00 | 3.104200e+04 | Inf
632.60/632.63 c 614s|680000 |679940 | 1189k| 1.7 | 743M| 199 | 3 |1706 |1546 |1706 | 638 | 193k| 53 |7113 | 0.000000e+00 | 3.104200e+04 | Inf
643.40/643.40 c 624s|690000 |689931 | 1208k| 1.7 | 753M| 199 | 0 |1706 |1552 |1706 | 672 | 195k| 59 |8521 | 0.000000e+00 | 3.104200e+04 | Inf
652.80/652.81 c 633s|700000 |699931 | 1229k| 1.8 | 764M| 199 | 13 |1706 |1552 |1706 | 638 | 198k| 59 |8763 | 0.000000e+00 | 3.104200e+04 | Inf
661.80/661.85 c 642s|710000 |709921 | 1244k| 1.8 | 775M| 199 | 0 |1706 |1555 |1706 | 663 | 199k| 65 |8885 | 0.000000e+00 | 3.104200e+04 | Inf
670.60/670.61 c 650s|720000 |719919 | 1252k| 1.7 | 785M| 199 | 0 |1706 |1555 |1706 | 660 | 201k| 67 |8885 | 0.000000e+00 | 3.104200e+04 | Inf
679.40/679.49 c 659s|730000 |729919 | 1263k| 1.7 | 796M| 199 | 0 |1706 |1553 |1706 | 659 | 203k| 67 |8890 | 0.000000e+00 | 3.104200e+04 | Inf
688.11/688.16 c 667s|740000 |739919 | 1271k| 1.7 | 807M| 199 | 0 |1706 |1553 |1706 | 661 | 204k| 67 |8897 | 0.000000e+00 | 3.104200e+04 | Inf
696.70/696.77 c 676s|750000 |749919 | 1278k| 1.7 | 817M| 199 | 0 |1706 |1552 |1706 | 661 | 206k| 67 |8902 | 0.000000e+00 | 3.104200e+04 | Inf
705.60/705.66 c 684s|760000 |759919 | 1288k| 1.7 | 828M| 199 | 0 |1706 |1551 |1706 | 653 | 208k| 67 |8911 | 0.000000e+00 | 3.104200e+04 | Inf
714.21/714.20 c 693s|770000 |769919 | 1294k| 1.7 | 839M| 201 | 0 |1706 |1551 |1706 | 658 | 209k| 67 |8912 | 0.000000e+00 | 3.104200e+04 | Inf
722.61/722.63 c 701s|780000 |779919 | 1298k| 1.7 | 849M| 201 | 0 |1706 |1551 |1706 | 659 | 211k| 67 |8913 | 0.000000e+00 | 3.104200e+04 | Inf
731.20/731.21 c 709s|790000 |789919 | 1305k| 1.7 | 860M| 201 | 0 |1706 |1550 |1706 | 659 | 212k| 67 |8914 | 0.000000e+00 | 3.104200e+04 | Inf
739.50/739.58 c 717s|800000 |799919 | 1308k| 1.6 | 871M| 201 | 0 |1706 |1550 |1706 | 663 | 213k| 67 |8914 | 0.000000e+00 | 3.104200e+04 | Inf
748.00/748.08 c 726s|810000 |809919 | 1314k| 1.6 | 881M| 201 | 0 |1706 |1550 |1706 | 660 | 215k| 67 |8914 | 0.000000e+00 | 3.104200e+04 | Inf
756.50/756.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
756.50/756.58 c 734s|820000 |819919 | 1318k| 1.6 | 892M| 201 | 0 |1706 |1550 |1706 | 655 | 216k| 67 |8918 | 0.000000e+00 | 3.104200e+04 | Inf
765.31/765.39 c 742s|830000 |829919 | 1329k| 1.6 | 903M| 201 | 0 |1706 |1550 |1706 | 658 | 219k| 67 |8919 | 0.000000e+00 | 3.104200e+04 | Inf
773.80/773.86 c 751s|840000 |839919 | 1334k| 1.6 | 913M| 201 | 0 |1706 |1550 |1706 | 657 | 220k| 67 |8919 | 0.000000e+00 | 3.104200e+04 | Inf
782.31/782.33 c 759s|850000 |849919 | 1339k| 1.6 | 924M| 201 | 0 |1706 |1550 |1706 | 669 | 221k| 67 |8919 | 0.000000e+00 | 3.104200e+04 | Inf
790.81/790.83 c 767s|860000 |859919 | 1344k| 1.6 | 934M| 201 | 0 |1706 |1550 |1706 | 664 | 223k| 67 |8919 | 0.000000e+00 | 3.104200e+04 | Inf
799.81/799.80 c 776s|870000 |869919 | 1359k| 1.6 | 945M| 201 | 0 |1706 |1549 |1706 | 657 | 225k| 67 |8919 | 0.000000e+00 | 3.104200e+04 | Inf
808.30/808.36 c 784s|880000 |879919 | 1365k| 1.6 | 956M| 201 | 0 |1706 |1549 |1706 | 666 | 227k| 67 |8920 | 0.000000e+00 | 3.104200e+04 | Inf
816.80/816.89 c 793s|890000 |889919 | 1371k| 1.5 | 967M| 201 | 0 |1706 |1549 |1706 | 661 | 229k| 67 |8924 | 0.000000e+00 | 3.104200e+04 | Inf
825.31/825.34 c 801s|900000 |899919 | 1375k| 1.5 | 977M| 201 | 0 |1706 |1549 |1706 | 660 | 230k| 67 |8926 | 0.000000e+00 | 3.104200e+04 | Inf
833.71/833.77 c 809s|910000 |909919 | 1380k| 1.5 | 988M| 201 | 0 |1706 |1549 |1706 | 662 | 232k| 67 |8928 | 0.000000e+00 | 3.104200e+04 | Inf
842.21/842.20 c 817s|920000 |919919 | 1384k| 1.5 | 998M| 201 | 0 |1706 |1549 |1706 | 658 | 233k| 67 |8928 | 0.000000e+00 | 3.104200e+04 | Inf
850.61/850.67 c 826s|930000 |929919 | 1389k| 1.5 |1009M| 201 | 0 |1706 |1549 |1706 | 665 | 235k| 67 |8928 | 0.000000e+00 | 3.104200e+04 | Inf
859.11/859.11 c 834s|940000 |939919 | 1393k| 1.5 |1020M| 201 | 0 |1706 |1549 |1706 | 665 | 236k| 67 |8928 | 0.000000e+00 | 3.104200e+04 | Inf
868.01/868.09 c 842s|950000 |949917 | 1408k| 1.5 |1031M| 201 | 0 |1706 |1550 |1706 | 657 | 239k| 68 |8981 | 0.000000e+00 | 3.104200e+04 | Inf
877.20/877.20 c 851s|960000 |959917 | 1426k| 1.5 |1041M| 201 | 15 |1706 |1549 |1706 | 638 | 241k| 68 |8990 | 0.000000e+00 | 3.104200e+04 | Inf
886.31/886.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
886.31/886.36 c 860s|970000 |969917 | 1445k| 1.5 |1052M| 201 | 0 |1706 |1549 |1706 | 671 | 244k| 68 |9049 | 0.000000e+00 | 3.104200e+04 | Inf
895.51/895.55 c 869s|980000 |979917 | 1463k| 1.5 |1063M| 201 | 0 |1706 |1549 |1706 | 670 | 247k| 68 |9115 | 0.000000e+00 | 3.104200e+04 | Inf
904.61/904.63 c 878s|990000 |989917 | 1480k| 1.5 |1074M| 201 | 0 |1706 |1549 |1706 | 673 | 250k| 68 |9124 | 0.000000e+00 | 3.104200e+04 | Inf
913.70/913.70 c 887s| 1000k|999917 | 1494k| 1.5 |1084M| 201 | 0 |1706 |1549 |1706 | 669 | 254k| 68 |9163 | 0.000000e+00 | 3.104200e+04 | Inf
922.81/922.86 c 896s| 1010k| 1009k| 1511k| 1.5 |1095M| 201 | 2 |1706 |1549 |1706 | 664 | 257k| 68 |9203 | 0.000000e+00 | 3.104200e+04 | Inf
931.82/931.88 c 904s| 1020k| 1019k| 1524k| 1.5 |1106M| 201 | 0 |1706 |1549 |1706 | 660 | 259k| 68 |9281 | 0.000000e+00 | 3.104200e+04 | Inf
940.71/940.73 c 913s| 1030k| 1029k| 1533k| 1.5 |1117M| 201 | 0 |1706 |1550 |1706 | 660 | 260k| 69 |9308 | 0.000000e+00 | 3.104200e+04 | Inf
949.61/949.61 c 922s| 1040k| 1039k| 1541k| 1.5 |1127M| 201 | 0 |1706 |1550 |1706 | 660 | 262k| 69 |9341 | 0.000000e+00 | 3.104200e+04 | Inf
958.41/958.48 c 930s| 1050k| 1049k| 1549k| 1.5 |1138M| 201 | 0 |1706 |1550 |1706 | 657 | 263k| 69 |9362 | 0.000000e+00 | 3.104200e+04 | Inf
967.21/967.29 c 939s| 1060k| 1059k| 1556k| 1.5 |1149M| 201 | 0 |1706 |1550 |1706 | 658 | 265k| 69 |9366 | 0.000000e+00 | 3.104200e+04 | Inf
976.01/976.08 c 947s| 1070k| 1069k| 1563k| 1.5 |1159M| 201 | 0 |1706 |1550 |1706 | 659 | 266k| 69 |9370 | 0.000000e+00 | 3.104200e+04 | Inf
984.81/984.89 c 956s| 1080k| 1079k| 1570k| 1.5 |1170M| 201 | 2 |1706 |1550 |1706 | 653 | 267k| 69 |9410 | 0.000000e+00 | 3.104200e+04 | Inf
993.61/993.69 c 965s| 1090k| 1089k| 1576k| 1.4 |1181M| 201 | 0 |1706 |1550 |1706 | 660 | 269k| 69 |9416 | 0.000000e+00 | 3.104200e+04 | Inf
1002.51/1002.59 c 973s| 1100k| 1099k| 1583k| 1.4 |1191M| 201 | 0 |1706 |1550 |1706 | 655 | 270k| 69 |9433 | 0.000000e+00 | 3.104200e+04 | Inf
1011.41/1011.47 c 982s| 1110k| 1109k| 1591k| 1.4 |1202M| 201 | 0 |1706 |1550 |1706 | 659 | 272k| 69 |9440 | 0.000000e+00 | 3.104200e+04 | Inf
1020.40/1020.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1020.40/1020.42 c 991s| 1120k| 1119k| 1598k| 1.4 |1213M| 201 | 0 |1706 |1550 |1706 | 655 | 273k| 69 |9461 | 0.000000e+00 | 3.104200e+04 | Inf
1029.30/1029.35 c 999s| 1130k| 1129k| 1605k| 1.4 |1223M| 201 | 0 |1706 |1550 |1706 | 656 | 275k| 69 |9491 | 0.000000e+00 | 3.104200e+04 | Inf
1038.20/1038.28 c 1008s| 1140k| 1139k| 1612k| 1.4 |1234M| 201 | 0 |1706 |1550 |1706 | 661 | 276k| 69 |9492 | 0.000000e+00 | 3.104200e+04 | Inf
1047.32/1047.38 c 1017s| 1150k| 1149k| 1622k| 1.4 |1245M| 201 | 0 |1706 |1554 |1706 | 665 | 278k| 73 |9604 | 0.000000e+00 | 3.104200e+04 | Inf
1056.21/1056.28 c 1025s| 1160k| 1159k| 1633k| 1.4 |1255M| 201 | 0 |1706 |1552 |1706 | 658 | 280k| 74 |9655 | 0.000000e+00 | 3.104200e+04 | Inf
1065.21/1065.23 c 1034s| 1170k| 1169k| 1647k| 1.4 |1266M| 201 | 0 |1706 |1551 |1706 | 658 | 281k| 74 |9710 | 0.000000e+00 | 3.104200e+04 | Inf
1074.21/1074.20 c 1043s| 1180k| 1179k| 1658k| 1.4 |1277M| 201 | 0 |1706 |1549 |1706 | 653 | 283k| 74 |9774 | 0.000000e+00 | 3.104200e+04 | Inf
1083.31/1083.33 c 1052s| 1190k| 1189k| 1675k| 1.4 |1287M| 201 | 0 |1706 |1556 |1706 | 656 | 285k| 81 |9823 | 0.000000e+00 | 3.104200e+04 | Inf
1092.11/1092.17 c 1060s| 1200k| 1199k| 1687k| 1.4 |1298M| 201 | 0 |1706 |1553 |1706 | 660 | 287k| 84 |9843 | 0.000000e+00 | 3.104200e+04 | Inf
1101.22/1101.25 c 1069s| 1210k| 1209k| 1701k| 1.4 |1308M| 201 | 0 |1706 |1553 |1706 | 660 | 289k| 85 | 10k| 0.000000e+00 | 3.104200e+04 | Inf
1110.51/1110.57 c 1078s| 1220k| 1219k| 1718k| 1.4 |1319M| 201 | 0 |1706 |1549 |1706 | 660 | 291k| 88 | 10k| 0.000000e+00 | 3.104200e+04 | Inf
1119.70/1119.75 c 1087s| 1230k| 1229k| 1735k| 1.4 |1330M| 201 | 1 |1706 |1551 |1706 | 657 | 293k| 91 | 10k| 0.000000e+00 | 3.104200e+04 | Inf
1128.61/1128.63 c 1095s| 1240k| 1239k| 1746k| 1.4 |1340M| 201 | 0 |1706 |1551 |1706 | 655 | 294k| 93 | 10k| 0.000000e+00 | 3.104200e+04 | Inf
1137.52/1137.51 c 1104s| 1250k| 1249k| 1757k| 1.4 |1351M| 201 | 0 |1706 |1553 |1706 | 663 | 296k| 98 | 10k| 0.000000e+00 | 3.104200e+04 | Inf
1146.41/1146.45 c 1113s| 1260k| 1259k| 1768k| 1.4 |1362M| 201 | 0 |1706 |1553 |1706 | 654 | 298k| 100 | 10k| 0.000000e+00 | 3.104200e+04 | Inf
1156.01/1156.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1156.01/1156.00 c 1122s| 1270k| 1269k| 1775k| 1.4 |1372M| 201 | 0 |1706 |1552 |1706 | 659 | 299k| 102 | 10k| 0.000000e+00 | 3.104200e+04 | Inf
1165.51/1165.60 c 1131s| 1280k| 1279k| 1783k| 1.4 |1383M| 201 | 0 |1706 |1553 |1706 | 653 | 300k| 104 | 10k| 0.000000e+00 | 3.104200e+04 | Inf
1175.21/1175.26 c 1141s| 1290k| 1289k| 1793k| 1.4 |1394M| 201 | 0 |1706 |1553 |1706 | 652 | 301k| 107 | 10k| 0.000000e+00 | 3.104200e+04 | Inf
1184.91/1184.92 c 1150s| 1300k| 1299k| 1802k| 1.4 |1404M| 201 | 0 |1706 |1552 |1706 | 661 | 303k| 108 | 10k| 0.000000e+00 | 3.104200e+04 | Inf
1194.72/1194.77 c 1160s| 1310k| 1309k| 1814k| 1.4 |1415M| 201 | 33 |1706 |1553 |1706 | 638 | 305k| 109 | 10k| 0.000000e+00 | 3.104200e+04 | Inf
1204.52/1204.56 c 1169s| 1320k| 1319k| 1826k| 1.4 |1425M| 201 | 0 |1706 |1553 |1706 | 662 | 307k| 112 | 10k| 0.000000e+00 | 3.104200e+04 | Inf
1214.41/1214.49 c 1179s| 1330k| 1329k| 1840k| 1.4 |1436M| 201 | 0 |1706 |1550 |1706 | 658 | 309k| 112 | 10k| 0.000000e+00 | 3.104200e+04 | Inf
1224.51/1224.51 c 1189s| 1340k| 1339k| 1856k| 1.4 |1447M| 201 | 6 |1706 |1551 |1706 | 652 | 311k| 116 | 10k| 0.000000e+00 | 3.104200e+04 | Inf
1234.51/1234.53 c 1198s| 1350k| 1349k| 1872k| 1.4 |1457M| 201 | 0 |1706 |1552 |1706 | 663 | 313k| 119 | 10k| 0.000000e+00 | 3.104200e+04 | Inf
1244.62/1244.63 c 1208s| 1360k| 1359k| 1890k| 1.4 |1468M| 201 | 0 |1706 |1551 |1706 | 663 | 315k| 120 | 10k| 0.000000e+00 | 3.104200e+04 | Inf
1254.41/1254.47 c 1218s| 1370k| 1369k| 1902k| 1.4 |1478M| 201 | 0 |1706 |1551 |1706 | 658 | 316k| 120 | 10k| 0.000000e+00 | 3.104200e+04 | Inf
1264.41/1264.45 c 1227s| 1380k| 1379k| 1917k| 1.4 |1489M| 201 | 0 |1706 |1550 |1706 | 664 | 318k| 121 | 10k| 0.000000e+00 | 3.104200e+04 | Inf
1274.31/1274.36 c 1237s| 1390k| 1389k| 1932k| 1.4 |1500M| 201 | 17 |1706 |1549 |1706 | 638 | 320k| 121 | 10k| 0.000000e+00 | 3.104200e+04 | Inf
1284.21/1284.26 c 1247s| 1400k| 1399k| 1944k| 1.4 |1510M| 201 | 0 |1706 |1549 |1706 | 653 | 322k| 122 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1294.32/1294.37 c 1256s| 1410k| 1409k| 1961k| 1.4 |1521M| 201 | 0 |1706 |1551 |1706 | 654 | 324k| 124 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1304.71/1304.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1304.71/1304.73 c 1266s| 1420k| 1419k| 1971k| 1.4 |1532M| 203 | 0 |1706 |1554 |1706 | 664 | 326k| 128 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1313.91/1313.96 c 1275s| 1430k| 1429k| 1976k| 1.4 |1542M| 203 | 0 |1706 |1551 |1706 | 659 | 327k| 128 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1323.11/1323.12 c 1284s| 1440k| 1439k| 1980k| 1.4 |1553M| 203 | 0 |1706 |1550 |1706 | 663 | 329k| 128 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1332.41/1332.42 c 1293s| 1450k| 1449k| 1985k| 1.4 |1563M| 203 | 0 |1706 |1549 |1706 | 664 | 331k| 128 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1341.52/1341.54 c 1302s| 1460k| 1459k| 1989k| 1.4 |1574M| 203 | 0 |1706 |1549 |1706 | 660 | 332k| 128 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1349.72/1349.73 c 1310s| 1470k| 1469k| 1992k| 1.4 |1585M| 203 | 0 |1706 |1549 |1706 | 657 | 333k| 128 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1358.01/1358.05 c 1318s| 1480k| 1479k| 1997k| 1.3 |1595M| 203 | 0 |1706 |1549 |1706 | 656 | 335k| 128 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1366.11/1366.20 c 1326s| 1490k| 1489k| 2000k| 1.3 |1606M| 203 | 0 |1706 |1548 |1706 | 656 | 336k| 128 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1374.21/1374.25 c 1334s| 1500k| 1499k| 2004k| 1.3 |1617M| 203 | 0 |1706 |1548 |1706 | 655 | 337k| 128 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1382.41/1382.45 c 1342s| 1510k| 1509k| 2008k| 1.3 |1627M| 203 | 0 |1706 |1548 |1706 | 657 | 339k| 128 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1390.81/1390.85 c 1350s| 1520k| 1519k| 2013k| 1.3 |1638M| 203 | 0 |1706 |1549 |1706 | 662 | 341k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1399.11/1399.11 c 1358s| 1530k| 1529k| 2017k| 1.3 |1648M| 209 | 0 |1706 |1549 |1706 | 662 | 342k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1407.21/1407.23 c 1366s| 1540k| 1539k| 2021k| 1.3 |1659M| 209 | 0 |1706 |1549 |1706 | 656 | 343k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1415.31/1415.38 c 1374s| 1550k| 1549k| 2025k| 1.3 |1670M| 209 | 0 |1706 |1549 |1706 | 658 | 344k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1423.41/1423.47 c 1382s| 1560k| 1559k| 2029k| 1.3 |1680M| 209 | 0 |1706 |1549 |1706 | 662 | 346k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1431.81/1431.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1431.81/1431.89 c 1390s| 1570k| 1569k| 2033k| 1.3 |1691M| 209 | 0 |1706 |1549 |1706 | 656 | 347k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1440.11/1440.14 c 1398s| 1580k| 1579k| 2038k| 1.3 |1702M| 209 | 0 |1706 |1549 |1706 | 657 | 349k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1448.32/1448.32 c 1406s| 1590k| 1589k| 2043k| 1.3 |1712M| 209 | 0 |1706 |1549 |1706 | 659 | 351k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1456.31/1456.39 c 1414s| 1600k| 1599k| 2046k| 1.3 |1723M| 209 | 0 |1706 |1549 |1706 | 663 | 352k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1464.61/1464.62 c 1422s| 1610k| 1609k| 2051k| 1.3 |1733M| 209 | 0 |1706 |1549 |1706 | 659 | 353k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1472.71/1472.76 c 1430s| 1620k| 1619k| 2054k| 1.3 |1744M| 209 | 0 |1706 |1549 |1706 | 662 | 354k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1481.01/1481.03 c 1438s| 1630k| 1629k| 2059k| 1.3 |1755M| 209 | 0 |1706 |1549 |1706 | 658 | 356k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1489.31/1489.33 c 1446s| 1640k| 1639k| 2062k| 1.3 |1765M| 209 | 0 |1706 |1549 |1706 | 665 | 357k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1497.51/1497.56 c 1454s| 1650k| 1649k| 2067k| 1.3 |1776M| 209 | 0 |1706 |1549 |1706 | 661 | 358k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1505.71/1505.76 c 1462s| 1660k| 1659k| 2070k| 1.2 |1786M| 209 | 0 |1706 |1549 |1706 | 660 | 359k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1513.81/1513.87 c 1470s| 1670k| 1669k| 2075k| 1.2 |1797M| 209 | 0 |1706 |1549 |1706 | 656 | 361k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1521.91/1521.94 c 1478s| 1680k| 1679k| 2079k| 1.2 |1808M| 209 | 0 |1706 |1549 |1706 | 656 | 363k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1530.01/1530.00 c 1486s| 1690k| 1689k| 2082k| 1.2 |1818M| 209 | 0 |1706 |1549 |1706 | 661 | 363k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1538.21/1538.22 c 1494s| 1700k| 1699k| 2087k| 1.2 |1829M| 209 | 0 |1706 |1549 |1706 | 659 | 365k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1546.52/1546.54 c 1502s| 1710k| 1709k| 2092k| 1.2 |1839M| 209 | 13 |1706 |1549 |1706 | 638 | 366k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1554.81/1554.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1554.81/1554.86 c 1510s| 1720k| 1719k| 2096k| 1.2 |1850M| 209 | 0 |1706 |1549 |1706 | 656 | 367k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1563.02/1563.09 c 1518s| 1730k| 1729k| 2100k| 1.2 |1861M| 209 | 0 |1706 |1549 |1706 | 663 | 369k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1571.31/1571.36 c 1526s| 1740k| 1739k| 2104k| 1.2 |1871M| 209 | 0 |1706 |1549 |1706 | 658 | 370k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1579.51/1579.60 c 1535s| 1750k| 1749k| 2109k| 1.2 |1882M| 209 | 0 |1706 |1548 |1706 | 661 | 371k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1587.82/1587.89 c 1543s| 1760k| 1759k| 2114k| 1.2 |1892M| 209 | 0 |1706 |1548 |1706 | 656 | 373k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1595.91/1595.99 c 1551s| 1770k| 1769k| 2119k| 1.2 |1903M| 209 | 0 |1706 |1548 |1706 | 658 | 375k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1604.02/1604.09 c 1558s| 1780k| 1779k| 2123k| 1.2 |1914M| 209 | 0 |1706 |1548 |1706 | 660 | 376k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1612.31/1612.35 c 1566s| 1790k| 1789k| 2127k| 1.2 |1924M| 209 | 0 |1706 |1548 |1706 | 659 | 377k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1620.62/1620.64 c 1574s| 1800k| 1799k| 2131k| 1.2 |1935M| 209 | 0 |1706 |1548 |1706 | 664 | 378k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1628.91/1628.96 c 1582s| 1810k| 1809k| 2135k| 1.2 |1945M| 209 | 0 |1706 |1548 |1706 | 660 | 380k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1637.21/1637.28 c 1590s| 1820k| 1819k| 2139k| 1.2 |1956M| 209 | 0 |1706 |1548 |1706 | 661 | 381k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1645.52/1645.57 c 1597s| 1830k| 1829k| 2144k| 1.2 |1967M| 209 | 0 |1706 |1548 |1706 | 658 | 383k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1653.81/1653.86 c 1605s| 1840k| 1839k| 2148k| 1.2 |1977M| 209 | 0 |1706 |1548 |1706 | 658 | 384k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1662.42/1662.45 c 1613s| 1850k| 1849k| 2154k| 1.2 |1988M| 209 | 0 |1706 |1548 |1706 | 661 | 385k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1670.52/1670.55 c 1621s| 1860k| 1859k| 2158k| 1.2 |1998M| 209 | 0 |1706 |1548 |1706 | 655 | 386k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1678.62/1678.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1678.62/1678.63 c 1628s| 1870k| 1869k| 2162k| 1.2 |2009M| 209 | 0 |1706 |1548 |1706 | 659 | 388k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1686.62/1686.67 c 1636s| 1880k| 1879k| 2165k| 1.2 |2020M| 209 | 0 |1706 |1548 |1706 | 658 | 389k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1694.91/1694.98 c 1644s| 1890k| 1889k| 2170k| 1.1 |2030M| 209 | 0 |1706 |1548 |1706 | 659 | 391k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1703.22/1703.23 c 1651s| 1900k| 1899k| 2174k| 1.1 |2041M| 209 | 0 |1706 |1547 |1706 | 664 | 392k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1711.51/1711.57 c 1659s| 1910k| 1909k| 2178k| 1.1 |2052M| 209 | 0 |1706 |1547 |1706 | 657 | 393k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1719.82/1719.86 c 1667s| 1920k| 1919k| 2183k| 1.1 |2062M| 209 | 0 |1706 |1547 |1706 | 657 | 395k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1728.12/1728.20 c 1675s| 1930k| 1929k| 2187k| 1.1 |2073M| 209 | 0 |1706 |1547 |1706 | 655 | 396k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1736.41/1736.46 c 1683s| 1940k| 1939k| 2192k| 1.1 |2083M| 209 | 0 |1706 |1547 |1706 | 659 | 397k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1745.01/1745.02 c 1691s| 1950k| 1949k| 2198k| 1.1 |2094M| 209 | 1 |1706 |1547 |1706 | 652 | 399k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1753.22/1753.28 c 1699s| 1960k| 1959k| 2204k| 1.1 |2105M| 209 | 0 |1706 |1547 |1706 | 660 | 401k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1761.41/1761.42 c 1706s| 1970k| 1969k| 2208k| 1.1 |2115M| 209 | 0 |1706 |1547 |1706 | 661 | 402k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1769.52/1769.52 c 1714s| 1980k| 1979k| 2212k| 1.1 |2126M| 209 | 3 |1706 |1547 |1706 | 638 | 403k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1777.82/1777.88 c 1722s| 1990k| 1989k| 2217k| 1.1 |2136M| 209 | 0 |1706 |1547 |1706 | 659 | 405k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1786.12/1786.11 c 1729s| 2000k| 1999k| 2221k| 1.1 |2147M| 209 | 0 |1706 |1547 |1706 | 664 | 406k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1794.42/1794.47 c 1737s| 2010k| 2009k| 2226k| 1.1 |2158M| 209 | 0 |1706 |1547 |1706 | 661 | 408k| 129 | 11k| 0.000000e+00 | 3.104200e+04 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.01 c
1800.02/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.01 c Solving Time (sec) : 1742.54
1800.02/1800.01 c Solving Nodes : 2016663
1800.02/1800.01 c Primal Bound : +3.10420000000000e+04 (100 solutions)
1800.02/1800.01 c Dual Bound : +0.00000000000000e+00
1800.02/1800.01 c Gap : infinite
1800.02/1800.01 s SATISFIABLE
1800.02/1800.01 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474
1800.02/1800.01 v -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454
1800.02/1800.01 v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433
1800.02/1800.01 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412
1800.02/1800.01 v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391
1800.02/1800.01 v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370
1800.02/1800.01 v x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349
1800.02/1800.01 v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328
1800.02/1800.01 v -x327 -x326 -x325 -x324 x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307
1800.02/1800.01 v -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 -x287 -x286
1800.02/1800.01 v -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 x277 x276 x275 -x274 x273 -x272 x271 -x270 -x269 x268 -x267 x266 -x265 -x264
1800.02/1800.01 v -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 x252 -x251 x250 -x249 -x248 x247 x246 -x245 -x244 -x243
1800.02/1800.01 v -x242 -x241 -x240 x239 x238 x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221
1800.02/1800.01 v -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200
1800.02/1800.01 v -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185 x184 x183 x182 -x181 -x180 -x179 -x178
1800.02/1800.01 v x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157
1800.02/1800.01 v -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 x147 -x146 x145 x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 x135
1800.02/1800.01 v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
1800.02/1800.01 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92
1800.02/1800.01 v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 x72 -x71 x70 -x69 -x68 -x67 -x66
1800.02/1800.01 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41
1800.02/1800.01 v -x40 -x39 -x38 -x37 -x36 x35 x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 x19 -x18 -x17 x16 -x15 -x14
1800.02/1800.01 v -x13 -x12 -x11 -x10 -x9 x8 x7 -x6 -x5 -x4 -x3 x2 x1
1800.02/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.01 c Solving Time : 1742.54
1800.02/1800.01 c Original Problem :
1800.02/1800.01 c Problem name : HOME/instance-2693016-1277914349.wbo
1800.02/1800.01 c Variables : 1719 (1107 binary, 0 integer, 0 implicit integer, 612 continuous)
1800.02/1800.01 c Constraints : 1553 initial, 1553 maximal
1800.02/1800.01 c Presolved Problem :
1800.02/1800.01 c Problem name : t_HOME/instance-2693016-1277914349.wbo
1800.02/1800.01 c Variables : 1706 (1096 binary, 0 integer, 0 implicit integer, 610 continuous)
1800.02/1800.01 c Constraints : 1532 initial, 1558 maximal
1800.02/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c dualfix : 0.00 4 0 0 0 0 0 0 0
1800.02/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c implics : 0.00 0 7 0 0 0 0 0 0
1800.02/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.01 c indicator : 0.00 0 0 0 0 0 2 0 0
1800.02/1800.01 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c linear : 0.03 0 2 0 610 0 19 70 140
1800.02/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.01 c root node : - 0 - - 0 - - - -
1800.02/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.01 c integral : 0 0 0 2153718 0 0 58 0 0 561368
1800.02/1800.01 c indicator : 610 0 3836391 1872977 0 0 1453660 0 0 0
1800.02/1800.01 c varbound : 1 6 1186903 443476 0 0 19387 1 0 0
1800.02/1800.01 c knapsack : 51 6 3836391 1872977 0 85 251883 176 0 0
1800.02/1800.01 c linear : 609 6 3836306 1872977 0 3 1313571 408719 0 0
1800.02/1800.01 c logicor : 261+ 6 1006131 1735890 0 2 737868 0 0 0
1800.02/1800.01 c countsols : 0 0 0 1735890 0 0 0 0 0 0
1800.02/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.01 c integral : 17.64 0.00 0.00 17.64 0.00
1800.02/1800.01 c indicator : 91.06 0.08 26.26 64.72 0.00
1800.02/1800.01 c varbound : 0.62 0.00 0.43 0.19 0.00
1800.02/1800.01 c knapsack : 6.84 0.00 5.00 1.84 0.00
1800.02/1800.01 c linear : 87.12 0.00 21.50 65.62 0.00
1800.02/1800.01 c logicor : 6.98 0.00 1.85 5.13 0.00
1800.02/1800.01 c countsols : 0.34 0.00 0.00 0.34 0.00
1800.02/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.01 c vbounds : 0.98 38787 0 0
1800.02/1800.01 c rootredcost : 0.86 1 0 0
1800.02/1800.01 c pseudoobj : 54.73 3836191 0 0
1800.02/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.01 c propagation : 0.00 90 90 162 10.2 4 9.5 -
1800.02/1800.01 c infeasible LP : 0.00 9 9 9 2.3 0 0.0 0
1800.02/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.01 c applied globally : - - - 129 9.2 - - -
1800.02/1800.01 c applied locally : - - - 0 0.0 - - -
1800.02/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.01 c cut pool : 0.00 5 - - 197 - (maximal pool size: 794)
1800.02/1800.01 c redcost : 76.05 2153723 0 0 0 0
1800.02/1800.01 c impliedbounds : 0.00 6 0 0 1 0
1800.02/1800.01 c intobj : 0.00 0 0 0 0 0
1800.02/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.01 c gomory : 0.01 6 0 0 179 0
1800.02/1800.01 c strongcg : 0.02 6 0 0 11 0
1800.02/1800.01 c cmir : 0.07 6 0 0 331 0
1800.02/1800.01 c flowcover : 0.14 6 0 0 640 0
1800.02/1800.01 c clique : 0.00 1 0 0 0 0
1800.02/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.01 c mcf : 0.00 1 0 0 0 0
1800.02/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.01 c Pricers : Time Calls Vars
1800.02/1800.01 c problem variables: 0.00 0 0
1800.02/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.01 c relpscost : 16.90 280741 0 58 0 0 561368
1800.02/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.01 c inference : 121.63 1735890 0 0 0 0 3471780
1800.02/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.01 c random : 0.00 0 0 0 0 0 0
1800.02/1800.01 c Primal Heuristics : Time Calls Found
1800.02/1800.01 c LP solutions : 0.00 - 0
1800.02/1800.01 c pseudo solutions : 0.00 - 0
1800.02/1800.01 c oneopt : 1.57 1 0
1800.02/1800.01 c crossover : 0.91 13 0
1800.02/1800.01 c trivial : 0.00 2 0
1800.02/1800.01 c simplerounding : 0.85 274949 0
1800.02/1800.01 c zirounding : 0.52 1000 0
1800.02/1800.01 c rounding : 0.91 7342 0
1800.02/1800.01 c shifting : 1.01 2297 0
1800.02/1800.01 c intshifting : 0.01 20 0
1800.02/1800.01 c twoopt : 0.00 0 0
1800.02/1800.01 c fixandinfer : 0.00 0 0
1800.02/1800.01 c feaspump : 0.01 1 0
1800.02/1800.01 c coefdiving : 7.98 19181 0
1800.02/1800.01 c pscostdiving : 8.27 19181 0
1800.02/1800.01 c fracdiving : 7.83 19181 0
1800.02/1800.01 c veclendiving : 7.94 19180 0
1800.02/1800.01 c intdiving : 0.00 0 0
1800.02/1800.01 c actconsdiving : 0.00 0 0
1800.02/1800.01 c objpscostdiving : 7.86 19129 0
1800.02/1800.01 c rootsoldiving : 8.45 19129 0
1800.02/1800.01 c linesearchdiving : 7.84 19181 0
1800.02/1800.01 c guideddiving : 8.45 19181 0
1800.02/1800.01 c octane : 0.00 0 0
1800.02/1800.01 c rens : 0.01 1 0
1800.02/1800.01 c rins : 0.00 0 0
1800.02/1800.01 c localbranching : 0.00 0 0
1800.02/1800.01 c mutation : 0.00 0 0
1800.02/1800.01 c dins : 0.00 0 0
1800.02/1800.01 c undercover : 0.00 0 0
1800.02/1800.01 c nlp : 0.42 0 0
1800.02/1800.01 c trysol : 0.88 22495 100
1800.02/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.01 c primal LP : 0.01 0 0 0.00 0.00
1800.02/1800.01 c dual LP : 863.74 570462 2225913 3.90 2577.06
1800.02/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.01 c diving/probing LP: 1.02 1084 3364 3.10 3298.04
1800.02/1800.01 c strong branching : 15.18 12033 113763 9.45 7494.27
1800.02/1800.01 c (at root node) : - 17 243 14.29 -
1800.02/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.01 c B&B Tree :
1800.02/1800.01 c number of runs : 1
1800.02/1800.01 c nodes : 2016663
1800.02/1800.01 c nodes (total) : 2016663
1800.02/1800.01 c nodes left : 2016484
1800.02/1800.01 c max depth : 209
1800.02/1800.01 c max depth (total): 209
1800.02/1800.01 c backtracks : 19421 (1.0%)
1800.02/1800.01 c delayed cutoffs : 2
1800.02/1800.01 c repropagations : 659 (226 domain reductions, 2 cutoffs)
1800.02/1800.01 c avg switch length: 2.20
1800.02/1800.01 c switching time : 51.28
1800.02/1800.01 c Solution :
1800.02/1800.01 c Solutions found : 100 (1 improvements)
1800.02/1800.01 c First Solution : +3.10420000000000e+04 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trysol>)
1800.02/1800.01 c Primal Bound : +3.10420000000000e+04 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trysol>)
1800.02/1800.01 c Dual Bound : +0.00000000000000e+00
1800.02/1800.01 c Gap : infinite
1800.02/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.01 c Root Iterations : 886
Begin job on node130 at 2010-06-30 18:12:29
IDJOB=2693016
IDBENCH=79030
IDSOLVER=1205
FILE ID=node130/2693016-1277914349
PBS_JOBID= 11197286
Free space on /tmp= 74208 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-33-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-2693016-1277914349/watcher-2693016-1277914349 -o /tmp/evaluation-result-2693016-1277914349/solver-2693016-1277914349 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693016-1277914349.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3545a507d8022035a27eeba1d33d0d09
RANDOM SEED=1372758202
node130.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.796
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.59
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.796
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.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.796
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.796
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.72
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.796
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.796
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.63
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.796
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.796
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 : 5237.09
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31438772 kB
Buffers: 200952 kB
Cached: 971052 kB
SwapCached: 0 kB
Active: 671428 kB
Inactive: 699456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31438772 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6132 kB
Writeback: 0 kB
AnonPages: 198856 kB
Mapped: 16324 kB
Slab: 78588 kB
PageTables: 5144 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 350028 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= 74200 MiB
End job on node130 at 2010-06-30 18:42:31