Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: PB-clasp 2007-04-10 | SAT (TO) | 47 | 1802.03 | 1802.52 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_4.opb |
MD5SUM | ca18e0f90c225db0db25139874012827 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 29 |
Best CPU time to get the best result obtained on this benchmark | 1797.18 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 37 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1000 |
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 | 1000 |
Minimum length of a constraint | 61 |
Maximum length of a constraint | 108 |
Number of terms in the objective function | 1000 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 75484 |
Sum of products size (including duplicates) | 150968 |
Number of different products | 75484 |
Sum of products size | 150968 |
9.29/9.30 o 59 12.48/12.51 o 58 15.69/15.73 o 57 18.89/18.94 o 56 22.88/22.97 o 54 27.10/27.15 o 53 31.17/31.30 o 52 35.35/35.57 o 51 42.84/43.04 o 50 83.64/83.87 o 49 96.15/96.33 o 48 180.23/180.42 o 47 1764.50/1765.03 sh: line 1: 22731 Done cat HOME/temp/instance-3736714-1338732038.opb.op 1764.50/1765.03 22732 Terminated | clasp-1.0 --trans=no > HOME/temp/instance-3736714-1338732038.opb.clasp 1800.02/1800.51 sh: line 1: 22773 Done cat HOME/temp/instance-3736714-1338732038.opb.op 1800.02/1800.51 22774 Terminated | clasp-1.0 --trans=no > HOME/temp/instance-3736714-1338732038.opb.clasp 1800.02/1800.51 c Somebody sent me a SIGTERM 1800.02/1800.51 s SATISFIABLE 1800.02/1800.51 v x128 x229 x242 x349 x366 x373 x400 x401 x418 x447 x469 x483 x501 x519 x534 x575 x576 x603 x607 x610 x624 x641 x673 x687 x688 x716 x727 x746 x763 x826 x827 x842 x843 x854 x873 x876 x953 x965 x975 x976 x980 x981 x992 x994 x996 x998 x1000 x1013 x1055 x1092 x1096 x1107 x1111 x1124 x1165 x1181 x1184 x1188 x1198 x1227 x1305 x1314 x1364 x1376 x1446 x1452 x1473 x1499 x1519 x1527 x1567 x1591 x1594 x1599 x1613 x1623 x1671 x1677 x1704 x1710 x1757 x1759 x1761 x1770 x1790 x1801 x1820 x1824 x1865 x1866 x1902 x1903 x1914 x1962 x1981 x1991 x2003 x2019 x2052 x2063 x2072 x2100 x2103 x2182 x2185 x2225 x2237 x2243 x2244 x2261 x2283 x2333 x2393 x2450 x2468 x2556 x2576 x2580 x2620 x2680 x2711 x2731 x2733 x2755 x2762 x2765 x2769 x2810 x2814 x2851 x2893 x2908 x2929 x2949 x2953 x2966 x2998 x3023 x3024 x3049 x3077 x3078 x3095 x3098 x3192 x3222 x3227 x3230 x3240 x3299 x3300 x3308 x3329 x3335 x3341 x3367 x3377 x3385 x3411 x3426 x3436 x3443 x3509 x3510 x3545 x3561 x3596 x3627 x3692 x3700 x3701 x3794 x3816 x3822 x3849 x3885 x3922 x3982 x4017 x4135 x4158 x4159 x4165 x4170 x4195 x4330 x4365 x4366 x4373 x4423 x4426 x4431 x4449 x4493 x4496 x4510 x4518 x4574 x4592 x4601 x4609 x4617 x4631 x4652 x4672 x4679 x4699 x4700 x4704 x4713 x4716 x4733 x4805 x4809 x4821 x4829 x4836 x4863 x4868 x4927 x4938 x4941 x4953 x5083 x5108 x5127 x5154 x5183 x5221 x5303 x5312 x5318 x5378 x5379 x5405 x5415 x5433 x5436 x5437 x5461 x5537 x5560 x5569 x5606 x5611 x5617 x5633 x5659 x5696 x5753 x5788 x5842 x5854 x5944 x5945 x5956 x5958 x5976 x6006 x6020 x6021 x6042 x6051 x6055 x6056 x6107 x6115 x6160 x6174 x6187 x6201 x6295 x6320 x6331 x6345 x6350 x6417 x6499 x6501 x6517 x6528 x6605 x6642 x6645 x6659 x6705 x6743 x6744 x6753 x6794 x6810 x6835 x6871 x6942 x6963 x6975 x6981 x7011 x7024 x7058 x7068 x7093 x7152 x7153 x7169 x7173 x7190 x7193 x7228 x7233 x7272 x7281 x7337 x7366 x7386 x7423 x7469 x7490 x7504 x7521 x7530 x7549 x7554 x7656 x7666 x7681 x7704 x7715 x7739 x7759 x7785 x7799 x7813 x7856 x7866 x7925 x7953 x7959 x7996 x8102 x8163 x8209 x8210 x8213 x8223 x8225 x8233 x8308 x8345 x8379 x8422 x8460 x8472 x8493 x8564 x8588 x8589 x8623 x8636 x8698 x8707 x8732 x8740 x8752 x8801 x8820 x8853 x8900 x8907 x8948 x8954 x8986 x8989 x9008 x9045 x9052 x9073 x9083 x9111 x9124 x9201 x9208 x9220 x9236 x9261 x9309 x9327 x9352 x9355 x9359 x9392 x9400 x9437 x9454 x9501 x9503 x9520 x9561 x9574 x9602 x9610 x9623 x9630 x9631 x9653 x9705 x9732 x9733 x9750 x9809 x9825 x9833 x9853 x9859 x9860 x9879 x9915 x9951 x9957 x9960 x9978 x10031 x10054 x10111 x10120 x10137 x10150 x10242 x10243 x10275 x10285 x10290 x10315 x10317 x10447 x10477 x10484 x10488 x10490 x10547 x10552 x10557 x10575 x10578 x10599 x10633 x10635 x10732 x10758 x10760 x10763 x10817 x10823 x10828 x10859 x10861 x10865 x10878 x10879 x10885 x10913 x10952 x10955 x10978 x11028 x11045 x11081 x11125 x11151 x11158 x11159 x11167 x11200 x11217 x11248 x11253 x11309 x11329 x11331 x11332 x11334 x11336 x11394 x11401 x11416 x11424 x11455 x11460 x11505 x11523 x11563 x11566 x11576 x11594 x11632 x11689 x11697 x11773 x11784 x11805 x11834 x11838 x11840 x11843 x11877 x11879 x11921 x11931 x11950 x11956 x11960 x11964 x11971 x11974 x12010 x12011 x12023 x12029 x12056 x12070 x12083 x12092 x12105 x12106 x12113 x12128 x12138 x12149 x12156 x12193 x12246 x12255 x12265 x12312 x12377 x12408 x12436 x12443 x12497 x12514 x12577 x12643 x12665 x12681 x12731 x12765 x12770 x12787 x12789 x12894 x12928 x12938 x12955 x12957 x12961 x12974 x12976 x12978 x13021 x13026 x13055 x13066 x13094 x13105 x13110 x13114 x13169 x13210 x13211 x13218 x13229 x13261 x13292 x13305 x13315 x13320 x13324 x13326 x13349 x13359 x13377 x13404 x13405 x13408 x13409 x13415 x13450 x13510 x13511 x13513 x13557 x13562 x13565 x13601 x13606 x13681 x13718 x13719 x13779 x13783 x13812 x13823 x13834 x13843 x13852 x13930 x13989 x13996 x13998 x14029 x14084 x14097 x14101 x14104 x14125 x14127 x14162 x14166 x14181 x14183 x14190 x14219 x14243 x14246 x14250 x14281 x14288 x14294 x14307 x14311 x14331 x14347 x14364 x14367 x14371 x14389 x14398 x14425 x14535 x14557 x14569 x14604 x14614 x14618 x14621 x14654 x14732 x14794 x14795 x14807 x14843 x14868 x14872 x14928 x14931 x14972 x15000 x15012 x15055 x15062 x15087 x15119 x15120 x15171 x15241 x15262 x15280 x15334 x15338 x15341 x15390 x15410 x15440 x15454 x15477 x15494 x15533 x15535 x15549 x15562 x15563 x15656 x15684 x15728 x15742 x15774 x15777 x15826 x15888 x15917 x15928 x15931 x15932 x16010 x16011 x16030 x16057 x16067 x16076 x16083 x16128 x16136 x16175 x16181 x16225 x16230 x16281 x16293 x16316 x16318 x16336 x16340 x16367 x16392 x16407 x16424 x16435 x16461 x16474 x16475 x16486 x16532 x16574 x16587 x16635 x16646 x16668 x16684 x16696 x16699 x16718 x16746 x16750 x16775 x16863 x16868 x16916 x16931 x16940 x16950 x16953 x17012 x17047 x17054 x17060 x17090 x17091 x17102 x17110 x17113 x17115 x17131 x17177 x17198 x17273 x17324 x17369 x17392 x17407 x17450 x17451 x17461 x17464 x17467 x17476 x17492 x17526 x17546 x17568 x17570 x17617 x17632 x17634 x17635 x17664 x17713 x17743 x17745 x17756 x17799 x17920 x17954 x18005 x18008 x18049 x18050 x18055 x18087 x18102 x18104 x18105 x18125 x18132 x18185 x18210 x18215 x18240 x18269 x18304 x18307 x18313 x18322 x18330 x18331 x18349 x18352 x18355 x18380 x18395 x18411 x18459 x18477 x18479 x18493 x18522 x18528 x18589 x18592 x18617 x18704 x18751 x18756 x18774 x18777 x18781 x18789 x18794 x18832 x18847 x18863 x18870 x18907 x18914 x18921 x18924 x18951 x18953 x18976 x18997 x19009 x19014 x19063 x19074 x19076 x19084 x19086 x19094 x19107 x19118 x19130 x19143 x19236 x19264 x19274 x19281 x19326 x19421 x19496 x19502 x19521 x19540 x19621 x19674 x19738 x19740 x19753 x19755 x19796 x19832 x19844 x19862 x19871 x19926 x19999 x20035 x20040 x20091 x20093 x20099 x20104 x20141 x20183 x20187 x20200 x20205 x20219 x20249 x20269 x20334 x20340 x20343 x20357 x20369 x20371 x20384 x20404 x20430 x20438 x20512 x20514 x20548 x20585 x20589 x20626 x20629 x20652 x20657 x20671 x20673 x20735 x20758 x20763 x20767 x20806 x20811 x20841 x20856 x20904 x20920 x20932 x20945 x20989 x21030 x21058 x21075 x21090 x21098 x21121 x21128 x21175 x21192 x21261 x21298 x21300 x21303 x21334 x21340 x21355 x21382 x21449 x21453 x21531 x21533 x21534 x21546 x21548 x21558 x21563 x21672 x21726 x21773 x21775 x21812 x21818 x21819 x21860 x21871 x21892 x21925 x21934 x21943 x21947 x21958 x21959 x22012 x22014 x22018 x22042 x22048 x22066 x22068 x22073 x22103 x22112 x22179 x22202 x22233 x22260 x22281 x22297 x22304 x22319 x22327 x22335 x22395 x22416 x22455 x22458 x22463 x22472 x22477 x22504 x22529 x22533 x22544 x22564 x22571 x22621 x22630 x22675 x22801 x22864 x22865 x22882 x22884 x22899 x22910 x22942 x22955 x22959 x22972 x22982 x23059 x23062 x23100 x23106 x23187 x23198 x23213 x23239 x23240 x23275 x23306 x23310 x23371 x23389 x23394 x23402 x23405 x23438 x23447 x23453 x23465 x23481 x23491 x23510 x23523 x23532 x23533 x23570 x23624 x23636 x23643 x23651 x23677 x23742 x23785 x23798 x23828 x23831 x23840 x23879 x23887 x23888 x23891 x23944 x24008 x24041 x24059 x24062 x24081 x24089 x24136 x24139 x24156 x24217 x24227 x24249 x24306 x24310 x24315 x24333 x24390 x24391 x24404 x24417 x24461 x24481 x24483 x24485 x24511 x24538 x24639 x24750 x24758 x24800 x24810 x24824 x24826 x24848 x24885 x24890 x24916 x24929 x24960 x24964 x24977 x25002 x25003 x25004 x25011 x25058 x25066 x25081 x25085 x25108 x25116 x25118 x25138 x25143 x25146 x25167 x25169 x25243 x25295 x25306 x25318 x25344 x25401 x25485 x25552 x25564 x25572 x25573 x25583 x25602 x25630 x25638 x25653 x25660 x25711 x25715 x25737 x25742 x25784 x25804 x25818 x25825 x25828 x25858 x25886 x25891 x25899 x25905 x25912 x25950 x25976 x26034 x26061 x26065 x26069 x26077 x26078 x26084 x26085 x26105 x26129 x26144 x26170 x26225 x26252 x26277 x26285 x26288 x26291 x26324 x26409 x26419 x26445 x26459 x26529 x26545 x26546 x26625 x26706 x26709 x26744 x26787 x26861 x26869 x26881 x26923 x27008 x27044 x27046 x27073 x27078 x27082 x27150 x27151 x27159 x27168 x27195 x27230 x27307 x27316 x27325 x27329 x27404 x27407 x27410 x27423 x27469 x27474 x27541 x27548 x27553 x27566 x27592 x27593 x27648 x27674 x27719 x27738 x27822 x27880 x27891 x27893 x27918 x27965 x27968 x27986 x27997 x28029 x28050 x28126 x28150 x28166 x28196 x28216 x28244 x28284 x28302 x28316 x28361 x28401 x28409 x28453 x28476 x28510 x28517 x28521 x28524 x28557 x28558 x28567 x28611 x28621 x28637 x28652 x28715 x28729 x28774 x28776 x28789 x28796 x28802 x28804 x28815 x28885 x28957 x28972 x29010 x29025 x29073 x29106 x29109 x29126 x29129 x29131 x29189 x29203 x29210 x29269 x29293 x29344 x29370 x29381 x29419 x29420 x29428 x29429 x29447 x29458 x29501 x29510 x29522 x29537 x29554 x29576 x29598 x29610 x29613 x29631 x29663 x29683 x29704 x29712 x29719 x29766 x29844 x29857 x29871 x29883 x29914 x29922 x29932 x29947 x29957 x29966 x29969 x30000 x30021 x30026 x30048 x30073 x30096 x30114 x30168 x30198 x30206 x30261 x30274 x30317 x30324 x30330 x30335 x30405 x30409 x30411 x30416 x30418 x30420 x30435 x30436 x30451 x30455 x30468 x30491 x30518 x30528 x30580 x30581 x30597 x30601 x30608 x30615 x30643 x30676 x30703 x30737 x30740 x30800 x30814 x30817 x30895 x30924 x30952 x30979 x31002 x31005 x31014 x31049 x31053 x31081 x31095 x31116 x31135 x31161 x31168 x31224 x31237 x31246 x31275 x31287 x31289 x31291 x31357 x31375 x31382 x31413 x31455 x31475 x31478 x31600 x31610 x31645 x31647 x31674 x31683 x31685 x31696 x31706 x31708 x31715 x31728 x31764 x31772 x31797 x31805 x31839 x31840 x31852 x31862 x31885 x31894 x31950 x31968 x31970 x31983 x32009 x32017 x32057 x32068 x32118 x32120 x32121 x32135 x32138 x32149 x32201 x32202 x32218 x32250 x32280 x32315 x32361 x32376 x32416 x32439 x32445 x32521 x32526 x32543 x32589 x32604 x32609 x32662 x32667 x32684 x32741 x32776 x32829 x32830 x32864 x32994 x32995 x32999 x33000 x33024 x33043 x33045 x33058 x33059 x33069 x33082 x33096 x33121 x33139 x33142 x33145 x33149 x33152 x33154 x33222 x33223 x33240 x33250 x33317 x33321 x33327 x33397 x33407 x33410 x33413 x33565 x33571 x33581 x33605 x33633 x33658 x33726 x33743 x33748 x33801 x33819 x33823 x33874 x33891 x33936 x33953 x33956 x33961 x33970 x33986 x34021 x34105 x34108 x34139 x34176 x34184 x34190 x34227 x34258 x34265 x34273 x34286 x34311 x34323 x34326 x34406 x34410 x34418 x34435 x34477 x34484 x34496 x34573 x34586 x34588 x34594 x34628 x34645 x34646 x34647 x34658 x34672 x34723 x34754 x34759 x34834 x34898 x34904 x34905 x34930 x34952 x34960 x34967 x34998 x35047 x35053 x35120 x35127 x35193 x35197 x35224 x35267 x35271 x35273 x35276 x35288 x35355 x35372 x35408 x35412 x35414 x35417 x35424 x35431 x35481 x35710 x35718 x35734 x35738 x35760 x35791 x35822 x35858 x35863 x35877 x35878 x35893 x35902 x35908 x35948 x35958 x36051 x36057 x36114 x36119 x36138 x36175 x36183 x36185 x36191 x36209 x36211 x36222 x36255 x36263 x36273 x36289 x36330 x36338 x36349 x36398 x36401 x36413 x36415 x36471 x36478 x36487 x36492 x36496 x36527 x36563 x36570 x36593 x36594 x36669 x36710 x36736 x36745 x36746 x36804 x36807 x36819 x36848 x36873 x36882 x36894 x37003 x37015 x37021 x37054 x37113 x37148 x37166 x37284 x37307 x37345 x37346 x37361 x37363 x37411 x37429 x37462 x37493 x37507 x37535 x37566 x37573 x37584 x37601 x37656 x37663 x37667 x37729 x37768 x37812 x37839 x37896 x37915 x37958 x37969 x37990 x37994 x37999 x38041 x38078 x38079 x38140 x38155 x38205 x38207 x38212 x38220 x38247 x38294 x38322 x38323 x38360 x38367 x38394 x38439 x38452 x38454 x38480 x38487 x38522 x38525 x38533 x38548 x38599 x38618 x38619 x38628 x38714 x38757 x38782 x38834 x38938 x38981 x39057 x39104 x39126 x39253 x39285 x39305 x39308 x39343 x39399 x39440 x39492 x39518 x39532 x39581 x39640 x39646 x39649 x39650 x39651 x39660 x39664 x39681 x39686 x39709 x39728 x39749 x39759 x39797 x39819 x39881 x39891 x39894 x39918 x39957 x39971 x39998 x40071 x40112 x40118 x40134 x40143 x40144 x40184 x40209 x40216 x40246 x40254 x40289 x40293 x40360 x40382 x40410 x40413 x40417 x40422 x40430 x40473 x40497 x40500 x40505 x40553 x40561 x40574 x40594 x40625 x40644 x40741 x40782 x40788 x40792 x40811 x40815 x40963 x40989 x41009 x41019 x41031 x41033 x41062 x41070 x41097 x41170 x41226 x41242 x41285 x41298 x41306 x41308 x41328 x41371 x41393 x41472 x41528 x41530 x41538 x41551 x41611 x41620 x41639 x41700 x41767 x41772 x41774 x41800 x41871 x41993 x41994 x42016 x42020 x42022 x42070 x42072 x42109 x42124 x42133 x42145 x42156 x42223 x42240 x42244 x42320 x42331 x42391 x42416 x42442 x42448 x42452 x42473 x42525 x42536 x42540 x42541 x42559 x42580 x42604 x42613 x42636 x42656 x42683 x42720 x42757 x42837 x42854 x42867 x42918 x42932 x42941 x42943 x42958 x43001 x43006 x43052 x43114 x43135 x43136 x43146 x43158 x43205 x43215 x43220 x43229 x43245 x43250 x43373 x43378 x43380 x43382 x43473 x43474 x43533 x43534 x43544 x43600 x43603 x43607 x43701 x43735 x43738 x43822 x43906 x43958 x43967 x44044 x44047 x44117 x44220 x44271 x44276 x44334 x44348 x44368 x44428 x44433 x44472 x44507 x44511 x44546 x44718 x44765 x44773 x44780 x44781 x44789 x44848 x44863 x44871 x44907 x44913 x44915 x44919 x44924 x44926 x44928 x44939 x44941 x45016 x45047 x45049 x45057 x45062 x45068 x45083 x45086 x45087 x45116 x45122 x45162 x45193 x45222 x45231 x45299 x45300 x45302 x45303 x45312 x45351 x45430 x45433 x45474 x45502 x45560 x45561 x45628 x45656 x45800 x45846 x45857 x45878 x45888 x45928 x45930 x46010 x46072 x46092 x46096 x46104 x46150 x46159 x46160 x46166 x46171 x46173 x46226 x46241 x46253 x46256 x46287 x46313 x46316 x46361 x46382 x46433 x46443 x46451 x46469 x46534 x46601 x46663 x46675 x46708 x46715 x46728 x46729 x46754 x46825 x46877 x46936 x46953 x46971 x47024 x47025 x47027 x47043 x47119 x47166 x47233 x47245 x47252 x47317 x47337 x47375 x47377 x47395 x47412 x47455 x47471 x47472 x47517 x47521 x47546 x47548 x47609 x47631 x47652 x47670 x47676 x47686 x47704 x47719 x47732 x47828 x47833 x47854 x47866 x47894 x47903 x47905 x47926 x47971 x48000 x48019 x48024 x48031 x48040 x48092 x48180 x48188 x48192 x48254 x48312 x48323 x48325 x48328 x48339 x48358 x48384 x48405 x48411 x48418 x48446 x48462 x48478 x48481 x48486 x48532 x48535 x48536 x48636 x48811 x48820 x48832 x48847 x48873 x48887 x48894 x48906 x48919 x48962 x48968 x48971 x48979 x49049 x49051 x49063 x49066 x49069 x49115 x49128 x49172 x49202 x49232 x49271 x49280 x49357 x49391 x49411 x49418 x49475 x49482 x49489 x49545 x49623 x49625 x49636 x49666 x49668 x49690 x49712 x49750 x49761 x49772 x49785 x49831 x49838 x49842 x49848 x49870 x49904 x49915 x49919 x49923 x49927 x49945 x49962 x49982 x49991 x50056 x50059 x50116 x50125 x50167 x50206 x50207 x50218 x50226 x50228 x50242 x50279 x50321 x50331 x50348 x50370 x50401 x50461 x50464 x50489 x50542 x50610 x50621 x50763 x50770 x50771 x50775 x50783 x50820 x50840 x50923 x51006 x51055 x51071 x51100 x51114 x51135 x51248 x51255 x51274 x51276 x51322 x51329 x51335 x51342 x51348 x51376 x51385 x51455 x51514 x51521 x51529 x51578 x51615 x51657 x51674 x51694 x51752 x51832 x51863 x51875 x51882 x51934 x51943 x51951 x51971 x51972 x52025 x52072 x52097 x52098 x52206 x52216 x52220 x52229 x52235 x52271 x52287 x52290 x52303 x52355 x52372 x52408 x52411 x52441 x52445 x52449 x52472 x52516 x52554 x52590 x52641 x52642 x52650 x52654 x52702 x52703 x52709 x52715 x52718 x52777 x52781 x52792 x52807 x52864 x52876 x52921 x52923 x52932 x52935 x52985 x52998 x53004 x53050 x53121 x53142 x53189 x53205 x53206 x53241 x53262 x53400 x53407 x53418 x53463 x53525 x53544 x53554 x53612 x53632 x53678 x53690 x53727 x53767 x53820 x53821 x53825 x53830 x53856 x53861 x53882 x53890 x53918 x54042 x54100 x54145 x54165 x54171 x54180 x54210 x54215 x54220 x54236 x54238 x54270 x54293 x54317 x54385 x54439 x54442 x54451 x54523 x54568 x54590 x54640 x54684 x54697 x54698 x54701 x54708 x54714 x54721 x54722 x54726 x54762 x54797 x54799 x54814 x54864 x54868 x54891 x54990 x55042 x55050 x55062 x55098 x55109 x55114 x55147 x55184 x55205 x55208 x55245 x55250 x55254 x55301 x55316 x55319 x55328 x55337 x55370 x55371 x55383 x55386 x55392 x55428 x55454 x55482 x55611 x55675 x55705 x55714 x55753 x55805 x55811 x55859 x55865 x55874 x55882 x55956 x55989 x55990 x56009 x56017 x56041 x56054 x56073 x56105 x56142 x56150 x56214 x56217 x56263 x56285 x56286 x56314 x56325 x56341 x56361 x56404 x56407 x56602 x56605 x56619 x56626 x56629 x56633 x56643 x56644 x56680 x56777 x56824 x56825 x56844 x56863 x56876 x56879 x56889 x56899 x56915 x56938 x56966 x56971 x56972 x56975 x57021 x57024 x57027 x57041 x57067 x57077 x57089 x57105 x57109 x57113 x57116 x57156 x57165 x57178 x57188 x57202 x57227 x57254 x57264 x57272 x57288 x57313 x57366 x57375 x57427 x57452 x57518 x57572 x57592 x57596 x57612 x57662 x57670 x57699 x57729 x57732 x57733 x57780 x57783 x57792 x57827 x57867 x57914 x57947 x57985 x57994 x58037 x58054 x58143 x58154 x58212 x58220 x58245 x58315 x58319 x58335 x58377 x58507 x58519 x58538 x58543 x58547 x58572 x58579 x58583 x58587 x58593 x58607 x58657 x58693 x58712 x58717 x58724 x58735 x58792 x58800 x58853 x58882 x58883 x58920 x58934 x58939 x58941 x59009 x59015 x59045 x59053 x59058 x59070 x59079 x59133 x59250 x59263 x59268 x59279 x59287 x59310 x59327 x59328 x59333 x59377 x59455 x59480 x59484 x59490 x59520 x59536 x59538 x59543 x59611 x59642 x59652 x59665 x59722 x59746 x59747 x59749 x59775 x59791 x59803 x59804 x59806 x59856 x59859 x59861 x59880 x59915 x59917 x59927 x59929 x59940 x59999 x60008 x60015 x60077 x60099 x60131 x60137 x60182 x60183 x60193 x60194 x60231 x60236 x60248 x60249 x60289 x60290 x60328 x60336 x60401 x60484 x60590 x60604 x60607 x60634 x60638 x60664 x60668 x60705 x60718 x60734 x60737 x60741 x60765 x60778 x60795 x60844 x60939 x60970 x60980 x60984 x60993 x61039 x61057 x61064 x61096 x61102 x61115 x61116 x61120 x61133 x61134 x61161 x61174 x61189 x61224 x61257 x61337 x61376 x61386 x61387 x61430 x61433 x61436 x61514 x61521 x61533 x61650 x61658 x61689 x61718 x61757 x61777 x61779 x61796 x61856 x61899 x61958 x61967 x61971 x61986 x62032 x62048 x62096 x62104 x62123 x62124 x62144 x62159 x62239 x62243 x62315 x62343 x62347 x62351 x62355 x62365 x62372 x62378 x62422 x62428 x62450 x62484 x62496 x62502 x62572 x62642 x62653 x62670 x62675 x62694 x62745 x62752 x62762 x62800 x62811 x62828 x62838 x62875 x62898 x62905 x62964 x62973 x62975 x63010 x63030 x63034 x63041 x63092 x63108 x63129 x63131 x63161 x63164 x63215 x63219 x63235 x63272 x63344 x63371 x63400 x63403 x63456 x63486 x63532 x63612 x63659 x63678 x63680 x63689 x63746 x63748 x63785 x63786 x63797 x63828 x63905 x63916 x63936 x63949 x63951 x63984 x64075 x64109 x64123 x64134 x64211 x64212 x64249 x64261 x64337 x64370 x64380 x64387 x64433 x64445 x64494 x64516 x64559 x64561 x64633 x64691 x64696 x64705 x64707 x64742 x64763 x64770 x64776 x64782 x64829 x64888 x64911 x64928 x64940 x64943 x64954 x64975 x64976 x65016 x65025 x65033 x65050 x65085 x65097 x65098 x65139 x65141 x65146 x65155 x65167 x65191 x65209 x65259 x65275 x65292 x65295 x65309 x65328 x65349 x65350 x65399 x65420 x65423 x65473 x65520 x65523 x65527 x65550 x65590 x65606 x65784 x65827 x65859 x65916 x65917 x65920 x65971 x65973 x65998 x66032 x66046 x66060 x66064 x66067 x66068 x66110 x66117 x66178 x66226 x66246 x66250 x66255 x66276 x66311 x66314 x66340 x66353 x66361 x66372 x66416 x66448 x66511 x66538 x66554 x66576 x66616 x66624 x66627 x66628 x66634 x66799 x66835 x66858 x66865 x66867 x66873 x66930 x66963 x66992 x67003 x67059 x67085 x67088 x67094 x67131 x67138 x67154 x67205 x67247 x67256 x67260 x67263 x67304 x67323 x67384 x67388 x67409 x67511 x67537 x67539 x67542 x67543 x67546 x67611 x67655 x67681 x67701 x67719 x67771 x67783 x67796 x67812 x67824 x67826 x67858 x67915 x67923 x67938 x67958 x67967 x67971 x67982 x68018 x68019 x68023 x68044 x68045 x68092 x68101 x68150 x68169 x68200 x68212 x68224 x68251 x68261 x68262 x68265 x68280 x68296 x68330 x68332 x68347 x68391 x68419 x68443 x68458 x68487 x68507 x68511 x68520 x68527 x68533 x68571 x68595 x68607 x68610 x68698 x68701 x68719 x68723 x68753 x68785 x68787 x68879 x68959 x68978 x69003 x69005 x69055 x69080 x69090 x69146 x69148 x69164 x69201 x69215 x69218 x69233 x69261 x69340 x69376 x69389 x69391 x69467 x69526 x69548 x69582 x69611 x69641 x69662 x69711 x69724 x69732 x69740 x69761 x69764 x69771 x69787 x69793 x69798 x69842 x69862 x69907 x69920 x69925 x69950 x69952 x69976 x70014 x70031 x70036 x70038 x70045 x70072 x70084 x70086 x70104 x70126 x70165 x70172 x70239 x70240 x70273 x70289 x70313 x70361 x70428 x70470 x70525 x70527 x70539 x70602 x70648 x70659 x70714 x70720 x70785 x70821 x70826 x70850 x70909 x70961 x70966 x70976 x70981 x71012 x71078 x71084 x71101 x71158 x71160 x71197 x71203 x71209 x71268 x71269 x71290 x71291 x71293 x71356 x71413 x71433 x71445 x71454 x71469 x71471 x71481 x71510 x71512 x71516 x71521 x71579 x71594 x71598 x71601 x71642 x71647 x71650 x71653 x71654 x71662 x71666 x71696 x71769 x71825 x71853 x71902 x71906 x71942 x71957 x71958 x71974 x72033 x72038 x72039 x72081 x72082 x72099 x72102 x72161 x72199 x72207 x72268 x72284 x72291 x72313 x72337 x72377 x72392 x72440 x72447 x72448 x72503 x72505 x72528 x72530 x72557 x72586 x72591 x72627 x72634 x72636 x72637 x72715 x72734 x72809 x72870 x72871 x72877 x72929 x72940 x72950 x72990 x73000 x73005 x73032 x73077 x73117 x73122 x73125 x73133 x73134 x73143 x73165 x73204 x73243 x73249 x73278 x73371 x73432 x73438 x73467 x73494 x73509 x73510 x73551 x73563 x73657 x73671 x73683 x73726 x73735 x73787 x73813 x73849 x73868 x73900 x73932 x73952 x73976 x73991 x74032 x74042 x74057 x74104 x74117 x74126 x74156 x74160 x74177 x74248 x74292 x74309 x74405 x74415 x74458 x74469 x74472 x74480 x74490 x74491 x74551 x74552 x74598 x74600 x74607 x74659 x74663 x74672 x74723 x74733 x74761 x74793 x74819 x74833 x74854 x74897 x74915 x75062 x75081 x75096 x75106 x75125 x75127 x75134 x75151 x75152 x75158 x75212 x75382 x75399 x75422 x75428 x75432 x75443 x75471 x75487 x75496 x75497 x75580 x75642 x75665 x75702 x75703 x75746 x75750 x75752 x75798 x75799 x75801 x75805 x75850 x75913 x75923 x75938 x75941 x76033 x76160 x76171 x76180 x76183 x76184 x76275 x76303 x76304 x76385 1800.02/1800.52 pb2clasp1: no process killed
OK 47
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3736714-1338732038/watcher-3736714-1338732038 -o /tmp/evaluation-result-3736714-1338732038/solver-3736714-1338732038 -C 1800 -W 1900 -M 15500 pbclasp instance-3736714-1338732038.opb HOME/temp 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 2.00 2.00 3/179 22603 /proc/meminfo: memFree=28952936/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=26004 CPUtime=0 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) R 22601 22603 22179 0 -1 4202496 642 0 0 0 0 0 0 0 20 0 1 0 339329489 26628096 573 33554432000 4194304 4198148 140733755069760 140736407888360 214394657090 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0 /proc/22603/statm: 6501 573 356 1 0 296 0 [startup+0.0168779 s] /proc/loadavg: 2.04 2.00 2.00 3/179 22603 /proc/meminfo: memFree=28952936/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=27176 CPUtime=0.01 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) R 22601 22603 22179 0 -1 4202496 931 0 0 0 1 0 0 0 20 0 1 0 339329489 27828224 862 33554432000 4194304 4198148 140733755069760 140736407888360 214394624344 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0 /proc/22603/statm: 6794 862 356 1 0 589 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 27176 [startup+0.100309 s] /proc/loadavg: 2.04 2.00 2.00 3/179 22603 /proc/meminfo: memFree=28952936/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=28868 CPUtime=0.03 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) S 22601 22603 22179 0 -1 4202496 1391 0 0 0 3 0 0 0 20 0 1 0 339329489 29560832 1305 33554432000 4194304 4198148 140733755069760 140733755068648 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/22603/statm: 7217 1305 369 1 0 1012 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 28868 [startup+0.300283 s] /proc/loadavg: 2.04 2.00 2.00 3/179 22603 /proc/meminfo: memFree=28952936/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=28868 CPUtime=0.03 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) S 22601 22603 22179 0 -1 4202496 1391 0 0 0 3 0 0 0 20 0 1 0 339329489 29560832 1305 33554432000 4194304 4198148 140733755069760 140733755068648 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/22603/statm: 7217 1305 369 1 0 1012 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 28868 [startup+0.700275 s] /proc/loadavg: 2.04 2.00 2.00 3/179 22603 /proc/meminfo: memFree=28952936/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=28868 CPUtime=0.03 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) S 22601 22603 22179 0 -1 4202496 1391 0 0 0 3 0 0 0 20 0 1 0 339329489 29560832 1305 33554432000 4194304 4198148 140733755069760 140733755068648 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/22603/statm: 7217 1305 369 1 0 1012 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 28868 [startup+1.50033 s] /proc/loadavg: 2.04 2.00 2.00 3/182 22606 /proc/meminfo: memFree=28947844/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=28868 CPUtime=0.03 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) S 22601 22603 22179 0 -1 4202496 1391 0 0 0 3 0 0 0 20 0 1 0 339329489 29560832 1305 33554432000 4194304 4198148 140733755069760 140733755068648 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/22603/statm: 7217 1305 369 1 0 1012 0 [pid=22605] ppid=22603 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22605/stat : 22605 (sh) S 22603 22603 22179 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 339329493 9367552 267 33554432000 4194304 5064252 140734938149376 140734938148256 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/22605/statm: 2287 267 226 213 0 72 0 [pid=22606] ppid=22605 vsize=25592 CPUtime=1.45 cores=0,2,4,6 /proc/22606/stat : 22606 (pb2clasp1) R 22605 22603 22179 0 -1 4202496 606 0 0 0 145 0 0 0 20 0 1 0 339329493 26206208 516 33554432000 4194304 4198148 140734250143664 140734250142648 214369088075 0 0 4224 0 0 0 0 17 4 0 0 0 0 0 /proc/22606/statm: 6398 516 378 1 0 193 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 63608 [startup+3.10033 s] /proc/loadavg: 2.04 2.00 2.00 3/181 22606 /proc/meminfo: memFree=28946612/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=28868 CPUtime=0.03 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) S 22601 22603 22179 0 -1 4202496 1391 0 0 0 3 0 0 0 20 0 1 0 339329489 29560832 1305 33554432000 4194304 4198148 140733755069760 140733755068648 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/22603/statm: 7217 1305 369 1 0 1012 0 [pid=22605] ppid=22603 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22605/stat : 22605 (sh) S 22603 22603 22179 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 339329493 9367552 267 33554432000 4194304 5064252 140734938149376 140734938148256 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/22605/statm: 2287 267 226 213 0 72 0 [pid=22606] ppid=22605 vsize=25592 CPUtime=3.04 cores=0,2,4,6 /proc/22606/stat : 22606 (pb2clasp1) R 22605 22603 22179 0 -1 4202496 606 0 0 0 304 0 0 0 20 0 1 0 339329493 26206208 516 33554432000 4194304 4198148 140734250143664 140734250142648 214373033104 0 0 4224 0 0 0 0 17 4 0 0 0 0 0 /proc/22606/statm: 6398 516 378 1 0 193 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 63608 [startup+6.30017 s] /proc/loadavg: 2.12 2.02 2.01 3/181 22606 /proc/meminfo: memFree=28942540/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=29000 CPUtime=6.1 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) S 22601 22603 22179 0 -1 4202496 1503 2107 0 0 3 0 604 3 20 0 1 0 339329489 29696000 1344 33554432000 4194304 4198148 140733755069760 140733755068688 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0 /proc/22603/statm: 7250 1344 387 1 0 1045 0 Current children cumulated CPU time (s) 6.1 Current children cumulated vsize (KiB) 29000 [startup+12.7003 s] /proc/loadavg: 2.11 2.02 2.00 3/182 22622 /proc/meminfo: memFree=28836516/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=29148 CPUtime=12.52 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) S 22601 22603 22179 0 -1 4202496 1826 55351 0 0 14 0 1220 18 20 0 1 0 339329489 29847552 1391 33554432000 4194304 4198148 140733755069760 140733755068688 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/22603/statm: 7287 1391 387 1 0 1082 0 Current children cumulated CPU time (s) 12.52 Current children cumulated vsize (KiB) 29148 [startup+25.5003 s] /proc/loadavg: 2.08 2.01 2.00 3/182 22676 /proc/meminfo: memFree=28834816/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=29148 CPUtime=22.99 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) S 22601 22603 22179 0 -1 4202496 2327 135066 0 0 29 0 2229 41 20 0 1 0 339329489 29847552 1391 33554432000 4194304 4198148 140733755069760 140733755068688 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/22603/statm: 7287 1391 387 1 0 1082 0 [pid=22674] ppid=22603 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22674/stat : 22674 (sh) S 22603 22603 22179 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 339331789 9367552 263 33554432000 4194304 5064252 140733425988160 140733425986416 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22674/statm: 2287 263 223 213 0 72 0 [pid=22676] ppid=22674 vsize=100312 CPUtime=2.49 cores=0,2,4,6 /proc/22676/stat : 22676 (clasp-1.0) R 22674 22603 22179 0 -1 4202496 24453 0 0 0 244 5 0 0 20 0 1 0 339331789 102719488 24219 33554432000 134512640 134847168 4290003984 4290002720 134733929 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/22676/statm: 25078 24219 272 82 0 24319 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 138608 [startup+51.1003 s] /proc/loadavg: 2.11 2.03 2.01 3/182 22708 /proc/meminfo: memFree=28834368/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=29148 CPUtime=42.93 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) S 22601 22603 22179 0 -1 4202496 3028 241152 0 0 48 1 4169 75 20 0 1 0 339329489 29847552 1403 33554432000 4194304 4198148 140733755069760 140733755068688 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22603/statm: 7287 1403 387 1 0 1082 0 [pid=22706] ppid=22603 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22706/stat : 22706 (sh) S 22603 22603 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 339333795 9367552 264 33554432000 4194304 5064252 140735332173904 140735332172160 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/22706/statm: 2287 264 223 213 0 72 0 [pid=22708] ppid=22706 vsize=100312 CPUtime=8.02 cores=0,2,4,6 /proc/22708/stat : 22708 (clasp-1.0) R 22706 22603 22179 0 -1 4202496 24897 0 0 0 799 3 0 0 20 0 1 0 339333795 102719488 24150 33554432000 134512640 134847168 4291240880 4291239648 134617515 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/22708/statm: 25078 24150 272 82 0 24319 0 Current children cumulated CPU time (s) 50.95 Current children cumulated vsize (KiB) 138608 [startup+102.307 s] /proc/loadavg: 2.05 2.02 2.00 3/181 22724 /proc/meminfo: memFree=28831952/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=29148 CPUtime=96.2 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) S 22601 22603 22179 0 -1 4202496 3387 300194 0 0 57 1 9471 91 20 0 1 0 339329489 29847552 1403 33554432000 4194304 4198148 140733755069760 140733755068688 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/22603/statm: 7287 1403 387 1 0 1082 0 [pid=22722] ppid=22603 vsize=9148 CPUtime=0.01 cores=0,2,4,6 /proc/22722/stat : 22722 (sh) S 22603 22603 22179 0 -1 4202496 374 220 0 0 0 0 0 1 20 0 1 0 339339124 9367552 264 33554432000 4194304 5064252 140736679978368 140736679976624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/22722/statm: 2287 264 223 213 0 72 0 [pid=22724] ppid=22722 vsize=100312 CPUtime=5.93 cores=0,2,4,6 /proc/22724/stat : 22724 (clasp-1.0) R 22722 22603 22179 0 -1 4202496 24446 0 0 0 590 3 0 0 20 0 1 0 339339125 102719488 24210 33554432000 134512640 134847168 4292970928 4292969696 134617496 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/22724/statm: 25078 24210 272 82 0 24319 0 Current children cumulated CPU time (s) 102.14 Current children cumulated vsize (KiB) 138608 [startup+162.3 s] /proc/loadavg: 2.02 2.02 2.00 3/181 22724 /proc/meminfo: memFree=28783028/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=29148 CPUtime=96.2 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) S 22601 22603 22179 0 -1 4202496 3387 300194 0 0 57 1 9471 91 20 0 1 0 339329489 29847552 1403 33554432000 4194304 4198148 140733755069760 140733755068688 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/22603/statm: 7287 1403 387 1 0 1082 0 [pid=22722] ppid=22603 vsize=9148 CPUtime=0.01 cores=0,2,4,6 /proc/22722/stat : 22722 (sh) S 22603 22603 22179 0 -1 4202496 374 220 0 0 0 0 0 1 20 0 1 0 339339124 9367552 264 33554432000 4194304 5064252 140736679978368 140736679976624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/22722/statm: 2287 264 223 213 0 72 0 [pid=22724] ppid=22722 vsize=148176 CPUtime=65.91 cores=0,2,4,6 /proc/22724/stat : 22724 (clasp-1.0) R 22722 22603 22179 0 -1 4202496 36406 0 0 0 6583 8 0 0 20 0 1 0 339339125 151732224 36260 33554432000 134512640 134847168 4292970928 4292969456 134689320 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/22724/statm: 37044 36260 272 82 0 36285 0 Current children cumulated CPU time (s) 162.12 Current children cumulated vsize (KiB) 186472 [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.00 3/181 22732 /proc/meminfo: memFree=28811296/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=29148 CPUtime=180.27 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) S 22601 22603 22179 0 -1 4202496 3563 342167 0 0 61 1 17860 105 20 0 1 0 339329489 29847552 1403 33554432000 4194304 4198148 140733755069760 140733755068688 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22603/statm: 7287 1403 387 1 0 1082 0 [pid=22730] ppid=22603 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22730/stat : 22730 (sh) S 22603 22603 22179 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339347534 9367552 263 33554432000 4194304 5064252 140733731508464 140733731506720 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/22730/statm: 2287 263 223 213 0 72 0 [pid=22732] ppid=22730 vsize=119564 CPUtime=41.81 cores=0,2,4,6 /proc/22732/stat : 22732 (clasp-1.0) R 22730 22603 22179 0 -1 4202496 29699 0 0 0 4176 5 0 0 20 0 1 0 339347534 122433536 29043 33554432000 134512640 134847168 4293971264 4293970032 134617488 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/22732/statm: 29891 29043 270 82 0 29132 0 Current children cumulated CPU time (s) 222.08 Current children cumulated vsize (KiB) 157860 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.00 3/181 22732 /proc/meminfo: memFree=28745696/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=29148 CPUtime=180.27 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) S 22601 22603 22179 0 -1 4202496 3563 342167 0 0 61 1 17860 105 20 0 1 0 339329489 29847552 1403 33554432000 4194304 4198148 140733755069760 140733755068688 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22603/statm: 7287 1403 387 1 0 1082 0 [pid=22730] ppid=22603 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22730/stat : 22730 (sh) S 22603 22603 22179 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339347534 9367552 263 33554432000 4194304 5064252 140733731508464 140733731506720 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/22730/statm: 2287 263 223 213 0 72 0 [pid=22732] ppid=22730 vsize=184704 CPUtime=101.81 cores=0,2,4,6 /proc/22732/stat : 22732 (clasp-1.0) R 22730 22603 22179 0 -1 4202496 45947 0 0 0 10171 10 0 0 20 0 1 0 339347534 189136896 45289 33554432000 134512640 134847168 4293971264 4293969888 134784800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/22732/statm: 46176 45289 270 82 0 45417 0 Current children cumulated CPU time (s) 282.08 ################ # More data... # ################ [pid=22732] ppid=22730 vsize=911000 CPUtime=1361.56 cores=0,2,4,6 /proc/22732/stat : 22732 (clasp-1.0) R 22730 22603 22179 0 -1 4202496 234898 0 0 0 136099 57 0 0 20 0 1 0 339347534 932864000 226688 33554432000 134512640 134847168 4293971264 4293969956 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/22732/statm: 227750 226688 270 82 0 226991 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 949296 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 22752 /proc/meminfo: memFree=28004120/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=29148 CPUtime=180.27 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) S 22601 22603 22179 0 -1 4202496 3563 342167 0 0 61 1 17860 105 20 0 1 0 339329489 29847552 1403 33554432000 4194304 4198148 140733755069760 140733755068688 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22603/statm: 7287 1403 387 1 0 1082 0 [pid=22730] ppid=22603 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22730/stat : 22730 (sh) S 22603 22603 22179 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339347534 9367552 263 33554432000 4194304 5064252 140733731508464 140733731506720 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/22730/statm: 2287 263 223 213 0 72 0 [pid=22732] ppid=22730 vsize=923320 CPUtime=1421.55 cores=0,2,4,6 /proc/22732/stat : 22732 (clasp-1.0) R 22730 22603 22179 0 -1 4202496 237927 0 0 0 142097 58 0 0 20 0 1 0 339347534 945479680 229717 33554432000 134512640 134847168 4293971264 4293969956 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/22732/statm: 230830 229717 270 82 0 230071 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 961616 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 22752 /proc/meminfo: memFree=27974236/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=29148 CPUtime=180.27 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) S 22601 22603 22179 0 -1 4202496 3563 342167 0 0 61 1 17860 105 20 0 1 0 339329489 29847552 1403 33554432000 4194304 4198148 140733755069760 140733755068688 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22603/statm: 7287 1403 387 1 0 1082 0 [pid=22730] ppid=22603 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22730/stat : 22730 (sh) S 22603 22603 22179 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339347534 9367552 263 33554432000 4194304 5064252 140733731508464 140733731506720 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/22730/statm: 2287 263 223 213 0 72 0 [pid=22732] ppid=22730 vsize=952880 CPUtime=1481.55 cores=0,2,4,6 /proc/22732/stat : 22732 (clasp-1.0) R 22730 22603 22179 0 -1 4202496 245266 0 0 0 148095 60 0 0 20 0 1 0 339347534 975749120 237056 33554432000 134512640 134847168 4293971264 4293969956 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/22732/statm: 238220 237056 270 82 0 237461 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 991176 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/181 22752 /proc/meminfo: memFree=27963324/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=29148 CPUtime=180.27 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) S 22601 22603 22179 0 -1 4202496 3563 342167 0 0 61 1 17860 105 20 0 1 0 339329489 29847552 1403 33554432000 4194304 4198148 140733755069760 140733755068688 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22603/statm: 7287 1403 387 1 0 1082 0 [pid=22730] ppid=22603 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22730/stat : 22730 (sh) S 22603 22603 22179 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 339347534 9367552 263 33554432000 4194304 5064252 140733731508464 140733731506720 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/22730/statm: 2287 263 223 213 0 72 0 [pid=22732] ppid=22730 vsize=963968 CPUtime=1541.54 cores=0,2,4,6 /proc/22732/stat : 22732 (clasp-1.0) R 22730 22603 22179 0 -1 4202496 248007 0 0 0 154093 61 0 0 20 0 1 0 339347534 987103232 239797 33554432000 134512640 134847168 4293971264 4293969956 134616619 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/22732/statm: 240992 239797 270 82 0 240233 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1002264 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/182 22881 /proc/meminfo: memFree=28833788/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=29148 CPUtime=1764.58 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) S 22601 22603 22179 0 -1 4202496 3664 593134 0 0 61 1 176226 170 20 0 1 0 339329489 29847552 1403 33554432000 4194304 4198148 140733755069760 140733755068688 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22603/statm: 7287 1403 387 1 0 1082 0 [pid=22772] ppid=22603 vsize=9148 CPUtime=0.02 cores=0,2,4,6 /proc/22772/stat : 22772 (sh) S 22603 22603 22179 0 -1 4202496 372 220 0 0 0 0 0 2 20 0 1 0 339505995 9367552 264 33554432000 4194304 5064252 140734874493392 140734874491648 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/22772/statm: 2287 264 223 213 0 72 0 [pid=22774] ppid=22772 vsize=100312 CPUtime=17.22 cores=0,2,4,6 /proc/22774/stat : 22774 (clasp-1.0) R 22772 22603 22179 0 -1 4202496 24413 0 0 0 1719 3 0 0 20 0 1 0 339505995 102719488 24175 33554432000 134512640 134847168 4289268272 4289266964 134616619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/22774/statm: 25078 24175 270 82 0 24319 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 138608 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.00 2.00 2.00 3/182 22881 /proc/meminfo: memFree=28817148/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=29148 CPUtime=1764.58 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) S 22601 22603 22179 0 -1 4202496 3664 593134 0 0 61 1 176226 170 20 0 1 0 339329489 29847552 1403 33554432000 4194304 4198148 140733755069760 140733755068688 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22603/statm: 7287 1403 387 1 0 1082 0 [pid=22772] ppid=22603 vsize=9148 CPUtime=0.02 cores=0,2,4,6 /proc/22772/stat : 22772 (sh) S 22603 22603 22179 0 -1 4202496 372 220 0 0 0 0 0 2 20 0 1 0 339505995 9367552 264 33554432000 4194304 5064252 140734874493392 140734874491648 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/22772/statm: 2287 264 223 213 0 72 0 [pid=22774] ppid=22772 vsize=114768 CPUtime=35.42 cores=0,2,4,6 /proc/22774/stat : 22774 (clasp-1.0) R 22772 22603 22179 0 -1 4202496 28033 0 0 0 3538 4 0 0 20 0 1 0 339505995 117522432 27892 33554432000 134512640 134847168 4289268272 4289266900 134616350 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/22774/statm: 28692 27892 270 82 0 27933 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 153064 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -22603 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 3/184 22900 /proc/meminfo: memFree=28929172/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=29148 CPUtime=1800.08 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) S 22601 22603 22179 0 -1 4202496 3851 623948 0 0 61 2 179765 180 20 0 1 0 339329489 29847552 1403 33554432000 4194304 4198148 140733755069760 140733755068688 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22603/statm: 7287 1403 387 1 0 1082 0 [pid=22898] ppid=22603 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/22898/stat : 22898 (sh) S 22603 22603 22179 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 339509543 9367552 264 33554432000 4194304 5064252 140735338329728 140735338327984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0 /proc/22898/statm: 2287 264 223 213 0 72 0 [pid=22899] ppid=22898 vsize=4004 CPUtime=0.01 cores=0,2,4,6 /proc/22899/stat : 22899 (cat) S 22898 22603 22179 0 -1 4202496 212 0 0 0 0 1 0 0 20 0 1 0 339509543 4100096 123 33554432000 4194304 4236627 140733240726096 140733240725192 214369650144 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0 /proc/22899/statm: 1001 123 97 11 0 67 0 [pid=22900] ppid=22898 vsize=41900 CPUtime=0.84 cores=0,2,4,6 /proc/22900/stat : 22900 (clasp-1.0) R 22898 22603 22179 0 -1 4202496 9945 0 0 0 83 1 0 0 20 0 1 0 339509543 42905600 9740 33554432000 134512640 134847168 4287578528 4287573744 5099763 0 0 4096 0 0 0 0 17 6 0 0 0 0 0 /proc/22900/statm: 10475 9740 251 82 0 9716 0 Current children cumulated CPU time (s) 1800.93 Current children cumulated vsize (KiB) 84200 [startup+1802.2 s] /proc/loadavg: 2.00 2.00 2.00 3/183 22900 /proc/meminfo: memFree=28856076/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=29148 CPUtime=1800.08 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) S 22601 22603 22179 0 -1 4202496 3851 623948 0 0 61 2 179765 180 20 0 1 0 339329489 29847552 1403 33554432000 4194304 4198148 140733755069760 140733755068688 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22603/statm: 7287 1403 387 1 0 1082 0 [pid=22898] ppid=22603 vsize=9148 CPUtime=0.01 cores=0,2,4,6 /proc/22898/stat : 22898 (sh) S 22603 22603 22179 0 -1 4202496 374 221 0 0 0 0 0 1 20 0 1 0 339509543 9367552 264 33554432000 4194304 5064252 140735338329728 140735338327984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/22898/statm: 2287 264 223 213 0 72 0 [pid=22900] ppid=22898 vsize=100312 CPUtime=1.64 cores=0,2,4,6 /proc/22900/stat : 22900 (clasp-1.0) R 22898 22603 22179 0 -1 4202496 24454 0 0 0 160 4 0 0 20 0 1 0 339509543 102719488 24218 33554432000 134512640 134847168 4287578528 4287577264 134733886 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/22900/statm: 25078 24218 270 82 0 24319 0 Current children cumulated CPU time (s) 1801.73 Current children cumulated vsize (KiB) 138608 [startup+1802.4 s] /proc/loadavg: 2.00 2.00 2.00 3/183 22900 /proc/meminfo: memFree=28856076/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=29148 CPUtime=1800.08 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) S 22601 22603 22179 0 -1 4202496 3851 623948 0 0 61 2 179765 180 20 0 1 0 339329489 29847552 1403 33554432000 4194304 4198148 140733755069760 140733755068688 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22603/statm: 7287 1403 387 1 0 1082 0 [pid=22898] ppid=22603 vsize=9148 CPUtime=0.01 cores=0,2,4,6 /proc/22898/stat : 22898 (sh) S 22603 22603 22179 0 -1 4202496 374 221 0 0 0 0 0 1 20 0 1 0 339509543 9367552 264 33554432000 4194304 5064252 140735338329728 140735338327984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/22898/statm: 2287 264 223 213 0 72 0 [pid=22900] ppid=22898 vsize=100312 CPUtime=1.84 cores=0,2,4,6 /proc/22900/stat : 22900 (clasp-1.0) R 22898 22603 22179 0 -1 4202496 24463 0 0 0 180 4 0 0 20 0 1 0 339509543 102719488 24227 33554432000 134512640 134847168 4287578528 4287577264 134733929 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/22900/statm: 25078 24227 270 82 0 24319 0 Current children cumulated CPU time (s) 1801.93 Current children cumulated vsize (KiB) 138608 [startup+1802.5 s] /proc/loadavg: 2.00 2.00 2.00 3/183 22900 /proc/meminfo: memFree=28856076/32873844 swapFree=7632/7632 [pid=22603] ppid=22601 vsize=29148 CPUtime=1800.08 cores=0,2,4,6 /proc/22603/stat : 22603 (pbclasp) S 22601 22603 22179 0 -1 4202496 3851 623948 0 0 61 2 179765 180 20 0 1 0 339329489 29847552 1403 33554432000 4194304 4198148 140733755069760 140733755068688 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/22603/statm: 7287 1403 387 1 0 1082 0 [pid=22898] ppid=22603 vsize=9148 CPUtime=0.01 cores=0,2,4,6 /proc/22898/stat : 22898 (sh) S 22603 22603 22179 0 -1 4202496 374 221 0 0 0 0 0 1 20 0 1 0 339509543 9367552 264 33554432000 4194304 5064252 140735338329728 140735338327984 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/22898/statm: 2287 264 223 213 0 72 0 [pid=22900] ppid=22898 vsize=100312 CPUtime=1.94 cores=0,2,4,6 /proc/22900/stat : 22900 (clasp-1.0) R 22898 22603 22179 0 -1 4202496 24467 0 0 0 190 4 0 0 20 0 1 0 339509543 102719488 24231 33554432000 134512640 134847168 4287578528 4287577296 134617542 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/22900/statm: 25078 24231 270 82 0 24319 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 138608 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 22603 and gives # childrusage.ru_utime.tv_sec=1798 # childrusage.ru_utime.tv_usec=268621 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=847719 # CPU time returned by wait4() is 1800.12 # while last known CPU time is 1802.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1802.52 CPU time (s): 1802.03 CPU user time (s): 1800.16 CPU system time (s): 1.87 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 1006544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.27 system time used= 1.84772 maximum resident set size= 963300 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 629150 page faults= 0 swaps= 0 block input operations= 0 block output operations= 235928 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27803 involuntary context switches= 2260 runsolver used 2.74658 second user time and 7.16191 second system time The end
Begin job on node130 at 2012-06-03 16:00:38 IDJOB=3736714 IDBENCH=48108 IDSOLVER=2317 FILE ID=node130/3736714-1338732038 RUNJOBID= node130-1338713747-22195 PBS_JOBID= 14636742 Free space on /tmp= 70980 MiB SOLVER NAME= PB07: PB-clasp 2007-04-10 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_60_4.opb COMMAND LINE= pbclasp BENCHNAMENOPATH TMPDIR/temp CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736714-1338732038/watcher-3736714-1338732038 -o /tmp/evaluation-result-3736714-1338732038/solver-3736714-1338732038 -C 1800 -W 1900 -M 15500 pbclasp instance-3736714-1338732038.opb HOME/temp TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ca18e0f90c225db0db25139874012827 RANDOM SEED=12672490 node130.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.875 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.875 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.875 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.875 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5228.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28958464 kB Buffers: 636756 kB Cached: 2397252 kB SwapCached: 4252 kB Active: 1332992 kB Inactive: 1720012 kB Active(anon): 10576 kB Inactive(anon): 8120 kB Active(file): 1322416 kB Inactive(file): 1711892 kB Unevictable: 7632 kB Mlocked: 7632 kB SwapTotal: 67108856 kB SwapFree: 67099284 kB Dirty: 1684 kB Writeback: 0 kB AnonPages: 24364 kB Mapped: 11208 kB Shmem: 4 kB Slab: 722776 kB SReclaimable: 164428 kB SUnreclaim: 558348 kB KernelStack: 1512 kB PageTables: 3960 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 134828 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3736714-1338732038.opb Free space on /tmp at the end= 70960 MiB End job on node130 at 2012-06-03 16:30:42