Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.07 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb |
MD5SUM | 38a2c469f9dc1120b8fe634a693ac03d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 23777 |
Best CPU time to get the best result obtained on this benchmark | 1800.21 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10829 |
Optimality of the best value was proved | NO |
Number of variables | 548 |
Total number of constraints | 166 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 126 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 143 |
Number of terms in the objective function | 416 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 96797 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 96797 |
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.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/351935-1176617920/instance-351935-1176617920.opb ...... 0.29/0.33 c done parsing opb. 0.29/0.33 o 66001 0.29/0.33 o 60158 0.29/0.33 o 60126 0.29/0.34 o 59940 0.29/0.34 o 56367 0.29/0.34 o 56362 0.29/0.34 o 50963 0.29/0.34 o 50886 0.29/0.34 o 50830 0.29/0.34 o 50825 0.29/0.34 o 44992 0.29/0.35 o 44991 0.29/0.35 o 44988 0.29/0.35 o 44984 0.29/0.35 o 42943 0.29/0.36 o 42938 0.29/0.36 o 42893 0.29/0.36 o 42837 0.29/0.36 o 42836 0.29/0.36 o 42829 0.29/0.36 o 42820 0.29/0.36 o 42819 0.49/0.57 o 42818 0.89/0.94 o 42815 0.89/0.94 o 42811 1.00/1.07 o 42807 1.00/1.08 o 42768 1.00/1.08 o 42755 1.00/1.08 o 40353 1.00/1.08 o 40352 1.00/1.08 o 40019 1.00/1.08 o 40015 1.00/1.08 o 38896 1.00/1.08 o 38451 1.00/1.09 o 38449 1.00/1.09 o 38447 1.00/1.09 o 38438 1.00/1.09 o 38436 1.00/1.09 o 38434 1.00/1.09 o 38429 1.00/1.09 o 38426 1.00/1.09 o 38411 1.00/1.09 o 38400 1.00/1.09 o 38395 1.00/1.10 o 38393 1.00/1.10 o 38386 1.00/1.10 o 38375 1.00/1.10 o 38371 1.00/1.10 o 38368 1.00/1.10 o 38365 1.09/1.10 o 38247 1.09/1.10 o 38245 1.09/1.10 o 38234 1.09/1.10 o 38230 1.09/1.10 o 38229 1.09/1.10 o 38216 1.09/1.10 o 38198 1.09/1.11 o 38196 1.09/1.11 o 38189 1.09/1.11 o 38188 1.09/1.11 o 38180 1.09/1.11 o 38174 1.09/1.11 o 38169 1.09/1.11 o 38165 1.09/1.11 o 38103 1.09/1.11 o 38099 1.09/1.11 o 38097 1.09/1.11 o 38091 1.09/1.11 o 38088 1.09/1.11 o 38076 1.09/1.12 o 38069 1.09/1.12 o 38055 1.09/1.12 o 38050 1.09/1.12 o 38040 1.09/1.12 o 38032 1.09/1.12 o 38029 1.09/1.12 o 38027 1.09/1.12 o 38015 1.09/1.12 o 38005 1.09/1.12 o 37999 1.09/1.12 o 37994 1.09/1.12 o 37992 1.09/1.13 o 37985 1.09/1.17 o 37977 1.19/1.22 o 37974 1.19/1.22 o 37973 1.19/1.22 o 37972 1.19/1.23 o 37970 1.19/1.23 o 37965 1.19/1.23 o 37960 1.19/1.23 o 37956 1.19/1.23 o 37955 1.19/1.23 o 37954 1.19/1.23 o 37950 1.19/1.23 o 37946 1.19/1.23 o 37943 1.19/1.23 o 37940 1.19/1.23 o 37936 1.19/1.23 o 37935 1.19/1.23 o 37934 1.19/1.24 o 37932 1.19/1.24 o 37929 1.19/1.24 o 37928 1.19/1.24 o 37927 1.19/1.24 o 37926 1.19/1.24 o 37921 1.19/1.24 o 37920 1.19/1.24 o 37916 1.19/1.24 o 37914 1.19/1.24 o 37912 1.19/1.24 o 37910 1.19/1.24 o 37907 1.19/1.24 o 37902 1.19/1.24 o 37898 1.19/1.24 o 37896 1.19/1.25 o 37891 1.19/1.25 o 37886 1.19/1.25 o 37884 1.19/1.25 o 37881 1.19/1.25 o 37878 1.19/1.25 o 37874 1.19/1.25 o 37872 1.19/1.25 o 37868 1.19/1.25 o 37865 1.19/1.25 o 37863 1.19/1.25 o 37860 1.19/1.25 o 37858 1.19/1.25 o 37857 1.19/1.25 o 37854 1.19/1.25 o 37853 1.19/1.26 o 37851 1.19/1.26 o 37848 1.19/1.26 o 37847 1.19/1.26 o 37843 1.19/1.26 o 37838 1.19/1.26 o 37833 1.19/1.26 o 37832 1.19/1.26 o 37831 1.19/1.26 o 37829 1.19/1.26 o 37828 1.19/1.26 o 37826 1.19/1.26 o 37824 1.19/1.26 o 37823 1.19/1.26 o 37820 1.19/1.26 o 37816 1.19/1.27 o 37815 1.19/1.27 o 37812 1.19/1.27 o 37810 1.19/1.27 o 37805 1.19/1.27 o 37800 1.19/1.27 o 37799 1.19/1.27 o 37798 1.19/1.27 o 37795 1.19/1.27 o 37794 1.19/1.27 o 37789 1.19/1.27 o 37787 1.19/1.27 o 37786 1.19/1.27 o 37785 1.19/1.27 o 37784 1.19/1.27 o 37781 1.19/1.28 o 37780 1.19/1.28 o 37779 1.19/1.28 o 37775 1.19/1.28 o 37770 1.19/1.28 o 37768 1.19/1.28 o 37764 1.19/1.28 o 37762 1.19/1.28 o 37758 1.19/1.28 o 37753 1.19/1.28 o 37751 1.19/1.29 o 37749 1.19/1.29 o 37745 1.19/1.29 o 37744 1.19/1.29 o 37743 1.19/1.29 o 37742 1.19/1.29 o 37737 1.19/1.29 o 37736 1.19/1.29 o 37734 1.19/1.29 o 37730 1.19/1.29 o 37728 1.19/1.29 o 37724 1.19/1.29 o 37723 1.19/1.29 o 37722 1.19/1.30 o 37718 1.29/1.30 o 37713 1.29/1.30 o 37709 1.29/1.30 o 37704 1.29/1.30 o 37703 1.29/1.30 o 37701 1.29/1.30 o 37699 1.29/1.30 o 37698 1.29/1.30 o 37695 1.29/1.30 o 37692 1.29/1.30 o 37687 1.29/1.30 o 37686 1.29/1.30 o 37684 1.29/1.31 o 37679 1.29/1.31 o 37677 1.29/1.31 o 37672 1.29/1.31 o 37671 1.29/1.31 o 37662 1.29/1.31 o 37660 1.29/1.31 o 37656 1.29/1.31 o 37655 1.29/1.31 o 37654 1.29/1.31 o 37648 1.29/1.31 o 37647 1.29/1.31 o 37642 1.29/1.31 o 37639 1.29/1.32 o 37636 1.29/1.32 o 37631 1.29/1.32 o 37628 1.29/1.32 o 37625 1.29/1.32 o 37624 1.29/1.32 o 37622 1.29/1.32 o 37620 1.29/1.32 o 37616 1.29/1.32 o 37613 1.29/1.32 o 37611 1.29/1.32 o 37607 1.29/1.32 o 37603 1.29/1.32 o 37598 1.29/1.32 o 37596 1.29/1.33 o 37593 1.29/1.33 o 37591 1.29/1.33 o 37588 1.29/1.33 o 37585 1.29/1.33 o 37581 1.29/1.33 o 37577 1.29/1.33 o 37572 1.29/1.33 o 37566 1.29/1.33 o 37565 1.29/1.33 o 37563 1.29/1.33 o 37561 1.29/1.33 o 37559 1.29/1.33 o 37556 1.29/1.34 o 37551 1.29/1.34 o 37550 1.29/1.34 o 37545 1.29/1.34 o 37542 1.29/1.34 o 37540 1.29/1.34 o 37535 1.29/1.34 o 37534 1.29/1.34 o 37530 1.29/1.34 o 37528 1.29/1.34 o 37525 1.29/1.34 o 37524 1.29/1.34 o 37523 1.29/1.34 o 37522 1.29/1.34 o 37520 1.29/1.35 o 37519 1.29/1.35 o 37515 1.29/1.35 o 37514 1.29/1.35 o 37512 1.29/1.35 o 37508 1.29/1.35 o 37505 1.29/1.35 o 37502 1.29/1.35 o 37497 1.29/1.35 o 37496 1.29/1.35 o 37494 1.29/1.35 o 37493 1.29/1.35 o 37489 1.29/1.35 o 37487 1.29/1.35 o 37485 1.29/1.36 o 37484 1.29/1.36 o 37483 1.29/1.36 o 37478 1.29/1.36 o 37477 1.29/1.36 o 37474 1.29/1.36 o 37469 1.29/1.36 o 37464 1.29/1.36 o 37461 1.29/1.36 o 37460 1.29/1.36 o 37456 1.29/1.36 o 37451 1.29/1.36 o 37448 1.29/1.36 o 37447 1.29/1.36 o 37446 1.29/1.37 o 37442 1.29/1.37 o 37441 1.29/1.37 o 37440 1.29/1.37 o 37437 1.29/1.37 o 37436 1.29/1.37 o 37433 1.29/1.37 o 37432 1.29/1.37 o 37430 1.29/1.37 o 37429 1.29/1.37 o 37428 1.29/1.37 o 37425 1.29/1.37 o 37417 1.29/1.37 o 37416 1.29/1.38 o 37413 1.29/1.38 o 37411 1.29/1.38 o 37406 1.29/1.38 o 37400 1.29/1.38 o 37397 1.29/1.38 o 37396 1.29/1.38 o 37393 1.29/1.38 o 37389 1.29/1.38 o 37388 1.29/1.38 o 37385 1.29/1.38 o 37381 1.29/1.38 o 37377 1.29/1.38 o 37372 1.29/1.39 o 37368 1.29/1.39 o 37366 1.29/1.39 o 37364 1.29/1.39 o 37361 1.29/1.39 o 37357 1.29/1.39 o 37353 1.29/1.39 o 37352 1.39/1.42 o 37351 1.49/1.59 o 37346 1.68/1.78 o 37343 1.99/2.00 o 37338 1.99/2.00 o 37333 1.99/2.00 o 37328 1.99/2.01 o 37322 1.99/2.01 o 37318 1.99/2.01 o 37315 1.99/2.01 o 37313 1.99/2.01 o 37307 1.99/2.01 o 37304 1.99/2.01 o 37302 1.99/2.01 o 37296 1.99/2.01 o 37291 1.99/2.01 o 37287 1.99/2.01 o 37285 1.99/2.01 o 37279 1.99/2.01 o 37273 1.99/2.01 o 37270 1.99/2.01 o 37264 1.99/2.02 o 37260 1.99/2.02 o 37258 1.99/2.02 o 37252 1.99/2.02 o 37248 1.99/2.02 o 37242 1.99/2.02 o 37237 1.99/2.02 o 37233 1.99/2.02 o 37231 1.99/2.02 o 37229 1.99/2.02 o 37227 1.99/2.02 o 37225 1.99/2.02 o 37223 1.99/2.02 o 37221 1.99/2.02 o 37219 1.99/2.03 o 37215 1.99/2.03 o 37213 1.99/2.03 o 37211 1.99/2.03 o 37207 1.99/2.03 o 37204 1.99/2.03 o 37202 1.99/2.03 o 37198 1.99/2.03 o 37194 1.99/2.03 o 37193 1.99/2.03 o 37188 1.99/2.03 o 37183 1.99/2.03 o 37178 1.99/2.03 o 37176 1.99/2.03 o 37175 1.99/2.03 o 37173 1.99/2.04 o 37167 1.99/2.04 o 37165 1.99/2.04 o 37161 1.99/2.04 o 37159 1.99/2.04 o 37155 1.99/2.04 o 37150 1.99/2.04 o 37149 1.99/2.04 o 37144 1.99/2.04 o 37143 1.99/2.04 o 37138 1.99/2.04 o 37136 1.99/2.04 o 37135 1.99/2.04 o 37133 1.99/2.04 o 37132 1.99/2.05 o 37130 1.99/2.05 o 37129 1.99/2.05 o 37124 1.99/2.05 o 37120 1.99/2.05 o 37118 1.99/2.05 o 37116 1.99/2.05 o 37112 1.99/2.05 o 37111 1.99/2.05 o 37106 1.99/2.05 o 37101 1.99/2.05 o 37097 1.99/2.05 o 37092 1.99/2.05 o 37089 1.99/2.05 o 37086 1.99/2.05 o 37081 1.99/2.06 o 37080 1.99/2.06 o 37075 1.99/2.06 o 37072 1.99/2.06 o 37071 1.99/2.06 o 37069 1.99/2.06 o 37068 1.99/2.06 o 37066 1.99/2.06 o 37062 1.99/2.06 o 37060 1.99/2.06 o 37059 1.99/2.06 o 37055 1.99/2.06 o 37054 1.99/2.06 o 37053 1.99/2.06 o 37050 1.99/2.06 o 37048 1.99/2.07 o 37043 1.99/2.07 o 37042 1.99/2.07 o 37039 1.99/2.07 o 37037 1.99/2.07 o 37036 1.99/2.07 o 37031 1.99/2.07 o 37029 1.99/2.07 o 37028 1.99/2.07 o 37023 1.99/2.07 o 37021 1.99/2.07 o 37017 1.99/2.07 o 37016 1.99/2.07 o 37011 1.99/2.07 o 37006 1.99/2.08 o 37005 1.99/2.08 o 37004 1.99/2.08 o 37002 1.99/2.08 o 37000 1.99/2.08 o 36999 1.99/2.08 o 36994 1.99/2.08 o 36992 1.99/2.08 o 36991 1.99/2.08 o 36986 1.99/2.08 o 36985 1.99/2.08 o 36980 1.99/2.08 o 36979 1.99/2.08 o 36976 1.99/2.08 o 36974 1.99/2.08 o 36973 1.99/2.09 o 36968 1.99/2.09 o 36967 1.99/2.09 o 36962 1.99/2.09 o 36958 1.99/2.09 o 36954 1.99/2.09 o 36950 1.99/2.09 o 36947 1.99/2.09 o 36944 1.99/2.09 o 36941 1.99/2.09 o 36937 1.99/2.09 o 36936 1.99/2.09 o 36934 1.99/2.09 o 36930 1.99/2.09 o 36928 1.99/2.09 o 36925 1.99/2.10 o 36924 1.99/2.10 o 36923 2.09/2.10 o 36922 2.09/2.10 o 36919 2.09/2.10 o 36918 2.09/2.10 o 36917 2.09/2.10 o 36916 2.09/2.10 o 36914 2.09/2.10 o 36910 2.09/2.10 o 36907 2.09/2.10 o 36905 2.09/2.10 o 36901 2.09/2.10 o 36900 2.09/2.10 o 36898 2.09/2.10 o 36896 2.09/2.11 o 36894 2.09/2.11 o 36893 2.09/2.11 o 36888 2.09/2.11 o 36879 2.09/2.11 o 36875 2.09/2.11 o 36871 2.09/2.11 o 36868 2.09/2.11 o 36866 2.09/2.11 o 36862 2.09/2.11 o 36860 2.09/2.11 o 36859 2.09/2.11 o 36858 2.09/2.11 o 36855 2.09/2.11 o 36854 2.09/2.12 o 36853 2.09/2.12 o 36852 2.09/2.12 o 36847 2.09/2.12 o 36846 2.09/2.12 o 36844 2.09/2.12 o 36841 2.09/2.12 o 36839 2.09/2.12 o 36837 2.09/2.12 o 36834 2.09/2.12 o 36830 2.09/2.12 o 36825 2.09/2.12 o 36820 2.09/2.12 o 36819 2.09/2.12 o 36818 2.09/2.12 o 36815 2.09/2.13 o 36812 2.09/2.13 o 36810 2.09/2.13 o 36809 2.09/2.13 o 36806 2.09/2.13 o 36804 2.09/2.13 o 36801 2.09/2.13 o 36800 2.09/2.13 o 36795 2.09/2.13 o 36791 2.09/2.13 o 36790 2.09/2.13 o 36786 2.09/2.13 o 36785 2.09/2.13 o 36780 2.09/2.13 o 36777 2.09/2.13 o 36772 2.09/2.14 o 36771 2.09/2.14 o 36767 2.09/2.14 o 36763 2.09/2.14 o 36759 2.09/2.14 o 36758 2.09/2.14 o 36752 2.09/2.14 o 36747 2.09/2.14 o 36744 2.09/2.14 o 36739 2.09/2.14 o 36736 2.09/2.14 o 36732 2.09/2.14 o 36731 2.09/2.14 o 36727 2.09/2.14 o 36723 2.09/2.15 o 36721 2.09/2.15 o 36720 2.09/2.15 o 36716 2.09/2.15 o 36713 2.09/2.15 o 36710 2.09/2.15 o 36706 2.09/2.15 o 36703 2.09/2.15 o 36698 2.09/2.15 o 36694 2.09/2.15 o 36692 2.09/2.15 o 36689 2.09/2.15 o 36688 2.09/2.15 o 36683 2.09/2.15 o 36679 2.09/2.16 o 36675 2.09/2.16 o 36669 2.09/2.16 o 36668 2.09/2.16 o 36664 2.09/2.16 o 36661 2.09/2.16 o 36658 2.09/2.16 o 36652 2.09/2.16 o 36649 2.09/2.16 o 36646 2.09/2.16 o 36644 2.09/2.16 o 36641 2.09/2.16 o 36638 2.09/2.16 o 36635 2.09/2.16 o 36633 2.09/2.16 o 36632 2.09/2.17 o 36628 2.09/2.17 o 36623 2.09/2.17 o 36620 2.09/2.17 o 36618 2.09/2.17 o 36615 2.09/2.17 o 36611 2.09/2.17 o 36606 2.09/2.17 o 36604 2.09/2.17 o 36603 2.09/2.17 o 36598 2.09/2.17 o 36594 2.09/2.17 o 36593 2.09/2.17 o 36587 2.09/2.17 o 36581 2.09/2.18 o 36579 2.09/2.18 o 36576 2.09/2.18 o 36572 2.09/2.18 o 36571 2.09/2.18 o 36570 2.09/2.18 o 36565 2.09/2.18 o 36563 2.09/2.18 o 36561 2.09/2.18 o 36557 2.09/2.18 o 36553 2.09/2.18 o 36548 2.09/2.18 o 36544 2.09/2.18 o 36543 2.09/2.18 o 36541 2.09/2.18 o 36537 2.09/2.19 o 36536 2.09/2.19 o 36534 2.09/2.19 o 36533 2.09/2.19 o 36530 2.09/2.19 o 36528 2.09/2.19 o 36527 2.09/2.19 o 36526 2.09/2.19 o 36523 2.09/2.19 o 36521 2.09/2.19 o 36516 2.09/2.19 o 36515 2.09/2.19 o 36512 2.09/2.19 o 36508 2.09/2.19 o 36505 2.09/2.20 o 36501 2.09/2.20 o 36497 2.09/2.20 o 36496 2.09/2.20 o 36495 2.09/2.20 o 36491 2.09/2.20 o 36490 2.19/2.20 o 36487 2.19/2.21 o 36486 2.19/2.24 o 36485 2.29/2.32 o 36480 2.29/2.32 o 36477 2.29/2.33 o 36475 2.29/2.33 o 36474 2.29/2.33 o 36473 2.29/2.33 o 36470 2.29/2.34 o 36466 2.29/2.34 o 36465 2.29/2.34 o 36462 2.29/2.34 o 36460 2.29/2.34 o 36458 2.29/2.34 o 36456 2.29/2.34 o 36455 2.29/2.34 o 36454 2.29/2.34 o 36449 2.29/2.35 o 36447 2.29/2.35 o 36446 2.29/2.35 o 36441 2.29/2.35 o 36440 2.29/2.35 o 36435 2.29/2.35 o 36430 2.29/2.35 o 36428 2.29/2.35 o 36427 2.29/2.35 o 36422 2.29/2.35 o 36417 2.29/2.35 o 36415 2.29/2.35 o 36414 2.29/2.35 o 36413 2.29/2.35 o 36408 2.29/2.35 o 36407 2.29/2.36 o 36402 2.29/2.36 o 36400 2.29/2.36 o 36398 2.29/2.36 o 36392 2.29/2.36 o 36386 2.29/2.36 o 36384 2.29/2.36 o 36383 2.29/2.36 o 36378 2.29/2.36 o 36377 2.29/2.36 o 36376 2.29/2.36 o 36373 2.29/2.36 o 36372 2.29/2.36 o 36367 2.29/2.36 o 36363 2.29/2.36 o 36361 2.29/2.36 o 36360 2.29/2.37 o 36355 2.29/2.37 o 36352 2.29/2.37 o 36348 2.29/2.37 o 36345 2.29/2.37 o 36344 2.29/2.37 o 36342 2.29/2.37 o 36341 2.29/2.37 o 36336 2.29/2.37 o 36331 2.29/2.37 o 36330 2.29/2.37 o 36329 2.29/2.37 o 36327 2.29/2.37 o 36322 2.29/2.37 o 36319 2.29/2.37 o 36314 2.29/2.38 o 36313 2.29/2.38 o 36308 2.29/2.38 o 36303 2.29/2.38 o 36302 2.29/2.38 o 36301 2.29/2.38 o 36300 2.29/2.38 o 36299 2.29/2.38 o 36297 2.29/2.38 o 36295 2.29/2.38 o 36293 2.29/2.38 o 36292 2.29/2.38 o 36291 2.29/2.38 o 36289 2.29/2.38 o 36285 2.29/2.39 o 36281 2.29/2.39 o 36278 2.29/2.39 o 36274 2.29/2.39 o 36272 2.29/2.39 o 36268 2.29/2.39 o 36265 2.29/2.39 o 36263 2.29/2.39 o 36259 2.29/2.39 o 36254 2.29/2.39 o 36253 2.29/2.39 o 36248 2.29/2.39 o 36247 2.29/2.39 o 36245 2.29/2.39 o 36243 2.29/2.39 o 36240 2.29/2.39 o 36235 2.29/2.40 o 36232 2.29/2.40 o 36231 2.39/2.40 o 36226 2.39/2.40 o 36222 2.39/2.40 o 36217 2.39/2.40 o 36213 2.39/2.40 o 36211 2.39/2.40 o 36206 2.39/2.40 o 36203 2.39/2.40 o 36202 2.39/2.40 o 36197 2.39/2.40 o 36195 2.39/2.40 o 36193 2.39/2.40 o 36192 2.39/2.40 o 36187 2.39/2.41 o 36182 2.39/2.41 o 36180 2.39/2.41 o 36178 2.39/2.41 o 36176 2.39/2.41 o 36171 2.39/2.41 o 36170 2.39/2.41 o 36167 2.39/2.41 o 36165 2.39/2.41 o 36162 2.39/2.42 o 36160 2.39/2.42 o 36156 2.39/2.42 o 36154 2.39/2.42 o 36151 2.39/2.42 o 36148 2.39/2.42 o 36145 2.39/2.42 o 36141 2.39/2.42 o 36138 2.39/2.42 o 36135 2.39/2.43 o 36131 2.39/2.43 o 36126 2.39/2.43 o 36121 2.39/2.43 o 36120 2.39/2.43 o 36115 2.39/2.43 o 36112 2.39/2.43 o 36107 2.39/2.43 o 36103 2.39/2.43 o 36101 2.39/2.43 o 36098 2.39/2.43 o 36097 2.39/2.43 o 36092 2.39/2.44 o 36090 2.39/2.44 o 36088 2.39/2.44 o 36083 2.39/2.44 o 36082 2.39/2.44 o 36081 2.39/2.44 o 36078 2.39/2.44 o 36077 2.39/2.44 o 36075 2.39/2.44 o 36073 2.39/2.44 o 36069 2.39/2.44 o 36068 2.39/2.44 o 36067 2.39/2.44 o 36065 2.39/2.45 o 36063 2.39/2.45 o 36059 2.39/2.45 o 36057 2.39/2.45 o 36056 2.39/2.45 o 36055 2.39/2.45 o 36051 2.39/2.45 o 36048 2.39/2.45 o 36047 2.39/2.45 o 36046 2.39/2.45 o 36045 2.39/2.45 o 36044 2.39/2.45 o 36041 2.39/2.45 o 36039 2.39/2.46 o 36036 2.39/2.46 o 36035 2.39/2.46 o 36030 2.39/2.46 o 36028 2.39/2.46 o 36026 2.39/2.46 o 36024 2.39/2.46 o 36022 2.39/2.46 o 36019 2.39/2.46 o 36015 2.39/2.46 o 36012 2.39/2.46 o 36011 2.39/2.46 o 36009 2.39/2.46 o 36008 2.39/2.47 o 36007 2.39/2.47 o 36003 2.39/2.47 o 36001 2.39/2.47 o 36000 2.39/2.47 o 35995 2.39/2.47 o 35992 2.39/2.47 o 35987 2.39/2.47 o 35985 2.39/2.47 o 35982 2.39/2.47 o 35978 2.39/2.47 o 35977 2.39/2.48 o 35975 2.48/2.52 o 35972 2.69/2.77 o 35968 2.69/2.77 o 35964 2.69/2.77 o 35958 2.69/2.78 o 35953 2.69/2.78 o 35950 2.69/2.78 o 35946 2.69/2.78 o 35942 2.69/2.78 o 35941 2.69/2.78 o 35936 2.69/2.78 o 35931 2.69/2.78 o 35930 2.69/2.79 o 35929 2.69/2.79 o 35923 2.69/2.79 o 35919 2.69/2.79 o 35918 2.69/2.79 o 35916 2.69/2.79 o 35912 2.69/2.79 o 35911 2.69/2.79 o 35908 2.69/2.79 o 35906 2.69/2.79 o 35902 2.69/2.79 o 35899 2.69/2.79 o 35898 2.69/2.79 o 35897 2.69/2.79 o 35895 2.69/2.79 o 35892 2.69/2.80 o 35889 2.69/2.80 o 35885 2.69/2.80 o 35881 2.79/2.80 o 35878 2.79/2.80 o 35877 2.79/2.80 o 35876 2.79/2.80 o 35871 2.79/2.80 o 35870 2.79/2.80 o 35866 2.79/2.80 o 35861 2.79/2.80 o 35860 2.79/2.80 o 35859 2.79/2.80 o 35854 2.79/2.80 o 35849 2.79/2.80 o 35847 2.79/2.80 o 35846 2.79/2.81 o 35841 2.79/2.81 o 35837 2.79/2.81 o 35836 2.79/2.81 o 35831 2.79/2.81 o 35828 2.79/2.81 o 35827 2.79/2.81 o 35826 2.79/2.81 o 35821 2.79/2.81 o 35817 2.79/2.81 o 35813 2.79/2.81 o 35811 2.79/2.81 o 35807 2.79/2.81 o 35805 2.79/2.81 o 35803 2.79/2.81 o 35802 2.79/2.81 o 35797 2.79/2.82 o 35794 2.79/2.82 o 35790 2.79/2.82 o 35789 2.79/2.82 o 35784 2.79/2.82 o 35780 2.79/2.82 o 35776 2.79/2.82 o 35775 2.79/2.82 o 35773 2.79/2.82 o 35770 2.79/2.82 o 35769 2.79/2.82 o 35764 2.79/2.82 o 35762 2.79/2.82 o 35760 2.79/2.82 o 35758 2.79/2.82 o 35753 2.79/2.82 o 35752 2.79/2.83 o 35751 2.79/2.83 o 35747 2.79/2.83 o 35746 2.79/2.83 o 35742 2.79/2.83 o 35738 2.79/2.83 o 35732 2.79/2.83 o 35729 2.79/2.83 o 35724 2.79/2.83 o 35723 2.79/2.83 o 35719 2.79/2.83 o 35716 2.79/2.83 o 35712 2.79/2.83 o 35708 2.79/2.83 o 35704 2.79/2.83 o 35703 2.79/2.84 o 35702 2.79/2.84 o 35699 2.79/2.84 o 35694 2.79/2.84 o 35691 2.79/2.84 o 35689 2.79/2.84 o 35684 2.79/2.84 o 35681 2.79/2.84 o 35679 2.79/2.84 o 35677 2.79/2.84 o 35676 2.79/2.84 o 35671 2.79/2.84 o 35668 2.79/2.84 o 35664 2.79/2.84 o 35663 2.79/2.84 o 35658 2.79/2.84 o 35653 2.79/2.84 o 35650 2.79/2.85 o 35649 2.79/2.85 o 35645 2.79/2.85 o 35639 2.79/2.85 o 35636 2.79/2.85 o 35632 2.79/2.85 o 35631 2.79/2.85 o 35630 2.79/2.85 o 35627 2.79/2.85 o 35624 2.79/2.85 o 35621 2.79/2.85 o 35618 2.79/2.85 o 35616 2.79/2.85 o 35611 2.79/2.85 o 35608 2.79/2.85 o 35604 2.79/2.86 o 35601 2.79/2.86 o 35599 2.79/2.86 o 35596 2.79/2.86 o 35593 2.79/2.87 o 35591 2.79/2.87 o 35587 2.79/2.87 o 35583 2.79/2.87 o 35579 2.79/2.87 o 35575 2.79/2.87 o 35571 2.79/2.87 o 35567 2.79/2.87 o 35565 2.79/2.87 o 35561 2.79/2.87 o 35560 2.79/2.87 o 35557 2.79/2.87 o 35553 2.79/2.87 o 35547 2.79/2.88 o 35545 2.79/2.88 o 35540 2.79/2.88 o 35535 3.09/3.10 o 35534 3.69/3.73 o 35530 3.79/3.87 o 35529 5.69/5.75 o 35527 5.79/5.84 o 35523 6.39/6.49 o 35522 6.69/6.75 o 35521 6.78/6.83 o 35520 7.09/7.12 o 35519 7.19/7.21 o 35516 7.49/7.51 o 35508 7.79/7.85 o 35505 7.98/8.05 o 35503 8.28/8.30 o 35502 9.38/9.43 o 35500 9.69/9.77 o 35496 14.29/14.38 o 35492 17.18/17.29 o 35488 19.88/19.97 o 35485 20.08/20.10 o 35483 20.59/20.66 o 35482 24.48/24.50 o 35481 29.98/30.09 o 35479 30.68/30.74 o 35474 38.88/38.92 o 35473 39.28/39.37 o 35469 43.98/44.03 o 35468 44.98/45.08 o 35467 45.47/45.50 o 35463 46.38/46.45 o 35459 47.58/47.61 o 35457 50.18/50.25 o 35453 51.37/51.47 o 35452 51.58/51.62 o 35451 51.68/51.76 o 35449 53.77/53.88 o 35448 54.17/54.24 o 35444 57.98/58.06 o 35439 58.47/58.53 o 35437 58.47/58.59 o 35436 61.58/61.66 o 35435 62.67/62.78 o 35430 62.87/62.92 o 35426 64.07/64.14 o 35424 64.17/64.29 o 35421 64.27/64.35 o 35420 64.27/64.39 o 35419 64.37/64.41 o 35415 64.37/64.48 o 35410 68.77/68.89 o 35407 69.47/69.55 o 35390 70.07/70.10 o 35389 71.37/71.45 o 35388 73.27/73.35 o 35378 73.46/73.54 o 35373 73.86/73.97 o 35371 74.37/74.42 o 35366 74.97/75.02 o 35365 77.36/77.44 o 35360 81.17/81.26 o 35359 82.47/82.56 o 35358 84.87/84.96 o 35357 85.17/85.27 o 35355 85.87/85.96 o 35353 87.66/87.76 o 35350 89.76/89.82 o 35347 89.86/89.90 o 35345 90.37/90.48 o 35343 90.57/90.69 o 35341 106.46/106.58 o 35340 118.45/118.51 o 35339 120.76/120.80 o 35334 121.45/121.59 o 35329 121.55/121.69 o 35322 123.55/123.70 o 35318 125.75/125.81 o 35314 125.85/125.97 o 35312 127.15/127.20 o 35310 127.75/127.84 o 35307 127.96/128.03 o 35303 128.16/128.24 o 35300 128.95/129.04 o 35296 129.15/129.21 o 35295 129.65/129.71 o 35292 129.95/130.00 o 35288 131.05/131.11 o 34784 131.35/131.40 o 34782 140.14/140.24 o 34777 148.95/149.03 o 34773 151.05/151.13 o 34771 151.85/151.90 o 34770 152.05/152.14 o 34767 152.75/152.82 o 34764 153.44/153.53 o 34762 153.54/153.67 o 34761 154.84/154.93 o 34757 162.24/162.38 o 34752 163.74/163.84 o 34749 163.84/163.93 o 34746 166.04/166.11 o 34744 166.34/166.48 o 34739 183.14/183.28 o 34735 184.83/184.98 o 34731 188.73/188.84 o 34729 189.23/189.31 o 34727 203.43/203.57 o 34726 205.02/205.16 o 34725 210.62/210.71 o 34722 212.03/212.18 o 34720 221.13/221.23 o 34717 230.83/230.93 o 34714 246.02/246.15 o 34713 250.91/251.06 o 34712 253.52/253.62 o 34711 261.21/261.39 o 34707 263.41/263.53 o 34706 266.11/266.28 o 34704 267.50/267.61 o 34702 268.81/268.99 o 34701 269.51/269.70 o 34699 271.31/271.41 o 34695 274.91/275.05 o 34690 277.61/277.77 o 34686 280.81/280.93 o 34681 287.71/287.88 o 34679 293.20/293.30 o 34677 304.89/305.06 o 34676 316.50/316.63 o 34674 318.39/318.59 o 34673 323.39/323.53 o 34670 324.59/324.76 o 34669 326.19/326.35 o 34668 326.60/326.71 o 34655 328.70/328.83 o 34654 329.69/329.85 o 34651 330.19/330.38 o 34648 331.79/331.96 o 34644 355.29/355.43 o 34640 376.27/376.48 o 34635 384.68/384.85 o 34630 389.87/390.00 o 34629 396.07/396.23 o 34627 397.47/397.65 o 34623 403.97/404.13 o 34621 408.86/409.04 o 34616 409.46/409.61 o 34614 412.76/412.91 o 34613 412.86/413.06 o 34611 413.86/414.07 o 34608 414.16/414.38 o 34605 417.27/417.48 o 34600 421.06/421.21 o 34597 425.47/425.66 o 34596 432.76/432.90 o 34592 436.75/436.94 o 34590 446.15/446.38 o 34585 446.55/446.73 o 34583 450.16/450.36 o 34581 450.66/450.87 o 34576 453.55/453.74 o 34573 454.15/454.34 o 34568 461.35/461.52 o 34566 473.85/474.07 o 34563 478.05/478.29 o 34562 480.55/480.74 o 34558 481.74/481.90 o 34555 483.85/484.01 o 34554 486.45/486.65 o 34549 487.44/487.60 o 34548 489.34/489.58 o 34544 489.64/489.81 o 34542 490.04/490.25 o 34539 491.44/491.70 o 34535 509.24/509.47 o 34530 509.64/509.86 o 34527 529.93/530.14 o 34525 533.93/534.15 o 34521 536.93/537.14 o 34520 537.12/537.36 o 34519 539.63/539.89 o 34514 540.32/540.53 o 34509 541.02/541.26 o 34508 551.72/551.92 o 34503 569.02/569.26 o 34500 572.21/572.41 o 34498 576.81/577.02 o 34496 577.01/577.24 o 34493 582.61/582.83 o 34491 590.21/590.41 o 34490 594.21/594.48 o 34486 595.51/595.73 o 34481 598.51/598.76 o 34477 600.91/601.12 o 34474 604.41/604.69 o 34471 633.40/633.63 o 34468 636.50/636.70 o 34463 636.60/636.88 o 34462 639.49/639.78 o 34460 640.30/640.52 o 34457 645.40/645.65 o 34455 648.99/649.24 o 34454 655.19/655.47 o 34453 656.09/656.36 o 34452 657.69/657.94 o 34448 662.79/663.05 o 34446 669.38/669.63 o 34443 675.68/675.96 o 34442 677.68/677.99 o 34440 678.19/678.50 o 34439 681.08/681.35 o 34437 684.38/684.67 o 34436 684.68/684.93 o 34431 685.58/685.83 o 34428 686.18/686.44 o 34425 690.59/690.82 o 34422 692.58/692.89 o 34421 698.38/698.66 o 34420 698.48/698.79 o 34417 698.88/699.10 o 34415 699.28/699.53 o 34412 701.37/701.60 o 34411 703.98/704.24 o 34409 704.88/705.18 o 34406 710.48/710.70 o 34404 713.47/713.71 o 34399 715.17/715.42 o 34398 721.57/721.86 o 34397 724.97/725.28 o 34394 730.87/731.16 o 34391 756.76/757.07 o 34389 759.76/760.01 o 34385 770.76/771.00 o 34384 773.26/773.51 o 34381 815.35/815.63 o 34380 846.84/847.15 o 34375 848.94/849.22 o 34372 850.83/851.12 o 34365 865.72/866.09 o 34364 868.13/868.45 o 34363 873.13/873.41 o 34361 876.32/876.69 o 34359 878.03/878.33 o 34357 879.42/879.70 o 34355 886.23/886.54 o 34351 889.92/890.23 o 34350 890.82/891.12 o 34342 891.22/891.57 o 34338 906.12/906.44 o 34335 907.91/908.24 o 34332 911.41/911.77 o 34329 914.21/914.55 o 34324 927.91/928.23 o 34321 1022.68/1023.02 o 34319 1033.37/1033.76 o 34316 1034.47/1034.85 o 34312 1051.18/1051.51 o 34309 1079.16/1079.53 o 34307 1105.16/1105.51 o 34303 1106.26/1106.62 o 34301 1119.95/1120.35 o 34300 1140.85/1141.26 o 34299 1145.54/1145.98 o 34298 1146.85/1147.28 o 34294 1151.25/1151.60 o 34292 1155.34/1155.78 o 34288 1157.04/1157.40 o 34287 1157.34/1157.78 o 34285 1200.03/1200.44 o 34282 1214.22/1214.67 o 34277 1216.32/1216.79 o 34276 1241.31/1241.79 o 34273 1304.39/1304.85 o 34269 1307.89/1308.36 o 34265 1314.59/1315.03 o 34264 1317.99/1318.48 o 34263 1351.28/1351.70 o 34258 1359.18/1359.63 o 34256 1371.77/1372.29 o 34255 1403.66/1404.18 o 34251 1465.94/1466.42 o 34248 1480.04/1480.53 o 34247 1480.34/1480.84 o 34246 1480.54/1481.08 o 34242 1497.13/1497.65 o 34237 1577.81/1578.31 o 34235 1611.30/1611.87 o 34230 1633.70/1634.29 o 34228 1634.99/1635.51 o 34224 1637.29/1637.88 o 34223 1642.99/1643.51 o 34219 1648.29/1648.81 o 34218 1648.39/1648.94 o 34214 1650.19/1650.78 o 34213 1653.59/1654.16 o 34211 1654.48/1655.09 o 34210 1659.79/1660.38 o 34208 1659.89/1660.47 o 34207 1659.99/1660.52 o 34203 1661.19/1661.72 o 34199 1665.38/1665.95 o 34197 1665.48/1666.06 o 34196 1676.99/1677.51 o 34194 1680.78/1681.39 o 34191 1682.77/1683.31 o 34190 1686.17/1686.77 o 34186 1692.97/1693.53 o 34184 1733.67/1734.25 o 34183 1752.56/1753.16 o 34181 1762.66/1763.29 o 34180 1800.05/1800.61 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/351935-1176617920/instance-351935-1176617920.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node22/watcher-351935-1176617920 -o ROOT/results/node22/solver-351935-1176617920 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351935-1176617920/PBS4 /tmp/evaluation/351935-1176617920/instance-351935-1176617920.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.98 1.01 0.99 3/77 22693 /proc/meminfo: memFree=1539008/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=1456 CPUtime=0 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 152 0 0 0 0 0 0 0 18 0 1 0 109709662 1490944 134 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/22693/statm: 364 134 87 219 0 141 0 [startup+0.044029 s] /proc/loadavg: 0.98 1.01 0.99 3/77 22693 /proc/meminfo: memFree=1539008/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=1452 CPUtime=0.04 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 188 0 0 0 4 0 0 0 18 0 1 0 109709662 1486848 170 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 363 170 92 219 0 140 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1452 [startup+0.102038 s] /proc/loadavg: 0.98 1.01 0.99 3/77 22693 /proc/meminfo: memFree=1539008/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=1708 CPUtime=0.1 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 250 0 0 0 10 0 0 0 18 0 1 0 109709662 1748992 232 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 427 232 93 219 0 204 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1708 [startup+0.302068 s] /proc/loadavg: 0.98 1.01 0.99 3/77 22693 /proc/meminfo: memFree=1539008/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=3404 CPUtime=0.29 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 452 0 0 0 29 0 0 0 19 0 1 0 109709662 3485696 434 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 851 434 93 219 0 628 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3404 [startup+0.701129 s] /proc/loadavg: 0.98 1.01 0.99 3/77 22693 /proc/meminfo: memFree=1539008/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=5720 CPUtime=0.68 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 868 0 0 0 68 0 0 0 22 0 1 0 109709662 5857280 850 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 1430 851 103 219 0 1207 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 5720 [startup+1.50125 s] /proc/loadavg: 0.98 1.01 0.99 2/78 22694 /proc/meminfo: memFree=1535032/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=6048 CPUtime=1.49 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 1361 0 0 0 144 5 0 0 25 0 1 0 109709662 6193152 1343 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134596339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 1512 1343 103 219 0 1289 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6048 [startup+3.10149 s] /proc/loadavg: 0.98 1.01 0.99 2/78 22694 /proc/meminfo: memFree=1533112/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=10600 CPUtime=3.09 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 1825 0 0 0 297 12 0 0 25 0 1 0 109709662 10854400 1758 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 2650 1758 104 219 0 2427 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10600 [startup+6.30198 s] /proc/loadavg: 0.98 1.01 0.99 2/78 22694 /proc/meminfo: memFree=1530040/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=11260 CPUtime=6.29 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 2433 0 0 0 615 14 0 0 25 0 1 0 109709662 11530240 2269 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 2815 2269 104 219 0 2592 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11260 [startup+12.702 s] /proc/loadavg: 0.98 1.01 0.99 2/78 22694 /proc/meminfo: memFree=1523896/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=19872 CPUtime=12.69 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 3991 0 0 0 1249 20 0 0 25 0 1 0 109709662 20348928 3827 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 4968 3827 104 219 0 4745 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19872 [startup+25.5019 s] /proc/loadavg: 0.99 1.01 0.99 2/78 22694 /proc/meminfo: memFree=1522744/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=21448 CPUtime=25.48 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 4464 0 0 0 2523 25 0 0 25 0 1 0 109709662 21962752 4107 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 5362 4107 104 219 0 5139 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21448 [startup+51.1018 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22694 /proc/meminfo: memFree=1518904/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=24052 CPUtime=51.07 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 5770 0 0 0 5073 34 0 0 25 0 1 0 109709662 24629248 5028 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 6013 5028 104 219 0 5790 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 24052 [startup+102.306 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22694 /proc/meminfo: memFree=1516408/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=25348 CPUtime=102.27 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 6419 0 0 0 10175 52 0 0 25 0 1 0 109709662 25956352 5677 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 6337 5677 104 219 0 6114 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 25348 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22694 /proc/meminfo: memFree=1510840/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=45952 CPUtime=162.24 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 8582 0 0 0 16156 68 0 0 25 0 1 0 109709662 47054848 7071 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134784767 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 11488 7071 104 219 0 11265 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 45952 [startup+222.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22694 /proc/meminfo: memFree=1508984/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=46988 CPUtime=222.23 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 9016 0 0 0 22141 82 0 0 25 0 1 0 109709662 48115712 7505 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 11747 7505 104 219 0 11524 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 46988 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22694 /proc/meminfo: memFree=1506936/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=47952 CPUtime=282.2 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 9584 0 0 0 28126 94 0 0 25 0 1 0 109709662 49102848 8073 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 11988 8073 104 219 0 11765 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 47952 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22694 /proc/meminfo: memFree=1505144/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=49084 CPUtime=342.19 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 9960 0 0 0 34112 107 0 0 25 0 1 0 109709662 50262016 8449 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 12271 8449 104 219 0 12048 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 49084 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22694 /proc/meminfo: memFree=1503672/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=55744 CPUtime=402.17 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 11860 0 0 0 40100 117 0 0 25 0 1 0 109709662 57081856 8812 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 13936 8812 104 219 0 13713 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 55744 [startup+462.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22694 /proc/meminfo: memFree=1501880/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=56560 CPUtime=462.15 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 12295 0 0 0 46088 127 0 0 25 0 1 0 109709662 57917440 9247 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 14140 9247 104 219 0 13917 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 56560 [startup+522.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22694 /proc/meminfo: memFree=1500536/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=57484 CPUtime=522.14 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 12633 0 0 0 52073 141 0 0 25 0 1 0 109709662 58863616 9585 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 14371 9585 104 219 0 14148 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 57484 [startup+582.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22694 /proc/meminfo: memFree=1499320/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=58148 CPUtime=582.11 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 12923 0 0 0 58061 150 0 0 25 0 1 0 109709662 59543552 9875 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 14537 9875 104 219 0 14314 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 58148 [startup+642.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 22694 /proc/meminfo: memFree=1498104/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=58684 CPUtime=642.1 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 13222 0 0 0 64051 159 0 0 25 0 1 0 109709662 60092416 10174 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 14671 10174 104 219 0 14448 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 58684 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.02 1.02 1.00 2/78 22694 /proc/meminfo: memFree=1494520/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=60500 CPUtime=822.04 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 14089 0 0 0 82016 188 0 0 25 0 1 0 109709662 61952000 11041 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 15125 11041 104 219 0 14902 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 60500 [startup+882.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 22694 /proc/meminfo: memFree=1493432/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=61184 CPUtime=882.03 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 14354 0 0 0 88005 198 0 0 25 0 1 0 109709662 62652416 11306 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 15296 11306 104 219 0 15073 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 61184 [startup+942.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 22694 /proc/meminfo: memFree=1492216/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=61328 CPUtime=942 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 14643 0 0 0 93995 205 0 0 25 0 1 0 109709662 62799872 11595 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 15332 11595 104 219 0 15109 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 61328 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22694 /proc/meminfo: memFree=1491064/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=74484 CPUtime=1001.99 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 17996 0 0 0 99986 213 0 0 25 0 1 0 109709662 76271616 11875 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551783 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 18621 11875 104 219 0 18398 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 74484 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22694 /proc/meminfo: memFree=1490104/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=75256 CPUtime=1061.96 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 18233 0 0 0 105976 220 0 0 25 0 1 0 109709662 77062144 12112 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 18814 12112 104 219 0 18591 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 75256 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22696 /proc/meminfo: memFree=1489080/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=75416 CPUtime=1121.94 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 18472 0 0 0 111967 227 0 0 25 0 1 0 109709662 77225984 12351 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 18854 12351 104 219 0 18631 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 75416 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22696 /proc/meminfo: memFree=1488120/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=76236 CPUtime=1181.93 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 18710 0 0 0 117957 236 0 0 25 0 1 0 109709662 78065664 12589 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 19059 12589 104 219 0 18836 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 76236 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22696 /proc/meminfo: memFree=1487160/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=76236 CPUtime=1241.91 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 18925 0 0 0 123947 244 0 0 25 0 1 0 109709662 78065664 12804 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 19059 12804 104 219 0 18836 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 76236 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22696 /proc/meminfo: memFree=1486264/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=77252 CPUtime=1301.9 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 19151 0 0 0 129940 250 0 0 25 0 1 0 109709662 79106048 13030 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 19313 13030 104 219 0 19090 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 77252 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22696 /proc/meminfo: memFree=1485304/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=77252 CPUtime=1361.88 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 19379 0 0 0 135932 256 0 0 25 0 1 0 109709662 79106048 13258 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 19313 13258 104 219 0 19090 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 77252 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22696 /proc/meminfo: memFree=1484344/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=78336 CPUtime=1421.86 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 19625 0 0 0 141924 262 0 0 25 0 1 0 109709662 80216064 13504 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 19584 13504 104 219 0 19361 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 78336 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22696 /proc/meminfo: memFree=1481272/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=78336 CPUtime=1481.84 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 20373 0 0 0 147917 267 0 0 25 0 1 0 109709662 80216064 14252 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 19584 14252 104 219 0 19361 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 78336 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22696 /proc/meminfo: memFree=1480504/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=79476 CPUtime=1541.82 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 20572 0 0 0 153909 273 0 0 25 0 1 0 109709662 81383424 14451 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 19869 14451 104 219 0 19646 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 79476 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22696 /proc/meminfo: memFree=1476920/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=79476 CPUtime=1601.8 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 21491 0 0 0 159902 278 0 0 25 0 1 0 109709662 81383424 15370 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551814 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 19869 15370 104 219 0 19646 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 79476 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22696 /proc/meminfo: memFree=1474168/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=79796 CPUtime=1661.79 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 22177 0 0 0 165893 286 0 0 25 0 1 0 109709662 81711104 16056 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 19949 16057 104 219 0 19726 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 79796 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22696 /proc/meminfo: memFree=1471032/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=80836 CPUtime=1721.77 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 22940 0 0 0 171885 292 0 0 25 0 1 0 109709662 82776064 16819 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 20209 16819 104 219 0 19986 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 80836 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22696 /proc/meminfo: memFree=1470200/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=80836 CPUtime=1781.75 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 23139 0 0 0 177879 296 0 0 25 0 1 0 109709662 82776064 17018 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 20209 17018 104 219 0 19986 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 80836 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22696 /proc/meminfo: memFree=1469944/2055920 swapFree=4169464/4192956 [pid=22693] ppid=22691 vsize=80836 CPUtime=1800.05 /proc/22693/stat : 22693 (PBS4) R 22691 22693 21677 0 -1 4194304 23202 0 0 0 179707 298 0 0 25 0 1 0 109709662 82776064 17081 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22693/statm: 20209 17081 104 219 0 19986 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 80836 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.62 CPU time (s): 1800.07 CPU user time (s): 1797.07 CPU system time (s): 2.99754 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 80836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.07 system time used= 2.99754 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23203 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= 8 involuntary context switches= 3712 runsolver used 2.11268 second user time and 4.45232 second system time The end
Begin job on node22 on Sun Apr 15 06:18:40 UTC 2007 IDJOB= 351935 IDBENCH= 1866 IDSOLVER= 157 FILE ID= node22/351935-1176617920 PBS_JOBID= 4557052 Free space on /tmp= 66563 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb COMMAND LINE= /tmp/evaluation/351935-1176617920/PBS4 /tmp/evaluation/351935-1176617920/instance-351935-1176617920.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node22/convwatcher-351935-1176617920 -o ROOT/results/node22/conversion-351935-1176617920 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351935-1176617920/instance-351935-1176617920.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-351935-1176617920 -o ROOT/results/node22/solver-351935-1176617920 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351935-1176617920/PBS4 /tmp/evaluation/351935-1176617920/instance-351935-1176617920.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 38a2c469f9dc1120b8fe634a693ac03d RANDOM SEED= 771118516 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.265 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1539480 kB Buffers: 47020 kB Cached: 352684 kB SwapCached: 2108 kB Active: 128772 kB Inactive: 296148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1539480 kB SwapTotal: 4192956 kB SwapFree: 4169464 kB Dirty: 1224 kB Writeback: 0 kB Mapped: 40100 kB Slab: 77232 kB Committed_AS: 630932 kB PageTables: 1680 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66563 MiB End job on node22 on Sun Apr 15 06:48:43 UTC 2007