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-2700597-1278535769.wbo>
0.00/0.01 c original problem has 1557 variables (849 bin, 0 int, 0 impl, 708 cont) and 1464 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) 0 del vars, 0 del conss, 708 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 708 impls, 47 clqs
0.00/0.03 c (round 2) 0 del vars, 0 del conss, 708 chg bounds, 0 chg sides, 0 chg coeffs, 48 upgd conss, 708 impls, 47 clqs
0.00/0.05 c (0.0s) probing: 101/849 (11.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 0 deleted vars, 0 deleted constraints, 708 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 708 implications, 47 cliques
0.00/0.05 c presolved problem has 1557 variables (849 bin, 0 int, 0 impl, 708 cont) and 1464 constraints
0.00/0.05 c 708 constraints of type <indicator>
0.00/0.05 c 1 constraints of type <knapsack>
0.00/0.05 c 47 constraints of type <setppc>
0.00/0.05 c 708 constraints of type <linear>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.03
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.2
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1800
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 3420
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.05 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 | 47 | - |5288k| 0 | 0 |1557 |1464 |1557 | 48 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.0s| 1 | 0 | 100 | - |5384k| 0 | 0 |1557 |1464 |1557 | 248 | 200 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.0s| 1 | 0 | 129 | - |5450k| 0 | 92 |1557 |1464 |1557 | 389 | 341 | 0 | 0 | 0.000000e+00 | -- | Inf
0.06/0.07 c 0.1s| 1 | 0 | 142 | - |5515k| 0 | 94 |1557 |1464 |1557 | 396 | 348 | 0 | 0 | 0.000000e+00 | -- | Inf
0.06/0.08 c 0.1s| 1 | 0 | 151 | - |5586k| 0 | 92 |1557 |1464 |1557 | 397 | 349 | 0 | 0 | 0.000000e+00 | -- | Inf
0.06/0.09 c 0.1s| 1 | 0 | 155 | - |5656k| 0 | 92 |1557 |1464 |1557 | 402 | 354 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 184 | - |5732k| 0 | 94 |1557 |1464 |1557 | 408 | 360 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 c 0.2s| 1 | 2 | 333 | - |5756k| 0 | 94 |1557 |1464 |1557 | 408 | 360 | 0 | 33 | 0.000000e+00 | -- | Inf
7.99/8.09 c 7.6s| 10000 | 10001 | 23573 | 2.3 | 16M| 423 | 0 |1557 |1464 |1557 | 515 |7298 | 0 |1121 | 0.000000e+00 | -- | Inf
14.59/14.65 c 13.7s| 20000 | 20001 | 40908 | 2.0 | 27M| 423 | 0 |1557 |1464 |1557 | 525 | 12k| 0 |1121 | 0.000000e+00 | -- | Inf
20.99/21.06 c 19.6s| 30000 | 30001 | 56534 | 1.9 | 37M| 423 | 0 |1557 |1464 |1557 | 551 | 18k| 0 |1187 | 0.000000e+00 | -- | Inf
27.40/27.46 c 25.6s| 40000 | 40001 | 70405 | 1.8 | 47M| 423 | 0 |1557 |1464 |1557 | 527 | 22k| 0 |1312 | 0.000000e+00 | -- | Inf
33.00/33.05 c 30.8s| 50000 | 50001 | 73704 | 1.5 | 57M| 423 | 0 |1557 |1464 |1557 | 522 | 23k| 0 |1386 | 0.000000e+00 | -- | Inf
38.59/38.65 c 36.1s| 60000 | 60001 | 77504 | 1.3 | 67M| 423 | 0 |1557 |1464 |1557 | 529 | 24k| 0 |1411 | 0.000000e+00 | -- | Inf
44.29/44.38 c 41.4s| 70000 | 70001 | 82122 | 1.2 | 77M| 423 | 0 |1557 |1464 |1557 | 513 | 25k| 0 |1466 | 0.000000e+00 | -- | Inf
47.09/47.18 o 40
47.09/47.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.09/47.18 c *44.0s| 74540 | 74411 | 87007 | 1.2 | 81M| 423 | - |1557 |1464 |1557 | 488 | 26k| 0 |1498 | 0.000000e+00 | 4.000000e+01 | Inf
51.79/51.86 c 48.4s| 80000 | 79844 |107890 | 1.3 | 87M| 423 | 0 |1557 |1549 |1557 | 533 | 33k| 85 |1667 | 0.000000e+00 | 4.000000e+01 | Inf
60.29/60.38 c 56.4s| 90000 | 89832 |143762 | 1.6 | 98M| 423 | 0 |1557 |1599 |1557 | 522 | 43k| 136 |1920 | 0.000000e+00 | 4.000000e+01 | Inf
68.49/68.53 c 64.0s|100000 | 99824 |174430 | 1.7 | 109M| 423 | 0 |1557 |1616 |1557 | 520 | 53k| 167 |2143 | 0.000000e+00 | 4.000000e+01 | Inf
76.39/76.43 c 71.3s|110000 |109824 |204905 | 1.9 | 119M| 423 | 0 |1557 |1599 |1557 | 535 | 63k| 167 |2314 | 0.000000e+00 | 4.000000e+01 | Inf
83.39/83.45 c 77.9s|120000 |119822 |218468 | 1.8 | 129M| 423 | 0 |1557 |1585 |1557 | 533 | 67k| 169 |2384 | 0.000000e+00 | 4.000000e+01 | Inf
90.90/90.93 c 84.9s|130000 |129818 |231711 | 1.8 | 139M| 423 | 0 |1557 |1570 |1557 | 535 | 71k| 169 |2477 | 0.000000e+00 | 4.000000e+01 | Inf
98.40/98.42 c 91.9s|140000 |139818 |252754 | 1.8 | 150M| 423 | 0 |1557 |1544 |1557 | 491 | 79k| 169 |2601 | 0.000000e+00 | 4.000000e+01 | Inf
106.19/106.25 c 99.2s|150000 |149818 |278942 | 1.9 | 160M| 423 | 0 |1557 |1540 |1557 | 548 | 88k| 169 |2709 | 0.000000e+00 | 4.000000e+01 | Inf
113.99/114.07 c 107s|160000 |159816 |300656 | 1.9 | 170M| 423 | 0 |1557 |1537 |1557 | 535 | 95k| 170 |2815 | 0.000000e+00 | 4.000000e+01 | Inf
121.80/121.84 c 114s|170000 |169816 |316131 | 1.9 | 181M| 423 | 0 |1557 |1522 |1557 | 532 | 100k| 170 |2873 | 0.000000e+00 | 4.000000e+01 | Inf
129.39/129.41 c 121s|180000 |179816 |331454 | 1.8 | 191M| 423 | 0 |1557 |1516 |1557 | 538 | 105k| 170 |2951 | 0.000000e+00 | 4.000000e+01 | Inf
137.40/137.48 c 129s|190000 |189816 |359224 | 1.9 | 202M| 423 | 60 |1557 |1501 |1557 | 506 | 114k| 170 |3103 | 0.000000e+00 | 4.000000e+01 | Inf
145.39/145.44 c 136s|200000 |199800 |391116 | 2.0 | 212M| 423 | 52 |1557 |1518 |1557 | 476 | 125k| 197 |3200 | 0.000000e+00 | 4.000000e+01 | Inf
153.10/153.20 c 143s|210000 |209800 |417948 | 2.0 | 223M| 423 | 0 |1557 |1510 |1557 | 534 | 134k| 197 |3347 | 0.000000e+00 | 4.000000e+01 | Inf
161.00/161.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.00/161.03 c 151s|220000 |219800 |447690 | 2.0 | 233M| 423 | 0 |1557 |1501 |1557 | 528 | 145k| 197 |3433 | 0.000000e+00 | 4.000000e+01 | Inf
168.20/168.23 c 157s|230000 |229800 |460278 | 2.0 | 243M| 423 | 0 |1557 |1500 |1557 | 512 | 149k| 197 |3506 | 0.000000e+00 | 4.000000e+01 | Inf
175.80/175.85 c 165s|240000 |239800 |479316 | 2.0 | 254M| 423 | 0 |1557 |1496 |1557 | 533 | 155k| 197 |3562 | 0.000000e+00 | 4.000000e+01 | Inf
183.30/183.32 c 172s|250000 |249796 |490240 | 2.0 | 264M| 423 | 0 |1557 |1493 |1557 | 535 | 159k| 198 |3600 | 0.000000e+00 | 4.000000e+01 | Inf
190.60/190.68 c 178s|260000 |259796 |502377 | 1.9 | 275M| 423 | 0 |1557 |1490 |1557 | 532 | 162k| 198 |3628 | 0.000000e+00 | 4.000000e+01 | Inf
198.30/198.32 c 186s|270000 |269792 |522167 | 1.9 | 285M| 423 | 0 |1557 |1503 |1557 | 539 | 169k| 212 |3684 | 0.000000e+00 | 4.000000e+01 | Inf
205.90/205.97 c 193s|280000 |279788 |536308 | 1.9 | 296M| 423 | 0 |1557 |1503 |1557 | 537 | 173k| 226 |3761 | 0.000000e+00 | 4.000000e+01 | Inf
213.41/213.43 c 200s|290000 |289788 |553071 | 1.9 | 306M| 423 | 0 |1557 |1500 |1557 | 537 | 179k| 226 |3789 | 0.000000e+00 | 4.000000e+01 | Inf
220.59/220.65 c 206s|300000 |299788 |570934 | 1.9 | 317M| 423 | 0 |1557 |1492 |1557 | 489 | 185k| 226 |3849 | 0.000000e+00 | 4.000000e+01 | Inf
226.90/226.93 c 212s|310000 |309788 |574929 | 1.9 | 326M| 423 | 0 |1557 |1492 |1557 | 517 | 186k| 226 |3849 | 0.000000e+00 | 4.000000e+01 | Inf
233.70/233.71 c 219s|320000 |319788 |584556 | 1.8 | 337M| 423 | 0 |1557 |1492 |1557 | 543 | 189k| 226 |3913 | 0.000000e+00 | 4.000000e+01 | Inf
240.00/240.03 c 225s|330000 |329788 |594119 | 1.8 | 347M| 423 | 0 |1557 |1490 |1557 | 559 | 191k| 226 |3926 | 0.000000e+00 | 4.000000e+01 | Inf
247.41/247.47 c 232s|340000 |339788 |614790 | 1.8 | 357M| 423 | 0 |1557 |1489 |1557 | 550 | 197k| 226 |4004 | 0.000000e+00 | 4.000000e+01 | Inf
255.30/255.31 c 239s|350000 |349788 |639056 | 1.8 | 367M| 423 | 0 |1557 |1487 |1557 | 481 | 205k| 226 |4082 | 0.000000e+00 | 4.000000e+01 | Inf
262.20/262.29 c 245s|360000 |359788 |647306 | 1.8 | 378M| 423 | 0 |1557 |1487 |1557 | 532 | 208k| 226 |4132 | 0.000000e+00 | 4.000000e+01 | Inf
268.60/268.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.60/268.68 c 251s|370000 |369788 |651857 | 1.8 | 388M| 423 | 0 |1557 |1487 |1557 | 494 | 208k| 226 |4152 | 0.000000e+00 | 4.000000e+01 | Inf
275.10/275.13 c 257s|380000 |379784 |657949 | 1.7 | 398M| 423 | 0 |1557 |1496 |1557 | 491 | 210k| 236 |4160 | 0.000000e+00 | 4.000000e+01 | Inf
281.80/281.80 c 264s|390000 |389784 |662740 | 1.7 | 408M| 423 | 0 |1557 |1494 |1557 | 516 | 211k| 236 |4161 | 0.000000e+00 | 4.000000e+01 | Inf
288.50/288.57 c 270s|400000 |399778 |671957 | 1.7 | 418M| 423 | 0 |1557 |1499 |1557 | 539 | 213k| 246 |4211 | 0.000000e+00 | 4.000000e+01 | Inf
295.40/295.41 c 277s|410000 |409776 |680007 | 1.7 | 428M| 423 | 0 |1557 |1489 |1557 | 535 | 215k| 246 |4237 | 0.000000e+00 | 4.000000e+01 | Inf
302.30/302.39 c 283s|420000 |419776 |694742 | 1.7 | 438M| 423 | 0 |1557 |1485 |1557 | 511 | 220k| 246 |4273 | 0.000000e+00 | 4.000000e+01 | Inf
309.50/309.55 c 290s|430000 |429774 |712089 | 1.7 | 449M| 423 | 0 |1557 |1495 |1557 | 512 | 227k| 256 |4304 | 0.000000e+00 | 4.000000e+01 | Inf
317.00/317.03 c 297s|440000 |439768 |734648 | 1.7 | 459M| 423 | 0 |1557 |1497 |1557 | 516 | 234k| 277 |4365 | 0.000000e+00 | 4.000000e+01 | Inf
324.20/324.22 c 303s|450000 |449754 |752006 | 1.7 | 469M| 423 | 0 |1557 |1514 |1557 | 554 | 240k| 317 |4429 | 0.000000e+00 | 4.000000e+01 | Inf
331.30/331.37 c 310s|460000 |459754 |765143 | 1.7 | 480M| 423 | 0 |1557 |1494 |1557 | 537 | 244k| 317 |4429 | 0.000000e+00 | 4.000000e+01 | Inf
338.50/338.56 c 317s|470000 |469754 |781304 | 1.7 | 490M| 423 | 28 |1557 |1492 |1557 | 530 | 249k| 317 |4498 | 0.000000e+00 | 4.000000e+01 | Inf
345.70/345.76 c 324s|480000 |479754 |798810 | 1.7 | 500M| 423 | 0 |1557 |1490 |1557 | 509 | 255k| 317 |4534 | 0.000000e+00 | 4.000000e+01 | Inf
352.90/352.91 c 330s|490000 |489746 |815749 | 1.7 | 510M| 423 | 0 |1557 |1508 |1557 | 532 | 261k| 339 |4568 | 0.000000e+00 | 4.000000e+01 | Inf
360.00/360.08 c 337s|500000 |499740 |833764 | 1.7 | 520M| 423 | 0 |1557 |1523 |1557 | 519 | 267k| 369 |4639 | 0.000000e+00 | 4.000000e+01 | Inf
367.31/367.38 c 344s|510000 |509740 |852797 | 1.7 | 530M| 423 | 0 |1557 |1497 |1557 | 531 | 273k| 369 |4671 | 0.000000e+00 | 4.000000e+01 | Inf
374.91/374.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
374.91/374.98 c 351s|520000 |519740 |870668 | 1.7 | 541M| 423 | 0 |1557 |1494 |1557 | 539 | 279k| 369 |4712 | 0.000000e+00 | 4.000000e+01 | Inf
382.20/382.21 c 358s|530000 |529740 |888374 | 1.7 | 551M| 423 | 0 |1557 |1494 |1557 | 493 | 285k| 369 |4786 | 0.000000e+00 | 4.000000e+01 | Inf
389.51/389.58 c 365s|540000 |539740 |909719 | 1.7 | 561M| 423 | 0 |1557 |1494 |1557 | 553 | 292k| 369 |4831 | 0.000000e+00 | 4.000000e+01 | Inf
396.70/396.79 c 372s|550000 |549740 |928037 | 1.7 | 571M| 423 | 0 |1557 |1494 |1557 | 525 | 298k| 369 |4860 | 0.000000e+00 | 4.000000e+01 | Inf
403.61/403.63 c 378s|560000 |559740 |943074 | 1.7 | 581M| 423 | 0 |1557 |1494 |1557 | 528 | 303k| 369 |4929 | 0.000000e+00 | 4.000000e+01 | Inf
410.71/410.78 c 385s|570000 |569740 |962384 | 1.7 | 592M| 423 | 0 |1557 |1493 |1557 | 547 | 309k| 369 |4943 | 0.000000e+00 | 4.000000e+01 | Inf
417.70/417.75 c 391s|580000 |579728 |977136 | 1.7 | 602M| 423 | 0 |1557 |1529 |1557 | 533 | 314k| 408 |5009 | 0.000000e+00 | 4.000000e+01 | Inf
424.10/424.19 c 397s|590000 |589728 |982493 | 1.7 | 612M| 423 | 0 |1557 |1524 |1557 | 501 | 316k| 408 |5009 | 0.000000e+00 | 4.000000e+01 | Inf
430.70/430.77 c 403s|600000 |599728 |992317 | 1.7 | 622M| 423 | 0 |1557 |1516 |1557 | 549 | 317k| 408 |5009 | 0.000000e+00 | 4.000000e+01 | Inf
437.21/437.27 c 409s|610000 |609728 | 1000k| 1.6 | 632M| 423 | 0 |1557 |1510 |1557 | 549 | 319k| 408 |5058 | 0.000000e+00 | 4.000000e+01 | Inf
443.91/443.99 c 416s|620000 |619726 | 1009k| 1.6 | 642M| 423 | 0 |1557 |1517 |1557 | 543 | 321k| 418 |5083 | 0.000000e+00 | 4.000000e+01 | Inf
451.31/451.34 c 423s|630000 |629726 | 1031k| 1.6 | 652M| 423 | 0 |1557 |1502 |1557 | 546 | 328k| 418 |5132 | 0.000000e+00 | 4.000000e+01 | Inf
458.31/458.38 c 429s|640000 |639724 | 1048k| 1.6 | 662M| 423 | 0 |1557 |1501 |1557 | 534 | 333k| 418 |5160 | 0.000000e+00 | 4.000000e+01 | Inf
465.32/465.37 c 436s|650000 |649724 | 1065k| 1.6 | 673M| 423 | 0 |1557 |1500 |1557 | 535 | 338k| 418 |5222 | 0.000000e+00 | 4.000000e+01 | Inf
472.41/472.47 c 442s|660000 |659720 | 1083k| 1.6 | 683M| 423 | 0 |1557 |1506 |1557 | 530 | 345k| 429 |5235 | 0.000000e+00 | 4.000000e+01 | Inf
479.31/479.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
479.31/479.37 c 449s|670000 |669720 | 1098k| 1.6 | 693M| 423 | 0 |1557 |1504 |1557 | 530 | 350k| 429 |5294 | 0.000000e+00 | 4.000000e+01 | Inf
486.31/486.38 c 455s|680000 |679720 | 1113k| 1.6 | 703M| 423 | 0 |1557 |1497 |1557 | 531 | 355k| 429 |5310 | 0.000000e+00 | 4.000000e+01 | Inf
493.51/493.52 c 462s|690000 |689707 | 1132k| 1.6 | 713M| 423 | 0 |1557 |1522 |1557 | 533 | 361k| 476 |5376 | 0.000000e+00 | 4.000000e+01 | Inf
500.51/500.53 c 469s|700000 |699707 | 1150k| 1.6 | 723M| 423 | 0 |1557 |1509 |1557 | 551 | 367k| 476 |5384 | 0.000000e+00 | 4.000000e+01 | Inf
507.31/507.33 c 475s|710000 |709704 | 1162k| 1.6 | 733M| 423 | 0 |1557 |1513 |1557 | 503 | 371k| 487 |5442 | 0.000000e+00 | 4.000000e+01 | Inf
513.62/513.60 c 481s|720000 |719704 | 1170k| 1.6 | 743M| 423 | 0 |1557 |1508 |1557 | 504 | 373k| 487 |5458 | 0.000000e+00 | 4.000000e+01 | Inf
520.01/520.05 c 487s|730000 |729704 | 1176k| 1.6 | 753M| 423 | 0 |1557 |1505 |1557 | 490 | 375k| 487 |5458 | 0.000000e+00 | 4.000000e+01 | Inf
526.71/526.74 c 493s|740000 |739700 | 1184k| 1.6 | 763M| 423 | 0 |1557 |1513 |1557 | 519 | 378k| 499 |5459 | 0.000000e+00 | 4.000000e+01 | Inf
533.41/533.42 c 500s|750000 |749700 | 1193k| 1.6 | 774M| 423 | 0 |1557 |1511 |1557 | 492 | 380k| 499 |5505 | 0.000000e+00 | 4.000000e+01 | Inf
540.21/540.23 c 506s|760000 |759696 | 1205k| 1.6 | 784M| 423 | 0 |1557 |1510 |1557 | 491 | 384k| 500 |5532 | 0.000000e+00 | 4.000000e+01 | Inf
547.01/547.07 c 512s|770000 |769680 | 1219k| 1.6 | 794M| 423 | 0 |1557 |1554 |1557 | 507 | 388k| 553 |5533 | 0.000000e+00 | 4.000000e+01 | Inf
553.81/553.83 c 519s|780000 |779674 | 1231k| 1.6 | 804M| 423 | 0 |1557 |1541 |1557 | 528 | 392k| 577 |5605 | 0.000000e+00 | 4.000000e+01 | Inf
560.61/560.68 c 525s|790000 |789668 | 1247k| 1.6 | 814M| 423 | 0 |1557 |1518 |1557 | 527 | 397k| 587 |5607 | 0.000000e+00 | 4.000000e+01 | Inf
567.11/567.19 c 531s|800000 |799668 | 1256k| 1.6 | 824M| 423 | 0 |1557 |1516 |1557 | 506 | 399k| 587 |5640 | 0.000000e+00 | 4.000000e+01 | Inf
574.11/574.15 c 538s|810000 |809661 | 1272k| 1.6 | 834M| 423 | 0 |1557 |1514 |1557 | 491 | 404k| 607 |5681 | 0.000000e+00 | 4.000000e+01 | Inf
581.11/581.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
581.11/581.11 c 544s|820000 |819651 | 1284k| 1.6 | 844M| 423 | 0 |1557 |1516 |1557 | 539 | 408k| 630 |5692 | 0.000000e+00 | 4.000000e+01 | Inf
587.91/587.93 c 551s|830000 |829647 | 1296k| 1.6 | 854M| 423 | 0 |1557 |1509 |1557 | 530 | 412k| 631 |5755 | 0.000000e+00 | 4.000000e+01 | Inf
594.41/594.45 c 557s|840000 |839640 | 1304k| 1.6 | 865M| 423 | 0 |1557 |1528 |1557 | 504 | 415k| 651 |5755 | 0.000000e+00 | 4.000000e+01 | Inf
601.21/601.22 c 563s|850000 |849640 | 1317k| 1.5 | 875M| 423 | 0 |1557 |1521 |1557 | 547 | 419k| 651 |5775 | 0.000000e+00 | 4.000000e+01 | Inf
608.11/608.10 c 570s|860000 |859631 | 1328k| 1.5 | 885M| 423 | 0 |1557 |1551 |1557 | 537 | 422k| 684 |5823 | 0.000000e+00 | 4.000000e+01 | Inf
615.01/615.00 c 576s|870000 |869625 | 1341k| 1.5 | 895M| 423 | 0 |1557 |1539 |1557 | 533 | 426k| 705 |5829 | 0.000000e+00 | 4.000000e+01 | Inf
621.92/621.99 c 583s|880000 |879623 | 1354k| 1.5 | 905M| 423 | 0 |1557 |1522 |1557 | 522 | 430k| 706 |5849 | 0.000000e+00 | 4.000000e+01 | Inf
628.92/628.96 c 590s|890000 |889604 | 1370k| 1.5 | 916M| 423 | 0 |1557 |1559 |1557 | 572 | 436k| 766 |5902 | 0.000000e+00 | 4.000000e+01 | Inf
635.61/635.65 c 596s|900000 |899596 | 1380k| 1.5 | 926M| 423 | 22 |1557 |1567 |1557 | 514 | 439k| 797 |5902 | 0.000000e+00 | 4.000000e+01 | Inf
642.32/642.35 c 602s|910000 |909592 | 1389k| 1.5 | 936M| 423 | 0 |1557 |1571 |1557 | 522 | 442k| 812 |5925 | 0.000000e+00 | 4.000000e+01 | Inf
648.71/648.74 c 608s|920000 |919576 | 1397k| 1.5 | 946M| 423 | 0 |1557 |1592 |1557 | 523 | 444k| 854 |5954 | 0.000000e+00 | 4.000000e+01 | Inf
654.81/654.87 c 614s|930000 |929576 | 1401k| 1.5 | 956M| 423 | 0 |1557 |1579 |1557 | 538 | 446k| 854 |5963 | 0.000000e+00 | 4.000000e+01 | Inf
660.82/660.82 c 619s|940000 |939576 | 1403k| 1.5 | 966M| 423 | 0 |1557 |1570 |1557 | 546 | 446k| 854 |5971 | 0.000000e+00 | 4.000000e+01 | Inf
666.81/666.82 c 625s|950000 |949576 | 1406k| 1.5 | 976M| 423 | 0 |1557 |1557 |1557 | 524 | 447k| 854 |5975 | 0.000000e+00 | 4.000000e+01 | Inf
672.81/672.80 c 631s|960000 |959576 | 1408k| 1.5 | 986M| 423 | 0 |1557 |1551 |1557 | 505 | 448k| 854 |5975 | 0.000000e+00 | 4.000000e+01 | Inf
678.82/678.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
678.82/678.81 c 636s|970000 |969570 | 1411k| 1.5 | 996M| 423 | 0 |1557 |1564 |1557 | 554 | 449k| 875 |5975 | 0.000000e+00 | 4.000000e+01 | Inf
684.61/684.66 c 642s|980000 |979566 | 1412k| 1.4 |1006M| 423 | 0 |1557 |1560 |1557 | 492 | 449k| 875 |5975 | 0.000000e+00 | 4.000000e+01 | Inf
690.52/690.55 c 647s|990000 |989566 | 1414k| 1.4 |1015M| 423 | 0 |1557 |1555 |1557 | 492 | 449k| 875 |5975 | 0.000000e+00 | 4.000000e+01 | Inf
696.51/696.55 c 653s| 1000k|999566 | 1416k| 1.4 |1025M| 423 | 0 |1557 |1553 |1557 | 540 | 450k| 875 |5975 | 0.000000e+00 | 4.000000e+01 | Inf
702.61/702.60 c 659s| 1010k| 1009k| 1419k| 1.4 |1035M| 423 | 0 |1557 |1548 |1557 | 492 | 451k| 876 |5975 | 0.000000e+00 | 4.000000e+01 | Inf
708.72/708.77 c 665s| 1020k| 1019k| 1424k| 1.4 |1045M| 423 | 0 |1557 |1539 |1557 | 544 | 452k| 877 |5985 | 0.000000e+00 | 4.000000e+01 | Inf
714.81/714.85 c 670s| 1030k| 1029k| 1427k| 1.4 |1055M| 423 | 0 |1557 |1534 |1557 | 504 | 453k| 877 |5994 | 0.000000e+00 | 4.000000e+01 | Inf
720.92/720.96 c 676s| 1040k| 1039k| 1429k| 1.4 |1065M| 423 | 0 |1557 |1533 |1557 | 543 | 454k| 877 |6013 | 0.000000e+00 | 4.000000e+01 | Inf
727.12/727.18 c 682s| 1050k| 1049k| 1432k| 1.4 |1074M| 423 | 0 |1557 |1532 |1557 | 510 | 455k| 877 |6022 | 0.000000e+00 | 4.000000e+01 | Inf
733.32/733.34 c 688s| 1060k| 1059k| 1434k| 1.4 |1084M| 423 | 0 |1557 |1532 |1557 | 517 | 455k| 877 |6022 | 0.000000e+00 | 4.000000e+01 | Inf
739.72/739.74 c 694s| 1070k| 1069k| 1438k| 1.3 |1094M| 423 | 0 |1557 |1532 |1557 | 541 | 456k| 877 |6031 | 0.000000e+00 | 4.000000e+01 | Inf
746.11/746.15 c 700s| 1080k| 1079k| 1440k| 1.3 |1104M| 423 | 0 |1557 |1531 |1557 | 546 | 457k| 877 |6038 | 0.000000e+00 | 4.000000e+01 | Inf
752.52/752.55 c 706s| 1090k| 1089k| 1443k| 1.3 |1114M| 423 | 0 |1557 |1530 |1557 | 504 | 458k| 877 |6042 | 0.000000e+00 | 4.000000e+01 | Inf
759.22/759.20 c 712s| 1100k| 1099k| 1448k| 1.3 |1124M| 423 | 0 |1557 |1529 |1557 | 504 | 459k| 877 |6046 | 0.000000e+00 | 4.000000e+01 | Inf
765.82/765.86 c 718s| 1110k| 1109k| 1454k| 1.3 |1134M| 423 | 0 |1557 |1530 |1557 | 510 | 461k| 878 |6046 | 0.000000e+00 | 4.000000e+01 | Inf
772.41/772.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
772.41/772.41 c 724s| 1120k| 1119k| 1459k| 1.3 |1144M| 423 | 0 |1557 |1530 |1557 | 519 | 462k| 878 |6047 | 0.000000e+00 | 4.000000e+01 | Inf
779.01/779.00 c 730s| 1130k| 1129k| 1463k| 1.3 |1154M| 423 | 0 |1557 |1527 |1557 | 485 | 463k| 878 |6047 | 0.000000e+00 | 4.000000e+01 | Inf
785.72/785.71 c 737s| 1140k| 1139k| 1468k| 1.3 |1164M| 423 | 0 |1557 |1526 |1557 | 509 | 464k| 878 |6067 | 0.000000e+00 | 4.000000e+01 | Inf
792.62/792.65 c 743s| 1150k| 1149k| 1475k| 1.3 |1174M| 423 | 0 |1557 |1526 |1557 | 509 | 466k| 878 |6102 | 0.000000e+00 | 4.000000e+01 | Inf
799.42/799.48 c 749s| 1160k| 1159k| 1482k| 1.3 |1184M| 423 | 0 |1557 |1525 |1557 | 504 | 467k| 878 |6120 | 0.000000e+00 | 4.000000e+01 | Inf
806.12/806.10 c 756s| 1170k| 1169k| 1486k| 1.3 |1194M| 423 | 0 |1557 |1523 |1557 | 504 | 468k| 878 |6120 | 0.000000e+00 | 4.000000e+01 | Inf
812.83/812.90 c 762s| 1180k| 1179k| 1492k| 1.3 |1204M| 423 | 0 |1557 |1533 |1557 | 512 | 470k| 889 |6121 | 0.000000e+00 | 4.000000e+01 | Inf
819.82/819.86 c 769s| 1190k| 1189k| 1501k| 1.3 |1214M| 423 | 0 |1557 |1533 |1557 | 506 | 472k| 889 |6133 | 0.000000e+00 | 4.000000e+01 | Inf
827.12/827.10 c 775s| 1200k| 1199k| 1517k| 1.3 |1224M| 423 | 0 |1557 |1526 |1557 | 511 | 477k| 889 |6181 | 0.000000e+00 | 4.000000e+01 | Inf
834.22/834.24 c 782s| 1210k| 1209k| 1528k| 1.3 |1234M| 423 | 0 |1557 |1534 |1557 | 546 | 480k| 901 |6195 | 0.000000e+00 | 4.000000e+01 | Inf
840.62/840.65 c 788s| 1220k| 1219k| 1530k| 1.3 |1244M| 423 | 0 |1557 |1533 |1557 | 549 | 480k| 901 |6195 | 0.000000e+00 | 4.000000e+01 | Inf
846.62/846.68 c 794s| 1230k| 1229k| 1530k| 1.2 |1254M| 423 | 0 |1557 |1533 |1557 | 550 | 480k| 901 |6195 | 0.000000e+00 | 4.000000e+01 | Inf
852.82/852.84 c 799s| 1240k| 1239k| 1532k| 1.2 |1264M| 423 | 0 |1557 |1530 |1557 | 508 | 481k| 901 |6195 | 0.000000e+00 | 4.000000e+01 | Inf
858.92/858.99 c 805s| 1250k| 1249k| 1535k| 1.2 |1274M| 423 | 0 |1557 |1529 |1557 | 489 | 482k| 901 |6195 | 0.000000e+00 | 4.000000e+01 | Inf
865.12/865.17 c 811s| 1260k| 1259k| 1540k| 1.2 |1284M| 423 | 0 |1557 |1550 |1557 | 533 | 483k| 922 |6195 | 0.000000e+00 | 4.000000e+01 | Inf
871.72/871.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
871.72/871.79 c 817s| 1270k| 1269k| 1547k| 1.2 |1294M| 423 | 0 |1557 |1522 |1557 | 535 | 486k| 922 |6235 | 0.000000e+00 | 4.000000e+01 | Inf
878.23/878.23 c 823s| 1280k| 1279k| 1551k| 1.2 |1304M| 423 | 0 |1557 |1520 |1557 | 537 | 488k| 924 |6249 | 0.000000e+00 | 4.000000e+01 | Inf
884.92/884.94 c 830s| 1290k| 1289k| 1558k| 1.2 |1314M| 423 | 0 |1557 |1514 |1557 | 542 | 490k| 926 |6261 | 0.000000e+00 | 4.000000e+01 | Inf
891.72/891.78 c 836s| 1300k| 1299k| 1567k| 1.2 |1325M| 423 | 0 |1557 |1510 |1557 | 503 | 493k| 928 |6268 | 0.000000e+00 | 4.000000e+01 | Inf
898.73/898.72 c 842s| 1310k| 1309k| 1582k| 1.2 |1335M| 423 | 0 |1557 |1519 |1557 | 527 | 498k| 949 |6303 | 0.000000e+00 | 4.000000e+01 | Inf
906.12/906.13 c 849s| 1320k| 1319k| 1604k| 1.2 |1345M| 423 | 0 |1557 |1575 |1557 | 516 | 506k|1019 |6326 | 0.000000e+00 | 4.000000e+01 | Inf
913.42/913.46 c 856s| 1330k| 1329k| 1623k| 1.2 |1356M| 423 | 0 |1557 |1668 |1557 | 524 | 512k|1172 |6381 | 0.000000e+00 | 4.000000e+01 | Inf
920.23/920.24 c 863s| 1340k| 1339k| 1634k| 1.2 |1366M| 423 | 0 |1557 |1690 |1557 | 529 | 516k|1243 |6384 | 0.000000e+00 | 4.000000e+01 | Inf
926.73/926.79 c 869s| 1350k| 1349k| 1642k| 1.2 |1377M| 423 | 0 |1557 |1657 |1557 | 510 | 519k|1258 |6384 | 0.000000e+00 | 4.000000e+01 | Inf
933.22/933.21 c 875s| 1360k| 1359k| 1648k| 1.2 |1387M| 423 | 0 |1557 |1650 |1557 | 539 | 521k|1269 |6408 | 0.000000e+00 | 4.000000e+01 | Inf
939.83/939.81 c 881s| 1370k| 1369k| 1657k| 1.2 |1397M| 423 | 0 |1557 |1635 |1557 | 539 | 524k|1290 |6435 | 0.000000e+00 | 4.000000e+01 | Inf
946.32/946.30 c 887s| 1380k| 1379k| 1666k| 1.2 |1407M| 423 | 0 |1557 |1706 |1557 | 526 | 526k|1390 |6443 | 0.000000e+00 | 4.000000e+01 | Inf
952.72/952.75 c 893s| 1390k| 1389k| 1674k| 1.2 |1418M| 423 | 0 |1557 |1757 |1557 | 529 | 529k|1472 |6443 | 0.000000e+00 | 4.000000e+01 | Inf
959.03/959.05 c 899s| 1400k| 1399k| 1679k| 1.2 |1428M| 423 | 0 |1557 |1746 |1557 | 532 | 530k|1497 |6443 | 0.000000e+00 | 4.000000e+01 | Inf
965.42/965.41 c 905s| 1410k| 1409k| 1685k| 1.2 |1438M| 423 | 0 |1557 |1731 |1557 | 494 | 532k|1518 |6452 | 0.000000e+00 | 4.000000e+01 | Inf
971.72/971.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
971.72/971.72 c 911s| 1420k| 1419k| 1689k| 1.2 |1448M| 423 | 0 |1557 |1725 |1557 | 533 | 533k|1518 |6470 | 0.000000e+00 | 4.000000e+01 | Inf
978.22/978.24 c 917s| 1430k| 1429k| 1696k| 1.2 |1458M| 423 | 0 |1557 |1694 |1557 | 542 | 535k|1520 |6492 | 0.000000e+00 | 4.000000e+01 | Inf
984.53/984.57 c 923s| 1440k| 1439k| 1701k| 1.2 |1469M| 423 | 0 |1557 |1680 |1557 | 542 | 536k|1520 |6503 | 0.000000e+00 | 4.000000e+01 | Inf
990.73/990.77 c 929s| 1450k| 1449k| 1705k| 1.2 |1479M| 423 | 0 |1557 |1674 |1557 | 517 | 537k|1520 |6503 | 0.000000e+00 | 4.000000e+01 | Inf
996.92/996.91 c 934s| 1460k| 1459k| 1708k| 1.2 |1489M| 423 | 0 |1557 |1672 |1557 | 516 | 537k|1520 |6503 | 0.000000e+00 | 4.000000e+01 | Inf
1003.02/1003.08 c 940s| 1470k| 1469k| 1710k| 1.2 |1500M| 423 | 0 |1557 |1668 |1557 | 543 | 538k|1520 |6503 | 0.000000e+00 | 4.000000e+01 | Inf
1009.23/1009.21 c 946s| 1480k| 1479k| 1713k| 1.2 |1510M| 423 | 0 |1557 |1665 |1557 | 519 | 538k|1520 |6503 | 0.000000e+00 | 4.000000e+01 | Inf
1015.43/1015.41 c 952s| 1490k| 1489k| 1715k| 1.2 |1520M| 423 | 0 |1557 |1664 |1557 | 543 | 538k|1520 |6503 | 0.000000e+00 | 4.000000e+01 | Inf
1021.53/1021.59 c 958s| 1500k| 1499k| 1718k| 1.1 |1531M| 423 | 0 |1557 |1663 |1557 | 526 | 539k|1520 |6503 | 0.000000e+00 | 4.000000e+01 | Inf
1027.83/1027.82 c 963s| 1510k| 1509k| 1720k| 1.1 |1540M| 423 | 0 |1557 |1662 |1557 | 491 | 540k|1532 |6512 | 0.000000e+00 | 4.000000e+01 | Inf
1034.03/1034.02 c 969s| 1520k| 1519k| 1722k| 1.1 |1550M| 423 | 0 |1557 |1661 |1557 | 491 | 540k|1532 |6512 | 0.000000e+00 | 4.000000e+01 | Inf
1040.33/1040.31 c 975s| 1530k| 1529k| 1725k| 1.1 |1560M| 423 | 0 |1557 |1683 |1557 | 542 | 541k|1563 |6521 | 0.000000e+00 | 4.000000e+01 | Inf
1046.63/1046.65 c 981s| 1540k| 1539k| 1730k| 1.1 |1570M| 423 | 0 |1557 |1691 |1557 | 493 | 542k|1579 |6542 | 0.000000e+00 | 4.000000e+01 | Inf
1053.13/1053.15 c 987s| 1550k| 1549k| 1735k| 1.1 |1580M| 423 | 0 |1557 |1679 |1557 | 550 | 544k|1579 |6555 | 0.000000e+00 | 4.000000e+01 | Inf
1059.73/1059.72 c 993s| 1560k| 1559k| 1740k| 1.1 |1590M| 423 | 0 |1557 |1684 |1557 | 544 | 546k|1601 |6564 | 0.000000e+00 | 4.000000e+01 | Inf
1066.23/1066.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1066.23/1066.25 c 999s| 1570k| 1569k| 1747k| 1.1 |1600M| 423 | 0 |1557 |1649 |1557 | 555 | 548k|1601 |6564 | 0.000000e+00 | 4.000000e+01 | Inf
1072.83/1072.84 c 1005s| 1580k| 1579k| 1756k| 1.1 |1610M| 423 | 0 |1557 |1646 |1557 | 502 | 551k|1625 |6564 | 0.000000e+00 | 4.000000e+01 | Inf
1079.43/1079.44 c 1012s| 1590k| 1589k| 1762k| 1.1 |1621M| 423 | 0 |1557 |1637 |1557 | 540 | 553k|1646 |6574 | 0.000000e+00 | 4.000000e+01 | Inf
1086.13/1086.13 c 1018s| 1600k| 1599k| 1768k| 1.1 |1631M| 423 | 0 |1557 |1645 |1557 | 493 | 555k|1673 |6592 | 0.000000e+00 | 4.000000e+01 | Inf
1092.83/1092.86 c 1024s| 1610k| 1609k| 1779k| 1.1 |1641M| 423 | 0 |1557 |1704 |1557 | 535 | 559k|1769 |6628 | 0.000000e+00 | 4.000000e+01 | Inf
1099.33/1099.36 c 1030s| 1620k| 1619k| 1788k| 1.1 |1651M| 423 | 0 |1557 |1735 |1557 | 547 | 561k|1862 |6628 | 0.000000e+00 | 4.000000e+01 | Inf
1105.83/1105.86 c 1036s| 1630k| 1629k| 1797k| 1.1 |1662M| 423 | 0 |1557 |1716 |1557 | 553 | 564k|1887 |6628 | 0.000000e+00 | 4.000000e+01 | Inf
1112.43/1112.45 c 1043s| 1640k| 1639k| 1805k| 1.1 |1672M| 423 | 0 |1557 |1726 |1557 | 521 | 567k|1935 |6663 | 0.000000e+00 | 4.000000e+01 | Inf
1118.74/1118.78 c 1049s| 1650k| 1649k| 1812k| 1.1 |1682M| 423 | 0 |1557 |1708 |1557 | 541 | 569k|1974 |6681 | 0.000000e+00 | 4.000000e+01 | Inf
1125.24/1125.27 c 1055s| 1660k| 1659k| 1820k| 1.1 |1692M| 423 | 0 |1557 |1819 |1557 | 503 | 572k|2137 |6693 | 0.000000e+00 | 4.000000e+01 | Inf
1131.84/1131.87 c 1061s| 1670k| 1669k| 1830k| 1.1 |1703M| 423 | 0 |1557 |1797 |1557 | 530 | 575k|2192 |6693 | 0.000000e+00 | 4.000000e+01 | Inf
1138.23/1138.24 c 1067s| 1680k| 1679k| 1837k| 1.1 |1713M| 423 | 0 |1557 |1823 |1557 | 545 | 577k|2295 |6702 | 0.000000e+00 | 4.000000e+01 | Inf
1144.73/1144.76 o 33
1144.73/1144.76 c *1073s| 1689k| 1656k| 1846k| 1.1 |1693M| 423 | - |1557 |1861 |1557 | 508 | 579k|2393 |6756 | 0.000000e+00 | 3.300000e+01 | Inf
1144.93/1144.98 c 1073s| 1690k| 1657k| 1846k| 1.1 |1694M| 423 | 0 |1557 |1865 |1557 | 534 | 579k|2405 |6757 | 0.000000e+00 | 3.300000e+01 | Inf
1146.33/1146.37 o 32
1146.33/1146.37 c *1074s| 1692k| 1649k| 1848k| 1.1 |1687M| 423 | - |1557 |1999 |1557 | 549 | 580k|2560 |6758 | 0.000000e+00 | 3.200000e+01 | Inf
1151.74/1151.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1151.74/1151.73 c 1079s| 1700k| 1657k| 1856k| 1.1 |1696M| 423 | 0 |1557 |2386 |1557 | 519 | 582k|3306 |6759 | 0.000000e+00 | 3.200000e+01 | Inf
1158.43/1158.48 c 1086s| 1710k| 1667k| 1867k| 1.1 |1706M| 423 | 0 |1557 |2742 |1557 | 533 | 586k|4332 |6759 | 0.000000e+00 | 3.200000e+01 | Inf
1158.93/1158.93 o 28
1158.93/1158.93 c *1086s| 1710k| 1602k| 1868k| 1.1 |1646M| 423 | - |1557 |2738 |1557 | 530 | 586k|4364 |6759 | 0.000000e+00 | 2.800000e+01 | Inf
1159.03/1159.07 o 27
1159.03/1159.07 c *1086s| 1710k| 1577k| 1868k| 1.1 |1622M| 423 | - |1557 |2768 |1557 | 530 | 586k|4401 |6759 | 0.000000e+00 | 2.700000e+01 | Inf
1165.83/1165.87 c 1093s| 1720k| 1585k| 1882k| 1.1 |1633M| 423 | 0 |1557 |4352 |1557 | 510 | 591k|7391 |6814 | 0.000000e+00 | 2.700000e+01 | Inf
1172.73/1172.79 c 1099s| 1730k| 1594k| 1893k| 1.1 |1644M| 423 | 0 |1557 |4426 |1557 | 533 | 595k| 10k|6824 | 0.000000e+00 | 2.700000e+01 | Inf
1179.83/1179.87 c 1106s| 1740k| 1604k| 1908k| 1.1 |1654M| 423 | 0 |1557 |4263 |1557 | 519 | 599k| 12k|6824 | 0.000000e+00 | 2.700000e+01 | Inf
1184.54/1184.50 o 26
1184.54/1184.50 c *1110s| 1746k| 1581k| 1916k| 1.1 |1633M| 423 | - |1557 |4362 |1557 | 510 | 602k| 14k|6834 | 0.000000e+00 | 2.600000e+01 | Inf
1187.03/1187.03 c 1112s| 1750k| 1584k| 1921k| 1.1 |1637M| 423 | 0 |1557 |4655 |1557 | 513 | 603k| 15k|6862 | 0.000000e+00 | 2.600000e+01 | Inf
1194.33/1194.30 c 1119s| 1760k| 1593k| 1937k| 1.1 |1647M| 423 | 0 |1557 |4839 |1557 | 526 | 608k| 18k|6880 | 0.000000e+00 | 2.600000e+01 | Inf
1201.14/1201.13 c 1126s| 1770k| 1602k| 1947k| 1.1 |1658M| 423 | 0 |1557 |5003 |1557 | 539 | 611k| 20k|6880 | 0.000000e+00 | 2.600000e+01 | Inf
1208.63/1208.61 c 1133s| 1780k| 1611k| 1960k| 1.1 |1669M| 423 | 0 |1557 |5236 |1557 | 542 | 615k| 23k|6922 | 0.000000e+00 | 2.600000e+01 | Inf
1215.23/1215.28 c 1139s| 1790k| 1621k| 1964k| 1.1 |1679M| 423 | 0 |1557 |4501 |1557 | 524 | 616k| 23k|6931 | 0.000000e+00 | 2.600000e+01 | Inf
1221.63/1221.68 c 1145s| 1800k| 1631k| 1969k| 1.1 |1689M| 423 | 0 |1557 |4039 |1557 | 513 | 617k| 23k|6932 | 0.000000e+00 | 2.600000e+01 | Inf
1227.73/1227.77 c 1151s| 1810k| 1641k| 1970k| 1.1 |1699M| 423 | 0 |1557 |3991 |1557 | 522 | 618k| 23k|6932 | 0.000000e+00 | 2.600000e+01 | Inf
1234.34/1234.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1234.34/1234.39 c 1157s| 1820k| 1651k| 1976k| 1.1 |1709M| 423 | 0 |1557 |3782 |1557 | 500 | 620k| 24k|6932 | 0.000000e+00 | 2.600000e+01 | Inf
1241.14/1241.14 c 1163s| 1830k| 1661k| 1983k| 1.1 |1719M| 423 | 0 |1557 |3948 |1557 | 525 | 622k| 25k|6932 | 0.000000e+00 | 2.600000e+01 | Inf
1248.33/1248.36 c 1170s| 1840k| 1670k| 1992k| 1.1 |1730M| 423 | 0 |1557 |4398 |1557 | 521 | 624k| 28k|6960 | 0.000000e+00 | 2.600000e+01 | Inf
1254.83/1254.81 c 1176s| 1850k| 1680k| 1999k| 1.1 |1740M| 423 | 0 |1557 |4030 |1557 | 521 | 626k| 28k|6981 | 0.000000e+00 | 2.600000e+01 | Inf
1262.24/1262.25 c 1183s| 1860k| 1689k| 2013k| 1.1 |1750M| 423 | 0 |1557 |4652 |1557 | 521 | 629k| 31k|6982 | 0.000000e+00 | 2.600000e+01 | Inf
1269.14/1269.12 c 1189s| 1870k| 1699k| 2024k| 1.1 |1760M| 423 | 0 |1557 |3927 |1557 | 521 | 632k| 32k|6991 | 0.000000e+00 | 2.600000e+01 | Inf
1276.05/1276.04 c 1196s| 1880k| 1708k| 2035k| 1.1 |1771M| 423 | 0 |1557 |3929 |1557 | 543 | 636k| 34k|7018 | 0.000000e+00 | 2.600000e+01 | Inf
1283.13/1283.17 c 1203s| 1890k| 1717k| 2046k| 1.1 |1781M| 423 | 0 |1557 |4176 |1557 | 531 | 639k| 36k|7030 | 0.000000e+00 | 2.600000e+01 | Inf
1290.54/1290.56 c 1209s| 1900k| 1726k| 2058k| 1.1 |1792M| 423 | 0 |1557 |4607 |1557 | 540 | 643k| 39k|7030 | 0.000000e+00 | 2.600000e+01 | Inf
1297.34/1297.38 c 1216s| 1910k| 1736k| 2065k| 1.1 |1802M| 423 | 0 |1557 |4075 |1557 | 530 | 645k| 40k|7040 | 0.000000e+00 | 2.600000e+01 | Inf
1304.54/1304.60 c 1223s| 1920k| 1745k| 2077k| 1.1 |1812M| 423 | 0 |1557 |4049 |1557 | 518 | 649k| 42k|7071 | 0.000000e+00 | 2.600000e+01 | Inf
1311.44/1311.46 c 1229s| 1930k| 1755k| 2088k| 1.1 |1822M| 423 | 0 |1557 |3763 |1557 | 518 | 652k| 43k|7071 | 0.000000e+00 | 2.600000e+01 | Inf
1318.74/1318.74 c 1236s| 1940k| 1764k| 2103k| 1.1 |1833M| 423 | 0 |1557 |4089 |1557 | 532 | 657k| 45k|7096 | 0.000000e+00 | 2.600000e+01 | Inf
1325.84/1325.87 c 1243s| 1950k| 1774k| 2116k| 1.1 |1844M| 423 | 0 |1557 |4149 |1557 | 518 | 660k| 48k|7114 | 0.000000e+00 | 2.600000e+01 | Inf
1333.24/1333.23 c 1249s| 1960k| 1783k| 2129k| 1.1 |1854M| 423 | 0 |1557 |4438 |1557 | 509 | 665k| 50k|7114 | 0.000000e+00 | 2.600000e+01 | Inf
1340.24/1340.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1340.24/1340.28 c 1256s| 1970k| 1792k| 2139k| 1.1 |1864M| 423 | 0 |1557 |4656 |1557 | 478 | 668k| 52k|7144 | 0.000000e+00 | 2.600000e+01 | Inf
1347.14/1347.12 c 1263s| 1980k| 1802k| 2149k| 1.1 |1874M| 423 | 0 |1557 |4134 |1557 | 514 | 671k| 53k|7156 | 0.000000e+00 | 2.600000e+01 | Inf
1354.15/1354.15 c 1269s| 1990k| 1811k| 2161k| 1.1 |1884M| 423 | 0 |1557 |3797 |1557 | 513 | 674k| 55k|7156 | 0.000000e+00 | 2.600000e+01 | Inf
1361.34/1361.35 c 1276s| 2000k| 1821k| 2177k| 1.1 |1895M| 423 | 0 |1557 |4108 |1557 | 510 | 678k| 57k|7177 | 0.000000e+00 | 2.600000e+01 | Inf
1364.74/1364.71 o 22
1364.74/1364.71 c *1279s| 2003k| 1625k| 2183k| 1.1 |1698M| 423 | - |1557 |4652 |1557 | 513 | 680k| 58k|7198 | 0.000000e+00 | 2.200000e+01 | Inf
1369.24/1369.25 c 1283s| 2010k| 1630k| 2194k| 1.1 |1704M| 423 | 0 |1557 |4989 |1557 | 525 | 683k| 60k|7200 | 0.000000e+00 | 2.200000e+01 | Inf
1376.84/1376.88 c 1290s| 2020k| 1639k| 2208k| 1.1 |1715M| 423 | 0 |1557 |5211 |1557 | 544 | 688k| 64k|7211 | 0.000000e+00 | 2.200000e+01 | Inf
1383.84/1383.84 c 1297s| 2030k| 1648k| 2216k| 1.1 |1726M| 423 | 0 |1557 |5496 |1557 | 548 | 690k| 66k|7228 | 0.000000e+00 | 2.200000e+01 | Inf
1390.84/1390.89 c 1304s| 2040k| 1657k| 2224k| 1.1 |1736M| 423 | 0 |1557 |5988 |1557 | 521 | 693k| 70k|7235 | 0.000000e+00 | 2.200000e+01 | Inf
1398.05/1398.05 c 1310s| 2050k| 1665k| 2235k| 1.1 |1747M| 423 | 0 |1557 |5848 |1557 | 536 | 696k| 73k|7235 | 0.000000e+00 | 2.200000e+01 | Inf
1404.74/1404.76 c 1317s| 2060k| 1675k| 2242k| 1.1 |1757M| 423 | 0 |1557 |5299 |1557 | 544 | 697k| 75k|7235 | 0.000000e+00 | 2.200000e+01 | Inf
1410.84/1410.85 c 1322s| 2070k| 1684k| 2244k| 1.1 |1767M| 423 | 0 |1557 |5667 |1557 | 546 | 698k| 76k|7235 | 0.000000e+00 | 2.200000e+01 | Inf
1417.54/1417.59 c 1329s| 2080k| 1694k| 2252k| 1.1 |1777M| 423 | 0 |1557 |4646 |1557 | 530 | 700k| 77k|7257 | 0.000000e+00 | 2.200000e+01 | Inf
1424.34/1424.39 c 1335s| 2090k| 1704k| 2260k| 1.1 |1787M| 423 | 0 |1557 |4802 |1557 | 544 | 702k| 78k|7266 | 0.000000e+00 | 2.200000e+01 | Inf
1431.55/1431.56 c 1342s| 2100k| 1713k| 2270k| 1.1 |1798M| 423 | 0 |1557 |5205 |1557 | 521 | 705k| 82k|7268 | 0.000000e+00 | 2.200000e+01 | Inf
1438.75/1438.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1438.75/1438.75 c 1349s| 2110k| 1722k| 2282k| 1.1 |1808M| 423 | 0 |1557 |5372 |1557 | 537 | 708k| 84k|7272 | 0.000000e+00 | 2.200000e+01 | Inf
1446.24/1446.24 c 1356s| 2120k| 1730k| 2298k| 1.1 |1819M| 423 | 0 |1557 |5522 |1557 | 512 | 713k| 87k|7301 | 0.000000e+00 | 2.200000e+01 | Inf
1453.75/1453.77 c 1363s| 2130k| 1739k| 2316k| 1.1 |1829M| 423 | 0 |1557 |5269 |1557 | 530 | 718k| 91k|7301 | 0.000000e+00 | 2.200000e+01 | Inf
1461.14/1461.15 c 1370s| 2140k| 1748k| 2327k| 1.1 |1840M| 423 | 0 |1557 |6075 |1557 | 494 | 721k| 95k|7332 | 0.000000e+00 | 2.200000e+01 | Inf
1468.55/1468.58 c 1376s| 2150k| 1757k| 2340k| 1.1 |1850M| 423 | 0 |1557 |5309 |1557 | 519 | 725k| 99k|7333 | 0.000000e+00 | 2.200000e+01 | Inf
1474.75/1474.79 c 1382s| 2160k| 1767k| 2343k| 1.1 |1860M| 423 | 0 |1557 |4591 |1557 | 513 | 726k| 99k|7333 | 0.000000e+00 | 2.200000e+01 | Inf
1481.65/1481.68 c 1389s| 2170k| 1776k| 2353k| 1.1 |1871M| 423 | 0 |1557 |5067 |1557 | 493 | 729k| 102k|7343 | 0.000000e+00 | 2.200000e+01 | Inf
1489.64/1489.68 c 1396s| 2180k| 1784k| 2376k| 1.1 |1881M| 423 | 0 |1557 |5119 |1557 | 531 | 737k| 106k|7358 | 0.000000e+00 | 2.200000e+01 | Inf
1497.25/1497.26 c 1403s| 2190k| 1793k| 2393k| 1.1 |1892M| 423 | 0 |1557 |5288 |1557 | 527 | 742k| 110k|7379 | 0.000000e+00 | 2.200000e+01 | Inf
1504.95/1504.92 c 1411s| 2200k| 1802k| 2411k| 1.1 |1902M| 423 | 0 |1557 |5708 |1557 | 519 | 747k| 114k|7389 | 0.000000e+00 | 2.200000e+01 | Inf
1512.74/1512.72 c 1418s| 2210k| 1810k| 2430k| 1.1 |1913M| 423 | 0 |1557 |5493 |1557 | 513 | 753k| 118k|7411 | 0.000000e+00 | 2.200000e+01 | Inf
1520.34/1520.38 c 1425s| 2220k| 1819k| 2448k| 1.1 |1924M| 423 | 0 |1557 |5922 |1557 | 547 | 759k| 123k|7420 | 0.000000e+00 | 2.200000e+01 | Inf
1528.35/1528.33 c 1433s| 2230k| 1827k| 2465k| 1.1 |1934M| 423 | 0 |1557 |6166 |1557 | 502 | 764k| 128k|7436 | 0.000000e+00 | 2.200000e+01 | Inf
1536.35/1536.37 c 1440s| 2240k| 1835k| 2480k| 1.1 |1945M| 423 | 0 |1557 |6140 |1557 | 493 | 768k| 134k|7449 | 0.000000e+00 | 2.200000e+01 | Inf
1543.85/1543.82 c 1447s| 2250k| 1844k| 2493k| 1.1 |1955M| 423 | 0 |1557 |4961 |1557 | 516 | 772k| 137k|7449 | 0.000000e+00 | 2.200000e+01 | Inf
1551.25/1551.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1551.25/1551.25 c 1454s| 2260k| 1852k| 2508k| 1.1 |1966M| 423 | 0 |1557 |5449 |1557 | 528 | 776k| 141k|7479 | 0.000000e+00 | 2.200000e+01 | Inf
1558.45/1558.44 c 1461s| 2270k| 1861k| 2520k| 1.1 |1976M| 423 | 0 |1557 |5798 |1557 | 527 | 780k| 144k|7479 | 0.000000e+00 | 2.200000e+01 | Inf
1565.85/1565.82 c 1468s| 2280k| 1870k| 2533k| 1.1 |1987M| 423 | 0 |1557 |6470 |1557 | 543 | 784k| 149k|7492 | 0.000000e+00 | 2.200000e+01 | Inf
1573.55/1573.51 c 1475s| 2290k| 1878k| 2547k| 1.1 |1997M| 423 | 0 |1557 |5828 |1557 | 526 | 788k| 155k|7508 | 0.000000e+00 | 2.200000e+01 | Inf
1581.25/1581.29 c 1482s| 2300k| 1886k| 2566k| 1.1 |2008M| 423 | 0 |1557 |5685 |1557 | 529 | 794k| 159k|7508 | 0.000000e+00 | 2.200000e+01 | Inf
1589.15/1589.10 c 1489s| 2310k| 1895k| 2583k| 1.1 |2018M| 423 | 0 |1557 |6128 |1557 | 539 | 799k| 164k|7537 | 0.000000e+00 | 2.200000e+01 | Inf
1596.25/1596.24 c 1496s| 2320k| 1904k| 2595k| 1.1 |2028M| 423 | 0 |1557 |5484 |1557 | 536 | 802k| 166k|7537 | 0.000000e+00 | 2.200000e+01 | Inf
1603.75/1603.76 c 1503s| 2330k| 1913k| 2608k| 1.1 |2039M| 423 | 0 |1557 |5998 |1557 | 520 | 807k| 170k|7560 | 0.000000e+00 | 2.200000e+01 | Inf
1610.55/1610.54 c 1509s| 2340k| 1923k| 2619k| 1.1 |2049M| 423 | 0 |1557 |5181 |1557 | 495 | 810k| 170k|7566 | 0.000000e+00 | 2.200000e+01 | Inf
1617.65/1617.64 c 1516s| 2350k| 1932k| 2630k| 1.1 |2059M| 423 | 0 |1557 |5702 |1557 | 533 | 813k| 173k|7566 | 0.000000e+00 | 2.200000e+01 | Inf
1625.05/1625.04 c 1523s| 2360k| 1940k| 2643k| 1.1 |2069M| 423 | 0 |1557 |5701 |1557 | 538 | 817k| 177k|7589 | 0.000000e+00 | 2.200000e+01 | Inf
1633.15/1633.16 c 1530s| 2370k| 1949k| 2663k| 1.1 |2080M| 423 | 0 |1557 |5475 |1557 | 542 | 822k| 183k|7598 | 0.000000e+00 | 2.200000e+01 | Inf
1640.55/1640.59 c 1537s| 2380k| 1957k| 2676k| 1.1 |2091M| 423 | 0 |1557 |5826 |1557 | 526 | 826k| 187k|7617 | 0.000000e+00 | 2.200000e+01 | Inf
1648.05/1648.07 c 1544s| 2390k| 1966k| 2689k| 1.1 |2101M| 423 | 0 |1557 |5788 |1557 | 527 | 830k| 191k|7627 | 0.000000e+00 | 2.200000e+01 | Inf
1655.56/1655.55 c 1552s| 2400k| 1975k| 2703k| 1.1 |2112M| 423 | 0 |1557 |5989 |1557 | 532 | 834k| 195k|7627 | 0.000000e+00 | 2.200000e+01 | Inf
1658.25/1658.22 o 21
1658.25/1658.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1658.25/1658.22 c *1554s| 2403k| 1896k| 2708k| 1.1 |2035M| 423 | - |1557 |6234 |1557 | 501 | 835k| 196k|7627 | 0.000000e+00 | 2.100000e+01 | Inf
1663.55/1663.56 c 1559s| 2410k| 1902k| 2719k| 1.1 |2042M| 423 | 0 |1557 |6563 |1557 | 525 | 838k| 200k|7654 | 0.000000e+00 | 2.100000e+01 | Inf
1671.45/1671.46 c 1566s| 2420k| 1910k| 2737k| 1.1 |2052M| 423 | 0 |1557 |6104 |1557 | 516 | 844k| 204k|7661 | 0.000000e+00 | 2.100000e+01 | Inf
1679.05/1679.09 c 1574s| 2430k| 1919k| 2752k| 1.1 |2063M| 423 | 0 |1557 |6073 |1557 | 530 | 848k| 209k|7670 | 0.000000e+00 | 2.100000e+01 | Inf
1686.75/1686.75 c 1581s| 2440k| 1927k| 2768k| 1.1 |2073M| 423 | 0 |1557 |5993 |1557 | 504 | 852k| 214k|7693 | 0.000000e+00 | 2.100000e+01 | Inf
1694.55/1694.52 c 1588s| 2450k| 1936k| 2785k| 1.1 |2084M| 423 | 0 |1557 |5704 |1557 | 521 | 858k| 218k|7693 | 0.000000e+00 | 2.100000e+01 | Inf
1702.45/1702.48 c 1595s| 2460k| 1944k| 2804k| 1.1 |2094M| 423 | 0 |1557 |6152 |1557 | 498 | 863k| 223k|7720 | 0.000000e+00 | 2.100000e+01 | Inf
1709.95/1709.91 c 1602s| 2470k| 1952k| 2819k| 1.1 |2105M| 423 | 0 |1557 |6244 |1557 | 516 | 867k| 228k|7724 | 0.000000e+00 | 2.100000e+01 | Inf
1717.65/1717.61 c 1610s| 2480k| 1961k| 2838k| 1.1 |2115M| 423 | 0 |1557 |5795 |1557 | 496 | 873k| 232k|7737 | 0.000000e+00 | 2.100000e+01 | Inf
1725.45/1725.47 c 1617s| 2490k| 1969k| 2859k| 1.1 |2126M| 423 | 0 |1557 |6492 |1557 | 549 | 879k| 237k|7756 | 0.000000e+00 | 2.100000e+01 | Inf
1733.36/1733.32 c 1624s| 2500k| 1978k| 2878k| 1.2 |2137M| 423 | 0 |1557 |5985 |1557 | 499 | 885k| 242k|7775 | 0.000000e+00 | 2.100000e+01 | Inf
1741.36/1741.34 c 1632s| 2510k| 1986k| 2900k| 1.2 |2147M| 423 | 0 |1557 |5932 |1557 | 534 | 892k| 247k|7788 | 0.000000e+00 | 2.100000e+01 | Inf
1749.36/1749.32 c 1639s| 2520k| 1994k| 2919k| 1.2 |2158M| 423 | 0 |1557 |5973 |1557 | 545 | 897k| 252k|7811 | 0.000000e+00 | 2.100000e+01 | Inf
1756.85/1756.89 c 1646s| 2530k| 2003k| 2935k| 1.2 |2168M| 423 | 0 |1557 |6209 |1557 | 530 | 902k| 256k|7823 | 0.000000e+00 | 2.100000e+01 | Inf
1764.56/1764.57 c 1654s| 2540k| 2011k| 2950k| 1.2 |2179M| 423 | 0 |1557 |6334 |1557 | 502 | 907k| 260k|7832 | 0.000000e+00 | 2.100000e+01 | Inf
1772.16/1772.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1772.16/1772.15 c 1661s| 2550k| 2020k| 2966k| 1.2 |2189M| 423 | 0 |1557 |5999 |1557 | 524 | 911k| 265k|7861 | 0.000000e+00 | 2.100000e+01 | Inf
1780.06/1780.03 c 1668s| 2560k| 2028k| 2984k| 1.2 |2199M| 423 | 0 |1557 |6483 |1557 | 538 | 917k| 270k|7861 | 0.000000e+00 | 2.100000e+01 | Inf
1787.76/1787.75 c 1675s| 2570k| 2037k| 3000k| 1.2 |2210M| 423 | 0 |1557 |6185 |1557 | 520 | 921k| 274k|7897 | 0.000000e+00 | 2.100000e+01 | Inf
1795.55/1795.51 c 1683s| 2580k| 2045k| 3018k| 1.2 |2221M| 423 | 0 |1557 |6392 |1557 | 504 | 927k| 279k|7900 | 0.000000e+00 | 2.100000e+01 | Inf
1800.07/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.00 c
1800.07/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.00 c Solving Time (sec) : 1686.73
1800.07/1800.00 c Solving Nodes : 2586032
1800.07/1800.00 c Primal Bound : +2.10000000000000e+01 (8 solutions)
1800.07/1800.00 c Dual Bound : +0.00000000000000e+00
1800.07/1800.00 c Gap : infinite
1800.07/1800.01 s SATISFIABLE
1800.07/1800.01 v -x141 x140 -x139 -x138 -x137 x136 -x135 -x134 x133 -x132 -x131 x130 -x129 -x128 x127 -x126 -x125 x124 -x123 -x122 x121 -x120 -x119
1800.07/1800.01 v x118 -x117 -x116 x115 -x114 -x113 x112 -x111 -x110 x109 -x108 -x107 x106 -x105 -x104 x103 -x102 -x101 x100 -x99 -x98 x97
1800.07/1800.01 v -x96 -x95 x94 -x93 -x92 x91 -x90 -x89 x88 -x87 -x86 x85 -x84 -x83 x82 -x81 -x80 x79 -x78 -x77 x76 -x75 -x74 x73 x72 -x71 -x70
1800.07/1800.01 v x69 -x68 -x67 -x66 x65 -x64 -x63 x62 -x61 -x60 -x59 x58 -x57 x56 -x55 -x54 x53 -x52 -x51 x50 -x49 x48 -x47 -x46 -x45 x44 -x43
1800.07/1800.01 v -x42 x41 -x40 -x39 x38 -x37 x36 -x35 -x34 x33 -x32 -x31 x30 -x29 -x28 -x27 x26 -x25 -x24 x23 -x22 -x21 x20 -x19 x18 -x17 -x16
1800.07/1800.01 v x15 -x14 -x13 -x12 x11 -x10 x9 -x8 -x7 -x6 x5 -x4 x3 -x2 -x1
1800.07/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.01 c Solving Time : 1686.73
1800.07/1800.01 c Original Problem :
1800.07/1800.01 c Problem name : HOME/instance-2700597-1278535769.wbo
1800.07/1800.01 c Variables : 1557 (849 binary, 0 integer, 0 implicit integer, 708 continuous)
1800.07/1800.01 c Constraints : 1464 initial, 1464 maximal
1800.07/1800.01 c Presolved Problem :
1800.07/1800.01 c Problem name : t_HOME/instance-2700597-1278535769.wbo
1800.07/1800.01 c Variables : 1557 (849 binary, 0 integer, 0 implicit integer, 708 continuous)
1800.07/1800.01 c Constraints : 1464 initial, 6982 maximal
1800.07/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c probing : 0.02 0 0 0 0 0 0 0 0
1800.07/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c linear : 0.01 0 0 0 708 0 0 0 0
1800.07/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.01 c root node : - 0 - - 0 - - - -
1800.07/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.01 c integral : 0 0 0 2665659 0 0 0 0 0 295786
1800.07/1800.01 c indicator : 708 0 4190077 2517762 0 1818 9910049 0 0 0
1800.07/1800.01 c knapsack : 1 6 4188974 2517766 0 0 0 0 0 0
1800.07/1800.01 c setppc : 47 6 4188966 2517762 0 5022 1346440 0 0 0
1800.07/1800.01 c linear : 708 6 4183941 2517762 0 6194 2153058 929430 0 0
1800.07/1800.01 c logicor : 0+ 0 957922 0 0 4244 717088 0 0 0
1800.07/1800.01 c countsols : 0 0 0 2400277 0 0 0 0 0 0
1800.07/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.01 c integral : 8.59 0.00 0.00 8.59 0.00
1800.07/1800.01 c indicator : 147.65 0.00 38.15 109.50 0.00
1800.07/1800.01 c knapsack : 42.84 0.00 42.84 0.00 0.00
1800.07/1800.01 c setppc : 5.07 0.00 4.45 0.62 0.00
1800.07/1800.01 c linear : 34.02 0.00 15.97 18.05 0.00
1800.07/1800.01 c logicor : 12.85 0.00 12.85 0.00 0.00
1800.07/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.01 c vbounds : 0.00 2 0 0
1800.07/1800.01 c rootredcost : 0.00 8 0 0
1800.07/1800.01 c pseudoobj : 59.39 4226329 35737 4764428
1800.07/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.01 c propagation : 2.16 51197 48514 398341 27.1 30133 3.1 -
1800.07/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.01 c pseudo solution : 0.38 2739 2739 27210 27.3 2612 3.0 -
1800.07/1800.01 c applied globally : - - - 281909 22.3 - - -
1800.07/1800.01 c applied locally : - - - 0 0.0 - - -
1800.07/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.01 c cut pool : 0.00 3 - - 0 - (maximal pool size: 318)
1800.07/1800.01 c redcost : 73.69 2670266 0 3296077 0 0
1800.07/1800.01 c impliedbounds : 0.00 4 0 0 0 0
1800.07/1800.01 c intobj : 0.00 0 0 0 0 0
1800.07/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.01 c gomory : 0.02 4 0 0 370 0
1800.07/1800.01 c strongcg : 0.00 4 0 0 0 0
1800.07/1800.01 c cmir : 0.02 4 0 0 0 0
1800.07/1800.01 c flowcover : 0.00 4 0 0 0 0
1800.07/1800.01 c clique : 0.00 4 0 0 0 0
1800.07/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.01 c mcf : 0.00 1 0 0 0 0
1800.07/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.01 c Pricers : Time Calls Vars
1800.07/1800.01 c problem variables: 0.00 0 0
1800.07/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.01 c relpscost : 8.55 147893 0 0 0 0 295786
1800.07/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.01 c inference : 137.47 2400269 0 0 0 0 4800538
1800.07/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.01 c random : 0.00 0 0 0 0 0 0
1800.07/1800.01 c Primal Heuristics : Time Calls Found
1800.07/1800.01 c LP solutions : 0.91 - 8
1800.07/1800.01 c pseudo solutions : 0.00 - 0
1800.07/1800.01 c oneopt : 0.02 8 0
1800.07/1800.01 c intshifting : 0.05 16 0
1800.07/1800.01 c crossover : 0.23 19 0
1800.07/1800.01 c feaspump : 0.32 71 0
1800.07/1800.01 c guideddiving : 16.84 44251 0
1800.07/1800.01 c fracdiving : 16.83 44633 0
1800.07/1800.01 c linesearchdiving : 17.34 44634 0
1800.07/1800.01 c coefdiving : 17.94 44634 0
1800.07/1800.01 c pscostdiving : 16.68 44634 0
1800.07/1800.01 c veclendiving : 17.17 44634 0
1800.07/1800.01 c rootsoldiving : 18.54 44627 0
1800.07/1800.01 c objpscostdiving : 18.83 44627 0
1800.07/1800.01 c trivial : 0.00 2 0
1800.07/1800.01 c simplerounding : 0.31 0 0
1800.07/1800.01 c zirounding : 0.01 1000 0
1800.07/1800.01 c rounding : 0.07 5326 0
1800.07/1800.01 c shifting : 0.55 1641 0
1800.07/1800.01 c twoopt : 0.00 0 0
1800.07/1800.01 c fixandinfer : 0.00 0 0
1800.07/1800.01 c intdiving : 0.00 0 0
1800.07/1800.01 c actconsdiving : 0.00 0 0
1800.07/1800.01 c octane : 0.00 0 0
1800.07/1800.01 c rens : 0.01 1 0
1800.07/1800.01 c rins : 0.00 0 0
1800.07/1800.01 c localbranching : 0.00 0 0
1800.07/1800.01 c mutation : 0.00 0 0
1800.07/1800.01 c dins : 0.00 0 0
1800.07/1800.01 c undercover : 0.00 0 0
1800.07/1800.01 c nlp : 0.00 0 0
1800.07/1800.01 c trysol : 13.37 46406 0
1800.07/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.01 c dual LP : 672.85 370146 3025480 8.17 4496.51
1800.07/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.01 c diving/probing LP: 0.29 166 1379 8.31 4755.17
1800.07/1800.01 c strong branching : 7.04 7900 89777 11.36 12752.41
1800.07/1800.01 c (at root node) : - 33 2170 65.76 -
1800.07/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.01 c B&B Tree :
1800.07/1800.01 c number of runs : 1
1800.07/1800.01 c nodes : 2586032
1800.07/1800.01 c nodes (total) : 2586032
1800.07/1800.01 c nodes left : 2050851
1800.07/1800.01 c max depth : 423
1800.07/1800.01 c max depth (total): 423
1800.07/1800.01 c backtracks : 67152 (2.6%)
1800.07/1800.01 c delayed cutoffs : 17892
1800.07/1800.01 c repropagations : 48626 (2304022 domain reductions, 17892 cutoffs)
1800.07/1800.01 c avg switch length: 2.85
1800.07/1800.01 c switching time : 72.21
1800.07/1800.01 c Solution :
1800.07/1800.01 c Solutions found : 8 (8 improvements)
1800.07/1800.01 c First Solution : +4.00000000000000e+01 (in run 1, after 74540 nodes, 44.05 seconds, depth 219, found by <relaxation>)
1800.07/1800.01 c Primal Bound : +2.10000000000000e+01 (in run 1, after 2403235 nodes, 1553.86 seconds, depth 57, found by <relaxation>)
1800.07/1800.01 c Dual Bound : +0.00000000000000e+00
1800.07/1800.01 c Gap : infinite
1800.07/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.01 c Root Iterations : 184
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700597-1278535769/watcher-2700597-1278535769 -o /tmp/evaluation-result-2700597-1278535769/solver-2700597-1278535769 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700597-1278535769.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.72 3/178 20489
/proc/meminfo: memFree=27521740/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=10968 CPUtime=0
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 1665 0 0 0 0 0 0 0 24 0 1 0 21789168 11231232 1585 4089446400 4194304 9819077 140736825054608 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20489/statm: 2742 1585 392 1374 0 1363 0
[startup+0.06677 s]
/proc/loadavg: 2.00 2.00 1.72 3/178 20489
/proc/meminfo: memFree=27521740/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=24920 CPUtime=0.06
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 6727 0 0 0 5 1 0 0 24 0 1 0 21789168 25518080 4714 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20489/statm: 6230 4714 660 1374 0 4851 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 24920
[startup+0.100761 s]
/proc/loadavg: 2.00 2.00 1.72 3/178 20489
/proc/meminfo: memFree=27521740/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=25212 CPUtime=0.09
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 6906 0 0 0 7 2 0 0 24 0 1 0 21789168 25817088 4828 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20489/statm: 6303 4828 678 1374 0 4924 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25212
[startup+0.300726 s]
/proc/loadavg: 2.00 2.00 1.72 3/178 20489
/proc/meminfo: memFree=27521740/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=26956 CPUtime=0.29
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 10800 0 0 0 26 3 0 0 25 0 1 0 21789168 27602944 5572 4089446400 4194304 9819077 140736825054608 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 6739 5572 711 1374 0 5360 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26956
[startup+0.700659 s]
/proc/loadavg: 2.00 2.00 1.72 3/178 20489
/proc/meminfo: memFree=27521740/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=27600 CPUtime=0.69
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 13495 0 0 0 65 4 0 0 25 0 1 0 21789168 28262400 5571 4089446400 4194304 9819077 140736825054608 18446744073709551615 6362696 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 6900 5571 712 1374 0 5521 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27600
[startup+1.50049 s]
/proc/loadavg: 2.00 2.00 1.72 3/179 20490
/proc/meminfo: memFree=27500156/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=26620 CPUtime=1.49
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 16337 0 0 0 143 6 0 0 25 0 1 0 21789168 27258880 5566 4089446400 4194304 9819077 140736825054608 18446744073709551615 7233530 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 6655 5566 712 1374 0 5276 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26620
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 1.72 3/179 20490
/proc/meminfo: memFree=27499772/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=30044 CPUtime=3.09
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 18498 0 0 0 294 15 0 0 25 0 1 0 21789168 30765056 6324 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 7511 6324 712 1374 0 6132 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30044
[startup+6.30059 s]
/proc/loadavg: 2.00 2.00 1.72 3/179 20490
/proc/meminfo: memFree=27487992/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=36400 CPUtime=6.29
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 29252 0 0 0 592 37 0 0 25 0 1 0 21789168 37273600 7731 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 9100 7731 712 1374 0 7721 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36400
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.72 3/179 20491
/proc/meminfo: memFree=27469508/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=46892 CPUtime=12.69
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 56353 0 0 0 1185 84 0 0 25 0 1 0 21789168 48017408 10345 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 11723 10345 712 1374 0 10344 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46892
[startup+25.5009 s]
/proc/loadavg: 2.00 2.00 1.72 3/179 20519
/proc/meminfo: memFree=29839148/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=68404 CPUtime=25.49
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 116348 0 0 0 2377 172 0 0 25 0 1 0 21789168 70045696 15813 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 17101 15813 712 1374 0 15722 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68404
[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 1.73 3/179 20519
/proc/meminfo: memFree=29710968/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=113372 CPUtime=51.09
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 215720 0 0 0 4771 338 0 0 25 0 1 0 21789168 116092928 26713 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 28343 26713 717 1374 0 26964 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 113372
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.74 3/179 20521
/proc/meminfo: memFree=29560828/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=183444 CPUtime=102.3
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 532756 0 0 0 9553 677 0 0 25 0 1 0 21789168 187846656 44562 4089446400 4194304 9819077 140736825054608 18446744073709551615 7224824 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 45959 44564 717 1374 0 44580 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 183444
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.75 3/179 20523
/proc/meminfo: memFree=29376508/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=266236 CPUtime=162.29
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 854933 0 0 0 15188 1041 0 0 25 0 1 0 21789168 272625664 64508 4089446400 4194304 9819077 140736825054608 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 66559 64508 717 1374 0 65180 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 266236
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.76 3/179 20523
/proc/meminfo: memFree=29210656/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=351708 CPUtime=222.3
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 1139415 0 0 0 20798 1432 0 0 25 0 1 0 21789168 360148992 86247 4089446400 4194304 9819077 140736825054608 18446744073709551615 6372188 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 87976 86248 717 1374 0 86597 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 351708
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/179 20525
/proc/meminfo: memFree=29049512/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=439128 CPUtime=282.3
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 1363361 0 0 0 26420 1810 0 0 25 0 1 0 21789168 449667072 108282 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 109782 108282 717 1374 0 108403 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 439128
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.79 3/179 20527
/proc/meminfo: memFree=28893320/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=532828 CPUtime=342.3
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 1618387 0 0 0 32048 2182 0 0 25 0 1 0 21789168 545615872 130000 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 133207 130000 717 1374 0 131828 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 532828
[startup+402.3 s]
/proc/loadavg: 2.03 2.01 1.80 3/179 20529
/proc/meminfo: memFree=28758096/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=615552 CPUtime=402.3
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 1916974 0 0 0 37669 2561 0 0 25 0 1 0 21789168 630325248 151002 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 153888 151002 717 1374 0 152509 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 615552
[startup+462.301 s]
/proc/loadavg: 2.01 2.01 1.82 3/179 20531
/proc/meminfo: memFree=28610100/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=702892 CPUtime=462.31
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 2145505 0 0 0 43286 2945 0 0 25 0 1 0 21789168 719761408 173279 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 175723 173279 717 1374 0 174344 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 702892
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.82 3/179 20531
/proc/meminfo: memFree=28462236/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=792616 CPUtime=522.31
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 2338854 0 0 0 48926 3305 0 0 25 0 1 0 21789168 811638784 196043 4089446400 4194304 9819077 140736825054608 18446744073709551615 6667046 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 198154 196043 717 1374 0 196775 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 792616
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/179 20533
/proc/meminfo: memFree=28314372/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=880612 CPUtime=582.31
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 2535841 0 0 0 54560 3671 0 0 25 0 1 0 21789168 901746688 218355 4089446400 4194304 9819077 140736825054608 18446744073709551615 6386080 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 220153 218355 717 1374 0 218774 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 880612
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.83 3/179 20535
/proc/meminfo: memFree=28180156/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=967308 CPUtime=642.32
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 2723519 0 0 0 60205 4027 0 0 25 0 1 0 21789168 990523392 240359 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 241827 240359 717 1374 0 240448 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 967308
[startup+702.3 s]
################
# More data... #
################
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 3625431 0 0 0 93946 6286 0 0 25 0 1 0 21789168 1573384192 380738 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 384127 380738 717 1374 0 382748 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1536508
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 20556
/proc/meminfo: memFree=27098032/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=1630844 CPUtime=1062.33
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 3753626 0 0 0 99563 6670 0 0 25 0 1 0 21789168 1669984256 404695 4089446400 4194304 9819077 140736825054608 18446744073709551615 6592672 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 407711 404695 717 1374 0 406332 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1630844
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 20556
/proc/meminfo: memFree=26971364/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=1723164 CPUtime=1122.33
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 3921899 0 0 0 105183 7050 0 0 25 0 1 0 21789168 1764519936 428123 4089446400 4194304 9819077 140736825054608 18446744073709551615 6568874 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 430791 428123 717 1374 0 429412 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1723164
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 20558
/proc/meminfo: memFree=26866036/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=1764756 CPUtime=1182.33
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 4144007 0 0 0 110798 7435 0 0 25 0 1 0 21789168 1807110144 438638 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 441189 438638 721 1374 0 439810 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1764756
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 20560
/proc/meminfo: memFree=26792188/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=1784880 CPUtime=1242.34
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 4305297 0 0 0 116427 7807 0 0 25 0 1 0 21789168 1827717120 443483 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 446220 443483 721 1374 0 444841 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 1784880
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 20562
/proc/meminfo: memFree=26668500/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=1850452 CPUtime=1302.34
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 4507989 0 0 0 122051 8183 0 0 25 0 1 0 21789168 1894862848 460008 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 462613 460008 721 1374 0 461234 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1850452
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 1.91 3/179 20564
/proc/meminfo: memFree=26538744/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=1936260 CPUtime=1362.34
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 4725109 0 0 0 127674 8560 0 0 25 0 1 0 21789168 1982730240 481678 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 484065 481678 721 1374 0 482686 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1936260
[startup+1422.31 s]
/proc/loadavg: 2.08 2.03 1.92 3/179 20564
/proc/meminfo: memFree=26486864/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=1942532 CPUtime=1422.35
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 4903400 0 0 0 133314 8921 0 0 25 0 1 0 21789168 1989152768 483123 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 485633 483123 721 1374 0 484254 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1942532
[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 1.92 3/179 20566
/proc/meminfo: memFree=26431988/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=1958176 CPUtime=1482.34
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 5107043 0 0 0 138939 9295 0 0 25 0 1 0 21789168 2005172224 486854 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 489544 486854 721 1374 0 488165 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1958176
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 20568
/proc/meminfo: memFree=26346992/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=2006076 CPUtime=1542.34
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 5389419 0 0 0 144555 9679 0 0 25 0 1 0 21789168 2054221824 498513 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 501519 498513 721 1374 0 500140 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2006076
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/179 20570
/proc/meminfo: memFree=26231748/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=2089328 CPUtime=1602.35
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 5640242 0 0 0 150162 10073 0 0 25 0 1 0 21789168 2139471872 519064 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 522332 519064 721 1374 0 520953 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 2089328
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 20572
/proc/meminfo: memFree=26120456/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=2164116 CPUtime=1662.36
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 5886958 0 0 0 155782 10454 0 0 25 0 1 0 21789168 2216054784 537818 4089446400 4194304 9819077 140736825054608 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 541029 537818 721 1374 0 539650 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 2164116
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 20572
/proc/meminfo: memFree=26077004/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=2181852 CPUtime=1722.35
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 6160268 0 0 0 161397 10838 0 0 25 0 1 0 21789168 2234216448 541852 4089446400 4194304 9819077 140736825054608 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 545463 541852 721 1374 0 544084 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 2181852
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 20577
/proc/meminfo: memFree=25972776/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=2255948 CPUtime=1782.35
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 6436504 0 0 0 167011 11224 0 0 25 0 1 0 21789168 2310090752 560183 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 563987 560183 721 1374 0 562608 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 2255948
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 20578
/proc/meminfo: memFree=25939072/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=2314340 CPUtime=1800.07
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 6505074 0 0 0 168673 11334 0 0 25 0 1 0 21789168 2369884160 566269 4089446400 4194304 9819077 140736825054608 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/20489/statm: 578585 566269 721 1374 0 577206 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2314340
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -20489
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 20579
/proc/meminfo: memFree=25938444/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=2314340 CPUtime=1801.46
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 6505075 0 0 0 168812 11334 0 0 25 0 1 0 21789168 2369884160 566270 4089446400 4194304 9819077 140736825054608 18446744073709551615 6162881 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/20489/statm: 578585 566270 722 1374 0 577206 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 2314340
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 20579
/proc/meminfo: memFree=25937808/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=2314340 CPUtime=1801.87
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 6505075 0 0 0 168853 11334 0 0 25 0 1 0 21789168 2369884160 566270 4089446400 4194304 9819077 140736825054608 18446744073709551615 6179972 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/20489/statm: 578585 566270 722 1374 0 577206 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 2314340
[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 20579
/proc/meminfo: memFree=25937808/32951124 swapFree=67111528/67111528
[pid=20489] ppid=20487 vsize=2314340 CPUtime=1802.06
/proc/20489/stat : 20489 (pbscip.linux.x8) R 20487 20489 19312 0 -1 4202496 6505075 0 0 0 168872 11334 0 0 25 0 1 0 21789168 2369884160 566270 4089446400 4194304 9819077 140736825054608 18446744073709551615 6180098 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/20489/statm: 578585 566270 722 1374 0 577206 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 2314340
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.15
CPU user time (s): 1688.73
CPU system time (s): 113.417
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2314440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1688.73
system time used= 113.417
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6505075
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 21447
runsolver used 2.48062 second user time and 5.73913 second system time
The end
Begin job on node141 at 2010-07-07 22:49:29
IDJOB=2700597
IDBENCH=79442
IDSOLVER=1205
FILE ID=node141/2700597-1278535769
PBS_JOBID= 11239196
Free space on /tmp= 73644 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/wcsp/coloring/normalized-myciel5g-3_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700597-1278535769/watcher-2700597-1278535769 -o /tmp/evaluation-result-2700597-1278535769/solver-2700597-1278535769 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700597-1278535769.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2db150696fc8aa7bc9f51554db7714aa
RANDOM SEED=1960375342
node141.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.839
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.839
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5265.34
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.839
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.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.839
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.839
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.839
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.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.839
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.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.839
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 27522516 kB
Buffers: 144828 kB
Cached: 2651436 kB
SwapCached: 0 kB
Active: 3669772 kB
Inactive: 1600736 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 27522516 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6248 kB
Writeback: 0 kB
AnonPages: 2474712 kB
Mapped: 16864 kB
Slab: 87940 kB
PageTables: 9564 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 2645136 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= 73636 MiB
End job on node141 at 2010-07-07 23:19:32