Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | OPT | 3 | 196.136 | 196.208 |
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 | 0.581911 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2670496-1276702269.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.004 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.01 c Pre-processing Time: 0.009 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 440 656 2752 4 2364 3690 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 62.16/62.22 c 105 440 761 9056 11 2515 4060 105 5526 0.02 62.16/62.22 c 256 440 912 17775 19 2815 4467 256 7314 0.04 62.16/62.22 c 482 440 1138 32474 28 3256 4914 482 8033 0.06 62.16/62.22 c 820 440 1476 55942 37 3873 5406 820 7192 0.11 62.16/62.22 c 1329 440 1985 86302 43 4896 5947 1329 7183 0.18 62.16/62.22 c 2092 440 2748 137788 50 6447 6542 2092 7020 0.30 62.16/62.22 c 3238 440 3894 208449 53 8727 7197 3238 6120 0.53 62.16/62.22 c 4959 440 5615 319806 56 12185 7917 4959 5503 0.90 62.16/62.22 c 7543 440 8199 477443 58 17350 8709 7543 4463 1.69 62.16/62.22 c 11422 440 7346 441149 60 15596 9580 6690 4318 2.65 62.16/62.22 c 17245 440 7979 459391 57 16972 10539 7323 3679 4.69 62.16/62.22 c 25982 440 5927 341082 57 12778 11593 5271 3075 8.45 62.16/62.22 c 39092 440 7333 386360 52 15634 12753 6677 2535 15.41 62.16/62.22 c 58762 440 7034 442517 62 14977 14029 6378 2425 24.22 62.16/62.22 c 88273 440 14337 819266 57 29639 15432 13681 1930 45.72 62.16/62.22 o 129 66.66/66.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 66.66/66.72 c 113931 440 8374 518212 61 17685 3706 7718 1829 62.28 66.66/66.72 c 114032 440 2612 125744 48 6169 4077 1956 1828 62.36 66.66/66.72 c 114283 440 2863 141211 49 6719 4485 2207 1831 62.39 66.66/66.72 c 114758 440 3338 170791 51 7676 4934 2682 1837 62.45 66.66/66.72 c 115571 440 4151 219097 52 9299 5428 3495 1845 62.63 66.66/66.72 c 116893 440 5473 316152 57 11877 5971 4817 1859 62.85 66.66/66.72 c 118974 440 4339 251428 57 9635 6569 3683 1878 63.34 66.66/66.72 c 122197 440 4159 183228 44 9256 7226 3503 1905 64.14 66.66/66.72 c 127133 439 5432 272173 50 11809 7949 4776 1937 65.61 66.66/66.72 o 119 118.04/118.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 118.04/118.10 c 132551 439 6457 377786 58 13877 3706 5801 1987 66.69 118.04/118.10 c 132652 439 2615 130706 49 6197 4077 1959 1987 66.74 118.04/118.10 c 132902 439 2865 147500 51 6700 4485 2209 1990 66.77 118.04/118.10 c 133378 439 3341 180974 54 7634 4934 2685 1995 66.84 118.04/118.10 c 134191 439 4154 239953 57 9325 5428 3498 2002 67.00 118.04/118.10 c 135512 439 5475 330608 60 11936 5971 4819 2010 67.39 118.04/118.10 c 137594 439 4499 264206 58 9988 6569 3843 2019 68.13 118.04/118.10 c 140820 439 4085 226009 55 9125 7226 3429 2042 68.94 118.04/118.10 c 145757 439 5099 307953 60 11205 7949 4443 2065 70.55 118.04/118.10 c 153264 439 8570 516314 60 18123 8744 7914 2058 74.45 118.04/118.10 c 164626 439 6341 376589 59 13603 9619 5685 2030 81.09 118.04/118.10 c 181771 439 8802 518830 58 18517 10581 8146 1974 92.07 118.04/118.10 c 207590 426 7601 464265 61 16178 11640 6945 1929 107.57 118.04/118.10 o 33 125.24/125.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 125.24/125.34 c 224474 426 6483 361730 55 14000 3704 5827 1900 118.13 125.24/125.34 c 224574 416 2615 116793 44 6190 4075 1959 1900 118.18 125.24/125.34 c 224824 416 2865 134189 46 6717 4483 2209 1901 118.22 125.24/125.34 c 225299 416 3340 167015 50 7680 4932 2684 1904 118.30 125.24/125.34 c 226113 416 4154 221497 53 9310 5426 3498 1908 118.50 125.24/125.34 c 227436 416 5477 308963 56 11952 5969 4821 1912 118.92 125.24/125.34 c 229518 416 4488 257725 57 9995 6566 3832 1919 119.59 125.24/125.34 c 232741 416 4210 266787 63 9412 7223 3554 1934 120.32 125.24/125.34 c 237678 416 5216 309921 59 11416 7946 4560 1952 121.74 125.24/125.34 c 245184 416 8449 550404 65 17912 8741 7793 1975 124.08 125.24/125.34 o 25 137.44/137.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 137.44/137.52 c 248235 416 7046 431490 61 15115 3702 6390 1981 125.29 137.44/137.52 c 248335 416 2616 120742 46 6231 4073 1960 1981 125.34 137.44/137.52 c 248587 416 2868 138155 48 6728 4481 2212 1982 125.38 137.44/137.52 c 249062 416 3343 169772 50 7704 4930 2687 1984 125.49 137.44/137.52 c 249876 416 4157 225513 54 9298 5424 3501 1987 125.74 137.44/137.52 c 251197 416 5478 315312 57 11968 5967 4822 1989 126.27 137.44/137.52 c 253279 416 4501 256334 56 10022 6564 3845 1988 127.36 137.44/137.52 c 256503 416 4187 231720 55 9360 7221 3531 1997 128.41 137.44/137.52 c 261440 416 5386 314022 58 11807 7944 4730 1998 130.79 137.44/137.52 c 268947 406 4636 210240 45 10275 8739 3980 2031 132.38 137.44/137.52 c 280309 406 6520 394228 60 14035 9613 5864 2040 137.38 137.44/137.52 o 21 138.23/138.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 138.23/138.30 c 280839 406 7051 417494 59 15112 3700 6395 2042 137.47 138.23/138.30 c 280941 406 2618 117976 45 6218 4071 1962 2043 137.51 138.23/138.30 c 281192 406 2869 135331 47 6762 4479 2213 2044 137.55 138.23/138.30 c 281667 406 3344 165960 49 7682 4927 2688 2045 137.67 138.23/138.30 c 282480 406 4157 217412 52 9321 5420 3501 2048 137.91 138.23/138.30 o 17 149.73/149.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 149.73/149.89 c 283575 406 5253 286642 54 11494 3700 4597 2051 138.25 149.73/149.89 c 283677 406 2617 125220 47 6172 4071 1961 2051 138.28 149.73/149.89 c 283927 406 2867 141143 49 6749 4479 2211 2052 138.32 149.73/149.89 c 284402 406 3342 171485 51 7702 4927 2686 2054 138.44 149.73/149.89 c 285216 406 4156 222439 53 9295 5420 3500 2056 138.69 149.73/149.89 c 286536 406 5476 308041 56 11936 5963 4820 2059 139.12 149.73/149.89 c 288618 406 4494 247705 55 9970 6560 3838 2061 140.00 149.73/149.89 c 291841 406 4335 229865 53 9687 7217 3679 2066 141.26 149.73/149.89 c 296778 406 5572 318181 57 12151 7939 4916 2069 143.42 149.73/149.89 c 304284 406 4668 261114 55 10305 8733 4012 2082 146.10 149.73/149.89 o 7 165.94/166.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 165.94/166.03 c 313931 406 5090 289377 56 11199 3700 4434 2095 149.83 165.94/166.03 c 314031 406 2614 123628 47 6239 4071 1958 2095 149.87 165.94/166.03 c 314281 397 2864 137306 47 6728 4479 2208 2096 149.93 165.94/166.03 c 314757 397 3340 168262 50 7621 4927 2684 2098 150.01 165.94/166.03 c 315570 397 4153 225223 54 9246 5420 3497 2101 150.16 165.94/166.03 c 316890 397 5473 312960 57 11887 5963 4817 2105 150.53 165.94/166.03 c 318972 397 4470 257041 57 9856 6560 3814 2108 151.28 165.94/166.03 c 322195 397 4305 241918 56 9543 7217 3649 2108 152.81 165.94/166.03 c 327131 397 5534 320399 57 12022 7939 4878 2109 155.08 165.94/166.03 c 334638 397 4895 275039 56 10714 8733 4239 2101 159.25 165.94/166.03 c 345999 386 7304 424711 58 15559 9607 6648 2090 165.50 165.94/166.03 o 5 166.72/166.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 166.72/166.85 c 347706 386 9012 527193 58 19022 3696 8356 2094 165.97 166.72/166.85 c 347807 386 2617 118796 45 6229 4066 1961 2094 166.05 166.72/166.85 c 348057 386 2867 135194 47 6638 4473 2211 2095 166.10 166.72/166.85 c 348533 386 3343 168355 50 7587 4921 2687 2097 166.18 166.72/166.85 c 349346 386 4156 222994 53 9263 5414 3500 2100 166.35 166.72/166.85 c 350667 386 5477 305958 55 11907 5956 4821 2103 166.71 166.72/166.85 o 3 196.12/196.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 196.12/196.20 c 351020 386 5831 326730 56 12651 3696 5175 2104 166.78 196.12/196.20 c 351120 365 2616 122821 46 6178 4066 1960 2104 166.82 196.12/196.20 c 351371 365 2867 140286 48 6643 4473 2211 2105 166.88 196.12/196.20 c 351847 365 3343 171725 51 7606 4921 2687 2107 166.97 196.12/196.20 c 352660 365 4156 227449 54 9247 5414 3500 2110 167.13 196.12/196.20 c 353980 365 5476 308740 56 11949 5956 4820 2114 167.40 196.12/196.20 c 356062 365 4397 242258 55 9769 6552 3741 2118 168.06 196.12/196.20 c 359286 365 4077 216401 53 9169 7208 3421 2125 169.05 196.12/196.20 c 364222 365 5246 295392 56 11501 7929 4590 2134 170.67 196.12/196.20 c 371730 365 4636 242596 52 10284 8722 3980 2130 174.46 196.12/196.20 c 383092 364 7027 414009 58 15039 9595 6371 2123 180.40 196.12/196.20 c 400237 364 9404 547211 58 19838 10555 8748 2091 191.38 196.12/196.20 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 196.12/196.20 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 196.12/196.20 c 102 407272 4434 430378 11045 652308 10389 2076 196.13 196.12/196.20 c Objective: 3 196.12/196.20 s OPTIMUM FOUND 196.12/196.20 c Total time: 196.133 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-2670496-1276702269/watcher-2670496-1276702269 -o /tmp/evaluation-result-2670496-1276702269/solver-2670496-1276702269 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670496-1276702269.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.94 0.99 0.95 3/106 17570 /proc/meminfo: memFree=1715716/2059040 swapFree=4192956/4192956 [pid=17570] ppid=17568 vsize=10924 CPUtime=0 /proc/17570/stat : 17570 (bsolo_pb10) R 17568 17570 17265 0 -1 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11519115 11186176 284 1992294400 134512640 137138936 4286813600 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17570/statm: 2731 284 185 642 0 2087 0 [startup+0.028451 s] /proc/loadavg: 0.94 0.99 0.95 3/106 17570 /proc/meminfo: memFree=1715716/2059040 swapFree=4192956/4192956 [pid=17570] ppid=17568 vsize=11048 CPUtime=0.02 /proc/17570/stat : 17570 (bsolo_pb10) R 17568 17570 17265 0 -1 4202496 404 0 0 0 2 0 0 0 20 0 1 0 11519115 11313152 316 1992294400 134512640 137138936 4286813600 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17570/statm: 2762 316 190 642 0 2118 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11048 [startup+0.100459 s] /proc/loadavg: 0.94 0.99 0.95 3/106 17570 /proc/meminfo: memFree=1715716/2059040 swapFree=4192956/4192956 [pid=17570] ppid=17568 vsize=11564 CPUtime=0.09 /proc/17570/stat : 17570 (bsolo_pb10) R 17568 17570 17265 0 -1 4202496 541 0 0 0 9 0 0 0 20 0 1 0 11519115 11841536 453 1992294400 134512640 137138936 4286813600 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17570/statm: 2891 453 190 642 0 2247 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11564 [startup+0.300479 s] /proc/loadavg: 0.94 0.99 0.95 3/106 17570 /proc/meminfo: memFree=1715716/2059040 swapFree=4192956/4192956 [pid=17570] ppid=17568 vsize=12832 CPUtime=0.29 /proc/17570/stat : 17570 (bsolo_pb10) R 17568 17570 17265 0 -1 4202496 857 0 0 0 29 0 0 0 20 0 1 0 11519115 13139968 769 1992294400 134512640 137138936 4286813600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17570/statm: 3208 769 190 642 0 2564 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12832 [startup+0.700519 s] /proc/loadavg: 0.94 0.99 0.95 3/106 17570 /proc/meminfo: memFree=1715716/2059040 swapFree=4192956/4192956 [pid=17570] ppid=17568 vsize=14592 CPUtime=0.69 /proc/17570/stat : 17570 (bsolo_pb10) R 17568 17570 17265 0 -1 4202496 1294 0 0 0 69 0 0 0 20 0 1 0 11519115 14942208 1206 1992294400 134512640 137138936 4286813600 18446744073709551615 134573011 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17570/statm: 3648 1206 190 642 0 3004 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14592 [startup+1.5006 s] /proc/loadavg: 0.94 0.99 0.95 2/107 17571 /proc/meminfo: memFree=1710624/2059040 swapFree=4192956/4192956 [pid=17570] ppid=17568 vsize=17356 CPUtime=1.49 /proc/17570/stat : 17570 (bsolo_pb10) R 17568 17570 17265 0 -1 4202496 1972 0 0 0 148 1 0 0 23 0 1 0 11519115 17772544 1884 1992294400 134512640 137138936 4286813600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17570/statm: 4339 1884 190 642 0 3695 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17356 [startup+3.10076 s] /proc/loadavg: 0.94 0.99 0.95 2/107 17571 /proc/meminfo: memFree=1706780/2059040 swapFree=4192956/4192956 [pid=17570] ppid=17568 vsize=19368 CPUtime=3.09 /proc/17570/stat : 17570 (bsolo_pb10) R 17568 17570 17265 0 -1 4202496 2497 0 0 0 307 2 0 0 25 0 1 0 11519115 19832832 2409 1992294400 134512640 137138936 4286813600 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17570/statm: 4842 2409 190 642 0 4198 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19368 [startup+6.30109 s] /proc/loadavg: 0.95 0.99 0.95 2/107 17571 /proc/meminfo: memFree=1705788/2059040 swapFree=4192956/4192956 [pid=17570] ppid=17568 vsize=20632 CPUtime=6.29 /proc/17570/stat : 17570 (bsolo_pb10) R 17568 17570 17265 0 -1 4202496 2819 0 0 0 625 4 0 0 25 0 1 0 11519115 21127168 2731 1992294400 134512640 137138936 4286813600 18446744073709551615 134542766 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17570/statm: 5158 2731 190 642 0 4514 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20632 [startup+12.7017 s] /proc/loadavg: 0.95 0.99 0.95 2/107 17571 /proc/meminfo: memFree=1704548/2059040 swapFree=4192956/4192956 [pid=17570] ppid=17568 vsize=21380 CPUtime=12.69 /proc/17570/stat : 17570 (bsolo_pb10) R 17568 17570 17265 0 -1 4202496 2991 0 0 0 1263 6 0 0 25 0 1 0 11519115 21893120 2903 1992294400 134512640 137138936 4286813600 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17570/statm: 5345 2903 190 642 0 4701 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21380 [startup+25.501 s] /proc/loadavg: 0.96 0.99 0.95 2/107 17571 /proc/meminfo: memFree=1701696/2059040 swapFree=4192956/4192956 [pid=17570] ppid=17568 vsize=24280 CPUtime=25.48 /proc/17570/stat : 17570 (bsolo_pb10) R 17568 17570 17265 0 -1 4202496 3731 0 0 0 2536 12 0 0 25 0 1 0 11519115 24862720 3643 1992294400 134512640 137138936 4286813600 18446744073709551615 136511201 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17570/statm: 6070 3643 190 642 0 5426 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24280 [startup+51.1006 s] /proc/loadavg: 0.97 0.99 0.95 2/107 17571 /proc/meminfo: memFree=1700704/2059040 swapFree=4192956/4192956 [pid=17570] ppid=17568 vsize=25428 CPUtime=51.07 /proc/17570/stat : 17570 (bsolo_pb10) R 17568 17570 17265 0 -1 4202496 4002 0 0 0 5087 20 0 0 25 0 1 0 11519115 26038272 3914 1992294400 134512640 137138936 4286813600 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17570/statm: 6357 3914 190 642 0 5713 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 25428 [startup+102.309 s] /proc/loadavg: 0.99 0.99 0.95 2/107 17576 /proc/meminfo: memFree=1699340/2059040 swapFree=4192956/4192956 [pid=17570] ppid=17568 vsize=25648 CPUtime=102.25 /proc/17570/stat : 17570 (bsolo_pb10) R 17568 17570 17265 0 -1 4202496 4057 0 0 0 10187 38 0 0 25 0 1 0 11519115 26263552 3969 1992294400 134512640 137138936 4286813600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17570/statm: 6412 3969 191 642 0 5768 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 25648 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.95 2/107 17578 /proc/meminfo: memFree=1699340/2059040 swapFree=4192956/4192956 [pid=17570] ppid=17568 vsize=25624 CPUtime=162.23 /proc/17570/stat : 17570 (bsolo_pb10) R 17568 17570 17265 0 -1 4202496 4057 0 0 0 16165 58 0 0 25 0 1 0 11519115 26238976 3969 1992294400 134512640 137138936 4286813600 18446744073709551615 136504708 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17570/statm: 6406 3969 191 642 0 5762 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 25624 Solver just ended. Dumping a history of the last processes samples [startup+179.101 s] /proc/loadavg: 1.07 1.00 0.96 2/107 17578 /proc/meminfo: memFree=1699340/2059040 swapFree=4192956/4192956 [pid=17570] ppid=17568 vsize=25624 CPUtime=179.03 /proc/17570/stat : 17570 (bsolo_pb10) R 17568 17570 17265 0 -1 4202496 4057 0 0 0 17838 65 0 0 25 0 1 0 11519115 26238976 3969 1992294400 134512640 137138936 4286813600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17570/statm: 6406 3969 191 642 0 5762 0 Current children cumulated CPU time (s) 179.03 Current children cumulated vsize (KiB) 25624 [startup+185.501 s] /proc/loadavg: 1.07 1.00 0.96 2/107 17578 /proc/meminfo: memFree=1699340/2059040 swapFree=4192956/4192956 [pid=17570] ppid=17568 vsize=25624 CPUtime=185.42 /proc/17570/stat : 17570 (bsolo_pb10) R 17568 17570 17265 0 -1 4202496 4057 0 0 0 18475 67 0 0 25 0 1 0 11519115 26238976 3969 1992294400 134512640 137138936 4286813600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17570/statm: 6406 3969 191 642 0 5762 0 Current children cumulated CPU time (s) 185.42 Current children cumulated vsize (KiB) 25624 [startup+191.901 s] /proc/loadavg: 1.06 1.00 0.96 2/107 17578 /proc/meminfo: memFree=1699340/2059040 swapFree=4192956/4192956 [pid=17570] ppid=17568 vsize=25624 CPUtime=191.82 /proc/17570/stat : 17570 (bsolo_pb10) R 17568 17570 17265 0 -1 4202496 4057 0 0 0 19114 68 0 0 25 0 1 0 11519115 26238976 3969 1992294400 134512640 137138936 4286813600 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17570/statm: 6406 3969 191 642 0 5762 0 Current children cumulated CPU time (s) 191.82 Current children cumulated vsize (KiB) 25624 [startup+193.501 s] /proc/loadavg: 1.06 1.00 0.96 2/107 17578 /proc/meminfo: memFree=1699340/2059040 swapFree=4192956/4192956 [pid=17570] ppid=17568 vsize=25624 CPUtime=193.43 /proc/17570/stat : 17570 (bsolo_pb10) R 17568 17570 17265 0 -1 4202496 4057 0 0 0 19274 69 0 0 25 0 1 0 11519115 26238976 3969 1992294400 134512640 137138936 4286813600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17570/statm: 6406 3969 191 642 0 5762 0 Current children cumulated CPU time (s) 193.43 Current children cumulated vsize (KiB) 25624 [startup+195.101 s] /proc/loadavg: 1.06 1.00 0.96 2/107 17578 /proc/meminfo: memFree=1699340/2059040 swapFree=4192956/4192956 [pid=17570] ppid=17568 vsize=25624 CPUtime=195.02 /proc/17570/stat : 17570 (bsolo_pb10) R 17568 17570 17265 0 -1 4202496 4057 0 0 0 19433 69 0 0 25 0 1 0 11519115 26238976 3969 1992294400 134512640 137138936 4286813600 18446744073709551615 136500266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17570/statm: 6406 3969 191 642 0 5762 0 Current children cumulated CPU time (s) 195.02 Current children cumulated vsize (KiB) 25624 [startup+195.9 s] /proc/loadavg: 1.06 1.00 0.96 2/107 17578 /proc/meminfo: memFree=1699340/2059040 swapFree=4192956/4192956 [pid=17570] ppid=17568 vsize=25624 CPUtime=195.82 /proc/17570/stat : 17570 (bsolo_pb10) R 17568 17570 17265 0 -1 4202496 4057 0 0 0 19513 69 0 0 25 0 1 0 11519115 26238976 3969 1992294400 134512640 137138936 4286813600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17570/statm: 6406 3969 191 642 0 5762 0 Current children cumulated CPU time (s) 195.82 Current children cumulated vsize (KiB) 25624 [startup+196.1 s] /proc/loadavg: 1.06 1.00 0.96 2/107 17578 /proc/meminfo: memFree=1699340/2059040 swapFree=4192956/4192956 [pid=17570] ppid=17568 vsize=25624 CPUtime=196.02 /proc/17570/stat : 17570 (bsolo_pb10) R 17568 17570 17265 0 -1 4202496 4057 0 0 0 19533 69 0 0 25 0 1 0 11519115 26238976 3969 1992294400 134512640 137138936 4286813600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17570/statm: 6406 3969 191 642 0 5762 0 Current children cumulated CPU time (s) 196.02 Current children cumulated vsize (KiB) 25624 [startup+196.2 s] /proc/loadavg: 1.06 1.00 0.96 2/107 17578 /proc/meminfo: memFree=1699340/2059040 swapFree=4192956/4192956 [pid=17570] ppid=17568 vsize=25624 CPUtime=196.12 /proc/17570/stat : 17570 (bsolo_pb10) R 17568 17570 17265 0 -1 4202496 4057 0 0 0 19543 69 0 0 25 0 1 0 11519115 26238976 3969 1992294400 134512640 137138936 4286813600 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17570/statm: 6406 3969 191 642 0 5762 0 Current children cumulated CPU time (s) 196.12 Current children cumulated vsize (KiB) 25624 Child status: 0 Real time (s): 196.208 CPU time (s): 196.136 CPU user time (s): 195.439 CPU system time (s): 0.696894 CPU usage (%): 99.9632 Max. virtual memory (cumulated for all children) (KiB): 25648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 195.439 system time used= 0.696894 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4058 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= 1 involuntary context switches= 631 runsolver used 0.333949 second user time and 0.929858 second system time The end
Begin job on node045 at 2010-06-16 17:31:09 IDJOB=2670496 IDBENCH=47964 IDSOLVER=1163 FILE ID=node045/2670496-1276702269 PBS_JOBID= 11174098 Free space on /tmp= 62460 MiB SOLVER NAME= bsolo 3.2 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_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670496-1276702269/watcher-2670496-1276702269 -o /tmp/evaluation-result-2670496-1276702269/solver-2670496-1276702269 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670496-1276702269.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 66c115908fb4694df4d314e4daf7ce17 RANDOM SEED=1819715261 node045.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.247 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.49 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.247 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1716492 kB Buffers: 90744 kB Cached: 124532 kB SwapCached: 0 kB Active: 94532 kB Inactive: 180148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1716492 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4084 kB Writeback: 0 kB AnonPages: 59316 kB Mapped: 15484 kB Slab: 46080 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182448 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670496-1276702269.opb Free space on /tmp at the end= 62456 MiB End job on node045 at 2010-06-16 17:34:26