Trace number 3741141

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB07: bsolo 3.0.17SAT 222.706 222.796

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-185.opb
MD5SUM9ab96b9d426f8470cc94c9ae2cb00fb4
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.53661
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1840
Total number of constraints46243
Number of constraints which are clauses42504
Number of constraints which are cardinality constraints (but not clauses)73
Number of constraints which are nor clauses,nor cardinality constraints3666
Minimum length of a constraint2
Maximum length of a constraint42
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 43
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3741141-1338756118.opb
0.00/0.00	c File size is 1755727 bytes.
0.09/0.13	c Highest Coefficient sum: 43
0.09/0.13	c Parsing was ok!!
0.09/0.13	c Total parsing time: 0.125 s
0.09/0.13	c Var: 1840 Constr: 46286 42543/77/3666 Lit: 165540 Watch. Lit: 93419
0.09/0.13	c Obj. Vars: 0 (0 % of total variables)
0.48/0.51	c Pre-processing Time: 0.511 s
0.48/0.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.48/0.51	c        0   1840    45840   163314    3    96193   56632      0      0 0.51
0.48/0.51	c Switching off LPR mode.
222.60/222.78	c      101   1840    45941   164699    3    95028   62296    101    192 0.53
222.60/222.78	c      252   1840    46092   168258    3    95182   68526    252    454 0.55
222.60/222.78	c      477   1840    46317   174142    3    95756   75379    477    826 0.58
222.60/222.78	c      816   1840    46656   183414    3    96722   82917    816   1307 0.62
222.60/222.78	c     1327   1840    47167   202941    4    97771   91209   1327   1974 0.67
222.60/222.78	c     2090   1840    47930   230322    4    99269  100330   2090   2805 0.74
222.60/222.78	c     3237   1840    49077   293113    5   101220  110364   3237   3259 0.99
222.60/222.78	c     4958   1840    50798   396306    7   105073  121401   4958   3885 1.28
222.60/222.78	c     7547   1840    53387   507399    9   110257  133542   7547   4516 1.67
222.60/222.78	c    11427   1840    57267   699349   12   118222  146897  11427   4616 2.48
222.60/222.78	c    17249   1840    63089  1087961   17   129345  161587  17249   4242 4.07
222.60/222.78	c    25987   1840    71827  1632369   22   147094  177746  25987   4174 6.22
222.60/222.78	c    39097   1840    84937  2330803   27   172929  195521  39097   3402 11.49
222.60/222.78	c    58767   1840   104607  3719137   35   212334  215074  58767   2882 20.38
222.60/222.78	c    88281   1840   134121  6033087   44   271546  236582  88281   2222 39.73
222.60/222.78	c   132551   1840   178391  9767570   54   360018  260241 132551   1498 88.48
222.60/222.78	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 x350 x351 -x352 x353 x354 x355 -x356 -x357 x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 x621 x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 x678 -x679 x680 x681 -x682 -x683 x684 -x685 x686 -x687 x688 x689 -x690 -x691 x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 x723 -x724 -x725 x726 x727 x728 -x729 x730 x731 -x732 -x733 x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 x778 x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 -x904 x905 -x906 -x907 x908 x909 x910 -x911 x912 x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 x1040 -x1041 -x1042 x1043 x1044 x1045 -x1046 x1047 x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 x1087 x1088 x1089 -x1090 x1091 x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 x1134 x1135 x1136 -x1137 x1138 x1139 x1140 -x1141 -x1142 -x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 x1200 x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 x1226 x1227 x1228 -x1229 x1230 -x1231 x1232 x1233 -x1234 -x1235 x1236 -x1237 x1238 -x1239 x1240 x1241 -x1242 -x1243 x1244 -x1245 x1246 x1247 x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 x1290 x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 x1336 x1337 -x1338 -x1339 -x1340 -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 -x1370 x1371 -x1372 -x1373 x1374 x1375 x1376 -x1377 x1378 x1379 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 x1413 x1414 -x1415 -x1416 x1417 x1418 -x1419 x1420 -x1421 x1422 -x1423 -x1424 x1425 x1426 -x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x1470 x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 x1557 x1558 x1559 -x1560 x1561 x1562 x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x1593 x1594 -x1595 -x1596 x1597 x1598 -x1599 x1600 -x1601 x1602 -x1603 -x1604 x1605 x1606 -x1607 x1608 -x1609 -x1610 -x1611 -x1612 x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 x1645 x1646 x1647 -x1648 x1649 x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x1689 x1690 x1691 x1692 -x1693 x1694 x1695 x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 x1729 -x1730 -x1731 x1732 x1733 -x1734 x1735 -x1736 x1737 -x1738 -x1739 x1740 x1741 -x1742 x1743 -x1744 -x1745 -x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 x1772 x1773 -x1774 -x1775 x1776 x1777 -x1778 x1779 -x1780 x1781 -x1782 -x1783 x1784 x1785 -x1786 x1787 -x1788 -x1789 x1790 -x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 x1817 x1818 -x1819 -x1820 x1821 x1822 -x1823 x1824 -x1825 x1826 -x1827 -x1828 x1829 x1830 -x1831 x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 
222.60/222.78	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
222.60/222.78	c   16   195945  61128   589465   241785 18279663 195945    879 222.70
222.60/222.78	s SATISFIABLE
222.60/222.78	c Total time: 222.696 s

