Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | OPT | 52 | 304.568 | 304.698 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir10_area_partials.opb |
MD5SUM | 8e58fdc516472c37b974ebbf77c2a4fa |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 52 |
Best CPU time to get the best result obtained on this benchmark | 23.0745 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 52 |
Optimality of the best value was proved | YES |
Number of variables | 2091 |
Total number of constraints | 7288 |
Number of constraints which are clauses | 7288 |
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 | 1 |
Maximum length of a constraint | 124 |
Number of terms in the objective function | 486 |
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 | 486 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 486 |
Number of bits of the biggest sum of numbers | 9 |
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875507-1245185428.opb. 0.00/0.00 c Instance file HOME/instance-1875507-1245185428.opb 0.00/0.00 c File size is 217380 bytes. 0.00/0.03 c Highest Coefficient sum: 125 0.00/0.03 c ============================[ Problem Statistics ]============================= 0.00/0.03 c | | 0.00/0.03 c | Parsing time: 0.03 s | 0.00/0.03 c | Number Variables: 2091 | 0.00/0.03 c | Number Clauses: 7774 | 0.00/0.03 c | Number Cardinality: 0 | 0.00/0.03 c | Number PB Constraints: 0 | 0.00/0.03 c core #1 0.00/0.03 c Core size: 2 Core Weight: 1 Total Weight: 1 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #2 0.00/0.03 c Core size: 2 Core Weight: 1 Total Weight: 2 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.03/0.04 c core #3 0.03/0.04 c Core size: 2 Core Weight: 1 Total Weight: 3 0.03/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #4 0.03/0.04 c Core size: 2 Core Weight: 1 Total Weight: 4 0.03/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.03/0.05 c core #5 0.03/0.05 c Core size: 2 Core Weight: 1 Total Weight: 5 0.03/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #6 0.03/0.05 c Core size: 2 Core Weight: 1 Total Weight: 6 0.03/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.03/0.06 c core #7 0.03/0.06 c Core size: 2 Core Weight: 1 Total Weight: 7 0.03/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #8 0.03/0.06 c Core size: 2 Core Weight: 1 Total Weight: 8 0.03/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.03/0.07 c core #9 0.03/0.07 c Core size: 2 Core Weight: 1 Total Weight: 9 0.03/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.03/0.07 c core #10 0.03/0.07 c Core size: 2 Core Weight: 1 Total Weight: 10 0.03/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.03/0.08 c core #11 0.03/0.08 c Core size: 2 Core Weight: 1 Total Weight: 11 0.03/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.03/0.08 c core #12 0.03/0.08 c Core size: 2 Core Weight: 1 Total Weight: 12 0.03/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.03/0.09 c core #13 0.03/0.09 c Core size: 2 Core Weight: 1 Total Weight: 13 0.03/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.03/0.09 c core #14 0.03/0.09 c Core size: 2 Core Weight: 1 Total Weight: 14 0.03/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.09/0.10 c core #15 0.09/0.10 c Core size: 2 Core Weight: 1 Total Weight: 15 0.09/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #16 0.09/0.10 c Core size: 2 Core Weight: 1 Total Weight: 16 0.09/0.10 c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #17 0.09/0.11 c Core size: 2 Core Weight: 1 Total Weight: 17 0.09/0.11 c Elapsed CPU time: 0.109983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #18 0.09/0.11 c Core size: 2 Core Weight: 1 Total Weight: 18 0.09/0.11 c Elapsed CPU time: 0.114982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #19 0.09/0.12 c Core size: 2 Core Weight: 1 Total Weight: 19 0.09/0.12 c Elapsed CPU time: 0.119981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #20 0.09/0.12 c Core size: 2 Core Weight: 1 Total Weight: 20 0.09/0.12 c Elapsed CPU time: 0.124981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #21 0.09/0.13 c Core size: 2 Core Weight: 1 Total Weight: 21 0.09/0.13 c Elapsed CPU time: 0.12998 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #22 0.09/0.13 c Core size: 2 Core Weight: 1 Total Weight: 22 0.09/0.13 c Elapsed CPU time: 0.134979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #23 0.09/0.14 c Core size: 2 Core Weight: 1 Total Weight: 23 0.09/0.14 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #24 0.09/0.14 c Core size: 2 Core Weight: 1 Total Weight: 24 0.09/0.14 c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #25 0.09/0.15 c Core size: 2 Core Weight: 1 Total Weight: 25 0.09/0.15 c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #26 0.09/0.15 c Core size: 2 Core Weight: 1 Total Weight: 26 0.09/0.15 c Elapsed CPU time: 0.153976 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #27 0.09/0.16 c Core size: 2 Core Weight: 1 Total Weight: 27 0.09/0.16 c Elapsed CPU time: 0.158975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #28 0.09/0.16 c Core size: 2 Core Weight: 1 Total Weight: 28 0.09/0.16 c Elapsed CPU time: 0.163975 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #29 0.09/0.17 c Core size: 2 Core Weight: 1 Total Weight: 29 0.09/0.17 c Elapsed CPU time: 0.168974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #30 0.09/0.17 c Core size: 2 Core Weight: 1 Total Weight: 30 0.09/0.17 c Elapsed CPU time: 0.173973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #31 0.09/0.18 c Core size: 2 Core Weight: 1 Total Weight: 31 0.09/0.18 c Elapsed CPU time: 0.178972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #32 0.09/0.18 c Core size: 2 Core Weight: 1 Total Weight: 32 0.09/0.18 c Elapsed CPU time: 0.183972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #33 0.09/0.19 c Core size: 2 Core Weight: 1 Total Weight: 33 0.09/0.19 c Elapsed CPU time: 0.188971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #34 0.09/0.19 c Core size: 2 Core Weight: 1 Total Weight: 34 0.09/0.19 c Elapsed CPU time: 0.19497 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #35 0.19/0.20 c Core size: 2 Core Weight: 1 Total Weight: 35 0.19/0.20 c Elapsed CPU time: 0.199969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #36 0.19/0.20 c Core size: 2 Core Weight: 1 Total Weight: 36 0.19/0.20 c Elapsed CPU time: 0.204968 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #37 0.19/0.21 c Core size: 2 Core Weight: 1 Total Weight: 37 0.19/0.21 c Elapsed CPU time: 0.209968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #38 0.19/0.21 c Core size: 2 Core Weight: 1 Total Weight: 38 0.19/0.21 c Elapsed CPU time: 0.214967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #39 0.19/0.22 c Core size: 2 Core Weight: 1 Total Weight: 39 0.19/0.22 c Elapsed CPU time: 0.219966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #40 0.19/0.22 c Core size: 2 Core Weight: 1 Total Weight: 40 0.19/0.22 c Elapsed CPU time: 0.224965 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #41 0.19/0.23 c Core size: 2 Core Weight: 1 Total Weight: 41 0.19/0.23 c Elapsed CPU time: 0.229965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #42 0.19/0.23 c Core size: 2 Core Weight: 1 Total Weight: 42 0.19/0.23 c Elapsed CPU time: 0.234964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #43 0.19/0.24 c Core size: 2 Core Weight: 1 Total Weight: 43 0.19/0.24 c Elapsed CPU time: 0.240963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #44 0.19/0.24 c Core size: 2 Core Weight: 1 Total Weight: 44 0.19/0.24 c Elapsed CPU time: 0.245962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #45 0.19/0.25 c Core size: 2 Core Weight: 1 Total Weight: 45 0.19/0.25 c Elapsed CPU time: 0.250961 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #46 0.19/0.25 c Core size: 2 Core Weight: 1 Total Weight: 46 0.19/0.25 c Elapsed CPU time: 0.255961 s Remaining CPU time: 1799.74 s 0.19/0.26 c core #47 0.19/0.26 c Core size: 53 Core Weight: 1 Total Weight: 47 0.19/0.26 c Elapsed CPU time: 0.26096 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #48 0.19/0.27 c Core size: 124 Core Weight: 1 Total Weight: 48 0.19/0.27 c Elapsed CPU time: 0.266959 s Remaining CPU time: 1799.73 s 0.19/0.27 c core #49 0.19/0.27 c Core size: 148 Core Weight: 1 Total Weight: 49 0.19/0.27 c Elapsed CPU time: 0.272958 s Remaining CPU time: 1799.73 s 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 983 7823 12273 | 5000 0 nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #50 0.19/0.28 c Core size: 560 Core Weight: 1 Total Weight: 50 0.19/0.28 c Elapsed CPU time: 0.283956 s Remaining CPU time: 1799.72 s 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 1979 7824 17546 | 5000 0 nan | 0.000 % | 0.29/0.32 c | 101 | 1978 7824 17546 | 5500 101 212 | 22.379 % | 0.29/0.37 c | 251 | 1975 7824 17546 | 6050 248 260 | 22.497 % | 0.39/0.45 c | 478 | 1973 7824 17546 | 6655 472 263 | 22.536 % | 0.59/0.62 c | 815 | 1964 7824 17546 | 7320 807 246 | 22.929 % | 0.89/0.90 c | 1322 | 1962 7824 17546 | 8052 1305 250 | 22.968 % | 1.00/1.05 c =============================================================================== 1.00/1.06 c core #51 1.00/1.06 c Core size: 1322 Core Weight: 1 Total Weight: 51 1.00/1.06 c Elapsed CPU time: 1.05184 s Remaining CPU time: 1798.95 s 1.00/1.07 c Learning 1 hard constraints 1.00/1.07 c ============================[ Search Statistics ]============================== 1.00/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.07 c =============================================================================== 1.00/1.07 c | 0 | 2844 7826 21028 | 5000 0 nan | 0.000 % | 1.00/1.09 c | 101 | 2844 7826 21028 | 5500 101 93 | 4.210 % | 1.10/1.14 c | 258 | 2844 7826 21028 | 6050 258 123 | 4.210 % | 1.19/1.24 c | 484 | 2844 7826 21028 | 6655 484 151 | 4.210 % | 1.39/1.49 c | 824 | 2844 7826 21028 | 7320 824 165 | 4.210 % | 1.79/1.88 c | 1333 | 2844 7826 21028 | 8052 1333 178 | 4.210 % | 2.10/2.20 c | 2093 | 2844 7826 21028 | 8857 2093 167 | 4.210 % | 2.69/2.72 c | 3234 | 2843 7826 21028 | 9743 3233 178 | 4.244 % | 3.49/3.60 c | 4942 | 2843 7826 21028 | 10717 4941 195 | 4.244 % | 5.29/5.32 c | 7504 | 2843 7826 21028 | 11789 7503 201 | 4.244 % | 7.70/7.71 c | 11348 | 2843 7826 21028 | 12968 11347 199 | 4.244 % | 12.09/12.17 c | 17114 | 2842 7826 21028 | 14265 10319 209 | 4.278 % | 19.79/19.86 c | 25767 | 2840 7826 21028 | 15692 11550 234 | 4.345 % | 30.68/30.73 c | 38741 | 2840 7826 21028 | 17261 16255 243 | 4.345 % | 47.77/47.86 c | 58206 | 2840 7826 21028 | 18987 17705 217 | 4.346 % | 76.26/76.36 c | 87399 | 2840 7826 21028 | 20886 17128 270 | 4.345 % | 119.33/119.48 c | 131188 | 2840 7826 21028 | 22974 17493 209 | 4.345 % | 186.81/186.98 c | 196872 | 2789 7826 21028 | 25272 14443 178 | 6.063 % | 201.20/201.35 c =============================================================================== 206.20/206.32 c core #52 206.20/206.32 c Core size: 3783 Core Weight: 1 Total Weight: 52 206.20/206.32 c Elapsed CPU time: 204.91 s Remaining CPU time: 1595.09 s 206.40/206.57 c Learning 7 hard constraints 206.40/206.57 c ============================[ Search Statistics ]============================== 206.40/206.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.40/206.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.40/206.57 c =============================================================================== 206.40/206.57 c | 0 | 3317 7834 22293 | 5000 0 nan | 0.000 % | 206.50/206.64 c | 102 | 3317 7834 22293 | 5500 102 276 | 2.699 % | 206.60/206.71 c | 252 | 3317 7834 22293 | 6050 252 245 | 2.699 % | 206.71/206.80 c | 479 | 3317 7834 22293 | 6655 479 235 | 2.700 % | 206.80/206.97 c | 819 | 3317 7834 22293 | 7320 819 232 | 2.699 % | 207.19/207.32 c | 1325 | 3317 7834 22293 | 8052 1325 252 | 2.699 % | 207.70/207.89 c | 2084 | 3317 7834 22293 | 8857 2084 266 | 2.700 % | 208.90/209.02 c | 3223 | 3317 7834 22293 | 9743 3223 310 | 2.699 % | 210.70/210.89 c | 4931 | 3317 7834 22293 | 10717 4931 353 | 2.700 % | 213.89/214.07 c | 7493 | 3317 7834 22293 | 11789 7493 417 | 2.700 % | 220.29/220.48 c | 11339 | 3317 7834 22293 | 12968 11339 491 | 2.700 % | 227.60/227.76 c | 17105 | 3317 7834 22293 | 14265 9902 504 | 2.699 % | 238.79/238.93 c | 25755 | 3317 7834 22293 | 15692 10840 520 | 2.699 % | 259.28/259.44 c | 38729 | 3317 7834 22293 | 17261 15573 478 | 2.699 % | 298.97/299.14 c | 58192 | 3317 7834 22293 | 18987 17192 610 | 2.699 % | 304.47/304.63 c =============================================================================== 304.47/304.63 c Verified 7834 original clauses. 304.47/304.63 c #cores: 52 304.47/304.63 c Final Weight: 52 304.47/304.63 o 52 304.47/304.63 s OPTIMUM FOUND 304.47/304.63 v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x33 x34 x35 x36 x37 x38 x39 x40 x131 x132 x133 x134 x135 x136 x137 x152 x191 x227 x228 x229 x246 x290 x291 x292 x338 x341 -x343 -x346 -x348 -x353 -x359 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x371 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x388 -x391 -x393 -x395 -x397 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x407 -x409 -x410 -x412 -x415 -x421 -x422 -x423 -x424 x425 -x426 -x428 -x431 -x433 -x434 -x436 -x456 -x457 -x459 -x502 -x503 -x505 -x519 -x539 -x541 -x542 -x543 -x544 -x545 x547 -x565 -x568 -x575 -x592 -x593 -x595 -x597 -x599 -x606 -x608 -x609 -x611 -x617 -x619 -x624 -x626 -x630 -x631 -x633 -x637 -x639 -x649 -x650 -x652 -x654 -x655 -x657 -x673 -x675 -x693 -x702 -x704 -x706 -x725 -x728 -x729 -x731 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x745 -x761 -x774 -x775 -x776 -x777 -x778 -x780 -x784 -x785 -x786 -x788 -x795 -x796 -x797 -x799 -x806 -x808 -x814 -x816 -x828 -x833 -x834 -x835 -x837 -x840 -x842 -x846 -x847 -x849 -x868 -x873 -x876 -x878 -x882 -x923 -x927 -x929 -x930 -x931 -x932 -x933 -x934 -x936 -x944 -x951 -x952 -x953 -x955 -x974 -x991 -x992 -x994 -x1001 -x1019 -x1021 -x1026 -x1028 -x1031 -x1032 -x1033 -x1034 -x1036 -x1081 -x1083 -x1085 -x1086 -x1087 -x1089 -x1132 -x1133 -x1135 -x1138 -x1139 -x1141 -x1145 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1155 -x1157 -x1159 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1177 -x1182 -x1185 -x1186 -x1187 -x1188 -x1190 -x1196 -x1198 -x1204 -x1206 -x1208 -x1215 -x1221 -x1223 -x1228 -x1229 -x1230 -x1232 -x1234 -x1235 -x1237 -x1239 -x1240 -x1241 -x1243 -x1245 -x1246 -x1247 -x1248 -x1249 -x1251 -x1253 -x1254 -x1256 -x1272 -x1273 -x1274 -x1276 -x1279 -x1280 -x1282 -x1284 -x1285 -x1287 -x1292 -x1294 -x1299 -x1305 -x1308 -x1326 -x1334 -x1349 -x1350 -x1351 -x1353 -x1371 -x1376 -x1387 -x1389 x1391 -x1393 -x1395 -x1397 -x1402 -x1410 -x1411 -x1412 -x1413 -x1415 -x1417 -x1418 -x1420 -x1436 -x1438 -x1442 -x1456 -x1462 -x1463 -x1465 -x1467 -x1469 -x1475 -x1477 -x1479 -x1480 -x1482 -x1488 -x1489 -x1491 -x1505 -x1506 -x1507 -x1509 -x1520 -x1522 -x1526 -x1532 -x1534 -x1536 -x1537 -x1538 -x1540 -x1543 -x1547 -x1549 -x1553 -x1556 -x1558 -x1561 -x1568 -x1570 -x1577 -x1580 -x1582 -x1583 -x1585 -x1589 -x1592 -x1598 -x1601 -x1604 -x1607 -x1609 -x1622 -x1624 -x1628 -x1630 -x1632 -x1636 -x1641 -x1659 -x1665 -x1668 -x1670 -x1672 -x1677 -x1684 -x1691 -x1709 -x1715 -x1717 -x1719 -x1727 -x1729 -x1730 -x1731 -x1733 -x1751 -x1754 -x1757 -x1764 -x1768 -x1773 -x1789 -x1791 -x1793 -x1797 -x1819 -x1821 -x1824 -x1826 -x1828 -x1832 -x1833 -x1835 -x1838 -x1840 -x1850 -x1852 -x1855 -x1875 -x1877 -x1880 -x1882 -x1883 -x1885 -x1891 -x1900 -x1902 -x1904 -x1905 -x1907 -x1914 -x1917 -x1919 -x1921 -x1923 -x1925 -x1929 -x1936 -x1950 -x1952 -x1954 -x1956 -x1958 -x1967 -x1968 -x1969 -x1971 -x1976 -x1977 -x1978 -x1980 -x1984 -x1993 -x1995 -x1998 -x2004 -x2009 -x2017 -x2020 -x2022 -x2027 -x2028 -x2030 -x2039 -x2059 -x2061 -x2063 -x2065 -x2083 -x2085 -x2086 -x2088 x2090 -x2091 -x342 -x347 -x352 -x21 -x22 -x23 -x24 -x370 -x25 -x26 -x27 -x28 -x387 -x29 -x396 -x30 -x31 -x406 -x32 -x411 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x458 -x49 -x504 -x50 -x51 -x52 -x53 x546 -x54 -x55 -x594 -x56 -x57 -x58 -x59 -x610 -x60 -x61 -x62 -x63 -x632 -x64 -x65 -x66 -x67 -x68 -x656 -x69 -x70 -x71 -x72 -x705 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x744 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x815 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x881 -x100 -x101 -x102 -x103 -x104 -x105 -x935 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x1035 -x118 -x119 -x120 -x1088 -x121 -x1134 -x122 -x1140 -x123 -x124 -x125 -x126 -x127 -x128 -x1158 -x129 -x130 -x692 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x427 -x1176 -x150 -x151 -x153 -x154 -x155 -x156 -x157 -x1197 -x158 -x159 -x1214 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x1255 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x1307 -x1325 -x1333 -x183 -x184 -x185 -x186 -x1352 -x187 -x188 -x1375 -x189 -x190 -x192 -x193 -x1401 -x194 -x195 -x196 -x197 -x198 -x199 -x1419 -x200 -x1437 -x201 -x1441 -x202 -x1455 -x1464 -x203 -x204 -x1476 -x205 -x206 -x1481 -x207 -x208 -x209 -x1490 -x210 -x211 -x212 -x1508 -x213 -x214 -x1525 -x215 -x216 -x217 -x218 -x219 -x220 -x1533 -x221 -x222 -x223 -x224 -x225 -x1539 -x226 -x230 -x1548 -x231 -x232 -x1304 -x233 -x234 -x1286 -x235 -x236 -x1560 -x237 -x238 -x1569 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x1584 -x1588 -x1591 -x1154 -x247 -x1597 -x248 -x249 -x250 -x251 -x252 -x1608 -x253 -x254 -x255 -x256 -x1623 -x1627 -x257 -x258 -x1635 -x259 -x1640 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x1676 -x270 -x271 -x1690 -x1708 -x272 -x273 -x1718 -x274 -x275 -x276 -x277 -x278 -x618 -x279 -x280 -x281 -x282 -x283 -x1732 -x284 -x285 -x286 -x287 -x1756 -x288 -x289 -x1767 -x1772 -x293 -x294 -x295 -x1796 -x296 -x297 -x298 -x1827 -x299 -x300 -x301 -x302 -x303 -x304 -x1854 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x1928 -x1935 -x318 -x319 -x1957 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x2029 -x2038 -x333 -x334 -x2064 -x335 -x336 -x337 -x2087 -x339 -x340 -x344 -x345 -x349 -x350 -x351 -x358 x354 -x355 -x356 -x357 -x360 -x372 -x373 -x374 -x375 -x392 -x376 -x377 -x389 -x390 -x394 -x398 -x408 -x413 -x414 -x416 -x564 -x538 -x417 -x1082 -x418 -x419 -x420 -x429 -x430 -x432 -x435 -x437 -x438 -x926 -x439 -x440 -x441 -x638 -x442 -x787 -x443 -x444 -x445 -x446 -x447 -x867 -x730 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x567 x460 -x461 -x462 -x518 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x724 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x674 -x598 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x506 -x507 -x836 -x508 -x943 -x509 -x510 -x1144 -x511 -x512 -x841 -x513 -x1027 -x514 -x515 -x701 -x516 -x517 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x1020 -x827 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x540 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x566 -x569 -x872 -x570 -x571 -x572 -x573 -x574 -x576 -x577 -x807 -x578 -x579 -x651 -x580 -x581 -x582 -x583 -x779 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x596 -x600 -x601 -x602 -x603 -x604 -x605 -x607 -x612 -x613 -x614 -x615 -x616 x620 -x621 -x622 -x623 -x625 -x627 -x628 -x629 -x634 -x635 -x636 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x653 -x658 -x659 -x660 -x993 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x703 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x726 -x727 -x732 -x733 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x781 -x782 -x783 -x789 -x790 -x791 -x792 -x793 -x794 -x798 -x800 -x801 -x922 -x802 -x803 -x804 -x805 -x809 -x810 -x811 -x812 -x813 -x817 -x818 -x819 -x820 -x821 -x877 -x822 -x823 -x824 -x825 -x826 -x829 -x830 -x831 -x832 -x838 -x839 -x843 -x844 -x845 -x848 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x869 -x870 -x871 -x874 -x875 -x879 -x880 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x1000 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x924 -x925 -x928 -x937 -x938 -x939 -x940 -x941 -x942 -x945 -x946 -x947 -x948 -x949 -x950 -x954 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x995 -x996 -x997 -x998 -x999 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1022 -x1023 -x1024 -x1025 -x1029 -x1030 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1084 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1136 -x1137 -x1142 -x1143 -x1146 -x1156 -x1160 -x1161 -x1178 -x1179 -x1180 -x1181 -x1183 -x1184 -x1203 -x1388 -x1189 -x1191 -x1192 -x1193 -x1250 -x1194 -x1195 -x1199 -x1236 -x1200 -x1231 -x1201 -x1202 -x1205 -x1207 -x1209 -x1210 -x1211 -x1212 -x1213 -x1281 -x1216 -x1217 -x1218 -x1219 -x1220 -x1370 -x1222 -x1224 -x1392 -x1225 -x1275 -x1226 -x1227 -x1233 -x1238 -x1242 -x1244 -x1252 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1298 -x1269 -x1270 -x1271 -x1277 -x1278 -x1283 -x1288 -x1289 -x1290 -x1291 -x1293 -x1295 -x1296 -x1297 -x1300 -x1301 -x1302 -x1303 -x1306 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1372 -x1373 -x1374 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1390 -x1394 -x1396 -x1398 -x1399 -x1400 -x1403 -x1404 -x1405 -x1406 -x1521 -x1407 -x1408 -x1409 -x1414 -x1416 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1468 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1439 -x1440 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1457 -x1458 -x1459 -x1460 -x1461 -x1466 -x1470 -x1471 -x1472 -x1473 -x1474 -x1478 -x1483 -x1484 -x1485 -x1486 -x1487 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1542 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1523 -x1524 -x1527 -x1528 -x1529 -x1530 -x1531 -x1535 -x1541 -x1544 -x1545 -x1546 -x1550 -x1551 -x1576 -x1552 -x1554 -x1579 -x1555 -x1557 -x1559 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1571 -x1572 -x1573 -x1574 -x1575 -x1578 -x1581 -x1586 -x1587 -x1590 -x1593 -x1594 -x1595 -x1596 -x1599 -x1750 -x1667 -x1763 -x1664 -x1600 -x1602 -x1726 -x1603 -x1605 -x1606 -x1610 -x1658 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1625 -x1626 -x1629 -x1631 -x1633 -x1634 -x1637 -x1638 -x1639 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1660 -x1661 -x1662 -x1663 -x1666 -x1669 -x1671 -x1673 -x1674 -x1753 -x1675 -x1714 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1685 -x1686 -x1687 -x1688 -x1689 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1710 -x1711 -x1712 -x1713 -x1716 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1728 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1752 -x1755 x1758 -x1759 -x1760 -x1761 -x1762 -x1765 -x1766 -x1769 -x1770 -x1771 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1790 -x1792 -x1794 -x1795 -x1823 -x1798 -x1799 -x1800 -x1839 -x1890 -x1801 -x1802 -x1803 -x1834 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1997 -x1812 -x1813 -x1814 -x2008 -x1815 -x1816 -x1817 -x1818 -x1820 -x1822 -x1825 -x1829 -x1920 -x1830 -x1831 -x1836 -x1876 -x1837 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1949 -x1849 -x1851 -x1853 -x1856 -x1857 -x1858 -x1859 -x1906 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1979 -x1871 -x1872 -x1873 -x1874 -x1878 -x1879 -x1881 -x1884 -x1886 -x1913 -x1887 -x1901 -x1994 -x1924 -x1888 -x1889 -x1892 -x1916 -x2003 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1903 -x1908 -x1909 -x2016 -x1910 -x1911 -x1912 -x1915 -x1918 -x1922 -x1926 -x1927 -x1930 -x1931 -x1932 -x2060 -x1933 -x1934 -x1953 x1937 -x1938 -x1939 -x2021 -x1940 -x1941 -x1942 -x1943 -x2082 -x1944 -x1970 -x1945 -x1946 -x1947 -x1948 -x1951 -x1955 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1972 -x1973 -x1974 -x1975 -x1981 -x1982 -x1983 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1996 -x1999 -x2000 -x2001 -x2002 -x2005 -x2006 -x2007 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2018 -x2019 -x2023 -x2024 -x2025 -x2026 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2062 x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2084 -x2089
OK 52
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875507-1245185428/watcher-1875507-1245185428 -o /tmp/evaluation-result-1875507-1245185428/solver-1875507-1245185428 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875507-1245185428.opb 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.94 3/65 8293 /proc/meminfo: memFree=1848728/2055920 swapFree=4181848/4192956 [pid=8293] ppid=8291 vsize=2752 CPUtime=0 /proc/8293/stat : 8293 (wbo) R 8291 8293 7998 0 -1 4194304 225 0 0 0 0 0 0 0 18 0 1 0 186141266 2818048 209 1992294400 134512640 135709839 4294956240 18446744073709551615 135382478 0 0 4096 3 0 0 0 17 0 0 0 /proc/8293/statm: 722 214 128 292 0 373 0 [startup+0.039076 s] /proc/loadavg: 1.00 1.00 0.94 3/65 8293 /proc/meminfo: memFree=1848728/2055920 swapFree=4181848/4192956 [pid=8293] ppid=8291 vsize=3712 CPUtime=0.03 /proc/8293/stat : 8293 (wbo) R 8291 8293 7998 0 -1 4194304 542 0 0 0 3 0 0 0 18 0 1 0 186141266 3801088 472 1992294400 134512640 135709839 4294956240 18446744073709551615 135173004 0 0 4096 3 0 0 0 17 0 0 0 /proc/8293/statm: 928 472 133 292 0 633 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3712 [startup+0.101083 s] /proc/loadavg: 1.00 1.00 0.94 3/65 8293 /proc/meminfo: memFree=1848728/2055920 swapFree=4181848/4192956 [pid=8293] ppid=8291 vsize=3712 CPUtime=0.09 /proc/8293/stat : 8293 (wbo) R 8291 8293 7998 0 -1 4194304 562 0 0 0 9 0 0 0 18 0 1 0 186141266 3801088 492 1992294400 134512640 135709839 4294956240 18446744073709551615 135182831 0 0 4096 3 0 0 0 17 0 0 0 /proc/8293/statm: 928 492 133 292 0 633 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3712 [startup+0.301105 s] /proc/loadavg: 1.00 1.00 0.94 3/65 8293 /proc/meminfo: memFree=1848728/2055920 swapFree=4181848/4192956 [pid=8293] ppid=8291 vsize=3856 CPUtime=0.29 /proc/8293/stat : 8293 (wbo) R 8291 8293 7998 0 -1 4194304 603 0 0 0 29 0 0 0 19 0 1 0 186141266 3948544 533 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8293/statm: 964 533 135 292 0 669 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3856 [startup+0.701151 s] /proc/loadavg: 1.00 1.00 0.94 3/65 8293 /proc/meminfo: memFree=1848728/2055920 swapFree=4181848/4192956 [pid=8293] ppid=8291 vsize=4516 CPUtime=0.69 /proc/8293/stat : 8293 (wbo) R 8291 8293 7998 0 -1 4194304 779 0 0 0 69 0 0 0 23 0 1 0 186141266 4624384 709 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0 /proc/8293/statm: 1129 709 136 292 0 834 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4516 [startup+1.50124 s] /proc/loadavg: 1.00 1.00 0.94 2/66 8294 /proc/meminfo: memFree=1845584/2055920 swapFree=4181848/4192956 [pid=8293] ppid=8291 vsize=6316 CPUtime=1.49 /proc/8293/stat : 8293 (wbo) R 8291 8293 7998 0 -1 4194304 1224 0 0 0 148 1 0 0 25 0 1 0 186141266 6467584 1154 1992294400 134512640 135709839 4294956240 18446744073709551615 134577692 0 0 4096 3 0 0 0 17 0 0 0 /proc/8293/statm: 1579 1154 136 292 0 1284 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6316 [startup+3.10143 s] /proc/loadavg: 1.00 1.00 0.94 2/66 8294 /proc/meminfo: memFree=1844432/2055920 swapFree=4181848/4192956 [pid=8293] ppid=8291 vsize=8444 CPUtime=3.09 /proc/8293/stat : 8293 (wbo) R 8291 8293 7998 0 -1 4194304 1739 0 0 0 306 3 0 0 25 0 1 0 186141266 8646656 1669 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8293/statm: 2111 1669 136 292 0 1816 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8444 [startup+6.30179 s] /proc/loadavg: 1.00 1.00 0.94 2/66 8294 /proc/meminfo: memFree=1837584/2055920 swapFree=4181848/4192956 [pid=8293] ppid=8291 vsize=15060 CPUtime=6.29 /proc/8293/stat : 8293 (wbo) R 8291 8293 7998 0 -1 4194304 3393 0 0 0 623 6 0 0 25 0 1 0 186141266 15421440 3323 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0 /proc/8293/statm: 3765 3323 136 292 0 3470 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15060 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 0.94 2/66 8294 /proc/meminfo: memFree=1824984/2055920 swapFree=4181848/4192956 [pid=8293] ppid=8291 vsize=27208 CPUtime=12.68 /proc/8293/stat : 8293 (wbo) R 8291 8293 7998 0 -1 4194304 6427 0 0 0 1258 10 0 0 25 0 1 0 186141266 27860992 6357 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8293/statm: 6802 6357 136 292 0 6507 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27208 [startup+25.502 s] /proc/loadavg: 1.00 1.00 0.94 2/66 8294 /proc/meminfo: memFree=1803608/2055920 swapFree=4181848/4192956 [pid=8293] ppid=8291 vsize=47932 CPUtime=25.48 /proc/8293/stat : 8293 (wbo) R 8291 8293 7998 0 -1 4194304 11625 0 0 0 2528 20 0 0 25 0 1 0 186141266 49082368 11555 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0 /proc/8293/statm: 11983 11555 136 292 0 11688 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 47932 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 0.94 2/66 8294 /proc/meminfo: memFree=1762776/2055920 swapFree=4181848/4192956 [pid=8293] ppid=8291 vsize=88996 CPUtime=51.07 /proc/8293/stat : 8293 (wbo) R 8291 8293 7998 0 -1 4194304 21886 0 0 0 5070 37 0 0 25 0 1 0 186141266 91131904 21816 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8293/statm: 22249 21816 136 292 0 21954 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 88996 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.94 2/66 8294 /proc/meminfo: memFree=1680792/2055920 swapFree=4181848/4192956 [pid=8293] ppid=8291 vsize=170084 CPUtime=102.26 /proc/8293/stat : 8293 (wbo) R 8291 8293 7998 0 -1 4194304 42129 0 0 0 10155 71 0 0 25 0 1 0 186141266 174166016 42059 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8293/statm: 42521 42059 136 292 0 42226 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 170084 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.94 2/66 8296 /proc/meminfo: memFree=1601624/2055920 swapFree=4181848/4192956 [pid=8293] ppid=8291 vsize=249972 CPUtime=162.21 /proc/8293/stat : 8293 (wbo) R 8291 8293 7998 0 -1 4194304 62100 0 0 0 16114 107 0 0 25 0 1 0 186141266 255971328 62030 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/8293/statm: 62493 62030 136 292 0 62198 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 249972 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.94 2/66 8296 /proc/meminfo: memFree=1540952/2055920 swapFree=4181848/4192956 [pid=8293] ppid=8291 vsize=309352 CPUtime=222.2 /proc/8293/stat : 8293 (wbo) R 8291 8293 7998 0 -1 4194304 76966 0 0 0 22079 141 0 0 25 0 1 0 186141266 316776448 76896 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8293/statm: 77338 76896 136 292 0 77043 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 309352 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.94 2/66 8296 /proc/meminfo: memFree=1476632/2055920 swapFree=4181848/4192956 [pid=8293] ppid=8291 vsize=374076 CPUtime=282.17 /proc/8293/stat : 8293 (wbo) R 8291 8293 7998 0 -1 4194304 93138 0 0 0 28050 167 0 0 25 0 1 0 186141266 383053824 93068 1992294400 134512640 135709839 4294956240 18446744073709551615 134577726 0 0 4096 3 0 0 0 17 0 0 0 /proc/8293/statm: 93519 93068 136 292 0 93224 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 374076 Solver just ended. Dumping a history of the last processes samples [startup+294.302 s] /proc/loadavg: 1.00 1.00 0.94 2/66 8296 /proc/meminfo: memFree=1460056/2055920 swapFree=4181848/4192956 [pid=8293] ppid=8291 vsize=390548 CPUtime=294.17 /proc/8293/stat : 8293 (wbo) R 8291 8293 7998 0 -1 4194304 97252 0 0 0 29243 174 0 0 25 0 1 0 186141266 399921152 97182 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0 /proc/8293/statm: 97637 97182 136 292 0 97342 0 Current children cumulated CPU time (s) 294.17 Current children cumulated vsize (KiB) 390548 [startup+300.701 s] /proc/loadavg: 1.00 1.00 0.94 2/66 8296 /proc/meminfo: memFree=1453528/2055920 swapFree=4181848/4192956 [pid=8293] ppid=8291 vsize=396888 CPUtime=300.56 /proc/8293/stat : 8293 (wbo) R 8291 8293 7998 0 -1 4194304 98835 0 0 0 29880 176 0 0 25 0 1 0 186141266 406413312 98765 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/8293/statm: 99222 98765 136 292 0 98927 0 Current children cumulated CPU time (s) 300.56 Current children cumulated vsize (KiB) 396888 [startup+302.302 s] /proc/loadavg: 1.00 1.00 0.94 2/66 8296 /proc/meminfo: memFree=1452824/2055920 swapFree=4181848/4192956 [pid=8293] ppid=8291 vsize=397944 CPUtime=302.16 /proc/8293/stat : 8293 (wbo) R 8291 8293 7998 0 -1 4194304 99104 0 0 0 30040 176 0 0 25 0 1 0 186141266 407494656 99034 1992294400 134512640 135709839 4294956240 18446744073709551615 134573931 0 0 4096 3 0 0 0 17 0 0 0 /proc/8293/statm: 99486 99034 136 292 0 99191 0 Current children cumulated CPU time (s) 302.16 Current children cumulated vsize (KiB) 397944 [startup+303.902 s] /proc/loadavg: 1.00 1.00 0.94 2/66 8296 /proc/meminfo: memFree=1451488/2055920 swapFree=4181848/4192956 [pid=8293] ppid=8291 vsize=398868 CPUtime=303.76 /proc/8293/stat : 8293 (wbo) R 8291 8293 7998 0 -1 4194304 99337 0 0 0 30199 177 0 0 25 0 1 0 186141266 408440832 99267 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0 /proc/8293/statm: 99717 99267 136 292 0 99422 0 Current children cumulated CPU time (s) 303.76 Current children cumulated vsize (KiB) 398868 [startup+304.302 s] /proc/loadavg: 1.00 1.00 0.94 2/66 8296 /proc/meminfo: memFree=1451488/2055920 swapFree=4181848/4192956 [pid=8293] ppid=8291 vsize=399132 CPUtime=304.16 /proc/8293/stat : 8293 (wbo) R 8291 8293 7998 0 -1 4194304 99418 0 0 0 30239 177 0 0 25 0 1 0 186141266 408711168 99348 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0 /proc/8293/statm: 99783 99348 136 292 0 99488 0 Current children cumulated CPU time (s) 304.16 Current children cumulated vsize (KiB) 399132 [startup+304.502 s] /proc/loadavg: 1.00 1.00 0.94 2/66 8296 /proc/meminfo: memFree=1451488/2055920 swapFree=4181848/4192956 [pid=8293] ppid=8291 vsize=399276 CPUtime=304.36 /proc/8293/stat : 8293 (wbo) R 8291 8293 7998 0 -1 4194304 99425 0 0 0 30259 177 0 0 25 0 1 0 186141266 408858624 99355 1992294400 134512640 135709839 4294956240 18446744073709551615 134573904 0 0 4096 3 0 0 0 17 0 0 0 /proc/8293/statm: 99819 99355 136 292 0 99524 0 Current children cumulated CPU time (s) 304.36 Current children cumulated vsize (KiB) 399276 [startup+304.602 s] /proc/loadavg: 1.00 1.00 0.94 2/66 8296 /proc/meminfo: memFree=1450720/2055920 swapFree=4181848/4192956 [pid=8293] ppid=8291 vsize=399408 CPUtime=304.47 /proc/8293/stat : 8293 (wbo) R 8291 8293 7998 0 -1 4194304 99463 0 0 0 30269 178 0 0 25 0 1 0 186141266 408993792 99393 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/8293/statm: 99852 99393 136 292 0 99557 0 Current children cumulated CPU time (s) 304.47 Current children cumulated vsize (KiB) 399408 Child status: 0 Real time (s): 304.698 CPU time (s): 304.568 CPU user time (s): 302.725 CPU system time (s): 1.84272 CPU usage (%): 99.9574 Max. virtual memory (cumulated for all children) (KiB): 399408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 302.725 system time used= 1.84272 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 99470 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= 1011 runsolver used 0.356945 second user time and 0.684895 second system time The end
Begin job on node88 at 2009-06-16 22:50:28 IDJOB=1875507 IDBENCH=25029 IDSOLVER=698 FILE ID=node88/1875507-1245185428 PBS_JOBID= 9363938 Free space on /tmp= 66548 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir10_area_partials.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875507-1245185428/watcher-1875507-1245185428 -o /tmp/evaluation-result-1875507-1245185428/solver-1875507-1245185428 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875507-1245185428.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8e58fdc516472c37b974ebbf77c2a4fa RANDOM SEED=1285853835 node88.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1849208 kB Buffers: 31688 kB Cached: 103160 kB SwapCached: 5232 kB Active: 44728 kB Inactive: 97520 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1849208 kB SwapTotal: 4192956 kB SwapFree: 4181848 kB Dirty: 2668 kB Writeback: 0 kB Mapped: 13104 kB Slab: 50276 kB Committed_AS: 77364 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875507-1245185428.opb Free space on /tmp at the end= 66548 MiB End job on node88 at 2009-06-16 22:55:33