Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.72 | 1801.28 |
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 | 10829 |
Best CPU time to get the best result obtained on this benchmark | 1801.09 |
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 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node71/41544-1149369142/instance-41544-1149369142.opb ...... 0.31 c done parsing opb. 0.31 o 66001 0.31 o 60158 0.31 o 60126 0.31 o 59940 0.31 o 56367 0.32 o 56362 0.32 o 50963 0.32 o 50886 0.32 o 50830 0.32 o 50825 0.32 o 44992 0.32 o 44991 0.33 o 44988 0.33 o 44984 0.33 o 42943 0.33 o 42938 0.33 o 42893 0.34 o 42837 0.34 o 42836 0.34 o 42829 0.34 o 42820 0.34 o 42819 0.54 o 42818 0.89 o 42815 0.89 o 42811 1.02 o 42807 1.02 o 42768 1.02 o 42755 1.02 o 40353 1.02 o 40352 1.02 o 40019 1.03 o 40015 1.03 o 38896 1.03 o 38451 1.03 o 38449 1.03 o 38447 1.03 o 38438 1.03 o 38436 1.03 o 38434 1.03 o 38429 1.04 o 38426 1.04 o 38411 1.04 o 38400 1.04 o 38395 1.04 o 38393 1.04 o 38386 1.04 o 38375 1.04 o 38371 1.04 o 38368 1.04 o 38365 1.04 o 38247 1.04 o 38245 1.04 o 38234 1.05 o 38230 1.05 o 38229 1.05 o 38216 1.05 o 38198 1.05 o 38196 1.05 o 38189 1.05 o 38188 1.05 o 38180 1.05 o 38174 1.05 o 38169 1.05 o 38165 1.05 o 38103 1.05 o 38099 1.06 o 38097 1.06 o 38091 1.06 o 38088 1.06 o 38076 1.06 o 38069 1.06 o 38055 1.06 o 38050 1.06 o 38040 1.06 o 38032 1.06 o 38029 1.06 o 38027 1.06 o 38015 1.06 o 38005 1.07 o 37999 1.07 o 37994 1.07 o 37992 1.07 o 37985 1.11 o 37977 1.16 o 37974 1.16 o 37973 1.16 o 37972 1.16 o 37970 1.17 o 37965 1.17 o 37960 1.17 o 37956 1.17 o 37955 1.17 o 37954 1.17 o 37950 1.17 o 37946 1.17 o 37943 1.17 o 37940 1.17 o 37936 1.17 o 37935 1.17 o 37934 1.17 o 37932 1.17 o 37929 1.18 o 37928 1.18 o 37927 1.18 o 37926 1.18 o 37921 1.18 o 37920 1.18 o 37916 1.18 o 37914 1.18 o 37912 1.18 o 37910 1.18 o 37907 1.18 o 37902 1.18 o 37898 1.18 o 37896 1.18 o 37891 1.18 o 37886 1.19 o 37884 1.19 o 37881 1.19 o 37878 1.19 o 37874 1.19 o 37872 1.19 o 37868 1.19 o 37865 1.19 o 37863 1.19 o 37860 1.19 o 37858 1.19 o 37857 1.19 o 37854 1.19 o 37853 1.19 o 37851 1.19 o 37848 1.20 o 37847 1.20 o 37843 1.20 o 37838 1.20 o 37833 1.20 o 37832 1.20 o 37831 1.20 o 37829 1.20 o 37828 1.20 o 37826 1.20 o 37824 1.20 o 37823 1.20 o 37820 1.20 o 37816 1.20 o 37815 1.21 o 37812 1.21 o 37810 1.21 o 37805 1.21 o 37800 1.21 o 37799 1.21 o 37798 1.21 o 37795 1.21 o 37794 1.21 o 37789 1.21 o 37787 1.21 o 37786 1.21 o 37785 1.21 o 37784 1.21 o 37781 1.21 o 37780 1.22 o 37779 1.22 o 37775 1.22 o 37770 1.22 o 37768 1.22 o 37764 1.22 o 37762 1.22 o 37758 1.22 o 37753 1.22 o 37751 1.22 o 37749 1.23 o 37745 1.23 o 37744 1.23 o 37743 1.23 o 37742 1.23 o 37737 1.23 o 37736 1.23 o 37734 1.23 o 37730 1.23 o 37728 1.23 o 37724 1.23 o 37723 1.23 o 37722 1.23 o 37718 1.24 o 37713 1.24 o 37709 1.24 o 37704 1.24 o 37703 1.24 o 37701 1.24 o 37699 1.24 o 37698 1.24 o 37695 1.24 o 37692 1.24 o 37687 1.24 o 37686 1.24 o 37684 1.24 o 37679 1.25 o 37677 1.25 o 37672 1.25 o 37671 1.25 o 37662 1.25 o 37660 1.25 o 37656 1.25 o 37655 1.25 o 37654 1.25 o 37648 1.25 o 37647 1.25 o 37642 1.25 o 37639 1.25 o 37636 1.26 o 37631 1.26 o 37628 1.26 o 37625 1.26 o 37624 1.26 o 37622 1.26 o 37620 1.26 o 37616 1.26 o 37613 1.26 o 37611 1.26 o 37607 1.26 o 37603 1.26 o 37598 1.26 o 37596 1.27 o 37593 1.27 o 37591 1.27 o 37588 1.27 o 37585 1.27 o 37581 1.27 o 37577 1.27 o 37572 1.27 o 37566 1.27 o 37565 1.27 o 37563 1.27 o 37561 1.27 o 37559 1.27 o 37556 1.28 o 37551 1.28 o 37550 1.28 o 37545 1.28 o 37542 1.28 o 37540 1.28 o 37535 1.28 o 37534 1.28 o 37530 1.28 o 37528 1.28 o 37525 1.28 o 37524 1.28 o 37523 1.28 o 37522 1.28 o 37520 1.29 o 37519 1.29 o 37515 1.29 o 37514 1.29 o 37512 1.29 o 37508 1.29 o 37505 1.29 o 37502 1.29 o 37497 1.29 o 37496 1.29 o 37494 1.29 o 37493 1.29 o 37489 1.29 o 37487 1.29 o 37485 1.30 o 37484 1.30 o 37483 1.30 o 37478 1.30 o 37477 1.30 o 37474 1.30 o 37469 1.30 o 37464 1.30 o 37461 1.30 o 37460 1.30 o 37456 1.30 o 37451 1.30 o 37448 1.30 o 37447 1.30 o 37446 1.31 o 37442 1.31 o 37441 1.31 o 37440 1.31 o 37437 1.31 o 37436 1.31 o 37433 1.31 o 37432 1.31 o 37430 1.31 o 37429 1.31 o 37428 1.31 o 37425 1.31 o 37417 1.32 o 37416 1.32 o 37413 1.32 o 37411 1.32 o 37406 1.32 o 37400 1.32 o 37397 1.32 o 37396 1.32 o 37393 1.32 o 37389 1.32 o 37388 1.32 o 37385 1.32 o 37381 1.32 o 37377 1.33 o 37372 1.33 o 37368 1.33 o 37366 1.33 o 37364 1.33 o 37361 1.33 o 37357 1.33 o 37353 1.33 o 37352 1.36 o 37351 1.52 o 37346 1.70 o 37343 1.92 o 37338 1.92 o 37333 1.92 o 37328 1.92 o 37322 1.92 o 37318 1.93 o 37315 1.93 o 37313 1.93 o 37307 1.93 o 37304 1.93 o 37302 1.93 o 37296 1.93 o 37291 1.93 o 37287 1.93 o 37285 1.93 o 37279 1.93 o 37273 1.93 o 37270 1.93 o 37264 1.93 o 37260 1.94 o 37258 1.94 o 37252 1.94 o 37248 1.94 o 37242 1.94 o 37237 1.94 o 37233 1.94 o 37231 1.94 o 37229 1.94 o 37227 1.94 o 37225 1.94 o 37223 1.94 o 37221 1.94 o 37219 1.94 o 37215 1.94 o 37213 1.95 o 37211 1.95 o 37207 1.95 o 37204 1.95 o 37202 1.95 o 37198 1.95 o 37194 1.95 o 37193 1.95 o 37188 1.95 o 37183 1.95 o 37178 1.95 o 37176 1.95 o 37175 1.95 o 37173 1.95 o 37167 1.96 o 37165 1.96 o 37161 1.96 o 37159 1.96 o 37155 1.96 o 37150 1.96 o 37149 1.96 o 37144 1.96 o 37143 1.96 o 37138 1.96 o 37136 1.96 o 37135 1.96 o 37133 1.96 o 37132 1.96 o 37130 1.97 o 37129 1.97 o 37124 1.97 o 37120 1.97 o 37118 1.97 o 37116 1.97 o 37112 1.97 o 37111 1.97 o 37106 1.97 o 37101 1.97 o 37097 1.97 o 37092 1.97 o 37089 1.97 o 37086 1.97 o 37081 1.97 o 37080 1.98 o 37075 1.98 o 37072 1.98 o 37071 1.98 o 37069 1.98 o 37068 1.98 o 37066 1.98 o 37062 1.98 o 37060 1.98 o 37059 1.98 o 37055 1.98 o 37054 1.98 o 37053 1.98 o 37050 1.98 o 37048 1.99 o 37043 1.99 o 37042 1.99 o 37039 1.99 o 37037 1.99 o 37036 1.99 o 37031 1.99 o 37029 1.99 o 37028 1.99 o 37023 1.99 o 37021 1.99 o 37017 1.99 o 37016 1.99 o 37011 1.99 o 37006 1.99 o 37005 2.00 o 37004 2.00 o 37002 2.00 o 37000 2.00 o 36999 2.00 o 36994 2.00 o 36992 2.00 o 36991 2.00 o 36986 2.00 o 36985 2.00 o 36980 2.00 o 36979 2.00 o 36976 2.00 o 36974 2.00 o 36973 2.01 o 36968 2.01 o 36967 2.01 o 36962 2.01 o 36958 2.01 o 36954 2.01 o 36950 2.01 o 36947 2.01 o 36944 2.01 o 36941 2.01 o 36937 2.01 o 36936 2.01 o 36934 2.01 o 36930 2.01 o 36928 2.01 o 36925 2.02 o 36924 2.02 o 36923 2.02 o 36922 2.02 o 36919 2.02 o 36918 2.02 o 36917 2.02 o 36916 2.02 o 36914 2.02 o 36910 2.02 o 36907 2.02 o 36905 2.02 o 36901 2.02 o 36900 2.02 o 36898 2.02 o 36896 2.03 o 36894 2.03 o 36893 2.03 o 36888 2.03 o 36879 2.03 o 36875 2.03 o 36871 2.03 o 36868 2.03 o 36866 2.03 o 36862 2.03 o 36860 2.03 o 36859 2.03 o 36858 2.03 o 36855 2.03 o 36854 2.04 o 36853 2.04 o 36852 2.04 o 36847 2.04 o 36846 2.04 o 36844 2.04 o 36841 2.04 o 36839 2.04 o 36837 2.04 o 36834 2.04 o 36830 2.04 o 36825 2.04 o 36820 2.04 o 36819 2.04 o 36818 2.04 o 36815 2.05 o 36812 2.05 o 36810 2.05 o 36809 2.05 o 36806 2.05 o 36804 2.05 o 36801 2.05 o 36800 2.05 o 36795 2.05 o 36791 2.05 o 36790 2.05 o 36786 2.05 o 36785 2.05 o 36780 2.05 o 36777 2.06 o 36772 2.06 o 36771 2.06 o 36767 2.06 o 36763 2.06 o 36759 2.06 o 36758 2.06 o 36752 2.06 o 36747 2.06 o 36744 2.06 o 36739 2.06 o 36736 2.06 o 36732 2.06 o 36731 2.06 o 36727 2.07 o 36723 2.07 o 36721 2.07 o 36720 2.07 o 36716 2.07 o 36713 2.07 o 36710 2.07 o 36706 2.07 o 36703 2.07 o 36698 2.07 o 36694 2.07 o 36692 2.07 o 36689 2.07 o 36688 2.07 o 36683 2.08 o 36679 2.08 o 36675 2.08 o 36669 2.08 o 36668 2.08 o 36664 2.08 o 36661 2.08 o 36658 2.08 o 36652 2.08 o 36649 2.08 o 36646 2.08 o 36644 2.08 o 36641 2.08 o 36638 2.08 o 36635 2.09 o 36633 2.09 o 36632 2.09 o 36628 2.09 o 36623 2.09 o 36620 2.09 o 36618 2.09 o 36615 2.09 o 36611 2.09 o 36606 2.09 o 36604 2.09 o 36603 2.09 o 36598 2.09 o 36594 2.09 o 36593 2.09 o 36587 2.10 o 36581 2.10 o 36579 2.10 o 36576 2.10 o 36572 2.10 o 36571 2.10 o 36570 2.10 o 36565 2.10 o 36563 2.10 o 36561 2.10 o 36557 2.10 o 36553 2.10 o 36548 2.10 o 36544 2.10 o 36543 2.11 o 36541 2.11 o 36537 2.11 o 36536 2.11 o 36534 2.11 o 36533 2.11 o 36530 2.11 o 36528 2.11 o 36527 2.11 o 36526 2.11 o 36523 2.11 o 36521 2.11 o 36516 2.11 o 36515 2.11 o 36512 2.12 o 36508 2.12 o 36505 2.12 o 36501 2.12 o 36497 2.12 o 36496 2.12 o 36495 2.12 o 36491 2.12 o 36490 2.12 o 36487 2.13 o 36486 2.16 o 36485 2.24 o 36480 2.24 o 36477 2.25 o 36475 2.25 o 36474 2.25 o 36473 2.25 o 36470 2.26 o 36466 2.26 o 36465 2.26 o 36462 2.26 o 36460 2.26 o 36458 2.26 o 36456 2.26 o 36455 2.26 o 36454 2.26 o 36449 2.26 o 36447 2.26 o 36446 2.27 o 36441 2.27 o 36440 2.27 o 36435 2.27 o 36430 2.27 o 36428 2.27 o 36427 2.27 o 36422 2.27 o 36417 2.27 o 36415 2.27 o 36414 2.27 o 36413 2.27 o 36408 2.27 o 36407 2.27 o 36402 2.27 o 36400 2.28 o 36398 2.28 o 36392 2.28 o 36386 2.28 o 36384 2.28 o 36383 2.28 o 36378 2.28 o 36377 2.28 o 36376 2.28 o 36373 2.28 o 36372 2.28 o 36367 2.28 o 36363 2.28 o 36361 2.28 o 36360 2.28 o 36355 2.28 o 36352 2.29 o 36348 2.29 o 36345 2.29 o 36344 2.29 o 36342 2.29 o 36341 2.29 o 36336 2.29 o 36331 2.29 o 36330 2.29 o 36329 2.29 o 36327 2.29 o 36322 2.29 o 36319 2.29 o 36314 2.29 o 36313 2.30 o 36308 2.30 o 36303 2.30 o 36302 2.30 o 36301 2.30 o 36300 2.30 o 36299 2.30 o 36297 2.30 o 36295 2.30 o 36293 2.30 o 36292 2.30 o 36291 2.30 o 36289 2.30 o 36285 2.30 o 36281 2.30 o 36278 2.31 o 36274 2.31 o 36272 2.31 o 36268 2.31 o 36265 2.31 o 36263 2.31 o 36259 2.31 o 36254 2.31 o 36253 2.31 o 36248 2.31 o 36247 2.31 o 36245 2.31 o 36243 2.31 o 36240 2.31 o 36235 2.31 o 36232 2.32 o 36231 2.32 o 36226 2.32 o 36222 2.32 o 36217 2.32 o 36213 2.32 o 36211 2.32 o 36206 2.32 o 36203 2.32 o 36202 2.32 o 36197 2.32 o 36195 2.32 o 36193 2.32 o 36192 2.32 o 36187 2.33 o 36182 2.33 o 36180 2.33 o 36178 2.33 o 36176 2.33 o 36171 2.33 o 36170 2.33 o 36167 2.33 o 36165 2.33 o 36162 2.34 o 36160 2.34 o 36156 2.34 o 36154 2.34 o 36151 2.34 o 36148 2.34 o 36145 2.34 o 36141 2.34 o 36138 2.34 o 36135 2.35 o 36131 2.35 o 36126 2.35 o 36121 2.35 o 36120 2.35 o 36115 2.35 o 36112 2.35 o 36107 2.35 o 36103 2.35 o 36101 2.35 o 36098 2.35 o 36097 2.35 o 36092 2.35 o 36090 2.36 o 36088 2.36 o 36083 2.36 o 36082 2.36 o 36081 2.36 o 36078 2.36 o 36077 2.36 o 36075 2.36 o 36073 2.36 o 36069 2.36 o 36068 2.36 o 36067 2.36 o 36065 2.37 o 36063 2.37 o 36059 2.37 o 36057 2.37 o 36056 2.37 o 36055 2.37 o 36051 2.37 o 36048 2.37 o 36047 2.37 o 36046 2.37 o 36045 2.37 o 36044 2.37 o 36041 2.37 o 36039 2.38 o 36036 2.38 o 36035 2.38 o 36030 2.38 o 36028 2.38 o 36026 2.38 o 36024 2.38 o 36022 2.38 o 36019 2.38 o 36015 2.38 o 36012 2.38 o 36011 2.38 o 36009 2.38 o 36008 2.39 o 36007 2.39 o 36003 2.39 o 36001 2.39 o 36000 2.39 o 35995 2.39 o 35992 2.39 o 35987 2.39 o 35985 2.39 o 35982 2.39 o 35978 2.39 o 35977 2.40 o 35975 2.44 o 35972 2.68 o 35968 2.68 o 35964 2.69 o 35958 2.69 o 35953 2.69 o 35950 2.69 o 35946 2.69 o 35942 2.69 o 35941 2.69 o 35936 2.70 o 35931 2.70 o 35930 2.70 o 35929 2.70 o 35923 2.70 o 35919 2.70 o 35918 2.70 o 35916 2.70 o 35912 2.70 o 35911 2.70 o 35908 2.70 o 35906 2.70 o 35902 2.70 o 35899 2.70 o 35898 2.70 o 35897 2.71 o 35895 2.71 o 35892 2.71 o 35889 2.71 o 35885 2.71 o 35881 2.71 o 35878 2.71 o 35877 2.71 o 35876 2.71 o 35871 2.71 o 35870 2.71 o 35866 2.71 o 35861 2.71 o 35860 2.71 o 35859 2.71 o 35854 2.71 o 35849 2.72 o 35847 2.72 o 35846 2.72 o 35841 2.72 o 35837 2.72 o 35836 2.72 o 35831 2.72 o 35828 2.72 o 35827 2.72 o 35826 2.72 o 35821 2.72 o 35817 2.72 o 35813 2.72 o 35811 2.72 o 35807 2.72 o 35805 2.72 o 35803 2.73 o 35802 2.73 o 35797 2.73 o 35794 2.73 o 35790 2.73 o 35789 2.73 o 35784 2.73 o 35780 2.73 o 35776 2.73 o 35775 2.73 o 35773 2.73 o 35770 2.73 o 35769 2.73 o 35764 2.73 o 35762 2.73 o 35760 2.74 o 35758 2.74 o 35753 2.74 o 35752 2.74 o 35751 2.74 o 35747 2.74 o 35746 2.74 o 35742 2.74 o 35738 2.74 o 35732 2.74 o 35729 2.74 o 35724 2.74 o 35723 2.74 o 35719 2.74 o 35716 2.74 o 35712 2.74 o 35708 2.75 o 35704 2.75 o 35703 2.75 o 35702 2.75 o 35699 2.75 o 35694 2.75 o 35691 2.75 o 35689 2.75 o 35684 2.75 o 35681 2.75 o 35679 2.75 o 35677 2.75 o 35676 2.75 o 35671 2.75 o 35668 2.75 o 35664 2.75 o 35663 2.75 o 35658 2.76 o 35653 2.76 o 35650 2.76 o 35649 2.76 o 35645 2.76 o 35639 2.76 o 35636 2.76 o 35632 2.76 o 35631 2.76 o 35630 2.76 o 35627 2.76 o 35624 2.76 o 35621 2.76 o 35618 2.76 o 35616 2.76 o 35611 2.76 o 35608 2.77 o 35604 2.77 o 35601 2.77 o 35599 2.77 o 35596 2.78 o 35593 2.78 o 35591 2.78 o 35587 2.78 o 35583 2.78 o 35579 2.78 o 35575 2.78 o 35571 2.78 o 35567 2.78 o 35565 2.78 o 35561 2.78 o 35560 2.78 o 35557 2.79 o 35553 2.79 o 35547 2.79 o 35545 2.79 o 35540 2.79 o 35535 3.00 o 35534 3.63 o 35530 3.77 o 35529 5.59 o 35527 5.68 o 35523 6.32 o 35522 6.57 o 35521 6.65 o 35520 6.93 o 35519 7.02 o 35516 7.31 o 35508 7.63 o 35505 7.83 o 35503 8.06 o 35502 9.18 o 35500 9.52 o 35496 14.07 o 35492 16.99 o 35488 19.64 o 35485 19.77 o 35483 20.32 o 35482 24.08 o 35481 29.58 o 35479 30.23 o 35474 38.40 o 35473 38.85 o 35469 43.45 o 35468 44.48 o 35467 44.89 o 35463 45.84 o 35459 46.97 o 35457 49.57 o 35453 50.78 o 35452 50.93 o 35451 51.07 o 35449 53.20 o 35448 53.57 o 35444 57.38 o 35439 57.86 o 35437 57.92 o 35436 60.95 o 35435 62.04 o 35430 62.19 o 35426 63.39 o 35424 63.53 o 35421 63.58 o 35420 63.63 o 35419 63.65 o 35415 63.72 o 35410 68.05 o 35407 68.70 o 35390 69.25 o 35389 70.58 o 35388 72.48 o 35378 72.66 o 35373 73.10 o 35371 73.54 o 35366 74.15 o 35365 76.57 o 35360 80.38 o 35359 81.65 o 35358 84.01 o 35357 84.31 o 35355 84.98 o 35353 86.76 o 35350 88.77 o 35347 88.86 o 35345 89.43 o 35343 89.64 o 35341 105.40 o 35340 117.25 o 35339 119.54 o 35334 120.32 o 35329 120.42 o 35322 122.40 o 35318 124.48 o 35314 124.64 o 35312 125.85 o 35310 126.48 o 35307 126.65 o 35303 126.87 o 35300 127.66 o 35296 127.83 o 35295 128.32 o 35292 128.62 o 35288 129.71 o 34784 130.00 o 34782 138.83 o 34777 147.50 o 34773 149.59 o 34771 150.36 o 34770 150.60 o 34767 151.28 o 34764 151.99 o 34762 152.13 o 34761 153.39 o 34757 160.83 o 34752 162.27 o 34749 162.36 o 34746 164.49 o 34744 164.86 o 34739 181.54 o 34735 183.22 o 34731 187.01 o 34729 187.47 o 34727 201.65 o 34726 203.21 o 34725 208.68 o 34722 210.14 o 34720 219.19 o 34717 228.73 o 34714 243.87 o 34713 248.72 o 34712 251.27 o 34711 259.03 o 34707 261.14 o 34706 263.84 o 34704 265.16 o 34702 266.52 o 34701 267.22 o 34699 268.91 o 34695 272.55 o 34690 275.26 o 34686 278.44 o 34681 285.30 o 34679 290.67 o 34677 302.39 o 34676 313.84 o 34674 315.80 o 34673 320.71 o 34670 321.92 o 34669 323.48 o 34668 323.84 o 34655 325.93 o 34654 326.93 o 34651 327.45 o 34648 329.01 o 34644 352.32 o 34640 373.21 o 34635 381.55 o 34630 386.62 o 34629 392.81 o 34627 394.23 o 34623 400.69 o 34621 405.52 o 34616 406.07 o 34614 409.33 o 34613 409.48 o 34611 410.49 o 34608 410.80 o 34605 413.91 o 34600 417.64 o 34597 422.03 o 34596 429.16 o 34592 433.20 o 34590 442.56 o 34585 442.91 o 34583 446.47 o 34581 446.97 o 34576 449.82 o 34573 450.42 o 34568 457.61 o 34566 470.00 o 34563 474.23 o 34562 476.68 o 34558 477.85 o 34555 479.93 o 34554 482.52 o 34549 483.47 o 34548 485.41 o 34544 485.63 o 34542 486.07 o 34539 487.49 o 34535 505.14 o 34530 505.53 o 34527 525.64 o 34525 529.60 o 34521 532.59 o 34520 532.81 o 34519 535.35 o 34514 535.99 o 34509 536.73 o 34508 547.22 o 34503 564.46 o 34500 567.56 o 34498 572.17 o 34496 572.39 o 34493 577.98 o 34491 585.44 o 34490 589.46 o 34486 590.72 o 34481 593.75 o 34477 596.12 o 34474 599.65 o 34471 628.29 o 34468 631.38 o 34463 631.56 o 34462 634.47 o 34460 635.22 o 34457 640.31 o 34455 643.83 o 34454 650.01 o 34453 650.90 o 34452 652.49 o 34448 657.61 o 34446 664.09 o 34443 670.37 o 34442 672.40 o 34440 672.91 o 34439 675.77 o 34437 679.06 o 34436 679.32 o 34431 680.20 o 34428 680.80 o 34425 685.09 o 34422 687.12 o 34421 692.89 o 34420 693.02 o 34417 693.33 o 34415 693.76 o 34412 695.83 o 34411 698.45 o 34409 699.38 o 34406 704.80 o 34404 707.77 o 34399 709.48 o 34398 715.92 o 34397 719.31 o 34394 725.08 o 34391 750.80 o 34389 753.76 o 34385 764.63 o 34384 767.10 o 34381 808.83 o 34380 840.12 o 34375 842.16 o 34372 844.02 o 34365 858.90 o 34364 861.22 o 34363 866.10 o 34361 869.36 o 34359 870.99 o 34357 872.37 o 34355 879.17 o 34351 882.81 o 34350 883.68 o 34342 884.13 o 34338 898.94 o 34335 900.71 o 34332 904.18 o 34329 906.94 o 34324 920.55 o 34321 1014.55 o 34319 1025.16 o 34316 1026.23 o 34312 1042.77 o 34309 1070.61 o 34307 1096.47 o 34303 1097.58 o 34301 1111.16 o 34300 1131.90 o 34299 1136.61 o 34298 1137.90 o 34294 1142.16 o 34292 1146.29 o 34288 1147.89 o 34287 1148.27 o 34285 1190.59 o 34282 1204.67 o 34277 1206.78 o 34276 1231.61 o 34273 1294.18 o 34269 1297.66 o 34265 1304.25 o 34264 1307.68 o 34263 1340.63 o 34258 1348.49 o 34256 1361.05 o 34255 1392.70 o 34251 1454.50 o 34248 1468.50 o 34247 1468.81 o 34246 1469.06 o 34242 1485.49 o 34237 1565.56 o 34235 1598.93 o 34230 1621.20 o 34228 1622.42 o 34224 1624.77 o 34223 1630.37 o 34219 1635.63 o 34218 1635.76 o 34214 1637.60 o 34213 1640.95 o 34211 1641.88 o 34210 1647.13 o 34208 1647.22 o 34207 1647.28 o 34203 1648.47 o 34199 1652.68 o 34197 1652.79 o 34196 1664.15 o 34194 1668.01 o 34191 1669.92 o 34190 1673.36 o 34186 1680.07 o 34184 1720.52 o 34183 1739.30 o 34181 1749.37 o 34180 1786.55 o 34178 1799.81 o 34175
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node71/watcher-41544-1149369142 -o ROOT/results/node71/solver-41544-1149369142 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node71/41544-1149369142/instance-41544-1149369142.opb 718486201 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.97 2/64 21277 /proc/meminfo: memFree=1437856/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=1400 CPUtime=0 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 161 0 0 0 0 0 0 0 18 0 1 0 202583852 1433600 141 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 350 141 97 232 0 115 0 [startup+10.0026 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21277 /proc/meminfo: memFree=1424568/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=19920 CPUtime=9.97 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 3585 0 0 0 980 17 0 0 25 0 1 0 202583852 20398080 3414 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 4980 3414 108 232 0 4745 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 19920 [startup+20.009 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21277 /proc/meminfo: memFree=1422072/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=21360 CPUtime=19.97 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 4406 0 0 0 1977 20 0 0 25 0 1 0 202583852 21872640 4042 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 5340 4042 108 232 0 5105 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 21360 [startup+30.0154 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21277 /proc/meminfo: memFree=1421496/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=21652 CPUtime=29.98 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 4540 0 0 0 2975 23 0 0 25 0 1 0 202583852 22171648 4176 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 5413 4176 108 232 0 5178 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 21652 [startup+40.0218 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21277 /proc/meminfo: memFree=1419448/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=22092 CPUtime=39.98 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 5050 0 0 0 3972 26 0 0 25 0 1 0 202583852 22622208 4686 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 5523 4686 108 232 0 5288 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 22092 [startup+50.0299 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21277 /proc/meminfo: memFree=1417976/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=24100 CPUtime=49.99 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 5777 0 0 0 4969 30 0 0 25 0 1 0 202583852 24678400 5028 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 6025 5028 108 232 0 5790 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 24100 [startup+60.0366 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21277 /proc/meminfo: memFree=1417272/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=24456 CPUtime=59.99 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 5986 0 0 0 5965 34 0 0 25 0 1 0 202583852 25042944 5237 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 6114 5237 108 232 0 5879 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 24456 [startup+70.0439 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21277 /proc/meminfo: memFree=1416760/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=24688 CPUtime=70 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 6108 0 0 0 6962 38 0 0 25 0 1 0 202583852 25280512 5359 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552196 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 6172 5359 108 232 0 5937 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 24688 [startup+80.0503 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21277 /proc/meminfo: memFree=1416312/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=24984 CPUtime=80 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 6219 0 0 0 7958 42 0 0 25 0 1 0 202583852 25583616 5470 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 6246 5470 108 232 0 6011 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 24984 [startup+90.0567 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21277 /proc/meminfo: memFree=1415864/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=25252 CPUtime=90 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 6330 0 0 0 8955 45 0 0 25 0 1 0 202583852 25858048 5581 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 6313 5581 108 232 0 6078 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 25252 [startup+100.063 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21277 /proc/meminfo: memFree=1415544/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=25396 CPUtime=100.01 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 6409 0 0 0 9953 48 0 0 25 0 1 0 202583852 26005504 5660 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 6349 5660 108 232 0 6114 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 25396 [startup+110.069 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21277 /proc/meminfo: memFree=1415096/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=25548 CPUtime=110.01 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 6514 0 0 0 10951 50 0 0 25 0 1 0 202583852 26161152 5765 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 6387 5765 108 232 0 6152 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 25548 [startup+120.076 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21277 /proc/meminfo: memFree=1414008/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=25688 CPUtime=120.01 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 6790 0 0 0 11949 52 0 0 25 0 1 0 202583852 26304512 6041 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 6422 6041 108 232 0 6187 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 25688 [startup+130.082 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21277 /proc/meminfo: memFree=1412792/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=45476 CPUtime=130.02 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 7871 0 0 0 12946 56 0 0 25 0 1 0 202583852 46567424 6353 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 11369 6353 108 232 0 11134 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 45476 [startup+140.089 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21277 /proc/meminfo: memFree=1410616/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=45656 CPUtime=140.02 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 8412 0 0 0 13943 59 0 0 25 0 1 0 202583852 46751744 6894 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 11414 6894 108 232 0 11179 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 45656 [startup+150.095 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21277 /proc/meminfo: memFree=1410232/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=46000 CPUtime=150.03 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 8513 0 0 0 14942 61 0 0 25 0 1 0 202583852 47104000 6995 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559735 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 11500 6995 108 232 0 11265 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 46000 [startup+160.101 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21277 /proc/meminfo: memFree=1409976/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=46000 CPUtime=160.03 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 8576 0 0 0 15939 64 0 0 25 0 1 0 202583852 47104000 7058 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 11500 7058 108 232 0 11265 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 46000 [startup+170.108 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21277 /proc/meminfo: memFree=1409592/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=46204 CPUtime=170.03 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 8663 0 0 0 16938 65 0 0 25 0 1 0 202583852 47312896 7145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 11551 7145 108 232 0 11316 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 46204 [startup+180.114 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21277 /proc/meminfo: memFree=1409336/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=46420 CPUtime=180.04 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 8735 0 0 0 17936 68 0 0 25 0 1 0 202583852 47534080 7217 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 11605 7217 108 232 0 11370 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 46420 [startup+190.121 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21277 /proc/meminfo: memFree=1408952/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=46652 CPUtime=190.04 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 8828 0 0 0 18934 70 0 0 25 0 1 0 202583852 47771648 7310 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 11663 7310 108 232 0 11428 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 46652 [startup+200.127 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21277 /proc/meminfo: memFree=1408760/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=46792 CPUtime=200.04 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 8878 0 0 0 19932 72 0 0 25 0 1 0 202583852 47915008 7360 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 11698 7360 108 232 0 11463 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 46792 [startup+210.133 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21277 /proc/meminfo: memFree=1408440/2055920 swapFree=4182212/4192956 ################ # More data... # ################ /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23204 0 0 0 177876 285 0 0 25 0 1 0 202583852 82825216 17076 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 20221 17076 108 232 0 19986 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (Kb) 80884 [startup+1783.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21279 /proc/meminfo: memFree=1369592/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=80884 CPUtime=1782.61 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23205 0 0 0 177976 285 0 0 25 0 1 0 202583852 82825216 17077 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558835 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 20221 17077 108 232 0 19986 0 Current children cumulated CPU time (s) 1782.61 Current children cumulated vsize (Kb) 80884 [startup+1784.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21279 /proc/meminfo: memFree=1369592/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=80884 CPUtime=1783.61 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23207 0 0 0 178076 285 0 0 25 0 1 0 202583852 82825216 17079 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 20221 17079 108 232 0 19986 0 Current children cumulated CPU time (s) 1783.61 Current children cumulated vsize (Kb) 80884 [startup+1785.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21279 /proc/meminfo: memFree=1369592/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=80884 CPUtime=1784.62 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23209 0 0 0 178177 285 0 0 25 0 1 0 202583852 82825216 17081 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 20221 17081 108 232 0 19986 0 Current children cumulated CPU time (s) 1784.62 Current children cumulated vsize (Kb) 80884 [startup+1786.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21279 /proc/meminfo: memFree=1369528/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=80884 CPUtime=1785.62 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23222 0 0 0 178277 285 0 0 25 0 1 0 202583852 82825216 17094 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 20221 17094 108 232 0 19986 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (Kb) 80884 [startup+1787.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21279 /proc/meminfo: memFree=1369528/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=80884 CPUtime=1786.62 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23224 0 0 0 178377 285 0 0 25 0 1 0 202583852 82825216 17096 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 20221 17096 108 232 0 19986 0 Current children cumulated CPU time (s) 1786.62 Current children cumulated vsize (Kb) 80884 [startup+1788.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21279 /proc/meminfo: memFree=1369464/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=80884 CPUtime=1787.63 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23232 0 0 0 178477 286 0 0 25 0 1 0 202583852 82825216 17104 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 20221 17104 108 232 0 19986 0 Current children cumulated CPU time (s) 1787.63 Current children cumulated vsize (Kb) 80884 [startup+1789.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21279 /proc/meminfo: memFree=1369464/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=80884 CPUtime=1788.64 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23233 0 0 0 178578 286 0 0 25 0 1 0 202583852 82825216 17105 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 20221 17105 108 232 0 19986 0 Current children cumulated CPU time (s) 1788.64 Current children cumulated vsize (Kb) 80884 [startup+1790.19 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21279 /proc/meminfo: memFree=1369464/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=80884 CPUtime=1789.64 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23235 0 0 0 178678 286 0 0 25 0 1 0 202583852 82825216 17107 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 20221 17107 108 232 0 19986 0 Current children cumulated CPU time (s) 1789.64 Current children cumulated vsize (Kb) 80884 [startup+1791.19 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21279 /proc/meminfo: memFree=1369400/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=80884 CPUtime=1790.65 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23241 0 0 0 178779 286 0 0 25 0 1 0 202583852 82825216 17113 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 20221 17113 108 232 0 19986 0 Current children cumulated CPU time (s) 1790.65 Current children cumulated vsize (Kb) 80884 [startup+1792.2 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21279 /proc/meminfo: memFree=1369400/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=80884 CPUtime=1791.65 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23242 0 0 0 178879 286 0 0 25 0 1 0 202583852 82825216 17114 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 20221 17114 108 232 0 19986 0 Current children cumulated CPU time (s) 1791.65 Current children cumulated vsize (Kb) 80884 [startup+1793.2 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21279 /proc/meminfo: memFree=1369400/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=80884 CPUtime=1792.66 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23244 0 0 0 178980 286 0 0 25 0 1 0 202583852 82825216 17116 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 20221 17116 108 232 0 19986 0 Current children cumulated CPU time (s) 1792.66 Current children cumulated vsize (Kb) 80884 [startup+1794.21 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21279 /proc/meminfo: memFree=1369400/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=80884 CPUtime=1793.66 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23245 0 0 0 179080 286 0 0 25 0 1 0 202583852 82825216 17117 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 20221 17117 108 232 0 19986 0 Current children cumulated CPU time (s) 1793.66 Current children cumulated vsize (Kb) 80884 [startup+1795.21 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21279 /proc/meminfo: memFree=1369400/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=80884 CPUtime=1794.67 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23247 0 0 0 179181 286 0 0 25 0 1 0 202583852 82825216 17119 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 20221 17119 108 232 0 19986 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (Kb) 80884 [startup+1796.22 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21279 /proc/meminfo: memFree=1369400/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=80884 CPUtime=1795.67 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23248 0 0 0 179281 286 0 0 25 0 1 0 202583852 82825216 17120 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 20221 17120 108 232 0 19986 0 Current children cumulated CPU time (s) 1795.67 Current children cumulated vsize (Kb) 80884 [startup+1797.22 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21279 /proc/meminfo: memFree=1369336/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=80884 CPUtime=1796.68 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23256 0 0 0 179382 286 0 0 25 0 1 0 202583852 82825216 17128 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 20221 17128 108 232 0 19986 0 Current children cumulated CPU time (s) 1796.68 Current children cumulated vsize (Kb) 80884 [startup+1798.23 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21279 /proc/meminfo: memFree=1369336/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=80884 CPUtime=1797.68 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23257 0 0 0 179482 286 0 0 25 0 1 0 202583852 82825216 17129 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 20221 17129 108 232 0 19986 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (Kb) 80884 [startup+1799.23 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21279 /proc/meminfo: memFree=1369336/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=80884 CPUtime=1798.68 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23269 0 0 0 179582 286 0 0 25 0 1 0 202583852 82825216 17141 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 20221 17141 108 232 0 19986 0 Current children cumulated CPU time (s) 1798.68 Current children cumulated vsize (Kb) 80884 [startup+1800.24 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21279 /proc/meminfo: memFree=1369336/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=80884 CPUtime=1799.69 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23271 0 0 0 179683 286 0 0 25 0 1 0 202583852 82825216 17143 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 20221 17143 108 232 0 19986 0 Current children cumulated CPU time (s) 1799.69 Current children cumulated vsize (Kb) 80884 [startup+1801.24 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21279 /proc/meminfo: memFree=1369272/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=80884 CPUtime=1800.69 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23273 0 0 0 179783 286 0 0 25 0 1 0 202583852 82825216 17145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 20221 17145 108 232 0 19986 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 80884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.24 s] /proc/loadavg: 0.99 0.97 0.97 2/64 21279 /proc/meminfo: memFree=1369272/2055920 swapFree=4182212/4192956 [pid=21277] ppid=21275 vsize=80884 CPUtime=1800.7 /proc/21277/stat : 21277 (PBS4L) R 21275 21277 21231 0 -1 4194304 23273 0 0 0 179784 286 0 0 25 0 1 0 202583852 82825216 17145 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21277/statm: 20221 17145 108 232 0 19986 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 80884 Sending SIGTERM to -21277 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.28 CPU time (s): 1800.72 CPU user time (s): 1797.84 CPU system time (s): 2.87456 CPU usage (%): 99.969 Max. virtual memory (cumulated for all children) (Kb): 80884 The end
Begin job on node71 on Sat Jun 3 21:12:22 UTC 2006 FILE ID= 41544-1149369142 PBS_JOBID= 312088 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= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node71/41544-1149369142/instance-41544-1149369142.opb 718486201 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-41544-1149369142 -o ROOT/results/node71/solver-41544-1149369142 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node71/41544-1149369142/instance-41544-1149369142.opb 718486201 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 38a2c469f9dc1120b8fe634a693ac03d RANDOM SEED= 718486201 /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.236 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.236 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: 1438000 kB Buffers: 33296 kB Cached: 511052 kB SwapCached: 2372 kB Active: 87508 kB Inactive: 465432 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1438000 kB SwapTotal: 4192956 kB SwapFree: 4182212 kB Dirty: 180 kB Writeback: 0 kB Mapped: 15092 kB Slab: 50912 kB Committed_AS: 353716 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node71 on Sat Jun 3 21:42:23 UTC 2006