Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.66 | 1801.16 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-sp97ar.opb |
MD5SUM | 6d57e08ccbe566a3b3419be58eb11fb4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1686 |
Best CPU time to get the best result obtained on this benchmark | 1800.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1581 |
Optimality of the best value was proved | NO |
Number of variables | 14101 |
Total number of constraints | 1739 |
Number of constraints which are clauses | 181 |
Number of constraints which are cardinality constraints (but not clauses) | 1140 |
Number of constraints which are nor clauses,nor cardinality constraints | 418 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2463 |
Number of terms in the objective function | 14101 |
Biggest coefficient in the objective function | 158 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 531286 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 158 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 531286 |
Number of bits of the biggest sum of numbers | 20 |
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/node14/41289-1149263422/instance-41289-1149263422.opb ...... 4.29 c done parsing opb. 4.29 o 78379 5.58 o 78378 6.95 o 78373 8.33 o 78372 9.70 o 78367 11.07 o 78355 12.44 o 78354 13.81 o 78353 15.18 o 78348 16.54 o 78344 17.90 o 78340 19.26 o 78339 20.62 o 78333 21.98 o 78326 23.34 o 78325 24.70 o 78324 26.07 o 78320 27.44 o 78319 28.81 o 78318 30.18 o 78314 31.55 o 78309 32.92 o 78308 34.29 o 78307 35.66 o 78306 37.02 o 78305 38.38 o 78303 39.74 o 78300 41.10 o 78299 42.46 o 78295 43.82 o 78292 45.18 o 78291 46.56 o 78290 47.93 o 78286 49.30 o 78282 50.67 o 78281 52.04 o 78280 53.41 o 78276 54.78 o 78275 56.14 o 78271 57.50 o 78270 58.86 o 78266 60.22 o 78264 61.58 o 78263 62.94 o 78260 64.30 o 78259 65.66 o 78255 67.03 o 78254 68.40 o 78252 69.77 o 78251 71.14 o 78248 72.51 o 78246 73.88 o 78245 75.25 o 78244 76.61 o 78243 77.97 o 78242 79.32 o 78240 80.68 o 78238 82.04 o 78236 83.40 o 78235 84.76 o 78233 86.13 o 78232 87.50 o 78230 88.87 o 78229 90.24 o 78228 91.60 o 78225 92.97 o 78224 94.34 o 78223 95.71 o 78222 97.06 o 78221 98.42 o 78220 99.78 o 78218 101.13 o 78217 102.49 o 78216 103.85 o 78214 105.21 o 78213 106.57 o 78211 107.94 o 78209 109.31 o 78207 110.68 o 78205 112.04 o 78204 113.41 o 78203 114.78 o 78202 116.14 o 78200 117.49 o 78199 118.85 o 78198 120.21 o 78197 121.56 o 78196 122.91 o 78194 124.27 o 78193 125.63 o 78192 126.99 o 78191 128.36 o 78190 129.73 o 78188 131.09 o 78186 132.46 o 78184 133.82 o 78182 135.18 o 78181 136.54 o 78179 137.89 o 78178 139.24 o 78177 140.60 o 78176 141.95 o 78174 143.31 o 78172 144.66 o 78171 146.02 o 78170 147.39 o 78169 148.75 o 78168 150.12 o 78167 151.48 o 78166 152.85 o 78165 154.21 o 78164 155.57 o 78163 156.93 o 78162 158.28 o 78161 159.64 o 78159 160.99 o 78158 162.34 o 78157 163.69 o 78156 165.05 o 78155 166.41 o 78154 167.78 o 78153 169.14 o 78152 170.51 o 78151 171.88 o 78016 173.25 o 77910 174.62 o 77909 175.98 o 77897 177.34 o 77732 178.69 o 77731 180.05 o 77730 181.40 o 77729 182.76 o 77728 184.12 o 77727 185.47 o 77726 186.84 o 77724 188.20 o 77722 189.57 o 77721 190.93 o 77719 192.29 o 77718 193.66 o 77717 195.03 o 77716 196.38 o 77715 197.73 o 77714 199.08 o 77712 200.44 o 77711 201.79 o 77709 203.15 o 77708 204.50 o 77707 205.85 o 77706 207.22 o 77705 208.58 o 77703 209.94 o 77701 211.31 o 77699 212.67 o 77698 214.04 o 77697 215.41 o 77696 216.76 o 77695 218.12 o 77693 219.46 o 77691 220.82 o 77689 222.17 o 77687 223.53 o 77684 224.88 o 77682 226.24 o 77681 227.62 o 74753 229.00 o 74701 230.38 o 74698 231.77 o 74697 233.14 o 74518 234.53 o 74516 235.90 o 74514 237.27 o 74385 238.64 o 74384 240.01 o 74309 241.64 o 74308 243.03 o 66310 244.42 o 65492 245.82 o 65491 247.22 o 65490 248.62 o 65489 250.02 o 65488 251.42 o 65372 252.82 o 65371 254.21 o 65369 255.60 o 65368 256.98 o 65366 258.37 o 65365 259.75 o 65364 261.13 o 65363 262.52 o 65362 263.90 o 65361 265.29 o 65359 266.68 o 65358 268.07 o 65357 269.48 o 65208 270.87 o 65207 272.27 o 65206 273.67 o 65204 275.08 o 65203 276.46 o 65202 277.84 o 65200 279.22 o 65199 280.61 o 65197 281.99 o 65196 283.39 o 63930 284.77 o 63929 286.14 o 63928 287.53 o 63927 288.91 o 63926 290.30 o 63925 291.68 o 63924 293.07 o 63923 294.47 o 63922 295.84 o 63921 297.22 o 63920 298.59 o 63919 299.97 o 63918 301.34 o 63917 302.71 o 63916 305.30 o 63915 306.75 o 56904 308.19 o 56902 309.64 o 55794 311.09 o 55793 312.52 o 55792 313.95 o 55791 315.40 o 55678 316.84 o 55677 318.27 o 55676 319.70 o 55675 321.11 o 55673 322.53 o 55672 323.95 o 55671 325.38 o 55669 326.81 o 55668 328.25 o 55666 329.69 o 55665 331.12 o 55664 332.56 o 55663 334.01 o 55657 335.44 o 55656 336.86 o 55654 338.29 o 55653 340.97 o 55652 342.40 o 55651 343.85 o 55649 345.29 o 55648 346.74 o 55647 348.20 o 55645 349.67 o 55459 351.12 o 55458 352.58 o 55457 354.04 o 55456 355.50 o 55455 356.93 o 55453 358.37 o 55451 359.81 o 55450 361.25 o 55448 362.70 o 55447 364.16 o 55417 365.61 o 55415 367.08 o 55413 368.54 o 55411 369.98 o 55410 371.43 o 55409 372.88 o 55408 374.34 o 55406 375.78 o 55404 377.23 o 55403 378.67 o 55402 380.11 o 55401 381.54 o 55399 382.99 o 55398 384.43 o 55397 385.88 o 55396 387.33 o 55395 388.79 o 55394 390.24 o 55392 391.69 o 55391 393.14 o 55389 395.97 o 55388 397.43 o 55072 398.91 o 53808 400.38 o 53807 401.84 o 53805 403.30 o 53803 404.75 o 53801 406.22 o 53800 407.69 o 53798 409.18 o 53797 410.66 o 53796 412.13 o 53795 413.61 o 53794 415.09 o 53793 416.55 o 53792 418.02 o 53791 419.48 o 53790 420.93 o 53789 422.39 o 53787 423.86 o 53786 425.33 o 53784 426.80 o 53783 428.26 o 53781 429.74 o 53780 431.21 o 53779 432.68 o 53778 434.16 o 53777 435.63 o 53776 437.08 o 53775 438.53 o 53774 440.00 o 53773 441.46 o 53772 442.93 o 52807 444.40 o 52806 445.86 o 52805 447.33 o 52803 448.80 o 52802 450.27 o 52800 453.15 o 52799 454.65 o 50099 456.14 o 50098 457.59 o 50096 459.04 o 50095 460.48 o 50094 461.93 o 50093 463.37 o 50092 464.82 o 50091 466.28 o 50090 467.74 o 50089 469.20 o 50087 470.65 o 50086 472.10 o 50085 473.56 o 50084 475.02 o 50083 476.47 o 50082 477.91 o 50080 479.35 o 50079 480.80 o 50077 482.24 o 50075 483.69 o 50074 486.58 o 50073 488.04 o 50071 489.51 o 50070 490.98 o 50069 492.44 o 50068 493.90 o 50066 495.37 o 50065 496.83 o 50064 498.28 o 50062 499.74 o 50061 501.19 o 50059 502.65 o 50057 504.10 o 50055 505.56 o 50054 507.03 o 50053 508.50 o 50051 509.97 o 50049 511.44 o 50047 512.91 o 50046 514.38 o 50045 515.85 o 50043 517.29 o 50041 518.74 o 50040 520.18 o 50038 521.63 o 50036 523.08 o 50035 524.53 o 50033 525.98 o 50031 527.43 o 50030 528.89 o 50029 530.36 o 50028 531.82 o 50027 533.28 o 50026 534.74 o 50025 536.19 o 50024 537.63 o 50023 539.08 o 50022 540.54 o 50021 541.98 o 50020 543.43 o 50018 544.88 o 50017 546.34 o 50015 547.79 o 50014 549.25 o 50013 550.72 o 50011 552.18 o 50010 553.64 o 50009 555.10 o 50008 556.54 o 50007 557.98 o 50005 559.43 o 50004 560.88 o 50003 562.32 o 50001 563.77 o 50000 565.22 o 49999 566.68 o 49998 568.14 o 49997 569.60 o 49996 571.05 o 49995 572.51 o 49994 573.97 o 49992 575.44 o 49990 576.89 o 49989 578.34 o 49988 579.78 o 49987 581.23 o 49986 582.68 o 49985 584.12 o 49984 585.57 o 49983 587.03 o 49982 588.50 o 49981 589.96 o 49980 591.43 o 49978 592.89 o 49976 594.34 o 49974 595.80 o 49973 597.25 o 49971 598.69 o 49969 600.13 o 49968 601.57 o 49966 603.01 o 49965 604.46 o 49964 605.92 o 49963 607.38 o 49962 608.85 o 49961 610.31 o 49960 611.77 o 49958 613.23 o 49957 614.69 o 49955 616.14 o 49954 617.59 o 49953 619.03 o 49952 620.48 o 49951 621.92 o 49949 623.38 o 49947 624.83 o 49946 626.28 o 49945 627.75 o 49943 629.21 o 49942 630.67 o 49940 632.13 o 49939 633.60 o 49938 635.05 o 49937 636.49 o 49936 637.94 o 49935 639.38 o 49934 640.82 o 49933 642.27 o 49932 643.72 o 49931 645.17 o 49929 646.63 o 49927 648.09 o 49926 649.57 o 49925 651.03 o 49924 652.50 o 49923 653.96 o 49922 655.40 o 49921 656.77 o 49920 658.15 o 49919 659.53 o 49918 660.94 o 49916 662.39 o 49915 663.84 o 49913 665.29 o 49912 666.76 o 49910 668.22 o 49909 669.69 o 49908 671.14 o 49907 672.60 o 49905 674.06 o 49904 675.52 o 49903 676.96 o 49902 678.40 o 49901 679.85 o 49900 681.29 o 49899 682.74 o 49897 684.18 o 49895 685.63 o 49893 687.09 o 49892 688.55 o 49890 690.01 o 49888 691.47 o 49886 692.94 o 49884 694.40 o 49882 695.85 o 49881 697.29 o 49880 698.74 o 49878 700.18 o 49877 701.63 o 49876 703.08 o 49874 704.52 o 49873 705.98 o 49871 707.44 o 49870 708.90 o 49869 710.36 o 49867 711.82 o 49866 713.28 o 49864 714.75 o 49863 716.19 o 49862 717.64 o 49861 719.09 o 49860 720.54 o 49859 721.99 o 49858 723.44 o 49857 724.88 o 49856 726.34 o 49854 727.80 o 49853 729.25 o 49852 730.71 o 49851 732.17 o 49850 733.63 o 49848 735.08 o 49847 736.53 o 49846 737.98 o 49844 739.43 o 49842 740.88 o 49841 742.33 o 49839 743.78 o 49838 745.23 o 49837 746.69 o 49835 748.15 o 49833 749.61 o 49831 751.07 o 49830 752.53 o 49829 754.00 o 49827 755.45 o 49826 756.89 o 49825 758.34 o 49824 759.79 o 49822 761.24 o 49821 762.69 o 49820 764.14 o 49818 765.60 o 49817 767.06 o 49816 768.52 o 49814 769.98 o 49813 771.43 o 49812 772.89 o 49811 774.35 o 49810 775.82 o 49809 777.26 o 49808 780.13 o 49806 781.59 o 49805 783.04 o 49804 784.51 o 49803 785.97 o 49802 787.44 o 49800 788.92 o 49799 790.39 o 49798 791.86 o 49797 793.33 o 49796 794.81 o 49795 796.27 o 49793 797.72 o 49792 799.18 o 49790 800.64 o 49789 802.10 o 49788 803.56 o 49787 805.02 o 49785 806.49 o 49784 807.96 o 49783 809.44 o 49782 810.91 o 49780 812.39 o 49779 813.85 o 49777 815.31 o 49776 816.75 o 49775 818.20 o 49773 819.65 o 49771 821.09 o 49770 822.54 o 49768 823.98 o 49767 825.43 o 49766 826.88 o 49765 828.34 o 49764 829.80 o 49762 831.25 o 49761 832.72 o 49760 834.18 o 49758 835.63 o 49756 837.08 o 49754 838.53 o 49752 839.98 o 49750 841.42 o 49748 842.86 o 49747 844.31 o 49745 845.77 o 49743 847.22 o 49742 848.68 o 49741 850.14 o 49740 851.61 o 49738 853.08 o 49737 854.54 o 49736 856.00 o 49735 857.45 o 49734 858.90 o 49733 860.35 o 49731 861.80 o 49730 863.25 o 49728 864.69 o 49726 866.15 o 49724 867.62 o 49723 869.08 o 49721 870.57 o 49720 872.03 o 49719 873.49 o 49718 874.95 o 49717 876.40 o 49716 877.84 o 49715 879.29 o 49713 880.73 o 49712 882.17 o 49711 883.60 o 49710 885.05 o 49709 886.51 o 49707 887.97 o 49705 889.42 o 49704 890.88 o 49702 892.34 o 49700 893.79 o 49699 895.25 o 49697 896.69 o 49695 898.14 o 49694 899.58 o 49693 901.03 o 49692 902.47 o 49691 903.92 o 49690 905.37 o 49688 906.82 o 49686 908.29 o 49685 909.74 o 49684 911.19 o 49683 912.65 o 49681 914.10 o 49680 915.56 o 49679 917.01 o 49677 918.45 o 49676 919.90 o 49675 921.34 o 49673 922.78 o 49672 924.22 o 49670 925.66 o 49669 927.12 o 49667 928.58 o 49665 930.04 o 49664 931.50 o 49663 932.95 o 49662 934.41 o 49660 935.87 o 49659 937.31 o 49658 938.76 o 49657 940.20 o 49655 941.65 o 49654 943.10 o 49653 944.54 o 49652 945.99 o 49650 947.44 o 49648 948.90 o 49647 950.36 o 49646 951.83 o 49645 953.29 o 49644 954.74 o 49642 956.19 o 49640 957.64 o 49638 959.08 o 49637 960.53 o 49636 961.97 o 49635 963.42 o 49634 964.87 o 49633 966.32 o 49632 967.78 o 49631 969.23 o 49630 970.69 o 49628 972.15 o 49627 973.61 o 49625 975.06 o 49624 976.51 o 49622 977.95 o 49621 979.40 o 49620 980.85 o 49619 982.28 o 49617 983.73 o 49616 985.18 o 49614 986.64 o 49613 988.09 o 49611 989.55 o 49610 991.01 o 49609 992.47 o 49608 993.93 o 49607 995.39 o 49606 996.84 o 49605 998.28 o 49604 999.72 o 49603 1001.16 o 49601 1002.60 o 49600 1004.04 o 49599 1005.49 o 49598 1006.94 o 49597 1008.40 o 49596 1009.87 o 49594 1011.33 o 49593 1012.79 o 49592 1014.25 o 49591 1015.70 o 49589 1017.15 o 49588 1018.59 o 49587 1020.04 o 49586 1021.49 o 49585 1022.93 o 49584 1024.37 o 49583 1025.82 o 49582 1027.28 o 49581 1028.74 o 49580 1030.21 o 49579 1031.67 o 49578 1033.13 o 49577 1034.59 o 49576 1036.04 o 49575 1037.49 o 49574 1038.93 o 49573 1040.37 o 49572 1041.81 o 49571 1043.26 o 49570 1044.70 o 49569 1046.16 o 49568 1047.62 o 49567 1049.07 o 49566 1050.54 o 49565 1052.00 o 49564 1053.45 o 49563 1054.90 o 49562 1056.35 o 49560 1057.80 o 49559 1059.24 o 49557 1060.69 o 49556 1062.13 o 49555 1063.58 o 49554 1065.03 o 49552 1066.48 o 49551 1067.94 o 49549 1069.40 o 49548 1070.86 o 49547 1072.32 o 49546 1073.78 o 49545 1075.25 o 49544 1076.70 o 49543 1078.14 o 49541 1079.58 o 49540 1081.03 o 49539 1082.47 o 49538 1083.92 o 49537 1085.37 o 49536 1086.82 o 49535 1088.28 o 49534 1089.73 o 49533 1091.18 o 49532 1092.64 o 49531 1094.09 o 49530 1095.54 o 49528 1096.98 o 49527 1098.42 o 49526 1099.86 o 49524 1101.30 o 49523 1102.75 o 49522 1104.19 o 49521 1105.64 o 49520 1107.10 o 49519 1108.57 o 49517 1110.03 o 49515 1111.50 o 49514 1112.96 o 49513 1114.42 o 49512 1115.88 o 49511 1117.33 o 49510 1118.77 o 49509 1120.22 o 49507 1121.66 o 49506 1123.10 o 49505 1124.55 o 49504 1126.00 o 49503 1127.46 o 49502 1128.92 o 49501 1130.38 o 49500 1131.85 o 49499 1133.31 o 49498 1134.78 o 49497 1136.23 o 49495 1137.68 o 49493 1139.12 o 49492 1140.57 o 49491 1142.02 o 49490 1143.47 o 49489 1144.91 o 49488 1147.79 o 49487 1149.25 o 49486 1150.73 o 49485 1152.20 o 49484 1153.67 o 49483 1155.15 o 49482 1156.61 o 49481 1158.07 o 49480 1159.53 o 49479 1160.99 o 49478 1162.45 o 49477 1163.92 o 49476 1165.38 o 49474 1166.85 o 49473 1168.32 o 49472 1169.80 o 49471 1171.27 o 49470 1172.73 o 49469 1174.18 o 49468 1175.65 o 49466 1177.10 o 49465 1178.55 o 49464 1179.99 o 49463 1181.44 o 49462 1182.89 o 49461 1184.33 o 49459 1185.78 o 49458 1187.25 o 49457 1188.72 o 49455 1190.18 o 49454 1191.64 o 49453 1193.10 o 49452 1194.56 o 49451 1196.01 o 49449 1197.46 o 49447 1198.91 o 49445 1200.36 o 49444 1201.80 o 49443 1203.25 o 49442 1204.69 o 49440 1206.15 o 49439 1207.60 o 49438 1209.06 o 49436 1210.52 o 49434 1211.98 o 49432 1213.44 o 49431 1214.90 o 49430 1216.36 o 49429 1217.80 o 49427 1219.24 o 49425 1220.69 o 49424 1222.14 o 49422 1223.59 o 49421 1225.04 o 49420 1226.50 o 49419 1227.96 o 49418 1229.42 o 49417 1230.89 o 49415 1232.34 o 49413 1233.81 o 49411 1235.28 o 49410 1236.73 o 49409 1238.17 o 49407 1239.61 o 49406 1241.06 o 49405 1242.51 o 49403 1243.95 o 49402 1245.40 o 49400 1246.85 o 49398 1248.31 o 49397 1249.78 o 49396 1251.24 o 49395 1252.70 o 49393 1254.16 o 49392 1255.62 o 49390 1257.06 o 49388 1258.51 o 49386 1259.97 o 49385 1261.41 o 49383 1262.86 o 49381 1264.30 o 49380 1265.75 o 49379 1267.21 o 49378 1268.68 o 49377 1270.14 o 49376 1271.60 o 49374 1273.05 o 49373 1274.51 o 49372 1275.97 o 49370 1277.42 o 49369 1278.87 o 49368 1280.31 o 49367 1281.76 o 49366 1283.21 o 49364 1284.65 o 49363 1286.10 o 49361 1287.57 o 49360 1289.03 o 49359 1290.49 o 49357 1291.95 o 49356 1293.41 o 49355 1294.87 o 49354 1296.33 o 49353 1297.78 o 49352 1299.22 o 49351 1300.67 o 49349 1302.12 o 49348 1303.57 o 49347 1305.02 o 49346 1306.48 o 49345 1307.94 o 49344 1309.40 o 49343 1310.87 o 49342 1312.33 o 49340 1313.79 o 49339 1315.25 o 49338 1316.70 o 49337 1318.15 o 49336 1319.59 o 49334 1321.04 o 49333 1322.48 o 49332 1323.93 o 49330 1325.38 o 49328 1326.84 o 49327 1328.30 o 49325 1329.76 o 49324 1331.22 o 49323 1332.69 o 49321 1334.16 o 49320 1335.62 o 49319 1337.06 o 49317 1338.51 o 49316 1339.97 o 49315 1341.41 o 49313 1342.86 o 49312 1344.32 o 49311 1345.77 o 49310 1347.23 o 49308 1348.69 o 49307 1350.16 o 49306 1351.62 o 49305 1353.09 o 49304 1354.55 o 49303 1356.00 o 49301 1357.45 o 49300 1358.89 o 49298 1360.34 o 49297 1361.79 o 49296 1363.24 o 49295 1364.69 o 49294 1366.14 o 49293 1367.61 o 49292 1369.07 o 49291 1370.52 o 49289 1371.98 o 49288 1373.44 o 49287 1374.91 o 49286 1376.37 o 49284 1377.82 o 49283 1379.27 o 49282 1380.72 o 49281 1382.17 o 49280 1383.61 o 49279 1385.06 o 49278 1386.52 o 49277 1387.99 o 49276 1389.45 o 49275 1390.90 o 49274 1392.36 o 49273 1393.82 o 49272 1395.28 o 49270 1396.73 o 49269 1398.18 o 49268 1399.62 o 49267 1401.08 o 49266 1402.52 o 49265 1403.97 o 49263 1405.42 o 49262 1406.89 o 49261 1408.35 o 49260 1409.81 o 49259 1411.27 o 49258 1412.74 o 49257 1414.20 o 49256 1415.66 o 49255 1417.12 o 49254 1418.57 o 49253 1420.02 o 49252 1421.47 o 49251 1422.92 o 49250 1424.37 o 49249 1425.82 o 49248 1427.29 o 49247 1428.76 o 49246 1430.22 o 49245 1431.68 o 49244 1433.15 o 49243 1434.61 o 49242 1436.07 o 49241 1437.51 o 49240 1438.97 o 49238 1440.42 o 49237 1441.87 o 49235 1443.32 o 49234 1444.76 o 49233 1446.22 o 49232 1447.68 o 49231 1449.15 o 49230 1450.61 o 49228 1452.07 o 49226 1453.53 o 49225 1454.99 o 49223 1456.45 o 49222 1457.91 o 49221 1459.35 o 49219 1460.80 o 49218 1462.25 o 49217 1463.70 o 49216 1465.15 o 49215 1466.62 o 49214 1468.08 o 49212 1469.55 o 49211 1471.02 o 49210 1472.48 o 49208 1473.95 o 49207 1475.41 o 49206 1476.86 o 49204 1478.31 o 49203 1479.76 o 49202 1481.21 o 49200 1482.66 o 49199 1484.11 o 49197 1485.56 o 49196 1487.03 o 49195 1488.49 o 49193 1489.95 o 49192 1491.41 o 49191 1492.87 o 49190 1494.33 o 49189 1495.80 o 49188 1497.25 o 49187 1498.70 o 49185 1500.14 o 49184 1501.60 o 49183 1503.04 o 49182 1504.49 o 49180 1505.94 o 49179 1507.40 o 49177 1508.86 o 49176 1510.33 o 49175 1511.79 o 49173 1513.24 o 49172 1514.70 o 49171 1516.15 o 49169 1517.60 o 49168 1519.05 o 49167 1520.50 o 49166 1521.94 o 49165 1523.39 o 49164 1524.85 o 49163 1526.31 o 49162 1527.77 o 49161 1529.24 o 49160 1530.71 o 49158 1532.16 o 49157 1533.63 o 49156 1535.09 o 49155 1536.55 o 49154 1538.00 o 49153 1539.46 o 49152 1540.91 o 49151 1542.35 o 49149 1543.80 o 49147 1545.25 o 49146 1546.71 o 49145 1548.18 o 49144 1549.64 o 49143 1551.10 o 49141 1552.57 o 49139 1554.03 o 49138 1555.49 o 49137 1556.94 o 49136 1558.40 o 49135 1559.85 o 49133 1561.31 o 49132 1562.76 o 49131 1564.21 o 49130 1565.67 o 49128 1567.13 o 49126 1568.60 o 49124 1570.06 o 49123 1571.53 o 49122 1572.99 o 49121 1574.46 o 49120 1575.93 o 49119 1577.38 o 49117 1578.84 o 49115 1580.28 o 49113 1581.74 o 49112 1583.18 o 49111 1584.64 o 49109 1586.10 o 49108 1587.56 o 49107 1589.02 o 49106 1590.49 o 49105 1591.95 o 49103 1593.41 o 49102 1594.88 o 49101 1596.34 o 49100 1597.79 o 49099 1599.24 o 49098 1600.68 o 49097 1602.13 o 49096 1603.59 o 49095 1605.04 o 49094 1606.50 o 49093 1607.95 o 49092 1609.41 o 49091 1610.87 o 49090 1612.33 o 49089 1613.79 o 49087 1615.25 o 49086 1616.70 o 49084 1618.14 o 49082 1619.61 o 49081 1621.06 o 49079 1622.51 o 49078 1623.95 o 49077 1625.40 o 49076 1626.86 o 49074 1628.32 o 49073 1629.79 o 49072 1631.26 o 49071 1632.72 o 49069 1634.18 o 49068 1635.64 o 49067 1637.09 o 49066 1638.55 o 49065 1639.98 o 49064 1641.43 o 49063 1642.88 o 49062 1644.33 o 49060 1645.78 o 49059 1647.24 o 49057 1648.70 o 49055 1650.17 o 49053 1651.64 o 49052 1653.10 o 49050 1654.56 o 49048 1656.03 o 49047 1657.48 o 49046 1658.93 o 49045 1660.37 o 49044 1661.82 o 49042 1663.27 o 49041 1664.72 o 49040 1666.17 o 49039 1667.64 o 49038 1669.11 o 49037 1670.56 o 49035 1672.02 o 49034 1673.48 o 49033 1674.94 o 49032 1676.40 o 49030 1677.85 o 49029 1679.30 o 49027 1680.75 o 49026 1682.20 o 49025 1683.66 o 49024 1685.12 o 49023 1686.58 o 49022 1688.05 o 49020 1689.51 o 49019 1690.97 o 49018 1692.44 o 49017 1693.90 o 49015 1695.37 o 49014 1696.82 o 49013 1698.27 o 49012 1699.71 o 49010 1701.16 o 49009 1702.60 o 49008 1704.05 o 49007 1705.51 o 49006 1706.97 o 49005 1708.44 o 49004 1709.91 o 49003 1711.37 o 49002 1712.83 o 49001 1714.30 o 49000 1715.76 o 48999 1717.22 o 48998 1718.68 o 48997 1720.14 o 48996 1721.59 o 48995 1723.04 o 48994 1724.48 o 48993 1725.94 o 48992 1727.40 o 48991 1728.87 o 48989 1730.33 o 48988 1731.80 o 48987 1733.27 o 48986 1734.73 o 48985 1736.19 o 48984 1737.65 o 48983 1739.10 o 48981 1740.55 o 48980 1742.00 o 48979 1743.45 o 48978 1744.90 o 48977 1746.37 o 48976 1747.82 o 48974 1749.28 o 48973 1750.75 o 48971 1752.21 o 48970 1753.67 o 48969 1755.14 o 48967 1756.59 o 48965 1758.05 o 48964 1759.50 o 48963 1760.96 o 48962 1762.41 o 48960 1763.86 o 48959 1765.30 o 48958 1766.76 o 48957 1768.23 o 48955 1769.70 o 48953 1771.16 o 48951 1772.63 o 48950 1774.09 o 48949 1775.56 o 48948 1777.01 o 48947 1778.47 o 48945 1779.92 o 48943 1781.37 o 48942 1782.82 o 48941 1784.27 o 48939 1785.72 o 48938 1787.19 o 48937 1788.66 o 48936 1790.12 o 48935 1791.59 o 48934 1793.05 o 48933 1794.52 o 48931 1795.97 o 48929 1797.42 o 48928 1798.88 o 48927 1800.33 o 48925
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/node14/watcher-41289-1149263422 -o ROOT/results/node14/solver-41289-1149263422 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node14/41289-1149263422/instance-41289-1149263422.opb 476514000 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.93 2/64 24185 /proc/meminfo: memFree=1344832/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=2724 CPUtime=0 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 225 0 0 0 0 0 0 0 19 0 1 0 192004894 2789376 209 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598917 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 681 211 90 232 0 446 0 [startup+10.0022 s] /proc/loadavg: 0.93 0.97 0.93 2/64 24185 /proc/meminfo: memFree=1333704/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=12260 CPUtime=9.99 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3563 0 0 0 997 2 0 0 25 0 1 0 192004894 12554240 2867 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134542458 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3065 2867 107 232 0 2830 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 12260 [startup+20.0082 s] /proc/loadavg: 0.94 0.97 0.93 2/64 24185 /proc/meminfo: memFree=1333960/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=12260 CPUtime=19.99 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3564 0 0 0 1997 2 0 0 25 0 1 0 192004894 12554240 2868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3065 2868 107 232 0 2830 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 12260 [startup+30.0151 s] /proc/loadavg: 0.95 0.97 0.93 2/64 24185 /proc/meminfo: memFree=1334024/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=12260 CPUtime=30 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3564 0 0 0 2996 4 0 0 25 0 1 0 192004894 12554240 2868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3065 2868 107 232 0 2830 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 12260 [startup+40.0201 s] /proc/loadavg: 0.95 0.97 0.93 2/64 24185 /proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=12260 CPUtime=40 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3564 0 0 0 3995 5 0 0 25 0 1 0 192004894 12554240 2868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3065 2868 107 232 0 2830 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 12260 [startup+50.026 s] /proc/loadavg: 0.96 0.97 0.93 2/64 24185 /proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=12260 CPUtime=50 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3564 0 0 0 4995 5 0 0 25 0 1 0 192004894 12554240 2868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3065 2868 107 232 0 2830 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 12260 [startup+60.032 s] /proc/loadavg: 0.97 0.97 0.93 2/64 24185 /proc/meminfo: memFree=1334024/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=12260 CPUtime=60.01 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3564 0 0 0 5995 6 0 0 25 0 1 0 192004894 12554240 2868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3065 2868 107 232 0 2830 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 12260 [startup+70.0379 s] /proc/loadavg: 0.97 0.97 0.93 2/64 24185 /proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=12260 CPUtime=70.01 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3564 0 0 0 6995 6 0 0 25 0 1 0 192004894 12554240 2868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3065 2868 107 232 0 2830 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 12260 [startup+80.0439 s] /proc/loadavg: 0.98 0.97 0.93 2/64 24185 /proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=12260 CPUtime=80.01 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3564 0 0 0 7994 7 0 0 25 0 1 0 192004894 12554240 2868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3065 2868 107 232 0 2830 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 12260 [startup+90.0498 s] /proc/loadavg: 0.98 0.97 0.93 2/64 24185 /proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=12260 CPUtime=90.02 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3564 0 0 0 8994 8 0 0 25 0 1 0 192004894 12554240 2868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3065 2868 107 232 0 2830 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 12260 [startup+100.056 s] /proc/loadavg: 0.98 0.97 0.93 2/64 24185 /proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=12260 CPUtime=100.02 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3564 0 0 0 9993 9 0 0 25 0 1 0 192004894 12554240 2868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3065 2868 107 232 0 2830 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 12260 [startup+110.062 s] /proc/loadavg: 0.98 0.97 0.93 2/64 24185 /proc/meminfo: memFree=1334152/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=12260 CPUtime=110.02 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3564 0 0 0 10992 10 0 0 25 0 1 0 192004894 12554240 2868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3065 2868 107 232 0 2830 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 12260 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24185 /proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=12260 CPUtime=120.03 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3564 0 0 0 11992 11 0 0 25 0 1 0 192004894 12554240 2868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3065 2868 107 232 0 2830 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 12260 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24185 /proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=12260 CPUtime=130.03 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3565 0 0 0 12992 11 0 0 25 0 1 0 192004894 12554240 2869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3065 2869 107 232 0 2830 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 12260 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24185 /proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=12260 CPUtime=140.03 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3565 0 0 0 13991 12 0 0 25 0 1 0 192004894 12554240 2869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3065 2869 107 232 0 2830 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 12260 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24185 /proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=12260 CPUtime=150.03 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3565 0 0 0 14991 12 0 0 25 0 1 0 192004894 12554240 2869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3065 2869 107 232 0 2830 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 12260 [startup+160.09 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24185 /proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=12260 CPUtime=160.04 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3565 0 0 0 15991 13 0 0 25 0 1 0 192004894 12554240 2869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3065 2869 107 232 0 2830 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 12260 [startup+170.096 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24185 /proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=12260 CPUtime=170.04 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3565 0 0 0 16990 14 0 0 25 0 1 0 192004894 12554240 2869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3065 2869 107 232 0 2830 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 12260 [startup+180.102 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24185 /proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=12260 CPUtime=180.04 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3565 0 0 0 17990 14 0 0 25 0 1 0 192004894 12554240 2869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3065 2869 107 232 0 2830 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 12260 [startup+190.108 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24185 /proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=12260 CPUtime=190.05 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3565 0 0 0 18990 15 0 0 25 0 1 0 192004894 12554240 2869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3065 2869 107 232 0 2830 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 12260 [startup+200.114 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24185 /proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=12260 CPUtime=200.05 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3566 0 0 0 19990 15 0 0 25 0 1 0 192004894 12554240 2870 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3065 2870 107 232 0 2830 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 12260 [startup+210.12 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24185 /proc/meminfo: memFree=1334088/2055920 swapFree=4181448/4192956 ################ # More data... # ################ /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3805 0 0 0 177959 196 0 0 25 0 1 0 192004894 13737984 3109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3354 3109 108 232 0 3119 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 13416 [startup+1783.06 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24380 /proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=13416 CPUtime=1782.56 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3805 0 0 0 178060 196 0 0 25 0 1 0 192004894 13737984 3109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3354 3109 108 232 0 3119 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 13416 [startup+1784.06 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24380 /proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=13416 CPUtime=1783.56 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3805 0 0 0 178160 196 0 0 25 0 1 0 192004894 13737984 3109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3354 3109 108 232 0 3119 0 Current children cumulated CPU time (s) 1783.56 Current children cumulated vsize (Kb) 13416 [startup+1785.07 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24380 /proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=13416 CPUtime=1784.56 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3805 0 0 0 178260 196 0 0 25 0 1 0 192004894 13737984 3109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3354 3109 108 232 0 3119 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 13416 [startup+1786.07 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24380 /proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=13416 CPUtime=1785.56 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3805 0 0 0 178360 196 0 0 25 0 1 0 192004894 13737984 3109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3354 3109 108 232 0 3119 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 13416 [startup+1787.08 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24380 /proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=13416 CPUtime=1786.58 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3805 0 0 0 178461 197 0 0 25 0 1 0 192004894 13737984 3109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3354 3109 108 232 0 3119 0 Current children cumulated CPU time (s) 1786.58 Current children cumulated vsize (Kb) 13416 [startup+1788.08 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24380 /proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=13416 CPUtime=1787.58 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3805 0 0 0 178561 197 0 0 25 0 1 0 192004894 13737984 3109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3354 3109 108 232 0 3119 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 13416 [startup+1789.09 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24380 /proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=13416 CPUtime=1788.59 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3805 0 0 0 178662 197 0 0 25 0 1 0 192004894 13737984 3109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3354 3109 108 232 0 3119 0 Current children cumulated CPU time (s) 1788.59 Current children cumulated vsize (Kb) 13416 [startup+1790.09 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24380 /proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=13416 CPUtime=1789.59 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3805 0 0 0 178762 197 0 0 25 0 1 0 192004894 13737984 3109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3354 3109 108 232 0 3119 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 13416 [startup+1791.1 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24380 /proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=13416 CPUtime=1790.59 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3805 0 0 0 178862 197 0 0 25 0 1 0 192004894 13737984 3109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3354 3109 108 232 0 3119 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 13416 [startup+1792.1 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24380 /proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=13416 CPUtime=1791.6 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3807 0 0 0 178963 197 0 0 25 0 1 0 192004894 13737984 3111 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3354 3111 108 232 0 3119 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (Kb) 13416 [startup+1793.11 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24380 /proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=13416 CPUtime=1792.6 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3809 0 0 0 179063 197 0 0 25 0 1 0 192004894 13737984 3113 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3354 3113 108 232 0 3119 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 13416 [startup+1794.11 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24380 /proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=13416 CPUtime=1793.6 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3809 0 0 0 179163 197 0 0 25 0 1 0 192004894 13737984 3113 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3354 3113 108 232 0 3119 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 13416 [startup+1795.12 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24380 /proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=13416 CPUtime=1794.61 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3809 0 0 0 179264 197 0 0 25 0 1 0 192004894 13737984 3113 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3354 3113 108 232 0 3119 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (Kb) 13416 [startup+1796.12 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24380 /proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=13416 CPUtime=1795.62 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3809 0 0 0 179364 198 0 0 25 0 1 0 192004894 13737984 3113 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3354 3113 108 232 0 3119 0 Current children cumulated CPU time (s) 1795.62 Current children cumulated vsize (Kb) 13416 [startup+1797.13 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24380 /proc/meminfo: memFree=1332872/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=13416 CPUtime=1796.62 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3809 0 0 0 179464 198 0 0 25 0 1 0 192004894 13737984 3113 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3354 3113 108 232 0 3119 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 13416 [startup+1798.13 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24380 /proc/meminfo: memFree=1332808/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=13416 CPUtime=1797.63 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3811 0 0 0 179565 198 0 0 25 0 1 0 192004894 13737984 3115 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3354 3115 108 232 0 3119 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (Kb) 13416 [startup+1799.14 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24380 /proc/meminfo: memFree=1332808/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=13416 CPUtime=1798.63 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3811 0 0 0 179665 198 0 0 25 0 1 0 192004894 13737984 3115 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3354 3115 108 232 0 3119 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 13416 [startup+1800.14 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24380 /proc/meminfo: memFree=1332808/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=13416 CPUtime=1799.64 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3811 0 0 0 179766 198 0 0 25 0 1 0 192004894 13737984 3115 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3354 3115 108 232 0 3119 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (Kb) 13416 [startup+1801.15 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24380 /proc/meminfo: memFree=1332808/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=13416 CPUtime=1800.64 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3811 0 0 0 179866 198 0 0 25 0 1 0 192004894 13737984 3115 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3354 3115 108 232 0 3119 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 13416 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 0.99 0.97 0.93 2/64 24380 /proc/meminfo: memFree=1332808/2055920 swapFree=4181448/4192956 [pid=24185] ppid=24183 vsize=13416 CPUtime=1800.65 /proc/24185/stat : 24185 (PBS4L) R 24183 24185 24139 0 -1 4194304 3811 0 0 0 179867 198 0 0 25 0 1 0 192004894 13737984 3115 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24185/statm: 3354 3115 108 232 0 3119 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 13416 Sending SIGTERM to -24185 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.16 CPU time (s): 1800.66 CPU user time (s): 1798.67 CPU system time (s): 1.9857 CPU usage (%): 99.9721 Max. virtual memory (cumulated for all children) (Kb): 13416 The end
Begin job on node14 on Fri Jun 2 15:50:22 UTC 2006 FILE ID= 41289-1149263422 PBS_JOBID= 298776 BENCH NAME= ROOT/tmp/node14/41289-1149263422/instance-41289-1149263422.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node14/41289-1149263422/instance-41289-1149263422.opb 476514000 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-41289-1149263422 -o ROOT/results/node14/solver-41289-1149263422 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node14/41289-1149263422/instance-41289-1149263422.opb 476514000 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 6d57e08ccbe566a3b3419be58eb11fb4 RANDOM SEED= 476514000 /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.241 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.241 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: 1345040 kB Buffers: 31388 kB Cached: 607484 kB SwapCached: 3320 kB Active: 266280 kB Inactive: 381416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1345040 kB SwapTotal: 4192956 kB SwapFree: 4181448 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14740 kB Slab: 49164 kB Committed_AS: 278296 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node14 on Fri Jun 2 16:20:23 UTC 2006