Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | Wrong Opt. | 27 | 137.29 | 137.331 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=11-P1=331-P2=7-P3=107-P4=137-P5=439-P6=409-P7=421-P8=491-P9=293-B.opb |
MD5SUM | bf07e05475dbb8a26e29c8119be0dea3 |
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 | 12.2681 |
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 | 243 |
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 | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 729 |
Sum of products size (including duplicates) | 1458 |
Number of different products | 729 |
Sum of products size | 1458 |
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: Cardinality Constraint 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-1876501-1245186521.opb 0.00/0.00 c File size is 55270 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.007 s 0.00/0.01 c Var: 972 Constr: 1486 729/0/757 Lit: 6228 Watch. Lit: 3809 0.00/0.01 c Obj. Vars: 9 (0.925926 % of total variables) 0.00/0.02 c Pre-processing Time: 0.018 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 972 1486 6228 4 5357 8325 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 24.79/24.84 c 100 972 1656 14629 8 5690 9158 170 2564 0.04 24.79/24.84 c 250 972 1851 31823 17 6064 10074 365 3289 0.08 24.79/24.84 c 475 972 2101 51837 24 6592 11082 615 3958 0.12 24.79/24.84 c 814 972 2475 80179 32 7381 12191 989 4376 0.19 24.79/24.84 c 1322 972 2997 121885 40 8432 13411 1511 4542 0.29 24.79/24.84 c 2085 972 3798 183687 48 10079 14753 2312 4056 0.51 24.79/24.84 c 3232 961 5033 266468 52 12724 16229 3547 3520 0.92 24.79/24.84 c 4953 961 6897 388358 56 16671 17852 5411 3038 1.63 24.79/24.84 c 7537 961 9757 568778 58 22735 19638 8271 2297 3.28 24.79/24.84 c 11416 950 14144 836947 59 32234 21602 12658 1602 7.12 24.79/24.84 c 17238 933 20624 1165819 56 46164 23763 19138 1124 15.33 24.79/24.84 c 25975 933 18468 1158840 62 42280 26140 16982 1206 21.53 24.79/24.84 o 27 137.25/137.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 137.25/137.32 c 33024 932 26300 1782380 67 58873 8343 24814 1329 24.84 137.25/137.32 c 33126 901 5782 361180 62 14163 9178 4296 1317 25.15 137.25/137.32 c 33376 901 6068 385873 63 14788 10096 4582 1321 25.26 137.25/137.32 c 33852 901 6555 430263 65 15773 11106 5069 1334 25.37 137.25/137.32 c 34665 888 7651 512463 66 18704 12217 6165 1328 26.09 137.25/137.32 c 35985 888 9036 638607 70 21607 13439 7550 1360 26.46 137.25/137.32 c 38066 888 11366 764541 67 26721 14783 9880 1413 26.93 137.25/137.32 c 41290 887 14965 1034732 69 34302 16262 13479 1479 27.90 137.25/137.32 c 46226 886 12885 776581 60 29810 17889 11399 1504 30.73 137.25/137.32 c 53732 885 12627 832564 65 28675 19678 11141 1479 36.32 137.25/137.32 c 65094 864 18371 1041924 56 44034 21646 16885 1349 48.23 137.25/137.32 c 82239 855 22881 1056549 46 54688 23811 21395 1069 76.86 137.25/137.32 c 108059 805 16663 675262 40 39028 26193 15177 1112 97.13 137.25/137.32 c 146892 724 26853 1342080 49 58717 28813 25367 1195 122.89 137.25/137.32 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 -x81 x82 -x83 -x84 x85 -x86 x87 x88 x89 x90 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 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 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -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 x100 -x101 -x102 x103 x104 x105 -x106 -x107 -x108 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x406 -x407 -x408 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 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 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 -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 x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 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 -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 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -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 -x729 x136 x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 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 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 x153 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x226 -x227 -x228 -x229 -x230 x231 x232 -x233 -x234 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 137.25/137.32 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 137.25/137.32 c 26 163927 2320 180491 20072 849059 18586 1194 137.28 137.25/137.32 c Objective: 27 137.25/137.32 s OPTIMUM FOUND 137.25/137.32 c Total time: 137.284 s
OK 27
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876501-1245186521/watcher-1876501-1245186521 -o /tmp/evaluation-result-1876501-1245186521/solver-1876501-1245186521 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876501-1245186521.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.99 0.97 0.98 3/64 4884 /proc/meminfo: memFree=1849264/2055920 swapFree=4192812/4192956 [pid=4884] ppid=4882 vsize=10764 CPUtime=0 /proc/4884/stat : 4884 (bsolo) R 4882 4884 4553 0 -1 4194304 256 0 0 0 0 0 0 0 18 0 1 0 186251433 11022336 240 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4884/statm: 2691 240 175 640 0 2033 0 [startup+0.067779 s] /proc/loadavg: 0.99 0.97 0.98 3/64 4884 /proc/meminfo: memFree=1849264/2055920 swapFree=4192812/4192956 [pid=4884] ppid=4882 vsize=11364 CPUtime=0.06 /proc/4884/stat : 4884 (bsolo) R 4882 4884 4553 0 -1 4194304 455 0 0 0 6 0 0 0 18 0 1 0 186251433 11636736 425 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4884/statm: 2841 425 198 640 0 2197 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11364 [startup+0.101782 s] /proc/loadavg: 0.99 0.97 0.98 3/64 4884 /proc/meminfo: memFree=1849264/2055920 swapFree=4192812/4192956 [pid=4884] ppid=4882 vsize=11608 CPUtime=0.09 /proc/4884/stat : 4884 (bsolo) R 4882 4884 4553 0 -1 4194304 513 0 0 0 9 0 0 0 18 0 1 0 186251433 11886592 483 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4884/statm: 2902 483 198 640 0 2258 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11608 [startup+0.301804 s] /proc/loadavg: 0.99 0.97 0.98 3/64 4884 /proc/meminfo: memFree=1849264/2055920 swapFree=4192812/4192956 [pid=4884] ppid=4882 vsize=12732 CPUtime=0.29 /proc/4884/stat : 4884 (bsolo) R 4882 4884 4553 0 -1 4194304 799 0 0 0 29 0 0 0 19 0 1 0 186251433 13037568 769 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4884/statm: 3183 769 198 640 0 2539 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12732 [startup+0.701849 s] /proc/loadavg: 0.99 0.97 0.98 3/64 4884 /proc/meminfo: memFree=1849264/2055920 swapFree=4192812/4192956 [pid=4884] ppid=4882 vsize=14100 CPUtime=0.69 /proc/4884/stat : 4884 (bsolo) R 4882 4884 4553 0 -1 4194304 1138 0 0 0 68 1 0 0 22 0 1 0 186251433 14438400 1108 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4884/statm: 3525 1108 198 640 0 2881 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14100 [startup+1.50194 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4885 /proc/meminfo: memFree=1844648/2055920 swapFree=4192812/4192956 [pid=4884] ppid=4882 vsize=16344 CPUtime=1.49 /proc/4884/stat : 4884 (bsolo) R 4882 4884 4553 0 -1 4194304 1696 0 0 0 147 2 0 0 25 0 1 0 186251433 16736256 1666 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4884/statm: 4086 1666 198 640 0 3442 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16344 [startup+3.10112 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4885 /proc/meminfo: memFree=1842216/2055920 swapFree=4192812/4192956 [pid=4884] ppid=4882 vsize=18968 CPUtime=3.09 /proc/4884/stat : 4884 (bsolo) R 4882 4884 4553 0 -1 4194304 2357 0 0 0 306 3 0 0 25 0 1 0 186251433 19423232 2327 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4884/statm: 4742 2327 198 640 0 4098 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18968 [startup+6.30147 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4885 /proc/meminfo: memFree=1837672/2055920 swapFree=4192812/4192956 [pid=4884] ppid=4882 vsize=22496 CPUtime=6.29 /proc/4884/stat : 4884 (bsolo) R 4882 4884 4553 0 -1 4194304 3238 0 0 0 625 4 0 0 25 0 1 0 186251433 23035904 3208 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4884/statm: 5624 3208 198 640 0 4980 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22496 [startup+12.7012 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4885 /proc/meminfo: memFree=1833256/2055920 swapFree=4192812/4192956 [pid=4884] ppid=4882 vsize=26712 CPUtime=12.69 /proc/4884/stat : 4884 (bsolo) R 4882 4884 4553 0 -1 4194304 4301 0 0 0 1262 7 0 0 25 0 1 0 186251433 27353088 4271 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4884/statm: 6678 4271 198 640 0 6034 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26712 [startup+25.5016 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4885 /proc/meminfo: memFree=1822696/2055920 swapFree=4192812/4192956 [pid=4884] ppid=4882 vsize=36772 CPUtime=25.49 /proc/4884/stat : 4884 (bsolo) R 4882 4884 4553 0 -1 4194304 6823 0 0 0 2538 11 0 0 25 0 1 0 186251433 37654528 6793 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4884/statm: 9193 6793 198 640 0 8549 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 36772 [startup+51.1014 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4885 /proc/meminfo: memFree=1822696/2055920 swapFree=4192812/4192956 [pid=4884] ppid=4882 vsize=36772 CPUtime=51.07 /proc/4884/stat : 4884 (bsolo) R 4882 4884 4553 0 -1 4194304 6823 0 0 0 5091 16 0 0 25 0 1 0 186251433 37654528 6793 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4884/statm: 9193 6793 198 640 0 8549 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 36772 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4885 /proc/meminfo: memFree=1822696/2055920 swapFree=4192812/4192956 [pid=4884] ppid=4882 vsize=36772 CPUtime=102.26 /proc/4884/stat : 4884 (bsolo) R 4882 4884 4553 0 -1 4194304 6823 0 0 0 10203 23 0 0 25 0 1 0 186251433 37654528 6793 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4884/statm: 9193 6793 198 640 0 8549 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 36772 Solver just ended. Dumping a history of the last processes samples [startup+115.102 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4885 /proc/meminfo: memFree=1822696/2055920 swapFree=4192812/4192956 [pid=4884] ppid=4882 vsize=36780 CPUtime=115.06 /proc/4884/stat : 4884 (bsolo) R 4882 4884 4553 0 -1 4194304 6825 0 0 0 11479 27 0 0 25 0 1 0 186251433 37662720 6795 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4884/statm: 9195 6795 198 640 0 8551 0 Current children cumulated CPU time (s) 115.06 Current children cumulated vsize (KiB) 36780 [startup+127.902 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4885 /proc/meminfo: memFree=1822696/2055920 swapFree=4192812/4192956 [pid=4884] ppid=4882 vsize=36792 CPUtime=127.85 /proc/4884/stat : 4884 (bsolo) R 4882 4884 4553 0 -1 4194304 6828 0 0 0 12756 29 0 0 25 0 1 0 186251433 37675008 6798 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4884/statm: 9198 6798 198 640 0 8554 0 Current children cumulated CPU time (s) 127.85 Current children cumulated vsize (KiB) 36792 [startup+134.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4885 /proc/meminfo: memFree=1822632/2055920 swapFree=4192812/4192956 [pid=4884] ppid=4882 vsize=36792 CPUtime=134.25 /proc/4884/stat : 4884 (bsolo) R 4882 4884 4553 0 -1 4194304 6828 0 0 0 13395 30 0 0 25 0 1 0 186251433 37675008 6798 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4884/statm: 9198 6798 198 640 0 8554 0 Current children cumulated CPU time (s) 134.25 Current children cumulated vsize (KiB) 36792 [startup+135.902 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4885 /proc/meminfo: memFree=1822632/2055920 swapFree=4192812/4192956 [pid=4884] ppid=4882 vsize=36792 CPUtime=135.85 /proc/4884/stat : 4884 (bsolo) R 4882 4884 4553 0 -1 4194304 6828 0 0 0 13555 30 0 0 25 0 1 0 186251433 37675008 6798 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4884/statm: 9198 6798 198 640 0 8554 0 Current children cumulated CPU time (s) 135.85 Current children cumulated vsize (KiB) 36792 [startup+136.702 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4885 /proc/meminfo: memFree=1822632/2055920 swapFree=4192812/4192956 [pid=4884] ppid=4882 vsize=36792 CPUtime=136.65 /proc/4884/stat : 4884 (bsolo) R 4882 4884 4553 0 -1 4194304 6828 0 0 0 13635 30 0 0 25 0 1 0 186251433 37675008 6798 1992294400 134512640 137136520 4294956256 18446744073709551615 134573386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4884/statm: 9198 6798 198 640 0 8554 0 Current children cumulated CPU time (s) 136.65 Current children cumulated vsize (KiB) 36792 [startup+137.102 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4885 /proc/meminfo: memFree=1822632/2055920 swapFree=4192812/4192956 [pid=4884] ppid=4882 vsize=36792 CPUtime=137.05 /proc/4884/stat : 4884 (bsolo) R 4882 4884 4553 0 -1 4194304 6828 0 0 0 13675 30 0 0 25 0 1 0 186251433 37675008 6798 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4884/statm: 9198 6798 198 640 0 8554 0 Current children cumulated CPU time (s) 137.05 Current children cumulated vsize (KiB) 36792 [startup+137.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 4885 /proc/meminfo: memFree=1822632/2055920 swapFree=4192812/4192956 [pid=4884] ppid=4882 vsize=36792 CPUtime=137.25 /proc/4884/stat : 4884 (bsolo) R 4882 4884 4553 0 -1 4194304 6828 0 0 0 13695 30 0 0 25 0 1 0 186251433 37675008 6798 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4884/statm: 9198 6798 198 640 0 8554 0 Current children cumulated CPU time (s) 137.25 Current children cumulated vsize (KiB) 36792 Child status: 0 Real time (s): 137.331 CPU time (s): 137.29 CPU user time (s): 136.975 CPU system time (s): 0.314952 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (KiB): 36792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 136.975 system time used= 0.314952 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6830 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= 4 involuntary context switches= 205 runsolver used 0.094985 second user time and 0.301954 second system time The end
Begin job on node35 at 2009-06-16 23:08:41 IDJOB=1876501 IDBENCH=47911 IDSOLVER=699 FILE ID=node35/1876501-1245186521 PBS_JOBID= 9363941 Free space on /tmp= 66136 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=11-P1=331-P2=7-P3=107-P4=137-P5=439-P6=409-P7=421-P8=491-P9=293-B.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876501-1245186521/watcher-1876501-1245186521 -o /tmp/evaluation-result-1876501-1245186521/solver-1876501-1245186521 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876501-1245186521.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bf07e05475dbb8a26e29c8119be0dea3 RANDOM SEED=987418731 node35.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.232 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.232 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: 1851344 kB Buffers: 44968 kB Cached: 85860 kB SwapCached: 140 kB Active: 44484 kB Inactive: 100416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1851344 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3952 kB Writeback: 0 kB Mapped: 23744 kB Slab: 45620 kB Committed_AS: 172796 kB PageTables: 1400 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-1876501-1245186521.opb Free space on /tmp at the end= 66132 MiB End job on node35 at 2009-06-16 23:10:59