Verifier Data

OK	0

Watcher Data

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-3741141-1338756118/watcher-3741141-1338756118 -o /tmp/evaluation-result-3741141-1338756118/solver-3741141-1338756118 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741141-1338756118.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.06 2.02 1.99 3/176 22203
/proc/meminfo: memFree=27725424/32873648 swapFree=6864/6864
[pid=22203] ppid=22201 vsize=4472 CPUtime=0 cores=1,3,5,7
/proc/22203/stat : 22203 (bsolo3.0.17) R 22201 22203 20253 0 -1 4194304 117 0 0 0 0 0 0 0 20 0 1 0 341738656 4579328 67 33554432000 134512640 135840783 4293437760 4293437204 11175232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 1119 72 53 325 0 39 0

[startup+0.0669309 s]
/proc/loadavg: 2.06 2.02 1.99 3/176 22203
/proc/meminfo: memFree=27725424/32873648 swapFree=6864/6864
[pid=22203] ppid=22201 vsize=9000 CPUtime=0.05 cores=1,3,5,7
/proc/22203/stat : 22203 (bsolo3.0.17) R 22201 22203 20253 0 -1 4202496 1312 0 0 0 5 0 0 0 20 0 1 0 341738656 9216000 1248 33554432000 134512640 135840783 4293437760 4293436416 2688295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 2250 1249 521 325 0 757 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9000

[startup+0.100276 s]
/proc/loadavg: 2.06 2.02 1.99 3/176 22203
/proc/meminfo: memFree=27725424/32873648 swapFree=6864/6864
[pid=22203] ppid=22201 vsize=10500 CPUtime=0.09 cores=1,3,5,7
/proc/22203/stat : 22203 (bsolo3.0.17) R 22201 22203 20253 0 -1 4202496 1812 0 0 0 9 0 0 0 20 0 1 0 341738656 10752000 1748 33554432000 134512640 135840783 4293437760 4293436448 2688295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 2626 1748 641 325 0 1133 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10500

[startup+0.300281 s]
/proc/loadavg: 2.06 2.02 1.99 3/176 22203
/proc/meminfo: memFree=27725424/32873648 swapFree=6864/6864
[pid=22203] ppid=22201 vsize=15300 CPUtime=0.29 cores=1,3,5,7
/proc/22203/stat : 22203 (bsolo3.0.17) R 22201 22203 20253 0 -1 4202496 3569 0 0 0 28 1 0 0 20 0 1 0 341738656 15667200 3076 33554432000 134512640 135840783 4293437760 4293414620 12227632 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 3825 3076 346 325 0 2761 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15300

