0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2692929-1277924854.wbo>
0.00/0.00 c original problem has 371 variables (270 bin, 0 int, 0 impl, 101 cont) and 203 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 o 5033
0.00/0.00 c feasible solution found by trivial heuristic, objective value 5.033000e+03
0.00/0.00 c presolving:
0.00/0.01 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 101 impls, 0 clqs
0.00/0.01 c (round 2) 0 del vars, 1 del conss, 101 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 101 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 101/270 (37.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 0 deleted vars, 1 deleted constraints, 101 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 101 implications, 0 cliques
0.00/0.01 c presolved problem has 371 variables (270 bin, 0 int, 0 impl, 101 cont) and 202 constraints
0.00/0.01 c 101 constraints of type <indicator>
0.00/0.01 c 101 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.2
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1800
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 3420
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c t 0.0s| 1 | 0 | 0 | - |1215k| 0 | 0 | 371 | 202 | 371 | 0 | 0 | 0 | 0 | 0.000000e+00 | 5.033000e+03 | Inf
0.00/0.01 c 0.0s| 1 | 0 | 26 | - |1249k| 0 | 0 | 371 | 202 | 371 | 26 | 26 | 0 | 0 | 0.000000e+00 | 5.033000e+03 | Inf
0.00/0.01 c 0.0s| 1 | 0 | 53 | - |1265k| 0 | 23 | 371 | 202 | 371 | 41 | 41 | 0 | 0 | 0.000000e+00 | 5.033000e+03 | Inf
0.00/0.02 c 0.0s| 1 | 0 | 80 | - |1401k| 0 | 31 | 371 | 202 | 371 | 49 | 49 | 0 | 0 | 0.000000e+00 | 5.033000e+03 | Inf
0.02/0.03 c 0.0s| 1 | 0 | 91 | - |1410k| 0 | 36 | 371 | 202 | 371 | 52 | 52 | 0 | 0 | 0.000000e+00 | 5.033000e+03 | Inf
0.02/0.03 c 0.0s| 1 | 0 | 96 | - |1417k| 0 | 35 | 371 | 202 | 371 | 53 | 53 | 0 | 0 | 0.000000e+00 | 5.033000e+03 | Inf
0.02/0.04 c 0.0s| 1 | 0 | 102 | - |1422k| 0 | 34 | 371 | 202 | 371 | 54 | 54 | 0 | 0 | 0.000000e+00 | 5.033000e+03 | Inf
0.02/0.08 c 0.1s| 1 | 2 | 158 | - |1433k| 0 | 34 | 371 | 202 | 371 | 54 | 54 | 0 | 33 | 0.000000e+00 | 5.033000e+03 | Inf
0.79/0.81 o 309
0.79/0.81 c * 0.8s| 907 | 685 | 2373 | 2.5 |2216k| 77 | - | 371 | 202 | 371 | 57 | 137 | 0 | 479 | 0.000000e+00 | 3.090000e+02 | Inf
0.89/0.91 o 271
0.89/0.91 c * 0.9s| 1117 | 816 | 2970 | 2.6 |2448k| 77 | - | 371 | 231 | 371 | 57 | 149 | 36 | 512 | 0.000000e+00 | 2.710000e+02 | Inf
1.09/1.19 o 270
1.09/1.19 c * 1.1s| 1719 | 1290 | 4594 | 2.6 |3015k| 79 | - | 371 | 411 | 371 | 54 | 210 | 228 | 669 | 0.000000e+00 | 2.700000e+02 | Inf
1.28/1.38 o 269
1.28/1.38 c * 1.3s| 2019 | 1458 | 6095 | 3.0 |3295k| 79 | - | 371 | 500 | 371 | 64 | 243 | 319 | 814 | 0.000000e+00 | 2.690000e+02 | Inf
1.49/1.51 o 263
1.49/1.51 c * 1.4s| 2422 | 1791 | 6884 | 2.8 |3541k| 106 | - | 371 | 541 | 371 | 61 | 276 | 365 | 855 | 0.000000e+00 | 2.630000e+02 | Inf
1.68/1.79 o 262
1.68/1.79 c * 1.7s| 3204 | 2303 | 8669 | 2.7 |3995k| 106 | - | 371 | 695 | 371 | 60 | 334 | 535 | 929 | 0.000000e+00 | 2.620000e+02 | Inf
1.89/1.99 o 258
1.89/1.99 c * 1.9s| 3937 | 2998 | 9496 | 2.4 |4501k| 106 | - | 371 | 716 | 371 | 63 | 380 | 559 | 934 | 0.000000e+00 | 2.580000e+02 | Inf
2.29/2.31 o 144
2.29/2.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.29/2.31 c * 2.2s| 4956 | 2516 | 11268 | 2.3 |4121k| 106 | - | 371 | 888 | 371 | 54 | 427 | 731 | 966 | 0.000000e+00 | 1.440000e+02 | Inf
2.29/2.34 o 143
2.29/2.34 c * 2.2s| 4998 | 2432 | 11437 | 2.3 |4110k| 106 | - | 371 | 919 | 371 | 54 | 428 | 762 | 985 | 0.000000e+00 | 1.430000e+02 | Inf
2.29/2.34 o 139
2.29/2.34 c * 2.2s| 5011 | 2307 | 11500 | 2.3 |4024k| 106 | - | 371 | 919 | 371 | 63 | 437 | 762 | 985 | 0.000000e+00 | 1.390000e+02 | Inf
2.29/2.35 o 138
2.29/2.35 c * 2.2s| 5012 | 2301 | 11500 | 2.3 |4019k| 106 | - | 371 | 919 | 371 | 63 | 437 | 762 | 985 | 0.000000e+00 | 1.380000e+02 | Inf
2.38/2.41 o 136
2.38/2.41 c * 2.3s| 5234 | 2433 | 11847 | 2.2 |4129k| 106 | - | 371 | 972 | 371 | 60 | 465 | 817 | 991 | 0.000000e+00 | 1.360000e+02 | Inf
3.09/3.14 o 134
3.09/3.14 c * 3.0s| 7180 | 3049 | 15818 | 2.2 |5008k| 113 | - | 371 |1079 | 371 | 63 | 597 |1664 |1055 | 0.000000e+00 | 1.340000e+02 | Inf
3.20/3.25 o 132
3.20/3.25 c * 3.1s| 7405 | 3060 | 16504 | 2.2 |5063k| 113 | - | 371 |1013 | 371 | 54 | 614 |1784 |1087 | 0.000000e+00 | 1.320000e+02 | Inf
3.29/3.33 o 130
3.29/3.33 c * 3.1s| 7596 | 3027 | 16829 | 2.2 |5080k| 121 | - | 371 |1001 | 371 | 55 | 621 |1868 |1087 | 0.000000e+00 | 1.300000e+02 | Inf
3.29/3.33 o 125
3.29/3.33 c * 3.1s| 7597 | 2951 | 16829 | 2.2 |5037k| 121 | - | 371 |1001 | 371 | 55 | 621 |1868 |1087 | 0.000000e+00 | 1.250000e+02 | Inf
3.39/3.43 o 122
3.39/3.43 c * 3.2s| 7822 | 2935 | 17473 | 2.2 |5071k| 121 | - | 371 | 907 | 371 | 54 | 633 |1997 |1088 | 0.000000e+00 | 1.220000e+02 | Inf
3.39/3.43 o 121
3.39/3.43 c * 3.2s| 7832 | 2851 | 17601 | 2.2 |5039k| 121 | - | 371 | 908 | 371 | 62 | 641 |2004 |1088 | 0.000000e+00 | 1.210000e+02 | Inf
3.79/3.80 o 118
3.79/3.80 c * 3.6s| 8631 | 2907 | 19887 | 2.3 |5251k| 121 | - | 371 | 947 | 371 | 61 | 704 |2530 |1121 | 0.000000e+00 | 1.180000e+02 | Inf
3.79/3.80 o 117
3.79/3.80 c * 3.6s| 8635 | 2901 | 19907 | 2.3 |5251k| 121 | - | 371 | 952 | 371 | 61 | 704 |2535 |1121 | 0.000000e+00 | 1.170000e+02 | Inf
4.29/4.33 o 115
4.29/4.33 c * 4.1s| 9837 | 3001 | 23122 | 2.3 |5615k| 121 | - | 371 | 960 | 371 | 57 | 777 |3280 |1144 | 0.000000e+00 | 1.150000e+02 | Inf
4.40/4.51 c 4.2s| 10000 | 3140 | 23311 | 2.3 |5701k| 121 | 0 | 371 | 971 | 371 | 57 | 784 |3319 |1148 | 0.000000e+00 | 1.150000e+02 | Inf
4.40/4.51 o 113
4.40/4.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.40/4.51 c * 4.2s| 10007 | 3114 | 23324 | 2.3 |5709k| 121 | - | 371 | 969 | 371 | 57 | 784 |3325 |1149 | 0.000000e+00 | 1.130000e+02 | Inf
4.40/4.52 o 109
4.40/4.52 c * 4.2s| 10027 | 3039 | 23407 | 2.3 |5681k| 121 | - | 371 | 972 | 371 | 60 | 793 |3342 |1149 | 0.000000e+00 | 1.090000e+02 | Inf
4.40/4.53 o 86
4.40/4.53 c * 4.2s| 10039 | 2406 | 23498 | 2.3 |5175k| 121 | - | 371 | 970 | 371 | 57 | 793 |3345 |1149 | 0.000000e+00 | 8.600000e+01 | Inf
4.40/4.54 o 70
4.40/4.54 c * 4.2s| 10060 | 1994 | 23582 | 2.3 |4774k| 121 | - | 371 | 941 | 371 | 58 | 801 |3353 |1149 | 0.000000e+00 | 7.000000e+01 | Inf
4.40/4.57 o 66
4.40/4.57 c * 4.2s| 10091 | 1952 | 24092 | 2.4 |4736k| 121 | - | 371 | 879 | 371 | 59 | 821 |3376 |1154 | 0.000000e+00 | 6.600000e+01 | Inf
4.40/4.58 o 64
4.40/4.58 c * 4.2s| 10128 | 1918 | 24293 | 2.4 |4674k| 121 | - | 371 | 856 | 371 | 66 | 834 |3389 |1156 | 0.000000e+00 | 6.400000e+01 | Inf
4.51/4.67 o 58
4.51/4.67 c * 4.3s| 10312 | 1914 | 25286 | 2.4 |4711k| 121 | - | 371 | 866 | 371 | 54 | 863 |3494 |1160 | 0.000000e+00 | 5.800000e+01 | Inf
4.61/4.77 o 57
4.61/4.77 c * 4.4s| 10509 | 1913 | 26361 | 2.5 |4756k| 121 | - | 371 | 872 | 371 | 56 | 938 |3624 |1165 | 0.000000e+00 | 5.700000e+01 | Inf
4.61/4.78 o 52
4.61/4.78 c * 4.4s| 10530 | 1722 | 26423 | 2.5 |4529k| 121 | - | 371 | 859 | 371 | 56 | 941 |3635 |1165 | 0.000000e+00 | 5.200000e+01 | Inf
4.61/4.78 o 50
4.61/4.78 c * 4.4s| 10531 | 1718 | 26424 | 2.5 |4527k| 121 | - | 371 | 859 | 371 | 56 | 941 |3635 |1165 | 0.000000e+00 | 5.000000e+01 | Inf
4.61/4.79 o 49
4.61/4.79 c * 4.4s| 10547 | 1706 | 26569 | 2.5 |4515k| 121 | - | 371 | 818 | 371 | 54 | 945 |3650 |1165 | 0.000000e+00 | 4.900000e+01 | Inf
4.61/4.80 o 44
4.61/4.80 c * 4.4s| 10558 | 1490 | 26624 | 2.5 |4301k| 121 | - | 371 | 825 | 371 | 54 | 945 |3657 |1165 | 0.000000e+00 | 4.400000e+01 | Inf
4.70/4.83 o 31
4.70/4.83 c * 4.5s| 10628 | 1173 | 27016 | 2.5 |4031k| 121 | - | 371 | 823 | 371 | 58 | 994 |3709 |1166 | 0.000000e+00 | 3.100000e+01 | Inf
4.70/4.84 o 29
4.70/4.84 c * 4.5s| 10632 | 1165 | 27055 | 2.5 |4023k| 121 | - | 371 | 792 | 371 | 56 | 996 |3709 |1166 | 0.000000e+00 | 2.900000e+01 | Inf
4.70/4.85 o 28
4.70/4.85 c * 4.5s| 10657 | 1161 | 27169 | 2.5 |4009k| 121 | - | 371 | 779 | 371 | 54 | 996 |3730 |1167 | 0.000000e+00 | 2.800000e+01 | Inf
4.70/4.85 o 25
4.70/4.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.70/4.85 c * 4.5s| 10661 | 1150 | 27182 | 2.5 |3967k| 121 | - | 371 | 782 | 371 | 54 | 996 |3733 |1167 | 0.000000e+00 | 2.500000e+01 | Inf
4.70/4.87 o 23
4.70/4.87 c * 4.5s| 10697 | 1121 | 27318 | 2.5 |3955k| 121 | - | 371 | 779 | 371 | 54 |1006 |3752 |1172 | 0.000000e+00 | 2.300000e+01 | Inf
4.70/4.88 o 19
4.70/4.88 c * 4.5s| 10716 | 1102 | 27417 | 2.5 |3952k| 121 | - | 371 | 789 | 371 | 65 |1022 |3770 |1172 | 0.000000e+00 | 1.900000e+01 | Inf
4.70/4.89 o 12
4.70/4.89 c * 4.5s| 10740 | 917 | 27603 | 2.6 |3819k| 121 | - | 371 | 788 | 371 | 56 |1040 |3790 |1172 | 0.000000e+00 | 1.200000e+01 | Inf
4.81/4.90 o 11
4.81/4.90 c * 4.5s| 10753 | 752 | 27691 | 2.6 |3706k| 121 | - | 371 | 769 | 371 | 58 |1044 |3797 |1172 | 0.000000e+00 | 1.100000e+01 | Inf
4.81/4.95 o 10
4.81/4.95 c * 4.6s| 10832 | 331 | 28165 | 2.6 |3383k| 121 | - | 371 | 795 | 371 | 56 |1087 |3886 |1178 | 0.000000e+00 | 1.000000e+01 | Inf
4.90/5.00 o 2
4.90/5.00 c * 4.6s| 10899 | 172 | 28977 | 2.6 |3097k| 121 | - | 371 | 789 | 371 | 55 |1088 |3975 |1178 | 0.000000e+00 | 2.000000e+00 | Inf
5.10/5.23 c
5.10/5.23 c SCIP Status : problem is solved [optimal solution found]
5.10/5.23 c Solving Time (sec) : 4.85
5.10/5.23 c Solving Nodes : 11197
5.10/5.23 c Primal Bound : +2.00000000000000e+00 (157 solutions)
5.10/5.23 c Dual Bound : +2.00000000000000e+00
5.10/5.23 c Gap : 0.00 %
5.10/5.23 s OPTIMUM FOUND
5.10/5.23 v x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148
5.10/5.23 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
5.10/5.23 v -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
5.10/5.23 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82
5.10/5.23 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
5.10/5.23 v -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 x32 -x31
5.10/5.23 v -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5
5.10/5.23 v -x4 -x3 -x2 -x1
5.10/5.23 c SCIP Status : problem is solved [optimal solution found]
5.10/5.23 c Solving Time : 4.85
5.10/5.24 c Original Problem :
5.10/5.24 c Problem name : HOME/instance-2692929-1277924854.wbo
5.10/5.24 c Variables : 371 (270 binary, 0 integer, 0 implicit integer, 101 continuous)
5.10/5.24 c Constraints : 203 initial, 203 maximal
5.10/5.24 c Presolved Problem :
5.10/5.24 c Problem name : t_HOME/instance-2692929-1277924854.wbo
5.10/5.24 c Variables : 371 (270 binary, 0 integer, 0 implicit integer, 101 continuous)
5.10/5.24 c Constraints : 202 initial, 1245 maximal
5.10/5.24 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
5.10/5.24 c trivial : 0.00 0 0 0 0 0 0 0 0
5.10/5.24 c dualfix : 0.00 0 0 0 0 0 0 0 0
5.10/5.24 c boundshift : 0.00 0 0 0 0 0 0 0 0
5.10/5.24 c inttobinary : 0.00 0 0 0 0 0 0 0 0
5.10/5.24 c implics : 0.00 0 0 0 0 0 0 0 0
5.10/5.24 c probing : 0.01 0 0 0 0 0 0 0 0
5.10/5.24 c indicator : 0.00 0 0 0 0 0 0 0 0
5.10/5.24 c linear : 0.00 0 0 0 101 0 1 0 0
5.10/5.24 c logicor : 0.00 0 0 0 0 0 0 0 0
5.10/5.24 c root node : - 101 - - 201 - - - -
5.10/5.24 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
5.10/5.24 c integral : 0 0 0 9055 0 0 5 0 0 6486
5.10/5.24 c indicator : 101 0 40156 5788 0 322 49666 0 0 0
5.10/5.24 c linear : 101 6 39765 5729 0 833 156533 1115 0 0
5.10/5.24 c logicor : 0+ 0 10681 0 0 528 8595 0 0 0
5.10/5.24 c countsols : 0 0 0 5217 0 0 0 0 0 0
5.10/5.24 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
5.10/5.24 c integral : 0.84 0.00 0.00 0.84 0.00
5.10/5.24 c indicator : 0.06 0.00 0.04 0.02 0.00
5.10/5.24 c linear : 0.62 0.00 0.58 0.04 0.00
5.10/5.24 c logicor : 0.18 0.00 0.18 0.00 0.00
5.10/5.24 c countsols : 0.01 0.00 0.00 0.01 0.00
5.10/5.24 c Propagators : Time Calls Cutoffs DomReds
5.10/5.24 c vbounds : 0.01 2 0 0
5.10/5.24 c rootredcost : 0.01 43 0 100
5.10/5.24 c pseudoobj : 0.38 40950 948 42834
5.10/5.24 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
5.10/5.24 c propagation : 0.24 2309 2304 12165 28.1 398 5.8 -
5.10/5.24 c infeasible LP : 0.03 225 222 1079 17.9 8 3.9 0
5.10/5.24 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
5.10/5.24 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
5.10/5.24 c pseudo solution : 0.00 65 65 263 21.2 10 9.9 -
5.10/5.24 c applied globally : - - - 4218 16.8 - - -
5.10/5.24 c applied locally : - - - 139 34.8 - - -
5.10/5.24 c Separators : Time Calls Cutoffs DomReds Cuts Conss
5.10/5.24 c cut pool : 0.00 3 - - 0 - (maximal pool size: 23)
5.10/5.24 c redcost : 0.08 9497 0 12071 0 0
5.10/5.24 c impliedbounds : 0.00 4 0 0 0 0
5.10/5.24 c intobj : 0.00 0 0 0 0 0
5.10/5.24 c cgmip : 0.00 0 0 0 0 0
5.10/5.24 c gomory : 0.01 4 0 0 23 0
5.10/5.24 c strongcg : 0.00 4 0 0 0 0
5.10/5.24 c cmir : 0.00 4 0 0 0 0
5.10/5.24 c flowcover : 0.01 4 0 0 0 0
5.10/5.24 c clique : 0.00 1 0 0 0 0
5.10/5.24 c zerohalf : 0.00 0 0 0 0 0
5.10/5.24 c mcf : 0.00 1 0 0 0 0
5.10/5.24 c rapidlearning : 0.00 0 0 0 0 0
5.10/5.24 c Pricers : Time Calls Vars
5.10/5.24 c problem variables: 0.00 0 0
5.10/5.24 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
5.10/5.24 c relpscost : 0.84 3247 0 5 0 0 6486
5.10/5.24 c pscost : 0.00 0 0 0 0 0 0
5.10/5.24 c inference : 0.08 5174 0 0 0 0 10348
5.10/5.24 c mostinf : 0.00 0 0 0 0 0 0
5.10/5.24 c leastinf : 0.00 0 0 0 0 0 0
5.10/5.24 c fullstrong : 0.00 0 0 0 0 0 0
5.10/5.24 c allfullstrong : 0.00 0 0 0 0 0 0
5.10/5.24 c random : 0.00 0 0 0 0 0 0
5.10/5.24 c Primal Heuristics : Time Calls Found
5.10/5.24 c LP solutions : 0.00 - 43
5.10/5.24 c pseudo solutions : 0.00 - 0
5.10/5.24 c feaspump : 0.00 0 0
5.10/5.24 c oneopt : 0.01 40 0
5.10/5.24 c guideddiving : 0.01 126 0
5.10/5.24 c coefdiving : 0.03 147 0
5.10/5.24 c pscostdiving : 0.00 147 0
5.10/5.24 c fracdiving : 0.04 147 0
5.10/5.24 c veclendiving : 0.01 147 0
5.10/5.24 c linesearchdiving : 0.02 147 0
5.10/5.24 c rootsoldiving : 0.01 143 0
5.10/5.24 c objpscostdiving : 0.01 144 0
5.10/5.24 c trivial : 0.00 2 2
5.10/5.24 c simplerounding : 0.01 3377 0
5.10/5.24 c zirounding : 0.03 1000 0
5.10/5.24 c rounding : 0.04 781 0
5.10/5.24 c shifting : 0.02 229 0
5.10/5.24 c intshifting : 0.00 3 0
5.10/5.24 c twoopt : 0.00 0 0
5.10/5.24 c fixandinfer : 0.00 0 0
5.10/5.24 c intdiving : 0.00 0 0
5.10/5.24 c actconsdiving : 0.00 0 0
5.10/5.24 c octane : 0.00 0 0
5.10/5.24 c rens : 0.01 1 0
5.10/5.24 c rins : 0.00 0 0
5.10/5.24 c localbranching : 0.00 0 0
5.10/5.24 c mutation : 0.00 0 0
5.10/5.24 c crossover : 0.11 11 2
5.10/5.24 c dins : 0.00 0 0
5.10/5.24 c undercover : 0.00 0 0
5.10/5.24 c nlp : 0.02 0 0
5.10/5.24 c trysol : 0.03 1189 110
5.10/5.24 c LP : Time Calls Iterations Iter/call Iter/sec
5.10/5.24 c primal LP : 0.00 0 0 0.00 -
5.10/5.24 c dual LP : 1.04 4861 33170 6.82 31894.23
5.10/5.24 c lex dual LP : 0.00 0 0 0.00 -
5.10/5.24 c barrier LP : 0.00 0 0 0.00 -
5.10/5.24 c diving/probing LP: 0.01 41 707 17.24 70700.00
5.10/5.24 c strong branching : 0.83 1198 31675 26.44 38162.65
5.10/5.24 c (at root node) : - 33 1224 37.09 -
5.10/5.24 c conflict analysis: 0.00 0 0 0.00 -
5.10/5.24 c B&B Tree :
5.10/5.24 c number of runs : 1
5.10/5.24 c nodes : 11197
5.10/5.24 c nodes (total) : 11197
5.10/5.24 c nodes left : 0
5.10/5.24 c max depth : 121
5.10/5.24 c max depth (total): 121
5.10/5.24 c backtracks : 588 (5.3%)
5.10/5.24 c delayed cutoffs : 382
5.10/5.24 c repropagations : 21051 (21212 domain reductions, 184 cutoffs)
5.10/5.24 c avg switch length: 5.89
5.10/5.24 c switching time : 0.35
5.10/5.24 c Solution :
5.10/5.24 c Solutions found : 157 (44 improvements)
5.10/5.24 c First Solution : +5.03300000000000e+03 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
5.10/5.24 c Primal Bound : +2.00000000000000e+00 (in run 1, after 10899 nodes, 4.63 seconds, depth 20, found by <relaxation>)
5.10/5.24 c Dual Bound : +2.00000000000000e+00
5.10/5.24 c Gap : 0.00 %
5.10/5.24 c Root Dual Bound : +0.00000000000000e+00
5.10/5.24 c Root Iterations : 102
5.10/5.24 c Time complete: 5.15.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692929-1277924854/watcher-2692929-1277924854 -o /tmp/evaluation-result-2692929-1277924854/solver-2692929-1277924854 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692929-1277924854.wbo -t 1800 -m 3800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.19 2.07 2.02 4/194 16043
/proc/meminfo: memFree=31230520/32951132 swapFree=67111528/67111528
[pid=16043] ppid=16041 vsize=9264 CPUtime=0
/proc/16043/stat : 16043 (pbscip.linux.x8) R 16041 16043 13489 0 -1 4202496 1638 0 0 0 0 0 0 0 25 0 1 0 133781691 9486336 1558 4089446400 4194304 8223781 140734760496144 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16043/statm: 2316 1559 369 984 0 1329 0
[startup+0.0261459 s]
/proc/loadavg: 2.19 2.07 2.02 4/194 16043
/proc/meminfo: memFree=31230520/32951132 swapFree=67111528/67111528
[pid=16043] ppid=16041 vsize=14216 CPUtime=0.02
/proc/16043/stat : 16043 (pbscip.linux.x8) R 16041 16043 13489 0 -1 4202496 3368 0 0 0 2 0 0 0 18 0 1 0 133781691 14557184 2666 4089446400 4194304 8223781 140734760496144 18446744073709551615 6047495 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16043/statm: 3554 2666 559 984 0 2567 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14216
[startup+0.101139 s]
/proc/loadavg: 2.19 2.07 2.02 4/194 16043
/proc/meminfo: memFree=31230520/32951132 swapFree=67111528/67111528
[pid=16043] ppid=16041 vsize=14388 CPUtime=0.09
/proc/16043/stat : 16043 (pbscip.linux.x8) R 16041 16043 13489 0 -1 4202496 5586 0 0 0 9 0 0 0 18 0 1 0 133781691 14733312 2732 4089446400 4194304 8223781 140734760496144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16043/statm: 3597 2732 574 984 0 2610 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14388
[startup+0.301099 s]
/proc/loadavg: 2.19 2.07 2.02 4/194 16043
/proc/meminfo: memFree=31230520/32951132 swapFree=67111528/67111528
[pid=16043] ppid=16041 vsize=14388 CPUtime=0.29
/proc/16043/stat : 16043 (pbscip.linux.x8) R 16041 16043 13489 0 -1 4202496 5588 0 0 0 28 1 0 0 18 0 1 0 133781691 14733312 2734 4089446400 4194304 8223781 140734760496144 18446744073709551615 6562639 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16043/statm: 3597 2734 576 984 0 2610 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14388
[startup+0.701031 s]
/proc/loadavg: 2.19 2.07 2.02 4/194 16043
/proc/meminfo: memFree=31230520/32951132 swapFree=67111528/67111528
[pid=16043] ppid=16041 vsize=15216 CPUtime=0.69
/proc/16043/stat : 16043 (pbscip.linux.x8) R 16041 16043 13489 0 -1 4202496 6447 0 0 0 66 3 0 0 18 0 1 0 133781691 15581184 2930 4089446400 4194304 8223781 140734760496144 18446744073709551615 6456034 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16043/statm: 3804 2930 578 984 0 2817 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15216
[startup+1.50089 s]
/proc/loadavg: 2.19 2.07 2.02 3/195 16044
/proc/meminfo: memFree=31214896/32951132 swapFree=67111528/67111528
[pid=16043] ppid=16041 vsize=18900 CPUtime=1.49
/proc/16043/stat : 16043 (pbscip.linux.x8) R 16041 16043 13489 0 -1 4202496 14602 0 0 0 141 8 0 0 19 0 1 0 133781691 19353600 3869 4089446400 4194304 8223781 140734760496144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16043/statm: 4725 3869 583 984 0 3738 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18900
[startup+3.10062 s]
/proc/loadavg: 2.17 2.07 2.02 3/195 16044
/proc/meminfo: memFree=31212168/32951132 swapFree=67111528/67111528
[pid=16043] ppid=16041 vsize=20408 CPUtime=3.09
/proc/16043/stat : 16043 (pbscip.linux.x8) R 16041 16043 13489 0 -1 4202496 27060 0 0 0 292 17 0 0 25 0 1 0 133781691 20897792 4262 4089446400 4194304 8223781 140734760496144 18446744073709551615 4703926 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/16043/statm: 5102 4262 583 984 0 4115 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20408
Solver just ended. Dumping a history of the last processes samples
[startup+3.90048 s]
/proc/loadavg: 2.17 2.07 2.02 3/195 16044
/proc/meminfo: memFree=31210688/32951132 swapFree=67111528/67111528
[pid=16043] ppid=16041 vsize=20940 CPUtime=3.88
/proc/16043/stat : 16043 (pbscip.linux.x8) R 16041 16043 13489 0 -1 4202496 33991 0 0 0 366 22 0 0 25 0 1 0 133781691 21442560 4395 4089446400 4194304 8223781 140734760496144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16043/statm: 5235 4395 583 984 0 4248 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 20940
[startup+4.70034 s]
/proc/loadavg: 2.17 2.07 2.02 3/195 16044
/proc/meminfo: memFree=31209832/32951132 swapFree=67111528/67111528
[pid=16043] ppid=16041 vsize=21728 CPUtime=4.61
/proc/16043/stat : 16043 (pbscip.linux.x8) R 16041 16043 13489 0 -1 4202496 34804 0 0 0 434 27 0 0 25 0 1 0 133781691 22249472 4564 4089446400 4194304 8223781 140734760496144 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16043/statm: 5432 4564 583 984 0 4445 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 21728
[startup+5.10027 s]
/proc/loadavg: 2.17 2.07 2.02 3/195 16044
/proc/meminfo: memFree=31209832/32951132 swapFree=67111528/67111528
[pid=16043] ppid=16041 vsize=21728 CPUtime=5.01
/proc/16043/stat : 16043 (pbscip.linux.x8) R 16041 16043 13489 0 -1 4202496 34827 0 0 0 472 29 0 0 25 0 1 0 133781691 22249472 4587 4089446400 4194304 8223781 140734760496144 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16043/statm: 5432 4587 583 984 0 4445 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 21728
[startup+5.20025 s]
/proc/loadavg: 2.17 2.07 2.02 3/195 16044
/proc/meminfo: memFree=31209832/32951132 swapFree=67111528/67111528
[pid=16043] ppid=16041 vsize=21820 CPUtime=5.1
/proc/16043/stat : 16043 (pbscip.linux.x8) R 16041 16043 13489 0 -1 4202496 35497 0 0 0 481 29 0 0 25 0 1 0 133781691 22343680 4610 4089446400 4194304 8223781 140734760496144 18446744073709551615 6567523 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16043/statm: 5455 4610 583 984 0 4468 0
Current children cumulated CPU time (s) 5.1
Current children cumulated vsize (KiB) 21820
Child status: 0
Real time (s): 5.24415
CPU time (s): 5.15821
CPU user time (s): 4.85626
CPU system time (s): 0.301954
CPU usage (%): 98.3612
Max. virtual memory (cumulated for all children) (KiB): 28000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.85626
system time used= 0.301954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35503
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= 2
involuntary context switches= 37
runsolver used 0.009998 second user time and 0.017997 second system time
The end
Begin job on node128 at 2010-06-30 21:07:34
IDJOB=2692929
IDBENCH=79252
IDSOLVER=1204
FILE ID=node128/2692929-1277924854
PBS_JOBID= 11197276
Free space on /tmp= 74212 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111225605--soft-0-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692929-1277924854/watcher-2692929-1277924854 -o /tmp/evaluation-result-2692929-1277924854/solver-2692929-1277924854 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692929-1277924854.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 08393a4a0fbe261470f6b3451acbb15e
RANDOM SEED=1465919168
node128.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.853
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.70
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.853
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.853
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.853
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.853
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.853
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.853
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.853
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 31231056 kB
Buffers: 209272 kB
Cached: 1014520 kB
SwapCached: 0 kB
Active: 773520 kB
Inactive: 804944 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 31231056 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4336 kB
Writeback: 0 kB
AnonPages: 355232 kB
Mapped: 20588 kB
Slab: 79004 kB
PageTables: 5556 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 1652944 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74208 MiB
End job on node128 at 2010-06-30 21:07:39