Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.4.8 | ? (TO) | 3580 | 1800.03 | 1800.02 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-4.opb |
MD5SUM | 4e682317a6045f4869b1783c80734344 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 813 |
Best CPU time to get the best result obtained on this benchmark | 0.261959 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 813 |
Optimality of the best value was proved | YES |
Number of variables | 2289 |
Total number of constraints | 764 |
Number of constraints which are clauses | 360 |
Number of constraints which are cardinality constraints (but not clauses) | 404 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 195 |
Number of terms in the objective function | 1798 |
Biggest coefficient in the objective function | 349 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 104116 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 349 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 104116 |
Number of bits of the biggest sum of numbers | 17 |
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.01 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 0.00/0.07 o 9275 0.00/0.08 o 9174 0.06/0.08 o 9077 0.06/0.09 o 9076 22.99/23.01 o 8987 22.99/23.01 o 8986 22.99/23.01 o 8985 23.09/23.15 o 8984 39.77/39.80 o 8895 39.77/39.81 o 8894 40.47/40.54 o 8801 40.47/40.54 o 8800 40.47/40.54 o 8799 40.47/40.55 o 8798 40.47/40.55 o 8797 40.47/40.55 o 8796 40.47/40.55 o 8795 40.47/40.56 o 8794 42.47/42.59 o 8793 50.77/50.89 o 8705 50.77/50.89 o 8704 50.87/50.91 o 8703 50.87/50.92 o 8702 50.87/50.96 o 8701 50.98/51.01 o 8700 50.98/51.03 o 8699 50.98/51.08 o 8698 51.18/51.22 o 8697 52.28/52.30 o 8604 52.28/52.30 o 8603 52.48/52.59 o 8514 52.48/52.60 o 8513 52.57/52.60 o 8512 52.57/52.62 o 8511 52.57/52.66 o 8510 52.57/52.67 o 8509 52.57/52.68 o 8508 54.17/54.27 o 8507 54.17/54.28 o 8506 54.27/54.30 o 8505 54.37/54.45 o 8406 54.37/54.45 o 8405 54.57/54.61 o 8308 54.57/54.61 o 8307 54.57/54.62 o 8306 54.57/54.67 o 8305 56.37/56.42 o 8210 56.37/56.42 o 8209 56.37/56.42 o 8208 56.37/56.44 o 8207 56.37/56.44 o 8206 56.37/56.48 o 8205 56.37/56.49 o 8204 57.98/58.09 o 8107 57.98/58.09 o 8106 58.07/58.10 o 8105 58.07/58.14 o 8104 58.07/58.16 o 8103 58.07/58.17 o 8004 58.07/58.18 o 8003 58.88/58.99 o 7910 58.88/58.99 o 7909 58.88/59.00 o 7908 58.97/59.00 o 7907 58.97/59.03 o 7906 58.97/59.03 o 7806 60.57/60.65 o 7711 60.57/60.66 o 7710 60.57/60.67 o 7709 60.77/60.82 o 7708 60.97/61.03 o 7707 61.49/61.55 o 7706 78.78/78.89 o 7608 78.78/78.89 o 7607 78.78/78.89 o 7606 78.88/78.90 o 7605 81.29/81.39 o 7508 81.29/81.40 o 7507 81.78/81.87 o 7407 81.78/81.87 o 7406 81.98/82.09 o 7310 81.98/82.10 o 7309 82.08/82.10 o 7308 82.08/82.10 o 7307 82.08/82.11 o 7306 83.49/83.56 o 7305 84.28/84.39 o 7304 84.48/84.57 o 7303 89.68/89.79 o 7302 89.68/89.79 o 7203 89.68/89.79 o 7202 89.68/89.79 o 7201 93.58/93.61 o 7200 99.48/99.52 o 7108 99.48/99.52 o 7107 99.48/99.53 o 7106 131.78/131.83 o 7105 132.18/132.29 o 7104 136.48/136.53 o 7103 137.88/137.92 o 7005 137.88/137.93 o 7004 137.88/137.93 o 7003 137.88/137.93 o 7002 138.08/138.16 o 7001 142.78/142.86 o 7000 144.58/144.62 o 6906 144.58/144.63 o 6905 144.58/144.64 o 6904 145.98/146.03 o 6903 160.49/160.56 o 6815 160.49/160.58 o 6814 161.08/161.18 o 6730 161.08/161.18 o 6729 161.08/161.19 o 6728 163.58/163.63 o 6727 164.28/164.36 o 6726 177.68/177.77 o 6725 180.08/180.17 o 6724 197.89/197.93 o 6723 279.57/279.68 o 6625 279.57/279.69 o 6624 280.48/280.59 o 6623 281.37/281.45 o 6622 282.47/282.50 o 6522 282.47/282.50 o 6521 282.47/282.51 o 6421 282.47/282.51 o 6420 282.47/282.57 o 6419 284.07/284.12 o 6418 284.27/284.35 o 6417 285.57/285.67 o 6416 285.77/285.84 o 6316 289.67/289.77 o 6221 289.77/289.87 o 6220 289.87/289.92 o 6219 293.37/293.46 o 6119 317.47/317.57 o 6118 320.17/320.23 o 6117 343.97/344.05 o 6116 343.97/344.06 o 6115 352.67/352.79 o 6016 352.67/352.79 o 6015 398.08/398.18 o 6014 399.77/399.87 o 6013 410.77/410.82 o 5915 410.77/410.84 o 5914 410.77/410.87 o 5913 410.97/411.06 o 5912 411.77/411.82 o 5911 412.17/412.22 o 5910 413.37/413.41 o 5812 413.37/413.42 o 5811 414.87/414.94 o 5810 417.88/417.93 o 5809 440.57/440.64 o 5710 441.17/441.20 o 5709 453.18/453.21 o 5613 453.18/453.22 o 5612 453.18/453.22 o 5611 453.67/453.77 o 5610 454.77/454.80 o 5609 457.77/457.88 o 5510 457.77/457.88 o 5509 458.87/458.91 o 5508 461.77/461.80 o 5507 468.48/468.52 o 5409 477.07/477.15 o 5408 477.77/477.85 o 5407 479.67/479.77 o 5406 481.07/481.12 o 5405 482.37/482.45 o 5404 490.07/490.15 o 5308 490.37/490.44 o 5208 491.37/491.45 o 5109 491.58/491.66 o 5108 498.87/498.95 o 5107 525.57/525.67 o 5106 526.37/526.42 o 5010 526.37/526.43 o 5009 526.37/526.43 o 5008 540.57/540.66 o 4913 540.57/540.66 o 4912 540.57/540.66 o 4911 540.57/540.66 o 4910 547.78/547.86 o 4909 548.57/548.64 o 4908 550.07/550.12 o 4907 562.17/562.25 o 4906 562.17/562.25 o 4905 563.27/563.34 o 4904 572.47/572.55 o 4902 573.97/574.08 o 4901 579.17/579.28 o 4900 579.17/579.29 o 4800 579.47/579.51 o 4799 583.87/583.91 o 4798 585.97/586.06 o 4797 590.07/590.12 o 4796 824.99/825.08 o 4706 824.99/825.09 o 4705 825.08/825.11 o 4704 825.18/825.29 o 4703 825.38/825.41 o 4702 825.48/825.51 o 4701 829.29/829.32 o 4700 834.68/834.74 o 4699 844.58/844.61 o 4698 858.08/858.19 o 4697 869.68/869.74 o 4598 872.68/872.72 o 4597 881.88/881.96 o 4596 885.88/885.92 o 4595 890.08/890.11 o 4594 892.18/892.27 o 4593 907.78/907.81 o 4497 907.78/907.81 o 4496 907.78/907.82 o 4495 913.68/913.76 o 4398 923.68/923.79 o 4397 952.60/952.63 o 4396 953.08/953.11 o 4395 954.70/954.72 o 4394 970.28/970.33 o 4393 970.78/970.85 o 4392 973.58/973.68 o 4391 979.08/979.13 o 4390 981.98/982.05 o 4389 996.18/996.28 o 4388 996.18/996.29 o 4287 1001.48/1001.52 o 4286 1030.70/1030.74 o 4285 1054.90/1054.95 o 4189 1054.90/1054.95 o 4188 1057.29/1057.36 o 4187 1058.59/1058.64 o 4186 1121.29/1121.32 o 4185 1131.59/1131.62 o 4088 1131.59/1131.62 o 4087 1131.59/1131.63 o 4086 1131.59/1131.70 o 4085 1132.69/1132.70 o 4084 1146.79/1146.86 o 3991 1146.79/1146.86 o 3990 1146.79/1146.87 o 3989 1146.79/1146.87 o 3988 1146.79/1146.87 o 3987 1146.79/1146.88 o 3986 1146.89/1146.94 o 3985 1146.89/1146.94 o 3984 1147.09/1147.13 o 3983 1147.09/1147.17 o 3982 1147.09/1147.21 o 3981 1147.20/1147.24 o 3980 1147.20/1147.27 o 3979 1158.59/1158.63 o 3978 1172.69/1172.72 o 3977 1174.80/1174.88 o 3976 1175.29/1175.30 o 3975 1185.89/1185.97 o 3974 1188.09/1188.17 o 3973 1195.70/1195.72 o 3972 1196.09/1196.13 o 3971 1197.69/1197.75 o 3970 1262.89/1262.94 o 3880 1262.89/1262.96 o 3879 1262.89/1262.97 o 3878 1262.89/1262.97 o 3877 1262.89/1262.98 o 3876 1262.89/1262.98 o 3875 1262.89/1262.99 o 3874 1263.19/1263.24 o 3873 1369.51/1369.53 o 3872 1370.39/1370.41 o 3871 1370.89/1371.00 o 3870 1385.40/1385.49 o 3780 1385.50/1385.50 o 3779 1385.50/1385.52 o 3778 1391.41/1391.48 o 3777 1537.00/1537.06 o 3776 1549.10/1549.17 o 3775 1551.90/1551.96 o 3774 1688.70/1688.78 o 3680 1688.70/1688.79 o 3679 1690.00/1690.09 o 3678 1690.80/1690.81 o 3677 1784.30/1784.33 o 3596 1784.30/1784.34 o 3595 1784.30/1784.35 o 3594 1784.30/1784.35 o 3593 1784.30/1784.35 o 3592 1784.30/1784.35 o 3591 1784.30/1784.36 o 3590 1784.30/1784.36 o 3589 1784.30/1784.36 o 3588 1784.30/1784.37 o 3587 1784.30/1784.38 o 3586 1786.20/1786.22 o 3585 1786.20/1786.22 o 3584 1786.20/1786.23 o 3583 1786.20/1786.26 o 3582 1787.91/1787.97 o 3581 1797.81/1797.81 o 3580 1800.02/1800.01 >>> Terminate signal received 1800.02/1800.01 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 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 x166 -x167 -x168 x169 -x170 -x171 x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -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 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 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 -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 -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 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 -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 -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 -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 -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 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 x1022 x1023 x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 x1037 -x1038 x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 x1225 -x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 x1278 -x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 x1318 -x1319 -x1320 -x1321 x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 x1331 -x1332 x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 x1461 -x1462 x1463 -x1464 x1465 x1466 -x1467 -x1468 x1469 x1470 x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 x1518 -x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 -x1535 -x1536 -x1537 -x1538 x1539 x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 -x1581 -x1582 -x1583 -x1584 -x1585 x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 -x1598 -x1599 x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 x1669 -x1670 -x1671 -x1672 -x1673 x1674 -x1675 x1676 x1677 -x1678 -x1679 x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 -x1692 x1693 -x1694 -x1695 -x1696 -x1697 x1698 -x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 x1727 x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 x1763 x1764 -x1765 -x1766 x1767 -x1768 -x1769 x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 -x1788 -x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 x1799 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 -x1818 -x1819 x1820 x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 x1921 -x1922 -x1923 -x1924 x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 x1933 x1934 -x1935 -x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 x1950 x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 x2024 -x2025 -x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 x2090 -x2091 -x2092 x2093 x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 x2151 -x2152 -x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 x2163 x2164 -x2165 x2166 -x2167 x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 x2184 -x2185 -x2186 -x2187 x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 x2216 -x2217 x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 x2266 x2267 x2268 -x2269 -x2270 -x2271 -x2272 -x2273 x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 x2287 -x2288 -x2289
OK 3580
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3465342-1307392463/watcher-3465342-1307392463 -o /tmp/evaluation-result-3465342-1307392463/solver-3465342-1307392463 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3465342-1307392463.opb --verbosity=0 --format=opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Using a pseudo terminal to collect output from the solver Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 2.00 1.99 3/400 31875 /proc/meminfo: memFree=29901008/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=11796 CPUtime=0 cores=0,2,4,6 /proc/31875/stat : 31875 (runsolver) R 31873 31875 30953 0 -1 4202560 45 0 0 0 0 0 0 0 25 0 1 0 850846066 12079104 55 33554432000 4194304 5432328 140736459407776 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0 /proc/31875/statm: 2949 55 34 303 0 2643 0 [startup+0.081196 s] /proc/loadavg: 1.93 2.00 1.99 3/400 31875 /proc/meminfo: memFree=29901008/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=6168 CPUtime=0.06 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 1227 0 0 0 6 0 0 0 25 0 1 0 850846066 6316032 1167 33554432000 4194304 6539028 140734872278688 18446744073709551615 4698643 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 1542 1167 261 573 0 960 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 6168 [startup+0.100192 s] /proc/loadavg: 1.93 2.00 1.99 3/400 31875 /proc/meminfo: memFree=29901008/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=6568 CPUtime=0.08 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 1325 0 0 0 8 0 0 0 25 0 1 0 850846066 6725632 1265 33554432000 4194304 6539028 140734872278688 18446744073709551615 4698586 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 1642 1265 261 573 0 1060 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6568 [startup+0.300245 s] /proc/loadavg: 1.93 2.00 1.99 3/400 31875 /proc/meminfo: memFree=29901008/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=11164 CPUtime=0.28 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 2042 0 0 0 28 0 0 0 25 0 1 0 850846066 11431936 1982 33554432000 4194304 6539028 140734872278688 18446744073709551615 4499107 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 2791 1982 270 573 0 2209 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 11164 [startup+0.701145 s] /proc/loadavg: 1.93 2.00 1.99 3/400 31875 /proc/meminfo: memFree=29901008/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=11552 CPUtime=0.68 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 2363 0 0 0 68 0 0 0 25 0 1 0 850846066 11829248 2303 33554432000 4194304 6539028 140734872278688 18446744073709551615 4281501 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 2888 2303 270 573 0 2306 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 11552 [startup+1.50102 s] /proc/loadavg: 1.93 2.00 1.99 3/401 31876 /proc/meminfo: memFree=29891700/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=14864 CPUtime=1.48 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 3063 0 0 0 148 0 0 0 25 0 1 0 850846066 15220736 3002 33554432000 4194304 6539028 140734872278688 18446744073709551615 4713360 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 3716 3002 270 573 0 3134 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 14864 [startup+3.10075 s] /proc/loadavg: 1.93 2.00 1.99 3/401 31876 /proc/meminfo: memFree=29890584/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=18236 CPUtime=3.08 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 7327 0 0 0 307 1 0 0 25 0 1 0 850846066 18673664 3266 33554432000 4194304 6539028 140734872278688 18446744073709551615 4716058 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 4559 3266 270 573 0 3977 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 18236 [startup+6.30117 s] /proc/loadavg: 1.93 2.00 1.99 3/401 31876 /proc/meminfo: memFree=29885624/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=24836 CPUtime=6.28 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 11746 0 0 0 626 2 0 0 25 0 1 0 850846066 25432064 4760 33554432000 4194304 6539028 140734872278688 18446744073709551615 4698822 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 6209 4760 270 573 0 5627 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 24836 [startup+12.701 s] /proc/loadavg: 1.94 2.00 1.99 3/401 31876 /proc/meminfo: memFree=29876416/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=24836 CPUtime=12.68 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 12840 0 0 0 1266 2 0 0 25 0 1 0 850846066 25432064 5850 33554432000 4194304 6539028 140734872278688 18446744073709551615 4701800 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 6209 5850 270 573 0 5627 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24836 [startup+25.5007 s] /proc/loadavg: 1.95 2.00 1.99 3/401 31877 /proc/meminfo: memFree=29873556/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=36436 CPUtime=25.47 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 16672 0 0 0 2545 2 0 0 25 0 1 0 850846066 37310464 6617 33554432000 4194304 6539028 140734872278688 18446744073709551615 4698649 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 9109 6617 270 573 0 8527 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 36436 [startup+51.1011 s] /proc/loadavg: 1.97 2.00 1.99 3/401 31878 /proc/meminfo: memFree=29873360/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=36436 CPUtime=51.08 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 16673 0 0 0 5106 2 0 0 25 0 1 0 850846066 37310464 6618 33554432000 4194304 6539028 140734872278688 18446744073709551615 4624549 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 9109 6618 270 573 0 8527 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 36436 [startup+102.315 s] /proc/loadavg: 1.98 2.00 1.99 3/401 31879 /proc/meminfo: memFree=29870980/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=36436 CPUtime=102.29 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 21733 0 0 0 10226 3 0 0 25 0 1 0 850846066 37310464 6974 33554432000 4194304 6539028 140734872278688 18446744073709551615 4702311 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 9109 6974 270 573 0 8527 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 36436 [startup+162.3 s] /proc/loadavg: 1.99 2.00 1.99 3/401 31880 /proc/meminfo: memFree=29870344/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=36436 CPUtime=162.28 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 21733 0 0 0 16225 3 0 0 25 0 1 0 850846066 37310464 6974 33554432000 4194304 6539028 140734872278688 18446744073709551615 4716038 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 9109 6974 270 573 0 8527 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 36436 [startup+222.301 s] /proc/loadavg: 1.99 2.00 1.99 3/401 31882 /proc/meminfo: memFree=29841184/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=109068 CPUtime=222.28 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 76662 0 0 0 22218 10 0 0 25 0 1 0 850846066 111685632 22713 33554432000 4194304 6539028 140734872278688 18446744073709551615 4701968 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 27267 22714 270 573 0 26685 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 109068 [startup+282.301 s] /proc/loadavg: 1.99 2.00 1.99 3/401 31884 /proc/meminfo: memFree=29841296/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=282.27 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 121659 0 0 0 28211 16 0 0 25 0 1 0 850846066 61181952 14559 33554432000 4194304 6539028 140734872278688 18446744073709551615 4282120 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14559 270 573 0 14355 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 59748 [startup+342.3 s] /proc/loadavg: 1.99 2.00 1.99 3/401 31885 /proc/meminfo: memFree=29840776/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=342.27 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 129701 0 0 0 34210 17 0 0 25 0 1 0 850846066 61181952 14559 33554432000 4194304 6539028 140734872278688 18446744073709551615 4718154 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14559 270 573 0 14355 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 59748 [startup+402.301 s] /proc/loadavg: 2.08 2.03 2.00 3/401 31887 /proc/meminfo: memFree=29841144/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=402.27 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 137930 0 0 0 40209 18 0 0 25 0 1 0 850846066 61181952 14559 33554432000 4194304 6539028 140734872278688 18446744073709551615 4718154 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14559 270 573 0 14355 0 Current children cumulated CPU time (s) 402.27 Current children cumulated vsize (KiB) 59748 [startup+462.301 s] /proc/loadavg: 2.10 2.05 2.01 3/401 31888 /proc/meminfo: memFree=29839760/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=462.27 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 137930 0 0 0 46209 18 0 0 25 0 1 0 850846066 61181952 14559 33554432000 4194304 6539028 140734872278688 18446744073709551615 4503317 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14559 270 573 0 14355 0 Current children cumulated CPU time (s) 462.27 Current children cumulated vsize (KiB) 59748 [startup+522.3 s] /proc/loadavg: 2.03 2.04 2.00 3/401 31890 /proc/meminfo: memFree=29839612/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=522.27 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 137930 0 0 0 52209 18 0 0 25 0 1 0 850846066 61181952 14559 33554432000 4194304 6539028 140734872278688 18446744073709551615 4700400 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14559 270 573 0 14355 0 Current children cumulated CPU time (s) 522.27 Current children cumulated vsize (KiB) 59748 [startup+582.301 s] /proc/loadavg: 2.01 2.03 2.00 3/401 31892 /proc/meminfo: memFree=29839348/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=582.27 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 137930 0 0 0 58209 18 0 0 25 0 1 0 850846066 61181952 14559 33554432000 4194304 6539028 140734872278688 18446744073709551615 4700430 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14559 270 573 0 14355 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 59748 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.00 2.00 3/401 31898 /proc/meminfo: memFree=29839184/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=822.28 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 137931 0 0 0 82209 19 0 0 25 0 1 0 850846066 61181952 14560 33554432000 4194304 6539028 140734872278688 18446744073709551615 4700439 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14560 270 573 0 14355 0 Current children cumulated CPU time (s) 822.28 Current children cumulated vsize (KiB) 59748 [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/401 31900 /proc/meminfo: memFree=29838168/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=882.28 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 137931 0 0 0 88209 19 0 0 25 0 1 0 850846066 61181952 14560 33554432000 4194304 6539028 140734872278688 18446744073709551615 4505740 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14560 270 573 0 14355 0 Current children cumulated CPU time (s) 882.28 Current children cumulated vsize (KiB) 59748 [startup+942.3 s] /proc/loadavg: 2.22 2.06 2.02 3/401 31901 /proc/meminfo: memFree=29838280/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=942.28 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 137931 0 0 0 94209 19 0 0 25 0 1 0 850846066 61181952 14560 33554432000 4194304 6539028 140734872278688 18446744073709551615 4716055 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14560 270 573 0 14355 0 Current children cumulated CPU time (s) 942.28 Current children cumulated vsize (KiB) 59748 [startup+1002.3 s] /proc/loadavg: 2.18 2.08 2.02 3/401 31903 /proc/meminfo: memFree=29837760/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=1002.28 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 137931 0 0 0 100209 19 0 0 25 0 1 0 850846066 61181952 14560 33554432000 4194304 6539028 140734872278688 18446744073709551615 4700430 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14560 270 573 0 14355 0 Current children cumulated CPU time (s) 1002.28 Current children cumulated vsize (KiB) 59748 [startup+1062.3 s] /proc/loadavg: 2.06 2.06 2.02 3/401 31904 /proc/meminfo: memFree=29837384/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=1062.29 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 137931 0 0 0 106210 19 0 0 25 0 1 0 850846066 61181952 14560 33554432000 4194304 6539028 140734872278688 18446744073709551615 4701582 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14560 270 573 0 14355 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 59748 [startup+1122.3 s] /proc/loadavg: 2.02 2.05 2.01 3/401 31906 /proc/meminfo: memFree=29837244/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=1122.29 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 137931 0 0 0 112210 19 0 0 25 0 1 0 850846066 61181952 14560 33554432000 4194304 6539028 140734872278688 18446744073709551615 4701536 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14560 270 573 0 14355 0 Current children cumulated CPU time (s) 1122.29 Current children cumulated vsize (KiB) 59748 [startup+1182.3 s] /proc/loadavg: 2.01 2.04 2.01 3/401 31908 /proc/meminfo: memFree=29836736/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=1182.29 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 137931 0 0 0 118210 19 0 0 25 0 1 0 850846066 61181952 14560 33554432000 4194304 6539028 140734872278688 18446744073709551615 4700405 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14560 270 573 0 14355 0 Current children cumulated CPU time (s) 1182.29 Current children cumulated vsize (KiB) 59748 [startup+1242.3 s] /proc/loadavg: 2.00 2.03 2.00 3/401 31909 /proc/meminfo: memFree=29835588/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=1242.29 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 137931 0 0 0 124210 19 0 0 25 0 1 0 850846066 61181952 14560 33554432000 4194304 6539028 140734872278688 18446744073709551615 4700400 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14560 270 573 0 14355 0 Current children cumulated CPU time (s) 1242.29 Current children cumulated vsize (KiB) 59748 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.00 3/401 31939 /proc/meminfo: memFree=29742648/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=1302.3 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 137931 0 0 0 130211 19 0 0 25 0 1 0 850846066 61181952 14560 33554432000 4194304 6539028 140734872278688 18446744073709551615 4700400 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14560 270 573 0 14355 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 59748 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/401 31940 /proc/meminfo: memFree=29742512/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=1362.29 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 137931 0 0 0 136210 19 0 0 25 0 1 0 850846066 61181952 14560 33554432000 4194304 6539028 140734872278688 18446744073709551615 4702640 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14560 270 573 0 14355 0 Current children cumulated CPU time (s) 1362.29 Current children cumulated vsize (KiB) 59748 [startup+1422.31 s] /proc/loadavg: 2.00 2.01 2.00 3/401 31942 /proc/meminfo: memFree=29741628/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=1422.31 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 137931 0 0 0 142211 20 0 0 25 0 1 0 850846066 61181952 14560 33554432000 4194304 6539028 140734872278688 18446744073709551615 4504186 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14560 270 573 0 14355 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 59748 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/401 31944 /proc/meminfo: memFree=29742612/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=1482.3 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 137931 0 0 0 148210 20 0 0 25 0 1 0 850846066 61181952 14560 33554432000 4194304 6539028 140734872278688 18446744073709551615 4700451 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14560 270 573 0 14355 0 Current children cumulated CPU time (s) 1482.3 Current children cumulated vsize (KiB) 59748 [startup+1542.3 s] /proc/loadavg: 2.14 2.04 2.01 3/401 31945 /proc/meminfo: memFree=29743592/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=1542.3 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 137931 0 0 0 154210 20 0 0 25 0 1 0 850846066 61181952 14560 33554432000 4194304 6539028 140734872278688 18446744073709551615 4698562 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14560 270 573 0 14355 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 59748 [startup+1602.3 s] /proc/loadavg: 2.05 2.03 2.00 3/401 31956 /proc/meminfo: memFree=29742700/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=1602.3 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 137931 0 0 0 160210 20 0 0 25 0 1 0 850846066 61181952 14560 33554432000 4194304 6539028 140734872278688 18446744073709551615 4702311 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14560 270 573 0 14355 0 Current children cumulated CPU time (s) 1602.3 Current children cumulated vsize (KiB) 59748 [startup+1662.3 s] /proc/loadavg: 2.06 2.04 2.00 3/401 31957 /proc/meminfo: memFree=29743588/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=1662.3 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 137931 0 0 0 166210 20 0 0 25 0 1 0 850846066 61181952 14560 33554432000 4194304 6539028 140734872278688 18446744073709551615 4722513 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14560 270 573 0 14355 0 Current children cumulated CPU time (s) 1662.3 Current children cumulated vsize (KiB) 59748 [startup+1722.3 s] /proc/loadavg: 2.06 2.04 2.00 3/401 31959 /proc/meminfo: memFree=29742952/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=1722.3 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 137931 0 0 0 172210 20 0 0 25 0 1 0 850846066 61181952 14560 33554432000 4194304 6539028 140734872278688 18446744073709551615 4702454 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14560 270 573 0 14355 0 Current children cumulated CPU time (s) 1722.3 Current children cumulated vsize (KiB) 59748 [startup+1782.3 s] /proc/loadavg: 2.02 2.03 2.00 3/401 31963 /proc/meminfo: memFree=29741828/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=1782.31 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 145552 0 0 0 178210 21 0 0 25 0 1 0 850846066 61181952 14560 33554432000 4194304 6539028 140734872278688 18446744073709551615 4707600 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14560 270 573 0 14355 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 59748 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.03 2.00 3/401 31964 /proc/meminfo: memFree=29742428/32950904 swapFree=56615552/67111528 [pid=31875] ppid=31873 vsize=59748 CPUtime=1800.02 cores=0,2,4,6 /proc/31875/stat : 31875 (minisatid) R 31873 31875 30953 0 -1 4202496 145552 0 0 0 179981 21 0 0 25 0 1 0 850846066 61181952 14560 33554432000 4194304 6539028 140734872278688 18446744073709551615 4714768 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/31875/statm: 14937 14560 270 573 0 14355 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 59748 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.02 CPU time (s): 1800.03 CPU user time (s): 1799.81 CPU system time (s): 0.214967 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 139888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.81 system time used= 0.214967 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 145555 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= 7 involuntary context switches= 5874 runsolver used 7.38288 second user time and 15.5076 second system time The end
Begin job on node121 at 2011-06-06 22:34:23 IDJOB=3465342 IDBENCH=2234 IDSOLVER=1956 FILE ID=node121/3465342-1307392463 RUNJOBID= node121-1307381325-30971 PBS_JOBID= 13514186 Free space on /tmp= 74036 MiB SOLVER NAME= MinisatID 2.4.8 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb COMMAND LINE= HOME/minisatid BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3465342-1307392463/watcher-3465342-1307392463 -o /tmp/evaluation-result-3465342-1307392463/solver-3465342-1307392463 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3465342-1307392463.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4e682317a6045f4869b1783c80734344 RANDOM SEED=1559623110 node121.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950904 kB MemFree: 29901164 kB Buffers: 353820 kB Cached: 561768 kB SwapCached: 9896 kB Active: 2336168 kB Inactive: 452336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 29901164 kB SwapTotal: 67111528 kB SwapFree: 56615552 kB Dirty: 2736 kB Writeback: 0 kB AnonPages: 1870040 kB Mapped: 14204 kB Slab: 142888 kB PageTables: 51912 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 83556132 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74032 MiB End job on node121 at 2011-06-06 23:04:25