Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | 3 | 973.834 | 974.198 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=103-P1=223-P2=29-P3=89-P4=173-P5=97-P6=227-P7=89-P8=127-P9=223-B.opb |
MD5SUM | 9b7cb599a49db47c0ffbf25416bcef37 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 16.1485 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 216 |
Total number of constraints | 19 |
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 | 19 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 576 |
Sum of products size (including duplicates) | 1152 |
Number of different products | 576 |
Sum of products size | 1152 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 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 Learning Strategy: Clause Learning 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 HOME/instance-1878088-1245189254.opb 0.00/0.00 c File size is 43525 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.005 s 0.00/0.00 c Var: 792 Constr: 1180 576/0/604 Lit: 4960 Watch. Lit: 3044 0.00/0.00 c Obj. Vars: 8 (1.0101 % of total variables) 0.00/0.01 c Pre-processing Time: 0.014 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 792 1180 4960 4 4260 6656 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 797.89/798.22 c 101 792 1281 10046 7 4433 7322 101 4208 0.02 797.89/798.22 c 252 792 1432 19385 13 4623 8055 252 6146 0.04 797.89/798.22 c 477 792 1657 32699 19 5074 8861 477 7014 0.07 797.89/798.22 c 816 792 1996 56251 28 5782 9748 816 7351 0.11 797.89/798.22 c 1327 792 2507 89990 35 6805 10723 1327 7715 0.17 797.89/798.22 c 2091 792 3271 142968 43 8311 11796 2091 7336 0.28 797.89/798.22 c 3237 792 4417 224682 50 10548 12976 3237 7145 0.45 797.89/798.22 c 4959 792 6139 330340 53 13989 14274 4959 6507 0.76 797.89/798.22 c 7543 792 8723 485028 55 19172 15702 7543 4998 1.51 797.89/798.22 c 11423 792 12603 714673 56 26892 17273 11423 2984 3.83 797.89/798.22 c 17246 792 18426 1051984 57 38561 19001 17246 2059 8.37 797.89/798.22 c 25983 792 17107 989811 57 35884 20902 15927 1832 14.18 797.89/798.22 c 39093 792 19202 1175124 61 40142 22993 18022 1568 24.92 797.89/798.22 c 58763 792 13228 820388 62 28207 25293 12048 1343 43.75 797.89/798.22 c 88274 792 13551 718468 53 28839 27823 12371 1291 68.33 797.89/798.22 c 132546 792 23593 1562251 66 48824 30606 22413 1192 111.19 797.89/798.22 c 198956 790 30206 1852551 61 62221 33667 29026 920 216.22 797.89/798.22 c 298577 787 16820 1013759 60 35312 37034 15640 744 401.14 797.89/798.22 c 448013 786 35854 2334101 65 73503 40738 34674 719 622.70 797.89/798.22 o 33 941.04/941.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 941.04/941.47 c 573085 783 12764 945511 74 27292 6672 11584 717 798.63 941.04/941.47 c 573187 774 4627 327050 70 11026 7340 3447 717 798.74 941.04/941.47 c 573438 774 4878 344782 70 11492 8075 3698 717 798.78 941.04/941.47 c 573914 774 5354 378675 70 12437 8883 4174 718 798.87 941.04/941.47 c 574728 774 6168 432979 70 14063 9772 4988 719 799.07 941.04/941.47 c 576050 774 7490 521052 69 16700 10750 6310 720 799.53 941.04/941.47 c 578132 774 9572 658269 68 20861 11826 8392 722 800.50 941.04/941.47 c 581355 774 12795 867086 67 27319 13009 11615 723 803.02 941.04/941.47 c 586291 774 11149 654691 58 24024 14310 9969 726 807.10 941.04/941.47 c 593798 763 11422 668993 58 24537 15742 10242 728 815.41 941.04/941.47 c 605160 763 14567 911273 62 30916 17317 13387 734 824.17 941.04/941.47 c 622304 763 13322 836818 62 28384 19049 12142 748 831.11 941.04/941.47 c 648123 762 19869 1186206 59 41415 20954 18689 758 854.96 941.04/941.47 c 686956 762 16116 1009681 62 33907 23050 14936 762 901.18 941.04/941.47 o 13 941.74/942.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 941.74/942.17 c 719120 761 23602 1459182 61 48976 6668 22422 764 941.12 941.74/942.17 c 719221 752 4628 234059 50 11003 7335 3448 763 941.64 941.74/942.17 c 719472 752 4879 248748 50 11469 8069 3699 764 941.67 941.74/942.17 c 719947 741 5354 276498 51 12436 8876 4174 764 941.77 941.74/942.17 o 9 941.84/942.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 941.84/942.28 c 720261 741 5669 292744 51 13081 6664 4489 764 941.83 941.84/942.28 c 720363 741 5771 299204 51 13295 7331 4591 764 941.85 941.84/942.28 c 720613 741 6021 312646 51 13844 8065 4841 765 941.89 941.84/942.28 o 5 942.14/942.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 942.14/942.57 c 720897 741 6306 331700 52 14364 6664 5126 765 941.94 942.14/942.57 c 720997 741 6406 338383 52 14575 7331 5226 765 941.96 942.14/942.57 c 721248 731 6657 355574 53 15073 8065 5477 765 942.04 942.14/942.57 c 721723 731 7132 386133 54 16090 8872 5952 766 942.18 942.14/942.57 o 3 973.73/974.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 973.73/974.18 c 721901 731 7311 397200 54 16414 6662 6131 766 942.22 973.73/974.18 c 722001 731 7411 403195 54 16580 7329 6231 766 942.24 973.73/974.18 c 722252 710 7662 416711 54 17071 8062 6482 766 942.29 973.73/974.18 c 722728 710 8138 445913 54 18035 8869 6958 766 942.46 973.73/974.18 c 723541 710 8951 498686 55 19635 9756 7771 767 942.75 973.73/974.18 c 724861 710 10271 584357 56 22257 10732 9091 768 943.44 973.73/974.18 c 726943 710 6856 363496 53 15445 11806 5676 769 944.56 973.73/974.18 c 730166 710 10079 572132 56 21881 12987 8899 771 946.72 973.73/974.18 c 735102 710 8378 461135 55 18506 14286 7198 772 951.10 973.73/974.18 c 742608 710 8602 463714 53 18933 15715 7422 774 959.17 973.73/974.18 c 753970 698 11972 637472 53 25686 17287 10792 778 969.09 973.73/974.18 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 -x11 x12 -x13 x14 -x15 x16 x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 x41 x42 -x43 x44 x45 -x46 -x47 x48 x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 x59 -x60 x61 -x62 -x63 -x64 x65 x66 -x67 x68 -x69 -x70 -x71 x72 x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x97 x98 -x99 -x100 x101 x102 -x103 -x104 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x409 x410 -x411 -x412 x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 x450 -x451 -x452 x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x105 x106 -x107 -x108 x109 -x110 -x111 x112 -x169 x170 x171 -x172 -x173 -x174 -x175 -x176 x473 x474 -x475 -x476 x477 -x478 -x479 x480 x481 x482 -x483 -x484 x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 x498 -x499 -x500 x501 -x502 -x503 x504 x505 x506 -x507 -x508 x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 x530 -x531 -x532 x533 -x534 -x535 x536 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x177 -x178 -x179 x180 x181 -x182 x183 -x184 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x129 -x130 -x131 x132 -x133 x134 x135 -x136 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x665 -x666 -x667 x668 -x669 x670 x671 -x672 x673 -x674 -x675 x676 -x677 x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 x692 -x693 x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 x724 -x725 x726 x727 -x728 x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 x201 -x202 -x203 x204 x205 x206 -x207 -x208 x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 973.73/974.18 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 973.73/974.18 c 55 758713 7314 792018 16715 871147 15535 779 973.83 973.73/974.18 c Objective: 3 973.73/974.18 s OPTIMUM FOUND 973.73/974.18 c Total time: 973.825 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878088-1245189254/watcher-1878088-1245189254 -o /tmp/evaluation-result-1878088-1245189254/solver-1878088-1245189254 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878088-1245189254.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.92 0.98 0.99 3/64 4301 /proc/meminfo: memFree=1837912/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=10748 CPUtime=0 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 186525952 11005952 241 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 2687 241 176 640 0 2032 0 [startup+0.0168069 s] /proc/loadavg: 0.92 0.98 0.99 3/64 4301 /proc/meminfo: memFree=1837912/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=11112 CPUtime=0.01 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 372 0 0 0 1 0 0 0 18 0 1 0 186525952 11378688 345 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 2778 345 196 640 0 2134 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11112 [startup+0.102825 s] /proc/loadavg: 0.92 0.98 0.99 3/64 4301 /proc/meminfo: memFree=1837912/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=11608 CPUtime=0.09 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 522 0 0 0 9 0 0 0 18 0 1 0 186525952 11886592 495 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 2902 495 196 640 0 2258 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11608 [startup+0.302866 s] /proc/loadavg: 0.92 0.98 0.99 3/64 4301 /proc/meminfo: memFree=1837912/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=13116 CPUtime=0.29 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 879 0 0 0 29 0 0 0 19 0 1 0 186525952 13430784 852 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 3279 852 196 640 0 2635 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13116 [startup+0.701951 s] /proc/loadavg: 0.92 0.98 0.99 3/64 4301 /proc/meminfo: memFree=1837912/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=15504 CPUtime=0.69 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 1475 0 0 0 69 0 0 0 23 0 1 0 186525952 15876096 1448 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 3876 1448 196 640 0 3232 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15504 [startup+1.50112 s] /proc/loadavg: 0.92 0.98 0.99 2/65 4302 /proc/meminfo: memFree=1831824/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=17912 CPUtime=1.49 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 2091 0 0 0 148 1 0 0 25 0 1 0 186525952 18341888 2064 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 4478 2064 196 640 0 3834 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17912 [startup+3.10146 s] /proc/loadavg: 0.92 0.98 0.99 2/65 4302 /proc/meminfo: memFree=1829136/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=20552 CPUtime=3.09 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 2742 0 0 0 307 2 0 0 25 0 1 0 186525952 21045248 2715 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 5138 2715 196 640 0 4494 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20552 [startup+6.30114 s] /proc/loadavg: 0.93 0.98 0.99 2/65 4302 /proc/meminfo: memFree=1824920/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=24196 CPUtime=6.29 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 3646 0 0 0 625 4 0 0 25 0 1 0 186525952 24776704 3619 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 6049 3619 196 640 0 5405 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24196 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/65 4302 /proc/meminfo: memFree=1819560/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=28456 CPUtime=12.68 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 4734 0 0 0 1262 6 0 0 25 0 1 0 186525952 29138944 4707 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 7114 4707 196 640 0 6470 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28456 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/65 4302 /proc/meminfo: memFree=1817328/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=30672 CPUtime=25.48 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 5282 0 0 0 2539 9 0 0 25 0 1 0 186525952 31408128 5255 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 7668 5255 196 640 0 7024 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30672 [startup+51.1026 s] /proc/loadavg: 0.96 0.98 0.99 2/65 4302 /proc/meminfo: memFree=1812208/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=35816 CPUtime=51.07 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 6572 0 0 0 5093 14 0 0 25 0 1 0 186525952 36675584 6545 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 8954 6545 196 640 0 8310 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 35816 [startup+102.304 s] /proc/loadavg: 0.98 0.98 0.99 2/65 4302 /proc/meminfo: memFree=1811312/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=36748 CPUtime=102.25 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 6807 0 0 0 10203 22 0 0 25 0 1 0 186525952 37629952 6780 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 9187 6780 196 640 0 8543 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 36748 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4302 /proc/meminfo: memFree=1806064/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=41936 CPUtime=162.23 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 8108 0 0 0 16194 29 0 0 25 0 1 0 186525952 42942464 8081 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 10484 8081 196 640 0 9840 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 41936 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4302 /proc/meminfo: memFree=1806064/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=41920 CPUtime=222.21 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 8108 0 0 0 22185 36 0 0 25 0 1 0 186525952 42926080 8078 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 10480 8078 196 640 0 9836 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 41920 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4302 /proc/meminfo: memFree=1805360/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=42708 CPUtime=282.19 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 8306 0 0 0 28176 43 0 0 25 0 1 0 186525952 43732992 8243 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 10677 8243 196 640 0 10033 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 42708 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4302 /proc/meminfo: memFree=1805360/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=42564 CPUtime=342.16 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 8306 0 0 0 34167 49 0 0 25 0 1 0 186525952 43585536 8239 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 10641 8239 196 640 0 9997 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 42564 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4302 /proc/meminfo: memFree=1804208/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=43780 CPUtime=402.14 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 8612 0 0 0 40158 56 0 0 25 0 1 0 186525952 44830720 8511 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 10945 8511 196 640 0 10301 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 43780 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4308 /proc/meminfo: memFree=1800816/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=46904 CPUtime=462.11 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 9468 0 0 0 46148 63 0 0 25 0 1 0 186525952 48029696 9315 1992294400 134512640 137136520 4294956256 18446744073709551615 134544252 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 11726 9315 196 640 0 11082 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 46904 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4308 /proc/meminfo: memFree=1799472/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=48380 CPUtime=522.09 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 9814 0 0 0 52136 73 0 0 25 0 1 0 186525952 49541120 9661 1992294400 134512640 137136520 4294956256 18446744073709551615 136498241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 12095 9661 196 640 0 11451 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 48380 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4308 /proc/meminfo: memFree=1799536/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=48212 CPUtime=582.07 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 9814 0 0 0 58128 79 0 0 25 0 1 0 186525952 49369088 9651 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 12053 9651 196 640 0 11409 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 48212 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4308 /proc/meminfo: memFree=1796080/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=51528 CPUtime=642.05 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 10677 0 0 0 64120 85 0 0 25 0 1 0 186525952 52764672 10473 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 12882 10473 196 640 0 12238 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 51528 [startup+702.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4308 /proc/meminfo: memFree=1795312/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=52528 CPUtime=702.03 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 10902 0 0 0 70111 92 0 0 25 0 1 0 186525952 53788672 10698 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 13132 10698 196 640 0 12488 0 Current children cumulated CPU time (s) 702.03 Current children cumulated vsize (KiB) 52528 [startup+762.305 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4308 /proc/meminfo: memFree=1795312/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=52528 CPUtime=762.01 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 10902 0 0 0 76103 98 0 0 25 0 1 0 186525952 53788672 10698 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 13132 10698 196 640 0 12488 0 Current children cumulated CPU time (s) 762.01 Current children cumulated vsize (KiB) 52528 [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4308 /proc/meminfo: memFree=1791600/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=56176 CPUtime=821.99 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 11815 0 0 0 82091 108 0 0 25 0 1 0 186525952 57524224 11611 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 14044 11611 197 640 0 13400 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 56176 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4308 /proc/meminfo: memFree=1791600/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=56176 CPUtime=881.96 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 11815 0 0 0 88078 118 0 0 25 0 1 0 186525952 57524224 11611 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 14044 11611 197 640 0 13400 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 56176 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4308 /proc/meminfo: memFree=1791600/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=56176 CPUtime=941.94 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 11815 0 0 0 94068 126 0 0 25 0 1 0 186525952 57524224 11611 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 14044 11611 197 640 0 13400 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 56176 Solver just ended. Dumping a history of the last processes samples [startup+947.105 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4308 /proc/meminfo: memFree=1791600/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=56176 CPUtime=946.74 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 11815 0 0 0 94547 127 0 0 25 0 1 0 186525952 57524224 11611 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 14044 11611 197 640 0 13400 0 Current children cumulated CPU time (s) 946.74 Current children cumulated vsize (KiB) 56176 [startup+959.902 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4308 /proc/meminfo: memFree=1791600/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=56176 CPUtime=959.54 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 11815 0 0 0 95825 129 0 0 25 0 1 0 186525952 57524224 11611 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 14044 11611 197 640 0 13400 0 Current children cumulated CPU time (s) 959.54 Current children cumulated vsize (KiB) 56176 [startup+966.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4308 /proc/meminfo: memFree=1791600/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=56176 CPUtime=965.93 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 11815 0 0 0 96463 130 0 0 25 0 1 0 186525952 57524224 11611 1992294400 134512640 137136520 4294956256 18446744073709551615 134616495 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 14044 11611 197 640 0 13400 0 Current children cumulated CPU time (s) 965.93 Current children cumulated vsize (KiB) 56176 [startup+969.501 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4308 /proc/meminfo: memFree=1791600/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=56176 CPUtime=969.13 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 11815 0 0 0 96783 130 0 0 25 0 1 0 186525952 57524224 11611 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 14044 11611 197 640 0 13400 0 Current children cumulated CPU time (s) 969.13 Current children cumulated vsize (KiB) 56176 [startup+972.702 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4308 /proc/meminfo: memFree=1791600/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=56176 CPUtime=972.33 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 11815 0 0 0 97102 131 0 0 25 0 1 0 186525952 57524224 11611 1992294400 134512640 137136520 4294956256 18446744073709551615 134598574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 14044 11611 197 640 0 13400 0 Current children cumulated CPU time (s) 972.33 Current children cumulated vsize (KiB) 56176 [startup+973.506 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4308 /proc/meminfo: memFree=1791600/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=56176 CPUtime=973.13 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 11815 0 0 0 97182 131 0 0 25 0 1 0 186525952 57524224 11611 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 14044 11611 197 640 0 13400 0 Current children cumulated CPU time (s) 973.13 Current children cumulated vsize (KiB) 56176 [startup+973.902 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4308 /proc/meminfo: memFree=1791600/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=56176 CPUtime=973.53 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 11815 0 0 0 97222 131 0 0 25 0 1 0 186525952 57524224 11611 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 14044 11611 197 640 0 13400 0 Current children cumulated CPU time (s) 973.53 Current children cumulated vsize (KiB) 56176 [startup+974.102 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4308 /proc/meminfo: memFree=1791600/2055920 swapFree=4192812/4192956 [pid=4301] ppid=4299 vsize=56176 CPUtime=973.73 /proc/4301/stat : 4301 (bsolo) R 4299 4301 4256 0 -1 4194304 11815 0 0 0 97242 131 0 0 25 0 1 0 186525952 57524224 11611 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4301/statm: 14044 11611 197 640 0 13400 0 Current children cumulated CPU time (s) 973.73 Current children cumulated vsize (KiB) 56176 Child status: 0 Real time (s): 974.198 CPU time (s): 973.834 CPU user time (s): 972.511 CPU system time (s): 1.3228 CPU usage (%): 99.9626 Max. virtual memory (cumulated for all children) (KiB): 56176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 972.511 system time used= 1.3228 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11817 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= 3 involuntary context switches= 1229 runsolver used 0.666898 second user time and 2.15767 second system time The end
Begin job on node13 at 2009-06-16 23:54:14 IDJOB=1878088 IDBENCH=48068 IDSOLVER=700 FILE ID=node13/1878088-1245189254 PBS_JOBID= 9368308 Free space on /tmp= 66272 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=103-P1=223-P2=29-P3=89-P4=173-P5=97-P6=227-P7=89-P8=127-P9=223-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878088-1245189254/watcher-1878088-1245189254 -o /tmp/evaluation-result-1878088-1245189254/solver-1878088-1245189254 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878088-1245189254.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9b7cb599a49db47c0ffbf25416bcef37 RANDOM SEED=1740726384 node13.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.259 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.259 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: 1838464 kB Buffers: 40156 kB Cached: 100120 kB SwapCached: 144 kB Active: 41392 kB Inactive: 112832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1838464 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4128 kB Writeback: 0 kB Mapped: 23616 kB Slab: 49236 kB Committed_AS: 168980 kB PageTables: 1460 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878088-1245189254.opb Free space on /tmp at the end= 66268 MiB End job on node13 at 2009-06-17 00:10:28