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-3692035-1338031468.opb>
0.00/0.02 c original problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 4476 constraints
0.00/0.02 c problem read in 0.02
0.00/0.03 c presolving:
0.00/0.07 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4476 upgd conss, 1260 impls, 210 clqs
0.09/0.11 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 3360 chg sides, 5040 chg coeffs, 4476 upgd conss, 1260 impls, 210 clqs
0.09/0.15 c (0.1s) probing: 51/540 (9.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.15 c presolving (3 rounds):
0.09/0.15 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 3360 changed sides, 5040 changed coefficients
0.09/0.15 c 1260 implications, 210 cliques
0.09/0.15 c presolved problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 4476 constraints
0.09/0.15 c 1734 constraints of type <knapsack>
0.09/0.15 c 840 constraints of type <setppc>
0.09/0.15 c 1902 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.13
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 2.1.1.4
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1797
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 13950
0.09/0.15 c
0.09/0.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.15 c # [type: int, range: [1,2], default: 1]
0.09/0.15 c timing/clocktype = 2
0.09/0.15 c
0.09/0.15 c # belongs reading time to solving time?
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c timing/reading = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.39/0.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.42 c 0.4s| 1 | 0 | 1575 | - | 10M| 0 | 245 | 540 |4516 | 540 |4476 | 0 | 40 | 0 | 4.800000e+01 | -- | Inf
5.39/5.42 o 70
5.39/5.42 c y 5.4s| 1 | 0 | 12565 | - | 13M| 0 | 245 | 540 |4516 | 540 |4476 | 0 | 40 | 0 | 4.800000e+01 | 7.000000e+01 | 45.83%
5.39/5.50 c 5.5s| 1 | 0 | 12792 | - | 12M| 0 | 256 | 540 |4999 | 540 |4486 | 10 | 40 | 0 | 4.800000e+01 | 7.000000e+01 | 45.83%
6.19/6.22 c 6.2s| 1 | 0 | 13081 | - | 14M| 0 | 264 | 540 |4999 | 540 |4496 | 20 | 40 | 0 | 4.800000e+01 | 7.000000e+01 | 45.83%
6.88/6.93 c 6.9s| 1 | 0 | 13243 | - | 16M| 0 | 269 | 540 |4999 | 540 |4505 | 29 | 40 | 0 | 4.800000e+01 | 7.000000e+01 | 45.83%
7.39/7.40 c 7.4s| 1 | 0 | 13466 | - | 19M| 0 | 269 | 540 |4999 | 540 |4515 | 39 | 40 | 0 | 4.800000e+01 | 7.000000e+01 | 45.83%
8.09/8.14 c 8.1s| 1 | 0 | 13585 | - | 21M| 0 | 276 | 540 |4999 | 540 |4524 | 48 | 40 | 0 | 4.800000e+01 | 7.000000e+01 | 45.83%
8.89/8.92 c 8.9s| 1 | 0 | 13774 | - | 24M| 0 | 270 | 540 |4999 | 540 |4534 | 58 | 40 | 0 | 4.800000e+01 | 7.000000e+01 | 45.83%
10.19/10.23 c 10.2s| 1 | 2 | 13774 | - | 24M| 0 | 270 | 540 |4999 | 540 |4534 | 58 | 40 | 11 | 4.800000e+01 | 7.000000e+01 | 45.83%
45.58/45.60 c 45.6s| 100 | 97 | 57977 | 446.5 | 24M| 26 | 233 | 540 |5026 | 540 |4513 | 58 | 67 | 286 | 4.800000e+01 | 7.000000e+01 | 45.83%
56.17/56.28 c 56.3s| 200 | 193 | 92893 | 397.6 | 24M| 28 | 225 | 540 |5058 | 540 |4513 | 58 | 99 | 342 | 4.800000e+01 | 7.000000e+01 | 45.83%
80.67/80.74 c 80.7s| 300 | 293 |182754 | 565.2 | 25M| 28 | 230 | 540 |5229 | 540 |4513 | 58 | 270 | 414 | 4.800000e+01 | 7.000000e+01 | 45.83%
96.67/96.77 c 96.8s| 400 | 387 |236024 | 557.0 | 25M| 28 | 221 | 540 |5274 | 540 |4513 | 58 | 342 | 510 | 4.800000e+01 | 7.000000e+01 | 45.83%
109.07/109.13 c 109s| 500 | 483 |282881 | 539.3 | 25M| 28 | 159 | 540 |5284 | 540 |4513 | 58 | 408 | 589 | 4.800000e+01 | 7.000000e+01 | 45.83%
117.67/117.75 c 118s| 600 | 579 |320058 | 511.3 | 25M| 28 | 235 | 540 |5247 | 540 |4513 | 58 | 453 | 605 | 4.800000e+01 | 7.000000e+01 | 45.83%
133.76/133.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.76/133.81 c 134s| 700 | 677 |379451 | 523.1 | 26M| 28 | - | 540 |5194 | 0 | 0 | 58 | 482 | 690 | 4.800000e+01 | 7.000000e+01 | 45.83%
143.35/143.41 c 143s| 800 | 775 |413672 | 500.5 | 26M| 28 | 186 | 540 |5146 | 540 |4513 | 58 | 513 | 752 | 4.800000e+01 | 7.000000e+01 | 45.83%
153.56/153.69 c 154s| 900 | 865 |448804 | 483.9 | 26M| 31 | 168 | 540 |5150 | 540 |4513 | 58 | 571 | 836 | 4.800000e+01 | 7.000000e+01 | 45.83%
162.15/162.28 c 162s| 1000 | 951 |478364 | 465.1 | 26M| 31 | 230 | 540 |5150 | 540 |4513 | 58 | 615 | 915 | 4.800000e+01 | 7.000000e+01 | 45.83%
173.55/173.65 c 174s| 1100 | 1045 |522855 | 463.2 | 27M| 31 | 203 | 540 |5151 | 540 |4513 | 58 | 653 | 957 | 4.800000e+01 | 7.000000e+01 | 45.83%
181.85/181.98 c 182s| 1200 | 1127 |561801 | 457.1 | 27M| 31 | 162 | 540 |5160 | 540 |4513 | 58 | 706 | 966 | 4.800000e+01 | 7.000000e+01 | 45.83%
194.75/194.85 c 195s| 1300 | 1219 |614911 | 462.8 | 27M| 31 | 230 | 540 |5157 | 540 |4513 | 58 | 749 |1006 | 4.800000e+01 | 7.000000e+01 | 45.83%
208.05/208.10 c 208s| 1400 | 1313 |659453 | 461.5 | 27M| 31 | 185 | 540 |5179 | 540 |4513 | 58 | 815 |1096 | 4.800000e+01 | 7.000000e+01 | 45.83%
220.24/220.37 c 220s| 1500 | 1405 |704785 | 461.0 | 28M| 32 | 138 | 540 |5168 | 540 |4513 | 58 | 845 |1166 | 4.800000e+01 | 7.000000e+01 | 45.83%
231.05/231.12 c 231s| 1600 | 1487 |743902 | 456.6 | 28M| 32 | 158 | 540 |5159 | 540 |4513 | 58 | 866 |1226 | 4.800000e+01 | 7.000000e+01 | 45.83%
239.84/239.99 c 240s| 1700 | 1587 |774878 | 448.0 | 28M| 32 | 235 | 540 |5132 | 540 |4513 | 58 | 875 |1283 | 4.800000e+01 | 7.000000e+01 | 45.83%
251.64/251.70 c 252s| 1800 | 1685 |825753 | 451.4 | 28M| 32 | 236 | 540 |5104 | 540 |4513 | 58 | 886 |1303 | 4.800000e+01 | 7.000000e+01 | 45.83%
261.14/261.28 c 261s| 1900 | 1785 |868685 | 450.2 | 29M| 32 | 265 | 540 |5093 | 540 |4513 | 58 | 924 |1309 | 4.800000e+01 | 7.000000e+01 | 45.83%
269.24/269.40 c 269s| 2000 | 1883 |902411 | 444.5 | 29M| 32 | 200 | 540 |5038 | 540 |4513 | 58 | 946 |1314 | 4.800000e+01 | 7.000000e+01 | 45.83%
280.04/280.11 c 280s| 2100 | 1979 |940528 | 441.5 | 29M| 32 | 200 | 540 |5055 | 540 |4513 | 58 | 985 |1383 | 4.800000e+01 | 7.000000e+01 | 45.83%
290.54/290.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
290.54/290.60 c 291s| 2200 | 2079 |981604 | 440.1 | 29M| 32 | 250 | 540 |5045 | 540 |4513 | 58 |1002 |1415 | 4.800000e+01 | 7.000000e+01 | 45.83%
298.54/298.65 c 299s| 2300 | 2177 | 1009k| 433.1 | 30M| 32 | 198 | 540 |5029 | 540 |4513 | 58 |1007 |1457 | 4.800000e+01 | 7.000000e+01 | 45.83%
309.04/309.18 c 309s| 2400 | 2269 | 1045k| 430.1 | 30M| 35 | 179 | 540 |5032 | 540 |4513 | 58 |1030 |1523 | 4.800000e+01 | 7.000000e+01 | 45.83%
322.33/322.43 c 322s| 2500 | 2355 | 1094k| 432.5 | 30M| 38 | 195 | 540 |5082 | 540 |4513 | 58 |1117 |1609 | 4.800000e+01 | 7.000000e+01 | 45.83%
334.13/334.26 c 334s| 2600 | 2441 | 1143k| 434.6 | 30M| 39 | 185 | 540 |5105 | 540 |4513 | 58 |1175 |1655 | 4.800000e+01 | 7.000000e+01 | 45.83%
345.73/345.80 c 346s| 2700 | 2531 | 1192k| 436.9 | 31M| 42 | 294 | 540 |5091 | 540 |4513 | 58 |1211 |1676 | 4.800000e+01 | 7.000000e+01 | 45.83%
353.73/353.82 c 354s| 2800 | 2625 | 1227k| 433.8 | 31M| 42 | 198 | 540 |5088 | 540 |4513 | 58 |1257 |1684 | 4.800000e+01 | 7.000000e+01 | 45.83%
365.22/365.39 c 365s| 2900 | 2717 | 1276k| 435.6 | 31M| 42 | 176 | 540 |5083 | 540 |4513 | 58 |1313 |1715 | 4.800000e+01 | 7.000000e+01 | 45.83%
377.02/377.10 c 377s| 3000 | 2808 | 1319k| 435.5 | 31M| 42 | 194 | 540 |5111 | 540 |4513 | 58 |1386 |1775 | 4.800000e+01 | 7.000000e+01 | 45.83%
388.42/388.54 c 389s| 3100 | 2896 | 1363k| 435.6 | 32M| 42 | - | 540 |5116 | 540 |4513 | 58 |1431 |1831 | 4.800000e+01 | 7.000000e+01 | 45.83%
398.52/398.64 c 399s| 3200 | 2988 | 1401k| 433.9 | 32M| 42 | 189 | 540 |5091 | 540 |4513 | 58 |1462 |1884 | 4.800000e+01 | 7.000000e+01 | 45.83%
408.31/408.46 c 408s| 3300 | 3078 | 1437k| 431.7 | 32M| 42 | 180 | 540 |5071 | 540 |4513 | 58 |1489 |1943 | 4.800000e+01 | 7.000000e+01 | 45.83%
418.52/418.62 c 419s| 3400 | 3170 | 1476k| 430.3 | 32M| 42 | 170 | 540 |5057 | 540 |4513 | 58 |1531 |1997 | 4.800000e+01 | 7.000000e+01 | 45.83%
428.62/428.72 c 429s| 3500 | 3262 | 1521k| 430.8 | 33M| 42 | 183 | 540 |5098 | 540 |4513 | 58 |1609 |2024 | 4.800000e+01 | 7.000000e+01 | 45.83%
439.41/439.56 c 440s| 3600 | 3360 | 1569k| 432.2 | 33M| 43 | 165 | 540 |5099 | 540 |4513 | 58 |1665 |2035 | 4.800000e+01 | 7.000000e+01 | 45.83%
452.21/452.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.21/452.39 c 452s| 3700 | 3456 | 1629k| 436.9 | 33M| 43 | 141 | 540 |5115 | 540 |4513 | 58 |1718 |2036 | 4.800000e+01 | 7.000000e+01 | 45.83%
461.92/462.05 c 462s| 3800 | 3548 | 1672k| 436.5 | 33M| 43 | 198 | 540 |5112 | 540 |4513 | 58 |1782 |2053 | 4.800000e+01 | 7.000000e+01 | 45.83%
474.31/474.44 c 474s| 3900 | 3638 | 1717k| 436.9 | 34M| 43 | 195 | 540 |5069 | 540 |4513 | 58 |1827 |2116 | 4.800000e+01 | 7.000000e+01 | 45.83%
485.01/485.14 c 485s| 4000 | 3728 | 1759k| 436.6 | 34M| 43 | 282 | 540 |5049 | 540 |4513 | 58 |1877 |2161 | 4.800000e+01 | 7.000000e+01 | 45.83%
496.30/496.44 c 496s| 4100 | 3820 | 1801k| 436.1 | 34M| 43 | 186 | 540 |5036 | 540 |4513 | 58 |1928 |2223 | 4.800000e+01 | 7.000000e+01 | 45.83%
507.51/507.63 c 508s| 4200 | 3912 | 1843k| 435.9 | 34M| 43 | 180 | 540 |5034 | 540 |4513 | 58 |1970 |2281 | 4.800000e+01 | 7.000000e+01 | 45.83%
518.50/518.65 c 519s| 4300 | 4002 | 1886k| 435.6 | 35M| 43 | 192 | 540 |5043 | 540 |4513 | 58 |2023 |2344 | 4.800000e+01 | 7.000000e+01 | 45.83%
527.70/527.84 c 528s| 4400 | 4084 | 1924k| 434.4 | 35M| 43 | 193 | 540 |5070 | 540 |4513 | 58 |2078 |2371 | 4.800000e+01 | 7.000000e+01 | 45.83%
535.10/535.22 c 535s| 4500 | 4170 | 1957k| 432.1 | 35M| 43 | 234 | 540 |5087 | 540 |4513 | 58 |2128 |2391 | 4.800000e+01 | 7.000000e+01 | 45.83%
546.10/546.24 c 546s| 4600 | 4252 | 2011k| 434.3 | 36M| 43 | 196 | 540 |5124 | 540 |4513 | 58 |2217 |2393 | 4.800000e+01 | 7.000000e+01 | 45.83%
556.40/556.51 c 557s| 4700 | 4346 | 2058k| 435.2 | 36M| 43 | 213 | 540 |5133 | 540 |4513 | 58 |2291 |2395 | 4.800000e+01 | 7.000000e+01 | 45.83%
566.00/566.13 c 566s| 4800 | 4443 | 2101k| 435.1 | 36M| 43 | 228 | 540 |5116 | 540 |4513 | 58 |2348 |2405 | 4.800000e+01 | 7.000000e+01 | 45.83%
578.50/578.66 c 579s| 4900 | 4535 | 2147k| 435.5 | 36M| 43 | 213 | 540 |5116 | 540 |4513 | 58 |2411 |2472 | 4.800000e+01 | 7.000000e+01 | 45.83%
587.99/588.16 c 588s| 5000 | 4623 | 2183k| 434.0 | 37M| 43 | 225 | 540 |5071 | 540 |4513 | 58 |2456 |2510 | 4.800000e+01 | 7.000000e+01 | 45.83%
599.49/599.68 c 600s| 5100 | 4711 | 2228k| 434.4 | 37M| 43 | 198 | 540 |5057 | 540 |4513 | 58 |2520 |2563 | 4.800000e+01 | 7.000000e+01 | 45.83%
611.99/612.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
611.99/612.17 c 612s| 5200 | 4803 | 2277k| 435.3 | 37M| 43 | 179 | 540 |5070 | 540 |4513 | 58 |2610 |2608 | 4.800000e+01 | 7.000000e+01 | 45.83%
624.38/624.53 c 625s| 5300 | 4895 | 2324k| 436.1 | 37M| 43 | 244 | 540 |5064 | 540 |4513 | 58 |2675 |2670 | 4.800000e+01 | 7.000000e+01 | 45.83%
636.09/636.29 c 636s| 5400 | 4987 | 2376k| 437.6 | 38M| 43 | 252 | 540 |5059 | 540 |4513 | 58 |2731 |2692 | 4.800000e+01 | 7.000000e+01 | 45.83%
647.38/647.51 c 648s| 5500 | 5081 | 2427k| 439.0 | 38M| 43 | 254 | 540 |5103 | 540 |4513 | 58 |2829 |2695 | 4.800000e+01 | 7.000000e+01 | 45.83%
659.08/659.23 c 659s| 5600 | 5169 | 2481k| 440.8 | 38M| 43 | 173 | 540 |5121 | 540 |4513 | 58 |2911 |2699 | 4.800000e+01 | 7.000000e+01 | 45.83%
668.98/669.10 c 669s| 5700 | 5249 | 2527k| 441.2 | 39M| 43 | 199 | 540 |5125 | 540 |4513 | 58 |2971 |2701 | 4.800000e+01 | 7.000000e+01 | 45.83%
680.69/680.86 c 681s| 5800 | 5343 | 2582k| 443.0 | 39M| 43 | 187 | 540 |5079 | 540 |4513 | 58 |3002 |2702 | 4.800000e+01 | 7.000000e+01 | 45.83%
691.27/691.42 c 691s| 5900 | 5439 | 2630k| 443.6 | 39M| 43 | 216 | 540 |5032 | 540 |4513 | 58 |3028 |2705 | 4.800000e+01 | 7.000000e+01 | 45.83%
697.47/697.67 c 698s| 6000 | 5509 | 2659k| 441.1 | 39M| 45 | 188 | 540 |5042 | 540 |4513 | 58 |3082 |2707 | 4.800000e+01 | 7.000000e+01 | 45.83%
706.97/707.10 c 707s| 6100 | 5597 | 2703k| 441.0 | 40M| 45 | 216 | 540 |5038 | 540 |4513 | 58 |3161 |2707 | 4.800000e+01 | 7.000000e+01 | 45.83%
716.17/716.31 c 716s| 6200 | 5691 | 2745k| 440.7 | 40M| 45 | 189 | 540 |5031 | 540 |4513 | 58 |3203 |2708 | 4.800000e+01 | 7.000000e+01 | 45.83%
725.56/725.79 c 726s| 6300 | 5781 | 2790k| 440.8 | 40M| 45 | 160 | 540 |5013 | 540 |4513 | 58 |3233 |2708 | 4.800000e+01 | 7.000000e+01 | 45.83%
735.87/736.04 c 736s| 6400 | 5861 | 2835k| 441.0 | 40M| 45 | 194 | 540 |5056 | 540 |4513 | 58 |3313 |2723 | 4.800000e+01 | 7.000000e+01 | 45.83%
748.47/748.68 c 749s| 6500 | 5951 | 2886k| 442.0 | 41M| 45 | 211 | 540 |5079 | 540 |4513 | 58 |3388 |2760 | 4.800000e+01 | 7.000000e+01 | 45.83%
760.57/760.71 c 761s| 6600 | 6035 | 2932k| 442.3 | 41M| 45 | 209 | 540 |5081 | 540 |4513 | 58 |3441 |2811 | 4.800000e+01 | 7.000000e+01 | 45.83%
771.77/771.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
771.77/771.91 c 772s| 6700 | 6129 | 2977k| 442.3 | 41M| 45 | 186 | 540 |5058 | 540 |4513 | 58 |3479 |2862 | 4.800000e+01 | 7.000000e+01 | 45.83%
788.46/788.62 c 789s| 6800 | 6219 | 3039k| 445.0 | 41M| 45 | 203 | 540 |5025 | 540 |4513 | 58 |3515 |2924 | 4.800000e+01 | 7.000000e+01 | 45.83%
798.65/798.83 c 799s| 6900 | 6307 | 3081k| 444.7 | 42M| 45 | 212 | 540 |5052 | 540 |4513 | 58 |3568 |2961 | 4.800000e+01 | 7.000000e+01 | 45.83%
810.16/810.35 c 810s| 7000 | 6389 | 3130k| 445.3 | 42M| 45 | 186 | 540 |5072 | 540 |4513 | 58 |3624 |2992 | 4.800000e+01 | 7.000000e+01 | 45.83%
822.46/822.64 c 823s| 7100 | 6462 | 3184k| 446.7 | 42M| 47 | - | 540 |5096 | 540 |4513 | 58 |3701 |3009 | 4.800000e+01 | 7.000000e+01 | 45.83%
831.95/832.16 c 832s| 7200 | 6530 | 3228k| 446.6 | 42M| 47 | 208 | 540 |5107 | 540 |4513 | 58 |3782 |3013 | 4.800000e+01 | 7.000000e+01 | 45.83%
844.25/844.42 c 844s| 7300 | 6619 | 3285k| 448.3 | 42M| 47 | 196 | 540 |5101 | 540 |4513 | 58 |3848 |3020 | 4.800000e+01 | 7.000000e+01 | 45.83%
854.95/855.12 c 855s| 7400 | 6713 | 3335k| 449.0 | 43M| 47 | 214 | 540 |5094 | 540 |4513 | 58 |3900 |3021 | 4.800000e+01 | 7.000000e+01 | 45.83%
865.95/866.13 c 866s| 7500 | 6809 | 3380k| 448.9 | 43M| 47 | 158 | 540 |5057 | 540 |4513 | 58 |3942 |3050 | 4.800000e+01 | 7.000000e+01 | 45.83%
880.74/881.00 c 881s| 7600 | 6909 | 3432k| 449.9 | 43M| 47 | 225 | 540 |5033 | 540 |4513 | 58 |3981 |3125 | 4.800000e+01 | 7.000000e+01 | 45.83%
894.94/895.11 c 895s| 7700 | 7009 | 3490k| 451.6 | 43M| 47 | 197 | 540 |4989 | 540 |4513 | 58 |4020 |3155 | 4.800000e+01 | 7.000000e+01 | 45.83%
908.54/908.76 c 909s| 7800 | 7109 | 3543k| 452.5 | 44M| 47 | 204 | 540 |5016 | 540 |4513 | 58 |4083 |3206 | 4.800000e+01 | 7.000000e+01 | 45.83%
924.14/924.37 c 924s| 7900 | 7207 | 3606k| 454.8 | 44M| 47 | 224 | 540 |5038 | 540 |4513 | 58 |4138 |3258 | 4.800000e+01 | 7.000000e+01 | 45.83%
939.43/939.66 c 940s| 8000 | 7307 | 3674k| 457.7 | 44M| 47 | 224 | 540 |5026 | 540 |4513 | 58 |4166 |3285 | 4.800000e+01 | 7.000000e+01 | 45.83%
951.14/951.35 c 951s| 8100 | 7403 | 3727k| 458.5 | 44M| 48 | 166 | 540 |5023 | 540 |4513 | 58 |4204 |3294 | 4.800000e+01 | 7.000000e+01 | 45.83%
962.14/962.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
962.14/962.37 c 962s| 8200 | 7495 | 3777k| 459.0 | 45M| 51 | 177 | 540 |5017 | 540 |4513 | 58 |4237 |3300 | 4.800000e+01 | 7.000000e+01 | 45.83%
975.83/976.03 c 976s| 8300 | 7591 | 3840k| 461.1 | 45M| 52 | 207 | 540 |5031 | 540 |4513 | 58 |4284 |3302 | 4.800000e+01 | 7.000000e+01 | 45.83%
991.03/991.25 c 991s| 8400 | 7687 | 3906k| 463.5 | 45M| 52 | 234 | 540 |5061 | 540 |4513 | 58 |4344 |3333 | 4.800000e+01 | 7.000000e+01 | 45.83%
1007.12/1007.31 c 1007s| 8500 | 7787 | 3972k| 465.8 | 45M| 52 | 207 | 540 |5072 | 540 |4513 | 58 |4397 |3386 | 4.800000e+01 | 7.000000e+01 | 45.83%
1020.53/1020.75 c 1021s| 8600 | 7881 | 4023k| 466.3 | 46M| 53 | 220 | 540 |5088 | 540 |4513 | 58 |4452 |3444 | 4.800000e+01 | 7.000000e+01 | 45.83%
1036.52/1036.76 c 1037s| 8700 | 7979 | 4087k| 468.3 | 46M| 58 | 230 | 540 |5084 | 540 |4513 | 58 |4492 |3499 | 4.800000e+01 | 7.000000e+01 | 45.83%
1050.02/1050.21 c 1050s| 8800 | 8077 | 4143k| 469.4 | 46M| 58 | 204 | 540 |5080 | 540 |4513 | 58 |4537 |3539 | 4.800000e+01 | 7.000000e+01 | 45.83%
1066.73/1066.94 c 1067s| 8900 | 8173 | 4213k| 471.9 | 46M| 58 | 169 | 540 |5066 | 540 |4513 | 58 |4577 |3602 | 4.800000e+01 | 7.000000e+01 | 45.83%
1080.21/1080.43 c 1080s| 9000 | 8273 | 4277k| 473.8 | 47M| 61 | 201 | 540 |5099 | 540 |4513 | 58 |4646 |3604 | 4.800000e+01 | 7.000000e+01 | 45.83%
1090.72/1090.94 c 1091s| 9100 | 8357 | 4326k| 473.9 | 47M| 63 | 214 | 540 |5128 | 540 |4513 | 58 |4706 |3613 | 4.800000e+01 | 7.000000e+01 | 45.83%
1103.12/1103.31 c 1103s| 9200 | 8450 | 4387k| 475.4 | 47M| 63 | 228 | 540 |5115 | 540 |4513 | 58 |4754 |3614 | 4.800000e+01 | 7.000000e+01 | 45.83%
1115.61/1115.88 c 1116s| 9300 | 8548 | 4447k| 476.8 | 47M| 63 | 220 | 540 |5123 | 540 |4513 | 58 |4803 |3614 | 4.800000e+01 | 7.000000e+01 | 45.83%
1128.21/1128.44 c 1128s| 9400 | 8634 | 4498k| 477.2 | 47M| 63 | 222 | 540 |5129 | 540 |4513 | 58 |4847 |3658 | 4.800000e+01 | 7.000000e+01 | 45.83%
1143.01/1143.23 c 1143s| 9500 | 8726 | 4558k| 478.4 | 48M| 64 | 188 | 540 |5110 | 540 |4513 | 58 |4882 |3712 | 4.800000e+01 | 7.000000e+01 | 45.83%
1159.90/1160.14 c 1160s| 9600 | 8822 | 4629k| 480.9 | 48M| 64 | 194 | 540 |5110 | 540 |4513 | 58 |4937 |3777 | 4.800000e+01 | 7.000000e+01 | 45.83%
1172.60/1172.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1172.60/1172.81 c 1173s| 9700 | 8914 | 4679k| 481.1 | 48M| 64 | 194 | 540 |5093 | 540 |4513 | 58 |4976 |3821 | 4.800000e+01 | 7.000000e+01 | 45.83%
1185.20/1185.45 c 1185s| 9800 | 8996 | 4734k| 481.8 | 48M| 65 | - | 540 |5107 | 540 |4513 | 58 |5023 |3867 | 4.800000e+01 | 7.000000e+01 | 45.83%
1198.99/1199.24 c 1199s| 9900 | 9084 | 4794k| 482.9 | 49M| 65 | 214 | 540 |5092 | 540 |4513 | 58 |5049 |3909 | 4.800000e+01 | 7.000000e+01 | 45.83%
1212.49/1212.70 c 1213s| 10000 | 9174 | 4857k| 484.4 | 49M| 65 | 181 | 540 |5120 | 540 |4513 | 58 |5131 |3919 | 4.800000e+01 | 7.000000e+01 | 45.83%
1224.59/1224.87 c 1225s| 10100 | 9270 | 4914k| 485.3 | 49M| 65 | 170 | 540 |5135 | 540 |4513 | 58 |5192 |3927 | 4.800000e+01 | 7.000000e+01 | 45.83%
1235.59/1235.84 c 1236s| 10200 | 9360 | 4965k| 485.5 | 49M| 65 | 187 | 540 |5110 | 540 |4513 | 58 |5227 |3931 | 4.800000e+01 | 7.000000e+01 | 45.83%
1247.09/1247.39 c 1247s| 10300 | 9450 | 5020k| 486.1 | 50M| 65 | 207 | 540 |5097 | 540 |4513 | 58 |5275 |3932 | 4.800000e+01 | 7.000000e+01 | 45.83%
1258.59/1258.90 c 1259s| 10400 | 9546 | 5075k| 486.7 | 50M| 65 | 192 | 540 |5102 | 540 |4513 | 58 |5339 |3932 | 4.800000e+01 | 7.000000e+01 | 45.83%
1272.69/1272.96 c 1273s| 10500 | 9640 | 5131k| 487.5 | 50M| 65 | 209 | 540 |5092 | 540 |4513 | 58 |5386 |3979 | 4.800000e+01 | 7.000000e+01 | 45.83%
1285.69/1285.93 c 1286s| 10600 | 9732 | 5185k| 488.0 | 50M| 65 | 176 | 540 |5130 | 540 |4513 | 58 |5467 |4016 | 4.800000e+01 | 7.000000e+01 | 45.83%
1298.18/1298.40 c 1298s| 10700 | 9820 | 5235k| 488.1 | 51M| 65 | 209 | 540 |5148 | 540 |4513 | 58 |5548 |4050 | 4.800000e+01 | 7.000000e+01 | 45.83%
1314.18/1314.44 c 1314s| 10800 | 9916 | 5300k| 489.6 | 51M| 67 | 162 | 540 |5158 | 540 |4513 | 58 |5614 |4101 | 4.800000e+01 | 7.000000e+01 | 45.83%
1326.68/1326.94 c 1327s| 10900 | 10008 | 5354k| 490.0 | 51M| 67 | 208 | 540 |5168 | 540 |4513 | 58 |5681 |4140 | 4.800000e+01 | 7.000000e+01 | 45.83%
1339.27/1339.50 c 1340s| 11000 | 10096 | 5406k| 490.3 | 51M| 67 | 200 | 540 |5150 | 540 |4513 | 58 |5726 |4180 | 4.800000e+01 | 7.000000e+01 | 45.83%
1351.37/1351.60 c 1352s| 11100 | 10190 | 5460k| 490.7 | 52M| 67 | 194 | 540 |5137 | 540 |4513 | 58 |5786 |4196 | 4.800000e+01 | 7.000000e+01 | 45.83%
1364.97/1365.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1364.97/1365.22 c 1365s| 11200 | 10286 | 5524k| 492.1 | 52M| 67 | 193 | 540 |5154 | 540 |4513 | 58 |5858 |4202 | 4.800000e+01 | 7.000000e+01 | 45.83%
1377.57/1377.85 c 1378s| 11300 | 10376 | 5583k| 492.9 | 52M| 67 | 216 | 540 |5136 | 540 |4513 | 58 |5908 |4204 | 4.800000e+01 | 7.000000e+01 | 45.83%
1391.76/1392.01 c 1392s| 11400 | 10472 | 5647k| 494.3 | 52M| 67 | 237 | 540 |5110 | 540 |4513 | 58 |5952 |4206 | 4.800000e+01 | 7.000000e+01 | 45.83%
1405.37/1405.68 c 1406s| 11500 | 10570 | 5710k| 495.4 | 53M| 67 | 195 | 540 |5139 | 540 |4513 | 58 |6034 |4209 | 4.800000e+01 | 7.000000e+01 | 45.83%
1420.16/1420.46 c 1420s| 11600 | 10668 | 5771k| 496.4 | 53M| 67 | 186 | 540 |5141 | 540 |4513 | 58 |6094 |4237 | 4.800000e+01 | 7.000000e+01 | 45.83%
1435.06/1435.31 c 1435s| 11700 | 10766 | 5832k| 497.3 | 53M| 67 | 213 | 540 |5144 | 540 |4513 | 58 |6153 |4280 | 4.800000e+01 | 7.000000e+01 | 45.83%
1450.66/1450.95 c 1451s| 11800 | 10866 | 5893k| 498.4 | 54M| 67 | 183 | 540 |5140 | 540 |4513 | 58 |6194 |4328 | 4.800000e+01 | 7.000000e+01 | 45.83%
1462.36/1462.69 c 1463s| 11900 | 10964 | 5946k| 498.6 | 54M| 67 | 220 | 540 |5184 | 540 |4513 | 58 |6279 |4341 | 4.800000e+01 | 7.000000e+01 | 45.83%
1478.25/1478.51 c 1479s| 12000 | 11062 | 6012k| 499.9 | 54M| 67 | 205 | 540 |5210 | 540 |4513 | 58 |6346 |4387 | 4.800000e+01 | 7.000000e+01 | 45.83%
1491.15/1491.46 c 1491s| 12100 | 11160 | 6065k| 500.2 | 54M| 67 | 175 | 540 |5212 | 540 |4513 | 58 |6413 |4426 | 4.800000e+01 | 7.000000e+01 | 45.83%
1506.05/1506.34 c 1506s| 12200 | 11260 | 6133k| 501.6 | 55M| 67 | 202 | 540 |5205 | 540 |4513 | 58 |6458 |4445 | 4.800000e+01 | 7.000000e+01 | 45.83%
1521.25/1521.57 c 1522s| 12300 | 11354 | 6207k| 503.6 | 55M| 67 | 214 | 540 |5203 | 540 |4513 | 58 |6525 |4452 | 4.800000e+01 | 7.000000e+01 | 45.83%
1534.75/1535.05 c 1535s| 12400 | 11454 | 6268k| 504.5 | 55M| 67 | 206 | 540 |5229 | 540 |4513 | 58 |6595 |4458 | 4.800000e+01 | 7.000000e+01 | 45.83%
1547.64/1547.90 c 1548s| 12500 | 11552 | 6329k| 505.3 | 55M| 67 | 194 | 540 |5238 | 540 |4513 | 58 |6658 |4459 | 4.800000e+01 | 7.000000e+01 | 45.83%
1560.75/1561.04 c 1561s| 12600 | 11645 | 6390k| 506.1 | 56M| 67 | 207 | 540 |5238 | 540 |4513 | 58 |6737 |4465 | 4.800000e+01 | 7.000000e+01 | 45.83%
1574.54/1574.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1574.54/1574.87 c 1575s| 12700 | 11741 | 6450k| 506.8 | 56M| 67 | 256 | 540 |5190 | 540 |4513 | 58 |6783 |4486 | 4.800000e+01 | 7.000000e+01 | 45.83%
1591.24/1591.52 c 1592s| 12800 | 11841 | 6519k| 508.3 | 56M| 67 | 237 | 540 |5155 | 540 |4513 | 58 |6827 |4524 | 4.800000e+01 | 7.000000e+01 | 45.83%
1609.14/1609.48 c 1609s| 12900 | 11941 | 6593k| 510.1 | 56M| 67 | 178 | 540 |5146 | 540 |4513 | 58 |6864 |4572 | 4.800000e+01 | 7.000000e+01 | 45.83%
1624.14/1624.47 c 1624s| 13000 | 12039 | 6654k| 510.9 | 57M| 67 | 205 | 540 |5170 | 540 |4513 | 58 |6943 |4607 | 4.800000e+01 | 7.000000e+01 | 45.83%
1637.33/1637.61 c 1638s| 13100 | 12131 | 6707k| 511.0 | 57M| 67 | 169 | 540 |5203 | 540 |4513 | 58 |7017 |4646 | 4.800000e+01 | 7.000000e+01 | 45.83%
1648.72/1649.01 c 1649s| 13200 | 12225 | 6754k| 510.7 | 57M| 67 | - | 540 |5232 | 0 | 0 | 58 |7096 |4682 | 4.800000e+01 | 7.000000e+01 | 45.83%
1660.93/1661.29 c 1661s| 13300 | 12321 | 6806k| 510.8 | 58M| 67 | 203 | 540 |5264 | 540 |4513 | 58 |7178 |4721 | 4.800000e+01 | 7.000000e+01 | 45.83%
1674.02/1674.39 c 1674s| 13400 | 12413 | 6867k| 511.5 | 58M| 67 | 182 | 540 |5258 | 540 |4513 | 58 |7217 |4733 | 4.800000e+01 | 7.000000e+01 | 45.83%
1684.13/1684.49 c 1684s| 13500 | 12501 | 6913k| 511.1 | 58M| 67 | 178 | 540 |5282 | 540 |4513 | 58 |7277 |4745 | 4.800000e+01 | 7.000000e+01 | 45.83%
1695.42/1695.72 c 1696s| 13600 | 12591 | 6965k| 511.2 | 58M| 67 | 181 | 540 |5293 | 540 |4513 | 58 |7334 |4749 | 4.800000e+01 | 7.000000e+01 | 45.83%
1707.62/1707.95 c 1708s| 13700 | 12687 | 7023k| 511.7 | 58M| 67 | 177 | 540 |5271 | 540 |4513 | 58 |7382 |4753 | 4.800000e+01 | 7.000000e+01 | 45.83%
1722.12/1722.44 c 1722s| 13800 | 12787 | 7090k| 512.8 | 59M| 67 | 201 | 540 |5249 | 540 |4513 | 58 |7436 |4759 | 4.800000e+01 | 7.000000e+01 | 45.83%
1733.33/1733.68 c 1734s| 13900 | 12873 | 7142k| 512.9 | 59M| 67 | 195 | 540 |5258 | 540 |4513 | 58 |7525 |4763 | 4.800000e+01 | 7.000000e+01 | 45.83%
1743.22/1743.53 c 1744s| 14000 | 12951 | 7188k| 512.5 | 59M| 67 | 202 | 540 |5243 | 540 |4513 | 58 |7591 |4765 | 4.800000e+01 | 7.000000e+01 | 45.83%
1756.01/1756.34 c 1756s| 14100 | 13049 | 7239k| 512.5 | 59M| 67 | 225 | 540 |5229 | 540 |4513 | 58 |7646 |4795 | 4.800000e+01 | 7.000000e+01 | 45.83%
1766.32/1766.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1766.32/1766.61 c 1767s| 14200 | 13138 | 7282k| 511.9 | 60M| 67 | 233 | 540 |5222 | 540 |4513 | 58 |7721 |4814 | 4.800000e+01 | 7.000000e+01 | 45.83%
1779.71/1780.03 c 1780s| 14300 | 13226 | 7337k| 512.2 | 60M| 67 | 193 | 540 |5230 | 540 |4513 | 58 |7780 |4860 | 4.800000e+01 | 7.000000e+01 | 45.83%
1790.51/1790.81 c 1791s| 14400 | 13316 | 7384k| 511.9 | 60M| 67 | 168 | 540 |5224 | 540 |4513 | 58 |7824 |4880 | 4.800000e+01 | 7.000000e+01 | 45.83%
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 : 14451
1796.70/1797.01 c Primal Bound : +7.00000000000000e+01 (1 solutions)
1796.70/1797.01 c Dual Bound : +4.80000000000000e+01
1796.70/1797.01 c Gap : 45.83 %
1796.70/1797.01 s SATISFIABLE
1796.70/1797.01 v -x325 x289 x253 -x217 -x181 -x145 x109 x73 x37 -x1 -x360 -x324 -x288 x252 -x216 x180 -x144 x108 x72 x36 x353 -x317 -x281 -x245
1796.70/1797.01 v x209 x173 x137 -x101 -x65 x29 -x346 x310 x274 -x238 x202 x166 x130 -x94 -x58 -x22 x339 -x303 x267 x231 -x195 -x159 -x123 x87
1796.70/1797.01 v -x51 x15 x332 x296 -x260 x224 x188 -x152 -x116 -x80 x44 -x8 x359 -x323 -x287 -x251 -x215 -x179 -x143 -x107 -x71 -x35 -x358 x322
1796.70/1797.01 v -x286 -x250 -x214 -x178 -x142 -x106 -x70 -x34 -x357 -x321 x285 -x249 -x213 -x177 -x141 -x105 -x69 -x33 -x356 -x320 -x284 -x248
1796.70/1797.01 v x212 -x176 -x140 -x104 -x68 -x32 -x355 -x319 -x283 -x247 -x211 -x175 x139 -x103 -x67 -x31 -x354 -x318 -x282 x246 -x210 -x174
1796.70/1797.01 v -x138 -x102 -x66 -x30 -x352 -x316 x280 -x244 -x208 -x172 -x136 -x100 -x64 -x28 -x351 -x315 -x279 -x243 -x207 -x171 -x135
1796.70/1797.01 v x99 -x63 -x27 -x350 -x314 -x278 -x242 -x206 -x170 -x134 -x98 x62 -x26 -x349 x313 -x277 -x241 -x205 -x169 -x133 -x97 -x61 -x25
1796.70/1797.01 v -x348 -x312 -x276 -x240 -x204 -x168 -x132 -x96 x60 -x24 -x347 -x311 -x275 -x239 -x203 -x167 -x131 -x95 -x59 x23 x345 -x309
1796.70/1797.01 v -x273 -x237 -x201 -x165 -x129 -x93 -x57 -x21 -x344 -x308 -x272 x236 -x200 -x164 -x128 -x92 -x56 -x20 -x343 -x307 -x271 -x235
1796.70/1797.01 v -x199 -x163 -x127 x91 -x55 -x19 -x342 -x306 -x270 -x234 -x198 x162 -x126 -x90 -x54 -x18 -x341 -x305 -x269 -x233 x197 -x161 -x125
1796.70/1797.01 v -x89 -x53 -x17 -x340 -x304 -x268 -x232 -x196 -x160 x124 -x88 -x52 -x16 -x338 x302 -x266 -x230 -x194 -x158 -x122 -x86 -x50
1796.70/1797.01 v -x14 -x337 -x301 -x265 -x229 -x193 -x157 -x121 -x85 x49 -x13 -x336 -x300 -x264 -x228 -x192 -x156 -x120 x84 -x48 -x12 -x335 -x299
1796.70/1797.01 v -x263 -x227 -x191 -x155 x119 -x83 -x47 -x11 -x334 -x298 -x262 -x226 -x190 x154 -x118 -x82 -x46 -x10 -x333 -x297 -x261 -x225
1796.70/1797.01 v -x189 -x153 -x117 -x81 -x45 x9 -x331 -x295 x259 -x223 -x187 -x151 -x115 -x79 -x43 -x7 -x330 -x294 -x258 -x222 -x186 -x150
1796.70/1797.01 v -x114 -x78 -x42 x6 -x329 -x293 -x257 -x221 -x185 x149 -x113 -x77 -x41 -x5 -x328 -x292 -x256 -x220 x184 -x148 -x112 -x76 -x40
1796.70/1797.01 v -x4 -x327 -x291 -x255 x219 -x183 -x147 -x111 -x75 -x39 -x3 x326 -x290 -x254 -x218 -x182 -x146 -x110 -x74 -x38 -x2 -x540 -x539
1796.70/1797.01 v x538 x537 x536 x535 -x534 -x533 -x532 -x531 -x530 x529 -x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 x520 -x519 -x518 -x517
1796.70/1797.01 v -x516 x515 -x514 -x513 -x512 -x511 -x510 x509 -x508 -x507 -x506 x505 -x504 -x503 x502 -x501 -x500 -x499 -x498 -x497 x496 -x495
1796.70/1797.01 v x494 -x493 -x492 -x491 -x490 -x489 -x488 x487 -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 x476 x475 -x474
1796.70/1797.01 v -x473 -x472 -x471 -x470 x469 x468 x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 -x454 x453 -x452
1796.70/1797.01 v -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 x440 -x439 -x438 -x437 -x436 -x435 -x434 x433 x432 x431 -x430
1796.70/1797.01 v -x429 -x428 x427 -x426 -x425 -x424 -x423 x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 x414 -x413 -x412 -x411 -x410 -x409 -x408
1796.70/1797.01 v x407 -x406 -x405 -x404 -x403 x402 -x401 x400 -x399 -x398 x397 x396 -x395 -x394 -x393 -x392 x391 -x390 -x389 -x388 -x387
1796.70/1797.01 v x386 -x385 x384 -x383 -x382 -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 -x368 -x367 x366 x365
1796.70/1797.01 v x364 -x363 -x362 x361
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.13 (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.01, maximal 0.01, average 0.01)
1796.70/1797.01 c Original Problem :
1796.70/1797.01 c Problem name : HOME/instance-3692035-1338031468.opb
1796.70/1797.01 c Variables : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 4476 initial, 4476 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-3692035-1338031468.opb
1796.70/1797.01 c Variables : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 4476 initial, 5311 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 0 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.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c implics : 0.00 0.00 0 0 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.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c knapsack : 0.05 0.00 0 0 0 0 0 0 0 3360 5040
1796.70/1797.01 c setppc : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c linear : 0.04 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c logicor : 0.02 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 14090 0 7 0 9 234 0 0 27822
1796.70/1797.01 c knapsack : 1734 1734 6 162973 0 0 4 4948 45 16180 0 0 0
1796.70/1797.01 c setppc : 840 840 6 162928 0 0 2 62778 1029 193424 0 0 0
1796.70/1797.01 c linear : 0+ 483 6 161616 0 0 0 238 9 395 1 0 0
1796.70/1797.01 c logicor : 1902+ 2629 6 68378 0 0 1 13481 271 26142 0 0 0
1796.70/1797.01 c countsols : 0 0 0 0 0 0 3 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 : 205.19 0.00 0.00 0.00 205.19 0.00 0.00 0.00
1796.70/1797.01 c knapsack : 5.37 0.00 0.03 5.33 0.00 0.00 0.00 0.01
1796.70/1797.01 c setppc : 2.78 0.00 0.00 2.71 0.00 0.00 0.00 0.07
1796.70/1797.01 c linear : 0.52 0.00 0.00 0.52 0.00 0.00 0.00 0.00
1796.70/1797.01 c logicor : 1.10 0.00 0.00 1.08 0.00 0.00 0.00 0.02
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 : 1 0 0 0
1796.70/1797.01 c pseudoobj : 176969 26 6 0
1796.70/1797.01 c vbounds : 0 0 0 0
1796.70/1797.01 c redcost : 14529 0 0 3990
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.15 0.00 0.00 0.15 0.00
1796.70/1797.01 c pseudoobj : 0.30 0.00 0.00 0.30 0.00
1796.70/1797.01 c vbounds : 0.14 0.00 0.00 0.14 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.01 0.00 0.01 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.13 1360 1360 7950 26.7 413 9.7 -
1796.70/1797.01 c infeasible LP : 0.29 1458 570 6436 52.1 98 7.4 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 : - - - 7812 24.9 - - -
1796.70/1797.01 c applied locally : - - - 30 62.4 - - -
1796.70/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.01 c cut pool : 0.01 5 - - 3 - (maximal pool size: 1760)
1796.70/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c impliedbounds : 0.00 0.00 6 0 0 0 0
1796.70/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c gomory : 2.77 0.00 6 0 0 150 0
1796.70/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c strongcg : 0.54 0.00 6 0 0 3000 0
1796.70/1797.01 c cmir : 0.06 0.00 6 0 0 0 0
1796.70/1797.01 c flowcover : 0.07 0.00 6 0 0 3 0
1796.70/1797.01 c clique : 0.01 0.00 6 0 0 36 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 : 2.18 0.00 1 0 0 0 483
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 : 205.14 0.00 14090 9 234 0 0 27822
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 0 0 0 0 0 0
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 crossover : 0.01 0.00 0 0
1796.70/1797.01 c intshifting : 0.00 0.00 0 0
1796.70/1797.01 c oneopt : 0.03 0.00 1 0
1796.70/1797.01 c linesearchdiving : 69.07 0.00 343 0
1796.70/1797.01 c fracdiving : 78.47 0.00 343 0
1796.70/1797.01 c guideddiving : 87.02 0.00 343 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.02 0.00 1 0
1796.70/1797.01 c simplerounding : 0.01 0.00 0 0
1796.70/1797.01 c zirounding : 2.21 0.00 0 0
1796.70/1797.01 c rounding : 0.58 0.00 1633 0
1796.70/1797.01 c shifting : 0.41 0.00 489 0
1796.70/1797.01 c twoopt : 0.00 0.00 0 0
1796.70/1797.01 c indoneopt : 0.04 0.00 0 0
1796.70/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.01 c feaspump : 19.56 0.00 39 0
1796.70/1797.01 c clique : 0.00 0.00 0 0
1796.70/1797.01 c coefdiving : 66.08 0.00 142 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 pscostdiving : 71.98 0.00 267 0
1796.70/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.01 c veclendiving : 57.95 0.00 131 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 objpscostdiving : 17.63 0.00 18 0
1796.70/1797.01 c rootsoldiving : 15.89 0.00 22 0
1796.70/1797.01 c octane : 0.00 0.00 0 0
1796.70/1797.01 c rens : 0.06 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.03 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 : 1084.27 14927 5485342 380.56 5059.00 0.41 513
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: 447.00 86801 1925059 22.18 4306.60
1796.70/1797.01 c strong branching : 204.23 4901 916912 187.09 4489.65
1796.70/1797.01 c (at root node) : - 11 5228 475.27 -
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 : 14451
1796.70/1797.01 c nodes (total) : 14451
1796.70/1797.01 c nodes left : 13361
1796.70/1797.01 c max depth : 67
1796.70/1797.01 c max depth (total): 67
1796.70/1797.01 c backtracks : 2639 (18.3%)
1796.70/1797.01 c delayed cutoffs : 11
1796.70/1797.01 c repropagations : 914 (1830 domain reductions, 11 cutoffs)
1796.70/1797.01 c avg switch length: 5.74
1796.70/1797.01 c switching time : 3.36
1796.70/1797.01 c Solution :
1796.70/1797.01 c Solutions found : 1 (1 improvements)
1796.70/1797.01 c First Solution : +7.00000000000000e+01 (in run 1, after 1 nodes, 5.42 seconds, depth 0, found by <trysol>)
1796.70/1797.01 c Primal Bound : +7.00000000000000e+01 (in run 1, after 1 nodes, 5.42 seconds, depth 0, found by <trysol>)
1796.70/1797.01 c Dual Bound : +4.80000000000000e+01
1796.70/1797.01 c Gap : 45.83 %
1796.70/1797.01 c Root Dual Bound : +4.80000000000000e+01
1796.70/1797.01 c Root Iterations : 13774
1796.70/1797.05 c Time complete: 1796.76.
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-3692035-1338031468/watcher-3692035-1338031468 -o /tmp/evaluation-result-3692035-1338031468/solver-3692035-1338031468 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692035-1338031468.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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 1.96 3/176 30873
/proc/meminfo: memFree=28703340/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=12028 CPUtime=0 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 1678 0 0 0 0 0 0 0 20 0 1 0 269273535 12316672 1633 33554432000 4194304 10219143 140734745857696 140735274129896 8891101 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 3007 1644 398 1471 0 1527 0
[startup+0.0871231 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 30873
/proc/meminfo: memFree=28703340/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=29920 CPUtime=0.07 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 6298 0 0 0 2 5 0 0 20 0 1 0 269273535 30638080 5995 33554432000 4194304 10219143 140734745857696 140735274129896 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 7480 5995 585 1471 0 6000 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 29920
[startup+0.10028 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 30873
/proc/meminfo: memFree=28703340/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=29920 CPUtime=0.09 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 6298 0 0 0 3 6 0 0 20 0 1 0 269273535 30638080 5995 33554432000 4194304 10219143 140734745857696 140735274129896 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 7480 5995 585 1471 0 6000 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29920
[startup+0.3003 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 30873
/proc/meminfo: memFree=28703340/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=44232 CPUtime=0.29 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 10209 0 0 0 17 12 0 0 20 0 1 0 269273535 45293568 9715 33554432000 4194304 10219143 140734745857696 140735274129896 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 11058 9715 764 1471 0 9578 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44232
[startup+0.700267 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 30873
/proc/meminfo: memFree=28703340/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=44284 CPUtime=0.68 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 10494 0 0 0 56 12 0 0 20 0 1 0 269273535 45346816 9899 33554432000 4194304 10219143 140734745857696 140734745850952 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 11071 9899 782 1471 0 9591 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 44284
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 30874
/proc/meminfo: memFree=28664780/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=44284 CPUtime=1.49 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 10529 0 0 0 136 13 0 0 20 0 1 0 269273535 45346816 9922 33554432000 4194304 10219143 140734745857696 140734745848856 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 11071 9922 782 1471 0 9591 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44284
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 30874
/proc/meminfo: memFree=28659300/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=44284 CPUtime=3.09 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 10542 0 0 0 290 19 0 0 20 0 1 0 269273535 45346816 9935 33554432000 4194304 10219143 140734745857696 140734745848952 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 11071 9935 795 1471 0 9591 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44284
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 30874
/proc/meminfo: memFree=28628560/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=73444 CPUtime=6.28 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 18405 0 0 0 430 198 0 0 20 0 1 0 269273535 75206656 17072 33554432000 4194304 10219143 140734745857696 140734745852616 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 18361 17072 845 1471 0 16881 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 73444
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 30874
/proc/meminfo: memFree=28628672/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=73552 CPUtime=12.68 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 21264 0 0 0 1016 252 0 0 20 0 1 0 269273535 75317248 17404 33554432000 4194304 10219143 140734745857696 140734745851192 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 18388 17404 850 1471 0 16908 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 73552
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 30874
/proc/meminfo: memFree=28629308/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=73552 CPUtime=25.49 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 21264 0 0 0 2288 261 0 0 20 0 1 0 269273535 75317248 17404 33554432000 4194304 10219143 140734745857696 140734745851528 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 18388 17404 850 1471 0 16908 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 73552
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 30874
/proc/meminfo: memFree=28627816/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=73552 CPUtime=51.07 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 21274 0 0 0 4826 281 0 0 20 0 1 0 269273535 75317248 17408 33554432000 4194304 10219143 140734745857696 140734745850952 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 18388 17408 852 1471 0 16908 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 73552
[startup+102.306 s]
/proc/loadavg: 2.05 2.01 1.97 3/177 30874
/proc/meminfo: memFree=28627736/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=73552 CPUtime=102.27 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 21281 0 0 0 9907 320 0 0 20 0 1 0 269273535 75317248 17412 33554432000 4194304 10219143 140734745857696 140734745851048 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 18388 17412 852 1471 0 16908 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 73552
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 30874
/proc/meminfo: memFree=28626992/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=73552 CPUtime=162.25 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 21282 0 0 0 15856 369 0 0 20 0 1 0 269273535 75317248 17413 33554432000 4194304 10219143 140734745857696 140734745850952 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 18388 17413 852 1471 0 16908 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 73552
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 30875
/proc/meminfo: memFree=28625568/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=73552 CPUtime=222.24 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 21285 0 0 0 21811 413 0 0 20 0 1 0 269273535 75317248 17416 33554432000 4194304 10219143 140734745857696 140734745851144 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 18388 17416 852 1471 0 16908 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 73552
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 30875
/proc/meminfo: memFree=28624168/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=74156 CPUtime=282.24 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 21400 0 0 0 27762 462 0 0 20 0 1 0 269273535 75935744 17531 33554432000 4194304 10219143 140734745857696 140734745850952 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 18539 17531 852 1471 0 17059 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 74156
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 30878
/proc/meminfo: memFree=28623232/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=75116 CPUtime=342.23 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 21647 0 0 0 33716 507 0 0 20 0 1 0 269273535 76918784 17778 33554432000 4194304 10219143 140734745857696 140734745850408 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 18779 17778 852 1471 0 17299 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 75116
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 30878
/proc/meminfo: memFree=28620572/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=75732 CPUtime=402.21 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 21796 0 0 0 39664 557 0 0 20 0 1 0 269273535 77549568 17926 33554432000 4194304 10219143 140734745857696 140734745850952 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 18933 17926 852 1471 0 17453 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 75732
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 30878
/proc/meminfo: memFree=28618960/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=77060 CPUtime=462.21 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 22083 0 0 0 45610 611 0 0 20 0 1 0 269273535 78909440 18213 33554432000 4194304 10219143 140734745857696 140734745851320 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 19265 18213 852 1471 0 17785 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 77060
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 30880
/proc/meminfo: memFree=28617284/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=78128 CPUtime=522.2 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 22408 0 0 0 51560 660 0 0 20 0 1 0 269273535 80003072 18537 33554432000 4194304 10219143 140734745857696 140734745850952 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 19532 18537 852 1471 0 18052 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 78128
[startup+582.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/177 30880
/proc/meminfo: memFree=28611772/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=82128 CPUtime=582.19 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 23414 0 0 0 57506 713 0 0 20 0 1 0 269273535 84099072 19540 33554432000 4194304 10219143 140734745857696 140734745850952 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 20532 19540 852 1471 0 19052 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 82128
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28588896/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=92148 CPUtime=1122.11 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 25890 0 0 0 111026 1185 0 0 20 0 1 0 269273535 94359552 22008 33554432000 4194304 10219143 140734745857696 140734745850952 6850054 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 23037 22008 852 1471 0 21557 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 92148
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 30885
/proc/meminfo: memFree=28585484/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=93428 CPUtime=1182.1 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 26216 0 0 0 116982 1228 0 0 20 0 1 0 269273535 95670272 22333 33554432000 4194304 10219143 140734745857696 140734745850952 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 23357 22333 852 1471 0 21877 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 93428
[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/177 30885
/proc/meminfo: memFree=28579284/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=96256 CPUtime=1242.09 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 26968 0 0 0 122926 1283 0 0 20 0 1 0 269273535 98566144 23084 33554432000 4194304 10219143 140734745857696 140734745851336 7960064 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 24064 23084 852 1471 0 22584 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 96256
[startup+1302.3 s]
/proc/loadavg: 2.09 2.02 1.99 3/177 30885
/proc/meminfo: memFree=28575812/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=97444 CPUtime=1302.09 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 27228 0 0 0 128880 1329 0 0 20 0 1 0 269273535 99782656 23343 33554432000 4194304 10219143 140734745857696 140734745851608 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 24361 23343 852 1471 0 22881 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 97444
[startup+1362.3 s]
/proc/loadavg: 2.09 2.03 1.99 3/177 30885
/proc/meminfo: memFree=28572032/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=100432 CPUtime=1362.07 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 28026 0 0 0 134829 1378 0 0 20 0 1 0 269273535 102842368 24141 33554432000 4194304 10219143 140734745857696 140734745851048 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 25108 24141 852 1471 0 23628 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 100432
[startup+1422.31 s]
/proc/loadavg: 2.03 2.02 1.99 3/177 30885
/proc/meminfo: memFree=28569364/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=100656 CPUtime=1422.07 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 28105 0 0 0 140778 1429 0 0 20 0 1 0 269273535 103071744 24218 33554432000 4194304 10219143 140734745857696 140734745851528 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 25164 24218 852 1471 0 23684 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 100656
[startup+1482.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/177 30886
/proc/meminfo: memFree=28567256/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=101632 CPUtime=1482.06 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 28272 0 0 0 146730 1476 0 0 20 0 1 0 269273535 104071168 24385 33554432000 4194304 10219143 140734745857696 140734745851000 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 25408 24385 852 1471 0 23928 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 101632
[startup+1542.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/178 30889
/proc/meminfo: memFree=28564172/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=103044 CPUtime=1542.04 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 28686 0 0 0 152681 1523 0 0 20 0 1 0 269273535 105517056 24798 33554432000 4194304 10219143 140734745857696 140734745850952 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 25761 24798 852 1471 0 24281 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 103044
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 30889
/proc/meminfo: memFree=28562176/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=104624 CPUtime=1602.03 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 29027 0 0 0 158633 1570 0 0 20 0 1 0 269273535 107134976 25139 33554432000 4194304 10219143 140734745857696 140734745850280 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 26156 25139 852 1471 0 24676 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 104624
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 30889
/proc/meminfo: memFree=28557960/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=105504 CPUtime=1662.03 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 29309 0 0 0 164584 1619 0 0 20 0 1 0 269273535 108036096 25421 33554432000 4194304 10219143 140734745857696 140734745850584 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 26376 25421 852 1471 0 24896 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 105504
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 30889
/proc/meminfo: memFree=28556096/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=106604 CPUtime=1722.01 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 29515 0 0 0 170533 1668 0 0 20 0 1 0 269273535 109162496 25627 33554432000 4194304 10219143 140734745857696 140734745851336 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 26651 25627 852 1471 0 25171 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 106604
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 30890
/proc/meminfo: memFree=28552816/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=108212 CPUtime=1782.01 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 29935 0 0 0 176482 1719 0 0 20 0 1 0 269273535 110809088 26046 33554432000 4194304 10219143 140734745857696 140734745850408 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 27053 26046 852 1471 0 25573 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 108212
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 30890
/proc/meminfo: memFree=28551576/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=109236 CPUtime=1785.21 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 30179 0 0 0 176799 1722 0 0 20 0 1 0 269273535 111857664 26290 33554432000 4194304 10219143 140734745857696 140734745850952 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 27309 26290 852 1471 0 25829 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 109236
[startup+1791.91 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 30890
/proc/meminfo: memFree=28551948/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=109236 CPUtime=1791.61 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 30195 0 0 0 177434 1727 0 0 20 0 1 0 269273535 111857664 26306 33554432000 4194304 10219143 140734745857696 140734745851528 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 27309 26306 852 1471 0 25829 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 109236
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 31042
/proc/meminfo: memFree=28646816/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=109236 CPUtime=1794.81 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 30195 0 0 0 177751 1730 0 0 20 0 1 0 269273535 111857664 26306 33554432000 4194304 10219143 140734745857696 140734745850952 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 27309 26306 852 1471 0 25829 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 109236
[startup+1795.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 31042
/proc/meminfo: memFree=28646816/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=109236 CPUtime=1795.61 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 30195 0 0 0 177830 1731 0 0 20 0 1 0 269273535 111857664 26306 33554432000 4194304 10219143 140734745857696 140734745851336 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 27309 26306 852 1471 0 25829 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 109236
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 2/172 31144
/proc/meminfo: memFree=28666648/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=109236 CPUtime=1796.4 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 30195 0 0 0 177909 1731 0 0 20 0 1 0 269273535 111857664 26306 33554432000 4194304 10219143 140734745857696 140734745850952 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 27309 26306 852 1471 0 25829 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 109236
[startup+1796.9 s]
/proc/loadavg: 2.00 2.02 2.00 2/172 31144
/proc/meminfo: memFree=28666648/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=109236 CPUtime=1796.61 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 30195 0 0 0 177929 1732 0 0 20 0 1 0 269273535 111857664 26306 33554432000 4194304 10219143 140734745857696 140734745850952 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 27309 26306 852 1471 0 25829 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 109236
[startup+1797 s]
/proc/loadavg: 2.00 2.02 2.00 2/172 31144
/proc/meminfo: memFree=28666648/32873648 swapFree=6844/6844
[pid=30873] ppid=30871 vsize=109236 CPUtime=1796.7 cores=0,2,4,6
/proc/30873/stat : 30873 (scip-2.1.1.4exp) R 30871 30873 29540 0 -1 4202496 30195 0 0 0 177938 1732 0 0 20 0 1 0 269273535 111857664 26306 33554432000 4194304 10219143 140734745857696 140734745851144 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30873/statm: 27309 26306 852 1471 0 25829 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 109236
Child status: 0
Real time (s): 1797.06
CPU time (s): 1796.77
CPU user time (s): 1779.44
CPU system time (s): 17.3234
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 109236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.44
system time used= 17.3234
maximum resident set size= 105236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30200
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= 32
involuntary context switches= 2497
runsolver used 4.29435 second user time and 12.3231 second system time
The end