Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | 3 | 197.099 | 197.156 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=47-P1=211-P2=233-P3=173-P4=181-P5=71-B.opb |
MD5SUM | 66c115908fb4694df4d314e4daf7ce17 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 6.81996 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 120 |
Total number of constraints | 11 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 320 |
Sum of products size (including duplicates) | 640 |
Number of different products | 320 |
Sum of products size | 640 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1877984-1245187370.opb 0.00/0.00 c File size is 23752 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 440 Constr: 656 320/0/336 Lit: 2752 Watch. Lit: 1692 0.00/0.00 c Obj. Vars: 8 (1.81818 % of total variables) 0.00/0.00 c Pre-processing Time: 0.008 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 440 656 2752 4 2364 3690 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 62.17/62.27 c 105 440 761 9056 11 2515 4060 105 6176 0.02 62.17/62.27 c 256 440 912 17775 19 2815 4467 256 7757 0.03 62.17/62.27 c 482 440 1138 32474 28 3256 4914 482 8310 0.06 62.17/62.27 c 820 440 1476 55942 37 3873 5406 820 7387 0.11 62.17/62.27 c 1329 440 1985 86302 43 4896 5947 1329 7342 0.18 62.17/62.27 c 2092 440 2748 137788 50 6447 6542 2092 7115 0.29 62.17/62.27 c 3238 440 3894 208449 53 8727 7197 3238 6203 0.52 62.17/62.27 c 4959 440 5615 319806 56 12185 7917 4959 5540 0.90 62.17/62.27 c 7543 440 8199 477443 58 17350 8709 7543 4492 1.68 62.17/62.27 c 11422 440 7346 441149 60 15596 9580 6690 4344 2.63 62.17/62.27 c 17245 440 7979 459391 57 16972 10539 7323 3689 4.67 62.17/62.27 c 25982 440 5927 341082 57 12778 11593 5271 3083 8.43 62.17/62.27 c 39092 440 7333 386360 52 15634 12753 6677 2537 15.40 62.17/62.27 c 58762 440 7034 442517 62 14977 14029 6378 2426 24.21 62.17/62.27 c 88273 440 14337 819266 57 29639 15432 13681 1929 45.74 62.17/62.27 o 129 66.66/66.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 66.66/66.71 c 113931 440 8374 518212 61 17685 3706 7718 1827 62.33 66.66/66.71 c 114032 440 2612 125744 48 6169 4077 1956 1827 62.41 66.66/66.71 c 114283 440 2863 141211 49 6719 4485 2207 1830 62.44 66.66/66.71 c 114758 440 3338 170791 51 7676 4934 2682 1836 62.50 66.66/66.71 c 115571 440 4151 219097 52 9299 5428 3495 1844 62.67 66.66/66.71 c 116893 440 5473 316152 57 11877 5971 4817 1858 62.89 66.66/66.71 c 118974 440 4339 251428 57 9635 6569 3683 1877 63.38 66.66/66.71 c 122197 440 4159 183228 44 9256 7226 3503 1904 64.16 66.66/66.71 c 127133 439 5432 272173 50 11809 7949 4776 1937 65.62 66.66/66.71 o 119 118.25/118.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 118.25/118.35 c 132551 439 6457 377786 58 13877 3706 5801 1987 66.69 118.25/118.35 c 132652 439 2615 130706 49 6197 4077 1959 1987 66.73 118.25/118.35 c 132902 439 2865 147500 51 6700 4485 2209 1990 66.77 118.25/118.35 c 133378 439 3341 180974 54 7634 4934 2685 1995 66.84 118.25/118.35 c 134191 439 4154 239953 57 9325 5428 3498 2003 66.99 118.25/118.35 c 135512 439 5475 330608 60 11936 5971 4819 2011 67.38 118.25/118.35 c 137594 439 4499 264206 58 9988 6569 3843 2019 68.12 118.25/118.35 c 140820 439 4085 226009 55 9125 7226 3429 2042 68.94 118.25/118.35 c 145757 439 5099 307953 60 11205 7949 4443 2065 70.56 118.25/118.35 c 153264 439 8570 516314 60 18123 8744 7914 2057 74.48 118.25/118.35 c 164626 439 6341 376589 59 13603 9619 5685 2029 81.13 118.25/118.35 c 181771 439 8802 518830 58 18517 10581 8146 1972 92.14 118.25/118.35 c 207590 426 7601 464265 61 16178 11640 6945 1926 107.74 118.25/118.35 o 33 125.46/125.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 125.46/125.60 c 224474 426 6483 361730 55 14000 3704 5827 1896 118.39 125.46/125.60 c 224574 416 2615 116793 44 6190 4075 1959 1895 118.45 125.46/125.60 c 224824 416 2865 134189 46 6717 4483 2209 1897 118.48 125.46/125.60 c 225299 416 3340 167015 50 7680 4932 2684 1900 118.56 125.46/125.60 c 226113 416 4154 221497 53 9310 5426 3498 1903 118.76 125.46/125.60 c 227436 416 5477 308963 56 11952 5969 4821 1908 119.19 125.46/125.60 c 229518 416 4488 257725 57 9995 6566 3832 1914 119.86 125.46/125.60 c 232741 416 4210 266787 63 9412 7223 3554 1930 120.59 125.46/125.60 c 237678 416 5216 309921 59 11416 7946 4560 1947 122.01 125.46/125.60 c 245184 416 8449 550404 65 17912 8741 7793 1971 124.35 125.46/125.60 o 25 137.85/137.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 137.85/137.95 c 248235 416 7046 431490 61 15115 3702 6390 1977 125.56 137.85/137.95 c 248335 416 2616 120742 46 6231 4073 1960 1976 125.62 137.85/137.95 c 248587 416 2868 138155 48 6728 4481 2212 1978 125.65 137.85/137.95 c 249062 416 3343 169772 50 7704 4930 2687 1980 125.77 137.85/137.95 c 249876 416 4157 225513 54 9298 5424 3501 1983 126.01 137.85/137.95 c 251197 416 5478 315312 57 11968 5967 4822 1985 126.55 137.85/137.95 c 253279 416 4501 256334 56 10022 6564 3845 1984 127.66 137.85/137.95 c 256503 416 4187 231720 55 9360 7221 3531 1992 128.73 137.85/137.95 c 261440 416 5386 314022 58 11807 7944 4730 1993 131.15 137.85/137.95 c 268947 406 4636 210240 45 10275 8739 3980 2025 132.75 137.85/137.95 c 280309 406 6520 394228 60 14035 9613 5864 2033 137.83 137.85/137.95 o 21 138.65/138.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 138.65/138.74 c 280839 406 7051 417494 59 15112 3700 6395 2036 137.91 138.65/138.74 c 280941 406 2618 117976 45 6218 4071 1962 2036 137.96 138.65/138.74 c 281192 406 2869 135331 47 6762 4479 2213 2037 138.00 138.65/138.74 c 281667 406 3344 165960 49 7682 4927 2688 2039 138.12 138.65/138.74 c 282480 406 4157 217412 52 9321 5420 3501 2041 138.36 138.65/138.74 o 17 150.35/150.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 150.35/150.44 c 283575 406 5253 286642 54 11494 3700 4597 2044 138.70 150.35/150.44 c 283677 406 2617 125220 47 6172 4071 1961 2044 138.73 150.35/150.44 c 283927 406 2867 141143 49 6749 4479 2211 2046 138.77 150.35/150.44 c 284402 406 3342 171485 51 7702 4927 2686 2047 138.89 150.35/150.44 c 285216 406 4156 222439 53 9295 5420 3500 2049 139.15 150.35/150.44 c 286536 406 5476 308041 56 11936 5963 4820 2052 139.58 150.35/150.44 c 288618 406 4494 247705 55 9970 6560 3838 2054 140.47 150.35/150.44 c 291841 406 4335 229865 53 9687 7217 3679 2058 141.75 150.35/150.44 c 296778 406 5572 318181 57 12151 7939 4916 2061 143.93 150.35/150.44 c 304284 406 4668 261114 55 10305 8733 4012 2075 146.63 150.35/150.44 o 7 166.64/166.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 166.64/166.72 c 313931 406 5090 289377 56 11199 3700 4434 2087 150.40 166.64/166.72 c 314031 406 2614 123628 47 6239 4071 1958 2087 150.44 166.64/166.72 c 314281 397 2864 137306 47 6728 4479 2208 2088 150.49 166.64/166.72 c 314757 397 3340 168262 50 7621 4927 2684 2090 150.57 166.64/166.72 c 315570 397 4153 225223 54 9246 5420 3497 2093 150.73 166.64/166.72 c 316890 397 5473 312960 57 11887 5963 4817 2097 151.10 166.64/166.72 c 318972 397 4470 257041 57 9856 6560 3814 2100 151.86 166.64/166.72 c 322195 397 4305 241918 56 9543 7217 3649 2100 153.42 166.64/166.72 c 327131 397 5534 320399 57 12022 7939 4878 2100 155.72 166.64/166.72 c 334638 397 4895 275039 56 10714 8733 4239 2092 159.93 166.64/166.72 c 345999 386 7304 424711 58 15559 9607 6648 2081 166.20 166.64/166.72 o 5 167.45/167.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 167.45/167.53 c 347706 386 9012 527193 58 19022 3696 8356 2086 166.67 167.45/167.53 c 347807 386 2617 118796 45 6229 4066 1961 2085 166.75 167.45/167.53 c 348057 386 2867 135194 47 6638 4473 2211 2086 166.80 167.45/167.53 c 348533 386 3343 168355 50 7587 4921 2687 2088 166.87 167.45/167.53 c 349346 386 4156 222994 53 9263 5414 3500 2091 167.05 167.45/167.53 c 350667 386 5477 305958 55 11907 5956 4821 2094 167.40 167.45/167.53 o 3 197.03/197.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 197.03/197.15 c 351020 386 5831 326730 56 12651 3696 5175 2095 167.48 197.03/197.15 c 351120 365 2616 122821 46 6178 4066 1960 2096 167.51 197.03/197.15 c 351371 365 2867 140286 48 6643 4473 2211 2096 167.58 197.03/197.15 c 351847 365 3343 171725 51 7606 4921 2687 2098 167.67 197.03/197.15 c 352660 365 4156 227449 54 9247 5414 3500 2101 167.84 197.03/197.15 c 353980 365 5476 308740 56 11949 5956 4820 2105 168.11 197.03/197.15 c 356062 365 4397 242258 55 9769 6552 3741 2109 168.77 197.03/197.15 c 359286 365 4077 216401 53 9169 7208 3421 2116 169.77 197.03/197.15 c 364222 365 5246 295392 56 11501 7929 4590 2124 171.41 197.03/197.15 c 371730 365 4636 242596 52 10284 8722 3980 2121 175.25 197.03/197.15 c 383092 364 7027 414009 58 15039 9595 6371 2113 181.23 197.03/197.15 c 400237 364 9404 547211 58 19838 10555 8748 2081 192.31 197.03/197.15 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 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 x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 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 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 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 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x73 -x74 -x75 -x76 x77 x78 x79 -x80 -x105 x106 x107 -x108 -x109 -x110 -x111 -x112 x377 -x378 -x379 -x380 x381 x382 x383 -x384 x385 -x386 -x387 -x388 x389 x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 197.03/197.15 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 197.03/197.15 c 102 407272 4434 430378 11045 652308 10389 2066 197.09 197.03/197.15 c Objective: 3 197.03/197.15 s OPTIMUM FOUND 197.03/197.15 c Total time: 197.095 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877984-1245187370/watcher-1877984-1245187370 -o /tmp/evaluation-result-1877984-1245187370/solver-1877984-1245187370 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877984-1245187370.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6526 /proc/meminfo: memFree=1888056/2055920 swapFree=4191900/4192956 [pid=6526] ppid=6524 vsize=10708 CPUtime=0 /proc/6526/stat : 6526 (bsolo) R 6524 6526 5132 0 -1 4194304 283 0 0 0 0 0 0 0 18 0 1 0 186337940 10964992 261 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6526/statm: 2677 262 186 640 0 2033 0 [startup+0.100732 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6526 /proc/meminfo: memFree=1888056/2055920 swapFree=4191900/4192956 [pid=6526] ppid=6524 vsize=11484 CPUtime=0.09 /proc/6526/stat : 6526 (bsolo) R 6524 6526 5132 0 -1 4194304 482 0 0 0 9 0 0 0 18 0 1 0 186337940 11759616 460 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6526/statm: 2871 460 196 640 0 2227 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11484 [startup+0.201741 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6526 /proc/meminfo: memFree=1888056/2055920 swapFree=4191900/4192956 [pid=6526] ppid=6524 vsize=12120 CPUtime=0.19 /proc/6526/stat : 6526 (bsolo) R 6524 6526 5132 0 -1 4194304 641 0 0 0 19 0 0 0 18 0 1 0 186337940 12410880 619 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6526/statm: 3030 619 196 640 0 2386 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12120 [startup+0.301749 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6526 /proc/meminfo: memFree=1888056/2055920 swapFree=4191900/4192956 [pid=6526] ppid=6524 vsize=12752 CPUtime=0.29 /proc/6526/stat : 6526 (bsolo) R 6524 6526 5132 0 -1 4194304 802 0 0 0 29 0 0 0 19 0 1 0 186337940 13058048 780 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6526/statm: 3188 780 196 640 0 2544 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12752 [startup+0.701788 s] /proc/loadavg: 1.00 1.00 1.00 3/64 6526 /proc/meminfo: memFree=1888056/2055920 swapFree=4191900/4192956 [pid=6526] ppid=6524 vsize=14512 CPUtime=0.69 /proc/6526/stat : 6526 (bsolo) R 6524 6526 5132 0 -1 4194304 1240 0 0 0 69 0 0 0 22 0 1 0 186337940 14860288 1218 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6526/statm: 3628 1218 196 640 0 2984 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14512 [startup+1.50186 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6527 /proc/meminfo: memFree=1882160/2055920 swapFree=4191900/4192956 [pid=6526] ppid=6524 vsize=17276 CPUtime=1.49 /proc/6526/stat : 6526 (bsolo) R 6524 6526 5132 0 -1 4194304 1917 0 0 0 148 1 0 0 25 0 1 0 186337940 17690624 1895 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6526/statm: 4319 1895 196 640 0 3675 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17276 [startup+3.10201 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6527 /proc/meminfo: memFree=1879024/2055920 swapFree=4191900/4192956 [pid=6526] ppid=6524 vsize=19288 CPUtime=3.09 /proc/6526/stat : 6526 (bsolo) R 6524 6526 5132 0 -1 4194304 2435 0 0 0 307 2 0 0 25 0 1 0 186337940 19750912 2413 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6526/statm: 4822 2413 196 640 0 4178 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19288 [startup+6.3013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6527 /proc/meminfo: memFree=1878000/2055920 swapFree=4191900/4192956 [pid=6526] ppid=6524 vsize=20552 CPUtime=6.28 /proc/6526/stat : 6526 (bsolo) R 6524 6526 5132 0 -1 4194304 2757 0 0 0 626 2 0 0 25 0 1 0 186337940 21045248 2735 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6526/statm: 5138 2735 196 640 0 4494 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 20552 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6527 /proc/meminfo: memFree=1876784/2055920 swapFree=4191900/4192956 [pid=6526] ppid=6524 vsize=21300 CPUtime=12.69 /proc/6526/stat : 6526 (bsolo) R 6524 6526 5132 0 -1 4194304 2929 0 0 0 1266 3 0 0 25 0 1 0 186337940 21811200 2907 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6526/statm: 5325 2907 196 640 0 4681 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21300 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6527 /proc/meminfo: memFree=1873904/2055920 swapFree=4191900/4192956 [pid=6526] ppid=6524 vsize=24200 CPUtime=25.48 /proc/6526/stat : 6526 (bsolo) R 6524 6526 5132 0 -1 4194304 3669 0 0 0 2540 8 0 0 25 0 1 0 186337940 24780800 3647 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6526/statm: 6050 3647 196 640 0 5406 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24200 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6527 /proc/meminfo: memFree=1873008/2055920 swapFree=4191900/4192956 [pid=6526] ppid=6524 vsize=25348 CPUtime=51.07 /proc/6526/stat : 6526 (bsolo) R 6524 6526 5132 0 -1 4194304 3940 0 0 0 5094 13 0 0 25 0 1 0 186337940 25956352 3918 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6526/statm: 6337 3918 196 640 0 5693 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 25348 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6527 /proc/meminfo: memFree=1872688/2055920 swapFree=4191900/4192956 [pid=6526] ppid=6524 vsize=25568 CPUtime=102.26 /proc/6526/stat : 6526 (bsolo) R 6524 6526 5132 0 -1 4194304 3995 0 0 0 10202 24 0 0 25 0 1 0 186337940 26181632 3973 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6526/statm: 6392 3973 197 640 0 5748 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 25568 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6527 /proc/meminfo: memFree=1872624/2055920 swapFree=4191900/4192956 [pid=6526] ppid=6524 vsize=25544 CPUtime=162.24 /proc/6526/stat : 6526 (bsolo) R 6524 6526 5132 0 -1 4194304 3995 0 0 0 16185 39 0 0 25 0 1 0 186337940 26157056 3973 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6526/statm: 6386 3973 197 640 0 5742 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 25544 Solver just ended. Dumping a history of the last processes samples [startup+179.201 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6527 /proc/meminfo: memFree=1872624/2055920 swapFree=4191900/4192956 [pid=6526] ppid=6524 vsize=25544 CPUtime=179.14 /proc/6526/stat : 6526 (bsolo) R 6524 6526 5132 0 -1 4194304 3995 0 0 0 17871 43 0 0 25 0 1 0 186337940 26157056 3973 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6526/statm: 6386 3973 197 640 0 5742 0 Current children cumulated CPU time (s) 179.14 Current children cumulated vsize (KiB) 25544 [startup+185.602 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6527 /proc/meminfo: memFree=1872624/2055920 swapFree=4191900/4192956 [pid=6526] ppid=6524 vsize=25544 CPUtime=185.53 /proc/6526/stat : 6526 (bsolo) R 6524 6526 5132 0 -1 4194304 3995 0 0 0 18510 43 0 0 25 0 1 0 186337940 26157056 3973 1992294400 134512640 137136520 4294956256 18446744073709551615 134571594 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6526/statm: 6386 3973 197 640 0 5742 0 Current children cumulated CPU time (s) 185.53 Current children cumulated vsize (KiB) 25544 [startup+192.002 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6527 /proc/meminfo: memFree=1872624/2055920 swapFree=4191900/4192956 [pid=6526] ppid=6524 vsize=25544 CPUtime=191.93 /proc/6526/stat : 6526 (bsolo) R 6524 6526 5132 0 -1 4194304 3995 0 0 0 19149 44 0 0 25 0 1 0 186337940 26157056 3973 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6526/statm: 6386 3973 197 640 0 5742 0 Current children cumulated CPU time (s) 191.93 Current children cumulated vsize (KiB) 25544 [startup+195.202 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6527 /proc/meminfo: memFree=1872624/2055920 swapFree=4191900/4192956 [pid=6526] ppid=6524 vsize=25544 CPUtime=195.14 /proc/6526/stat : 6526 (bsolo) R 6524 6526 5132 0 -1 4194304 3995 0 0 0 19469 45 0 0 25 0 1 0 186337940 26157056 3973 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6526/statm: 6386 3973 197 640 0 5742 0 Current children cumulated CPU time (s) 195.14 Current children cumulated vsize (KiB) 25544 [startup+196.003 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6527 /proc/meminfo: memFree=1872624/2055920 swapFree=4191900/4192956 [pid=6526] ppid=6524 vsize=25544 CPUtime=195.94 /proc/6526/stat : 6526 (bsolo) R 6524 6526 5132 0 -1 4194304 3995 0 0 0 19549 45 0 0 25 0 1 0 186337940 26157056 3973 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6526/statm: 6386 3973 197 640 0 5742 0 Current children cumulated CPU time (s) 195.94 Current children cumulated vsize (KiB) 25544 [startup+196.802 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6527 /proc/meminfo: memFree=1872624/2055920 swapFree=4191900/4192956 [pid=6526] ppid=6524 vsize=25544 CPUtime=196.73 /proc/6526/stat : 6526 (bsolo) R 6524 6526 5132 0 -1 4194304 3995 0 0 0 19628 45 0 0 25 0 1 0 186337940 26157056 3973 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6526/statm: 6386 3973 197 640 0 5742 0 Current children cumulated CPU time (s) 196.73 Current children cumulated vsize (KiB) 25544 [startup+197.006 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6527 /proc/meminfo: memFree=1872624/2055920 swapFree=4191900/4192956 [pid=6526] ppid=6524 vsize=25544 CPUtime=196.94 /proc/6526/stat : 6526 (bsolo) R 6524 6526 5132 0 -1 4194304 3995 0 0 0 19649 45 0 0 25 0 1 0 186337940 26157056 3973 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6526/statm: 6386 3973 197 640 0 5742 0 Current children cumulated CPU time (s) 196.94 Current children cumulated vsize (KiB) 25544 [startup+197.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6527 /proc/meminfo: memFree=1872624/2055920 swapFree=4191900/4192956 [pid=6526] ppid=6524 vsize=25544 CPUtime=197.03 /proc/6526/stat : 6526 (bsolo) R 6524 6526 5132 0 -1 4194304 3995 0 0 0 19658 45 0 0 25 0 1 0 186337940 26157056 3973 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6526/statm: 6386 3973 197 640 0 5742 0 Current children cumulated CPU time (s) 197.03 Current children cumulated vsize (KiB) 25544 Child status: 0 Real time (s): 197.156 CPU time (s): 197.099 CPU user time (s): 196.639 CPU system time (s): 0.45993 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (KiB): 25568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 196.639 system time used= 0.45993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3997 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 166 runsolver used 0.123981 second user time and 0.45393 second system time The end
Begin job on node14 at 2009-06-16 23:22:50 IDJOB=1877984 IDBENCH=47964 IDSOLVER=700 FILE ID=node14/1877984-1245187370 PBS_JOBID= 9363914 Free space on /tmp= 66376 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=47-P1=211-P2=233-P3=173-P4=181-P5=71-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877984-1245187370/watcher-1877984-1245187370 -o /tmp/evaluation-result-1877984-1245187370/solver-1877984-1245187370 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877984-1245187370.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 66c115908fb4694df4d314e4daf7ce17 RANDOM SEED=255018366 node14.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1888536 kB Buffers: 45412 kB Cached: 67080 kB SwapCached: 388 kB Active: 58376 kB Inactive: 67504 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1888536 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 21800 kB Slab: 27436 kB Committed_AS: 186512 kB PageTables: 1452 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877984-1245187370.opb Free space on /tmp at the end= 66372 MiB End job on node14 at 2009-06-16 23:26:07