Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed | OPT | 64 | 193.448 | 193.487 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C499.a.opb |
| MD5SUM | a983c7d791d0da9cc5e2ec69578db721 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 64 |
| Best CPU time to get the best result obtained on this benchmark | 4.24935 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 64 |
| Optimality of the best value was proved | NO |
| Number of variables | 1226 |
| Total number of constraints | 4208 |
| Number of constraints which are clauses | 4208 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 105 |
| Number of terms in the objective function | 1226 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1226 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1226 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-3691015-1338019247.opb>
0.00/0.02 c original problem has 1226 variables (1226 bin, 0 int, 0 impl, 0 cont) and 4208 constraints
0.00/0.02 c problem read in 0.02
0.00/0.04 o 1226
0.00/0.04 o 949
0.00/0.04 c feasible solution found by trivial heuristic, objective value 9.490000e+02
0.00/0.04 c presolving:
0.09/0.11 c (round 1) 0 del vars, 34 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 4110 upgd conss, 1822 impls, 0 clqs
0.09/0.13 c (round 2) 0 del vars, 43 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 4142 upgd conss, 1822 impls, 0 clqs
0.09/0.15 c (round 3) 0 del vars, 44 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 4174 upgd conss, 1822 impls, 0 clqs
0.19/0.26 c (round 4) 0 del vars, 137 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 4174 upgd conss, 1822 impls, 0 clqs
0.19/0.27 c (0.3s) probing: 51/1226 (4.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.27 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.19/0.28 c presolving (5 rounds):
0.19/0.28 c 0 deleted vars, 137 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
0.19/0.28 c 1822 implications, 0 cliques
0.19/0.28 c presolved problem has 1226 variables (1226 bin, 0 int, 0 impl, 0 cont) and 4071 constraints
0.19/0.28 c 911 constraints of type <setppc>
0.19/0.28 c 3160 constraints of type <logicor>
0.19/0.28 c transformed objective value is always integral (scale: 1)
0.19/0.28 c Presolving Time: 0.26
0.19/0.28 c - non default parameters ----------------------------------------------------------------------
0.19/0.28 c # SCIP version 2.1.1.4
0.19/0.28 c
0.19/0.28 c # maximal time in seconds to run
0.19/0.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28 c limits/time = 1797
0.19/0.28 c
0.19/0.28 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28 c limits/memory = 13950
0.19/0.28 c
0.19/0.28 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.28 c # [type: int, range: [1,2], default: 1]
0.19/0.28 c timing/clocktype = 2
0.19/0.28 c
0.19/0.28 c # belongs reading time to solving time?
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c timing/reading = TRUE
0.19/0.28 c
0.19/0.28 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.28 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.28 c separating/rapidlearning/freq = 0
0.19/0.28 c
0.19/0.28 c -----------------------------------------------------------------------------------------------
0.19/0.28 c start solving
0.19/0.28 c
0.48/0.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.48/0.58 c t 0.6s| 1 | 0 | 2313 | - | 11M| 0 | 296 |1226 |4071 |1226 |4071 | 0 | 0 | 0 | 5.808062e+01 | 9.490000e+02 |1533.94%
0.48/0.58 o 152
0.48/0.58 c R 0.6s| 1 | 0 | 2313 | - | 11M| 0 | 296 |1226 |4071 |1226 |4071 | 0 | 0 | 0 | 5.808062e+01 | 1.520000e+02 | 161.71%
0.99/1.10 o 82
0.99/1.10 c y 1.1s| 1 | 0 | 2313 | - | 19M| 0 | 296 |1226 |4071 |1226 |4071 | 0 | 0 | 0 | 5.808062e+01 | 8.200000e+01 | 41.18%
1.09/1.14 c 1.1s| 1 | 0 | 2421 | - | 12M| 0 | 290 |1226 |4081 |1226 |4076 | 5 | 0 | 0 | 5.821764e+01 | 8.200000e+01 | 40.85%
1.09/1.14 o 81
1.09/1.14 c b 1.1s| 1 | 0 | 2421 | - | 12M| 0 | 290 |1226 |4081 |1226 |4076 | 5 | 0 | 0 | 5.821764e+01 | 8.100000e+01 | 39.13%
1.28/1.34 c 1.3s| 1 | 0 | 2628 | - | 13M| 0 | 282 |1226 |4081 |1226 |4078 | 7 | 0 | 0 | 5.877886e+01 | 8.100000e+01 | 37.80%
2.48/2.50 c 2.5s| 1 | 0 | 2699 | - | 15M| 0 | 280 |1226 |4081 |1226 |4080 | 9 | 0 | 0 | 5.881578e+01 | 8.100000e+01 | 37.72%
2.59/2.67 c 2.7s| 1 | 0 | 2956 | - | 15M| 0 | 298 |1226 |4081 |1226 |4084 | 13 | 0 | 0 | 5.911392e+01 | 8.100000e+01 | 37.02%
3.49/3.51 c 3.5s| 1 | 0 | 3340 | - | 16M| 0 | 304 |1226 |4081 |1226 |4087 | 16 | 0 | 0 | 5.925230e+01 | 8.100000e+01 | 36.70%
3.78/3.85 c 3.9s| 1 | 0 | 3708 | - | 16M| 0 | 308 |1226 |4081 |1226 |4092 | 21 | 0 | 0 | 5.931542e+01 | 8.100000e+01 | 36.56%
4.08/4.18 c 4.2s| 1 | 0 | 3828 | - | 16M| 0 | 307 |1226 |4081 |1226 |4093 | 22 | 0 | 0 | 5.932341e+01 | 8.100000e+01 | 36.54%
5.09/5.11 o 72
5.09/5.11 c E 5.1s| 1 | 0 | 3828 | - | 16M| 0 | 307 |1226 |4081 |1226 |4093 | 22 | 0 | 0 | 5.932341e+01 | 7.200000e+01 | 21.37%
5.09/5.11 c 5.1s| 1 | 0 | 3828 | - | 16M| 0 | 307 |1226 |4081 |1226 |4093 | 22 | 0 | 0 | 5.932341e+01 | 7.200000e+01 | 21.37%
7.28/7.36 c 7.4s| 1 | 2 | 3828 | - | 16M| 0 | 307 |1226 |4081 |1226 |4093 | 22 | 0 | 19 | 5.932341e+01 | 7.200000e+01 | 21.37%
83.97/84.07 c 84.1s| 100 | 93 |227028 |2254.5 | 17M| 22 | 249 |1226 |4081 |1226 |4085 | 22 | 0 | 327 | 5.935299e+01 | 7.200000e+01 | 21.31%
89.77/89.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.77/89.88 c 89.9s| 200 | 167 |249703 |1235.6 | 17M| 23 | 260 |1226 |4081 |1226 |4085 | 22 | 0 | 381 | 5.971795e+01 | 7.200000e+01 | 20.57%
89.87/89.95 o 68
89.87/89.95 c C90.0s| 201 | 102 |249778 |1229.8 | 17M| 23 | 268 |1226 |4081 |1226 |4085 | 22 | 0 | 381 | 5.971795e+01 | 6.800000e+01 | 13.87%
93.67/93.76 c 93.8s| 300 | 153 |263886 | 869.8 | 17M| 25 | 257 |1226 |4081 |1226 |4085 | 22 | 0 | 426 | 5.971795e+01 | 6.800000e+01 | 13.87%
98.17/98.22 c 98.2s| 400 | 217 |281755 | 696.6 | 17M| 27 | 267 |1226 |4081 |1226 |4085 | 22 | 0 | 465 | 5.974089e+01 | 6.800000e+01 | 13.82%
104.07/104.17 o 67
104.07/104.17 c v 104s| 433 | 180 |307208 | 702.3 | 17M| 27 | - |1226 |4081 |1226 |4085 | 22 | 0 | 490 | 5.998254e+01 | 6.700000e+01 | 11.70%
115.47/115.51 c 116s| 500 | 241 |354241 | 702.2 | 17M| 27 | - |1226 |4081 |1226 |4085 | 22 | 0 | 562 | 6.006780e+01 | 6.700000e+01 | 11.54%
125.87/125.93 c 126s| 600 | 299 |395566 | 654.0 | 18M| 27 | - |1226 |4082 |1226 |4085 | 22 | 1 | 681 | 6.029903e+01 | 6.700000e+01 | 11.11%
134.87/134.98 c 135s| 700 | 351 |433597 | 614.8 | 18M| 27 | - |1226 |4082 |1226 |4085 | 22 | 1 | 794 | 6.057998e+01 | 6.700000e+01 | 10.60%
141.46/141.55 c 142s| 800 | 391 |460650 | 571.7 | 18M| 27 | 305 |1226 |4082 |1226 |4085 | 22 | 1 | 911 | 6.060722e+01 | 6.700000e+01 | 10.55%
146.76/146.86 c 147s| 900 | 431 |483124 | 533.1 | 19M| 27 | 272 |1226 |4082 |1226 |4085 | 22 | 1 |1001 | 6.062806e+01 | 6.700000e+01 | 10.51%
151.96/152.05 c 152s| 1000 | 459 |510302 | 507.0 | 19M| 27 | 286 |1226 |4082 |1226 |4085 | 22 | 1 |1038 | 6.068168e+01 | 6.700000e+01 | 10.41%
158.76/158.85 c 159s| 1100 | 527 |544070 | 491.6 | 19M| 27 | 261 |1226 |4082 |1226 |4085 | 22 | 1 |1084 | 6.069463e+01 | 6.700000e+01 | 10.39%
162.06/162.13 o 65
162.06/162.13 c C 162s| 1166 | 245 |560637 | 477.9 | 17M| 30 | - |1226 |4082 |1226 |4085 | 22 | 1 |1107 | 6.069463e+01 | 6.500000e+01 | 7.09%
164.56/164.64 c 165s| 1200 | 265 |570788 | 472.9 | 18M| 37 | 316 |1226 |4082 |1226 |4085 | 22 | 1 |1131 | 6.069463e+01 | 6.500000e+01 | 7.09%
168.86/168.91 c 169s| 1300 | 307 |591956 | 452.8 | 18M| 45 | 295 |1226 |4082 |1226 |4085 | 22 | 1 |1161 | 6.075123e+01 | 6.500000e+01 | 6.99%
172.66/172.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.66/172.75 c 173s| 1400 | 325 |606408 | 430.7 | 18M| 46 | - |1226 |4082 |1226 |4085 | 22 | 1 |1223 | 6.083407e+01 | 6.500000e+01 | 6.85%
176.46/176.52 c 177s| 1500 | 345 |621166 | 411.8 | 19M| 46 | 256 |1226 |4082 |1226 |4085 | 22 | 1 |1301 | 6.084303e+01 | 6.500000e+01 | 6.83%
176.66/176.73 o 64
176.66/176.73 c * 177s| 1524 | 167 |622016 | 405.9 | 18M| 46 | - |1226 |4082 |1226 |4085 | 22 | 1 |1305 | 6.084303e+01 | 6.400000e+01 | 5.19%
178.66/178.73 c 179s| 1600 | 151 |630036 | 391.6 | 18M| 46 | 314 |1226 |4082 |1226 |4085 | 22 | 1 |1334 | 6.099356e+01 | 6.400000e+01 | 4.93%
182.25/182.39 c 182s| 1700 | 131 |643408 | 376.4 | 18M| 46 | - |1226 |4082 |1226 |4085 | 22 | 1 |1412 | 6.113920e+01 | 6.400000e+01 | 4.68%
184.66/184.76 c 185s| 1800 | 131 |652204 | 360.4 | 18M| 46 | 306 |1226 |4082 |1226 |4085 | 22 | 1 |1450 | 6.133044e+01 | 6.400000e+01 | 4.35%
187.65/187.79 c 188s| 1900 | 115 |661833 | 346.5 | 18M| 46 | 319 |1226 |4082 |1226 |4085 | 22 | 1 |1535 | 6.140189e+01 | 6.400000e+01 | 4.23%
189.06/189.19 c 189s| 2000 | 109 |668075 | 332.3 | 18M| 46 | - |1226 |4082 |1226 |4085 | 22 | 1 |1544 | 6.167782e+01 | 6.400000e+01 | 3.77%
191.75/191.88 c 192s| 2100 | 79 |676895 | 320.7 | 18M| 46 | - |1226 |4082 |1226 |4085 | 22 | 1 |1634 | 6.186494e+01 | 6.400000e+01 | 3.45%
193.35/193.40 c 193s| 2200 | 13 |682313 | 308.5 | 17M| 46 | - |1226 |4082 |1226 |4085 | 22 | 1 |1675 | 6.221876e+01 | 6.400000e+01 | 2.86%
193.35/193.46 c
193.35/193.46 c SCIP Status : problem is solved [optimal solution found]
193.35/193.46 c Solving Time (sec) : 193.46
193.35/193.46 c Solving Nodes : 2213
193.35/193.46 c Primal Bound : +6.40000000000000e+01 (23 solutions)
193.35/193.46 c Dual Bound : +6.40000000000000e+01
193.35/193.46 c Gap : 0.00 %
193.35/193.46 s OPTIMUM FOUND
193.35/193.46 v -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208
193.35/193.46 v -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190
193.35/193.46 v -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172
193.35/193.46 v x1171 -x1170 -x1169 -x1168 -x1167 x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 x1156 -x1155 -x1154
193.35/193.46 v -x1153 -x1152 x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136
193.35/193.46 v -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 x1126 -x1125 -x1124 x1123 -x1122 -x1121 -x1120 -x1119 x1118
193.35/193.46 v -x1117 x1116 -x1115 x1114 -x1113 x1112 -x1111 -x1110 -x1109 x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099
193.35/193.46 v -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 x1083 -x1082 -x1081
193.35/193.46 v -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063
193.35/193.46 v -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045
193.35/193.46 v -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027
193.35/193.46 v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010
193.35/193.46 v -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990
193.35/193.46 v -x989 x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 x970 -x969
193.35/193.46 v -x968 -x967 -x966 -x965 -x964 -x963 x962 -x961 x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 x951 -x950 -x949 -x948
193.35/193.46 v -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 x929 -x928 -x927
193.35/193.46 v -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906
193.35/193.46 v -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 x888 -x887 -x886 -x885
193.35/193.46 v -x884 -x883 x882 -x881 x880 -x879 x878 -x877 -x876 -x875 -x874 -x873 -x872 x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863
193.35/193.46 v -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842
193.35/193.46 v -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822
193.35/193.46 v -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801
193.35/193.46 v x800 -x799 -x798 -x797 -x796 -x795 -x794 x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 -x780 -x779
193.35/193.46 v x778 -x777 -x776 -x775 -x774 -x773 -x772 x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758
193.35/193.46 v -x757 -x756 -x755 -x754 -x753 x752 -x751 -x750 x749 -x748 x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737
193.35/193.46 v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716
193.35/193.46 v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695
193.35/193.46 v -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674
193.35/193.46 v -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653
193.35/193.46 v -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632
193.35/193.46 v -x631 -x630 x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611
193.35/193.46 v x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 x590
193.35/193.46 v -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569
193.35/193.46 v -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 x551 -x550 -x549 -x548
193.35/193.46 v -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528
193.35/193.46 v -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507
193.35/193.46 v -x506 -x505 -x504 x503 -x502 -x501 -x500 -x499 -x498 -x497 x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486
193.35/193.46 v -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465
193.35/193.46 v -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444
193.35/193.46 v -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423
193.35/193.46 v -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402
193.35/193.46 v -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 x392 -x391 -x390 -x389 x388 -x387 -x386 x385 -x384 -x383 -x382 -x381
193.35/193.46 v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360
193.35/193.46 v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339
193.35/193.46 v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318
193.35/193.46 v -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297
193.35/193.46 v -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276
193.35/193.46 v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255
193.35/193.46 v -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234
193.35/193.46 v -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214
193.35/193.46 v -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193
193.35/193.46 v -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 x175 -x174 -x173 x172 -x171
193.35/193.46 v -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150
193.35/193.46 v -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129
193.35/193.46 v -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108
193.35/193.46 v -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85
193.35/193.46 v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60
193.35/193.46 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35
193.35/193.46 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 x9
193.35/193.46 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
193.35/193.46 c SCIP Status : problem is solved [optimal solution found]
193.35/193.46 c Total Time : 193.46
193.35/193.46 c solving : 193.46
193.35/193.46 c presolving : 0.26 (included in solving)
193.35/193.46 c reading : 0.02 (included in solving)
193.35/193.46 c copying : 0.08 (6 #copies) (minimal 0.01, maximal 0.02, average 0.01)
193.35/193.46 c Original Problem :
193.35/193.46 c Problem name : HOME/instance-3691015-1338019247.opb
193.35/193.46 c Variables : 1226 (1226 binary, 0 integer, 0 implicit integer, 0 continuous)
193.35/193.46 c Constraints : 4208 initial, 4208 maximal
193.35/193.46 c Objective sense : minimize
193.35/193.46 c Presolved Problem :
193.35/193.46 c Problem name : t_HOME/instance-3691015-1338019247.opb
193.35/193.46 c Variables : 1226 (1226 binary, 0 integer, 0 implicit integer, 0 continuous)
193.35/193.46 c Constraints : 4071 initial, 4082 maximal
193.35/193.46 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
193.35/193.46 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
193.35/193.46 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
193.35/193.46 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
193.35/193.46 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
193.35/193.46 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
193.35/193.46 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
193.35/193.46 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
193.35/193.46 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
193.35/193.46 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
193.35/193.46 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
193.35/193.46 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
193.35/193.46 c setppc : 0.01 0.00 0 0 0 0 0 0 0 0 0
193.35/193.46 c linear : 0.04 0.00 0 0 0 0 0 34 0 2 0
193.35/193.46 c logicor : 0.17 0.01 0 0 0 0 0 103 0 0 0
193.35/193.46 c root node : - - 4 - - 4 - - - - -
193.35/193.46 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
193.35/193.46 c integral : 0 0 0 0 1687 0 27 0 11 591 0 0 2850
193.35/193.46 c setppc : 911 911 8 12447 1 0 22 0 0 4937 0 0 0
193.35/193.46 c linear : 0+ 10 8 12347 0 0 0 0 0 0 5 0 0
193.35/193.46 c logicor : 3160+ 3161 8 4622 1 0 22 5 1 6583 0 0 0
193.35/193.46 c countsols : 0 0 0 0 1 0 24 0 0 0 0 0 0
193.35/193.46 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
193.35/193.46 c integral : 42.04 0.00 0.00 0.00 42.04 0.00 0.00 0.00
193.35/193.46 c setppc : 0.21 0.00 0.00 0.21 0.00 0.00 0.00 0.00
193.35/193.46 c linear : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
193.35/193.46 c logicor : 0.12 0.01 0.00 0.10 0.00 0.00 0.01 0.00
193.35/193.46 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
193.35/193.46 c Propagators : #Propagate #ResProp Cutoffs DomReds
193.35/193.46 c rootredcost : 4 0 0 0
193.35/193.46 c pseudoobj : 14036 0 0 0
193.35/193.46 c vbounds : 0 0 0 0
193.35/193.46 c redcost : 2386 0 0 101455
193.35/193.46 c probing : 0 0 0 0
193.35/193.46 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
193.35/193.46 c rootredcost : 0.00 0.00 0.00 0.00 0.00
193.35/193.46 c pseudoobj : 0.02 0.00 0.00 0.02 0.00
193.35/193.46 c vbounds : 0.00 0.00 0.00 0.00 0.00
193.35/193.46 c redcost : 0.18 0.00 0.00 0.18 0.00
193.35/193.46 c probing : 0.01 0.00 0.00 0.00 0.00
193.35/193.46 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
193.35/193.46 c propagation : 0.00 1 1 1 11.0 0 0.0 -
193.35/193.46 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
193.35/193.46 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
193.35/193.46 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
193.35/193.46 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
193.35/193.46 c applied globally : - - - 1 11.0 - - -
193.35/193.46 c applied locally : - - - 0 0.0 - - -
193.35/193.46 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
193.35/193.46 c cut pool : 0.00 7 - - 57 - (maximal pool size: 259)
193.35/193.46 c closecuts : 0.00 0.00 0 0 0 0 0
193.35/193.46 c impliedbounds : 0.00 0.00 9 0 0 0 0
193.35/193.46 c intobj : 0.00 0.00 0 0 0 0 0
193.35/193.46 c gomory : 1.74 0.00 9 0 0 265 0
193.35/193.46 c cgmip : 0.00 0.00 0 0 0 0 0
193.35/193.46 c strongcg : 1.40 0.00 9 0 0 2562 0
193.35/193.46 c cmir : 0.13 0.00 9 0 0 1 0
193.35/193.46 c flowcover : 0.16 0.00 9 0 0 1 0
193.35/193.46 c clique : 0.00 0.00 1 0 0 0 0
193.35/193.46 c zerohalf : 0.00 0.00 0 0 0 0 0
193.35/193.46 c mcf : 0.00 0.00 1 0 0 0 0
193.35/193.46 c oddcycle : 0.00 0.00 0 0 0 0 0
193.35/193.46 c rapidlearning : 0.37 0.00 1 0 0 0 10
193.35/193.46 c Pricers : ExecTime SetupTime Calls Vars
193.35/193.46 c problem variables: 0.00 - 0 0
193.35/193.46 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
193.35/193.46 c relpscost : 42.03 0.00 1686 11 591 0 0 2850
193.35/193.46 c pscost : 0.00 0.00 0 0 0 0 0 0
193.35/193.46 c inference : 0.00 0.00 0 0 0 0 0 0
193.35/193.46 c mostinf : 0.00 0.00 0 0 0 0 0 0
193.35/193.46 c leastinf : 0.00 0.00 0 0 0 0 0 0
193.35/193.46 c fullstrong : 0.00 0.00 0 0 0 0 0 0
193.35/193.46 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
193.35/193.46 c random : 0.00 0.00 0 0 0 0 0 0
193.35/193.46 c Primal Heuristics : ExecTime SetupTime Calls Found
193.35/193.46 c LP solutions : 0.00 - - 1
193.35/193.46 c pseudo solutions : 0.00 - - 0
193.35/193.46 c feaspump : 0.00 0.00 0 0
193.35/193.46 c oneopt : 0.01 0.00 7 1
193.35/193.46 c rootsoldiving : 4.14 0.00 10 10
193.35/193.46 c pscostdiving : 4.98 0.00 20 0
193.35/193.46 c linesearchdiving : 4.27 0.00 20 0
193.35/193.46 c guideddiving : 6.70 0.00 20 0
193.35/193.46 c fracdiving : 7.49 0.00 20 0
193.35/193.46 c coefdiving : 3.12 0.00 21 0
193.35/193.46 c veclendiving : 7.49 0.00 41 1
193.35/193.46 c smallcard : 0.00 0.00 0 0
193.35/193.46 c trivial : 0.00 0.00 2 2
193.35/193.46 c shiftandpropagate: 0.00 0.00 0 0
193.35/193.46 c simplerounding : 0.02 0.00 11 0
193.35/193.46 c zirounding : 0.23 0.00 1000 0
193.35/193.46 c rounding : 0.76 0.00 1454 1
193.35/193.46 c shifting : 0.08 0.00 123 0
193.35/193.46 c intshifting : 0.00 0.00 0 0
193.35/193.46 c twoopt : 0.00 0.00 0 0
193.35/193.46 c indtwoopt : 0.00 0.00 0 0
193.35/193.46 c indoneopt : 0.00 0.00 0 0
193.35/193.46 c fixandinfer : 0.00 0.00 0 0
193.35/193.46 c clique : 0.00 0.00 0 0
193.35/193.46 c indcoefdiving : 0.00 0.00 0 0
193.35/193.46 c indrounding : 0.00 0.00 0 0
193.35/193.46 c nlpdiving : 0.00 0.00 0 0
193.35/193.46 c intdiving : 0.00 0.00 0 0
193.35/193.46 c actconsdiving : 0.00 0.00 0 0
193.35/193.46 c objpscostdiving : 51.30 0.00 1 1
193.35/193.46 c octane : 0.00 0.00 0 0
193.35/193.46 c rens : 0.66 0.00 1 1
193.35/193.46 c rins : 0.00 0.00 0 0
193.35/193.46 c localbranching : 0.00 0.00 0 0
193.35/193.46 c mutation : 0.00 0.00 0 0
193.35/193.46 c crossover : 0.28 0.00 4 4
193.35/193.46 c dins : 0.00 0.00 0 0
193.35/193.46 c vbounds : 0.00 0.00 0 0
193.35/193.46 c undercover : 0.00 0.00 0 0
193.35/193.46 c subnlp : 0.00 0.00 0 0
193.35/193.46 c trysol : 0.00 0.00 0 0
193.35/193.46 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
193.35/193.46 c primal LP : 0.00 1 0 0.00 - 0.00 1
193.35/193.46 c dual LP : 53.98 3171 315716 127.87 5848.79 0.58 702
193.35/193.46 c lex dual LP : 0.00 0 0 0.00 -
193.35/193.46 c barrier LP : 0.00 0 0 0.00 - 0.00 0
193.35/193.46 c diving/probing LP: 86.08 8722 366863 42.06 4262.03
193.35/193.46 c strong branching : 41.85 1675 233384 139.33 5576.10
193.35/193.46 c (at root node) : - 19 9868 519.37 -
193.35/193.46 c conflict analysis: 0.00 0 0 0.00 -
193.35/193.46 c B&B Tree :
193.35/193.46 c number of runs : 1
193.35/193.46 c nodes : 2213
193.35/193.46 c nodes (total) : 2213
193.35/193.46 c nodes left : 0
193.35/193.46 c max depth : 46
193.35/193.46 c max depth (total): 46
193.35/193.46 c backtracks : 637 (28.8%)
193.35/193.46 c delayed cutoffs : 0
193.35/193.46 c repropagations : 0 (0 domain reductions, 0 cutoffs)
193.35/193.46 c avg switch length: 6.91
193.35/193.46 c switching time : 0.30
193.35/193.46 c Solution :
193.35/193.46 c Solutions found : 23 (10 improvements)
193.35/193.46 c First Solution : +1.22600000000000e+03 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
193.35/193.46 c Primal Bound : +6.40000000000000e+01 (in run 1, after 1524 nodes, 176.73 seconds, depth 28, found by <relaxation>)
193.35/193.46 c Dual Bound : +6.40000000000000e+01
193.35/193.46 c Gap : 0.00 %
193.35/193.46 c Root Dual Bound : +5.93234143390975e+01
193.35/193.46 c Root Iterations : 3828
193.35/193.48 c Time complete: 193.44.
OK 64
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-3691015-1338019247/watcher-3691015-1338019247 -o /tmp/evaluation-result-3691015-1338019247/solver-3691015-1338019247 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691015-1338019247.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: 1.94 1.99 1.81 2/175 32027 /proc/meminfo: memFree=28969668/32873624 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=11140 CPUtime=0 cores=0,2,4,6 /proc/32027/stat : 32027 (scip-2.1.1.4fix) R 32025 32027 31545 0 -1 4202496 1545 0 0 0 0 0 0 0 20 0 1 0 268050126 11407360 1499 33554432000 4194304 10173063 140736433902096 140734788438424 8800002 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/32027/statm: 2785 1499 416 1460 0 1316 0 [startup+0.0492161 s] /proc/loadavg: 1.94 1.99 1.81 2/175 32027 /proc/meminfo: memFree=28969668/32873624 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=29160 CPUtime=0.03 cores=0,2,4,6 /proc/32027/stat : 32027 (scip-2.1.1.4fix) R 32025 32027 31545 0 -1 4202496 5841 0 0 0 3 0 0 0 20 0 1 0 268050126 29859840 5795 33554432000 4194304 10173063 140736433902096 140734788438424 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/32027/statm: 7290 5795 553 1460 0 5821 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 29160 [startup+0.100318 s] /proc/loadavg: 1.94 1.99 1.81 2/175 32027 /proc/meminfo: memFree=28969668/32873624 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=35728 CPUtime=0.09 cores=0,2,4,6 /proc/32027/stat : 32027 (scip-2.1.1.4fix) R 32025 32027 31545 0 -1 4202496 7723 0 0 0 8 1 0 0 20 0 1 0 268050126 36585472 7420 33554432000 4194304 10173063 140736433902096 140734788438424 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/32027/statm: 8932 7420 566 1460 0 7463 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 35728 [startup+0.30017 s] /proc/loadavg: 1.94 1.99 1.81 2/175 32027 /proc/meminfo: memFree=28969668/32873624 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=46964 CPUtime=0.28 cores=0,2,4,6 /proc/32027/stat : 32027 (scip-2.1.1.4fix) R 32025 32027 31545 0 -1 4202496 10405 0 0 0 27 1 0 0 20 0 1 0 268050126 48091136 10065 33554432000 4194304 10173063 140736433902096 140736433898152 8000886 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/32027/statm: 11783 10093 678 1460 0 10314 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 46964 [startup+0.700141 s] /proc/loadavg: 1.94 1.99 1.81 2/175 32027 /proc/meminfo: memFree=28969668/32873624 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=56232 CPUtime=0.69 cores=0,2,4,6 /proc/32027/stat : 32027 (scip-2.1.1.4fix) R 32025 32027 31545 0 -1 4202496 13344 0 0 0 67 2 0 0 20 0 1 0 268050126 57581568 12808 33554432000 4194304 10173063 140736433902096 140736433895352 5038307 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/32027/statm: 14058 12808 766 1460 0 12589 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 56232 [startup+1.50015 s] /proc/loadavg: 1.94 1.99 1.81 3/176 32028 /proc/meminfo: memFree=28891284/32873624 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=87032 CPUtime=1.48 cores=0,2,4,6 /proc/32027/stat : 32027 (scip-2.1.1.4fix) R 32025 32027 31545 0 -1 4202496 20933 0 0 0 144 4 0 0 20 0 1 0 268050126 89120768 20362 33554432000 4194304 10173063 140736433902096 140736433897016 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/32027/statm: 21758 20362 835 1460 0 20289 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 87032 [startup+3.10016 s] /proc/loadavg: 1.94 1.99 1.81 3/176 32028 /proc/meminfo: memFree=28890664/32873624 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=87032 CPUtime=3.09 cores=0,2,4,6 /proc/32027/stat : 32027 (scip-2.1.1.4fix) R 32025 32027 31545 0 -1 4202496 20980 0 0 0 304 5 0 0 20 0 1 0 268050126 89120768 20409 33554432000 4194304 10173063 140736433902096 140736433896984 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/32027/statm: 21758 20409 835 1460 0 20289 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 87032 [startup+6.30018 s] /proc/loadavg: 1.94 1.99 1.81 3/176 32028 /proc/meminfo: memFree=28868228/32873624 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=110168 CPUtime=6.29 cores=0,2,4,6 /proc/32027/stat : 32027 (scip-2.1.1.4fix) R 32025 32027 31545 0 -1 4202496 26722 0 0 0 621 8 0 0 20 0 1 0 268050126 112812032 26117 33554432000 4194304 10173063 140736433902096 140736433895544 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/32027/statm: 27542 26117 859 1460 0 26073 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 110168 [startup+12.7002 s] /proc/loadavg: 1.95 1.99 1.81 3/176 32028 /proc/meminfo: memFree=28867060/32873624 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=110168 CPUtime=12.68 cores=0,2,4,6 /proc/32027/stat : 32027 (scip-2.1.1.4fix) R 32025 32027 31545 0 -1 4202496 26722 0 0 0 1258 10 0 0 20 0 1 0 268050126 112812032 26375 33554432000 4194304 10173063 140736433902096 140736433895928 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/32027/statm: 27542 26375 859 1460 0 26073 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 110168 [startup+25.5002 s] /proc/loadavg: 1.96 1.99 1.81 3/175 32051 /proc/meminfo: memFree=28867156/32873624 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=110168 CPUtime=25.48 cores=0,2,4,6 /proc/32027/stat : 32027 (scip-2.1.1.4fix) R 32025 32027 31545 0 -1 4202496 26722 0 0 0 2532 16 0 0 20 0 1 0 268050126 112812032 26375 33554432000 4194304 10173063 140736433902096 140736433895928 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/32027/statm: 27542 26375 859 1460 0 26073 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 110168 [startup+51.1002 s] /proc/loadavg: 1.97 1.99 1.82 3/176 32052 /proc/meminfo: memFree=28867964/32873624 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=110168 CPUtime=51.07 cores=0,2,4,6 /proc/32027/stat : 32027 (scip-2.1.1.4fix) R 32025 32027 31545 0 -1 4202496 26741 0 0 0 5085 22 0 0 20 0 1 0 268050126 112812032 26394 33554432000 4194304 10173063 140736433902096 140736433895368 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/32027/statm: 27542 26394 859 1460 0 26073 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 110168 [startup+102.306 s] /proc/loadavg: 1.99 1.99 1.82 3/175 32052 /proc/meminfo: memFree=28866612/32873624 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=110368 CPUtime=102.28 cores=0,2,4,6 /proc/32027/stat : 32027 (scip-2.1.1.4fix) R 32025 32027 31545 0 -1 4202496 27037 0 0 0 10191 37 0 0 20 0 1 0 268050126 113016832 26690 33554432000 4194304 10173063 140736433902096 140736433895448 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/32027/statm: 27592 26690 865 1460 0 26123 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 110368 [startup+162.3 s] /proc/loadavg: 1.99 1.99 1.83 3/175 32052 /proc/meminfo: memFree=28866612/32873624 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=109744 CPUtime=162.26 cores=0,2,4,6 /proc/32027/stat : 32027 (scip-2.1.1.4fix) R 32025 32027 31545 0 -1 4202496 27939 0 0 0 16164 62 0 0 20 0 1 0 268050126 112377856 26568 33554432000 4194304 10173063 140736433902096 140736433894808 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/32027/statm: 27436 26568 866 1460 0 25967 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 109744 Solver just ended. Dumping a history of the last processes samples [startup+179.1 s] /proc/loadavg: 1.99 1.99 1.83 3/175 32052 /proc/meminfo: memFree=28866236/32873624 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=109744 CPUtime=179.06 cores=0,2,4,6 /proc/32027/stat : 32027 (scip-2.1.1.4fix) R 32025 32027 31545 0 -1 4202496 28957 0 0 0 17838 68 0 0 20 0 1 0 268050126 112377856 26568 33554432000 4194304 10173063 140736433902096 140736433895736 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/32027/statm: 27436 26568 866 1460 0 25967 0 Current children cumulated CPU time (s) 179.06 Current children cumulated vsize (KiB) 109744 [startup+185.5 s] /proc/loadavg: 1.99 1.99 1.83 3/175 32052 /proc/meminfo: memFree=28865352/32873624 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=110660 CPUtime=185.45 cores=0,2,4,6 /proc/32027/stat : 32027 (scip-2.1.1.4fix) R 32025 32027 31545 0 -1 4202496 30511 0 0 0 18474 71 0 0 20 0 1 0 268050126 113315840 26753 33554432000 4194304 10173063 140736433902096 140736433895768 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/32027/statm: 27665 26753 867 1460 0 26196 0 Current children cumulated CPU time (s) 185.45 Current children cumulated vsize (KiB) 110660 [startup+188.7 s] /proc/loadavg: 1.99 1.99 1.83 3/175 32052 /proc/meminfo: memFree=28865352/32873624 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=110660 CPUtime=188.66 cores=0,2,4,6 /proc/32027/stat : 32027 (scip-2.1.1.4fix) R 32025 32027 31545 0 -1 4202496 30511 0 0 0 18793 73 0 0 20 0 1 0 268050126 113315840 26753 33554432000 4194304 10173063 140736433902096 140736433895352 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/32027/statm: 27665 26753 867 1460 0 26196 0 Current children cumulated CPU time (s) 188.66 Current children cumulated vsize (KiB) 110660 [startup+191.9 s] /proc/loadavg: 1.99 1.99 1.83 3/175 32052 /proc/meminfo: memFree=28865460/32873624 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=110660 CPUtime=191.85 cores=0,2,4,6 /proc/32027/stat : 32027 (scip-2.1.1.4fix) R 32025 32027 31545 0 -1 4202496 30513 0 0 0 19111 74 0 0 20 0 1 0 268050126 113315840 26757 33554432000 4194304 10173063 140736433902096 140736433895544 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/32027/statm: 27665 26757 867 1460 0 26196 0 Current children cumulated CPU time (s) 191.85 Current children cumulated vsize (KiB) 110660 [startup+192.7 s] /proc/loadavg: 1.99 1.99 1.83 3/175 32052 /proc/meminfo: memFree=28865460/32873624 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=110660 CPUtime=192.65 cores=0,2,4,6 /proc/32027/stat : 32027 (scip-2.1.1.4fix) R 32025 32027 31545 0 -1 4202496 30513 0 0 0 19191 74 0 0 20 0 1 0 268050126 113315840 26757 33554432000 4194304 10173063 140736433902096 140736433895336 8047133 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/32027/statm: 27665 26757 867 1460 0 26196 0 Current children cumulated CPU time (s) 192.65 Current children cumulated vsize (KiB) 110660 [startup+193.1 s] /proc/loadavg: 1.99 1.99 1.83 3/175 32052 /proc/meminfo: memFree=28865460/32873624 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=110660 CPUtime=193.05 cores=0,2,4,6 /proc/32027/stat : 32027 (scip-2.1.1.4fix) R 32025 32027 31545 0 -1 4202496 30513 0 0 0 19230 75 0 0 20 0 1 0 268050126 113315840 26757 33554432000 4194304 10173063 140736433902096 140736433895336 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/32027/statm: 27665 26757 867 1460 0 26196 0 Current children cumulated CPU time (s) 193.05 Current children cumulated vsize (KiB) 110660 [startup+193.3 s] /proc/loadavg: 1.99 1.99 1.83 3/175 32052 /proc/meminfo: memFree=28865460/32873624 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=110660 CPUtime=193.25 cores=0,2,4,6 /proc/32027/stat : 32027 (scip-2.1.1.4fix) R 32025 32027 31545 0 -1 4202496 30513 0 0 0 19250 75 0 0 20 0 1 0 268050126 113315840 26757 33554432000 4194304 10173063 140736433902096 140736433895336 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/32027/statm: 27665 26757 867 1460 0 26196 0 Current children cumulated CPU time (s) 193.25 Current children cumulated vsize (KiB) 110660 [startup+193.4 s] /proc/loadavg: 1.99 1.99 1.83 3/175 32052 /proc/meminfo: memFree=28865460/32873624 swapFree=7104/7104 [pid=32027] ppid=32025 vsize=110660 CPUtime=193.35 cores=0,2,4,6 /proc/32027/stat : 32027 (scip-2.1.1.4fix) R 32025 32027 31545 0 -1 4202496 30513 0 0 0 19260 75 0 0 20 0 1 0 268050126 113315840 26757 33554432000 4194304 10173063 140736433902096 140736433895336 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/32027/statm: 27665 26757 867 1460 0 26196 0 Current children cumulated CPU time (s) 193.35 Current children cumulated vsize (KiB) 110660 Child status: 0 Real time (s): 193.487 CPU time (s): 193.448 CPU user time (s): 192.691 CPU system time (s): 0.756884 CPU usage (%): 99.9799 Max. virtual memory (cumulated for all children) (KiB): 110660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 192.691 system time used= 0.756884 maximum resident set size= 112632 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30517 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= 17 involuntary context switches= 212 runsolver used 0.351946 second user time and 0.72289 second system time The end
Begin job on node121 at 2012-05-26 10:00:47 IDJOB=3691015 IDBENCH=2884 IDSOLVER=2270 FILE ID=node121/3691015-1338019247 RUNJOBID= node121-1338016934-31561 PBS_JOBID= 14624350 Free space on /tmp= 71460 MiB SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.a.opb COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3691015-1338019247/watcher-3691015-1338019247 -o /tmp/evaluation-result-3691015-1338019247/solver-3691015-1338019247 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691015-1338019247.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a983c7d791d0da9cc5e2ec69578db721 RANDOM SEED=1566804025 node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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 : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873624 kB MemFree: 28969824 kB Buffers: 238800 kB Cached: 2624236 kB SwapCached: 0 kB Active: 997396 kB Inactive: 2137092 kB Active(anon): 273768 kB Inactive(anon): 0 kB Active(file): 723628 kB Inactive(file): 2137092 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 14120 kB Writeback: 0 kB AnonPages: 277732 kB Mapped: 17004 kB Shmem: 200 kB Slab: 632736 kB SReclaimable: 76632 kB SUnreclaim: 556104 kB KernelStack: 1464 kB PageTables: 4216 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545668 kB Committed_AS: 375400 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 233472 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71444 MiB End job on node121 at 2012-05-26 10:04:00