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-3692741-1338019922.opb>
0.09/0.10 c original problem has 1020 variables (1020 bin, 0 int, 0 impl, 0 cont) and 43010 constraints
0.09/0.10 c problem read in 0.11
0.19/0.24 c presolving:
0.59/0.67 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 43010 upgd conss, 0 impls, 170 clqs
0.69/0.79 c (0.8s) probing: 51/1020 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.79 c (0.8s) probing aborted: 50/50 successive totally useless probings
0.78/0.83 c presolving (2 rounds):
0.78/0.83 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.78/0.83 c 0 implications, 170 cliques
0.78/0.83 c presolved problem has 1020 variables (1020 bin, 0 int, 0 impl, 0 cont) and 43010 constraints
0.78/0.83 c 170 constraints of type <setppc>
0.78/0.83 c 42840 constraints of type <logicor>
0.78/0.83 c transformed objective value is always integral (scale: 1)
0.78/0.83 c Presolving Time: 0.69
0.78/0.83 c - non default parameters ----------------------------------------------------------------------
0.78/0.83 c # SCIP version 2.1.1.4
0.78/0.83 c
0.78/0.83 c # maximal time in seconds to run
0.78/0.83 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.78/0.83 c limits/time = 1797
0.78/0.83 c
0.78/0.83 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.78/0.83 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.78/0.83 c limits/memory = 13950
0.78/0.83 c
0.78/0.83 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.78/0.83 c # [type: int, range: [1,2], default: 1]
0.78/0.83 c timing/clocktype = 2
0.78/0.83 c
0.78/0.83 c # belongs reading time to solving time?
0.78/0.83 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.78/0.83 c timing/reading = TRUE
0.78/0.83 c
0.78/0.83 c -----------------------------------------------------------------------------------------------
0.78/0.83 c start solving
0.78/0.83 c
1.58/1.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.58/1.63 c 1.6s| 1 | 0 | 1038 | - | 57M| 0 | 306 |1020 | 43k|1020 | 43k| 0 | 59 | 0 | 0.000000e+00 | -- | Inf
16.18/16.20 c 16.2s| 1 | 0 | 8202 | - | 59M| 0 | 306 |1020 | 43k|1020 | 43k| 1 | 59 | 0 | 0.000000e+00 | -- | Inf
21.09/21.10 c 21.1s| 1 | 0 | 8316 | - | 60M| 0 | 307 |1020 | 43k|1020 | 43k| 2 | 59 | 0 | 0.000000e+00 | -- | Inf
26.09/26.11 c 26.1s| 1 | 0 | 8457 | - | 61M| 0 | 307 |1020 | 43k|1020 | 43k| 4 | 59 | 0 | 0.000000e+00 | -- | Inf
28.78/28.82 c 28.8s| 1 | 0 | 8781 | - | 62M| 0 | 318 |1020 | 43k|1020 | 43k| 7 | 59 | 0 | 0.000000e+00 | -- | Inf
34.49/34.53 c 34.5s| 1 | 0 | 8978 | - | 63M| 0 | 318 |1020 | 43k|1020 | 43k| 8 | 59 | 0 | 0.000000e+00 | -- | Inf
40.38/40.41 c 40.4s| 1 | 0 | 9146 | - | 64M| 0 | 318 |1020 | 43k|1020 | 43k| 11 | 59 | 0 | 0.000000e+00 | -- | Inf
61.18/61.24 c 61.2s| 1 | 2 | 9146 | - | 64M| 0 | 318 |1020 | 43k|1020 | 43k| 11 | 59 | 28 | 0.000000e+00 | -- | Inf
199.65/199.70 c 200s| 100 | 84 | 25665 | 166.9 | 66M| 77 | 241 |1020 | 43k|1020 | 43k| 11 | 127 | 547 | 0.000000e+00 | -- | Inf
229.94/230.04 c 230s| 200 | 107 | 43538 | 172.8 | 66M| 77 | 152 |1020 | 43k|1020 | 43k| 11 | 395 | 585 | 0.000000e+00 | -- | Inf
249.13/249.22 c 249s| 300 | 126 | 53317 | 147.7 | 66M| 77 | 154 |1020 | 43k|1020 | 43k| 11 | 596 | 616 | 0.000000e+00 | -- | Inf
259.04/259.17 c 259s| 400 | 129 | 59501 | 126.2 | 67M| 77 | 247 |1020 | 43k|1020 | 43k| 11 | 841 | 637 | 0.000000e+00 | -- | Inf
270.03/270.17 c 270s| 500 | 145 | 65905 | 113.7 | 67M| 77 | 160 |1020 | 43k|1020 | 43k| 11 |1155 | 661 | 0.000000e+00 | -- | Inf
280.03/280.12 c 280s| 600 | 156 | 71568 | 104.2 | 67M| 77 | 185 |1020 | 43k|1020 | 43k| 11 |1467 | 686 | 0.000000e+00 | -- | Inf
289.03/289.14 c 289s| 700 | 163 | 76788 | 96.8 | 67M| 77 | - |1020 | 44k| 0 | 0 | 11 |1767 | 708 | 0.000000e+00 | -- | Inf
297.33/297.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
297.33/297.46 c 297s| 800 | 167 | 81427 | 90.5 | 67M| 77 | 233 |1020 | 44k|1020 | 43k| 11 |2005 | 732 | 0.000000e+00 | -- | Inf
308.23/308.31 c 308s| 900 | 172 | 87587 | 87.3 | 67M| 80 | 187 |1020 | 43k|1020 | 43k| 11 |2237 | 764 | 0.000000e+00 | -- | Inf
316.63/316.80 c 317s| 1000 | 184 | 93337 | 84.3 | 68M| 80 | 248 |1020 | 43k|1020 | 43k| 11 |2496 | 776 | 0.000000e+00 | -- | Inf
323.02/323.14 c 323s| 1100 | 181 | 96557 | 79.5 | 68M| 80 | 240 |1020 | 44k|1020 | 43k| 11 |2755 | 794 | 0.000000e+00 | -- | Inf
332.22/332.35 c 332s| 1200 | 194 |101639 | 77.1 | 68M| 80 | 234 |1020 | 44k|1020 | 43k| 11 |3010 | 819 | 0.000000e+00 | -- | Inf
339.92/340.05 c 340s| 1300 | 197 |106511 | 75.0 | 68M| 80 | - |1020 | 44k| 0 | 0 | 11 |3241 | 832 | 0.000000e+00 | -- | Inf
352.72/352.80 c 353s| 1400 | 203 |113804 | 74.8 | 68M| 80 | 175 |1020 | 44k|1020 | 43k| 11 |3543 | 866 | 0.000000e+00 | -- | Inf
361.92/362.06 c 362s| 1500 | 221 |119003 | 73.3 | 68M| 80 | 211 |1020 | 44k|1020 | 43k| 11 |3831 | 888 | 0.000000e+00 | -- | Inf
372.52/372.69 c 373s| 1600 | 238 |125224 | 72.6 | 69M| 80 | 227 |1020 | 44k|1020 | 43k| 11 |4147 | 916 | 0.000000e+00 | -- | Inf
380.81/380.90 c 381s| 1700 | 249 |129608 | 70.9 | 69M| 80 | 239 |1020 | 44k|1020 | 43k| 11 |4406 | 938 | 0.000000e+00 | -- | Inf
392.01/392.13 c 392s| 1800 | 249 |135433 | 70.2 | 69M| 80 | 234 |1020 | 44k|1020 | 43k| 11 |4641 | 973 | 0.000000e+00 | -- | Inf
402.01/402.17 c 402s| 1900 | 262 |141043 | 69.5 | 69M| 80 | - |1020 | 44k| 0 | 0 | 11 |4922 | 989 | 0.000000e+00 | -- | Inf
414.91/415.06 c 415s| 2000 | 282 |148335 | 69.6 | 69M| 80 | 228 |1020 | 43k|1020 | 43k| 11 |5167 |1020 | 0.000000e+00 | -- | Inf
426.81/426.97 c 427s| 2100 | 297 |154544 | 69.3 | 69M| 80 | 254 |1020 | 43k|1020 | 43k| 11 |5407 |1058 | 0.000000e+00 | -- | Inf
435.21/435.37 c 435s| 2200 | 295 |159657 | 68.4 | 69M| 80 | - |1020 | 44k| 0 | 0 | 11 |5748 |1078 | 0.000000e+00 | -- | Inf
443.21/443.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.21/443.34 c 443s| 2300 | 283 |164162 | 67.4 | 69M| 80 | - |1020 | 44k| 0 | 0 | 11 |6012 |1098 | 0.000000e+00 | -- | Inf
454.81/454.98 c 455s| 2400 | 299 |170181 | 67.1 | 69M| 80 | 239 |1020 | 44k|1020 | 43k| 11 |6235 |1137 | 0.000000e+00 | -- | Inf
463.60/463.79 c 464s| 2500 | 307 |175291 | 66.5 | 69M| 81 | - |1020 | 44k| 0 | 0 | 11 |6537 |1157 | 0.000000e+00 | -- | Inf
472.50/472.64 c 473s| 2600 | 305 |179946 | 65.7 | 69M| 81 | - |1020 | 44k| 0 | 0 | 11 |6826 |1187 | 0.000000e+00 | -- | Inf
481.60/481.78 c 482s| 2700 | 302 |184951 | 65.1 | 69M| 81 | - |1020 | 44k| 0 | 0 | 11 |7107 |1215 | 0.000000e+00 | -- | Inf
490.80/490.96 c 491s| 2800 | 308 |190444 | 64.8 | 69M| 81 | 146 |1020 | 44k|1020 | 43k| 11 |7412 |1235 | 0.000000e+00 | -- | Inf
500.70/500.85 c 501s| 2900 | 313 |195788 | 64.4 | 69M| 81 | - |1020 | 44k| 0 | 0 | 11 |7657 |1262 | 0.000000e+00 | -- | Inf
512.29/512.41 c 512s| 3000 | 328 |202020 | 64.3 | 70M| 81 | - |1020 | 44k| 0 | 0 | 11 |7923 |1307 | 0.000000e+00 | -- | Inf
521.79/521.91 c 522s| 3100 | 331 |207351 | 64.0 | 70M| 81 | 287 |1020 | 44k|1020 | 43k| 11 |8212 |1334 | 0.000000e+00 | -- | Inf
533.99/534.13 c 534s| 3200 | 353 |213799 | 64.0 | 70M| 81 | - |1020 | 44k| 0 | 0 | 11 |8432 |1370 | 0.000000e+00 | -- | Inf
543.58/543.76 c 544s| 3300 | 343 |219039 | 63.6 | 70M| 81 | 247 |1020 | 44k|1020 | 43k| 11 |8676 |1397 | 0.000000e+00 | -- | Inf
553.49/553.61 c 554s| 3400 | 351 |224395 | 63.3 | 70M| 81 | 169 |1020 | 44k|1020 | 43k| 11 |8880 |1433 | 0.000000e+00 | -- | Inf
562.48/562.65 c 563s| 3500 | 349 |229254 | 62.9 | 70M| 81 | 252 |1020 | 44k|1020 | 43k| 11 |9222 |1466 | 0.000000e+00 | -- | Inf
571.39/571.51 c 572s| 3600 | 350 |233927 | 62.5 | 70M| 81 | 216 |1020 | 44k|1020 | 43k| 11 |9480 |1489 | 0.000000e+00 | -- | Inf
581.89/582.09 c 582s| 3700 | 353 |239268 | 62.2 | 70M| 81 | - |1020 | 44k| 0 | 0 | 11 |9676 |1512 | 0.000000e+00 | -- | Inf
598.29/598.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
598.29/598.47 c 598s| 3800 | 363 |250899 | 63.6 | 70M| 81 | 205 |1020 | 44k|1020 | 43k| 11 |9935 |1542 | 0.000000e+00 | -- | Inf
607.88/608.02 c 608s| 3900 | 359 |256809 | 63.5 | 70M| 81 | 196 |1020 | 44k|1020 | 43k| 11 | 10k|1565 | 0.000000e+00 | -- | Inf
619.09/619.25 c 619s| 4000 | 357 |262494 | 63.4 | 70M| 81 | - |1020 | 44k| 0 | 0 | 11 | 10k|1601 | 0.000000e+00 | -- | Inf
626.68/626.84 c 627s| 4100 | 356 |267259 | 63.0 | 70M| 81 | 255 |1020 | 44k|1020 | 43k| 11 | 10k|1615 | 0.000000e+00 | -- | Inf
633.87/634.00 c 634s| 4200 | 361 |272701 | 62.8 | 70M| 81 | - |1020 | 44k| 0 | 0 | 11 | 11k|1620 | 0.000000e+00 | -- | Inf
638.48/638.68 c 639s| 4300 | 360 |276407 | 62.2 | 70M| 81 | 234 |1020 | 44k|1020 | 43k| 11 | 11k|1620 | 0.000000e+00 | -- | Inf
644.07/644.25 c 644s| 4400 | 373 |280871 | 61.8 | 71M| 81 | 230 |1020 | 44k|1020 | 43k| 11 | 11k|1621 | 0.000000e+00 | -- | Inf
663.18/663.30 c 663s| 4500 | 387 |287960 | 62.0 | 71M| 81 | 203 |1020 | 44k|1020 | 43k| 11 | 11k|1685 | 0.000000e+00 | -- | Inf
670.78/671.00 c 671s| 4600 | 386 |294473 | 62.0 | 71M| 81 | 251 |1020 | 44k|1020 | 43k| 11 | 11k|1687 | 0.000000e+00 | -- | Inf
676.27/676.47 c 676s| 4700 | 387 |298516 | 61.6 | 71M| 81 | 199 |1020 | 44k|1020 | 43k| 11 | 12k|1689 | 0.000000e+00 | -- | Inf
685.97/686.18 c 686s| 4800 | 408 |304909 | 61.6 | 71M| 81 | - |1020 | 44k| 0 | 0 | 11 | 12k|1696 | 0.000000e+00 | -- | Inf
691.67/691.89 c 692s| 4900 | 415 |309402 | 61.3 | 71M| 81 | - |1020 | 45k| 0 | 0 | 11 | 12k|1697 | 0.000000e+00 | -- | Inf
698.57/698.79 c 699s| 5000 | 422 |315057 | 61.2 | 72M| 81 | 211 |1020 | 45k|1020 | 43k| 11 | 12k|1697 | 0.000000e+00 | -- | Inf
705.07/705.29 c 705s| 5100 | 421 |320420 | 61.0 | 72M| 81 | 239 |1020 | 45k|1020 | 43k| 11 | 13k|1698 | 0.000000e+00 | -- | Inf
711.06/711.29 c 711s| 5200 | 424 |325375 | 60.8 | 72M| 81 | - |1020 | 45k| 0 | 0 | 11 | 13k|1699 | 0.000000e+00 | -- | Inf
717.46/717.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
717.46/717.64 c 718s| 5300 | 427 |330563 | 60.7 | 72M| 81 | 251 |1020 | 45k|1020 | 43k| 11 | 13k|1700 | 0.000000e+00 | -- | Inf
724.46/724.62 c 725s| 5400 | 434 |336507 | 60.6 | 72M| 81 | - |1020 | 45k| 0 | 0 | 11 | 13k|1701 | 0.000000e+00 | -- | Inf
731.56/731.72 c 732s| 5500 | 437 |342504 | 60.6 | 72M| 81 | 239 |1020 | 45k|1020 | 43k| 11 | 14k|1701 | 0.000000e+00 | -- | Inf
737.06/737.25 c 737s| 5600 | 429 |346874 | 60.3 | 72M| 81 | - |1020 | 45k| 0 | 0 | 11 | 14k|1701 | 0.000000e+00 | -- | Inf
746.96/747.16 c 747s| 5700 | 444 |353010 | 60.3 | 72M| 81 | - |1020 | 45k| 0 | 0 | 11 | 14k|1717 | 0.000000e+00 | -- | Inf
752.76/752.97 c 753s| 5800 | 442 |357743 | 60.1 | 72M| 81 | - |1020 | 45k| 0 | 0 | 11 | 14k|1717 | 0.000000e+00 | -- | Inf
761.36/761.57 c 762s| 5900 | 442 |363665 | 60.1 | 72M| 81 | 210 |1020 | 45k|1020 | 43k| 11 | 14k|1729 | 0.000000e+00 | -- | Inf
772.06/772.27 c 772s| 6000 | 443 |369597 | 60.1 | 72M| 81 | 170 |1020 | 45k|1020 | 43k| 11 | 15k|1752 | 0.000000e+00 | -- | Inf
790.35/790.54 c 791s| 6100 | 452 |376219 | 60.2 | 72M| 81 | 209 |1020 | 45k|1020 | 43k| 11 | 15k|1810 | 0.000000e+00 | -- | Inf
801.05/801.27 c 801s| 6200 | 459 |382530 | 60.2 | 72M| 81 | - |1020 | 45k| 0 | 0 | 11 | 15k|1825 | 0.000000e+00 | -- | Inf
807.25/807.43 c 807s| 6300 | 465 |387537 | 60.1 | 72M| 81 | 238 |1020 | 45k|1020 | 43k| 11 | 15k|1826 | 0.000000e+00 | -- | Inf
817.35/817.55 c 818s| 6400 | 481 |393091 | 60.0 | 72M| 81 | 236 |1020 | 45k|1020 | 43k| 11 | 16k|1834 | 0.000000e+00 | -- | Inf
823.76/823.93 c 824s| 6500 | 480 |398030 | 59.8 | 73M| 81 | - |1020 | 45k| 0 | 0 | 11 | 16k|1840 | 0.000000e+00 | -- | Inf
835.75/835.95 c 836s| 6600 | 489 |404014 | 59.8 | 72M| 81 | 233 |1020 | 45k|1020 | 43k| 11 | 16k|1868 | 0.000000e+00 | -- | Inf
844.14/844.35 c 844s| 6700 | 488 |409346 | 59.7 | 72M| 81 | 267 |1020 | 45k|1020 | 43k| 11 | 17k|1879 | 0.000000e+00 | -- | Inf
851.25/851.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
851.25/851.45 c 851s| 6800 | 500 |413754 | 59.5 | 73M| 81 | - |1020 | 45k| 0 | 0 | 11 | 17k|1888 | 0.000000e+00 | -- | Inf
861.94/862.19 c 862s| 6900 | 509 |419771 | 59.5 | 73M| 81 | 203 |1020 | 45k|1020 | 43k| 11 | 17k|1913 | 0.000000e+00 | -- | Inf
871.05/871.29 c 871s| 7000 | 508 |424877 | 59.4 | 73M| 81 | 237 |1020 | 45k|1020 | 43k| 11 | 17k|1932 | 0.000000e+00 | -- | Inf
882.33/882.56 c 883s| 7100 | 512 |431922 | 59.6 | 73M| 81 | 222 |1020 | 45k|1020 | 43k| 11 | 17k|1953 | 0.000000e+00 | -- | Inf
893.13/893.31 c 893s| 7200 | 511 |438261 | 59.6 | 73M| 81 | 164 |1020 | 45k|1020 | 43k| 11 | 18k|1976 | 0.000000e+00 | -- | Inf
903.04/903.21 c 903s| 7300 | 523 |443385 | 59.5 | 73M| 81 | - |1020 | 45k| 0 | 0 | 11 | 18k|2000 | 0.000000e+00 | -- | Inf
912.74/912.99 c 913s| 7400 | 527 |448553 | 59.4 | 73M| 81 | 218 |1020 | 44k|1020 | 43k| 11 | 18k|2020 | 0.000000e+00 | -- | Inf
923.63/923.88 c 924s| 7500 | 525 |454623 | 59.4 | 73M| 81 | - |1020 | 45k| 0 | 0 | 11 | 18k|2056 | 0.000000e+00 | -- | Inf
933.83/934.03 c 934s| 7600 | 532 |460650 | 59.4 | 73M| 81 | 198 |1020 | 45k|1020 | 43k| 11 | 19k|2076 | 0.000000e+00 | -- | Inf
941.33/941.54 c 942s| 7700 | 536 |464723 | 59.2 | 73M| 82 | - |1020 | 45k| 0 | 0 | 11 | 19k|2099 | 0.000000e+00 | -- | Inf
951.53/951.75 c 952s| 7800 | 535 |470053 | 59.1 | 73M| 83 | 240 |1020 | 45k|1020 | 43k| 11 | 19k|2127 | 0.000000e+00 | -- | Inf
959.23/959.43 c 959s| 7900 | 536 |474860 | 59.0 | 73M| 83 | 188 |1020 | 45k|1020 | 43k| 11 | 20k|2150 | 0.000000e+00 | -- | Inf
968.23/968.43 c 968s| 8000 | 535 |480120 | 58.9 | 73M| 83 | 176 |1020 | 45k|1020 | 43k| 11 | 20k|2176 | 0.000000e+00 | -- | Inf
978.32/978.50 c 978s| 8100 | 532 |485019 | 58.8 | 73M| 83 | - |1020 | 45k| 0 | 0 | 11 | 20k|2214 | 0.000000e+00 | -- | Inf
988.02/988.22 c 988s| 8200 | 541 |490631 | 58.7 | 73M| 83 | 217 |1020 | 45k|1020 | 43k| 11 | 20k|2245 | 0.000000e+00 | -- | Inf
995.52/995.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
995.52/995.72 c 996s| 8300 | 543 |495786 | 58.6 | 73M| 83 | 233 |1020 | 45k|1020 | 43k| 11 | 21k|2256 | 0.000000e+00 | -- | Inf
1005.82/1006.02 c 1006s| 8400 | 547 |500352 | 58.5 | 73M| 83 | 252 |1020 | 45k|1020 | 43k| 11 | 21k|2296 | 0.000000e+00 | -- | Inf
1013.92/1014.12 c 1014s| 8500 | 554 |506003 | 58.5 | 73M| 83 | - |1020 | 45k| 0 | 0 | 11 | 21k|2313 | 0.000000e+00 | -- | Inf
1023.62/1023.88 c 1024s| 8600 | 557 |511508 | 58.4 | 74M| 83 | 231 |1020 | 45k|1020 | 43k| 11 | 21k|2343 | 0.000000e+00 | -- | Inf
1034.82/1035.07 c 1035s| 8700 | 558 |517477 | 58.4 | 74M| 83 | 264 |1020 | 45k|1020 | 43k| 11 | 22k|2377 | 0.000000e+00 | -- | Inf
1041.52/1041.79 c 1042s| 8800 | 569 |522110 | 58.3 | 74M| 83 | 209 |1020 | 45k|1020 | 43k| 11 | 22k|2388 | 0.000000e+00 | -- | Inf
1047.42/1047.64 c 1048s| 8900 | 572 |525930 | 58.1 | 74M| 83 | 169 |1020 | 45k|1020 | 43k| 11 | 22k|2396 | 0.000000e+00 | -- | Inf
1055.21/1055.40 c 1055s| 9000 | 575 |531029 | 58.0 | 74M| 83 | 220 |1020 | 45k|1020 | 43k| 11 | 23k|2410 | 0.000000e+00 | -- | Inf
1061.22/1061.42 c 1061s| 9100 | 569 |536093 | 57.9 | 74M| 83 | 252 |1020 | 45k|1020 | 43k| 11 | 23k|2410 | 0.000000e+00 | -- | Inf
1068.41/1068.69 c 1069s| 9200 | 577 |541711 | 57.9 | 74M| 83 | - |1020 | 45k| 0 | 0 | 11 | 23k|2415 | 0.000000e+00 | -- | Inf
1074.11/1074.35 c 1074s| 9300 | 576 |545995 | 57.7 | 74M| 83 | 185 |1020 | 45k|1020 | 43k| 11 | 23k|2419 | 0.000000e+00 | -- | Inf
1079.81/1080.04 c 1080s| 9400 | 588 |550566 | 57.6 | 74M| 83 | - |1020 | 45k| 0 | 0 | 11 | 24k|2420 | 0.000000e+00 | -- | Inf
1085.51/1085.79 c 1086s| 9500 | 583 |555359 | 57.5 | 74M| 83 | - |1020 | 45k| 0 | 0 | 11 | 24k|2421 | 0.000000e+00 | -- | Inf
1092.41/1092.65 c 1093s| 9600 | 589 |560491 | 57.4 | 74M| 83 | 235 |1020 | 45k|1020 | 43k| 11 | 24k|2426 | 0.000000e+00 | -- | Inf
1108.11/1108.36 c 1108s| 9700 | 601 |566701 | 57.5 | 74M| 83 | 267 |1020 | 45k|1020 | 43k| 11 | 24k|2477 | 0.000000e+00 | -- | Inf
1116.00/1116.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1116.00/1116.20 c 1116s| 9800 | 606 |572156 | 57.5 | 74M| 83 | - |1020 | 45k| 0 | 0 | 11 | 25k|2477 | 0.000000e+00 | -- | Inf
1122.60/1122.80 c 1123s| 9900 | 609 |577736 | 57.4 | 74M| 83 | 258 |1020 | 45k|1020 | 43k| 11 | 25k|2478 | 0.000000e+00 | -- | Inf
1128.71/1128.93 c 1129s| 10000 | 612 |582793 | 57.4 | 74M| 83 | 245 |1020 | 45k|1020 | 43k| 11 | 25k|2479 | 0.000000e+00 | -- | Inf
1145.40/1145.61 c 1146s| 10100 | 625 |588631 | 57.4 | 74M| 83 | 254 |1020 | 45k|1020 | 43k| 11 | 25k|2538 | 0.000000e+00 | -- | Inf
1151.20/1151.40 c 1151s| 10200 | 625 |592707 | 57.2 | 74M| 83 | - |1020 | 45k| 0 | 0 | 11 | 26k|2544 | 0.000000e+00 | -- | Inf
1156.20/1156.46 c 1156s| 10300 | 627 |596854 | 57.1 | 74M| 83 | 245 |1020 | 45k|1020 | 43k| 11 | 26k|2544 | 0.000000e+00 | -- | Inf
1161.80/1162.02 c 1162s| 10400 | 630 |601220 | 56.9 | 75M| 83 | 244 |1020 | 45k|1020 | 43k| 11 | 26k|2545 | 0.000000e+00 | -- | Inf
1167.29/1167.53 c 1168s| 10500 | 635 |605518 | 56.8 | 75M| 83 | - |1020 | 45k| 0 | 0 | 11 | 26k|2547 | 0.000000e+00 | -- | Inf
1172.69/1172.91 c 1173s| 10600 | 629 |609897 | 56.7 | 75M| 85 | - |1020 | 45k| 0 | 0 | 11 | 26k|2547 | 0.000000e+00 | -- | Inf
1182.19/1182.50 c 1182s| 10700 | 636 |614737 | 56.6 | 75M| 85 | 359 |1020 | 45k|1020 | 43k| 11 | 27k|2568 | 0.000000e+00 | -- | Inf
1193.20/1193.48 c 1193s| 10800 | 649 |622021 | 56.8 | 75M| 85 | 216 |1020 | 45k|1020 | 43k| 11 | 27k|2571 | 0.000000e+00 | -- | Inf
1201.19/1201.44 c 1201s| 10900 | 654 |628919 | 56.9 | 75M| 85 | 237 |1020 | 45k|1020 | 43k| 11 | 27k|2573 | 0.000000e+00 | -- | Inf
1207.09/1207.39 c 1207s| 11000 | 668 |633808 | 56.8 | 75M| 85 | - |1020 | 45k| 0 | 0 | 11 | 27k|2573 | 0.000000e+00 | -- | Inf
1213.39/1213.62 c 1214s| 11100 | 669 |639139 | 56.8 | 75M| 85 | 231 |1020 | 45k|1020 | 43k| 11 | 28k|2573 | 0.000000e+00 | -- | Inf
1218.18/1218.49 c 1218s| 11200 | 669 |642897 | 56.6 | 75M| 85 | - |1020 | 45k| 0 | 0 | 11 | 28k|2574 | 0.000000e+00 | -- | Inf
1223.59/1223.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1223.59/1223.82 c 1224s| 11300 | 664 |647277 | 56.5 | 75M| 85 | - |1020 | 45k| 0 | 0 | 11 | 28k|2574 | 0.000000e+00 | -- | Inf
1229.09/1229.34 c 1229s| 11400 | 674 |651740 | 56.4 | 76M| 85 | - |1020 | 45k| 0 | 0 | 11 | 29k|2574 | 0.000000e+00 | -- | Inf
1234.59/1234.82 c 1235s| 11500 | 678 |656126 | 56.3 | 76M| 85 | 277 |1020 | 46k|1020 | 43k| 11 | 29k|2574 | 0.000000e+00 | -- | Inf
1240.38/1240.62 c 1241s| 11600 | 681 |661222 | 56.2 | 76M| 85 | 215 |1020 | 46k|1020 | 43k| 11 | 29k|2574 | 0.000000e+00 | -- | Inf
1246.68/1246.99 c 1247s| 11700 | 690 |666751 | 56.2 | 76M| 85 | 239 |1020 | 46k|1020 | 43k| 11 | 29k|2574 | 0.000000e+00 | -- | Inf
1251.98/1252.20 c 1252s| 11800 | 689 |670883 | 56.1 | 76M| 85 | - |1020 | 46k| 0 | 0 | 11 | 29k|2574 | 0.000000e+00 | -- | Inf
1259.08/1259.40 c 1259s| 11900 | 689 |675341 | 56.0 | 76M| 85 | 190 |1020 | 46k|1020 | 43k| 11 | 30k|2584 | 0.000000e+00 | -- | Inf
1267.38/1267.63 c 1268s| 12000 | 676 |680676 | 56.0 | 76M| 85 | 284 |1020 | 46k|1020 | 43k| 11 | 30k|2600 | 0.000000e+00 | -- | Inf
1275.68/1275.92 c 1276s| 12100 | 684 |685617 | 55.9 | 76M| 85 | 196 |1020 | 46k|1020 | 43k| 11 | 30k|2622 | 0.000000e+00 | -- | Inf
1284.08/1284.39 c 1284s| 12200 | 684 |690514 | 55.9 | 76M| 85 | - |1020 | 46k| 0 | 0 | 11 | 30k|2638 | 0.000000e+00 | -- | Inf
1290.98/1291.26 c 1291s| 12300 | 691 |694944 | 55.8 | 76M| 85 | 245 |1020 | 46k|1020 | 43k| 11 | 31k|2648 | 0.000000e+00 | -- | Inf
1297.48/1297.77 c 1298s| 12400 | 691 |698907 | 55.6 | 77M| 85 | 254 |1020 | 46k|1020 | 43k| 11 | 31k|2658 | 0.000000e+00 | -- | Inf
1305.27/1305.55 c 1306s| 12500 | 690 |703699 | 55.6 | 76M| 85 | - |1020 | 46k| 0 | 0 | 11 | 31k|2676 | 0.000000e+00 | -- | Inf
1314.78/1315.08 c 1315s| 12600 | 692 |709551 | 55.6 | 76M| 85 | 214 |1020 | 45k|1020 | 43k| 11 | 31k|2693 | 0.000000e+00 | -- | Inf
1321.37/1321.60 c 1322s| 12700 | 690 |713772 | 55.5 | 76M| 85 | - |1020 | 45k| 0 | 0 | 11 | 31k|2704 | 0.000000e+00 | -- | Inf
1330.77/1331.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1330.77/1331.03 c 1331s| 12800 | 692 |719127 | 55.5 | 76M| 85 | - |1020 | 45k| 0 | 0 | 11 | 32k|2725 | 0.000000e+00 | -- | Inf
1338.48/1338.75 c 1339s| 12900 | 698 |724279 | 55.4 | 76M| 85 | 234 |1020 | 45k|1020 | 43k| 11 | 32k|2741 | 0.000000e+00 | -- | Inf
1369.76/1370.08 c 1370s| 13000 | 712 |743813 | 56.5 | 76M| 85 | - |1020 | 45k| 0 | 0 | 11 | 32k|2765 | 0.000000e+00 | -- | Inf
1377.37/1377.63 c 1378s| 13100 | 711 |749047 | 56.5 | 76M| 85 | - |1020 | 45k| 0 | 0 | 11 | 32k|2781 | 0.000000e+00 | -- | Inf
1388.06/1388.38 c 1388s| 13200 | 715 |755807 | 56.6 | 76M| 85 | - |1020 | 45k| 0 | 0 | 11 | 33k|2804 | 0.000000e+00 | -- | Inf
1397.26/1397.51 c 1398s| 13300 | 711 |761367 | 56.6 | 76M| 85 | 252 |1020 | 45k|1020 | 43k| 11 | 33k|2821 | 0.000000e+00 | -- | Inf
1409.97/1410.25 c 1410s| 13400 | 726 |768575 | 56.7 | 76M| 85 | 271 |1020 | 45k|1020 | 43k| 11 | 33k|2847 | 0.000000e+00 | -- | Inf
1418.16/1418.44 c 1418s| 13500 | 731 |773321 | 56.6 | 76M| 85 | 223 |1020 | 45k|1020 | 43k| 11 | 33k|2857 | 0.000000e+00 | -- | Inf
1427.26/1427.59 c 1428s| 13600 | 731 |778549 | 56.6 | 76M| 85 | - |1020 | 45k| 0 | 0 | 11 | 34k|2886 | 0.000000e+00 | -- | Inf
1434.86/1435.12 c 1435s| 13700 | 733 |783400 | 56.5 | 76M| 85 | 248 |1020 | 46k|1020 | 43k| 11 | 34k|2897 | 0.000000e+00 | -- | Inf
1444.06/1444.33 c 1444s| 13800 | 729 |788269 | 56.5 | 76M| 85 | - |1020 | 46k| 0 | 0 | 11 | 34k|2927 | 0.000000e+00 | -- | Inf
1451.55/1451.81 c 1452s| 13900 | 729 |793142 | 56.4 | 76M| 85 | - |1020 | 46k| 0 | 0 | 11 | 35k|2945 | 0.000000e+00 | -- | Inf
1458.75/1459.05 c 1459s| 14000 | 728 |797927 | 56.3 | 76M| 85 | - |1020 | 46k| 0 | 0 | 11 | 35k|2956 | 0.000000e+00 | -- | Inf
1468.05/1468.31 c 1468s| 14100 | 747 |803199 | 56.3 | 77M| 85 | 232 |1020 | 46k|1020 | 43k| 11 | 35k|2978 | 0.000000e+00 | -- | Inf
1477.34/1477.61 c 1478s| 14200 | 755 |808294 | 56.3 | 77M| 85 | 188 |1020 | 46k|1020 | 43k| 11 | 36k|2996 | 0.000000e+00 | -- | Inf
1486.65/1486.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1486.65/1486.96 c 1487s| 14300 | 745 |814634 | 56.3 | 77M| 85 | 232 |1020 | 46k|1020 | 43k| 11 | 36k|3010 | 0.000000e+00 | -- | Inf
1496.74/1497.09 c 1497s| 14400 | 756 |820647 | 56.4 | 77M| 85 | 165 |1020 | 46k|1020 | 43k| 11 | 36k|3032 | 0.000000e+00 | -- | Inf
1503.94/1504.21 c 1504s| 14500 | 753 |825333 | 56.3 | 77M| 85 | 192 |1020 | 46k|1020 | 43k| 11 | 36k|3041 | 0.000000e+00 | -- | Inf
1514.04/1514.32 c 1514s| 14600 | 755 |830845 | 56.3 | 77M| 85 | 185 |1020 | 45k|1020 | 43k| 11 | 37k|3080 | 0.000000e+00 | -- | Inf
1522.44/1522.79 c 1523s| 14700 | 766 |835653 | 56.2 | 77M| 85 | - |1020 | 45k| 0 | 0 | 11 | 37k|3099 | 0.000000e+00 | -- | Inf
1531.14/1531.42 c 1531s| 14800 | 770 |840385 | 56.2 | 77M| 85 | - |1020 | 45k| 0 | 0 | 11 | 37k|3125 | 0.000000e+00 | -- | Inf
1538.34/1538.69 c 1539s| 14900 | 781 |845103 | 56.1 | 77M| 85 | 223 |1020 | 45k|1020 | 43k| 11 | 37k|3136 | 0.000000e+00 | -- | Inf
1545.74/1546.02 c 1546s| 15000 | 779 |849443 | 56.0 | 77M| 85 | 224 |1020 | 45k|1020 | 43k| 11 | 37k|3157 | 0.000000e+00 | -- | Inf
1554.05/1554.31 c 1554s| 15100 | 779 |854142 | 56.0 | 77M| 85 | 245 |1020 | 45k|1020 | 43k| 11 | 38k|3180 | 0.000000e+00 | -- | Inf
1566.33/1566.67 c 1567s| 15200 | 790 |862718 | 56.2 | 77M| 85 | 223 |1020 | 45k|1020 | 43k| 11 | 38k|3203 | 0.000000e+00 | -- | Inf
1574.24/1574.53 c 1575s| 15300 | 795 |867567 | 56.1 | 77M| 85 | - |1020 | 45k| 0 | 0 | 11 | 38k|3221 | 0.000000e+00 | -- | Inf
1612.23/1612.51 c 1613s| 15400 | 803 |873669 | 56.1 | 77M| 85 | 240 |1020 | 45k|1020 | 43k| 11 | 38k|3389 | 0.000000e+00 | -- | Inf
1618.93/1619.20 c 1619s| 15500 | 817 |879388 | 56.1 | 77M| 85 | - |1020 | 45k| 0 | 0 | 11 | 39k|3389 | 0.000000e+00 | -- | Inf
1624.12/1624.47 c 1624s| 15600 | 817 |883528 | 56.1 | 77M| 85 | - |1020 | 45k| 0 | 0 | 11 | 39k|3389 | 0.000000e+00 | -- | Inf
1630.23/1630.50 c 1630s| 15700 | 822 |888504 | 56.0 | 77M| 85 | 246 |1020 | 45k|1020 | 43k| 11 | 39k|3389 | 0.000000e+00 | -- | Inf
1636.72/1637.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1636.72/1637.08 c 1637s| 15800 | 828 |894517 | 56.0 | 77M| 85 | 241 |1020 | 45k|1020 | 43k| 11 | 40k|3389 | 0.000000e+00 | -- | Inf
1641.42/1641.71 c 1642s| 15900 | 832 |898351 | 55.9 | 78M| 85 | 261 |1020 | 45k|1020 | 43k| 11 | 40k|3389 | 0.000000e+00 | -- | Inf
1646.32/1646.64 c 1647s| 16000 | 829 |902513 | 55.8 | 78M| 85 | - |1020 | 45k| 0 | 0 | 11 | 40k|3389 | 0.000000e+00 | -- | Inf
1651.93/1652.23 c 1652s| 16100 | 834 |907390 | 55.8 | 78M| 85 | 226 |1020 | 45k|1020 | 43k| 11 | 40k|3389 | 0.000000e+00 | -- | Inf
1682.42/1682.79 c 1683s| 16200 | 849 |920034 | 56.2 | 78M| 85 | 188 |1020 | 45k|1020 | 43k| 11 | 41k|3487 | 0.000000e+00 | -- | Inf
1689.11/1689.42 c 1689s| 16300 | 855 |925597 | 56.2 | 78M| 85 | 254 |1020 | 45k|1020 | 43k| 11 | 41k|3487 | 0.000000e+00 | -- | Inf
1694.83/1695.16 c 1695s| 16400 | 857 |930745 | 56.2 | 78M| 85 | 235 |1020 | 45k|1020 | 43k| 11 | 41k|3487 | 0.000000e+00 | -- | Inf
1700.01/1700.30 c 1700s| 16500 | 854 |935061 | 56.1 | 78M| 85 | 275 |1020 | 45k|1020 | 43k| 11 | 41k|3487 | 0.000000e+00 | -- | Inf
1706.01/1706.38 c 1706s| 16600 | 861 |940453 | 56.1 | 78M| 85 | - |1020 | 45k| 0 | 0 | 11 | 42k|3487 | 0.000000e+00 | -- | Inf
1718.71/1719.02 c 1719s| 16700 | 879 |946167 | 56.1 | 78M| 85 | 233 |1020 | 45k|1020 | 43k| 11 | 42k|3503 | 0.000000e+00 | -- | Inf
1724.21/1724.59 c 1725s| 16800 | 877 |950669 | 56.0 | 78M| 85 | 270 |1020 | 45k|1020 | 43k| 11 | 42k|3503 | 0.000000e+00 | -- | Inf
1730.50/1730.81 c 1731s| 16900 | 875 |955870 | 56.0 | 78M| 85 | - |1020 | 45k| 0 | 0 | 11 | 42k|3503 | 0.000000e+00 | -- | Inf
1736.71/1737.09 c 1737s| 17000 | 888 |960895 | 56.0 | 78M| 85 | - |1020 | 45k| 0 | 0 | 11 | 43k|3503 | 0.000000e+00 | -- | Inf
1743.30/1743.65 c 1744s| 17100 | 895 |966321 | 56.0 | 78M| 85 | 242 |1020 | 45k|1020 | 43k| 11 | 43k|3503 | 0.000000e+00 | -- | Inf
1768.70/1769.05 c 1769s| 17200 | 908 |972307 | 56.0 | 78M| 85 | 360 |1020 | 45k|1020 | 43k| 11 | 43k|3614 | 0.000000e+00 | -- | Inf
1778.30/1778.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1778.30/1778.63 c 1779s| 17300 | 913 |977942 | 56.0 | 78M| 85 | 198 |1020 | 45k|1020 | 43k| 11 | 43k|3626 | 0.000000e+00 | -- | Inf
1784.60/1784.91 c 1785s| 17400 | 914 |983292 | 56.0 | 79M| 85 | - |1020 | 45k| 0 | 0 | 11 | 43k|3626 | 0.000000e+00 | -- | Inf
1791.20/1791.55 c 1792s| 17500 | 919 |988715 | 56.0 | 79M| 85 | 214 |1020 | 45k|1020 | 43k| 11 | 44k|3626 | 0.000000e+00 | -- | Inf
1796.69/1797.01 c
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Solving Time (sec) : 1797.01
1796.69/1797.01 c Solving Nodes : 17583
1796.69/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.69/1797.01 c Dual Bound : +0.00000000000000e+00
1796.69/1797.01 c Gap : infinite
1796.69/1797.01 s UNKNOWN
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Total Time : 1797.01
1796.69/1797.01 c solving : 1797.01
1796.69/1797.01 c presolving : 0.69 (included in solving)
1796.69/1797.01 c reading : 0.11 (included in solving)
1796.69/1797.01 c copying : 0.07 (1 #copies) (minimal 0.07, maximal 0.07, average 0.07)
1796.69/1797.01 c Original Problem :
1796.69/1797.01 c Problem name : HOME/instance-3692741-1338019922.opb
1796.69/1797.01 c Variables : 1020 (1020 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 43010 initial, 43010 maximal
1796.69/1797.01 c Objective sense : minimize
1796.69/1797.01 c Presolved Problem :
1796.69/1797.01 c Problem name : t_HOME/instance-3692741-1338019922.opb
1796.69/1797.01 c Variables : 1020 (1020 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 43010 initial, 47037 maximal
1796.69/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c gateextraction : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c components : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c probing : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c linear : 0.29 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c logicor : 0.20 0.02 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c root node : - - 0 - - 0 - - - - -
1796.69/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c integral : 0 0 0 0 11954 0 4 0 61 544 0 0 23384
1796.69/1797.01 c setppc : 170 170 6 111467 0 1 3 161898 3803 193646 0 0 0
1796.69/1797.01 c logicor : 42840+ 46867 6 90100 0 1 0 1046759 6372 824955 0 0 0
1796.69/1797.01 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.69/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.01 c integral : 553.83 0.00 0.00 0.00 553.83 0.00 0.00 0.00
1796.69/1797.01 c setppc : 5.13 0.00 0.00 4.80 0.00 0.00 0.00 0.33
1796.69/1797.01 c logicor : 26.45 0.02 0.02 24.83 0.00 0.00 0.00 1.57
1796.69/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.01 c rootredcost : 0 0 0 0
1796.69/1797.01 c pseudoobj : 0 0 0 0
1796.69/1797.01 c vbounds : 0 0 0 0
1796.69/1797.01 c redcost : 11960 0 0 0
1796.69/1797.01 c probing : 0 0 0 0
1796.69/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.01 c rootredcost : 0.11 0.00 0.00 0.11 0.00
1796.69/1797.01 c pseudoobj : 0.11 0.00 0.00 0.11 0.00
1796.69/1797.01 c vbounds : 0.10 0.00 0.00 0.10 0.00
1796.69/1797.01 c redcost : 0.29 0.00 0.00 0.29 0.00
1796.69/1797.01 c probing : 0.02 0.00 0.02 0.00 0.00
1796.69/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.01 c propagation : 6.95 10175 10169 368560 95.5 661 49.4 -
1796.69/1797.01 c infeasible LP : 0.04 21 21 752 97.5 0 0.0 0
1796.69/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c applied globally : - - - 44389 63.7 - - -
1796.69/1797.01 c applied locally : - - - 0 0.0 - - -
1796.69/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.01 c cut pool : 0.00 5 - - 722 - (maximal pool size: 1903)
1796.69/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c impliedbounds : 0.00 0.00 6 0 0 0 0
1796.69/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c gomory : 21.85 0.00 6 0 0 103 0
1796.69/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c strongcg : 1.03 0.00 6 0 0 3000 0
1796.69/1797.01 c cmir : 1.17 0.00 6 0 0 0 0
1796.69/1797.01 c flowcover : 3.51 0.00 6 0 0 0 0
1796.69/1797.01 c clique : 0.01 0.00 6 0 0 0 0
1796.69/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c mcf : 0.03 0.00 1 0 0 0 0
1796.69/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.01 c problem variables: 0.00 - 0 0
1796.69/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c relpscost : 553.77 0.00 11954 61 544 0 0 23384
1796.69/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c inference : 0.00 0.00 1 0 0 0 0 2
1796.69/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.01 c LP solutions : 0.00 - - 0
1796.69/1797.01 c pseudo solutions : 0.00 - - 0
1796.69/1797.01 c oneopt : 0.04 0.00 0 0
1796.69/1797.01 c crossover : 0.02 0.00 0 0
1796.69/1797.01 c guideddiving : 0.00 0.00 0 0
1796.69/1797.01 c intshifting : 0.00 0.00 0 0
1796.69/1797.01 c fracdiving : 13.01 0.00 10 0
1796.69/1797.01 c veclendiving : 2.38 0.00 10 0
1796.69/1797.01 c feaspump : 37.26 0.00 5 0
1796.69/1797.01 c coefdiving : 22.88 0.00 11 0
1796.69/1797.01 c pscostdiving : 10.78 0.00 11 0
1796.69/1797.01 c linesearchdiving : 7.51 0.00 11 0
1796.69/1797.01 c objpscostdiving : 2.12 0.00 6 0
1796.69/1797.01 c rootsoldiving : 7.18 0.00 6 0
1796.69/1797.01 c smallcard : 0.00 0.00 0 0
1796.69/1797.01 c trivial : 0.01 0.00 2 0
1796.69/1797.01 c shiftandpropagate: 0.12 0.00 1 0
1796.69/1797.01 c simplerounding : 0.02 0.00 0 0
1796.69/1797.01 c zirounding : 14.36 0.00 0 0
1796.69/1797.01 c rounding : 6.22 0.00 1504 0
1796.69/1797.01 c shifting : 3.40 0.00 486 0
1796.69/1797.01 c twoopt : 0.00 0.00 0 0
1796.69/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.01 c indoneopt : 0.04 0.00 0 0
1796.69/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.01 c clique : 0.00 0.00 0 0
1796.69/1797.01 c indrounding : 0.00 0.00 0 0
1796.69/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.01 c intdiving : 0.00 0.00 0 0
1796.69/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.01 c octane : 0.00 0.00 0 0
1796.69/1797.01 c rens : 1.53 0.00 1 0
1796.69/1797.01 c rins : 0.00 0.00 0 0
1796.69/1797.01 c localbranching : 0.00 0.00 0 0
1796.69/1797.01 c mutation : 0.00 0.00 0 0
1796.69/1797.01 c dins : 0.00 0.00 0 0
1796.69/1797.01 c vbounds : 0.00 0.00 0 0
1796.69/1797.01 c undercover : 0.00 0.00 0 0
1796.69/1797.01 c subnlp : 0.02 0.00 0 0
1796.69/1797.01 c trysol : 0.03 0.00 0 0
1796.69/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.01 c primal LP : 0.01 1 0 0.00 0.00 0.01 1
1796.69/1797.01 c dual LP : 954.49 11978 939272 78.53 984.06 0.25 17
1796.69/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.01 c diving/probing LP: 88.07 3082 54196 17.58 615.35
1796.69/1797.01 c strong branching : 551.80 3626 464861 128.20 842.44
1796.69/1797.01 c (at root node) : - 28 17591 628.25 -
1796.69/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.01 c B&B Tree :
1796.69/1797.01 c number of runs : 1
1796.69/1797.01 c nodes : 17583
1796.69/1797.01 c nodes (total) : 17583
1796.69/1797.01 c nodes left : 932
1796.69/1797.01 c max depth : 85
1796.69/1797.01 c max depth (total): 85
1796.69/1797.01 c backtracks : 4642 (26.4%)
1796.69/1797.01 c delayed cutoffs : 4872
1796.69/1797.01 c repropagations : 15291 (390739 domain reductions, 4217 cutoffs)
1796.69/1797.01 c avg switch length: 4.73
1796.69/1797.01 c switching time : 20.01
1796.69/1797.01 c Solution :
1796.69/1797.01 c Solutions found : 0 (0 improvements)
1796.69/1797.01 c Primal Bound : -
1796.69/1797.01 c Dual Bound : +0.00000000000000e+00
1796.69/1797.01 c Gap : infinite
1796.69/1797.01 c Root Dual Bound : +0.00000000000000e+00
1796.69/1797.01 c Root Iterations : 9146
1796.80/1797.14 c Time complete: 1796.84.
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-3692741-1338019922/watcher-3692741-1338019922 -o /tmp/evaluation-result-3692741-1338019922/solver-3692741-1338019922 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692741-1338019922.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.04 2.03 2.00 3/178 566
/proc/meminfo: memFree=28122832/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=9156 CPUtime=0 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 1070 0 0 0 0 0 0 0 20 0 1 0 268116981 9375744 1024 33554432000 4194304 10169799 140733424310032 140733404622856 8844157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 2289 1032 387 1459 0 821 0
[startup+0.030549 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 566
/proc/meminfo: memFree=28122832/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=15480 CPUtime=0.02 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 2609 0 0 0 2 0 0 0 20 0 1 0 268116981 15851520 2563 33554432000 4194304 10169799 140733424310032 140733424175720 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 3870 2563 409 1459 0 2402 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15480
[startup+0.100291 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 566
/proc/meminfo: memFree=28122832/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=23164 CPUtime=0.09 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 4552 0 0 0 9 0 0 0 20 0 1 0 268116981 23719936 4495 33554432000 4194304 10169799 140733424310032 140733424175720 7543003 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 5791 4495 409 1459 0 4323 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23164
[startup+0.300288 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 566
/proc/meminfo: memFree=28122832/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=81128 CPUtime=0.29 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 19926 0 0 0 23 6 0 0 20 0 1 0 268116981 83075072 18683 33554432000 4194304 10169799 140733424310032 140733424175720 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 20282 18683 537 1459 0 18814 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 81128
[startup+0.700298 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 566
/proc/meminfo: memFree=28122832/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=93156 CPUtime=0.69 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 24112 0 0 0 45 24 0 0 20 0 1 0 268116981 95391744 21687 33554432000 4194304 10169799 140733424310032 140733424175720 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 23289 21687 555 1459 0 21821 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 93156
[startup+1.5003 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 567
/proc/meminfo: memFree=27980836/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=171536 CPUtime=1.48 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 40474 0 0 0 117 31 0 0 20 0 1 0 268116981 175652864 39348 33554432000 4194304 10169799 140733424310032 140733424306568 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 42884 39348 742 1459 0 41416 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 171536
[startup+3.10029 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 567
/proc/meminfo: memFree=27966452/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=169128 CPUtime=3.09 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 41997 0 0 0 276 33 0 0 20 0 1 0 268116981 173187072 39983 33554432000 4194304 10169799 140733424310032 140733424302712 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 42282 39983 757 1459 0 40814 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 169128
[startup+6.30029 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 567
/proc/meminfo: memFree=27965212/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=169128 CPUtime=6.28 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 42128 0 0 0 595 33 0 0 20 0 1 0 268116981 173187072 40114 33554432000 4194304 10169799 140733424310032 140733424301608 8009904 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 42282 40114 757 1459 0 40814 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 169128
[startup+12.7002 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 567
/proc/meminfo: memFree=27963616/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=170564 CPUtime=12.69 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 42420 0 0 0 1234 35 0 0 20 0 1 0 268116981 174657536 40406 33554432000 4194304 10169799 140733424310032 140733424306056 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 42641 40406 766 1459 0 41173 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 170564
[startup+25.5002 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 567
/proc/meminfo: memFree=27961508/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=170564 CPUtime=25.48 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 42887 0 0 0 2504 44 0 0 20 0 1 0 268116981 174657536 40856 33554432000 4194304 10169799 140733424310032 140733424306056 7280653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 42641 40856 788 1459 0 41173 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 170564
[startup+51.1003 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 567
/proc/meminfo: memFree=27947416/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=184272 CPUtime=51.08 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 64024 0 0 0 5036 72 0 0 20 0 1 0 268116981 188694528 44259 33554432000 4194304 10169799 140733424310032 140733424304632 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 46068 44259 854 1459 0 44600 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 184272
[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 567
/proc/meminfo: memFree=27943016/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=186744 CPUtime=102.26 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 64627 0 0 0 10147 79 0 0 20 0 1 0 268116981 191225856 44875 33554432000 4194304 10169799 140733424310032 140733424304824 8004328 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 46686 44875 854 1459 0 45218 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 186744
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 567
/proc/meminfo: memFree=27939884/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=187548 CPUtime=162.24 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 64795 0 0 0 16134 90 0 0 20 0 1 0 268116981 192049152 45623 33554432000 4194304 10169799 140733424310032 140733424304312 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 46887 45623 854 1459 0 45419 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 187548
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 567
/proc/meminfo: memFree=27937652/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=189872 CPUtime=222.24 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 65315 0 0 0 22125 99 0 0 20 0 1 0 268116981 194428928 46143 33554432000 4194304 10169799 140733424310032 140733424304312 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 47468 46143 854 1459 0 46000 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 189872
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 568
/proc/meminfo: memFree=27934856/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=191808 CPUtime=282.23 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 65825 0 0 0 28106 117 0 0 20 0 1 0 268116981 196411392 46838 33554432000 4194304 10169799 140733424310032 140733424305016 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 47952 46838 854 1459 0 46484 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 191808
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 606
/proc/meminfo: memFree=27458236/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=192992 CPUtime=342.22 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 66269 0 0 0 34083 139 0 0 20 0 1 0 268116981 197623808 47282 33554432000 4194304 10169799 140733424310032 140733424304440 8009648 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 48248 47282 854 1459 0 46780 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 192992
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 606
/proc/meminfo: memFree=27056324/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=196768 CPUtime=402.21 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 67280 0 0 0 40061 160 0 0 20 0 1 0 268116981 201490432 48292 33554432000 4194304 10169799 140733424310032 140733424306600 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 49192 48292 855 1459 0 47724 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 196768
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 606
/proc/meminfo: memFree=27045312/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=196768 CPUtime=462.2 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 67280 0 0 0 46040 180 0 0 20 0 1 0 268116981 201490432 48292 33554432000 4194304 10169799 140733424310032 140733424304536 5120223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 49192 48292 855 1459 0 47724 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 196768
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 609
/proc/meminfo: memFree=27043720/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=198364 CPUtime=522.19 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 67679 0 0 0 52018 201 0 0 20 0 1 0 268116981 203124736 48691 33554432000 4194304 10169799 140733424310032 140733424304440 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 49591 48691 855 1459 0 48123 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 198364
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 610
/proc/meminfo: memFree=27029692/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=198364 CPUtime=582.19 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 67679 0 0 0 57999 220 0 0 20 0 1 0 268116981 203124736 48691 33554432000 4194304 10169799 140733424310032 140733424304632 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 49591 48691 855 1459 0 48123 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 198364
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26985672/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=202016 CPUtime=1062.11 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 68482 0 0 0 105823 388 0 0 20 0 1 0 268116981 206864384 49494 33554432000 4194304 10169799 140733424310032 140733424304440 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 50504 49494 855 1459 0 49036 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 202016
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 615
/proc/meminfo: memFree=26985168/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=202016 CPUtime=1122.1 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 68482 0 0 0 111800 410 0 0 20 0 1 0 268116981 206864384 49494 33554432000 4194304 10169799 140733424310032 140733424304440 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 50504 49494 855 1459 0 49036 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 202016
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 616
/proc/meminfo: memFree=26984184/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=202816 CPUtime=1182.09 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 68774 0 0 0 117775 434 0 0 20 0 1 0 268116981 207683584 49786 33554432000 4194304 10169799 140733424310032 140733424304632 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 50704 49786 855 1459 0 49236 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 202816
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 616
/proc/meminfo: memFree=26983192/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=203476 CPUtime=1242.08 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 68946 0 0 0 123745 463 0 0 20 0 1 0 268116981 208359424 49958 33554432000 4194304 10169799 140733424310032 140733424304440 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 50869 49958 855 1459 0 49401 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 203476
[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 616
/proc/meminfo: memFree=26983316/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=203476 CPUtime=1302.07 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 68947 0 0 0 129720 487 0 0 20 0 1 0 268116981 208359424 49959 33554432000 4194304 10169799 140733424310032 140733424304440 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 50869 49959 855 1459 0 49401 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 203476
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 616
/proc/meminfo: memFree=26981828/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=204908 CPUtime=1362.06 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 69305 0 0 0 135702 504 0 0 20 0 1 0 268116981 209825792 50317 33554432000 4194304 10169799 140733424310032 140733424304168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 51227 50317 855 1459 0 49759 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 204908
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 616
/proc/meminfo: memFree=26982200/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=205412 CPUtime=1422.06 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 69307 0 0 0 141680 526 0 0 20 0 1 0 268116981 210341888 50319 33554432000 4194304 10169799 140733424310032 140733424304552 8043980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 51353 50319 855 1459 0 49885 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 205412
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 617
/proc/meminfo: memFree=26982324/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=205412 CPUtime=1482.05 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 69307 0 0 0 147655 550 0 0 20 0 1 0 268116981 210341888 50319 33554432000 4194304 10169799 140733424310032 140733424304632 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 51353 50319 855 1459 0 49885 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 205412
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 617
/proc/meminfo: memFree=26981952/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=205412 CPUtime=1542.04 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 69309 0 0 0 153632 572 0 0 20 0 1 0 268116981 210341888 50321 33554432000 4194304 10169799 140733424310032 140733424304120 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 51353 50321 855 1459 0 49885 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 205412
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 617
/proc/meminfo: memFree=26980712/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=207012 CPUtime=1602.03 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 69618 0 0 0 159615 588 0 0 20 0 1 0 268116981 211980288 50630 33554432000 4194304 10169799 140733424310032 140733424305016 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 51753 50630 855 1459 0 50285 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 207012
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 655
/proc/meminfo: memFree=24838508/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=207012 CPUtime=1662.02 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 69623 0 0 0 165590 612 0 0 20 0 1 0 268116981 211980288 50635 33554432000 4194304 10169799 140733424310032 140733424304440 8044574 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 51753 50635 855 1459 0 50285 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 207012
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 658
/proc/meminfo: memFree=21779836/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=207012 CPUtime=1722.01 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 69631 0 0 0 171566 635 0 0 20 0 1 0 268116981 211980288 50642 33554432000 4194304 10169799 140733424310032 140733424304440 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 51753 50642 855 1459 0 50285 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 207012
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 659
/proc/meminfo: memFree=22127000/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=208676 CPUtime=1782 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 69803 0 0 0 177543 657 0 0 20 0 1 0 268116981 213684224 50814 33554432000 4194304 10169799 140733424310032 140733424307672 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 52169 50814 855 1459 0 50701 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 208676
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 659
/proc/meminfo: memFree=22127000/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=208676 CPUtime=1785.2 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 69803 0 0 0 177861 659 0 0 20 0 1 0 268116981 213684224 50814 33554432000 4194304 10169799 140733424310032 140733424304536 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 52169 50814 855 1459 0 50701 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 208676
[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 659
/proc/meminfo: memFree=22124812/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=208676 CPUtime=1791.6 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 69804 0 0 0 178499 661 0 0 20 0 1 0 268116981 213684224 50815 33554432000 4194304 10169799 140733424310032 140733424304440 6865480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 52169 50815 855 1459 0 50701 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 208676
[startup+1795.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 659
/proc/meminfo: memFree=22124688/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=208676 CPUtime=1794.8 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 69804 0 0 0 178817 663 0 0 20 0 1 0 268116981 213684224 50815 33554432000 4194304 10169799 140733424310032 140733424304168 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 52169 50815 855 1459 0 50701 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 208676
[startup+1795.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 659
/proc/meminfo: memFree=22124688/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=208676 CPUtime=1795.6 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 69804 0 0 0 178896 664 0 0 20 0 1 0 268116981 213684224 50815 33554432000 4194304 10169799 140733424310032 140733424304440 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 52169 50815 855 1459 0 50701 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 208676
[startup+1796.7 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 659
/proc/meminfo: memFree=22124688/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=208676 CPUtime=1796.4 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 69804 0 0 0 178976 664 0 0 20 0 1 0 268116981 213684224 50815 33554432000 4194304 10169799 140733424310032 140733424304440 7884892 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 52169 50815 855 1459 0 50701 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 208676
[startup+1797.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 659
/proc/meminfo: memFree=22124688/32873844 swapFree=7608/7608
[pid=566] ppid=564 vsize=200612 CPUtime=1796.8 cores=1,3,5,7
/proc/566/stat : 566 (scip-2.1.1.4sfi) R 564 566 30878 0 -1 4202496 69806 0 0 0 179015 665 0 0 20 0 1 0 268116981 205426688 48802 33554432000 4194304 10169799 140733424310032 140733424304824 5892107 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/566/statm: 50153 48802 857 1459 0 48685 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 200612
Child status: 0
Real time (s): 1797.14
CPU time (s): 1796.85
CPU user time (s): 1790.2
CPU system time (s): 6.65399
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 256148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.2
system time used= 6.65399
maximum resident set size= 247460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69808
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= 25
involuntary context switches= 1850
runsolver used 3.15752 second user time and 8.59569 second system time
The end