Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | OPT | 3 | 397.707 | 397.83 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=383-P1=149-P2=409-P3=307-P4=127-P5=191-P6=227-P7=281-P8=211-B.opb |
MD5SUM | 1d88cb7e119c66203d260e6c8e2ab364 |
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 | 6.77897 |
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 | 17 |
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 | 17 |
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) | 648 |
Sum of products size (including duplicates) | 1296 |
Number of different products | 648 |
Sum of products size | 1296 |
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-1876565-1245187453.opb 0.00/0.00 c File size is 48923 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.006 s 0.00/0.00 c Var: 864 Constr: 1321 648/0/673 Lit: 5535 Watch. Lit: 3386 0.00/0.00 c Obj. Vars: 9 (1.04167 % of total variables) 0.00/0.01 c Pre-processing Time: 0.016 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 864 1321 5535 4 4761 7398 0 0 0.02 0.00/0.01 c Switching off lower bounding mode. 335.29/335.40 c 100 864 1488 13712 9 5196 8138 167 2857 0.04 335.29/335.40 c 251 864 1680 28849 17 5473 8952 359 3861 0.07 335.29/335.40 c 477 864 1927 48580 25 6010 9848 606 4042 0.12 335.29/335.40 c 815 854 2408 73961 30 7185 10833 1087 4095 0.20 335.29/335.40 c 1324 854 3237 150356 46 9613 11917 1916 3237 0.41 335.29/335.40 c 2088 854 4365 211508 48 12417 13109 3044 3232 0.65 335.29/335.40 c 3234 843 5886 291689 49 16047 14420 4565 3109 1.04 335.29/335.40 c 4956 843 7835 395740 50 20205 15863 6514 2577 1.92 335.29/335.40 c 7541 824 10749 541731 50 26462 17450 9428 2039 3.70 335.29/335.40 c 11420 824 14906 889177 59 35158 19196 13585 2118 5.39 335.29/335.40 c 17243 818 12046 848164 70 27977 21116 10725 1853 9.30 335.29/335.40 c 25981 787 22302 1454266 65 49865 23228 20981 1726 15.04 335.29/335.40 c 39091 765 17807 970141 54 39751 25551 16486 1463 26.71 335.29/335.40 c 58762 756 17735 991939 55 39041 28107 16414 1367 42.98 335.29/335.40 c 88272 743 23599 1442208 61 52931 30918 22278 1117 78.96 335.29/335.40 c 132543 680 21984 1249331 56 48082 34010 20663 1008 131.36 335.29/335.40 c 198953 649 30658 2015246 65 65856 37412 29337 867 229.46 335.29/335.40 o 33 389.67/389.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 389.67/389.85 c 246964 630 33481 1995825 59 71635 7416 32160 736 335.30 389.67/389.85 c 247064 620 6775 316374 46 15617 8158 5454 735 335.83 389.67/389.85 c 247314 620 7025 332773 47 16097 8974 5704 736 335.88 389.67/389.85 c 247791 620 7517 364294 48 17101 9872 6196 737 335.99 389.67/389.85 c 248604 620 8352 417755 50 18805 10860 7031 739 336.23 389.67/389.85 c 249925 620 9794 505624 51 21868 11947 8473 741 336.83 389.67/389.85 c 252007 620 11991 634024 52 26454 13142 10670 744 338.31 389.67/389.85 c 255231 620 10159 428949 42 22768 14457 8838 748 341.09 389.67/389.85 c 260168 620 15229 713833 46 33126 15903 13908 750 346.53 389.67/389.85 c 267674 619 16593 804351 48 36083 17494 15272 760 351.86 389.67/389.85 c 279035 588 14343 622843 43 32559 19244 13022 772 361.31 389.67/389.85 c 296180 561 16767 717734 42 38007 21169 15446 772 383.28 389.67/389.85 o 13 395.17/395.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 395.17/395.33 c 304018 560 15953 760279 47 36045 7410 14632 780 389.73 395.17/395.33 c 304119 560 6788 243846 35 15868 8152 5467 780 389.85 395.17/395.33 c 304370 560 7076 255367 36 16515 8968 5755 780 389.91 395.17/395.33 c 304845 560 7566 274285 36 17490 9865 6245 781 390.00 395.17/395.33 c 305659 560 8446 307761 36 19328 10852 7125 783 390.17 395.17/395.33 c 306980 560 9868 397143 40 22314 11938 8547 785 390.71 395.17/395.33 c 309062 560 12309 552295 44 27727 13132 10988 788 391.84 395.17/395.33 c 312287 540 10729 448326 41 24536 14446 9408 792 394.26 395.17/395.33 o 9 396.06/396.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 396.06/396.20 c 314559 519 13286 563043 42 30010 7406 11965 795 395.21 396.06/396.20 c 314660 519 6791 173730 25 15779 8147 5470 795 395.31 396.06/396.20 c 314910 517 7152 188940 26 16660 8962 5831 796 395.39 396.06/396.20 c 315385 517 7810 217310 27 18237 9859 6489 797 395.57 396.06/396.20 c 316199 517 8933 264497 29 20976 10845 7612 798 395.84 396.06/396.20 o 3 397.66/397.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 397.66/397.82 c 316945 517 9811 294882 30 22923 7406 8490 800 396.08 397.66/397.82 c 317045 517 6788 170026 25 16476 8147 5467 800 396.12 397.66/397.82 c 317296 483 7071 182373 25 17082 8962 5750 800 396.20 397.66/397.82 c 317772 473 7696 211667 27 18551 9859 6375 801 396.37 397.66/397.82 c 318585 466 8644 250323 28 20647 10845 7323 803 396.68 397.66/397.82 c 319905 466 10161 308443 30 23964 11930 8840 805 397.24 397.66/397.82 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 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 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 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 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 x91 -x92 x93 x94 -x95 -x96 x97 x98 -x99 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 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 -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 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 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 -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 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 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 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x118 -x119 -x120 -x121 -x122 x123 x124 x125 -x126 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 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 -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 x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 x135 -x190 -x191 x192 x193 x194 -x195 -x196 -x197 -x198 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 -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 x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x199 -x200 -x201 x202 -x203 -x204 -x205 x206 -x207 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 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 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 397.66/397.82 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 397.66/397.82 c 48 320706 3071 340346 11093 338729 9772 806 397.70 397.66/397.82 c Objective: 3 397.66/397.82 s OPTIMUM FOUND 397.66/397.82 c Total time: 397.698 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-1876565-1245187453/watcher-1876565-1245187453 -o /tmp/evaluation-result-1876565-1245187453/solver-1876565-1245187453 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876565-1245187453.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.00 1.00 1.00 3/64 8262 /proc/meminfo: memFree=1833904/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=10756 CPUtime=0 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 255 0 0 0 0 0 0 0 18 0 1 0 186344612 11014144 239 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 2689 239 175 640 0 2033 0 [startup+0.04781 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8262 /proc/meminfo: memFree=1833904/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=11240 CPUtime=0.04 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 410 0 0 0 4 0 0 0 18 0 1 0 186344612 11509760 382 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 2810 382 198 640 0 2166 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11240 [startup+0.101817 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8262 /proc/meminfo: memFree=1833904/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=11488 CPUtime=0.09 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 494 0 0 0 9 0 0 0 18 0 1 0 186344612 11763712 466 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 2872 466 198 640 0 2228 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11488 [startup+0.301848 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8262 /proc/meminfo: memFree=1833904/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=12388 CPUtime=0.29 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 725 0 0 0 29 0 0 0 19 0 1 0 186344612 12685312 697 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 3097 697 198 640 0 2453 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12388 [startup+0.701908 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8262 /proc/meminfo: memFree=1833904/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=14276 CPUtime=0.69 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 1167 0 0 0 68 1 0 0 22 0 1 0 186344612 14618624 1139 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 3569 1139 198 640 0 2925 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14276 [startup+1.50103 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8263 /proc/meminfo: memFree=1829160/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=16172 CPUtime=1.48 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 1655 0 0 0 147 1 0 0 25 0 1 0 186344612 16560128 1627 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 4043 1627 198 640 0 3399 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 16172 [startup+3.10127 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8263 /proc/meminfo: memFree=1827048/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=18328 CPUtime=3.08 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 2199 0 0 0 306 2 0 0 25 0 1 0 186344612 18767872 2171 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 4582 2171 198 640 0 3938 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 18328 [startup+6.30176 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8263 /proc/meminfo: memFree=1820136/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=25500 CPUtime=6.29 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 4001 0 0 0 625 4 0 0 25 0 1 0 186344612 26112000 3973 1992294400 134512640 137136520 4294956256 18446744073709551615 134622018 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 6375 3973 198 640 0 5731 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25500 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8263 /proc/meminfo: memFree=1813608/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=30292 CPUtime=12.69 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 5198 0 0 0 1262 7 0 0 25 0 1 0 186344612 31019008 5170 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 7573 5170 198 640 0 6929 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30292 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8263 /proc/meminfo: memFree=1810472/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=33464 CPUtime=25.49 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 5991 0 0 0 2540 9 0 0 25 0 1 0 186344612 34267136 5963 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 8366 5963 198 640 0 7722 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 33464 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8263 /proc/meminfo: memFree=1809512/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=34500 CPUtime=51.08 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 6246 0 0 0 5095 13 0 0 25 0 1 0 186344612 35328000 6218 1992294400 134512640 137136520 4294956256 18446744073709551615 136503524 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 8625 6218 198 640 0 7981 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 34500 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8263 /proc/meminfo: memFree=1802600/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=41272 CPUtime=102.26 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 7945 0 0 0 10205 21 0 0 25 0 1 0 186344612 42262528 7917 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 10318 7917 198 640 0 9674 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 41272 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8263 /proc/meminfo: memFree=1801064/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=42916 CPUtime=162.24 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 8359 0 0 0 16196 28 0 0 25 0 1 0 186344612 43945984 8297 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 10729 8297 198 640 0 10085 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 42916 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8263 /proc/meminfo: memFree=1797864/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=46104 CPUtime=222.22 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 9156 0 0 0 22188 34 0 0 25 0 1 0 186344612 47210496 9094 1992294400 134512640 137136520 4294956256 18446744073709551615 136509148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 11526 9094 198 640 0 10882 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 46104 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8263 /proc/meminfo: memFree=1794984/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=48764 CPUtime=282.2 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 9890 0 0 0 28181 39 0 0 25 0 1 0 186344612 49934336 9791 1992294400 134512640 137136520 4294956256 18446744073709551615 134543869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 12191 9791 198 640 0 11547 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 48764 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8263 /proc/meminfo: memFree=1794984/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=48764 CPUtime=342.19 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 9890 0 0 0 34173 46 0 0 25 0 1 0 186344612 49934336 9791 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 12191 9791 198 640 0 11547 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 48764 Solver just ended. Dumping a history of the last processes samples [startup+358.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8263 /proc/meminfo: memFree=1794984/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=48764 CPUtime=358.18 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 9890 0 0 0 35770 48 0 0 25 0 1 0 186344612 49934336 9791 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 12191 9791 198 640 0 11547 0 Current children cumulated CPU time (s) 358.18 Current children cumulated vsize (KiB) 48764 [startup+383.905 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8263 /proc/meminfo: memFree=1794984/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=48764 CPUtime=383.77 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 9890 0 0 0 38325 52 0 0 25 0 1 0 186344612 49934336 9791 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 12191 9791 198 640 0 11547 0 Current children cumulated CPU time (s) 383.77 Current children cumulated vsize (KiB) 48764 [startup+390.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8263 /proc/meminfo: memFree=1794984/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=48764 CPUtime=390.17 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 9890 0 0 0 38964 53 0 0 25 0 1 0 186344612 49934336 9791 1992294400 134512640 137136520 4294956256 18446744073709551615 134544489 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 12191 9791 198 640 0 11547 0 Current children cumulated CPU time (s) 390.17 Current children cumulated vsize (KiB) 48764 [startup+393.503 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8263 /proc/meminfo: memFree=1794984/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=48764 CPUtime=393.37 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 9890 0 0 0 39283 54 0 0 25 0 1 0 186344612 49934336 9791 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 12191 9791 198 640 0 11547 0 Current children cumulated CPU time (s) 393.37 Current children cumulated vsize (KiB) 48764 [startup+395.101 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8263 /proc/meminfo: memFree=1794984/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=48764 CPUtime=394.97 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 9890 0 0 0 39443 54 0 0 25 0 1 0 186344612 49934336 9791 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 12191 9791 198 640 0 11547 0 Current children cumulated CPU time (s) 394.97 Current children cumulated vsize (KiB) 48764 [startup+396.701 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8263 /proc/meminfo: memFree=1794984/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=48764 CPUtime=396.56 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 9890 0 0 0 39602 54 0 0 25 0 1 0 186344612 49934336 9791 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 12191 9791 198 640 0 11547 0 Current children cumulated CPU time (s) 396.56 Current children cumulated vsize (KiB) 48764 [startup+397.501 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8263 /proc/meminfo: memFree=1794984/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=48764 CPUtime=397.36 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 9890 0 0 0 39682 54 0 0 25 0 1 0 186344612 49934336 9791 1992294400 134512640 137136520 4294956256 18446744073709551615 134574453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 12191 9791 198 640 0 11547 0 Current children cumulated CPU time (s) 397.36 Current children cumulated vsize (KiB) 48764 [startup+397.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8263 /proc/meminfo: memFree=1794984/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=48764 CPUtime=397.56 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 9890 0 0 0 39702 54 0 0 25 0 1 0 186344612 49934336 9791 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 12191 9791 198 640 0 11547 0 Current children cumulated CPU time (s) 397.56 Current children cumulated vsize (KiB) 48764 [startup+397.802 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8263 /proc/meminfo: memFree=1794984/2055920 swapFree=4191900/4192956 [pid=8262] ppid=8260 vsize=48764 CPUtime=397.66 /proc/8262/stat : 8262 (bsolo) R 8260 8262 6988 0 -1 4194304 9890 0 0 0 39712 54 0 0 25 0 1 0 186344612 49934336 9791 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8262/statm: 12191 9791 198 640 0 11547 0 Current children cumulated CPU time (s) 397.66 Current children cumulated vsize (KiB) 48764 Child status: 0 Real time (s): 397.83 CPU time (s): 397.707 CPU user time (s): 397.15 CPU system time (s): 0.556915 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 48764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 397.15 system time used= 0.556915 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9892 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= 537 runsolver used 0.367944 second user time and 0.748886 second system time The end
Begin job on node34 at 2009-06-16 23:24:13 IDJOB=1876565 IDBENCH=47975 IDSOLVER=699 FILE ID=node34/1876565-1245187453 PBS_JOBID= 9368277 Free space on /tmp= 66252 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=383-P1=149-P2=409-P3=307-P4=127-P5=191-P6=227-P7=281-P8=211-B.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876565-1245187453/watcher-1876565-1245187453 -o /tmp/evaluation-result-1876565-1245187453/solver-1876565-1245187453 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876565-1245187453.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1d88cb7e119c66203d260e6c8e2ab364 RANDOM SEED=837429096 node34.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.263 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.263 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: 1834448 kB Buffers: 45756 kB Cached: 102428 kB SwapCached: 260 kB Active: 54940 kB Inactive: 106596 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1834448 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3952 kB Writeback: 0 kB Mapped: 21816 kB Slab: 45960 kB Committed_AS: 183828 kB PageTables: 1384 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-1876565-1245187453.opb Free space on /tmp at the end= 66248 MiB End job on node34 at 2009-06-16 23:30:51