0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693825-1277894717.wbo>
0.00/0.02 c original problem has 8432 variables (8311 bin, 0 int, 0 impl, 121 cont) and 303 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.04 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 121 impls, 28 clqs
0.00/0.06 c (round 2) 0 del vars, 1 del conss, 121 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 121 impls, 28 clqs
0.00/0.06 c (round 3) 0 del vars, 1 del conss, 121 chg bounds, 0 chg sides, 0 chg coeffs, 32 upgd conss, 121 impls, 28 clqs
0.00/0.06 c (round 4) 0 del vars, 1 del conss, 121 chg bounds, 0 chg sides, 0 chg coeffs, 60 upgd conss, 121 impls, 28 clqs
0.09/0.12 c (0.1s) probing: 101/8311 (1.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.12 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.13 c presolving (5 rounds):
0.09/0.13 c 0 deleted vars, 1 deleted constraints, 121 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.13 c 121 implications, 28 cliques
0.09/0.13 c presolved problem has 8432 variables (8311 bin, 0 int, 0 impl, 121 cont) and 302 constraints
0.09/0.13 c 121 constraints of type <indicator>
0.09/0.13 c 28 constraints of type <setppc>
0.09/0.13 c 121 constraints of type <linear>
0.09/0.13 c 32 constraints of type <logicor>
0.09/0.13 c transformed objective value is always integral (scale: 1)
0.09/0.13 c Presolving Time: 0.08
0.09/0.13 c - non default parameters ----------------------------------------------------------------------
0.09/0.13 c # SCIP version 1.2.1.2
0.09/0.13 c
0.09/0.13 c # frequency for displaying node information lines
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.13 c display/freq = 10000
0.09/0.13 c
0.09/0.13 c # maximal time in seconds to run
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/time = 1799.98
0.09/0.13 c
0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/memory = 3420
0.09/0.13 c
0.09/0.13 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.13 c lp/solvefreq = -1
0.09/0.13 c
0.09/0.13 c # should presolving try to simplify inequalities
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/linear/simplifyinequalities = TRUE
0.09/0.13 c
0.09/0.13 c # should presolving try to simplify knapsacks
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.13 c
0.09/0.13 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.13 c separating/rapidlearning/freq = 0
0.09/0.13 c
0.09/0.13 c -----------------------------------------------------------------------------------------------
0.09/0.13 c start solving
0.09/0.13 c
0.09/0.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.13 c 0.1s| 1 | 2 | 0 | - | 15M| 0 | - |8432 | 302 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
5.09/5.17 c 5.1s| 10000 | 9996 | 0 | 0.0 | 19M|6814 | - |8432 | 317 | 0 | 0 | 0 | 24 | 0 | 0.000000e+00 | -- | Inf
9.39/9.47 c 9.3s| 20000 | 19983 | 0 | 0.0 | 22M|6814 | - |8432 | 334 | 0 | 0 | 0 | 89 | 0 | 0.000000e+00 | -- | Inf
13.98/14.06 c 13.8s| 30000 | 29965 | 0 | 0.0 | 25M|6814 | - |8432 | 346 | 0 | 0 | 0 | 179 | 0 | 0.000000e+00 | -- | Inf
18.49/18.55 c 18.3s| 40000 | 39957 | 0 | 0.0 | 28M|6814 | - |8432 | 328 | 0 | 0 | 0 | 219 | 0 | 0.000000e+00 | -- | Inf
22.99/23.08 c 22.7s| 50000 | 49945 | 0 | 0.0 | 31M|6814 | - |8432 | 342 | 0 | 0 | 0 | 279 | 0 | 0.000000e+00 | -- | Inf
27.50/27.55 c 27.1s| 60000 | 59933 | 0 | 0.0 | 34M|6814 | - |8432 | 331 | 0 | 0 | 0 | 339 | 0 | 0.000000e+00 | -- | Inf
32.19/32.23 c 31.8s| 70000 | 69921 | 0 | 0.0 | 37M|6814 | - |8432 | 326 | 0 | 0 | 0 | 399 | 0 | 0.000000e+00 | -- | Inf
37.69/37.72 c 37.2s| 80000 | 79903 | 0 | 0.0 | 40M|6814 | - |8432 | 332 | 0 | 0 | 0 | 489 | 0 | 0.000000e+00 | -- | Inf
43.08/43.16 c 42.6s| 90000 | 89893 | 0 | 0.0 | 43M|6814 | - |8432 | 338 | 0 | 0 | 0 | 539 | 0 | 0.000000e+00 | -- | Inf
48.28/48.37 c 47.7s|100000 | 99883 | 0 | 0.0 | 46M|6814 | - |8432 | 328 | 0 | 0 | 0 | 589 | 0 | 0.000000e+00 | -- | Inf
53.58/53.67 c 53.0s|110000 |109869 | 0 | 0.0 | 49M|6814 | - |8432 | 351 | 0 | 0 | 0 | 659 | 0 | 0.000000e+00 | -- | Inf
58.89/58.94 c 58.2s|120000 |119861 | 0 | 0.0 | 51M|6814 | - |8432 | 335 | 0 | 0 | 0 | 699 | 0 | 0.000000e+00 | -- | Inf
64.19/64.24 c 63.4s|130000 |129849 | 0 | 0.0 | 54M|6814 | - |8432 | 345 | 0 | 0 | 0 | 759 | 0 | 0.000000e+00 | -- | Inf
69.49/69.51 c 68.7s|140000 |139835 | 0 | 0.0 | 57M|6814 | - |8432 | 355 | 0 | 0 | 0 | 829 | 0 | 0.000000e+00 | -- | Inf
74.90/74.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.90/74.99 c 74.1s|150000 |149831 | 0 | 0.0 | 60M|6814 | - |8432 | 329 | 0 | 0 | 0 | 849 | 0 | 0.000000e+00 | -- | Inf
80.49/80.58 c 79.6s|160000 |159819 | 0 | 0.0 | 63M|6814 | - |8432 | 354 | 0 | 0 | 0 | 909 | 0 | 0.000000e+00 | -- | Inf
85.90/85.98 c 85.0s|170000 |169807 | 0 | 0.0 | 66M|6814 | - |8432 | 379 | 0 | 0 | 0 | 969 | 0 | 0.000000e+00 | -- | Inf
90.89/90.92 c 89.8s|180000 |179803 | 0 | 0.0 | 68M|6814 | - |8432 | 353 | 0 | 0 | 0 | 989 | 0 | 0.000000e+00 | -- | Inf
96.59/96.69 c 95.6s|190000 |189793 | 0 | 0.0 | 71M|6814 | - |8432 | 385 | 0 | 0 | 0 |1039 | 0 | 0.000000e+00 | -- | Inf
101.79/101.81 c 101s|200000 |199785 | 0 | 0.0 | 74M|6814 | - |8432 | 396 | 0 | 0 | 0 |1079 | 0 | 0.000000e+00 | -- | Inf
107.09/107.16 c 106s|210000 |209781 | 0 | 0.0 | 77M|6814 | - |8432 | 402 | 0 | 0 | 0 |1099 | 0 | 0.000000e+00 | -- | Inf
112.49/112.56 c 111s|220000 |219769 | 0 | 0.0 | 79M|6814 | - |8432 | 432 | 0 | 0 | 0 |1159 | 0 | 0.000000e+00 | -- | Inf
117.80/117.83 c 116s|230000 |229759 | 0 | 0.0 | 82M|6827 | - |8432 | 454 | 0 | 0 | 0 |1209 | 0 | 0.000000e+00 | -- | Inf
123.30/123.30 c 122s|240000 |239747 | 0 | 0.0 | 85M|6862 | - |8432 | 446 | 0 | 0 | 0 |1269 | 0 | 0.000000e+00 | -- | Inf
128.59/128.61 c 127s|250000 |249743 | 0 | 0.0 | 87M|6925 | - |8432 | 439 | 0 | 0 | 0 |1289 | 0 | 0.000000e+00 | -- | Inf
133.80/133.81 c 132s|260000 |259733 | 0 | 0.0 | 90M|7000 | - |8432 | 457 | 0 | 0 | 0 |1339 | 0 | 0.000000e+00 | -- | Inf
139.19/139.24 c 138s|270000 |269729 | 0 | 0.0 | 93M|7046 | - |8432 | 457 | 0 | 0 | 0 |1359 | 0 | 0.000000e+00 | -- | Inf
144.20/144.29 c 143s|280000 |279717 | 0 | 0.0 | 96M|7046 | - |8432 | 478 | 0 | 0 | 0 |1419 | 0 | 0.000000e+00 | -- | Inf
150.00/150.00 c 148s|290000 |289707 | 0 | 0.0 | 98M|7046 | - |8432 | 500 | 0 | 0 | 0 |1469 | 0 | 0.000000e+00 | -- | Inf
155.39/155.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.39/155.47 c 154s|300000 |299694 | 0 | 0.0 | 101M|7046 | - |8432 | 489 | 0 | 0 | 0 |1533 | 0 | 0.000000e+00 | -- | Inf
161.09/161.12 c 159s|310000 |309666 | 0 | 0.0 | 104M|7046 | - |8432 | 502 | 0 | 0 | 0 |1586 | 0 | 0.000000e+00 | -- | Inf
166.39/166.44 c 165s|320000 |319653 | 0 | 0.0 | 106M|7046 | - |8432 | 507 | 0 | 0 | 0 |1655 | 0 | 0.000000e+00 | -- | Inf
171.89/171.90 c 170s|330000 |329648 | 0 | 0.0 | 109M|7046 | - |8432 | 504 | 0 | 0 | 0 |1683 | 0 | 0.000000e+00 | -- | Inf
177.10/177.20 c 175s|340000 |339636 | 0 | 0.0 | 112M|7046 | - |8432 | 511 | 0 | 0 | 0 |1739 | 0 | 0.000000e+00 | -- | Inf
182.60/182.69 c 181s|350000 |349625 | 0 | 0.0 | 114M|7046 | - |8432 | 541 | 0 | 0 | 0 |1797 | 0 | 0.000000e+00 | -- | Inf
188.20/188.22 c 186s|360000 |359609 | 0 | 0.0 | 117M|7046 | - |8432 | 544 | 0 | 0 | 0 |1877 | 0 | 0.000000e+00 | -- | Inf
193.89/193.90 c 192s|370000 |369603 | 0 | 0.0 | 120M|7046 | - |8432 | 520 | 0 | 0 | 0 |1907 | 0 | 0.000000e+00 | -- | Inf
199.40/199.42 c 197s|380000 |379591 | 0 | 0.0 | 122M|7046 | - |8432 | 531 | 0 | 0 | 0 |1967 | 0 | 0.000000e+00 | -- | Inf
204.40/204.43 c 202s|390000 |389585 | 0 | 0.0 | 125M|7046 | - |8432 | 529 | 0 | 0 | 0 |1997 | 0 | 0.000000e+00 | -- | Inf
210.29/210.34 c 208s|400000 |399569 | 0 | 0.0 | 128M|7046 | - |8432 | 563 | 0 | 0 | 0 |2077 | 0 | 0.000000e+00 | -- | Inf
215.20/215.28 c 213s|410000 |409563 | 0 | 0.0 | 130M|7046 | - |8432 | 537 | 0 | 0 | 0 |2107 | 0 | 0.000000e+00 | -- | Inf
221.29/221.30 c 219s|420000 |419555 | 0 | 0.0 | 133M|7046 | - |8432 | 543 | 0 | 0 | 0 |2147 | 0 | 0.000000e+00 | -- | Inf
226.79/226.82 c 224s|430000 |429545 | 0 | 0.0 | 136M|7046 | - |8432 | 555 | 0 | 0 | 0 |2197 | 0 | 0.000000e+00 | -- | Inf
233.19/233.29 c 231s|440000 |439539 | 0 | 0.0 | 139M|7046 | - |8432 | 553 | 0 | 0 | 0 |2227 | 0 | 0.000000e+00 | -- | Inf
239.19/239.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.19/239.24 c 237s|450000 |449529 | 0 | 0.0 | 141M|7046 | - |8432 | 556 | 0 | 0 | 0 |2277 | 0 | 0.000000e+00 | -- | Inf
245.59/245.68 c 243s|460000 |459523 | 0 | 0.0 | 144M|7046 | - |8432 | 560 | 0 | 0 | 0 |2307 | 0 | 0.000000e+00 | -- | Inf
251.90/252.00 c 249s|470000 |469509 | 0 | 0.0 | 147M|7046 | - |8432 | 569 | 0 | 0 | 0 |2377 | 0 | 0.000000e+00 | -- | Inf
258.29/258.33 c 256s|480000 |479501 | 0 | 0.0 | 149M|7046 | - |8432 | 567 | 0 | 0 | 0 |2417 | 0 | 0.000000e+00 | -- | Inf
264.00/264.08 c 261s|490000 |489489 | 0 | 0.0 | 152M|7046 | - |8432 | 570 | 0 | 0 | 0 |2477 | 0 | 0.000000e+00 | -- | Inf
270.39/270.41 c 267s|500000 |499477 | 0 | 0.0 | 155M|7046 | - |8432 | 605 | 0 | 0 | 0 |2537 | 0 | 0.000000e+00 | -- | Inf
276.79/276.81 c 274s|510000 |509461 | 0 | 0.0 | 158M|7046 | - |8432 | 621 | 0 | 0 | 0 |2617 | 0 | 0.000000e+00 | -- | Inf
283.40/283.42 c 280s|520000 |519453 | 0 | 0.0 | 160M|7046 | - |8432 | 608 | 0 | 0 | 0 |2657 | 0 | 0.000000e+00 | -- | Inf
289.20/289.27 c 286s|530000 |529441 | 0 | 0.0 | 163M|7046 | - |8432 | 612 | 0 | 0 | 0 |2717 | 0 | 0.000000e+00 | -- | Inf
295.49/295.57 c 292s|540000 |539435 | 0 | 0.0 | 166M|7046 | - |8432 | 610 | 0 | 0 | 0 |2747 | 0 | 0.000000e+00 | -- | Inf
301.40/301.41 c 298s|550000 |549422 | 0 | 0.0 | 168M|7046 | - |8432 | 631 | 0 | 0 | 0 |2817 | 0 | 0.000000e+00 | -- | Inf
307.59/307.61 c 304s|560000 |559414 | 0 | 0.0 | 171M|7046 | - |8432 | 636 | 0 | 0 | 0 |2857 | 0 | 0.000000e+00 | -- | Inf
312.99/313.04 c 310s|570000 |569404 | 0 | 0.0 | 174M|7058 | - |8432 | 638 | 0 | 0 | 0 |2907 | 0 | 0.000000e+00 | -- | Inf
319.39/319.42 c 316s|580000 |579400 | 0 | 0.0 | 176M|7058 | - |8432 | 633 | 0 | 0 | 0 |2927 | 0 | 0.000000e+00 | -- | Inf
324.79/324.83 c 321s|590000 |589386 | 0 | 0.0 | 179M|7108 | - |8432 | 652 | 0 | 0 | 0 |2997 | 0 | 0.000000e+00 | -- | Inf
331.39/331.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
331.39/331.40 c 328s|600000 |599380 | 0 | 0.0 | 182M|7108 | - |8432 | 653 | 0 | 0 | 0 |3027 | 0 | 0.000000e+00 | -- | Inf
336.70/336.77 c 333s|610000 |609376 | 0 | 0.0 | 184M|7108 | - |8432 | 631 | 0 | 0 | 0 |3047 | 0 | 0.000000e+00 | -- | Inf
343.50/343.56 c 340s|620000 |619366 | 0 | 0.0 | 187M|7108 | - |8432 | 650 | 0 | 0 | 0 |3097 | 0 | 0.000000e+00 | -- | Inf
349.10/349.11 c 345s|630000 |629350 | 0 | 0.0 | 190M|7108 | - |8432 | 675 | 0 | 0 | 0 |3177 | 0 | 0.000000e+00 | -- | Inf
355.90/355.90 c 352s|640000 |639340 | 0 | 0.0 | 192M|7108 | - |8432 | 686 | 0 | 0 | 0 |3227 | 0 | 0.000000e+00 | -- | Inf
362.00/362.08 c 358s|650000 |649323 | 0 | 0.0 | 195M|7108 | - |8432 | 692 | 0 | 0 | 0 |3307 | 0 | 0.000000e+00 | -- | Inf
368.39/368.49 c 365s|660000 |659315 | 0 | 0.0 | 198M|7108 | - |8432 | 681 | 0 | 0 | 0 |3347 | 0 | 0.000000e+00 | -- | Inf
374.69/374.71 c 371s|670000 |669299 | 0 | 0.0 | 200M|7108 | - |8432 | 699 | 0 | 0 | 0 |3427 | 0 | 0.000000e+00 | -- | Inf
380.79/380.85 c 377s|680000 |679293 | 0 | 0.0 | 203M|7108 | - |8432 | 670 | 0 | 0 | 0 |3457 | 0 | 0.000000e+00 | -- | Inf
386.50/386.55 c 382s|690000 |689283 | 0 | 0.0 | 206M|7108 | - |8432 | 675 | 0 | 0 | 0 |3507 | 0 | 0.000000e+00 | -- | Inf
392.59/392.70 c 388s|700000 |699275 | 0 | 0.0 | 208M|7108 | - |8432 | 690 | 0 | 0 | 0 |3547 | 0 | 0.000000e+00 | -- | Inf
398.80/398.88 c 395s|710000 |709263 | 0 | 0.0 | 211M|7108 | - |8432 | 682 | 0 | 0 | 0 |3607 | 0 | 0.000000e+00 | -- | Inf
404.80/404.85 c 400s|720000 |719259 | 0 | 0.0 | 214M|7108 | - |8432 | 685 | 0 | 0 | 0 |3627 | 0 | 0.000000e+00 | -- | Inf
411.10/411.12 c 407s|730000 |729241 | 0 | 0.0 | 217M|7108 | - |8432 | 706 | 0 | 0 | 0 |3717 | 0 | 0.000000e+00 | -- | Inf
416.91/416.92 c 412s|740000 |739233 | 0 | 0.0 | 219M|7108 | - |8432 | 695 | 0 | 0 | 0 |3757 | 0 | 0.000000e+00 | -- | Inf
423.20/423.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
423.20/423.21 c 419s|750000 |749225 | 0 | 0.0 | 222M|7108 | - |8432 | 698 | 0 | 0 | 0 |3797 | 0 | 0.000000e+00 | -- | Inf
428.90/428.96 c 424s|760000 |759221 | 0 | 0.0 | 225M|7108 | - |8432 | 684 | 0 | 0 | 0 |3817 | 0 | 0.000000e+00 | -- | Inf
435.49/435.53 c 431s|770000 |769207 | 0 | 0.0 | 227M|7108 | - |8432 | 724 | 0 | 0 | 0 |3887 | 0 | 0.000000e+00 | -- | Inf
441.20/441.21 c 437s|780000 |779203 | 0 | 0.0 | 230M|7108 | - |8432 | 691 | 0 | 0 | 0 |3907 | 0 | 0.000000e+00 | -- | Inf
447.89/447.93 c 443s|790000 |789195 | 0 | 0.0 | 233M|7108 | - |8432 | 699 | 0 | 0 | 0 |3947 | 0 | 0.000000e+00 | -- | Inf
453.30/453.39 c 449s|800000 |799189 | 0 | 0.0 | 235M|7108 | - |8432 | 697 | 0 | 0 | 0 |3977 | 0 | 0.000000e+00 | -- | Inf
459.99/460.07 c 455s|810000 |809181 | 0 | 0.0 | 238M|7108 | - |8432 | 707 | 0 | 0 | 0 |4017 | 0 | 0.000000e+00 | -- | Inf
465.50/465.52 c 461s|820000 |819177 | 0 | 0.0 | 241M|7108 | - |8432 | 697 | 0 | 0 | 0 |4037 | 0 | 0.000000e+00 | -- | Inf
472.20/472.22 c 467s|830000 |829169 | 0 | 0.0 | 243M|7108 | - |8432 | 706 | 0 | 0 | 0 |4077 | 0 | 0.000000e+00 | -- | Inf
477.70/477.70 c 473s|840000 |839165 | 0 | 0.0 | 246M|7108 | - |8432 | 705 | 0 | 0 | 0 |4097 | 0 | 0.000000e+00 | -- | Inf
484.40/484.44 c 479s|850000 |849155 | 0 | 0.0 | 249M|7108 | - |8432 | 725 | 0 | 0 | 0 |4147 | 0 | 0.000000e+00 | -- | Inf
490.00/490.01 c 485s|860000 |859151 | 0 | 0.0 | 251M|7108 | - |8432 | 711 | 0 | 0 | 0 |4167 | 0 | 0.000000e+00 | -- | Inf
496.70/496.79 c 492s|870000 |869139 | 0 | 0.0 | 254M|7108 | - |8432 | 739 | 0 | 0 | 0 |4227 | 0 | 0.000000e+00 | -- | Inf
502.40/502.41 c 497s|880000 |879135 | 0 | 0.0 | 257M|7108 | - |8432 | 719 | 0 | 0 | 0 |4247 | 0 | 0.000000e+00 | -- | Inf
509.10/509.17 c 504s|890000 |889121 | 0 | 0.0 | 259M|7108 | - |8432 | 751 | 0 | 0 | 0 |4317 | 0 | 0.000000e+00 | -- | Inf
514.91/514.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
514.91/514.96 c 510s|900000 |899115 | 0 | 0.0 | 262M|7108 | - |8432 | 734 | 0 | 0 | 0 |4347 | 0 | 0.000000e+00 | -- | Inf
522.00/522.03 c 517s|910000 |909093 | 0 | 0.0 | 265M|7108 | - |8432 | 771 | 0 | 0 | 0 |4449 | 0 | 0.000000e+00 | -- | Inf
528.11/528.14 c 523s|920000 |919085 | 0 | 0.0 | 267M|7108 | - |8432 | 756 | 0 | 0 | 0 |4489 | 0 | 0.000000e+00 | -- | Inf
534.70/534.78 c 529s|930000 |929075 | 0 | 0.0 | 270M|7108 | - |8432 | 732 | 0 | 0 | 0 |4539 | 0 | 0.000000e+00 | -- | Inf
540.90/540.90 c 535s|940000 |939067 | 0 | 0.0 | 272M|7108 | - |8432 | 747 | 0 | 0 | 0 |4579 | 0 | 0.000000e+00 | -- | Inf
547.60/547.65 c 542s|950000 |949051 | 0 | 0.0 | 275M|7108 | - |8432 | 773 | 0 | 0 | 0 |4659 | 0 | 0.000000e+00 | -- | Inf
553.61/553.62 c 548s|960000 |959045 | 0 | 0.0 | 278M|7108 | - |8432 | 759 | 0 | 0 | 0 |4689 | 0 | 0.000000e+00 | -- | Inf
560.00/560.06 c 554s|970000 |969033 | 0 | 0.0 | 281M|7108 | - |8432 | 753 | 0 | 0 | 0 |4749 | 0 | 0.000000e+00 | -- | Inf
565.90/565.97 c 560s|980000 |979029 | 0 | 0.0 | 283M|7108 | - |8432 | 738 | 0 | 0 | 0 |4769 | 0 | 0.000000e+00 | -- | Inf
571.91/571.94 c 566s|990000 |989017 | 0 | 0.0 | 286M|7108 | - |8432 | 750 | 0 | 0 | 0 |4829 | 0 | 0.000000e+00 | -- | Inf
578.00/578.04 c 572s| 1000k|999011 | 0 | 0.0 | 288M|7108 | - |8432 | 744 | 0 | 0 | 0 |4859 | 0 | 0.000000e+00 | -- | Inf
584.30/584.31 c 578s| 1010k| 1008k| 0 | 0.0 | 291M|7108 | - |8432 | 764 | 0 | 0 | 0 |4949 | 0 | 0.000000e+00 | -- | Inf
590.31/590.34 c 584s| 1020k| 1018k| 0 | 0.0 | 294M|7108 | - |8432 | 737 | 0 | 0 | 0 |4969 | 0 | 0.000000e+00 | -- | Inf
596.60/596.64 c 590s| 1030k| 1028k| 0 | 0.0 | 296M|7108 | - |8432 | 761 | 0 | 0 | 0 |5049 | 0 | 0.000000e+00 | -- | Inf
602.60/602.61 c 596s| 1040k| 1038k| 0 | 0.0 | 299M|7108 | - |8432 | 742 | 0 | 0 | 0 |5069 | 0 | 0.000000e+00 | -- | Inf
608.20/608.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
608.20/608.28 c 602s| 1050k| 1048k| 0 | 0.0 | 302M|7108 | - |8432 | 741 | 0 | 0 | 0 |5119 | 0 | 0.000000e+00 | -- | Inf
614.20/614.28 c 608s| 1060k| 1058k| 0 | 0.0 | 304M|7108 | - |8432 | 749 | 0 | 0 | 0 |5149 | 0 | 0.000000e+00 | -- | Inf
620.10/620.11 c 614s| 1070k| 1068k| 0 | 0.0 | 307M|7108 | - |8432 | 767 | 0 | 0 | 0 |5219 | 0 | 0.000000e+00 | -- | Inf
626.40/626.42 c 620s| 1080k| 1078k| 0 | 0.0 | 310M|7108 | - |8432 | 755 | 0 | 0 | 0 |5249 | 0 | 0.000000e+00 | -- | Inf
632.31/632.35 c 626s| 1090k| 1088k| 0 | 0.0 | 312M|7108 | - |8432 | 777 | 0 | 0 | 0 |5319 | 0 | 0.000000e+00 | -- | Inf
638.40/638.46 c 632s| 1100k| 1098k| 0 | 0.0 | 315M|7108 | - |8432 | 751 | 0 | 0 | 0 |5339 | 0 | 0.000000e+00 | -- | Inf
644.50/644.58 c 638s| 1110k| 1108k| 0 | 0.0 | 318M|7108 | - |8432 | 776 | 0 | 0 | 0 |5429 | 0 | 0.000000e+00 | -- | Inf
650.70/650.78 c 644s| 1120k| 1118k| 0 | 0.0 | 320M|7108 | - |8432 | 753 | 0 | 0 | 0 |5449 | 0 | 0.000000e+00 | -- | Inf
656.40/656.41 c 650s| 1130k| 1128k| 0 | 0.0 | 323M|7108 | - |8432 | 767 | 0 | 0 | 0 |5509 | 0 | 0.000000e+00 | -- | Inf
662.70/662.78 c 656s| 1140k| 1138k| 0 | 0.0 | 326M|7108 | - |8432 | 762 | 0 | 0 | 0 |5529 | 0 | 0.000000e+00 | -- | Inf
668.10/668.11 c 661s| 1150k| 1148k| 0 | 0.0 | 328M|7108 | - |8432 | 750 | 0 | 0 | 0 |5549 | 0 | 0.000000e+00 | -- | Inf
674.60/674.68 c 668s| 1160k| 1158k| 0 | 0.0 | 331M|7108 | - |8432 | 772 | 0 | 0 | 0 |5599 | 0 | 0.000000e+00 | -- | Inf
680.30/680.30 c 673s| 1170k| 1168k| 0 | 0.0 | 334M|7108 | - |8432 | 778 | 0 | 0 | 0 |5659 | 0 | 0.000000e+00 | -- | Inf
686.91/686.96 c 680s| 1180k| 1178k| 0 | 0.0 | 336M|7112 | - |8432 | 764 | 0 | 0 | 0 |5699 | 0 | 0.000000e+00 | -- | Inf
692.31/692.38 c 685s| 1190k| 1188k| 0 | 0.0 | 339M|7147 | - |8432 | 763 | 0 | 0 | 0 |5729 | 0 | 0.000000e+00 | -- | Inf
698.51/698.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
698.51/698.60 c 691s| 1200k| 1198k| 0 | 0.0 | 342M|7147 | - |8432 | 779 | 0 | 0 | 0 |5779 | 0 | 0.000000e+00 | -- | Inf
704.31/704.35 c 697s| 1210k| 1208k| 0 | 0.0 | 344M|7147 | - |8432 | 782 | 0 | 0 | 0 |5829 | 0 | 0.000000e+00 | -- | Inf
710.71/710.74 c 703s| 1220k| 1218k| 0 | 0.0 | 347M|7147 | - |8432 | 783 | 0 | 0 | 0 |5889 | 0 | 0.000000e+00 | -- | Inf
716.60/716.60 c 709s| 1230k| 1228k| 0 | 0.0 | 350M|7147 | - |8432 | 768 | 0 | 0 | 0 |5919 | 0 | 0.000000e+00 | -- | Inf
722.51/722.59 c 715s| 1240k| 1238k| 0 | 0.0 | 352M|7147 | - |8432 | 756 | 0 | 0 | 0 |5979 | 0 | 0.000000e+00 | -- | Inf
728.51/728.54 c 721s| 1250k| 1248k| 0 | 0.0 | 355M|7147 | - |8432 | 761 | 0 | 0 | 0 |6009 | 0 | 0.000000e+00 | -- | Inf
734.60/734.64 c 727s| 1260k| 1258k| 0 | 0.0 | 358M|7159 | - |8432 | 768 | 0 | 0 | 0 |6049 | 0 | 0.000000e+00 | -- | Inf
740.91/740.99 c 733s| 1270k| 1268k| 0 | 0.0 | 360M|7159 | - |8432 | 782 | 0 | 0 | 0 |6089 | 0 | 0.000000e+00 | -- | Inf
746.92/746.93 c 739s| 1280k| 1278k| 0 | 0.0 | 363M|7159 | - |8432 | 764 | 0 | 0 | 0 |6129 | 0 | 0.000000e+00 | -- | Inf
753.31/753.32 c 746s| 1290k| 1288k| 0 | 0.0 | 365M|7159 | - |8432 | 763 | 0 | 0 | 0 |6149 | 0 | 0.000000e+00 | -- | Inf
759.51/759.51 c 752s| 1300k| 1298k| 0 | 0.0 | 368M|7159 | - |8432 | 771 | 0 | 0 | 0 |6209 | 0 | 0.000000e+00 | -- | Inf
766.01/766.02 c 758s| 1310k| 1308k| 0 | 0.0 | 371M|7159 | - |8432 | 777 | 0 | 0 | 0 |6239 | 0 | 0.000000e+00 | -- | Inf
771.61/771.63 c 764s| 1320k| 1318k| 0 | 0.0 | 373M|7159 | - |8432 | 794 | 0 | 0 | 0 |6299 | 0 | 0.000000e+00 | -- | Inf
778.21/778.29 c 770s| 1330k| 1328k| 0 | 0.0 | 376M|7159 | - |8432 | 779 | 0 | 0 | 0 |6319 | 0 | 0.000000e+00 | -- | Inf
784.21/784.22 c 776s| 1340k| 1338k| 0 | 0.0 | 379M|7159 | - |8432 | 789 | 0 | 0 | 0 |6379 | 0 | 0.000000e+00 | -- | Inf
791.10/791.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
791.10/791.11 c 783s| 1350k| 1348k| 0 | 0.0 | 381M|7159 | - |8432 | 768 | 0 | 0 | 0 |6419 | 0 | 0.000000e+00 | -- | Inf
796.21/796.26 c 788s| 1360k| 1358k| 0 | 0.0 | 384M|7159 | - |8432 | 747 | 0 | 0 | 0 |6439 | 0 | 0.000000e+00 | -- | Inf
802.80/802.89 c 795s| 1370k| 1368k| 0 | 0.0 | 387M|7159 | - |8432 | 776 | 0 | 0 | 0 |6499 | 0 | 0.000000e+00 | -- | Inf
808.01/808.09 c 800s| 1380k| 1378k| 0 | 0.0 | 389M|7159 | - |8432 | 780 | 0 | 0 | 0 |6529 | 0 | 0.000000e+00 | -- | Inf
814.51/814.57 c 806s| 1390k| 1388k| 0 | 0.0 | 392M|7159 | - |8432 | 807 | 0 | 0 | 0 |6589 | 0 | 0.000000e+00 | -- | Inf
820.10/820.18 c 812s| 1400k| 1398k| 0 | 0.0 | 395M|7159 | - |8432 | 784 | 0 | 0 | 0 |6609 | 0 | 0.000000e+00 | -- | Inf
826.71/826.74 c 818s| 1410k| 1408k| 0 | 0.0 | 397M|7159 | - |8432 | 804 | 0 | 0 | 0 |6689 | 0 | 0.000000e+00 | -- | Inf
832.31/832.38 c 824s| 1420k| 1418k| 0 | 0.0 | 400M|7159 | - |8432 | 798 | 0 | 0 | 0 |6719 | 0 | 0.000000e+00 | -- | Inf
838.81/838.80 c 830s| 1430k| 1428k| 0 | 0.0 | 403M|7159 | - |8432 | 804 | 0 | 0 | 0 |6789 | 0 | 0.000000e+00 | -- | Inf
844.21/844.28 c 836s| 1440k| 1438k| 0 | 0.0 | 405M|7159 | - |8432 | 784 | 0 | 0 | 0 |6809 | 0 | 0.000000e+00 | -- | Inf
850.70/850.74 c 842s| 1450k| 1448k| 0 | 0.0 | 408M|7159 | - |8432 | 821 | 0 | 0 | 0 |6889 | 0 | 0.000000e+00 | -- | Inf
856.51/856.51 c 848s| 1460k| 1458k| 0 | 0.0 | 411M|7159 | - |8432 | 802 | 0 | 0 | 0 |6919 | 0 | 0.000000e+00 | -- | Inf
862.81/862.84 c 854s| 1470k| 1468k| 0 | 0.0 | 413M|7159 | - |8432 | 816 | 0 | 0 | 0 |6979 | 0 | 0.000000e+00 | -- | Inf
868.71/868.72 c 860s| 1480k| 1478k| 0 | 0.0 | 416M|7159 | - |8432 | 807 | 0 | 0 | 0 |7009 | 0 | 0.000000e+00 | -- | Inf
874.71/874.77 c 866s| 1490k| 1488k| 0 | 0.0 | 419M|7159 | - |8432 | 862 | 0 | 0 | 0 |7129 | 0 | 0.000000e+00 | -- | Inf
880.61/880.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
880.61/880.68 c 872s| 1500k| 1498k| 0 | 0.0 | 421M|7159 | - |8432 | 819 | 0 | 0 | 0 |7169 | 0 | 0.000000e+00 | -- | Inf
886.91/886.95 c 878s| 1510k| 1508k| 0 | 0.0 | 424M|7159 | - |8432 | 819 | 0 | 0 | 0 |7259 | 0 | 0.000000e+00 | -- | Inf
892.91/892.99 c 884s| 1520k| 1518k| 0 | 0.0 | 426M|7159 | - |8432 | 823 | 0 | 0 | 0 |7299 | 0 | 0.000000e+00 | -- | Inf
899.21/899.24 c 890s| 1530k| 1528k| 0 | 0.0 | 429M|7159 | - |8432 | 842 | 0 | 0 | 0 |7379 | 0 | 0.000000e+00 | -- | Inf
905.32/905.31 c 896s| 1540k| 1538k| 0 | 0.0 | 432M|7159 | - |8432 | 828 | 0 | 0 | 0 |7419 | 0 | 0.000000e+00 | -- | Inf
911.61/911.66 c 902s| 1550k| 1548k| 0 | 0.0 | 435M|7159 | - |8432 | 832 | 0 | 0 | 0 |7499 | 0 | 0.000000e+00 | -- | Inf
917.62/917.64 c 908s| 1560k| 1558k| 0 | 0.0 | 437M|7159 | - |8432 | 813 | 0 | 0 | 0 |7529 | 0 | 0.000000e+00 | -- | Inf
923.72/923.74 c 914s| 1570k| 1568k| 0 | 0.0 | 440M|7159 | - |8432 | 835 | 0 | 0 | 0 |7609 | 0 | 0.000000e+00 | -- | Inf
929.91/929.90 c 920s| 1580k| 1578k| 0 | 0.0 | 442M|7159 | - |8432 | 821 | 0 | 0 | 0 |7639 | 0 | 0.000000e+00 | -- | Inf
935.62/935.68 c 926s| 1590k| 1588k| 0 | 0.0 | 445M|7159 | - |8432 | 806 | 0 | 0 | 0 |7679 | 0 | 0.000000e+00 | -- | Inf
942.11/942.12 c 933s| 1600k| 1598k| 0 | 0.0 | 448M|7159 | - |8432 | 811 | 0 | 0 | 0 |7709 | 0 | 0.000000e+00 | -- | Inf
948.61/948.69 c 939s| 1610k| 1608k| 0 | 0.0 | 450M|7159 | - |8432 | 818 | 0 | 0 | 0 |7789 | 0 | 0.000000e+00 | -- | Inf
954.61/954.63 c 945s| 1620k| 1618k| 0 | 0.0 | 453M|7159 | - |8432 | 809 | 0 | 0 | 0 |7809 | 0 | 0.000000e+00 | -- | Inf
960.01/960.04 c 950s| 1630k| 1628k| 0 | 0.0 | 456M|7159 | - |8432 | 819 | 0 | 0 | 0 |7849 | 0 | 0.000000e+00 | -- | Inf
966.12/966.19 c 956s| 1640k| 1638k| 0 | 0.0 | 458M|7159 | - |8432 | 827 | 0 | 0 | 0 |7879 | 0 | 0.000000e+00 | -- | Inf
971.91/971.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
971.91/971.98 c 962s| 1650k| 1648k| 0 | 0.0 | 461M|7159 | - |8432 | 822 | 0 | 0 | 0 |7919 | 0 | 0.000000e+00 | -- | Inf
977.92/978.00 c 968s| 1660k| 1658k| 0 | 0.0 | 464M|7159 | - |8432 | 827 | 0 | 0 | 0 |7949 | 0 | 0.000000e+00 | -- | Inf
983.61/983.66 c 974s| 1670k| 1668k| 0 | 0.0 | 466M|7159 | - |8432 | 828 | 0 | 0 | 0 |7989 | 0 | 0.000000e+00 | -- | Inf
990.02/990.10 c 980s| 1680k| 1678k| 0 | 0.0 | 469M|7159 | - |8432 | 850 | 0 | 0 | 0 |8029 | 0 | 0.000000e+00 | -- | Inf
996.12/996.18 c 986s| 1690k| 1688k| 0 | 0.0 | 472M|7159 | - |8432 | 869 | 0 | 0 | 0 |8119 | 0 | 0.000000e+00 | -- | Inf
1002.31/1002.38 c 992s| 1700k| 1698k| 0 | 0.0 | 474M|7159 | - |8432 | 843 | 0 | 0 | 0 |8139 | 0 | 0.000000e+00 | -- | Inf
1009.11/1009.10 c 999s| 1710k| 1708k| 0 | 0.0 | 477M|7159 | - |8432 | 860 | 0 | 0 | 0 |8219 | 0 | 0.000000e+00 | -- | Inf
1015.02/1015.02 c 1005s| 1720k| 1718k| 0 | 0.0 | 480M|7159 | - |8432 | 877 | 0 | 0 | 0 |8279 | 0 | 0.000000e+00 | -- | Inf
1020.51/1020.55 c 1010s| 1730k| 1728k| 0 | 0.0 | 482M|7159 | - |8432 | 868 | 0 | 0 | 0 |8339 | 0 | 0.000000e+00 | -- | Inf
1026.52/1026.57 c 1016s| 1740k| 1738k| 0 | 0.0 | 485M|7159 | - |8432 | 878 | 0 | 0 | 0 |8369 | 0 | 0.000000e+00 | -- | Inf
1032.52/1032.56 c 1022s| 1750k| 1748k| 0 | 0.0 | 488M|7159 | - |8432 | 889 | 0 | 0 | 0 |8429 | 0 | 0.000000e+00 | -- | Inf
1038.52/1038.56 c 1028s| 1760k| 1758k| 0 | 0.0 | 490M|7159 | - |8432 | 891 | 0 | 0 | 0 |8479 | 0 | 0.000000e+00 | -- | Inf
1044.62/1044.60 c 1034s| 1770k| 1768k| 0 | 0.0 | 493M|7159 | - |8432 | 876 | 0 | 0 | 0 |8539 | 0 | 0.000000e+00 | -- | Inf
1050.42/1050.45 c 1040s| 1780k| 1778k| 0 | 0.0 | 496M|7159 | - |8432 | 866 | 0 | 0 | 0 |8559 | 0 | 0.000000e+00 | -- | Inf
1057.51/1057.58 c 1047s| 1790k| 1788k| 0 | 0.0 | 498M|7159 | - |8432 | 887 | 0 | 0 | 0 |8649 | 0 | 0.000000e+00 | -- | Inf
1063.12/1063.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1063.12/1063.12 c 1052s| 1800k| 1798k| 0 | 0.0 | 501M|7159 | - |8432 | 869 | 0 | 0 | 0 |8679 | 0 | 0.000000e+00 | -- | Inf
1069.62/1069.67 c 1059s| 1810k| 1808k| 0 | 0.0 | 504M|7159 | - |8432 | 883 | 0 | 0 | 0 |8759 | 0 | 0.000000e+00 | -- | Inf
1075.31/1075.37 c 1064s| 1820k| 1818k| 0 | 0.0 | 506M|7159 | - |8432 | 869 | 0 | 0 | 0 |8779 | 0 | 0.000000e+00 | -- | Inf
1081.62/1081.63 c 1071s| 1830k| 1828k| 0 | 0.0 | 509M|7159 | - |8432 | 886 | 0 | 0 | 0 |8859 | 0 | 0.000000e+00 | -- | Inf
1087.02/1087.08 c 1076s| 1840k| 1838k| 0 | 0.0 | 511M|7159 | - |8432 | 858 | 0 | 0 | 0 |8879 | 0 | 0.000000e+00 | -- | Inf
1092.82/1092.89 c 1082s| 1850k| 1848k| 0 | 0.0 | 514M|7159 | - |8432 | 860 | 0 | 0 | 0 |8919 | 0 | 0.000000e+00 | -- | Inf
1098.01/1098.08 c 1087s| 1860k| 1858k| 0 | 0.0 | 517M|7159 | - |8432 | 852 | 0 | 0 | 0 |8939 | 0 | 0.000000e+00 | -- | Inf
1104.71/1104.74 c 1093s| 1870k| 1868k| 0 | 0.0 | 520M|7159 | - |8432 | 882 | 0 | 0 | 0 |9009 | 0 | 0.000000e+00 | -- | Inf
1110.02/1110.01 c 1099s| 1880k| 1878k| 0 | 0.0 | 522M|7159 | - |8432 | 858 | 0 | 0 | 0 |9039 | 0 | 0.000000e+00 | -- | Inf
1116.22/1116.29 c 1105s| 1890k| 1888k| 0 | 0.0 | 525M|7159 | - |8432 | 872 | 0 | 0 | 0 |9099 | 0 | 0.000000e+00 | -- | Inf
1121.62/1121.67 c 1110s| 1900k| 1898k| 0 | 0.0 | 527M|7159 | - |8432 | 861 | 0 | 0 | 0 |9149 | 0 | 0.000000e+00 | -- | Inf
1127.72/1127.75 c 1116s| 1910k| 1908k| 0 | 0.0 | 530M|7159 | - |8432 | 862 | 0 | 0 | 0 |9179 | 0 | 0.000000e+00 | -- | Inf
1133.42/1133.44 c 1122s| 1920k| 1918k| 0 | 0.0 | 533M|7159 | - |8432 | 859 | 0 | 0 | 0 |9239 | 0 | 0.000000e+00 | -- | Inf
1139.52/1139.52 c 1128s| 1930k| 1928k| 0 | 0.0 | 535M|7159 | - |8432 | 855 | 0 | 0 | 0 |9269 | 0 | 0.000000e+00 | -- | Inf
1145.02/1145.06 c 1133s| 1940k| 1938k| 0 | 0.0 | 538M|7159 | - |8432 | 844 | 0 | 0 | 0 |9309 | 0 | 0.000000e+00 | -- | Inf
1151.11/1151.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1151.11/1151.18 c 1139s| 1950k| 1948k| 0 | 0.0 | 541M|7159 | - |8432 | 870 | 0 | 0 | 0 |9359 | 0 | 0.000000e+00 | -- | Inf
1157.02/1157.01 c 1145s| 1960k| 1958k| 0 | 0.0 | 543M|7159 | - |8432 | 882 | 0 | 0 | 0 |9439 | 0 | 0.000000e+00 | -- | Inf
1162.92/1162.90 c 1151s| 1970k| 1968k| 0 | 0.0 | 546M|7159 | - |8432 | 877 | 0 | 0 | 0 |9489 | 0 | 0.000000e+00 | -- | Inf
1168.62/1168.65 c 1157s| 1980k| 1978k| 0 | 0.0 | 549M|7159 | - |8432 | 853 | 0 | 0 | 0 |9539 | 0 | 0.000000e+00 | -- | Inf
1174.22/1174.21 c 1162s| 1990k| 1988k| 0 | 0.0 | 551M|7159 | - |8432 | 871 | 0 | 0 | 0 |9579 | 0 | 0.000000e+00 | -- | Inf
1179.72/1179.75 c 1168s| 2000k| 1998k| 0 | 0.0 | 554M|7159 | - |8432 | 886 | 0 | 0 | 0 |9639 | 0 | 0.000000e+00 | -- | Inf
1185.42/1185.46 c 1173s| 2010k| 2008k| 0 | 0.0 | 557M|7159 | - |8432 | 873 | 0 | 0 | 0 |9669 | 0 | 0.000000e+00 | -- | Inf
1191.52/1191.53 c 1179s| 2020k| 2018k| 0 | 0.0 | 559M|7159 | - |8432 | 872 | 0 | 0 | 0 |9719 | 0 | 0.000000e+00 | -- | Inf
1196.72/1196.70 c 1184s| 2030k| 2028k| 0 | 0.0 | 562M|7159 | - |8432 | 863 | 0 | 0 | 0 |9739 | 0 | 0.000000e+00 | -- | Inf
1203.22/1203.20 c 1191s| 2040k| 2038k| 0 | 0.0 | 565M|7159 | - |8432 | 875 | 0 | 0 | 0 |9799 | 0 | 0.000000e+00 | -- | Inf
1208.53/1208.57 c 1196s| 2050k| 2048k| 0 | 0.0 | 567M|7159 | - |8432 | 848 | 0 | 0 | 0 |9829 | 0 | 0.000000e+00 | -- | Inf
1214.82/1214.87 c 1202s| 2060k| 2058k| 0 | 0.0 | 570M|7159 | - |8432 | 857 | 0 | 0 | 0 |9879 | 0 | 0.000000e+00 | -- | Inf
1220.32/1220.33 c 1208s| 2070k| 2067k| 0 | 0.0 | 573M|7159 | - |8432 | 870 | 0 | 0 | 0 |9939 | 0 | 0.000000e+00 | -- | Inf
1226.62/1226.69 c 1214s| 2080k| 2077k| 0 | 0.0 | 575M|7159 | - |8432 | 865 | 0 | 0 | 0 |9959 | 0 | 0.000000e+00 | -- | Inf
1232.52/1232.56 c 1220s| 2090k| 2087k| 0 | 0.0 | 578M|7159 | - |8432 | 861 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1238.22/1238.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1238.22/1238.26 c 1226s| 2100k| 2097k| 0 | 0.0 | 581M|7159 | - |8432 | 862 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1244.13/1244.19 c 1231s| 2110k| 2107k| 0 | 0.0 | 583M|7159 | - |8432 | 876 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1249.93/1249.90 c 1237s| 2120k| 2117k| 0 | 0.0 | 586M|7159 | - |8432 | 868 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1256.03/1256.07 c 1243s| 2130k| 2127k| 0 | 0.0 | 589M|7159 | - |8432 | 893 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1261.63/1261.61 c 1249s| 2140k| 2137k| 0 | 0.0 | 591M|7159 | - |8432 | 878 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1267.62/1267.69 c 1255s| 2150k| 2147k| 0 | 0.0 | 594M|7159 | - |8432 | 881 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1273.63/1273.63 c 1261s| 2160k| 2157k| 0 | 0.0 | 597M|7159 | - |8432 | 896 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1279.82/1279.80 c 1267s| 2170k| 2167k| 0 | 0.0 | 599M|7159 | - |8432 | 862 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1285.52/1285.55 c 1272s| 2180k| 2177k| 0 | 0.0 | 602M|7159 | - |8432 | 895 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1291.42/1291.48 c 1278s| 2190k| 2187k| 0 | 0.0 | 605M|7159 | - |8432 | 869 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1297.22/1297.22 c 1284s| 2200k| 2197k| 0 | 0.0 | 607M|7159 | - |8432 | 857 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1303.12/1303.19 c 1290s| 2210k| 2207k| 0 | 0.0 | 610M|7159 | - |8432 | 872 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1309.42/1309.45 c 1296s| 2220k| 2217k| 0 | 0.0 | 613M|7159 | - |8432 | 843 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1315.02/1315.06 c 1302s| 2230k| 2227k| 0 | 0.0 | 615M|7159 | - |8432 | 825 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1321.63/1321.66 c 1308s| 2240k| 2237k| 0 | 0.0 | 618M|7159 | - |8432 | 843 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1326.73/1326.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1326.73/1326.76 c 1313s| 2250k| 2247k| 0 | 0.0 | 621M|7159 | - |8432 | 827 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1333.12/1333.15 c 1319s| 2260k| 2257k| 0 | 0.0 | 623M|7159 | - |8432 | 820 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1338.93/1338.96 c 1325s| 2270k| 2267k| 0 | 0.0 | 626M|7159 | - |8432 | 823 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1345.33/1345.31 c 1331s| 2280k| 2277k| 0 | 0.0 | 629M|7159 | - |8432 | 823 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1350.63/1350.69 c 1337s| 2290k| 2287k| 0 | 0.0 | 631M|7159 | - |8432 | 825 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1356.22/1356.22 c 1342s| 2300k| 2297k| 0 | 0.0 | 634M|7159 | - |8432 | 832 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1362.12/1362.16 c 1348s| 2310k| 2307k| 0 | 0.0 | 637M|7159 | - |8432 | 829 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1367.62/1367.65 c 1354s| 2320k| 2317k| 0 | 0.0 | 639M|7159 | - |8432 | 835 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1373.83/1373.82 c 1360s| 2330k| 2327k| 0 | 0.0 | 642M|7159 | - |8432 | 823 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1379.32/1379.38 c 1365s| 2340k| 2337k| 0 | 0.0 | 645M|7159 | - |8432 | 845 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1385.32/1385.35 c 1371s| 2350k| 2347k| 0 | 0.0 | 647M|7159 | - |8432 | 824 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1391.02/1391.05 c 1377s| 2360k| 2357k| 0 | 0.0 | 650M|7159 | - |8432 | 814 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1396.83/1396.89 c 1382s| 2370k| 2367k| 0 | 0.0 | 653M|7159 | - |8432 | 813 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1402.92/1402.98 c 1388s| 2380k| 2377k| 0 | 0.0 | 655M|7159 | - |8432 | 818 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1408.43/1408.44 c 1394s| 2390k| 2387k| 0 | 0.0 | 658M|7159 | - |8432 | 804 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1414.53/1414.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1414.53/1414.60 c 1400s| 2400k| 2397k| 0 | 0.0 | 661M|7159 | - |8432 | 819 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1420.43/1420.42 c 1406s| 2410k| 2407k| 0 | 0.0 | 664M|7159 | - |8432 | 808 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1426.32/1426.30 c 1412s| 2420k| 2417k| 0 | 0.0 | 666M|7159 | - |8432 | 834 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1432.53/1432.56 c 1418s| 2430k| 2427k| 0 | 0.0 | 669M|7159 | - |8432 | 841 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1438.13/1438.18 c 1423s| 2440k| 2437k| 0 | 0.0 | 671M|7159 | - |8432 | 836 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1443.93/1443.94 c 1429s| 2450k| 2447k| 0 | 0.0 | 674M|7159 | - |8432 | 813 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1449.33/1449.33 c 1434s| 2460k| 2457k| 0 | 0.0 | 677M|7159 | - |8432 | 796 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1455.34/1455.34 c 1440s| 2470k| 2467k| 0 | 0.0 | 679M|7159 | - |8432 | 812 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1460.73/1460.71 c 1446s| 2480k| 2477k| 0 | 0.0 | 682M|7159 | - |8432 | 817 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1466.83/1466.84 c 1452s| 2490k| 2487k| 0 | 0.0 | 685M|7159 | - |8432 | 808 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1472.53/1472.54 c 1457s| 2500k| 2497k| 0 | 0.0 | 688M|7159 | - |8432 | 803 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1478.33/1478.37 c 1463s| 2510k| 2507k| 0 | 0.0 | 690M|7159 | - |8432 | 810 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1484.23/1484.27 c 1469s| 2520k| 2517k| 0 | 0.0 | 693M|7159 | - |8432 | 816 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1489.53/1489.55 c 1474s| 2530k| 2527k| 0 | 0.0 | 695M|7159 | - |8432 | 797 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1495.93/1495.91 c 1480s| 2540k| 2537k| 0 | 0.0 | 698M|7159 | - |8432 | 783 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1501.13/1501.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1501.13/1501.18 c 1486s| 2550k| 2547k| 0 | 0.0 | 701M|7159 | - |8432 | 772 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1508.13/1508.15 c 1493s| 2560k| 2557k| 0 | 0.0 | 704M|7159 | - |8432 | 776 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1513.43/1513.44 c 1498s| 2570k| 2567k| 0 | 0.0 | 706M|7159 | - |8432 | 790 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1519.43/1519.40 c 1504s| 2580k| 2577k| 0 | 0.0 | 709M|7159 | - |8432 | 765 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1525.13/1525.10 c 1509s| 2590k| 2587k| 0 | 0.0 | 712M|7159 | - |8432 | 768 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1530.43/1530.47 c 1515s| 2600k| 2597k| 0 | 0.0 | 714M|7159 | - |8432 | 776 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1536.33/1536.31 c 1520s| 2610k| 2607k| 0 | 0.0 | 717M|7159 | - |8432 | 802 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1541.53/1541.52 c 1526s| 2620k| 2617k| 0 | 0.0 | 719M|7159 | - |8432 | 803 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1547.63/1547.67 c 1532s| 2630k| 2627k| 0 | 0.0 | 722M|7159 | - |8432 | 810 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1553.13/1553.12 c 1537s| 2640k| 2637k| 0 | 0.0 | 725M|7159 | - |8432 | 797 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1559.13/1559.18 c 1543s| 2650k| 2647k| 0 | 0.0 | 728M|7159 | - |8432 | 791 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1564.73/1564.71 c 1548s| 2660k| 2657k| 0 | 0.0 | 730M|7159 | - |8432 | 788 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1570.63/1570.61 c 1554s| 2670k| 2667k| 0 | 0.0 | 733M|7159 | - |8432 | 802 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1575.93/1575.98 c 1560s| 2680k| 2677k| 0 | 0.0 | 735M|7159 | - |8432 | 795 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1581.63/1581.67 c 1565s| 2690k| 2687k| 0 | 0.0 | 738M|7159 | - |8432 | 797 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1588.04/1588.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1588.04/1588.04 c 1572s| 2700k| 2697k| 0 | 0.0 | 741M|7159 | - |8432 | 801 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1593.43/1593.46 c 1577s| 2710k| 2707k| 0 | 0.0 | 744M|7159 | - |8432 | 800 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1599.23/1599.26 c 1583s| 2720k| 2717k| 0 | 0.0 | 746M|7159 | - |8432 | 787 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1604.94/1604.98 c 1588s| 2730k| 2727k| 0 | 0.0 | 749M|7159 | - |8432 | 774 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1610.33/1610.40 c 1594s| 2740k| 2737k| 0 | 0.0 | 752M|7159 | - |8432 | 781 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1616.23/1616.24 c 1599s| 2750k| 2747k| 0 | 0.0 | 754M|7159 | - |8432 | 790 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1621.73/1621.74 c 1605s| 2760k| 2757k| 0 | 0.0 | 757M|7159 | - |8432 | 795 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1627.43/1627.45 c 1611s| 2770k| 2767k| 0 | 0.0 | 760M|7159 | - |8432 | 760 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1633.04/1633.07 c 1616s| 2780k| 2777k| 0 | 0.0 | 762M|7159 | - |8432 | 783 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1638.04/1638.07 c 1621s| 2790k| 2787k| 0 | 0.0 | 765M|7159 | - |8432 | 777 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1644.04/1644.07 c 1627s| 2800k| 2797k| 0 | 0.0 | 768M|7159 | - |8432 | 768 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1649.33/1649.31 c 1632s| 2810k| 2807k| 0 | 0.0 | 770M|7159 | - |8432 | 746 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1654.34/1654.34 c 1637s| 2820k| 2817k| 0 | 0.0 | 773M|7159 | - |8432 | 751 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1660.24/1660.29 c 1643s| 2830k| 2827k| 0 | 0.0 | 776M|7159 | - |8432 | 771 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1665.54/1665.55 c 1648s| 2840k| 2837k| 0 | 0.0 | 778M|7159 | - |8432 | 770 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1670.83/1670.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1670.83/1670.83 c 1653s| 2850k| 2847k| 0 | 0.0 | 781M|7159 | - |8432 | 760 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1677.14/1677.18 c 1660s| 2860k| 2857k| 0 | 0.0 | 784M|7159 | - |8432 | 790 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1682.74/1682.74 c 1665s| 2870k| 2867k| 0 | 0.0 | 787M|7159 | - |8432 | 783 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1688.14/1688.15 c 1671s| 2880k| 2877k| 0 | 0.0 | 789M|7159 | - |8432 | 765 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1693.73/1693.74 c 1676s| 2890k| 2887k| 0 | 0.0 | 792M|7159 | - |8432 | 798 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1699.24/1699.22 c 1682s| 2900k| 2897k| 0 | 0.0 | 795M|7159 | - |8432 | 778 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1704.64/1704.68 c 1687s| 2910k| 2907k| 0 | 0.0 | 797M|7159 | - |8432 | 758 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1710.64/1710.64 c 1693s| 2920k| 2917k| 0 | 0.0 | 800M|7159 | - |8432 | 766 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1715.84/1715.82 c 1698s| 2930k| 2927k| 0 | 0.0 | 803M|7159 | - |8432 | 772 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1721.54/1721.51 c 1704s| 2940k| 2937k| 0 | 0.0 | 805M|7159 | - |8432 | 741 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1727.33/1727.39 c 1709s| 2950k| 2947k| 0 | 0.0 | 808M|7159 | - |8432 | 745 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1732.74/1732.80 c 1715s| 2960k| 2957k| 0 | 0.0 | 811M|7159 | - |8432 | 752 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1738.54/1738.58 c 1720s| 2970k| 2967k| 0 | 0.0 | 813M|7159 | - |8432 | 737 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1744.74/1744.72 c 1727s| 2980k| 2977k| 0 | 0.0 | 816M|7159 | - |8432 | 748 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1749.84/1749.80 c 1732s| 2990k| 2987k| 0 | 0.0 | 819M|7159 | - |8432 | 752 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1755.54/1755.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1755.54/1755.58 c 1737s| 3000k| 2997k| 0 | 0.0 | 822M|7159 | - |8432 | 757 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1761.15/1761.17 c 1743s| 3010k| 3007k| 0 | 0.0 | 824M|7159 | - |8432 | 765 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1766.14/1766.17 c 1748s| 3020k| 3017k| 0 | 0.0 | 827M|7159 | - |8432 | 759 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1772.04/1772.07 c 1754s| 3030k| 3027k| 0 | 0.0 | 830M|7159 | - |8432 | 748 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1778.14/1778.12 c 1760s| 3040k| 3037k| 0 | 0.0 | 832M|7159 | - |8432 | 792 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1783.04/1783.06 c 1764s| 3050k| 3046k| 0 | 0.0 | 835M|7159 | - |8432 | 759 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1789.04/1789.00 c 1770s| 3060k| 3056k| 0 | 0.0 | 838M|7159 | - |8432 | 766 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1794.64/1794.67 c 1776s| 3070k| 3066k| 0 | 0.0 | 840M|7159 | - |8432 | 778 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | 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) : 1781.22
1800.04/1800.00 c Solving Nodes : 3079834
1800.04/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 s UNKNOWN
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1781.22
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693825-1277894717.wbo
1800.04/1800.00 c Variables : 8432 (8311 binary, 0 integer, 0 implicit integer, 121 continuous)
1800.04/1800.00 c Constraints : 303 initial, 303 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693825-1277894717.wbo
1800.04/1800.00 c Variables : 8432 (8311 binary, 0 integer, 0 implicit integer, 121 continuous)
1800.04/1800.00 c Constraints : 302 initial, 921 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.06 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.01 0 0 0 121 0 1 0 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 121 0 327 0 121 0 121 0 0 0
1800.04/1800.00 c setppc : 28 0 3115688 0 3054611 354 303504 0 0 0
1800.04/1800.00 c linear : 121 0 3143044 0 3078330 971 422103 0 0 0
1800.04/1800.00 c logicor : 32+ 0 133116 0 3078330 190 15240 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 3078330 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c setppc : 138.63 0.00 21.55 0.00 117.08
1800.04/1800.00 c linear : 86.37 0.00 84.59 0.00 1.78
1800.04/1800.00 c logicor : 114.95 0.00 14.44 0.00 100.51
1800.04/1800.00 c countsols : 0.58 0.00 0.00 0.00 0.58
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 1.05 2 0 0
1800.04/1800.00 c rootredcost : 0.84 0 0 0
1800.04/1800.00 c pseudoobj : 12.41 3143207 0 0
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 99.72 1515 1515 65152 1360.3 58014 77.6 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 15108 83.8 - - -
1800.04/1800.00 c applied locally : - - - 1 966.0 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.00 c redcost : 0.00 0 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.00 c cmir : 0.00 0 0 0 0 0
1800.04/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.00 c clique : 0.00 0 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 1374.18 3078330 0 0 0 0 6156660
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c oneopt : 0.82 0 0
1800.04/1800.00 c trivial : 0.01 2 0
1800.04/1800.00 c simplerounding : 0.00 0 0
1800.04/1800.00 c zirounding : 0.00 0 0
1800.04/1800.00 c rounding : 0.00 0 0
1800.04/1800.00 c shifting : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c coefdiving : 0.00 0 0
1800.04/1800.00 c pscostdiving : 0.00 0 0
1800.04/1800.00 c fracdiving : 0.00 0 0
1800.04/1800.00 c veclendiving : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 0.00 0 0
1800.04/1800.00 c rootsoldiving : 0.00 0 0
1800.04/1800.00 c linesearchdiving : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c nlp : 1.11 0 0
1800.04/1800.00 c trysol : 0.65 1 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.00 c (at root node) : - 0 0 0.00 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 3079834
1800.04/1800.00 c nodes (total) : 3079834
1800.04/1800.00 c nodes left : 3076795
1800.04/1800.00 c max depth : 7159
1800.04/1800.00 c max depth (total): 7159
1800.04/1800.00 c backtracks : 549 (0.0%)
1800.04/1800.00 c delayed cutoffs : 32
1800.04/1800.00 c repropagations : 1579 (1892 domain reductions, 11 cutoffs)
1800.04/1800.00 c avg switch length: 2.27
1800.04/1800.00 c switching time : 13.51
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 0 (0 improvements)
1800.04/1800.00 c Primal Bound : -
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693825-1277894717/watcher-2693825-1277894717 -o /tmp/evaluation-result-2693825-1277894717/solver-2693825-1277894717 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693825-1277894717.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 2.00 2.00 4/196 15636
/proc/meminfo: memFree=30818148/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=9176 CPUtime=0
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 1783 0 0 0 0 0 0 0 25 0 1 0 130766833 9396224 1706 4089446400 4194304 7136930 140734853420080 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15636/statm: 2294 1706 275 719 0 1573 0
[startup+0.102165 s]
/proc/loadavg: 1.99 2.00 2.00 4/196 15636
/proc/meminfo: memFree=30818148/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=31432 CPUtime=0.09
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 8850 0 0 0 9 0 0 0 25 0 1 0 130766833 32186368 7134 4089446400 4194304 7136930 140734853420080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15636/statm: 7858 7134 370 719 0 7137 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31432
[startup+0.201171 s]
/proc/loadavg: 1.99 2.00 2.00 4/196 15636
/proc/meminfo: memFree=30818148/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=33016 CPUtime=0.19
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 9263 0 0 0 19 0 0 0 18 0 1 0 130766833 33808384 7477 4089446400 4194304 7136930 140734853420080 18446744073709551615 4407837 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15636/statm: 8254 7477 390 719 0 7533 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 33016
[startup+0.301132 s]
/proc/loadavg: 1.99 2.00 2.00 4/196 15636
/proc/meminfo: memFree=30818148/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=33016 CPUtime=0.29
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 9263 0 0 0 28 1 0 0 18 0 1 0 130766833 33808384 7477 4089446400 4194304 7136930 140734853420080 18446744073709551615 4407795 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15636/statm: 8254 7477 390 719 0 7533 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33016
[startup+0.701057 s]
/proc/loadavg: 1.99 2.00 2.00 4/196 15636
/proc/meminfo: memFree=30818148/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=33160 CPUtime=0.69
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 9269 0 0 0 68 1 0 0 18 0 1 0 130766833 33955840 7483 4089446400 4194304 7136930 140734853420080 18446744073709551615 4643289 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15636/statm: 8290 7483 390 719 0 7569 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33160
[startup+1.50092 s]
/proc/loadavg: 1.99 2.00 2.00 3/197 15637
/proc/meminfo: memFree=30788888/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=34320 CPUtime=1.49
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 9575 0 0 0 147 2 0 0 19 0 1 0 130766833 35143680 7789 4089446400 4194304 7136930 140734853420080 18446744073709551615 5892349 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15636/statm: 8580 7789 390 719 0 7859 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34320
[startup+3.10062 s]
/proc/loadavg: 1.99 2.00 2.00 3/197 15637
/proc/meminfo: memFree=30788392/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=36660 CPUtime=3.09
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 10155 0 0 0 305 4 0 0 24 0 1 0 130766833 37539840 8369 4089446400 4194304 7136930 140734853420080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15636/statm: 9165 8369 390 719 0 8444 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36660
[startup+6.30103 s]
/proc/loadavg: 1.99 2.00 2.00 4/197 15637
/proc/meminfo: memFree=30785288/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=38972 CPUtime=6.29
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 10792 0 0 0 621 8 0 0 25 0 1 0 130766833 39907328 9005 4089446400 4194304 7136930 140734853420080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15636/statm: 9743 9005 394 719 0 9022 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38972
[startup+12.7009 s]
/proc/loadavg: 1.99 2.00 2.00 3/197 15637
/proc/meminfo: memFree=30777740/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=45728 CPUtime=12.69
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 12524 0 0 0 1252 17 0 0 25 0 1 0 130766833 46825472 10737 4089446400 4194304 7136930 140734853420080 18446744073709551615 5892349 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15636/statm: 11432 10737 394 719 0 10711 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45728
[startup+25.5005 s]
/proc/loadavg: 1.99 2.00 2.00 3/197 15637
/proc/meminfo: memFree=30767592/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=56408 CPUtime=25.49
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 15295 0 0 0 2513 36 0 0 25 0 1 0 130766833 57761792 13508 4089446400 4194304 7136930 140734853420080 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15636/statm: 14102 13508 394 719 0 13381 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56408
[startup+51.1008 s]
/proc/loadavg: 1.99 2.00 2.00 3/197 15639
/proc/meminfo: memFree=30750936/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=74560 CPUtime=51.09
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 19505 0 0 0 5044 65 0 0 25 0 1 0 130766833 76349440 17718 4089446400 4194304 7136930 140734853420080 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15636/statm: 18640 17718 394 719 0 17919 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 74560
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/197 15639
/proc/meminfo: memFree=30719364/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=107516 CPUtime=102.29
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 27086 0 0 0 10112 117 0 0 25 0 1 0 130766833 110096384 25299 4089446400 4194304 7136930 140734853420080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15636/statm: 26879 25299 394 719 0 26158 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 107516
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/197 15641
/proc/meminfo: memFree=30679472/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=146456 CPUtime=162.3
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 37123 0 0 0 16048 182 0 0 25 0 1 0 130766833 149970944 35329 4089446400 4194304 7136930 140734853420080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/15636/statm: 36614 35329 394 719 0 35893 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 146456
[startup+222.306 s]
/proc/loadavg: 1.91 1.98 1.99 5/197 15691
/proc/meminfo: memFree=30841464/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=182432 CPUtime=222.3
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 46418 0 0 0 21986 244 0 0 25 0 1 0 130766833 186810368 44624 4089446400 4194304 7136930 140734853420080 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/15636/statm: 45608 44624 394 719 0 44887 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 182432
[startup+282.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/197 15693
/proc/meminfo: memFree=30629408/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=224200 CPUtime=282.29
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 55015 0 0 0 27924 305 0 0 25 0 1 0 130766833 229580800 53221 4089446400 4194304 7136930 140734853420080 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15636/statm: 56050 53221 394 719 0 55329 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 224200
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 15694
/proc/meminfo: memFree=30576412/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=253516 CPUtime=342.29
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 62672 0 0 0 33859 370 0 0 25 0 1 0 130766833 259600384 60878 4089446400 4194304 7136930 140734853420080 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15636/statm: 63379 60878 394 719 0 62658 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 253516
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 15695
/proc/meminfo: memFree=30534192/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=282808 CPUtime=402.3
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 70258 0 0 0 39799 431 0 0 25 0 1 0 130766833 289595392 68464 4089446400 4194304 7136930 140734853420080 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15636/statm: 70702 68464 394 719 0 69981 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 282808
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 15697
/proc/meminfo: memFree=30490608/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=311268 CPUtime=462.29
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 77738 0 0 0 45743 486 0 0 25 0 1 0 130766833 318738432 75944 4089446400 4194304 7136930 140734853420080 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15636/statm: 77817 75944 394 719 0 77096 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 311268
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 15699
/proc/meminfo: memFree=30451728/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=339684 CPUtime=522.3
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 85098 0 0 0 51684 546 0 0 25 0 1 0 130766833 347836416 83304 4089446400 4194304 7136930 140734853420080 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15636/statm: 84921 83304 394 719 0 84200 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 339684
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 15701
/proc/meminfo: memFree=30408144/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=386624 CPUtime=582.3
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 92964 0 0 0 57627 603 0 0 25 0 1 0 130766833 395902976 91170 4089446400 4194304 7136930 140734853420080 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15636/statm: 96656 91170 394 719 0 95935 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 386624
[startup+642.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/197 15702
/proc/meminfo: memFree=30374100/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=414596 CPUtime=642.31
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 100246 0 0 0 63567 664 0 0 25 0 1 0 130766833 424546304 98452 4089446400 4194304 7136930 140734853420080 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15636/statm: 103649 98452 394 719 0 102928 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 414596
[startup+702.301 s]
################
# More data... #
################
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 154066 0 0 0 105148 1084 0 0 25 0 1 0 130766833 636891136 152272 4089446400 4194304 7136930 140734853420080 18446744073709551615 4697665 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15636/statm: 155491 152272 394 719 0 154770 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 621964
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 15724
/proc/meminfo: memFree=30081488/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=651884 CPUtime=1122.31
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 161778 0 0 0 111083 1148 0 0 25 0 1 0 130766833 667529216 159984 4089446400 4194304 7136930 140734853420080 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15636/statm: 162971 159984 394 719 0 162250 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 651884
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 15726
/proc/meminfo: memFree=30044352/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=680888 CPUtime=1182.32
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 169367 0 0 0 117023 1209 0 0 25 0 1 0 130766833 697229312 167573 4089446400 4194304 7136930 140734853420080 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15636/statm: 170222 167573 394 719 0 169501 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 680888
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 15727
/proc/meminfo: memFree=30014160/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=741668 CPUtime=1242.32
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 176706 0 0 0 122962 1270 0 0 25 0 1 0 130766833 759468032 174912 4089446400 4194304 7136930 140734853420080 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15636/statm: 185417 174912 394 719 0 184696 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 741668
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 15728
/proc/meminfo: memFree=29984960/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=770320 CPUtime=1302.32
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 184137 0 0 0 128897 1335 0 0 25 0 1 0 130766833 788807680 182343 4089446400 4194304 7136930 140734853420080 18446744073709551615 4697651 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15636/statm: 192580 182343 394 719 0 191859 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 770320
[startup+1362.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/197 15730
/proc/meminfo: memFree=29949556/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=798880 CPUtime=1362.32
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 191551 0 0 0 134827 1405 0 0 25 0 1 0 130766833 818053120 189757 4089446400 4194304 7136930 140734853420080 18446744073709551615 4407949 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15636/statm: 199720 189757 394 719 0 198999 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 798880
[startup+1422.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/197 15732
/proc/meminfo: memFree=29919600/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=827072 CPUtime=1422.34
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 198982 0 0 0 140761 1473 0 0 25 0 1 0 130766833 846921728 197188 4089446400 4194304 7136930 140734853420080 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15636/statm: 206768 197188 394 719 0 206047 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 827072
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/197 15734
/proc/meminfo: memFree=29889404/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=856028 CPUtime=1482.32
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 206543 0 0 0 146696 1536 0 0 25 0 1 0 130766833 876572672 204749 4089446400 4194304 7136930 140734853420080 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15636/statm: 214007 204749 394 719 0 213286 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 856028
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 15735
/proc/meminfo: memFree=29857832/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=885728 CPUtime=1542.34
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 214251 0 0 0 152634 1600 0 0 25 0 1 0 130766833 906985472 212457 4089446400 4194304 7136930 140734853420080 18446744073709551615 4207151 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15636/statm: 221432 212457 394 719 0 220711 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 885728
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 15736
/proc/meminfo: memFree=29828628/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=913592 CPUtime=1602.34
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 221563 0 0 0 158568 1666 0 0 25 0 1 0 130766833 935518208 219769 4089446400 4194304 7136930 140734853420080 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15636/statm: 228398 219769 394 719 0 227677 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 913592
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 15738
/proc/meminfo: memFree=29790748/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=945396 CPUtime=1662.34
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 229895 0 0 0 164499 1735 0 0 25 0 1 0 130766833 968085504 228101 4089446400 4194304 7136930 140734853420080 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15636/statm: 236349 228101 394 719 0 235628 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 945396
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 15740
/proc/meminfo: memFree=29757564/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=976972 CPUtime=1722.34
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 238157 0 0 0 170435 1799 0 0 25 0 1 0 130766833 1000419328 236363 4089446400 4194304 7136930 140734853420080 18446744073709551615 5909042 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15636/statm: 244243 236363 394 719 0 243522 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 976972
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 15742
/proc/meminfo: memFree=29724388/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=1006872 CPUtime=1782.34
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 245989 0 0 0 176371 1863 0 0 25 0 1 0 130766833 1031036928 244195 4089446400 4194304 7136930 140734853420080 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15636/statm: 251718 244195 394 719 0 250997 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1006872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 15742
/proc/meminfo: memFree=29715452/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=1015028 CPUtime=1800.04
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 248167 0 0 0 178124 1880 0 0 25 0 1 0 130766833 1039388672 246373 4089446400 4194304 7136930 140734853420080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15636/statm: 253757 246373 394 719 0 253036 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1015028
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -15636
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/198 15743
/proc/meminfo: memFree=29715680/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=1014888 CPUtime=1800.74
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 248172 0 0 0 178194 1880 0 0 18 0 1 0 130766833 1039245312 246343 4089446400 4194304 7136930 140734853420080 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15636/statm: 253722 246343 399 719 0 253001 0
Current children cumulated CPU time (s) 1800.74
Current children cumulated vsize (KiB) 1014888
[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/198 15743
/proc/meminfo: memFree=29715680/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=1004116 CPUtime=1801.54
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 248311 0 0 0 178274 1880 0 0 20 0 1 0 130766833 1028214784 243665 4089446400 4194304 7136930 140734853420080 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15636/statm: 251029 243665 399 719 0 250308 0
Current children cumulated CPU time (s) 1801.54
Current children cumulated vsize (KiB) 1004116
[startup+1801.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/198 15743
/proc/meminfo: memFree=29754368/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=964992 CPUtime=1801.95
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 248313 0 0 0 178314 1881 0 0 21 0 1 0 130766833 988151808 233884 4089446400 4194304 7136930 140734853420080 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15636/statm: 241248 233884 399 719 0 240527 0
Current children cumulated CPU time (s) 1801.95
Current children cumulated vsize (KiB) 964992
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/198 15743
/proc/meminfo: memFree=29754368/32951124 swapFree=67111528/67111528
[pid=15636] ppid=15634 vsize=958260 CPUtime=1802.04
/proc/15636/stat : 15636 (pbscip.linux.x8) R 15634 15636 14260 0 -1 4202496 248313 0 0 0 178323 1881 0 0 21 0 1 0 130766833 981258240 232201 4089446400 4194304 7136930 140734853420080 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15636/statm: 239565 232201 399 719 0 238844 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 958260
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.04
CPU time (s): 1802.09
CPU user time (s): 1783.24
CPU system time (s): 18.8471
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1015028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.24
system time used= 18.8471
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248313
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 3782
runsolver used 2.50662 second user time and 5.9171 second system time
The end
Begin job on node147 at 2010-06-30 12:45:17
IDJOB=2693825
IDBENCH=78740
IDSOLVER=1206
FILE ID=node147/2693825-1277894717
PBS_JOBID= 11197060
Free space on /tmp= 74200 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-91-90--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693825-1277894717/watcher-2693825-1277894717 -o /tmp/evaluation-result-2693825-1277894717/solver-2693825-1277894717 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693825-1277894717.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b5d604f523494f9ae212571f314835a9
RANDOM SEED=658095733
node147.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.822
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.64
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.822
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 : 5226.15
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.822
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.822
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.84
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.822
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.74
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.822
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.822
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.822
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30818676 kB
Buffers: 179900 kB
Cached: 1495984 kB
SwapCached: 0 kB
Active: 788088 kB
Inactive: 1199284 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30818676 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3332 kB
Writeback: 0 kB
AnonPages: 311880 kB
Mapped: 20508 kB
Slab: 80672 kB
PageTables: 5388 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1648188 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= 74196 MiB
End job on node147 at 2010-06-30 13:15:19