Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -20 | 180.845 | 180.898 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb |
MD5SUM | e81d6b8e8ff8ec031773b7b65d16ea78 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -42 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -50 |
Optimality of the best value was proved | NO |
Number of variables | 1150 |
Total number of constraints | 80258 |
Number of constraints which are clauses | 80258 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1150 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1150 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1150 |
Number of bits of the biggest sum of numbers | 11 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655919-1276507570.opb. 0.00/0.00 c Instance file HOME/instance-2655919-1276507570.opb 0.00/0.00 c File size is 1941373 bytes. 0.19/0.25 c Highest Coefficient sum: 3 0.19/0.25 c ============================[ Problem Statistics ]============================= 0.19/0.25 c | | 0.19/0.25 c | Parsing time: 0.25 s | 0.19/0.25 c | Number Variables: 1150 | 0.19/0.25 c | Number Clauses: 80258 | 0.19/0.25 c | Number Cardinality: 0 | 0.19/0.25 c | Number PB Constraints: 0 | 0.39/0.46 c ============================[ Search Statistics ]============================== 0.39/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.46 c =============================================================================== 0.39/0.46 c | 0 | 1150 80258 160516 | 26752 0 nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c New solution: 1150 0.39/0.47 o 1150 0.39/0.47 c Elapsed CPU time: 0.451931 s Remaining CPU time: 179.548 s 0.39/0.47 c =============================================================================== 0.39/0.47 c | 0 | 1150 80259 161666 | 26753 0 nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c New solution: 1149 0.39/0.48 o 1149 0.39/0.48 c Elapsed CPU time: 0.45793 s Remaining CPU time: 179.542 s 0.39/0.48 c =============================================================================== 0.39/0.48 c | 0 | 1150 80260 162816 | 26753 0 nan | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c New solution: 1148 0.39/0.49 o 1148 0.39/0.49 c Elapsed CPU time: 0.473927 s Remaining CPU time: 179.526 s 0.39/0.49 c =============================================================================== 0.39/0.49 c | 13 | 1150 80261 163966 | 26753 13 1142 | 0.000 % | 0.49/0.55 c | 120 | 1150 80261 163966 | 29429 120 1141 | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c New solution: 1147 0.49/0.56 o 1147 0.49/0.56 c Elapsed CPU time: 0.538918 s Remaining CPU time: 179.461 s 0.49/0.56 c =============================================================================== 0.49/0.56 c | 126 | 1150 80262 165116 | 26754 126 1142 | 0.000 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c New solution: 1146 0.49/0.59 o 1146 0.49/0.59 c Elapsed CPU time: 0.565913 s Remaining CPU time: 179.434 s 0.49/0.59 c =============================================================================== 0.49/0.59 c | 171 | 1150 80263 166266 | 26754 171 1142 | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c New solution: 1145 0.59/0.63 o 1145 0.59/0.63 c Elapsed CPU time: 0.604908 s Remaining CPU time: 179.395 s 0.59/0.63 c =============================================================================== 0.59/0.63 c | 259 | 1150 80264 167416 | 26754 259 1142 | 0.000 % | 0.59/0.66 c | 360 | 1150 80264 167416 | 29430 360 1142 | 0.000 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c New solution: 1144 0.59/0.68 o 1144 0.59/0.68 c Elapsed CPU time: 0.659899 s Remaining CPU time: 179.34 s 0.59/0.68 c =============================================================================== 0.59/0.68 c | 396 | 1150 80265 168566 | 26755 396 1141 | 0.000 % | 0.69/0.72 c | 498 | 1150 80265 168566 | 29430 498 1141 | 0.000 % | 0.69/0.77 c | 648 | 1150 80265 168566 | 32373 648 1141 | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c New solution: 1143 0.79/0.86 o 1143 0.79/0.86 c Elapsed CPU time: 0.830873 s Remaining CPU time: 179.169 s 0.79/0.86 c =============================================================================== 0.79/0.86 c | 853 | 1150 80266 169716 | 26755 853 1141 | 0.000 % | 0.89/0.91 c | 955 | 1150 80266 169716 | 29430 955 1140 | 0.000 % | 0.89/0.98 c | 1105 | 1150 80266 169716 | 32373 1105 1140 | 0.000 % | 1.00/1.09 c =============================================================================== 1.00/1.09 c New solution: 1142 1.00/1.09 o 1142 1.00/1.09 c Elapsed CPU time: 1.05684 s Remaining CPU time: 178.943 s 1.00/1.09 c =============================================================================== 1.00/1.09 c | 1305 | 1150 80267 170866 | 26755 1305 1140 | 0.000 % | 1.10/1.14 c | 1405 | 1150 80267 170866 | 29431 1405 1140 | 0.000 % | 1.19/1.22 c | 1558 | 1150 80267 170866 | 32374 1558 1140 | 0.000 % | 1.30/1.31 c =============================================================================== 1.30/1.31 c New solution: 1141 1.30/1.31 o 1141 1.30/1.31 c Elapsed CPU time: 1.27481 s Remaining CPU time: 178.725 s 1.30/1.31 c =============================================================================== 1.30/1.31 c | 1700 | 1150 80268 172016 | 26756 1700 1140 | 0.000 % | 1.30/1.37 c | 1801 | 1150 80268 172016 | 29431 1801 1140 | 0.000 % | 1.39/1.48 c | 1953 | 1150 80268 172016 | 32374 1953 1139 | 0.000 % | 1.59/1.62 c | 2178 | 1150 80268 172016 | 35612 2178 1139 | 0.000 % | 1.59/1.64 c =============================================================================== 1.59/1.64 c New solution: 1140 1.59/1.64 o 1140 1.59/1.64 c Elapsed CPU time: 1.59976 s Remaining CPU time: 178.4 s 1.59/1.64 c =============================================================================== 1.59/1.64 c | 2191 | 1150 80269 173166 | 26756 2191 1139 | 0.000 % | 1.69/1.72 c | 2293 | 1150 80269 173166 | 29431 2293 1139 | 0.000 % | 1.79/1.85 c | 2443 | 1150 80269 173166 | 32375 2443 1139 | 0.000 % | 1.99/2.00 c | 2669 | 1150 80269 173166 | 35612 2669 1139 | 0.000 % | 2.10/2.19 c =============================================================================== 2.10/2.19 c New solution: 1139 2.10/2.19 o 1139 2.10/2.19 c Elapsed CPU time: 2.13667 s Remaining CPU time: 177.863 s 2.10/2.19 c =============================================================================== 2.10/2.19 c | 2910 | 1150 80270 174316 | 26756 2910 1138 | 0.000 % | 2.20/2.27 c | 3010 | 1150 80270 174316 | 29432 3010 1138 | 0.000 % | 2.29/2.36 c | 3161 | 1150 80270 174316 | 32375 3161 1138 | 0.000 % | 2.49/2.51 c | 3393 | 1150 80270 174316 | 35613 3393 1138 | 0.000 % | 2.69/2.72 c =============================================================================== 2.69/2.72 c New solution: 1138 2.69/2.72 o 1138 2.69/2.72 c Elapsed CPU time: 2.6616 s Remaining CPU time: 177.338 s 2.69/2.72 c =============================================================================== 2.69/2.72 c | 3703 | 1150 80271 175466 | 26757 3703 1138 | 0.000 % | 2.69/2.78 c | 3803 | 1150 80271 175466 | 29432 3803 1138 | 0.000 % | 2.79/2.87 c | 3955 | 1150 80271 175466 | 32375 3955 1137 | 0.000 % | 2.89/2.99 c | 4180 | 1150 80271 175466 | 35613 4180 1137 | 0.000 % | 2.99/3.05 c =============================================================================== 2.99/3.05 c New solution: 1137 2.99/3.05 o 1137 2.99/3.05 c Elapsed CPU time: 2.98455 s Remaining CPU time: 177.015 s 2.99/3.05 c =============================================================================== 2.99/3.05 c | 4267 | 1150 80272 176616 | 26757 4267 1137 | 0.000 % | 3.09/3.14 c | 4373 | 1150 80272 176616 | 29433 4373 1137 | 0.000 % | 3.20/3.26 c | 4524 | 1150 80272 176616 | 32376 4524 1137 | 0.000 % | 3.39/3.46 c | 4750 | 1150 80272 176616 | 35614 4750 1137 | 0.000 % | 3.69/3.74 c | 5089 | 1150 80272 176616 | 39175 5089 1137 | 0.000 % | 4.09/4.19 c | 5596 | 1150 80272 176616 | 43092 5596 1136 | 0.000 % | 4.19/4.30 c =============================================================================== 4.19/4.30 c New solution: 1136 4.19/4.30 o 1136 4.19/4.30 c Elapsed CPU time: 4.21436 s Remaining CPU time: 175.786 s 4.19/4.30 c =============================================================================== 4.19/4.30 c | 5719 | 1150 80273 177766 | 26757 5719 1136 | 0.000 % | 4.39/4.41 c | 5819 | 1150 80273 177766 | 29433 5819 1136 | 0.000 % | 4.49/4.59 c | 5970 | 1150 80273 177766 | 32376 5970 1136 | 0.000 % | 4.68/4.79 c | 6197 | 1150 80273 177766 | 35614 6197 1136 | 0.000 % | 4.99/5.09 c =============================================================================== 4.99/5.09 c New solution: 1135 4.99/5.09 o 1135 4.99/5.09 c Elapsed CPU time: 4.99624 s Remaining CPU time: 175.004 s 4.99/5.09 c =============================================================================== 4.99/5.09 c | 6529 | 1150 80274 178916 | 26758 6529 1136 | 0.000 % | 5.19/5.21 c | 6631 | 1150 80274 178916 | 29433 6631 1136 | 0.000 % | 5.39/5.45 c | 6783 | 1150 80274 178916 | 32377 6783 1136 | 0.000 % | 5.69/5.79 c | 7009 | 1150 80274 178916 | 35614 7009 1136 | 0.000 % | 6.29/6.33 c | 7347 | 1150 80274 178916 | 39176 7347 1135 | 0.000 % | 7.09/7.14 c | 7853 | 1150 80274 178916 | 43094 7853 1135 | 0.000 % | 8.19/8.25 c | 8612 | 1150 80274 178916 | 47403 8612 1135 | 0.000 % | 9.80/9.84 c | 9752 | 1150 80274 178916 | 52143 9752 1134 | 0.000 % | 12.38/12.46 c | 11466 | 1150 80274 178916 | 57358 11466 1134 | 0.000 % | 16.69/16.78 c | 14029 | 1150 80274 178916 | 63093 14029 1134 | 0.000 % | 23.29/23.38 c | 17874 | 1150 80274 178916 | 69403 17874 1133 | 0.000 % | 45.09/45.11 c =============================================================================== 45.09/45.11 c New solution: 1134 45.09/45.11 o 1134 45.09/45.11 c Elapsed CPU time: 44.8312 s Remaining CPU time: 135.169 s 45.09/45.11 c =============================================================================== 45.09/45.11 c | 23361 | 1150 80275 180066 | 26758 23361 1133 | 0.000 % | 45.28/45.30 c | 23461 | 1150 80275 180066 | 29434 23461 1133 | 0.000 % | 45.98/46.01 c | 23613 | 1150 80275 180066 | 32377 23613 1133 | 0.000 % | 46.38/46.47 c | 23838 | 1150 80275 180066 | 35615 23838 1133 | 0.000 % | 47.58/47.65 c | 24175 | 1150 80275 180066 | 39176 24175 1133 | 0.000 % | 51.78/51.82 c | 24681 | 1150 80275 180066 | 43094 24681 1133 | 0.000 % | 56.08/56.17 c | 25441 | 1150 80275 180066 | 47404 25441 1133 | 0.000 % | 62.88/62.90 c | 26584 | 1150 80275 180066 | 52144 26584 1133 | 0.000 % | 72.58/72.65 c | 28292 | 1150 80275 180066 | 57358 28292 1133 | 0.000 % | 93.47/93.57 c | 30854 | 1150 80275 180066 | 63094 30854 1132 | 0.000 % | 106.86/106.99 c | 34699 | 1150 80275 180066 | 69404 34699 1132 | 0.000 % | 117.16/117.27 c | 40465 | 1150 80275 180066 | 76344 40465 1132 | 0.000 % | 117.56/117.66 c =============================================================================== 117.56/117.66 c New solution: 1133 117.56/117.66 o 1133 117.56/117.66 c Elapsed CPU time: 117.15 s Remaining CPU time: 62.8498 s 117.56/117.66 c =============================================================================== 117.56/117.66 c | 41090 | 1150 80276 181216 | 26758 41090 1132 | 0.000 % | 121.05/121.19 c | 41190 | 1150 80276 181216 | 29434 11369 1131 | 0.000 % | 121.35/121.48 c | 41340 | 1150 80276 181216 | 32377 11519 1131 | 0.000 % | 121.56/121.62 c | 41565 | 1150 80276 181216 | 35615 11744 1131 | 0.000 % | 122.06/122.14 c | 41902 | 1150 80276 181216 | 39177 12081 1131 | 0.000 % | 122.86/122.94 c | 42409 | 1150 80276 181216 | 43095 12588 1131 | 0.000 % | 124.55/124.67 c =============================================================================== 124.55/124.67 c New solution: 1132 124.55/124.67 o 1132 124.55/124.67 c Elapsed CPU time: 124.133 s Remaining CPU time: 55.8669 s 124.55/124.67 c =============================================================================== 124.55/124.67 c | 43130 | 1150 80277 182366 | 26759 13309 1131 | 0.000 % | 124.86/124.99 c | 43230 | 1150 80277 182366 | 29434 13409 1131 | 0.000 % | 125.26/125.36 c | 43380 | 1150 80277 182366 | 32378 13559 1131 | 0.000 % | 126.15/126.25 c | 43606 | 1150 80277 182366 | 35616 13785 1131 | 0.000 % | 127.16/127.20 c | 43944 | 1150 80277 182366 | 39177 14123 1131 | 0.000 % | 128.35/128.40 c | 44450 | 1150 80277 182366 | 43095 14629 1131 | 0.000 % | 130.25/130.39 c | 45209 | 1150 80277 182366 | 47405 15388 1131 | 0.000 % | 131.55/131.60 c | 46349 | 1150 80277 182366 | 52145 16528 1131 | 0.000 % | 133.75/133.80 c =============================================================================== 133.75/133.80 c New solution: 1131 133.75/133.80 o 1131 133.75/133.80 c Elapsed CPU time: 133.218 s Remaining CPU time: 46.7823 s 133.75/133.80 c =============================================================================== 133.75/133.80 c | 47215 | 1150 80278 183516 | 26759 17394 1131 | 0.000 % | 134.16/134.24 c | 47316 | 1150 80278 183516 | 29435 17495 1131 | 0.000 % | 134.75/134.83 c | 47466 | 1150 80278 183516 | 32378 17645 1131 | 0.000 % | 135.55/135.65 c | 47691 | 1150 80278 183516 | 35616 17870 1131 | 0.000 % | 136.45/136.55 c | 48028 | 1150 80278 183516 | 39178 18207 1131 | 0.000 % | 138.66/138.78 c | 48535 | 1150 80278 183516 | 43096 18714 1130 | 0.000 % | 139.95/140.05 c =============================================================================== 139.95/140.05 c New solution: 1130 139.95/140.05 o 1130 139.95/140.05 c Elapsed CPU time: 139.452 s Remaining CPU time: 40.5482 s 139.95/140.05 c =============================================================================== 139.95/140.05 c | 48902 | 1150 80279 184666 | 26759 19081 1130 | 0.000 % | 140.25/140.31 c | 49002 | 1150 80279 184666 | 29435 19181 1130 | 0.000 % | 140.95/141.01 c | 49152 | 1150 80279 184666 | 32379 19331 1130 | 0.000 % | 141.95/142.01 c | 49378 | 1150 80279 184666 | 35617 19557 1130 | 0.000 % | 142.75/142.89 c | 49715 | 1150 80279 184666 | 39178 19894 1130 | 0.000 % | 144.45/144.57 c | 50221 | 1150 80279 184666 | 43096 20400 1130 | 0.000 % | 146.95/147.04 c | 50981 | 1150 80279 184666 | 47406 21160 1130 | 0.000 % | 149.05/149.11 c | 52121 | 1150 80279 184666 | 52147 22300 1130 | 0.000 % | 154.75/154.82 c | 53829 | 1150 80279 184666 | 57361 24008 1130 | 0.000 % | 166.84/166.98 c | 56392 | 1150 80279 184666 | 63097 26571 1129 | 0.000 % | 180.63/180.75 c There are 0 assigned variables. 0 in cost function. 180.73/180.86 c core #1 180.73/180.86 c #cores: 1 180.73/180.86 c Final Weight: 1130 180.73/180.86 o 1130 180.73/180.86 s OPTIMUM FOUND 180.73/180.86 v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 180.73/180.86 c Total CPU time: 180.116 s
OK -20
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655919-1276507570/watcher-2655919-1276507570 -o /tmp/evaluation-result-2655919-1276507570/solver-2655919-1276507570 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655919-1276507570.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31682 /proc/meminfo: memFree=1762092/2059040 swapFree=4135652/4192956 [pid=31682] ppid=31680 vsize=4608 CPUtime=0 /proc/31682/stat : 31682 (wbo1.4b) R 31680 31682 31358 0 -1 4202496 328 0 0 0 0 0 0 0 20 0 1 0 26360960 4718592 247 1992294400 134512640 135751879 4290017168 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31682/statm: 1152 247 146 303 0 373 0 [startup+0.0279381 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31682 /proc/meminfo: memFree=1762092/2059040 swapFree=4135652/4192956 [pid=31682] ppid=31680 vsize=4876 CPUtime=0.02 /proc/31682/stat : 31682 (wbo1.4b) R 31680 31682 31358 0 -1 4202496 429 0 0 0 2 0 0 0 20 0 1 0 26360960 4993024 348 1992294400 134512640 135751879 4290017168 18446744073709551615 134560555 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31682/statm: 1219 348 179 303 0 440 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4876 [startup+0.101945 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31682 /proc/meminfo: memFree=1762092/2059040 swapFree=4135652/4192956 [pid=31682] ppid=31680 vsize=5980 CPUtime=0.09 /proc/31682/stat : 31682 (wbo1.4b) R 31680 31682 31358 0 -1 4202496 835 0 0 0 9 0 0 0 20 0 1 0 26360960 6123520 754 1992294400 134512640 135751879 4290017168 18446744073709551615 134557920 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31682/statm: 1495 755 315 303 0 716 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5980 [startup+0.300965 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31682 /proc/meminfo: memFree=1762092/2059040 swapFree=4135652/4192956 [pid=31682] ppid=31680 vsize=11968 CPUtime=0.29 /proc/31682/stat : 31682 (wbo1.4b) R 31680 31682 31358 0 -1 4202496 3155 0 0 0 27 2 0 0 20 0 1 0 26360960 12255232 2503 1992294400 134512640 135751879 4290017168 18446744073709551615 134524602 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31682/statm: 2992 2503 143 303 0 2687 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11968 [startup+0.702007 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31682 /proc/meminfo: memFree=1762092/2059040 swapFree=4135652/4192956 [pid=31682] ppid=31680 vsize=11968 CPUtime=0.69 /proc/31682/stat : 31682 (wbo1.4b) R 31680 31682 31358 0 -1 4202496 3165 0 0 0 67 2 0 0 21 0 1 0 26360960 12255232 2513 1992294400 134512640 135751879 4290017168 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31682/statm: 2992 2513 147 303 0 2687 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11968 [startup+1.50109 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31683 /proc/meminfo: memFree=1752288/2059040 swapFree=4135652/4192956 [pid=31682] ppid=31680 vsize=16360 CPUtime=1.49 /proc/31682/stat : 31682 (wbo1.4b) R 31680 31682 31358 0 -1 4202496 4232 0 0 0 145 4 0 0 23 0 1 0 26360960 16752640 3580 1992294400 134512640 135751879 4290017168 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31682/statm: 4090 3580 147 303 0 3785 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16360 [startup+3.10125 s] /proc/loadavg: 1.08 1.02 1.01 2/107 31683 /proc/meminfo: memFree=1744228/2059040 swapFree=4135652/4192956 [pid=31682] ppid=31680 vsize=27180 CPUtime=3.09 /proc/31682/stat : 31682 (wbo1.4b) R 31680 31682 31358 0 -1 4202496 6958 0 0 0 303 6 0 0 25 0 1 0 26360960 27832320 6306 1992294400 134512640 135751879 4290017168 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31682/statm: 6795 6306 147 303 0 6490 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27180 [startup+6.30158 s] /proc/loadavg: 1.08 1.02 1.01 2/107 31683 /proc/meminfo: memFree=1725752/2059040 swapFree=4135652/4192956 [pid=31682] ppid=31680 vsize=40968 CPUtime=6.29 /proc/31682/stat : 31682 (wbo1.4b) R 31680 31682 31358 0 -1 4202496 10403 0 0 0 619 10 0 0 25 0 1 0 26360960 41951232 9751 1992294400 134512640 135751879 4290017168 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31682/statm: 10242 9751 147 303 0 9937 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 40968 [startup+12.7012 s] /proc/loadavg: 1.07 1.02 1.00 2/107 31683 /proc/meminfo: memFree=1705292/2059040 swapFree=4135652/4192956 [pid=31682] ppid=31680 vsize=60404 CPUtime=12.69 /proc/31682/stat : 31682 (wbo1.4b) R 31680 31682 31358 0 -1 4202496 15259 0 0 0 1254 15 0 0 25 0 1 0 26360960 61853696 14607 1992294400 134512640 135751879 4290017168 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31682/statm: 15101 14607 147 303 0 14796 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 60404 [startup+25.5015 s] /proc/loadavg: 1.06 1.01 1.00 2/107 31683 /proc/meminfo: memFree=1670944/2059040 swapFree=4135652/4192956 [pid=31682] ppid=31680 vsize=93448 CPUtime=25.48 /proc/31682/stat : 31682 (wbo1.4b) R 31680 31682 31358 0 -1 4202496 23490 0 0 0 2526 22 0 0 25 0 1 0 26360960 95690752 22838 1992294400 134512640 135751879 4290017168 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31682/statm: 23362 22838 147 303 0 23057 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 93448 [startup+51.1012 s] /proc/loadavg: 1.04 1.01 1.00 2/107 31685 /proc/meminfo: memFree=1644284/2059040 swapFree=4135652/4192956 [pid=31682] ppid=31680 vsize=120392 CPUtime=51.08 /proc/31682/stat : 31682 (wbo1.4b) R 31680 31682 31358 0 -1 4202496 30204 0 0 0 5079 29 0 0 25 0 1 0 26360960 123281408 29552 1992294400 134512640 135751879 4290017168 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31682/statm: 30098 29552 147 303 0 29793 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 120392 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/107 31685 /proc/meminfo: memFree=1610184/2059040 swapFree=4135652/4192956 [pid=31682] ppid=31680 vsize=153892 CPUtime=102.27 /proc/31682/stat : 31682 (wbo1.4b) R 31680 31682 31358 0 -1 4202496 38554 0 0 0 10187 40 0 0 25 0 1 0 26360960 157585408 37902 1992294400 134512640 135751879 4290017168 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31682/statm: 38473 37902 147 303 0 38168 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 153892 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31687 /proc/meminfo: memFree=1501808/2059040 swapFree=4135652/4192956 [pid=31682] ppid=31680 vsize=262788 CPUtime=162.25 /proc/31682/stat : 31682 (wbo1.4b) R 31680 31682 31358 0 -1 4202496 65714 0 0 0 16160 65 0 0 25 0 1 0 26360960 269094912 65062 1992294400 134512640 135751879 4290017168 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31682/statm: 65697 65062 148 303 0 65392 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 262788 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31687 /proc/meminfo: memFree=1498460/2059040 swapFree=4135652/4192956 [pid=31682] ppid=31680 vsize=265860 CPUtime=166.24 /proc/31682/stat : 31682 (wbo1.4b) R 31680 31682 31358 0 -1 4202496 66463 0 0 0 16558 66 0 0 25 0 1 0 26360960 272240640 65811 1992294400 134512640 135751879 4290017168 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31682/statm: 66465 65811 148 303 0 66160 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 265860 [startup+172.708 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31687 /proc/meminfo: memFree=1493624/2059040 swapFree=4135652/4192956 [pid=31682] ppid=31680 vsize=270332 CPUtime=172.65 /proc/31682/stat : 31682 (wbo1.4b) R 31680 31682 31358 0 -1 4202496 67609 0 0 0 17198 67 0 0 25 0 1 0 26360960 276819968 66957 1992294400 134512640 135751879 4290017168 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31682/statm: 67583 66957 148 303 0 67278 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 270332 [startup+175.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31687 /proc/meminfo: memFree=1490028/2059040 swapFree=4135652/4192956 [pid=31682] ppid=31680 vsize=274024 CPUtime=175.85 /proc/31682/stat : 31682 (wbo1.4b) R 31680 31682 31358 0 -1 4202496 68486 0 0 0 17517 68 0 0 25 0 1 0 26360960 280600576 67834 1992294400 134512640 135751879 4290017168 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31682/statm: 68506 67834 148 303 0 68201 0 Current children cumulated CPU time (s) 175.85 Current children cumulated vsize (KiB) 274024 [startup+179.101 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31687 /proc/meminfo: memFree=1489160/2059040 swapFree=4135652/4192956 [pid=31682] ppid=31680 vsize=275480 CPUtime=179.04 /proc/31682/stat : 31682 (wbo1.4b) R 31680 31682 31358 0 -1 4202496 68874 0 0 0 17835 69 0 0 25 0 1 0 26360960 282091520 68222 1992294400 134512640 135751879 4290017168 18446744073709551615 134607728 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31682/statm: 68870 68222 148 303 0 68565 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 275480 [startup+179.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31687 /proc/meminfo: memFree=1488292/2059040 swapFree=4135652/4192956 [pid=31682] ppid=31680 vsize=276016 CPUtime=179.84 /proc/31682/stat : 31682 (wbo1.4b) R 31680 31682 31358 0 -1 4202496 69001 0 0 0 17915 69 0 0 25 0 1 0 26360960 282640384 68349 1992294400 134512640 135751879 4290017168 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31682/statm: 69004 68349 148 303 0 68699 0 Current children cumulated CPU time (s) 179.84 Current children cumulated vsize (KiB) 276016 [startup+180.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31687 /proc/meminfo: memFree=1487796/2059040 swapFree=4135652/4192956 [pid=31682] ppid=31680 vsize=276284 CPUtime=180.24 /proc/31682/stat : 31682 (wbo1.4b) R 31680 31682 31358 0 -1 4202496 69054 0 0 0 17955 69 0 0 25 0 1 0 26360960 282914816 68402 1992294400 134512640 135751879 4290017168 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31682/statm: 69071 68402 148 303 0 68766 0 Current children cumulated CPU time (s) 180.24 Current children cumulated vsize (KiB) 276284 [startup+180.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31687 /proc/meminfo: memFree=1487796/2059040 swapFree=4135652/4192956 [pid=31682] ppid=31680 vsize=276592 CPUtime=180.63 /proc/31682/stat : 31682 (wbo1.4b) R 31680 31682 31358 0 -1 4202496 69124 0 0 0 17994 69 0 0 25 0 1 0 26360960 283230208 68472 1992294400 134512640 135751879 4290017168 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31682/statm: 69148 68472 148 303 0 68843 0 Current children cumulated CPU time (s) 180.63 Current children cumulated vsize (KiB) 276592 [startup+180.801 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31687 /proc/meminfo: memFree=1487796/2059040 swapFree=4135652/4192956 [pid=31682] ppid=31680 vsize=279860 CPUtime=180.73 /proc/31682/stat : 31682 (wbo1.4b) R 31680 31682 31358 0 -1 4202496 69931 0 0 0 18004 69 0 0 25 0 1 0 26360960 286576640 69279 1992294400 134512640 135751879 4290017168 18446744073709551615 134550586 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31682/statm: 69965 69280 149 303 0 69660 0 Current children cumulated CPU time (s) 180.73 Current children cumulated vsize (KiB) 279860 Child status: 0 Real time (s): 180.898 CPU time (s): 180.845 CPU user time (s): 180.116 CPU system time (s): 0.729889 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 279860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.116 system time used= 0.729889 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69933 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= 353 runsolver used 0.285956 second user time and 0.885865 second system time The end
Begin job on node002 at 2010-06-14 11:26:10 IDJOB=2655919 IDBENCH=2263 IDSOLVER=1161 FILE ID=node002/2655919-1276507570 PBS_JOBID= 11173415 Free space on /tmp= 62456 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655919-1276507570/watcher-2655919-1276507570 -o /tmp/evaluation-result-2655919-1276507570/solver-2655919-1276507570 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655919-1276507570.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e81d6b8e8ff8ec031773b7b65d16ea78 RANDOM SEED=1446061573 node002.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1762620 kB Buffers: 78932 kB Cached: 127008 kB SwapCached: 10384 kB Active: 106512 kB Inactive: 112036 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1762620 kB SwapTotal: 4192956 kB SwapFree: 4135652 kB Dirty: 4656 kB Writeback: 0 kB AnonPages: 10940 kB Mapped: 9208 kB Slab: 56008 kB PageTables: 4100 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179852 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62452 MiB End job on node002 at 2010-06-14 11:29:11