Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 34 | 29.8165 | 29.8291 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/366889-1177067929/instance-366889-1177067929.opb 0.00/0.00 c File size is 110888 bytes. 0.01/0.02 c Highest Coefficient sum: 472 0.01/0.02 c Parsing was ok!! 0.01/0.02 c Total parsing time: 0.023 s 0.01/0.02 c Var: 386 Constr: 680 1/0/679 Lit: 14478 Watch. Lit: 3396 0.01/0.02 c Obj. Vars: 7 (1.81347 % of total variables) 0.01/0.03 c Pre-processing Time: 0.032 s 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 0 384 679 14477 21 5755 28954 0 0 0.03 0.01/0.03 c Switching off LPR mode. 0.01/0.09 c 101 384 780 16413 21 9481 31850 101 1530 0.07 0.01/0.09 o 60 0.086 0.01/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.09 c 208 384 888 19609 22 8969 28966 209 2390 0.09 0.01/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 2536 0.10 0.19/0.29 c 347 383 1029 23383 22 9573 31861 350 2940 0.12 0.19/0.29 c 598 380 1280 30659 23 9917 35048 601 3602 0.17 0.19/0.29 c 1073 380 1755 44614 25 10786 38553 1076 3791 0.28 0.19/0.29 o 40 0.289 0.78/0.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.78/0.85 c 1091 380 1774 45160 25 10640 28962 1095 3775 0.29 0.78/0.85 c 1192 380 1875 48133 25 10946 31859 1196 3760 0.32 0.78/0.85 c 1442 380 2125 54873 25 11369 35045 1446 3784 0.38 0.78/0.85 c 1917 380 2600 68596 26 12534 38550 1921 3700 0.52 0.78/0.85 c 2730 380 3413 90463 26 14279 42406 2734 3500 0.78 0.78/0.85 o 39 0.851 1.68/1.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.68/1.75 c 2923 380 3607 95908 26 14398 28962 2928 3434 0.85 1.68/1.75 c 3023 380 3707 98778 26 14733 31859 3028 3385 0.89 1.68/1.75 c 3274 380 3958 106691 26 15199 35045 3279 3313 0.99 1.68/1.75 c 3749 380 4433 120264 27 16106 38550 3754 3158 1.19 1.68/1.75 c 4563 380 5247 142074 27 17775 42406 4568 3029 1.51 1.68/1.75 o 38 1.75 2.69/2.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.74 c 5112 380 5797 157017 27 18992 28962 5118 2921 1.75 2.69/2.74 c 5212 379 5897 159928 27 19026 31859 5218 2877 1.81 2.69/2.74 c 5465 379 6150 167524 27 19400 35045 5471 2811 1.94 2.69/2.74 c 5940 379 6625 180387 27 20436 38550 5946 2704 2.20 2.69/2.74 c 6753 379 7438 200578 26 22315 42406 6759 2545 2.65 2.69/2.74 o 36 2.741 5.49/5.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.55 c 6878 379 7564 204223 26 22439 28962 6885 2508 2.74 5.49/5.55 c 6979 375 7665 206839 26 22560 31859 6986 2464 2.83 5.49/5.55 c 7232 375 7918 213437 26 23198 35045 7239 2380 3.04 5.49/5.55 c 7709 375 8395 226637 26 24157 38550 7716 2282 3.38 5.49/5.55 c 8522 375 9208 249410 27 25696 42406 8529 2150 3.96 5.49/5.55 c 9843 374 10529 282115 26 28336 46647 9850 1967 5.00 5.49/5.55 o 35 5.547 8.79/8.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.79/8.82 c 10403 374 11090 295881 26 29475 28954 10411 1875 5.55 8.79/8.82 c 10504 374 11191 298504 26 29768 31850 10512 1857 5.66 8.79/8.82 c 10755 374 11442 304698 26 30273 35036 10763 1824 5.89 8.79/8.82 c 11231 374 11918 315611 26 31236 38540 11239 1779 6.31 8.79/8.82 c 12045 374 12732 335654 26 32758 42395 12053 1684 7.15 8.79/8.82 c 13366 374 14053 365632 26 35433 46635 13374 1555 8.59 8.79/8.82 o 34 8.813 29.78/29.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.78/29.82 c 13490 374 14178 368956 26 35459 28960 13499 1530 8.81 29.78/29.82 c 13590 374 14278 371878 26 35888 31857 13599 1506 9.02 29.78/29.82 c 13840 374 14528 377712 25 35873 35043 13849 1495 9.25 29.78/29.82 c 14317 374 15005 390775 26 37236 38548 14326 1438 9.95 29.78/29.82 c 15132 374 15820 415317 26 38893 42403 15141 1361 11.11 29.78/29.82 c 16453 374 17141 447942 26 41644 46644 16462 1236 13.31 29.78/29.82 c 18534 374 19222 498549 25 45703 51309 18543 1096 16.90 29.78/29.82 c 21757 372 22445 578234 25 52297 56440 21766 975 22.31 29.78/29.82 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.82 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.82 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.82 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.82 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.82 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.82 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.82 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.82 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.82 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.82 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.82 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.82 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.82 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.82 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.82 v x54 x53 x52 x51 x50 29.78/29.82 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 29.78/29.82 c 42 25832 2027 29173 26520 656021 25841 866 29.81 29.78/29.82 c Objective: 34 29.78/29.82 s OPTIMUM FOUND 29.78/29.82 c Total time: 29.812 s
OK 34
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node65/watcher-366889-1177067929 -o ROOT/results/node65/solver-366889-1177067929 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/366889-1177067929/instance-366889-1177067929.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: 0.91 0.97 0.99 3/64 18868 /proc/meminfo: memFree=1677432/2055920 swapFree=4184000/4192956 [pid=18868] ppid=18866 vsize=19660 CPUtime=0 /proc/18868/stat : 18868 (bsolo3.0.16) R 18866 18868 17877 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 182782500 20131840 331 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134536080 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18868/statm: 4915 332 281 324 0 3956 0 [startup+0.0220179 s] /proc/loadavg: 0.91 0.97 0.99 3/64 18868 /proc/meminfo: memFree=1677432/2055920 swapFree=4184000/4192956 [pid=18868] ppid=18866 vsize=4292 CPUtime=0.01 /proc/18868/stat : 18868 (bsolo3.0.16) R 18866 18868 17877 0 -1 4194304 435 0 0 0 1 0 0 0 18 0 1 0 182782500 4395008 403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18868/statm: 1073 403 304 324 0 114 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4292 [startup+0.101023 s] /proc/loadavg: 0.91 0.97 0.99 3/64 18868 /proc/meminfo: memFree=1677432/2055920 swapFree=4184000/4192956 [pid=18868] ppid=18866 vsize=4580 CPUtime=0.09 /proc/18868/stat : 18868 (bsolo3.0.16) R 18866 18868 17877 0 -1 4194304 599 0 0 0 9 0 0 0 18 0 1 0 182782500 4689920 539 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18868/statm: 1145 539 312 324 0 214 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4580 [startup+0.301039 s] /proc/loadavg: 0.91 0.97 0.99 3/64 18868 /proc/meminfo: memFree=1677432/2055920 swapFree=4184000/4192956 [pid=18868] ppid=18866 vsize=4968 CPUtime=0.29 /proc/18868/stat : 18868 (bsolo3.0.16) R 18866 18868 17877 0 -1 4194304 680 0 0 0 29 0 0 0 19 0 1 0 182782500 5087232 620 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18868/statm: 1242 620 313 324 0 311 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4968 [startup+0.701073 s] /proc/loadavg: 0.91 0.97 0.99 3/64 18868 /proc/meminfo: memFree=1677432/2055920 swapFree=4184000/4192956 [pid=18868] ppid=18866 vsize=5620 CPUtime=0.68 /proc/18868/stat : 18868 (bsolo3.0.16) R 18866 18868 17877 0 -1 4194304 840 0 0 0 68 0 0 0 22 0 1 0 182782500 5754880 780 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18868/statm: 1405 780 313 324 0 474 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 5620 [startup+1.50214 s] /proc/loadavg: 0.91 0.97 0.99 2/65 18869 /proc/meminfo: memFree=1675184/2055920 swapFree=4184000/4192956 [pid=18868] ppid=18866 vsize=6532 CPUtime=1.48 /proc/18868/stat : 18868 (bsolo3.0.16) R 18866 18868 17877 0 -1 4194304 1084 0 0 0 148 0 0 0 25 0 1 0 182782500 6688768 1024 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18868/statm: 1633 1024 313 324 0 702 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 6532 [startup+3.10127 s] /proc/loadavg: 0.91 0.97 0.99 2/65 18869 /proc/meminfo: memFree=1673840/2055920 swapFree=4184000/4192956 [pid=18868] ppid=18866 vsize=7828 CPUtime=3.09 /proc/18868/stat : 18868 (bsolo3.0.16) R 18866 18868 17877 0 -1 4194304 1399 0 0 0 308 1 0 0 25 0 1 0 182782500 8015872 1339 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18868/statm: 1957 1339 313 324 0 1026 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7828 [startup+6.30154 s] /proc/loadavg: 0.92 0.97 0.99 2/65 18869 /proc/meminfo: memFree=1671728/2055920 swapFree=4184000/4192956 [pid=18868] ppid=18866 vsize=9520 CPUtime=6.29 /proc/18868/stat : 18868 (bsolo3.0.16) R 18866 18868 17877 0 -1 4194304 1830 0 0 0 627 2 0 0 25 0 1 0 182782500 9748480 1770 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18868/statm: 2380 1770 313 324 0 1449 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9520 [startup+12.7011 s] /proc/loadavg: 0.93 0.97 0.99 2/65 18869 /proc/meminfo: memFree=1669360/2055920 swapFree=4184000/4192956 [pid=18868] ppid=18866 vsize=11740 CPUtime=12.68 /proc/18868/stat : 18868 (bsolo3.0.16) R 18866 18868 17877 0 -1 4194304 2362 0 0 0 1265 3 0 0 25 0 1 0 182782500 12021760 2302 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18868/statm: 2935 2302 313 324 0 2004 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 11740 [startup+25.5011 s] /proc/loadavg: 0.94 0.97 0.99 2/65 18869 /proc/meminfo: memFree=1666160/2055920 swapFree=4184000/4192956 [pid=18868] ppid=18866 vsize=14740 CPUtime=25.48 /proc/18868/stat : 18868 (bsolo3.0.16) R 18866 18868 17877 0 -1 4194304 3131 0 0 0 2542 6 0 0 25 0 1 0 182782500 15093760 3071 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18868/statm: 3685 3071 313 324 0 2754 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.1023 s] /proc/loadavg: 0.94 0.97 0.99 2/65 18869 /proc/meminfo: memFree=1665968/2055920 swapFree=4184000/4192956 [pid=18868] ppid=18866 vsize=15000 CPUtime=27.08 /proc/18868/stat : 18868 (bsolo3.0.16) R 18866 18868 17877 0 -1 4194304 3202 0 0 0 2702 6 0 0 25 0 1 0 182782500 15360000 3142 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18868/statm: 3750 3142 313 324 0 2819 0 Current children cumulated CPU time (s) 27.08 Current children cumulated vsize (KiB) 15000 [startup+28.7014 s] /proc/loadavg: 0.94 0.97 0.99 2/65 18869 /proc/meminfo: memFree=1665584/2055920 swapFree=4184000/4192956 [pid=18868] ppid=18866 vsize=15388 CPUtime=28.68 /proc/18868/stat : 18868 (bsolo3.0.16) R 18866 18868 17877 0 -1 4194304 3278 0 0 0 2861 7 0 0 25 0 1 0 182782500 15757312 3218 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18868/statm: 3847 3218 313 324 0 2916 0 Current children cumulated CPU time (s) 28.68 Current children cumulated vsize (KiB) 15388 [startup+29.5015 s] /proc/loadavg: 0.94 0.97 0.99 2/65 18869 /proc/meminfo: memFree=1665584/2055920 swapFree=4184000/4192956 [pid=18868] ppid=18866 vsize=15520 CPUtime=29.48 /proc/18868/stat : 18868 (bsolo3.0.16) R 18866 18868 17877 0 -1 4194304 3317 0 0 0 2941 7 0 0 25 0 1 0 182782500 15892480 3257 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18868/statm: 3880 3257 313 324 0 2949 0 Current children cumulated CPU time (s) 29.48 Current children cumulated vsize (KiB) 15520 [startup+29.7055 s] /proc/loadavg: 0.95 0.97 0.99 2/65 18869 /proc/meminfo: memFree=1665392/2055920 swapFree=4184000/4192956 [pid=18868] ppid=18866 vsize=15520 CPUtime=29.68 /proc/18868/stat : 18868 (bsolo3.0.16) R 18866 18868 17877 0 -1 4194304 3327 0 0 0 2961 7 0 0 25 0 1 0 182782500 15892480 3267 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18868/statm: 3880 3267 313 324 0 2949 0 Current children cumulated CPU time (s) 29.68 Current children cumulated vsize (KiB) 15520 [startup+29.8015 s] /proc/loadavg: 0.95 0.97 0.99 2/65 18869 /proc/meminfo: memFree=1665392/2055920 swapFree=4184000/4192956 [pid=18868] ppid=18866 vsize=15520 CPUtime=29.78 /proc/18868/stat : 18868 (bsolo3.0.16) R 18866 18868 17877 0 -1 4194304 3331 0 0 0 2971 7 0 0 25 0 1 0 182782500 15892480 3271 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18868/statm: 3880 3271 313 324 0 2949 0 Current children cumulated CPU time (s) 29.78 Current children cumulated vsize (KiB) 15520 Child status: 0 Real time (s): 29.8291 CPU time (s): 29.8165 CPU user time (s): 29.7345 CPU system time (s): 0.081987 CPU usage (%): 99.9576 Max. virtual memory (cumulated for all children) (KiB): 15520 getrusage(RUSAGE_CHILDREN,...) data: user time used= 29.7345 system time used= 0.081987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3333 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= 68 runsolver used 0.018997 second user time and 0.073988 second system time The end
Begin job on node65 on Fri Apr 20 11:18:49 UTC 2007 IDJOB= 366889 IDBENCH= 2938 IDSOLVER= 163 FILE ID= node65/366889-1177067929 PBS_JOBID= 4640228 Free space on /tmp= 66397 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/366889-1177067929/instance-366889-1177067929.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-366889-1177067929 -o ROOT/results/node65/solver-366889-1177067929 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/366889-1177067929/instance-366889-1177067929.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 7511e7863ac3e00f42a81c49dc15d5a1 RANDOM SEED= 358077788 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node65.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.245 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.245 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: 1677904 kB Buffers: 30544 kB Cached: 297120 kB SwapCached: 2680 kB Active: 72908 kB Inactive: 264176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1677904 kB SwapTotal: 4192956 kB SwapFree: 4184000 kB Dirty: 4500 kB Writeback: 0 kB Mapped: 15396 kB Slab: 26884 kB Committed_AS: 2364128 kB PageTables: 1456 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= 66397 MiB End job on node65 on Fri Apr 20 11:19:19 UTC 2007