Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -18 | 180.981 | 181.031 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb |
MD5SUM | 7bb05c60facd55e51c4cfcaa0e217e6e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -29 |
Best CPU time to get the best result obtained on this benchmark | 1789.61 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | YES |
Number of variables | 450 |
Total number of constraints | 17831 |
Number of constraints which are clauses | 17831 |
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 | 2 |
Number of terms in the objective function | 450 |
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 | 450 |
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 | 450 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655950-1276488115.opb. 0.00/0.00 c Instance file HOME/instance-2655950-1276488115.opb 0.00/0.00 c File size is 422586 bytes. 0.05/0.05 c Highest Coefficient sum: 3 0.05/0.05 c ============================[ Problem Statistics ]============================= 0.05/0.05 c | | 0.05/0.05 c | Parsing time: 0.06 s | 0.05/0.05 c | Number Variables: 450 | 0.05/0.05 c | Number Clauses: 17831 | 0.05/0.05 c | Number Cardinality: 0 | 0.05/0.05 c | Number PB Constraints: 0 | 0.05/0.09 c ============================[ Search Statistics ]============================== 0.05/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.09 c =============================================================================== 0.05/0.09 c | 0 | 450 17831 35662 | 5943 0 nan | 0.000 % | 0.05/0.09 c =============================================================================== 0.05/0.09 c New solution: 450 0.05/0.09 o 450 0.05/0.09 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s 0.05/0.09 c =============================================================================== 0.05/0.09 c | 0 | 450 17832 36112 | 5944 0 nan | 0.000 % | 0.05/0.09 c =============================================================================== 0.05/0.09 c New solution: 449 0.05/0.09 o 449 0.05/0.09 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s 0.05/0.09 c =============================================================================== 0.05/0.09 c | 0 | 450 17833 36562 | 5944 0 nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 448 0.09/0.10 o 448 0.09/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 9 | 450 17834 37012 | 5944 9 444 | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 447 0.09/0.11 o 447 0.09/0.11 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 96 | 450 17835 37462 | 5945 96 443 | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: 446 0.09/0.13 o 446 0.09/0.13 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 165 | 450 17836 37912 | 5945 165 443 | 0.000 % | 0.09/0.14 c | 266 | 450 17836 37912 | 6539 266 442 | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: 445 0.09/0.15 o 445 0.09/0.15 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 292 | 450 17837 38362 | 5945 292 442 | 0.000 % | 0.09/0.16 c | 392 | 450 17837 38362 | 6540 392 442 | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: 444 0.09/0.17 o 444 0.09/0.17 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 403 | 450 17838 38812 | 5946 403 442 | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: 443 0.09/0.18 o 443 0.09/0.18 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 466 | 450 17839 39262 | 5946 466 442 | 0.000 % | 0.19/0.20 c | 566 | 450 17839 39262 | 6540 566 441 | 0.000 % | 0.19/0.22 c | 717 | 450 17839 39262 | 7195 717 441 | 0.000 % | 0.19/0.28 c | 948 | 450 17839 39262 | 7914 948 441 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: 442 0.19/0.29 o 442 0.19/0.29 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 991 | 450 17840 39712 | 5946 991 441 | 0.000 % | 0.29/0.32 c | 1093 | 450 17840 39712 | 6541 1093 440 | 0.000 % | 0.29/0.36 c | 1243 | 450 17840 39712 | 7195 1243 440 | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c New solution: 441 0.39/0.41 o 441 0.39/0.41 c Elapsed CPU time: 0.401938 s Remaining CPU time: 179.598 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 1457 | 450 17841 40162 | 5947 1457 440 | 0.000 % | 0.39/0.44 c | 1557 | 450 17841 40162 | 6541 1557 440 | 0.000 % | 0.39/0.48 c | 1708 | 450 17841 40162 | 7195 1708 440 | 0.000 % | 0.49/0.55 c | 1934 | 450 17841 40162 | 7915 1934 439 | 0.000 % | 0.59/0.64 c | 2272 | 450 17841 40162 | 8707 2272 439 | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c New solution: 440 0.69/0.71 o 440 0.69/0.71 c Elapsed CPU time: 0.698893 s Remaining CPU time: 179.301 s 0.69/0.71 c =============================================================================== 0.69/0.71 c | 2459 | 450 17842 40612 | 5947 2459 439 | 0.000 % | 0.69/0.75 c | 2560 | 450 17842 40612 | 6542 2560 439 | 0.000 % | 0.79/0.80 c | 2711 | 450 17842 40612 | 7196 2711 439 | 0.000 % | 0.89/0.90 c | 2936 | 450 17842 40612 | 7915 2936 439 | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.93 c New solution: 439 0.89/0.93 o 439 0.89/0.93 c Elapsed CPU time: 0.91886 s Remaining CPU time: 179.081 s 0.89/0.93 c =============================================================================== 0.89/0.93 c | 2979 | 450 17843 41062 | 5947 2979 439 | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c New solution: 438 0.89/0.98 o 438 0.89/0.98 c Elapsed CPU time: 0.961853 s Remaining CPU time: 179.038 s 0.89/0.98 c =============================================================================== 0.89/0.98 c | 3057 | 450 17844 41512 | 5948 3057 439 | 0.000 % | 0.99/1.03 c | 3159 | 450 17844 41512 | 6542 3159 438 | 0.000 % | 1.09/1.12 c | 3312 | 450 17844 41512 | 7197 3312 438 | 0.000 % | 1.19/1.22 c | 3538 | 450 17844 41512 | 7916 3538 438 | 0.000 % | 1.29/1.39 c | 3877 | 450 17844 41512 | 8708 3877 438 | 0.000 % | 1.39/1.50 c =============================================================================== 1.39/1.50 c New solution: 437 1.39/1.50 o 437 1.39/1.50 c Elapsed CPU time: 1.47677 s Remaining CPU time: 178.523 s 1.39/1.50 c =============================================================================== 1.39/1.50 c | 4064 | 450 17845 41962 | 5948 4064 438 | 0.000 % | 1.49/1.55 c | 4165 | 450 17845 41962 | 6543 4165 438 | 0.000 % | 1.59/1.61 c | 4316 | 450 17845 41962 | 7197 4316 437 | 0.000 % | 1.59/1.69 c | 4542 | 450 17845 41962 | 7917 4542 437 | 0.000 % | 1.89/1.91 c | 4880 | 450 17845 41962 | 8708 4880 437 | 0.000 % | 2.09/2.15 c | 5387 | 450 17845 41962 | 9579 5387 437 | 0.000 % | 2.69/2.76 c | 6146 | 450 17845 41962 | 10537 6146 436 | 0.000 % | 2.89/2.93 c =============================================================================== 2.89/2.93 c New solution: 436 2.89/2.93 o 436 2.89/2.93 c Elapsed CPU time: 2.90456 s Remaining CPU time: 177.095 s 2.89/2.93 c =============================================================================== 2.89/2.93 c | 6357 | 450 17846 42412 | 5948 6357 436 | 0.000 % | 2.99/3.01 c | 6457 | 450 17846 42412 | 6543 3279 434 | 0.000 % | 2.99/3.07 c | 6608 | 450 17846 42412 | 7197 3430 434 | 0.000 % | 3.09/3.19 c | 6833 | 450 17846 42412 | 7917 3655 434 | 0.000 % | 3.30/3.34 c | 7173 | 450 17846 42412 | 8709 3995 433 | 0.000 % | 3.59/3.66 c | 7684 | 450 17846 42412 | 9580 4506 433 | 0.000 % | 3.99/4.08 c =============================================================================== 3.99/4.08 c New solution: 435 3.99/4.08 o 435 3.99/4.08 c Elapsed CPU time: 4.04338 s Remaining CPU time: 175.957 s 3.99/4.08 c =============================================================================== 3.99/4.08 c | 8329 | 450 17847 42862 | 5949 5151 433 | 0.000 % | 4.09/4.12 c | 8432 | 450 17847 42862 | 6543 5254 433 | 0.000 % | 4.09/4.17 c | 8585 | 450 17847 42862 | 7198 5407 433 | 0.000 % | 4.19/4.28 c | 8812 | 450 17847 42862 | 7918 5634 433 | 0.000 % | 4.49/4.59 c | 9151 | 450 17847 42862 | 8709 5973 433 | 0.000 % | 4.79/4.87 c | 9659 | 450 17847 42862 | 9580 6481 433 | 0.000 % | 5.09/5.12 c =============================================================================== 5.09/5.12 c New solution: 434 5.09/5.12 o 434 5.09/5.12 c Elapsed CPU time: 5.07323 s Remaining CPU time: 174.927 s 5.09/5.12 c =============================================================================== 5.09/5.12 c | 10205 | 450 17848 43312 | 5949 7027 433 | 0.000 % | 5.19/5.22 c | 10306 | 450 17848 43312 | 6544 3615 431 | 0.000 % | 5.19/5.28 c | 10456 | 450 17848 43312 | 7198 3765 431 | 0.000 % | 5.40/5.40 c | 10683 | 450 17848 43312 | 7918 3992 431 | 0.000 % | 5.59/5.60 c | 11020 | 450 17848 43312 | 8710 4329 431 | 0.000 % | 5.79/5.83 c | 11527 | 450 17848 43312 | 9581 4836 431 | 0.000 % | 6.09/6.20 c | 12288 | 450 17848 43312 | 10539 5597 431 | 0.000 % | 6.79/6.83 c | 13428 | 450 17848 43312 | 11593 6737 431 | 0.000 % | 7.79/7.81 c =============================================================================== 7.79/7.81 c New solution: 433 7.79/7.81 o 433 7.79/7.81 c Elapsed CPU time: 7.73882 s Remaining CPU time: 172.261 s 7.79/7.81 c =============================================================================== 7.79/7.81 c | 14583 | 450 17849 43762 | 5949 7892 431 | 0.000 % | 7.89/7.91 c | 14683 | 450 17849 43762 | 6544 4046 430 | 0.000 % | 7.89/7.97 c | 14834 | 450 17849 43762 | 7199 4197 430 | 0.000 % | 8.09/8.13 c | 15060 | 450 17849 43762 | 7919 4423 430 | 0.000 % | 8.29/8.31 c | 15397 | 450 17849 43762 | 8710 4760 430 | 0.000 % | 8.59/8.64 c | 15903 | 450 17849 43762 | 9581 5266 430 | 0.000 % | 8.98/9.09 c | 16665 | 450 17849 43762 | 10540 6028 430 | 0.000 % | 10.09/10.10 c | 17806 | 450 17849 43762 | 11594 7169 430 | 0.000 % | 11.88/11.98 c | 19516 | 450 17849 43762 | 12753 8879 430 | 0.000 % | 14.09/14.14 c | 22079 | 450 17849 43762 | 14029 11442 430 | 0.000 % | 18.18/18.24 c | 25925 | 450 17849 43762 | 15431 8056 430 | 0.000 % | 23.38/23.43 c | 31691 | 450 17849 43762 | 16975 13822 430 | 0.000 % | 40.98/41.07 c | 40341 | 450 17849 43762 | 18672 13774 430 | 0.000 % | 62.27/62.39 c | 53316 | 450 17849 43762 | 20539 17195 430 | 0.000 % | 95.67/95.73 c =============================================================================== 95.67/95.73 c New solution: 432 95.67/95.73 o 432 95.67/95.73 c Elapsed CPU time: 95.3275 s Remaining CPU time: 84.6725 s 95.67/95.73 c =============================================================================== 95.67/95.73 c | 68551 | 450 17850 44212 | 5950 11463 430 | 0.000 % | 95.77/95.87 c | 68652 | 450 17850 44212 | 6545 5833 430 | 0.000 % | 95.86/95.92 c | 68802 | 450 17850 44212 | 7199 5983 430 | 0.000 % | 96.06/96.10 c | 69027 | 450 17850 44212 | 7919 6208 430 | 0.000 % | 96.67/96.75 c | 69366 | 450 17850 44212 | 8711 6547 430 | 0.000 % | 97.56/97.66 c | 69873 | 450 17850 44212 | 9582 7054 430 | 0.000 % | 98.77/98.86 c | 70633 | 450 17850 44212 | 10540 7814 430 | 0.000 % | 102.06/102.14 c | 71773 | 450 17850 44212 | 11594 8954 430 | 0.000 % | 102.76/102.89 c | 73482 | 450 17850 44212 | 12754 10663 429 | 0.000 % | 106.76/106.84 c | 76046 | 450 17850 44212 | 14029 6637 429 | 0.000 % | 110.16/110.21 c | 79893 | 450 17850 44212 | 15432 10484 429 | 0.000 % | 117.76/117.90 c | 85660 | 450 17850 44212 | 16976 8319 428 | 0.000 % | 128.05/128.12 c | 94311 | 450 17850 44212 | 18673 16970 428 | 0.000 % | 144.75/144.84 c | 107287 | 450 17850 44212 | 20541 10850 428 | 0.000 % | 168.45/168.58 c | 126748 | 450 17850 44212 | 22595 19826 428 | 0.000 % | 180.74/180.85 c There are 0 assigned variables. 0 in cost function. 180.94/181.00 c core #1 180.94/181.00 c #cores: 1 180.94/181.00 c Final Weight: 432 180.94/181.00 o 432 180.94/181.00 s OPTIMUM FOUND 180.94/181.00 v -x450 -x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 180.94/181.00 c Total CPU time: 180.154 s
OK -18
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655950-1276488115/watcher-2655950-1276488115 -o /tmp/evaluation-result-2655950-1276488115/solver-2655950-1276488115 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655950-1276488115.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.92 0.98 0.99 3/106 28757 /proc/meminfo: memFree=1822796/2059040 swapFree=4140108/4192956 [pid=28757] ppid=28755 vsize=2992 CPUtime=0 /proc/28757/stat : 28757 (wbo1.4b) R 28755 28757 27567 0 -1 4202496 301 0 0 0 0 0 0 0 17 0 1 0 24415127 3063808 219 1992294400 134512640 135751879 4293901296 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28757/statm: 748 220 146 303 0 339 0 [startup+0.051393 s] /proc/loadavg: 0.92 0.98 0.99 3/106 28757 /proc/meminfo: memFree=1822796/2059040 swapFree=4140108/4192956 [pid=28757] ppid=28755 vsize=3684 CPUtime=0.05 /proc/28757/stat : 28757 (wbo1.4b) R 28755 28757 27567 0 -1 4202496 539 0 0 0 5 0 0 0 17 0 1 0 24415127 3772416 457 1992294400 134512640 135751879 4293901296 18446744073709551615 135225251 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28757/statm: 921 457 224 303 0 512 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3684 [startup+0.101398 s] /proc/loadavg: 0.92 0.98 0.99 3/106 28757 /proc/meminfo: memFree=1822796/2059040 swapFree=4140108/4192956 [pid=28757] ppid=28755 vsize=4588 CPUtime=0.09 /proc/28757/stat : 28757 (wbo1.4b) R 28755 28757 27567 0 -1 4202496 902 0 0 0 9 0 0 0 17 0 1 0 24415127 4698112 716 1992294400 134512640 135751879 4293901296 18446744073709551615 134598808 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28757/statm: 1147 716 146 303 0 842 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4588 [startup+0.300421 s] /proc/loadavg: 0.92 0.98 0.99 3/106 28757 /proc/meminfo: memFree=1822796/2059040 swapFree=4140108/4192956 [pid=28757] ppid=28755 vsize=5492 CPUtime=0.29 /proc/28757/stat : 28757 (wbo1.4b) R 28755 28757 27567 0 -1 4202496 1111 0 0 0 29 0 0 0 17 0 1 0 24415127 5623808 925 1992294400 134512640 135751879 4293901296 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28757/statm: 1373 925 147 303 0 1068 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5492 [startup+0.700467 s] /proc/loadavg: 0.92 0.98 0.99 3/106 28757 /proc/meminfo: memFree=1822796/2059040 swapFree=4140108/4192956 [pid=28757] ppid=28755 vsize=8068 CPUtime=0.69 /proc/28757/stat : 28757 (wbo1.4b) R 28755 28757 27567 0 -1 4202496 1769 0 0 0 68 1 0 0 17 0 1 0 24415127 8261632 1583 1992294400 134512640 135751879 4293901296 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28757/statm: 2017 1583 147 303 0 1712 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8068 [startup+1.50056 s] /proc/loadavg: 0.92 0.98 0.99 2/107 28758 /proc/meminfo: memFree=1815720/2059040 swapFree=4140108/4192956 [pid=28757] ppid=28755 vsize=11152 CPUtime=1.49 /proc/28757/stat : 28757 (wbo1.4b) R 28755 28757 27567 0 -1 4202496 2547 0 0 0 147 2 0 0 18 0 1 0 24415127 11419648 2361 1992294400 134512640 135751879 4293901296 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28757/statm: 2788 2361 147 303 0 2483 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11152 [startup+3.10074 s] /proc/loadavg: 0.92 0.98 0.99 2/107 28758 /proc/meminfo: memFree=1811380/2059040 swapFree=4140108/4192956 [pid=28757] ppid=28755 vsize=15964 CPUtime=3.09 /proc/28757/stat : 28757 (wbo1.4b) R 28755 28757 27567 0 -1 4202496 3744 0 0 0 306 3 0 0 21 0 1 0 24415127 16347136 3558 1992294400 134512640 135751879 4293901296 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28757/statm: 3991 3558 148 303 0 3686 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15964 [startup+6.30112 s] /proc/loadavg: 0.93 0.98 0.99 2/107 28758 /proc/meminfo: memFree=1801336/2059040 swapFree=4140108/4192956 [pid=28757] ppid=28755 vsize=26628 CPUtime=6.29 /proc/28757/stat : 28757 (wbo1.4b) R 28755 28757 27567 0 -1 4202496 6402 0 0 0 623 6 0 0 25 0 1 0 24415127 27267072 6216 1992294400 134512640 135751879 4293901296 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28757/statm: 6657 6216 148 303 0 6352 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26628 [startup+12.7009 s] /proc/loadavg: 0.93 0.98 0.99 2/107 28760 /proc/meminfo: memFree=1785092/2059040 swapFree=4140108/4192956 [pid=28757] ppid=28755 vsize=40608 CPUtime=12.69 /proc/28757/stat : 28757 (wbo1.4b) R 28755 28757 27567 0 -1 4202496 9897 0 0 0 1259 10 0 0 25 0 1 0 24415127 41582592 9711 1992294400 134512640 135751879 4293901296 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28757/statm: 10152 9711 148 303 0 9847 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40608 [startup+25.5003 s] /proc/loadavg: 0.95 0.98 0.99 2/107 28760 /proc/meminfo: memFree=1761780/2059040 swapFree=4140108/4192956 [pid=28757] ppid=28755 vsize=62984 CPUtime=25.48 /proc/28757/stat : 28757 (wbo1.4b) R 28755 28757 27567 0 -1 4202496 15470 0 0 0 2533 15 0 0 25 0 1 0 24415127 64495616 15284 1992294400 134512640 135751879 4293901296 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28757/statm: 15746 15284 148 303 0 15441 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 62984 [startup+51.1003 s] /proc/loadavg: 0.96 0.98 0.99 2/107 28760 /proc/meminfo: memFree=1741320/2059040 swapFree=4140108/4192956 [pid=28757] ppid=28755 vsize=83432 CPUtime=51.08 /proc/28757/stat : 28757 (wbo1.4b) R 28755 28757 27567 0 -1 4202496 20601 0 0 0 5084 24 0 0 25 0 1 0 24415127 85434368 20415 1992294400 134512640 135751879 4293901296 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28757/statm: 20858 20415 148 303 0 20553 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 83432 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 28762 /proc/meminfo: memFree=1690604/2059040 swapFree=4140108/4192956 [pid=28757] ppid=28755 vsize=134080 CPUtime=102.27 /proc/28757/stat : 28757 (wbo1.4b) R 28755 28757 27567 0 -1 4202496 33202 0 0 0 10187 40 0 0 25 0 1 0 24415127 137297920 33016 1992294400 134512640 135751879 4293901296 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28757/statm: 33520 33016 148 303 0 33215 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 134080 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 3/107 28764 /proc/meminfo: memFree=1598224/2059040 swapFree=4140108/4192956 [pid=28757] ppid=28755 vsize=226628 CPUtime=162.24 /proc/28757/stat : 28757 (wbo1.4b) R 28755 28757 27567 0 -1 4202496 56308 0 0 0 16155 69 0 0 25 0 1 0 24415127 232067072 56122 1992294400 134512640 135751879 4293901296 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28757/statm: 56657 56122 148 303 0 56352 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 226628 Solver just ended. Dumping a history of the last processes samples [startup+166.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28764 /proc/meminfo: memFree=1594504/2059040 swapFree=4140108/4192956 [pid=28757] ppid=28755 vsize=230212 CPUtime=166.25 /proc/28757/stat : 28757 (wbo1.4b) R 28755 28757 27567 0 -1 4202496 57192 0 0 0 16554 71 0 0 25 0 1 0 24415127 235737088 57006 1992294400 134512640 135751879 4293901296 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28757/statm: 57553 57006 148 303 0 57248 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 230212 [startup+172.708 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28764 /proc/meminfo: memFree=1583964/2059040 swapFree=4140108/4192956 [pid=28757] ppid=28755 vsize=240708 CPUtime=172.65 /proc/28757/stat : 28757 (wbo1.4b) R 28755 28757 27567 0 -1 4202496 59800 0 0 0 17191 74 0 0 25 0 1 0 24415127 246484992 59614 1992294400 134512640 135751879 4293901296 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28757/statm: 60177 59614 148 303 0 59872 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 240708 [startup+175.902 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28764 /proc/meminfo: memFree=1578632/2059040 swapFree=4140108/4192956 [pid=28757] ppid=28755 vsize=245592 CPUtime=175.85 /proc/28757/stat : 28757 (wbo1.4b) R 28755 28757 27567 0 -1 4202496 61040 0 0 0 17509 76 0 0 25 0 1 0 24415127 251486208 60854 1992294400 134512640 135751879 4293901296 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28757/statm: 61398 60854 148 303 0 61093 0 Current children cumulated CPU time (s) 175.85 Current children cumulated vsize (KiB) 245592 [startup+179.101 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28764 /proc/meminfo: memFree=1575780/2059040 swapFree=4140108/4192956 [pid=28757] ppid=28755 vsize=252160 CPUtime=179.04 /proc/28757/stat : 28757 (wbo1.4b) R 28755 28757 27567 0 -1 4202496 62666 0 0 0 17826 78 0 0 25 0 1 0 24415127 258211840 62480 1992294400 134512640 135751879 4293901296 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28757/statm: 63040 62480 148 303 0 62735 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 252160 [startup+179.901 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28764 /proc/meminfo: memFree=1571812/2059040 swapFree=4140108/4192956 [pid=28757] ppid=28755 vsize=254208 CPUtime=179.84 /proc/28757/stat : 28757 (wbo1.4b) R 28755 28757 27567 0 -1 4202496 63179 0 0 0 17905 79 0 0 25 0 1 0 24415127 260308992 62993 1992294400 134512640 135751879 4293901296 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28757/statm: 63552 62993 148 303 0 63247 0 Current children cumulated CPU time (s) 179.84 Current children cumulated vsize (KiB) 254208 [startup+180.701 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28764 /proc/meminfo: memFree=1569208/2059040 swapFree=4140108/4192956 [pid=28757] ppid=28755 vsize=255360 CPUtime=180.64 /proc/28757/stat : 28757 (wbo1.4b) R 28755 28757 27567 0 -1 4202496 63469 0 0 0 17985 79 0 0 25 0 1 0 24415127 261488640 63283 1992294400 134512640 135751879 4293901296 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28757/statm: 63840 63283 148 303 0 63535 0 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (KiB) 255360 [startup+180.901 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28764 /proc/meminfo: memFree=1569208/2059040 swapFree=4140108/4192956 [pid=28757] ppid=28755 vsize=256156 CPUtime=180.84 /proc/28757/stat : 28757 (wbo1.4b) R 28755 28757 27567 0 -1 4202496 63674 0 0 0 18005 79 0 0 25 0 1 0 24415127 262303744 63488 1992294400 134512640 135751879 4293901296 18446744073709551615 134712389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28757/statm: 64039 63488 149 303 0 63734 0 Current children cumulated CPU time (s) 180.84 Current children cumulated vsize (KiB) 256156 [startup+181.001 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28764 /proc/meminfo: memFree=1569208/2059040 swapFree=4140108/4192956 [pid=28757] ppid=28755 vsize=256156 CPUtime=180.94 /proc/28757/stat : 28757 (wbo1.4b) R 28755 28757 27567 0 -1 4202496 63674 0 0 0 18015 79 0 0 25 0 1 0 24415127 262303744 63488 1992294400 134512640 135751879 4293901296 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28757/statm: 64039 63488 149 303 0 63734 0 Current children cumulated CPU time (s) 180.94 Current children cumulated vsize (KiB) 256156 Child status: 0 Real time (s): 181.031 CPU time (s): 180.981 CPU user time (s): 180.154 CPU system time (s): 0.827874 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 256156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.154 system time used= 0.827874 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63675 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= 326 runsolver used 0.32695 second user time and 0.836872 second system time The end
Begin job on node006 at 2010-06-14 06:01:55 IDJOB=2655950 IDBENCH=2238 IDSOLVER=1161 FILE ID=node006/2655950-1276488115 PBS_JOBID= 11173379 Free space on /tmp= 62472 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655950-1276488115/watcher-2655950-1276488115 -o /tmp/evaluation-result-2655950-1276488115/solver-2655950-1276488115 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655950-1276488115.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7bb05c60facd55e51c4cfcaa0e217e6e RANDOM SEED=1733595993 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: 1823324 kB Buffers: 55764 kB Cached: 99648 kB SwapCached: 6484 kB Active: 96048 kB Inactive: 73040 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1823324 kB SwapTotal: 4192956 kB SwapFree: 4140108 kB Dirty: 3168 kB Writeback: 0 kB AnonPages: 11872 kB Mapped: 12920 kB Slab: 44904 kB PageTables: 3968 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182672 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-14 06:04:56