Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.02 | 1800.51 |
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 | 1584 |
Best CPU time to get the best result obtained on this benchmark | 1800.81 |
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/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/350908-1176567024/instance-350908-1176567024.opb ...... 4.59/4.63 c done parsing opb. 4.59/4.63 o 78379 6.09/6.14 o 78378 7.59/7.65 o 78373 9.08/9.16 o 78372 10.58/10.67 o 78367 12.09/12.17 o 78355 13.58/13.68 o 78354 15.18/15.20 o 78353 16.69/16.72 o 78348 18.19/18.24 o 78344 19.69/19.77 o 78340 21.18/21.29 o 78339 22.78/22.81 o 78333 24.28/24.33 o 78326 25.78/25.84 o 78325 27.28/27.35 o 78324 28.79/28.86 o 78320 30.28/30.36 o 78319 31.79/31.87 o 78318 33.28/33.38 o 78314 34.78/34.89 o 78309 36.38/36.41 o 78308 37.88/37.93 o 78307 39.38/39.45 o 78306 40.88/40.97 o 78305 42.38/42.50 o 78303 43.98/44.02 o 78300 45.48/45.53 o 78299 46.97/47.04 o 78295 48.48/48.54 o 78292 49.98/50.04 o 78291 51.48/51.55 o 78290 52.97/53.06 o 78286 54.47/54.57 o 78282 55.98/56.09 o 78281 57.57/57.61 o 78280 59.07/59.13 o 78276 60.58/60.65 o 78275 62.08/62.17 o 78271 63.57/63.69 o 78270 65.17/65.20 o 78266 66.67/66.71 o 78264 68.18/68.22 o 78263 69.67/69.72 o 78260 71.17/71.23 o 78259 72.67/72.73 o 78255 74.17/74.24 o 78254 75.67/75.76 o 78252 77.17/77.28 o 78251 78.77/78.80 o 78248 80.27/80.32 o 78246 81.76/81.83 o 78245 83.26/83.35 o 78244 84.76/84.87 o 78243 86.26/86.38 o 78242 87.76/87.88 o 78240 89.27/89.39 o 78238 90.77/90.90 o 78236 92.37/92.40 o 78235 93.86/93.91 o 78233 95.36/95.42 o 78232 96.86/96.94 o 78230 98.37/98.46 o 78229 99.87/99.97 o 78228 101.37/101.49 o 78225 102.97/103.01 o 78224 104.47/104.53 o 78223 105.96/106.04 o 78222 107.46/107.54 o 78221 108.96/109.05 o 78220 110.46/110.55 o 78218 111.96/112.05 o 78217 113.46/113.56 o 78216 114.96/115.06 o 78214 116.46/116.58 o 78213 118.06/118.10 o 78211 119.55/119.61 o 78209 121.06/121.13 o 78207 122.56/122.65 o 78205 124.06/124.17 o 78204 125.56/125.67 o 78203 127.06/127.18 o 78202 128.56/128.68 o 78200 130.05/130.18 o 78199 131.55/131.69 o 78198 133.05/133.19 o 78197 134.56/134.69 o 78196 136.16/136.21 o 78194 137.66/137.72 o 78193 139.15/139.24 o 78192 140.66/140.75 o 78191 142.15/142.27 o 78190 143.65/143.78 o 78188 145.15/145.29 o 78186 146.65/146.79 o 78184 148.15/148.29 o 78182 149.65/149.79 o 78181 151.15/151.29 o 78179 152.64/152.79 o 78178 154.15/154.29 o 78177 155.75/155.80 o 78176 157.25/157.31 o 78174 158.75/158.82 o 78172 160.25/160.34 o 78171 161.74/161.85 o 78170 163.24/163.37 o 78169 164.75/164.88 o 78168 166.25/166.38 o 78167 167.75/167.88 o 78166 169.25/169.38 o 78165 170.74/170.87 o 78164 172.25/172.38 o 78163 173.75/173.88 o 78162 175.25/175.39 o 78161 176.84/176.90 o 78159 178.34/178.42 o 78158 179.84/179.93 o 78157 181.35/181.44 o 78156 182.84/182.96 o 78155 184.34/184.47 o 78154 185.84/185.97 o 78153 187.34/187.47 o 78152 188.84/188.97 o 78151 190.34/190.48 o 78016 191.84/191.99 o 77910 193.34/193.49 o 77909 194.94/195.00 o 77897 196.44/196.52 o 77732 197.94/198.04 o 77731 199.44/199.55 o 77730 200.94/201.07 o 77729 202.44/202.58 o 77728 204.04/204.10 o 77727 205.44/205.60 o 77726 207.03/207.10 o 77724 208.54/208.60 o 77722 210.04/210.10 o 77721 211.54/211.60 o 77719 212.93/213.09 o 77718 214.44/214.60 o 77717 216.03/216.11 o 77716 217.53/217.61 o 77715 219.03/219.12 o 77714 220.53/220.64 o 77712 222.04/222.14 o 77711 223.54/223.65 o 77709 225.03/225.17 o 77708 226.53/226.66 o 77707 228.03/228.16 o 77706 229.53/229.66 o 77705 231.03/231.16 o 77703 232.53/232.65 o 77701 234.03/234.15 o 77699 235.53/235.66 o 77698 237.02/237.17 o 77697 238.54/238.69 o 77696 240.13/240.20 o 77695 241.63/241.72 o 77693 243.12/243.22 o 77691 244.62/244.72 o 77689 246.12/246.22 o 77687 247.63/247.72 o 77684 249.13/249.22 o 77682 250.63/250.72 o 77681 252.12/252.23 o 74753 253.62/253.75 o 74701 255.12/255.28 o 74698 256.72/256.81 o 74697 258.23/258.34 o 74518 259.72/259.88 o 74516 261.32/261.41 o 74514 262.82/262.94 o 74385 264.32/264.46 o 74384 265.82/265.98 o 74309 267.62/267.79 o 74308 269.22/269.33 o 66310 270.72/270.88 o 65492 272.32/272.42 o 65491 273.82/273.96 o 65490 275.42/275.51 o 65489 276.92/277.05 o 65488 278.52/278.61 o 65372 280.01/280.16 o 65371 281.62/281.70 o 65369 283.11/283.24 o 65368 284.61/284.78 o 65366 286.21/286.33 o 65365 287.71/287.85 o 65364 289.22/289.38 o 65363 290.81/290.92 o 65362 292.31/292.45 o 65361 293.81/293.98 o 65359 295.41/295.52 o 65358 296.92/297.05 o 65357 298.51/298.61 o 65208 300.01/300.15 o 65207 301.61/301.70 o 65206 303.11/303.25 o 65204 304.70/304.81 o 65203 306.20/306.34 o 65202 307.70/307.87 o 65200 309.21/309.39 o 65199 310.81/310.94 o 65197 312.31/312.47 o 65196 313.90/314.02 o 63930 315.40/315.55 o 63929 316.90/317.08 o 63928 318.50/318.61 o 63927 320.00/320.15 o 63926 321.50/321.68 o 63925 323.10/323.22 o 63924 324.60/324.75 o 63923 326.10/326.28 o 63922 327.70/327.80 o 63921 329.20/329.32 o 63920 330.69/330.84 o 63919 332.19/332.36 o 63918 333.70/333.88 o 63917 335.30/335.40 o 63916 338.10/338.29 o 63915 339.70/339.89 o 56904 341.29/341.48 o 56902 342.90/343.10 o 55794 344.49/344.68 o 55793 346.09/346.25 o 55792 347.69/347.82 o 55791 349.29/349.42 o 55678 350.89/351.01 o 55677 352.39/352.58 o 55676 354.00/354.16 o 55675 355.59/355.74 o 55673 357.19/357.31 o 55672 358.79/358.90 o 55671 360.29/360.49 o 55669 361.89/362.07 o 55668 363.49/363.66 o 55666 365.09/365.25 o 55665 366.68/366.82 o 55664 368.19/368.39 o 55663 369.78/369.99 o 55657 371.38/371.56 o 55656 372.99/373.12 o 55654 374.59/374.70 o 55653 377.48/377.69 o 55652 379.08/379.29 o 55651 380.78/380.90 o 55649 382.38/382.50 o 55648 383.98/384.10 o 55647 385.58/385.70 o 55645 387.18/387.31 o 55459 388.78/388.90 o 55458 390.29/390.50 o 55457 391.88/392.09 o 55456 393.48/393.69 o 55455 395.08/395.27 o 55453 396.68/396.88 o 55451 398.27/398.48 o 55450 399.88/400.09 o 55448 401.58/401.71 o 55447 403.17/403.33 o 55417 404.78/404.93 o 55415 406.38/406.54 o 55413 407.98/408.13 o 55411 409.57/409.72 o 55410 411.18/411.31 o 55409 412.68/412.89 o 55408 414.27/414.48 o 55406 415.87/416.09 o 55404 417.58/417.70 o 55403 419.17/419.31 o 55402 420.78/420.91 o 55401 422.37/422.51 o 55399 423.97/424.12 o 55398 425.57/425.72 o 55397 427.17/427.31 o 55396 428.66/428.90 o 55395 430.27/430.49 o 55394 431.87/432.07 o 55392 433.46/433.65 o 55391 435.06/435.25 o 55389 438.17/438.38 o 55388 439.87/440.01 o 55072 441.46/441.66 o 53808 443.06/443.29 o 53807 444.77/444.92 o 53805 446.37/446.53 o 53803 447.96/448.14 o 53801 449.56/449.74 o 53800 451.17/451.35 o 53798 452.76/452.97 o 53797 454.36/454.58 o 53796 456.06/456.21 o 53795 457.66/457.84 o 53794 459.26/459.47 o 53793 460.96/461.10 o 53792 462.56/462.73 o 53791 464.16/464.36 o 53790 465.76/465.97 o 53789 467.36/467.58 o 53787 469.05/469.20 o 53786 470.66/470.82 o 53784 472.26/472.43 o 53783 473.86/474.03 o 53781 475.46/475.65 o 53780 477.06/477.28 o 53779 478.75/478.90 o 53778 480.35/480.54 o 53777 481.96/482.16 o 53776 483.55/483.78 o 53775 485.15/485.39 o 53774 486.86/487.00 o 53773 488.45/488.61 o 53772 490.05/490.23 o 52807 491.65/491.85 o 52806 493.25/493.46 o 52805 494.85/495.07 o 52803 496.45/496.69 o 52802 498.05/498.30 o 52800 501.25/501.49 o 52799 502.95/503.14 o 50099 504.55/504.80 o 50098 506.15/506.40 o 50096 507.75/507.99 o 50095 509.35/509.59 o 50094 510.95/511.18 o 50093 512.54/512.78 o 50092 514.14/514.38 o 50091 515.75/515.99 o 50090 517.35/517.59 o 50089 519.04/519.20 o 50087 520.65/520.80 o 50086 522.15/522.40 o 50085 523.85/524.02 o 50084 525.44/525.62 o 50083 527.04/527.21 o 50082 528.64/528.80 o 50080 530.13/530.39 o 50079 531.74/531.98 o 50077 533.35/533.58 o 50075 534.94/535.18 o 50074 538.14/538.39 o 50073 539.74/540.00 o 50071 541.43/541.62 o 50070 543.03/543.23 o 50069 544.63/544.84 o 50068 546.24/546.44 o 50066 547.83/548.05 o 50065 549.43/549.65 o 50064 551.04/551.25 o 50062 552.64/552.86 o 50061 554.24/554.46 o 50059 555.83/556.08 o 50057 557.43/557.69 o 50055 559.13/559.31 o 50054 560.73/560.93 o 50053 562.33/562.55 o 50051 563.93/564.17 o 50049 565.53/565.77 o 50047 567.12/567.37 o 50046 568.72/568.98 o 50045 570.33/570.59 o 50043 571.93/572.18 o 50041 573.53/573.77 o 50040 575.13/575.38 o 50038 576.72/576.98 o 50036 578.32/578.59 o 50035 580.02/580.21 o 50033 581.63/581.82 o 50031 583.22/583.42 o 50030 584.82/585.02 o 50029 586.42/586.62 o 50028 588.03/588.22 o 50027 589.62/589.82 o 50026 591.22/591.42 o 50025 592.82/593.00 o 50024 594.42/594.60 o 50023 596.02/596.21 o 50022 597.62/597.83 o 50021 599.22/599.44 o 50020 600.81/601.06 o 50018 602.42/602.67 o 50017 604.02/604.27 o 50015 605.62/605.87 o 50014 607.22/607.46 o 50013 608.81/609.06 o 50011 610.41/610.66 o 50010 612.02/612.25 o 50009 613.62/613.84 o 50008 615.21/615.44 o 50007 616.82/617.04 o 50005 618.41/618.65 o 50004 620.02/620.27 o 50003 621.62/621.87 o 50001 623.22/623.48 o 50000 624.82/625.09 o 49999 626.41/626.69 o 49998 628.01/628.28 o 49997 629.61/629.88 o 49996 631.21/631.47 o 49995 632.80/633.06 o 49994 634.41/634.67 o 49992 636.01/636.28 o 49990 637.61/637.90 o 49989 639.31/639.51 o 49988 640.90/641.12 o 49987 642.51/642.72 o 49986 644.11/644.34 o 49985 645.70/645.93 o 49984 647.30/647.52 o 49983 648.90/649.11 o 49982 650.51/650.71 o 49981 652.11/652.32 o 49980 653.70/653.92 o 49978 655.31/655.53 o 49976 656.90/657.14 o 49974 658.50/658.75 o 49973 660.10/660.36 o 49971 661.70/661.96 o 49969 663.30/663.57 o 49968 664.90/665.17 o 49966 666.50/666.76 o 49965 668.10/668.35 o 49964 669.70/669.96 o 49963 671.30/671.56 o 49962 672.90/673.16 o 49961 674.49/674.76 o 49960 676.10/676.37 o 49958 677.70/677.98 o 49957 679.30/679.59 o 49955 681.00/681.20 o 49954 682.59/682.81 o 49953 684.19/684.42 o 49952 685.79/686.02 o 49951 687.39/687.61 o 49949 688.99/689.20 o 49947 690.60/690.80 o 49946 692.10/692.39 o 49945 693.69/693.99 o 49943 695.39/695.60 o 49942 696.99/697.21 o 49940 698.59/698.82 o 49939 700.19/700.43 o 49938 701.78/702.03 o 49937 703.38/703.64 o 49936 704.99/705.24 o 49935 706.59/706.84 o 49934 708.19/708.43 o 49933 709.78/710.04 o 49932 711.39/711.63 o 49931 713.08/713.31 o 49929 714.58/714.90 o 49927 716.28/716.51 o 49926 717.89/718.11 o 49925 719.49/719.73 o 49924 721.09/721.34 o 49923 722.69/722.95 o 49922 724.29/724.57 o 49921 725.88/726.16 o 49920 727.48/727.75 o 49919 729.08/729.35 o 49918 730.68/730.95 o 49916 732.29/732.53 o 49915 733.88/734.13 o 49913 735.48/735.75 o 49912 737.08/737.36 o 49910 738.68/738.97 o 49909 740.28/740.58 o 49908 741.88/742.18 o 49907 743.47/743.80 o 49905 745.08/745.39 o 49904 746.68/746.99 o 49903 748.28/748.58 o 49902 749.88/750.17 o 49901 751.47/751.77 o 49900 753.08/753.36 o 49899 754.68/754.95 o 49897 756.28/756.56 o 49895 757.87/758.16 o 49893 759.47/759.77 o 49892 761.07/761.38 o 49890 762.67/762.99 o 49888 764.37/764.61 o 49886 765.97/766.21 o 49884 767.47/767.80 o 49882 769.07/769.40 o 49881 770.67/770.99 o 49880 772.27/772.58 o 49878 773.87/774.17 o 49877 775.47/775.78 o 49876 777.06/777.38 o 49874 778.66/779.00 o 49873 780.36/780.61 o 49871 781.97/782.21 o 49870 783.56/783.82 o 49869 785.17/785.42 o 49867 786.76/787.02 o 49866 788.36/788.62 o 49864 789.97/790.22 o 49863 791.57/791.81 o 49862 793.17/793.41 o 49861 794.76/795.01 o 49860 796.36/796.63 o 49859 797.96/798.23 o 49858 799.56/799.84 o 49857 801.16/801.45 o 49856 802.76/803.06 o 49854 804.36/804.67 o 49853 805.96/806.26 o 49852 807.56/807.86 o 49851 809.16/809.45 o 49850 810.76/811.04 o 49848 812.35/812.62 o 49847 813.95/814.22 o 49846 815.55/815.83 o 49844 817.16/817.43 o 49842 818.76/819.05 o 49841 820.36/820.66 o 49839 821.95/822.26 o 49838 823.56/823.88 o 49837 825.15/825.49 o 49835 826.75/827.08 o 49833 828.35/828.67 o 49831 829.95/830.27 o 49830 831.55/831.87 o 49829 833.16/833.47 o 49827 834.75/835.07 o 49826 836.35/836.67 o 49825 837.95/838.29 o 49824 839.65/839.90 o 49822 841.25/841.52 o 49821 842.85/843.13 o 49820 844.45/844.75 o 49818 846.05/846.35 o 49817 847.65/847.95 o 49816 849.25/849.54 o 49814 850.84/851.12 o 49813 852.44/852.72 o 49812 854.04/854.31 o 49811 855.64/855.92 o 49810 857.24/857.54 o 49809 858.85/859.15 o 49808 862.05/862.34 o 49806 863.64/863.96 o 49805 865.24/865.57 o 49804 866.85/867.18 o 49803 868.44/868.78 o 49802 870.04/870.39 o 49800 871.75/872.00 o 49799 873.34/873.61 o 49798 874.94/875.22 o 49797 876.54/876.84 o 49796 878.14/878.46 o 49795 879.74/880.09 o 49793 881.44/881.71 o 49792 883.04/883.33 o 49790 884.64/884.95 o 49789 886.24/886.55 o 49788 887.83/888.16 o 49787 889.44/889.77 o 49785 891.04/891.38 o 49784 892.63/892.99 o 49783 894.34/894.60 o 49782 895.94/896.22 o 49780 897.54/897.85 o 49779 899.14/899.47 o 49777 900.74/901.08 o 49776 902.33/902.69 o 49775 904.03/904.30 o 49773 905.63/905.90 o 49771 907.13/907.49 o 49770 908.74/909.09 o 49768 910.33/910.68 o 49767 911.93/912.27 o 49766 913.53/913.86 o 49765 915.13/915.47 o 49764 916.73/917.07 o 49762 918.33/918.68 o 49761 919.93/920.29 o 49760 921.63/921.90 o 49758 923.23/923.51 o 49756 924.83/925.12 o 49754 926.43/926.72 o 49752 928.03/928.32 o 49750 929.63/929.91 o 49748 931.23/931.50 o 49747 932.83/933.10 o 49745 934.43/934.70 o 49743 936.02/936.31 o 49742 937.62/937.92 o 49741 939.22/939.53 o 49740 940.83/941.15 o 49738 942.43/942.77 o 49737 944.03/944.38 o 49736 945.63/945.99 o 49735 947.22/947.59 o 49734 948.82/949.19 o 49733 950.42/950.79 o 49731 952.02/952.39 o 49730 953.62/953.99 o 49728 955.22/955.59 o 49726 956.92/957.21 o 49724 958.51/958.82 o 49723 960.11/960.44 o 49721 961.71/962.07 o 49720 963.33/963.68 o 49719 964.92/965.29 o 49718 966.52/966.88 o 49717 968.12/968.48 o 49716 969.71/970.08 o 49715 971.32/971.67 o 49713 972.92/973.26 o 49712 974.52/974.85 o 49711 976.12/976.45 o 49710 977.72/978.06 o 49709 979.32/979.67 o 49707 980.92/981.28 o 49705 982.51/982.89 o 49704 984.22/984.50 o 49702 985.81/986.10 o 49700 987.31/987.69 o 49699 988.91/989.28 o 49697 990.51/990.87 o 49695 992.11/992.47 o 49694 993.71/994.06 o 49693 995.31/995.66 o 49692 996.90/997.28 o 49691 998.51/998.89 o 49690 1000.21/1000.50 o 49688 1001.81/1002.11 o 49686 1003.41/1003.72 o 49685 1005.01/1005.32 o 49684 1006.61/1006.91 o 49683 1008.21/1008.50 o 49681 1009.81/1010.10 o 49680 1011.30/1011.69 o 49679 1012.91/1013.29 o 49677 1014.51/1014.88 o 49676 1016.11/1016.50 o 49675 1017.80/1018.10 o 49673 1019.40/1019.71 o 49672 1021.00/1021.31 o 49670 1022.61/1022.92 o 49669 1024.20/1024.52 o 49667 1025.80/1026.12 o 49665 1027.40/1027.72 o 49664 1029.00/1029.31 o 49663 1030.60/1030.91 o 49662 1032.20/1032.51 o 49660 1033.80/1034.10 o 49659 1035.40/1035.71 o 49658 1037.00/1037.32 o 49657 1038.60/1038.93 o 49655 1040.20/1040.54 o 49654 1041.79/1042.15 o 49653 1043.40/1043.76 o 49652 1045.00/1045.36 o 49650 1046.60/1046.95 o 49648 1048.19/1048.55 o 49647 1049.79/1050.14 o 49646 1051.39/1051.74 o 49645 1053.00/1053.33 o 49644 1054.60/1054.93 o 49642 1056.19/1056.54 o 49640 1057.80/1058.15 o 49638 1059.39/1059.76 o 49637 1060.99/1061.37 o 49636 1062.60/1062.98 o 49635 1064.19/1064.59 o 49634 1065.79/1066.19 o 49633 1067.39/1067.78 o 49632 1068.99/1069.37 o 49631 1070.59/1070.96 o 49630 1072.19/1072.55 o 49628 1073.79/1074.15 o 49627 1075.39/1075.76 o 49625 1076.99/1077.36 o 49624 1078.59/1078.97 o 49622 1080.18/1080.58 o 49621 1081.78/1082.20 o 49620 1083.49/1083.80 o 49619 1085.09/1085.40 o 49617 1086.68/1087.00 o 49616 1088.18/1088.59 o 49614 1089.78/1090.19 o 49613 1091.39/1091.78 o 49611 1092.99/1093.38 o 49610 1094.58/1094.98 o 49609 1096.18/1096.59 o 49608 1097.78/1098.19 o 49607 1099.49/1099.81 o 49606 1101.08/1101.42 o 49605 1102.68/1103.03 o 49604 1104.28/1104.63 o 49603 1105.88/1106.23 o 49601 1107.48/1107.81 o 49600 1109.08/1109.40 o 49599 1110.58/1111.00 o 49598 1112.18/1112.58 o 49597 1113.78/1114.18 o 49596 1115.38/1115.79 o 49594 1117.08/1117.40 o 49593 1118.68/1119.02 o 49592 1120.27/1120.62 o 49591 1121.87/1122.23 o 49589 1123.47/1123.84 o 49588 1125.08/1125.45 o 49587 1126.67/1127.04 o 49586 1128.28/1128.64 o 49585 1129.87/1130.24 o 49584 1131.48/1131.83 o 49583 1133.07/1133.42 o 49582 1134.67/1135.02 o 49581 1136.27/1136.63 o 49580 1137.87/1138.25 o 49579 1139.47/1139.86 o 49578 1141.07/1141.47 o 49577 1142.67/1143.08 o 49576 1144.27/1144.69 o 49575 1145.87/1146.29 o 49574 1147.47/1147.87 o 49573 1149.08/1149.47 o 49572 1150.67/1151.06 o 49571 1152.27/1152.65 o 49570 1153.87/1154.25 o 49569 1155.47/1155.85 o 49568 1157.07/1157.46 o 49567 1158.67/1159.07 o 49566 1160.27/1160.69 o 49565 1161.97/1162.30 o 49564 1163.57/1163.90 o 49563 1165.17/1165.50 o 49562 1166.67/1167.09 o 49560 1168.26/1168.69 o 49559 1169.87/1170.29 o 49557 1171.47/1171.87 o 49556 1173.06/1173.47 o 49555 1174.66/1175.07 o 49554 1176.26/1176.68 o 49552 1177.87/1178.29 o 49551 1179.56/1179.91 o 49549 1181.16/1181.52 o 49548 1182.76/1183.12 o 49547 1184.37/1184.73 o 49546 1185.96/1186.33 o 49545 1187.57/1187.94 o 49544 1189.16/1189.53 o 49543 1190.76/1191.12 o 49541 1192.36/1192.71 o 49540 1193.96/1194.31 o 49539 1195.56/1195.92 o 49538 1197.15/1197.53 o 49537 1198.76/1199.14 o 49536 1200.36/1200.75 o 49535 1201.96/1202.35 o 49534 1203.56/1203.96 o 49533 1205.16/1205.55 o 49532 1206.75/1207.15 o 49531 1208.36/1208.74 o 49530 1209.96/1210.33 o 49528 1211.55/1211.92 o 49527 1213.15/1213.51 o 49526 1214.75/1215.11 o 49524 1216.35/1216.71 o 49523 1217.95/1218.32 o 49522 1219.55/1219.93 o 49521 1221.15/1221.54 o 49520 1222.76/1223.15 o 49519 1224.35/1224.77 o 49517 1225.95/1226.37 o 49515 1227.55/1227.97 o 49514 1229.15/1229.57 o 49513 1230.75/1231.17 o 49512 1232.35/1232.77 o 49511 1233.95/1234.36 o 49510 1235.55/1235.97 o 49509 1237.15/1237.58 o 49507 1238.74/1239.18 o 49506 1240.35/1240.79 o 49505 1242.05/1242.40 o 49504 1243.65/1244.01 o 49503 1245.24/1245.61 o 49502 1246.84/1247.21 o 49501 1248.45/1248.81 o 49500 1250.05/1250.41 o 49499 1251.64/1252.01 o 49498 1253.24/1253.61 o 49497 1254.84/1255.21 o 49495 1256.44/1256.82 o 49493 1258.04/1258.44 o 49492 1259.64/1260.05 o 49491 1261.25/1261.66 o 49490 1262.84/1263.26 o 49489 1264.44/1264.87 o 49488 1267.64/1268.03 o 49487 1269.24/1269.62 o 49486 1270.84/1271.24 o 49485 1272.44/1272.84 o 49484 1274.04/1274.45 o 49483 1275.64/1276.07 o 49482 1277.34/1277.70 o 49481 1278.94/1279.32 o 49480 1280.53/1280.94 o 49479 1282.14/1282.57 o 49478 1283.74/1284.19 o 49477 1285.44/1285.81 o 49476 1287.03/1287.42 o 49474 1288.63/1289.03 o 49473 1290.23/1290.64 o 49472 1291.83/1292.25 o 49471 1293.43/1293.86 o 49470 1295.03/1295.45 o 49469 1296.63/1297.06 o 49468 1298.23/1298.68 o 49466 1299.83/1300.29 o 49465 1301.53/1301.90 o 49464 1303.14/1303.51 o 49463 1304.73/1305.12 o 49462 1306.33/1306.72 o 49461 1307.93/1308.32 o 49459 1309.53/1309.91 o 49458 1311.13/1311.51 o 49457 1312.72/1313.11 o 49455 1314.33/1314.72 o 49454 1315.93/1316.33 o 49453 1317.53/1317.94 o 49452 1319.13/1319.55 o 49451 1320.73/1321.16 o 49449 1322.32/1322.76 o 49447 1323.92/1324.37 o 49445 1325.53/1325.98 o 49444 1327.13/1327.58 o 49443 1328.72/1329.17 o 49442 1330.32/1330.77 o 49440 1331.92/1332.37 o 49439 1333.52/1333.96 o 49438 1335.12/1335.56 o 49436 1336.72/1337.17 o 49434 1338.33/1338.78 o 49432 1339.92/1340.39 o 49431 1341.53/1341.99 o 49430 1343.22/1343.61 o 49429 1344.82/1345.21 o 49427 1346.42/1346.80 o 49425 1348.02/1348.41 o 49424 1349.62/1350.01 o 49422 1351.22/1351.61 o 49421 1352.82/1353.21 o 49420 1354.42/1354.81 o 49419 1356.02/1356.42 o 49418 1357.61/1358.03 o 49417 1359.22/1359.65 o 49415 1360.82/1361.25 o 49413 1362.42/1362.87 o 49411 1364.02/1364.50 o 49410 1365.72/1366.10 o 49409 1367.21/1367.69 o 49407 1368.81/1369.28 o 49406 1370.41/1370.86 o 49405 1372.01/1372.46 o 49403 1373.61/1374.06 o 49402 1375.21/1375.66 o 49400 1376.81/1377.27 o 49398 1378.41/1378.87 o 49397 1380.01/1380.49 o 49396 1381.71/1382.10 o 49395 1383.31/1383.71 o 49393 1384.91/1385.31 o 49392 1386.51/1386.91 o 49390 1388.11/1388.50 o 49388 1389.71/1390.10 o 49386 1391.31/1391.71 o 49385 1392.80/1393.30 o 49383 1394.41/1394.89 o 49381 1396.10/1396.50 o 49380 1397.70/1398.12 o 49379 1399.31/1399.73 o 49378 1400.91/1401.34 o 49377 1402.51/1402.95 o 49376 1404.10/1404.56 o 49374 1405.70/1406.15 o 49373 1407.30/1407.75 o 49372 1408.90/1409.35 o 49370 1410.50/1410.94 o 49369 1412.10/1412.54 o 49368 1413.70/1414.14 o 49367 1415.30/1415.74 o 49366 1416.90/1417.35 o 49364 1418.50/1418.96 o 49363 1420.10/1420.57 o 49361 1421.70/1422.19 o 49360 1423.40/1423.80 o 49359 1424.99/1425.41 o 49357 1426.60/1427.00 o 49356 1428.19/1428.60 o 49355 1429.79/1430.20 o 49354 1431.30/1431.79 o 49353 1432.90/1433.40 o 49352 1434.50/1435.00 o 49351 1436.20/1436.61 o 49349 1437.79/1438.22 o 49348 1439.39/1439.84 o 49347 1441.00/1441.45 o 49346 1442.60/1443.06 o 49345 1444.20/1444.67 o 49344 1445.80/1446.27 o 49343 1447.39/1447.88 o 49342 1448.99/1449.48 o 49340 1450.59/1451.08 o 49339 1452.19/1452.67 o 49338 1453.80/1454.27 o 49337 1455.39/1455.87 o 49336 1456.99/1457.47 o 49334 1458.59/1459.09 o 49333 1460.19/1460.70 o 49332 1461.89/1462.30 o 49330 1463.48/1463.91 o 49328 1465.08/1465.52 o 49327 1466.68/1467.11 o 49325 1468.29/1468.71 o 49324 1469.89/1470.31 o 49323 1471.49/1471.91 o 49321 1473.09/1473.52 o 49320 1474.69/1475.12 o 49319 1476.28/1476.73 o 49317 1477.89/1478.35 o 49316 1479.48/1479.96 o 49315 1481.09/1481.57 o 49313 1482.68/1483.19 o 49312 1484.38/1484.80 o 49311 1485.98/1486.40 o 49310 1487.58/1488.00 o 49308 1489.08/1489.59 o 49307 1490.68/1491.19 o 49306 1492.28/1492.79 o 49305 1493.98/1494.40 o 49304 1495.58/1496.00 o 49303 1497.18/1497.61 o 49301 1498.79/1499.22 o 49300 1500.38/1500.84 o 49298 1501.98/1502.45 o 49297 1503.58/1504.06 o 49296 1505.17/1505.68 o 49295 1506.77/1507.28 o 49294 1508.38/1508.87 o 49293 1509.98/1510.47 o 49292 1511.58/1512.06 o 49291 1513.18/1513.65 o 49289 1514.77/1515.25 o 49288 1516.38/1516.86 o 49287 1517.97/1518.48 o 49286 1519.57/1520.09 o 49284 1521.27/1521.71 o 49283 1522.88/1523.32 o 49282 1524.48/1524.94 o 49281 1526.07/1526.54 o 49280 1527.67/1528.14 o 49279 1529.27/1529.73 o 49278 1530.87/1531.34 o 49277 1532.47/1532.94 o 49276 1534.08/1534.54 o 49275 1535.67/1536.14 o 49274 1537.27/1537.75 o 49273 1538.86/1539.37 o 49272 1540.46/1540.98 o 49270 1542.07/1542.58 o 49269 1543.77/1544.20 o 49268 1545.36/1545.80 o 49267 1546.97/1547.41 o 49266 1548.57/1549.00 o 49265 1550.16/1550.60 o 49263 1551.67/1552.19 o 49262 1553.36/1553.80 o 49261 1554.86/1555.40 o 49260 1556.57/1557.01 o 49259 1558.17/1558.63 o 49258 1559.76/1560.25 o 49257 1561.36/1561.86 o 49256 1562.96/1563.47 o 49255 1564.56/1565.08 o 49254 1566.17/1566.69 o 49253 1567.76/1568.29 o 49252 1569.36/1569.89 o 49251 1570.96/1571.48 o 49250 1572.56/1573.08 o 49249 1574.16/1574.68 o 49248 1575.76/1576.30 o 49247 1577.46/1577.91 o 49246 1579.06/1579.53 o 49245 1580.66/1581.15 o 49244 1582.26/1582.76 o 49243 1583.85/1584.37 o 49242 1585.45/1585.98 o 49241 1587.06/1587.58 o 49240 1588.66/1589.18 o 49238 1590.26/1590.78 o 49237 1591.85/1592.38 o 49235 1593.46/1593.98 o 49234 1595.06/1595.58 o 49233 1596.66/1597.19 o 49232 1598.35/1598.81 o 49231 1599.96/1600.42 o 49230 1601.55/1602.03 o 49228 1603.16/1603.64 o 49226 1604.75/1605.25 o 49225 1606.35/1606.85 o 49223 1607.95/1608.45 o 49222 1609.55/1610.05 o 49221 1611.15/1611.64 o 49219 1612.75/1613.24 o 49218 1614.35/1614.84 o 49217 1615.95/1616.45 o 49216 1617.55/1618.07 o 49215 1619.15/1619.69 o 49214 1620.85/1621.31 o 49212 1622.45/1622.93 o 49211 1624.05/1624.55 o 49210 1625.65/1626.15 o 49208 1627.25/1627.75 o 49207 1628.84/1629.35 o 49206 1630.44/1630.95 o 49204 1632.04/1632.55 o 49203 1633.65/1634.15 o 49202 1635.25/1635.76 o 49200 1636.85/1637.38 o 49199 1638.45/1638.99 o 49197 1640.14/1640.61 o 49196 1641.74/1642.22 o 49195 1643.34/1643.84 o 49193 1644.94/1645.44 o 49192 1646.54/1647.04 o 49191 1648.14/1648.64 o 49190 1649.74/1650.24 o 49189 1651.34/1651.84 o 49188 1652.94/1653.44 o 49187 1654.54/1655.04 o 49185 1656.14/1656.66 o 49184 1657.74/1658.27 o 49183 1659.34/1659.89 o 49182 1661.04/1661.50 o 49180 1662.64/1663.11 o 49179 1664.24/1664.72 o 49177 1665.84/1666.32 o 49176 1667.44/1667.92 o 49175 1669.03/1669.52 o 49173 1670.63/1671.11 o 49172 1672.23/1672.71 o 49171 1673.84/1674.30 o 49169 1675.43/1675.91 o 49168 1677.04/1677.52 o 49167 1678.63/1679.13 o 49166 1680.23/1680.74 o 49165 1681.83/1682.36 o 49164 1683.43/1683.97 o 49163 1685.03/1685.59 o 49162 1686.63/1687.19 o 49161 1688.33/1688.80 o 49160 1689.93/1690.40 o 49158 1691.43/1691.99 o 49157 1693.03/1693.59 o 49156 1694.64/1695.19 o 49155 1696.33/1696.81 o 49154 1697.93/1698.43 o 49153 1699.53/1700.05 o 49152 1701.13/1701.66 o 49151 1702.72/1703.27 o 49149 1704.32/1704.88 o 49147 1705.93/1706.48 o 49146 1707.53/1708.08 o 49145 1709.12/1709.69 o 49144 1710.72/1711.29 o 49143 1712.32/1712.89 o 49141 1713.93/1714.48 o 49139 1715.53/1716.09 o 49138 1717.22/1717.71 o 49137 1718.82/1719.32 o 49136 1720.42/1720.94 o 49135 1722.03/1722.57 o 49133 1723.62/1724.19 o 49132 1725.22/1725.79 o 49131 1726.92/1727.40 o 49130 1728.52/1729.00 o 49128 1730.12/1730.61 o 49126 1731.72/1732.21 o 49124 1733.32/1733.81 o 49123 1734.92/1735.42 o 49122 1736.52/1737.03 o 49121 1738.11/1738.65 o 49120 1739.72/1740.26 o 49119 1741.32/1741.87 o 49117 1742.92/1743.50 o 49115 1744.62/1745.11 o 49113 1746.22/1746.71 o 49112 1747.81/1748.31 o 49111 1749.41/1749.91 o 49109 1751.01/1751.51 o 49108 1752.61/1753.11 o 49107 1754.21/1754.71 o 49106 1755.81/1756.32 o 49105 1757.42/1757.93 o 49103 1759.01/1759.55 o 49102 1760.62/1761.16 o 49101 1762.21/1762.79 o 49100 1763.92/1764.40 o 49099 1765.51/1766.00 o 49098 1767.11/1767.60 o 49097 1768.71/1769.20 o 49096 1770.30/1770.80 o 49095 1771.91/1772.40 o 49094 1773.51/1774.00 o 49093 1775.11/1775.60 o 49092 1776.70/1777.21 o 49091 1778.31/1778.82 o 49090 1779.91/1780.43 o 49089 1781.51/1782.04 o 49087 1783.11/1783.65 o 49086 1784.71/1785.26 o 49084 1786.31/1786.85 o 49082 1787.90/1788.47 o 49081 1789.50/1790.06 o 49079 1791.11/1791.66 o 49078 1792.70/1793.26 o 49077 1794.30/1794.86 o 49076 1795.90/1796.47 o 49074 1797.50/1798.09 o 49073 1799.20/1799.70 o 49072 1800.01/1800.50 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/350908-1176567024/instance-350908-1176567024.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node34/watcher-350908-1176567024 -o ROOT/results/node34/solver-350908-1176567024 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350908-1176567024/PBS4 /tmp/evaluation/350908-1176567024/instance-350908-1176567024.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.92 1.05 1.37 3/77 9768 /proc/meminfo: memFree=1400144/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=2780 CPUtime=0 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 486 0 0 0 0 0 0 0 18 0 1 0 104617859 2846720 468 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/9768/statm: 695 470 81 219 0 472 0 [startup+0.0949481 s] /proc/loadavg: 0.92 1.05 1.37 3/77 9768 /proc/meminfo: memFree=1400144/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=4044 CPUtime=0.09 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 806 0 0 0 9 0 0 0 18 0 1 0 104617859 4141056 788 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588380 0 0 4096 0 0 0 0 17 1 0 0 /proc/9768/statm: 1011 788 87 219 0 788 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4044 [startup+0.101948 s] /proc/loadavg: 0.92 1.05 1.37 3/77 9768 /proc/meminfo: memFree=1400144/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=4044 CPUtime=0.09 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 806 0 0 0 9 0 0 0 18 0 1 0 104617859 4141056 788 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588295 0 0 4096 0 0 0 0 17 1 0 0 /proc/9768/statm: 1011 788 87 219 0 788 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4044 [startup+0.301964 s] /proc/loadavg: 0.92 1.05 1.37 3/77 9768 /proc/meminfo: memFree=1400144/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=4044 CPUtime=0.29 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 806 0 0 0 29 0 0 0 19 0 1 0 104617859 4141056 788 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588380 0 0 4096 0 0 0 0 17 1 0 0 /proc/9768/statm: 1011 788 87 219 0 788 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4044 [startup+0.701995 s] /proc/loadavg: 0.92 1.05 1.37 3/77 9768 /proc/meminfo: memFree=1400144/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=4268 CPUtime=0.69 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 862 0 0 0 69 0 0 0 22 0 1 0 104617859 4370432 844 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588851 0 0 4096 0 0 0 0 17 1 0 0 /proc/9768/statm: 1067 844 87 219 0 844 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4268 [startup+1.50106 s] /proc/loadavg: 0.92 1.05 1.37 2/78 9769 /proc/meminfo: memFree=1396872/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=5408 CPUtime=1.49 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 1772 0 0 0 149 0 0 0 25 0 1 0 104617859 5537792 1138 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588295 0 0 4096 0 0 0 0 17 1 0 0 /proc/9768/statm: 1352 1138 88 219 0 1129 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5408 [startup+3.10119 s] /proc/loadavg: 0.92 1.05 1.37 2/78 9769 /proc/meminfo: memFree=1393928/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12048 CPUtime=3.09 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3528 0 0 0 308 1 0 0 25 0 1 0 104617859 12337152 2838 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135057389 0 0 4096 0 0 0 0 17 1 0 0 /proc/9768/statm: 3012 2838 88 219 0 2789 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12048 [startup+6.30244 s] /proc/loadavg: 0.93 1.05 1.37 2/78 9769 /proc/meminfo: memFree=1388808/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12212 CPUtime=6.29 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3554 0 0 0 628 1 0 0 25 0 1 0 104617859 12505088 2864 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3053 2864 103 219 0 2830 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12212 [startup+12.7019 s] /proc/loadavg: 0.93 1.04 1.36 2/78 9769 /proc/meminfo: memFree=1388816/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12212 CPUtime=12.68 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3554 0 0 0 1267 1 0 0 25 0 1 0 104617859 12505088 2864 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3053 2864 103 219 0 2830 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 12212 [startup+25.502 s] /proc/loadavg: 0.95 1.04 1.36 2/78 9769 /proc/meminfo: memFree=1388944/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12212 CPUtime=25.48 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3555 0 0 0 2546 2 0 0 25 0 1 0 104617859 12505088 2865 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3053 2865 103 219 0 2830 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12212 [startup+51.102 s] /proc/loadavg: 0.96 1.04 1.35 3/78 9769 /proc/meminfo: memFree=1389008/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12212 CPUtime=51.08 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3555 0 0 0 5103 5 0 0 25 0 1 0 104617859 12505088 2865 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3053 2865 103 219 0 2830 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 12212 [startup+102.305 s] /proc/loadavg: 0.98 1.03 1.33 2/78 9769 /proc/meminfo: memFree=1389008/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12212 CPUtime=102.27 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3555 0 0 0 10218 9 0 0 25 0 1 0 104617859 12505088 2865 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3053 2865 103 219 0 2830 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 12212 [startup+162.302 s] /proc/loadavg: 0.99 1.02 1.31 2/78 9769 /proc/meminfo: memFree=1389008/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12212 CPUtime=162.24 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3556 0 0 0 16212 12 0 0 25 0 1 0 104617859 12505088 2866 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548069 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3053 2866 103 219 0 2830 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 12212 [startup+222.302 s] /proc/loadavg: 0.99 1.02 1.28 2/78 9769 /proc/meminfo: memFree=1389136/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12212 CPUtime=222.24 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3557 0 0 0 22205 19 0 0 25 0 1 0 104617859 12505088 2867 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548533 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3053 2867 103 219 0 2830 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 12212 [startup+282.301 s] /proc/loadavg: 0.99 1.01 1.26 2/78 9769 /proc/meminfo: memFree=1388944/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12388 CPUtime=282.22 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3597 0 0 0 28196 26 0 0 25 0 1 0 104617859 12685312 2907 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548033 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3097 2907 103 219 0 2874 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 12388 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.24 2/78 9769 /proc/meminfo: memFree=1388880/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12388 CPUtime=342.2 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3622 0 0 0 34188 32 0 0 25 0 1 0 104617859 12685312 2932 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3097 2932 103 219 0 2874 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 12388 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.23 2/78 9769 /proc/meminfo: memFree=1388752/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12832 CPUtime=402.17 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3657 0 0 0 40176 41 0 0 25 0 1 0 104617859 13139968 2967 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548041 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3208 2967 104 219 0 2985 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 12832 [startup+462.302 s] /proc/loadavg: 1.07 1.03 1.22 2/78 9769 /proc/meminfo: memFree=1388816/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12832 CPUtime=462.15 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3663 0 0 0 46165 50 0 0 25 0 1 0 104617859 13139968 2973 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3208 2973 104 219 0 2985 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 12832 [startup+522.301 s] /proc/loadavg: 1.06 1.03 1.21 2/78 9769 /proc/meminfo: memFree=1388816/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12832 CPUtime=522.15 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3667 0 0 0 52156 59 0 0 25 0 1 0 104617859 13139968 2977 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3208 2977 104 219 0 2985 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 12832 [startup+582.301 s] /proc/loadavg: 1.02 1.02 1.19 2/78 9769 /proc/meminfo: memFree=1388752/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12832 CPUtime=582.13 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3670 0 0 0 58147 66 0 0 25 0 1 0 104617859 13139968 2980 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548073 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3208 2980 104 219 0 2985 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 12832 [startup+642.302 s] /proc/loadavg: 1.01 1.02 1.18 2/78 9769 /proc/meminfo: memFree=1388816/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12832 CPUtime=642.12 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3670 0 0 0 64140 72 0 0 25 0 1 0 104617859 13139968 2980 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3208 2980 104 219 0 2985 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 12832 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.13 2/78 9769 /proc/meminfo: memFree=1388880/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12832 CPUtime=882.04 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3673 0 0 0 88106 98 0 0 25 0 1 0 104617859 13139968 2983 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548073 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3208 2983 104 219 0 2985 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 12832 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.12 2/78 9769 /proc/meminfo: memFree=1388880/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12832 CPUtime=942.03 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3673 0 0 0 94097 106 0 0 25 0 1 0 104617859 13139968 2983 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3208 2983 104 219 0 2985 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 12832 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.11 2/78 9769 /proc/meminfo: memFree=1388944/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12832 CPUtime=1002.01 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3673 0 0 0 100090 111 0 0 25 0 1 0 104617859 13139968 2983 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548465 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3208 2983 104 219 0 2985 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 12832 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.09 2/78 9769 /proc/meminfo: memFree=1389008/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12832 CPUtime=1062 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3673 0 0 0 106082 118 0 0 25 0 1 0 104617859 13139968 2983 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3208 2983 104 219 0 2985 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 12832 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.09 2/78 9769 /proc/meminfo: memFree=1389072/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12832 CPUtime=1121.97 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3673 0 0 0 112073 124 0 0 25 0 1 0 104617859 13139968 2983 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548516 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3208 2983 104 219 0 2985 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 12832 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.08 2/78 9769 /proc/meminfo: memFree=1389008/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12832 CPUtime=1181.96 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3673 0 0 0 118065 131 0 0 25 0 1 0 104617859 13139968 2983 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3208 2983 104 219 0 2985 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 12832 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.07 2/78 9769 /proc/meminfo: memFree=1389008/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12832 CPUtime=1241.95 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3679 0 0 0 124058 137 0 0 25 0 1 0 104617859 13139968 2989 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3208 2989 104 219 0 2985 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 12832 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.07 2/78 9769 /proc/meminfo: memFree=1388944/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12964 CPUtime=1301.93 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3699 0 0 0 130048 145 0 0 25 0 1 0 104617859 13275136 3009 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548056 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3241 3009 104 219 0 3018 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 12964 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.06 2/78 9769 /proc/meminfo: memFree=1388880/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=12964 CPUtime=1361.92 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3713 0 0 0 136039 153 0 0 25 0 1 0 104617859 13275136 3023 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3241 3023 104 219 0 3018 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 12964 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.06 2/78 9769 /proc/meminfo: memFree=1388944/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=13096 CPUtime=1421.9 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3725 0 0 0 142032 158 0 0 25 0 1 0 104617859 13410304 3035 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3274 3035 104 219 0 3051 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 13096 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.05 2/78 9769 /proc/meminfo: memFree=1388880/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=13096 CPUtime=1481.88 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3733 0 0 0 148025 163 0 0 25 0 1 0 104617859 13410304 3043 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3274 3043 104 219 0 3051 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 13096 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.05 2/78 9769 /proc/meminfo: memFree=1389008/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=13096 CPUtime=1541.87 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3737 0 0 0 154018 169 0 0 25 0 1 0 104617859 13410304 3047 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3274 3047 104 219 0 3051 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 13096 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.04 2/78 9771 /proc/meminfo: memFree=1388944/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=13096 CPUtime=1601.85 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3745 0 0 0 160010 175 0 0 25 0 1 0 104617859 13410304 3055 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548511 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3274 3055 104 219 0 3051 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 13096 [startup+1662.3 s] /proc/loadavg: 1.05 1.01 1.04 2/78 9771 /proc/meminfo: memFree=1388944/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=13232 CPUtime=1661.84 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3757 0 0 0 166002 182 0 0 25 0 1 0 104617859 13549568 3067 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3308 3067 104 219 0 3085 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 13232 [startup+1722.3 s] /proc/loadavg: 1.02 1.01 1.03 2/78 9771 /proc/meminfo: memFree=1388944/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=13232 CPUtime=1721.82 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3763 0 0 0 171994 188 0 0 25 0 1 0 104617859 13549568 3073 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548033 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3308 3073 104 219 0 3085 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 13232 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.03 2/78 9771 /proc/meminfo: memFree=1388880/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=13232 CPUtime=1781.81 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3773 0 0 0 177986 195 0 0 25 0 1 0 104617859 13549568 3083 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548514 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3308 3083 104 219 0 3085 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 13232 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.03 3/78 9771 /proc/meminfo: memFree=1388880/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=13232 CPUtime=1800.01 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3773 0 0 0 179804 197 0 0 25 0 1 0 104617859 13549568 3083 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3308 3083 104 219 0 3085 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 13232 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.03 3/78 9771 /proc/meminfo: memFree=1388880/2055920 swapFree=4192812/4192956 [pid=9768] ppid=9766 vsize=13232 CPUtime=1800.01 /proc/9768/stat : 9768 (PBS4) R 9766 9768 9706 0 -1 4194304 3773 0 0 0 179804 197 0 0 25 0 1 0 104617859 13549568 3083 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9768/statm: 3308 3083 104 219 0 3085 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 13232 Child status: 0 Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1798.04 CPU system time (s): 1.9767 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 13232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.04 system time used= 1.9767 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3774 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= 5016 runsolver used 2.27365 second user time and 4.11637 second system time The end
Begin job on node34 on Sat Apr 14 16:10:24 UTC 2007 IDJOB= 350908 IDBENCH= 1611 IDSOLVER= 157 FILE ID= node34/350908-1176567024 PBS_JOBID= 4556913 Free space on /tmp= 66561 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-sp97ar.opb COMMAND LINE= /tmp/evaluation/350908-1176567024/PBS4 /tmp/evaluation/350908-1176567024/instance-350908-1176567024.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node34/convwatcher-350908-1176567024 -o ROOT/results/node34/conversion-350908-1176567024 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350908-1176567024/instance-350908-1176567024.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-350908-1176567024 -o ROOT/results/node34/solver-350908-1176567024 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350908-1176567024/PBS4 /tmp/evaluation/350908-1176567024/instance-350908-1176567024.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 6d57e08ccbe566a3b3419be58eb11fb4 RANDOM SEED= 41092632 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node34.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.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: 1400616 kB Buffers: 41248 kB Cached: 284744 kB SwapCached: 0 kB Active: 365944 kB Inactive: 165448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1400616 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4056 kB Writeback: 0 kB Mapped: 224280 kB Slab: 109256 kB Committed_AS: 384224 kB PageTables: 1976 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= 66561 MiB End job on node34 on Sat Apr 14 16:40:27 UTC 2007