Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 34 | 29.8595 | 29.8707 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_8.opb |
MD5SUM | 7511e7863ac3e00f42a81c49dc15d5a1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 34 |
Best CPU time to get the best result obtained on this benchmark | 12.1731 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 34 |
Optimality of the best value was proved | YES |
Number of variables | 386 |
Total number of constraints | 680 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 679 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 26 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 91 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 128 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 472 |
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 bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433551-1177961294/instance-433551-1177961294.opb 0.00/0.00 c File size is 110888 bytes. 0.00/0.02 c Highest Coefficient sum: 472 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.022 s 0.00/0.02 c Var: 386 Constr: 680 1/0/679 Lit: 14478 Watch. Lit: 3396 0.00/0.02 c Obj. Vars: 7 (1.81347 % of total variables) 0.00/0.03 c Pre-processing Time: 0.032 s 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 384 679 14477 21 5755 28954 0 0 0.03 0.00/0.03 c Switching off LPR mode. 0.00/0.09 c 101 384 780 16413 21 9481 31850 101 1530 0.07 0.00/0.09 o 60 0.087 0.00/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.09 c 208 384 888 19609 22 8969 28966 209 2390 0.09 0.00/0.09 o 46 0.093 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 229 383 910 20174 22 9231 28964 231 2462 0.09 0.09/0.10 o 44 0.097 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 246 383 928 20720 22 9108 28964 249 2510 0.10 0.19/0.29 c 347 383 1029 23383 22 9573 31861 350 2915 0.12 0.19/0.29 c 598 380 1280 30659 23 9917 35048 601 3580 0.17 0.19/0.29 c 1073 380 1755 44614 25 10786 38553 1076 3764 0.28 0.19/0.29 o 40 0.291 0.79/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.86 c 1091 380 1774 45160 25 10640 28962 1095 3749 0.29 0.79/0.86 c 1192 380 1875 48133 25 10946 31859 1196 3736 0.32 0.79/0.86 c 1442 380 2125 54873 25 11369 35045 1446 3765 0.38 0.79/0.86 c 1917 380 2600 68596 26 12534 38550 1921 3679 0.52 0.79/0.86 c 2730 380 3413 90463 26 14279 42406 2734 3464 0.79 0.79/0.86 o 39 0.861 1.68/1.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.68/1.79 c 2923 380 3607 95908 26 14398 28962 2928 3394 0.86 1.68/1.79 c 3023 380 3707 98778 26 14733 31859 3028 3344 0.90 1.68/1.79 c 3274 380 3958 106691 26 15199 35045 3279 3267 1.00 1.68/1.79 c 3749 380 4433 120264 27 16106 38550 3754 3106 1.21 1.68/1.79 c 4563 380 5247 142074 27 17775 42406 4568 2966 1.54 1.68/1.79 o 38 1.788 2.69/2.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.79 c 5112 380 5797 157017 27 18992 28962 5118 2859 1.79 2.69/2.79 c 5212 379 5897 159928 27 19026 31859 5218 2815 1.85 2.69/2.79 c 5465 379 6150 167524 27 19400 35045 5471 2751 1.99 2.69/2.79 c 5940 379 6625 180387 27 20436 38550 5946 2648 2.24 2.69/2.79 c 6753 379 7438 200578 26 22315 42406 6759 2494 2.71 2.69/2.79 o 36 2.795 5.59/5.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.62 c 6878 379 7564 204223 26 22439 28962 6885 2459 2.80 5.59/5.62 c 6979 375 7665 206839 26 22560 31859 6986 2416 2.89 5.59/5.62 c 7232 375 7918 213437 26 23198 35045 7239 2335 3.10 5.59/5.62 c 7709 375 8395 226637 26 24157 38550 7716 2239 3.44 5.59/5.62 c 8522 375 9208 249410 27 25696 42406 8529 2114 4.03 5.59/5.62 c 9843 374 10529 282115 26 28336 46647 9850 1941 5.07 5.59/5.62 o 35 5.616 8.79/8.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.79/8.89 c 10403 374 11090 295881 26 29475 28954 10411 1852 5.62 8.79/8.89 c 10504 374 11191 298504 26 29768 31850 10512 1834 5.72 8.79/8.89 c 10755 374 11442 304698 26 30273 35036 10763 1803 5.96 8.79/8.89 c 11231 374 11918 315611 26 31236 38540 11239 1759 6.38 8.79/8.89 c 12045 374 12732 335654 26 32758 42395 12053 1667 7.22 8.79/8.89 c 13366 374 14053 365632 26 35433 46635 13374 1541 8.67 8.79/8.89 o 34 8.886 29.78/29.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.78/29.86 c 13490 374 14178 368956 26 35459 28960 13499 1517 8.89 29.78/29.86 c 13590 374 14278 371878 26 35888 31857 13599 1493 9.10 29.78/29.86 c 13840 374 14528 377712 25 35873 35043 13849 1483 9.33 29.78/29.86 c 14317 374 15005 390775 26 37236 38548 14326 1428 10.03 29.78/29.86 c 15132 374 15820 415317 26 38893 42403 15141 1353 11.18 29.78/29.86 c 16453 374 17141 447942 26 41644 46644 16462 1232 13.35 29.78/29.86 c 18534 374 19222 498549 25 45703 51309 18543 1094 16.93 29.78/29.86 c 21757 372 22445 578234 25 52297 56440 21766 973 22.35 29.78/29.86 v -x1 x2 x3 -x4 -x5 -x6 x386 x38 x39 x40 -x41 -x42 -x43 x44 x45 -x46 x47 -x48 -x49 -x385 x32 -x33 x34 -x35 -x36 -x37 -x384 -x383 -x382 29.78/29.86 v x381 x380 x26 x27 -x28 -x29 -x30 -x31 -x379 -x378 -x377 -x376 -x375 -x374 x373 x372 -x371 x370 x369 x368 x367 x366 x20 -x21 -x22 29.78/29.86 v -x23 -x24 -x25 -x365 -x364 -x363 -x362 -x361 -x360 -x359 x358 -x357 x356 x355 -x354 x353 -x352 x351 x350 -x349 x348 x347 x346 29.78/29.86 v -x345 x344 x343 x342 x341 x340 x339 x338 x337 x336 -x7 -x8 -x9 -x10 -x11 -x12 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 29.78/29.86 v -x327 -x326 x325 x324 x323 x322 -x321 -x320 -x319 x318 x317 -x316 x315 x314 -x313 x312 x311 x310 -x309 x308 x307 x306 x305 -x304 29.78/29.86 v x303 x302 x301 -x300 x299 x298 x297 x296 -x295 x294 x293 x292 x291 x290 x289 x288 x287 x286 x285 x284 x283 x282 x281 -x13 -x14 29.78/29.86 v -x15 -x16 -x17 -x18 -x19 -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 x269 x268 x267 x266 x265 x264 -x263 29.78/29.86 v -x262 -x261 x260 x259 -x258 x257 x256 -x255 x254 x253 x252 x251 x250 x249 -x248 x247 x246 x245 x244 -x243 x242 x241 x240 -x239 29.78/29.86 v 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 29.78/29.86 v 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 29.78/29.86 v -x188 -x187 -x186 -x185 x184 x183 -x182 -x181 -x180 -x179 -x178 x177 x176 x175 x174 x173 x172 x171 x170 -x169 -x168 -x167 x166 29.78/29.86 v x165 -x164 x163 x162 -x161 x160 x159 x158 x157 x156 x155 x154 x153 x152 -x151 x150 x149 x148 x147 -x146 x145 x144 x143 -x142 29.78/29.86 v 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 29.78/29.86 v 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 29.78/29.86 v 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 29.78/29.86 v x54 x53 x52 x51 x50 29.78/29.86 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 29.78/29.86 c 42 25832 2027 29173 26520 656021 25841 865 29.86 29.78/29.86 c Objective: 34 29.78/29.86 s OPTIMUM FOUND 29.78/29.86 c Total time: 29.855 s
OK 34
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node71/watcher-433551-1177961294 -o ROOT/results/node71/solver-433551-1177961294 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433551-1177961294/instance-433551-1177961294.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.96 3/64 23828 /proc/meminfo: memFree=1827312/2055920 swapFree=4184188/4192956 [pid=23828] ppid=23826 vsize=19660 CPUtime=0 /proc/23828/stat : 23828 (bsolo3.0.17) R 23826 23828 23120 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 272118728 20131840 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23828/statm: 4915 331 279 324 0 3957 0 [startup+0.099112 s] /proc/loadavg: 1.00 1.00 0.96 3/64 23828 /proc/meminfo: memFree=1827312/2055920 swapFree=4184188/4192956 [pid=23828] ppid=23826 vsize=4580 CPUtime=0.09 /proc/23828/stat : 23828 (bsolo3.0.17) R 23826 23828 23120 0 -1 4194304 595 0 0 0 9 0 0 0 18 0 1 0 272118728 4689920 537 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23828/statm: 1145 537 310 324 0 215 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4580 [startup+0.101112 s] /proc/loadavg: 1.00 1.00 0.96 3/64 23828 /proc/meminfo: memFree=1827312/2055920 swapFree=4184188/4192956 [pid=23828] ppid=23826 vsize=4580 CPUtime=0.09 /proc/23828/stat : 23828 (bsolo3.0.17) R 23826 23828 23120 0 -1 4194304 595 0 0 0 9 0 0 0 18 0 1 0 272118728 4689920 537 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23828/statm: 1145 537 310 324 0 215 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4580 [startup+0.301139 s] /proc/loadavg: 1.00 1.00 0.96 3/64 23828 /proc/meminfo: memFree=1827312/2055920 swapFree=4184188/4192956 [pid=23828] ppid=23826 vsize=4968 CPUtime=0.29 /proc/23828/stat : 23828 (bsolo3.0.17) R 23826 23828 23120 0 -1 4194304 676 0 0 0 29 0 0 0 19 0 1 0 272118728 5087232 618 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23828/statm: 1242 618 311 324 0 312 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4968 [startup+0.701193 s] /proc/loadavg: 1.00 1.00 0.96 3/64 23828 /proc/meminfo: memFree=1827312/2055920 swapFree=4184188/4192956 [pid=23828] ppid=23826 vsize=5620 CPUtime=0.69 /proc/23828/stat : 23828 (bsolo3.0.17) R 23826 23828 23120 0 -1 4194304 834 0 0 0 69 0 0 0 22 0 1 0 272118728 5754880 776 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23828/statm: 1405 776 311 324 0 475 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5620 [startup+1.5013 s] /proc/loadavg: 1.00 1.00 0.96 2/65 23829 /proc/meminfo: memFree=1825000/2055920 swapFree=4184188/4192956 [pid=23828] ppid=23826 vsize=6532 CPUtime=1.48 /proc/23828/stat : 23828 (bsolo3.0.17) R 23826 23828 23120 0 -1 4194304 1072 0 0 0 148 0 0 0 25 0 1 0 272118728 6688768 1014 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23828/statm: 1633 1014 311 324 0 703 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 6532 [startup+3.10152 s] /proc/loadavg: 1.00 1.00 0.96 2/65 23829 /proc/meminfo: memFree=1823720/2055920 swapFree=4184188/4192956 [pid=23828] ppid=23826 vsize=7828 CPUtime=3.09 /proc/23828/stat : 23828 (bsolo3.0.17) R 23826 23828 23120 0 -1 4194304 1387 0 0 0 308 1 0 0 25 0 1 0 272118728 8015872 1329 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23828/statm: 1957 1329 311 324 0 1027 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7828 [startup+6.30196 s] /proc/loadavg: 1.00 1.00 0.96 2/65 23829 /proc/meminfo: memFree=1821480/2055920 swapFree=4184188/4192956 [pid=23828] ppid=23826 vsize=9520 CPUtime=6.29 /proc/23828/stat : 23828 (bsolo3.0.17) R 23826 23828 23120 0 -1 4194304 1819 0 0 0 628 1 0 0 25 0 1 0 272118728 9748480 1761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23828/statm: 2380 1761 311 324 0 1450 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9520 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 0.96 2/65 23829 /proc/meminfo: memFree=1819176/2055920 swapFree=4184188/4192956 [pid=23828] ppid=23826 vsize=11740 CPUtime=12.68 /proc/23828/stat : 23828 (bsolo3.0.17) R 23826 23828 23120 0 -1 4194304 2354 0 0 0 1266 2 0 0 25 0 1 0 272118728 12021760 2296 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23828/statm: 2935 2296 311 324 0 2005 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 11740 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 0.96 2/65 23829 /proc/meminfo: memFree=1815912/2055920 swapFree=4184188/4192956 [pid=23828] ppid=23826 vsize=14740 CPUtime=25.48 /proc/23828/stat : 23828 (bsolo3.0.17) R 23826 23828 23120 0 -1 4194304 3126 0 0 0 2545 3 0 0 25 0 1 0 272118728 15093760 3068 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23828/statm: 3685 3068 311 324 0 2755 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14740 Solver just ended. Dumping a history of the last processes samples [startup+27.1018 s] /proc/loadavg: 1.00 1.00 0.96 2/65 23829 /proc/meminfo: memFree=1815720/2055920 swapFree=4184188/4192956 [pid=23828] ppid=23826 vsize=15000 CPUtime=27.08 /proc/23828/stat : 23828 (bsolo3.0.17) R 23826 23828 23120 0 -1 4194304 3196 0 0 0 2705 3 0 0 25 0 1 0 272118728 15360000 3138 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23828/statm: 3750 3138 311 324 0 2820 0 Current children cumulated CPU time (s) 27.08 Current children cumulated vsize (KiB) 15000 [startup+28.702 s] /proc/loadavg: 1.00 1.00 0.96 2/65 23829 /proc/meminfo: memFree=1815400/2055920 swapFree=4184188/4192956 [pid=23828] ppid=23826 vsize=15388 CPUtime=28.68 /proc/23828/stat : 23828 (bsolo3.0.17) R 23826 23828 23120 0 -1 4194304 3272 0 0 0 2865 3 0 0 25 0 1 0 272118728 15757312 3214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23828/statm: 3847 3214 311 324 0 2917 0 Current children cumulated CPU time (s) 28.68 Current children cumulated vsize (KiB) 15388 [startup+29.5011 s] /proc/loadavg: 1.00 1.00 0.96 2/65 23829 /proc/meminfo: memFree=1815400/2055920 swapFree=4184188/4192956 [pid=23828] ppid=23826 vsize=15520 CPUtime=29.48 /proc/23828/stat : 23828 (bsolo3.0.17) R 23826 23828 23120 0 -1 4194304 3310 0 0 0 2945 3 0 0 25 0 1 0 272118728 15892480 3252 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23828/statm: 3880 3252 311 324 0 2950 0 Current children cumulated CPU time (s) 29.48 Current children cumulated vsize (KiB) 15520 [startup+29.7052 s] /proc/loadavg: 1.00 1.00 0.96 2/65 23829 /proc/meminfo: memFree=1815208/2055920 swapFree=4184188/4192956 [pid=23828] ppid=23826 vsize=15520 CPUtime=29.68 /proc/23828/stat : 23828 (bsolo3.0.17) R 23826 23828 23120 0 -1 4194304 3321 0 0 0 2965 3 0 0 25 0 1 0 272118728 15892480 3263 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23828/statm: 3880 3263 311 324 0 2950 0 Current children cumulated CPU time (s) 29.68 Current children cumulated vsize (KiB) 15520 [startup+29.8012 s] /proc/loadavg: 1.00 1.00 0.96 2/65 23829 /proc/meminfo: memFree=1815208/2055920 swapFree=4184188/4192956 [pid=23828] ppid=23826 vsize=15520 CPUtime=29.78 /proc/23828/stat : 23828 (bsolo3.0.17) R 23826 23828 23120 0 -1 4194304 3326 0 0 0 2975 3 0 0 25 0 1 0 272118728 15892480 3268 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23828/statm: 3880 3268 311 324 0 2950 0 Current children cumulated CPU time (s) 29.78 Current children cumulated vsize (KiB) 15520 Child status: 0 Real time (s): 29.8707 CPU time (s): 29.8595 CPU user time (s): 29.8175 CPU system time (s): 0.041993 CPU usage (%): 99.9624 Max. virtual memory (cumulated for all children) (KiB): 15520 getrusage(RUSAGE_CHILDREN,...) data: user time used= 29.8175 system time used= 0.041993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3332 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= 12 involuntary context switches= 40 runsolver used 0.021996 second user time and 0.067989 second system time The end
Begin job on node71 on Mon Apr 30 19:28:14 UTC 2007 IDJOB= 433551 IDBENCH= 2938 IDSOLVER= 199 FILE ID= node71/433551-1177961294 PBS_JOBID= 4727704 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_8.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433551-1177961294/instance-433551-1177961294.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-433551-1177961294 -o ROOT/results/node71/solver-433551-1177961294 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433551-1177961294/instance-433551-1177961294.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 7511e7863ac3e00f42a81c49dc15d5a1 RANDOM SEED= 157581587 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node71.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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: 1827720 kB Buffers: 15432 kB Cached: 135624 kB SwapCached: 2692 kB Active: 32300 kB Inactive: 129708 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1827720 kB SwapTotal: 4192956 kB SwapFree: 4184188 kB Dirty: 6692 kB Writeback: 0 kB Mapped: 17044 kB Slab: 52176 kB Committed_AS: 3762772 kB PageTables: 1452 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node71 on Mon Apr 30 19:28:44 UTC 2007