Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -17 | 180.966 | 181.041 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb |
MD5SUM | 5909a36352b34473abff2d7e1fe31c04 |
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.47 |
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 | 17874 |
Number of constraints which are clauses | 17874 |
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-2656004-1276487532.opb. 0.00/0.00 c Instance file HOME/instance-2656004-1276487532.opb 0.00/0.00 c File size is 424375 bytes. 0.01/0.06 c Highest Coefficient sum: 3 0.01/0.06 c ============================[ Problem Statistics ]============================= 0.01/0.06 c | | 0.01/0.06 c | Parsing time: 0.06 s | 0.01/0.06 c | Number Variables: 450 | 0.01/0.06 c | Number Clauses: 17874 | 0.01/0.06 c | Number Cardinality: 0 | 0.01/0.06 c | Number PB Constraints: 0 | 0.01/0.09 c ============================[ Search Statistics ]============================== 0.01/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.09 c =============================================================================== 0.01/0.09 c | 0 | 450 17874 35748 | 5958 0 nan | 0.000 % | 0.01/0.09 c =============================================================================== 0.01/0.09 c New solution: 450 0.01/0.09 o 450 0.01/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s 0.01/0.09 c =============================================================================== 0.01/0.09 c | 0 | 450 17875 36198 | 5958 0 nan | 0.000 % | 0.01/0.10 c =============================================================================== 0.01/0.10 c New solution: 449 0.01/0.10 o 449 0.01/0.10 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s 0.01/0.10 c =============================================================================== 0.01/0.10 c | 0 | 450 17876 36648 | 5958 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.095985 s Remaining CPU time: 179.904 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 9 | 450 17877 37098 | 5959 9 444 | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 447 0.09/0.12 o 447 0.09/0.12 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 96 | 450 17878 37548 | 5959 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.12698 s Remaining CPU time: 179.873 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 175 | 450 17879 37998 | 5959 175 443 | 0.000 % | 0.09/0.15 c | 278 | 450 17879 37998 | 6555 278 443 | 0.000 % | 0.09/0.17 c | 432 | 450 17879 37998 | 7211 432 442 | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: 445 0.09/0.18 o 445 0.09/0.18 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 502 | 450 17880 38448 | 5960 502 442 | 0.000 % | 0.19/0.21 c | 602 | 450 17880 38448 | 6556 602 442 | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 444 0.19/0.23 o 444 0.19/0.23 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 720 | 450 17881 38898 | 5960 720 442 | 0.000 % | 0.19/0.26 c | 821 | 450 17881 38898 | 6556 821 442 | 0.000 % | 0.19/0.29 c | 972 | 450 17881 38898 | 7212 972 441 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: 443 0.19/0.29 o 443 0.19/0.29 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 978 | 450 17882 39348 | 5960 978 441 | 0.000 % | 0.29/0.32 c | 1079 | 450 17882 39348 | 6556 1079 441 | 0.000 % | 0.29/0.35 c | 1232 | 450 17882 39348 | 7212 1232 441 | 0.000 % | 0.39/0.41 c | 1457 | 450 17882 39348 | 7933 1457 441 | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c New solution: 442 0.39/0.44 o 442 0.39/0.44 c Elapsed CPU time: 0.429934 s Remaining CPU time: 179.57 s 0.39/0.44 c =============================================================================== 0.39/0.44 c | 1577 | 450 17883 39798 | 5961 1577 441 | 0.000 % | 0.39/0.48 c | 1681 | 450 17883 39798 | 6557 1681 440 | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c New solution: 441 0.49/0.53 o 441 0.49/0.53 c Elapsed CPU time: 0.516921 s Remaining CPU time: 179.483 s 0.49/0.53 c =============================================================================== 0.49/0.53 c | 1819 | 450 17884 40248 | 5961 1819 440 | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c New solution: 440 0.49/0.55 o 440 0.49/0.55 c Elapsed CPU time: 0.534918 s Remaining CPU time: 179.465 s 0.49/0.55 c =============================================================================== 0.49/0.55 c | 1867 | 450 17885 40698 | 5961 1867 440 | 0.000 % | 0.49/0.58 c | 1968 | 450 17885 40698 | 6557 1968 440 | 0.000 % | 0.58/0.64 c | 2119 | 450 17885 40698 | 7213 2119 440 | 0.000 % | 0.69/0.74 c | 2345 | 450 17885 40698 | 7934 2345 439 | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c New solution: 439 0.79/0.83 o 439 0.79/0.83 c Elapsed CPU time: 0.807877 s Remaining CPU time: 179.192 s 0.79/0.83 c =============================================================================== 0.79/0.83 c | 2572 | 450 17886 41148 | 5962 2572 439 | 0.000 % | 0.79/0.87 c | 2674 | 450 17886 41148 | 6558 2674 439 | 0.000 % | 0.89/0.91 c | 2825 | 450 17886 41148 | 7214 2825 439 | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c New solution: 438 0.89/0.92 o 438 0.89/0.92 c Elapsed CPU time: 0.902862 s Remaining CPU time: 179.097 s 0.89/0.92 c =============================================================================== 0.89/0.92 c | 2831 | 450 17887 41598 | 5962 2831 439 | 0.000 % | 0.89/0.97 c | 2931 | 450 17887 41598 | 6558 2931 439 | 0.000 % | 1.00/1.03 c | 3081 | 450 17887 41598 | 7214 3081 438 | 0.000 % | 1.10/1.14 c | 3306 | 450 17887 41598 | 7935 3306 438 | 0.000 % | 1.19/1.30 c | 3643 | 450 17887 41598 | 8729 3643 438 | 0.000 % | 1.49/1.59 c | 4149 | 450 17887 41598 | 9602 4149 437 | 0.000 % | 1.79/1.82 c =============================================================================== 1.79/1.82 c New solution: 437 1.79/1.82 o 437 1.79/1.82 c Elapsed CPU time: 1.78873 s Remaining CPU time: 178.211 s 1.79/1.82 c =============================================================================== 1.79/1.82 c | 4573 | 450 17888 42048 | 5962 4573 437 | 0.000 % | 1.79/1.86 c | 4675 | 450 17888 42048 | 6558 4675 437 | 0.000 % | 1.89/1.91 c | 4826 | 450 17888 42048 | 7214 4826 437 | 0.000 % | 1.89/1.99 c | 5052 | 450 17888 42048 | 7936 5052 437 | 0.000 % | 2.10/2.19 c | 5389 | 450 17888 42048 | 8729 5389 437 | 0.000 % | 2.49/2.53 c | 5895 | 450 17888 42048 | 9602 5895 436 | 0.000 % | 2.49/2.60 c =============================================================================== 2.49/2.60 c New solution: 436 2.49/2.60 o 436 2.49/2.60 c Elapsed CPU time: 2.55361 s Remaining CPU time: 177.446 s 2.49/2.60 c =============================================================================== 2.49/2.60 c | 6003 | 450 17889 42498 | 5963 6003 436 | 0.000 % | 2.59/2.66 c | 6103 | 450 17889 42498 | 6559 3102 434 | 0.000 % | 2.69/2.71 c | 6253 | 450 17889 42498 | 7215 3252 434 | 0.000 % | 2.79/2.82 c | 6480 | 450 17889 42498 | 7936 3479 434 | 0.000 % | 2.89/2.93 c | 6817 | 450 17889 42498 | 8730 3816 434 | 0.000 % | 3.30/3.31 c | 7324 | 450 17889 42498 | 9603 4323 434 | 0.000 % | 3.79/3.82 c | 8084 | 450 17889 42498 | 10563 5083 433 | 0.000 % | 4.69/4.78 c | 9225 | 450 17889 42498 | 11620 6224 433 | 0.000 % | 6.68/6.72 c | 10937 | 450 17889 42498 | 12782 7936 433 | 0.000 % | 10.49/10.51 c | 13505 | 450 17889 42498 | 14060 10504 433 | 0.000 % | 16.88/16.97 c | 17350 | 450 17889 42498 | 15466 14349 433 | 0.000 % | 24.48/24.59 c | 23118 | 450 17889 42498 | 17013 12167 433 | 0.000 % | 28.78/28.87 c =============================================================================== 28.78/28.87 c New solution: 435 28.78/28.87 o 435 28.78/28.87 c Elapsed CPU time: 28.6676 s Remaining CPU time: 151.332 s 28.78/28.87 c =============================================================================== 28.78/28.87 c | 27163 | 450 17890 42948 | 5963 16212 433 | 0.000 % | 29.18/29.23 c | 27263 | 450 17890 42948 | 6559 4153 433 | 0.000 % | 29.28/29.40 c | 27414 | 450 17890 42948 | 7215 4304 433 | 0.000 % | 29.48/29.56 c | 27639 | 450 17890 42948 | 7937 4529 433 | 0.000 % | 29.78/29.81 c =============================================================================== 29.78/29.81 c New solution: 434 29.78/29.81 o 434 29.78/29.81 c Elapsed CPU time: 29.5945 s Remaining CPU time: 150.405 s 29.78/29.81 c =============================================================================== 29.78/29.81 c | 27912 | 450 17891 43398 | 5963 4802 433 | 0.000 % | 29.88/29.90 c | 28016 | 450 17891 43398 | 6560 4906 433 | 0.000 % | 29.98/30.03 c | 28167 | 450 17891 43398 | 7216 5057 433 | 0.000 % | 30.18/30.20 c | 28395 | 450 17891 43398 | 7937 5285 432 | 0.000 % | 30.48/30.53 c | 28732 | 450 17891 43398 | 8731 5622 432 | 0.000 % | 30.98/31.08 c | 29241 | 450 17891 43398 | 9604 6131 432 | 0.000 % | 31.78/31.82 c | 30002 | 450 17891 43398 | 10564 6892 432 | 0.000 % | 32.89/32.91 c | 31143 | 450 17891 43398 | 11621 8033 432 | 0.000 % | 34.88/34.92 c | 32853 | 450 17891 43398 | 12783 9743 432 | 0.000 % | 38.68/38.79 c | 35417 | 450 17891 43398 | 14062 12307 431 | 0.000 % | 42.27/42.31 c | 39261 | 450 17891 43398 | 15468 8902 431 | 0.000 % | 52.77/52.85 c | 45027 | 450 17891 43398 | 17015 14668 430 | 0.000 % | 64.97/65.06 c | 53678 | 450 17891 43398 | 18716 14596 430 | 0.000 % | 71.66/71.79 c =============================================================================== 71.66/71.79 c New solution: 433 71.66/71.79 o 433 71.66/71.79 c Elapsed CPU time: 71.3761 s Remaining CPU time: 108.624 s 71.66/71.79 c =============================================================================== 71.66/71.79 c | 58007 | 450 17892 43848 | 5964 18925 430 | 0.000 % | 72.16/72.22 c | 58113 | 450 17892 43848 | 6560 4838 431 | 0.000 % | 72.26/72.33 c | 58266 | 450 17892 43848 | 7216 4991 430 | 0.000 % | 72.36/72.47 c | 58491 | 450 17892 43848 | 7938 5216 430 | 0.000 % | 72.66/72.74 c | 58828 | 450 17892 43848 | 8731 5553 430 | 0.000 % | 73.16/73.20 c | 59336 | 450 17892 43848 | 9605 6061 430 | 0.000 % | 74.06/74.11 c | 60095 | 450 17892 43848 | 10565 6820 430 | 0.000 % | 75.16/75.27 c | 61235 | 450 17892 43848 | 11622 7960 430 | 0.000 % | 77.06/77.10 c | 62947 | 450 17892 43848 | 12784 9672 430 | 0.000 % | 79.86/79.91 c | 65509 | 450 17892 43848 | 14062 12234 430 | 0.000 % | 85.16/85.25 c | 69354 | 450 17892 43848 | 15469 8834 429 | 0.000 % | 90.85/90.93 c | 75121 | 450 17892 43848 | 17015 14601 429 | 0.000 % | 101.95/102.02 c | 83772 | 450 17892 43848 | 18717 14531 430 | 0.000 % | 122.94/123.08 c | 96748 | 450 17892 43848 | 20589 17935 430 | 0.000 % | 145.73/145.80 c | 116209 | 450 17892 43848 | 22648 16373 430 | 0.000 % | 180.71/180.87 c There are 0 assigned variables. 0 in cost function. 180.91/181.01 c core #1 180.91/181.01 c #cores: 1 180.91/181.01 c Final Weight: 433 180.91/181.01 o 433 180.91/181.01 s OPTIMUM FOUND 180.91/181.01 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.91/181.01 c Total CPU time: 180.143 s
OK -17
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656004-1276487532/watcher-2656004-1276487532 -o /tmp/evaluation-result-2656004-1276487532/solver-2656004-1276487532 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656004-1276487532.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.23 1.24 1.10 3/106 29050 /proc/meminfo: memFree=1832028/2059040 swapFree=4140220/4192956 [pid=29050] ppid=29048 vsize=2996 CPUtime=0 /proc/29050/stat : 29050 (wbo1.4b) R 29048 29050 28769 0 -1 4202496 296 0 0 0 0 0 0 0 22 0 1 0 24354795 3067904 214 1992294400 134512640 135751879 4287196512 18446744073709551615 134564443 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29050/statm: 749 214 144 303 0 340 0 [startup+0.014215 s] /proc/loadavg: 1.23 1.24 1.10 3/106 29050 /proc/meminfo: memFree=1832028/2059040 swapFree=4140220/4192956 [pid=29050] ppid=29048 vsize=3128 CPUtime=0.01 /proc/29050/stat : 29050 (wbo1.4b) R 29048 29050 28769 0 -1 4202496 326 0 0 0 1 0 0 0 22 0 1 0 24354795 3203072 244 1992294400 134512640 135751879 4287196512 18446744073709551615 135204019 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29050/statm: 782 245 154 303 0 373 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3128 [startup+0.101234 s] /proc/loadavg: 1.23 1.24 1.10 3/106 29050 /proc/meminfo: memFree=1832028/2059040 swapFree=4140220/4192956 [pid=29050] ppid=29048 vsize=4592 CPUtime=0.09 /proc/29050/stat : 29050 (wbo1.4b) R 29048 29050 28769 0 -1 4202496 901 0 0 0 9 0 0 0 18 0 1 0 24354795 4702208 715 1992294400 134512640 135751879 4287196512 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29050/statm: 1148 715 146 303 0 843 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4592 [startup+0.301276 s] /proc/loadavg: 1.23 1.24 1.10 3/106 29050 /proc/meminfo: memFree=1832028/2059040 swapFree=4140220/4192956 [pid=29050] ppid=29048 vsize=5368 CPUtime=0.29 /proc/29050/stat : 29050 (wbo1.4b) R 29048 29050 28769 0 -1 4202496 1099 0 0 0 28 1 0 0 18 0 1 0 24354795 5496832 913 1992294400 134512640 135751879 4287196512 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29050/statm: 1342 913 147 303 0 1037 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5368 [startup+0.700362 s] /proc/loadavg: 1.23 1.24 1.10 3/106 29050 /proc/meminfo: memFree=1832028/2059040 swapFree=4140220/4192956 [pid=29050] ppid=29048 vsize=7816 CPUtime=0.69 /proc/29050/stat : 29050 (wbo1.4b) R 29048 29050 28769 0 -1 4202496 1691 0 0 0 67 2 0 0 18 0 1 0 24354795 8003584 1505 1992294400 134512640 135751879 4287196512 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29050/statm: 1954 1505 147 303 0 1649 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7816 [startup+1.50053 s] /proc/loadavg: 1.21 1.24 1.10 2/107 29053 /proc/meminfo: memFree=1824828/2059040 swapFree=4140220/4192956 [pid=29050] ppid=29048 vsize=11040 CPUtime=1.49 /proc/29050/stat : 29050 (wbo1.4b) R 29048 29050 28769 0 -1 4202496 2512 0 0 0 146 3 0 0 19 0 1 0 24354795 11304960 2326 1992294400 134512640 135751879 4287196512 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29050/statm: 2760 2326 147 303 0 2455 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11040 [startup+3.10087 s] /proc/loadavg: 1.21 1.24 1.10 2/107 29053 /proc/meminfo: memFree=1820612/2059040 swapFree=4140220/4192956 [pid=29050] ppid=29048 vsize=16680 CPUtime=3.09 /proc/29050/stat : 29050 (wbo1.4b) R 29048 29050 28769 0 -1 4202496 3906 0 0 0 305 4 0 0 23 0 1 0 24354795 17080320 3720 1992294400 134512640 135751879 4287196512 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29050/statm: 4170 3720 148 303 0 3865 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16680 [startup+6.30055 s] /proc/loadavg: 1.21 1.24 1.10 2/107 29053 /proc/meminfo: memFree=1812056/2059040 swapFree=4140220/4192956 [pid=29050] ppid=29048 vsize=22896 CPUtime=6.29 /proc/29050/stat : 29050 (wbo1.4b) R 29048 29050 28769 0 -1 4202496 5470 0 0 0 623 6 0 0 25 0 1 0 24354795 23445504 5284 1992294400 134512640 135751879 4287196512 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29050/statm: 5724 5284 148 303 0 5419 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22896 [startup+12.7009 s] /proc/loadavg: 1.18 1.23 1.10 2/107 29053 /proc/meminfo: memFree=1803996/2059040 swapFree=4140220/4192956 [pid=29050] ppid=29048 vsize=31144 CPUtime=12.68 /proc/29050/stat : 29050 (wbo1.4b) R 29048 29050 28769 0 -1 4202496 7505 0 0 0 1259 9 0 0 25 0 1 0 24354795 31891456 7319 1992294400 134512640 135751879 4287196512 18446744073709551615 134616776 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29050/statm: 7786 7319 148 303 0 7481 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 31144 [startup+25.5016 s] /proc/loadavg: 1.15 1.22 1.10 2/107 29053 /proc/meminfo: memFree=1786264/2059040 swapFree=4140220/4192956 [pid=29050] ppid=29048 vsize=48088 CPUtime=25.48 /proc/29050/stat : 29050 (wbo1.4b) R 29048 29050 28769 0 -1 4202496 11743 0 0 0 2532 16 0 0 25 0 1 0 24354795 49242112 11557 1992294400 134512640 135751879 4287196512 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29050/statm: 12022 11557 148 303 0 11717 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48088 [startup+51.1011 s] /proc/loadavg: 1.10 1.20 1.09 2/107 29053 /proc/meminfo: memFree=1750428/2059040 swapFree=4140220/4192956 [pid=29050] ppid=29048 vsize=83936 CPUtime=51.07 /proc/29050/stat : 29050 (wbo1.4b) R 29048 29050 28769 0 -1 4202496 20700 0 0 0 5078 29 0 0 25 0 1 0 24354795 85950464 20514 1992294400 134512640 135751879 4287196512 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29050/statm: 20984 20515 148 303 0 20679 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 83936 [startup+102.308 s] /proc/loadavg: 1.04 1.17 1.09 2/107 29055 /proc/meminfo: memFree=1677020/2059040 swapFree=4140220/4192956 [pid=29050] ppid=29048 vsize=156524 CPUtime=102.25 /proc/29050/stat : 29050 (wbo1.4b) R 29048 29050 28769 0 -1 4202496 38807 0 0 0 10174 51 0 0 25 0 1 0 24354795 160280576 38621 1992294400 134512640 135751879 4287196512 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29050/statm: 39131 38621 148 303 0 38826 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 156524 [startup+162.302 s] /proc/loadavg: 1.01 1.13 1.08 2/107 29057 /proc/meminfo: memFree=1610184/2059040 swapFree=4140220/4192956 [pid=29050] ppid=29048 vsize=223700 CPUtime=162.23 /proc/29050/stat : 29050 (wbo1.4b) R 29048 29050 28769 0 -1 4202496 55587 0 0 0 16147 76 0 0 25 0 1 0 24354795 229068800 55401 1992294400 134512640 135751879 4287196512 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29050/statm: 55925 55401 148 303 0 55620 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 223700 Solver just ended. Dumping a history of the last processes samples [startup+166.302 s] /proc/loadavg: 1.01 1.13 1.08 2/107 29057 /proc/meminfo: memFree=1606092/2059040 swapFree=4140220/4192956 [pid=29050] ppid=29048 vsize=227420 CPUtime=166.23 /proc/29050/stat : 29050 (wbo1.4b) R 29048 29050 28769 0 -1 4202496 56512 0 0 0 16546 77 0 0 25 0 1 0 24354795 232878080 56326 1992294400 134512640 135751879 4287196512 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29050/statm: 56855 56326 148 303 0 56550 0 Current children cumulated CPU time (s) 166.23 Current children cumulated vsize (KiB) 227420 [startup+172.709 s] /proc/loadavg: 1.01 1.13 1.08 2/107 29057 /proc/meminfo: memFree=1600140/2059040 swapFree=4140220/4192956 [pid=29050] ppid=29048 vsize=233356 CPUtime=172.62 /proc/29050/stat : 29050 (wbo1.4b) R 29048 29050 28769 0 -1 4202496 57976 0 0 0 17184 78 0 0 25 0 1 0 24354795 238956544 57790 1992294400 134512640 135751879 4287196512 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29050/statm: 58339 57790 148 303 0 58034 0 Current children cumulated CPU time (s) 172.62 Current children cumulated vsize (KiB) 233356 [startup+175.901 s] /proc/loadavg: 1.01 1.13 1.08 2/107 29057 /proc/meminfo: memFree=1598900/2059040 swapFree=4140220/4192956 [pid=29050] ppid=29048 vsize=234380 CPUtime=175.83 /proc/29050/stat : 29050 (wbo1.4b) R 29048 29050 28769 0 -1 4202496 58257 0 0 0 17504 79 0 0 25 0 1 0 24354795 240005120 58071 1992294400 134512640 135751879 4287196512 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29050/statm: 58595 58071 148 303 0 58290 0 Current children cumulated CPU time (s) 175.83 Current children cumulated vsize (KiB) 234380 [startup+179.1 s] /proc/loadavg: 1.01 1.13 1.08 2/107 29057 /proc/meminfo: memFree=1598156/2059040 swapFree=4140220/4192956 [pid=29050] ppid=29048 vsize=235540 CPUtime=179.02 /proc/29050/stat : 29050 (wbo1.4b) R 29048 29050 28769 0 -1 4202496 58527 0 0 0 17823 79 0 0 25 0 1 0 24354795 241192960 58341 1992294400 134512640 135751879 4287196512 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29050/statm: 58885 58342 148 303 0 58580 0 Current children cumulated CPU time (s) 179.02 Current children cumulated vsize (KiB) 235540 [startup+179.901 s] /proc/loadavg: 1.01 1.13 1.08 2/107 29057 /proc/meminfo: memFree=1597784/2059040 swapFree=4140220/4192956 [pid=29050] ppid=29048 vsize=235796 CPUtime=179.82 /proc/29050/stat : 29050 (wbo1.4b) R 29048 29050 28769 0 -1 4202496 58596 0 0 0 17903 79 0 0 25 0 1 0 24354795 241455104 58410 1992294400 134512640 135751879 4287196512 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29050/statm: 58949 58410 148 303 0 58644 0 Current children cumulated CPU time (s) 179.82 Current children cumulated vsize (KiB) 235796 [startup+180.701 s] /proc/loadavg: 1.01 1.13 1.08 2/107 29057 /proc/meminfo: memFree=1597412/2059040 swapFree=4140220/4192956 [pid=29050] ppid=29048 vsize=236052 CPUtime=180.61 /proc/29050/stat : 29050 (wbo1.4b) R 29048 29050 28769 0 -1 4202496 58669 0 0 0 17982 79 0 0 25 0 1 0 24354795 241717248 58483 1992294400 134512640 135751879 4287196512 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29050/statm: 59013 58483 148 303 0 58708 0 Current children cumulated CPU time (s) 180.61 Current children cumulated vsize (KiB) 236052 [startup+180.901 s] /proc/loadavg: 1.01 1.13 1.08 2/107 29057 /proc/meminfo: memFree=1597412/2059040 swapFree=4140220/4192956 [pid=29050] ppid=29048 vsize=236888 CPUtime=180.81 /proc/29050/stat : 29050 (wbo1.4b) R 29048 29050 28769 0 -1 4202496 58880 0 0 0 18002 79 0 0 25 0 1 0 24354795 242573312 58694 1992294400 134512640 135751879 4287196512 18446744073709551615 134712389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29050/statm: 59222 58694 149 303 0 58917 0 Current children cumulated CPU time (s) 180.81 Current children cumulated vsize (KiB) 236888 [startup+181.001 s] /proc/loadavg: 1.01 1.13 1.08 2/107 29057 /proc/meminfo: memFree=1597412/2059040 swapFree=4140220/4192956 [pid=29050] ppid=29048 vsize=236888 CPUtime=180.91 /proc/29050/stat : 29050 (wbo1.4b) R 29048 29050 28769 0 -1 4202496 58880 0 0 0 18012 79 0 0 25 0 1 0 24354795 242573312 58694 1992294400 134512640 135751879 4287196512 18446744073709551615 135200696 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29050/statm: 59222 58694 149 303 0 58917 0 Current children cumulated CPU time (s) 180.91 Current children cumulated vsize (KiB) 236888 Child status: 0 Real time (s): 181.041 CPU time (s): 180.966 CPU user time (s): 180.143 CPU system time (s): 0.823874 CPU usage (%): 99.9587 Max. virtual memory (cumulated for all children) (KiB): 236888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.143 system time used= 0.823874 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58881 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= 558 runsolver used 0.311952 second user time and 0.85487 second system time The end
Begin job on node010 at 2010-06-14 05:52:12 IDJOB=2656004 IDBENCH=2237 IDSOLVER=1161 FILE ID=node010/2656004-1276487532 PBS_JOBID= 11173389 Free space on /tmp= 62500 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-2.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656004-1276487532/watcher-2656004-1276487532 -o /tmp/evaluation-result-2656004-1276487532/solver-2656004-1276487532 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656004-1276487532.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5909a36352b34473abff2d7e1fe31c04 RANDOM SEED=742164287 node010.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.267 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.53 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.267 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1832308 kB Buffers: 47792 kB Cached: 100624 kB SwapCached: 5836 kB Active: 84028 kB Inactive: 76848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1832308 kB SwapTotal: 4192956 kB SwapFree: 4140220 kB Dirty: 3128 kB Writeback: 0 kB AnonPages: 10896 kB Mapped: 12888 kB Slab: 43936 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182744 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= 62496 MiB End job on node010 at 2010-06-14 05:55:13