Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
clasp 2.0.6-R5325 (opt) | SAT (TO) | 16 | 1800.03 | 1800.31 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_3.opb |
MD5SUM | 474916db0f2f0be5831d97827cee8e55 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 8 |
Best CPU time to get the best result obtained on this benchmark | 1790.84 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 16 |
Optimality of the best value was proved | NO |
Number of variables | 172 |
Total number of constraints | 14 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 14 |
Minimum length of a constraint | 75 |
Maximum length of a constraint | 76 |
Number of terms in the objective function | 112 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3570 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1901 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6214 |
Number of bits of the biggest sum of numbers | 13 |
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 Calling clasp with: --sat-p=-1,50,160,-1,1 --heuristic=Vsids --restarts=256 --dinit=1000,10000 --del=3.0,1.1,10.0 --recursive-str --update-lbd --dglue=2 --otfs=2 --dgrowS=100,1.5 --reverse-arcs=2 --dsched=+,10000,2000 --dfrac=0.5 --opt-heu=2 --restart-on-model 0.00/0.00 c clasp version 2.0.6 0.00/0.00 c Reading from ...167164/instance-3709240-1338167164.opb 0.00/0.00 c Solving... 0.00/0.00 o 1365 0.00/0.01 o 1364 0.00/0.01 o 1362 0.00/0.02 o 1360 0.00/0.02 o 1359 0.00/0.02 o 1358 0.00/0.03 o 1356 0.00/0.05 o 1354 0.00/0.05 o 1353 0.00/0.06 o 1351 0.00/0.07 o 1350 0.00/0.07 o 1348 0.00/0.08 o 1347 0.00/0.08 o 1345 0.00/0.10 o 1343 0.00/0.13 o 1341 0.00/0.14 o 1339 0.00/0.14 o 1338 0.00/0.15 o 1337 0.00/0.16 o 1335 0.00/0.17 o 1334 0.00/0.18 o 1333 0.00/0.19 o 1332 0.00/0.19 o 1331 0.00/0.20 o 1330 0.00/0.21 o 1329 0.00/0.21 o 1328 0.00/0.22 o 1326 0.00/0.24 o 1325 0.00/0.28 o 1324 0.00/0.35 o 1323 0.00/0.36 o 1322 0.00/0.41 o 1320 0.00/0.41 o 1319 0.00/0.42 o 1317 0.00/0.43 o 1316 0.00/0.47 o 1314 0.00/0.48 o 1312 0.00/0.48 o 1311 0.00/0.49 o 1310 0.00/0.50 o 1309 0.00/0.50 o 1308 0.00/0.51 o 1307 0.00/0.53 o 1306 0.00/0.53 o 1305 0.00/0.54 o 1303 0.00/0.55 o 1302 0.00/0.56 o 1300 0.00/0.56 o 1299 0.00/0.58 o 1298 0.00/0.60 o 1297 0.00/0.63 o 1295 0.00/0.71 o 1293 0.00/0.84 o 1292 0.00/0.89 o 1291 0.00/0.89 o 1290 0.00/0.90 o 1289 0.00/0.91 o 1288 0.00/0.91 o 1287 0.00/0.92 o 1286 0.00/0.93 o 1285 0.00/0.96 o 1283 0.00/0.98 o 1282 0.00/0.99 o 1280 0.00/1.01 o 1279 0.00/1.01 o 1278 0.00/1.02 o 1277 0.00/1.02 o 1276 0.00/1.04 o 1274 0.00/1.05 o 1272 0.00/1.06 o 1271 0.00/1.06 o 1270 0.00/1.07 o 1268 0.00/1.08 o 1266 0.00/1.10 o 1264 1.10/1.12 o 1263 1.10/1.18 o 1261 1.10/1.19 o 1259 1.10/1.20 o 1258 1.20/1.21 o 1256 1.20/1.22 o 1255 1.20/1.26 o 1253 1.20/1.27 o 1252 1.20/1.28 o 1250 1.29/1.31 o 1249 1.29/1.32 o 1248 1.29/1.32 o 1246 1.29/1.33 o 1245 1.29/1.34 o 1244 1.29/1.34 o 1242 1.29/1.35 o 1241 1.29/1.37 o 1239 1.29/1.39 o 1238 1.39/1.40 o 1236 1.39/1.42 o 1235 1.39/1.45 o 1233 1.49/1.52 o 1231 1.59/1.65 o 1230 1.89/1.99 o 1229 1.99/2.01 o 1228 1.99/2.04 o 1227 1.99/2.04 o 1225 1.99/2.05 o 1224 1.99/2.06 o 1223 1.99/2.06 o 1222 1.99/2.07 o 1221 1.99/2.09 o 1219 2.09/2.10 o 1218 2.09/2.10 o 1216 2.09/2.11 o 1215 2.09/2.11 o 1214 2.09/2.13 o 1212 2.09/2.13 o 1210 2.09/2.15 o 1209 2.09/2.19 o 1208 2.19/2.25 o 1207 2.19/2.27 o 1205 2.29/2.31 o 1203 2.29/2.31 o 1201 2.29/2.34 o 1200 2.29/2.35 o 1199 2.29/2.38 o 1197 2.29/2.39 o 1196 2.39/2.40 o 1195 2.39/2.41 o 1193 2.39/2.41 o 1192 2.39/2.42 o 1190 2.39/2.42 o 1189 2.39/2.44 o 1188 2.39/2.45 o 1187 2.39/2.46 o 1185 2.39/2.46 o 1184 2.39/2.47 o 1183 2.39/2.48 o 1181 2.39/2.49 o 1179 2.49/2.53 o 1177 2.59/2.61 o 1175 2.69/2.77 o 1173 2.69/2.78 o 1171 2.79/2.82 o 1170 2.79/2.83 o 1168 2.79/2.86 o 1166 2.89/2.90 o 1164 2.89/2.91 o 1162 2.89/2.92 o 1160 2.89/2.92 o 1158 2.89/2.94 o 1156 2.89/2.96 o 1155 2.99/3.06 o 1153 3.09/3.14 o 1152 3.09/3.15 o 1150 3.09/3.16 o 1148 3.09/3.17 o 1147 3.09/3.18 o 1146 3.09/3.19 o 1145 3.19/3.20 o 1143 3.19/3.21 o 1141 3.19/3.22 o 1139 3.19/3.22 o 1138 3.19/3.23 o 1136 3.19/3.24 o 1135 3.19/3.27 o 1134 3.29/3.33 o 1133 3.29/3.35 o 1131 3.29/3.35 o 1129 3.29/3.40 o 1128 3.39/3.43 o 1126 3.49/3.51 o 1125 3.59/3.67 o 1124 3.89/3.99 o 1123 4.59/4.63 o 1122 4.59/4.64 o 1121 4.59/4.64 o 1119 4.59/4.66 o 1117 4.59/4.67 o 1116 4.69/4.75 o 1114 4.69/4.78 o 1112 4.69/4.79 o 1110 4.79/4.80 o 1108 4.79/4.87 o 1107 4.79/4.87 o 1105 4.89/4.93 o 1104 4.89/4.94 o 1102 4.89/4.95 o 1101 4.89/4.95 o 1100 4.89/4.96 o 1098 4.89/4.97 o 1096 4.99/5.00 o 1095 4.99/5.01 o 1094 4.99/5.02 o 1092 4.99/5.02 o 1090 4.99/5.03 o 1088 4.99/5.07 o 1087 5.09/5.11 o 1086 5.09/5.12 o 1085 5.09/5.12 o 1084 5.09/5.13 o 1082 5.09/5.14 o 1081 5.09/5.17 o 1080 5.09/5.17 o 1079 5.09/5.19 o 1077 5.19/5.21 o 1076 5.19/5.25 o 1075 5.29/5.33 o 1074 5.39/5.49 o 1072 5.49/5.50 o 1070 5.49/5.51 o 1068 5.49/5.53 o 1067 5.49/5.56 o 1066 5.49/5.57 o 1064 5.49/5.58 o 1063 5.49/5.59 o 1061 5.49/5.60 o 1060 5.59/5.65 o 1058 5.59/5.66 o 1056 5.59/5.66 o 1055 5.59/5.67 o 1053 5.59/5.69 o 1051 5.69/5.70 o 1050 5.69/5.71 o 1048 5.69/5.73 o 1047 5.69/5.74 o 1045 5.69/5.78 o 1044 5.79/5.86 o 1042 5.79/5.87 o 1040 5.79/5.88 o 1039 5.89/5.90 o 1038 5.89/5.91 o 1037 5.89/5.93 o 1035 5.89/5.94 o 1033 5.89/5.97 o 1032 5.99/6.01 o 1030 5.99/6.01 o 1028 5.99/6.02 o 1026 5.99/6.03 o 1024 5.99/6.05 o 1022 5.99/6.06 o 1021 5.99/6.09 o 1020 6.09/6.10 o 1018 6.09/6.12 o 1016 6.09/6.15 o 1014 6.19/6.22 o 1012 6.29/6.38 o 1010 6.69/6.71 o 1008 6.69/6.71 o 1007 6.69/6.72 o 1005 6.69/6.73 o 1004 6.69/6.74 o 1002 6.79/6.80 o 1000 6.79/6.82 o 998 6.79/6.85 o 997 6.79/6.85 o 995 6.79/6.86 o 993 6.79/6.87 o 992 6.79/6.88 o 991 6.79/6.89 o 990 6.89/6.91 o 989 6.89/6.93 o 988 6.89/6.94 o 987 6.89/6.98 o 985 6.99/7.07 o 984 6.99/7.08 o 982 6.99/7.09 o 981 7.09/7.10 o 980 7.09/7.11 o 978 7.09/7.14 o 976 7.09/7.14 o 975 7.09/7.15 o 974 7.09/7.16 o 972 7.09/7.17 o 970 7.09/7.18 o 968 7.09/7.20 o 967 7.19/7.25 o 965 7.19/7.27 o 964 7.19/7.28 o 962 7.29/7.30 o 960 7.29/7.30 o 959 7.29/7.31 o 957 7.29/7.32 o 955 7.29/7.34 o 953 7.29/7.37 o 952 7.39/7.45 o 950 7.49/7.53 o 948 7.59/7.69 o 946 7.69/7.71 o 944 7.69/7.74 o 943 7.69/7.76 o 942 7.69/7.78 o 941 7.79/7.81 o 940 7.79/7.81 o 938 7.79/7.82 o 937 7.79/7.83 o 936 7.79/7.84 o 934 7.79/7.84 o 933 7.79/7.88 o 931 7.79/7.89 o 929 7.89/7.91 o 928 7.89/7.96 o 927 7.99/8.04 o 926 7.99/8.05 o 925 7.99/8.07 o 924 7.99/8.08 o 923 8.09/8.10 o 922 8.09/8.12 o 920 8.09/8.16 o 919 8.19/8.20 o 918 8.19/8.25 o 917 8.19/8.27 o 916 8.19/8.28 o 915 8.29/8.30 o 914 8.29/8.31 o 913 8.29/8.36 o 912 8.49/8.59 o 910 8.79/8.90 o 909 9.59/9.62 o 908 10.69/10.70 o 907 10.69/10.71 o 905 10.69/10.75 o 903 10.69/10.76 o 902 10.79/10.81 o 901 10.79/10.84 o 900 10.79/10.87 o 898 10.79/10.87 o 896 10.88/10.91 o 894 10.88/10.93 o 892 10.88/10.96 o 891 10.99/11.04 o 890 10.99/11.04 o 889 10.99/11.09 o 887 11.09/11.12 o 886 11.09/11.17 o 885 11.09/11.18 o 884 11.18/11.21 o 882 11.18/11.23 o 881 11.18/11.24 o 880 11.18/11.27 o 878 11.28/11.32 o 877 11.48/11.54 o 876 11.58/11.60 o 875 11.58/11.61 o 874 11.58/11.62 o 873 11.68/11.73 o 871 11.68/11.73 o 870 11.78/11.80 o 868 11.78/11.87 o 866 11.88/11.94 o 865 11.98/12.03 o 864 11.98/12.04 o 863 11.98/12.06 o 862 12.09/12.11 o 861 12.09/12.15 o 859 12.19/12.23 o 858 12.58/12.69 o 856 12.68/12.70 o 854 12.68/12.72 o 852 12.68/12.73 o 850 12.68/12.79 o 848 12.78/12.82 o 846 12.88/12.91 o 845 12.88/12.92 o 843 12.88/12.93 o 841 12.88/12.93 o 840 12.88/12.95 o 839 13.08/13.19 o 838 13.19/13.24 o 837 13.19/13.25 o 835 13.29/13.32 o 834 13.58/13.64 o 833 13.58/13.66 o 831 13.58/13.66 o 829 13.58/13.67 o 827 13.58/13.69 o 826 13.68/13.75 o 824 13.78/13.81 o 823 13.78/13.82 o 822 13.78/13.84 o 821 13.78/13.88 o 819 14.08/14.12 o 817 14.08/14.13 o 815 14.08/14.15 o 813 14.18/14.22 o 812 14.18/14.25 o 811 14.29/14.33 o 810 14.48/14.52 o 808 14.78/14.83 o 806 15.68/15.71 o 804 15.68/15.72 o 803 15.78/15.86 o 801 15.78/15.86 o 800 15.88/15.91 o 799 15.98/16.02 o 798 15.98/16.07 o 797 15.98/16.08 o 795 16.08/16.11 o 794 16.08/16.17 o 793 16.28/16.39 o 791 16.38/16.40 o 790 16.38/16.43 o 788 16.38/16.47 o 786 16.49/16.59 o 784 16.59/16.61 o 783 16.68/16.74 o 782 16.68/16.75 o 780 16.68/16.76 o 778 16.68/16.78 o 777 16.68/16.79 o 775 16.88/16.92 o 774 16.88/16.93 o 773 16.88/16.94 o 771 16.88/16.97 o 769 17.08/17.10 o 768 17.18/17.27 o 767 17.59/17.62 o 766 17.59/17.65 o 765 17.69/17.70 o 764 17.69/17.72 o 762 17.69/17.73 o 760 17.69/17.75 o 758 17.69/17.76 o 756 17.78/17.81 o 754 17.78/17.84 o 752 17.88/17.93 o 750 17.88/17.94 o 749 17.88/17.95 o 747 17.88/17.99 o 746 17.98/18.01 o 745 17.98/18.08 o 743 17.98/18.08 o 742 17.98/18.10 o 741 18.08/18.13 o 740 18.08/18.19 o 739 18.38/18.44 o 738 18.48/18.53 o 737 18.48/18.55 o 735 18.48/18.59 o 734 18.58/18.69 o 732 18.79/18.86 o 731 18.88/18.95 o 729 18.88/18.96 o 728 18.88/18.98 o 726 18.88/18.98 o 725 18.88/19.00 o 723 18.98/19.04 o 722 19.08/19.10 o 721 19.08/19.17 o 720 19.28/19.37 o 718 19.68/19.71 o 717 20.38/20.40 o 715 21.88/21.98 o 714 24.68/24.72 o 713 24.68/24.74 o 712 24.68/24.78 o 711 24.88/24.90 o 709 24.88/24.95 o 707 24.88/24.96 o 706 24.88/24.97 o 705 24.98/25.06 o 704 24.98/25.07 o 703 25.08/25.17 o 702 25.39/25.42 o 700 25.39/25.43 o 699 25.39/25.44 o 697 25.48/25.53 o 696 25.48/25.57 o 695 25.48/25.58 o 693 25.58/25.61 o 691 25.58/25.62 o 690 25.58/25.63 o 689 25.58/25.69 o 687 25.68/25.77 o 685 25.68/25.78 o 683 25.68/25.79 o 681 25.78/25.80 o 680 25.78/25.85 o 678 25.78/25.86 o 677 25.78/25.88 o 676 25.88/25.92 o 674 25.88/25.95 o 673 25.88/25.96 o 671 25.88/25.98 o 669 25.98/26.03 o 668 25.98/26.05 o 667 26.08/26.15 o 665 26.18/26.28 o 663 26.68/26.70 o 662 26.68/26.75 o 660 26.68/26.76 o 658 26.88/26.95 o 657 26.98/27.05 o 655 26.98/27.09 o 653 26.98/27.09 o 651 27.08/27.11 o 650 27.08/27.17 o 649 27.08/27.18 o 647 27.18/27.28 o 645 27.38/27.47 o 644 27.68/27.73 o 642 27.78/27.80 o 641 27.78/27.85 o 640 27.78/27.88 o 639 28.08/28.11 o 637 28.08/28.14 o 636 28.08/28.16 o 635 28.18/28.25 o 634 28.28/28.36 o 632 28.58/28.62 o 630 28.88/28.93 o 629 29.58/29.68 o 627 29.58/29.69 o 626 29.78/29.81 o 625 29.78/29.82 o 623 29.78/29.85 o 621 29.88/29.90 o 620 29.88/29.98 o 618 29.88/29.99 o 616 29.98/30.00 o 614 29.98/30.01 o 613 29.98/30.02 o 611 29.98/30.07 o 610 29.98/30.09 o 609 30.08/30.14 o 608 30.08/30.16 o 606 30.18/30.20 o 605 30.18/30.24 o 604 30.28/30.31 o 603 30.28/30.39 o 602 30.48/30.56 o 601 30.48/30.58 o 599 30.58/30.64 o 597 30.68/30.71 o 595 30.68/30.73 o 594 30.68/30.75 o 593 30.68/30.78 o 592 30.68/30.79 o 591 30.78/30.80 o 590 30.78/30.88 o 588 30.88/30.99 o 587 30.98/31.02 o 586 31.08/31.11 o 584 31.18/31.26 o 583 31.38/31.49 o 581 32.18/32.29 o 580 32.28/32.31 o 579 32.28/32.37 o 578 32.28/32.38 o 577 32.38/32.40 o 575 32.38/32.45 o 574 32.58/32.61 o 572 32.78/32.80 o 571 32.78/32.81 o 570 32.78/32.81 o 568 32.78/32.82 o 566 32.78/32.84 o 565 32.78/32.85 o 563 32.78/32.86 o 562 32.88/32.96 o 560 32.98/33.05 o 559 33.08/33.16 o 558 33.18/33.21 o 557 33.38/33.40 o 556 34.08/34.11 o 554 35.98/36.03 o 552 35.98/36.06 o 551 36.08/36.11 o 549 36.08/36.15 o 548 36.18/36.20 o 546 36.18/36.25 o 544 36.28/36.39 o 543 36.38/36.41 o 542 36.38/36.48 o 541 36.48/36.52 o 539 36.48/36.53 o 537 36.88/36.91 o 535 36.88/36.93 o 534 36.88/36.98 o 532 36.98/37.05 o 530 37.18/37.24 o 528 37.28/37.30 o 527 37.28/37.36 o 525 37.28/37.38 o 524 37.58/37.63 o 522 37.98/38.10 o 520 38.28/38.31 o 518 38.38/38.44 o 517 38.38/38.48 o 515 38.48/38.52 o 513 38.48/38.56 o 512 38.48/38.60 o 510 38.78/38.83 o 509 38.78/38.87 o 508 38.98/39.02 o 507 38.98/39.03 o 505 38.98/39.06 o 504 39.08/39.19 o 503 39.18/39.22 o 502 39.18/39.23 o 500 39.18/39.25 o 498 39.18/39.26 o 497 39.18/39.27 o 496 39.28/39.31 o 495 39.28/39.38 o 494 39.38/39.42 o 493 39.38/39.49 o 492 39.77/39.85 o 490 40.17/40.23 o 488 40.87/40.99 o 487 41.07/41.16 o 486 41.27/41.35 o 485 41.37/41.42 o 483 41.47/41.50 o 482 41.47/41.59 o 480 41.57/41.67 o 478 41.67/41.76 o 477 41.88/41.96 o 475 41.97/42.04 o 474 41.97/42.06 o 473 42.07/42.16 o 472 42.17/42.23 o 471 42.17/42.27 o 470 42.37/42.41 o 468 42.37/42.45 o 466 42.77/42.83 o 464 42.98/43.02 o 462 43.67/43.73 o 460 43.67/43.73 o 458 43.67/43.78 o 457 43.77/43.81 o 456 43.87/43.90 o 455 43.87/44.00 o 453 44.17/44.24 o 451 44.27/44.31 o 450 44.27/44.35 o 448 44.37/44.42 o 446 44.57/44.60 o 445 44.57/44.66 o 444 44.67/44.76 o 442 44.77/44.83 o 441 45.37/45.41 o 440 45.77/45.82 o 438 46.37/46.44 o 436 47.77/47.90 o 435 50.77/50.82 o 433 56.67/56.75 o 431 56.87/56.97 o 430 56.97/57.06 o 429 57.28/57.33 o 427 57.37/57.41 o 426 57.47/57.54 o 425 57.77/57.83 o 424 57.77/57.84 o 423 57.77/57.88 o 422 57.87/57.95 o 420 57.97/58.02 o 418 57.97/58.07 o 417 58.07/58.14 o 415 58.17/58.28 o 414 58.17/58.29 o 413 58.28/58.33 o 411 58.38/58.43 o 410 58.38/58.45 o 408 58.38/58.49 o 406 58.47/58.53 o 405 58.57/58.62 o 403 58.77/58.81 o 401 59.07/59.17 o 399 59.27/59.33 o 398 59.27/59.37 o 397 59.48/59.53 o 396 59.48/59.57 o 394 59.57/59.60 o 393 59.57/59.61 o 391 59.57/59.62 o 389 59.57/59.69 o 388 59.67/59.71 o 386 59.67/59.72 o 385 59.67/59.75 o 383 59.67/59.76 o 381 59.67/59.77 o 379 59.77/59.85 o 377 59.87/59.98 o 375 60.07/60.14 o 374 60.07/60.16 o 372 60.07/60.16 o 371 60.07/60.17 o 369 60.07/60.19 o 368 60.17/60.29 o 367 60.27/60.32 o 365 60.27/60.34 o 363 60.27/60.37 o 362 60.37/60.42 o 361 60.48/60.52 o 360 60.58/60.63 o 359 60.58/60.68 o 358 60.77/60.83 o 356 60.97/61.04 o 354 61.17/61.25 o 352 61.87/61.90 o 351 62.47/62.55 o 349 62.47/62.57 o 347 62.57/62.60 o 345 62.68/62.74 o 344 62.68/62.78 o 342 62.78/62.84 o 340 62.87/62.92 o 338 62.97/63.01 o 336 63.07/63.15 o 335 63.07/63.19 o 334 63.17/63.25 o 333 63.37/63.40 o 332 63.47/63.59 o 331 63.57/63.64 o 330 63.67/63.72 o 328 64.07/64.15 o 327 64.17/64.20 o 326 64.27/64.38 o 325 64.77/64.82 o 324 65.47/65.50 o 322 65.57/65.67 o 320 65.67/65.71 o 318 65.67/65.79 o 316 65.77/65.87 o 314 65.87/65.94 o 313 66.07/66.10 o 311 66.27/66.35 o 309 66.37/66.44 o 308 66.37/66.46 o 307 66.57/66.68 o 306 66.57/66.69 o 305 66.67/66.71 o 304 66.67/66.73 o 302 66.67/66.77 o 300 67.07/67.12 o 299 67.67/67.72 o 298 69.67/69.79 o 296 69.77/69.84 o 294 69.87/69.94 o 292 70.07/70.13 o 291 70.17/70.21 o 290 70.17/70.23 o 288 70.37/70.46 o 287 70.47/70.56 o 286 70.77/70.84 o 284 70.97/71.02 o 282 70.97/71.07 o 281 71.17/71.24 o 279 71.27/71.32 o 278 71.47/71.56 o 276 72.17/72.24 o 275 72.17/72.26 o 274 72.17/72.29 o 272 72.27/72.38 o 271 72.47/72.50 o 269 72.47/72.53 o 268 72.67/72.72 o 266 72.67/72.75 o 264 72.97/73.09 o 262 73.07/73.13 o 261 73.07/73.19 o 260 73.17/73.25 o 259 73.27/73.37 o 258 73.47/73.54 o 257 73.57/73.69 o 256 74.07/74.11 o 254 74.77/74.87 o 253 75.57/75.69 o 251 75.67/75.71 o 250 75.67/75.72 o 248 75.67/75.79 o 246 75.77/75.89 o 244 76.07/76.11 o 242 76.07/76.13 o 241 76.07/76.17 o 239 76.07/76.18 o 238 76.77/76.88 o 236 76.97/77.01 o 235 77.07/77.14 o 234 77.17/77.22 o 233 77.17/77.27 o 231 78.67/78.74 o 229 78.87/78.93 o 228 78.87/78.97 o 226 79.07/79.15 o 224 79.07/79.18 o 222 79.37/79.40 o 220 79.57/79.65 o 218 79.97/80.00 o 217 80.27/80.36 o 216 80.97/81.07 o 215 82.47/82.52 o 213 85.27/85.39 o 211 85.37/85.48 o 210 85.47/85.54 o 209 85.66/85.73 o 208 85.66/85.76 o 206 86.16/86.27 o 204 86.36/86.42 o 203 86.46/86.50 o 202 86.66/86.70 o 201 87.46/87.52 o 200 87.56/87.60 o 199 87.76/87.81 o 198 88.16/88.26 o 196 88.26/88.33 o 195 88.56/88.69 o 193 88.66/88.77 o 191 88.76/88.80 o 190 88.86/88.90 o 189 89.86/89.95 o 188 90.66/90.72 o 187 90.66/90.74 o 186 90.66/90.75 o 185 90.66/90.77 o 183 90.96/91.08 o 181 91.06/91.19 o 180 91.16/91.30 o 179 91.27/91.34 o 178 92.86/92.98 o 177 92.86/92.99 o 176 92.96/93.00 o 174 92.96/93.07 o 173 92.96/93.08 o 172 93.06/93.11 o 171 93.76/93.83 o 169 94.06/94.14 o 167 94.06/94.16 o 166 94.16/94.24 o 165 94.76/94.81 o 164 95.06/95.15 o 163 96.26/96.39 o 162 97.66/97.72 o 161 97.66/97.76 o 160 97.76/97.84 o 158 97.87/97.92 o 156 97.97/98.06 o 155 98.06/98.18 o 154 98.16/98.26 o 152 98.36/98.45 o 150 98.66/98.78 o 149 98.86/98.95 o 148 98.97/99.02 o 147 98.97/99.10 o 145 101.36/101.45 o 144 101.46/101.51 o 143 101.66/101.78 o 141 102.06/102.11 o 140 103.26/103.33 o 139 103.47/103.53 o 137 103.86/103.91 o 136 104.36/104.41 o 134 105.96/106.01 o 132 108.06/108.15 o 130 110.16/110.23 o 128 116.46/116.59 o 127 121.86/121.98 o 125 133.36/133.45 o 124 133.46/133.54 o 122 133.46/133.57 o 121 133.56/133.65 o 120 133.56/133.67 o 118 133.66/133.72 o 116 133.86/133.95 o 114 134.16/134.26 o 112 135.86/135.98 o 110 135.96/136.04 o 109 136.16/136.21 o 108 136.26/136.36 o 107 136.36/136.41 o 105 136.56/136.66 o 104 137.06/137.17 o 102 137.16/137.26 o 100 137.46/137.54 o 99 139.16/139.28 o 97 139.56/139.65 o 96 139.56/139.67 o 95 139.66/139.74 o 94 140.06/140.13 o 93 140.36/140.41 o 91 141.16/141.21 o 90 143.96/144.00 o 89 146.56/146.67 o 87 146.66/146.73 o 85 147.16/147.21 o 84 147.66/147.74 o 83 147.66/147.76 o 81 147.76/147.86 o 80 148.06/148.19 o 78 148.16/148.26 o 76 149.06/149.11 o 75 151.06/151.19 o 74 151.86/151.93 o 73 152.15/152.29 o 71 153.65/153.75 o 70 162.55/162.66 o 69 163.55/163.69 o 67 167.75/167.86 o 65 168.55/168.69 o 63 169.75/169.82 o 61 169.95/170.06 o 59 170.46/170.51 o 57 173.06/173.19 o 55 180.47/180.56 o 54 181.47/181.59 o 53 182.16/182.21 o 52 182.26/182.37 o 51 191.56/191.67 o 49 199.36/199.41 o 48 199.46/199.56 o 46 199.46/199.56 o 44 199.46/199.57 o 42 199.46/199.59 o 40 225.95/226.02 o 39 240.35/240.41 o 38 250.75/250.83 o 37 331.33/331.41 o 35 347.33/347.43 o 33 509.51/509.65 o 32 520.40/520.51 o 30 529.50/529.62 o 29 542.80/542.95 o 28 651.58/651.73 o 26 662.88/663.05 o 25 866.45/866.69 o 23 903.24/903.45 o 22 903.34/903.59 o 20 1096.22/1096.42 o 19 1512.05/1512.38 o 18 1524.25/1524.53 o 16 1800.01/1800.30 1800.01/1800.30 *** INTERRUPTED! *** 1800.01/1800.30 c Answer: 927 1800.01/1800.30 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 1800.01/1800.30 v x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 1800.01/1800.30 v x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 1800.01/1800.30 v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 1800.01/1800.30 v -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 1800.01/1800.30 v -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 1800.01/1800.30 v -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.01/1800.30 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 x116 x117 -x118 1800.01/1800.30 v -x119 x120 -x121 -x122 -x123 x124 x125 x126 -x127 x128 -x129 x130 -x131 1800.01/1800.30 v -x132 -x133 -x134 x135 -x136 -x137 -x138 x139 x140 -x141 x142 -x143 x144 1800.01/1800.30 v x145 -x146 -x147 x148 x149 x150 x151 -x152 -x153 -x154 x155 x156 x157 -x158 1800.01/1800.30 v x159 -x160 x161 x162 -x163 x164 x165 -x166 x167 x168 x169 -x170 x171 -x172 1800.01/1800.30 v 1800.01/1800.30 s SATISFIABLE 1800.01/1800.30 1800.01/1800.30 c INTERRUPTED : 1 1800.01/1800.30 c Models : 1+ 1800.01/1800.30 c Enumerated : 927 1800.01/1800.30 c Optimum : unknown 1800.01/1800.30 c Optimization : 16 1800.01/1800.30 c Time : 1800.303s (Solving: 1800.30s 1st Model: 0.00s Unsat: 0.00s) 1800.01/1800.30 c CPU Time : 1800.020s
OK 16
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3709240-1338167164/watcher-3709240-1338167164 -o /tmp/evaluation-result-3709240-1338167164/solver-3709240-1338167164 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709240-1338167164.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.01 2.00 3/178 24121 /proc/meminfo: memFree=30475180/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [startup+0.102044 s] /proc/loadavg: 2.02 2.01 2.00 3/178 24121 /proc/meminfo: memFree=30475180/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.200214 s] /proc/loadavg: 2.02 2.01 2.00 3/178 24121 /proc/meminfo: memFree=30475180/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.300206 s] /proc/loadavg: 2.02 2.01 2.00 3/178 24121 /proc/meminfo: memFree=30475180/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.700179 s] /proc/loadavg: 2.02 2.01 2.00 3/178 24121 /proc/meminfo: memFree=30475180/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+1.50022 s] /proc/loadavg: 2.02 2.01 2.00 3/180 24123 /proc/meminfo: memFree=30473048/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=4280 CPUtime=1.49 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 811 0 0 0 149 0 0 0 20 0 1 0 282840823 4382720 764 33554432000 4194304 6212839 140735467495920 140735467494216 4683100 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 1070 764 232 493 0 575 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13432 [startup+3.10022 s] /proc/loadavg: 2.02 2.01 2.00 3/180 24123 /proc/meminfo: memFree=30471916/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=5088 CPUtime=3.09 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 994 0 0 0 309 0 0 0 20 0 1 0 282840823 5210112 947 33554432000 4194304 6212839 140735467495920 140735467494328 4744656 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 1272 947 232 493 0 777 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14240 [startup+6.30022 s] /proc/loadavg: 2.02 2.01 2.00 3/180 24123 /proc/meminfo: memFree=30470428/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=6316 CPUtime=6.29 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 1292 0 0 0 629 0 0 0 20 0 1 0 282840823 6467584 1245 33554432000 4194304 6212839 140735467495920 140735467494328 5485376 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 1579 1245 232 493 0 1084 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15468 [startup+12.7002 s] /proc/loadavg: 2.01 2.01 2.00 3/180 24123 /proc/meminfo: memFree=30468520/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=7252 CPUtime=12.68 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 1593 0 0 0 1268 0 0 0 20 0 1 0 282840823 7426048 1501 33554432000 4194304 6212839 140735467495920 140735467494216 4685476 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 1813 1501 232 493 0 1318 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 16404 [startup+25.5002 s] /proc/loadavg: 2.01 2.01 2.00 3/180 24123 /proc/meminfo: memFree=30467224/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=8716 CPUtime=25.48 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 1959 0 0 0 2548 0 0 0 20 0 1 0 282840823 8925184 1854 33554432000 4194304 6212839 140735467495920 140735467494328 4681495 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 2179 1854 232 493 0 1684 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17868 [startup+51.1003 s] /proc/loadavg: 2.01 2.01 2.00 3/180 24123 /proc/meminfo: memFree=30465240/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=11088 CPUtime=51.07 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 2565 0 0 0 5107 0 0 0 20 0 1 0 282840823 11354112 2405 33554432000 4194304 6212839 140735467495920 140735467494072 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 2772 2405 232 493 0 2277 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20240 [startup+102.3 s] /proc/loadavg: 1.94 1.99 1.99 3/180 24202 /proc/meminfo: memFree=30428576/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=12904 CPUtime=102.27 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 2995 0 0 0 10227 0 0 0 20 0 1 0 282840823 13213696 2889 33554432000 4194304 6212839 140735467495920 140735467494328 4744876 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 3226 2889 232 493 0 2731 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 22056 [startup+162.3 s] /proc/loadavg: 1.98 1.99 1.99 3/180 24202 /proc/meminfo: memFree=30423728/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=13952 CPUtime=162.25 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 3232 0 0 0 16225 0 0 0 20 0 1 0 282840823 14286848 3126 33554432000 4194304 6212839 140735467495920 140735467494328 4333806 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 3488 3126 233 493 0 2993 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 23104 [startup+222.306 s] /proc/loadavg: 1.99 1.99 1.99 3/180 24202 /proc/meminfo: memFree=30421804/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=15584 CPUtime=222.26 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 3554 0 0 0 22225 1 0 0 20 0 1 0 282840823 15958016 3496 33554432000 4194304 6212839 140735467495920 140735467494072 4743275 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 3896 3496 233 493 0 3401 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 24736 [startup+282.3 s] /proc/loadavg: 1.99 1.99 1.99 3/180 24205 /proc/meminfo: memFree=30418692/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=16764 CPUtime=282.24 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 3786 0 0 0 28223 1 0 0 20 0 1 0 282840823 17166336 3805 33554432000 4194304 6212839 140735467495920 140735467494072 5485364 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 4191 3805 233 493 0 3696 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 25916 [startup+342.3 s] /proc/loadavg: 1.99 1.99 1.99 3/180 24206 /proc/meminfo: memFree=30417212/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=17776 CPUtime=342.23 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 3974 0 0 0 34222 1 0 0 20 0 1 0 282840823 18202624 3993 33554432000 4194304 6212839 140735467495920 140735467494072 4743309 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 4444 3993 233 493 0 3949 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 26928 [startup+402.3 s] /proc/loadavg: 1.99 1.99 1.99 3/180 24206 /proc/meminfo: memFree=30415908/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=19800 CPUtime=1062.12 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4396 0 0 0 106211 1 0 0 20 0 1 0 282840823 20275200 4537 33554432000 4194304 6212839 140735467495920 140735467494328 4743299 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 4950 4537 233 493 0 4455 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 28952 [startup+1122.3 s] /proc/loadavg: 2.05 2.05 2.01 3/179 24413 /proc/meminfo: memFree=30407724/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=19800 CPUtime=1122.11 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4414 0 0 0 112210 1 0 0 20 0 1 0 282840823 20275200 4555 33554432000 4194304 6212839 140735467495920 140735467494328 4744784 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 4950 4555 233 493 0 4455 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 28952 [startup+1182.3 s] /proc/loadavg: 2.02 2.04 2.00 3/179 24413 /proc/meminfo: memFree=30407724/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=19800 CPUtime=1182.1 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4417 0 0 0 118209 1 0 0 20 0 1 0 282840823 20275200 4558 33554432000 4194304 6212839 140735467495920 140735467494328 4683066 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 4950 4558 233 493 0 4455 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 28952 [startup+1242.3 s] /proc/loadavg: 2.00 2.03 2.00 3/179 24414 /proc/meminfo: memFree=30405800/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=19800 CPUtime=1242.09 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4421 0 0 0 124208 1 0 0 20 0 1 0 282840823 20275200 4562 33554432000 4194304 6212839 140735467495920 140735467494328 4682224 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 4950 4562 233 493 0 4455 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 28952 [startup+1302.3 s] /proc/loadavg: 2.10 2.05 2.01 3/179 24414 /proc/meminfo: memFree=30405552/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=19800 CPUtime=1302.08 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4426 0 0 0 130207 1 0 0 20 0 1 0 282840823 20275200 4567 33554432000 4194304 6212839 140735467495920 140735467494328 4705024 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 4950 4567 233 493 0 4455 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 28952 [startup+1362.3 s] /proc/loadavg: 2.07 2.05 2.01 3/179 24414 /proc/meminfo: memFree=30405800/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=19800 CPUtime=1362.07 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4428 0 0 0 136206 1 0 0 20 0 1 0 282840823 20275200 4569 33554432000 4194304 6212839 140735467495920 140735467494328 4685264 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 4950 4569 233 493 0 4455 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 28952 [startup+1422.3 s] /proc/loadavg: 2.06 2.06 2.00 3/179 24414 /proc/meminfo: memFree=30405304/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=19800 CPUtime=1422.07 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4432 0 0 0 142206 1 0 0 20 0 1 0 282840823 20275200 4573 33554432000 4194304 6212839 140735467495920 140735467494328 4685321 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 4950 4573 233 493 0 4455 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 28952 [startup+1482.3 s] /proc/loadavg: 2.07 2.06 2.00 3/180 24417 /proc/meminfo: memFree=30405296/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=19800 CPUtime=1482.06 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4434 0 0 0 148205 1 0 0 20 0 1 0 282840823 20275200 4575 33554432000 4194304 6212839 140735467495920 140735467494328 4303945 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 4950 4575 233 493 0 4455 0 Current children cumulated CPU time (s) 1482.06 Current children cumulated vsize (KiB) 28952 [startup+1542.31 s] /proc/loadavg: 2.02 2.05 2.00 3/179 24418 /proc/meminfo: memFree=30405552/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=19800 CPUtime=1542.05 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4435 0 0 0 154204 1 0 0 20 0 1 0 282840823 20275200 4576 33554432000 4194304 6212839 140735467495920 140735467494328 4685827 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 4950 4576 233 493 0 4455 0 Current children cumulated CPU time (s) 1542.05 Current children cumulated vsize (KiB) 28952 [startup+1602.3 s] /proc/loadavg: 2.01 2.03 2.00 3/179 24418 /proc/meminfo: memFree=30405304/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=19800 CPUtime=1602.04 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4435 0 0 0 160203 1 0 0 20 0 1 0 282840823 20275200 4576 33554432000 4194304 6212839 140735467495920 140735467494328 4744503 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 4950 4576 233 493 0 4455 0 Current children cumulated CPU time (s) 1602.04 Current children cumulated vsize (KiB) 28952 [startup+1662.3 s] /proc/loadavg: 2.00 2.03 2.00 3/179 24418 /proc/meminfo: memFree=30405304/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=19800 CPUtime=1662.03 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4435 0 0 0 166202 1 0 0 20 0 1 0 282840823 20275200 4576 33554432000 4194304 6212839 140735467495920 140735467494328 4685294 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 4950 4576 233 493 0 4455 0 Current children cumulated CPU time (s) 1662.03 Current children cumulated vsize (KiB) 28952 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 24418 /proc/meminfo: memFree=30405304/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=19800 CPUtime=1722.02 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4435 0 0 0 172201 1 0 0 20 0 1 0 282840823 20275200 4576 33554432000 4194304 6212839 140735467495920 140735467494328 4744724 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 4950 4576 233 493 0 4455 0 Current children cumulated CPU time (s) 1722.02 Current children cumulated vsize (KiB) 28952 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 24418 /proc/meminfo: memFree=30404124/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=19800 CPUtime=1782.01 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4435 0 0 0 178200 1 0 0 20 0 1 0 282840823 20275200 4576 33554432000 4194304 6212839 140735467495920 140735467494328 4744822 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 4950 4576 233 493 0 4455 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 28952 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 24418 /proc/meminfo: memFree=30404000/32873844 swapFree=7388/7388 [pid=24121] ppid=24119 vsize=9152 CPUtime=0 cores=1,3,5,7 /proc/24121/stat : 24121 (clasp-opt.sh) S 24119 24121 23256 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282840823 9371648 273 33554432000 4194304 5064252 140734710973264 140734710972176 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/24121/statm: 2288 273 232 213 0 73 0 [pid=24122] ppid=24121 vsize=19800 CPUtime=1800.01 cores=1,3,5,7 /proc/24122/stat : 24122 (clasp-R5325) R 24121 24121 23256 0 -1 4202496 4435 0 0 0 180000 1 0 0 20 0 1 0 282840823 20275200 4576 33554432000 4194304 6212839 140735467495920 140735467494328 4739393 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0 /proc/24122/statm: 4950 4576 233 493 0 4455 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 28952 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.31 CPU time (s): 1800.03 CPU user time (s): 1800.01 CPU system time (s): 0.013997 CPU usage (%): 99.9843 Max. virtual memory (cumulated for all children) (KiB): 28952 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.01 system time used= 0.013997 maximum resident set size= 18336 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4805 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= 12 involuntary context switches= 1855 runsolver used 2.78558 second user time and 7.41187 second system time The end
Begin job on node147 at 2012-05-28 03:06:04 IDJOB=3709240 IDBENCH=2932 IDSOLVER=2288 FILE ID=node147/3709240-1338167164 RUNJOBID= node147-1338158144-23273 PBS_JOBID= 14624536 Free space on /tmp= 71672 MiB SOLVER NAME= clasp 2.0.6-R5325 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_3.opb COMMAND LINE= HOME/clasp-opt.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3709240-1338167164/watcher-3709240-1338167164 -o /tmp/evaluation-result-3709240-1338167164/solver-3709240-1338167164 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709240-1338167164.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 474916db0f2f0be5831d97827cee8e55 RANDOM SEED=1876459580 node147.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.87 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.951 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30475180 kB Buffers: 348932 kB Cached: 1207720 kB SwapCached: 5068 kB Active: 607780 kB Inactive: 971636 kB Active(anon): 17476 kB Inactive(anon): 7584 kB Active(file): 590304 kB Inactive(file): 964052 kB Unevictable: 7388 kB Mlocked: 7388 kB SwapTotal: 67108856 kB SwapFree: 67098668 kB Dirty: 2340 kB Writeback: 0 kB AnonPages: 34192 kB Mapped: 10752 kB Shmem: 0 kB Slab: 679384 kB SReclaimable: 120744 kB SUnreclaim: 558640 kB KernelStack: 1504 kB PageTables: 4304 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 141380 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71664 MiB End job on node147 at 2012-05-28 03:36:05