Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | OPT | 44 | 671.02 | 671.196 |
Name | normalized-PB06/OPT-SMALLINT/ submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb |
MD5SUM | 824c01e4395cf59ee9d4081be7b21301 |
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 | 324.711 |
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 | 603 |
Total number of constraints | 1088 |
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 | 1088 |
Minimum length of a constraint | 14 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
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 | 669 |
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-2656521-1276588267.opb 0.00/0.00 c File size is 207165 bytes. 0.00/0.03 c Highest Coefficient sum: 669 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: 603 Constr: 1088 0/0/1088 Lit: 26896 Watch. Lit: 5228 0.00/0.03 c Obj. Vars: 7 (1.16086 % of total variables) 0.03/0.07 c Pre-processing Time: 0.07 s 0.03/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.07 c 0 603 1088 26896 24 10058 53792 0 0 0.07 0.03/0.07 c Switching off lower bounding mode. 0.19/0.20 c 101 603 1276 30565 23 18330 59172 188 623 0.16 0.19/0.20 o 52 0.59/0.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.62 c 169 603 1407 34146 24 16635 53806 319 836 0.20 0.59/0.62 c 270 603 1604 37849 23 15595 59187 516 1148 0.23 0.59/0.62 c 520 594 1973 48932 24 17892 65106 885 1428 0.36 0.59/0.62 c 995 594 2748 67605 24 19193 71617 1660 1770 0.56 0.59/0.62 o 51 1.59/1.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.60 c 1133 594 2969 73383 24 20436 53804 1881 1824 0.62 1.59/1.60 c 1233 594 3130 77210 24 21391 59185 2042 1848 0.67 1.59/1.60 c 1483 594 3500 86987 24 21585 65104 2412 1872 0.79 1.59/1.60 c 1960 594 4191 106557 25 23355 71615 3103 1897 1.03 1.59/1.60 c 2773 594 5471 135717 24 26408 78777 4383 1894 1.46 1.59/1.60 o 47 38.78/38.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.78/38.85 c 3002 594 5833 145521 24 28390 53804 4745 1870 1.60 38.78/38.85 c 3102 594 5994 149112 24 28313 59185 4906 1873 1.66 38.78/38.85 c 3352 594 6403 159306 24 28524 65104 5315 1837 1.82 38.78/38.85 c 3829 594 7128 179737 25 31584 71615 6040 1804 2.12 38.78/38.85 c 4642 594 8448 213007 25 34085 78777 7360 1735 2.67 38.78/38.85 c 5962 594 10510 262404 24 39596 86655 9422 1678 3.55 38.78/38.85 c 8044 594 13776 348661 25 47612 95321 12688 1472 5.46 38.78/38.85 c 11267 594 18864 481786 25 59758 104854 17776 1197 9.41 38.78/38.85 c 16204 594 26530 676042 25 77920 115340 25442 974 16.62 38.78/38.85 c 23712 594 38336 992194 25 106980 126875 37248 679 34.88 38.78/38.85 o 46 139.86/139.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 139.86/139.99 c 25350 594 40960 1059126 25 113052 53804 39872 652 38.84 139.86/139.99 c 25451 594 41129 1062618 25 113279 59185 40041 649 39.20 139.86/139.99 c 25701 594 41532 1072512 25 114966 65104 40444 641 40.09 139.86/139.99 c 26176 594 42292 1094519 25 116672 71615 41204 628 41.64 139.86/139.99 c 26990 594 43551 1128276 25 119718 78777 42463 613 43.98 139.86/139.99 c 28310 594 45697 1184271 25 124683 86655 44609 589 48.06 139.86/139.99 c 30392 594 48882 1266200 25 131969 95321 47794 549 55.27 139.86/139.99 c 33615 594 53832 1400598 26 144817 104854 52744 494 68.03 139.86/139.99 c 38553 594 61705 1584758 25 163924 115340 60617 458 84.12 139.86/139.99 c 46059 594 73529 1889532 25 192201 126875 72441 413 111.46 139.86/139.99 o 45 236.44/236.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 236.44/236.56 c 51693 594 82338 2128632 25 213838 53804 81250 369 139.96 236.44/236.56 c 51793 594 20728 538373 25 61555 59185 19640 322 160.46 236.44/236.56 c 52044 594 21140 549350 25 63977 65104 20052 323 161.08 236.44/236.56 c 52519 594 21895 568616 25 66266 71615 20807 323 162.10 236.44/236.56 c 53333 594 23165 599893 25 69008 78777 22077 325 163.83 236.44/236.56 c 54653 594 25183 651393 25 73998 86655 24095 328 166.34 236.44/236.56 c 56734 594 28332 737602 26 80775 95321 27244 331 171.02 236.44/236.56 c 59958 594 33444 855897 25 94032 104854 32356 338 176.98 236.44/236.56 c 64896 594 41003 1063179 25 111779 115340 39915 336 192.69 236.44/236.56 c 72402 594 52760 1374907 26 139652 126875 51672 334 216.72 236.44/236.56 o 44 670.92/671.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 670.92/671.18 c 77026 594 60079 1562095 26 158079 53818 58991 325 236.50 670.92/671.18 c 77127 594 20609 535227 25 63076 59200 19521 315 244.61 670.92/671.18 c 77377 594 21007 543956 25 63732 65121 19919 315 244.98 670.92/671.18 c 77852 594 21740 562238 25 66146 71634 20652 316 245.89 670.92/671.18 c 78665 594 23086 595518 25 68885 78798 21998 317 247.54 670.92/671.18 c 79985 594 25140 646464 25 73762 86678 24052 319 250.15 670.92/671.18 c 82067 594 28406 730803 25 81729 95346 27318 322 254.39 670.92/671.18 c 85291 594 33609 865967 25 94314 104881 32521 324 262.98 670.92/671.18 c 90228 594 41210 1048895 25 111513 115370 40122 331 272.58 670.92/671.18 c 97735 594 52571 1344387 25 139925 126908 51483 329 296.92 670.92/671.18 c 109098 594 69659 1780475 25 181374 139599 68571 325 334.68 670.92/671.18 c 126242 581 94668 2410767 25 241725 153559 93580 294 428.11 670.92/671.18 c 152061 562 129451 3149289 24 323900 168915 128363 249 608.70 670.92/671.18 v -x1 -x2 x3 x4 -x5 x6 -x7 x50 x51 x52 -x53 -x54 x55 -x56 x57 x58 -x59 x60 -x61 x62 -x63 -x603 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x602 -x601 -x600 -x599 -x598 x36 x37 -x38 -x39 x40 -x41 -x42 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 x29 -x30 -x31 -x32 x33 -x34 -x35 -x583 -x582 -x581 -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 x22 -x23 -x24 x25 -x26 -x27 -x28 -x553 -x552 -x551 -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 x8 x9 -x10 -x11 -x12 -x13 -x14 -x498 -x497 -x496 -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 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x407 -x406 -x405 -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 670.92/671.18 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 670.92/671.18 c 53 161067 15400 181419 141047 3366292 139959 240 671.01 670.92/671.18 c Objective: 44 670.92/671.18 s OPTIMUM FOUND 670.92/671.18 c Total time: 671.011 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-2656521-1276588267/watcher-2656521-1276588267 -o /tmp/evaluation-result-2656521-1276588267/solver-2656521-1276588267 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656521-1276588267.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.93 0.99 0.99 3/106 2735 /proc/meminfo: memFree=1835608/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=10992 CPUtime=0 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 311 0 0 0 0 0 0 0 20 0 1 0 32483039 11255808 230 1992294400 134512640 137138936 4292493680 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 2748 230 174 642 0 2053 0 [startup+0.041642 s] /proc/loadavg: 0.93 0.99 0.99 3/106 2735 /proc/meminfo: memFree=1835608/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=11440 CPUtime=0.03 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 529 0 0 0 3 0 0 0 20 0 1 0 32483039 11714560 397 1992294400 134512640 137138936 4292493680 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 2860 397 184 642 0 2216 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11440 [startup+0.100647 s] /proc/loadavg: 0.93 0.99 0.99 3/106 2735 /proc/meminfo: memFree=1835608/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=11836 CPUtime=0.09 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 667 0 0 0 9 0 0 0 20 0 1 0 32483039 12120064 535 1992294400 134512640 137138936 4292493680 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 2959 535 192 642 0 2315 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11836 [startup+0.300667 s] /proc/loadavg: 0.93 0.99 0.99 3/106 2735 /proc/meminfo: memFree=1835608/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=11836 CPUtime=0.29 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 667 0 0 0 29 0 0 0 20 0 1 0 32483039 12120064 535 1992294400 134512640 137138936 4292493680 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 2959 535 192 642 0 2315 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11836 [startup+0.700705 s] /proc/loadavg: 0.93 0.99 0.99 3/106 2735 /proc/meminfo: memFree=1835608/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=12476 CPUtime=0.69 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 826 0 0 0 69 0 0 0 21 0 1 0 32483039 12775424 694 1992294400 134512640 137138936 4292493680 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 3119 694 192 642 0 2475 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12476 [startup+1.50078 s] /proc/loadavg: 0.93 0.99 0.99 2/107 2736 /proc/meminfo: memFree=1832996/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=13628 CPUtime=1.49 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 1086 0 0 0 149 0 0 0 23 0 1 0 32483039 13955072 954 1992294400 134512640 137138936 4292493680 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 3407 954 192 642 0 2763 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13628 [startup+3.10093 s] /proc/loadavg: 0.93 0.99 0.99 2/107 2736 /proc/meminfo: memFree=1831508/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=15312 CPUtime=3.08 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 1526 0 0 0 307 1 0 0 25 0 1 0 32483039 15679488 1394 1992294400 134512640 137138936 4292493680 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 3828 1394 192 642 0 3184 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 15312 [startup+6.30024 s] /proc/loadavg: 0.94 0.99 0.99 2/107 2736 /proc/meminfo: memFree=1828284/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=17764 CPUtime=6.29 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 2142 0 0 0 626 3 0 0 25 0 1 0 32483039 18190336 2010 1992294400 134512640 137138936 4292493680 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 4441 2010 192 642 0 3797 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17764 [startup+12.7019 s] /proc/loadavg: 0.94 0.99 0.99 2/107 2736 /proc/meminfo: memFree=1824564/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=21352 CPUtime=12.69 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 3020 0 0 0 1263 6 0 0 25 0 1 0 32483039 21864448 2888 1992294400 134512640 137138936 4292493680 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 5338 2888 192 642 0 4694 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21352 [startup+25.5011 s] /proc/loadavg: 0.95 0.99 0.99 2/107 2736 /proc/meminfo: memFree=1819728/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=25964 CPUtime=25.48 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 4174 0 0 0 2539 9 0 0 25 0 1 0 32483039 26587136 4042 1992294400 134512640 137138936 4292493680 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 6491 4042 192 642 0 5847 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25964 [startup+51.1005 s] /proc/loadavg: 0.97 0.99 0.99 2/107 2736 /proc/meminfo: memFree=1813156/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=32484 CPUtime=51.08 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 5806 0 0 0 5093 15 0 0 25 0 1 0 32483039 33263616 5674 1992294400 134512640 137138936 4292493680 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 8121 5674 192 642 0 7477 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 32484 [startup+102.308 s] /proc/loadavg: 0.98 0.99 0.99 2/107 2738 /proc/meminfo: memFree=1802864/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=42488 CPUtime=102.28 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 8316 0 0 0 10203 25 0 0 25 0 1 0 32483039 43507712 8184 1992294400 134512640 137138936 4292493680 18446744073709551615 136504265 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 10622 8184 192 642 0 9978 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 42488 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 2740 /proc/meminfo: memFree=1796416/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=48500 CPUtime=162.25 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 9904 0 0 0 16194 31 0 0 25 0 1 0 32483039 49664000 9692 1992294400 134512640 137138936 4292493680 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 12125 9692 192 642 0 11481 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 48500 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 2742 /proc/meminfo: memFree=1796416/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=48500 CPUtime=222.23 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 9904 0 0 0 22181 42 0 0 25 0 1 0 32483039 49664000 9692 1992294400 134512640 137138936 4292493680 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 12125 9692 192 642 0 11481 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 48500 [startup+282.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 2742 /proc/meminfo: memFree=1796292/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=48816 CPUtime=282.22 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 9960 0 0 0 28173 49 0 0 25 0 1 0 32483039 49987584 9748 1992294400 134512640 137138936 4292493680 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 12204 9748 192 642 0 11560 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 48816 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.99 3/107 2744 /proc/meminfo: memFree=1796168/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=48816 CPUtime=342.2 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 9960 0 0 0 34165 55 0 0 25 0 1 0 32483039 49987584 9748 1992294400 134512640 137138936 4292493680 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 12204 9748 192 642 0 11560 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 48816 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 2746 /proc/meminfo: memFree=1794184/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=51084 CPUtime=402.19 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 10555 0 0 0 40157 62 0 0 25 0 1 0 32483039 52310016 10343 1992294400 134512640 137138936 4292493680 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 12771 10343 192 642 0 12127 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 51084 [startup+462.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 2748 /proc/meminfo: memFree=1788728/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=56420 CPUtime=462.18 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 11878 0 0 0 46150 68 0 0 25 0 1 0 32483039 57774080 11666 1992294400 134512640 137138936 4292493680 18446744073709551615 136521043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 14105 11666 192 642 0 13461 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 56420 [startup+522.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 2750 /proc/meminfo: memFree=1783644/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=61628 CPUtime=522.16 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 13167 0 0 0 52143 73 0 0 25 0 1 0 32483039 63107072 12955 1992294400 134512640 137138936 4292493680 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 15407 12955 192 642 0 14763 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 61628 [startup+582.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 2750 /proc/meminfo: memFree=1779428/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=65644 CPUtime=582.15 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 14197 0 0 0 58136 79 0 0 25 0 1 0 32483039 67219456 13985 1992294400 134512640 137138936 4292493680 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 16411 13985 192 642 0 15767 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 65644 [startup+642.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 2761 /proc/meminfo: memFree=1774716/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=69644 CPUtime=642.13 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 15197 0 0 0 64127 86 0 0 25 0 1 0 32483039 71315456 14985 1992294400 134512640 137138936 4292493680 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 17411 14985 192 642 0 16767 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 69644 Solver just ended. Dumping a history of the last processes samples [startup+652.701 s] /proc/loadavg: 0.99 0.99 0.99 2/107 2761 /proc/meminfo: memFree=1773972/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=70448 CPUtime=652.52 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 15382 0 0 0 65165 87 0 0 25 0 1 0 32483039 72138752 15170 1992294400 134512640 137138936 4292493680 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 17612 15170 192 642 0 16968 0 Current children cumulated CPU time (s) 652.52 Current children cumulated vsize (KiB) 70448 [startup+659.101 s] /proc/loadavg: 0.99 0.99 0.99 2/107 2761 /proc/meminfo: memFree=1773476/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=70848 CPUtime=658.91 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 15491 0 0 0 65804 87 0 0 25 0 1 0 32483039 72548352 15279 1992294400 134512640 137138936 4292493680 18446744073709551615 136502620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 17712 15279 192 642 0 17068 0 Current children cumulated CPU time (s) 658.91 Current children cumulated vsize (KiB) 70848 [startup+665.509 s] /proc/loadavg: 0.99 0.99 0.99 2/107 2763 /proc/meminfo: memFree=1773104/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=71248 CPUtime=665.33 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 15586 0 0 0 66445 88 0 0 25 0 1 0 32483039 72957952 15374 1992294400 134512640 137138936 4292493680 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 17812 15374 192 642 0 17168 0 Current children cumulated CPU time (s) 665.33 Current children cumulated vsize (KiB) 71248 [startup+668.701 s] /proc/loadavg: 0.99 0.99 0.99 2/107 2763 /proc/meminfo: memFree=1772980/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=71516 CPUtime=668.52 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 15635 0 0 0 66764 88 0 0 25 0 1 0 32483039 73232384 15423 1992294400 134512640 137138936 4292493680 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 17879 15423 192 642 0 17235 0 Current children cumulated CPU time (s) 668.52 Current children cumulated vsize (KiB) 71516 [startup+670.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 2763 /proc/meminfo: memFree=1772856/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=71516 CPUtime=670.12 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 15652 0 0 0 66924 88 0 0 25 0 1 0 32483039 73232384 15440 1992294400 134512640 137138936 4292493680 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 17879 15440 192 642 0 17235 0 Current children cumulated CPU time (s) 670.12 Current children cumulated vsize (KiB) 71516 [startup+670.701 s] /proc/loadavg: 0.99 0.99 0.99 2/107 2763 /proc/meminfo: memFree=1772856/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=71516 CPUtime=670.52 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 15656 0 0 0 66964 88 0 0 25 0 1 0 32483039 73232384 15444 1992294400 134512640 137138936 4292493680 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 17879 15444 192 642 0 17235 0 Current children cumulated CPU time (s) 670.52 Current children cumulated vsize (KiB) 71516 [startup+671.101 s] /proc/loadavg: 0.99 0.99 0.99 2/107 2763 /proc/meminfo: memFree=1772856/2059040 swapFree=4140224/4192956 [pid=2735] ppid=2733 vsize=71516 CPUtime=670.92 /proc/2735/stat : 2735 (bsolo_pb10) R 2733 2735 2533 0 -1 4202496 15660 0 0 0 67004 88 0 0 25 0 1 0 32483039 73232384 15448 1992294400 134512640 137138936 4292493680 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2735/statm: 17879 15448 192 642 0 17235 0 Current children cumulated CPU time (s) 670.92 Current children cumulated vsize (KiB) 71516 Child status: 0 Real time (s): 671.196 CPU time (s): 671.02 CPU user time (s): 670.128 CPU system time (s): 0.891864 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 71516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 670.128 system time used= 0.891864 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15662 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= 5230 runsolver used 1.08983 second user time and 3.19451 second system time The end
Begin job on node018 at 2010-06-15 09:51:07 IDJOB=2656521 IDBENCH=2641 IDSOLVER=1162 FILE ID=node018/2656521-1276588267 PBS_JOBID= 11173541 Free space on /tmp= 62484 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656521-1276588267/watcher-2656521-1276588267 -o /tmp/evaluation-result-2656521-1276588267/solver-2656521-1276588267 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656521-1276588267.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 824c01e4395cf59ee9d4081be7b21301 RANDOM SEED=300874282 node018.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.248 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.248 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1836012 kB Buffers: 37416 kB Cached: 97708 kB SwapCached: 6136 kB Active: 80432 kB Inactive: 67960 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1836012 kB SwapTotal: 4192956 kB SwapFree: 4140224 kB Dirty: 4112 kB Writeback: 0 kB AnonPages: 11476 kB Mapped: 12888 kB Slab: 52596 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181828 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= 62484 MiB End job on node018 at 2010-06-15 10:02:18