Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 44 | 753.561 | 753.743 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_9.opb |
MD5SUM | a849a24692bdc034ba3174a2ba23709e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 44 |
Best CPU time to get the best result obtained on this benchmark | 258.398 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 44 |
Optimality of the best value was proved | YES |
Number of variables | 601 |
Total number of constraints | 1089 |
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 | 1088 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 36 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 99 |
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 | 682 |
Number of bits of the biggest sum of numbers | 10 |
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.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: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656655-1276620433.opb 0.00/0.00 c File size is 197718 bytes. 0.00/0.03 c Highest Coefficient sum: 682 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.035 s 0.00/0.03 c Var: 601 Constr: 1089 1/0/1088 Lit: 25668 Watch. Lit: 5630 0.00/0.03 c Obj. Vars: 7 (1.16473 % of total variables) 0.03/0.06 c Pre-processing Time: 0.064 s 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 0 600 1088 25667 23 10039 51334 0 0 0.06 0.03/0.06 c Switching off lower bounding mode. 0.19/0.29 c 103 600 1282 29361 22 17068 56468 194 677 0.15 0.19/0.29 c 253 600 1577 37495 23 17118 62115 489 1171 0.22 0.19/0.29 o 70 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 436 600 1939 49997 25 17421 51360 851 1498 0.29 0.29/0.36 c 537 600 2140 55744 26 18197 56497 1052 1561 0.34 0.29/0.36 o 69 0.39/0.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.47 c 572 600 2210 58049 26 18049 51360 1122 1593 0.36 0.39/0.47 c 674 600 2414 63158 26 19124 56497 1326 1624 0.41 0.39/0.47 o 68 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 781 600 2628 68873 26 18953 51360 1540 1668 0.47 0.49/0.52 c 881 597 2817 74631 26 20212 56497 1729 1710 0.52 0.49/0.52 o 58 0.99/1.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.06 c 895 597 2841 75309 26 19635 51358 1753 1708 0.52 0.99/1.06 c 995 595 2996 78924 26 19811 56494 1908 1748 0.57 0.99/1.06 c 1246 595 3387 89328 26 21101 62144 2299 1790 0.70 0.99/1.06 c 1722 595 4152 110682 26 22618 68359 3064 1771 0.97 0.99/1.06 o 53 1.89/1.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.90 c 1873 595 4383 117229 26 22921 51358 3295 1765 1.06 1.89/1.90 c 1974 595 4543 121567 26 23699 56494 3455 1771 1.11 1.89/1.90 c 2224 595 4947 130618 26 25175 62144 3859 1745 1.27 1.89/1.90 c 2699 593 5670 150761 26 26207 68359 4582 1726 1.56 1.89/1.90 o 52 1.99/2.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.06 c 3270 593 6520 175298 26 28169 51358 5432 1719 1.90 1.99/2.06 c 3371 591 6677 179233 26 28750 56494 5589 1695 1.99 1.99/2.06 o 50 2.49/2.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.54 c 3478 591 6849 184165 26 29244 51356 5761 1683 2.07 2.49/2.54 c 3578 591 6995 188280 26 29545 56492 5907 1669 2.14 2.49/2.54 c 3828 591 7381 197494 26 31033 62142 6293 1633 2.34 2.49/2.54 o 47 18.19/18.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.19/18.24 c 4080 591 7764 208421 26 31170 51356 6676 1601 2.55 18.19/18.24 c 4180 591 7922 212707 26 31702 56492 6834 1588 2.63 18.19/18.24 c 4431 591 8282 222816 26 32448 62142 7194 1560 2.84 18.19/18.24 c 4906 591 9026 239970 26 34504 68357 7938 1518 3.23 18.19/18.24 c 5719 588 10247 269853 26 37422 75193 9159 1426 4.01 18.19/18.24 c 7039 588 12240 318865 26 42076 82713 11152 1265 5.56 18.19/18.24 c 9121 588 15291 395149 25 49497 90985 14203 1139 8.00 18.19/18.24 c 12345 588 20020 516868 25 60548 100084 18932 950 12.99 18.19/18.24 o 46 64.78/64.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 64.78/64.83 c 14871 588 23567 611751 25 68564 51356 22479 815 18.24 64.78/64.83 c 14972 588 23708 615604 25 69447 56492 22620 808 18.53 64.78/64.83 c 15223 588 24077 623990 25 70325 62142 22989 800 19.00 64.78/64.83 c 15698 588 24777 642755 25 71868 68357 23689 775 20.24 64.78/64.83 c 16512 588 25920 675734 26 74397 75193 24832 739 22.33 64.78/64.83 c 17833 588 27968 723705 25 79657 82713 26880 712 25.04 64.78/64.83 c 19915 588 30954 802342 25 86351 90985 29866 651 30.55 64.78/64.83 c 23139 588 35845 925835 25 98300 100084 34757 617 37.45 64.78/64.83 c 28075 588 43246 1113610 25 115858 110093 42158 533 52.64 64.78/64.83 o 45 421.49/421.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 421.49/421.62 c 31897 588 49078 1257562 25 129718 51356 47990 492 64.82 421.49/421.62 c 31999 587 49236 1261553 25 130059 56492 48148 489 65.39 421.49/421.62 c 32249 587 49596 1270570 25 130608 62142 48508 484 66.62 421.49/421.62 c 32724 587 50309 1288186 25 132579 68357 49221 476 68.68 421.49/421.62 c 33537 587 51519 1316551 25 135463 75193 50431 465 72.08 421.49/421.62 c 34857 587 53476 1364962 25 140686 82713 52388 442 78.74 421.49/421.62 c 36938 587 56580 1439873 25 147779 90985 55492 429 86.01 421.49/421.62 c 40163 587 61426 1556337 25 158756 100084 60338 402 99.67 421.49/421.62 c 45099 587 68833 1735586 25 176672 110093 67745 361 124.69 421.49/421.62 c 52605 587 79807 2011703 25 202368 121103 78719 322 163.37 421.49/421.62 c 63967 587 96363 2401571 24 241642 133214 95275 269 237.13 421.49/421.62 c 81114 587 121405 2995875 24 301082 146536 120317 223 362.71 421.49/421.62 o 44 753.51/753.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 753.51/753.73 c 87695 586 130628 3208658 24 321874 51356 129540 208 421.52 753.51/753.73 c 87797 581 20336 474271 23 60058 56492 19248 175 499.39 753.51/753.73 c 88048 581 20689 481947 23 60451 62142 19601 176 499.83 753.51/753.73 c 88523 580 21405 497154 23 62385 68357 20317 176 500.74 753.51/753.73 c 89336 580 22566 522988 23 64850 75193 21478 177 502.25 753.51/753.73 c 90656 580 24444 563150 23 69061 82713 23356 179 505.11 753.51/753.73 c 92738 580 27424 629775 22 76323 90985 26336 182 509.43 753.51/753.73 c 95963 580 32017 736915 23 87287 100084 30929 185 516.66 753.51/753.73 c 100899 580 38983 897388 23 103616 110093 37895 190 530.45 753.51/753.73 c 108406 580 49305 1126448 22 127383 121103 48217 195 554.10 753.51/753.73 c 119768 580 65243 1485112 22 165267 133214 64155 198 601.97 753.51/753.73 c 136914 573 89058 1989909 22 221618 146536 87970 194 702.80 753.51/753.73 v -x1 -x2 -x3 x4 -x5 -x6 x601 -x49 x50 -x51 -x52 x53 -x54 x55 x56 x57 x58 -x59 -x60 -x600 x42 -x43 -x44 -x45 x46 -x47 -x48 -x599 -x598 -x597 -x596 -x595 x35 -x36 -x37 x38 -x39 -x40 -x41 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 x28 x29 -x30 x31 -x32 -x33 -x34 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 x571 x570 -x569 -x568 -x567 -x566 -x565 -x564 x563 x562 x561 -x560 x559 x558 x557 x556 x555 x554 x553 x552 x551 -x21 x22 x23 -x24 -x25 -x26 -x27 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 x530 x529 -x528 x527 x526 -x525 -x524 -x523 -x522 x521 x520 -x519 x518 x517 x516 x515 x514 x513 x512 x511 -x510 -x509 -x508 x507 x506 -x505 x504 x503 x502 x501 x500 x499 x498 x497 -x496 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 x466 x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 x457 x456 x455 -x454 x453 x452 x451 -x450 x449 x448 x447 x446 -x445 -x444 -x443 -x442 -x441 -x440 x439 x438 x437 -x436 x435 x434 x433 x432 -x431 x430 x429 x428 x427 -x426 -x425 -x424 -x423 x422 x421 x420 x419 x418 x417 x416 x415 x414 x413 x412 -x411 x410 x409 x408 x407 x406 x405 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 x371 -x370 x369 x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 x359 x358 -x357 x356 x355 x354 -x353 x352 x351 x350 x349 x348 x347 x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 x337 x336 -x335 x334 x333 x332 -x331 -x330 x329 x328 x327 x326 -x325 x324 x323 x322 x321 -x320 -x319 -x318 -x317 x316 x315 -x314 x313 x312 x311 x310 x309 x308 x307 x306 -x305 x304 x303 x302 x301 x300 -x299 x298 x297 x296 x295 x294 x293 -x292 x291 x290 x289 x288 x287 x286 x285 x284 x283 x282 x281 x280 x279 -x278 x277 x276 x275 x274 x273 x272 x271 x270 x269 x268 x267 x266 x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 x245 x244 x243 x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 x228 -x227 x226 x225 x224 x223 x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 x213 x212 -x211 x210 x209 x208 -x207 x206 x205 x204 x203 x202 x201 x200 x199 x198 x197 x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 x188 x187 x186 -x185 x184 x183 x182 -x181 -x180 x179 x178 x177 x176 -x175 x174 x173 x172 x171 -x170 x169 x168 x167 x166 x165 -x164 -x163 -x162 x161 x160 -x159 x158 x157 x156 x155 x154 x153 x152 x151 -x150 x149 x148 x147 x146 x145 -x144 x143 x142 x141 x140 x139 x138 x137 x136 x135 x134 x133 x132 -x131 x130 x129 x128 x127 x126 x125 x124 x123 x122 x121 x120 x119 x118 -x117 x116 x115 x114 x113 x112 x111 x110 x109 x108 x107 x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 x96 x95 x94 x93 x92 x91 x90 x89 x88 x87 x86 x85 x84 x83 x82 x81 x80 x79 x78 x77 x76 x75 x74 x73 x72 x71 x70 x69 x68 x67 x66 x65 x64 x63 x62 x61 753.51/753.73 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 753.51/753.73 c 62 144499 15540 165728 98885 2170654 97797 191 753.55 753.51/753.73 c Objective: 44 753.51/753.73 s OPTIMUM FOUND 753.51/753.73 c Total time: 753.553 s
OK 44
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656655-1276620433/watcher-2656655-1276620433 -o /tmp/evaluation-result-2656655-1276620433/solver-2656655-1276620433 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656655-1276620433.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.07 1.06 1.01 3/106 10312 /proc/meminfo: memFree=1780768/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=10984 CPUtime=0 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 313 0 0 0 0 0 0 0 21 0 1 0 3335748 11247616 231 1992294400 134512640 137138936 4293600304 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 2746 231 175 642 0 2053 0 [startup+0.041011 s] /proc/loadavg: 1.07 1.06 1.01 3/106 10312 /proc/meminfo: memFree=1780768/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=11312 CPUtime=0.03 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 520 0 0 0 3 0 0 0 23 0 1 0 3335748 11583488 389 1992294400 134512640 137138936 4293600304 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 2828 389 184 642 0 2184 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11312 [startup+0.101015 s] /proc/loadavg: 1.07 1.06 1.01 3/106 10312 /proc/meminfo: memFree=1780768/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=11840 CPUtime=0.09 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 666 0 0 0 9 0 0 0 23 0 1 0 3335748 12124160 535 1992294400 134512640 137138936 4293600304 18446744073709551615 136297621 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 2960 535 192 642 0 2316 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11840 [startup+0.301033 s] /proc/loadavg: 1.07 1.06 1.01 3/106 10312 /proc/meminfo: memFree=1780768/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=11972 CPUtime=0.29 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 691 0 0 0 29 0 0 0 23 0 1 0 3335748 12259328 560 1992294400 134512640 137138936 4293600304 18446744073709551615 134542155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 2993 561 192 642 0 2349 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11972 [startup+0.701068 s] /proc/loadavg: 1.07 1.06 1.01 3/106 10312 /proc/meminfo: memFree=1780768/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=12620 CPUtime=0.69 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 857 0 0 0 69 0 0 0 25 0 1 0 3335748 12922880 726 1992294400 134512640 137138936 4293600304 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 3155 726 192 642 0 2511 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12620 [startup+1.50114 s] /proc/loadavg: 1.07 1.06 1.01 2/107 10313 /proc/meminfo: memFree=1778156/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=13640 CPUtime=1.49 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 1101 0 0 0 148 1 0 0 25 0 1 0 3335748 13967360 970 1992294400 134512640 137138936 4293600304 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 3410 970 192 642 0 2766 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13640 [startup+3.10028 s] /proc/loadavg: 1.06 1.06 1.01 2/107 10313 /proc/meminfo: memFree=1776668/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=15172 CPUtime=3.09 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 1480 0 0 0 308 1 0 0 25 0 1 0 3335748 15536128 1349 1992294400 134512640 137138936 4293600304 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 3793 1349 192 642 0 3149 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15172 [startup+6.30156 s] /proc/loadavg: 1.06 1.06 1.01 2/107 10313 /proc/meminfo: memFree=1774312/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=16952 CPUtime=6.29 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 1941 0 0 0 626 3 0 0 25 0 1 0 3335748 17358848 1810 1992294400 134512640 137138936 4293600304 18446744073709551615 134542984 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 4238 1810 192 642 0 3594 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16952 [startup+12.7011 s] /proc/loadavg: 1.05 1.05 1.01 2/107 10313 /proc/meminfo: memFree=1770964/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=20028 CPUtime=12.68 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 2699 0 0 0 1264 4 0 0 25 0 1 0 3335748 20508672 2568 1992294400 134512640 137138936 4293600304 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 5007 2568 192 642 0 4363 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20028 [startup+25.5012 s] /proc/loadavg: 1.05 1.05 1.01 2/107 10313 /proc/meminfo: memFree=1766872/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=23836 CPUtime=25.49 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 3657 0 0 0 2541 8 0 0 25 0 1 0 3335748 24408064 3526 1992294400 134512640 137138936 4293600304 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 5959 3526 192 642 0 5315 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 23836 [startup+51.1015 s] /proc/loadavg: 1.03 1.05 1.00 2/107 10315 /proc/meminfo: memFree=1760672/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=30228 CPUtime=51.08 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 5239 0 0 0 5094 14 0 0 25 0 1 0 3335748 30953472 5108 1992294400 134512640 137138936 4293600304 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 7557 5108 192 642 0 6913 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 30228 [startup+102.309 s] /proc/loadavg: 1.01 1.04 1.00 2/107 10315 /proc/meminfo: memFree=1751744/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=38912 CPUtime=102.27 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 7419 0 0 0 10204 23 0 0 25 0 1 0 3335748 39845888 7288 1992294400 134512640 137138936 4293600304 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 9728 7288 192 642 0 9084 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 38912 [startup+162.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 10317 /proc/meminfo: memFree=1744180/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=46468 CPUtime=162.25 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 9300 0 0 0 16193 32 0 0 25 0 1 0 3335748 47583232 9169 1992294400 134512640 137138936 4293600304 18446744073709551615 134542469 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 11617 9169 192 642 0 10973 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 46468 [startup+222.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 10319 /proc/meminfo: memFree=1738228/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=52348 CPUtime=222.24 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 10762 0 0 0 22184 40 0 0 25 0 1 0 3335748 53604352 10631 1992294400 134512640 137138936 4293600304 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 13087 10631 192 642 0 12443 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 52348 [startup+282.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 10321 /proc/meminfo: memFree=1732276/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=58224 CPUtime=282.23 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 12237 0 0 0 28176 47 0 0 25 0 1 0 3335748 59621376 12106 1992294400 134512640 137138936 4293600304 18446744073709551615 136504144 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 14556 12106 192 642 0 13912 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 58224 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10323 /proc/meminfo: memFree=1727812/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=62704 CPUtime=342.21 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 13369 0 0 0 34170 51 0 0 25 0 1 0 3335748 64208896 13238 1992294400 134512640 137138936 4293600304 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 15676 13238 192 642 0 15032 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 62704 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10323 /proc/meminfo: memFree=1723596/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=66916 CPUtime=402.2 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 14405 0 0 0 40163 57 0 0 25 0 1 0 3335748 68521984 14274 1992294400 134512640 137138936 4293600304 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 16729 14274 192 642 0 16085 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 66916 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10325 /proc/meminfo: memFree=1721612/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=68068 CPUtime=462.18 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 14848 0 0 0 46160 58 0 0 25 0 1 0 3335748 69701632 14590 1992294400 134512640 137138936 4293600304 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 17017 14590 192 642 0 16373 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 68068 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10327 /proc/meminfo: memFree=1721612/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=68068 CPUtime=522.16 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 14848 0 0 0 52154 62 0 0 25 0 1 0 3335748 69701632 14590 1992294400 134512640 137138936 4293600304 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 17017 14590 192 642 0 16373 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 68068 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10329 /proc/meminfo: memFree=1721488/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=68068 CPUtime=582.15 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 14848 0 0 0 58145 70 0 0 25 0 1 0 3335748 69701632 14590 1992294400 134512640 137138936 4293600304 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 17017 14590 192 642 0 16373 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 68068 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10331 /proc/meminfo: memFree=1721488/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=68068 CPUtime=642.15 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 14848 0 0 0 64138 77 0 0 25 0 1 0 3335748 69701632 14590 1992294400 134512640 137138936 4293600304 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 17017 14590 192 642 0 16373 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 68068 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10331 /proc/meminfo: memFree=1721488/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=68068 CPUtime=702.12 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 14848 0 0 0 70130 82 0 0 25 0 1 0 3335748 69701632 14590 1992294400 134512640 137138936 4293600304 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 17017 14590 192 642 0 16373 0 Current children cumulated CPU time (s) 702.12 Current children cumulated vsize (KiB) 68068 Solver just ended. Dumping a history of the last processes samples [startup+716.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10333 /proc/meminfo: memFree=1721364/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=68068 CPUtime=716.52 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 14848 0 0 0 71568 84 0 0 25 0 1 0 3335748 69701632 14590 1992294400 134512640 137138936 4293600304 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 17017 14590 192 642 0 16373 0 Current children cumulated CPU time (s) 716.52 Current children cumulated vsize (KiB) 68068 [startup+729.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10333 /proc/meminfo: memFree=1721364/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=68068 CPUtime=729.32 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 14848 0 0 0 72847 85 0 0 25 0 1 0 3335748 69701632 14590 1992294400 134512640 137138936 4293600304 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 17017 14590 192 642 0 16373 0 Current children cumulated CPU time (s) 729.32 Current children cumulated vsize (KiB) 68068 [startup+742.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10333 /proc/meminfo: memFree=1721364/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=68068 CPUtime=742.11 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 14848 0 0 0 74125 86 0 0 25 0 1 0 3335748 69701632 14590 1992294400 134512640 137138936 4293600304 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 17017 14590 192 642 0 16373 0 Current children cumulated CPU time (s) 742.11 Current children cumulated vsize (KiB) 68068 [startup+748.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10333 /proc/meminfo: memFree=1721364/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=68068 CPUtime=748.51 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 14848 0 0 0 74765 86 0 0 25 0 1 0 3335748 69701632 14590 1992294400 134512640 137138936 4293600304 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 17017 14590 192 642 0 16373 0 Current children cumulated CPU time (s) 748.51 Current children cumulated vsize (KiB) 68068 [startup+751.902 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10333 /proc/meminfo: memFree=1721364/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=68068 CPUtime=751.71 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 14848 0 0 0 75084 87 0 0 25 0 1 0 3335748 69701632 14590 1992294400 134512640 137138936 4293600304 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 17017 14590 192 642 0 16373 0 Current children cumulated CPU time (s) 751.71 Current children cumulated vsize (KiB) 68068 [startup+752.702 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10333 /proc/meminfo: memFree=1721364/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=68068 CPUtime=752.51 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 14848 0 0 0 75164 87 0 0 25 0 1 0 3335748 69701632 14590 1992294400 134512640 137138936 4293600304 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 17017 14590 192 642 0 16373 0 Current children cumulated CPU time (s) 752.51 Current children cumulated vsize (KiB) 68068 [startup+753.509 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10333 /proc/meminfo: memFree=1721364/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=68068 CPUtime=753.32 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 14848 0 0 0 75245 87 0 0 25 0 1 0 3335748 69701632 14590 1992294400 134512640 137138936 4293600304 18446744073709551615 134542149 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 17017 14590 192 642 0 16373 0 Current children cumulated CPU time (s) 753.32 Current children cumulated vsize (KiB) 68068 [startup+753.702 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10333 /proc/meminfo: memFree=1721364/2059040 swapFree=4165000/4192956 [pid=10312] ppid=10310 vsize=68068 CPUtime=753.51 /proc/10312/stat : 10312 (bsolo_pb10) R 10310 10312 10112 0 -1 4202496 14848 0 0 0 75264 87 0 0 25 0 1 0 3335748 69701632 14590 1992294400 134512640 137138936 4293600304 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10312/statm: 17017 14590 192 642 0 16373 0 Current children cumulated CPU time (s) 753.51 Current children cumulated vsize (KiB) 68068 Child status: 0 Real time (s): 753.743 CPU time (s): 753.561 CPU user time (s): 752.683 CPU system time (s): 0.878866 CPU usage (%): 99.9759 Max. virtual memory (cumulated for all children) (KiB): 68576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 752.683 system time used= 0.878866 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14849 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= 9330 runsolver used 1.21881 second user time and 3.59045 second system time The end
Begin job on node043 at 2010-06-15 18:47:13 IDJOB=2656655 IDBENCH=2943 IDSOLVER=1162 FILE ID=node043/2656655-1276620433 PBS_JOBID= 11172324 Free space on /tmp= 62296 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_9.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656655-1276620433/watcher-2656655-1276620433 -o /tmp/evaluation-result-2656655-1276620433/solver-2656655-1276620433 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656655-1276620433.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a849a24692bdc034ba3174a2ba23709e RANDOM SEED=2032447984 node043.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.241 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.48 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.241 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.37 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1781296 kB Buffers: 49112 kB Cached: 131496 kB SwapCached: 1408 kB Active: 82028 kB Inactive: 131420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1781296 kB SwapTotal: 4192956 kB SwapFree: 4165000 kB Dirty: 4252 kB Writeback: 0 kB AnonPages: 31432 kB Mapped: 15456 kB Slab: 42588 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183604 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62292 MiB End job on node043 at 2010-06-15 18:59:47