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-3693742-1338037066.opb>
0.00/0.00 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.00/0.00 c problem read in 0.01
0.00/0.02 o 0
0.00/0.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.02 c presolving:
0.02/0.08 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 24504 impls, 200 clqs
0.09/0.14 c (0.1s) probing: 51/3238 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.14 c presolving (2 rounds):
0.09/0.14 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 24504 implications, 200 cliques
0.09/0.14 c presolved problem has 3238 variables (3238 bin, 0 int, 0 impl, 0 cont) and 3339 constraints
0.09/0.14 c 300 constraints of type <setppc>
0.09/0.14 c 3038 constraints of type <and>
0.09/0.14 c 1 constraints of type <linear>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.13
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 2.1.1.4
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1797
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 13950
0.09/0.14 c
0.09/0.14 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.14 c # [type: int, range: [1,2], default: 1]
0.09/0.14 c timing/clocktype = 2
0.09/0.14 c
0.09/0.14 c # belongs reading time to solving time?
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c timing/reading = TRUE
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.94/0.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.94/0.95 c t 1.0s| 1 | 0 | 2866 | - | 14M| 0 | 958 |3238 |3339 |3238 |6377 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | Inf
0.94/0.96 o -4
0.94/0.96 c s 1.0s| 1 | 0 | 2866 | - | 14M| 0 | 958 |3238 |3339 |3238 |6377 | 0 | 0 | 0 |-5.000000e+01 |-4.000000e+00 |1150.00%
2.48/2.56 c 2.6s| 1 | 0 | 6921 | - | 15M| 0 |1493 |3238 |3341 |3238 |6420 | 43 | 1 | 0 |-5.000000e+01 |-4.000000e+00 |1150.00%
3.59/3.60 c 3.6s| 1 | 0 | 8755 | - | 15M| 0 |1235 |3238 |3341 |3238 |6447 | 70 | 1 | 0 |-5.000000e+01 |-4.000000e+00 |1150.00%
4.68/4.76 c 4.8s| 1 | 0 | 11001 | - | 15M| 0 |1506 |3238 |3341 |3238 |6471 | 94 | 1 | 0 |-5.000000e+01 |-4.000000e+00 |1150.00%
4.68/4.77 o -4
4.68/4.77 c s 4.8s| 1 | 0 | 11001 | - | 15M| 0 |1506 |3238 |3341 |3238 |6471 | 94 | 1 | 0 |-5.000000e+01 |-4.000000e+00 |1150.00%
5.79/5.80 c 5.8s| 1 | 0 | 12697 | - | 15M| 0 |1574 |3238 |3341 |3238 |6488 | 111 | 1 | 0 |-5.000000e+01 |-4.000000e+00 |1150.00%
6.49/6.58 c 6.6s| 1 | 0 | 13263 | - | 15M| 0 |1539 |3238 |3341 |3238 |6503 | 126 | 1 | 0 |-5.000000e+01 |-4.000000e+00 |1150.00%
6.49/6.59 o -4
6.49/6.59 c s 6.6s| 1 | 0 | 13263 | - | 15M| 0 |1539 |3238 |3341 |3238 |6503 | 126 | 1 | 0 |-5.000000e+01 |-4.000000e+00 |1150.00%
7.29/7.38 c 7.4s| 1 | 0 | 14720 | - | 15M| 0 |1677 |3238 |3341 |3238 |6513 | 136 | 1 | 0 |-5.000000e+01 |-4.000000e+00 |1150.00%
8.28/8.35 c 8.3s| 1 | 0 | 16485 | - | 15M| 0 |1513 |3238 |3341 |3238 |6521 | 144 | 1 | 0 |-5.000000e+01 |-4.000000e+00 |1150.00%
36.98/37.03 o -11
36.98/37.03 c E37.0s| 1 | 0 | 16485 | - | 15M| 0 |1513 |3238 |3341 |3238 |6521 | 144 | 1 | 0 |-5.000000e+01 |-1.100000e+01 | 354.55%
36.98/37.05 c 37.1s| 1 | 0 | 16485 | - | 15M| 0 |1513 |3238 |3341 |3238 |6521 | 144 | 1 | 0 |-5.000000e+01 |-1.100000e+01 | 354.55%
38.49/38.53 c 38.5s| 1 | 0 | 19962 | - | 15M| 0 |1637 |3238 |3341 |3238 |6539 | 162 | 1 | 0 |-5.000000e+01 |-1.100000e+01 | 354.55%
49.58/49.62 c 49.6s| 1 | 2 | 19962 | - | 15M| 0 |1637 |3238 |3341 |3238 |6539 | 162 | 1 | 25 |-5.000000e+01 |-1.100000e+01 | 354.55%
243.04/243.12 o -12
243.04/243.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.04/243.12 c l 243s| 33 | 34 |666401 |20201.2 | 16M| 17 | - |3238 |3354 |3238 |3452 |4929 | 14 | 321 |-4.978953e+01 |-1.200000e+01 | 314.91%
397.52/397.62 o -13
397.52/397.62 c l 398s| 80 | 81 | 1314k|16380.9 | 17M| 21 | - |3238 |3375 |3238 |3370 |7668 | 35 | 440 |-4.978953e+01 |-1.300000e+01 | 283.00%
435.91/436.04 c 436s| 100 | 101 | 1452k|14471.0 | 16M| 21 | 966 |3238 |3380 |3238 |3336 |9374 | 40 | 503 |-4.953841e+01 |-1.300000e+01 | 281.06%
460.92/461.08 o -14
460.92/461.08 c l 461s| 119 | 120 | 1560k|13056.9 | 17M| 22 | - |3238 |3401 |3238 |3389 | 10k| 61 | 518 |-4.544079e+01 |-1.400000e+01 | 224.58%
579.49/579.61 c 580s| 200 | 201 | 2017k|10038.7 | 17M| 41 | 640 |3238 |3410 |3238 |3587 | 13k| 70 | 636 |-4.199813e+01 |-1.400000e+01 | 199.99%
649.98/650.17 c 650s| 300 | 301 | 2278k|7552.0 | 17M| 55 | 396 |3238 |3427 |3238 |3622 | 15k| 87 | 720 |-4.199813e+01 |-1.400000e+01 | 199.99%
652.57/652.80 c 653s| 400 | 349 | 2288k|5686.3 | 18M| 84 | 190 |3238 |3428 |3238 |3683 | 15k| 88 | 720 |-4.199813e+01 |-1.400000e+01 | 199.99%
653.98/654.17 c 654s| 500 | 413 | 2293k|4556.6 | 18M| 89 | 182 |3238 |3432 |3238 |3675 | 15k| 93 | 720 |-4.199813e+01 |-1.400000e+01 | 199.99%
676.38/676.58 c 677s| 600 | 489 | 2373k|3929.2 | 19M| 101 | 179 |3238 |3434 |3238 |3669 | 16k| 95 | 764 |-4.159137e+01 |-1.400000e+01 | 197.08%
688.77/688.97 c 689s| 700 | 527 | 2414k|3425.8 | 19M| 102 | 177 |3238 |3439 |3238 |3679 | 16k| 100 | 799 |-4.145740e+01 |-1.400000e+01 | 196.12%
690.87/691.03 c 691s| 800 | 554 | 2421k|3005.4 | 19M| 102 | - |3238 |3449 |3238 |3404 | 16k| 110 | 810 |-4.145740e+01 |-1.400000e+01 | 196.12%
701.37/701.50 c 702s| 900 | 596 | 2463k|2718.4 | 20M| 102 | 153 |3238 |3449 |3238 |3344 | 17k| 111 | 824 |-4.129873e+01 |-1.400000e+01 | 194.99%
711.67/711.84 c 712s| 1000 | 632 | 2506k|2489.4 | 21M| 102 | 76 |3238 |3453 |3238 |3408 | 18k| 115 | 828 |-4.111584e+01 |-1.400000e+01 | 193.68%
723.07/723.21 c 723s| 1100 | 672 | 2557k|2308.5 | 21M| 102 | - |3238 |3452 |3238 |3387 | 18k| 118 | 829 |-4.094071e+01 |-1.400000e+01 | 192.43%
727.57/727.71 c 728s| 1200 | 688 | 2576k|2132.2 | 21M| 102 | 118 |3238 |3454 |3238 |3405 | 19k| 121 | 829 |-4.093476e+01 |-1.400000e+01 | 192.39%
728.37/728.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
728.37/728.52 c 729s| 1300 | 696 | 2579k|1970.4 | 21M| 102 | - |3238 |3458 |3238 |3404 | 19k| 125 | 829 |-4.093476e+01 |-1.400000e+01 | 192.39%
759.96/760.16 c 760s| 1400 | 758 | 2689k|1908.4 | 22M| 102 | - |3238 |3458 |3238 |3123 | 21k| 125 | 905 |-4.090374e+01 |-1.400000e+01 | 192.17%
778.46/778.67 c 779s| 1500 | 808 | 2758k|1827.1 | 23M| 102 | 174 |3238 |3462 |3238 |3164 | 22k| 130 | 934 |-4.090374e+01 |-1.400000e+01 | 192.17%
783.96/784.16 c 784s| 1600 | 842 | 2783k|1728.3 | 23M| 102 | 385 |3238 |3462 |3238 |3139 | 22k| 130 | 934 |-4.090374e+01 |-1.400000e+01 | 192.17%
786.86/787.09 c 787s| 1700 | 880 | 2797k|1634.6 | 24M| 102 | - |3238 |3460 |3238 |3196 | 22k| 130 | 934 |-4.090374e+01 |-1.400000e+01 | 192.17%
796.16/796.40 c 796s| 1800 | 922 | 2839k|1567.1 | 25M| 102 | - |3238 |3461 |3238 |3173 | 23k| 131 | 934 |-4.090374e+01 |-1.400000e+01 | 192.17%
798.25/798.48 c 798s| 1900 | 964 | 2848k|1489.5 | 25M| 102 | - |3238 |3461 |3238 |3181 | 23k| 131 | 934 |-4.090374e+01 |-1.400000e+01 | 192.17%
807.36/807.58 c 808s| 2000 | 1002 | 2889k|1435.7 | 26M| 102 | 190 |3238 |3462 |3238 |3178 | 23k| 132 | 934 |-4.070557e+01 |-1.400000e+01 | 190.75%
813.15/813.38 c 813s| 2100 | 1040 | 2907k|1375.6 | 26M| 102 | - |3238 |3462 |3238 |3178 | 24k| 133 | 956 |-4.061841e+01 |-1.400000e+01 | 190.13%
823.86/824.03 c 824s| 2200 | 1088 | 2951k|1333.3 | 26M| 102 | - |3238 |3462 |3238 |3183 | 24k| 133 | 965 |-4.052456e+01 |-1.400000e+01 | 189.46%
855.65/855.87 c 856s| 2300 | 1176 | 3063k|1323.7 | 27M| 102 |1166 |3238 |3463 |3238 |3158 | 25k| 135 |1026 |-4.052456e+01 |-1.400000e+01 | 189.46%
876.44/876.67 c 877s| 2400 | 1244 | 3151k|1305.4 | 28M| 102 | 189 |3238 |3462 |3238 |3334 | 27k| 135 |1034 |-4.046714e+01 |-1.400000e+01 | 189.05%
907.84/908.05 c 908s| 2500 | 1342 | 3290k|1308.6 | 29M| 102 | 339 |3238 |3462 |3238 |3381 | 29k| 136 |1035 |-4.017905e+01 |-1.400000e+01 | 186.99%
931.44/931.70 c 932s| 2600 | 1442 | 3392k|1297.6 | 30M| 102 | 442 |3238 |3467 |3238 |3421 | 30k| 141 |1035 |-4.017905e+01 |-1.400000e+01 | 186.99%
945.64/945.83 c 946s| 2700 | 1522 | 3455k|1272.7 | 31M| 102 | 166 |3238 |3467 |3238 |3178 | 31k| 141 |1035 |-4.015899e+01 |-1.400000e+01 | 186.85%
973.73/973.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
973.73/973.91 c 974s| 2800 | 1604 | 3565k|1266.6 | 32M| 102 | 181 |3238 |3465 |3238 |2830 | 32k| 141 |1077 |-4.013385e+01 |-1.400000e+01 | 186.67%
1006.43/1006.69 c 1007s| 2900 | 1694 | 3678k|1262.2 | 33M| 102 | 155 |3238 |3461 |3238 |2854 | 34k| 141 |1138 |-4.010978e+01 |-1.400000e+01 | 186.50%
1030.62/1030.81 c 1031s| 3000 | 1780 | 3790k|1257.3 | 34M| 102 | 240 |3238 |3465 |3238 |3231 | 36k| 145 |1144 |-3.995366e+01 |-1.400000e+01 | 185.38%
1055.72/1055.91 c 1056s| 3100 | 1854 | 3897k|1251.2 | 35M| 102 | 94 |3238 |3467 |3238 |2860 | 38k| 147 |1171 |-3.978163e+01 |-1.400000e+01 | 184.15%
1064.42/1064.69 c 1065s| 3200 | 1890 | 3930k|1222.5 | 35M| 102 | - |3238 |3472 |3238 |2848 | 39k| 152 |1186 |-3.978163e+01 |-1.400000e+01 | 184.15%
1079.81/1080.05 c 1080s| 3300 | 1938 | 3986k|1202.4 | 36M| 102 | 92 |3238 |3473 |3238 |2843 | 40k| 156 |1214 |-3.967265e+01 |-1.400000e+01 | 183.38%
1082.41/1082.65 c 1083s| 3400 | 1968 | 3997k|1170.1 | 36M| 102 | 153 |3238 |3471 |3238 |2847 | 40k| 159 |1214 |-3.967265e+01 |-1.400000e+01 | 183.38%
1092.91/1093.17 c 1093s| 3500 | 2020 | 4036k|1147.9 | 37M| 102 | 112 |3238 |3467 |3238 |2854 | 41k| 160 |1236 |-3.963275e+01 |-1.400000e+01 | 183.09%
1099.41/1099.69 c 1100s| 3600 | 2064 | 4064k|1123.9 | 37M| 102 | - |3238 |3468 |3238 |2854 | 41k| 162 |1237 |-3.962865e+01 |-1.400000e+01 | 183.06%
1111.10/1111.33 c 1111s| 3700 | 2098 | 4118k|1108.0 | 38M| 102 | 720 |3238 |3467 |3238 |3138 | 42k| 163 |1237 |-3.955585e+01 |-1.400000e+01 | 182.54%
1134.50/1134.71 c 1135s| 3800 | 2186 | 4222k|1106.2 | 39M| 102 | 200 |3238 |3467 |3238 |3518 | 43k| 163 |1237 |-3.950815e+01 |-1.400000e+01 | 182.20%
1165.00/1165.26 c 1165s| 3900 | 2282 | 4330k|1105.6 | 40M| 102 | 434 |3238 |3469 |3238 |3547 | 44k| 165 |1280 |-3.947808e+01 |-1.400000e+01 | 181.99%
1176.99/1177.20 c 1177s| 4000 | 2334 | 4370k|1088.0 | 40M| 102 | - |3238 |3467 |3238 |3365 | 45k| 165 |1308 |-3.947155e+01 |-1.400000e+01 | 181.94%
1191.09/1191.33 c 1191s| 4100 | 2404 | 4426k|1075.0 | 41M| 102 | - |3238 |3468 |3238 |3581 | 45k| 166 |1323 |-3.932227e+01 |-1.400000e+01 | 180.87%
1219.69/1219.93 c 1220s| 4200 | 2490 | 4549k|1078.7 | 42M| 102 | 699 |3238 |3469 |3238 |3348 | 47k| 169 |1327 |-3.926093e+01 |-1.400000e+01 | 180.44%
1237.08/1237.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1237.08/1237.30 c 1237s| 4300 | 2574 | 4624k|1071.1 | 43M| 102 | 557 |3238 |3471 |3238 |3376 | 48k| 172 |1327 |-3.926093e+01 |-1.400000e+01 | 180.44%
1250.37/1250.63 c 1251s| 4400 | 2636 | 4665k|1056.1 | 44M| 102 | 39 |3238 |3472 |3238 |3596 | 49k| 173 |1360 |-3.925977e+01 |-1.400000e+01 | 180.43%
1257.78/1258.02 c 1258s| 4500 | 2694 | 4696k|1039.5 | 44M| 102 | 107 |3238 |3474 |3238 |3578 | 49k| 175 |1360 |-3.925977e+01 |-1.400000e+01 | 180.43%
1267.38/1267.63 c 1268s| 4600 | 2740 | 4730k|1024.2 | 44M| 102 | 166 |3238 |3475 |3238 |3169 | 50k| 176 |1384 |-3.914892e+01 |-1.400000e+01 | 179.64%
1297.78/1298.07 c 1298s| 4700 | 2824 | 4862k|1030.5 | 45M| 102 | 230 |3238 |3475 |3238 |3157 | 51k| 176 |1401 |-3.914874e+01 |-1.400000e+01 | 179.63%
1322.27/1322.60 c 1323s| 4800 | 2902 | 4971k|1031.9 | 46M| 102 | 838 |3238 |3476 |3238 |3148 | 53k| 177 |1401 |-3.914874e+01 |-1.400000e+01 | 179.63%
1350.16/1350.42 c 1350s| 4900 | 2998 | 5074k|1031.7 | 47M| 102 | 199 |3238 |3473 |3238 |3483 | 54k| 177 |1446 |-3.912509e+01 |-1.400000e+01 | 179.46%
1369.65/1369.96 c 1370s| 5000 | 3070 | 5154k|1027.1 | 48M| 102 | 138 |3238 |3472 |3238 |3451 | 56k| 177 |1469 |-3.911740e+01 |-1.400000e+01 | 179.41%
1397.75/1398.02 c 1398s| 5100 | 3166 | 5278k|1031.3 | 49M| 102 | - |3238 |3472 |3238 |3308 | 57k| 178 |1471 |-3.901351e+01 |-1.400000e+01 | 178.67%
1425.85/1426.14 c 1426s| 5200 | 3260 | 5398k|1034.5 | 50M| 102 | 404 |3238 |3473 |3238 |3408 | 59k| 179 |1490 |-3.901351e+01 |-1.400000e+01 | 178.67%
1450.95/1451.26 c 1451s| 5300 | 3352 | 5491k|1032.5 | 51M| 102 |1035 |3238 |3475 |3238 |3329 | 60k| 181 |1519 |-3.898698e+01 |-1.400000e+01 | 178.48%
1480.74/1481.08 c 1481s| 5400 | 3444 | 5602k|1034.0 | 52M| 102 | 415 |3238 |3475 |3238 |3407 | 62k| 182 |1556 |-3.882270e+01 |-1.400000e+01 | 177.30%
1505.84/1506.14 c 1506s| 5500 | 3524 | 5712k|1035.1 | 53M| 102 | 329 |3238 |3475 |3238 |3478 | 63k| 182 |1556 |-3.873027e+01 |-1.400000e+01 | 176.64%
1527.03/1527.33 c 1527s| 5600 | 3610 | 5806k|1033.5 | 54M| 102 | 219 |3238 |3475 |3238 |3496 | 64k| 182 |1556 |-3.873027e+01 |-1.400000e+01 | 176.64%
1552.13/1552.41 c 1552s| 5700 | 3704 | 5900k|1031.9 | 55M| 102 | 942 |3238 |3477 |3238 |3412 | 65k| 185 |1588 |-3.873027e+01 |-1.400000e+01 | 176.64%
1580.82/1581.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1580.82/1581.10 c 1581s| 5800 | 3790 | 6014k|1033.8 | 56M| 102 | - |3238 |3477 |3238 |3389 | 67k| 185 |1621 |-3.868855e+01 |-1.400000e+01 | 176.35%
1605.72/1606.03 c 1606s| 5900 | 3886 | 6115k|1033.3 | 57M| 102 | 206 |3238 |3481 |3238 |3617 | 68k| 189 |1633 |-3.864209e+01 |-1.400000e+01 | 176.01%
1629.11/1629.43 c 1629s| 6000 | 3986 | 6215k|1032.7 | 58M| 102 | 705 |3238 |3487 |3238 |3572 | 69k| 195 |1633 |-3.859790e+01 |-1.400000e+01 | 175.70%
1649.42/1649.71 c 1650s| 6100 | 4080 | 6302k|1030.1 | 59M| 102 | - |3238 |3492 |3238 |3442 | 70k| 200 |1634 |-3.848624e+01 |-1.400000e+01 | 174.90%
1670.11/1670.45 c 1670s| 6200 | 4160 | 6382k|1026.3 | 59M| 102 | 329 |3238 |3492 |3238 |3535 | 71k| 200 |1652 |-3.839104e+01 |-1.400000e+01 | 174.22%
1696.01/1696.33 c 1696s| 6300 | 4226 | 6479k|1025.4 | 60M| 102 |1237 |3238 |3491 |3238 |3304 | 72k| 200 |1688 |-3.812320e+01 |-1.400000e+01 | 172.31%
1723.30/1723.66 c 1724s| 6400 | 4304 | 6580k|1025.2 | 61M| 102 | 395 |3238 |3492 |3238 |3383 | 73k| 201 |1712 |-3.809982e+01 |-1.400000e+01 | 172.14%
1746.61/1746.97 c 1747s| 6500 | 4380 | 6683k|1025.3 | 62M| 102 | 230 |3238 |3494 |3238 |3581 | 74k| 204 |1713 |-3.802433e+01 |-1.400000e+01 | 171.60%
1769.29/1769.65 c 1770s| 6600 | 4466 | 6781k|1024.7 | 63M| 102 | 156 |3238 |3497 |3238 |3414 | 76k| 207 |1713 |-3.802433e+01 |-1.400000e+01 | 171.60%
1794.58/1794.92 c 1795s| 6700 | 4552 | 6873k|1023.1 | 64M| 102 | 164 |3238 |3497 |3238 |3383 | 77k| 207 |1748 |-3.802433e+01 |-1.400000e+01 | 171.60%
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 : 6717
1796.69/1797.00 c Primal Bound : -1.40000000000000e+01 (17 solutions)
1796.69/1797.00 c Dual Bound : -3.80243300671578e+01
1796.69/1797.00 c Gap : 171.60 %
1796.69/1797.00 s SATISFIABLE
1796.69/1797.01 v -x162 -x111 -x139 -x121 x180 x119 -x108 -x154 -x172 -x132 -x190 -x166 -x129 x153 -x198 -x113 -x140 -x200 -x155 -x189 -x179 -x156
1796.69/1797.01 v -x152 -x149 -x109 -x188 -x151 -x144 -x165 -x135 -x115 -x146 x147 -x126 -x106 -x182 x197 x102 -x195 -x161 -x133 -x105 -x104
1796.69/1797.01 v -x192 -x114 x171 -x125 -x138 -x185 -x174 -x143 -x157 -x170 x159 -x123 -x103 -x101 -x199 x196 -x186 x181 -x177 -x176 -x175 -x167
1796.69/1797.01 v -x158 -x148 -x145 -x142 -x134 -x120 -x118 -x117 -x110 -x107 -x124 -x131 -x183 -x130 -x168 -x169 -x112 -x137 -x173 -x141 x127
1796.69/1797.01 v -x164 -x160 x191 -x128 -x163 -x122 -x150 x193 -x136 -x194 -x116 x178 -x187 -x184 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92
1796.69/1797.01 v -x91 x90 -x89 -x88 -x87 -x86 x85 x84 x83 -x82 -x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
1796.69/1797.01 v -x65 -x64 -x63 -x62 -x61 x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41
1796.69/1797.01 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 x32 x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15
1796.69/1797.01 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Total Time : 1797.01
1796.69/1797.01 c solving : 1797.01
1796.69/1797.01 c presolving : 0.13 (included in solving)
1796.69/1797.01 c reading : 0.01 (included in solving)
1796.69/1797.01 c copying : 0.07 (7 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.69/1797.01 c Original Problem :
1796.69/1797.01 c Problem name : HOME/instance-3693742-1338037066.opb
1796.69/1797.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 301 initial, 301 maximal
1796.69/1797.01 c Objective sense : minimize
1796.69/1797.01 c Presolved Problem :
1796.69/1797.01 c Problem name : t_HOME/instance-3693742-1338037066.opb
1796.69/1797.01 c Variables : 3238 (3238 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 3339 initial, 3497 maximal
1796.69/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c probing : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c and : 0.09 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c root node : - - 0 - - 0 - - - - -
1796.69/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c integral : 0 0 0 0 5661 0 50 0 0 36 0 0 11278
1796.69/1797.01 c setppc : 300 300 8 64034 0 2 45 547 87 32199 0 0 0
1796.69/1797.01 c and : 3038 3038 11589 63949 0 2 44 823 60 739965 96347 0 0
1796.69/1797.01 c linear : 1 1 8 63889 0 0 16 97 3 0 0 0 0
1796.69/1797.01 c logicor : 0+ 158 8 4056 0 0 0 1 0 1084 0 0 0
1796.69/1797.01 c countsols : 0 0 0 0 0 2 20 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 : 245.28 0.00 0.00 0.00 245.28 0.00 0.00 0.00
1796.69/1797.01 c setppc : 0.37 0.00 0.00 0.37 0.00 0.00 0.00 0.00
1796.69/1797.01 c and : 10.50 0.00 7.30 3.19 0.00 0.00 0.01 0.00
1796.69/1797.01 c linear : 0.06 0.00 0.01 0.06 0.00 0.00 0.00 0.00
1796.69/1797.01 c logicor : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00
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 : 3 0 0 0
1796.69/1797.01 c pseudoobj : 69602 11 3 0
1796.69/1797.01 c vbounds : 0 0 0 0
1796.69/1797.01 c redcost : 12584 0 0 19000
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.08 0.00 0.00 0.08 0.00
1796.69/1797.01 c vbounds : 0.02 0.00 0.00 0.02 0.00
1796.69/1797.01 c redcost : 0.81 0.00 0.00 0.81 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.00 153 153 202 30.5 1 80.0 -
1796.69/1797.01 c infeasible LP : 0.01 11 11 25 43.7 0 0.0 0
1796.69/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c applied globally : - - - 207 28.4 - - -
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 7 - - 4 - (maximal pool size: 117)
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 8 0 0 72 0
1796.69/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c gomory : 0.83 0.00 8 0 0 44 0
1796.69/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c strongcg : 1.29 0.00 8 0 0 49 0
1796.69/1797.01 c cmir : 0.22 0.00 8 0 0 0 0
1796.69/1797.01 c flowcover : 0.21 0.00 8 0 0 0 0
1796.69/1797.01 c clique : 0.43 0.00 8 0 0 55 0
1796.69/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c mcf : 0.03 0.00 3 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 : 245.27 0.00 5661 0 36 0 0 11278
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 2 0 0 0 0 4
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 7 0
1796.69/1797.01 c crossover : 0.29 0.00 5 4
1796.69/1797.01 c coefdiving : 38.82 0.00 50 0
1796.69/1797.01 c pscostdiving : 39.50 0.00 50 0
1796.69/1797.01 c guideddiving : 38.19 0.00 50 0
1796.69/1797.01 c linesearchdiving : 28.04 0.00 51 3
1796.69/1797.01 c fracdiving : 38.02 0.00 51 0
1796.69/1797.01 c smallcard : 0.00 0.00 0 0
1796.69/1797.01 c trivial : 0.00 0.00 2 1
1796.69/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.69/1797.01 c simplerounding : 0.01 0.00 0 0
1796.69/1797.01 c zirounding : 1.09 0.00 0 0
1796.69/1797.01 c rounding : 1.06 0.00 1491 0
1796.69/1797.01 c shifting : 1.34 0.00 1180 8
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 feaspump : 0.00 0.00 0 0
1796.69/1797.01 c clique : 0.00 0.00 0 0
1796.69/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.01 c indrounding : 0.00 0.00 0 0
1796.69/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.01 c veclendiving : 37.50 0.00 51 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 objpscostdiving : 37.28 0.00 3 0
1796.69/1797.01 c rootsoldiving : 15.41 0.00 24 0
1796.69/1797.01 c octane : 0.00 0.00 0 0
1796.69/1797.01 c rens : 28.70 0.00 1 1
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.12 0.00 1 0
1796.69/1797.01 c subnlp : 0.00 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 : 8.74 2770 3 1.00 0.34 8.73 2767
1796.69/1797.01 c dual LP : 1212.09 13626 5589436 442.10 4611.41 0.84 983
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: 250.81 32947 1294179 39.28 5160.04
1796.69/1797.01 c strong branching : 245.05 1748 895701 512.41 3655.23
1796.69/1797.01 c (at root node) : - 25 25000 1000.00 -
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 : 6717
1796.69/1797.01 c nodes (total) : 6717
1796.69/1797.01 c nodes left : 4565
1796.69/1797.01 c max depth : 102
1796.69/1797.01 c max depth (total): 102
1796.69/1797.01 c backtracks : 718 (10.7%)
1796.69/1797.01 c delayed cutoffs : 1
1796.69/1797.01 c repropagations : 1652 (10701 domain reductions, 0 cutoffs)
1796.69/1797.01 c avg switch length: 3.84
1796.69/1797.01 c switching time : 10.98
1796.69/1797.01 c Solution :
1796.69/1797.01 c Solutions found : 17 (8 improvements)
1796.69/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1796.69/1797.01 c Primal Bound : -1.40000000000000e+01 (in run 1, after 119 nodes, 461.08 seconds, depth 164, found by <linesearchdiving>)
1796.69/1797.01 c Dual Bound : -3.80243300671578e+01
1796.69/1797.01 c Gap : 171.60 %
1796.69/1797.01 c Root Dual Bound : -4.99999999999999e+01
1796.69/1797.01 c Root Iterations : 19962
1796.69/1797.06 c Time complete: 1796.76.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3693742-1338037066/watcher-3693742-1338037066 -o /tmp/evaluation-result-3693742-1338037066/solver-3693742-1338037066 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693742-1338037066.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 2.00 3/176 8919
/proc/meminfo: memFree=28233784/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=10216 CPUtime=0 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 1300 0 0 0 0 0 0 0 20 0 1 0 269832063 10461184 1255 33554432000 4194304 10169799 140735107678720 140735107677544 8982256 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 2554 1255 413 1459 0 1086 0
[startup+0.0325561 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8919
/proc/meminfo: memFree=28233784/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=23616 CPUtime=0.02 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 4424 0 0 0 2 0 0 0 20 0 1 0 269832063 24182784 4379 33554432000 4194304 10169799 140735107678720 140735107544456 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 5904 4379 538 1459 0 4436 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23616
[startup+0.100307 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8919
/proc/meminfo: memFree=28233784/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=27244 CPUtime=0.09 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 5619 0 0 0 5 4 0 0 20 0 1 0 269832063 27897856 5317 33554432000 4194304 10169799 140735107678720 140735107677128 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 6811 5317 569 1459 0 5343 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27244
[startup+0.300213 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8919
/proc/meminfo: memFree=28233784/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=44620 CPUtime=0.28 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 10427 0 0 0 22 6 0 0 20 0 1 0 269832063 45690880 9702 33554432000 4194304 10169799 140735107678720 140735107677128 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 11155 9702 744 1459 0 9687 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 44620
[startup+0.700185 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8919
/proc/meminfo: memFree=28233784/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=44620 CPUtime=0.69 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 10479 0 0 0 62 7 0 0 20 0 1 0 269832063 45690880 9754 33554432000 4194304 10169799 140735107678720 140735107677128 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 11155 9754 744 1459 0 9687 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44620
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8920
/proc/meminfo: memFree=28175380/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=64092 CPUtime=1.49 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 19145 0 0 0 140 9 0 0 20 0 1 0 269832063 65630208 15013 33554432000 4194304 10169799 140735107678720 140735107671736 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 16023 15013 859 1459 0 14555 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64092
[startup+3.10014 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8920
/proc/meminfo: memFree=28175008/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=64092 CPUtime=3.09 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 19145 0 0 0 299 10 0 0 20 0 1 0 269832063 65630208 15013 33554432000 4194304 10169799 140735107678720 140735107673512 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 16023 15013 859 1459 0 14555 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 64092
[startup+6.30019 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8920
/proc/meminfo: memFree=28174760/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=64092 CPUtime=6.29 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 19145 0 0 0 618 11 0 0 20 0 1 0 269832063 65630208 15013 33554432000 4194304 10169799 140735107678720 140735107674760 7280653 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 16023 15013 859 1459 0 14555 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64092
[startup+12.7001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8920
/proc/meminfo: memFree=28149960/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=86616 CPUtime=12.69 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 24903 0 0 0 1252 17 0 0 20 0 1 0 269832063 88694784 20652 33554432000 4194304 10169799 140735107678720 140735107669672 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 21654 20652 873 1459 0 20186 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86616
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8920
/proc/meminfo: memFree=28144004/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=86616 CPUtime=25.48 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 24915 0 0 0 2520 28 0 0 20 0 1 0 269832063 88694784 20664 33554432000 4194304 10169799 140735107678720 140735107670248 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 21654 20664 874 1459 0 20186 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86616
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8920
/proc/meminfo: memFree=28149844/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=64092 CPUtime=51.08 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 25443 0 0 0 5063 45 0 0 20 0 1 0 269832063 65630208 15068 33554432000 4194304 10169799 140735107678720 140735107673128 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 16023 15068 875 1459 0 14555 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 64092
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8921
/proc/meminfo: memFree=28120872/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=64092 CPUtime=102.28 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 25446 0 0 0 10156 72 0 0 20 0 1 0 269832063 65630208 15071 33554432000 4194304 10169799 140735107678720 140735107672888 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 16023 15071 878 1459 0 14555 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 64092
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8924
/proc/meminfo: memFree=28089240/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=64092 CPUtime=162.25 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 25460 0 0 0 16116 109 0 0 20 0 1 0 269832063 65630208 15127 33554432000 4194304 10169799 140735107678720 140735107673128 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 16023 15127 878 1459 0 14555 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 64092
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8947
/proc/meminfo: memFree=28060112/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=64092 CPUtime=222.25 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 25464 0 0 0 22088 137 0 0 20 0 1 0 269832063 65630208 15385 33554432000 4194304 10169799 140735107678720 140735107673128 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 16023 15385 879 1459 0 14555 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 64092
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8947
/proc/meminfo: memFree=28026852/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=64092 CPUtime=282.23 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 25464 0 0 0 28056 167 0 0 20 0 1 0 269832063 65630208 15385 33554432000 4194304 10169799 140735107678720 140735107673128 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 16023 15385 879 1459 0 14555 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 64092
[startup+342.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 8947
/proc/meminfo: memFree=27994116/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=64092 CPUtime=342.22 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 25464 0 0 0 34021 201 0 0 20 0 1 0 269832063 65630208 15385 33554432000 4194304 10169799 140735107678720 140735107672968 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 16023 15385 879 1459 0 14555 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 64092
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8948
/proc/meminfo: memFree=27965472/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=64092 CPUtime=402.21 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 25464 0 0 0 39986 235 0 0 20 0 1 0 269832063 65630208 15385 33554432000 4194304 10169799 140735107678720 140735107673176 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 16023 15385 879 1459 0 14555 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 64092
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8948
/proc/meminfo: memFree=27925916/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=64092 CPUtime=462.2 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 25464 0 0 0 45951 269 0 0 20 0 1 0 269832063 65630208 15385 33554432000 4194304 10169799 140735107678720 140735107673128 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 16023 15385 879 1459 0 14555 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 64092
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8948
/proc/meminfo: memFree=27898140/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=64092 CPUtime=522.2 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 25464 0 0 0 51920 300 0 0 20 0 1 0 269832063 65630208 15385 33554432000 4194304 10169799 140735107678720 140735107673320 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 16023 15385 879 1459 0 14555 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 64092
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8986
/proc/meminfo: memFree=28807856/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=64092 CPUtime=582.19 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 25464 0 0 0 57892 327 0 0 20 0 1 0 269832063 65630208 15385 33554432000 4194304 10169799 140735107678720 140735107673128 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 16023 15385 879 1459 0 14555 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 64092
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28778948/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=81024 CPUtime=1062.11 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 42855 0 0 0 105621 590 0 0 20 0 1 0 269832063 82968576 19551 33554432000 4194304 10169799 140735107678720 140735107673416 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 20256 19551 882 1459 0 18788 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 81024
[startup+1122.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 9105
/proc/meminfo: memFree=28771212/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=86668 CPUtime=1122.1 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 49124 0 0 0 111582 628 0 0 20 0 1 0 269832063 88748032 20966 33554432000 4194304 10169799 140735107678720 140735107673128 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 21667 20966 885 1459 0 20199 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 86668
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 9105
/proc/meminfo: memFree=28767180/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=88620 CPUtime=1182.1 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 50035 0 0 0 117549 661 0 0 20 0 1 0 269832063 90746880 21469 33554432000 4194304 10169799 140735107678720 140735107673224 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 22155 21469 885 1459 0 20687 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 88620
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 9105
/proc/meminfo: memFree=28763088/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=90696 CPUtime=1242.08 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 50537 0 0 0 123511 697 0 0 20 0 1 0 269832063 92872704 21967 33554432000 4194304 10169799 140735107678720 140735107673704 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 22674 21967 885 1459 0 21206 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 90696
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9106
/proc/meminfo: memFree=28756268/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=96200 CPUtime=1302.07 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 52225 0 0 0 129475 732 0 0 20 0 1 0 269832063 98508800 23223 33554432000 4194304 10169799 140735107678720 140735107673176 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 24050 23223 885 1459 0 22582 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 96200
[startup+1362.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/178 9109
/proc/meminfo: memFree=28753092/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=97892 CPUtime=1362.07 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 52667 0 0 0 135440 767 0 0 20 0 1 0 269832063 100241408 23796 33554432000 4194304 10169799 140735107678720 140735107673224 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 24473 23796 885 1459 0 23005 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 97892
[startup+1422.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 9147
/proc/meminfo: memFree=28713024/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=100772 CPUtime=1422.06 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 53396 0 0 0 141409 797 0 0 20 0 1 0 269832063 103190528 24525 33554432000 4194304 10169799 140735107678720 140735107673704 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 25193 24525 885 1459 0 23725 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 100772
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9147
/proc/meminfo: memFree=28697552/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=103928 CPUtime=1482.04 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 54553 0 0 0 147374 830 0 0 20 0 1 0 269832063 106422272 25274 33554432000 4194304 10169799 140735107678720 140735107672472 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 25982 25274 885 1459 0 24514 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 103928
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9147
/proc/meminfo: memFree=28677168/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=105660 CPUtime=1542.03 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 55316 0 0 0 153342 861 0 0 20 0 1 0 269832063 108195840 25672 33554432000 4194304 10169799 140735107678720 140735107673512 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 26415 25672 885 1459 0 24947 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 105660
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9148
/proc/meminfo: memFree=28677044/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=107460 CPUtime=1602.02 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 56305 0 0 0 159312 890 0 0 20 0 1 0 269832063 110039040 26202 33554432000 4194304 10169799 140735107678720 140735107673176 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 26865 26202 885 1459 0 25397 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 107460
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 9148
/proc/meminfo: memFree=28669576/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=110808 CPUtime=1662.01 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 57819 0 0 0 165276 925 0 0 20 0 1 0 269832063 113467392 26984 33554432000 4194304 10169799 140735107678720 140735107674856 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 27702 26984 885 1459 0 26234 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 110808
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 9150
/proc/meminfo: memFree=28665784/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=112784 CPUtime=1722 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 58803 0 0 0 171243 957 0 0 20 0 1 0 269832063 115490816 27550 33554432000 4194304 10169799 140735107678720 140735107672392 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 28196 27550 885 1459 0 26728 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 112784
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9150
/proc/meminfo: memFree=28668276/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=115260 CPUtime=1781.99 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 63056 0 0 0 177206 993 0 0 20 0 1 0 269832063 118026240 28134 33554432000 4194304 10169799 140735107678720 140735107673224 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 28815 28134 885 1459 0 27347 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 115260
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9150
/proc/meminfo: memFree=28668276/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=115504 CPUtime=1785.29 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 63127 0 0 0 177535 994 0 0 20 0 1 0 269832063 118276096 28205 33554432000 4194304 10169799 140735107678720 140735107673320 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 28876 28205 885 1459 0 27408 0
Current children cumulated CPU time (s) 1785.29
Current children cumulated vsize (KiB) 115504
[startup+1792.01 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9150
/proc/meminfo: memFree=28668400/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=115504 CPUtime=1791.69 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 63127 0 0 0 178171 998 0 0 20 0 1 0 269832063 118276096 28205 33554432000 4194304 10169799 140735107678720 140735107673512 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 28876 28205 885 1459 0 27408 0
Current children cumulated CPU time (s) 1791.69
Current children cumulated vsize (KiB) 115504
[startup+1795.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9150
/proc/meminfo: memFree=28667904/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=115504 CPUtime=1794.9 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 63128 0 0 0 178490 1000 0 0 20 0 1 0 269832063 118276096 28206 33554432000 4194304 10169799 140735107678720 140735107673224 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 28876 28206 885 1459 0 27408 0
Current children cumulated CPU time (s) 1794.9
Current children cumulated vsize (KiB) 115504
[startup+1796 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9150
/proc/meminfo: memFree=28667904/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=115504 CPUtime=1795.68 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 63166 0 0 0 178568 1000 0 0 20 0 1 0 269832063 118276096 28244 33554432000 4194304 10169799 140735107678720 140735107673224 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 28876 28244 885 1459 0 27408 0
Current children cumulated CPU time (s) 1795.68
Current children cumulated vsize (KiB) 115504
[startup+1796.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9150
/proc/meminfo: memFree=28667780/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=115504 CPUtime=1796.49 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 63166 0 0 0 178648 1001 0 0 20 0 1 0 269832063 118276096 28244 33554432000 4194304 10169799 140735107678720 140735107673224 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 28876 28244 885 1459 0 27408 0
Current children cumulated CPU time (s) 1796.49
Current children cumulated vsize (KiB) 115504
[startup+1797 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9150
/proc/meminfo: memFree=28667780/32873648 swapFree=6856/6856
[pid=8919] ppid=8917 vsize=115504 CPUtime=1796.69 cores=0,2,4,6
/proc/8919/stat : 8919 (scip-2.1.1.4sfi) R 8917 8919 7220 0 -1 4202496 63166 0 0 0 178668 1001 0 0 20 0 1 0 269832063 118276096 28244 33554432000 4194304 10169799 140735107678720 140735107673224 8961143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 28876 28244 885 1459 0 27408 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (KiB) 115504
Child status: 0
Real time (s): 1797.07
CPU time (s): 1796.77
CPU user time (s): 1786.75
CPU system time (s): 10.0215
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 115504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.75
system time used= 10.0215
maximum resident set size= 125496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63170
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= 44
involuntary context switches= 1999
runsolver used 2.78258 second user time and 7.14491 second system time
The end