0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2692483-1277931569.wbo>
0.00/0.01 c original problem has 2375 variables (1435 bin, 0 int, 0 impl, 940 cont) and 1881 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.03 o 46814
0.00/0.03 c feasible solution found by trivial heuristic, objective value 4.681400e+04
0.00/0.03 c presolving:
0.00/0.03 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 940 impls, 0 clqs
0.00/0.04 c (round 2) 0 del vars, 1 del conss, 940 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 940 impls, 0 clqs
0.00/0.05 c (round 3) 0 del vars, 1 del conss, 940 chg bounds, 70 chg sides, 140 chg coeffs, 1 upgd conss, 940 impls, 0 clqs
0.00/0.06 c (0.0s) probing: 101/1435 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.07 c presolving (4 rounds):
0.00/0.07 c 0 deleted vars, 1 deleted constraints, 940 tightened bounds, 0 added holes, 70 changed sides, 140 changed coefficients
0.00/0.07 c 941 implications, 0 cliques
0.00/0.07 c presolved problem has 2375 variables (1435 bin, 0 int, 0 impl, 940 cont) and 1880 constraints
0.00/0.07 c 940 constraints of type <indicator>
0.00/0.07 c 1 constraints of type <varbound>
0.00/0.07 c 939 constraints of type <linear>
0.00/0.07 c transformed objective value is always integral (scale: 1)
0.00/0.07 c Presolving Time: 0.04
0.00/0.07 c - non default parameters ----------------------------------------------------------------------
0.00/0.07 c # SCIP version 1.2.1.2
0.00/0.07 c
0.00/0.07 c # frequency for displaying node information lines
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.07 c display/freq = 10000
0.00/0.07 c
0.00/0.07 c # maximal time in seconds to run
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.07 c limits/time = 1799.99
0.00/0.07 c
0.00/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.07 c limits/memory = 3420
0.00/0.07 c
0.00/0.07 c # should presolving try to simplify inequalities
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c constraints/linear/simplifyinequalities = TRUE
0.00/0.07 c
0.00/0.07 c # should presolving try to simplify knapsacks
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.07 c
0.00/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.07 c separating/rapidlearning/freq = 0
0.00/0.07 c
0.00/0.07 c -----------------------------------------------------------------------------------------------
0.00/0.07 c start solving
0.00/0.07 c
0.06/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.06/0.07 c t 0.1s| 1 | 0 | 0 | - |7480k| 0 | 0 |2375 |1880 |2375 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.681400e+04 | Inf
0.06/0.07 c 0.1s| 1 | 0 | 122 | - |7591k| 0 | 66 |2375 |1880 |2375 | 123 | 123 | 0 | 0 | 0.000000e+00 | 4.681400e+04 | Inf
0.06/0.08 o 46717
0.06/0.08 c y 0.1s| 1 | 0 | 122 | - |7633k| 0 | 66 |2375 |1880 |2375 | 123 | 123 | 0 | 0 | 0.000000e+00 | 4.671700e+04 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 295 | - |7799k| 0 | 74 |2375 |1880 |2375 | 290 | 290 | 0 | 0 | 0.000000e+00 | 4.671700e+04 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 545 | - |7936k| 0 | 112 |2375 |1880 |2375 | 364 | 364 | 0 | 0 | 0.000000e+00 | 4.671700e+04 | Inf
0.09/0.18 c 0.1s| 1 | 0 | 647 | - |8100k| 0 | 139 |2375 |1880 |2375 | 438 | 438 | 0 | 0 | 0.000000e+00 | 4.671700e+04 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 784 | - |8283k| 0 | 176 |2375 |1880 |2375 | 510 | 510 | 0 | 0 | 0.000000e+00 | 4.671700e+04 | Inf
0.29/0.33 c 0.3s| 1 | 0 | 971 | - |8433k| 0 | 192 |2375 |1880 |2375 | 569 | 569 | 0 | 0 | 0.000000e+00 | 4.671700e+04 | Inf
0.49/0.52 c 0.5s| 1 | 2 | 1196 | - |8506k| 0 | 192 |2375 |1880 |2375 | 569 | 569 | 0 | 33 | 0.000000e+00 | 4.671700e+04 | Inf
17.49/17.58 c 17.3s| 10000 | 9999 | 33023 | 3.2 | 23M| 235 | 0 |2375 |1881 |2375 | 480 |5092 | 1 |1416 | 0.000000e+00 | 4.671700e+04 | Inf
28.60/28.61 c 28.1s| 20000 | 19999 | 55672 | 2.7 | 35M| 245 | 0 |2375 |1881 |2375 | 451 | 10k| 1 |1529 | 0.000000e+00 | 4.671700e+04 | Inf
39.50/39.57 c 38.9s| 30000 | 29999 | 76590 | 2.5 | 46M| 245 | 0 |2375 |1881 |2375 | 478 | 15k| 1 |1592 | 0.000000e+00 | 4.671700e+04 | Inf
50.40/50.43 c 49.6s| 40000 | 39999 | 96594 | 2.4 | 58M| 249 | 0 |2375 |1881 |2375 | 475 | 20k| 1 |1648 | 0.000000e+00 | 4.671700e+04 | Inf
61.19/61.24 c 60.3s| 50000 | 49999 |115395 | 2.3 | 70M| 251 | 0 |2375 |1881 |2375 | 438 | 24k| 1 |1710 | 0.000000e+00 | 4.671700e+04 | Inf
72.09/72.14 c 71.0s| 60000 | 59997 |135823 | 2.2 | 82M| 251 | 0 |2375 |1882 |2375 | 481 | 29k| 2 |1719 | 0.000000e+00 | 4.671700e+04 | Inf
82.99/83.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.99/83.02 c 81.8s| 70000 | 69997 |155610 | 2.2 | 94M| 251 | 5 |2375 |1882 |2375 | 448 | 34k| 2 |1761 | 0.000000e+00 | 4.671700e+04 | Inf
93.79/93.85 c 92.4s| 80000 | 79997 |174806 | 2.2 | 106M| 251 | 0 |2375 |1882 |2375 | 478 | 39k| 2 |1762 | 0.000000e+00 | 4.671700e+04 | Inf
104.69/104.72 c 103s| 90000 | 89997 |194986 | 2.2 | 118M| 251 | 0 |2375 |1882 |2375 | 448 | 43k| 2 |1763 | 0.000000e+00 | 4.671700e+04 | Inf
115.59/115.65 c 114s|100000 | 99997 |215379 | 2.1 | 129M| 251 | 0 |2375 |1882 |2375 | 483 | 48k| 2 |1763 | 0.000000e+00 | 4.671700e+04 | Inf
126.59/126.63 c 125s|110000 |109997 |234389 | 2.1 | 141M| 251 | 0 |2375 |1882 |2375 | 445 | 53k| 2 |1777 | 0.000000e+00 | 4.671700e+04 | Inf
137.50/137.59 c 135s|120000 |119997 |254269 | 2.1 | 153M| 251 | 0 |2375 |1882 |2375 | 484 | 58k| 2 |1777 | 0.000000e+00 | 4.671700e+04 | Inf
148.39/148.46 c 146s|130000 |129997 |272287 | 2.1 | 165M| 253 | 0 |2375 |1882 |2375 | 487 | 62k| 2 |1781 | 0.000000e+00 | 4.671700e+04 | Inf
159.30/159.31 c 157s|140000 |139997 |290500 | 2.1 | 177M| 257 | 0 |2375 |1882 |2375 | 479 | 67k| 2 |1788 | 0.000000e+00 | 4.671700e+04 | Inf
170.00/170.09 c 168s|150000 |149997 |306611 | 2.0 | 189M| 267 | 0 |2375 |1882 |2375 | 475 | 72k| 2 |1790 | 0.000000e+00 | 4.671700e+04 | Inf
180.89/180.98 c 178s|160000 |159997 |323010 | 2.0 | 201M| 269 | 0 |2375 |1882 |2375 | 444 | 76k| 2 |1847 | 0.000000e+00 | 4.671700e+04 | Inf
191.79/191.82 c 189s|170000 |169997 |339952 | 2.0 | 212M| 269 | 1 |2375 |1882 |2375 | 480 | 80k| 2 |1904 | 0.000000e+00 | 4.671700e+04 | Inf
202.60/202.64 c 200s|180000 |179997 |356866 | 2.0 | 224M| 269 | 0 |2375 |1882 |2375 | 476 | 84k| 2 |1909 | 0.000000e+00 | 4.671700e+04 | Inf
213.40/213.47 c 210s|190000 |189997 |373727 | 2.0 | 236M| 269 | 6 |2375 |1882 |2375 | 426 | 89k| 2 |1963 | 0.000000e+00 | 4.671700e+04 | Inf
224.19/224.29 c 221s|200000 |199997 |390831 | 1.9 | 248M| 269 | 0 |2375 |1882 |2375 | 448 | 93k| 2 |2016 | 0.000000e+00 | 4.671700e+04 | Inf
234.99/235.05 c 232s|210000 |209997 |407618 | 1.9 | 260M| 269 | 0 |2375 |1882 |2375 | 482 | 97k| 2 |2068 | 0.000000e+00 | 4.671700e+04 | Inf
245.70/245.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
245.70/245.73 c 242s|220000 |219997 |423020 | 1.9 | 272M| 269 | 0 |2375 |1882 |2375 | 482 | 102k| 2 |2095 | 0.000000e+00 | 4.671700e+04 | Inf
256.39/256.49 c 253s|230000 |229997 |438577 | 1.9 | 284M| 269 | 11 |2375 |1882 |2375 | 429 | 106k| 2 |2145 | 0.000000e+00 | 4.671700e+04 | Inf
267.50/267.51 c 264s|240000 |239997 |455882 | 1.9 | 296M| 269 | 0 |2375 |1882 |2375 | 447 | 111k| 2 |2395 | 0.000000e+00 | 4.671700e+04 | Inf
278.30/278.37 c 274s|250000 |249997 |471321 | 1.9 | 308M| 269 | 1 |2375 |1882 |2375 | 481 | 115k| 2 |2514 | 0.000000e+00 | 4.671700e+04 | Inf
289.20/289.27 c 285s|260000 |259997 |489335 | 1.9 | 320M| 269 | 0 |2375 |1882 |2375 | 477 | 120k| 2 |2515 | 0.000000e+00 | 4.671700e+04 | Inf
300.09/300.19 c 296s|270000 |269997 |506269 | 1.9 | 332M| 269 | 0 |2375 |1882 |2375 | 444 | 124k| 2 |2568 | 0.000000e+00 | 4.671700e+04 | Inf
311.10/311.15 c 307s|280000 |279997 |523339 | 1.9 | 344M| 269 | 0 |2375 |1882 |2375 | 461 | 129k| 2 |2624 | 0.000000e+00 | 4.671700e+04 | Inf
321.90/321.97 c 317s|290000 |289997 |539048 | 1.9 | 356M| 269 | 0 |2375 |1882 |2375 | 475 | 133k| 2 |2638 | 0.000000e+00 | 4.671700e+04 | Inf
332.80/332.87 c 328s|300000 |299997 |556339 | 1.9 | 368M| 269 | 5 |2375 |1882 |2375 | 443 | 137k| 2 |2705 | 0.000000e+00 | 4.671700e+04 | Inf
343.70/343.74 c 339s|310000 |309997 |573433 | 1.8 | 379M| 269 | 0 |2375 |1882 |2375 | 465 | 142k| 2 |2760 | 0.000000e+00 | 4.671700e+04 | Inf
354.50/354.54 c 349s|320000 |319997 |581934 | 1.8 | 391M| 269 | 0 |2375 |1882 |2375 | 471 | 145k| 2 |2783 | 0.000000e+00 | 4.671700e+04 | Inf
365.30/365.38 c 360s|330000 |329997 |590748 | 1.8 | 403M| 269 | 0 |2375 |1882 |2375 | 467 | 148k| 2 |2783 | 0.000000e+00 | 4.671700e+04 | Inf
376.21/376.29 c 371s|340000 |339997 |599122 | 1.8 | 415M| 269 | 0 |2375 |1882 |2375 | 428 | 152k| 2 |2831 | 0.000000e+00 | 4.671700e+04 | Inf
387.10/387.15 c 382s|350000 |349997 |608061 | 1.7 | 427M| 269 | 0 |2375 |1882 |2375 | 432 | 155k| 2 |2844 | 0.000000e+00 | 4.671700e+04 | Inf
397.90/397.98 c 392s|360000 |359997 |616088 | 1.7 | 439M| 269 | 0 |2375 |1882 |2375 | 474 | 159k| 2 |2852 | 0.000000e+00 | 4.671700e+04 | Inf
408.80/408.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
408.80/408.84 c 403s|370000 |369997 |624593 | 1.7 | 451M| 269 | 0 |2375 |1882 |2375 | 468 | 163k| 2 |2889 | 0.000000e+00 | 4.671700e+04 | Inf
419.60/419.60 c 413s|380000 |379997 |631284 | 1.7 | 463M| 269 | 0 |2375 |1881 |2375 | 435 | 166k| 2 |2906 | 0.000000e+00 | 4.671700e+04 | Inf
430.30/430.35 c 424s|390000 |389997 |637777 | 1.6 | 475M| 269 | 0 |2375 |1881 |2375 | 433 | 169k| 2 |2920 | 0.000000e+00 | 4.671700e+04 | Inf
441.11/441.16 c 435s|400000 |399997 |644670 | 1.6 | 487M| 269 | 0 |2375 |1881 |2375 | 468 | 172k| 2 |2946 | 0.000000e+00 | 4.671700e+04 | Inf
451.90/451.96 c 445s|410000 |409997 |651022 | 1.6 | 499M| 269 | 0 |2375 |1881 |2375 | 469 | 175k| 2 |2981 | 0.000000e+00 | 4.671700e+04 | Inf
462.70/462.70 c 456s|420000 |419997 |657297 | 1.6 | 510M| 269 | 0 |2375 |1881 |2375 | 433 | 179k| 2 |2989 | 0.000000e+00 | 4.671700e+04 | Inf
473.40/473.43 c 467s|430000 |429997 |663670 | 1.5 | 522M| 269 | 0 |2375 |1881 |2375 | 430 | 182k| 2 |2991 | 0.000000e+00 | 4.671700e+04 | Inf
484.10/484.17 c 477s|440000 |439997 |670051 | 1.5 | 534M| 269 | 0 |2375 |1881 |2375 | 466 | 185k| 2 |2991 | 0.000000e+00 | 4.671700e+04 | Inf
494.91/494.98 c 488s|450000 |449997 |676823 | 1.5 | 546M| 271 | 0 |2375 |1881 |2375 | 471 | 188k| 2 |3047 | 0.000000e+00 | 4.671700e+04 | Inf
505.70/505.71 c 498s|460000 |459997 |683392 | 1.5 | 558M| 271 | 0 |2375 |1881 |2375 | 463 | 191k| 2 |3057 | 0.000000e+00 | 4.671700e+04 | Inf
516.30/516.39 c 509s|470000 |469997 |689901 | 1.5 | 570M| 271 | 0 |2375 |1881 |2375 | 435 | 194k| 2 |3057 | 0.000000e+00 | 4.671700e+04 | Inf
527.30/527.32 c 520s|480000 |479997 |697332 | 1.5 | 582M| 271 | 0 |2375 |1881 |2375 | 473 | 198k| 2 |3063 | 0.000000e+00 | 4.671700e+04 | Inf
538.20/538.25 c 530s|490000 |489997 |704428 | 1.4 | 594M| 271 | 0 |2375 |1881 |2375 | 467 | 201k| 2 |3095 | 0.000000e+00 | 4.671700e+04 | Inf
549.20/549.23 c 541s|500000 |499997 |711888 | 1.4 | 606M| 271 | 0 |2375 |1881 |2375 | 430 | 205k| 2 |3109 | 0.000000e+00 | 4.671700e+04 | Inf
560.10/560.17 c 552s|510000 |509997 |719688 | 1.4 | 617M| 271 | 0 |2375 |1881 |2375 | 435 | 208k| 2 |3109 | 0.000000e+00 | 4.671700e+04 | Inf
570.91/570.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
570.91/570.96 c 563s|520000 |519997 |726563 | 1.4 | 629M| 271 | 0 |2375 |1881 |2375 | 468 | 212k| 2 |3132 | 0.000000e+00 | 4.671700e+04 | Inf
581.81/581.88 c 573s|530000 |529997 |734261 | 1.4 | 641M| 271 | 0 |2375 |1881 |2375 | 444 | 215k| 2 |3189 | 0.000000e+00 | 4.671700e+04 | Inf
592.71/592.76 c 584s|540000 |539997 |741490 | 1.4 | 653M| 271 | 0 |2375 |1881 |2375 | 439 | 218k| 2 |3189 | 0.000000e+00 | 4.671700e+04 | Inf
603.41/603.49 c 595s|550000 |549997 |748232 | 1.4 | 665M| 271 | 0 |2375 |1881 |2375 | 466 | 222k| 2 |3203 | 0.000000e+00 | 4.671700e+04 | Inf
614.21/614.23 c 605s|560000 |559997 |754892 | 1.3 | 677M| 273 | 0 |2375 |1881 |2375 | 431 | 225k| 2 |3236 | 0.000000e+00 | 4.671700e+04 | Inf
624.91/624.95 c 616s|570000 |569997 |761467 | 1.3 | 689M| 273 | 0 |2375 |1881 |2375 | 435 | 228k| 2 |3255 | 0.000000e+00 | 4.671700e+04 | Inf
635.71/635.76 c 627s|580000 |579997 |768387 | 1.3 | 701M| 273 | 0 |2375 |1881 |2375 | 467 | 231k| 2 |3258 | 0.000000e+00 | 4.671700e+04 | Inf
646.51/646.52 c 637s|590000 |589997 |774960 | 1.3 | 712M| 273 | 0 |2375 |1881 |2375 | 470 | 234k| 2 |3261 | 0.000000e+00 | 4.671700e+04 | Inf
657.21/657.24 c 648s|600000 |599997 |781744 | 1.3 | 724M| 273 | 0 |2375 |1881 |2375 | 464 | 237k| 2 |3296 | 0.000000e+00 | 4.671700e+04 | Inf
667.91/667.97 c 658s|610000 |609997 |788563 | 1.3 | 736M| 273 | 0 |2375 |1881 |2375 | 436 | 240k| 2 |3317 | 0.000000e+00 | 4.671700e+04 | Inf
678.72/678.72 c 669s|620000 |619997 |795094 | 1.3 | 748M| 273 | 0 |2375 |1881 |2375 | 437 | 243k| 2 |3318 | 0.000000e+00 | 4.671700e+04 | Inf
689.40/689.48 c 680s|630000 |629997 |801953 | 1.3 | 760M| 273 | 0 |2375 |1881 |2375 | 451 | 247k| 2 |3322 | 0.000000e+00 | 4.671700e+04 | Inf
700.21/700.24 c 690s|640000 |639997 |808911 | 1.3 | 772M| 273 | 0 |2375 |1881 |2375 | 471 | 250k| 2 |3355 | 0.000000e+00 | 4.671700e+04 | Inf
711.01/711.04 c 701s|650000 |649997 |815778 | 1.3 | 784M| 273 | 0 |2375 |1881 |2375 | 471 | 253k| 2 |3369 | 0.000000e+00 | 4.671700e+04 | Inf
721.80/721.80 c 712s|660000 |659997 |822387 | 1.2 | 796M| 273 | 0 |2375 |1881 |2375 | 472 | 257k| 2 |3369 | 0.000000e+00 | 4.671700e+04 | Inf
732.41/732.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
732.41/732.48 c 722s|670000 |669997 |828893 | 1.2 | 807M| 273 | 0 |2375 |1881 |2375 | 433 | 260k| 2 |3376 | 0.000000e+00 | 4.671700e+04 | Inf
743.20/743.21 c 733s|680000 |679997 |835296 | 1.2 | 819M| 273 | 1 |2375 |1881 |2375 | 468 | 263k| 2 |3395 | 0.000000e+00 | 4.671700e+04 | Inf
753.91/753.97 c 743s|690000 |689997 |842854 | 1.2 | 831M| 273 | 0 |2375 |1881 |2375 | 466 | 266k| 2 |3442 | 0.000000e+00 | 4.671700e+04 | Inf
764.61/764.64 c 754s|700000 |699997 |849310 | 1.2 | 843M| 273 | 0 |2375 |1881 |2375 | 470 | 269k| 2 |3443 | 0.000000e+00 | 4.671700e+04 | Inf
775.42/775.40 c 764s|710000 |709997 |856468 | 1.2 | 855M| 273 | 0 |2375 |1881 |2375 | 428 | 272k| 2 |3443 | 0.000000e+00 | 4.671700e+04 | Inf
786.11/786.13 c 775s|720000 |719997 |862551 | 1.2 | 867M| 273 | 0 |2375 |1881 |2375 | 436 | 275k| 2 |3462 | 0.000000e+00 | 4.671700e+04 | Inf
796.91/796.91 c 786s|730000 |729997 |869613 | 1.2 | 879M| 273 | 0 |2375 |1881 |2375 | 468 | 279k| 2 |3491 | 0.000000e+00 | 4.671700e+04 | Inf
807.62/807.66 c 796s|740000 |739997 |875982 | 1.2 | 891M| 273 | 0 |2375 |1881 |2375 | 465 | 282k| 2 |3491 | 0.000000e+00 | 4.671700e+04 | Inf
818.41/818.42 c 807s|750000 |749997 |883244 | 1.2 | 903M| 273 | 0 |2375 |1881 |2375 | 479 | 285k| 2 |3493 | 0.000000e+00 | 4.671700e+04 | Inf
829.51/829.53 c 818s|760000 |759997 |891532 | 1.2 | 914M| 273 | 0 |2375 |1881 |2375 | 430 | 289k| 2 |3533 | 0.000000e+00 | 4.671700e+04 | Inf
840.51/840.56 c 829s|770000 |769997 |900188 | 1.2 | 926M| 273 | 0 |2375 |1881 |2375 | 432 | 292k| 2 |3538 | 0.000000e+00 | 4.671700e+04 | Inf
851.21/851.28 c 839s|780000 |779997 |906582 | 1.2 | 938M| 273 | 0 |2375 |1881 |2375 | 435 | 295k| 2 |3544 | 0.000000e+00 | 4.671700e+04 | Inf
862.01/862.08 c 850s|790000 |789997 |914194 | 1.2 | 950M| 273 | 0 |2375 |1881 |2375 | 468 | 299k| 2 |3577 | 0.000000e+00 | 4.671700e+04 | Inf
872.81/872.80 c 860s|800000 |799997 |921118 | 1.2 | 962M| 273 | 0 |2375 |1881 |2375 | 469 | 302k| 2 |3597 | 0.000000e+00 | 4.671700e+04 | Inf
883.62/883.69 c 871s|810000 |809997 |928688 | 1.1 | 974M| 273 | 0 |2375 |1881 |2375 | 435 | 305k| 2 |3673 | 0.000000e+00 | 4.671700e+04 | Inf
894.51/894.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
894.51/894.56 c 882s|820000 |819997 |936557 | 1.1 | 986M| 273 | 0 |2375 |1881 |2375 | 439 | 309k| 2 |3697 | 0.000000e+00 | 4.671700e+04 | Inf
905.52/905.55 c 893s|830000 |829997 |946128 | 1.1 | 998M| 273 | 0 |2375 |1881 |2375 | 463 | 313k| 2 |3697 | 0.000000e+00 | 4.671700e+04 | Inf
916.42/916.41 c 903s|840000 |839997 |954052 | 1.1 |1009M| 273 | 0 |2375 |1881 |2375 | 474 | 316k| 2 |3753 | 0.000000e+00 | 4.671700e+04 | Inf
927.11/927.13 c 914s|850000 |849997 |961426 | 1.1 |1021M| 273 | 0 |2375 |1881 |2375 | 471 | 319k| 2 |3760 | 0.000000e+00 | 4.671700e+04 | Inf
937.82/937.83 c 925s|860000 |859997 |968416 | 1.1 |1033M| 273 | 0 |2375 |1881 |2375 | 434 | 322k| 2 |3762 | 0.000000e+00 | 4.671700e+04 | Inf
948.51/948.50 c 935s|870000 |869997 |974244 | 1.1 |1045M| 273 | 0 |2375 |1881 |2375 | 468 | 325k| 2 |3762 | 0.000000e+00 | 4.671700e+04 | Inf
959.22/959.22 c 946s|880000 |879997 |979506 | 1.1 |1057M| 273 | 0 |2375 |1881 |2375 | 463 | 328k| 2 |3795 | 0.000000e+00 | 4.671700e+04 | Inf
969.82/969.89 c 956s|890000 |889997 |986115 | 1.1 |1069M| 273 | 0 |2375 |1881 |2375 | 469 | 331k| 2 |3807 | 0.000000e+00 | 4.671700e+04 | Inf
980.52/980.59 c 967s|900000 |899997 |992818 | 1.1 |1081M| 273 | 0 |2375 |1881 |2375 | 466 | 335k| 2 |3821 | 0.000000e+00 | 4.671700e+04 | Inf
991.21/991.26 c 977s|910000 |909997 |998832 | 1.1 |1093M| 279 | 0 |2375 |1881 |2375 | 469 | 338k| 2 |3821 | 0.000000e+00 | 4.671700e+04 | Inf
1001.82/1001.89 c 988s|920000 |919997 | 1004k| 1.1 |1105M| 279 | 0 |2375 |1881 |2375 | 463 | 341k| 2 |3822 | 0.000000e+00 | 4.671700e+04 | Inf
1012.61/1012.61 c 998s|930000 |929997 | 1011k| 1.1 |1116M| 279 | 0 |2375 |1881 |2375 | 432 | 344k| 2 |3865 | 0.000000e+00 | 4.671700e+04 | Inf
1023.22/1023.29 c 1009s|940000 |939997 | 1018k| 1.1 |1128M| 279 | 0 |2375 |1881 |2375 | 465 | 347k| 2 |3867 | 0.000000e+00 | 4.671700e+04 | Inf
1033.92/1033.96 c 1019s|950000 |949997 | 1025k| 1.1 |1140M| 279 | 0 |2375 |1881 |2375 | 468 | 350k| 2 |3867 | 0.000000e+00 | 4.671700e+04 | Inf
1044.61/1044.66 c 1030s|960000 |959997 | 1032k| 1.1 |1152M| 279 | 0 |2375 |1881 |2375 | 432 | 353k| 2 |3884 | 0.000000e+00 | 4.671700e+04 | Inf
1055.32/1055.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.32/1055.38 c 1041s|970000 |969997 | 1039k| 1.1 |1164M| 279 | 0 |2375 |1881 |2375 | 465 | 356k| 2 |3929 | 0.000000e+00 | 4.671700e+04 | Inf
1066.02/1066.04 c 1051s|980000 |979997 | 1045k| 1.1 |1176M| 279 | 0 |2375 |1881 |2375 | 433 | 359k| 2 |3932 | 0.000000e+00 | 4.671700e+04 | Inf
1076.71/1076.75 c 1062s|990000 |989997 | 1052k| 1.1 |1188M| 279 | 1 |2375 |1881 |2375 | 431 | 362k| 2 |3932 | 0.000000e+00 | 4.671700e+04 | Inf
1087.42/1087.40 c 1072s| 1000k|999997 | 1059k| 1.1 |1200M| 279 | 0 |2375 |1881 |2375 | 465 | 365k| 2 |3932 | 0.000000e+00 | 4.671700e+04 | Inf
1098.02/1098.07 c 1083s| 1010k| 1009k| 1065k| 1.1 |1212M| 279 | 0 |2375 |1881 |2375 | 436 | 369k| 2 |3943 | 0.000000e+00 | 4.671700e+04 | Inf
1108.72/1108.79 c 1093s| 1020k| 1019k| 1072k| 1.1 |1224M| 279 | 0 |2375 |1881 |2375 | 471 | 372k| 2 |3975 | 0.000000e+00 | 4.671700e+04 | Inf
1119.42/1119.45 c 1104s| 1030k| 1029k| 1078k| 1.0 |1235M| 279 | 0 |2375 |1881 |2375 | 468 | 375k| 2 |3975 | 0.000000e+00 | 4.671700e+04 | Inf
1130.12/1130.10 c 1114s| 1040k| 1039k| 1085k| 1.0 |1247M| 279 | 0 |2375 |1881 |2375 | 431 | 378k| 2 |3975 | 0.000000e+00 | 4.671700e+04 | Inf
1140.73/1140.74 c 1125s| 1050k| 1049k| 1091k| 1.0 |1259M| 279 | 0 |2375 |1881 |2375 | 469 | 381k| 2 |3977 | 0.000000e+00 | 4.671700e+04 | Inf
1151.52/1151.54 c 1135s| 1060k| 1059k| 1098k| 1.0 |1271M| 279 | 0 |2375 |1881 |2375 | 467 | 384k| 2 |4056 | 0.000000e+00 | 4.671700e+04 | Inf
1162.52/1162.52 c 1146s| 1070k| 1069k| 1107k| 1.0 |1283M| 279 | 0 |2375 |1881 |2375 | 432 | 387k| 2 |4059 | 0.000000e+00 | 4.671700e+04 | Inf
1173.42/1173.45 c 1157s| 1080k| 1079k| 1117k| 1.0 |1295M| 279 | 0 |2375 |1881 |2375 | 471 | 391k| 2 |4073 | 0.000000e+00 | 4.671700e+04 | Inf
1184.12/1184.15 c 1167s| 1090k| 1089k| 1123k| 1.0 |1307M| 279 | 0 |2375 |1881 |2375 | 469 | 394k| 2 |4081 | 0.000000e+00 | 4.671700e+04 | Inf
1194.82/1194.86 c 1178s| 1100k| 1099k| 1130k| 1.0 |1319M| 279 | 1 |2375 |1881 |2375 | 468 | 397k| 2 |4087 | 0.000000e+00 | 4.671700e+04 | Inf
1205.53/1205.53 c 1189s| 1110k| 1109k| 1136k| 1.0 |1331M| 279 | 0 |2375 |1881 |2375 | 433 | 400k| 2 |4088 | 0.000000e+00 | 4.671700e+04 | Inf
1216.22/1216.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1216.22/1216.25 c 1199s| 1120k| 1119k| 1142k| 1.0 |1343M| 279 | 0 |2375 |1881 |2375 | 471 | 403k| 2 |4088 | 0.000000e+00 | 4.671700e+04 | Inf
1226.92/1226.93 c 1210s| 1130k| 1129k| 1148k| 1.0 |1355M| 279 | 0 |2375 |1881 |2375 | 464 | 406k| 2 |4098 | 0.000000e+00 | 4.671700e+04 | Inf
1237.63/1237.67 c 1220s| 1140k| 1139k| 1155k| 1.0 |1367M| 279 | 0 |2375 |1881 |2375 | 432 | 409k| 2 |4136 | 0.000000e+00 | 4.671700e+04 | Inf
1248.32/1248.34 c 1231s| 1150k| 1149k| 1161k| 1.0 |1379M| 279 | 0 |2375 |1881 |2375 | 469 | 412k| 2 |4136 | 0.000000e+00 | 4.671700e+04 | Inf
1259.03/1259.06 c 1241s| 1160k| 1159k| 1168k| 1.0 |1390M| 279 | 0 |2375 |1881 |2375 | 464 | 415k| 2 |4136 | 0.000000e+00 | 4.671700e+04 | Inf
1269.72/1269.72 c 1252s| 1170k| 1169k| 1174k| 1.0 |1402M| 279 | 0 |2375 |1881 |2375 | 436 | 418k| 2 |4136 | 0.000000e+00 | 4.671700e+04 | Inf
1280.43/1280.48 c 1262s| 1180k| 1179k| 1181k| 1.0 |1414M| 279 | 1 |2375 |1881 |2375 | 429 | 422k| 2 |4154 | 0.000000e+00 | 4.671700e+04 | Inf
1291.13/1291.15 c 1273s| 1190k| 1189k| 1186k| 1.0 |1426M| 279 | 0 |2375 |1881 |2375 | 470 | 424k| 2 |4158 | 0.000000e+00 | 4.671700e+04 | Inf
1301.83/1301.86 c 1284s| 1200k| 1199k| 1194k| 1.0 |1438M| 279 | 0 |2375 |1881 |2375 | 433 | 428k| 2 |4161 | 0.000000e+00 | 4.671700e+04 | Inf
1312.52/1312.51 c 1294s| 1210k| 1209k| 1200k| 1.0 |1450M| 279 | 0 |2375 |1881 |2375 | 436 | 431k| 2 |4162 | 0.000000e+00 | 4.671700e+04 | Inf
1323.23/1323.25 c 1305s| 1220k| 1219k| 1207k| 1.0 |1462M| 279 | 0 |2375 |1881 |2375 | 471 | 434k| 2 |4166 | 0.000000e+00 | 4.671700e+04 | Inf
1333.93/1333.94 c 1315s| 1230k| 1229k| 1213k| 1.0 |1474M| 279 | 0 |2375 |1881 |2375 | 469 | 437k| 2 |4176 | 0.000000e+00 | 4.671700e+04 | Inf
1344.82/1344.81 c 1326s| 1240k| 1239k| 1220k| 1.0 |1486M| 279 | 0 |2375 |1881 |2375 | 464 | 440k| 2 |4294 | 0.000000e+00 | 4.671700e+04 | Inf
1355.52/1355.55 c 1337s| 1250k| 1249k| 1227k| 1.0 |1498M| 279 | 0 |2375 |1881 |2375 | 428 | 443k| 2 |4297 | 0.000000e+00 | 4.671700e+04 | Inf
1366.33/1366.31 c 1347s| 1260k| 1259k| 1233k| 1.0 |1510M| 279 | 0 |2375 |1881 |2375 | 473 | 447k| 2 |4298 | 0.000000e+00 | 4.671700e+04 | Inf
1377.03/1377.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1377.03/1377.05 c 1358s| 1270k| 1269k| 1240k| 1.0 |1522M| 279 | 0 |2375 |1881 |2375 | 468 | 450k| 2 |4339 | 0.000000e+00 | 4.671700e+04 | Inf
1387.73/1387.73 c 1368s| 1280k| 1279k| 1246k| 1.0 |1534M| 279 | 0 |2375 |1881 |2375 | 429 | 453k| 2 |4352 | 0.000000e+00 | 4.671700e+04 | Inf
1398.43/1398.48 c 1379s| 1290k| 1289k| 1253k| 1.0 |1546M| 279 | 0 |2375 |1881 |2375 | 431 | 456k| 2 |4361 | 0.000000e+00 | 4.671700e+04 | Inf
1409.23/1409.28 c 1390s| 1300k| 1299k| 1261k| 1.0 |1557M| 279 | 0 |2375 |1881 |2375 | 470 | 459k| 2 |4397 | 0.000000e+00 | 4.671700e+04 | Inf
1420.13/1420.11 c 1400s| 1310k| 1309k| 1268k| 1.0 |1569M| 279 | 0 |2375 |1881 |2375 | 464 | 462k| 2 |4397 | 0.000000e+00 | 4.671700e+04 | Inf
1430.82/1430.87 c 1411s| 1320k| 1319k| 1274k| 1.0 |1581M| 279 | 0 |2375 |1881 |2375 | 433 | 466k| 2 |4441 | 0.000000e+00 | 4.671700e+04 | Inf
1441.52/1441.57 c 1421s| 1330k| 1329k| 1281k| 1.0 |1593M| 279 | 0 |2375 |1881 |2375 | 466 | 469k| 2 |4445 | 0.000000e+00 | 4.671700e+04 | Inf
1452.32/1452.38 c 1432s| 1340k| 1339k| 1289k| 1.0 |1605M| 279 | 0 |2375 |1881 |2375 | 463 | 472k| 2 |4457 | 0.000000e+00 | 4.671700e+04 | Inf
1463.12/1463.18 c 1443s| 1350k| 1349k| 1296k| 1.0 |1617M| 279 | 0 |2375 |1881 |2375 | 467 | 475k| 2 |4467 | 0.000000e+00 | 4.671700e+04 | Inf
1473.94/1473.99 c 1453s| 1360k| 1359k| 1304k| 1.0 |1629M| 279 | 0 |2375 |1881 |2375 | 437 | 478k| 2 |4512 | 0.000000e+00 | 4.671700e+04 | Inf
1484.73/1484.75 c 1464s| 1370k| 1369k| 1310k| 1.0 |1641M| 279 | 1 |2375 |1881 |2375 | 419 | 481k| 2 |4517 | 0.000000e+00 | 4.671700e+04 | Inf
1495.43/1495.46 c 1474s| 1380k| 1379k| 1318k| 1.0 |1653M| 279 | 0 |2375 |1881 |2375 | 474 | 485k| 2 |4517 | 0.000000e+00 | 4.671700e+04 | Inf
1506.33/1506.31 c 1485s| 1390k| 1389k| 1326k| 1.0 |1665M| 279 | 0 |2375 |1881 |2375 | 469 | 488k| 2 |4535 | 0.000000e+00 | 4.671700e+04 | Inf
1517.03/1517.08 c 1496s| 1400k| 1399k| 1332k| 1.0 |1677M| 279 | 0 |2375 |1881 |2375 | 428 | 491k| 2 |4553 | 0.000000e+00 | 4.671700e+04 | Inf
1527.83/1527.81 c 1506s| 1410k| 1409k| 1339k| 0.9 |1688M| 279 | 0 |2375 |1881 |2375 | 469 | 494k| 2 |4578 | 0.000000e+00 | 4.671700e+04 | Inf
1538.43/1538.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1538.43/1538.48 c 1517s| 1420k| 1419k| 1345k| 0.9 |1700M| 281 | 0 |2375 |1881 |2375 | 468 | 497k| 2 |4582 | 0.000000e+00 | 4.671700e+04 | Inf
1549.23/1549.25 c 1527s| 1430k| 1429k| 1353k| 0.9 |1712M| 281 | 0 |2375 |1881 |2375 | 470 | 501k| 2 |4589 | 0.000000e+00 | 4.671700e+04 | Inf
1560.13/1560.13 c 1538s| 1440k| 1439k| 1360k| 0.9 |1724M| 281 | 0 |2375 |1881 |2375 | 435 | 504k| 2 |4593 | 0.000000e+00 | 4.671700e+04 | Inf
1570.84/1570.84 c 1549s| 1450k| 1449k| 1367k| 0.9 |1736M| 281 | 0 |2375 |1881 |2375 | 432 | 507k| 2 |4638 | 0.000000e+00 | 4.671700e+04 | Inf
1581.53/1581.52 c 1559s| 1460k| 1459k| 1373k| 0.9 |1748M| 281 | 0 |2375 |1881 |2375 | 467 | 510k| 2 |4640 | 0.000000e+00 | 4.671700e+04 | Inf
1592.23/1592.28 c 1570s| 1470k| 1469k| 1381k| 0.9 |1760M| 281 | 0 |2375 |1881 |2375 | 466 | 513k| 2 |4649 | 0.000000e+00 | 4.671700e+04 | Inf
1602.93/1602.98 c 1580s| 1480k| 1479k| 1388k| 0.9 |1772M| 281 | 0 |2375 |1881 |2375 | 436 | 516k| 2 |4651 | 0.000000e+00 | 4.671700e+04 | Inf
1613.64/1613.69 c 1591s| 1490k| 1489k| 1394k| 0.9 |1784M| 281 | 0 |2375 |1881 |2375 | 433 | 519k| 2 |4687 | 0.000000e+00 | 4.671700e+04 | Inf
1624.53/1624.51 c 1602s| 1500k| 1499k| 1401k| 0.9 |1796M| 281 | 0 |2375 |1881 |2375 | 467 | 522k| 2 |4703 | 0.000000e+00 | 4.671700e+04 | Inf
1635.23/1635.24 c 1612s| 1510k| 1509k| 1409k| 0.9 |1808M| 281 | 0 |2375 |1881 |2375 | 468 | 526k| 2 |4722 | 0.000000e+00 | 4.671700e+04 | Inf
1646.03/1646.07 c 1623s| 1520k| 1519k| 1416k| 0.9 |1820M| 281 | 0 |2375 |1881 |2375 | 435 | 529k| 2 |4724 | 0.000000e+00 | 4.671700e+04 | Inf
1656.83/1656.89 c 1634s| 1530k| 1529k| 1423k| 0.9 |1831M| 281 | 0 |2375 |1881 |2375 | 432 | 532k| 2 |4743 | 0.000000e+00 | 4.671700e+04 | Inf
1667.64/1667.61 c 1644s| 1540k| 1539k| 1431k| 0.9 |1843M| 281 | 0 |2375 |1881 |2375 | 462 | 535k| 2 |4782 | 0.000000e+00 | 4.671700e+04 | Inf
1678.33/1678.38 c 1655s| 1550k| 1549k| 1439k| 0.9 |1855M| 281 | 0 |2375 |1881 |2375 | 471 | 539k| 2 |4805 | 0.000000e+00 | 4.671700e+04 | Inf
1689.04/1689.09 c 1665s| 1560k| 1559k| 1445k| 0.9 |1867M| 281 | 0 |2375 |1881 |2375 | 429 | 542k| 2 |4805 | 0.000000e+00 | 4.671700e+04 | Inf
1699.73/1699.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1699.73/1699.79 c 1676s| 1570k| 1569k| 1450k| 0.9 |1879M| 281 | 0 |2375 |1881 |2375 | 462 | 545k| 2 |4805 | 0.000000e+00 | 4.671700e+04 | Inf
1710.44/1710.43 c 1686s| 1580k| 1579k| 1456k| 0.9 |1891M| 281 | 0 |2375 |1881 |2375 | 471 | 547k| 2 |4808 | 0.000000e+00 | 4.671700e+04 | Inf
1721.13/1721.19 c 1697s| 1590k| 1589k| 1463k| 0.9 |1903M| 281 | 0 |2375 |1881 |2375 | 436 | 551k| 2 |4827 | 0.000000e+00 | 4.671700e+04 | Inf
1731.93/1731.91 c 1708s| 1600k| 1599k| 1468k| 0.9 |1915M| 281 | 0 |2375 |1881 |2375 | 462 | 553k| 2 |4836 | 0.000000e+00 | 4.671700e+04 | Inf
1742.64/1742.60 c 1718s| 1610k| 1609k| 1472k| 0.9 |1927M| 281 | 0 |2375 |1881 |2375 | 460 | 556k| 2 |4854 | 0.000000e+00 | 4.671700e+04 | Inf
1753.24/1753.25 c 1729s| 1620k| 1619k| 1477k| 0.9 |1939M| 281 | 0 |2375 |1881 |2375 | 468 | 559k| 2 |4863 | 0.000000e+00 | 4.671700e+04 | Inf
1763.93/1763.93 c 1739s| 1630k| 1629k| 1483k| 0.9 |1951M| 281 | 0 |2375 |1881 |2375 | 482 | 562k| 2 |4884 | 0.000000e+00 | 4.671700e+04 | Inf
1774.64/1774.66 c 1750s| 1640k| 1639k| 1490k| 0.9 |1963M| 281 | 18 |2375 |1881 |2375 | 432 | 565k| 2 |4934 | 0.000000e+00 | 4.671700e+04 | Inf
1785.34/1785.31 c 1760s| 1650k| 1649k| 1497k| 0.9 |1975M| 281 | 0 |2375 |1881 |2375 | 437 | 568k| 2 |4938 | 0.000000e+00 | 4.671700e+04 | Inf
1796.04/1796.01 c 1771s| 1660k| 1659k| 1502k| 0.9 |1987M| 281 | 0 |2375 |1881 |2375 | 464 | 571k| 2 |4940 | 0.000000e+00 | 4.671700e+04 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1774.72
1800.04/1800.00 c Solving Nodes : 1663757
1800.04/1800.00 c Primal Bound : +4.67170000000000e+04 (102 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.02 s SATISFIABLE
1800.04/1800.02 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474
1800.04/1800.02 v -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454
1800.04/1800.02 v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433
1800.04/1800.02 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412
1800.04/1800.02 v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391
1800.04/1800.02 v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370
1800.04/1800.02 v x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 -x349
1800.04/1800.02 v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328
1800.04/1800.02 v -x327 -x326 -x325 -x324 x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307
1800.04/1800.02 v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286
1800.04/1800.02 v -x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 x265 -x264
1800.04/1800.02 v -x263 -x262 -x261 -x260 x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 x244 -x243
1800.04/1800.02 v -x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222
1800.04/1800.02 v -x221 -x220 -x219 x218 -x217 -x216 -x215 x214 -x213 x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
1800.04/1800.02 v -x199 x198 -x197 -x196 -x195 -x194 -x193 x192 x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 x179
1800.04/1800.02 v -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157
1800.04/1800.02 v -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 x146 x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136
1800.04/1800.02 v x135 -x134 -x133 x132 -x131 x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
1800.04/1800.02 v -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 x105 x104 -x103 -x102 -x101 -x100 x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91
1800.04/1800.02 v -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 x77 -x76 x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 x65
1800.04/1800.02 v -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40
1800.04/1800.02 v -x39 -x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 x15 -x14
1800.04/1800.02 v -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 x1
1800.04/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.02 c Solving Time : 1774.72
1800.04/1800.02 c Original Problem :
1800.04/1800.02 c Problem name : HOME/instance-2692483-1277931569.wbo
1800.04/1800.02 c Variables : 2375 (1435 binary, 0 integer, 0 implicit integer, 940 continuous)
1800.04/1800.02 c Constraints : 1881 initial, 1881 maximal
1800.04/1800.02 c Presolved Problem :
1800.04/1800.02 c Problem name : t_HOME/instance-2692483-1277931569.wbo
1800.04/1800.02 c Variables : 2375 (1435 binary, 0 integer, 0 implicit integer, 940 continuous)
1800.04/1800.02 c Constraints : 1880 initial, 1882 maximal
1800.04/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.02 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.02 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c linear : 0.02 0 0 0 940 0 1 70 140
1800.04/1800.02 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c root node : - 0 - - 0 - - - -
1800.04/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c integral : 0 0 0 1856910 0 0 0 0 0 282948
1800.04/1800.02 c indicator : 940 0 2898764 1715436 0 0 1659112 0 0 0
1800.04/1800.02 c varbound : 1 6 662104 273584 0 0 12011 1 0 0
1800.04/1800.02 c linear : 939 6 2898764 1715436 0 1 1371425 572570 0 0
1800.04/1800.02 c logicor : 0+ 0 7878 0 0 0 591 0 0 0
1800.04/1800.02 c countsols : 0 0 0 1522281 0 0 0 0 0 0
1800.04/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.02 c integral : 10.64 0.00 0.00 10.64 0.00
1800.04/1800.02 c indicator : 126.03 0.02 28.48 97.53 0.00
1800.04/1800.02 c varbound : 0.28 0.00 0.22 0.06 0.00
1800.04/1800.02 c linear : 139.78 0.00 22.37 117.41 0.00
1800.04/1800.02 c logicor : 0.02 0.00 0.02 0.00 0.00
1800.04/1800.02 c countsols : 0.29 0.00 0.00 0.29 0.00
1800.04/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.02 c vbounds : 0.75 24023 0 0
1800.04/1800.02 c rootredcost : 0.74 1 0 0
1800.04/1800.02 c pseudoobj : 58.70 2898564 0 0
1800.04/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.02 c propagation : 0.00 1 1 2 11.5 0 0.0 -
1800.04/1800.02 c infeasible LP : 0.00 1 1 1 4.0 0 0.0 0
1800.04/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.02 c applied globally : - - - 2 7.5 - - -
1800.04/1800.02 c applied locally : - - - 0 0.0 - - -
1800.04/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.02 c cut pool : 0.00 4 - - 201 - (maximal pool size: 927)
1800.04/1800.02 c redcost : 84.53 1789844 0 0 0 0
1800.04/1800.02 c impliedbounds : 0.00 5 0 0 0 0
1800.04/1800.02 c intobj : 0.00 0 0 0 0 0
1800.04/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.02 c gomory : 0.01 5 0 0 57 0
1800.04/1800.02 c strongcg : 0.01 5 0 0 0 0
1800.04/1800.02 c cmir : 0.06 5 0 0 396 0
1800.04/1800.02 c flowcover : 0.10 5 0 0 750 0
1800.04/1800.02 c clique : 0.00 1 0 0 0 0
1800.04/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.02 c mcf : 0.00 1 0 0 0 0
1800.04/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.02 c Pricers : Time Calls Vars
1800.04/1800.02 c problem variables: 0.00 0 0
1800.04/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c relpscost : 10.02 141474 0 0 0 0 282948
1800.04/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c inference : 143.07 1522281 0 0 0 0 3044562
1800.04/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c random : 0.00 0 0 0 0 0 0
1800.04/1800.02 c Primal Heuristics : Time Calls Found
1800.04/1800.02 c LP solutions : 0.00 - 0
1800.04/1800.02 c pseudo solutions : 0.00 - 0
1800.04/1800.02 c feaspump : 0.00 0 0
1800.04/1800.02 c oneopt : 1.03 1 0
1800.04/1800.02 c intshifting : 0.03 4 0
1800.04/1800.02 c crossover : 0.58 13 0
1800.04/1800.02 c guideddiving : 8.46 12021 0
1800.04/1800.02 c veclendiving : 8.07 12022 0
1800.04/1800.02 c linesearchdiving : 8.16 12022 0
1800.04/1800.02 c coefdiving : 7.90 12022 0
1800.04/1800.02 c pscostdiving : 7.38 12022 0
1800.04/1800.02 c fracdiving : 8.05 12022 0
1800.04/1800.02 c rootsoldiving : 9.19 12020 0
1800.04/1800.02 c objpscostdiving : 8.07 12021 0
1800.04/1800.02 c trivial : 0.01 2 2
1800.04/1800.02 c simplerounding : 0.63 135407 0
1800.04/1800.02 c zirounding : 0.79 1000 0
1800.04/1800.02 c rounding : 0.85 5133 0
1800.04/1800.02 c shifting : 0.69 1602 0
1800.04/1800.02 c twoopt : 0.00 0 0
1800.04/1800.02 c fixandinfer : 0.00 0 0
1800.04/1800.02 c intdiving : 0.00 0 0
1800.04/1800.02 c actconsdiving : 0.00 0 0
1800.04/1800.02 c octane : 0.00 0 0
1800.04/1800.02 c rens : 0.02 1 0
1800.04/1800.02 c rins : 0.00 0 0
1800.04/1800.02 c localbranching : 0.00 0 0
1800.04/1800.02 c mutation : 0.00 0 0
1800.04/1800.02 c dins : 0.00 0 0
1800.04/1800.02 c undercover : 0.00 0 0
1800.04/1800.02 c nlp : 0.52 0 0
1800.04/1800.02 c trysol : 0.78 14656 100
1800.04/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.02 c dual LP : 703.35 416651 1503552 3.61 2137.70
1800.04/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.02 c diving/probing LP: 0.17 223 1354 6.07 7964.71
1800.04/1800.02 c strong branching : 9.50 4940 93097 18.85 9799.68
1800.04/1800.02 c (at root node) : - 33 1200 36.36 -
1800.04/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.02 c B&B Tree :
1800.04/1800.02 c number of runs : 1
1800.04/1800.02 c nodes : 1663757
1800.04/1800.02 c nodes (total) : 1663757
1800.04/1800.02 c nodes left : 1663754
1800.04/1800.02 c max depth : 281
1800.04/1800.02 c max depth (total): 281
1800.04/1800.02 c backtracks : 12030 (0.7%)
1800.04/1800.02 c delayed cutoffs : 0
1800.04/1800.02 c repropagations : 45 (2 domain reductions, 0 cutoffs)
1800.04/1800.02 c avg switch length: 2.10
1800.04/1800.02 c switching time : 64.57
1800.04/1800.02 c Solution :
1800.04/1800.02 c Solutions found : 102 (2 improvements)
1800.04/1800.02 c First Solution : +4.68140000000000e+04 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.04/1800.02 c Primal Bound : +4.67170000000000e+04 (in run 1, after 1 nodes, 0.05 seconds, depth 0, found by <trysol>)
1800.04/1800.02 c Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Gap : infinite
1800.04/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Root Iterations : 971
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692483-1277931569/watcher-2692483-1277931569 -o /tmp/evaluation-result-2692483-1277931569/solver-2692483-1277931569 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692483-1277931569.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.03 2.16 2.48 4/178 16378
/proc/meminfo: memFree=31758232/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=9548 CPUtime=0
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 1683 0 0 0 0 0 0 0 25 0 1 0 134454809 9777152 1602 4089446400 4194304 8223781 140737001926048 18446744073709551615 4681001 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/16378/statm: 2387 1602 369 984 0 1400 0
[startup+0.072947 s]
/proc/loadavg: 2.03 2.16 2.48 4/178 16378
/proc/meminfo: memFree=31758232/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=21428 CPUtime=0.06
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 5568 0 0 0 5 1 0 0 25 0 1 0 134454809 21942272 4350 4089446400 4194304 8223781 140737001926048 18446744073709551615 4414517 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 5357 4350 480 984 0 4370 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 21428
[startup+0.10093 s]
/proc/loadavg: 2.03 2.16 2.48 4/178 16378
/proc/meminfo: memFree=31758232/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=24120 CPUtime=0.09
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 6336 0 0 0 8 1 0 0 25 0 1 0 134454809 24698880 5106 4089446400 4194304 8223781 140737001926048 18446744073709551615 6003108 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 6030 5106 563 984 0 5043 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24120
[startup+0.300892 s]
/proc/loadavg: 2.03 2.16 2.48 4/178 16378
/proc/meminfo: memFree=31758232/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=25588 CPUtime=0.29
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 6711 0 0 0 28 1 0 0 25 0 1 0 134454809 26202112 5474 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 6397 5474 565 984 0 5410 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25588
[startup+0.700823 s]
/proc/loadavg: 2.03 2.16 2.48 4/178 16378
/proc/meminfo: memFree=31758232/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=25876 CPUtime=0.69
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 10723 0 0 0 67 2 0 0 25 0 1 0 134454809 26497024 5575 4089446400 4194304 8223781 140737001926048 18446744073709551615 6592556 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 6469 5575 578 984 0 5482 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25876
[startup+1.50068 s]
/proc/loadavg: 2.03 2.16 2.48 3/179 16379
/proc/meminfo: memFree=31737768/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=25876 CPUtime=1.49
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 10723 0 0 0 146 3 0 0 25 0 1 0 134454809 26497024 5575 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 6469 5575 578 984 0 5482 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25876
[startup+3.10041 s]
/proc/loadavg: 2.03 2.16 2.48 3/179 16379
/proc/meminfo: memFree=31737520/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=25876 CPUtime=3.09
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 10723 0 0 0 304 5 0 0 25 0 1 0 134454809 26497024 5575 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 6469 5575 578 984 0 5482 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25876
[startup+6.30084 s]
/proc/loadavg: 2.02 2.15 2.47 3/179 16379
/proc/meminfo: memFree=31737460/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=27556 CPUtime=6.29
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 11205 0 0 0 620 9 0 0 25 0 1 0 134454809 28217344 5982 4089446400 4194304 8223781 140737001926048 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 7146 5999 579 984 0 6159 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27556
[startup+12.7007 s]
/proc/loadavg: 2.02 2.15 2.47 3/179 16379
/proc/meminfo: memFree=31727416/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=36748 CPUtime=12.7
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 28777 0 0 0 1249 21 0 0 25 0 1 0 134454809 37629952 8245 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 9187 8245 583 984 0 8200 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 36748
[startup+25.5004 s]
/proc/loadavg: 2.08 2.16 2.47 3/179 16453
/proc/meminfo: memFree=31631372/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=51096 CPUtime=25.49
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 39874 0 0 0 2508 41 0 0 25 0 1 0 134454809 52322304 11868 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 12774 11868 588 984 0 11787 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51096
[startup+51.1009 s]
/proc/loadavg: 2.06 2.14 2.45 3/179 16454
/proc/meminfo: memFree=31587008/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=79580 CPUtime=51.09
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 50819 0 0 0 5031 78 0 0 25 0 1 0 134454809 81489920 19091 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 19895 19091 588 984 0 18908 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 79580
[startup+102.307 s]
/proc/loadavg: 2.02 2.12 2.43 3/179 16464
/proc/meminfo: memFree=31491620/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=136812 CPUtime=102.3
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 68512 0 0 0 10076 154 0 0 25 0 1 0 134454809 140095488 33064 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 34203 33064 588 984 0 33216 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 136812
[startup+162.3 s]
/proc/loadavg: 2.01 2.09 2.40 3/179 16465
/proc/meminfo: memFree=31398636/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=199320 CPUtime=162.29
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 88066 0 0 0 15987 242 0 0 25 0 1 0 134454809 204103680 48912 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 49830 48912 588 984 0 48843 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 199320
[startup+222.301 s]
/proc/loadavg: 2.00 2.08 2.37 3/179 16467
/proc/meminfo: memFree=31299012/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=272228 CPUtime=222.3
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 105487 0 0 0 21901 329 0 0 25 0 1 0 134454809 278761472 66333 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 68057 66333 588 984 0 67070 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 272228
[startup+282.301 s]
/proc/loadavg: 2.00 2.06 2.34 3/179 16469
/proc/meminfo: memFree=31201648/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=335868 CPUtime=282.3
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 125300 0 0 0 27813 417 0 0 25 0 1 0 134454809 343928832 82447 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 83967 82447 588 984 0 82980 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 335868
[startup+342.3 s]
/proc/loadavg: 2.00 2.05 2.32 3/179 16470
/proc/meminfo: memFree=31103524/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=403724 CPUtime=342.3
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 142472 0 0 0 33730 500 0 0 25 0 1 0 134454809 413413376 99619 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 100931 99619 588 984 0 99944 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 403724
[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.30 3/179 16472
/proc/meminfo: memFree=31013708/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=466300 CPUtime=402.3
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 158361 0 0 0 39644 586 0 0 25 0 1 0 134454809 477491200 115504 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 116575 115504 588 984 0 115588 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 466300
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.27 3/179 16473
/proc/meminfo: memFree=30916688/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=532964 CPUtime=462.3
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 178917 0 0 0 45557 673 0 0 25 0 1 0 134454809 545755136 132363 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 133241 132363 588 984 0 132254 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 532964
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.26 3/179 16475
/proc/meminfo: memFree=30823528/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=605760 CPUtime=522.3
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 195308 0 0 0 51473 757 0 0 25 0 1 0 134454809 620298240 148754 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 151440 148754 588 984 0 150453 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 605760
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.24 3/179 16477
/proc/meminfo: memFree=30728876/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=669580 CPUtime=582.31
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 211461 0 0 0 57391 840 0 0 25 0 1 0 134454809 685649920 164907 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 167395 164907 588 984 0 166408 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 669580
[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.22 3/179 16478
/proc/meminfo: memFree=30631876/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=736348 CPUtime=642.31
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 228382 0 0 0 63309 922 0 0 25 0 1 0 134454809 754020352 181828 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 184087 181828 588 984 0 183100 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 736348
[startup+702.3 s]
################
# More data... #
################
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 330786 0 0 0 98816 1416 0 0 25 0 1 0 134454809 1153187840 280563 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 281540 280563 588 984 0 280553 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1126160
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.13 3/179 16489
/proc/meminfo: memFree=29965700/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=1193104 CPUtime=1062.32
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 347742 0 0 0 104735 1497 0 0 25 0 1 0 134454809 1221738496 297519 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 298276 297519 588 984 0 297289 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1193104
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/179 16491
/proc/meminfo: memFree=29874024/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=1274140 CPUtime=1122.32
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 364151 0 0 0 110646 1586 0 0 25 0 1 0 134454809 1304719360 313918 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 318535 313918 588 984 0 317548 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1274140
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 16493
/proc/meminfo: memFree=29779004/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=1340076 CPUtime=1182.32
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 380840 0 0 0 116562 1670 0 0 25 0 1 0 134454809 1372237824 330607 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 335019 330607 588 984 0 334032 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1340076
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 16494
/proc/meminfo: memFree=29683984/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=1404400 CPUtime=1242.33
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 397141 0 0 0 122488 1745 0 0 25 0 1 0 134454809 1438105600 346908 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 351100 346908 588 984 0 350113 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1404400
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 16496
/proc/meminfo: memFree=29585376/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=1471264 CPUtime=1302.33
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 414079 0 0 0 128398 1835 0 0 25 0 1 0 134454809 1506574336 363846 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 367816 363846 588 984 0 366829 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1471264
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 16497
/proc/meminfo: memFree=29488748/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=1537312 CPUtime=1362.32
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 430804 0 0 0 134318 1914 0 0 25 0 1 0 134454809 1574207488 380571 4089446400 4194304 8223781 140737001926048 18446744073709551615 6003280 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 384328 380571 588 984 0 383341 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1537312
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 16499
/proc/meminfo: memFree=29391992/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=1602680 CPUtime=1422.33
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 447365 0 0 0 140235 1998 0 0 25 0 1 0 134454809 1641144320 397132 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 400670 397132 588 984 0 399683 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1602680
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 16501
/proc/meminfo: memFree=29298080/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=1667592 CPUtime=1482.32
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 463827 0 0 0 146149 2083 0 0 25 0 1 0 134454809 1707614208 413594 4089446400 4194304 8223781 140737001926048 18446744073709551615 6456034 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 416898 413594 588 984 0 415911 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1667592
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 16502
/proc/meminfo: memFree=29204060/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=1731624 CPUtime=1542.33
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 480053 0 0 0 152062 2171 0 0 25 0 1 0 134454809 1773182976 429820 4089446400 4194304 8223781 140737001926048 18446744073709551615 6558070 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 432906 429820 588 984 0 431919 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1731624
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 16504
/proc/meminfo: memFree=29110036/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=1796804 CPUtime=1602.34
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 496565 0 0 0 157976 2258 0 0 25 0 1 0 134454809 1839927296 446332 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 449201 446332 588 984 0 448214 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1796804
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 16505
/proc/meminfo: memFree=29016876/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=1861432 CPUtime=1662.33
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 512924 0 0 0 163893 2340 0 0 25 0 1 0 134454809 1906106368 462691 4089446400 4194304 8223781 140737001926048 18446744073709551615 6483609 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 465358 462691 588 984 0 464371 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1861432
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 16507
/proc/meminfo: memFree=28922964/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=1925344 CPUtime=1722.33
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 529119 0 0 0 169808 2425 0 0 25 0 1 0 134454809 1971552256 478886 4089446400 4194304 8223781 140737001926048 18446744073709551615 6482584 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 481336 478886 588 984 0 480349 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1925344
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 16509
/proc/meminfo: memFree=28823236/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=1994452 CPUtime=1782.33
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 550314 0 0 0 175724 2509 0 0 25 0 1 0 134454809 2042318848 496402 4089446400 4194304 8223781 140737001926048 18446744073709551615 6482892 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 498613 496402 588 984 0 497626 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1994452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 16509
/proc/meminfo: memFree=28796692/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=2013028 CPUtime=1800.04
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 555022 0 0 0 177472 2532 0 0 25 0 1 0 134454809 2061340672 501110 4089446400 4194304 8223781 140737001926048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16378/statm: 503257 501110 588 984 0 502270 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2013028
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -16378
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.04 3/180 16510
/proc/meminfo: memFree=28796064/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=1932452 CPUtime=1801.44
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 555024 0 0 0 177612 2532 0 0 19 0 1 0 134454809 1978830848 480968 4089446400 4194304 8223781 140737001926048 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/16378/statm: 483113 480968 590 984 0 482126 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 1932452
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.04 3/180 16510
/proc/meminfo: memFree=29049148/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=1570448 CPUtime=1801.84
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 555024 0 0 0 177651 2533 0 0 20 0 1 0 134454809 1608138752 390467 4089446400 4194304 8223781 140737001926048 18446744073709551615 6206539 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/16378/statm: 392612 390467 590 984 0 391625 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 1570448
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.04 3/180 16510
/proc/meminfo: memFree=29049148/32951124 swapFree=67111528/67111528
[pid=16378] ppid=16376 vsize=1406204 CPUtime=1802.04
/proc/16378/stat : 16378 (pbscip.linux.x8) R 16376 16378 15507 0 -1 4202496 555024 0 0 0 177670 2534 0 0 21 0 1 0 134454809 1439952896 349406 4089446400 4194304 8223781 140737001926048 18446744073709551615 4615449 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/16378/statm: 351551 349406 590 984 0 350564 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 1406204
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.05
CPU time (s): 1802.1
CPU user time (s): 1776.71
CPU system time (s): 25.3841
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2013028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.71
system time used= 25.3841
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 555024
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= 908
runsolver used 3.22151 second user time and 6.46002 second system time
The end
Begin job on node101 at 2010-06-30 22:59:29
IDJOB=2692483
IDBENCH=79317
IDSOLVER=1204
FILE ID=node101/2692483-1277931569
PBS_JOBID= 11197351
Free space on /tmp= 74208 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-44s.smv--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692483-1277931569/watcher-2692483-1277931569 -o /tmp/evaluation-result-2692483-1277931569/solver-2692483-1277931569 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692483-1277931569.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4d1622885c2ebb9b79c07237f88a35bc
RANDOM SEED=1306766790
node101.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.837
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.837
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.837
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.837
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.83
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.837
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.837
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.82
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.837
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.837
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31758760 kB
Buffers: 220772 kB
Cached: 744120 kB
SwapCached: 0 kB
Active: 499656 kB
Inactive: 550504 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31758760 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4704 kB
Writeback: 0 kB
AnonPages: 85328 kB
Mapped: 15484 kB
Slab: 79240 kB
PageTables: 4868 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 230188 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74200 MiB
End job on node101 at 2010-06-30 23:29:31