0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3692472-1338042275.opb>
0.01/0.02 c original problem has 3150 variables (3150 bin, 0 int, 0 impl, 0 cont) and 4923 constraints
0.01/0.02 c problem read in 0.02
0.01/0.03 c presolving:
0.01/0.05 c (round 1) 1387 del vars, 1377 del conss, 0 add conss, 1377 chg bounds, 1423 chg sides, 1773 chg coeffs, 0 upgd conss, 40 impls, 0 clqs
0.01/0.05 c (round 2) 1387 del vars, 1397 del conss, 0 add conss, 1377 chg bounds, 1423 chg sides, 1773 chg coeffs, 0 upgd conss, 40 impls, 0 clqs
0.01/0.08 c (round 3) 1387 del vars, 1397 del conss, 0 add conss, 1377 chg bounds, 1423 chg sides, 1773 chg coeffs, 3505 upgd conss, 40 impls, 0 clqs
0.09/0.13 c (round 4) 1387 del vars, 3148 del conss, 5077 add conss, 1379 chg bounds, 6252 chg sides, 12226 chg coeffs, 3526 upgd conss, 62624 impls, 250 clqs
0.09/0.15 c (round 5) 1389 del vars, 3429 del conss, 5105 add conss, 1379 chg bounds, 6266 chg sides, 12292 chg coeffs, 3526 upgd conss, 62728 impls, 264 clqs
0.49/0.52 c (0.5s) probing: 1000/1761 (56.8%) - 2 fixings, 0 aggregations, 5249 implications, 2 bound changes
0.49/0.55 c (0.5s) probing: 1064/1761 (60.4%) - 2 fixings, 0 aggregations, 5694 implications, 2 bound changes
0.49/0.55 c (0.5s) probing aborted: 1000/1000 successive useless probings
0.49/0.55 c (round 6) 1391 del vars, 3459 del conss, 5115 add conss, 1381 chg bounds, 6266 chg sides, 12292 chg coeffs, 3526 upgd conss, 77258 impls, 264 clqs
0.49/0.56 c (round 7) 1391 del vars, 3475 del conss, 5125 add conss, 1381 chg bounds, 6266 chg sides, 12292 chg coeffs, 3529 upgd conss, 77258 impls, 264 clqs
0.49/0.57 c (round 8) 1391 del vars, 3476 del conss, 5125 add conss, 1381 chg bounds, 6266 chg sides, 12292 chg coeffs, 3529 upgd conss, 77258 impls, 274 clqs
0.58/0.62 c (0.6s) probing: 1164/1761 (66.1%) - 2 fixings, 0 aggregations, 6151 implications, 2 bound changes
0.58/0.62 c (0.6s) probing aborted: 1000/1000 successive useless probings
0.58/0.62 c presolving (9 rounds):
0.58/0.62 c 1391 deleted vars, 3476 deleted constraints, 5125 added constraints, 1381 tightened bounds, 0 added holes, 6266 changed sides, 12292 changed coefficients
0.58/0.62 c 78172 implications, 274 cliques
0.58/0.62 c presolved problem has 1759 variables (1759 bin, 0 int, 0 impl, 0 cont) and 6572 constraints
0.58/0.62 c 4822 constraints of type <setppc>
0.58/0.62 c 1750 constraints of type <logicor>
0.58/0.62 c transformed objective value is always integral (scale: 1)
0.58/0.62 c Presolving Time: 0.59
0.58/0.62 c - non default parameters ----------------------------------------------------------------------
0.58/0.62 c # SCIP version 2.1.1.4
0.58/0.62 c
0.58/0.62 c # maximal time in seconds to run
0.58/0.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.58/0.62 c limits/time = 1797
0.58/0.62 c
0.58/0.62 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.58/0.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.58/0.62 c limits/memory = 13950
0.58/0.62 c
0.58/0.62 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.58/0.62 c # [type: int, range: [1,2], default: 1]
0.58/0.62 c timing/clocktype = 2
0.58/0.62 c
0.58/0.62 c # belongs reading time to solving time?
0.58/0.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.58/0.62 c timing/reading = TRUE
0.58/0.62 c
0.58/0.62 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.58/0.62 c # [type: int, range: [-1,2147483647], default: -1]
0.58/0.62 c separating/rapidlearning/freq = 0
0.58/0.62 c
0.58/0.62 c -----------------------------------------------------------------------------------------------
0.58/0.62 c start solving
0.58/0.63 c
0.69/0.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.79 c 0.8s| 1 | 0 | 1527 | - | 18M| 0 | 712 |1759 |6585 |1759 |6572 | 0 | 13 | 0 | 0.000000e+00 | -- | Inf
8.29/8.39 c 8.4s| 1 | 0 | 24663 | - | 20M| 0 | 837 |1759 |7264 |1759 |6695 | 123 | 13 | 0 | 0.000000e+00 | -- | Inf
9.29/9.30 c 9.3s| 1 | 0 | 28699 | - | 22M| 0 | 804 |1759 |7264 |1759 |6764 | 192 | 13 | 0 | 0.000000e+00 | -- | Inf
9.59/9.62 c 9.6s| 1 | 0 | 29662 | - | 22M| 0 | 801 |1759 |7264 |1759 |6808 | 236 | 13 | 0 | 0.000000e+00 | -- | Inf
10.59/10.62 c 10.6s| 1 | 0 | 31127 | - | 22M| 0 | 868 |1759 |7264 |1759 |6838 | 266 | 13 | 0 | 0.000000e+00 | -- | Inf
11.88/12.00 c 12.0s| 1 | 0 | 32052 | - | 23M| 0 | 866 |1759 |7264 |1759 |6861 | 289 | 13 | 0 | 0.000000e+00 | -- | Inf
12.69/12.70 c 12.7s| 1 | 0 | 32873 | - | 24M| 0 | 869 |1759 |7264 |1759 |6883 | 311 | 13 | 0 | 0.000000e+00 | -- | Inf
20.68/20.76 c 20.8s| 1 | 2 | 32873 | - | 24M| 0 | 869 |1759 |7264 |1759 |6883 | 311 | 13 | 41 | 0.000000e+00 | -- | Inf
64.48/64.52 c 64.5s| 100 | 37 | 96590 | 643.6 | 24M| 23 | 687 |1759 |7465 |1759 |6675 | 311 | 214 | 290 | 0.000000e+00 | -- | Inf
80.58/80.63 c 80.6s| 200 | 66 |159691 | 637.3 | 25M| 28 | 593 |1759 |7694 |1759 |6675 | 311 | 444 | 338 | 0.000000e+00 | -- | Inf
91.78/91.84 c 91.8s| 300 | 70 |201113 | 562.7 | 25M| 28 | 604 |1759 |7908 |1759 |6675 | 311 | 738 | 374 | 0.000000e+00 | -- | Inf
106.68/106.77 c 107s| 400 | 86 |259166 | 567.2 | 25M| 28 | - |1759 |8123 |1759 |6675 | 311 |1036 | 430 | 0.000000e+00 | -- | Inf
127.07/127.16 c 127s| 500 | 99 |335343 | 606.2 | 26M| 28 | - |1759 |8248 | 0 | 0 | 311 |1288 | 485 | 0.000000e+00 | -- | Inf
143.66/143.70 c 144s| 600 | 98 |398699 | 610.7 | 26M| 28 | 608 |1759 |8359 |1759 |6675 | 311 |1600 | 536 | 0.000000e+00 | -- | Inf
161.26/161.34 c 161s| 700 | 104 |466304 | 620.1 | 26M| 28 | 612 |1759 |8378 |1759 |6675 | 311 |1806 | 583 | 0.000000e+00 | -- | Inf
175.46/175.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
175.46/175.52 c 176s| 800 | 115 |523400 | 613.9 | 26M| 28 | - |1759 |8442 | 0 | 0 | 311 |2057 | 634 | 0.000000e+00 | -- | Inf
192.47/192.54 c 193s| 900 | 125 |590911 | 620.7 | 27M| 28 | 698 |1759 |8421 |1759 |6675 | 311 |2264 | 679 | 0.000000e+00 | -- | Inf
208.05/208.15 c 208s| 1000 | 118 |647901 | 615.6 | 27M| 28 | - |1759 |8439 | 0 | 0 | 311 |2462 | 739 | 0.000000e+00 | -- | Inf
220.46/220.56 c 221s| 1100 | 135 |701793 | 608.7 | 27M| 28 | - |1759 |8585 | 0 | 0 | 311 |2711 | 787 | 0.000000e+00 | -- | Inf
240.35/240.44 c 240s| 1200 | 161 |782859 | 625.5 | 27M| 28 | 624 |1759 |8622 |1759 |6675 | 311 |2893 | 850 | 0.000000e+00 | -- | Inf
254.55/254.69 c 255s| 1300 | 177 |838653 | 620.3 | 27M| 28 | - |1759 |8633 |1759 |6675 | 311 |3065 | 901 | 0.000000e+00 | -- | Inf
270.75/270.84 c 271s| 1400 | 183 |899232 | 619.3 | 27M| 28 | 486 |1759 |8705 |1759 |6675 | 311 |3255 | 956 | 0.000000e+00 | -- | Inf
280.65/280.77 c 281s| 1500 | 191 |938953 | 604.5 | 28M| 28 | 746 |1759 |8831 |1759 |6675 | 311 |3475 |1004 | 0.000000e+00 | -- | Inf
294.05/294.17 c 294s| 1600 | 187 |989803 | 598.5 | 28M| 28 | 624 |1759 |9001 |1759 |6675 | 311 |3759 |1064 | 0.000000e+00 | -- | Inf
304.85/304.92 c 305s| 1700 | 187 | 1029k| 586.5 | 28M| 28 | 595 |1759 |9011 |1759 |6675 | 311 |3953 |1104 | 0.000000e+00 | -- | Inf
319.14/319.25 c 319s| 1800 | 189 | 1082k| 583.4 | 28M| 28 | - |1759 |9118 | 0 | 0 | 311 |4171 |1160 | 0.000000e+00 | -- | Inf
335.24/335.40 c 335s| 1900 | 182 | 1143k| 585.0 | 28M| 28 | - |1759 |9022 |1759 |6675 | 311 |4393 |1231 | 0.000000e+00 | -- | Inf
352.43/352.55 c 353s| 2000 | 193 | 1207k| 587.5 | 28M| 28 | 700 |1759 |9075 |1759 |6675 | 311 |4553 |1280 | 0.000000e+00 | -- | Inf
368.54/368.65 c 369s| 2100 | 195 | 1267k| 588.4 | 28M| 28 | 602 |1759 |9163 |1759 |6675 | 311 |4715 |1351 | 0.000000e+00 | -- | Inf
381.42/381.56 c 382s| 2200 | 205 | 1320k| 585.7 | 29M| 28 | 650 |1759 |9293 |1759 |6675 | 311 |4928 |1398 | 0.000000e+00 | -- | Inf
404.63/404.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
404.63/404.77 c 405s| 2300 | 211 | 1404k| 596.4 | 29M| 28 | 800 |1759 |9325 |1759 |6675 | 311 |5078 |1454 | 0.000000e+00 | -- | Inf
415.51/415.68 c 416s| 2400 | 216 | 1447k| 589.7 | 29M| 28 | - |1759 |9541 |1759 |6675 | 311 |5353 |1507 | 0.000000e+00 | -- | Inf
426.01/426.15 c 426s| 2500 | 224 | 1488k| 582.3 | 29M| 28 | - |1759 |9706 | 0 | 0 | 311 |5568 |1563 | 0.000000e+00 | -- | Inf
435.52/435.65 c 436s| 2600 | 216 | 1525k| 574.3 | 29M| 28 | 833 |1759 |9791 |1759 |6675 | 311 |5769 |1603 | 0.000000e+00 | -- | Inf
448.61/448.77 c 449s| 2700 | 234 | 1573k| 570.7 | 29M| 28 | 635 |1759 |9797 |1759 |6675 | 311 |5928 |1645 | 0.000000e+00 | -- | Inf
462.41/462.53 c 463s| 2800 | 235 | 1627k| 569.6 | 30M| 28 | - |1759 |9884 | 0 | 0 | 311 |6130 |1715 | 0.000000e+00 | -- | Inf
475.21/475.33 c 475s| 2900 | 235 | 1681k| 568.6 | 30M| 28 | - |1759 |9929 |1759 |6675 | 311 |6324 |1779 | 0.000000e+00 | -- | Inf
490.41/490.50 c 491s| 3000 | 248 | 1735k| 567.7 | 30M| 28 | 736 |1759 |9881 |1759 |6675 | 311 |6469 |1843 | 0.000000e+00 | -- | Inf
499.70/499.80 c 500s| 3100 | 243 | 1776k| 562.7 | 30M| 28 | - |1759 | 10k|1759 |6675 | 311 |6691 |1883 | 0.000000e+00 | -- | Inf
507.70/507.83 c 508s| 3200 | 247 | 1807k| 554.6 | 30M| 28 | - |1759 | 10k| 0 | 0 | 311 |6885 |1923 | 0.000000e+00 | -- | Inf
517.71/517.81 c 518s| 3300 | 254 | 1848k| 550.4 | 30M| 28 | - |1759 | 10k| 0 | 0 | 311 |7105 |1969 | 0.000000e+00 | -- | Inf
528.10/528.29 c 528s| 3400 | 256 | 1886k| 545.2 | 30M| 28 | 731 |1759 | 10k|1759 |6675 | 311 |7318 |2021 | 0.000000e+00 | -- | Inf
542.40/542.54 c 543s| 3500 | 259 | 1940k| 545.2 | 30M| 28 | 582 |1759 | 10k|1759 |6675 | 311 |7512 |2077 | 0.000000e+00 | -- | Inf
557.89/558.08 c 558s| 3600 | 257 | 1999k| 546.5 | 30M| 28 | - |1759 | 10k|1759 |6675 | 311 |7731 |2147 | 0.000000e+00 | -- | Inf
567.40/567.50 c 568s| 3700 | 257 | 2034k| 541.3 | 30M| 28 | - |1759 | 10k|1759 |6675 | 311 |7923 |2187 | 0.000000e+00 | -- | Inf
578.40/578.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
578.40/578.55 c 579s| 3800 | 255 | 2080k| 539.0 | 30M| 28 | 733 |1759 | 10k|1759 |6675 | 311 |8151 |2235 | 0.000000e+00 | -- | Inf
589.99/590.17 c 590s| 3900 | 256 | 2133k| 538.7 | 30M| 28 | 727 |1759 | 10k|1759 |6675 | 311 |8350 |2270 | 0.000000e+00 | -- | Inf
601.78/601.98 c 602s| 4000 | 259 | 2198k| 541.5 | 31M| 28 | 748 |1759 | 10k|1759 |6675 | 311 |8504 |2279 | 0.000000e+00 | -- | Inf
612.18/612.34 c 612s| 4100 | 274 | 2254k| 542.1 | 31M| 28 | - |1759 | 10k| 0 | 0 | 311 |8688 |2289 | 0.000000e+00 | -- | Inf
621.29/621.43 c 621s| 4200 | 273 | 2304k| 541.1 | 31M| 28 | - |1759 | 10k| 0 | 0 | 311 |8844 |2296 | 0.000000e+00 | -- | Inf
627.48/627.64 c 628s| 4300 | 271 | 2340k| 536.8 | 31M| 28 | - |1759 | 10k| 0 | 0 | 311 |8993 |2297 | 0.000000e+00 | -- | Inf
635.98/636.17 c 636s| 4400 | 262 | 2387k| 535.3 | 31M| 28 | - |1759 | 10k|1759 |6675 | 311 |9173 |2302 | 0.000000e+00 | -- | Inf
643.08/643.28 c 643s| 4500 | 263 | 2428k| 532.4 | 31M| 28 | 685 |1759 | 10k|1759 |6675 | 311 |9349 |2306 | 0.000000e+00 | -- | Inf
656.18/656.30 c 656s| 4600 | 266 | 2485k| 533.2 | 31M| 28 | 528 |1759 | 10k|1759 |6675 | 311 |9521 |2337 | 0.000000e+00 | -- | Inf
667.28/667.41 c 667s| 4700 | 275 | 2531k| 531.8 | 31M| 28 | 391 |1759 | 10k|1759 |6675 | 311 |9718 |2369 | 0.000000e+00 | -- | Inf
678.78/678.96 c 679s| 4800 | 278 | 2580k| 530.8 | 31M| 28 | 725 |1759 | 10k|1759 |6675 | 311 |9907 |2400 | 0.000000e+00 | -- | Inf
693.78/693.97 c 694s| 4900 | 278 | 2642k| 532.8 | 31M| 28 | - |1759 | 10k| 0 | 0 | 311 | 10k|2431 | 0.000000e+00 | -- | Inf
706.47/706.67 c 707s| 5000 | 278 | 2692k| 532.1 | 31M| 28 | 699 |1759 | 10k|1759 |6675 | 311 | 10k|2474 | 0.000000e+00 | -- | Inf
714.07/714.24 c 714s| 5100 | 276 | 2722k| 527.5 | 32M| 28 | - |1759 | 10k| 0 | 0 | 311 | 10k|2498 | 0.000000e+00 | -- | Inf
730.77/730.97 c 731s| 5200 | 270 | 2788k| 530.0 | 31M| 28 | 829 |1759 | 10k|1759 |6675 | 311 | 10k|2548 | 0.000000e+00 | -- | Inf
742.87/743.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
742.87/743.02 c 743s| 5300 | 269 | 2835k| 528.8 | 31M| 28 | 617 |1759 | 10k|1759 |6675 | 311 | 10k|2586 | 0.000000e+00 | -- | Inf
757.07/757.22 c 757s| 5400 | 275 | 2894k| 530.0 | 31M| 28 | - |1759 | 10k| 0 | 0 | 311 | 10k|2635 | 0.000000e+00 | -- | Inf
769.26/769.41 c 769s| 5500 | 276 | 2939k| 528.5 | 31M| 28 | - |1759 | 10k| 0 | 0 | 311 | 11k|2683 | 0.000000e+00 | -- | Inf
779.26/779.45 c 779s| 5600 | 275 | 2982k| 526.9 | 31M| 28 | 753 |1759 | 10k|1759 |6675 | 311 | 11k|2715 | 0.000000e+00 | -- | Inf
790.56/790.78 c 791s| 5700 | 287 | 3026k| 525.2 | 32M| 28 | 481 |1759 | 10k|1759 |6675 | 311 | 11k|2756 | 0.000000e+00 | -- | Inf
802.96/803.18 c 803s| 5800 | 277 | 3074k| 524.5 | 31M| 28 | 701 |1759 | 10k|1759 |6675 | 311 | 11k|2806 | 0.000000e+00 | -- | Inf
813.15/813.35 c 813s| 5900 | 278 | 3114k| 522.3 | 31M| 28 | 689 |1759 | 10k|1759 |6675 | 311 | 11k|2843 | 0.000000e+00 | -- | Inf
823.76/823.97 c 824s| 6000 | 271 | 3154k| 520.4 | 31M| 28 | 801 |1759 | 10k|1759 |6675 | 311 | 12k|2883 | 0.000000e+00 | -- | Inf
836.45/836.65 c 837s| 6100 | 276 | 3206k| 520.4 | 31M| 28 | - |1759 | 10k| 0 | 0 | 311 | 12k|2913 | 0.000000e+00 | -- | Inf
847.86/848.08 c 848s| 6200 | 277 | 3249k| 518.9 | 31M| 28 | - |1759 | 10k| 0 | 0 | 311 | 12k|2956 | 0.000000e+00 | -- | Inf
861.15/861.33 c 861s| 6300 | 266 | 3298k| 518.4 | 31M| 28 | 539 |1759 | 10k|1759 |6675 | 311 | 12k|3010 | 0.000000e+00 | -- | Inf
869.04/869.29 c 869s| 6400 | 270 | 3332k| 515.6 | 31M| 28 | 537 |1759 | 10k|1759 |6675 | 311 | 12k|3046 | 0.000000e+00 | -- | Inf
881.95/882.17 c 882s| 6500 | 262 | 3387k| 516.1 | 31M| 28 | 736 |1759 | 10k|1759 |6675 | 311 | 12k|3096 | 0.000000e+00 | -- | Inf
892.05/892.29 c 892s| 6600 | 263 | 3429k| 514.7 | 31M| 28 | - |1759 | 10k| 0 | 0 | 311 | 13k|3132 | 0.000000e+00 | -- | Inf
903.95/904.14 c 904s| 6700 | 267 | 3478k| 514.4 | 32M| 28 | - |1759 | 10k| 0 | 0 | 311 | 13k|3176 | 0.000000e+00 | -- | Inf
915.64/915.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
915.64/915.86 c 916s| 6800 | 265 | 3525k| 513.7 | 32M| 28 | 765 |1759 | 10k|1759 |6675 | 311 | 13k|3232 | 0.000000e+00 | -- | Inf
931.34/931.56 c 932s| 6900 | 277 | 3592k| 516.0 | 32M| 28 | - |1759 | 11k|1759 |6675 | 311 | 13k|3280 | 0.000000e+00 | -- | Inf
946.33/946.56 c 947s| 7000 | 274 | 3652k| 517.2 | 32M| 28 | - |1759 | 11k| 0 | 0 | 311 | 14k|3335 | 0.000000e+00 | -- | Inf
959.44/959.63 c 960s| 7100 | 277 | 3708k| 517.8 | 32M| 28 | 728 |1759 | 11k|1759 |6675 | 311 | 14k|3372 | 0.000000e+00 | -- | Inf
971.73/971.97 c 972s| 7200 | 285 | 3758k| 517.5 | 32M| 28 | - |1759 | 11k| 0 | 0 | 311 | 14k|3420 | 0.000000e+00 | -- | Inf
986.43/986.69 c 987s| 7300 | 289 | 3816k| 518.4 | 32M| 28 | 544 |1759 | 11k|1759 |6675 | 311 | 14k|3472 | 0.000000e+00 | -- | Inf
999.13/999.37 c 999s| 7400 | 289 | 3865k| 517.9 | 32M| 28 | 804 |1759 | 11k|1759 |6675 | 311 | 14k|3514 | 0.000000e+00 | -- | Inf
1009.63/1009.83 c 1010s| 7500 | 282 | 3906k| 516.6 | 32M| 28 | 673 |1759 | 11k|1759 |6675 | 311 | 14k|3559 | 0.000000e+00 | -- | Inf
1024.02/1024.21 c 1024s| 7600 | 285 | 3963k| 517.2 | 32M| 28 | 731 |1759 | 11k|1759 |6675 | 311 | 15k|3610 | 0.000000e+00 | -- | Inf
1034.12/1034.38 c 1034s| 7700 | 287 | 4003k| 515.7 | 32M| 28 | 669 |1759 | 11k|1759 |6675 | 311 | 15k|3660 | 0.000000e+00 | -- | Inf
1046.22/1046.42 c 1046s| 7800 | 274 | 4051k| 515.3 | 32M| 28 | - |1759 | 11k| 0 | 0 | 311 | 15k|3718 | 0.000000e+00 | -- | Inf
1058.31/1058.52 c 1059s| 7900 | 274 | 4096k| 514.5 | 32M| 28 | 755 |1759 | 11k|1759 |6675 | 311 | 15k|3759 | 0.000000e+00 | -- | Inf
1070.62/1070.85 c 1071s| 8000 | 276 | 4145k| 514.1 | 32M| 28 | 436 |1759 | 11k|1759 |6675 | 311 | 15k|3814 | 0.000000e+00 | -- | Inf
1083.12/1083.33 c 1083s| 8100 | 283 | 4196k| 514.1 | 32M| 28 | 462 |1759 | 11k|1759 |6675 | 311 | 16k|3859 | 0.000000e+00 | -- | Inf
1092.41/1092.67 c 1093s| 8200 | 274 | 4235k| 512.5 | 32M| 28 | - |1759 | 11k| 0 | 0 | 311 | 16k|3912 | 0.000000e+00 | -- | Inf
1104.01/1104.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1104.01/1104.23 c 1104s| 8300 | 272 | 4284k| 512.3 | 32M| 28 | - |1759 | 11k| 0 | 0 | 311 | 16k|3957 | 0.000000e+00 | -- | Inf
1113.31/1113.56 c 1114s| 8400 | 269 | 4319k| 510.4 | 32M| 28 | - |1759 | 11k|1759 |6675 | 311 | 16k|3995 | 0.000000e+00 | -- | Inf
1125.91/1126.15 c 1126s| 8500 | 287 | 4373k| 510.7 | 32M| 28 | 721 |1759 | 11k|1759 |6675 | 311 | 16k|4028 | 0.000000e+00 | -- | Inf
1137.60/1137.80 c 1138s| 8600 | 300 | 4418k| 510.0 | 33M| 28 | - |1759 | 11k|1759 |6675 | 311 | 16k|4075 | 0.000000e+00 | -- | Inf
1149.30/1149.59 c 1150s| 8700 | 304 | 4461k| 509.1 | 33M| 28 | - |1759 | 12k| 0 | 0 | 311 | 17k|4114 | 0.000000e+00 | -- | Inf
1159.40/1159.69 c 1160s| 8800 | 302 | 4503k| 508.0 | 33M| 28 | 802 |1759 | 12k|1759 |6675 | 311 | 17k|4161 | 0.000000e+00 | -- | Inf
1168.40/1168.64 c 1169s| 8900 | 307 | 4539k| 506.4 | 33M| 28 | 624 |1759 | 12k|1759 |6675 | 311 | 17k|4210 | 0.000000e+00 | -- | Inf
1180.60/1180.81 c 1181s| 9000 | 309 | 4588k| 506.3 | 33M| 28 | - |1759 | 12k| 0 | 0 | 311 | 17k|4263 | 0.000000e+00 | -- | Inf
1190.10/1190.30 c 1190s| 9100 | 305 | 4632k| 505.5 | 33M| 28 | 574 |1759 | 12k|1759 |6675 | 311 | 17k|4300 | 0.000000e+00 | -- | Inf
1199.40/1199.68 c 1200s| 9200 | 306 | 4672k| 504.4 | 33M| 28 | 533 |1759 | 12k|1759 |6675 | 311 | 18k|4328 | 0.000000e+00 | -- | Inf
1207.50/1207.80 c 1208s| 9300 | 297 | 4714k| 503.5 | 33M| 28 | 665 |1759 | 12k|1759 |6675 | 311 | 18k|4346 | 0.000000e+00 | -- | Inf
1216.69/1216.98 c 1217s| 9400 | 300 | 4757k| 502.7 | 33M| 28 | - |1759 | 12k| 0 | 0 | 311 | 18k|4367 | 0.000000e+00 | -- | Inf
1223.59/1223.87 c 1224s| 9500 | 299 | 4797k| 501.6 | 33M| 28 | 646 |1759 | 12k|1759 |6675 | 311 | 18k|4370 | 0.000000e+00 | -- | Inf
1230.59/1230.83 c 1231s| 9600 | 297 | 4837k| 500.6 | 33M| 28 | - |1759 | 12k| 0 | 0 | 311 | 18k|4375 | 0.000000e+00 | -- | Inf
1242.59/1242.90 c 1243s| 9700 | 302 | 4896k| 501.5 | 33M| 28 | 580 |1759 | 12k|1759 |6675 | 311 | 18k|4377 | 0.000000e+00 | -- | Inf
1248.89/1249.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1248.89/1249.13 c 1249s| 9800 | 305 | 4935k| 500.3 | 33M| 28 | 499 |1759 | 13k|1759 |6675 | 311 | 19k|4378 | 0.000000e+00 | -- | Inf
1254.08/1254.30 c 1254s| 9900 | 303 | 4967k| 498.5 | 33M| 28 | 690 |1759 | 13k|1759 |6675 | 311 | 19k|4378 | 0.000000e+00 | -- | Inf
1260.18/1260.49 c 1260s| 10000 | 305 | 5005k| 497.3 | 34M| 28 | - |1759 | 13k| 0 | 0 | 311 | 19k|4378 | 0.000000e+00 | -- | Inf
1267.59/1267.83 c 1268s| 10100 | 311 | 5047k| 496.6 | 34M| 28 | 518 |1759 | 13k|1759 |6675 | 311 | 19k|4381 | 0.000000e+00 | -- | Inf
1275.69/1275.97 c 1276s| 10200 | 315 | 5095k| 496.4 | 34M| 28 | 730 |1759 | 13k|1759 |6675 | 311 | 19k|4383 | 0.000000e+00 | -- | Inf
1281.68/1281.94 c 1282s| 10300 | 313 | 5131k| 495.0 | 34M| 28 | - |1759 | 13k| 0 | 0 | 311 | 20k|4385 | 0.000000e+00 | -- | Inf
1289.28/1289.50 c 1290s| 10400 | 306 | 5178k| 494.9 | 34M| 28 | 791 |1759 | 13k|1759 |6675 | 311 | 20k|4387 | 0.000000e+00 | -- | Inf
1295.59/1295.89 c 1296s| 10500 | 299 | 5218k| 493.9 | 34M| 28 | 669 |1759 | 13k|1759 |6675 | 311 | 20k|4387 | 0.000000e+00 | -- | Inf
1301.48/1301.79 c 1302s| 10600 | 290 | 5252k| 492.5 | 34M| 28 | - |1759 | 13k| 0 | 0 | 311 | 20k|4388 | 0.000000e+00 | -- | Inf
1306.97/1307.20 c 1307s| 10700 | 298 | 5284k| 490.9 | 34M| 28 | 464 |1759 | 13k|1759 |6675 | 311 | 20k|4389 | 0.000000e+00 | -- | Inf
1314.19/1314.42 c 1314s| 10800 | 289 | 5322k| 489.8 | 33M| 28 | - |1759 | 13k| 0 | 0 | 311 | 20k|4392 | 0.000000e+00 | -- | Inf
1323.38/1323.69 c 1324s| 10900 | 296 | 5356k| 488.5 | 33M| 28 | 835 |1759 | 13k|1759 |6675 | 311 | 21k|4418 | 0.000000e+00 | -- | Inf
1334.08/1334.35 c 1334s| 11000 | 300 | 5390k| 487.1 | 34M| 28 | 776 |1759 | 13k|1759 |6675 | 311 | 21k|4462 | 0.000000e+00 | -- | Inf
1339.87/1340.13 c 1340s| 11100 | 302 | 5422k| 485.6 | 34M| 28 | 702 |1759 | 13k|1759 |6675 | 311 | 21k|4467 | 0.000000e+00 | -- | Inf
1349.18/1349.49 c 1349s| 11200 | 303 | 5461k| 484.8 | 34M| 28 | - |1759 | 13k| 0 | 0 | 311 | 21k|4483 | 0.000000e+00 | -- | Inf
1360.87/1361.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1360.87/1361.16 c 1361s| 11300 | 311 | 5506k| 484.4 | 34M| 28 | 801 |1759 | 13k|1759 |6675 | 311 | 21k|4517 | 0.000000e+00 | -- | Inf
1374.86/1375.19 c 1375s| 11400 | 326 | 5570k| 485.8 | 34M| 28 | 698 |1759 | 13k|1759 |6675 | 311 | 21k|4555 | 0.000000e+00 | -- | Inf
1387.37/1387.62 c 1388s| 11500 | 330 | 5621k| 486.0 | 34M| 28 | 668 |1759 | 13k|1759 |6675 | 311 | 22k|4591 | 0.000000e+00 | -- | Inf
1396.07/1396.37 c 1396s| 11600 | 327 | 5654k| 484.6 | 34M| 28 | 880 |1759 | 13k|1759 |6675 | 311 | 22k|4618 | 0.000000e+00 | -- | Inf
1404.76/1405.00 c 1405s| 11700 | 333 | 5689k| 483.5 | 34M| 28 | 701 |1759 | 13k|1759 |6675 | 311 | 22k|4645 | 0.000000e+00 | -- | Inf
1411.67/1411.96 c 1412s| 11800 | 330 | 5717k| 481.8 | 34M| 28 | 801 |1759 | 13k|1759 |6675 | 311 | 22k|4674 | 0.000000e+00 | -- | Inf
1421.06/1421.38 c 1421s| 11900 | 327 | 5753k| 480.8 | 34M| 28 | - |1759 | 13k| 0 | 0 | 311 | 22k|4705 | 0.000000e+00 | -- | Inf
1430.46/1430.75 c 1431s| 12000 | 332 | 5792k| 480.0 | 34M| 28 | 607 |1759 | 13k|1759 |6675 | 311 | 22k|4733 | 0.000000e+00 | -- | Inf
1440.95/1441.23 c 1441s| 12100 | 326 | 5835k| 479.6 | 34M| 28 | 562 |1759 | 13k|1759 |6675 | 311 | 22k|4771 | 0.000000e+00 | -- | Inf
1450.75/1451.04 c 1451s| 12200 | 334 | 5874k| 478.8 | 34M| 28 | 646 |1759 | 13k|1759 |6675 | 311 | 23k|4799 | 0.000000e+00 | -- | Inf
1461.05/1461.38 c 1461s| 12300 | 334 | 5915k| 478.3 | 34M| 28 | 455 |1759 | 13k|1759 |6675 | 311 | 23k|4838 | 0.000000e+00 | -- | Inf
1470.65/1470.97 c 1471s| 12400 | 331 | 5956k| 477.8 | 34M| 28 | 814 |1759 | 13k|1759 |6675 | 311 | 23k|4873 | 0.000000e+00 | -- | Inf
1482.75/1483.03 c 1483s| 12500 | 330 | 6005k| 477.8 | 34M| 28 | 541 |1759 | 13k|1759 |6675 | 311 | 23k|4912 | 0.000000e+00 | -- | Inf
1493.85/1494.11 c 1494s| 12600 | 339 | 6053k| 477.9 | 34M| 28 | 588 |1759 | 13k|1759 |6675 | 311 | 23k|4955 | 0.000000e+00 | -- | Inf
1507.35/1507.63 c 1508s| 12700 | 349 | 6106k| 478.3 | 34M| 28 | - |1759 | 13k| 0 | 0 | 311 | 23k|4999 | 0.000000e+00 | -- | Inf
1518.75/1519.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1518.75/1519.06 c 1519s| 12800 | 361 | 6154k| 478.3 | 35M| 28 | 817 |1759 | 13k|1759 |6675 | 311 | 24k|5036 | 0.000000e+00 | -- | Inf
1528.94/1529.26 c 1529s| 12900 | 370 | 6195k| 477.7 | 35M| 28 | - |1759 | 13k| 0 | 0 | 311 | 24k|5064 | 0.000000e+00 | -- | Inf
1538.84/1539.19 c 1539s| 13000 | 376 | 6232k| 477.0 | 35M| 28 | 691 |1759 | 13k|1759 |6675 | 311 | 24k|5109 | 0.000000e+00 | -- | Inf
1548.14/1548.49 c 1548s| 13100 | 386 | 6270k| 476.2 | 35M| 28 | - |1759 | 13k| 0 | 0 | 311 | 24k|5142 | 0.000000e+00 | -- | Inf
1560.24/1560.60 c 1561s| 13200 | 400 | 6321k| 476.4 | 35M| 28 | 687 |1759 | 13k|1759 |6675 | 311 | 24k|5169 | 0.000000e+00 | -- | Inf
1572.65/1572.91 c 1573s| 13300 | 412 | 6374k| 476.8 | 35M| 28 | - |1759 | 13k| 0 | 0 | 311 | 25k|5209 | 0.000000e+00 | -- | Inf
1587.34/1587.65 c 1588s| 13400 | 424 | 6437k| 478.0 | 36M| 28 | 816 |1759 | 13k|1759 |6675 | 311 | 25k|5256 | 0.000000e+00 | -- | Inf
1598.13/1598.49 c 1598s| 13500 | 439 | 6479k| 477.5 | 36M| 28 | 775 |1759 | 13k|1759 |6675 | 311 | 25k|5300 | 0.000000e+00 | -- | Inf
1613.93/1614.25 c 1614s| 13600 | 444 | 6538k| 478.4 | 36M| 28 | - |1759 | 13k|1759 |6675 | 311 | 25k|5350 | 0.000000e+00 | -- | Inf
1620.73/1621.01 c 1621s| 13700 | 443 | 6569k| 477.2 | 36M| 28 | - |1759 | 13k| 0 | 0 | 311 | 25k|5360 | 0.000000e+00 | -- | Inf
1630.53/1630.88 c 1631s| 13800 | 443 | 6611k| 476.7 | 36M| 28 | 698 |1759 | 13k|1759 |6675 | 311 | 26k|5399 | 0.000000e+00 | -- | Inf
1639.74/1640.01 c 1640s| 13900 | 442 | 6651k| 476.2 | 36M| 28 | - |1759 | 13k| 0 | 0 | 311 | 26k|5437 | 0.000000e+00 | -- | Inf
1648.42/1648.75 c 1649s| 14000 | 449 | 6685k| 475.2 | 36M| 28 | - |1759 | 13k| 0 | 0 | 311 | 26k|5472 | 0.000000e+00 | -- | Inf
1656.03/1656.38 c 1656s| 14100 | 448 | 6719k| 474.2 | 37M| 28 | - |1759 | 13k| 0 | 0 | 311 | 26k|5503 | 0.000000e+00 | -- | Inf
1666.22/1666.51 c 1667s| 14200 | 449 | 6764k| 474.1 | 37M| 28 | - |1759 | 13k| 0 | 0 | 311 | 26k|5533 | 0.000000e+00 | -- | Inf
1679.22/1679.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1679.22/1679.53 c 1680s| 14300 | 440 | 6807k| 473.8 | 36M| 28 | - |1759 | 13k| 0 | 0 | 311 | 26k|5592 | 0.000000e+00 | -- | Inf
1687.12/1687.42 c 1687s| 14400 | 447 | 6849k| 473.4 | 36M| 28 | 785 |1759 | 13k|1759 |6675 | 311 | 27k|5604 | 0.000000e+00 | -- | Inf
1697.32/1697.64 c 1698s| 14500 | 462 | 6889k| 472.9 | 37M| 28 | - |1759 | 13k| 0 | 0 | 311 | 27k|5647 | 0.000000e+00 | -- | Inf
1706.92/1707.21 c 1707s| 14600 | 469 | 6927k| 472.3 | 37M| 28 | 662 |1759 | 13k|1759 |6675 | 311 | 27k|5674 | 0.000000e+00 | -- | Inf
1715.11/1715.48 c 1715s| 14700 | 469 | 6959k| 471.2 | 37M| 28 | - |1759 | 13k| 0 | 0 | 311 | 27k|5717 | 0.000000e+00 | -- | Inf
1723.11/1723.40 c 1723s| 14800 | 472 | 6991k| 470.2 | 37M| 28 | 759 |1759 | 13k|1759 |6675 | 311 | 27k|5744 | 0.000000e+00 | -- | Inf
1731.91/1732.22 c 1732s| 14900 | 468 | 7030k| 469.7 | 37M| 28 | 840 |1759 | 13k|1759 |6675 | 311 | 28k|5767 | 0.000000e+00 | -- | Inf
1743.01/1743.36 c 1743s| 15000 | 469 | 7077k| 469.7 | 37M| 28 | 636 |1759 | 13k|1759 |6675 | 311 | 28k|5805 | 0.000000e+00 | -- | Inf
1753.51/1753.87 c 1754s| 15100 | 473 | 7119k| 469.4 | 37M| 28 | 656 |1759 | 13k|1759 |6675 | 311 | 28k|5851 | 0.000000e+00 | -- | Inf
1761.20/1761.53 c 1762s| 15200 | 471 | 7153k| 468.5 | 37M| 28 | 728 |1759 | 13k|1759 |6675 | 311 | 28k|5870 | 0.000000e+00 | -- | Inf
1768.41/1768.75 c 1769s| 15300 | 469 | 7181k| 467.2 | 37M| 28 | - |1759 | 13k| 0 | 0 | 311 | 28k|5905 | 0.000000e+00 | -- | Inf
1776.21/1776.57 c 1777s| 15400 | 467 | 7214k| 466.4 | 37M| 28 | 737 |1759 | 13k|1759 |6675 | 311 | 28k|5934 | 0.000000e+00 | -- | Inf
1786.11/1786.40 c 1786s| 15500 | 461 | 7254k| 465.9 | 37M| 28 | - |1759 | 13k| 0 | 0 | 311 | 28k|5967 | 0.000000e+00 | -- | Inf
1796.70/1797.01 c
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Solving Time (sec) : 1797.01
1796.70/1797.01 c Solving Nodes : 15590
1796.70/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.01 c Dual Bound : +0.00000000000000e+00
1796.70/1797.01 c Gap : infinite
1796.70/1797.01 s UNKNOWN
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Total Time : 1797.01
1796.70/1797.01 c solving : 1797.01
1796.70/1797.01 c presolving : 0.59 (included in solving)
1796.70/1797.01 c reading : 0.02 (included in solving)
1796.70/1797.01 c copying : 0.03 (2 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.70/1797.01 c Original Problem :
1796.70/1797.01 c Problem name : HOME/instance-3692472-1338042275.opb
1796.70/1797.01 c Variables : 3150 (3150 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 4923 initial, 4923 maximal
1796.70/1797.01 c Objective sense : minimize
1796.70/1797.01 c Presolved Problem :
1796.70/1797.01 c Problem name : t_HOME/instance-3692472-1338042275.opb
1796.70/1797.01 c Variables : 1759 (1759 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 6572 initial, 13927 maximal
1796.70/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0
1796.70/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c gateextraction : 0.01 0.00 0 0 0 0 0 30 10 0 0
1796.70/1797.01 c implics : 0.00 0.00 0 10 0 0 0 0 0 0 0
1796.70/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c probing : 0.42 0.00 2 0 0 2 0 0 0 0 0
1796.70/1797.01 c knapsack : 0.04 0.00 0 0 0 2 0 1763 5105 4843 10519
1796.70/1797.01 c setppc : 0.02 0.00 0 0 0 0 0 276 0 0 0
1796.70/1797.01 c and : 0.00 0.00 0 0 0 0 0 10 10 0 0
1796.70/1797.01 c linear : 0.04 0.00 1377 0 0 1377 0 1397 0 1423 1773
1796.70/1797.01 c logicor : 0.06 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c root node : - - 0 - - 0 - - - - -
1796.70/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.01 c integral : 0 0 0 0 10534 0 4 0 75 934 0 0 19838
1796.70/1797.01 c setppc : 4822 4822 6 159107 0 33 3 493582 1667 2869721 0 0 0
1796.70/1797.01 c linear : 0+ 679 6 154099 0 0 0 132123 842 148201 206 0 0
1796.70/1797.01 c logicor : 1750+ 8790 6 133268 0 3 0 303894 6098 624647 14 0 0
1796.70/1797.01 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.70/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.01 c integral : 530.88 0.00 0.00 0.00 530.88 0.00 0.00 0.00
1796.70/1797.01 c setppc : 12.28 0.00 0.00 12.08 0.00 0.01 0.00 0.19
1796.70/1797.01 c linear : 1.78 0.00 0.00 1.68 0.00 0.00 0.00 0.09
1796.70/1797.01 c logicor : 6.75 0.00 0.00 6.51 0.00 0.00 0.00 0.24
1796.70/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.01 c rootredcost : 0 0 0 0
1796.70/1797.01 c pseudoobj : 166584 0 0 0
1796.70/1797.01 c vbounds : 0 0 0 0
1796.70/1797.01 c redcost : 10608 0 0 198
1796.70/1797.01 c probing : 0 0 0 0
1796.70/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.01 c rootredcost : 0.05 0.00 0.00 0.05 0.00
1796.70/1797.01 c pseudoobj : 0.13 0.00 0.00 0.13 0.00
1796.70/1797.01 c vbounds : 0.04 0.00 0.00 0.04 0.00
1796.70/1797.01 c redcost : 0.30 0.00 0.00 0.30 0.00
1796.70/1797.01 c probing : 0.42 0.00 0.42 0.00 0.00
1796.70/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.01 c propagation : 0.98 8607 8415 78660 30.7 2198 7.4 -
1796.70/1797.01 c infeasible LP : 0.44 744 744 8993 43.2 215 5.1 0
1796.70/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.01 c applied globally : - - - 29142 25.1 - - -
1796.70/1797.01 c applied locally : - - - 0 0.0 - - -
1796.70/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.01 c cut pool : 0.00 5 - - 24 - (maximal pool size: 1254)
1796.70/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c impliedbounds : 0.01 0.00 6 0 0 255 0
1796.70/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c gomory : 0.48 0.00 6 0 0 300 0
1796.70/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c strongcg : 1.94 0.00 6 0 0 2963 0
1796.70/1797.01 c cmir : 0.15 0.00 6 0 0 0 0
1796.70/1797.01 c flowcover : 0.19 0.00 6 0 0 4 0
1796.70/1797.01 c clique : 0.16 0.00 6 0 0 47 0
1796.70/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c mcf : 0.00 0.00 1 0 0 0 0
1796.70/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c rapidlearning : 0.81 0.00 1 0 0 0 679
1796.70/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.01 c problem variables: 0.00 - 0 0
1796.70/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.01 c relpscost : 530.86 0.00 10534 75 934 0 0 19838
1796.70/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c inference : 0.00 0.00 1 0 0 0 0 2
1796.70/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.01 c LP solutions : 0.00 - - 0
1796.70/1797.01 c pseudo solutions : 0.00 - - 0
1796.70/1797.01 c oneopt : 0.01 0.00 0 0
1796.70/1797.01 c crossover : 0.01 0.00 0 0
1796.70/1797.01 c guideddiving : 0.00 0.00 0 0
1796.70/1797.01 c intshifting : 0.00 0.00 0 0
1796.70/1797.01 c feaspump : 37.97 0.00 11 0
1796.70/1797.01 c linesearchdiving : 10.43 0.00 37 0
1796.70/1797.01 c pscostdiving : 11.30 0.00 37 0
1796.70/1797.01 c fracdiving : 10.75 0.00 37 0
1796.70/1797.01 c veclendiving : 11.55 0.00 37 0
1796.70/1797.01 c objpscostdiving : 10.35 0.00 19 0
1796.70/1797.01 c coefdiving : 13.07 0.00 38 0
1796.70/1797.01 c smallcard : 0.00 0.00 0 0
1796.70/1797.01 c trivial : 0.00 0.00 2 0
1796.70/1797.01 c shiftandpropagate: 0.03 0.00 1 0
1796.70/1797.01 c simplerounding : 0.00 0.00 0 0
1796.70/1797.01 c zirounding : 3.19 0.00 0 0
1796.70/1797.01 c rounding : 0.72 0.00 1403 0
1796.70/1797.01 c shifting : 0.51 0.00 433 0
1796.70/1797.01 c twoopt : 0.00 0.00 0 0
1796.70/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.01 c indoneopt : 0.01 0.00 0 0
1796.70/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.01 c clique : 0.00 0.00 0 0
1796.70/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.01 c indrounding : 0.00 0.00 0 0
1796.70/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.01 c intdiving : 0.00 0.00 0 0
1796.70/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.01 c rootsoldiving : 24.69 0.00 17 0
1796.70/1797.01 c octane : 0.00 0.00 0 0
1796.70/1797.01 c rens : 0.08 0.00 1 0
1796.70/1797.01 c rins : 0.00 0.00 0 0
1796.70/1797.01 c localbranching : 0.00 0.00 0 0
1796.70/1797.01 c mutation : 0.00 0.00 0 0
1796.70/1797.01 c dins : 0.00 0.00 0 0
1796.70/1797.01 c vbounds : 0.00 0.00 0 0
1796.70/1797.01 c undercover : 0.00 0.00 0 0
1796.70/1797.01 c subnlp : 0.01 0.00 0 0
1796.70/1797.01 c trysol : 0.01 0.00 0 0
1796.70/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.01 c primal LP : 0.00 1 0 0.00 - 0.00 1
1796.70/1797.01 c dual LP : 1087.29 11293 6772300 606.51 6228.59 0.20 127
1796.70/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.01 c diving/probing LP: 124.30 5668 520178 91.77 4184.79
1796.70/1797.01 c strong branching : 528.78 6025 2753381 456.99 5207.09
1796.70/1797.01 c (at root node) : - 41 32336 788.68 -
1796.70/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.01 c B&B Tree :
1796.70/1797.01 c number of runs : 1
1796.70/1797.01 c nodes : 15590
1796.70/1797.01 c nodes (total) : 15590
1796.70/1797.01 c nodes left : 469
1796.70/1797.01 c max depth : 28
1796.70/1797.01 c max depth (total): 28
1796.70/1797.01 c backtracks : 4426 (28.4%)
1796.70/1797.01 c delayed cutoffs : 3782
1796.70/1797.01 c repropagations : 14020 (1388569 domain reductions, 3293 cutoffs)
1796.70/1797.01 c avg switch length: 3.98
1796.70/1797.01 c switching time : 8.06
1796.70/1797.01 c Solution :
1796.70/1797.01 c Solutions found : 0 (0 improvements)
1796.70/1797.01 c Primal Bound : -
1796.70/1797.01 c Dual Bound : +0.00000000000000e+00
1796.70/1797.01 c Gap : infinite
1796.70/1797.01 c Root Dual Bound : +0.00000000000000e+00
1796.70/1797.01 c Root Iterations : 32873
1796.70/1797.05 c Time complete: 1796.75.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3692472-1338042275/watcher-3692472-1338042275 -o /tmp/evaluation-result-3692472-1338042275/solver-3692472-1338042275 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692472-1338042275.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3173
/proc/meminfo: memFree=28218852/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=12852 CPUtime=0 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 1944 0 0 0 0 0 0 0 20 0 1 0 270354861 13160448 1899 33554432000 4194304 10219143 140736956492592 140733343580152 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 3213 1901 421 1471 0 1733 0
[startup+0.020333 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3173
/proc/meminfo: memFree=28218852/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=18592 CPUtime=0.01 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 3326 0 0 0 1 0 0 0 20 0 1 0 270354861 19038208 3281 33554432000 4194304 10219143 140736956492592 140733343580152 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 4648 3307 421 1471 0 3168 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18592
[startup+0.100294 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3173
/proc/meminfo: memFree=28218852/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=34496 CPUtime=0.09 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 7432 0 0 0 9 0 0 0 20 0 1 0 270354861 35323904 7129 33554432000 4194304 10219143 140736956492592 140736956490280 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 8624 7129 597 1471 0 7144 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34496
[startup+0.300282 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3173
/proc/meminfo: memFree=28218852/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=42160 CPUtime=0.29 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 9387 0 0 0 27 2 0 0 20 0 1 0 270354861 43171840 9084 33554432000 4194304 10219143 140736956492592 140736956490280 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 10540 9084 624 1471 0 9060 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42160
[startup+0.700279 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3173
/proc/meminfo: memFree=28218852/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=55756 CPUtime=0.69 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 12841 0 0 0 66 3 0 0 20 0 1 0 270354861 57094144 12426 33554432000 4194304 10219143 140736956492592 140736956490280 8930967 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 13939 12442 776 1471 0 12459 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55756
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3174
/proc/meminfo: memFree=28170452/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=56320 CPUtime=1.49 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 13447 0 0 0 145 4 0 0 20 0 1 0 270354861 57671680 12904 33554432000 4194304 10219143 140736956492592 140736956483800 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 14080 12904 792 1471 0 12600 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56320
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3174
/proc/meminfo: memFree=28169956/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=56320 CPUtime=3.09 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 13447 0 0 0 304 5 0 0 20 0 1 0 270354861 57671680 12904 33554432000 4194304 10219143 140736956492592 140736956483752 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 14080 12904 792 1471 0 12600 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56320
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3174
/proc/meminfo: memFree=28169284/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=56624 CPUtime=6.29 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 13524 0 0 0 623 6 0 0 20 0 1 0 270354861 57982976 12981 33554432000 4194304 10219143 140736956492592 140736956483752 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 14156 12981 794 1471 0 12676 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56624
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3174
/proc/meminfo: memFree=28133876/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=92168 CPUtime=12.69 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 23137 0 0 0 1256 13 0 0 20 0 1 0 270354861 94380032 21883 33554432000 4194304 10219143 140736956492592 140736956487512 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 23042 21883 850 1471 0 21562 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92168
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3174
/proc/meminfo: memFree=28133412/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=92292 CPUtime=25.48 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 24572 0 0 0 2527 21 0 0 20 0 1 0 270354861 94507008 21960 33554432000 4194304 10219143 140736956492592 140736956485896 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 23073 21960 853 1471 0 21593 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 92292
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3174
/proc/meminfo: memFree=28133536/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=92292 CPUtime=51.08 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 24581 0 0 0 5075 33 0 0 20 0 1 0 270354861 94507008 21969 33554432000 4194304 10219143 140736956492592 140736956485896 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 23073 21969 857 1471 0 21593 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 92292
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3174
/proc/meminfo: memFree=28133288/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=92292 CPUtime=102.27 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 24584 0 0 0 10164 63 0 0 20 0 1 0 270354861 94507008 21972 33554432000 4194304 10219143 140736956492592 140736956485896 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 23073 21972 857 1471 0 21593 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 92292
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3175
/proc/meminfo: memFree=28132892/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=92292 CPUtime=162.27 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 24594 0 0 0 16128 99 0 0 20 0 1 0 270354861 94507008 21982 33554432000 4194304 10219143 140736956492592 140736956486232 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 23073 21982 857 1471 0 21593 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 92292
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3175
/proc/meminfo: memFree=28132904/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=92292 CPUtime=222.26 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 24594 0 0 0 22090 136 0 0 20 0 1 0 270354861 94507008 21982 33554432000 4194304 10219143 140736956492592 140736956485848 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 23073 21982 857 1471 0 21593 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 92292
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3175
/proc/meminfo: memFree=28132912/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=92292 CPUtime=282.25 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 24594 0 0 0 28052 173 0 0 20 0 1 0 270354861 94507008 21982 33554432000 4194304 10219143 140736956492592 140736956486232 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 23073 21982 857 1471 0 21593 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 92292
[startup+342.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 3179
/proc/meminfo: memFree=28160248/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=92292 CPUtime=342.24 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 24594 0 0 0 34014 210 0 0 20 0 1 0 270354861 94507008 21982 33554432000 4194304 10219143 140736956492592 140736956485848 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 23073 21982 857 1471 0 21593 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 92292
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3179
/proc/meminfo: memFree=28159640/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=92292 CPUtime=402.22 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 24612 0 0 0 39976 246 0 0 20 0 1 0 270354861 94507008 22146 33554432000 4194304 10219143 140736956492592 140736956484312 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 23073 22146 857 1471 0 21593 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 92292
[startup+462.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3179
/proc/meminfo: memFree=28159756/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=92768 CPUtime=462.21 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 24701 0 0 0 45935 286 0 0 20 0 1 0 270354861 94994432 22235 33554432000 4194304 10219143 140736956492592 140736956485896 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 23192 22235 857 1471 0 21712 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 92768
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3179
/proc/meminfo: memFree=28133756/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=94312 CPUtime=522.2 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 25089 0 0 0 51894 326 0 0 20 0 1 0 270354861 96575488 22623 33554432000 4194304 10219143 140736956492592 140736956486040 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 23578 22623 857 1471 0 22098 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 94312
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3179
/proc/meminfo: memFree=28131896/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=96020 CPUtime=582.2 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 25471 0 0 0 57854 366 0 0 20 0 1 0 270354861 98324480 23005 33554432000 4194304 10219143 140736956492592 140736956485896 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 24005 23005 857 1471 0 22525 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 96020
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28646132/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=106136 CPUtime=1122.11 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 28047 0 0 0 111471 740 0 0 20 0 1 0 270354861 108683264 25611 33554432000 4194304 10219143 140736956492592 140736956486424 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 26534 25611 857 1471 0 25054 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 106136
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 3222
/proc/meminfo: memFree=28644768/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=107272 CPUtime=1182.1 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 28332 0 0 0 117431 779 0 0 20 0 1 0 270354861 109846528 25896 33554432000 4194304 10219143 140736956492592 140736956485848 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 26818 25896 857 1471 0 25338 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 107272
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 3223
/proc/meminfo: memFree=28643840/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=108116 CPUtime=1242.09 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 28543 0 0 0 123394 815 0 0 20 0 1 0 270354861 110710784 26106 33554432000 4194304 10219143 140736956492592 140736956484408 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 27029 26106 857 1471 0 25549 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 108116
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3223
/proc/meminfo: memFree=28643096/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=109128 CPUtime=1302.09 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 28756 0 0 0 129348 861 0 0 20 0 1 0 270354861 111747072 26319 33554432000 4194304 10219143 140736956492592 140736956485896 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 27282 26319 857 1471 0 25802 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 109128
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3223
/proc/meminfo: memFree=28640368/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=111904 CPUtime=1362.07 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 29415 0 0 0 135310 897 0 0 20 0 1 0 270354861 114589696 26978 33554432000 4194304 10219143 140736956492592 140736956486232 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 27976 26978 857 1471 0 26496 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 111904
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3223
/proc/meminfo: memFree=28639252/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=112480 CPUtime=1422.06 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 29636 0 0 0 141272 934 0 0 20 0 1 0 270354861 115179520 27197 33554432000 4194304 10219143 140736956492592 140736956485112 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 28120 27197 857 1471 0 26640 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 112480
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3223
/proc/meminfo: memFree=28638880/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=112896 CPUtime=1482.05 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 29698 0 0 0 147232 973 0 0 20 0 1 0 270354861 115605504 27259 33554432000 4194304 10219143 140736956492592 140736956485112 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 28224 27259 857 1471 0 26744 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 112896
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 3227
/proc/meminfo: memFree=28637476/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=114056 CPUtime=1542.04 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 30034 0 0 0 153190 1014 0 0 20 0 1 0 270354861 116793344 27594 33554432000 4194304 10219143 140736956492592 140736956485768 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 28514 27594 857 1471 0 27034 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 114056
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 3227
/proc/meminfo: memFree=28637096/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=114580 CPUtime=1602.03 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 30810 0 0 0 159151 1052 0 0 20 0 1 0 270354861 117329920 27722 33554432000 4194304 10219143 140736956492592 140736956485896 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 28645 27722 857 1471 0 27165 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 114580
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3227
/proc/meminfo: memFree=28635856/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=115772 CPUtime=1662.02 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 31051 0 0 0 165113 1089 0 0 20 0 1 0 270354861 118550528 27963 33554432000 4194304 10219143 140736956492592 140736956485896 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 28943 27963 857 1471 0 27463 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 115772
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3227
/proc/meminfo: memFree=28635360/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=116184 CPUtime=1722.01 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 31213 0 0 0 171070 1131 0 0 20 0 1 0 270354861 118972416 28123 33554432000 4194304 10219143 140736956492592 140736956486424 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 29046 28123 857 1471 0 27566 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 116184
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3227
/proc/meminfo: memFree=28633996/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=117512 CPUtime=1782.01 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 31545 0 0 0 177030 1171 0 0 20 0 1 0 270354861 120332288 28455 33554432000 4194304 10219143 140736956492592 140736956486232 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 29378 28455 857 1471 0 27898 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 117512
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3227
/proc/meminfo: memFree=28633996/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=117512 CPUtime=1785.21 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 31545 0 0 0 177348 1173 0 0 20 0 1 0 270354861 120332288 28455 33554432000 4194304 10219143 140736956492592 140736956486136 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 29378 28455 857 1471 0 27898 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 117512
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3227
/proc/meminfo: memFree=28633996/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=117512 CPUtime=1791.6 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 31545 0 0 0 177984 1176 0 0 20 0 1 0 270354861 120332288 28455 33554432000 4194304 10219143 140736956492592 140736956485848 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 29378 28455 857 1471 0 27898 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 117512
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3227
/proc/meminfo: memFree=28633996/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=117512 CPUtime=1794.81 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 31545 0 0 0 178302 1179 0 0 20 0 1 0 270354861 120332288 28455 33554432000 4194304 10219143 140736956492592 140736956485944 5184115 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 29378 28455 857 1471 0 27898 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 117512
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3227
/proc/meminfo: memFree=28633996/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=117512 CPUtime=1795.6 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 31545 0 0 0 178381 1179 0 0 20 0 1 0 270354861 120332288 28455 33554432000 4194304 10219143 140736956492592 140736956485944 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 29378 28455 857 1471 0 27898 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 117512
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3227
/proc/meminfo: memFree=28633996/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=117512 CPUtime=1796.4 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 31545 0 0 0 178461 1179 0 0 20 0 1 0 270354861 120332288 28455 33554432000 4194304 10219143 140736956492592 140736956485896 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 29378 28455 857 1471 0 27898 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 117512
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3227
/proc/meminfo: memFree=28633996/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=117512 CPUtime=1796.61 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 31545 0 0 0 178481 1180 0 0 20 0 1 0 270354861 120332288 28455 33554432000 4194304 10219143 140736956492592 140736956485896 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 29378 28455 857 1471 0 27898 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 117512
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3227
/proc/meminfo: memFree=28633996/32873648 swapFree=7108/7108
[pid=3173] ppid=3171 vsize=117512 CPUtime=1796.7 cores=1,3,5,7
/proc/3173/stat : 3173 (scip-2.1.1.4exp) R 3171 3173 32297 0 -1 4202496 31545 0 0 0 178490 1180 0 0 20 0 1 0 270354861 120332288 28455 33554432000 4194304 10219143 140736956492592 140736956485896 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3173/statm: 29378 28455 857 1471 0 27898 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 117512
Child status: 0
Real time (s): 1797.05
CPU time (s): 1796.76
CPU user time (s): 1784.96
CPU system time (s): 11.8082
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 117512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.96
system time used= 11.8082
maximum resident set size= 113836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31551
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= 30
involuntary context switches= 1846
runsolver used 2.70159 second user time and 7.11192 second system time
The end