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-3693311-1338033767.opb>
0.09/0.13 c original problem has 5570 variables (5570 bin, 0 int, 0 impl, 0 cont) and 10896 constraints
0.09/0.13 c problem read in 0.13
0.19/0.24 c presolving:
0.29/0.34 c (round 1) 2 del vars, 1 del conss, 0 add conss, 2 chg bounds, 120 chg sides, 350 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.29/0.39 c (round 2) 2 del vars, 5209 del conss, 0 add conss, 2 chg bounds, 120 chg sides, 350 chg coeffs, 247 upgd conss, 0 impls, 0 clqs
0.39/0.43 c (round 3) 2 del vars, 5209 del conss, 1 add conss, 2 chg bounds, 149 chg sides, 590 chg coeffs, 479 upgd conss, 62 impls, 0 clqs
0.39/0.45 c (0.5s) probing: 51/5568 (0.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.45 c (0.5s) probing aborted: 50/50 successive totally useless probings
0.39/0.47 c presolving (4 rounds):
0.39/0.47 c 2 deleted vars, 5209 deleted constraints, 1 added constraints, 2 tightened bounds, 0 added holes, 149 changed sides, 590 changed coefficients
0.39/0.47 c 62 implications, 0 cliques
0.39/0.47 c presolved problem has 5568 variables (5568 bin, 0 int, 0 impl, 0 cont) and 5688 constraints
0.39/0.47 c 479 constraints of type <knapsack>
0.39/0.47 c 1 constraints of type <setppc>
0.39/0.47 c 5208 constraints of type <linear>
0.39/0.47 c transformed objective value is always integral (scale: 1)
0.39/0.47 c Presolving Time: 0.31
0.39/0.47 c - non default parameters ----------------------------------------------------------------------
0.39/0.47 c # SCIP version 2.1.1.4
0.39/0.47 c
0.39/0.47 c # maximal time in seconds to run
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/time = 1797
0.39/0.47 c
0.39/0.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.47 c limits/memory = 13950
0.39/0.47 c
0.39/0.47 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.47 c # [type: int, range: [1,2], default: 1]
0.39/0.47 c timing/clocktype = 2
0.39/0.47 c
0.39/0.47 c # belongs reading time to solving time?
0.39/0.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.47 c timing/reading = TRUE
0.39/0.47 c
0.39/0.47 c -----------------------------------------------------------------------------------------------
0.39/0.47 c start solving
0.39/0.47 c
0.88/0.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.88/0.97 c 1.0s| 1 | 0 | 24 | - | 49M| 0 | 259 |5568 |5713 |5568 |5688 | 0 | 25 | 0 | 1.200000e+02 | -- | Inf
2.69/2.79 c 2.8s| 1 | 0 | 6483 | - | 50M| 0 | 623 |5568 |5713 |5568 |5883 | 195 | 25 | 0 | 1.200000e+02 | -- | Inf
3.89/3.97 c 4.0s| 1 | 0 | 8568 | - | 51M| 0 | 686 |5568 |5713 |5568 |6139 | 451 | 25 | 0 | 1.200000e+02 | -- | Inf
5.79/5.86 c 5.9s| 1 | 0 | 10494 | - | 51M| 0 | 983 |5568 |5713 |5568 |6400 | 712 | 25 | 0 | 1.200000e+02 | -- | Inf
9.49/9.50 c 9.5s| 1 | 0 | 16176 | - | 52M| 0 |1171 |5568 |5713 |5568 |6650 | 962 | 25 | 0 | 1.200000e+02 | -- | Inf
13.20/13.26 c 13.3s| 1 | 0 | 18804 | - | 53M| 0 |1567 |5568 |5713 |5568 |6868 |1180 | 25 | 0 | 1.200000e+02 | -- | Inf
16.49/16.52 c 16.5s| 1 | 0 | 20944 | - | 54M| 0 |1710 |5568 |5713 |5568 |7103 |1415 | 25 | 0 | 1.200000e+02 | -- | Inf
29.48/29.56 c 29.6s| 1 | 2 | 20944 | - | 54M| 0 |1710 |5568 |5713 |5568 |7103 |1415 | 25 | 17 | 1.200000e+02 | -- | Inf
277.05/277.14 c 277s| 100 | 73 |516880 |5009.5 | 56M| 26 |1633 |5568 |6700 |5568 |5938 |1415 |1012 | 212 | 1.200000e+02 | -- | Inf
355.72/355.81 c 356s| 200 | 169 |715106 |3488.3 | 56M| 29 |2870 |5568 |6823 |5568 |5938 |1415 |1135 | 244 | 1.200000e+02 | -- | Inf
385.32/385.42 c 385s| 300 | 217 |778886 |2534.9 | 57M| 37 | - |5568 |6863 |5568 |5938 |1415 |1175 | 272 | 1.200000e+02 | -- | Inf
388.72/388.88 c 389s| 400 | 223 |782004 |1907.4 | 57M| 85 |1535 |5568 |6910 |5568 |5938 |1415 |1222 | 277 | 1.200000e+02 | -- | Inf
395.12/395.26 c 395s| 500 | 225 |784433 |1530.0 | 57M| 126 | - |5568 |6959 |5568 |5938 |1415 |1271 | 311 | 1.200000e+02 | -- | Inf
406.02/406.17 c 406s| 600 | 231 |801037 |1302.3 | 57M| 173 |1346 |5568 |7006 |5568 |5938 |1415 |1318 | 327 | 1.200000e+02 | -- | Inf
410.12/410.30 c 410s| 700 | 235 |813106 |1133.3 | 57M| 173 |1616 |5568 |7058 |5568 |5938 |1415 |1370 | 327 | 1.200000e+02 | -- | Inf
429.02/429.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
429.02/429.11 c 429s| 800 | 253 |848116 |1035.3 | 57M| 173 |1434 |5568 |7106 |5568 |5938 |1415 |1418 | 363 | 1.200000e+02 | -- | Inf
431.91/432.05 c 432s| 900 | 253 |848479 | 920.5 | 57M| 173 | - |5568 |7151 |5568 |5938 |1415 |1468 | 363 | 1.200000e+02 | -- | Inf
453.02/453.20 c 453s| 1000 | 271 |891931 | 871.9 | 57M| 173 |1062 |5568 |7192 |5568 |5938 |1415 |1510 | 393 | 1.200000e+02 | -- | Inf
459.01/459.11 c 459s| 1100 | 298 |908735 | 807.8 | 57M| 173 | - |5568 |7251 |5568 |5938 |1415 |1569 | 408 | 1.200000e+02 | -- | Inf
468.61/468.73 c 469s| 1200 | 322 |927531 | 756.1 | 57M| 173 | - |5568 |7311 |5568 |5938 |1415 |1629 | 423 | 1.200000e+02 | -- | Inf
481.61/481.78 c 482s| 1300 | 370 |962808 | 725.1 | 57M| 173 | - |5568 |7365 |5568 |5938 |1415 |1683 | 439 | 1.200000e+02 | -- | Inf
497.40/497.54 c 498s| 1400 | 381 | 1011k| 707.9 | 58M| 173 | - |5568 |7428 |5568 |5938 |1415 |1746 | 468 | 1.200000e+02 | -- | Inf
507.90/508.04 c 508s| 1500 | 395 | 1039k| 679.2 | 58M| 173 | - |5568 |7477 |5568 |5938 |1415 |1795 | 483 | 1.200000e+02 | -- | Inf
509.90/510.01 c 510s| 1600 | 423 | 1040k| 637.9 | 58M| 173 | - |5568 |7532 |5568 |5938 |1415 |1850 | 493 | 1.200000e+02 | -- | Inf
516.00/516.11 c 516s| 1700 | 409 | 1053k| 607.7 | 58M| 173 | 515 |5568 |7585 |5568 |5938 |1415 |1905 | 518 | 1.200000e+02 | -- | Inf
523.60/523.79 c 524s| 1800 | 429 | 1064k| 579.8 | 58M| 173 |1583 |5568 |7650 |5568 |5938 |1415 |1970 | 533 | 1.200000e+02 | -- | Inf
535.51/535.62 c 536s| 1900 | 453 | 1112k| 574.7 | 58M| 173 | 349 |5568 |7750 |5568 |5938 |1415 |2070 | 548 | 1.200000e+02 | -- | Inf
542.90/543.00 c 543s| 2000 | 520 | 1136k| 557.8 | 59M| 173 | 383 |5568 |7779 |5568 |5938 |1415 |2099 | 591 | 1.200000e+02 | -- | Inf
545.90/546.05 c 546s| 2100 | 572 | 1141k| 533.7 | 59M| 173 | 610 |5568 |7837 |5568 |5938 |1415 |2159 | 610 | 1.200000e+02 | -- | Inf
552.30/552.44 c 552s| 2200 | 640 | 1153k| 515.1 | 59M| 173 | 581 |5568 |7860 |5568 |5938 |1415 |2182 | 631 | 1.200000e+02 | -- | Inf
554.21/554.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
554.21/554.33 c 554s| 2300 | 698 | 1158k| 495.0 | 59M| 173 | 652 |5568 |7899 |5568 |5938 |1415 |2221 | 631 | 1.200000e+02 | -- | Inf
584.40/584.56 c 585s| 2400 | 746 | 1350k| 554.4 | 60M| 173 | 491 |5568 |8293 |5568 |5938 |1415 |2615 | 646 | 1.200000e+02 | -- | Inf
593.19/593.37 c 593s| 2500 | 782 | 1374k| 541.5 | 60M| 173 | - |5568 |8371 |5568 |5938 |1415 |2693 | 660 | 1.200000e+02 | -- | Inf
598.69/598.85 c 599s| 2600 | 789 | 1390k| 526.9 | 60M| 173 | - |5568 |8471 |5568 |5938 |1415 |2793 | 660 | 1.200000e+02 | -- | Inf
609.69/609.82 c 610s| 2700 | 820 | 1422k| 519.3 | 60M| 173 |1344 |5568 |8518 |5568 |5938 |1415 |2840 | 685 | 1.200000e+02 | -- | Inf
615.99/616.11 c 616s| 2800 | 851 | 1441k| 507.4 | 61M| 173 | - |5568 |8633 |5568 |5938 |1415 |2956 | 713 | 1.200000e+02 | -- | Inf
625.18/625.32 c 625s| 2900 | 883 | 1463k| 497.7 | 61M| 173 | 941 |5568 |8678 |5568 |5938 |1415 |3004 | 760 | 1.200000e+02 | -- | Inf
632.88/633.02 c 633s| 3000 | 942 | 1499k| 493.0 | 61M| 173 |1152 |5568 |8702 |5568 |5938 |1415 |3031 | 774 | 1.200000e+02 | -- | Inf
646.18/646.32 c 646s| 3100 | 1020 | 1562k| 497.4 | 62M| 173 | 656 |5568 |8769 |5568 |5938 |1415 |3100 | 816 | 1.200000e+02 | -- | Inf
661.38/661.52 c 662s| 3200 | 1096 | 1610k| 496.8 | 62M| 173 | 822 |5568 |8783 |5568 |5938 |1415 |3115 | 844 | 1.200000e+02 | -- | Inf
668.98/669.16 c 669s| 3300 | 1152 | 1631k| 488.2 | 62M| 173 | - |5568 |8798 |5568 |5938 |1415 |3140 | 858 | 1.200000e+02 | -- | Inf
670.98/671.16 c 671s| 3400 | 1212 | 1636k| 475.3 | 62M| 173 | 636 |5568 |8830 |5568 |5938 |1415 |3173 | 858 | 1.200000e+02 | -- | Inf
672.99/673.14 c 673s| 3500 | 1272 | 1641k| 463.0 | 63M| 173 | 587 |5568 |8879 |5568 |5938 |1415 |3222 | 858 | 1.200000e+02 | -- | Inf
681.08/681.22 c 681s| 3600 | 1330 | 1662k| 456.1 | 63M| 173 |1229 |5568 |8934 |5568 |5938 |1415 |3280 | 885 | 1.200000e+02 | -- | Inf
703.18/703.34 c 703s| 3700 | 1374 | 1734k| 463.4 | 63M| 173 | - |5568 |8972 |5568 |5938 |1415 |3322 | 927 | 1.200000e+02 | -- | Inf
712.68/712.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
712.68/712.84 c 713s| 3800 | 1430 | 1763k| 458.6 | 63M| 173 |1101 |5568 |9010 |5568 |5938 |1415 |3364 | 960 | 1.200000e+02 | -- | Inf
724.68/724.82 c 725s| 3900 | 1498 | 1800k| 456.5 | 64M| 173 |1287 |5568 |9056 |5568 |5938 |1415 |3411 | 990 | 1.200000e+02 | -- | Inf
732.97/733.19 c 733s| 4000 | 1529 | 1837k| 454.1 | 64M| 173 | - |5568 |9092 |5568 |5938 |1415 |3461 |1004 | 1.200000e+02 | -- | Inf
741.27/741.45 c 741s| 4100 | 1611 | 1860k| 448.9 | 64M| 173 | - |5568 |9129 |5568 |5938 |1415 |3510 |1018 | 1.200000e+02 | -- | Inf
752.56/752.70 c 753s| 4200 | 1681 | 1890k| 445.3 | 65M| 173 | 792 |5568 |9173 |5568 |5938 |1415 |3566 |1045 | 1.200000e+02 | -- | Inf
760.97/761.11 c 761s| 4300 | 1712 | 1911k| 439.8 | 65M| 173 | 881 |5568 |9235 |5568 |5938 |1415 |3645 |1070 | 1.200000e+02 | -- | Inf
764.86/765.07 c 765s| 4400 | 1768 | 1919k| 431.5 | 65M| 173 | - |5568 |9281 | 0 | 0 |1415 |3701 |1088 | 1.200000e+02 | -- | Inf
769.56/769.71 c 770s| 4500 | 1800 | 1930k| 424.3 | 66M| 173 | - |5568 |9375 |5568 |5938 |1415 |3818 |1118 | 1.200000e+02 | -- | Inf
775.06/775.27 c 775s| 4600 | 1856 | 1939k| 417.2 | 66M| 173 | 678 |5568 |9421 |5568 |5938 |1415 |3892 |1151 | 1.200000e+02 | -- | Inf
781.17/781.31 c 781s| 4700 | 1902 | 1956k| 411.9 | 67M| 173 | 784 |5568 |9436 |5568 |5938 |1415 |3975 |1189 | 1.200000e+02 | -- | Inf
783.96/784.20 c 784s| 4800 | 1942 | 1963k| 404.7 | 67M| 173 | 730 |5568 |9498 |5568 |5938 |1415 |4066 |1198 | 1.200000e+02 | -- | Inf
788.66/788.89 c 789s| 4900 | 1992 | 1973k| 398.5 | 68M| 173 | 649 |5568 |9449 |5568 |5938 |1415 |4197 |1236 | 1.200000e+02 | -- | Inf
812.45/812.65 c 813s| 5000 | 2050 | 2044k| 404.8 | 68M| 173 | 777 |5568 |9385 |5568 |5938 |1415 |4257 |1263 | 1.200000e+02 | -- | Inf
821.35/821.55 c 822s| 5100 | 2096 | 2077k| 403.2 | 68M| 173 | 805 |5568 |9393 |5568 |5938 |1415 |4357 |1277 | 1.200000e+02 | -- | Inf
823.86/824.05 c 824s| 5200 | 2136 | 2084k| 396.9 | 69M| 173 | 872 |5568 |9527 |5568 |5938 |1415 |4523 |1277 | 1.200000e+02 | -- | Inf
829.16/829.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
829.16/829.38 c 829s| 5300 | 2173 | 2098k| 392.0 | 70M| 173 | - |5568 |9332 |5568 |5938 |1415 |4639 |1309 | 1.200000e+02 | -- | Inf
844.15/844.39 c 844s| 5400 | 2223 | 2144k| 393.4 | 70M| 173 | - |5568 |9197 |5568 |5938 |1415 |4718 |1349 | 1.200000e+02 | -- | Inf
850.35/850.54 c 851s| 5500 | 2283 | 2158k| 388.6 | 70M| 173 | 903 |5568 |9145 |5568 |5938 |1415 |4767 |1371 | 1.200000e+02 | -- | Inf
852.65/852.83 c 853s| 5600 | 2321 | 2164k| 382.8 | 71M| 173 | - |5568 |9188 |5568 |5938 |1415 |4884 |1371 | 1.200000e+02 | -- | Inf
858.15/858.39 c 858s| 5700 | 2381 | 2179k| 378.8 | 71M| 173 | 849 |5568 |9168 |5568 |5938 |1415 |4940 |1384 | 1.200000e+02 | -- | Inf
866.84/867.01 c 867s| 5800 | 2419 | 2195k| 374.9 | 71M| 173 | 913 |5568 |9187 |5568 |5938 |1415 |5031 |1430 | 1.200000e+02 | -- | Inf
875.65/875.88 c 876s| 5900 | 2466 | 2223k| 373.4 | 72M| 173 | - |5568 |9190 |5568 |5938 |1415 |5146 |1444 | 1.200000e+02 | -- | Inf
882.25/882.49 c 882s| 6000 | 2506 | 2242k| 370.3 | 72M| 173 | 907 |5568 |9126 |5568 |5938 |1415 |5261 |1485 | 1.200000e+02 | -- | Inf
888.15/888.36 c 888s| 6100 | 2544 | 2255k| 366.4 | 73M| 173 | 758 |5568 |9156 |5568 |5938 |1415 |5395 |1520 | 1.200000e+02 | -- | Inf
915.24/915.46 c 915s| 6200 | 2584 | 2391k| 382.4 | 73M| 173 | 884 |5568 |9204 |5568 |5938 |1415 |5594 |1547 | 1.200000e+02 | -- | Inf
917.74/917.99 c 918s| 6300 | 2614 | 2399k| 377.5 | 73M| 173 | 925 |5568 |9235 |5568 |5938 |1415 |5743 |1547 | 1.200000e+02 | -- | Inf
924.04/924.20 c 924s| 6400 | 2651 | 2411k| 373.6 | 74M| 173 | 736 |5568 |9239 |5568 |5938 |1415 |5842 |1560 | 1.200000e+02 | -- | Inf
932.64/932.89 c 933s| 6500 | 2693 | 2444k| 372.9 | 74M| 173 | 643 |5568 |9210 |5568 |5938 |1415 |5921 |1586 | 1.200000e+02 | -- | Inf
939.15/939.30 c 939s| 6600 | 2712 | 2461k| 369.9 | 74M| 173 | 566 |5568 |9239 |5568 |5938 |1415 |6008 |1604 | 1.200000e+02 | -- | Inf
945.14/945.33 c 945s| 6700 | 2730 | 2482k| 367.5 | 75M| 173 | 720 |5568 |9242 |5568 |5938 |1415 |6086 |1630 | 1.200000e+02 | -- | Inf
955.14/955.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
955.14/955.31 c 955s| 6800 | 2790 | 2528k| 368.8 | 75M| 173 |1020 |5568 |9200 |5568 |5938 |1415 |6145 |1674 | 1.200000e+02 | -- | Inf
962.44/962.68 c 963s| 6900 | 2837 | 2555k| 367.3 | 76M| 173 | 899 |5568 |9242 |5568 |5938 |1415 |6242 |1703 | 1.200000e+02 | -- | Inf
972.13/972.36 c 972s| 7000 | 2897 | 2595k| 367.9 | 76M| 173 | - |5568 |9236 |5568 |5938 |1415 |6313 |1732 | 1.200000e+02 | -- | Inf
979.33/979.56 c 980s| 7100 | 2940 | 2623k| 366.6 | 77M| 173 |1029 |5568 |9277 |5568 |5938 |1415 |6391 |1775 | 1.200000e+02 | -- | Inf
989.53/989.70 c 990s| 7200 | 2980 | 2657k| 366.3 | 78M| 173 | 960 |5568 |9268 |5568 |5938 |1415 |6470 |1822 | 1.200000e+02 | -- | Inf
997.73/997.94 c 998s| 7300 | 3030 | 2691k| 365.9 | 78M| 173 | - |5568 |9220 |5568 |5938 |1415 |6540 |1839 | 1.200000e+02 | -- | Inf
1007.72/1007.96 c 1008s| 7400 | 3076 | 2727k| 365.8 | 79M| 173 | 905 |5568 |9204 |5568 |5938 |1415 |6588 |1882 | 1.200000e+02 | -- | Inf
1018.72/1018.92 c 1019s| 7500 | 3121 | 2755k| 364.7 | 79M| 173 | 702 |5568 |9151 |5568 |5938 |1415 |6639 |1930 | 1.200000e+02 | -- | Inf
1028.82/1029.09 c 1029s| 7600 | 3175 | 2784k| 363.7 | 80M| 173 |1475 |5568 |9161 |5568 |5938 |1415 |6715 |1957 | 1.200000e+02 | -- | Inf
1036.72/1036.92 c 1037s| 7700 | 3227 | 2816k| 363.0 | 80M| 173 |1107 |5568 |9199 |5568 |5938 |1415 |6793 |1970 | 1.200000e+02 | -- | Inf
1044.42/1044.60 c 1045s| 7800 | 3293 | 2842k| 361.7 | 80M| 173 |1187 |5568 |9226 |5568 |5938 |1415 |6888 |1996 | 1.200000e+02 | -- | Inf
1052.91/1053.11 c 1053s| 7900 | 3329 | 2875k| 361.4 | 81M| 173 | - |5568 |9223 | 0 | 0 |1415 |6964 |2020 | 1.200000e+02 | -- | Inf
1058.71/1058.93 c 1059s| 8000 | 3380 | 2903k| 360.4 | 81M| 173 | - |5568 |9241 |5568 |5938 |1415 |7050 |2030 | 1.200000e+02 | -- | Inf
1076.81/1077.06 c 1077s| 8100 | 3428 | 2971k| 364.3 | 82M| 173 |1258 |5568 |9528 |5568 |5938 |1415 |7465 |2083 | 1.200000e+02 | -- | Inf
1091.41/1091.66 c 1092s| 8200 | 3478 | 3030k| 367.1 | 82M| 173 |1651 |5568 |9368 |5568 |5938 |1415 |7513 |2128 | 1.200000e+02 | -- | Inf
1099.51/1099.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1099.51/1099.78 c 1100s| 8300 | 3514 | 3058k| 366.1 | 83M| 173 | - |5568 |9407 |5568 |5938 |1415 |7598 |2161 | 1.200000e+02 | -- | Inf
1110.90/1111.15 c 1111s| 8400 | 3549 | 3105k| 367.3 | 83M| 173 | - |5568 |9427 |5568 |5938 |1415 |7713 |2198 | 1.200000e+02 | -- | Inf
1118.51/1118.75 c 1119s| 8500 | 3579 | 3133k| 366.2 | 84M| 173 | - |5568 |9511 |5568 |5938 |1415 |7829 |2229 | 1.200000e+02 | -- | Inf
1126.31/1126.55 c 1127s| 8600 | 3610 | 3164k| 365.6 | 84M| 173 | - |5568 |9642 |5568 |5938 |1415 |7991 |2250 | 1.200000e+02 | -- | Inf
1135.00/1135.23 c 1135s| 8700 | 3653 | 3195k| 364.9 | 85M| 173 | - |5568 |9693 | 0 | 0 |1415 |8084 |2293 | 1.200000e+02 | -- | Inf
1146.30/1146.53 c 1147s| 8800 | 3697 | 3246k| 366.6 | 85M| 173 |1329 |5568 |9651 |5568 |5938 |1415 |8175 |2337 | 1.200000e+02 | -- | Inf
1153.10/1153.38 c 1153s| 8900 | 3727 | 3271k| 365.3 | 86M| 173 | - |5568 |9627 | 0 | 0 |1415 |8273 |2373 | 1.200000e+02 | -- | Inf
1163.50/1163.80 c 1164s| 9000 | 3776 | 3316k| 366.2 | 86M| 173 |1136 |5568 |9533 |5568 |5938 |1415 |8374 |2399 | 1.200000e+02 | -- | Inf
1176.60/1176.83 c 1177s| 9100 | 3838 | 3370k| 368.2 | 87M| 173 | 726 |5568 |9489 |5568 |5938 |1415 |8509 |2447 | 1.200000e+02 | -- | Inf
1184.99/1185.20 c 1185s| 9200 | 3894 | 3406k| 368.1 | 88M| 173 |1186 |5568 |9450 |5568 |5938 |1415 |8574 |2469 | 1.200000e+02 | -- | Inf
1190.50/1190.73 c 1191s| 9300 | 3915 | 3427k| 366.3 | 88M| 173 | - |5568 |9515 | 0 | 0 |1415 |8695 |2488 | 1.200000e+02 | -- | Inf
1203.20/1203.43 c 1203s| 9400 | 3942 | 3468k| 366.9 | 89M| 173 | 979 |5568 |9464 |5568 |5938 |1415 |8826 |2539 | 1.200000e+02 | -- | Inf
1209.99/1210.21 c 1210s| 9500 | 3964 | 3492k| 365.5 | 89M| 173 | - |5568 |9577 |5568 |5938 |1415 |8985 |2567 | 1.200000e+02 | -- | Inf
1240.59/1240.87 c 1241s| 9600 | 4023 | 3593k| 372.2 | 90M| 173 |1558 |5568 |9366 |5568 |5938 |1415 |9065 |2621 | 1.200000e+02 | -- | Inf
1257.28/1257.59 c 1258s| 9700 | 4058 | 3673k| 376.6 | 90M| 173 | 898 |5568 |9289 |5568 |5938 |1415 |9191 |2647 | 1.200000e+02 | -- | Inf
1266.58/1266.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1266.58/1266.85 c 1267s| 9800 | 4083 | 3707k| 376.3 | 91M| 173 | - |5568 |9277 |5568 |5938 |1415 |9298 |2680 | 1.200000e+02 | -- | Inf
1304.78/1305.06 c 1305s| 9900 | 4140 | 3835k| 385.4 | 92M| 173 | - |5568 |9551 | 0 | 0 |1415 |9905 |2732 | 1.200000e+02 | -- | Inf
1313.58/1313.82 c 1314s| 10000 | 4172 | 3864k| 384.4 | 92M| 173 | - |5568 |9486 | 0 | 0 |1415 | 10k|2763 | 1.200000e+02 | -- | Inf
1334.47/1334.72 c 1335s| 10100 | 4194 | 3933k| 387.4 | 93M| 173 | 669 |5568 |9385 |5568 |5938 |1415 | 10k|2809 | 1.200000e+02 | -- | Inf
1356.57/1356.88 c 1357s| 10200 | 4236 | 4012k| 391.4 | 93M| 173 |1890 |5568 |9442 |5568 |5938 |1415 | 10k|2870 | 1.200000e+02 | -- | Inf
1372.26/1372.52 c 1373s| 10300 | 4300 | 4092k| 395.3 | 94M| 173 | - |5568 |9398 |5568 |5938 |1415 | 10k|2895 | 1.200000e+02 | -- | Inf
1386.07/1386.37 c 1386s| 10400 | 4348 | 4144k| 396.5 | 95M| 173 |1009 |5568 |9305 |5568 |5938 |1415 | 10k|2947 | 1.200000e+02 | -- | Inf
1398.16/1398.43 c 1398s| 10500 | 4396 | 4185k| 396.6 | 95M| 173 |1869 |5568 |9263 |5568 |5938 |1415 | 10k|2985 | 1.200000e+02 | -- | Inf
1403.96/1404.22 c 1404s| 10600 | 4417 | 4210k| 395.3 | 95M| 173 |1509 |5568 |9314 |5568 |5938 |1415 | 10k|2995 | 1.200000e+02 | -- | Inf
1410.76/1411.03 c 1411s| 10700 | 4451 | 4236k| 394.0 | 96M| 173 | 926 |5568 |9391 |5568 |5938 |1415 | 10k|3020 | 1.200000e+02 | -- | Inf
1417.26/1417.55 c 1418s| 10800 | 4482 | 4253k| 391.9 | 96M| 173 |1091 |5568 |9471 |5568 |5938 |1415 | 11k|3062 | 1.200000e+02 | -- | Inf
1426.15/1426.45 c 1426s| 10900 | 4512 | 4276k| 390.5 | 97M| 173 | - |5568 |9469 |5568 |5938 |1415 | 11k|3087 | 1.200000e+02 | -- | Inf
1434.06/1434.39 c 1434s| 11000 | 4549 | 4314k| 390.3 | 97M| 173 | 673 |5568 |9486 |5568 |5938 |1415 | 11k|3109 | 1.200000e+02 | -- | Inf
1445.55/1445.86 c 1446s| 11100 | 4572 | 4352k| 390.2 | 98M| 173 |1207 |5568 |9471 |5568 |5938 |1415 | 11k|3145 | 1.200000e+02 | -- | Inf
1451.34/1451.62 c 1452s| 11200 | 4608 | 4376k| 388.9 | 98M| 173 | 746 |5568 |9472 |5568 |5938 |1415 | 11k|3162 | 1.200000e+02 | -- | Inf
1459.74/1460.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1459.74/1460.05 c 1460s| 11300 | 4649 | 4405k| 388.1 | 99M| 173 | 772 |5568 |9443 |5568 |5938 |1415 | 11k|3216 | 1.200000e+02 | -- | Inf
1467.45/1467.79 c 1468s| 11400 | 4683 | 4434k| 387.1 | 99M| 173 | 953 |5568 |9425 |5568 |5938 |1415 | 11k|3259 | 1.200000e+02 | -- | Inf
1474.75/1475.08 c 1475s| 11500 | 4714 | 4465k| 386.5 | 100M| 173 | - |5568 |9371 |5568 |5938 |1415 | 11k|3297 | 1.200000e+02 | -- | Inf
1484.04/1484.30 c 1484s| 11600 | 4760 | 4507k| 386.8 | 100M| 173 | - |5568 |9436 |5568 |5938 |1415 | 11k|3341 | 1.200000e+02 | -- | Inf
1489.54/1489.83 c 1490s| 11700 | 4802 | 4537k| 386.1 | 101M| 173 | - |5568 |9518 | 0 | 0 |1415 | 11k|3354 | 1.200000e+02 | -- | Inf
1494.64/1494.95 c 1495s| 11800 | 4841 | 4562k| 384.9 | 102M| 173 | 731 |5568 |9574 |5568 |5938 |1415 | 12k|3367 | 1.200000e+02 | -- | Inf
1501.34/1501.62 c 1502s| 11900 | 4884 | 4590k| 384.0 | 102M| 173 |1263 |5568 |9582 |5568 |5938 |1415 | 12k|3405 | 1.200000e+02 | -- | Inf
1509.74/1510.07 c 1510s| 12000 | 4935 | 4638k| 384.8 | 103M| 173 | - |5568 |9565 |5568 |5938 |1415 | 12k|3437 | 1.200000e+02 | -- | Inf
1516.34/1516.62 c 1517s| 12100 | 4989 | 4664k| 383.8 | 104M| 173 | 770 |5568 |9626 |5568 |5938 |1415 | 12k|3464 | 1.200000e+02 | -- | Inf
1522.74/1523.03 c 1523s| 12200 | 5026 | 4694k| 383.1 | 105M| 173 | - |5568 |9725 |5568 |5938 |1415 | 12k|3490 | 1.200000e+02 | -- | Inf
1536.83/1537.10 c 1537s| 12300 | 5078 | 4754k| 384.9 | 105M| 173 |1305 |5568 |9721 |5568 |5938 |1415 | 12k|3534 | 1.200000e+02 | -- | Inf
1542.54/1542.80 c 1543s| 12400 | 5112 | 4780k| 383.9 | 106M| 173 | - |5568 |9823 |5568 |5938 |1415 | 12k|3562 | 1.200000e+02 | -- | Inf
1553.23/1553.58 c 1554s| 12500 | 5160 | 4819k| 383.9 | 107M| 173 | - |5568 |9880 |5568 |5938 |1415 | 12k|3599 | 1.200000e+02 | -- | Inf
1564.83/1565.10 c 1565s| 12600 | 5208 | 4861k| 384.2 | 108M| 173 |1491 |5568 |9787 |5568 |5938 |1415 | 13k|3644 | 1.200000e+02 | -- | Inf
1571.32/1571.68 c 1572s| 12700 | 5253 | 4893k| 383.7 | 108M| 173 |1218 |5568 |9848 |5568 |5938 |1415 | 13k|3673 | 1.200000e+02 | -- | Inf
1586.53/1586.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1586.53/1586.85 c 1587s| 12800 | 5274 | 4952k| 385.3 | 109M| 173 | 774 |5568 |9674 |5568 |5938 |1415 | 13k|3733 | 1.200000e+02 | -- | Inf
1601.33/1601.66 c 1602s| 12900 | 5313 | 5016k| 387.2 | 110M| 173 |1071 |5568 |9644 |5568 |5938 |1415 | 13k|3775 | 1.200000e+02 | -- | Inf
1608.82/1609.19 c 1609s| 13000 | 5373 | 5055k| 387.3 | 111M| 173 |1498 |5568 |9600 |5568 |5938 |1415 | 13k|3803 | 1.200000e+02 | -- | Inf
1615.12/1615.48 c 1615s| 13100 | 5410 | 5084k| 386.5 | 111M| 173 | - |5568 |9635 | 0 | 0 |1415 | 13k|3815 | 1.200000e+02 | -- | Inf
1624.12/1624.44 c 1624s| 13200 | 5448 | 5124k| 386.7 | 112M| 173 |1149 |5568 |9660 |5568 |5938 |1415 | 13k|3847 | 1.200000e+02 | -- | Inf
1635.61/1635.93 c 1636s| 13300 | 5494 | 5174k| 387.5 | 112M| 173 |1239 |5568 |9658 |5568 |5938 |1415 | 14k|3898 | 1.200000e+02 | -- | Inf
1654.71/1655.05 c 1655s| 13400 | 5524 | 5258k| 390.9 | 113M| 173 |1101 |5568 |9907 |5568 |5938 |1415 | 14k|3917 | 1.200000e+02 | -- | Inf
1671.11/1671.40 c 1671s| 13500 | 5542 | 5310k| 391.8 | 114M| 173 | 894 |5568 |9939 |5568 |5938 |1415 | 14k|3961 | 1.200000e+02 | -- | Inf
1678.11/1678.44 c 1678s| 13600 | 5586 | 5343k| 391.4 | 115M| 173 | 877 |5568 |9878 |5568 |5938 |1415 | 14k|3991 | 1.200000e+02 | -- | Inf
1687.51/1687.85 c 1688s| 13700 | 5629 | 5388k| 391.8 | 115M| 173 | - |5568 |9635 | 0 | 0 |1415 | 14k|4015 | 1.200000e+02 | -- | Inf
1695.81/1696.14 c 1696s| 13800 | 5685 | 5428k| 391.9 | 116M| 173 |1196 |5568 |9688 |5568 |5938 |1415 | 15k|4052 | 1.200000e+02 | -- | Inf
1705.30/1705.61 c 1706s| 13900 | 5730 | 5466k| 391.8 | 117M| 173 |1222 |5568 |9752 |5568 |5938 |1415 | 15k|4100 | 1.200000e+02 | -- | Inf
1714.00/1714.30 c 1714s| 14000 | 5782 | 5510k| 392.1 | 118M| 173 | - |5568 |9648 | 0 | 0 |1415 | 15k|4124 | 1.200000e+02 | -- | Inf
1726.00/1726.36 c 1726s| 14100 | 5855 | 5572k| 393.7 | 119M| 173 |1097 |5568 |9537 |5568 |5938 |1415 | 15k|4171 | 1.200000e+02 | -- | Inf
1736.51/1736.83 c 1737s| 14200 | 5915 | 5615k| 394.0 | 119M| 173 |1100 |5568 |9452 |5568 |5938 |1415 | 15k|4208 | 1.200000e+02 | -- | Inf
1743.50/1743.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1743.50/1743.81 c 1744s| 14300 | 5978 | 5648k| 393.6 | 120M| 173 | - |5568 |9470 | 0 | 0 |1415 | 15k|4233 | 1.200000e+02 | -- | Inf
1750.49/1750.89 c 1751s| 14400 | 6042 | 5679k| 393.0 | 121M| 173 | - |5568 |9446 |5568 |5938 |1415 | 15k|4256 | 1.200000e+02 | -- | Inf
1756.89/1757.24 c 1757s| 14500 | 6098 | 5706k| 392.2 | 122M| 173 |1025 |5568 |9369 |5568 |5938 |1415 | 15k|4282 | 1.200000e+02 | -- | Inf
1768.90/1769.20 c 1769s| 14600 | 6133 | 5753k| 392.7 | 122M| 173 |1091 |5568 |9317 |5568 |5938 |1415 | 15k|4323 | 1.200000e+02 | -- | Inf
1777.20/1777.57 c 1778s| 14700 | 6177 | 5786k| 392.3 | 123M| 173 | - |5568 |9117 |5568 |5938 |1415 | 16k|4362 | 1.200000e+02 | -- | Inf
1783.59/1783.91 c 1784s| 14800 | 6224 | 5816k| 391.6 | 124M| 173 | 990 |5568 |9063 |5568 |5938 |1415 | 16k|4390 | 1.200000e+02 | -- | Inf
1792.09/1792.44 c 1792s| 14900 | 6274 | 5856k| 391.7 | 125M| 173 | 979 |5568 |9013 |5568 |5938 |1415 | 16k|4422 | 1.200000e+02 | -- | Inf
1796.69/1797.00 c
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Solving Time (sec) : 1797.01
1796.69/1797.00 c Solving Nodes : 14927
1796.69/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.69/1797.00 c Dual Bound : +1.20000000000000e+02
1796.69/1797.00 c Gap : infinite
1796.69/1797.00 s UNKNOWN
1796.69/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.00 c Total Time : 1797.01
1796.69/1797.00 c solving : 1797.01
1796.69/1797.00 c presolving : 0.31 (included in solving)
1796.69/1797.00 c reading : 0.13 (included in solving)
1796.69/1797.00 c copying : 0.04 (1 #copies) (minimal 0.04, maximal 0.04, average 0.04)
1796.69/1797.00 c Original Problem :
1796.69/1797.00 c Problem name : HOME/instance-3693311-1338033767.opb
1796.69/1797.00 c Variables : 5570 (5570 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.00 c Constraints : 10896 initial, 10896 maximal
1796.69/1797.00 c Objective sense : minimize
1796.69/1797.00 c Presolved Problem :
1796.69/1797.00 c Problem name : t_HOME/instance-3693311-1338033767.opb
1796.69/1797.00 c Variables : 5568 (5568 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.00 c Constraints : 5688 initial, 10067 maximal
1796.69/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c probing : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c knapsack : 0.01 0.00 0 0 0 0 0 0 1 29 240
1796.69/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c linear : 0.16 0.00 2 0 0 2 0 5209 0 120 350
1796.69/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.00 c root node : - - 0 - - 0 - - - - -
1796.69/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.00 c integral : 0 0 0 0 11088 0 4 0 15 1265 0 0 21516
1796.69/1797.00 c knapsack : 479 479 6 86756 0 0 3 29191 309 77022 584 0 0
1796.69/1797.01 c setppc : 1 1 6 27712 0 0 0 1182 0 11 0 0 0
1796.69/1797.01 c linear : 5208 5208 6 86447 0 0 0 12981 739 1501752 0 0 0
1796.69/1797.01 c logicor : 0+ 4379 6 29562 0 0 0 36970 141 23941 0 0 0
1796.69/1797.01 c countsols : 0 0 0 0 0 0 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 : 541.54 0.00 0.00 0.00 541.54 0.00 0.00 0.00
1796.69/1797.01 c knapsack : 3.22 0.00 0.04 3.16 0.00 0.00 0.00 0.03
1796.69/1797.01 c setppc : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1796.69/1797.01 c linear : 19.56 0.00 0.00 19.53 0.00 0.00 0.00 0.03
1796.69/1797.01 c logicor : 1.36 0.00 0.00 1.32 0.00 0.00 0.00 0.04
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 : 97744 0 0 0
1796.69/1797.01 c vbounds : 0 0 0 0
1796.69/1797.01 c redcost : 11118 0 0 38
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.03 0.00 0.00 0.03 0.00
1796.69/1797.01 c pseudoobj : 0.13 0.00 0.00 0.13 0.00
1796.69/1797.01 c vbounds : 0.03 0.00 0.00 0.03 0.00
1796.69/1797.01 c redcost : 1.12 0.00 0.00 1.12 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 : 0.09 1189 1189 8941 31.1 159 15.6 -
1796.69/1797.01 c infeasible LP : 4.68 6619 6619 17339 22.1 504 14.2 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 : - - - 16332 19.9 - - -
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 - - 658 - (maximal pool size: 4117)
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 : 1.18 0.00 6 0 0 104 0
1796.69/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c strongcg : 1.25 0.00 6 0 0 515 0
1796.69/1797.01 c cmir : 2.19 0.00 6 0 0 3000 0
1796.69/1797.01 c flowcover : 1.35 0.00 6 0 0 1200 0
1796.69/1797.01 c clique : 0.00 0.00 1 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.00 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 : 541.52 0.00 11088 15 1265 0 0 21516
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 0 0 0 0 0 0
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.01 0.00 0 0
1796.69/1797.01 c crossover : 0.01 0.00 0 0
1796.69/1797.01 c objpscostdiving : 31.49 0.00 9 0
1796.69/1797.01 c rootsoldiving : 18.21 0.00 21 0
1796.69/1797.01 c feaspump : 31.35 0.00 22 0
1796.69/1797.01 c linesearchdiving : 21.45 0.00 48 0
1796.69/1797.01 c veclendiving : 31.20 0.00 48 0
1796.69/1797.01 c pscostdiving : 46.85 0.00 48 0
1796.69/1797.01 c smallcard : 0.00 0.00 0 0
1796.69/1797.01 c trivial : 0.00 0.00 2 0
1796.69/1797.01 c shiftandpropagate: 0.41 0.00 1 0
1796.69/1797.01 c simplerounding : 0.01 0.00 0 0
1796.69/1797.01 c zirounding : 0.96 0.00 1000 0
1796.69/1797.01 c rounding : 2.05 0.00 1433 0
1796.69/1797.01 c shifting : 11.19 0.00 411 0
1796.69/1797.01 c intshifting : 0.00 0.00 0 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.01 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 coefdiving : 135.45 0.00 7 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 fracdiving : 97.15 0.00 12 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 guideddiving : 0.00 0.00 0 0
1796.69/1797.01 c octane : 0.00 0.00 0 0
1796.69/1797.01 c rens : 0.20 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.01 0.00 0 0
1796.69/1797.01 c trysol : 0.01 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.07 1 0 0.00 0.00 0.07 1
1796.69/1797.01 c dual LP : 768.35 14637 4260195 298.27 5544.64 1.66 354
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: 389.84 9591 1623139 169.24 4163.62
1796.69/1797.01 c strong branching : 538.55 4422 2249655 508.74 4177.28
1796.69/1797.01 c (at root node) : - 17 16445 967.35 -
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 : 14927
1796.69/1797.01 c nodes (total) : 14927
1796.69/1797.01 c nodes left : 6286
1796.69/1797.01 c max depth : 173
1796.69/1797.01 c max depth (total): 173
1796.69/1797.01 c backtracks : 1138 (7.6%)
1796.69/1797.01 c delayed cutoffs : 304
1796.69/1797.01 c repropagations : 35871 (278740 domain reductions, 160 cutoffs)
1796.69/1797.01 c avg switch length: 6.90
1796.69/1797.01 c switching time : 12.54
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 : +1.20000000000000e+02
1796.69/1797.01 c Gap : infinite
1796.69/1797.01 c Root Dual Bound : +1.20000000000000e+02
1796.69/1797.01 c Root Iterations : 20944
1796.79/1797.12 c Time complete: 1796.81.
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-3693311-1338033767/watcher-3693311-1338033767 -o /tmp/evaluation-result-3693311-1338033767/solver-3693311-1338033767 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693311-1338033767.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.02 2.03 2.00 3/176 10029
/proc/meminfo: memFree=28802364/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=10124 CPUtime=0 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 1273 0 0 0 0 0 0 0 20 0 1 0 269501282 10366976 1227 33554432000 4194304 10169799 140733769442096 140735582182728 7543003 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 2531 1227 412 1459 0 1063 0
[startup+0.092906 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 10029
/proc/meminfo: memFree=28802364/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=20640 CPUtime=0.08 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 3897 0 0 0 8 0 0 0 20 0 1 0 269501282 21135360 3851 33554432000 4194304 10169799 140733769442096 140735582182728 8744482 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 5160 3851 412 1459 0 3692 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20640
[startup+0.100313 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 10029
/proc/meminfo: memFree=28802364/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=21200 CPUtime=0.09 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 4030 0 0 0 9 0 0 0 20 0 1 0 269501282 21708800 3984 33554432000 4194304 10169799 140733769442096 140735582182728 8982256 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 5300 3984 412 1459 0 3832 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21200
[startup+0.300279 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 10029
/proc/meminfo: memFree=28802364/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=119396 CPUtime=0.29 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 27172 0 0 0 25 4 0 0 20 0 1 0 269501282 122261504 27126 33554432000 4194304 10169799 140733769442096 140735582182728 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 29849 27126 541 1459 0 28381 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 119396
[startup+0.700268 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 10029
/proc/meminfo: memFree=28802364/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=142392 CPUtime=0.68 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 34325 0 0 0 62 6 0 0 20 0 1 0 269501282 145809408 32469 33554432000 4194304 10169799 140733769442096 140735582182728 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 35598 32469 686 1459 0 34130 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 142392
[startup+1.50027 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 10030
/proc/meminfo: memFree=28659228/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=157068 CPUtime=1.49 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 37768 0 0 0 141 8 0 0 20 0 1 0 269501282 160837632 36586 33554432000 4194304 10169799 140733769442096 140733769439128 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 39267 36586 787 1459 0 37799 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 157068
[startup+3.10024 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 10030
/proc/meminfo: memFree=28658484/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=165096 CPUtime=3.08 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 39911 0 0 0 300 8 0 0 20 0 1 0 269501282 169058304 38436 33554432000 4194304 10169799 140733769442096 140733769438136 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 41274 38436 813 1459 0 39806 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 165096
[startup+6.30022 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 10030
/proc/meminfo: memFree=28639320/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=176872 CPUtime=6.28 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 41321 0 0 0 618 10 0 0 20 0 1 0 269501282 181116928 41370 33554432000 4194304 10169799 140733769442096 140733769439288 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 44218 41370 813 1459 0 42750 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 176872
[startup+12.7003 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 10030
/proc/meminfo: memFree=28618744/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=195596 CPUtime=12.69 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 44511 0 0 0 1256 13 0 0 20 0 1 0 269501282 200290304 46391 33554432000 4194304 10169799 140733769442096 140733769435336 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 48899 46391 814 1459 0 47431 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 195596
[startup+25.5003 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 10030
/proc/meminfo: memFree=28614760/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=201952 CPUtime=25.49 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 72122 0 0 0 2526 23 0 0 20 0 1 0 269501282 206798848 47995 33554432000 4194304 10169799 140733769442096 140733769435960 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 50488 47995 852 1459 0 49020 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 201952
[startup+51.1003 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 10030
/proc/meminfo: memFree=28613824/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=200256 CPUtime=51.08 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 81372 0 0 0 5077 31 0 0 20 0 1 0 269501282 205062144 47311 33554432000 4194304 10169799 140733769442096 140733769435960 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 50064 47311 853 1459 0 48596 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 200256
[startup+102.307 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 10031
/proc/meminfo: memFree=28609608/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=201988 CPUtime=102.28 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 82083 0 0 0 10189 39 0 0 20 0 1 0 269501282 206835712 48022 33554432000 4194304 10169799 140733769442096 140733769436424 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 50497 48022 854 1459 0 49029 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 201988
[startup+162.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 10031
/proc/meminfo: memFree=28613140/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=201988 CPUtime=162.26 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 82097 0 0 0 16169 57 0 0 20 0 1 0 269501282 206835712 48230 33554432000 4194304 10169799 140733769442096 140733769435224 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 50497 48230 854 1459 0 49029 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 201988
[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 10031
/proc/meminfo: memFree=28599344/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=201988 CPUtime=222.25 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 82097 0 0 0 22152 73 0 0 20 0 1 0 269501282 206835712 49604 33554432000 4194304 10169799 140733769442096 140733769435432 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 50497 49604 854 1459 0 49029 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 201988
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10031
/proc/meminfo: memFree=28602192/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=203524 CPUtime=282.24 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 82156 0 0 0 28133 91 0 0 20 0 1 0 269501282 208408576 49663 33554432000 4194304 10169799 140733769442096 140733769439432 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 50881 49663 857 1459 0 49413 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 203524
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 10031
/proc/meminfo: memFree=28596168/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=202124 CPUtime=342.23 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 85619 0 0 0 34117 106 0 0 20 0 1 0 269501282 206974976 49509 33554432000 4194304 10169799 140733769442096 140733769435960 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 50531 49509 857 1459 0 49063 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 202124
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 10032
/proc/meminfo: memFree=28596724/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=196848 CPUtime=402.22 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 86862 0 0 0 40097 125 0 0 20 0 1 0 269501282 201572352 48439 33554432000 4194304 10169799 140733769442096 140733769436376 8044590 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 49212 48439 857 1459 0 47744 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 196848
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 10035
/proc/meminfo: memFree=28585988/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=201376 CPUtime=462.21 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 87482 0 0 0 46075 146 0 0 20 0 1 0 269501282 206209024 49570 33554432000 4194304 10169799 140733769442096 140733769435768 8044514 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 50344 49570 857 1459 0 48876 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 201376
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10035
/proc/meminfo: memFree=28586120/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=203328 CPUtime=522.2 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 87957 0 0 0 52052 168 0 0 20 0 1 0 269501282 208207872 50045 33554432000 4194304 10169799 140733769442096 140733769435960 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 50832 50045 857 1459 0 49364 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 203328
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10035
/proc/meminfo: memFree=28580776/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=203800 CPUtime=582.19 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 88100 0 0 0 58022 197 0 0 20 0 1 0 269501282 208691200 50188 33554432000 4194304 10169799 140733769442096 140733769436376 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 50950 50188 857 1459 0 49482 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 203800
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28679656/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=219936 CPUtime=1062.11 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 159252 0 0 0 105793 418 0 0 20 0 1 0 269501282 225214464 54223 33554432000 4194304 10169799 140733769442096 140733769436168 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 54984 54223 857 1459 0 53516 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 219936
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10078
/proc/meminfo: memFree=28673204/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=221100 CPUtime=1122.1 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 162770 0 0 0 111761 449 0 0 20 0 1 0 269501282 226406400 54514 33554432000 4194304 10169799 140733769442096 140733769435768 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 55275 54514 857 1459 0 53807 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 221100
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10078
/proc/meminfo: memFree=28657884/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=232364 CPUtime=1182.1 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 168643 0 0 0 117730 480 0 0 20 0 1 0 269501282 237940736 57321 33554432000 4194304 10169799 140733769442096 140733769437080 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 58091 57321 857 1459 0 56623 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 232364
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10078
/proc/meminfo: memFree=28647080/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=235272 CPUtime=1242.09 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 172529 0 0 0 123703 506 0 0 20 0 1 0 269501282 240918528 58046 33554432000 4194304 10169799 140733769442096 140733769435768 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 58818 58046 857 1459 0 57350 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 235272
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10079
/proc/meminfo: memFree=28643672/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=236048 CPUtime=1302.08 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 175989 0 0 0 129674 534 0 0 20 0 1 0 269501282 241713152 58200 33554432000 4194304 10169799 140733769442096 140733769435960 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 59012 58200 857 1459 0 57544 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 236048
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10079
/proc/meminfo: memFree=28633916/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=241720 CPUtime=1362.06 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 177434 0 0 0 135643 563 0 0 20 0 1 0 269501282 247521280 59645 33554432000 4194304 10169799 140733769442096 140733769435384 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 60430 59645 857 1459 0 58962 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 241720
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10079
/proc/meminfo: memFree=28627160/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=244108 CPUtime=1422.06 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 180944 0 0 0 141611 595 0 0 20 0 1 0 269501282 249966592 60181 33554432000 4194304 10169799 140733769442096 140733769436792 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 61027 60181 857 1459 0 59559 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 244108
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10079
/proc/meminfo: memFree=28616908/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=246416 CPUtime=1482.05 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 181584 0 0 0 147577 628 0 0 20 0 1 0 269501282 252329984 60816 33554432000 4194304 10169799 140733769442096 140733769436232 8030309 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 61604 60816 857 1459 0 60136 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 246416
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10079
/proc/meminfo: memFree=28602028/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=250960 CPUtime=1542.03 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 189007 0 0 0 153533 670 0 0 20 0 1 0 269501282 256983040 61966 33554432000 4194304 10169799 140733769442096 140733769437080 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 62740 61966 857 1459 0 61272 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 250960
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10080
/proc/meminfo: memFree=28586188/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=258808 CPUtime=1602.03 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 196964 0 0 0 159497 706 0 0 20 0 1 0 269501282 265019392 63934 33554432000 4194304 10169799 140733769442096 140733769435768 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 64702 63934 857 1459 0 63234 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 258808
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10083
/proc/meminfo: memFree=28578376/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=265604 CPUtime=1662.01 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 198583 0 0 0 165463 738 0 0 20 0 1 0 269501282 271978496 65550 33554432000 4194304 10169799 140733769442096 140733769436168 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 66401 65550 857 1459 0 64933 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 265604
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10084
/proc/meminfo: memFree=28562912/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=272100 CPUtime=1722 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 199913 0 0 0 171426 774 0 0 20 0 1 0 269501282 278630400 67227 33554432000 4194304 10169799 140733769442096 140733769436376 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 68025 67227 857 1459 0 66557 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 272100
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10084
/proc/meminfo: memFree=28550636/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=275012 CPUtime=1781.99 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 200695 0 0 0 177392 807 0 0 20 0 1 0 269501282 281612288 68009 33554432000 4194304 10169799 140733769442096 140733769436504 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 68753 68009 857 1459 0 67285 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 275012
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10084
/proc/meminfo: memFree=28549396/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=275012 CPUtime=1785.19 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 200695 0 0 0 177709 810 0 0 20 0 1 0 269501282 281612288 68009 33554432000 4194304 10169799 140733769442096 140733769436504 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 68753 68009 857 1459 0 67285 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 275012
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10084
/proc/meminfo: memFree=28550264/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=276540 CPUtime=1791.6 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 200696 0 0 0 178347 813 0 0 20 0 1 0 269501282 283176960 68010 33554432000 4194304 10169799 140733769442096 140733769436424 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 69135 68010 857 1459 0 67667 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 276540
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10084
/proc/meminfo: memFree=28545552/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=278024 CPUtime=1794.79 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 201194 0 0 0 178665 814 0 0 20 0 1 0 269501282 284696576 68508 33554432000 4194304 10169799 140733769442096 140733769436584 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 69506 68508 857 1459 0 68038 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 278024
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10084
/proc/meminfo: memFree=28545552/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=278024 CPUtime=1795.58 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 201194 0 0 0 178744 814 0 0 20 0 1 0 269501282 284696576 68508 33554432000 4194304 10169799 140733769442096 140733769436584 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 69506 68508 857 1459 0 68038 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 278024
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10084
/proc/meminfo: memFree=28545552/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=278024 CPUtime=1796.39 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 201194 0 0 0 178824 815 0 0 20 0 1 0 269501282 284696576 68508 33554432000 4194304 10169799 140733769442096 140733769436584 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 69506 68508 857 1459 0 68038 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 278024
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10084
/proc/meminfo: memFree=28545552/32873844 swapFree=7900/7900
[pid=10029] ppid=10027 vsize=266884 CPUtime=1796.79 cores=0,2,4,6
/proc/10029/stat : 10029 (scip-2.1.1.4sfi) R 10027 10029 6871 0 -1 4202496 201197 0 0 0 178864 815 0 0 20 0 1 0 269501282 273289216 65726 33554432000 4194304 10169799 140733769442096 140733769435528 8989847 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10029/statm: 66688 65693 860 1459 0 65220 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 266884
Child status: 0
Real time (s): 1797.12
CPU time (s): 1796.82
CPU user time (s): 1788.65
CPU system time (s): 8.16576
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 278024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.65
system time used= 8.16576
maximum resident set size= 274044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201199
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= 37
involuntary context switches= 1871
runsolver used 2.73558 second user time and 7.13591 second system time
The end