[startup+0.700292 s]
/proc/loadavg: 2.06 2.02 1.99 3/176 22203
/proc/meminfo: memFree=27725424/32873648 swapFree=6864/6864
[pid=22203] ppid=22201 vsize=15052 CPUtime=0.68 cores=1,3,5,7
/proc/22203/stat : 22203 (bsolo3.0.17) R 22201 22203 20253 0 -1 4202496 4161 0 0 0 67 1 0 0 20 0 1 0 341738656 15413248 3035 33554432000 134512640 135840783 4293437760 4293437056 134571486 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 3763 3035 349 325 0 2699 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15052

[startup+1.50023 s]
/proc/loadavg: 2.06 2.02 1.99 4/177 22204
/proc/meminfo: memFree=27713076/32873648 swapFree=6864/6864
[pid=22203] ppid=22201 vsize=17020 CPUtime=1.48 cores=1,3,5,7
/proc/22203/stat : 22203 (bsolo3.0.17) R 22201 22203 20253 0 -1 4202496 4655 0 0 0 147 1 0 0 20 0 1 0 341738656 17428480 3529 33554432000 134512640 135840783 4293437760 4293435888 2688295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 4255 3529 349 325 0 3191 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 17020

[startup+3.10031 s]
/proc/loadavg: 2.06 2.01 1.99 3/177 22204
/proc/meminfo: memFree=27709272/32873648 swapFree=6864/6864
[pid=22203] ppid=22201 vsize=22992 CPUtime=3.09 cores=1,3,5,7
/proc/22203/stat : 22203 (bsolo3.0.17) R 22201 22203 20253 0 -1 4202496 6123 0 0 0 307 2 0 0 20 0 1 0 341738656 23543808 4997 33554432000 134512640 135840783 4293437760 4293435136 12227632 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 5748 4997 349 325 0 4684 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22992

[startup+6.30032 s]
/proc/loadavg: 2.06 2.01 1.99 3/177 22204
/proc/meminfo: memFree=27696488/32873648 swapFree=6864/6864
[pid=22203] ppid=22201 vsize=34180 CPUtime=6.29 cores=1,3,5,7
/proc/22203/stat : 22203 (bsolo3.0.17) R 22201 22203 20253 0 -1 4202496 8947 0 0 0 627 2 0 0 20 0 1 0 341738656 35000320 7821 33554432000 134512640 135840783 4293437760 4293436896 2685854 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 8545 7821 349 325 0 7481 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34180

[startup+12.7003 s]
/proc/loadavg: 2.05 2.01 1.99 3/177 22204
/proc/meminfo: memFree=27680880/32873648 swapFree=6864/6864
[pid=22203] ppid=22201 vsize=47432 CPUtime=12.68 cores=1,3,5,7
/proc/22203/stat : 22203 (bsolo3.0.17) R 22201 22203 20253 0 -1 4202496 12252 0 0 0 1265 3 0 0 20 0 1 0 341738656 48570368 11126 33554432000 134512640 135840783 4293437760 4293437120 134551455 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 11858 11126 349 325 0 10794 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 47432

