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-2693095-1277915510.wbo>
0.00/0.01 c original problem has 1505 variables (1112 bin, 0 int, 0 impl, 393 cont) and 987 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 629 impls, 0 clqs
0.00/0.02 c (round 2) 1 del vars, 3 del conss, 0 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 629 impls, 0 clqs
0.00/0.02 c (round 3) 1 del vars, 3 del conss, 393 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 629 impls, 0 clqs
0.00/0.03 c (round 4) 1 del vars, 3 del conss, 393 chg bounds, 115 chg sides, 230 chg coeffs, 199 upgd conss, 629 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 101/1111 (9.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (5 rounds):
0.00/0.04 c 1 deleted vars, 3 deleted constraints, 393 tightened bounds, 0 added holes, 115 changed sides, 230 changed coefficients
0.00/0.04 c 634 implications, 0 cliques
0.00/0.04 c presolved problem has 1504 variables (1111 bin, 0 int, 0 impl, 393 cont) and 984 constraints
0.00/0.04 c 393 constraints of type <indicator>
0.00/0.04 c 1 constraints of type <varbound>
0.00/0.04 c 68 constraints of type <knapsack>
0.00/0.04 c 392 constraints of type <linear>
0.00/0.04 c 130 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.02
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.2
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1799.99
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 3420
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
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 0.0s| 1 | 0 | 31 | - |5096k| 0 | 26 |1504 | 984 |1504 | 198 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.06 c 0.0s| 1 | 0 | 135 | - |5238k| 0 | 117 |1504 | 984 |1504 | 306 | 108 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.06 o 19359
0.05/0.06 c y 0.0s| 1 | 0 | 135 | - |5283k| 0 | 117 |1504 | 984 |1504 | 306 | 108 | 0 | 0 | 0.000000e+00 | 1.935900e+04 | Inf
0.05/0.09 c 0.1s| 1 | 0 | 221 | - |5432k| 0 | 129 |1504 | 984 |1504 | 409 | 211 | 0 | 0 | 0.000000e+00 | 1.935900e+04 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 403 | - |5582k| 0 | 181 |1504 | 984 |1504 | 472 | 274 | 0 | 0 | 0.000000e+00 | 1.935900e+04 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 500 | - |5736k| 0 | 199 |1504 | 984 |1504 | 531 | 333 | 0 | 0 | 0.000000e+00 | 1.935900e+04 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 614 | - |5847k| 0 | 231 |1504 | 984 |1504 | 580 | 382 | 0 | 0 | 0.000000e+00 | 1.935900e+04 | Inf
0.29/0.37 c 0.3s| 1 | 0 | 853 | - |5970k| 0 | 231 |1504 | 984 |1504 | 624 | 426 | 0 | 0 | 0.000000e+00 | 1.935900e+04 | Inf
0.59/0.66 c 0.6s| 1 | 2 | 853 | - |6025k| 0 | 231 |1504 | 984 |1504 | 624 | 426 | 0 | 23 | 0.000000e+00 | 1.935900e+04 | Inf
17.29/17.33 c 16.8s| 10000 | 9983 | 58294 | 5.7 | 17M| 249 | 0 |1504 |1006 |1504 | 532 | 929 | 22 |2800 | 0.000000e+00 | 1.935900e+04 | Inf
26.49/26.56 c 25.6s| 20000 | 19979 |110027 | 5.5 | 27M| 257 | 95 |1504 |1004 |1504 | 522 |1404 | 26 |3175 | 0.000000e+00 | 1.935900e+04 | Inf
35.99/36.03 c 34.7s| 30000 | 29975 |166806 | 5.5 | 36M| 257 | 0 |1504 |1003 |1504 | 528 |1747 | 29 |3394 | 0.000000e+00 | 1.935900e+04 | Inf
43.69/43.72 c 42.1s| 40000 | 39961 |185158 | 4.6 | 45M| 263 | 1 |1504 |1011 |1504 | 530 |2120 | 39 |3672 | 0.000000e+00 | 1.935900e+04 | Inf
50.39/50.42 c 48.6s| 50000 | 49961 |189781 | 3.8 | 55M| 263 | 1 |1504 |1007 |1504 | 527 |2477 | 39 |3675 | 0.000000e+00 | 1.935900e+04 | Inf
57.10/57.17 c 55.2s| 60000 | 59961 |194487 | 3.2 | 64M| 263 | 0 |1504 |1005 |1504 | 527 |2919 | 39 |3678 | 0.000000e+00 | 1.935900e+04 | Inf
63.99/64.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.99/64.09 c 62.0s| 70000 | 69957 |202732 | 2.9 | 74M| 263 | 0 |1504 |1007 |1504 | 535 |3440 | 41 |3688 | 0.000000e+00 | 1.935900e+04 | Inf
70.99/71.01 c 68.7s| 80000 | 79955 |210640 | 2.6 | 84M| 263 | 0 |1504 |1008 |1504 | 533 |3946 | 43 |3711 | 0.000000e+00 | 1.935900e+04 | Inf
77.59/77.67 c 75.2s| 90000 | 89951 |214807 | 2.4 | 93M| 263 | 0 |1504 |1010 |1504 | 531 |4455 | 45 |3711 | 0.000000e+00 | 1.935900e+04 | Inf
84.20/84.28 c 81.7s|100000 | 99951 |218959 | 2.2 | 103M| 263 | 0 |1504 |1010 |1504 | 532 |4853 | 45 |3711 | 0.000000e+00 | 1.935900e+04 | Inf
91.00/91.02 c 88.2s|110000 |109951 |225650 | 2.0 | 113M| 263 | 0 |1504 |1010 |1504 | 532 |5262 | 45 |3719 | 0.000000e+00 | 1.935900e+04 | Inf
97.70/97.75 c 94.8s|120000 |119951 |231111 | 1.9 | 122M| 263 | 0 |1504 |1010 |1504 | 535 |5776 | 45 |3722 | 0.000000e+00 | 1.935900e+04 | Inf
104.59/104.63 c 102s|130000 |129951 |237080 | 1.8 | 132M| 263 | 1 |1504 |1009 |1504 | 527 |6338 | 45 |3728 | 0.000000e+00 | 1.935900e+04 | Inf
111.29/111.35 c 108s|140000 |139951 |242395 | 1.7 | 142M| 263 | 0 |1504 |1009 |1504 | 532 |6820 | 45 |3729 | 0.000000e+00 | 1.935900e+04 | Inf
117.99/118.05 c 115s|150000 |149947 |247820 | 1.6 | 151M| 265 | 0 |1504 |1009 |1504 | 526 |7314 | 47 |3731 | 0.000000e+00 | 1.935900e+04 | Inf
124.50/124.57 c 121s|160000 |159947 |251424 | 1.6 | 161M| 265 | 0 |1504 |1009 |1504 | 528 |7625 | 47 |3731 | 0.000000e+00 | 1.935900e+04 | Inf
131.09/131.14 c 127s|170000 |169945 |255231 | 1.5 | 171M| 265 | 0 |1504 |1010 |1504 | 530 |7949 | 48 |3731 | 0.000000e+00 | 1.935900e+04 | Inf
137.70/137.77 c 134s|180000 |179945 |259539 | 1.4 | 180M| 265 | 0 |1504 |1010 |1504 | 527 |8315 | 48 |3731 | 0.000000e+00 | 1.935900e+04 | Inf
144.40/144.48 c 140s|190000 |189945 |264115 | 1.4 | 190M| 265 | 0 |1504 |1007 |1504 | 531 |8681 | 48 |3756 | 0.000000e+00 | 1.935900e+04 | Inf
151.10/151.11 c 147s|200000 |199939 |268354 | 1.3 | 200M| 265 | 1 |1504 |1010 |1504 | 530 |9054 | 51 |3756 | 0.000000e+00 | 1.935900e+04 | Inf
157.80/157.80 c 153s|210000 |209939 |272807 | 1.3 | 209M| 265 | 0 |1504 |1010 |1504 | 532 |9404 | 51 |3756 | 0.000000e+00 | 1.935900e+04 | Inf
164.39/164.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.39/164.43 c 160s|220000 |219939 |276887 | 1.3 | 219M| 265 | 1 |1504 |1009 |1504 | 530 |9738 | 51 |3756 | 0.000000e+00 | 1.935900e+04 | Inf
171.10/171.13 c 166s|230000 |229939 |281441 | 1.2 | 229M| 265 | 0 |1504 |1007 |1504 | 528 | 10k| 51 |3756 | 0.000000e+00 | 1.935900e+04 | Inf
177.80/177.81 c 173s|240000 |239933 |285585 | 1.2 | 238M| 265 | 0 |1504 |1010 |1504 | 531 | 10k| 54 |3756 | 0.000000e+00 | 1.935900e+04 | Inf
184.40/184.41 c 179s|250000 |249933 |289677 | 1.2 | 248M| 265 | 1 |1504 |1010 |1504 | 527 | 10k| 54 |3756 | 0.000000e+00 | 1.935900e+04 | Inf
190.89/190.97 c 186s|260000 |259933 |293392 | 1.1 | 258M| 265 | 0 |1504 |1008 |1504 | 530 | 11k| 54 |3756 | 0.000000e+00 | 1.935900e+04 | Inf
197.50/197.51 c 192s|270000 |269933 |297131 | 1.1 | 267M| 265 | 0 |1504 |1007 |1504 | 530 | 11k| 54 |3756 | 0.000000e+00 | 1.935900e+04 | Inf
204.00/204.10 c 199s|280000 |279933 |301503 | 1.1 | 277M| 265 | 0 |1504 |1007 |1504 | 532 | 11k| 54 |3756 | 0.000000e+00 | 1.935900e+04 | Inf
210.70/210.70 c 205s|290000 |289933 |305693 | 1.1 | 287M| 265 | 0 |1504 |1007 |1504 | 532 | 12k| 54 |3756 | 0.000000e+00 | 1.935900e+04 | Inf
217.40/217.49 c 212s|300000 |299931 |310948 | 1.0 | 296M| 293 | 6 |1504 |1008 |1504 | 528 | 12k| 55 |3849 | 0.000000e+00 | 1.935900e+04 | Inf
224.19/224.21 c 218s|310000 |309931 |317054 | 1.0 | 306M| 293 | 0 |1504 |1008 |1504 | 531 | 12k| 55 |3849 | 0.000000e+00 | 1.935900e+04 | Inf
230.90/230.94 c 225s|320000 |319931 |323403 | 1.0 | 316M| 293 | 0 |1504 |1008 |1504 | 530 | 13k| 55 |3849 | 0.000000e+00 | 1.935900e+04 | Inf
237.69/237.75 c 231s|330000 |329931 |329944 | 1.0 | 325M| 293 | 0 |1504 |1008 |1504 | 532 | 13k| 55 |3849 | 0.000000e+00 | 1.935900e+04 | Inf
244.49/244.50 c 238s|340000 |339929 |336299 | 1.0 | 335M| 293 | 1 |1504 |1009 |1504 | 532 | 13k| 56 |3863 | 0.000000e+00 | 1.935900e+04 | Inf
251.10/251.19 c 244s|350000 |349923 |342706 | 1.0 | 345M| 293 | 0 |1504 |1012 |1504 | 527 | 14k| 59 |3864 | 0.000000e+00 | 1.935900e+04 | Inf
257.79/257.85 c 251s|360000 |359923 |348936 | 1.0 | 354M| 293 | 0 |1504 |1012 |1504 | 530 | 14k| 59 |3864 | 0.000000e+00 | 1.935900e+04 | Inf
264.40/264.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
264.40/264.46 c 257s|370000 |369923 |354745 | 1.0 | 364M| 293 | 0 |1504 |1012 |1504 | 530 | 14k| 59 |3864 | 0.000000e+00 | 1.935900e+04 | Inf
271.00/271.09 c 264s|380000 |379923 |360721 | 0.9 | 373M| 293 | 0 |1504 |1012 |1504 | 528 | 14k| 59 |3872 | 0.000000e+00 | 1.935900e+04 | Inf
277.70/277.74 c 270s|390000 |389923 |366765 | 0.9 | 383M| 293 | 0 |1504 |1012 |1504 | 532 | 15k| 59 |3879 | 0.000000e+00 | 1.935900e+04 | Inf
284.40/284.46 c 277s|400000 |399921 |373006 | 0.9 | 393M| 293 | 0 |1504 |1011 |1504 | 530 | 15k| 60 |3879 | 0.000000e+00 | 1.935900e+04 | Inf
291.09/291.15 c 283s|410000 |409921 |378980 | 0.9 | 402M| 293 | 0 |1504 |1011 |1504 | 529 | 15k| 60 |3879 | 0.000000e+00 | 1.935900e+04 | Inf
297.79/297.81 c 290s|420000 |419921 |384878 | 0.9 | 412M| 293 | 0 |1504 |1011 |1504 | 532 | 16k| 60 |3884 | 0.000000e+00 | 1.935900e+04 | Inf
304.40/304.41 c 296s|430000 |429915 |390479 | 0.9 | 422M| 293 | 0 |1504 |1011 |1504 | 532 | 16k| 63 |3884 | 0.000000e+00 | 1.935900e+04 | Inf
311.00/311.06 c 303s|440000 |439911 |396504 | 0.9 | 431M| 293 | 0 |1504 |1012 |1504 | 532 | 16k| 65 |3884 | 0.000000e+00 | 1.935900e+04 | Inf
317.70/317.70 c 309s|450000 |449909 |402408 | 0.9 | 441M| 293 | 0 |1504 |1012 |1504 | 529 | 17k| 66 |3884 | 0.000000e+00 | 1.935900e+04 | Inf
324.20/324.29 c 315s|460000 |459905 |408153 | 0.9 | 450M| 293 | 0 |1504 |1012 |1504 | 529 | 17k| 68 |3888 | 0.000000e+00 | 1.935900e+04 | Inf
330.80/330.89 c 322s|470000 |469905 |414239 | 0.9 | 460M| 293 | 0 |1504 |1011 |1504 | 530 | 17k| 68 |3888 | 0.000000e+00 | 1.935900e+04 | Inf
337.60/337.66 c 328s|480000 |479905 |420715 | 0.9 | 470M| 293 | 0 |1504 |1011 |1504 | 530 | 18k| 68 |3978 | 0.000000e+00 | 1.935900e+04 | Inf
344.50/344.55 c 335s|490000 |489903 |427948 | 0.9 | 479M| 293 | 0 |1504 |1012 |1504 | 532 | 18k| 69 |4050 | 0.000000e+00 | 1.935900e+04 | Inf
351.30/351.33 c 342s|500000 |499893 |434673 | 0.9 | 489M| 293 | 0 |1504 |1013 |1504 | 532 | 18k| 74 |4063 | 0.000000e+00 | 1.935900e+04 | Inf
357.90/357.99 c 348s|510000 |509893 |441317 | 0.9 | 499M| 293 | 0 |1504 |1012 |1504 | 530 | 19k| 74 |4067 | 0.000000e+00 | 1.935900e+04 | Inf
364.50/364.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.50/364.53 c 355s|520000 |519891 |446315 | 0.9 | 508M| 293 | 0 |1504 |1013 |1504 | 532 | 19k| 75 |4074 | 0.000000e+00 | 1.935900e+04 | Inf
371.10/371.17 c 361s|530000 |529891 |452029 | 0.9 | 518M| 293 | 0 |1504 |1013 |1504 | 532 | 19k| 75 |4075 | 0.000000e+00 | 1.935900e+04 | Inf
377.80/377.86 c 368s|540000 |539891 |456895 | 0.8 | 528M| 295 | 0 |1504 |1013 |1504 | 532 | 19k| 75 |4157 | 0.000000e+00 | 1.935900e+04 | Inf
384.60/384.63 c 374s|550000 |549891 |462982 | 0.8 | 537M| 295 | 0 |1504 |1013 |1504 | 532 | 19k| 75 |4197 | 0.000000e+00 | 1.935900e+04 | Inf
391.30/391.39 c 381s|560000 |559891 |469555 | 0.8 | 547M| 297 | 0 |1504 |1013 |1504 | 532 | 20k| 75 |4233 | 0.000000e+00 | 1.935900e+04 | Inf
397.90/397.95 c 387s|570000 |569887 |474995 | 0.8 | 556M| 297 | 0 |1504 |1012 |1504 | 532 | 20k| 77 |4234 | 0.000000e+00 | 1.935900e+04 | Inf
404.40/404.48 c 393s|580000 |579885 |480224 | 0.8 | 566M| 301 | 0 |1504 |1013 |1504 | 532 | 20k| 78 |4234 | 0.000000e+00 | 1.935900e+04 | Inf
411.11/411.16 c 400s|590000 |589885 |486107 | 0.8 | 576M| 303 | 0 |1504 |1011 |1504 | 529 | 20k| 78 |4235 | 0.000000e+00 | 1.935900e+04 | Inf
417.80/417.82 c 406s|600000 |599885 |491901 | 0.8 | 585M| 303 | 0 |1504 |1010 |1504 | 532 | 20k| 78 |4293 | 0.000000e+00 | 1.935900e+04 | Inf
424.41/424.49 c 413s|610000 |609875 |497965 | 0.8 | 595M| 303 | 0 |1504 |1015 |1504 | 532 | 20k| 83 |4296 | 0.000000e+00 | 1.935900e+04 | Inf
431.11/431.12 c 419s|620000 |619875 |504143 | 0.8 | 605M| 303 | 3 |1504 |1015 |1504 | 530 | 21k| 83 |4296 | 0.000000e+00 | 1.935900e+04 | Inf
437.70/437.77 c 426s|630000 |629869 |510342 | 0.8 | 614M| 303 | 0 |1504 |1015 |1504 | 530 | 21k| 86 |4296 | 0.000000e+00 | 1.935900e+04 | Inf
444.41/444.41 c 432s|640000 |639869 |516527 | 0.8 | 624M| 303 | 0 |1504 |1015 |1504 | 532 | 21k| 86 |4308 | 0.000000e+00 | 1.935900e+04 | Inf
451.20/451.23 c 439s|650000 |649863 |524604 | 0.8 | 634M| 303 | 0 |1504 |1015 |1504 | 532 | 21k| 89 |4310 | 0.000000e+00 | 1.935900e+04 | Inf
458.00/458.08 c 446s|660000 |659863 |532977 | 0.8 | 643M| 303 | 0 |1504 |1015 |1504 | 532 | 22k| 89 |4310 | 0.000000e+00 | 1.935900e+04 | Inf
464.90/464.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
464.90/464.94 c 452s|670000 |669863 |541276 | 0.8 | 653M| 303 | 0 |1504 |1012 |1504 | 530 | 22k| 89 |4325 | 0.000000e+00 | 1.935900e+04 | Inf
471.81/471.82 c 459s|680000 |679857 |549621 | 0.8 | 662M| 303 | 0 |1504 |1015 |1504 | 532 | 22k| 92 |4325 | 0.000000e+00 | 1.935900e+04 | Inf
478.71/478.71 c 465s|690000 |689857 |558166 | 0.8 | 672M| 303 | 0 |1504 |1015 |1504 | 530 | 23k| 92 |4325 | 0.000000e+00 | 1.935900e+04 | Inf
485.50/485.58 c 472s|700000 |699857 |566665 | 0.8 | 682M| 303 | 0 |1504 |1015 |1504 | 532 | 23k| 92 |4340 | 0.000000e+00 | 1.935900e+04 | Inf
492.41/492.42 c 479s|710000 |709857 |575148 | 0.8 | 691M| 303 | 0 |1504 |1013 |1504 | 532 | 23k| 92 |4341 | 0.000000e+00 | 1.935900e+04 | Inf
499.20/499.29 c 485s|720000 |719851 |583656 | 0.8 | 701M| 303 | 3 |1504 |1015 |1504 | 532 | 24k| 95 |4341 | 0.000000e+00 | 1.935900e+04 | Inf
506.11/506.14 c 492s|730000 |729851 |592147 | 0.8 | 710M| 303 | 0 |1504 |1014 |1504 | 532 | 24k| 95 |4355 | 0.000000e+00 | 1.935900e+04 | Inf
512.81/512.88 c 499s|740000 |739847 |599437 | 0.8 | 720M| 303 | 0 |1504 |1014 |1504 | 527 | 24k| 97 |4356 | 0.000000e+00 | 1.935900e+04 | Inf
519.51/519.58 c 505s|750000 |749845 |606128 | 0.8 | 730M| 303 | 0 |1504 |1015 |1504 | 533 | 25k| 98 |4356 | 0.000000e+00 | 1.935900e+04 | Inf
526.20/526.27 c 512s|760000 |759845 |612941 | 0.8 | 739M| 303 | 0 |1504 |1015 |1504 | 532 | 25k| 98 |4356 | 0.000000e+00 | 1.935900e+04 | Inf
532.91/532.98 c 518s|770000 |769845 |619642 | 0.8 | 749M| 303 | 0 |1504 |1014 |1504 | 532 | 25k| 98 |4369 | 0.000000e+00 | 1.935900e+04 | Inf
539.61/539.67 c 525s|780000 |779845 |626294 | 0.8 | 758M| 303 | 0 |1504 |1012 |1504 | 532 | 25k| 98 |4369 | 0.000000e+00 | 1.935900e+04 | Inf
546.31/546.36 c 531s|790000 |789839 |632833 | 0.8 | 768M| 303 | 0 |1504 |1015 |1504 | 532 | 25k| 101 |4370 | 0.000000e+00 | 1.935900e+04 | Inf
553.01/553.04 c 538s|800000 |799839 |639797 | 0.8 | 778M| 303 | 0 |1504 |1015 |1504 | 535 | 26k| 101 |4377 | 0.000000e+00 | 1.935900e+04 | Inf
559.70/559.74 c 544s|810000 |809839 |646339 | 0.8 | 787M| 303 | 0 |1504 |1012 |1504 | 530 | 26k| 101 |4384 | 0.000000e+00 | 1.935900e+04 | Inf
566.41/566.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.41/566.42 c 551s|820000 |819833 |653365 | 0.8 | 797M| 303 | 0 |1504 |1015 |1504 | 530 | 26k| 104 |4385 | 0.000000e+00 | 1.935900e+04 | Inf
573.01/573.08 c 557s|830000 |829833 |660406 | 0.8 | 807M| 303 | 0 |1504 |1015 |1504 | 532 | 26k| 104 |4385 | 0.000000e+00 | 1.935900e+04 | Inf
579.71/579.76 c 564s|840000 |839831 |667374 | 0.8 | 816M| 303 | 1 |1504 |1015 |1504 | 530 | 26k| 105 |4398 | 0.000000e+00 | 1.935900e+04 | Inf
586.40/586.43 c 570s|850000 |849827 |674349 | 0.8 | 826M| 303 | 0 |1504 |1015 |1504 | 530 | 27k| 107 |4400 | 0.000000e+00 | 1.935900e+04 | Inf
593.00/593.08 c 577s|860000 |859827 |681381 | 0.8 | 836M| 303 | 0 |1504 |1015 |1504 | 530 | 27k| 107 |4400 | 0.000000e+00 | 1.935900e+04 | Inf
599.70/599.76 c 583s|870000 |869823 |688144 | 0.8 | 845M| 303 | 0 |1504 |1014 |1504 | 532 | 27k| 109 |4400 | 0.000000e+00 | 1.935900e+04 | Inf
606.40/606.48 c 590s|880000 |879821 |694683 | 0.8 | 855M| 303 | 0 |1504 |1015 |1504 | 532 | 27k| 110 |4413 | 0.000000e+00 | 1.935900e+04 | Inf
613.21/613.20 c 596s|890000 |889821 |701046 | 0.8 | 865M| 303 | 0 |1504 |1012 |1504 | 533 | 27k| 110 |4413 | 0.000000e+00 | 1.935900e+04 | Inf
619.90/619.90 c 603s|900000 |899821 |707351 | 0.8 | 874M| 303 | 2 |1504 |1012 |1504 | 532 | 28k| 110 |4413 | 0.000000e+00 | 1.935900e+04 | Inf
626.61/626.62 c 609s|910000 |909819 |713877 | 0.8 | 884M| 303 | 8 |1504 |1013 |1504 | 532 | 28k| 111 |4416 | 0.000000e+00 | 1.935900e+04 | Inf
633.31/633.35 c 616s|920000 |919819 |720201 | 0.8 | 893M| 303 | 0 |1504 |1012 |1504 | 532 | 28k| 111 |4429 | 0.000000e+00 | 1.935900e+04 | Inf
640.01/640.07 c 622s|930000 |929819 |726550 | 0.8 | 903M| 303 | 0 |1504 |1012 |1504 | 532 | 28k| 111 |4429 | 0.000000e+00 | 1.935900e+04 | Inf
646.71/646.77 c 629s|940000 |939819 |732912 | 0.8 | 913M| 303 | 0 |1504 |1012 |1504 | 530 | 29k| 111 |4429 | 0.000000e+00 | 1.935900e+04 | Inf
653.41/653.49 c 635s|950000 |949819 |739290 | 0.8 | 922M| 303 | 0 |1504 |1012 |1504 | 530 | 29k| 111 |4437 | 0.000000e+00 | 1.935900e+04 | Inf
660.11/660.13 c 642s|960000 |959819 |745416 | 0.8 | 932M| 303 | 0 |1504 |1012 |1504 | 532 | 29k| 111 |4446 | 0.000000e+00 | 1.935900e+04 | Inf
666.81/666.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
666.81/666.81 c 648s|970000 |969813 |751708 | 0.8 | 942M| 303 | 0 |1504 |1015 |1504 | 532 | 29k| 114 |4446 | 0.000000e+00 | 1.935900e+04 | Inf
673.41/673.45 c 655s|980000 |979813 |757900 | 0.8 | 951M| 303 | 0 |1504 |1012 |1504 | 529 | 29k| 114 |4446 | 0.000000e+00 | 1.935900e+04 | Inf
680.11/680.13 c 661s|990000 |989813 |764476 | 0.8 | 961M| 303 | 1 |1504 |1012 |1504 | 532 | 30k| 114 |4450 | 0.000000e+00 | 1.935900e+04 | Inf
686.81/686.81 c 668s| 1000k|999813 |770821 | 0.8 | 970M| 303 | 0 |1504 |1012 |1504 | 532 | 30k| 114 |4468 | 0.000000e+00 | 1.935900e+04 | Inf
693.51/693.50 c 674s| 1010k| 1009k|777975 | 0.8 | 980M| 303 | 0 |1504 |1011 |1504 | 532 | 30k| 114 |4468 | 0.000000e+00 | 1.935900e+04 | Inf
700.11/700.18 c 681s| 1020k| 1019k|785007 | 0.8 | 990M| 303 | 0 |1504 |1012 |1504 | 532 | 30k| 115 |4468 | 0.000000e+00 | 1.935900e+04 | Inf
706.90/706.90 c 687s| 1030k| 1029k|792041 | 0.8 | 999M| 303 | 0 |1504 |1015 |1504 | 532 | 31k| 118 |4483 | 0.000000e+00 | 1.935900e+04 | Inf
713.51/713.57 c 694s| 1040k| 1039k|799135 | 0.8 |1009M| 303 | 1 |1504 |1015 |1504 | 532 | 31k| 118 |4483 | 0.000000e+00 | 1.935900e+04 | Inf
720.42/720.44 c 701s| 1050k| 1049k|807185 | 0.8 |1019M| 303 | 0 |1504 |1015 |1504 | 532 | 31k| 119 |4486 | 0.000000e+00 | 1.935900e+04 | Inf
727.11/727.13 c 707s| 1060k| 1059k|814278 | 0.8 |1028M| 303 | 0 |1504 |1014 |1504 | 530 | 31k| 119 |4486 | 0.000000e+00 | 1.935900e+04 | Inf
733.80/733.83 c 714s| 1070k| 1069k|821102 | 0.8 |1038M| 303 | 0 |1504 |1015 |1504 | 530 | 31k| 120 |4503 | 0.000000e+00 | 1.935900e+04 | Inf
740.50/740.53 c 720s| 1080k| 1079k|828264 | 0.8 |1048M| 303 | 0 |1504 |1015 |1504 | 532 | 32k| 120 |4504 | 0.000000e+00 | 1.935900e+04 | Inf
747.21/747.22 c 727s| 1090k| 1089k|835372 | 0.8 |1057M| 303 | 0 |1504 |1015 |1504 | 530 | 32k| 120 |4504 | 0.000000e+00 | 1.935900e+04 | Inf
753.91/753.91 c 733s| 1100k| 1099k|842439 | 0.8 |1067M| 303 | 0 |1504 |1014 |1504 | 532 | 32k| 120 |4518 | 0.000000e+00 | 1.935900e+04 | Inf
760.51/760.59 c 740s| 1110k| 1109k|849166 | 0.8 |1077M| 303 | 0 |1504 |1013 |1504 | 532 | 32k| 121 |4518 | 0.000000e+00 | 1.935900e+04 | Inf
767.21/767.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
767.21/767.26 c 746s| 1120k| 1119k|855752 | 0.8 |1086M| 303 | 0 |1504 |1012 |1504 | 532 | 33k| 121 |4518 | 0.000000e+00 | 1.935900e+04 | Inf
773.91/773.94 c 753s| 1130k| 1129k|862398 | 0.8 |1096M| 303 | 0 |1504 |1012 |1504 | 533 | 33k| 121 |4518 | 0.000000e+00 | 1.935900e+04 | Inf
780.61/780.63 c 759s| 1140k| 1139k|869091 | 0.8 |1106M| 303 | 1 |1504 |1012 |1504 | 532 | 33k| 121 |4531 | 0.000000e+00 | 1.935900e+04 | Inf
787.31/787.32 c 766s| 1150k| 1149k|875716 | 0.8 |1115M| 303 | 1 |1504 |1012 |1504 | 532 | 33k| 121 |4532 | 0.000000e+00 | 1.935900e+04 | Inf
793.91/793.99 c 772s| 1160k| 1159k|882350 | 0.8 |1125M| 303 | 0 |1504 |1012 |1504 | 532 | 33k| 121 |4532 | 0.000000e+00 | 1.935900e+04 | Inf
800.61/800.67 c 779s| 1170k| 1169k|889019 | 0.8 |1135M| 303 | 0 |1504 |1012 |1504 | 530 | 34k| 121 |4532 | 0.000000e+00 | 1.935900e+04 | Inf
807.32/807.36 c 785s| 1180k| 1179k|895667 | 0.8 |1144M| 303 | 1 |1504 |1012 |1504 | 530 | 34k| 121 |4546 | 0.000000e+00 | 1.935900e+04 | Inf
814.01/814.04 c 792s| 1190k| 1189k|902331 | 0.8 |1154M| 303 | 0 |1504 |1012 |1504 | 530 | 34k| 121 |4546 | 0.000000e+00 | 1.935900e+04 | Inf
820.72/820.72 c 798s| 1200k| 1199k|908976 | 0.8 |1164M| 303 | 0 |1504 |1013 |1504 | 530 | 34k| 122 |4550 | 0.000000e+00 | 1.935900e+04 | Inf
827.41/827.40 c 805s| 1210k| 1209k|915632 | 0.8 |1173M| 303 | 0 |1504 |1013 |1504 | 532 | 34k| 122 |4550 | 0.000000e+00 | 1.935900e+04 | Inf
834.12/834.15 c 811s| 1220k| 1219k|922254 | 0.8 |1183M| 303 | 0 |1504 |1012 |1504 | 532 | 35k| 122 |4564 | 0.000000e+00 | 1.935900e+04 | Inf
840.81/840.83 c 818s| 1230k| 1229k|929024 | 0.8 |1193M| 303 | 0 |1504 |1012 |1504 | 532 | 35k| 122 |4567 | 0.000000e+00 | 1.935900e+04 | Inf
847.51/847.50 c 824s| 1240k| 1239k|935763 | 0.8 |1202M| 303 | 0 |1504 |1012 |1504 | 532 | 35k| 122 |4570 | 0.000000e+00 | 1.935900e+04 | Inf
854.12/854.18 c 831s| 1250k| 1249k|942612 | 0.8 |1212M| 303 | 1 |1504 |1012 |1504 | 530 | 35k| 122 |4570 | 0.000000e+00 | 1.935900e+04 | Inf
860.81/860.88 c 837s| 1260k| 1259k|949500 | 0.8 |1222M| 303 | 0 |1504 |1012 |1504 | 532 | 35k| 122 |4589 | 0.000000e+00 | 1.935900e+04 | Inf
867.51/867.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.51/867.59 c 844s| 1270k| 1269k|956422 | 0.8 |1231M| 303 | 0 |1504 |1012 |1504 | 532 | 36k| 122 |4589 | 0.000000e+00 | 1.935900e+04 | Inf
874.21/874.26 c 850s| 1280k| 1279k|963280 | 0.8 |1241M| 303 | 2 |1504 |1012 |1504 | 532 | 36k| 122 |4589 | 0.000000e+00 | 1.935900e+04 | Inf
880.91/880.98 c 857s| 1290k| 1289k|970202 | 0.8 |1250M| 303 | 0 |1504 |1012 |1504 | 532 | 36k| 122 |4593 | 0.000000e+00 | 1.935900e+04 | Inf
887.62/887.64 c 863s| 1300k| 1299k|976438 | 0.8 |1260M| 305 | 0 |1504 |1012 |1504 | 532 | 36k| 122 |4607 | 0.000000e+00 | 1.935900e+04 | Inf
894.32/894.30 c 870s| 1310k| 1309k|982667 | 0.7 |1270M| 305 | 0 |1504 |1012 |1504 | 530 | 36k| 122 |4607 | 0.000000e+00 | 1.935900e+04 | Inf
901.01/901.01 c 876s| 1320k| 1319k|989256 | 0.7 |1279M| 305 | 0 |1504 |1012 |1504 | 532 | 37k| 122 |4611 | 0.000000e+00 | 1.935900e+04 | Inf
907.61/907.67 c 883s| 1330k| 1329k|995520 | 0.7 |1289M| 305 | 0 |1504 |1012 |1504 | 532 | 37k| 122 |4611 | 0.000000e+00 | 1.935900e+04 | Inf
914.42/914.43 c 889s| 1340k| 1339k| 1002k| 0.7 |1299M| 305 | 3 |1504 |1012 |1504 | 532 | 37k| 122 |4629 | 0.000000e+00 | 1.935900e+04 | Inf
921.11/921.11 c 896s| 1350k| 1349k| 1008k| 0.7 |1308M| 305 | 0 |1504 |1012 |1504 | 532 | 37k| 122 |4629 | 0.000000e+00 | 1.935900e+04 | Inf
927.72/927.79 c 902s| 1360k| 1359k| 1015k| 0.7 |1318M| 305 | 0 |1504 |1012 |1504 | 532 | 37k| 122 |4629 | 0.000000e+00 | 1.935900e+04 | Inf
934.41/934.46 c 909s| 1370k| 1369k| 1022k| 0.7 |1328M| 305 | 0 |1504 |1014 |1504 | 532 | 38k| 124 |4629 | 0.000000e+00 | 1.935900e+04 | Inf
941.12/941.15 c 915s| 1380k| 1379k| 1029k| 0.7 |1337M| 305 | 0 |1504 |1012 |1504 | 532 | 38k| 124 |4644 | 0.000000e+00 | 1.935900e+04 | Inf
947.82/947.81 c 922s| 1390k| 1389k| 1036k| 0.7 |1347M| 305 | 4 |1504 |1012 |1504 | 532 | 38k| 124 |4644 | 0.000000e+00 | 1.935900e+04 | Inf
954.42/954.47 c 928s| 1400k| 1399k| 1043k| 0.7 |1356M| 305 | 0 |1504 |1013 |1504 | 532 | 38k| 125 |4644 | 0.000000e+00 | 1.935900e+04 | Inf
961.11/961.16 c 935s| 1410k| 1409k| 1050k| 0.7 |1366M| 305 | 0 |1504 |1013 |1504 | 532 | 38k| 125 |4657 | 0.000000e+00 | 1.935900e+04 | Inf
967.81/967.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
967.81/967.85 c 941s| 1420k| 1419k| 1057k| 0.7 |1376M| 305 | 0 |1504 |1013 |1504 | 532 | 39k| 125 |4658 | 0.000000e+00 | 1.935900e+04 | Inf
974.52/974.53 c 948s| 1430k| 1429k| 1064k| 0.7 |1386M| 305 | 0 |1504 |1013 |1504 | 532 | 39k| 125 |4658 | 0.000000e+00 | 1.935900e+04 | Inf
981.22/981.21 c 954s| 1440k| 1439k| 1071k| 0.7 |1395M| 305 | 0 |1504 |1015 |1504 | 532 | 39k| 127 |4662 | 0.000000e+00 | 1.935900e+04 | Inf
987.91/987.90 c 961s| 1450k| 1449k| 1078k| 0.7 |1405M| 305 | 0 |1504 |1013 |1504 | 530 | 39k| 127 |4676 | 0.000000e+00 | 1.935900e+04 | Inf
994.51/994.57 c 967s| 1460k| 1459k| 1085k| 0.7 |1414M| 305 | 1 |1504 |1013 |1504 | 530 | 39k| 127 |4676 | 0.000000e+00 | 1.935900e+04 | Inf
1001.21/1001.24 c 974s| 1470k| 1469k| 1092k| 0.7 |1424M| 305 | 0 |1504 |1013 |1504 | 532 | 40k| 127 |4676 | 0.000000e+00 | 1.935900e+04 | Inf
1007.91/1007.91 c 980s| 1480k| 1479k| 1099k| 0.7 |1434M| 305 | 0 |1504 |1013 |1504 | 532 | 40k| 127 |4676 | 0.000000e+00 | 1.935900e+04 | Inf
1014.52/1014.59 c 987s| 1490k| 1489k| 1106k| 0.7 |1443M| 305 | 0 |1504 |1013 |1504 | 532 | 40k| 127 |4690 | 0.000000e+00 | 1.935900e+04 | Inf
1021.22/1021.27 c 993s| 1500k| 1499k| 1113k| 0.7 |1453M| 305 | 0 |1504 |1012 |1504 | 532 | 40k| 127 |4691 | 0.000000e+00 | 1.935900e+04 | Inf
1027.92/1027.93 c 1000s| 1510k| 1509k| 1120k| 0.7 |1463M| 305 | 0 |1504 |1015 |1504 | 532 | 40k| 130 |4695 | 0.000000e+00 | 1.935900e+04 | Inf
1034.52/1034.58 c 1006s| 1520k| 1519k| 1127k| 0.7 |1472M| 305 | 0 |1504 |1013 |1504 | 532 | 41k| 130 |4695 | 0.000000e+00 | 1.935900e+04 | Inf
1041.22/1041.24 c 1013s| 1530k| 1529k| 1134k| 0.7 |1482M| 305 | 0 |1504 |1015 |1504 | 532 | 41k| 132 |4709 | 0.000000e+00 | 1.935900e+04 | Inf
1047.92/1047.90 c 1019s| 1540k| 1539k| 1141k| 0.7 |1492M| 305 | 0 |1504 |1015 |1504 | 530 | 41k| 132 |4709 | 0.000000e+00 | 1.935900e+04 | Inf
1054.52/1054.53 c 1026s| 1550k| 1549k| 1147k| 0.7 |1501M| 305 | 0 |1504 |1013 |1504 | 529 | 41k| 132 |4709 | 0.000000e+00 | 1.935900e+04 | Inf
1061.12/1061.16 c 1032s| 1560k| 1559k| 1153k| 0.7 |1511M| 305 | 0 |1504 |1012 |1504 | 532 | 41k| 132 |4709 | 0.000000e+00 | 1.935900e+04 | Inf
1067.82/1067.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1067.82/1067.81 c 1038s| 1570k| 1569k| 1159k| 0.7 |1521M| 305 | 0 |1504 |1012 |1504 | 532 | 41k| 132 |4723 | 0.000000e+00 | 1.935900e+04 | Inf
1074.42/1074.45 c 1045s| 1580k| 1579k| 1165k| 0.7 |1530M| 305 | 0 |1504 |1012 |1504 | 532 | 42k| 132 |4724 | 0.000000e+00 | 1.935900e+04 | Inf
1081.02/1081.08 c 1051s| 1590k| 1589k| 1171k| 0.7 |1540M| 305 | 0 |1504 |1012 |1504 | 529 | 42k| 132 |4724 | 0.000000e+00 | 1.935900e+04 | Inf
1087.72/1087.72 c 1058s| 1600k| 1599k| 1178k| 0.7 |1550M| 305 | 0 |1504 |1012 |1504 | 532 | 42k| 132 |4729 | 0.000000e+00 | 1.935900e+04 | Inf
1094.32/1094.40 c 1064s| 1610k| 1609k| 1184k| 0.7 |1559M| 305 | 0 |1504 |1013 |1504 | 532 | 42k| 133 |4756 | 0.000000e+00 | 1.935900e+04 | Inf
1101.03/1101.04 c 1071s| 1620k| 1619k| 1190k| 0.7 |1569M| 305 | 0 |1504 |1014 |1504 | 532 | 42k| 135 |4756 | 0.000000e+00 | 1.935900e+04 | Inf
1107.62/1107.68 c 1077s| 1630k| 1629k| 1196k| 0.7 |1578M| 305 | 0 |1504 |1012 |1504 | 529 | 43k| 135 |4756 | 0.000000e+00 | 1.935900e+04 | Inf
1114.32/1114.35 c 1084s| 1640k| 1639k| 1202k| 0.7 |1588M| 305 | 0 |1504 |1012 |1504 | 532 | 43k| 135 |4760 | 0.000000e+00 | 1.935900e+04 | Inf
1121.02/1121.04 c 1090s| 1650k| 1649k| 1209k| 0.7 |1598M| 305 | 0 |1504 |1012 |1504 | 532 | 43k| 135 |4766 | 0.000000e+00 | 1.935900e+04 | Inf
1127.72/1127.73 c 1097s| 1660k| 1659k| 1216k| 0.7 |1607M| 305 | 0 |1504 |1012 |1504 | 532 | 43k| 135 |4780 | 0.000000e+00 | 1.935900e+04 | Inf
1134.42/1134.40 c 1103s| 1670k| 1669k| 1223k| 0.7 |1617M| 305 | 0 |1504 |1012 |1504 | 530 | 43k| 135 |4780 | 0.000000e+00 | 1.935900e+04 | Inf
1141.02/1141.08 c 1110s| 1680k| 1679k| 1230k| 0.7 |1627M| 305 | 1 |1504 |1012 |1504 | 532 | 44k| 135 |4780 | 0.000000e+00 | 1.935900e+04 | Inf
1147.72/1147.76 c 1116s| 1690k| 1689k| 1237k| 0.7 |1636M| 305 | 0 |1504 |1012 |1504 | 532 | 44k| 135 |4791 | 0.000000e+00 | 1.935900e+04 | Inf
1154.42/1154.49 c 1123s| 1700k| 1699k| 1244k| 0.7 |1646M| 305 | 2 |1504 |1012 |1504 | 532 | 44k| 135 |4804 | 0.000000e+00 | 1.935900e+04 | Inf
1161.22/1161.23 c 1129s| 1710k| 1709k| 1250k| 0.7 |1656M| 305 | 0 |1504 |1012 |1504 | 532 | 44k| 135 |4804 | 0.000000e+00 | 1.935900e+04 | Inf
1167.92/1167.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1167.92/1167.97 c 1136s| 1720k| 1719k| 1257k| 0.7 |1665M| 305 | 0 |1504 |1013 |1504 | 531 | 44k| 136 |4804 | 0.000000e+00 | 1.935900e+04 | Inf
1174.62/1174.70 c 1142s| 1730k| 1729k| 1263k| 0.7 |1675M| 305 | 0 |1504 |1013 |1504 | 532 | 45k| 136 |4804 | 0.000000e+00 | 1.935900e+04 | Inf
1181.43/1181.45 c 1149s| 1740k| 1739k| 1269k| 0.7 |1685M| 305 | 0 |1504 |1012 |1504 | 530 | 45k| 136 |4818 | 0.000000e+00 | 1.935900e+04 | Inf
1188.12/1188.13 c 1155s| 1750k| 1749k| 1276k| 0.7 |1694M| 305 | 0 |1504 |1013 |1504 | 532 | 45k| 137 |4818 | 0.000000e+00 | 1.935900e+04 | Inf
1194.72/1194.77 c 1162s| 1760k| 1759k| 1282k| 0.7 |1704M| 305 | 0 |1504 |1012 |1504 | 532 | 45k| 137 |4818 | 0.000000e+00 | 1.935900e+04 | Inf
1201.42/1201.41 c 1168s| 1770k| 1769k| 1288k| 0.7 |1714M| 305 | 0 |1504 |1012 |1504 | 534 | 46k| 137 |4818 | 0.000000e+00 | 1.935900e+04 | Inf
1208.12/1208.13 c 1175s| 1780k| 1779k| 1294k| 0.7 |1723M| 305 | 0 |1504 |1013 |1504 | 530 | 46k| 138 |4836 | 0.000000e+00 | 1.935900e+04 | Inf
1214.92/1214.92 c 1181s| 1790k| 1789k| 1301k| 0.7 |1733M| 305 | 0 |1504 |1012 |1504 | 534 | 46k| 138 |4836 | 0.000000e+00 | 1.935900e+04 | Inf
1221.62/1221.64 c 1188s| 1800k| 1799k| 1307k| 0.7 |1742M| 305 | 1 |1504 |1014 |1504 | 532 | 46k| 140 |4852 | 0.000000e+00 | 1.935900e+04 | Inf
1228.32/1228.35 c 1195s| 1810k| 1809k| 1314k| 0.7 |1752M| 305 | 0 |1504 |1014 |1504 | 532 | 47k| 142 |4892 | 0.000000e+00 | 1.935900e+04 | Inf
1234.92/1234.96 c 1201s| 1820k| 1819k| 1320k| 0.7 |1762M| 305 | 0 |1504 |1014 |1504 | 530 | 47k| 142 |4892 | 0.000000e+00 | 1.935900e+04 | Inf
1241.52/1241.59 c 1207s| 1830k| 1829k| 1327k| 0.7 |1771M| 305 | 0 |1504 |1014 |1504 | 532 | 47k| 143 |4907 | 0.000000e+00 | 1.935900e+04 | Inf
1248.13/1248.19 c 1214s| 1840k| 1839k| 1333k| 0.7 |1781M| 305 | 1 |1504 |1013 |1504 | 529 | 47k| 143 |4907 | 0.000000e+00 | 1.935900e+04 | Inf
1254.82/1254.81 c 1220s| 1850k| 1849k| 1340k| 0.7 |1791M| 305 | 0 |1504 |1012 |1504 | 532 | 47k| 143 |4907 | 0.000000e+00 | 1.935900e+04 | Inf
1261.43/1261.42 c 1227s| 1860k| 1859k| 1346k| 0.7 |1800M| 305 | 0 |1504 |1012 |1504 | 532 | 47k| 143 |4907 | 0.000000e+00 | 1.935900e+04 | Inf
1268.02/1268.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1268.02/1268.06 c 1233s| 1870k| 1869k| 1353k| 0.7 |1810M| 305 | 0 |1504 |1012 |1504 | 530 | 48k| 143 |4922 | 0.000000e+00 | 1.935900e+04 | Inf
1274.63/1274.67 c 1240s| 1880k| 1879k| 1359k| 0.7 |1820M| 305 | 0 |1504 |1014 |1504 | 532 | 48k| 145 |4922 | 0.000000e+00 | 1.935900e+04 | Inf
1281.32/1281.32 c 1246s| 1890k| 1889k| 1366k| 0.7 |1829M| 305 | 1 |1504 |1014 |1504 | 529 | 48k| 145 |4924 | 0.000000e+00 | 1.935900e+04 | Inf
1288.03/1288.03 c 1253s| 1900k| 1899k| 1372k| 0.7 |1839M| 305 | 3 |1504 |1015 |1504 | 530 | 48k| 146 |4924 | 0.000000e+00 | 1.935900e+04 | Inf
1294.73/1294.79 c 1259s| 1910k| 1909k| 1379k| 0.7 |1848M| 305 | 0 |1504 |1014 |1504 | 531 | 49k| 147 |4938 | 0.000000e+00 | 1.935900e+04 | Inf
1301.33/1301.39 c 1266s| 1920k| 1919k| 1385k| 0.7 |1858M| 305 | 2 |1504 |1014 |1504 | 532 | 49k| 148 |4941 | 0.000000e+00 | 1.935900e+04 | Inf
1308.03/1308.00 c 1272s| 1930k| 1929k| 1391k| 0.7 |1868M| 305 | 0 |1504 |1012 |1504 | 532 | 49k| 148 |4941 | 0.000000e+00 | 1.935900e+04 | Inf
1314.62/1314.60 c 1278s| 1940k| 1939k| 1397k| 0.7 |1877M| 305 | 0 |1504 |1012 |1504 | 532 | 49k| 148 |4941 | 0.000000e+00 | 1.935900e+04 | Inf
1321.23/1321.21 c 1285s| 1950k| 1949k| 1403k| 0.7 |1887M| 305 | 0 |1504 |1012 |1504 | 530 | 49k| 148 |4941 | 0.000000e+00 | 1.935900e+04 | Inf
1327.82/1327.84 c 1291s| 1960k| 1959k| 1410k| 0.7 |1897M| 305 | 0 |1504 |1012 |1504 | 532 | 49k| 148 |4958 | 0.000000e+00 | 1.935900e+04 | Inf
1334.43/1334.45 c 1298s| 1970k| 1969k| 1416k| 0.7 |1906M| 305 | 1 |1504 |1012 |1504 | 532 | 50k| 148 |4958 | 0.000000e+00 | 1.935900e+04 | Inf
1341.02/1341.07 c 1304s| 1980k| 1979k| 1422k| 0.7 |1916M| 305 | 0 |1504 |1012 |1504 | 530 | 50k| 148 |4958 | 0.000000e+00 | 1.935900e+04 | Inf
1347.63/1347.68 c 1311s| 1990k| 1989k| 1428k| 0.7 |1925M| 305 | 0 |1504 |1012 |1504 | 532 | 50k| 148 |4958 | 0.000000e+00 | 1.935900e+04 | Inf
1354.33/1354.31 c 1317s| 2000k| 1999k| 1434k| 0.7 |1935M| 305 | 0 |1504 |1015 |1504 | 531 | 50k| 151 |4975 | 0.000000e+00 | 1.935900e+04 | Inf
1360.92/1360.97 c 1323s| 2010k| 2009k| 1441k| 0.7 |1945M| 305 | 0 |1504 |1014 |1504 | 531 | 50k| 151 |4975 | 0.000000e+00 | 1.935900e+04 | Inf
1367.72/1367.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1367.72/1367.78 c 1330s| 2020k| 2019k| 1448k| 0.7 |1954M| 305 | 0 |1504 |1015 |1504 | 531 | 51k| 152 |5015 | 0.000000e+00 | 1.935900e+04 | Inf
1374.82/1374.80 c 1337s| 2030k| 2029k| 1457k| 0.7 |1964M| 305 | 1 |1504 |1013 |1504 | 527 | 51k| 152 |5154 | 0.000000e+00 | 1.935900e+04 | Inf
1381.63/1381.63 c 1344s| 2040k| 2039k| 1465k| 0.7 |1973M| 305 | 0 |1504 |1012 |1504 | 530 | 52k| 152 |5187 | 0.000000e+00 | 1.935900e+04 | Inf
1388.83/1388.81 c 1351s| 2050k| 2049k| 1473k| 0.7 |1983M| 305 | 0 |1504 |1014 |1504 | 531 | 52k| 154 |5606 | 0.000000e+00 | 1.935900e+04 | Inf
1395.63/1395.65 c 1357s| 2060k| 2059k| 1482k| 0.7 |1993M| 305 | 2 |1504 |1015 |1504 | 530 | 53k| 155 |5727 | 0.000000e+00 | 1.935900e+04 | Inf
1402.54/1402.52 c 1364s| 2070k| 2069k| 1491k| 0.7 |2002M| 305 | 0 |1504 |1013 |1504 | 533 | 53k| 155 |5817 | 0.000000e+00 | 1.935900e+04 | Inf
1409.22/1409.28 c 1370s| 2080k| 2079k| 1499k| 0.7 |2012M| 305 | 0 |1504 |1015 |1504 | 530 | 54k| 158 |5848 | 0.000000e+00 | 1.935900e+04 | Inf
1415.93/1415.98 c 1377s| 2090k| 2089k| 1506k| 0.7 |2021M| 305 | 0 |1504 |1015 |1504 | 530 | 54k| 158 |5859 | 0.000000e+00 | 1.935900e+04 | Inf
1422.73/1422.76 c 1384s| 2100k| 2099k| 1514k| 0.7 |2031M| 305 | 0 |1504 |1012 |1504 | 528 | 55k| 158 |5896 | 0.000000e+00 | 1.935900e+04 | Inf
1429.53/1429.60 c 1390s| 2110k| 2109k| 1523k| 0.7 |2041M| 305 | 0 |1504 |1015 |1504 | 530 | 55k| 161 |5996 | 0.000000e+00 | 1.935900e+04 | Inf
1436.33/1436.32 c 1397s| 2120k| 2119k| 1531k| 0.7 |2050M| 305 | 0 |1504 |1014 |1504 | 528 | 55k| 163 |5996 | 0.000000e+00 | 1.935900e+04 | Inf
1443.02/1443.07 c 1403s| 2130k| 2129k| 1539k| 0.7 |2060M| 305 | 0 |1504 |1014 |1504 | 530 | 56k| 163 |6016 | 0.000000e+00 | 1.935900e+04 | Inf
1449.83/1449.88 c 1410s| 2140k| 2139k| 1548k| 0.7 |2069M| 305 | 0 |1504 |1014 |1504 | 530 | 56k| 166 |6072 | 0.000000e+00 | 1.935900e+04 | Inf
1456.63/1456.61 c 1416s| 2150k| 2149k| 1556k| 0.7 |2079M| 305 | 5 |1504 |1015 |1504 | 530 | 57k| 167 |6081 | 0.000000e+00 | 1.935900e+04 | Inf
1463.32/1463.35 c 1423s| 2160k| 2159k| 1564k| 0.7 |2089M| 305 | 0 |1504 |1015 |1504 | 529 | 57k| 168 |6098 | 0.000000e+00 | 1.935900e+04 | Inf
1470.23/1470.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1470.23/1470.22 c 1430s| 2170k| 2169k| 1573k| 0.7 |2098M| 305 | 0 |1504 |1013 |1504 | 528 | 58k| 169 |6146 | 0.000000e+00 | 1.935900e+04 | Inf
1477.03/1477.00 c 1436s| 2180k| 2179k| 1580k| 0.7 |2108M| 305 | 0 |1504 |1015 |1504 | 528 | 58k| 172 |6160 | 0.000000e+00 | 1.935900e+04 | Inf
1483.84/1483.83 c 1443s| 2190k| 2189k| 1588k| 0.7 |2117M| 305 | 0 |1504 |1014 |1504 | 532 | 59k| 173 |6191 | 0.000000e+00 | 1.935900e+04 | Inf
1490.73/1490.71 c 1449s| 2200k| 2199k| 1597k| 0.7 |2127M| 305 | 6 |1504 |1016 |1504 | 532 | 59k| 176 |6255 | 0.000000e+00 | 1.935900e+04 | Inf
1497.73/1497.76 c 1456s| 2210k| 2209k| 1606k| 0.7 |2136M| 305 | 0 |1504 |1016 |1504 | 528 | 60k| 179 |6353 | 0.000000e+00 | 1.935900e+04 | Inf
1504.63/1504.67 c 1463s| 2220k| 2219k| 1614k| 0.7 |2146M| 305 | 0 |1504 |1015 |1504 | 527 | 60k| 179 |6441 | 0.000000e+00 | 1.935900e+04 | Inf
1511.62/1511.68 c 1470s| 2230k| 2229k| 1622k| 0.7 |2156M| 305 | 0 |1504 |1022 |1504 | 529 | 61k| 186 |6585 | 0.000000e+00 | 1.935900e+04 | Inf
1518.53/1518.58 c 1477s| 2240k| 2239k| 1630k| 0.7 |2165M| 305 | 0 |1504 |1017 |1504 | 532 | 61k| 186 |6720 | 0.000000e+00 | 1.935900e+04 | Inf
1525.43/1525.46 c 1483s| 2250k| 2249k| 1638k| 0.7 |2175M| 305 | 0 |1504 |1016 |1504 | 527 | 61k| 186 |6769 | 0.000000e+00 | 1.935900e+04 | Inf
1532.24/1532.30 c 1490s| 2260k| 2259k| 1646k| 0.7 |2184M| 305 | 0 |1504 |1015 |1504 | 530 | 62k| 186 |6800 | 0.000000e+00 | 1.935900e+04 | Inf
1539.03/1539.02 c 1496s| 2270k| 2269k| 1653k| 0.7 |2194M| 305 | 0 |1504 |1017 |1504 | 527 | 62k| 188 |6800 | 0.000000e+00 | 1.935900e+04 | Inf
1545.83/1545.81 c 1503s| 2280k| 2279k| 1661k| 0.7 |2204M| 305 | 0 |1504 |1017 |1504 | 532 | 63k| 188 |6861 | 0.000000e+00 | 1.935900e+04 | Inf
1552.73/1552.70 c 1510s| 2290k| 2289k| 1669k| 0.7 |2213M| 305 | 0 |1504 |1015 |1504 | 532 | 63k| 188 |6920 | 0.000000e+00 | 1.935900e+04 | Inf
1559.53/1559.52 c 1516s| 2300k| 2299k| 1677k| 0.7 |2223M| 305 | 0 |1504 |1016 |1504 | 528 | 63k| 189 |6944 | 0.000000e+00 | 1.935900e+04 | Inf
1566.43/1566.40 c 1523s| 2310k| 2309k| 1685k| 0.7 |2232M| 305 | 2 |1504 |1016 |1504 | 533 | 64k| 189 |6954 | 0.000000e+00 | 1.935900e+04 | Inf
1573.33/1573.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1573.33/1573.32 c 1530s| 2320k| 2319k| 1694k| 0.7 |2242M| 305 | 0 |1504 |1016 |1504 | 528 | 64k| 189 |6978 | 0.000000e+00 | 1.935900e+04 | Inf
1580.23/1580.29 c 1536s| 2330k| 2329k| 1702k| 0.7 |2252M| 305 | 2 |1504 |1016 |1504 | 532 | 64k| 189 |7010 | 0.000000e+00 | 1.935900e+04 | Inf
1587.03/1587.08 c 1543s| 2340k| 2339k| 1711k| 0.7 |2261M| 305 | 0 |1504 |1016 |1504 | 528 | 65k| 189 |7022 | 0.000000e+00 | 1.935900e+04 | Inf
1594.03/1594.05 c 1550s| 2350k| 2349k| 1719k| 0.7 |2271M| 305 | 0 |1504 |1016 |1504 | 534 | 65k| 189 |7025 | 0.000000e+00 | 1.935900e+04 | Inf
1600.84/1600.82 c 1556s| 2360k| 2359k| 1727k| 0.7 |2280M| 305 | 0 |1504 |1016 |1504 | 534 | 65k| 189 |7025 | 0.000000e+00 | 1.935900e+04 | Inf
1607.64/1607.69 c 1563s| 2370k| 2369k| 1736k| 0.7 |2290M| 305 | 0 |1504 |1016 |1504 | 526 | 65k| 189 |7050 | 0.000000e+00 | 1.935900e+04 | Inf
1614.53/1614.54 c 1570s| 2380k| 2379k| 1744k| 0.7 |2300M| 305 | 0 |1504 |1015 |1504 | 527 | 66k| 189 |7053 | 0.000000e+00 | 1.935900e+04 | Inf
1621.34/1621.31 c 1576s| 2390k| 2389k| 1752k| 0.7 |2309M| 305 | 0 |1504 |1015 |1504 | 532 | 66k| 189 |7053 | 0.000000e+00 | 1.935900e+04 | Inf
1628.13/1628.12 c 1583s| 2400k| 2399k| 1760k| 0.7 |2319M| 305 | 4 |1504 |1015 |1504 | 532 | 66k| 189 |7053 | 0.000000e+00 | 1.935900e+04 | Inf
1635.03/1635.00 c 1590s| 2410k| 2409k| 1768k| 0.7 |2328M| 305 | 0 |1504 |1016 |1504 | 530 | 66k| 190 |7087 | 0.000000e+00 | 1.935900e+04 | Inf
1641.93/1641.91 c 1596s| 2420k| 2419k| 1777k| 0.7 |2338M| 305 | 0 |1504 |1016 |1504 | 531 | 67k| 190 |7103 | 0.000000e+00 | 1.935900e+04 | Inf
1648.73/1648.79 c 1603s| 2430k| 2429k| 1785k| 0.7 |2348M| 305 | 0 |1504 |1016 |1504 | 529 | 67k| 190 |7112 | 0.000000e+00 | 1.935900e+04 | Inf
1655.63/1655.61 c 1610s| 2440k| 2439k| 1794k| 0.7 |2357M| 305 | 0 |1504 |1016 |1504 | 528 | 67k| 190 |7112 | 0.000000e+00 | 1.935900e+04 | Inf
1662.33/1662.39 c 1616s| 2450k| 2449k| 1802k| 0.7 |2367M| 305 | 0 |1504 |1016 |1504 | 532 | 67k| 190 |7122 | 0.000000e+00 | 1.935900e+04 | Inf
1669.33/1669.37 c 1623s| 2460k| 2459k| 1810k| 0.7 |2376M| 305 | 0 |1504 |1016 |1504 | 532 | 67k| 190 |7145 | 0.000000e+00 | 1.935900e+04 | Inf
1676.23/1676.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1676.23/1676.26 c 1630s| 2470k| 2469k| 1818k| 0.7 |2386M| 305 | 0 |1504 |1016 |1504 | 530 | 68k| 190 |7145 | 0.000000e+00 | 1.935900e+04 | Inf
1683.14/1683.12 c 1636s| 2480k| 2479k| 1827k| 0.7 |2395M| 305 | 0 |1504 |1016 |1504 | 528 | 68k| 190 |7145 | 0.000000e+00 | 1.935900e+04 | Inf
1689.93/1689.97 c 1643s| 2490k| 2489k| 1835k| 0.7 |2405M| 305 | 1 |1504 |1016 |1504 | 532 | 68k| 190 |7157 | 0.000000e+00 | 1.935900e+04 | Inf
1696.84/1696.86 c 1650s| 2500k| 2499k| 1843k| 0.7 |2415M| 305 | 0 |1504 |1016 |1504 | 526 | 69k| 190 |7177 | 0.000000e+00 | 1.935900e+04 | Inf
1703.64/1703.60 c 1656s| 2510k| 2509k| 1852k| 0.7 |2424M| 305 | 0 |1504 |1016 |1504 | 533 | 69k| 190 |7177 | 0.000000e+00 | 1.935900e+04 | Inf
1710.33/1710.30 c 1663s| 2520k| 2519k| 1860k| 0.7 |2434M| 305 | 1 |1504 |1016 |1504 | 533 | 69k| 190 |7177 | 0.000000e+00 | 1.935900e+04 | Inf
1717.04/1717.04 c 1669s| 2530k| 2529k| 1868k| 0.7 |2443M| 305 | 1 |1504 |1016 |1504 | 532 | 69k| 190 |7187 | 0.000000e+00 | 1.935900e+04 | Inf
1723.93/1723.98 c 1676s| 2540k| 2539k| 1876k| 0.7 |2453M| 305 | 0 |1504 |1016 |1504 | 532 | 69k| 190 |7231 | 0.000000e+00 | 1.935900e+04 | Inf
1730.74/1730.78 c 1683s| 2550k| 2549k| 1884k| 0.7 |2463M| 305 | 0 |1504 |1017 |1504 | 533 | 70k| 191 |7234 | 0.000000e+00 | 1.935900e+04 | Inf
1737.63/1737.61 c 1689s| 2560k| 2559k| 1892k| 0.7 |2472M| 305 | 3 |1504 |1017 |1504 | 528 | 70k| 191 |7234 | 0.000000e+00 | 1.935900e+04 | Inf
1744.44/1744.44 c 1696s| 2570k| 2569k| 1901k| 0.7 |2482M| 305 | 0 |1504 |1017 |1504 | 533 | 70k| 192 |7236 | 0.000000e+00 | 1.935900e+04 | Inf
1751.44/1751.44 c 1703s| 2580k| 2579k| 1910k| 0.7 |2491M| 305 | 0 |1504 |1017 |1504 | 530 | 71k| 192 |7267 | 0.000000e+00 | 1.935900e+04 | Inf
1758.24/1758.25 c 1709s| 2590k| 2589k| 1918k| 0.7 |2501M| 305 | 0 |1504 |1017 |1504 | 532 | 71k| 192 |7271 | 0.000000e+00 | 1.935900e+04 | Inf
1765.04/1765.05 c 1716s| 2600k| 2599k| 1926k| 0.7 |2511M| 305 | 2 |1504 |1017 |1504 | 527 | 71k| 194 |7271 | 0.000000e+00 | 1.935900e+04 | Inf
1771.93/1771.98 c 1723s| 2610k| 2609k| 1934k| 0.7 |2520M| 305 | 0 |1504 |1017 |1504 | 530 | 71k| 194 |7273 | 0.000000e+00 | 1.935900e+04 | Inf
1779.04/1779.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1779.04/1779.02 c 1729s| 2620k| 2619k| 1943k| 0.7 |2530M| 309 | 0 |1504 |1015 |1504 | 533 | 72k| 194 |7324 | 0.000000e+00 | 1.935900e+04 | Inf
1786.03/1786.00 c 1736s| 2630k| 2629k| 1952k| 0.7 |2539M| 309 | 0 |1504 |1017 |1504 | 534 | 72k| 197 |7327 | 0.000000e+00 | 1.935900e+04 | Inf
1793.04/1793.06 c 1743s| 2640k| 2639k| 1960k| 0.7 |2549M| 309 | 0 |1504 |1017 |1504 | 530 | 73k| 197 |7327 | 0.000000e+00 | 1.935900e+04 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1749.73
1800.04/1800.00 c Solving Nodes : 2649848
1800.04/1800.00 c Primal Bound : +1.93590000000000e+04 (100 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.01 s SATISFIABLE
1800.04/1800.01 v -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698
1800.04/1800.01 v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 x684 x683 -x682 -x681 -x680 -x679 -x678 -x677
1800.04/1800.01 v -x676 -x675 x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 x657 -x656
1800.04/1800.01 v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635
1800.04/1800.01 v -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614
1800.04/1800.01 v -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594
1800.04/1800.01 v -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573
1800.04/1800.01 v -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552
1800.04/1800.01 v -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531
1800.04/1800.01 v -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 x510
1800.04/1800.01 v -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489
1800.04/1800.01 v -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468
1800.04/1800.01 v -x467 -x466 -x465 -x464 -x463 -x462 -x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447
1800.04/1800.01 v -x446 -x445 x444 x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426
1800.04/1800.01 v -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405
1800.04/1800.01 v -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384
1800.04/1800.01 v -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363
1800.04/1800.01 v -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343
1800.04/1800.01 v -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322
1800.04/1800.01 v -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301
1800.04/1800.01 v -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 x283 -x282 -x281 -x280
1800.04/1800.01 v -x279 -x278 -x277 -x276 -x275 -x274 x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259
1800.04/1800.01 v -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 x238
1800.04/1800.01 v -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217
1800.04/1800.01 v -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196
1800.04/1800.01 v -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175
1800.04/1800.01 v -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 x156 -x155 x154
1800.04/1800.01 v -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133
1800.04/1800.01 v -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 x119 -x118 -x117 x116 -x115 -x114 -x113 x112 -x111
1800.04/1800.01 v -x110 x109 -x108 -x107 x106 x105 -x104 x103 -x102 x101 -x100 -x99 x98 -x97 -x96 x95 -x94 -x93 -x92 x91 x90 x89 -x88 -x87 -x86
1800.04/1800.01 v -x85 x84 x83 -x82 x81 x80 -x79 x78 -x77 -x76 x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 x63 -x62 -x61 -x60
1800.04/1800.01 v -x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34
1800.04/1800.01 v -x33 -x32 -x31 -x30 x29 x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7
1800.04/1800.01 v -x6 -x5 -x4 x3 -x2 -x1
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1749.73
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2693095-1277915510.wbo
1800.04/1800.01 c Variables : 1505 (1112 binary, 0 integer, 0 implicit integer, 393 continuous)
1800.04/1800.01 c Constraints : 987 initial, 987 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2693095-1277915510.wbo
1800.04/1800.01 c Variables : 1504 (1111 binary, 0 integer, 0 implicit integer, 393 continuous)
1800.04/1800.01 c Constraints : 984 initial, 1022 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 1 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.01 0 0 0 393 0 3 115 230
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 2688707 0 0 133 0 0 725404
1800.04/1800.01 c indicator : 393 0 4812992 2325881 0 0 1985415 0 0 0
1800.04/1800.01 c varbound : 1 6 402064 188608 0 0 5 1 0 0
1800.04/1800.01 c knapsack : 68 6 4812992 2325881 0 143 62564 208 0 0
1800.04/1800.01 c linear : 392 6 4812849 2325881 0 9 1631984 73222 0 0
1800.04/1800.01 c logicor : 130+ 6 766192 2286973 0 0 481276 0 0 0
1800.04/1800.01 c countsols : 0 0 0 2286973 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 13.21 0.00 0.00 13.21 0.00
1800.04/1800.01 c indicator : 72.75 0.07 20.37 52.31 0.00
1800.04/1800.01 c varbound : 0.16 0.00 0.12 0.04 0.00
1800.04/1800.01 c knapsack : 8.88 0.00 5.75 3.13 0.00
1800.04/1800.01 c linear : 72.71 0.00 16.32 56.39 0.00
1800.04/1800.01 c logicor : 4.47 0.00 1.27 3.20 0.00
1800.04/1800.01 c countsols : 0.61 0.00 0.00 0.61 0.00
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 1.41 33541 0 830
1800.04/1800.01 c rootredcost : 1.19 1 0 0
1800.04/1800.01 c pseudoobj : 47.18 4812792 0 0
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 0.00 152 152 238 12.4 0 0.0 -
1800.04/1800.01 c infeasible LP : 0.00 32 32 32 3.5 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 199 9.4 - - -
1800.04/1800.01 c applied locally : - - - 0 0.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 5 - - 205 - (maximal pool size: 818)
1800.04/1800.01 c redcost : 80.86 2688712 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.01 6 0 0 107 0
1800.04/1800.01 c strongcg : 0.03 6 0 0 23 0
1800.04/1800.01 c cmir : 0.07 6 0 0 367 0
1800.04/1800.01 c flowcover : 0.13 6 0 0 586 0
1800.04/1800.01 c clique : 0.00 1 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 12.21 362826 0 133 0 0 725404
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 144.81 2286973 0 0 0 0 4573946
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c oneopt : 2.07 1 0
1800.04/1800.01 c feaspump : 0.03 1 0
1800.04/1800.01 c crossover : 1.22 13 0
1800.04/1800.01 c intshifting : 0.04 81 0
1800.04/1800.01 c fracdiving : 7.05 14383 0
1800.04/1800.01 c veclendiving : 8.08 14383 0
1800.04/1800.01 c coefdiving : 7.35 14384 0
1800.04/1800.01 c pscostdiving : 7.91 14384 0
1800.04/1800.01 c linesearchdiving : 7.90 14384 0
1800.04/1800.01 c guideddiving : 7.68 14384 0
1800.04/1800.01 c objpscostdiving : 5.82 13847 0
1800.04/1800.01 c rootsoldiving : 4.88 13847 0
1800.04/1800.01 c trivial : 0.00 2 0
1800.04/1800.01 c simplerounding : 1.24 362148 0
1800.04/1800.01 c zirounding : 0.65 1000 0
1800.04/1800.01 c rounding : 0.62 8399 0
1800.04/1800.01 c shifting : 0.77 2688 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.02 1 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.77 0 0
1800.04/1800.01 c trysol : 1.13 19780 100
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 854.53 505425 1939895 3.84 2270.13
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 12.13 19725 29794 1.51 2456.22
1800.04/1800.01 c strong branching : 10.61 7327 99919 13.64 9417.44
1800.04/1800.01 c (at root node) : - 23 2527 109.87 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 2649848
1800.04/1800.01 c nodes (total) : 2649848
1800.04/1800.01 c nodes left : 2649503
1800.04/1800.01 c max depth : 309
1800.04/1800.01 c max depth (total): 309
1800.04/1800.01 c backtracks : 16973 (0.6%)
1800.04/1800.01 c delayed cutoffs : 0
1800.04/1800.01 c repropagations : 2431 (190 domain reductions, 0 cutoffs)
1800.04/1800.01 c avg switch length: 2.11
1800.04/1800.01 c switching time : 58.25
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 100 (1 improvements)
1800.04/1800.01 c First Solution : +1.93590000000000e+04 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trysol>)
1800.04/1800.01 c Primal Bound : +1.93590000000000e+04 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trysol>)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 853
Begin job on node112 at 2010-06-30 18:31:50
IDJOB=2693095
IDBENCH=79056
IDSOLVER=1205
FILE ID=node112/2693095-1277915510
PBS_JOBID= 11197281
Free space on /tmp= 74204 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-blast-floppy1-6.ucl--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-2693095-1277915510/watcher-2693095-1277915510 -o /tmp/evaluation-result-2693095-1277915510/solver-2693095-1277915510 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693095-1277915510.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e743a4abb279311aa41225546d67b4df
RANDOM SEED=826823547
node112.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.827
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.65
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.827
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.827
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.827
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.73
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.827
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.827
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.75
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.827
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.827
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.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 30296920 kB
Buffers: 196952 kB
Cached: 1904008 kB
SwapCached: 0 kB
Active: 945884 kB
Inactive: 1562084 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 30296920 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 11112 kB
Writeback: 0 kB
AnonPages: 407188 kB
Mapped: 17388 kB
Slab: 81184 kB
PageTables: 5700 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 591368 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= 74204 MiB
End job on node112 at 2010-06-30 19:01:52