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-3693329-1338032832.opb>
0.09/0.18 c original problem has 7089 variables (7089 bin, 0 int, 0 impl, 0 cont) and 13888 constraints
0.09/0.18 c problem read in 0.18
0.28/0.34 c presolving:
0.49/0.55 c (round 1) 0 del vars, 6936 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 16 upgd conss, 0 impls, 0 clqs
0.59/0.64 c (0.6s) probing: 51/7089 (0.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.64 c (0.6s) probing aborted: 50/50 successive totally useless probings
0.59/0.66 c presolving (2 rounds):
0.59/0.66 c 0 deleted vars, 6936 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.66 c 272 implications, 0 cliques
0.59/0.66 c presolved problem has 7089 variables (7089 bin, 0 int, 0 impl, 0 cont) and 6952 constraints
0.59/0.66 c 16 constraints of type <knapsack>
0.59/0.66 c 6936 constraints of type <linear>
0.59/0.66 c transformed objective value is always integral (scale: 1)
0.59/0.66 c Presolving Time: 0.44
0.59/0.66 c - non default parameters ----------------------------------------------------------------------
0.59/0.66 c # SCIP version 2.1.1.4
0.59/0.66 c
0.59/0.66 c # maximal time in seconds to run
0.59/0.66 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.66 c limits/time = 1797
0.59/0.66 c
0.59/0.66 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.66 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.66 c limits/memory = 13950
0.59/0.66 c
0.59/0.66 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.66 c # [type: int, range: [1,2], default: 1]
0.59/0.66 c timing/clocktype = 2
0.59/0.66 c
0.59/0.66 c # belongs reading time to solving time?
0.59/0.66 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.66 c timing/reading = TRUE
0.59/0.66 c
0.59/0.66 c -----------------------------------------------------------------------------------------------
0.59/0.66 c start solving
0.59/0.66 c
1.39/1.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.45 c 1.4s| 1 | 0 | 16 | - | 65M| 0 | 816 |7089 |6967 |7089 |6952 | 0 | 15 | 0 | 1.600000e+01 | -- | Inf
4.09/4.18 c 4.2s| 1 | 0 | 6868 | - | 67M| 0 | 833 |7089 |6967 |7089 |7021 | 69 | 15 | 0 | 1.600000e+01 | -- | Inf
4.58/4.69 c 4.7s| 1 | 0 | 7002 | - | 67M| 0 | 855 |7089 |6967 |7089 |7100 | 148 | 15 | 0 | 1.600000e+01 | -- | Inf
5.29/5.40 c 5.4s| 1 | 0 | 7398 | - | 68M| 0 |1007 |7089 |6967 |7089 |7207 | 255 | 15 | 0 | 1.600115e+01 | -- | Inf
6.19/6.28 c 6.3s| 1 | 0 | 7768 | - | 69M| 0 |1001 |7089 |6967 |7089 |7306 | 354 | 15 | 0 | 1.616667e+01 | -- | Inf
7.48/7.56 c 7.6s| 1 | 0 | 8123 | - | 69M| 0 |1019 |7089 |6967 |7089 |7405 | 453 | 15 | 0 | 1.616667e+01 | -- | Inf
9.99/10.04 c 10.0s| 1 | 0 | 8501 | - | 70M| 0 |1008 |7089 |6967 |7089 |7471 | 519 | 15 | 0 | 1.625000e+01 | -- | Inf
11.99/12.02 c 12.0s| 1 | 0 | 9089 | - | 70M| 0 |1026 |7089 |6967 |7089 |7556 | 604 | 15 | 0 | 1.625000e+01 | -- | Inf
14.78/14.83 c 14.8s| 1 | 0 | 10054 | - | 71M| 0 |1016 |7089 |6967 |7089 |7594 | 642 | 15 | 0 | 1.625000e+01 | -- | Inf
16.88/16.94 c 16.9s| 1 | 0 | 10619 | - | 71M| 0 |1017 |7089 |6967 |7089 |7617 | 665 | 15 | 0 | 1.625000e+01 | -- | Inf
19.08/19.14 c 19.1s| 1 | 0 | 11128 | - | 71M| 0 |1023 |7089 |6967 |7089 |7685 | 733 | 15 | 0 | 1.625000e+01 | -- | Inf
19.68/19.75 c 19.8s| 1 | 0 | 11588 | - | 71M| 0 |1022 |7089 |6967 |7089 |7704 | 752 | 15 | 0 | 1.625000e+01 | -- | Inf
41.78/41.89 c 41.9s| 1 | 2 | 11588 | - | 71M| 0 |1022 |7089 |6967 |7089 |7704 | 752 | 15 | 34 | 1.625000e+01 | -- | Inf
186.75/186.86 c 187s| 100 | 91 |376374 |3684.7 | 72M| 21 |1417 |7089 |7078 |7089 |7041 | 752 | 126 | 246 | 1.700000e+01 | -- | Inf
360.32/360.48 c 360s| 200 | 183 |947698 |4704.1 | 74M| 23 |2002 |7089 |7602 |7089 |7041 | 752 | 650 | 316 | 1.900000e+01 | -- | Inf
443.41/443.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.41/443.56 c 444s| 300 | 279 | 1153k|3819.3 | 75M| 23 |1084 |7089 |7750 |7089 |7041 | 752 | 798 | 393 | 1.900000e+01 | -- | Inf
463.81/463.92 c 464s| 400 | 357 | 1189k|2952.4 | 75M| 42 |1063 |7089 |7764 |7089 |7041 | 752 | 812 | 423 | 1.900000e+01 | -- | Inf
488.10/488.28 c 488s| 500 | 447 | 1235k|2452.0 | 76M| 42 | 779 |7089 |7770 |7089 |7041 | 752 | 818 | 438 | 1.900000e+01 | -- | Inf
514.20/514.35 c 514s| 600 | 535 | 1282k|2122.3 | 76M| 42 | 873 |7089 |7784 |7089 |7041 | 752 | 832 | 466 | 1.900000e+01 | -- | Inf
535.50/535.63 c 536s| 700 | 619 | 1307k|1854.4 | 76M| 42 | 784 |7089 |7796 |7089 |7041 | 752 | 844 | 494 | 1.900000e+01 | -- | Inf
559.69/559.82 c 560s| 800 | 707 | 1352k|1678.5 | 77M| 43 | 857 |7089 |7806 |7089 |7041 | 752 | 854 | 521 | 1.900000e+01 | -- | Inf
575.89/576.00 c 576s| 900 | 787 | 1375k|1517.1 | 77M| 47 | - |7089 |7816 |7089 |7041 | 752 | 864 | 545 | 1.900000e+01 | -- | Inf
597.49/597.62 c 598s| 1000 | 867 | 1421k|1411.6 | 77M| 55 | 955 |7089 |7852 |7089 |7041 | 752 | 900 | 585 | 1.900000e+01 | -- | Inf
639.89/640.09 c 640s| 1100 | 955 | 1548k|1398.3 | 78M| 55 | 875 |7089 |7884 |7089 |7041 | 752 | 932 | 657 | 1.900000e+01 | -- | Inf
659.08/659.22 c 659s| 1200 | 1049 | 1587k|1314.0 | 78M| 55 | 670 |7089 |7887 |7089 |7041 | 752 | 935 | 699 | 1.900000e+01 | -- | Inf
671.77/671.97 c 672s| 1300 | 1137 | 1613k|1232.9 | 78M| 55 | 675 |7089 |7895 |7089 |7041 | 752 | 943 | 724 | 1.900000e+01 | -- | Inf
691.68/691.81 c 692s| 1400 | 1223 | 1647k|1169.6 | 79M| 57 | 609 |7089 |7902 |7089 |7041 | 752 | 950 | 750 | 1.900000e+01 | -- | Inf
716.27/716.45 c 716s| 1500 | 1315 | 1706k|1130.8 | 79M| 57 | - |7089 |7910 |7089 |7041 | 752 | 958 | 790 | 1.900000e+01 | -- | Inf
739.77/739.95 c 740s| 1600 | 1397 | 1763k|1095.7 | 79M| 57 |1091 |7089 |7923 |7089 |7041 | 752 | 971 | 817 | 1.900000e+01 | -- | Inf
756.97/757.18 c 757s| 1700 | 1483 | 1803k|1054.6 | 80M| 57 |1059 |7089 |7935 |7089 |7041 | 752 | 983 | 844 | 1.900000e+01 | -- | Inf
781.66/781.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
781.66/781.86 c 782s| 1800 | 1573 | 1866k|1031.1 | 80M| 57 |1107 |7089 |7959 |7089 |7041 | 752 |1007 | 875 | 1.900000e+01 | -- | Inf
832.06/832.27 c 832s| 1900 | 1629 | 2023k|1059.6 | 81M| 57 | 906 |7089 |9011 |7089 |7041 | 752 |2059 | 927 | 1.900000e+01 | -- | Inf
861.05/861.21 c 861s| 2000 | 1715 | 2068k|1028.9 | 81M| 57 |1150 |7089 |9053 |7089 |7041 | 752 |2101 | 963 | 1.900000e+01 | -- | Inf
888.44/888.68 c 889s| 2100 | 1789 | 2140k|1014.5 | 82M| 57 |1189 |7089 |9079 |7089 |7041 | 752 |2127 |1003 | 1.900000e+01 | -- | Inf
914.04/914.28 c 914s| 2200 | 1873 | 2195k| 993.1 | 82M| 57 | 954 |7089 |9116 |7089 |7041 | 752 |2164 |1029 | 1.900000e+01 | -- | Inf
938.43/938.62 c 939s| 2300 | 1955 | 2257k| 976.9 | 82M| 57 |1367 |7089 |9140 |7089 |7041 | 752 |2188 |1067 | 1.900000e+01 | -- | Inf
961.34/961.52 c 962s| 2400 | 2033 | 2332k| 967.5 | 83M| 57 |1082 |7089 |9167 |7089 |7041 | 752 |2215 |1105 | 1.900000e+01 | -- | Inf
973.03/973.24 c 973s| 2500 | 2092 | 2359k| 939.6 | 83M| 57 |1330 |7089 |9210 |7089 |7041 | 752 |2258 |1118 | 1.900000e+01 | -- | Inf
988.53/988.73 c 989s| 2600 | 2155 | 2391k| 915.6 | 83M| 57 |1562 |7089 |9235 |7089 |7041 | 752 |2283 |1154 | 1.900000e+01 | -- | Inf
1011.42/1011.66 c 1012s| 2700 | 2226 | 2444k| 901.5 | 84M| 57 | - |7089 |9285 |7089 |7041 | 752 |2333 |1196 | 1.900000e+01 | -- | Inf
1029.62/1029.87 c 1030s| 2800 | 2294 | 2501k| 889.7 | 84M| 57 | - |7089 |9323 |7089 |7041 | 752 |2371 |1208 | 1.900000e+01 | -- | Inf
1046.62/1046.87 c 1047s| 2900 | 2356 | 2552k| 876.5 | 84M| 57 |1216 |7089 |9385 |7089 |7041 | 752 |2433 |1232 | 1.900000e+01 | -- | Inf
1062.32/1062.50 c 1063s| 3000 | 2387 | 2586k| 858.7 | 84M| 57 |1242 |7089 |9450 |7089 |7041 | 752 |2498 |1258 | 1.900000e+01 | -- | Inf
1081.51/1081.78 c 1082s| 3100 | 2469 | 2647k| 850.5 | 85M| 57 |1118 |7089 |9490 |7089 |7041 | 752 |2541 |1283 | 1.900000e+01 | -- | Inf
1112.61/1112.89 c 1113s| 3200 | 2531 | 2750k| 856.3 | 85M| 57 | 980 |7089 |9749 |7089 |7041 | 752 |2801 |1332 | 1.900000e+01 | -- | Inf
1164.50/1164.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1164.50/1164.78 c 1165s| 3300 | 2623 | 2892k| 873.4 | 86M| 57 |1103 |7089 |9759 |7089 |7041 | 752 |2811 |1380 | 1.900000e+01 | -- | Inf
1186.90/1187.15 c 1187s| 3400 | 2683 | 2959k| 867.2 | 86M| 57 | - |7089 |9844 |7089 |7041 | 752 |2896 |1416 | 1.900000e+01 | -- | Inf
1195.69/1195.94 c 1196s| 3500 | 2737 | 2982k| 849.1 | 86M| 57 | 872 |7089 |9912 |7089 |7041 | 752 |2964 |1445 | 1.900000e+01 | -- | Inf
1203.39/1203.62 c 1204s| 3600 | 2764 | 2997k| 829.8 | 87M| 57 | - |7089 | 10k|7089 |7041 | 752 |3064 |1495 | 1.900000e+01 | -- | Inf
1218.10/1218.32 c 1218s| 3700 | 2797 | 3045k| 820.1 | 87M| 57 | - |7089 | 10k|7089 |7041 | 752 |3184 |1529 | 1.900000e+01 | -- | Inf
1242.59/1242.80 c 1243s| 3800 | 2845 | 3115k| 816.9 | 88M| 57 |1181 |7089 | 10k|7089 |7041 | 752 |3316 |1567 | 1.900000e+01 | -- | Inf
1261.50/1261.75 c 1262s| 3900 | 2935 | 3183k| 813.5 | 88M| 57 |1130 |7089 | 10k|7089 |7041 | 752 |3326 |1604 | 1.900000e+01 | -- | Inf
1318.97/1319.25 c 1319s| 4000 | 2999 | 3355k| 836.1 | 89M| 57 | 762 |7089 | 10k|7089 |7041 | 752 |3890 |1651 | 1.900000e+01 | -- | Inf
1353.88/1354.11 c 1354s| 4100 | 3069 | 3448k| 838.5 | 90M| 57 | 746 |7089 | 10k|7089 |7041 | 752 |3955 |1710 | 1.900000e+01 | -- | Inf
1387.07/1387.31 c 1387s| 4200 | 3141 | 3568k| 847.0 | 90M| 57 |1251 |7089 | 10k|7089 |7041 | 752 |4042 |1773 | 1.900000e+01 | -- | Inf
1414.26/1414.53 c 1415s| 4300 | 3227 | 3651k| 846.6 | 91M| 57 | 948 |7089 | 10k|7089 |7041 | 752 |4079 |1812 | 1.900000e+01 | -- | Inf
1456.36/1456.60 c 1457s| 4400 | 3313 | 3786k| 858.1 | 91M| 57 |1742 |7089 | 11k|7089 |7041 | 752 |4110 |1876 | 1.900000e+01 | -- | Inf
1476.45/1476.73 c 1477s| 4500 | 3387 | 3867k| 857.1 | 92M| 57 | - |7089 | 11k| 0 | 0 | 752 |4163 |1914 | 1.900000e+01 | -- | Inf
1489.95/1490.25 c 1490s| 4600 | 3436 | 3913k| 848.4 | 92M| 57 | 968 |7089 | 11k|7089 |7041 | 752 |4254 |1947 | 1.900000e+01 | -- | Inf
1518.45/1518.70 c 1519s| 4700 | 3526 | 4025k| 854.2 | 93M| 57 |1508 |7089 | 11k|7089 |7041 | 752 |4286 |2021 | 1.900000e+01 | -- | Inf
1558.14/1558.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1558.14/1558.46 c 1558s| 4800 | 3595 | 4189k| 870.5 | 94M| 57 |2585 |7089 | 11k|7089 |7041 | 752 |4461 |2057 | 1.900000e+01 | -- | Inf
1580.84/1581.16 c 1581s| 4900 | 3673 | 4286k| 872.6 | 94M| 57 |1340 |7089 | 11k|7089 |7041 | 752 |4518 |2104 | 1.900000e+01 | -- | Inf
1590.44/1590.70 c 1591s| 5000 | 3723 | 4329k| 863.8 | 95M| 57 | - |7089 | 11k|7089 |7041 | 752 |4614 |2125 | 1.900000e+01 | -- | Inf
1610.83/1611.14 c 1611s| 5100 | 3793 | 4397k| 860.1 | 96M| 57 |1540 |7089 | 11k|7089 |7041 | 752 |4671 |2174 | 1.900000e+01 | -- | Inf
1629.43/1629.70 c 1630s| 5200 | 3863 | 4479k| 859.4 | 96M| 57 |1065 |7089 | 11k|7089 |7041 | 752 |4737 |2219 | 1.900000e+01 | -- | Inf
1671.13/1671.49 c 1671s| 5300 | 3947 | 4655k| 876.4 | 97M| 57 |1057 |7089 | 11k|7089 |7041 | 752 |5139 |2266 | 1.900000e+01 | -- | Inf
1705.02/1705.38 c 1705s| 5400 | 4031 | 4769k| 881.3 | 97M| 57 |1212 |7089 | 11k|7089 |7041 | 752 |5167 |2312 | 1.900000e+01 | -- | Inf
1727.61/1727.94 c 1728s| 5500 | 4096 | 4847k| 879.5 | 98M| 57 |1470 |7089 | 11k|7089 |7041 | 752 |5230 |2358 | 1.900000e+01 | -- | Inf
1757.41/1757.70 c 1758s| 5600 | 4183 | 4952k| 882.4 | 99M| 57 |1644 |7089 | 11k|7089 |7041 | 752 |5242 |2429 | 1.900000e+01 | -- | Inf
1782.61/1782.97 c 1783s| 5700 | 4265 | 5060k| 885.8 | 99M| 57 | - |7089 | 11k|7089 |7041 | 752 |5332 |2488 | 1.900000e+01 | -- | Inf
1796.70/1797.03 c
1796.70/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.03 c Solving Time (sec) : 1797.03
1796.70/1797.03 c Solving Nodes : 5768
1796.70/1797.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.03 c Dual Bound : +1.90000000000003e+01
1796.70/1797.03 c Gap : infinite
1796.70/1797.03 s UNKNOWN
1796.70/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.03 c Total Time : 1797.03
1796.70/1797.03 c solving : 1797.03
1796.70/1797.03 c presolving : 0.44 (included in solving)
1796.70/1797.03 c reading : 0.18 (included in solving)
1796.70/1797.03 c copying : 0.05 (1 #copies) (minimal 0.05, maximal 0.05, average 0.05)
1796.70/1797.03 c Original Problem :
1796.70/1797.03 c Problem name : HOME/instance-3693329-1338032832.opb
1796.70/1797.03 c Variables : 7089 (7089 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.03 c Constraints : 13888 initial, 13888 maximal
1796.70/1797.03 c Objective sense : minimize
1796.70/1797.03 c Presolved Problem :
1796.70/1797.03 c Problem name : t_HOME/instance-3693329-1338032832.opb
1796.70/1797.03 c Variables : 7089 (7089 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.03 c Constraints : 6952 initial, 11905 maximal
1796.70/1797.03 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.03 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c components : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c probing : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c linear : 0.25 0.00 0 0 0 0 0 6936 0 0 0
1796.70/1797.03 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c root node : - - 0 - - 0 - - - - -
1796.70/1797.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.03 c integral : 0 0 0 0 5131 0 4 0 6 143 0 0 10140
1796.70/1797.03 c knapsack : 16 16 11 23354 0 1 3 18889 74 6504 247 0 0
1796.70/1797.03 c linear : 6936 6936 11 23280 0 1 0 11380 215 293949 2 0 0
1796.70/1797.03 c logicor : 0+ 4953 11 10423 0 0 0 2436 33 2261 0 0 0
1796.70/1797.03 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.70/1797.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.03 c integral : 475.85 0.00 0.00 0.00 475.85 0.00 0.00 0.00
1796.70/1797.03 c knapsack : 2.07 0.00 0.00 2.04 0.00 0.00 0.00 0.03
1796.70/1797.03 c linear : 12.75 0.00 0.01 12.72 0.00 0.00 0.00 0.03
1796.70/1797.03 c logicor : 0.40 0.00 0.00 0.40 0.00 0.00 0.00 0.01
1796.70/1797.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.03 c rootredcost : 0 0 0 0
1796.70/1797.03 c pseudoobj : 28385 0 0 0
1796.70/1797.03 c vbounds : 0 0 0 0
1796.70/1797.03 c redcost : 5159 0 0 18
1796.70/1797.03 c probing : 0 0 0 0
1796.70/1797.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.03 c rootredcost : 0.03 0.00 0.00 0.03 0.00
1796.70/1797.03 c pseudoobj : 0.07 0.00 0.00 0.07 0.00
1796.70/1797.03 c vbounds : 0.03 0.00 0.00 0.03 0.00
1796.70/1797.03 c redcost : 0.59 0.00 0.00 0.59 0.00
1796.70/1797.03 c probing : 0.02 0.00 0.02 0.00 0.00
1796.70/1797.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.03 c propagation : 0.05 322 322 1971 32.0 23 21.0 -
1796.70/1797.03 c infeasible LP : 2.55 3162 3162 4899 17.9 493 7.1 0
1796.70/1797.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.03 c applied globally : - - - 5379 16.7 - - -
1796.70/1797.03 c applied locally : - - - 0 0.0 - - -
1796.70/1797.03 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.03 c cut pool : 0.00 10 - - 1708 - (maximal pool size: 6011)
1796.70/1797.03 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c impliedbounds : 0.00 0.00 11 0 0 61 0
1796.70/1797.03 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c gomory : 0.98 0.00 10 0 0 14 0
1796.70/1797.03 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c strongcg : 1.08 0.00 11 0 0 8 0
1796.70/1797.03 c cmir : 6.19 0.00 10 0 0 4583 0
1796.70/1797.03 c flowcover : 3.52 0.00 10 0 0 1626 0
1796.70/1797.03 c clique : 0.01 0.00 1 0 0 0 0
1796.70/1797.03 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c mcf : 0.00 0.00 1 0 0 0 0
1796.70/1797.03 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.03 c problem variables: 0.00 - 0 0
1796.70/1797.03 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.03 c relpscost : 475.82 0.00 5131 6 143 0 0 10140
1796.70/1797.03 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c inference : 0.00 0.00 1 0 0 0 0 2
1796.70/1797.03 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.03 c LP solutions : 0.00 - - 0
1796.70/1797.03 c pseudo solutions : 0.00 - - 0
1796.70/1797.03 c oneopt : 0.01 0.00 0 0
1796.70/1797.03 c crossover : 0.01 0.00 0 0
1796.70/1797.03 c guideddiving : 0.00 0.00 0 0
1796.70/1797.03 c fracdiving : 89.60 0.00 5 0
1796.70/1797.03 c smallcard : 0.00 0.00 0 0
1796.70/1797.03 c trivial : 0.01 0.00 2 0
1796.70/1797.03 c shiftandpropagate: 0.45 0.00 1 0
1796.70/1797.03 c simplerounding : 0.01 0.00 0 0
1796.70/1797.03 c zirounding : 1.19 0.00 1000 0
1796.70/1797.03 c rounding : 2.12 0.00 973 0
1796.70/1797.03 c shifting : 7.58 0.00 284 0
1796.70/1797.03 c intshifting : 0.00 0.00 0 0
1796.70/1797.03 c twoopt : 0.00 0.00 0 0
1796.70/1797.03 c indoneopt : 0.02 0.00 0 0
1796.70/1797.03 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.03 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.03 c feaspump : 35.72 0.00 12 0
1796.70/1797.03 c clique : 0.00 0.00 0 0
1796.70/1797.03 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.03 c indrounding : 0.00 0.00 0 0
1796.70/1797.03 c coefdiving : 112.74 0.00 5 0
1796.70/1797.03 c pscostdiving : 43.59 0.00 24 0
1796.70/1797.03 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.03 c veclendiving : 33.38 0.00 28 0
1796.70/1797.03 c intdiving : 0.00 0.00 0 0
1796.70/1797.03 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.03 c objpscostdiving : 70.84 0.00 3 0
1796.70/1797.03 c rootsoldiving : 26.39 0.00 8 0
1796.70/1797.03 c linesearchdiving : 57.87 0.00 45 0
1796.70/1797.03 c octane : 0.00 0.00 0 0
1796.70/1797.03 c rens : 0.23 0.00 1 0
1796.70/1797.03 c rins : 0.00 0.00 0 0
1796.70/1797.03 c localbranching : 0.00 0.00 0 0
1796.70/1797.03 c mutation : 0.00 0.00 0 0
1796.70/1797.03 c dins : 0.00 0.00 0 0
1796.70/1797.03 c vbounds : 0.00 0.00 0 0
1796.70/1797.03 c undercover : 0.00 0.00 0 0
1796.70/1797.03 c subnlp : 0.01 0.00 0 0
1796.70/1797.03 c trysol : 0.01 0.00 0 0
1796.70/1797.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.03 c primal LP : 0.04 1 0 0.00 0.00 0.04 1
1796.70/1797.03 c dual LP : 802.31 5765 3174883 557.78 3957.17 1.24 73
1796.70/1797.03 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.03 c diving/probing LP: 449.50 7906 1926041 243.62 4284.89
1796.70/1797.03 c strong branching : 474.21 2524 1717598 680.51 3622.01
1796.70/1797.03 c (at root node) : - 34 22188 652.59 -
1796.70/1797.03 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.03 c B&B Tree :
1796.70/1797.03 c number of runs : 1
1796.70/1797.03 c nodes : 5768
1796.70/1797.03 c nodes (total) : 5768
1796.70/1797.03 c nodes left : 4310
1796.70/1797.03 c max depth : 57
1796.70/1797.03 c max depth (total): 57
1796.70/1797.03 c backtracks : 1024 (17.8%)
1796.70/1797.03 c delayed cutoffs : 65
1796.70/1797.03 c repropagations : 2632 (59303 domain reductions, 48 cutoffs)
1796.70/1797.03 c avg switch length: 4.18
1796.70/1797.03 c switching time : 5.87
1796.70/1797.03 c Solution :
1796.70/1797.03 c Solutions found : 0 (0 improvements)
1796.70/1797.03 c Primal Bound : -
1796.70/1797.03 c Dual Bound : +1.90000000000003e+01
1796.70/1797.03 c Gap : infinite
1796.70/1797.03 c Root Dual Bound : +1.62500000000000e+01
1796.70/1797.03 c Root Iterations : 11588
1796.80/1797.13 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-3693329-1338032832/watcher-3693329-1338032832 -o /tmp/evaluation-result-3693329-1338032832/solver-3693329-1338032832 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693329-1338032832.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 646
/proc/meminfo: memFree=28204260/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=6196 CPUtime=0 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 89 0 0 0 0 0 0 0 20 0 1 0 269410223 6344704 45 33554432000 4194304 10169799 140735704099248 140734776983768 9214672 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 1549 58 47 1459 0 81 0
[startup+0.0619219 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 646
/proc/meminfo: memFree=28204260/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=17016 CPUtime=0.05 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 2997 0 0 0 5 0 0 0 20 0 1 0 269410223 17424384 2951 33554432000 4194304 10169799 140735704099248 140734776983768 8982256 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 4254 2951 412 1459 0 2786 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17016
[startup+0.100626 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 646
/proc/meminfo: memFree=28204260/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=19352 CPUtime=0.09 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 3582 0 0 0 9 0 0 0 20 0 1 0 269410223 19816448 3536 33554432000 4194304 10169799 140735704099248 140734776983768 8982256 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 4838 3536 412 1459 0 3370 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19352
[startup+0.300287 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 646
/proc/meminfo: memFree=28204260/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=116948 CPUtime=0.28 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 26964 0 0 0 25 3 0 0 20 0 1 0 269410223 119754752 26918 33554432000 4194304 10169799 140735704099248 140734776983768 4899493 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 29237 26919 500 1459 0 27769 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 116948
[startup+0.700287 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 646
/proc/meminfo: memFree=28204260/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=153196 CPUtime=0.68 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 40691 0 0 0 58 10 0 0 20 0 1 0 269410223 156872704 35816 33554432000 4194304 10169799 140735704099248 140735704097400 5697319 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 38299 35816 649 1459 0 36831 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 153196
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 647
/proc/meminfo: memFree=28043304/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=193448 CPUtime=1.49 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 48829 0 0 0 137 12 0 0 20 0 1 0 269410223 198090752 45225 33554432000 4194304 10169799 140735704099248 140735704096328 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 48362 45225 777 1459 0 46894 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 193448
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 647
/proc/meminfo: memFree=28023688/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=193448 CPUtime=3.08 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 48843 0 0 0 296 12 0 0 20 0 1 0 269410223 198090752 45239 33554432000 4194304 10169799 140735704099248 140735704090824 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 48362 45239 778 1459 0 46894 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 193448
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 685
/proc/meminfo: memFree=28226992/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=218544 CPUtime=6.29 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 51308 0 0 0 610 19 0 0 20 0 1 0 269410223 223789056 51738 33554432000 4194304 10169799 140735704099248 140735704095320 6814003 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 54636 51738 804 1459 0 53168 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 218544
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 685
/proc/meminfo: memFree=28200360/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=238252 CPUtime=12.68 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 53541 0 0 0 1247 21 0 0 20 0 1 0 269410223 243970048 55521 33554432000 4194304 10169799 140735704099248 140735704095784 5103058 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 59563 55521 804 1459 0 58095 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 238252
[startup+25.5003 s]
/proc/loadavg: 2.08 2.02 1.93 3/177 686
/proc/meminfo: memFree=28198260/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=229112 CPUtime=25.48 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 89259 0 0 0 2514 34 0 0 20 0 1 0 269410223 234610688 53818 33554432000 4194304 10169799 140735704099248 140735704093848 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 57278 53818 847 1459 0 55810 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 229112
[startup+51.1003 s]
/proc/loadavg: 2.05 2.01 1.93 3/177 686
/proc/meminfo: memFree=28202072/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=237464 CPUtime=51.07 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 140052 0 0 0 5053 54 0 0 20 0 1 0 269410223 243163136 55766 33554432000 4194304 10169799 140735704099248 140735704093576 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 59366 55766 848 1459 0 57898 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 237464
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 686
/proc/meminfo: memFree=28193624/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=237464 CPUtime=102.27 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 140443 0 0 0 10164 63 0 0 20 0 1 0 269410223 243163136 56841 33554432000 4194304 10169799 140735704099248 140735704093112 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 59366 56841 848 1459 0 57898 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 237464
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 686
/proc/meminfo: memFree=28189472/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=237408 CPUtime=162.25 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 144363 0 0 0 16131 94 0 0 20 0 1 0 269410223 243105792 56408 33554432000 4194304 10169799 140735704099248 140735704092584 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 59352 56408 849 1459 0 57884 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 237408
[startup+222.3 s]
/proc/loadavg: 2.11 2.03 1.94 3/178 689
/proc/meminfo: memFree=28180484/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=239052 CPUtime=222.25 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 145472 0 0 0 22101 124 0 0 20 0 1 0 269410223 244789248 57517 33554432000 4194304 10169799 140735704099248 140735704093160 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 59763 57517 849 1459 0 58295 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 239052
[startup+282.3 s]
/proc/loadavg: 2.04 2.02 1.94 3/177 689
/proc/meminfo: memFree=28168144/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=248948 CPUtime=282.24 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 146925 0 0 0 28080 144 0 0 20 0 1 0 269410223 254922752 59825 33554432000 4194304 10169799 140735704099248 140735704093672 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 62237 59825 849 1459 0 60769 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 248948
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/177 690
/proc/meminfo: memFree=28167408/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=241472 CPUtime=342.23 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 149060 0 0 0 34061 162 0 0 20 0 1 0 269410223 247267328 58296 33554432000 4194304 10169799 140735704099248 140735704092920 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 60368 58296 849 1459 0 58900 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 241472
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 690
/proc/meminfo: memFree=28154736/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=244376 CPUtime=402.22 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 154729 0 0 0 40037 185 0 0 20 0 1 0 269410223 250241024 59065 33554432000 4194304 10169799 140735704099248 140735704094040 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 61094 59065 849 1459 0 59626 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 244376
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 690
/proc/meminfo: memFree=28141892/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=245264 CPUtime=462.21 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 154951 0 0 0 46021 200 0 0 20 0 1 0 269410223 251150336 59286 33554432000 4194304 10169799 140735704099248 140735704093336 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 61316 59286 849 1459 0 59848 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 245264
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 690
/proc/meminfo: memFree=28135816/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=246140 CPUtime=522.2 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 155157 0 0 0 52007 213 0 0 20 0 1 0 269410223 252047360 59492 33554432000 4194304 10169799 140735704099248 140735704093112 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 61535 59492 849 1459 0 60067 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 246140
[startup+582.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/177 690
/proc/meminfo: memFree=28124412/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=248316 CPUtime=582.19 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 157388 0 0 0 57990 229 0 0 20 0 1 0 269410223 254275584 59680 33554432000 4194304 10169799 140735704099248 140735704093528 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 62079 59680 849 1459 0 60611 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 248316
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28037776/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=244116 CPUtime=1062.12 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 214331 0 0 0 105776 436 0 0 20 0 1 0 269410223 249974784 58856 33554432000 4194304 10169799 140735704099248 140735704094040 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 61029 58856 849 1459 0 59561 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 244116
[startup+1122.3 s]
/proc/loadavg: 2.05 2.02 1.96 3/177 718
/proc/meminfo: memFree=28025252/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=246764 CPUtime=1122.11 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 215137 0 0 0 111747 464 0 0 20 0 1 0 269410223 252686336 59662 33554432000 4194304 10169799 140735704099248 140735704093576 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 61691 59662 849 1459 0 60223 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 246764
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/177 718
/proc/meminfo: memFree=28019124/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=243236 CPUtime=1182.1 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 220940 0 0 0 117725 485 0 0 20 0 1 0 269410223 249073664 58590 33554432000 4194304 10169799 140735704099248 140735704094232 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 60809 58590 852 1459 0 59341 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 243236
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/176 718
/proc/meminfo: memFree=28004992/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=246672 CPUtime=1242.09 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 227304 0 0 0 123696 513 0 0 20 0 1 0 269410223 252592128 58772 33554432000 4194304 10169799 140735704099248 140735704093112 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 61668 58772 852 1459 0 60200 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 246672
[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 1.97 3/177 719
/proc/meminfo: memFree=27988296/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=251144 CPUtime=1302.09 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 228969 0 0 0 129670 539 0 0 20 0 1 0 269410223 257171456 60335 33554432000 4194304 10169799 140735704099248 140735704092472 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 62786 60335 852 1459 0 61318 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 251144
[startup+1362.3 s]
/proc/loadavg: 2.06 2.03 1.97 3/177 719
/proc/meminfo: memFree=27969448/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=256864 CPUtime=1362.07 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 230823 0 0 0 135646 561 0 0 20 0 1 0 269410223 263028736 62189 33554432000 4194304 10169799 140735704099248 140735704092920 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 64216 62189 852 1459 0 62748 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 256864
[startup+1422.31 s]
/proc/loadavg: 2.08 2.04 1.98 3/178 722
/proc/meminfo: memFree=27960388/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=256864 CPUtime=1422.07 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 230823 0 0 0 141617 590 0 0 20 0 1 0 269410223 263028736 62189 33554432000 4194304 10169799 140735704099248 140735704092920 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 64216 62189 852 1459 0 62748 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 256864
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 1.98 3/177 722
/proc/meminfo: memFree=27952124/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=256864 CPUtime=1482.05 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 230823 0 0 0 147584 621 0 0 20 0 1 0 269410223 263028736 62189 33554432000 4194304 10169799 140735704099248 140735704093512 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 64216 62189 852 1459 0 62748 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 256864
[startup+1542.3 s]
/proc/loadavg: 2.07 2.04 1.98 3/177 722
/proc/meminfo: memFree=27943104/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=245320 CPUtime=1542.04 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 234411 0 0 0 153554 650 0 0 20 0 1 0 269410223 251207680 58741 33554432000 4194304 10169799 140735704099248 140735704094072 7884992 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 61330 58741 852 1459 0 59862 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 245320
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 1.98 3/177 723
/proc/meminfo: memFree=27936152/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=254712 CPUtime=1602.04 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 236345 0 0 0 159519 685 0 0 20 0 1 0 269410223 260825088 61417 33554432000 4194304 10169799 140735704099248 140735704092920 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 63678 61417 852 1459 0 62210 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 254712
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/176 723
/proc/meminfo: memFree=27923760/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=257368 CPUtime=1662.02 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 237243 0 0 0 165486 716 0 0 20 0 1 0 269410223 263544832 62315 33554432000 4194304 10169799 140735704099248 140735704092920 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 64342 62315 852 1459 0 62874 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 257368
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 1.99 3/177 724
/proc/meminfo: memFree=27909924/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=265432 CPUtime=1722.02 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 241964 0 0 0 171454 748 0 0 20 0 1 0 269410223 271802368 63784 33554432000 4194304 10169799 140735704099248 140735704093432 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 66358 63784 852 1459 0 64890 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 265432
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/177 724
/proc/meminfo: memFree=27899632/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=265432 CPUtime=1782 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 242482 0 0 0 177415 785 0 0 20 0 1 0 269410223 271802368 64302 33554432000 4194304 10169799 140735704099248 140735704093528 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 66358 64302 852 1459 0 64890 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 265432
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.02 1.99 3/177 724
/proc/meminfo: memFree=27899260/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=265432 CPUtime=1785.2 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 242482 0 0 0 177732 788 0 0 20 0 1 0 269410223 271802368 64302 33554432000 4194304 10169799 140735704099248 140735704092920 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 66358 64302 852 1459 0 64890 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 265432
[startup+1791.91 s]
/proc/loadavg: 2.02 2.02 1.99 3/177 724
/proc/meminfo: memFree=27899508/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=265432 CPUtime=1791.61 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 242482 0 0 0 178370 791 0 0 20 0 1 0 269410223 271802368 64302 33554432000 4194304 10169799 140735704099248 140735704093944 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 66358 64302 852 1459 0 64890 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 265432
[startup+1795.1 s]
/proc/loadavg: 2.02 2.02 1.99 3/177 724
/proc/meminfo: memFree=27894112/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=269048 CPUtime=1794.81 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 242890 0 0 0 178689 792 0 0 20 0 1 0 269410223 275505152 65200 33554432000 4194304 10169799 140735704099248 140735704092920 8030352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 67262 65200 852 1459 0 65794 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 269048
[startup+1795.9 s]
/proc/loadavg: 2.02 2.02 1.99 3/177 724
/proc/meminfo: memFree=27894112/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=269048 CPUtime=1795.6 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 242890 0 0 0 178768 792 0 0 20 0 1 0 269410223 275505152 65200 33554432000 4194304 10169799 140735704099248 140735704092920 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 67262 65200 852 1459 0 65794 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 269048
[startup+1796.7 s]
/proc/loadavg: 2.02 2.02 1.99 3/177 724
/proc/meminfo: memFree=27894236/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=269048 CPUtime=1796.4 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 242890 0 0 0 178847 793 0 0 20 0 1 0 269410223 275505152 65200 33554432000 4194304 10169799 140735704099248 140735704096712 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 67262 65200 852 1459 0 65794 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 269048
[startup+1797.1 s]
/proc/loadavg: 2.02 2.02 1.99 3/177 724
/proc/meminfo: memFree=27894236/32873844 swapFree=7100/7100
[pid=646] ppid=644 vsize=264428 CPUtime=1796.8 cores=0,2,4,6
/proc/646/stat : 646 (scip-2.1.1.4sfi) R 644 646 32069 0 -1 4202496 242893 0 0 0 178887 793 0 0 20 0 1 0 269410223 270774272 64048 33554432000 4194304 10169799 140735704099248 140735704096712 5477706 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/646/statm: 66107 64048 855 1459 0 64639 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 264428
Child status: 0
Real time (s): 1797.14
CPU time (s): 1796.85
CPU user time (s): 1788.91
CPU system time (s): 7.94679
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 303852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.91
system time used= 7.94679
maximum resident set size= 286344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242895
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= 20
involuntary context switches= 1897
runsolver used 2.71859 second user time and 7.08592 second system time
The end