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: a3bf3a4-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-3691524-1338022602.opb>
0.00/0.00 c original problem has 584 variables (584 bin, 0 int, 0 impl, 0 cont) and 427 constraints
0.00/0.00 c problem read in 0.01
0.01/0.02 c presolving:
0.28/0.30 c (round 1) 161 del vars, 49 del conss, 0 add conss, 161 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 367878 impls, 287 clqs
0.28/0.33 c (round 2) 716 del vars, 106 del conss, 0 add conss, 194 chg bounds, 0 chg sides, 213 chg coeffs, 96 upgd conss, 374867 impls, 243 clqs
0.39/0.49 c (round 3) 717 del vars, 110 del conss, 0 add conss, 194 chg bounds, 0 chg sides, 213 chg coeffs, 340 upgd conss, 374867 impls, 244 clqs
0.59/0.66 c (round 4) 718 del vars, 110 del conss, 0 add conss, 194 chg bounds, 0 chg sides, 213 chg coeffs, 340 upgd conss, 374869 impls, 243 clqs
0.68/0.82 c (round 5) 719 del vars, 111 del conss, 0 add conss, 194 chg bounds, 0 chg sides, 213 chg coeffs, 340 upgd conss, 374869 impls, 243 clqs
0.68/1.00 c (1.0s) probing: 51/2271 (2.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.68/1.00 c (1.0s) probing aborted: 50/50 successive totally useless probings
0.68/1.01 c presolving (6 rounds):
0.68/1.01 c 719 deleted vars, 111 deleted constraints, 0 added constraints, 194 tightened bounds, 0 added holes, 0 changed sides, 213 changed coefficients
0.68/1.01 c 374869 implications, 243 cliques
0.68/1.01 c presolved problem has 2271 variables (2271 bin, 0 int, 0 impl, 0 cont) and 2190 constraints
0.68/1.01 c 243 constraints of type <setppc>
0.68/1.01 c 1769 constraints of type <and>
0.68/1.01 c 90 constraints of type <linear>
0.68/1.01 c 88 constraints of type <logicor>
0.68/1.01 c transformed objective value is always integral (scale: 1)
0.68/1.01 c Presolving Time: 1.00
0.68/1.01 c - non default parameters ----------------------------------------------------------------------
0.68/1.01 c # SCIP version 2.1.1.4
0.68/1.01 c
0.68/1.01 c # maximal time in seconds to run
0.68/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.68/1.01 c limits/time = 1797
0.68/1.01 c
0.68/1.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.68/1.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.68/1.01 c limits/memory = 13950
0.68/1.01 c
0.68/1.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.68/1.01 c # [type: int, range: [1,2], default: 1]
0.68/1.01 c timing/clocktype = 2
0.68/1.01 c
0.68/1.01 c # belongs reading time to solving time?
0.68/1.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.68/1.01 c timing/reading = TRUE
0.68/1.01 c
0.68/1.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.68/1.01 c # [type: int, range: [-1,2147483647], default: -1]
0.68/1.01 c separating/rapidlearning/freq = 0
0.68/1.01 c
0.68/1.01 c -----------------------------------------------------------------------------------------------
0.68/1.01 c start solving
0.68/1.01 c
1.20/1.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.20/1.26 c 1.3s| 1 | 0 | 1884 | - | 20M| 0 | 368 |2271 |2217 |2271 |3959 | 0 | 27 | 0 | 1.300000e+01 | -- | Inf
12.19/12.25 c 12.2s| 1 | 0 | 10287 | - | 26M| 0 | 362 |2271 |3561 |2271 |4506 | 547 | 28 | 0 | 1.300000e+01 | -- | Inf
12.68/12.76 c 12.8s| 1 | 0 | 12069 | - | 27M| 0 | 463 |2271 |3561 |2271 |4985 |1026 | 28 | 0 | 1.300000e+01 | -- | Inf
13.40/13.42 c 13.4s| 1 | 0 | 13890 | - | 30M| 0 | 403 |2271 |3561 |2271 |5432 |1473 | 28 | 0 | 1.300000e+01 | -- | Inf
13.98/14.01 c 14.0s| 1 | 0 | 14999 | - | 32M| 0 | 436 |2271 |3561 |2271 |5681 |1722 | 28 | 0 | 1.300000e+01 | -- | Inf
14.49/14.56 c 14.6s| 1 | 0 | 16064 | - | 35M| 0 | 384 |2271 |3561 |2271 |5992 |2033 | 28 | 0 | 1.300000e+01 | -- | Inf
15.08/15.10 c 15.1s| 1 | 0 | 17302 | - | 37M| 0 | 408 |2271 |3561 |2271 |6140 |2181 | 28 | 0 | 1.300000e+01 | -- | Inf
21.79/21.83 c 21.8s| 1 | 2 | 17302 | - | 37M| 0 | 408 |2271 |3561 |2271 |6140 |2181 | 28 | 36 | 1.300000e+01 | -- | Inf
59.67/59.79 c 59.8s| 100 | 99 |152413 |1364.8 | 37M| 16 | 384 |2271 |3610 |2271 |1632 | 21k| 77 | 508 | 1.300000e+01 | -- | Inf
80.27/80.37 c 80.4s| 200 | 199 |271610 |1277.9 | 37M| 21 | 420 |2271 |3741 |2271 |2229 | 34k| 208 | 672 | 1.300000e+01 | -- | Inf
98.57/98.68 c 98.7s| 300 | 299 |386324 |1234.2 | 38M| 23 | 233 |2271 |3768 |2271 |2369 | 44k| 235 | 707 | 1.303571e+01 | -- | Inf
113.66/113.79 c 114s| 400 | 388 |463611 |1118.6 | 38M| 26 | 461 |2271 |3864 |2271 |1990 | 53k| 331 | 819 | 1.309218e+01 | -- | Inf
129.36/129.42 c 129s| 500 | 484 |547601 |1062.7 | 39M| 29 | 429 |2271 |3955 |2271 |1993 | 62k| 422 | 986 | 1.312500e+01 | -- | Inf
146.66/146.77 c 147s| 600 | 584 |653156 |1061.5 | 39M| 29 | 534 |2271 |4078 |2271 |2273 | 72k| 545 |1043 | 1.314286e+01 | -- | Inf
170.25/170.32 c 170s| 700 | 680 |799374 |1118.8 | 39M| 29 | 635 |2271 |4252 |2271 |1857 | 85k| 719 |1132 | 1.315625e+01 | -- | Inf
194.45/194.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.45/194.59 c 195s| 800 | 780 |939546 |1154.2 | 40M| 29 | 386 |2271 |4375 |2271 |1924 | 98k| 939 |1301 | 1.323077e+01 | -- | Inf
213.94/214.07 c 214s| 900 | 874 | 1065k|1165.9 | 40M| 29 | 633 |2271 |4613 |2271 |2122 | 109k|1181 |1322 | 1.351389e+01 | -- | Inf
231.15/231.25 c 231s| 1000 | 972 | 1165k|1149.8 | 41M| 29 | 633 |2271 |4790 |2271 |2147 | 120k|1360 |1393 | 1.352426e+01 | -- | Inf
251.64/251.72 c 252s| 1100 | 1070 | 1286k|1155.1 | 42M| 29 | 485 |2271 |4971 |2271 |2322 | 132k|1555 |1568 | 1.356019e+01 | -- | Inf
266.53/266.67 c 267s| 1200 | 1166 | 1383k|1139.2 | 42M| 29 | 665 |2271 |5015 |2271 |2178 | 142k|1637 |1598 | 1.359890e+01 | -- | Inf
284.44/284.54 c 285s| 1300 | 1258 | 1485k|1130.6 | 42M| 29 | 484 |2271 |5093 |2271 |2296 | 153k|1752 |1673 | 1.365328e+01 | -- | Inf
310.53/310.69 c 311s| 1400 | 1354 | 1636k|1157.4 | 43M| 29 | 485 |2271 |5177 |2271 |2118 | 165k|1891 |1834 | 1.371429e+01 | -- | Inf
325.43/325.54 c 326s| 1500 | 1452 | 1730k|1142.7 | 43M| 29 | 667 |2271 |5204 |2271 |2204 | 176k|2003 |1890 | 1.373467e+01 | -- | Inf
339.63/339.74 c 340s| 1600 | 1548 | 1824k|1130.3 | 44M| 29 | 476 |2271 |5145 |2271 |2073 | 185k|2063 |1901 | 1.375000e+01 | -- | Inf
356.82/356.94 c 357s| 1700 | 1633 | 1922k|1121.6 | 44M| 30 | 506 |2271 |5142 |2271 |2123 | 195k|2205 |1980 | 1.375000e+01 | -- | Inf
373.52/373.60 c 374s| 1800 | 1728 | 2018k|1112.5 | 44M| 30 | 558 |2271 |5171 |2271 |2479 | 204k|2346 |2075 | 1.375000e+01 | -- | Inf
388.33/388.47 c 388s| 1900 | 1824 | 2107k|1100.7 | 45M| 30 | 414 |2271 |5140 |2271 |2494 | 212k|2413 |2180 | 1.376190e+01 | -- | Inf
402.62/402.78 c 403s| 2000 | 1917 | 2198k|1091.3 | 45M| 30 | 475 |2271 |5111 |2271 |2140 | 222k|2526 |2209 | 1.377057e+01 | -- | Inf
416.12/416.22 c 416s| 2100 | 2013 | 2287k|1081.7 | 46M| 30 | 521 |2271 |5112 |2271 |2205 | 231k|2646 |2218 | 1.379487e+01 | -- | Inf
433.81/433.95 c 434s| 2200 | 2106 | 2387k|1077.7 | 46M| 30 | 497 |2271 |5118 |2271 |2404 | 240k|2813 |2311 | 1.381804e+01 | -- | Inf
448.91/449.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
448.91/449.04 c 449s| 2300 | 2196 | 2475k|1069.3 | 46M| 30 | 568 |2271 |5052 |2271 |2596 | 248k|2910 |2390 | 1.381818e+01 | -- | Inf
466.31/466.44 c 466s| 2400 | 2294 | 2575k|1066.5 | 47M| 30 | 656 |2271 |5031 |2271 |2233 | 258k|3067 |2504 | 1.385448e+01 | -- | Inf
482.01/482.12 c 482s| 2500 | 2392 | 2676k|1064.1 | 47M| 30 | 468 |2271 |4951 |2271 |2173 | 268k|3215 |2533 | 1.385448e+01 | -- | Inf
495.41/495.52 c 496s| 2600 | 2480 | 2766k|1057.9 | 47M| 30 | 513 |2271 |4842 |2271 |2438 | 280k|3273 |2548 | 1.386111e+01 | -- | Inf
511.30/511.46 c 511s| 2700 | 2578 | 2874k|1058.6 | 48M| 30 | 282 |2271 |4708 |2271 |2403 | 292k|3365 |2554 | 1.394444e+01 | -- | Inf
527.20/527.33 c 527s| 2800 | 2668 | 2982k|1059.3 | 48M| 30 | 486 |2271 |4457 |2271 |2351 | 303k|3494 |2559 | 1.396382e+01 | -- | Inf
540.49/540.66 c 541s| 2900 | 2754 | 3072k|1054.0 | 48M| 30 | 618 |2271 |4322 |2271 |2187 | 314k|3618 |2560 | 1.400000e+01 | -- | Inf
561.19/561.36 c 561s| 3000 | 2840 | 3207k|1063.7 | 49M| 30 | 416 |2271 |4238 |2271 |2355 | 324k|3783 |2600 | 1.402303e+01 | -- | Inf
578.09/578.24 c 578s| 3100 | 2924 | 3307k|1061.5 | 49M| 30 | 372 |2271 |4123 |2271 |2392 | 335k|3996 |2689 | 1.406990e+01 | -- | Inf
594.19/594.33 c 594s| 3200 | 3010 | 3407k|1059.8 | 49M| 30 | 481 |2271 |3958 |2271 |2653 | 346k|4115 |2784 | 1.410000e+01 | -- | Inf
609.59/609.72 c 610s| 3300 | 3088 | 3509k|1058.7 | 50M| 30 | 441 |2271 |3883 |2271 |2498 | 358k|4342 |2802 | 1.410417e+01 | -- | Inf
625.78/625.91 c 626s| 3400 | 3173 | 3620k|1060.0 | 50M| 30 | 404 |2271 |3764 |2271 |1936 | 370k|4529 |2822 | 1.411792e+01 | -- | Inf
644.38/644.57 o 26
644.38/644.57 c * 645s| 3498 | 3145 | 3731k|1062.2 | 50M| 30 | - |2271 |3590 |2271 |2417 | 383k|4677 |2896 | 1.412500e+01 | 2.600000e+01 | 84.07%
644.69/644.83 c 645s| 3500 | 3147 | 3733k|1062.2 | 50M| 30 | 630 |2271 |3583 |2271 |2185 | 384k|4677 |2896 | 1.412500e+01 | 2.600000e+01 | 84.07%
664.98/665.18 c 665s| 3600 | 3242 | 3852k|1065.5 | 50M| 30 | 574 |2271 |3238 |2271 |2186 | 396k|4695 |3034 | 1.413636e+01 | 2.600000e+01 | 83.92%
681.67/681.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
681.67/681.82 c 682s| 3700 | 3308 | 3965k|1067.3 | 51M| 30 | - |2271 |2919 |2271 |2330 | 408k|4728 |3057 | 1.414286e+01 | 2.600000e+01 | 83.84%
698.87/699.03 c 699s| 3800 | 3390 | 4081k|1069.8 | 51M| 30 | 563 |2271 |2822 |2271 |2182 | 420k|4776 |3069 | 1.416667e+01 | 2.600000e+01 | 83.53%
718.47/718.63 c 719s| 3900 | 3468 | 4201k|1073.0 | 51M| 30 | 613 |2271 |2729 |2271 |2236 | 433k|4820 |3132 | 1.416667e+01 | 2.600000e+01 | 83.53%
737.66/737.86 c 738s| 4000 | 3554 | 4314k|1074.5 | 52M| 30 | 611 |2271 |2712 |2271 |2003 | 445k|4871 |3214 | 1.416819e+01 | 2.600000e+01 | 83.51%
758.57/758.72 c 759s| 4100 | 3644 | 4439k|1078.8 | 52M| 30 | 458 |2271 |2725 |2271 |2252 | 457k|4945 |3316 | 1.417188e+01 | 2.600000e+01 | 83.46%
777.36/777.52 c 778s| 4200 | 3722 | 4561k|1082.2 | 53M| 31 | 317 |2271 |2719 |2271 |2222 | 468k|5010 |3331 | 1.417715e+01 | 2.600000e+01 | 83.39%
792.56/792.72 c 793s| 4300 | 3799 | 4659k|1079.8 | 53M| 31 | 481 |2271 |2700 |2271 |2529 | 478k|5064 |3350 | 1.418528e+01 | 2.600000e+01 | 83.29%
810.86/811.01 c 811s| 4400 | 3880 | 4773k|1081.2 | 53M| 31 | 315 |2271 |2636 |2271 |2408 | 491k|5084 |3399 | 1.421429e+01 | 2.600000e+01 | 82.91%
828.55/828.71 c 829s| 4500 | 3956 | 4874k|1079.5 | 54M| 31 | 574 |2271 |2614 |2271 |2087 | 502k|5126 |3480 | 1.421901e+01 | 2.600000e+01 | 82.85%
848.45/848.69 c 849s| 4600 | 4048 | 4995k|1082.4 | 54M| 32 | 377 |2271 |2586 |2271 |2220 | 513k|5157 |3586 | 1.425000e+01 | 2.600000e+01 | 82.46%
864.45/864.64 c 865s| 4700 | 4144 | 5097k|1081.1 | 55M| 32 | 439 |2271 |2565 |2271 |2187 | 524k|5195 |3606 | 1.425301e+01 | 2.600000e+01 | 82.42%
879.94/880.18 c 880s| 4800 | 4230 | 5190k|1078.0 | 55M| 32 | - |2271 |2533 |2271 |2349 | 532k|5202 |3637 | 1.425301e+01 | 2.600000e+01 | 82.42%
897.04/897.23 c 897s| 4900 | 4312 | 5302k|1078.9 | 55M| 33 | 459 |2271 |2523 |2271 |2608 | 543k|5233 |3646 | 1.426071e+01 | 2.600000e+01 | 82.32%
915.73/915.91 c 916s| 5000 | 4408 | 5420k|1080.9 | 56M| 33 | 585 |2271 |2557 |2271 |2193 | 554k|5295 |3679 | 1.426399e+01 | 2.600000e+01 | 82.28%
935.04/935.23 c 935s| 5100 | 4493 | 5528k|1080.9 | 56M| 33 | 562 |2271 |2566 |2271 |2453 | 564k|5336 |3746 | 1.427045e+01 | 2.600000e+01 | 82.19%
954.63/954.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
954.63/954.87 c 955s| 5200 | 4574 | 5643k|1082.2 | 56M| 33 | 571 |2271 |2581 |2271 |2505 | 576k|5396 |3852 | 1.427742e+01 | 2.600000e+01 | 82.11%
973.23/973.42 c 973s| 5300 | 4660 | 5762k|1084.1 | 57M| 33 | 651 |2271 |2546 |2271 |2265 | 586k|5416 |3885 | 1.428800e+01 | 2.600000e+01 | 81.97%
989.93/990.12 c 990s| 5400 | 4738 | 5872k|1084.5 | 57M| 34 | 542 |2271 |2580 |2271 |2594 | 597k|5486 |3908 | 1.428930e+01 | 2.600000e+01 | 81.95%
1004.52/1004.77 c 1005s| 5500 | 4820 | 5965k|1081.7 | 58M| 34 | 427 |2271 |2575 |2271 |2381 | 606k|5548 |3915 | 1.429167e+01 | 2.600000e+01 | 81.92%
1021.32/1021.50 c 1022s| 5600 | 4888 | 6065k|1080.1 | 58M| 34 | 567 |2271 |2574 |2271 |2262 | 614k|5602 |3959 | 1.429878e+01 | 2.600000e+01 | 81.83%
1038.62/1038.81 c 1039s| 5700 | 4964 | 6168k|1079.3 | 58M| 34 | 564 |2271 |2573 |2271 |2037 | 624k|5636 |4012 | 1.430769e+01 | 2.600000e+01 | 81.72%
1055.51/1055.73 c 1056s| 5800 | 5036 | 6268k|1077.9 | 59M| 34 | - |2271 |2589 |2271 |2456 | 633k|5701 |4097 | 1.431579e+01 | 2.600000e+01 | 81.62%
1072.31/1072.56 c 1073s| 5900 | 5116 | 6370k|1077.0 | 59M| 35 | 379 |2271 |2564 |2271 |2821 | 643k|5730 |4161 | 1.433333e+01 | 2.600000e+01 | 81.40%
1088.91/1089.15 c 1089s| 6000 | 5198 | 6478k|1077.1 | 59M| 35 | 319 |2271 |2543 |2271 |2284 | 654k|5764 |4174 | 1.433333e+01 | 2.600000e+01 | 81.40%
1107.11/1107.30 c 1107s| 6100 | 5284 | 6596k|1078.7 | 60M| 35 | 395 |2271 |2505 |2271 |2478 | 665k|5785 |4186 | 1.436364e+01 | 2.600000e+01 | 81.01%
1121.50/1121.72 c 1122s| 6200 | 5366 | 6688k|1076.1 | 60M| 37 | 640 |2271 |2506 |2271 |2613 | 674k|5835 |4196 | 1.438889e+01 | 2.600000e+01 | 80.69%
1140.80/1141.02 c 1141s| 6300 | 5457 | 6806k|1077.8 | 61M| 37 | 579 |2271 |2508 |2271 |2356 | 685k|5870 |4249 | 1.440000e+01 | 2.600000e+01 | 80.56%
1157.49/1157.78 c 1158s| 6400 | 5541 | 6902k|1076.0 | 61M| 37 | 373 |2271 |2504 |2271 |2356 | 695k|5905 |4329 | 1.441606e+01 | 2.600000e+01 | 80.35%
1173.30/1173.55 o 25
1173.30/1173.55 c *1174s| 6493 | 5414 | 6992k|1074.4 | 60M| 37 | - |2271 |2496 |2271 |2481 | 704k|5926 |4434 | 1.441724e+01 | 2.500000e+01 | 73.40%
1173.50/1173.70 o 23
1173.50/1173.70 c *1174s| 6497 | 4816 | 6992k|1073.8 | 58M| 37 | - |2271 |2496 |2271 |2459 | 704k|5926 |4436 | 1.441724e+01 | 2.300000e+01 | 59.53%
1173.89/1174.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1173.89/1174.14 c 1174s| 6500 | 4819 | 6995k|1073.8 | 58M| 37 | 532 |2271 |2496 |2271 |2347 | 704k|5926 |4436 | 1.441724e+01 | 2.300000e+01 | 59.53%
1189.29/1189.53 c 1190s| 6600 | 4885 | 7096k|1072.7 | 58M| 37 | 425 |2271 |2501 |2271 |2376 | 713k|5955 |4446 | 1.443548e+01 | 2.300000e+01 | 59.33%
1203.30/1203.57 o 21
1203.30/1203.57 c C1204s| 6697 | 4127 | 7186k|1070.7 | 55M| 37 | 677 |2271 |2467 |2271 |2180 | 722k|5960 |4453 | 1.444085e+01 | 2.100000e+01 | 45.42%
1203.78/1204.06 c 1204s| 6700 | 4128 | 7190k|1070.8 | 55M| 37 | 587 |2271 |2467 |2271 |2274 | 722k|5960 |4453 | 1.444085e+01 | 2.100000e+01 | 45.42%
1215.49/1215.79 c 1216s| 6800 | 4180 | 7267k|1066.4 | 55M| 37 | 592 |2271 |2454 |2271 |2296 | 730k|5976 |4455 | 1.445833e+01 | 2.100000e+01 | 45.24%
1226.59/1226.84 c 1227s| 6900 | 4236 | 7340k|1061.6 | 56M| 37 | 583 |2271 |2446 |2271 |2442 | 737k|5984 |4459 | 1.449112e+01 | 2.100000e+01 | 44.92%
1237.49/1237.70 c 1238s| 7000 | 4280 | 7404k|1055.4 | 56M| 37 | 295 |2271 |2456 |2271 |2338 | 743k|6000 |4486 | 1.449112e+01 | 2.100000e+01 | 44.92%
1248.78/1249.07 c 1249s| 7100 | 4328 | 7470k|1049.9 | 56M| 37 | 676 |2271 |2446 |2271 |2281 | 749k|6008 |4526 | 1.450000e+01 | 2.100000e+01 | 44.83%
1260.78/1261.09 c 1261s| 7200 | 4380 | 7541k|1045.1 | 57M| 37 | 309 |2271 |2438 |2271 |1998 | 757k|6012 |4596 | 1.450000e+01 | 2.100000e+01 | 44.83%
1275.98/1276.28 c 1276s| 7300 | 4438 | 7630k|1043.1 | 57M| 37 | 466 |2271 |2449 |2271 |2336 | 765k|6034 |4683 | 1.450000e+01 | 2.100000e+01 | 44.83%
1289.38/1289.64 c 1290s| 7400 | 4496 | 7714k|1040.3 | 57M| 37 | 464 |2271 |2444 |2271 |2254 | 773k|6037 |4712 | 1.450000e+01 | 2.100000e+01 | 44.83%
1300.37/1300.68 c 1301s| 7500 | 4542 | 7785k|1035.9 | 58M| 37 | 585 |2271 |2433 |2271 |2454 | 780k|6043 |4726 | 1.450000e+01 | 2.100000e+01 | 44.83%
1311.17/1311.49 c 1311s| 7600 | 4572 | 7855k|1031.5 | 58M| 37 | 342 |2271 |2437 |2271 |2315 | 787k|6058 |4750 | 1.450000e+01 | 2.100000e+01 | 44.83%
1323.77/1324.03 c 1324s| 7700 | 4626 | 7937k|1028.7 | 58M| 37 | 522 |2271 |2440 |2271 |2489 | 796k|6075 |4766 | 1.450000e+01 | 2.100000e+01 | 44.83%
1334.47/1334.74 c 1335s| 7800 | 4670 | 8005k|1024.3 | 59M| 37 | 461 |2271 |2423 |2271 |2348 | 802k|6078 |4773 | 1.451271e+01 | 2.100000e+01 | 44.70%
1345.27/1345.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1345.27/1345.57 c 1346s| 7900 | 4718 | 8076k|1020.3 | 59M| 37 | 506 |2271 |2414 |2271 |2453 | 809k|6086 |4779 | 1.451622e+01 | 2.100000e+01 | 44.67%
1356.56/1356.84 c 1357s| 8000 | 4759 | 8140k|1015.6 | 59M| 37 | 614 |2271 |2421 |2271 |2308 | 815k|6100 |4835 | 1.451818e+01 | 2.100000e+01 | 44.65%
1366.46/1366.75 c 1367s| 8100 | 4795 | 8200k|1010.4 | 60M| 37 | - |2271 |2418 |2271 |1966 | 820k|6100 |4862 | 1.452439e+01 | 2.100000e+01 | 44.58%
1379.56/1379.81 c 1380s| 8200 | 4827 | 8280k|1007.9 | 60M| 37 | 622 |2271 |2425 |2271 |2154 | 828k|6118 |4931 | 1.452564e+01 | 2.100000e+01 | 44.57%
1391.26/1391.57 c 1392s| 8300 | 4864 | 8351k|1004.2 | 60M| 37 | 579 |2271 |2431 |2271 |2272 | 836k|6137 |5026 | 1.453191e+01 | 2.100000e+01 | 44.51%
1402.06/1402.34 c 1402s| 8400 | 4909 | 8416k|1000.0 | 61M| 37 | 696 |2271 |2428 |2271 |2573 | 843k|6142 |5062 | 1.453846e+01 | 2.100000e+01 | 44.44%
1412.86/1413.10 c 1413s| 8500 | 4959 | 8482k| 996.1 | 61M| 37 | - |2271 |2429 |2271 |2477 | 850k|6148 |5084 | 1.454167e+01 | 2.100000e+01 | 44.41%
1422.86/1423.17 c 1423s| 8600 | 4994 | 8542k| 991.4 | 61M| 37 | - |2271 |2422 |2271 |2636 | 856k|6150 |5100 | 1.454451e+01 | 2.100000e+01 | 44.38%
1433.65/1433.97 c 1434s| 8700 | 5040 | 8611k| 987.9 | 62M| 37 | - |2271 |2423 |2271 |2158 | 862k|6157 |5123 | 1.455000e+01 | 2.100000e+01 | 44.33%
1446.05/1446.30 c 1446s| 8800 | 5080 | 8694k| 986.1 | 62M| 37 | 676 |2271 |2423 |2271 |2536 | 870k|6167 |5127 | 1.455508e+01 | 2.100000e+01 | 44.28%
1458.55/1458.84 c 1459s| 8900 | 5138 | 8778k| 984.5 | 62M| 37 | 619 |2271 |2418 |2271 |2185 | 878k|6172 |5132 | 1.456667e+01 | 2.100000e+01 | 44.16%
1467.25/1467.58 c 1468s| 9000 | 5165 | 8834k| 979.8 | 63M| 37 | - |2271 |2431 | 0 | 0 | 884k|6191 |5149 | 1.456707e+01 | 2.100000e+01 | 44.16%
1478.25/1478.60 c 1479s| 9100 | 5201 | 8900k| 976.3 | 63M| 37 | - |2271 |2423 |2271 |2009 | 890k|6192 |5199 | 1.456871e+01 | 2.100000e+01 | 44.14%
1489.64/1489.96 c 1490s| 9200 | 5249 | 8968k| 973.1 | 63M| 37 | 649 |2271 |2424 |2271 |2401 | 896k|6200 |5237 | 1.457432e+01 | 2.100000e+01 | 44.09%
1501.24/1501.51 c 1502s| 9300 | 5287 | 9035k| 969.8 | 64M| 37 | - |2271 |2430 |2271 |2208 | 903k|6213 |5291 | 1.458219e+01 | 2.100000e+01 | 44.01%
1514.34/1514.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1514.34/1514.61 c 1515s| 9400 | 5333 | 9113k| 967.8 | 64M| 37 | 409 |2271 |2427 |2271 |2639 | 910k|6216 |5370 | 1.458696e+01 | 2.100000e+01 | 43.96%
1527.94/1528.20 c 1528s| 9500 | 5381 | 9198k| 966.6 | 64M| 37 | - |2271 |2441 |2271 |2255 | 918k|6239 |5412 | 1.459224e+01 | 2.100000e+01 | 43.91%
1537.54/1537.85 c 1538s| 9600 | 5413 | 9257k| 962.6 | 64M| 37 | - |2271 |2437 |2271 |2508 | 923k|6255 |5436 | 1.460000e+01 | 2.100000e+01 | 43.84%
1547.04/1547.30 c 1547s| 9700 | 5444 | 9319k| 959.1 | 65M| 37 | 361 |2271 |2420 |2271 |2079 | 930k|6260 |5449 | 1.460000e+01 | 2.100000e+01 | 43.84%
1556.53/1556.80 c 1557s| 9800 | 5464 | 9378k| 955.3 | 65M| 37 | 561 |2271 |2412 |2271 |2256 | 936k|6261 |5466 | 1.460000e+01 | 2.100000e+01 | 43.84%
1567.63/1567.96 c 1568s| 9900 | 5498 | 9448k| 952.8 | 65M| 37 | 453 |2271 |2407 |2271 |2262 | 943k|6262 |5484 | 1.460526e+01 | 2.100000e+01 | 43.78%
1577.13/1577.45 c 1577s| 10000 | 5531 | 9509k| 949.3 | 65M| 37 | - |2271 |2407 |2271 |2369 | 948k|6274 |5493 | 1.460802e+01 | 2.100000e+01 | 43.76%
1586.72/1587.01 c 1587s| 10100 | 5565 | 9573k| 946.3 | 66M| 37 | 375 |2271 |2395 |2271 |2424 | 954k|6276 |5497 | 1.462088e+01 | 2.100000e+01 | 43.63%
1596.12/1596.49 c 1596s| 10200 | 5597 | 9634k| 942.9 | 66M| 37 | - |2271 |2394 |2271 |2180 | 960k|6282 |5508 | 1.462162e+01 | 2.100000e+01 | 43.62%
1605.52/1605.88 c 1606s| 10300 | 5631 | 9690k| 939.2 | 66M| 37 | 454 |2271 |2397 |2271 |2314 | 965k|6288 |5539 | 1.462500e+01 | 2.100000e+01 | 43.59%
1615.73/1616.06 c 1616s| 10400 | 5647 | 9747k| 935.7 | 67M| 37 | 477 |2271 |2408 |2271 |2783 | 970k|6304 |5586 | 1.462500e+01 | 2.100000e+01 | 43.59%
1626.62/1626.96 c 1627s| 10500 | 5697 | 9814k| 933.1 | 67M| 37 | - |2271 |2416 |2271 |2401 | 975k|6323 |5612 | 1.463636e+01 | 2.100000e+01 | 43.48%
1636.32/1636.66 c 1637s| 10600 | 5728 | 9871k| 929.7 | 67M| 37 | 348 |2271 |2412 |2271 |2235 | 981k|6337 |5659 | 1.464130e+01 | 2.100000e+01 | 43.43%
1646.82/1647.11 c 1647s| 10700 | 5778 | 9931k| 926.7 | 67M| 37 | 589 |2271 |2401 |2271 |2604 | 987k|6339 |5715 | 1.464286e+01 | 2.100000e+01 | 43.41%
1657.53/1657.89 c 1658s| 10800 | 5816 | 9996k| 924.1 | 68M| 37 | 423 |2271 |2394 |2271 |2375 | 992k|6345 |5779 | 1.464447e+01 | 2.100000e+01 | 43.40%
1668.82/1669.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1668.82/1669.14 c 1669s| 10900 | 5846 | 10065k| 922.0 | 68M| 37 | - |2271 |2384 |2271 |2341 |1000k|6347 |5825 | 1.464543e+01 | 2.100000e+01 | 43.39%
1679.01/1679.31 c 1679s| 11000 | 5878 | 10126k| 919.1 | 68M| 37 | 599 |2271 |2383 |2271 |2504 |1006k|6350 |5857 | 1.464543e+01 | 2.100000e+01 | 43.39%
1688.11/1688.43 c 1688s| 11100 | 5897 | 10185k| 916.1 | 68M| 37 | - |2271 |2382 |2271 |2129 |1011k|6355 |5867 | 1.464860e+01 | 2.100000e+01 | 43.36%
1698.22/1698.50 c 1699s| 11200 | 5931 | 10249k| 913.7 | 69M| 37 | 449 |2271 |2387 |2271 |2325 |1017k|6366 |5880 | 1.464860e+01 | 2.100000e+01 | 43.36%
1708.71/1709.00 c 1709s| 11300 | 5961 | 10317k| 911.6 | 69M| 37 | - |2271 |2386 |2271 |2360 |1024k|6369 |5893 | 1.465767e+01 | 2.100000e+01 | 43.27%
1720.21/1720.55 c 1721s| 11400 | 6003 | 10392k| 910.2 | 69M| 37 | 590 |2271 |2379 |2271 |2087 |1031k|6371 |5905 | 1.466667e+01 | 2.100000e+01 | 43.18%
1731.91/1732.29 c 1732s| 11500 | 6035 | 10467k| 908.8 | 69M| 37 | 375 |2271 |2386 |2271 |2184 |1037k|6383 |5907 | 1.466667e+01 | 2.100000e+01 | 43.18%
1743.60/1743.95 c 1744s| 11600 | 6087 | 10544k| 907.6 | 70M| 37 | 456 |2271 |2383 |2271 |2270 |1043k|6385 |5908 | 1.466667e+01 | 2.100000e+01 | 43.18%
1751.80/1752.16 c 1752s| 11700 | 6097 | 10594k| 904.1 | 70M| 37 | 400 |2271 |2389 |2271 |2165 |1048k|6393 |5927 | 1.466667e+01 | 2.100000e+01 | 43.18%
1761.90/1762.24 c 1762s| 11800 | 6121 | 10651k| 901.3 | 70M| 37 | 423 |2271 |2402 |2271 |2472 |1054k|6414 |5964 | 1.466667e+01 | 2.100000e+01 | 43.18%
1763.80/1764.18 o 17
1763.80/1764.18 c *1764s| 11816 | 1050 | 10662k| 901.0 | 44M| 37 | - |2271 |2402 |2271 |2440 |1055k|6414 |5973 | 1.466667e+01 | 1.700000e+01 | 15.91%
1768.80/1769.11 c 1769s| 11900 | 1036 | 10689k| 896.9 | 44M| 37 | 441 |2271 |2394 |2271 |2100 |1058k|6418 |5998 | 1.467514e+01 | 1.700000e+01 | 15.84%
1774.90/1775.27 c 1775s| 12000 | 1030 | 10726k| 892.5 | 44M| 37 | - |2271 |2384 |2271 |2477 |1061k|6424 |6017 | 1.469960e+01 | 1.700000e+01 | 15.65%
1780.00/1780.33 c 1780s| 12100 | 1010 | 10756k| 887.6 | 44M| 37 | - |2271 |2375 |2271 |1925 |1065k|6425 |6045 | 1.470904e+01 | 1.700000e+01 | 15.58%
1784.50/1784.88 c 1785s| 12200 | 988 | 10780k| 882.3 | 44M| 37 | 674 |2271 |2374 |2271 |2167 |1068k|6432 |6090 | 1.472222e+01 | 1.700000e+01 | 15.47%
1789.51/1789.82 o 15
1789.51/1789.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1789.51/1789.82 c *1790s| 12279 | 0 | 10808k| 878.9 | 36M| 37 | - |2271 |2368 |2271 |2335 |1070k|6432 |6122 | 1.500000e+01 | 1.500000e+01 | 0.00%
1789.51/1789.83 c
1789.51/1789.83 c SCIP Status : problem is solved [optimal solution found]
1789.51/1789.83 c Solving Time (sec) : 1789.83
1789.51/1789.83 c Solving Nodes : 12279
1789.51/1789.83 c Primal Bound : +1.50000000000000e+01 (6 solutions)
1789.51/1789.83 c Dual Bound : +1.50000000000000e+01
1789.51/1789.83 c Gap : 0.00 %
1789.51/1789.83 s OPTIMUM FOUND
1789.51/1789.83 v -x584 -x583 x582 x581 x580 -x579 x578 -x577 -x576 x575 x574 -x573 x572 -x571 -x570 x569 x568 -x567 -x566 -x565 x564 x563 -x562
1789.51/1789.83 v -x561 x560 -x559 -x558 -x557 -x556 x555 x554 x553 x552 -x551 x550 -x549 -x548 x547 -x546 x545 x544 x543 x542 x541 -x540 x539
1789.51/1789.83 v -x538 -x537 -x536 -x535 -x534 -x533 x532 -x531 x530 -x529 -x528 -x527 x526 -x525 x524 x523 x522 x521 x520 -x519 x518 x517 x516
1789.51/1789.83 v -x515 -x514 x513 x512 -x511 -x510 -x509 -x508 x507 -x506 -x505 -x504 x503 x502 -x501 x500 -x499 -x498 x497 x496 x495 -x494
1789.51/1789.83 v -x493 -x492 -x491 x490 -x489 -x488 x487 -x486 x485 -x484 x483 -x482 -x481 -x480 -x479 x478 -x477 x476 -x475 -x474 -x473 -x472
1789.51/1789.83 v x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 x462 -x461 -x460 x459 -x458 x457 -x456 x455 x454 x453 x452 -x451 x450 -x449
1789.51/1789.83 v x448 x447 -x446 -x445 -x444 x443 x442 -x441 x440 x439 -x438 x437 -x436 -x435 -x434 x433 x432 -x431 x430 x429 x428 x427 x426
1789.51/1789.83 v -x425 -x424 x423 x422 -x421 -x420 -x419 -x418 x417 -x416 -x415 x414 x413 -x412 x411 x410 -x409 -x408 -x407 -x406 -x405 x404
1789.51/1789.83 v -x403 x402 x401 -x400 -x399 x398 x397 x396 x395 -x394 -x393 -x392 -x391 x390 x389 x388 x387 x386 -x385 -x384 x383 x382 -x381
1789.51/1789.83 v x380 -x379 -x378 x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 -x369 x368 x367 -x366 x365 x364 x363 -x362 x361 x360 -x359 x358
1789.51/1789.83 v -x357 x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 x347 x346 x345 x344 -x343 x342 -x341 -x340 -x339 x338 x337 x336
1789.51/1789.83 v -x335 x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 x326 -x325 -x324 x323 x322 x321 -x320 x319 -x318 -x317 -x316 x315 x314 x313
1789.51/1789.83 v x312 x311 -x310 x309 -x308 x307 -x306 x305 x304 x303 x302 -x301 x300 x299 x298 x297 x296 x295 x294 x293 x292 x291 -x290 x289
1789.51/1789.83 v -x288 x287 x286 -x285 -x284 x283 -x282 -x281 x280 -x279 -x278 -x277 x276 -x275 x274 -x273 x272 -x271 -x270 -x269 x268 x267
1789.51/1789.83 v x266 x264 -x265 x263 x262 x261 -x258 -x259 -x260 -x257 x256 x255 -x251 -x252 -x253 -x254 -x250 -x249 x248 -x247 -x243 x244
1789.51/1789.83 v -x245 -x246 x242 -x241 -x240 x239 x235 x236 -x237 -x238 x234 -x233 x232 -x231 x227 -x228 -x229 -x230 -x226 x225 x223 -x224 -x222
1789.51/1789.83 v -x217 x218 -x219 x220 x221 -x216 -x215 x214 -x213 x212 x211 -x210 -x209 -x208 x207 -x206 -x205 x204 x203 x202 -x201 x200
1789.51/1789.83 v x199 x198 x197 -x196 x195 x194 x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177
1789.51/1789.83 v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156
1789.51/1789.83 v -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135
1789.51/1789.83 v -x134 -x133 x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 x117 x116 -x115 -x114
1789.51/1789.83 v -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91
1789.51/1789.83 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
1789.51/1789.83 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
1789.51/1789.83 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
1789.51/1789.83 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1789.51/1789.83 c SCIP Status : problem is solved [optimal solution found]
1789.51/1789.83 c Total Time : 1789.83
1789.51/1789.83 c solving : 1789.83
1789.51/1789.83 c presolving : 1.00 (included in solving)
1789.51/1789.83 c reading : 0.01 (included in solving)
1789.51/1789.83 c copying : 0.09 (8 #copies) (minimal 0.01, maximal 0.02, average 0.01)
1789.51/1789.83 c Original Problem :
1789.51/1789.83 c Problem name : HOME/instance-3691524-1338022602.opb
1789.51/1789.83 c Variables : 584 (584 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.51/1789.83 c Constraints : 427 initial, 427 maximal
1789.51/1789.83 c Objective sense : minimize
1789.51/1789.83 c Presolved Problem :
1789.51/1789.83 c Problem name : t_HOME/instance-3691524-1338022602.opb
1789.51/1789.83 c Variables : 2271 (2271 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.51/1789.83 c Constraints : 2190 initial, 5224 maximal
1789.51/1789.83 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1789.51/1789.83 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1789.51/1789.83 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1789.51/1789.83 c dualfix : 0.00 0.00 1 0 0 0 0 0 0 0 0
1789.51/1789.83 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1789.51/1789.83 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1789.51/1789.83 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1789.51/1789.83 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1789.51/1789.83 c implics : 0.00 0.00 0 2 0 0 0 0 0 0 0
1789.51/1789.83 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1789.51/1789.83 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1789.51/1789.83 c probing : 0.01 0.00 0 0 0 0 0 0 0 0 0
1789.51/1789.83 c setppc : 0.00 0.00 1 1 0 0 0 1 0 0 0
1789.51/1789.83 c and : 0.94 0.00 473 9 0 0 0 9 0 0 213
1789.51/1789.83 c linear : 0.02 0.00 221 11 0 194 0 93 0 0 0
1789.51/1789.83 c logicor : 0.00 0.00 0 0 0 0 0 8 0 0 0
1789.51/1789.83 c root node : - - 18 - - 18 - - - - -
1789.51/1789.83 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1789.51/1789.83 c integral : 0 0 0 0 10460 0 366 0 23 505 0 0 20090
1789.51/1789.83 c setppc : 243 243 6 161011 89 0 363 9562 91 88312 0 0 0
1789.51/1789.83 c and : 1769 1769 48788 160920 89 0 360 48383 182 472915 1100974 0 0
1789.51/1789.83 c linear : 90+ 1433 7 160738 26 0 2 2024 52 13065 16 0 0
1789.51/1789.83 c logicor : 88+ 1877 6 50933 26 0 2 3804 95 15653 59 0 0
1789.51/1789.83 c countsols : 0 0 0 0 5 0 3 0 0 0 0 0 0
1789.51/1789.83 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1789.51/1789.83 c integral : 165.22 0.00 0.00 0.00 165.21 0.00 0.00 0.00
1789.51/1789.83 c setppc : 2.48 0.00 0.00 2.46 0.00 0.00 0.00 0.01
1789.51/1789.83 c and : 50.21 0.00 42.78 7.35 0.02 0.00 0.01 0.05
1789.51/1789.83 c linear : 1.43 0.00 0.02 1.40 0.00 0.00 0.00 0.00
1789.51/1789.83 c logicor : 1.05 0.00 0.00 1.04 0.00 0.00 0.00 0.01
1789.51/1789.83 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1789.51/1789.83 c Propagators : #Propagate #ResProp Cutoffs DomReds
1789.51/1789.83 c rootredcost : 5 0 0 0
1789.51/1789.83 c pseudoobj : 171300 0 0 0
1789.51/1789.83 c vbounds : 0 0 0 0
1789.51/1789.83 c redcost : 66135 0 0 210957
1789.51/1789.83 c probing : 0 0 0 0
1789.51/1789.83 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1789.51/1789.83 c rootredcost : 0.15 0.00 0.00 0.15 0.00
1789.51/1789.83 c pseudoobj : 0.30 0.00 0.00 0.30 0.00
1789.51/1789.83 c vbounds : 0.14 0.00 0.00 0.14 0.00
1789.51/1789.83 c redcost : 4.13 0.00 0.00 4.13 0.00
1789.51/1789.83 c probing : 0.01 0.00 0.01 0.00 0.00
1789.51/1789.83 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.51/1789.83 c propagation : 0.04 420 407 1570 28.0 120 11.0 -
1789.51/1789.83 c infeasible LP : 0.55 1221 1218 9594 49.9 165 10.2 0
1789.51/1789.83 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.51/1789.83 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.51/1789.83 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.51/1789.83 c applied globally : - - - 6432 39.8 - - -
1789.51/1789.83 c applied locally : - - - 0 0.0 - - -
1789.51/1789.83 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1789.51/1789.83 c cut pool : 0.01 5 - - 69 - (maximal pool size: 4008)
1789.51/1789.83 c closecuts : 0.00 0.00 0 0 0 0 0
1789.51/1789.83 c impliedbounds : 0.01 0.00 6 0 0 3641 0
1789.51/1789.83 c intobj : 0.00 0.00 0 0 0 0 0
1789.51/1789.83 c gomory : 0.12 0.00 6 0 0 300 0
1789.51/1789.83 c cgmip : 0.00 0.00 0 0 0 0 0
1789.51/1789.83 c strongcg : 0.77 0.00 6 0 0 3000 0
1789.51/1789.83 c cmir : 0.24 0.00 6 0 0 323 0
1789.51/1789.83 c flowcover : 0.28 0.00 6 0 0 700 0
1789.51/1789.83 c clique : 0.22 0.00 6 0 0 51 0
1789.51/1789.83 c zerohalf : 0.00 0.00 0 0 0 0 0
1789.51/1789.83 c mcf : 0.00 0.00 1 0 0 0 0
1789.51/1789.83 c oddcycle : 0.00 0.00 0 0 0 0 0
1789.51/1789.83 c rapidlearning : 2.19 0.00 1 0 0 0 1343
1789.51/1789.83 c Pricers : ExecTime SetupTime Calls Vars
1789.51/1789.83 c problem variables: 0.00 - 0 0
1789.51/1789.83 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1789.51/1789.83 c relpscost : 165.17 0.00 10371 23 505 0 0 20090
1789.51/1789.83 c pscost : 0.00 0.00 0 0 0 0 0 0
1789.51/1789.83 c inference : 0.00 0.00 0 0 0 0 0 0
1789.51/1789.83 c mostinf : 0.00 0.00 0 0 0 0 0 0
1789.51/1789.83 c leastinf : 0.00 0.00 0 0 0 0 0 0
1789.51/1789.83 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1789.51/1789.83 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1789.51/1789.83 c random : 0.00 0.00 0 0 0 0 0 0
1789.51/1789.83 c Primal Heuristics : ExecTime SetupTime Calls Found
1789.51/1789.83 c LP solutions : 0.04 - - 5
1789.51/1789.83 c pseudo solutions : 0.00 - - 0
1789.51/1789.83 c oneopt : 0.05 0.00 5 0
1789.51/1789.83 c guideddiving : 67.66 0.00 240 0
1789.51/1789.83 c fracdiving : 80.02 0.00 240 0
1789.51/1789.83 c linesearchdiving : 49.68 0.00 240 0
1789.51/1789.83 c coefdiving : 58.85 0.00 240 0
1789.51/1789.83 c pscostdiving : 69.34 0.00 240 0
1789.51/1789.83 c veclendiving : 47.46 0.00 241 0
1789.51/1789.83 c smallcard : 0.00 0.00 0 0
1789.51/1789.83 c trivial : 0.00 0.00 2 0
1789.51/1789.83 c shiftandpropagate: 0.03 0.00 1 0
1789.51/1789.83 c simplerounding : 0.07 0.00 0 0
1789.51/1789.83 c zirounding : 1.47 0.00 0 0
1789.51/1789.83 c rounding : 1.08 0.00 3307 0
1789.51/1789.83 c shifting : 3.10 0.00 866 0
1789.51/1789.83 c intshifting : 0.00 0.00 0 0
1789.51/1789.83 c twoopt : 0.00 0.00 0 0
1789.51/1789.83 c indtwoopt : 0.00 0.00 0 0
1789.51/1789.83 c indoneopt : 0.08 0.00 0 0
1789.51/1789.83 c fixandinfer : 0.00 0.00 0 0
1789.51/1789.83 c feaspump : 15.84 0.00 18 0
1789.51/1789.83 c clique : 0.00 0.00 0 0
1789.51/1789.83 c indcoefdiving : 0.00 0.00 0 0
1789.51/1789.83 c indrounding : 0.00 0.00 0 0
1789.51/1789.83 c nlpdiving : 0.00 0.00 0 0
1789.51/1789.83 c intdiving : 0.00 0.00 0 0
1789.51/1789.83 c actconsdiving : 0.00 0.00 0 0
1789.51/1789.83 c objpscostdiving : 25.10 0.00 12 0
1789.51/1789.83 c rootsoldiving : 14.76 0.00 25 0
1789.51/1789.83 c octane : 0.00 0.00 0 0
1789.51/1789.83 c rens : 0.08 0.00 1 0
1789.51/1789.83 c rins : 0.00 0.00 0 0
1789.51/1789.83 c localbranching : 0.00 0.00 0 0
1789.51/1789.83 c mutation : 0.00 0.00 0 0
1789.51/1789.83 c crossover : 0.21 0.00 4 1
1789.51/1789.83 c dins : 0.00 0.00 0 0
1789.51/1789.83 c vbounds : 0.00 0.00 0 0
1789.51/1789.83 c undercover : 6.99 0.00 1 0
1789.51/1789.83 c subnlp : 0.01 0.00 0 0
1789.51/1789.83 c trysol : 0.07 0.00 0 0
1789.51/1789.83 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1789.51/1789.83 c primal LP : 12.15 9793 0 0.00 0.00 12.13 9793
1789.51/1789.83 c dual LP : 1059.33 68337 8213616 140.27 7753.61 6.94 9781
1789.51/1789.83 c lex dual LP : 0.00 0 0 0.00 -
1789.51/1789.83 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1789.51/1789.83 c diving/probing LP: 385.55 77847 2594503 33.33 6729.28
1789.51/1789.83 c strong branching : 164.25 6122 1152249 188.21 7015.24
1789.51/1789.83 c (at root node) : - 36 30075 835.42 -
1789.51/1789.83 c conflict analysis: 0.00 0 0 0.00 -
1789.51/1789.83 c B&B Tree :
1789.51/1789.83 c number of runs : 1
1789.51/1789.83 c nodes : 12279
1789.51/1789.83 c nodes (total) : 12279
1789.51/1789.83 c nodes left : 0
1789.51/1789.83 c max depth : 37
1789.51/1789.83 c max depth (total): 37
1789.51/1789.83 c backtracks : 3192 (26.0%)
1789.51/1789.83 c delayed cutoffs : 35
1789.51/1789.83 c repropagations : 5570 (23697 domain reductions, 21 cutoffs)
1789.51/1789.83 c avg switch length: 8.20
1789.51/1789.83 c switching time : 23.52
1789.51/1789.83 c Solution :
1789.51/1789.83 c Solutions found : 6 (6 improvements)
1789.51/1789.83 c First Solution : +2.59999999986658e+01 (in run 1, after 3498 nodes, 644.57 seconds, depth 28, found by <relaxation>)
1789.51/1789.83 c Primal Bound : +1.50000000000000e+01 (in run 1, after 12279 nodes, 1789.82 seconds, depth 19, found by <relaxation>)
1789.51/1789.83 c Dual Bound : +1.50000000000000e+01
1789.51/1789.83 c Gap : 0.00 %
1789.51/1789.83 c Root Dual Bound : +1.30000000000000e+01
1789.51/1789.83 c Root Iterations : 17302
1789.51/1789.86 c Time complete: 1789.56.
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-3691524-1338022602/watcher-3691524-1338022602 -o /tmp/evaluation-result-3691524-1338022602/solver-3691524-1338022602 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691524-1338022602.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.16 2.05 2.01 3/178 30622
/proc/meminfo: memFree=28741980/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=10280 CPUtime=0 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 1341 0 0 0 0 0 0 0 20 0 1 0 268385577 10526720 1296 33554432000 4194304 10173063 140733364705136 140735533511752 8985008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 2570 1296 417 1460 0 1101 0
[startup+0.021406 s]
/proc/loadavg: 2.16 2.05 2.01 3/178 30622
/proc/meminfo: memFree=28741980/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=20220 CPUtime=0.01 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 3573 0 0 0 1 0 0 0 20 0 1 0 268385577 20705280 3528 33554432000 4194304 10173063 140733364705136 140735533511752 8886411 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 5055 3533 525 1460 0 3586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 20220
[startup+0.100307 s]
/proc/loadavg: 2.16 2.05 2.01 3/178 30622
/proc/meminfo: memFree=28741980/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=37316 CPUtime=0.09 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 7843 0 0 0 8 1 0 0 20 0 1 0 268385577 38211584 7798 33554432000 4194304 10173063 140733364705136 140735533511752 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 9329 7798 551 1460 0 7860 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37316
[startup+0.300278 s]
/proc/loadavg: 2.16 2.05 2.01 3/178 30622
/proc/meminfo: memFree=28741980/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=43200 CPUtime=0.28 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 9591 0 0 0 14 14 0 0 20 0 1 0 268385577 44236800 9289 33554432000 4194304 10173063 140733364705136 140735533511752 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 10800 9289 569 1460 0 9331 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 43200
[startup+0.700215 s]
/proc/loadavg: 2.16 2.05 2.01 3/178 30622
/proc/meminfo: memFree=28741980/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=45396 CPUtime=0.68 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 10131 0 0 0 23 45 0 0 20 0 1 0 268385577 46485504 9829 33554432000 4194304 10173063 140733364705136 140735533511752 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 11349 9829 591 1460 0 9880 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 45396
[startup+1.50022 s]
/proc/loadavg: 2.31 2.08 2.02 3/179 30623
/proc/meminfo: memFree=28686800/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=64436 CPUtime=1.48 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 15746 0 0 0 76 72 0 0 20 0 1 0 268385577 65982464 14923 33554432000 4194304 10173063 140733364705136 140733364702392 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 16109 14923 793 1460 0 14640 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 64436
[startup+3.10021 s]
/proc/loadavg: 2.31 2.08 2.02 3/179 30623
/proc/meminfo: memFree=28684452/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=87040 CPUtime=3.09 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 21168 0 0 0 235 74 0 0 20 0 1 0 268385577 89128960 20239 33554432000 4194304 10173063 140733364705136 140733364694888 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 21760 20239 815 1460 0 20291 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87040
[startup+6.30024 s]
/proc/loadavg: 2.31 2.08 2.02 3/179 30623
/proc/meminfo: memFree=28651972/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=103132 CPUtime=6.28 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 25441 0 0 0 551 77 0 0 20 0 1 0 268385577 105607168 24201 33554432000 4194304 10173063 140733364705136 140733364696168 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 25783 24201 837 1460 0 24314 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 103132
[startup+12.7002 s]
/proc/loadavg: 2.26 2.08 2.02 3/179 30623
/proc/meminfo: memFree=28640456/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=108152 CPUtime=12.68 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 30189 0 0 0 1120 148 0 0 20 0 1 0 268385577 110747648 25988 33554432000 4194304 10173063 140733364705136 140733364699048 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 27038 25988 879 1460 0 25569 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 108152
[startup+25.507 s]
/proc/loadavg: 2.22 2.08 2.02 3/179 30623
/proc/meminfo: memFree=28628676/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=111960 CPUtime=25.49 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 33386 0 0 0 2390 159 0 0 20 0 1 0 268385577 114647040 27003 33554432000 4194304 10173063 140733364705136 140733364698584 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 27990 27003 883 1460 0 26521 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 111960
[startup+51.1002 s]
/proc/loadavg: 2.21 2.09 2.02 3/179 30623
/proc/meminfo: memFree=28628380/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=111960 CPUtime=51.07 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 33400 0 0 0 4925 182 0 0 20 0 1 0 268385577 114647040 27086 33554432000 4194304 10173063 140733364705136 140733364698312 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 27990 27086 885 1460 0 26521 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 111960
[startup+102.3 s]
/proc/loadavg: 2.08 2.07 2.02 3/179 30623
/proc/meminfo: memFree=28623740/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=111960 CPUtime=102.26 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 33410 0 0 0 10000 226 0 0 20 0 1 0 268385577 114647040 27369 33554432000 4194304 10173063 140733364705136 140733364698632 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 27990 27369 885 1460 0 26521 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 111960
[startup+162.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/179 30623
/proc/meminfo: memFree=28601584/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=111960 CPUtime=162.25 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 33411 0 0 0 15940 285 0 0 20 0 1 0 268385577 114647040 27370 33554432000 4194304 10173063 140733364705136 140733364698104 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 27990 27370 885 1460 0 26521 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 111960
[startup+222.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/179 30626
/proc/meminfo: memFree=28575232/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=111960 CPUtime=222.25 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 33412 0 0 0 21879 346 0 0 20 0 1 0 268385577 114647040 27371 33554432000 4194304 10173063 140733364705136 140733364698072 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 27990 27371 885 1460 0 26521 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 111960
[startup+282.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/180 30650
/proc/meminfo: memFree=28570880/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=111960 CPUtime=282.23 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 33412 0 0 0 27806 417 0 0 20 0 1 0 268385577 114647040 27371 33554432000 4194304 10173063 140733364705136 140733364698488 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 27990 27371 885 1460 0 26521 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 111960
[startup+342.307 s]
/proc/loadavg: 2.13 2.07 2.01 3/179 30650
/proc/meminfo: memFree=28570856/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=111960 CPUtime=342.23 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 33412 0 0 0 33746 477 0 0 20 0 1 0 268385577 114647040 27371 33554432000 4194304 10173063 140733364705136 140733364698488 6113387 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 27990 27371 885 1460 0 26521 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 111960
[startup+402.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/179 30650
/proc/meminfo: memFree=28575260/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=111960 CPUtime=402.21 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 33413 0 0 0 39686 535 0 0 20 0 1 0 268385577 114647040 27372 33554432000 4194304 10173063 140733364705136 140733364698488 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 27990 27372 885 1460 0 26521 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 111960
[startup+462.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/179 30650
/proc/meminfo: memFree=28570052/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=111960 CPUtime=462.2 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 33414 0 0 0 45629 591 0 0 20 0 1 0 268385577 114647040 27373 33554432000 4194304 10173063 140733364705136 140733364698120 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 27990 27373 885 1460 0 26521 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 111960
[startup+522.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/179 30650
/proc/meminfo: memFree=28568432/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=111960 CPUtime=522.2 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 33414 0 0 0 51569 651 0 0 20 0 1 0 268385577 114647040 27373 33554432000 4194304 10173063 140733364705136 140733364698488 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 27990 27373 885 1460 0 26521 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 111960
[startup+582.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 30651
/proc/meminfo: memFree=28575568/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=111960 CPUtime=582.18 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 33414 0 0 0 57510 708 0 0 20 0 1 0 268385577 114647040 27373 33554432000 4194304 10173063 140733364705136 140733364698264 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 27990 27373 885 1460 0 26521 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 111960
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28557444/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=121680 CPUtime=1062.11 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 35814 0 0 0 105023 1188 0 0 20 0 1 0 268385577 124600320 29770 33554432000 4194304 10173063 140733364705136 140733364698440 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 30420 29770 886 1460 0 28951 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 121680
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 30655
/proc/meminfo: memFree=28559180/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=122796 CPUtime=1122.1 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 36085 0 0 0 110951 1259 0 0 20 0 1 0 268385577 125743104 30041 33554432000 4194304 10173063 140733364705136 140733364698392 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 30699 30041 886 1460 0 29230 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 122796
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 30656
/proc/meminfo: memFree=28556140/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=124688 CPUtime=1182.1 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 36577 0 0 0 116891 1319 0 0 20 0 1 0 268385577 127680512 30533 33554432000 4194304 10173063 140733364705136 140733364698392 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 31172 30533 886 1460 0 29703 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 124688
[startup+1242.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 30656
/proc/meminfo: memFree=28549256/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=125728 CPUtime=1242.09 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 44167 0 0 0 122821 1388 0 0 20 0 1 0 268385577 128745472 30806 33554432000 4194304 10173063 140733364705136 140733364697576 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 31432 30806 887 1460 0 29963 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 125728
[startup+1302.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 30656
/proc/meminfo: memFree=28548380/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=126168 CPUtime=1302.08 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 44259 0 0 0 128756 1452 0 0 20 0 1 0 268385577 129196032 30898 33554432000 4194304 10173063 140733364705136 140733364698440 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 31542 30898 887 1460 0 30073 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 126168
[startup+1362.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/179 30656
/proc/meminfo: memFree=28553284/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=127524 CPUtime=1362.07 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 44614 0 0 0 134687 1520 0 0 20 0 1 0 268385577 130584576 31253 33554432000 4194304 10173063 140733364705136 140733364697656 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 31881 31253 887 1460 0 30412 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 127524
[startup+1422.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/180 30659
/proc/meminfo: memFree=28546388/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=128920 CPUtime=1422.06 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 44981 0 0 0 140626 1580 0 0 20 0 1 0 268385577 132014080 31618 33554432000 4194304 10173063 140733364705136 140733364698776 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 32230 31618 887 1460 0 30761 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 128920
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 30660
/proc/meminfo: memFree=28546952/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=129996 CPUtime=1482.05 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 46549 0 0 0 146567 1638 0 0 20 0 1 0 268385577 133115904 31832 33554432000 4194304 10173063 140733364705136 140733364698680 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 32499 31832 887 1460 0 31030 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 129996
[startup+1542.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 30660
/proc/meminfo: memFree=28544100/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=132032 CPUtime=1542.05 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 47091 0 0 0 152497 1708 0 0 20 0 1 0 268385577 135200768 32374 33554432000 4194304 10173063 140733364705136 140733364698776 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 33008 32374 887 1460 0 31539 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 132032
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 30660
/proc/meminfo: memFree=28543104/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=134084 CPUtime=1602.03 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 51199 0 0 0 158432 1771 0 0 20 0 1 0 268385577 137302016 32847 33554432000 4194304 10173063 140733364705136 140733364698488 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 33521 32847 887 1460 0 32052 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 134084
[startup+1662.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 30660
/proc/meminfo: memFree=28543972/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=136176 CPUtime=1662.02 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 51757 0 0 0 164367 1835 0 0 20 0 1 0 268385577 139444224 33405 33554432000 4194304 10173063 140733364705136 140733364698120 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 34044 33405 887 1460 0 32575 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 136176
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 30660
/proc/meminfo: memFree=28540556/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=137860 CPUtime=1722.01 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 52175 0 0 0 170297 1904 0 0 20 0 1 0 268385577 141168640 33821 33554432000 4194304 10173063 140733364705136 140733364698392 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 34465 33821 887 1460 0 32996 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 137860
[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 30699
/proc/meminfo: memFree=26659632/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=139616 CPUtime=1781.99 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 56200 0 0 0 176231 1968 0 0 20 0 1 0 268385577 142966784 34260 33554432000 4194304 10173063 140733364705136 140733364698488 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 34904 34260 887 1460 0 33435 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 139616
Solver just ended. Dumping a history of the last processes samples
[startup+1785.7 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 30699
/proc/meminfo: memFree=26711616/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=139616 CPUtime=1785.4 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 56200 0 0 0 176568 1972 0 0 20 0 1 0 268385577 142966784 34260 33554432000 4194304 10173063 140733364705136 140733364698392 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 34904 34260 887 1460 0 33435 0
Current children cumulated CPU time (s) 1785.4
Current children cumulated vsize (KiB) 139616
[startup+1787.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 30699
/proc/meminfo: memFree=26660980/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=139616 CPUtime=1787 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 56200 0 0 0 176727 1973 0 0 20 0 1 0 268385577 142966784 34260 33554432000 4194304 10173063 140733364705136 140733364698488 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 34904 34260 887 1460 0 33435 0
Current children cumulated CPU time (s) 1787
Current children cumulated vsize (KiB) 139616
[startup+1788.9 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 30699
/proc/meminfo: memFree=26660964/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=139616 CPUtime=1788.6 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 56200 0 0 0 176886 1974 0 0 20 0 1 0 268385577 142966784 34260 33554432000 4194304 10173063 140733364705136 140733364698488 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 34904 34260 887 1460 0 33435 0
Current children cumulated CPU time (s) 1788.6
Current children cumulated vsize (KiB) 139616
[startup+1789.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 30699
/proc/meminfo: memFree=26660964/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=139616 CPUtime=1788.99 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 56200 0 0 0 176925 1974 0 0 20 0 1 0 268385577 142966784 34260 33554432000 4194304 10173063 140733364705136 140733364698488 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 34904 34260 887 1460 0 33435 0
Current children cumulated CPU time (s) 1788.99
Current children cumulated vsize (KiB) 139616
[startup+1789.7 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 30699
/proc/meminfo: memFree=26660964/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=139616 CPUtime=1789.4 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 56200 0 0 0 176965 1975 0 0 20 0 1 0 268385577 142966784 34260 33554432000 4194304 10173063 140733364705136 140733364698488 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 34904 34260 887 1460 0 33435 0
Current children cumulated CPU time (s) 1789.4
Current children cumulated vsize (KiB) 139616
[startup+1789.8 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 30699
/proc/meminfo: memFree=26660840/32873844 swapFree=7096/7096
[pid=30622] ppid=30620 vsize=139616 CPUtime=1789.51 cores=1,3,5,7
/proc/30622/stat : 30622 (scip-2.1.1.4fix) R 30620 30622 29822 0 -1 4202496 56200 0 0 0 176976 1975 0 0 20 0 1 0 268385577 142966784 34260 33554432000 4194304 10173063 140733364705136 140733364698488 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30622/statm: 34904 34260 887 1460 0 33435 0
Current children cumulated CPU time (s) 1789.51
Current children cumulated vsize (KiB) 139616
Child status: 0
Real time (s): 1789.87
CPU time (s): 1789.57
CPU user time (s): 1769.82
CPU system time (s): 19.757
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 141420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.81
system time used= 19.757
maximum resident set size= 150936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56204
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= 35
involuntary context switches= 1839
runsolver used 3.01654 second user time and 8.40572 second system time
The end