[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 1.99 3/177 22204
/proc/meminfo: memFree=27652004/32873648 swapFree=6864/6864
[pid=22203] ppid=22201 vsize=72628 CPUtime=25.48 cores=1,3,5,7
/proc/22203/stat : 22203 (bsolo3.0.17) R 22201 22203 20253 0 -1 4202496 18535 0 0 0 2543 5 0 0 20 0 1 0 341738656 74371072 17409 33554432000 134512640 135840783 4293437760 4293435264 2688295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 18157 17409 349 325 0 17093 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 72628

[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 22204
/proc/meminfo: memFree=27607704/32873648 swapFree=6864/6864
[pid=22203] ppid=22201 vsize=111668 CPUtime=51.08 cores=1,3,5,7
/proc/22203/stat : 22203 (bsolo3.0.17) R 22201 22203 20253 0 -1 4202496 28299 0 0 0 5100 8 0 0 20 0 1 0 341738656 114348032 27173 33554432000 134512640 135840783 4293437760 4293437120 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 27917 27173 349 325 0 26853 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 111668

[startup+102.307 s]
/proc/loadavg: 2.01 2.00 1.99 3/177 22204
/proc/meminfo: memFree=27539656/32873648 swapFree=6864/6864
[pid=22203] ppid=22201 vsize=163372 CPUtime=102.27 cores=1,3,5,7
/proc/22203/stat : 22203 (bsolo3.0.17) R 22201 22203 20253 0 -1 4202496 41231 0 0 0 10215 12 0 0 20 0 1 0 341738656 167292928 40105 33554432000 134512640 135840783 4293437760 4293437120 134550820 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 40843 40105 349 325 0 39779 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 163372

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 22204
/proc/meminfo: memFree=27455488/32873648 swapFree=6864/6864
[pid=22203] ppid=22201 vsize=215292 CPUtime=162.26 cores=1,3,5,7
/proc/22203/stat : 22203 (bsolo3.0.17) R 22201 22203 20253 0 -1 4202496 54219 0 0 0 16207 19 0 0 20 0 1 0 341738656 220459008 53089 33554432000 134512640 135840783 4293437760 4293437120 134550726 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 53823 53089 349 325 0 52759 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 215292

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 22204
/proc/meminfo: memFree=27358920/32873648 swapFree=6864/6864
[pid=22203] ppid=22201 vsize=264680 CPUtime=222.2 cores=1,3,5,7
/proc/22203/stat : 22203 (bsolo3.0.17) R 22201 22203 20253 0 -1 4202496 66613 0 0 0 22196 24 0 0 20 0 1 0 341738656 271032320 65436 33554432000 134512640 135840783 4293437760 4293436832 2685676 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 66170 65437 349 325 0 65106 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 264680

Solver just ended. Dumping a history of the last processes samples

[startup+222.7 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 22204
/proc/meminfo: memFree=27358920/32873648 swapFree=6864/6864
[pid=22203] ppid=22201 vsize=265064 CPUtime=222.6 cores=1,3,5,7
/proc/22203/stat : 22203 (bsolo3.0.17) R 22201 22203 20253 0 -1 4202496 66717 0 0 0 22236 24 0 0 20 0 1 0 341738656 271425536 65540 33554432000 134512640 135840783 4293437760 4293437120 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 66266 65540 349 325 0 65202 0
Current children cumulated CPU time (s) 222.6
Current children cumulated vsize (KiB) 265064

Child status: 0
Real time (s): 222.796
CPU time (s): 222.706
CPU user time (s): 222.452
CPU system time (s): 0.253961
CPU usage (%): 99.9595
Max. virtual memory (cumulated for all children) (KiB): 265064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 222.452
system time used= 0.253961
maximum resident set size= 262208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66732
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= 67
involuntary context switches= 228

runsolver used 0.91786 second user time and 2.23866 second system time

The end

Launcher Data

Begin job on node113 at 2012-06-03 22:41:58
IDJOB=3741141
IDBENCH=89787
IDSOLVER=2318
FILE ID=node113/3741141-1338756118
RUNJOBID= node113-1338748314-20270
PBS_JOBID= 14636785
Free space on /tmp= 70964 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-185.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741141-1338756118/watcher-3741141-1338756118 -o /tmp/evaluation-result-3741141-1338756118/solver-3741141-1338756118 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3741141-1338756118.opb            

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9ab96b9d426f8470cc94c9ae2cb00fb4
RANDOM SEED=2113971206

node113.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		: 2667.026
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	: 5334.05
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		: 2667.026
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.90
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		: 2667.026
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	: 5438.54
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		: 2667.026
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		: 2667.026
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		: 2667.026
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		: 2667.026
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.92
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		: 2667.026
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:       32873648 kB
MemFree:        27725432 kB
Buffers:          519616 kB
Cached:          3495628 kB
SwapCached:         2028 kB
Active:          1978928 kB
Inactive:        2280336 kB
Active(anon):     243456 kB
Inactive(anon):     1912 kB
Active(file):    1735472 kB
Inactive(file):  2278424 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67099708 kB
Dirty:              8192 kB
Writeback:             0 kB
AnonPages:        250400 kB
Mapped:            12596 kB
Shmem:                 0 kB
Slab:             751796 kB
SReclaimable:     195732 kB
SUnreclaim:       556064 kB
KernelStack:        1464 kB
PageTables:         4628 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     364144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70956 MiB
End job on node113 at 2012-06-03 22:45:41