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-2693803-1277893441.wbo>
0.00/0.03 c original problem has 10764 variables (10632 bin, 0 int, 0 impl, 132 cont) and 338 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 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.07 c presolving:
0.00/0.07 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 132 impls, 35 clqs
0.00/0.08 c (round 2) 0 del vars, 1 del conss, 132 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 132 impls, 35 clqs
0.00/0.09 c (round 3) 0 del vars, 1 del conss, 132 chg bounds, 0 chg sides, 0 chg coeffs, 38 upgd conss, 132 impls, 35 clqs
0.08/0.09 c (round 4) 0 del vars, 1 del conss, 132 chg bounds, 0 chg sides, 0 chg coeffs, 73 upgd conss, 132 impls, 35 clqs
0.09/0.18 c (0.1s) probing: 101/10632 (0.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (5 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 132 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 132 implications, 35 cliques
0.09/0.18 c presolved problem has 10764 variables (10632 bin, 0 int, 0 impl, 132 cont) and 337 constraints
0.09/0.18 c 132 constraints of type <indicator>
0.09/0.18 c 35 constraints of type <setppc>
0.09/0.18 c 132 constraints of type <linear>
0.09/0.18 c 38 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.19 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.19 c 0.1s| 1 | 2 | 0 | - | 19M| 0 | - | 10k| 337 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
8.19/8.22 c 8.1s| 10000 | 9998 | 0 | 0.0 | 24M|7975 | - | 10k| 344 | 0 | 0 | 0 | 8 | 0 | 0.000000e+00 | -- | Inf
14.49/14.52 c 14.3s| 20000 | 19986 | 0 | 0.0 | 26M|8785 | - | 10k| 378 | 0 | 0 | 0 | 68 | 0 | 0.000000e+00 | -- | Inf
21.29/21.34 c 21.1s| 30000 | 29978 | 0 | 0.0 | 29M|8785 | - | 10k| 372 | 0 | 0 | 0 | 108 | 0 | 0.000000e+00 | -- | Inf
28.39/28.43 c 28.1s| 40000 | 39969 | 0 | 0.0 | 32M|8785 | - | 10k| 362 | 0 | 0 | 0 | 153 | 0 | 0.000000e+00 | -- | Inf
35.89/35.97 c 35.6s| 50000 | 49949 | 0 | 0.0 | 35M|8785 | - | 10k| 380 | 0 | 0 | 0 | 243 | 0 | 0.000000e+00 | -- | Inf
42.29/42.37 c 41.9s| 60000 | 59939 | 0 | 0.0 | 38M|8785 | - | 10k| 375 | 0 | 0 | 0 | 293 | 0 | 0.000000e+00 | -- | Inf
48.89/48.98 c 48.5s| 70000 | 69927 | 0 | 0.0 | 41M|8785 | - | 10k| 391 | 0 | 0 | 0 | 353 | 0 | 0.000000e+00 | -- | Inf
56.79/56.87 c 56.3s| 80000 | 79916 | 0 | 0.0 | 44M|8785 | - | 10k| 382 | 0 | 0 | 0 | 403 | 0 | 0.000000e+00 | -- | Inf
63.49/63.54 c 62.9s| 90000 | 89908 | 0 | 0.0 | 47M|8785 | - | 10k| 380 | 0 | 0 | 0 | 443 | 0 | 0.000000e+00 | -- | Inf
70.10/70.18 c 69.5s|100000 | 99902 | 0 | 0.0 | 50M|8785 | - | 10k| 374 | 0 | 0 | 0 | 473 | 0 | 0.000000e+00 | -- | Inf
78.19/78.28 c 77.6s|110000 |109890 | 0 | 0.0 | 53M|8785 | - | 10k| 352 | 0 | 0 | 0 | 533 | 0 | 0.000000e+00 | -- | Inf
86.19/86.24 c 85.5s|120000 |119878 | 0 | 0.0 | 56M|8785 | - | 10k| 355 | 0 | 0 | 0 | 593 | 0 | 0.000000e+00 | -- | Inf
93.59/93.67 c 92.8s|130000 |129870 | 0 | 0.0 | 59M|8785 | - | 10k| 370 | 0 | 0 | 0 | 633 | 0 | 0.000000e+00 | -- | Inf
101.10/101.19 c 100s|140000 |139862 | 0 | 0.0 | 62M|8785 | - | 10k| 372 | 0 | 0 | 0 | 673 | 0 | 0.000000e+00 | -- | Inf
109.39/109.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.39/109.40 c 108s|150000 |149856 | 0 | 0.0 | 65M|8785 | - | 10k| 356 | 0 | 0 | 0 | 703 | 0 | 0.000000e+00 | -- | Inf
117.29/117.38 c 116s|160000 |159846 | 0 | 0.0 | 68M|8785 | - | 10k| 382 | 0 | 0 | 0 | 753 | 0 | 0.000000e+00 | -- | Inf
124.60/124.62 c 124s|170000 |169836 | 0 | 0.0 | 71M|8785 | - | 10k| 366 | 0 | 0 | 0 | 803 | 0 | 0.000000e+00 | -- | Inf
133.29/133.33 c 132s|180000 |179824 | 0 | 0.0 | 74M|8785 | - | 10k| 389 | 0 | 0 | 0 | 863 | 0 | 0.000000e+00 | -- | Inf
140.80/140.82 c 140s|190000 |189812 | 0 | 0.0 | 77M|8785 | - | 10k| 387 | 0 | 0 | 0 | 923 | 0 | 0.000000e+00 | -- | Inf
149.29/149.30 c 148s|200000 |199808 | 0 | 0.0 | 80M|8785 | - | 10k| 389 | 0 | 0 | 0 | 943 | 0 | 0.000000e+00 | -- | Inf
156.69/156.72 c 155s|210000 |209798 | 0 | 0.0 | 83M|8785 | - | 10k| 413 | 0 | 0 | 0 | 993 | 0 | 0.000000e+00 | -- | Inf
165.39/165.46 c 164s|220000 |219794 | 0 | 0.0 | 85M|8785 | - | 10k| 403 | 0 | 0 | 0 |1013 | 0 | 0.000000e+00 | -- | Inf
173.09/173.11 c 172s|230000 |229788 | 0 | 0.0 | 88M|8785 | - | 10k| 392 | 0 | 0 | 0 |1043 | 0 | 0.000000e+00 | -- | Inf
181.50/181.55 c 180s|240000 |239778 | 0 | 0.0 | 91M|8785 | - | 10k| 410 | 0 | 0 | 0 |1093 | 0 | 0.000000e+00 | -- | Inf
189.50/189.55 c 188s|250000 |249770 | 0 | 0.0 | 94M|8785 | - | 10k| 419 | 0 | 0 | 0 |1133 | 0 | 0.000000e+00 | -- | Inf
196.90/196.98 c 195s|260000 |259762 | 0 | 0.0 | 97M|8785 | - | 10k| 424 | 0 | 0 | 0 |1173 | 0 | 0.000000e+00 | -- | Inf
205.60/205.64 c 204s|270000 |269756 | 0 | 0.0 | 100M|8785 | - | 10k| 432 | 0 | 0 | 0 |1203 | 0 | 0.000000e+00 | -- | Inf
213.49/213.58 c 212s|280000 |279752 | 0 | 0.0 | 102M|8785 | - | 10k| 428 | 0 | 0 | 0 |1223 | 0 | 0.000000e+00 | -- | Inf
221.00/221.01 c 219s|290000 |289746 | 0 | 0.0 | 105M|8785 | - | 10k| 431 | 0 | 0 | 0 |1253 | 0 | 0.000000e+00 | -- | Inf
229.30/229.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.30/229.36 c 227s|300000 |299738 | 0 | 0.0 | 108M|8785 | - | 10k| 426 | 0 | 0 | 0 |1293 | 0 | 0.000000e+00 | -- | Inf
237.39/237.47 c 236s|310000 |309734 | 0 | 0.0 | 111M|8785 | - | 10k| 426 | 0 | 0 | 0 |1313 | 0 | 0.000000e+00 | -- | Inf
245.20/245.25 c 243s|320000 |319730 | 0 | 0.0 | 113M|8785 | - | 10k| 429 | 0 | 0 | 0 |1333 | 0 | 0.000000e+00 | -- | Inf
252.50/252.54 c 250s|330000 |329724 | 0 | 0.0 | 116M|8785 | - | 10k| 438 | 0 | 0 | 0 |1363 | 0 | 0.000000e+00 | -- | Inf
260.40/260.43 c 258s|340000 |339712 | 0 | 0.0 | 119M|8785 | - | 10k| 468 | 0 | 0 | 0 |1423 | 0 | 0.000000e+00 | -- | Inf
268.50/268.56 c 266s|350000 |349706 | 0 | 0.0 | 121M|8785 | - | 10k| 468 | 0 | 0 | 0 |1453 | 0 | 0.000000e+00 | -- | Inf
276.49/276.54 c 274s|360000 |359702 | 0 | 0.0 | 124M|8785 | - | 10k| 462 | 0 | 0 | 0 |1473 | 0 | 0.000000e+00 | -- | Inf
284.10/284.13 c 282s|370000 |369692 | 0 | 0.0 | 127M|8785 | - | 10k| 497 | 0 | 0 | 0 |1523 | 0 | 0.000000e+00 | -- | Inf
291.50/291.54 c 289s|380000 |379688 | 0 | 0.0 | 129M|8785 | - | 10k| 470 | 0 | 0 | 0 |1543 | 0 | 0.000000e+00 | -- | Inf
299.60/299.69 c 297s|390000 |389680 | 0 | 0.0 | 132M|8785 | - | 10k| 490 | 0 | 0 | 0 |1593 | 0 | 0.000000e+00 | -- | Inf
307.90/307.94 c 305s|400000 |399675 | 0 | 0.0 | 135M|8785 | - | 10k| 483 | 0 | 0 | 0 |1621 | 0 | 0.000000e+00 | -- | Inf
315.80/315.80 c 313s|410000 |409671 | 0 | 0.0 | 138M|8785 | - | 10k| 485 | 0 | 0 | 0 |1641 | 0 | 0.000000e+00 | -- | Inf
323.20/323.24 c 321s|420000 |419667 | 0 | 0.0 | 140M|8785 | - | 10k| 476 | 0 | 0 | 0 |1661 | 0 | 0.000000e+00 | -- | Inf
331.10/331.17 c 328s|430000 |429659 | 0 | 0.0 | 143M|8785 | - | 10k| 485 | 0 | 0 | 0 |1701 | 0 | 0.000000e+00 | -- | Inf
339.51/339.56 c 337s|440000 |439653 | 0 | 0.0 | 146M|8785 | - | 10k| 495 | 0 | 0 | 0 |1731 | 0 | 0.000000e+00 | -- | Inf
347.40/347.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
347.40/347.44 c 345s|450000 |449649 | 0 | 0.0 | 148M|8785 | - | 10k| 494 | 0 | 0 | 0 |1751 | 0 | 0.000000e+00 | -- | Inf
355.41/355.49 c 353s|460000 |459639 | 0 | 0.0 | 151M|8785 | - | 10k| 514 | 0 | 0 | 0 |1801 | 0 | 0.000000e+00 | -- | Inf
363.90/363.96 c 361s|470000 |469625 | 0 | 0.0 | 154M|8785 | - | 10k| 529 | 0 | 0 | 0 |1871 | 0 | 0.000000e+00 | -- | Inf
372.30/372.37 c 369s|480000 |479619 | 0 | 0.0 | 156M|8785 | - | 10k| 515 | 0 | 0 | 0 |1901 | 0 | 0.000000e+00 | -- | Inf
380.40/380.46 c 377s|490000 |489613 | 0 | 0.0 | 159M|8785 | - | 10k| 516 | 0 | 0 | 0 |1931 | 0 | 0.000000e+00 | -- | Inf
388.00/388.02 c 385s|500000 |499609 | 0 | 0.0 | 162M|8785 | - | 10k| 511 | 0 | 0 | 0 |1951 | 0 | 0.000000e+00 | -- | Inf
395.30/395.34 c 392s|510000 |509605 | 0 | 0.0 | 164M|8785 | - | 10k| 502 | 0 | 0 | 0 |1971 | 0 | 0.000000e+00 | -- | Inf
404.50/404.51 c 401s|520000 |519597 | 0 | 0.0 | 167M|8785 | - | 10k| 514 | 0 | 0 | 0 |2011 | 0 | 0.000000e+00 | -- | Inf
412.71/412.74 c 409s|530000 |529593 | 0 | 0.0 | 170M|8785 | - | 10k| 512 | 0 | 0 | 0 |2031 | 0 | 0.000000e+00 | -- | Inf
420.61/420.60 c 417s|540000 |539587 | 0 | 0.0 | 173M|8785 | - | 10k| 522 | 0 | 0 | 0 |2061 | 0 | 0.000000e+00 | -- | Inf
428.01/428.09 c 425s|550000 |549579 | 0 | 0.0 | 175M|8785 | - | 10k| 504 | 0 | 0 | 0 |2101 | 0 | 0.000000e+00 | -- | Inf
436.81/436.82 c 433s|560000 |559565 | 0 | 0.0 | 178M|8785 | - | 10k| 531 | 0 | 0 | 0 |2171 | 0 | 0.000000e+00 | -- | Inf
445.00/445.09 c 442s|570000 |569556 | 0 | 0.0 | 181M|8785 | - | 10k| 557 | 0 | 0 | 0 |2221 | 0 | 0.000000e+00 | -- | Inf
452.91/452.91 c 449s|580000 |579550 | 0 | 0.0 | 183M|8785 | - | 10k| 550 | 0 | 0 | 0 |2251 | 0 | 0.000000e+00 | -- | Inf
460.61/460.67 c 457s|590000 |589544 | 0 | 0.0 | 186M|8785 | - | 10k| 534 | 0 | 0 | 0 |2281 | 0 | 0.000000e+00 | -- | Inf
469.21/469.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
469.21/469.29 c 466s|600000 |599532 | 0 | 0.0 | 189M|8785 | - | 10k| 564 | 0 | 0 | 0 |2341 | 0 | 0.000000e+00 | -- | Inf
477.61/477.66 c 474s|610000 |609524 | 0 | 0.0 | 192M|8785 | - | 10k| 577 | 0 | 0 | 0 |2381 | 0 | 0.000000e+00 | -- | Inf
485.50/485.50 c 482s|620000 |619520 | 0 | 0.0 | 194M|8785 | - | 10k| 560 | 0 | 0 | 0 |2401 | 0 | 0.000000e+00 | -- | Inf
492.91/492.91 c 489s|630000 |629516 | 0 | 0.0 | 197M|8785 | - | 10k| 545 | 0 | 0 | 0 |2421 | 0 | 0.000000e+00 | -- | Inf
502.11/502.13 c 498s|640000 |639502 | 0 | 0.0 | 200M|8785 | - | 10k| 586 | 0 | 0 | 0 |2491 | 0 | 0.000000e+00 | -- | Inf
510.70/510.76 c 507s|650000 |649494 | 0 | 0.0 | 203M|8785 | - | 10k| 583 | 0 | 0 | 0 |2531 | 0 | 0.000000e+00 | -- | Inf
519.01/519.07 c 515s|660000 |659488 | 0 | 0.0 | 205M|8785 | - | 10k| 572 | 0 | 0 | 0 |2561 | 0 | 0.000000e+00 | -- | Inf
526.81/526.87 c 523s|670000 |669484 | 0 | 0.0 | 208M|8785 | - | 10k| 557 | 0 | 0 | 0 |2581 | 0 | 0.000000e+00 | -- | Inf
535.40/535.48 c 531s|680000 |679468 | 0 | 0.0 | 211M|8785 | - | 10k| 593 | 0 | 0 | 0 |2661 | 0 | 0.000000e+00 | -- | Inf
543.91/543.91 c 540s|690000 |689464 | 0 | 0.0 | 213M|8785 | - | 10k| 576 | 0 | 0 | 0 |2681 | 0 | 0.000000e+00 | -- | Inf
552.50/552.50 c 548s|700000 |699452 | 0 | 0.0 | 216M|8785 | - | 10k| 605 | 0 | 0 | 0 |2741 | 0 | 0.000000e+00 | -- | Inf
560.40/560.49 c 556s|710000 |709448 | 0 | 0.0 | 219M|8785 | - | 10k| 567 | 0 | 0 | 0 |2761 | 0 | 0.000000e+00 | -- | Inf
568.91/568.93 c 564s|720000 |719432 | 0 | 0.0 | 222M|8785 | - | 10k| 618 | 0 | 0 | 0 |2841 | 0 | 0.000000e+00 | -- | Inf
577.51/577.54 c 573s|730000 |729426 | 0 | 0.0 | 224M|8785 | - | 10k| 617 | 0 | 0 | 0 |2871 | 0 | 0.000000e+00 | -- | Inf
585.81/585.84 c 581s|740000 |739422 | 0 | 0.0 | 227M|8785 | - | 10k| 608 | 0 | 0 | 0 |2891 | 0 | 0.000000e+00 | -- | Inf
593.41/593.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
593.41/593.47 c 589s|750000 |749418 | 0 | 0.0 | 230M|8785 | - | 10k| 605 | 0 | 0 | 0 |2911 | 0 | 0.000000e+00 | -- | Inf
600.71/600.70 c 596s|760000 |759410 | 0 | 0.0 | 232M|8785 | - | 10k| 626 | 0 | 0 | 0 |2951 | 0 | 0.000000e+00 | -- | Inf
609.81/609.84 c 605s|770000 |769394 | 0 | 0.0 | 235M|8785 | - | 10k| 661 | 0 | 0 | 0 |3031 | 0 | 0.000000e+00 | -- | Inf
618.12/618.18 c 613s|780000 |779390 | 0 | 0.0 | 238M|8785 | - | 10k| 649 | 0 | 0 | 0 |3051 | 0 | 0.000000e+00 | -- | Inf
626.51/626.56 c 622s|790000 |789384 | 0 | 0.0 | 240M|8785 | - | 10k| 649 | 0 | 0 | 0 |3081 | 0 | 0.000000e+00 | -- | Inf
634.51/634.51 c 630s|800000 |799376 | 0 | 0.0 | 243M|8785 | - | 10k| 648 | 0 | 0 | 0 |3121 | 0 | 0.000000e+00 | -- | Inf
642.31/642.31 c 637s|810000 |809364 | 0 | 0.0 | 246M|8785 | - | 10k| 644 | 0 | 0 | 0 |3181 | 0 | 0.000000e+00 | -- | Inf
650.02/650.10 c 645s|820000 |819352 | 0 | 0.0 | 249M|8785 | - | 10k| 681 | 0 | 0 | 0 |3241 | 0 | 0.000000e+00 | -- | Inf
658.41/658.45 c 653s|830000 |829348 | 0 | 0.0 | 251M|8785 | - | 10k| 666 | 0 | 0 | 0 |3261 | 0 | 0.000000e+00 | -- | Inf
666.52/666.57 c 661s|840000 |839340 | 0 | 0.0 | 254M|8785 | - | 10k| 684 | 0 | 0 | 0 |3301 | 0 | 0.000000e+00 | -- | Inf
674.61/674.65 c 669s|850000 |849336 | 0 | 0.0 | 257M|8785 | - | 10k| 665 | 0 | 0 | 0 |3321 | 0 | 0.000000e+00 | -- | Inf
682.31/682.36 c 677s|860000 |859330 | 0 | 0.0 | 259M|8785 | - | 10k| 657 | 0 | 0 | 0 |3351 | 0 | 0.000000e+00 | -- | Inf
690.61/690.61 c 685s|870000 |869320 | 0 | 0.0 | 262M|8785 | - | 10k| 683 | 0 | 0 | 0 |3401 | 0 | 0.000000e+00 | -- | Inf
700.21/700.21 c 695s|880000 |879306 | 0 | 0.0 | 265M|8785 | - | 10k| 722 | 0 | 0 | 0 |3471 | 0 | 0.000000e+00 | -- | Inf
708.32/708.31 c 703s|890000 |889300 | 0 | 0.0 | 267M|8785 | - | 10k| 686 | 0 | 0 | 0 |3501 | 0 | 0.000000e+00 | -- | Inf
716.21/716.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
716.21/716.29 c 711s|900000 |899292 | 0 | 0.0 | 270M|8785 | - | 10k| 680 | 0 | 0 | 0 |3541 | 0 | 0.000000e+00 | -- | Inf
724.01/724.05 c 718s|910000 |909282 | 0 | 0.0 | 273M|8785 | - | 10k| 686 | 0 | 0 | 0 |3591 | 0 | 0.000000e+00 | -- | Inf
732.71/732.76 c 727s|920000 |919276 | 0 | 0.0 | 275M|8785 | - | 10k| 699 | 0 | 0 | 0 |3621 | 0 | 0.000000e+00 | -- | Inf
741.22/741.25 c 736s|930000 |929266 | 0 | 0.0 | 278M|8785 | - | 10k| 716 | 0 | 0 | 0 |3671 | 0 | 0.000000e+00 | -- | Inf
749.12/749.12 c 743s|940000 |939260 | 0 | 0.0 | 281M|8785 | - | 10k| 702 | 0 | 0 | 0 |3701 | 0 | 0.000000e+00 | -- | Inf
756.62/756.60 c 751s|950000 |949256 | 0 | 0.0 | 283M|8785 | - | 10k| 684 | 0 | 0 | 0 |3721 | 0 | 0.000000e+00 | -- | Inf
764.82/764.82 c 759s|960000 |959248 | 0 | 0.0 | 286M|8785 | - | 10k| 710 | 0 | 0 | 0 |3761 | 0 | 0.000000e+00 | -- | Inf
773.62/773.66 c 768s|970000 |969242 | 0 | 0.0 | 289M|8785 | - | 10k| 720 | 0 | 0 | 0 |3791 | 0 | 0.000000e+00 | -- | Inf
781.71/781.75 c 776s|980000 |979238 | 0 | 0.0 | 292M|8785 | - | 10k| 710 | 0 | 0 | 0 |3811 | 0 | 0.000000e+00 | -- | Inf
789.41/789.42 c 783s|990000 |989234 | 0 | 0.0 | 294M|8785 | - | 10k| 708 | 0 | 0 | 0 |3831 | 0 | 0.000000e+00 | -- | Inf
797.42/797.48 c 791s| 1000k|999222 | 0 | 0.0 | 297M|8785 | - | 10k| 726 | 0 | 0 | 0 |3891 | 0 | 0.000000e+00 | -- | Inf
806.11/806.14 c 800s| 1010k| 1009k| 0 | 0.0 | 300M|8785 | - | 10k| 725 | 0 | 0 | 0 |3921 | 0 | 0.000000e+00 | -- | Inf
814.72/814.72 c 808s| 1020k| 1019k| 0 | 0.0 | 302M|8785 | - | 10k| 728 | 0 | 0 | 0 |3951 | 0 | 0.000000e+00 | -- | Inf
822.51/822.54 c 816s| 1030k| 1029k| 0 | 0.0 | 305M|8785 | - | 10k| 717 | 0 | 0 | 0 |3971 | 0 | 0.000000e+00 | -- | Inf
830.42/830.44 c 824s| 1040k| 1039k| 0 | 0.0 | 308M|8785 | - | 10k| 724 | 0 | 0 | 0 |4001 | 0 | 0.000000e+00 | -- | Inf
838.02/838.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
838.02/838.01 c 832s| 1050k| 1049k| 0 | 0.0 | 310M|8785 | - | 10k| 729 | 0 | 0 | 0 |4051 | 0 | 0.000000e+00 | -- | Inf
846.72/846.79 c 840s| 1060k| 1059k| 0 | 0.0 | 313M|8785 | - | 10k| 746 | 0 | 0 | 0 |4091 | 0 | 0.000000e+00 | -- | Inf
855.12/855.17 c 849s| 1070k| 1069k| 0 | 0.0 | 316M|8785 | - | 10k| 737 | 0 | 0 | 0 |4121 | 0 | 0.000000e+00 | -- | Inf
863.31/863.39 c 857s| 1080k| 1079k| 0 | 0.0 | 318M|8785 | - | 10k| 741 | 0 | 0 | 0 |4151 | 0 | 0.000000e+00 | -- | Inf
871.51/871.53 c 865s| 1090k| 1089k| 0 | 0.0 | 321M|8785 | - | 10k| 761 | 0 | 0 | 0 |4221 | 0 | 0.000000e+00 | -- | Inf
879.01/879.02 c 872s| 1100k| 1099k| 0 | 0.0 | 324M|8785 | - | 10k| 755 | 0 | 0 | 0 |4281 | 0 | 0.000000e+00 | -- | Inf
887.81/887.81 c 881s| 1110k| 1109k| 0 | 0.0 | 326M|8785 | - | 10k| 739 | 0 | 0 | 0 |4301 | 0 | 0.000000e+00 | -- | Inf
896.02/896.10 c 889s| 1120k| 1119k| 0 | 0.0 | 329M|8785 | - | 10k| 740 | 0 | 0 | 0 |4321 | 0 | 0.000000e+00 | -- | Inf
904.01/904.00 c 897s| 1130k| 1129k| 0 | 0.0 | 332M|8785 | - | 10k| 741 | 0 | 0 | 0 |4341 | 0 | 0.000000e+00 | -- | Inf
911.72/911.78 c 905s| 1140k| 1139k| 0 | 0.0 | 334M|8785 | - | 10k| 741 | 0 | 0 | 0 |4361 | 0 | 0.000000e+00 | -- | Inf
919.22/919.22 c 912s| 1150k| 1149k| 0 | 0.0 | 337M|8785 | - | 10k| 729 | 0 | 0 | 0 |4381 | 0 | 0.000000e+00 | -- | Inf
927.92/927.99 c 921s| 1160k| 1159k| 0 | 0.0 | 340M|8785 | - | 10k| 741 | 0 | 0 | 0 |4441 | 0 | 0.000000e+00 | -- | Inf
936.31/936.32 c 929s| 1170k| 1169k| 0 | 0.0 | 342M|8785 | - | 10k| 739 | 0 | 0 | 0 |4461 | 0 | 0.000000e+00 | -- | Inf
944.31/944.35 c 937s| 1180k| 1179k| 0 | 0.0 | 345M|8785 | - | 10k| 749 | 0 | 0 | 0 |4491 | 0 | 0.000000e+00 | -- | Inf
952.32/952.33 c 945s| 1190k| 1189k| 0 | 0.0 | 348M|8785 | - | 10k| 747 | 0 | 0 | 0 |4511 | 0 | 0.000000e+00 | -- | Inf
960.23/960.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
960.23/960.21 c 953s| 1200k| 1199k| 0 | 0.0 | 350M|8785 | - | 10k| 747 | 0 | 0 | 0 |4541 | 0 | 0.000000e+00 | -- | Inf
968.22/968.22 c 961s| 1210k| 1209k| 0 | 0.0 | 353M|8837 | - | 10k| 762 | 0 | 0 | 0 |4601 | 0 | 0.000000e+00 | -- | Inf
976.73/976.79 c 969s| 1220k| 1219k| 0 | 0.0 | 356M|8837 | - | 10k| 754 | 0 | 0 | 0 |4631 | 0 | 0.000000e+00 | -- | Inf
985.02/985.04 c 977s| 1230k| 1229k| 0 | 0.0 | 358M|8837 | - | 10k| 744 | 0 | 0 | 0 |4651 | 0 | 0.000000e+00 | -- | Inf
993.02/993.08 c 985s| 1240k| 1239k| 0 | 0.0 | 361M|8837 | - | 10k| 741 | 0 | 0 | 0 |4671 | 0 | 0.000000e+00 | -- | Inf
1000.72/1000.75 c 993s| 1250k| 1249k| 0 | 0.0 | 364M|8837 | - | 10k| 741 | 0 | 0 | 0 |4691 | 0 | 0.000000e+00 | -- | Inf
1008.42/1008.41 c 1001s| 1260k| 1259k| 0 | 0.0 | 366M|8837 | - | 10k| 729 | 0 | 0 | 0 |4711 | 0 | 0.000000e+00 | -- | Inf
1017.32/1017.40 c 1010s| 1270k| 1269k| 0 | 0.0 | 369M|8837 | - | 10k| 757 | 0 | 0 | 0 |4771 | 0 | 0.000000e+00 | -- | Inf
1025.72/1025.76 c 1018s| 1280k| 1279k| 0 | 0.0 | 372M|8837 | - | 10k| 741 | 0 | 0 | 0 |4791 | 0 | 0.000000e+00 | -- | Inf
1033.72/1033.74 c 1026s| 1290k| 1289k| 0 | 0.0 | 374M|8837 | - | 10k| 755 | 0 | 0 | 0 |4821 | 0 | 0.000000e+00 | -- | Inf
1041.82/1041.87 c 1034s| 1300k| 1299k| 0 | 0.0 | 377M|8837 | - | 10k| 748 | 0 | 0 | 0 |4841 | 0 | 0.000000e+00 | -- | Inf
1049.92/1049.92 c 1042s| 1310k| 1309k| 0 | 0.0 | 380M|8837 | - | 10k| 758 | 0 | 0 | 0 |4891 | 0 | 0.000000e+00 | -- | Inf
1057.92/1057.93 c 1050s| 1320k| 1319k| 0 | 0.0 | 383M|8837 | - | 10k| 771 | 0 | 0 | 0 |4950 | 0 | 0.000000e+00 | -- | Inf
1066.52/1066.57 c 1058s| 1330k| 1329k| 0 | 0.0 | 385M|8837 | - | 10k| 763 | 0 | 0 | 0 |4970 | 0 | 0.000000e+00 | -- | Inf
1075.02/1075.00 c 1067s| 1340k| 1339k| 0 | 0.0 | 388M|8837 | - | 10k| 777 | 0 | 0 | 0 |5000 | 0 | 0.000000e+00 | -- | Inf
1082.92/1082.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1082.92/1082.91 c 1075s| 1350k| 1348k| 0 | 0.0 | 390M|8837 | - | 10k| 772 | 0 | 0 | 0 |5028 | 0 | 0.000000e+00 | -- | Inf
1090.43/1090.43 c 1082s| 1360k| 1358k| 0 | 0.0 | 393M|8837 | - | 10k| 789 | 0 | 0 | 0 |5068 | 0 | 0.000000e+00 | -- | Inf
1098.63/1098.68 c 1090s| 1370k| 1368k| 0 | 0.0 | 396M|8837 | - | 10k| 821 | 0 | 0 | 0 |5158 | 0 | 0.000000e+00 | -- | Inf
1107.43/1107.45 c 1099s| 1380k| 1378k| 0 | 0.0 | 398M|8837 | - | 10k| 782 | 0 | 0 | 0 |5178 | 0 | 0.000000e+00 | -- | Inf
1115.53/1115.55 c 1107s| 1390k| 1388k| 0 | 0.0 | 401M|8837 | - | 10k| 781 | 0 | 0 | 0 |5198 | 0 | 0.000000e+00 | -- | Inf
1124.24/1124.21 c 1116s| 1400k| 1398k| 0 | 0.0 | 404M|8837 | - | 10k| 817 | 0 | 0 | 0 |5258 | 0 | 0.000000e+00 | -- | Inf
1131.72/1131.77 c 1123s| 1410k| 1408k| 0 | 0.0 | 406M|8837 | - | 10k| 802 | 0 | 0 | 0 |5288 | 0 | 0.000000e+00 | -- | Inf
1139.02/1139.05 c 1130s| 1420k| 1418k| 0 | 0.0 | 409M|8837 | - | 10k| 792 | 0 | 0 | 0 |5308 | 0 | 0.000000e+00 | -- | Inf
1147.92/1147.92 c 1139s| 1430k| 1428k| 0 | 0.0 | 412M|8846 | - | 10k| 814 | 0 | 0 | 0 |5368 | 0 | 0.000000e+00 | -- | Inf
1156.33/1156.32 c 1148s| 1440k| 1438k| 0 | 0.0 | 414M|8880 | - | 10k| 805 | 0 | 0 | 0 |5388 | 0 | 0.000000e+00 | -- | Inf
1164.22/1164.28 c 1155s| 1450k| 1448k| 0 | 0.0 | 417M|8880 | - | 10k| 808 | 0 | 0 | 0 |5408 | 0 | 0.000000e+00 | -- | Inf
1172.02/1172.03 c 1163s| 1460k| 1458k| 0 | 0.0 | 420M|8880 | - | 10k| 818 | 0 | 0 | 0 |5428 | 0 | 0.000000e+00 | -- | Inf
1180.13/1180.14 c 1171s| 1470k| 1468k| 0 | 0.0 | 422M|8888 | - | 10k| 831 | 0 | 0 | 0 |5458 | 0 | 0.000000e+00 | -- | Inf
1187.63/1187.68 c 1179s| 1480k| 1478k| 0 | 0.0 | 425M|8888 | - | 10k| 818 | 0 | 0 | 0 |5488 | 0 | 0.000000e+00 | -- | Inf
1196.73/1196.74 c 1188s| 1490k| 1488k| 0 | 0.0 | 428M|8928 | - | 10k| 838 | 0 | 0 | 0 |5558 | 0 | 0.000000e+00 | -- | Inf
1205.23/1205.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1205.23/1205.21 c 1196s| 1500k| 1498k| 0 | 0.0 | 430M|8928 | - | 10k| 836 | 0 | 0 | 0 |5588 | 0 | 0.000000e+00 | -- | Inf
1213.13/1213.12 c 1204s| 1510k| 1508k| 0 | 0.0 | 433M|8928 | - | 10k| 834 | 0 | 0 | 0 |5608 | 0 | 0.000000e+00 | -- | Inf
1221.43/1221.47 c 1212s| 1520k| 1518k| 0 | 0.0 | 436M|8928 | - | 10k| 853 | 0 | 0 | 0 |5648 | 0 | 0.000000e+00 | -- | Inf
1229.02/1229.05 c 1220s| 1530k| 1528k| 0 | 0.0 | 438M|8935 | - | 10k| 839 | 0 | 0 | 0 |5668 | 0 | 0.000000e+00 | -- | Inf
1236.63/1236.62 c 1227s| 1540k| 1538k| 0 | 0.0 | 441M|8935 | - | 10k| 831 | 0 | 0 | 0 |5688 | 0 | 0.000000e+00 | -- | Inf
1245.43/1245.49 c 1236s| 1550k| 1548k| 0 | 0.0 | 444M|8935 | - | 10k| 875 | 0 | 0 | 0 |5778 | 0 | 0.000000e+00 | -- | Inf
1253.63/1253.62 c 1244s| 1560k| 1558k| 0 | 0.0 | 446M|8935 | - | 10k| 864 | 0 | 0 | 0 |5798 | 0 | 0.000000e+00 | -- | Inf
1261.73/1261.78 c 1252s| 1570k| 1568k| 0 | 0.0 | 449M|8935 | - | 10k| 873 | 0 | 0 | 0 |5828 | 0 | 0.000000e+00 | -- | Inf
1269.73/1269.73 c 1260s| 1580k| 1578k| 0 | 0.0 | 452M|8935 | - | 10k| 876 | 0 | 0 | 0 |5858 | 0 | 0.000000e+00 | -- | Inf
1277.14/1277.12 c 1267s| 1590k| 1588k| 0 | 0.0 | 454M|8944 | - | 10k| 884 | 0 | 0 | 0 |5888 | 0 | 0.000000e+00 | -- | Inf
1284.23/1284.27 c 1274s| 1600k| 1598k| 0 | 0.0 | 457M|8944 | - | 10k| 885 | 0 | 0 | 0 |5918 | 0 | 0.000000e+00 | -- | Inf
1292.53/1292.53 c 1283s| 1610k| 1608k| 0 | 0.0 | 460M|8944 | - | 10k| 904 | 0 | 0 | 0 |5968 | 0 | 0.000000e+00 | -- | Inf
1301.03/1301.09 c 1291s| 1620k| 1618k| 0 | 0.0 | 462M|8944 | - | 10k| 905 | 0 | 0 | 0 |5998 | 0 | 0.000000e+00 | -- | Inf
1309.23/1309.22 c 1299s| 1630k| 1628k| 0 | 0.0 | 465M|8944 | - | 10k| 885 | 0 | 0 | 0 |6018 | 0 | 0.000000e+00 | -- | Inf
1316.93/1316.98 c 1307s| 1640k| 1638k| 0 | 0.0 | 468M|8944 | - | 10k| 892 | 0 | 0 | 0 |6048 | 0 | 0.000000e+00 | -- | Inf
1324.83/1324.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1324.83/1324.85 c 1315s| 1650k| 1648k| 0 | 0.0 | 470M|8944 | - | 10k| 896 | 0 | 0 | 0 |6078 | 0 | 0.000000e+00 | -- | Inf
1332.13/1332.15 c 1322s| 1660k| 1658k| 0 | 0.0 | 473M|8944 | - | 10k| 875 | 0 | 0 | 0 |6108 | 0 | 0.000000e+00 | -- | Inf
1341.33/1341.31 c 1331s| 1670k| 1668k| 0 | 0.0 | 476M|8944 | - | 10k| 887 | 0 | 0 | 0 |6168 | 0 | 0.000000e+00 | -- | Inf
1349.43/1349.40 c 1339s| 1680k| 1678k| 0 | 0.0 | 478M|8944 | - | 10k| 888 | 0 | 0 | 0 |6188 | 0 | 0.000000e+00 | -- | Inf
1357.13/1357.19 c 1347s| 1690k| 1688k| 0 | 0.0 | 481M|8944 | - | 10k| 906 | 0 | 0 | 0 |6228 | 0 | 0.000000e+00 | -- | Inf
1365.23/1365.27 c 1355s| 1700k| 1698k| 0 | 0.0 | 484M|8944 | - | 10k| 917 | 0 | 0 | 0 |6268 | 0 | 0.000000e+00 | -- | Inf
1372.33/1372.38 c 1362s| 1710k| 1708k| 0 | 0.0 | 486M|8944 | - | 10k| 901 | 0 | 0 | 0 |6288 | 0 | 0.000000e+00 | -- | Inf
1380.04/1380.02 c 1369s| 1720k| 1718k| 0 | 0.0 | 489M|8944 | - | 10k| 932 | 0 | 0 | 0 |6368 | 0 | 0.000000e+00 | -- | Inf
1388.14/1388.20 c 1377s| 1730k| 1728k| 0 | 0.0 | 492M|8944 | - | 10k| 927 | 0 | 0 | 0 |6398 | 0 | 0.000000e+00 | -- | Inf
1396.34/1396.34 c 1385s| 1740k| 1738k| 0 | 0.0 | 494M|8944 | - | 10k| 934 | 0 | 0 | 0 |6448 | 0 | 0.000000e+00 | -- | Inf
1403.73/1403.76 c 1392s| 1750k| 1748k| 0 | 0.0 | 497M|8944 | - | 10k| 940 | 0 | 0 | 0 |6498 | 0 | 0.000000e+00 | -- | Inf
1410.73/1410.73 c 1399s| 1760k| 1758k| 0 | 0.0 | 500M|8944 | - | 10k| 918 | 0 | 0 | 0 |6528 | 0 | 0.000000e+00 | -- | Inf
1417.33/1417.38 c 1406s| 1770k| 1768k| 0 | 0.0 | 502M|8944 | - | 10k| 914 | 0 | 0 | 0 |6558 | 0 | 0.000000e+00 | -- | Inf
1424.74/1424.78 c 1413s| 1780k| 1778k| 0 | 0.0 | 505M|8944 | - | 10k| 931 | 0 | 0 | 0 |6608 | 0 | 0.000000e+00 | -- | Inf
1432.84/1432.85 c 1421s| 1790k| 1788k| 0 | 0.0 | 508M|8944 | - | 10k| 918 | 0 | 0 | 0 |6638 | 0 | 0.000000e+00 | -- | Inf
1440.53/1440.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1440.53/1440.56 c 1428s| 1800k| 1798k| 0 | 0.0 | 510M|8944 | - | 10k| 919 | 0 | 0 | 0 |6678 | 0 | 0.000000e+00 | -- | Inf
1447.44/1447.45 c 1435s| 1810k| 1808k| 0 | 0.0 | 513M|8944 | - | 10k| 910 | 0 | 0 | 0 |6708 | 0 | 0.000000e+00 | -- | Inf
1454.64/1454.65 c 1442s| 1820k| 1818k| 0 | 0.0 | 516M|8944 | - | 10k| 917 | 0 | 0 | 0 |6738 | 0 | 0.000000e+00 | -- | Inf
1461.13/1461.14 c 1448s| 1830k| 1828k| 0 | 0.0 | 518M|8944 | - | 10k| 890 | 0 | 0 | 0 |6758 | 0 | 0.000000e+00 | -- | Inf
1468.24/1468.29 c 1455s| 1840k| 1838k| 0 | 0.0 | 521M|8944 | - | 10k| 915 | 0 | 0 | 0 |6813 | 0 | 0.000000e+00 | -- | Inf
1475.93/1475.93 c 1463s| 1850k| 1848k| 0 | 0.0 | 524M|8944 | - | 10k| 905 | 0 | 0 | 0 |6833 | 0 | 0.000000e+00 | -- | Inf
1483.33/1483.39 c 1470s| 1860k| 1858k| 0 | 0.0 | 526M|8944 | - | 10k| 906 | 0 | 0 | 0 |6853 | 0 | 0.000000e+00 | -- | Inf
1490.34/1490.32 c 1477s| 1870k| 1868k| 0 | 0.0 | 529M|8944 | - | 10k| 907 | 0 | 0 | 0 |6883 | 0 | 0.000000e+00 | -- | Inf
1497.24/1497.21 c 1483s| 1880k| 1878k| 0 | 0.0 | 532M|8944 | - | 10k| 897 | 0 | 0 | 0 |6913 | 0 | 0.000000e+00 | -- | Inf
1503.94/1503.99 c 1490s| 1890k| 1888k| 0 | 0.0 | 534M|8944 | - | 10k| 889 | 0 | 0 | 0 |6953 | 0 | 0.000000e+00 | -- | Inf
1512.34/1512.39 c 1498s| 1900k| 1898k| 0 | 0.0 | 537M|8944 | - | 10k| 899 | 0 | 0 | 0 |7003 | 0 | 0.000000e+00 | -- | Inf
1519.64/1519.60 c 1505s| 1910k| 1908k| 0 | 0.0 | 540M|8944 | - | 10k| 899 | 0 | 0 | 0 |7033 | 0 | 0.000000e+00 | -- | Inf
1526.54/1526.59 c 1512s| 1920k| 1918k| 0 | 0.0 | 542M|8944 | - | 10k| 905 | 0 | 0 | 0 |7063 | 0 | 0.000000e+00 | -- | Inf
1533.83/1533.80 c 1519s| 1930k| 1928k| 0 | 0.0 | 545M|8944 | - | 10k| 899 | 0 | 0 | 0 |7093 | 0 | 0.000000e+00 | -- | Inf
1540.43/1540.42 c 1526s| 1940k| 1938k| 0 | 0.0 | 548M|8944 | - | 10k| 895 | 0 | 0 | 0 |7123 | 0 | 0.000000e+00 | -- | Inf
1547.54/1547.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1547.54/1547.59 c 1533s| 1950k| 1948k| 0 | 0.0 | 550M|8944 | - | 10k| 915 | 0 | 0 | 0 |7183 | 0 | 0.000000e+00 | -- | Inf
1555.35/1555.35 c 1540s| 1960k| 1958k| 0 | 0.0 | 553M|8944 | - | 10k| 919 | 0 | 0 | 0 |7223 | 0 | 0.000000e+00 | -- | Inf
1562.83/1562.84 c 1547s| 1970k| 1968k| 0 | 0.0 | 556M|8944 | - | 10k| 903 | 0 | 0 | 0 |7243 | 0 | 0.000000e+00 | -- | Inf
1569.94/1569.99 c 1554s| 1980k| 1978k| 0 | 0.0 | 558M|8944 | - | 10k| 906 | 0 | 0 | 0 |7263 | 0 | 0.000000e+00 | -- | Inf
1577.14/1577.13 c 1561s| 1990k| 1988k| 0 | 0.0 | 561M|8944 | - | 10k| 918 | 0 | 0 | 0 |7303 | 0 | 0.000000e+00 | -- | Inf
1583.64/1583.69 c 1568s| 2000k| 1998k| 0 | 0.0 | 563M|8944 | - | 10k| 890 | 0 | 0 | 0 |7323 | 0 | 0.000000e+00 | -- | Inf
1590.84/1590.82 c 1575s| 2010k| 2008k| 0 | 0.0 | 566M|8944 | - | 10k| 936 | 0 | 0 | 0 |7393 | 0 | 0.000000e+00 | -- | Inf
1598.24/1598.29 c 1582s| 2020k| 2018k| 0 | 0.0 | 569M|8944 | - | 10k| 911 | 0 | 0 | 0 |7413 | 0 | 0.000000e+00 | -- | Inf
1605.54/1605.51 c 1589s| 2030k| 2028k| 0 | 0.0 | 572M|8944 | - | 10k| 908 | 0 | 0 | 0 |7443 | 0 | 0.000000e+00 | -- | Inf
1612.34/1612.39 c 1596s| 2040k| 2038k| 0 | 0.0 | 574M|8944 | - | 10k| 909 | 0 | 0 | 0 |7473 | 0 | 0.000000e+00 | -- | Inf
1619.74/1619.72 c 1603s| 2050k| 2048k| 0 | 0.0 | 577M|8944 | - | 10k| 923 | 0 | 0 | 0 |7513 | 0 | 0.000000e+00 | -- | Inf
1626.64/1626.68 c 1610s| 2060k| 2058k| 0 | 0.0 | 579M|8944 | - | 10k| 892 | 0 | 0 | 0 |7533 | 0 | 0.000000e+00 | -- | Inf
1635.24/1635.24 c 1618s| 2070k| 2068k| 0 | 0.0 | 582M|8944 | - | 10k| 938 | 0 | 0 | 0 |7623 | 0 | 0.000000e+00 | -- | Inf
1642.64/1642.61 c 1625s| 2080k| 2078k| 0 | 0.0 | 585M|8944 | - | 10k| 950 | 0 | 0 | 0 |7683 | 0 | 0.000000e+00 | -- | Inf
1649.74/1649.70 c 1632s| 2090k| 2088k| 0 | 0.0 | 587M|8944 | - | 10k| 939 | 0 | 0 | 0 |7723 | 0 | 0.000000e+00 | -- | Inf
1656.65/1656.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1656.65/1656.61 c 1639s| 2100k| 2098k| 0 | 0.0 | 590M|8944 | - | 10k| 927 | 0 | 0 | 0 |7743 | 0 | 0.000000e+00 | -- | Inf
1664.14/1664.18 c 1646s| 2110k| 2108k| 0 | 0.0 | 593M|8944 | - | 10k| 950 | 0 | 0 | 0 |7793 | 0 | 0.000000e+00 | -- | Inf
1670.95/1670.98 c 1653s| 2120k| 2118k| 0 | 0.0 | 596M|8944 | - | 10k| 948 | 0 | 0 | 0 |7853 | 0 | 0.000000e+00 | -- | Inf
1678.94/1678.93 c 1660s| 2130k| 2128k| 0 | 0.0 | 598M|8944 | - | 10k| 942 | 0 | 0 | 0 |7883 | 0 | 0.000000e+00 | -- | Inf
1686.35/1686.33 c 1668s| 2140k| 2138k| 0 | 0.0 | 601M|8944 | - | 10k| 938 | 0 | 0 | 0 |7913 | 0 | 0.000000e+00 | -- | Inf
1694.24/1694.26 c 1675s| 2150k| 2148k| 0 | 0.0 | 603M|8950 | - | 10k| 949 | 0 | 0 | 0 |7953 | 0 | 0.000000e+00 | -- | Inf
1701.14/1701.14 c 1682s| 2160k| 2158k| 0 | 0.0 | 606M|8950 | - | 10k| 930 | 0 | 0 | 0 |7973 | 0 | 0.000000e+00 | -- | Inf
1707.64/1707.64 c 1688s| 2170k| 2168k| 0 | 0.0 | 609M|8950 | - | 10k| 932 | 0 | 0 | 0 |8003 | 0 | 0.000000e+00 | -- | Inf
1714.74/1714.73 c 1695s| 2180k| 2178k| 0 | 0.0 | 611M|8950 | - | 10k| 929 | 0 | 0 | 0 |8053 | 0 | 0.000000e+00 | -- | Inf
1722.75/1722.77 c 1703s| 2190k| 2188k| 0 | 0.0 | 614M|8950 | - | 10k| 952 | 0 | 0 | 0 |8103 | 0 | 0.000000e+00 | -- | Inf
1730.64/1730.65 c 1711s| 2200k| 2198k| 0 | 0.0 | 617M|8950 | - | 10k| 955 | 0 | 0 | 0 |8143 | 0 | 0.000000e+00 | -- | Inf
1738.55/1738.52 c 1719s| 2210k| 2208k| 0 | 0.0 | 619M|8950 | - | 10k| 952 | 0 | 0 | 0 |8193 | 0 | 0.000000e+00 | -- | Inf
1745.05/1745.08 c 1725s| 2220k| 2218k| 0 | 0.0 | 622M|8950 | - | 10k| 944 | 0 | 0 | 0 |8223 | 0 | 0.000000e+00 | -- | Inf
1751.45/1751.47 c 1731s| 2230k| 2228k| 0 | 0.0 | 625M|8950 | - | 10k| 954 | 0 | 0 | 0 |8253 | 0 | 0.000000e+00 | -- | Inf
1759.34/1759.38 c 1739s| 2240k| 2238k| 0 | 0.0 | 627M|8950 | - | 10k|1001 | 0 | 0 | 0 |8353 | 0 | 0.000000e+00 | -- | Inf
1766.55/1766.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1766.55/1766.54 c 1746s| 2250k| 2248k| 0 | 0.0 | 630M|8950 | - | 10k| 999 | 0 | 0 | 0 |8383 | 0 | 0.000000e+00 | -- | Inf
1773.54/1773.51 c 1753s| 2260k| 2258k| 0 | 0.0 | 633M|8950 | - | 10k|1010 | 0 | 0 | 0 |8423 | 0 | 0.000000e+00 | -- | Inf
1780.54/1780.57 c 1760s| 2270k| 2268k| 0 | 0.0 | 635M|8950 | - | 10k|1014 | 0 | 0 | 0 |8453 | 0 | 0.000000e+00 | -- | Inf
1787.64/1787.60 c 1766s| 2280k| 2278k| 0 | 0.0 | 638M|8950 | - | 10k|1013 | 0 | 0 | 0 |8483 | 0 | 0.000000e+00 | -- | Inf
1794.34/1794.33 c 1773s| 2290k| 2288k| 0 | 0.0 | 641M|8950 | - | 10k|1025 | 0 | 0 | 0 |8533 | 0 | 0.000000e+00 | -- | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1778.41
1800.05/1800.00 c Solving Nodes : 2298433
1800.05/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 s UNKNOWN
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1778.41
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2693803-1277893441.wbo
1800.05/1800.00 c Variables : 10764 (10632 binary, 0 integer, 0 implicit integer, 132 continuous)
1800.05/1800.00 c Constraints : 338 initial, 338 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2693803-1277893441.wbo
1800.05/1800.00 c Variables : 10764 (10632 binary, 0 integer, 0 implicit integer, 132 continuous)
1800.05/1800.00 c Constraints : 337 initial, 1035 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.09 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.01 0 0 0 132 0 1 0 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 132 0 335 0 132 0 132 0 0 0
1800.05/1800.00 c setppc : 35 0 2309101 0 2268564 254 254405 0 0 0
1800.05/1800.00 c linear : 132 0 2340508 0 2297584 518 376243 0 0 0
1800.05/1800.00 c logicor : 38+ 0 90782 0 2297584 86 10162 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 2297584 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c setppc : 157.22 0.00 22.32 0.00 134.90
1800.05/1800.00 c linear : 60.79 0.00 59.86 0.00 0.93
1800.05/1800.00 c logicor : 105.33 0.00 6.94 0.00 98.39
1800.05/1800.00 c countsols : 0.28 0.00 0.00 0.00 0.28
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 0.49 2 0 0
1800.05/1800.00 c rootredcost : 0.38 0 0 0
1800.05/1800.00 c pseudoobj : 9.55 2340562 0 0
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 72.07 858 858 42110 1404.3 34697 87.1 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 8533 91.9 - - -
1800.05/1800.00 c applied locally : - - - 0 0.0 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 1409.75 2297584 0 0 0 0 4595168
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c oneopt : 0.34 0 0
1800.05/1800.00 c trivial : 0.02 2 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 0.42 0 0
1800.05/1800.00 c trysol : 0.50 1 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 2298433
1800.05/1800.00 c nodes (total) : 2298433
1800.05/1800.00 c nodes left : 2296725
1800.05/1800.00 c max depth : 8950
1800.05/1800.00 c max depth (total): 8950
1800.05/1800.00 c backtracks : 319 (0.0%)
1800.05/1800.00 c delayed cutoffs : 11
1800.05/1800.00 c repropagations : 1109 (2033 domain reductions, 9 cutoffs)
1800.05/1800.00 c avg switch length: 2.20
1800.05/1800.00 c switching time : 10.21
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 0 (0 improvements)
1800.05/1800.00 c Primal Bound : -
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 0
1801.95/1801.92 c Time complete: 1801.97.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693803-1277893441/watcher-2693803-1277893441 -o /tmp/evaluation-result-2693803-1277893441/solver-2693803-1277893441 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693803-1277893441.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.02 2.07 2.03 4/178 14162
/proc/meminfo: memFree=30563896/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=8528 CPUtime=0
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 1617 0 0 0 0 0 0 0 25 0 1 0 130639613 8732672 1539 4089446400 4194304 7136930 140734563036896 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14162/statm: 2132 1539 275 719 0 1411 0
[startup+0.0955921 s]
/proc/loadavg: 2.02 2.07 2.03 4/178 14162
/proc/meminfo: memFree=30563896/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=36396 CPUtime=0.08
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 9446 0 0 0 8 0 0 0 25 0 1 0 130639613 37269504 8210 4089446400 4194304 7136930 140734563036896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 9099 8210 361 719 0 8378 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 36396
[startup+0.100599 s]
/proc/loadavg: 2.02 2.07 2.03 4/178 14162
/proc/meminfo: memFree=30563896/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=36796 CPUtime=0.09
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 10192 0 0 0 9 0 0 0 25 0 1 0 130639613 37679104 8390 4089446400 4194304 7136930 140734563036896 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 9199 8390 392 719 0 8478 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36796
[startup+0.300555 s]
/proc/loadavg: 2.02 2.07 2.03 4/178 14162
/proc/meminfo: memFree=30563896/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=39328 CPUtime=0.29
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 10834 0 0 0 28 1 0 0 25 0 1 0 130639613 40271872 8949 4089446400 4194304 7136930 140734563036896 18446744073709551615 4641936 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 9832 8949 399 719 0 9111 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39328
[startup+0.700477 s]
/proc/loadavg: 2.02 2.07 2.03 4/178 14162
/proc/meminfo: memFree=30563896/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=40356 CPUtime=0.69
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 11094 0 0 0 68 1 0 0 25 0 1 0 130639613 41324544 9205 4089446400 4194304 7136930 140734563036896 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 10089 9205 395 719 0 9368 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40356
[startup+1.50033 s]
/proc/loadavg: 2.02 2.07 2.03 3/179 14163
/proc/meminfo: memFree=30524332/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=40356 CPUtime=1.49
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 11113 0 0 0 148 1 0 0 25 0 1 0 130639613 41324544 9224 4089446400 4194304 7136930 140734563036896 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 10089 9224 395 719 0 9368 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40356
[startup+3.10104 s]
/proc/loadavg: 2.02 2.07 2.03 3/179 14163
/proc/meminfo: memFree=30520488/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=41380 CPUtime=3.09
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 11353 0 0 0 307 2 0 0 25 0 1 0 130639613 42373120 9464 4089446400 4194304 7136930 140734563036896 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 10345 9464 395 719 0 9624 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41380
[startup+6.30046 s]
/proc/loadavg: 2.02 2.07 2.03 3/179 14163
/proc/meminfo: memFree=30509564/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=43836 CPUtime=6.29
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 11968 0 0 0 623 6 0 0 25 0 1 0 130639613 44888064 10079 4089446400 4194304 7136930 140734563036896 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 10959 10079 400 719 0 10238 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43836
[startup+12.7003 s]
/proc/loadavg: 2.02 2.07 2.03 3/179 14163
/proc/meminfo: memFree=30482288/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=46788 CPUtime=12.69
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 12721 0 0 0 1257 12 0 0 25 0 1 0 130639613 47910912 10831 4089446400 4194304 7136930 140734563036896 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 11697 10831 399 719 0 10976 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46788
[startup+25.501 s]
/proc/loadavg: 2.01 2.06 2.03 3/179 14164
/proc/meminfo: memFree=30438108/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=53136 CPUtime=25.49
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 14377 0 0 0 2526 23 0 0 25 0 1 0 130639613 54411264 12487 4089446400 4194304 7136930 140734563036896 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 13284 12487 399 719 0 12563 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53136
[startup+51.1003 s]
/proc/loadavg: 2.01 2.06 2.02 3/179 14165
/proc/meminfo: memFree=30374772/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=70440 CPUtime=51.09
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 18328 0 0 0 5062 47 0 0 25 0 1 0 130639613 72130560 16438 4089446400 4194304 7136930 140734563036896 18446744073709551615 4979353 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 17610 16438 399 719 0 16889 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 70440
[startup+102.306 s]
/proc/loadavg: 2.00 2.05 2.02 3/179 14166
/proc/meminfo: memFree=30284836/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=94520 CPUtime=102.3
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 24560 0 0 0 10143 87 0 0 25 0 1 0 130639613 96788480 22670 4089446400 4194304 7136930 140734563036896 18446744073709551615 4642989 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 23630 22670 399 719 0 22909 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 94520
[startup+162.301 s]
/proc/loadavg: 2.00 2.03 2.01 3/179 14167
/proc/meminfo: memFree=30098044/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=122548 CPUtime=162.3
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 30825 0 0 0 16099 131 0 0 25 0 1 0 130639613 125489152 28935 4089446400 4194304 7136930 140734563036896 18446744073709551615 4643257 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 30637 28935 399 719 0 29916 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 122548
[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.01 3/179 14169
/proc/meminfo: memFree=29910024/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=144632 CPUtime=222.3
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 36622 0 0 0 22052 178 0 0 25 0 1 0 130639613 148103168 34732 4089446400 4194304 7136930 140734563036896 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 36158 34732 399 719 0 35437 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 144632
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 14171
/proc/meminfo: memFree=29730172/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=169056 CPUtime=282.3
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 42951 0 0 0 28003 227 0 0 25 0 1 0 130639613 173113344 41061 4089446400 4194304 7136930 140734563036896 18446744073709551615 4407919 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 42264 41061 399 719 0 41543 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 169056
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 14172
/proc/meminfo: memFree=29549588/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=191344 CPUtime=342.3
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 48809 0 0 0 33956 274 0 0 25 0 1 0 130639613 195936256 46919 4089446400 4194304 7136930 140734563036896 18446744073709551615 5892296 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 47836 46919 399 719 0 47115 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 191344
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 14174
/proc/meminfo: memFree=29362676/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=232964 CPUtime=402.3
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 57297 0 0 0 39913 317 0 0 25 0 1 0 130639613 238555136 55407 4089446400 4194304 7136930 140734563036896 18446744073709551615 5909072 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 58241 55407 399 719 0 57520 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 232964
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14178
/proc/meminfo: memFree=29177844/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=258268 CPUtime=462.3
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 63790 0 0 0 45867 363 0 0 25 0 1 0 130639613 264466432 61900 4089446400 4194304 7136930 140734563036896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 64567 61900 399 719 0 63846 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 258268
[startup+522.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 14180
/proc/meminfo: memFree=28995092/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=283552 CPUtime=522.3
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 70209 0 0 0 51823 407 0 0 25 0 1 0 130639613 290357248 68319 4089446400 4194304 7136930 140734563036896 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 70888 68319 399 719 0 70167 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 283552
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14182
/proc/meminfo: memFree=28806320/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=308652 CPUtime=582.31
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 76623 0 0 0 57777 454 0 0 25 0 1 0 130639613 316059648 74733 4089446400 4194304 7136930 140734563036896 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 77163 74733 399 719 0 76442 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 308652
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14183
/proc/meminfo: memFree=28600804/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=331964 CPUtime=642.31
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 82660 0 0 0 63732 499 0 0 25 0 1 0 130639613 339931136 80770 4089446400 4194304 7136930 140734563036896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 82991 80770 399 719 0 82270 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 331964
[startup+702.3 s]
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14194
/proc/meminfo: memFree=27429556/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=497760 CPUtime=1062.33
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 121543 0 0 0 105419 814 0 0 25 0 1 0 130639613 509706240 119653 4089446400 4194304 7136930 140734563036896 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 124440 119653 399 719 0 123719 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 497760
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14196
/proc/meminfo: memFree=27296332/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=518312 CPUtime=1122.32
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 126889 0 0 0 111377 855 0 0 25 0 1 0 130639613 530751488 124999 4089446400 4194304 7136930 140734563036896 18446744073709551615 5892267 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 129578 124999 399 719 0 128857 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 518312
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14198
/proc/meminfo: memFree=27129748/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=541284 CPUtime=1182.33
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 132834 0 0 0 117332 901 0 0 25 0 1 0 130639613 554274816 130944 4089446400 4194304 7136930 140734563036896 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 135321 130944 399 719 0 134600 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 541284
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14199
/proc/meminfo: memFree=26962928/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=561908 CPUtime=1242.33
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 138148 0 0 0 123285 948 0 0 25 0 1 0 130639613 575393792 136258 4089446400 4194304 7136930 140734563036896 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 140477 136258 399 719 0 139756 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 561908
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14201
/proc/meminfo: memFree=26783952/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=582924 CPUtime=1302.33
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 143659 0 0 0 129241 992 0 0 25 0 1 0 130639613 596914176 141769 4089446400 4194304 7136930 140734563036896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 145731 141769 399 719 0 145010 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 582924
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14202
/proc/meminfo: memFree=26624440/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=604240 CPUtime=1362.33
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 149173 0 0 0 135192 1041 0 0 25 0 1 0 130639613 618741760 147283 4089446400 4194304 7136930 140734563036896 18446744073709551615 4642989 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14162/statm: 151060 147283 399 719 0 150339 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 604240
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14332
/proc/meminfo: memFree=30405316/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=631432 CPUtime=1422.34
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 156096 0 0 0 141049 1185 0 0 25 0 1 0 130639613 646586368 154206 4089446400 4194304 7136930 140734563036896 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14162/statm: 157858 154206 399 719 0 157137 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 631432
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14334
/proc/meminfo: memFree=30325896/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=654640 CPUtime=1482.34
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 162144 0 0 0 146899 1335 0 0 25 0 1 0 130639613 670351360 160254 4089446400 4194304 7136930 140734563036896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14162/statm: 163660 160254 399 719 0 162939 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 654640
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14335
/proc/meminfo: memFree=30247712/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=679924 CPUtime=1542.34
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 168711 0 0 0 152742 1492 0 0 25 0 1 0 130639613 696242176 166821 4089446400 4194304 7136930 140734563036896 18446744073709551615 4643245 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14162/statm: 169981 166821 399 719 0 169260 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 679924
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 14337
/proc/meminfo: memFree=30172516/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=703908 CPUtime=1602.34
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 174977 0 0 0 158585 1649 0 0 25 0 1 0 130639613 720801792 173087 4089446400 4194304 7136930 140734563036896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14162/statm: 175977 173087 399 719 0 175256 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 703908
[startup+1662.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 14338
/proc/meminfo: memFree=30094524/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=760804 CPUtime=1662.34
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 181217 0 0 0 164435 1799 0 0 25 0 1 0 130639613 779063296 179327 4089446400 4194304 7136930 140734563036896 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14162/statm: 190201 179327 399 719 0 189480 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 760804
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 14340
/proc/meminfo: memFree=30019064/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=785476 CPUtime=1722.34
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 187584 0 0 0 170276 1958 0 0 25 0 1 0 130639613 804327424 185694 4089446400 4194304 7136930 140734563036896 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14162/statm: 196369 185694 399 719 0 195648 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 785476
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14342
/proc/meminfo: memFree=29935676/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=811508 CPUtime=1782.35
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 194323 0 0 0 176123 2112 0 0 25 0 1 0 130639613 830984192 192433 4089446400 4194304 7136930 140734563036896 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14162/statm: 202877 192433 399 719 0 202156 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 811508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14342
/proc/meminfo: memFree=29912344/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=818084 CPUtime=1800.05
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 196053 0 0 0 177844 2161 0 0 25 0 1 0 130639613 837718016 194163 4089446400 4194304 7136930 140734563036896 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14162/statm: 204521 194163 399 719 0 203800 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 818084
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 14343
/proc/meminfo: memFree=29911840/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=817888 CPUtime=1800.65
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 196217 0 0 0 177904 2161 0 0 18 0 1 0 130639613 837517312 194134 4089446400 4194304 7136930 140734563036896 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14162/statm: 204472 194134 404 719 0 203751 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 817888
[startup+1801.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 14343
/proc/meminfo: memFree=29911840/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=692404 CPUtime=1801.45
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 196242 0 0 0 177983 2162 0 0 19 0 1 0 130639613 709021696 162763 4089446400 4194304 7136930 140734563036896 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14162/statm: 173101 162763 404 719 0 172380 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 692404
[startup+1801.81 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 14343
/proc/meminfo: memFree=30132816/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=548208 CPUtime=1801.86
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 196242 0 0 0 178023 2163 0 0 20 0 1 0 130639613 561364992 126714 4089446400 4194304 7136930 140734563036896 18446744073709551615 4616942 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14162/statm: 137052 126714 404 719 0 136331 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 548208
[startup+1801.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 14343
/proc/meminfo: memFree=30132816/32951124 swapFree=67111528/67111528
[pid=14162] ppid=14160 vsize=369352 CPUtime=1801.95
/proc/14162/stat : 14162 (pbscip.linux.x8) R 14160 14162 12496 0 -1 4202496 196248 0 0 0 178031 2164 0 0 20 0 1 0 130639613 378216448 82000 4089446400 4194304 7136930 140734563036896 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14162/statm: 92305 81967 404 719 0 91584 0
Current children cumulated CPU time (s) 1801.95
Current children cumulated vsize (KiB) 369352
Child status: 0
Real time (s): 1801.93
CPU time (s): 1801.98
CPU user time (s): 1780.33
CPU system time (s): 21.6557
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 818084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.33
system time used= 21.6557
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196255
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= 2
involuntary context switches= 2011
runsolver used 3.02654 second user time and 5.9291 second system time
The end
Begin job on node139 at 2010-06-30 12:24:01
IDJOB=2693803
IDBENCH=78726
IDSOLVER=1206
FILE ID=node139/2693803-1277893441
PBS_JOBID= 11197075
Free space on /tmp= 74124 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-105-100--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-2693803-1277893441/watcher-2693803-1277893441 -o /tmp/evaluation-result-2693803-1277893441/solver-2693803-1277893441 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693803-1277893441.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5089c419eb4145debb9fb5e7fd1214f5
RANDOM SEED=203638871
node139.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.840
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.68
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.840
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.840
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.840
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.75
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.840
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.78
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.840
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.840
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.840
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: 30564548 kB
Buffers: 179548 kB
Cached: 1462972 kB
SwapCached: 0 kB
Active: 1260672 kB
Inactive: 979852 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30564548 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3528 kB
Writeback: 0 kB
AnonPages: 597576 kB
Mapped: 15088 kB
Slab: 82268 kB
PageTables: 5676 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 743196 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= 74120 MiB
End job on node139 at 2010-06-30 12:54:03