Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | OPT | 1053 | 184.57 | 184.635 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cmb.opb |
MD5SUM | 8aa1aebf70d33d96463ba96014c98682 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1053 |
Best CPU time to get the best result obtained on this benchmark | 0.095984 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1053 |
Optimality of the best value was proved | YES |
Number of variables | 304 |
Total number of constraints | 671 |
Number of constraints which are clauses | 671 |
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 | 28 |
Number of terms in the objective function | 304 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 12887 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 12887 |
Number of bits of the biggest sum of numbers | 14 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656108-1276403582.opb. 0.00/0.00 c Instance file HOME/instance-2656108-1276403582.opb 0.00/0.00 c File size is 33368 bytes. 0.00/0.00 c Highest Coefficient sum: 29 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 304 | 0.00/0.00 c | Number Clauses: 671 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 298 676 3359 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 1547 0.00/0.01 o 1547 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 298 677 3663 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 1524 0.00/0.01 o 1524 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 1 | 298 678 3967 | 5000 1 81 | 0.000 % | 0.00/0.01 c | 102 | 298 678 3967 | 5500 102 54 | 1.975 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 1493 0.00/0.01 o 1493 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 102 | 298 679 4271 | 5000 102 54 | 1.975 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 1411 0.00/0.01 o 1411 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 102 | 298 680 4575 | 5000 102 54 | 1.975 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 1318 0.00/0.01 o 1318 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 102 | 298 681 4879 | 5000 102 54 | 1.975 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 1295 0.00/0.02 o 1295 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 126 | 298 682 5183 | 5000 126 55 | 1.975 % | 0.00/0.02 c | 228 | 298 682 5183 | 5500 228 53 | 1.975 % | 0.00/0.03 c | 379 | 298 682 5183 | 6050 379 55 | 1.975 % | 0.05/0.05 c | 604 | 298 682 5183 | 6655 604 56 | 1.975 % | 0.05/0.08 c | 942 | 298 682 5183 | 7320 942 60 | 1.975 % | 0.09/0.11 c | 1448 | 298 682 5183 | 8052 1448 55 | 1.975 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 1294 0.09/0.12 o 1294 0.09/0.12 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 1460 | 298 683 5487 | 5000 1460 55 | 1.975 % | 0.09/0.12 c | 1561 | 298 683 5487 | 5500 1561 54 | 1.976 % | 0.09/0.14 c | 1711 | 298 683 5487 | 6050 1711 55 | 1.975 % | 0.09/0.16 c | 1936 | 298 683 5487 | 6655 1936 54 | 1.975 % | 0.09/0.19 c | 2273 | 298 683 5487 | 7320 2273 55 | 1.975 % | 0.19/0.23 c | 2779 | 298 683 5487 | 8052 2779 57 | 1.976 % | 0.19/0.29 c | 3538 | 298 683 5487 | 8857 3538 58 | 1.975 % | 0.30/0.39 c | 4678 | 298 683 5487 | 9743 4678 56 | 1.975 % | 0.49/0.54 c | 6388 | 298 683 5487 | 10717 6388 57 | 1.975 % | 0.69/0.78 c | 8951 | 298 683 5487 | 11789 8951 59 | 1.975 % | 1.10/1.18 c | 12795 | 298 683 5487 | 12968 6798 60 | 1.975 % | 1.80/1.83 c | 18561 | 298 683 5487 | 14265 12564 59 | 1.987 % | 2.20/2.28 c =============================================================================== 2.20/2.28 c New solution: 1292 2.20/2.29 o 1292 2.20/2.29 c Elapsed CPU time: 2.23166 s Remaining CPU time: 177.768 s 2.20/2.29 c =============================================================================== 2.20/2.29 c | 22839 | 298 684 5791 | 5000 9592 59 | 1.987 % | 2.29/2.31 c | 22939 | 298 684 5791 | 5500 4896 59 | 1.975 % | 2.29/2.33 c | 23090 | 298 684 5791 | 6050 5047 59 | 1.975 % | 2.29/2.35 c | 23315 | 298 684 5791 | 6655 5272 59 | 1.975 % | 2.29/2.38 c | 23654 | 298 684 5791 | 7320 5611 59 | 1.983 % | 2.39/2.44 c | 24160 | 298 684 5791 | 8052 6117 58 | 1.975 % | 2.49/2.51 c | 24922 | 298 684 5791 | 8857 6879 59 | 1.976 % | 2.59/2.62 c | 26062 | 298 684 5791 | 9743 8019 59 | 1.976 % | 2.69/2.79 c | 27772 | 298 684 5791 | 10717 9729 58 | 1.975 % | 2.99/3.07 c | 30335 | 298 684 5791 | 11789 6845 60 | 1.975 % | 3.49/3.51 c | 34180 | 298 684 5791 | 12968 10690 60 | 1.975 % | 4.09/4.14 c | 39948 | 298 684 5791 | 14265 9888 59 | 1.975 % | 5.29/5.34 c | 48598 | 298 684 5791 | 15692 11292 66 | 1.975 % | 6.99/7.09 c | 61572 | 298 684 5791 | 17261 8354 70 | 1.975 % | 7.39/7.41 c =============================================================================== 7.39/7.41 c New solution: 1286 7.39/7.41 o 1286 7.39/7.41 c Elapsed CPU time: 7.2459 s Remaining CPU time: 172.754 s 7.39/7.41 c =============================================================================== 7.39/7.41 c | 65013 | 298 685 6095 | 5000 11795 64 | 1.975 % | 7.39/7.46 c | 65114 | 298 685 6095 | 5500 3050 51 | 1.975 % | 7.39/7.48 c | 65265 | 298 685 6095 | 6050 3201 51 | 1.976 % | 7.49/7.50 c | 65493 | 298 685 6095 | 6655 3429 51 | 1.975 % | 7.49/7.53 c | 65831 | 298 685 6095 | 7320 3767 51 | 1.975 % | 7.49/7.58 c | 66337 | 298 685 6095 | 8052 4273 51 | 1.975 % | 7.59/7.66 c | 67096 | 298 685 6095 | 8857 5032 52 | 1.975 % | 7.70/7.78 c | 68235 | 298 685 6095 | 9743 6171 54 | 1.975 % | 7.88/7.97 c | 69944 | 298 685 6095 | 10717 7880 57 | 1.975 % | 8.19/8.25 c | 72506 | 298 685 6095 | 11789 10442 57 | 1.975 % | 8.70/8.73 c | 76351 | 298 685 6095 | 12968 8295 60 | 1.985 % | 9.39/9.43 c | 82117 | 298 685 6095 | 14265 7476 52 | 1.975 % | 10.49/10.56 c | 90767 | 298 685 6095 | 15692 8890 64 | 1.975 % | 12.29/12.33 c | 103743 | 298 685 6095 | 17261 13903 57 | 1.975 % | 15.18/15.22 c | 123204 | 298 685 6095 | 18987 15909 57 | 1.975 % | 19.08/19.16 c | 152397 | 298 685 6095 | 20886 16307 58 | 1.975 % | 19.79/19.83 c =============================================================================== 19.79/19.83 c New solution: 1280 19.79/19.83 o 1280 19.79/19.83 c Elapsed CPU time: 19.3891 s Remaining CPU time: 160.611 s 19.79/19.83 c =============================================================================== 19.79/19.83 c | 158057 | 298 686 6399 | 5000 11399 57 | 1.975 % | 19.79/19.87 c | 158158 | 298 686 6399 | 5500 2951 59 | 1.975 % | 19.79/19.88 c | 158309 | 298 686 6399 | 6050 3102 59 | 1.975 % | 19.89/19.91 c | 158535 | 298 686 6399 | 6655 3328 58 | 1.976 % | 19.89/19.94 c | 158873 | 298 686 6399 | 7320 3666 58 | 1.975 % | 19.89/19.99 c | 159380 | 298 686 6399 | 8052 4173 57 | 1.975 % | 19.99/20.07 c | 160139 | 298 686 6399 | 8857 4932 58 | 1.975 % | 20.08/20.18 c | 161282 | 298 686 6399 | 9743 6075 57 | 1.975 % | 20.29/20.36 c | 162991 | 298 686 6399 | 10717 7784 58 | 1.975 % | 20.59/20.65 c | 165554 | 298 686 6399 | 11789 10347 57 | 1.975 % | 21.09/21.13 c | 169399 | 298 686 6399 | 12968 8190 60 | 1.975 % | 21.78/21.85 c | 175165 | 298 686 6399 | 14265 7374 51 | 1.975 % | 22.99/23.01 c | 183814 | 298 686 6399 | 15692 8782 67 | 1.985 % | 24.59/24.60 c | 196788 | 298 686 6399 | 17261 13817 61 | 1.975 % | 27.58/27.61 c | 216251 | 298 686 6399 | 18987 15817 67 | 1.975 % | 32.48/32.51 c | 245445 | 298 686 6399 | 20886 16213 77 | 1.975 % | 40.28/40.39 c | 289236 | 298 686 6399 | 22974 17828 64 | 1.975 % | 52.87/52.94 c | 354920 | 298 686 6399 | 25272 12241 58 | 1.975 % | 53.47/53.55 c =============================================================================== 53.47/53.55 c New solution: 1277 53.47/53.55 o 1277 53.47/53.55 c Elapsed CPU time: 52.463 s Remaining CPU time: 127.537 s 53.47/53.55 c =============================================================================== 53.47/53.55 c | 359910 | 298 687 6703 | 5000 17231 58 | 1.975 % | 53.57/53.63 c | 360010 | 298 687 6703 | 5500 4408 56 | 1.975 % | 53.57/53.65 c | 360161 | 298 687 6703 | 6050 4559 56 | 1.975 % | 53.57/53.67 c | 360386 | 298 687 6703 | 6655 4784 56 | 1.975 % | 53.67/53.71 c | 360724 | 298 687 6703 | 7320 5122 57 | 1.975 % | 53.67/53.76 c | 361231 | 298 687 6703 | 8052 5629 56 | 1.975 % | 53.77/53.85 c | 361991 | 298 687 6703 | 8857 6389 56 | 1.975 % | 53.88/53.97 c | 363133 | 298 687 6703 | 9743 7531 55 | 1.975 % | 54.17/54.20 c | 364841 | 298 687 6703 | 10717 9239 55 | 1.980 % | 54.47/54.56 c | 367404 | 298 687 6703 | 11789 6358 53 | 1.975 % | 54.87/54.98 c | 371249 | 298 687 6703 | 12968 10203 54 | 1.975 % | 55.57/55.68 c | 377016 | 298 687 6703 | 14265 9410 52 | 1.975 % | 56.97/57.02 c | 385665 | 298 687 6703 | 15692 10812 70 | 1.975 % | 58.87/58.94 c | 398640 | 298 687 6703 | 17261 15841 65 | 1.975 % | 61.87/62.00 c | 418103 | 298 687 6703 | 18987 9061 60 | 1.981 % | 66.76/66.80 c | 447301 | 298 687 6703 | 20886 19099 54 | 1.975 % | 73.87/73.91 c | 491090 | 298 687 6703 | 22974 20692 62 | 1.975 % | 87.16/87.25 c | 556776 | 298 687 6703 | 25272 15594 54 | 1.975 % | 106.86/106.93 c | 655302 | 298 687 6703 | 27799 15972 64 | 1.975 % | 137.14/137.23 c | 803091 | 298 687 6703 | 30579 16933 55 | 1.975 % | 182.53/182.62 c | 1024774 | 298 687 6703 | 33637 27277 67 | 1.975 % | 183.13/183.25 c There are 6 assigned variables. 6 in cost function. 184.43/184.57 c core #1 184.43/184.57 c core #2 184.43/184.57 c core #3 184.43/184.57 c core #4 184.43/184.57 c core #5 184.43/184.57 c core #6 184.43/184.57 c core #7 184.43/184.57 c core #8 184.43/184.57 c core #9 184.43/184.57 c core #10 184.43/184.57 c core #11 184.43/184.57 c core #12 184.43/184.57 c core #13 184.43/184.57 c core #14 184.43/184.57 c core #15 184.43/184.57 c core #16 184.43/184.57 c core #17 184.43/184.57 c core #18 184.43/184.57 c core #19 184.43/184.57 c core #20 184.43/184.57 c core #21 184.43/184.57 c core #22 184.43/184.57 c core #23 184.43/184.57 c core #24 184.43/184.57 c core #25 184.43/184.57 c core #26 184.43/184.57 c core #27 184.43/184.57 c core #28 184.43/184.57 c core #29 184.43/184.57 c core #30 184.43/184.57 c core #31 184.43/184.57 c core #32 184.43/184.57 c core #33 184.43/184.57 c core #34 184.43/184.57 c core #35 184.43/184.57 c core #36 184.43/184.57 c core #37 184.43/184.57 c core #38 184.43/184.57 c core #39 184.43/184.57 c core #40 184.43/184.57 c core #41 184.43/184.57 c core #42 184.43/184.57 c core #43 184.43/184.57 c core #44 184.43/184.57 c core #45 184.43/184.57 c core #46 184.43/184.57 c core #47 184.43/184.57 c core #48 184.43/184.57 c core #49 184.43/184.57 c core #50 184.43/184.57 c core #51 184.43/184.57 c core #52 184.43/184.57 c core #53 184.43/184.57 c core #54 184.43/184.57 c core #55 184.43/184.57 c core #56 184.43/184.57 c core #57 184.43/184.57 c core #58 184.43/184.57 c ============================[ Search Statistics ]============================== 184.43/184.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.43/184.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.43/184.57 c =============================================================================== 184.43/184.57 c | 0 | 667 1764 5995 | 5000 0 nan | 0.000 % | 184.43/184.57 c =============================================================================== 184.43/184.58 c core #59 184.43/184.58 c ============================[ Search Statistics ]============================== 184.43/184.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.43/184.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.43/184.58 c =============================================================================== 184.43/184.58 c | 0 | 709 1805 6062 | 5000 0 nan | 0.000 % | 184.43/184.58 c =============================================================================== 184.43/184.59 c core #60 184.43/184.59 c ============================[ Search Statistics ]============================== 184.43/184.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.43/184.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.43/184.59 c =============================================================================== 184.43/184.59 c | 0 | 760 1851 6128 | 5000 0 nan | 0.000 % | 184.43/184.59 c =============================================================================== 184.43/184.59 c #cores: 60 184.43/184.59 c Final Weight: 1053 184.43/184.59 o 1053 184.43/184.59 s OPTIMUM FOUND 184.43/184.59 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 x13 -x14 x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 x112 x113 x114 -x115 -x116 -x117 x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 x220 x221 x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 x261 x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 184.43/184.59 c Total CPU time: 181.338 s
OK 1053
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656108-1276403582/watcher-2656108-1276403582 -o /tmp/evaluation-result-2656108-1276403582/solver-2656108-1276403582 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656108-1276403582.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: 0.85 0.97 1.05 3/106 21846 /proc/meminfo: memFree=1720764/2059040 swapFree=4158992/4192956 [pid=21846] ppid=21844 vsize=2572 CPUtime=0 /proc/21846/stat : 21846 (wbo1.4b) R 21844 21846 21767 0 -1 4202496 307 0 0 0 0 0 0 0 20 0 1 0 15961917 2633728 216 1992294400 134512640 135751879 4286593664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21846/statm: 643 216 144 303 0 338 0 [startup+0.0535709 s] /proc/loadavg: 0.85 0.97 1.05 3/106 21846 /proc/meminfo: memFree=1720764/2059040 swapFree=4158992/4192956 [pid=21846] ppid=21844 vsize=2832 CPUtime=0.05 /proc/21846/stat : 21846 (wbo1.4b) R 21844 21846 21767 0 -1 4202496 358 0 0 0 5 0 0 0 20 0 1 0 15961917 2899968 267 1992294400 134512640 135751879 4286593664 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21846/statm: 708 267 147 303 0 403 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2832 [startup+0.101576 s] /proc/loadavg: 0.85 0.97 1.05 3/106 21846 /proc/meminfo: memFree=1720764/2059040 swapFree=4158992/4192956 [pid=21846] ppid=21844 vsize=2964 CPUtime=0.09 /proc/21846/stat : 21846 (wbo1.4b) R 21844 21846 21767 0 -1 4202496 417 0 0 0 9 0 0 0 20 0 1 0 15961917 3035136 326 1992294400 134512640 135751879 4286593664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21846/statm: 741 326 147 303 0 436 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2964 [startup+0.301602 s] /proc/loadavg: 0.85 0.97 1.05 3/106 21846 /proc/meminfo: memFree=1720764/2059040 swapFree=4158992/4192956 [pid=21846] ppid=21844 vsize=3876 CPUtime=0.3 /proc/21846/stat : 21846 (wbo1.4b) R 21844 21846 21767 0 -1 4202496 634 0 0 0 29 1 0 0 20 0 1 0 15961917 3969024 543 1992294400 134512640 135751879 4286593664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21846/statm: 969 543 147 303 0 664 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 3876 [startup+0.701646 s] /proc/loadavg: 0.85 0.97 1.05 3/106 21846 /proc/meminfo: memFree=1720764/2059040 swapFree=4158992/4192956 [pid=21846] ppid=21844 vsize=5612 CPUtime=0.69 /proc/21846/stat : 21846 (wbo1.4b) R 21844 21846 21767 0 -1 4202496 1045 0 0 0 68 1 0 0 21 0 1 0 15961917 5746688 954 1992294400 134512640 135751879 4286593664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21846/statm: 1403 954 147 303 0 1098 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5612 [startup+1.50174 s] /proc/loadavg: 0.86 0.97 1.05 2/107 21847 /proc/meminfo: memFree=1716292/2059040 swapFree=4158992/4192956 [pid=21846] ppid=21844 vsize=8212 CPUtime=1.49 /proc/21846/stat : 21846 (wbo1.4b) R 21844 21846 21767 0 -1 4202496 1721 0 0 0 146 3 0 0 23 0 1 0 15961917 8409088 1630 1992294400 134512640 135751879 4286593664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21846/statm: 2053 1630 148 303 0 1748 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8212 [startup+3.10192 s] /proc/loadavg: 0.86 0.97 1.05 2/107 21847 /proc/meminfo: memFree=1712572/2059040 swapFree=4158992/4192956 [pid=21846] ppid=21844 vsize=13576 CPUtime=3.09 /proc/21846/stat : 21846 (wbo1.4b) R 21844 21846 21767 0 -1 4202496 3038 0 0 0 302 7 0 0 25 0 1 0 15961917 13901824 2947 1992294400 134512640 135751879 4286593664 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21846/statm: 3394 2947 148 303 0 3089 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13576 [startup+6.30129 s] /proc/loadavg: 0.86 0.97 1.05 2/107 21849 /proc/meminfo: memFree=1702156/2059040 swapFree=4158992/4192956 [pid=21846] ppid=21844 vsize=23092 CPUtime=6.29 /proc/21846/stat : 21846 (wbo1.4b) R 21844 21846 21767 0 -1 4202496 5424 0 0 0 615 14 0 0 25 0 1 0 15961917 23646208 5333 1992294400 134512640 135751879 4286593664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21846/statm: 5773 5333 148 303 0 5468 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23092 [startup+12.701 s] /proc/loadavg: 0.88 0.97 1.05 2/107 21849 /proc/meminfo: memFree=1683432/2059040 swapFree=4158992/4192956 [pid=21846] ppid=21844 vsize=40812 CPUtime=12.69 /proc/21846/stat : 21846 (wbo1.4b) R 21844 21846 21767 0 -1 4202496 9879 0 0 0 1240 29 0 0 25 0 1 0 15961917 41791488 9788 1992294400 134512640 135751879 4286593664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21846/statm: 10203 9788 148 303 0 9898 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40812 [startup+25.5015 s] /proc/loadavg: 0.90 0.97 1.05 2/107 21849 /proc/meminfo: memFree=1649456/2059040 swapFree=4158992/4192956 [pid=21846] ppid=21844 vsize=73924 CPUtime=25.48 /proc/21846/stat : 21846 (wbo1.4b) R 21844 21846 21767 0 -1 4202496 18143 0 0 0 2490 58 0 0 25 0 1 0 15961917 75698176 18052 1992294400 134512640 135751879 4286593664 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21846/statm: 18481 18052 148 303 0 18176 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 73924 [startup+51.1015 s] /proc/loadavg: 0.94 0.97 1.05 2/107 21849 /proc/meminfo: memFree=1595640/2059040 swapFree=4158992/4192956 [pid=21846] ppid=21844 vsize=127724 CPUtime=51.07 /proc/21846/stat : 21846 (wbo1.4b) R 21844 21846 21767 0 -1 4202496 31588 0 0 0 5006 101 0 0 25 0 1 0 15961917 130789376 31497 1992294400 134512640 135751879 4286593664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21846/statm: 31931 31497 148 303 0 31626 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 127724 [startup+102.308 s] /proc/loadavg: 0.97 0.97 1.04 2/107 21851 /proc/meminfo: memFree=1491356/2059040 swapFree=4158992/4192956 [pid=21846] ppid=21844 vsize=230912 CPUtime=102.26 /proc/21846/stat : 21846 (wbo1.4b) R 21844 21846 21767 0 -1 4202496 57348 0 0 0 10036 190 0 0 25 0 1 0 15961917 236453888 57257 1992294400 134512640 135751879 4286593664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21846/statm: 57728 57257 148 303 0 57423 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 230912 [startup+162.301 s] /proc/loadavg: 0.99 0.97 1.04 2/107 21853 /proc/meminfo: memFree=1394264/2059040 swapFree=4158992/4192956 [pid=21846] ppid=21844 vsize=328608 CPUtime=162.23 /proc/21846/stat : 21846 (wbo1.4b) R 21844 21846 21767 0 -1 4202496 81736 0 0 0 15938 285 0 0 25 0 1 0 15961917 336494592 81645 1992294400 134512640 135751879 4286593664 18446744073709551615 134616407 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21846/statm: 82152 81645 148 303 0 81847 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 328608 Solver just ended. Dumping a history of the last processes samples [startup+166.302 s] /proc/loadavg: 0.99 0.97 1.04 2/107 21853 /proc/meminfo: memFree=1388064/2059040 swapFree=4158992/4192956 [pid=21846] ppid=21844 vsize=334240 CPUtime=166.24 /proc/21846/stat : 21846 (wbo1.4b) R 21844 21846 21767 0 -1 4202496 83162 0 0 0 16332 292 0 0 25 0 1 0 15961917 342261760 83071 1992294400 134512640 135751879 4286593664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21846/statm: 83560 83071 148 303 0 83255 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 334240 [startup+172.709 s] /proc/loadavg: 0.99 0.97 1.04 2/107 21853 /proc/meminfo: memFree=1379136/2059040 swapFree=4158992/4192956 [pid=21846] ppid=21844 vsize=343012 CPUtime=172.64 /proc/21846/stat : 21846 (wbo1.4b) R 21844 21846 21767 0 -1 4202496 85326 0 0 0 16964 300 0 0 25 0 1 0 15961917 351244288 85235 1992294400 134512640 135751879 4286593664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21846/statm: 85753 85235 148 303 0 85448 0 Current children cumulated CPU time (s) 172.64 Current children cumulated vsize (KiB) 343012 [startup+179.101 s] /proc/loadavg: 0.99 0.97 1.04 2/107 21853 /proc/meminfo: memFree=1370208/2059040 swapFree=4158992/4192956 [pid=21846] ppid=21844 vsize=353544 CPUtime=179.03 /proc/21846/stat : 21846 (wbo1.4b) R 21844 21846 21767 0 -1 4202496 87979 0 0 0 17592 311 0 0 25 0 1 0 15961917 362029056 87888 1992294400 134512640 135751879 4286593664 18446744073709551615 134649780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21846/statm: 88386 87888 148 303 0 88081 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 353544 [startup+182.302 s] /proc/loadavg: 0.99 0.97 1.04 2/107 21853 /proc/meminfo: memFree=1364256/2059040 swapFree=4158992/4192956 [pid=21846] ppid=21844 vsize=359212 CPUtime=182.23 /proc/21846/stat : 21846 (wbo1.4b) R 21844 21846 21767 0 -1 4202496 89389 0 0 0 17906 317 0 0 25 0 1 0 15961917 367833088 89298 1992294400 134512640 135751879 4286593664 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21846/statm: 89803 89298 148 303 0 89498 0 Current children cumulated CPU time (s) 182.23 Current children cumulated vsize (KiB) 359212 [startup+183.901 s] /proc/loadavg: 0.99 0.97 1.04 2/107 21853 /proc/meminfo: memFree=1360660/2059040 swapFree=4158992/4192956 [pid=21846] ppid=21844 vsize=361280 CPUtime=183.83 /proc/21846/stat : 21846 (wbo1.4b) R 21844 21846 21767 0 -1 4202496 89901 0 0 0 18064 319 0 0 25 0 1 0 15961917 369950720 89810 1992294400 134512640 135751879 4286593664 18446744073709551615 135200219 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21846/statm: 90320 89810 149 303 0 90015 0 Current children cumulated CPU time (s) 183.83 Current children cumulated vsize (KiB) 361280 [startup+184.301 s] /proc/loadavg: 0.99 0.97 1.04 2/107 21853 /proc/meminfo: memFree=1360660/2059040 swapFree=4158992/4192956 [pid=21846] ppid=21844 vsize=361116 CPUtime=184.23 /proc/21846/stat : 21846 (wbo1.4b) R 21844 21846 21767 0 -1 4202496 89902 0 0 0 18104 319 0 0 25 0 1 0 15961917 369782784 89779 1992294400 134512640 135751879 4286593664 18446744073709551615 135204385 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21846/statm: 90279 89779 150 303 0 89974 0 Current children cumulated CPU time (s) 184.23 Current children cumulated vsize (KiB) 361116 [startup+184.501 s] /proc/loadavg: 0.99 0.97 1.04 2/107 21853 /proc/meminfo: memFree=1360660/2059040 swapFree=4158992/4192956 [pid=21846] ppid=21844 vsize=361116 CPUtime=184.43 /proc/21846/stat : 21846 (wbo1.4b) R 21844 21846 21767 0 -1 4202496 89905 0 0 0 18124 319 0 0 25 0 1 0 15961917 369782784 89782 1992294400 134512640 135751879 4286593664 18446744073709551615 135220953 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21846/statm: 90279 89782 151 303 0 89974 0 Current children cumulated CPU time (s) 184.43 Current children cumulated vsize (KiB) 361116 [startup+184.601 s] /proc/loadavg: 0.99 0.97 1.04 2/107 21853 /proc/meminfo: memFree=1360660/2059040 swapFree=4158992/4192956 [pid=21846] ppid=21844 vsize=0 CPUtime=184.52 /proc/21846/stat : 21846 (wbo1.4b) R 21844 21846 21767 0 -1 4202500 89911 0 0 0 18133 319 0 0 25 0 1 0 15961917 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/21846/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 184.52 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 184.635 CPU time (s): 184.57 CPU user time (s): 181.338 CPU system time (s): 3.23151 CPU usage (%): 99.9649 Max. virtual memory (cumulated for all children) (KiB): 361280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 181.338 system time used= 3.23151 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 89911 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= 3 involuntary context switches= 635 runsolver used 0.278957 second user time and 0.91786 second system time The end
Begin job on node006 at 2010-06-13 06:33:03 IDJOB=2656108 IDBENCH=2020 IDSOLVER=1161 FILE ID=node006/2656108-1276403582 PBS_JOBID= 11173276 Free space on /tmp= 62472 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cmb.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656108-1276403582/watcher-2656108-1276403582 -o /tmp/evaluation-result-2656108-1276403582/solver-2656108-1276403582 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656108-1276403582.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8aa1aebf70d33d96463ba96014c98682 RANDOM SEED=753584215 node006.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.204 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 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.204 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1721168 kB Buffers: 82128 kB Cached: 159632 kB SwapCached: 2232 kB Active: 132464 kB Inactive: 137476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1721168 kB SwapTotal: 4192956 kB SwapFree: 4158992 kB Dirty: 2792 kB Writeback: 16 kB AnonPages: 25888 kB Mapped: 13920 kB Slab: 46196 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182528 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62472 MiB End job on node006 at 2010-06-13 06:36:07