0.00/0.01	c run inc solver
0.00/0.01	c [INC SYSTEM] run initial solver
0.00/0.01	c [INC SYSTEM] preprocess with white file
0.00/0.10	c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.10	c [INC SYSTEM] execute solver
0.00/0.10	c [INC SEARCH] formula is SAT
0.00/0.10	c [INC SYSTEM] solved the initial formula
0.00/0.11	c model valid
0.00/0.11	c current solution ok
0.00/0.12	o 21
0.00/0.12	c execute binary inc search
0.00/0.12	c [INC SEARCH] current bound: 10
0.00/0.12	c [INC SEARCH] iteration: 0
0.00/0.12	c [INC SEARCH] lower bound: 0 upperbound 21 current bound: 10 best value:21
0.00/0.12	c [INC SYSTEM] there exists a inc, kill it!
0.00/0.12	c write failed with 2
0.00/0.12	c [INC SYSTEM] create new solver instance
0.00/0.12	c [INC] encode full formula
0.00/0.12	c set iterative enc to: swc
0.00/0.13	c [INC SEARCH] isOptimum variable: 0
0.00/0.13	c [INC SEARCH] formula is SAT
0.00/0.13	c [INC SEARCH] copied best model
0.00/0.13	c sat variable: 1 optimum/unsat variable: 0
0.00/0.14	c model valid
0.00/0.14	c current solution ok
0.00/0.14	o 10
0.00/0.14	c [INC SEARCH] current bound: 5
0.00/0.14	c [INC SEARCH] iteration: 1
0.00/0.14	c [INC SEARCH] lower bound: 0 upperbound 10 current bound: 5 best value:10
0.00/0.14	c [INC ENCODE] setup new number of clauses ...
0.00/0.14	c [INC] encode incremental formula
0.00/0.14	c return only the limitting unit clause for 5
0.00/0.14	c [INC SYSTEM] transmit new clauses to solver: 1
0.00/0.14	c [INC SEARCH] isOptimum variable: 0
36.27/36.40	c [INC SEARCH] formula is SAT
36.27/36.40	c [INC SEARCH] copied best model
36.27/36.40	c sat variable: 1 optimum/unsat variable: 0
36.27/36.40	c model valid
36.27/36.40	c current solution ok
36.27/36.40	o 5
36.27/36.40	c [INC SEARCH] current bound: 2
36.27/36.40	c [INC SEARCH] iteration: 2
36.27/36.40	c [INC SEARCH] lower bound: 0 upperbound 5 current bound: 2 best value:5
36.27/36.40	c [INC ENCODE] setup new number of clauses ...
36.27/36.40	c [INC] encode incremental formula
36.27/36.40	c return only the limitting unit clause for 2
36.27/36.40	c [INC SYSTEM] transmit new clauses to solver: 1
36.27/36.40	c [INC SEARCH] isOptimum variable: 0
36.37/36.42	c [INC SEARCH] formula is UNSAT
36.37/36.42	c [INC SYSTEM] there exists a inc, kill it!
36.37/36.42	c write failed with 2
36.37/36.43	c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x10d4900)
36.37/36.43	c sat variable: 0 optimum/unsat variable: 1
36.37/36.43	c [INC SEARCH] set lower bound to 3 upperbound 5
36.37/36.43	c [INC SEARCH] current bound: 4
36.37/36.43	c [INC SEARCH] iteration: 3
36.37/36.43	c [INC SEARCH] lower bound: 3 upperbound 5 current bound: 4 best value:5
36.37/36.43	c [INC SYSTEM] create new solver instance
36.37/36.43	c [INC] encode full formula
36.37/36.43	c set iterative enc to: swc
36.37/36.43	c [INC SEARCH] isOptimum variable: 0
43.66/43.73	c [INC SEARCH] formula is UNSAT
43.66/43.73	c [INC SYSTEM] there exists a inc, kill it!
43.66/43.73	c write failed with 2
43.66/43.73	c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x10d4900)
43.66/43.73	c sat variable: 0 optimum/unsat variable: 1
43.66/43.73	c [INC SEARCH] set lower bound to 5 upperbound 5
43.66/43.73	c display solution
43.66/43.73	s OPTIMUM FOUND
43.66/43.73	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 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 

OK	5

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-3700157-1338077379/watcher-3700157-1338077379 -o /tmp/evaluation-result-3700157-1338077379/solver-3700157-1338077379 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3700157-1338077379.opb 66346774 HOME HOME 

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.01 2.03 2.22 3/176 8273
/proc/meminfo: memFree=29728196/32873852 swapFree=7624/7624
[pid=8273] ppid=8271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (npSolver-pbo-I.) S 8271 8273 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273863391 9367552 274 33554432000 4194304 5064252 140733993406688 140733993405600 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8273/statm: 2287 274 233 213 0 72 0

[startup+0.103048 s]
/proc/loadavg: 2.01 2.03 2.22 3/176 8273
/proc/meminfo: memFree=29728196/32873852 swapFree=7624/7624
[pid=8273] ppid=8271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (npSolver-pbo-I.) S 8271 8273 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273863391 9367552 274 33554432000 4194304 5064252 140733993406688 140733993405600 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8273/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200333 s]
/proc/loadavg: 2.01 2.03 2.22 3/176 8273
/proc/meminfo: memFree=29728196/32873852 swapFree=7624/7624
[pid=8273] ppid=8271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (npSolver-pbo-I.) S 8271 8273 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273863391 9367552 274 33554432000 4194304 5064252 140733993406688 140733993405600 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8273/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300283 s]
/proc/loadavg: 2.01 2.03 2.22 3/176 8273
/proc/meminfo: memFree=29728196/32873852 swapFree=7624/7624
[pid=8273] ppid=8271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (npSolver-pbo-I.) S 8271 8273 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273863391 9367552 274 33554432000 4194304 5064252 140733993406688 140733993405600 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8273/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700226 s]
/proc/loadavg: 2.01 2.03 2.22 3/176 8273
/proc/meminfo: memFree=29728196/32873852 swapFree=7624/7624
[pid=8273] ppid=8271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (npSolver-pbo-I.) S 8271 8273 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273863391 9367552 274 33554432000 4194304 5064252 140733993406688 140733993405600 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8273/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5003 s]
/proc/loadavg: 2.01 2.03 2.22 3/179 8282
/proc/meminfo: memFree=29722948/32873852 swapFree=7624/7624
[pid=8273] ppid=8271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (npSolver-pbo-I.) S 8271 8273 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273863391 9367552 274 33554432000 4194304 5064252 140733993406688 140733993405600 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8273/statm: 2287 274 233 213 0 72 0
[pid=8274] ppid=8273 vsize=3156 CPUtime=0.11 cores=1,3,5,7
/proc/8274/stat : 8274 (npSolver-pbo) S 8273 8273 5385 0 -1 4202496 771 4222 0 0 1 1 8 1 20 0 1 0 273863391 3231744 423 33554432000 4194304 5992684 140737314624000 140737314608904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/8274/statm: 789 423 178 440 0 345 0
[pid=8282] ppid=8274 vsize=7704 CPUtime=1.36 cores=1,3,5,7
/proc/8282/stat : 8282 (glucosInc) R 8274 8273 5385 0 -1 4202496 1844 0 0 0 136 0 0 0 20 0 1 0 273863404 7888896 1330 33554432000 4194304 5654031 140735965018320 140735965016408 4234964 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8282/statm: 1926 1330 151 357 0 1566 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 20008

[startup+3.1003 s]
/proc/loadavg: 2.01 2.03 2.22 3/179 8282
/proc/meminfo: memFree=29718792/32873852 swapFree=7624/7624
[pid=8273] ppid=8271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (npSolver-pbo-I.) S 8271 8273 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273863391 9367552 274 33554432000 4194304 5064252 140733993406688 140733993405600 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8273/statm: 2287 274 233 213 0 72 0
[pid=8274] ppid=8273 vsize=3156 CPUtime=0.11 cores=1,3,5,7
/proc/8274/stat : 8274 (npSolver-pbo) S 8273 8273 5385 0 -1 4202496 771 4222 0 0 1 1 8 1 20 0 1 0 273863391 3231744 423 33554432000 4194304 5992684 140737314624000 140737314608904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/8274/statm: 789 423 178 440 0 345 0
[pid=8282] ppid=8274 vsize=13064 CPUtime=2.96 cores=1,3,5,7
/proc/8282/stat : 8282 (glucosInc) R 8274 8273 5385 0 -1 4202496 2286 0 0 0 296 0 0 0 20 0 1 0 273863404 13377536 2268 33554432000 4194304 5654031 140735965018320 140735965016200 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8282/statm: 3266 2268 151 357 0 2906 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 25368

[startup+6.3003 s]
/proc/loadavg: 2.01 2.03 2.22 3/179 8282
/proc/meminfo: memFree=29717060/32873852 swapFree=7624/7624
[pid=8273] ppid=8271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (npSolver-pbo-I.) S 8271 8273 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273863391 9367552 274 33554432000 4194304 5064252 140733993406688 140733993405600 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8273/statm: 2287 274 233 213 0 72 0
[pid=8274] ppid=8273 vsize=3156 CPUtime=0.11 cores=1,3,5,7
/proc/8274/stat : 8274 (npSolver-pbo) S 8273 8273 5385 0 -1 4202496 771 4222 0 0 1 1 8 1 20 0 1 0 273863391 3231744 423 33554432000 4194304 5992684 140737314624000 140737314608904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/8274/statm: 789 423 178 440 0 345 0
[pid=8282] ppid=8274 vsize=13232 CPUtime=6.16 cores=1,3,5,7
/proc/8282/stat : 8282 (glucosInc) R 8274 8273 5385 0 -1 4202496 2467 0 0 0 616 0 0 0 20 0 1 0 273863404 13549568 2447 33554432000 4194304 5654031 140735965018320 140735965016200 4232939 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8282/statm: 3308 2447 151 357 0 2948 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 25536

[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 2.22 3/179 8282
/proc/meminfo: memFree=29710200/32873852 swapFree=7624/7624
[pid=8273] ppid=8271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (npSolver-pbo-I.) S 8271 8273 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273863391 9367552 274 33554432000 4194304 5064252 140733993406688 140733993405600 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8273/statm: 2287 274 233 213 0 72 0
[pid=8274] ppid=8273 vsize=3156 CPUtime=0.11 cores=1,3,5,7
/proc/8274/stat : 8274 (npSolver-pbo) S 8273 8273 5385 0 -1 4202496 771 4222 0 0 1 1 8 1 20 0 1 0 273863391 3231744 423 33554432000 4194304 5992684 140737314624000 140737314608904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/8274/statm: 789 423 178 440 0 345 0
[pid=8282] ppid=8274 vsize=18632 CPUtime=12.55 cores=1,3,5,7
/proc/8282/stat : 8282 (glucosInc) R 8274 8273 5385 0 -1 4202496 3709 0 0 0 1255 0 0 0 20 0 1 0 273863404 19079168 4146 33554432000 4194304 5654031 140735965018320 140735965016120 4216337 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8282/statm: 4658 4146 151 357 0 4298 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 30936

[startup+25.5004 s]
/proc/loadavg: 2.01 2.03 2.22 3/180 8285
/proc/meminfo: memFree=29706144/32873852 swapFree=7624/7624
[pid=8273] ppid=8271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (npSolver-pbo-I.) S 8271 8273 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273863391 9367552 274 33554432000 4194304 5064252 140733993406688 140733993405600 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8273/statm: 2287 274 233 213 0 72 0
[pid=8274] ppid=8273 vsize=3156 CPUtime=0.11 cores=1,3,5,7
/proc/8274/stat : 8274 (npSolver-pbo) S 8273 8273 5385 0 -1 4202496 771 4222 0 0 1 1 8 1 20 0 1 0 273863391 3231744 423 33554432000 4194304 5992684 140737314624000 140737314608904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/8274/statm: 789 423 178 440 0 345 0
[pid=8282] ppid=8274 vsize=23384 CPUtime=25.36 cores=1,3,5,7
/proc/8282/stat : 8282 (glucosInc) R 8274 8273 5385 0 -1 4202496 4796 0 0 0 2535 1 0 0 20 0 1 0 273863404 23945216 5125 33554432000 4194304 5654031 140735965018320 140735965016200 4233213 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8282/statm: 5846 5125 151 357 0 5486 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 35688

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

[startup+25.6004 s]
/proc/loadavg: 2.01 2.03 2.22 3/180 8285
/proc/meminfo: memFree=29706144/32873852 swapFree=7624/7624
[pid=8273] ppid=8271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (npSolver-pbo-I.) S 8271 8273 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273863391 9367552 274 33554432000 4194304 5064252 140733993406688 140733993405600 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8273/statm: 2287 274 233 213 0 72 0
[pid=8274] ppid=8273 vsize=3156 CPUtime=0.11 cores=1,3,5,7
/proc/8274/stat : 8274 (npSolver-pbo) S 8273 8273 5385 0 -1 4202496 771 4222 0 0 1 1 8 1 20 0 1 0 273863391 3231744 423 33554432000 4194304 5992684 140737314624000 140737314608904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/8274/statm: 789 423 178 440 0 345 0
[pid=8282] ppid=8274 vsize=23384 CPUtime=25.46 cores=1,3,5,7
/proc/8282/stat : 8282 (glucosInc) R 8274 8273 5385 0 -1 4202496 4796 0 0 0 2545 1 0 0 20 0 1 0 273863404 23945216 5125 33554432000 4194304 5654031 140735965018320 140735965016200 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8282/statm: 5846 5125 151 357 0 5486 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 35688

[startup+32.0069 s]
/proc/loadavg: 2.00 2.03 2.21 3/180 8285
/proc/meminfo: memFree=29691080/32873852 swapFree=7624/7624
[pid=8273] ppid=8271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (npSolver-pbo-I.) S 8271 8273 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273863391 9367552 274 33554432000 4194304 5064252 140733993406688 140733993405600 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8273/statm: 2287 274 233 213 0 72 0
[pid=8274] ppid=8273 vsize=3156 CPUtime=0.11 cores=1,3,5,7
/proc/8274/stat : 8274 (npSolver-pbo) S 8273 8273 5385 0 -1 4202496 771 4222 0 0 1 1 8 1 20 0 1 0 273863391 3231744 423 33554432000 4194304 5992684 140737314624000 140737314608904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/8274/statm: 789 423 178 440 0 345 0
[pid=8282] ppid=8274 vsize=23384 CPUtime=31.86 cores=1,3,5,7
/proc/8282/stat : 8282 (glucosInc) R 8274 8273 5385 0 -1 4202496 4979 0 0 0 3185 1 0 0 20 0 1 0 273863404 23945216 5301 33554432000 4194304 5654031 140735965018320 140735965006136 4232813 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8282/statm: 5846 5301 151 357 0 5486 0
Current children cumulated CPU time (s) 31.97
Current children cumulated vsize (KiB) 35688

[startup+38.4003 s]
/proc/loadavg: 2.00 2.03 2.21 3/180 8287
/proc/meminfo: memFree=29705592/32873852 swapFree=7624/7624
[pid=8273] ppid=8271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (npSolver-pbo-I.) S 8271 8273 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273863391 9367552 274 33554432000 4194304 5064252 140733993406688 140733993405600 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8273/statm: 2287 274 233 213 0 72 0
[pid=8274] ppid=8273 vsize=3304 CPUtime=36.41 cores=1,3,5,7
/proc/8274/stat : 8274 (npSolver-pbo) S 8273 8273 5385 0 -1 4202496 882 9779 0 0 2 1 3635 3 20 0 1 0 273863391 3383296 434 33554432000 4194304 5992684 140737314624000 140737314608904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/8274/statm: 826 434 179 440 0 382 0
[pid=8287] ppid=8274 vsize=10216 CPUtime=1.96 cores=1,3,5,7
/proc/8287/stat : 8287 (glucosInc) R 8274 8273 5385 0 -1 4202496 2390 0 0 0 196 0 0 0 20 0 1 0 273867034 10461184 1550 33554432000 4194304 5654031 140735632706096 140735632703976 4234964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8287/statm: 2554 1550 132 357 0 2194 0
Current children cumulated CPU time (s) 38.37
Current children cumulated vsize (KiB) 22668

[startup+41.6003 s]
/proc/loadavg: 2.00 2.03 2.21 3/180 8287
/proc/meminfo: memFree=29699452/32873852 swapFree=7624/7624
[pid=8273] ppid=8271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (npSolver-pbo-I.) S 8271 8273 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273863391 9367552 274 33554432000 4194304 5064252 140733993406688 140733993405600 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8273/statm: 2287 274 233 213 0 72 0
[pid=8274] ppid=8273 vsize=3304 CPUtime=36.41 cores=1,3,5,7
/proc/8274/stat : 8274 (npSolver-pbo) S 8273 8273 5385 0 -1 4202496 882 9779 0 0 2 1 3635 3 20 0 1 0 273863391 3383296 434 33554432000 4194304 5992684 140737314624000 140737314608904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/8274/statm: 826 434 179 440 0 382 0
[pid=8287] ppid=8274 vsize=12040 CPUtime=5.16 cores=1,3,5,7
/proc/8287/stat : 8287 (glucosInc) R 8274 8273 5385 0 -1 4202496 3299 0 0 0 516 0 0 0 20 0 1 0 273867034 12328960 2405 33554432000 4194304 5654031 140735632706096 140735632703896 4215130 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8287/statm: 3010 2405 132 357 0 2650 0
Current children cumulated CPU time (s) 41.57
Current children cumulated vsize (KiB) 24492

[startup+42.4003 s]
/proc/loadavg: 2.00 2.03 2.21 4/180 8287
/proc/meminfo: memFree=29698708/32873852 swapFree=7624/7624
[pid=8273] ppid=8271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (npSolver-pbo-I.) S 8271 8273 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273863391 9367552 274 33554432000 4194304 5064252 140733993406688 140733993405600 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8273/statm: 2287 274 233 213 0 72 0
[pid=8274] ppid=8273 vsize=3304 CPUtime=36.41 cores=1,3,5,7
/proc/8274/stat : 8274 (npSolver-pbo) S 8273 8273 5385 0 -1 4202496 882 9779 0 0 2 1 3635 3 20 0 1 0 273863391 3383296 434 33554432000 4194304 5992684 140737314624000 140737314608904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/8274/statm: 826 434 179 440 0 382 0
[pid=8287] ppid=8274 vsize=12040 CPUtime=5.96 cores=1,3,5,7
/proc/8287/stat : 8287 (glucosInc) R 8274 8273 5385 0 -1 4202496 3388 0 0 0 596 0 0 0 20 0 1 0 273867034 12328960 2485 33554432000 4194304 5654031 140735632706096 140735632703896 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8287/statm: 3010 2485 132 357 0 2650 0
Current children cumulated CPU time (s) 42.37
Current children cumulated vsize (KiB) 24492

[startup+43.2003 s]
/proc/loadavg: 2.00 2.03 2.21 3/180 8287
/proc/meminfo: memFree=29698584/32873852 swapFree=7624/7624
[pid=8273] ppid=8271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (npSolver-pbo-I.) S 8271 8273 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273863391 9367552 274 33554432000 4194304 5064252 140733993406688 140733993405600 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8273/statm: 2287 274 233 213 0 72 0
[pid=8274] ppid=8273 vsize=3304 CPUtime=36.41 cores=1,3,5,7
/proc/8274/stat : 8274 (npSolver-pbo) S 8273 8273 5385 0 -1 4202496 882 9779 0 0 2 1 3635 3 20 0 1 0 273863391 3383296 434 33554432000 4194304 5992684 140737314624000 140737314608904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/8274/statm: 826 434 179 440 0 382 0
[pid=8287] ppid=8274 vsize=14744 CPUtime=6.75 cores=1,3,5,7
/proc/8287/stat : 8287 (glucosInc) R 8274 8273 5385 0 -1 4202496 3550 0 0 0 675 0 0 0 20 0 1 0 273867034 15097856 3158 33554432000 4194304 5654031 140735632706096 140735632703976 4208659 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8287/statm: 3686 3158 132 357 0 3326 0
Current children cumulated CPU time (s) 43.16
Current children cumulated vsize (KiB) 27196

[startup+43.6004 s]
/proc/loadavg: 2.00 2.03 2.21 3/180 8287
/proc/meminfo: memFree=29698584/32873852 swapFree=7624/7624
[pid=8273] ppid=8271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (npSolver-pbo-I.) S 8271 8273 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273863391 9367552 274 33554432000 4194304 5064252 140733993406688 140733993405600 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8273/statm: 2287 274 233 213 0 72 0
[pid=8274] ppid=8273 vsize=3304 CPUtime=36.41 cores=1,3,5,7
/proc/8274/stat : 8274 (npSolver-pbo) S 8273 8273 5385 0 -1 4202496 882 9779 0 0 2 1 3635 3 20 0 1 0 273863391 3383296 434 33554432000 4194304 5992684 140737314624000 140737314608904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/8274/statm: 826 434 179 440 0 382 0
[pid=8287] ppid=8274 vsize=14744 CPUtime=7.15 cores=1,3,5,7
/proc/8287/stat : 8287 (glucosInc) R 8274 8273 5385 0 -1 4202496 3550 0 0 0 715 0 0 0 20 0 1 0 273867034 15097856 3158 33554432000 4194304 5654031 140735632706096 140735632703976 4232581 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8287/statm: 3686 3158 132 357 0 3326 0
Current children cumulated CPU time (s) 43.56
Current children cumulated vsize (KiB) 27196

[startup+43.7003 s]
/proc/loadavg: 2.00 2.03 2.21 3/180 8287
/proc/meminfo: memFree=29698584/32873852 swapFree=7624/7624
[pid=8273] ppid=8271 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8273/stat : 8273 (npSolver-pbo-I.) S 8271 8273 5385 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273863391 9367552 274 33554432000 4194304 5064252 140733993406688 140733993405600 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8273/statm: 2287 274 233 213 0 72 0
[pid=8274] ppid=8273 vsize=3304 CPUtime=36.41 cores=1,3,5,7
/proc/8274/stat : 8274 (npSolver-pbo) S 8273 8273 5385 0 -1 4202496 882 9779 0 0 2 1 3635 3 20 0 1 0 273863391 3383296 434 33554432000 4194304 5992684 140737314624000 140737314608904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/8274/statm: 826 434 179 440 0 382 0
[pid=8287] ppid=8274 vsize=14744 CPUtime=7.25 cores=1,3,5,7
/proc/8287/stat : 8287 (glucosInc) R 8274 8273 5385 0 -1 4202496 3550 0 0 0 725 0 0 0 20 0 1 0 273867034 15097856 3158 33554432000 4194304 5654031 140735632706096 140735632703976 4233350 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8287/statm: 3686 3158 132 357 0 3326 0
Current children cumulated CPU time (s) 43.66
Current children cumulated vsize (KiB) 27196

Child status: 0
Real time (s): 43.7356
CPU time (s): 43.7244
CPU user time (s): 43.6674
CPU system time (s): 0.056991
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 47184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.6674
system time used= 0.056991
maximum resident set size= 29608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15071
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59
involuntary context switches= 85

runsolver used 0.072988 second user time and 0.264959 second system time

The end

Begin job on node131 at 2012-05-27 02:09:39
IDJOB=3700157
IDBENCH=48159
IDSOLVER=2276
FILE ID=node131/3700157-1338077379
RUNJOBID= node131-1338049646-5402
PBS_JOBID= 14624376
Free space on /tmp= 71584 MiB

SOLVER NAME= npSolver inc
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_5.opb
COMMAND LINE= DIR/npSolver-pbo-I.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3700157-1338077379/watcher-3700157-1338077379 -o /tmp/evaluation-result-3700157-1338077379/solver-3700157-1338077379 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-I.sh HOME/instance-3700157-1338077379.opb 66346774 HOME HOME

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

MD5SUM BENCH= 65a3c38bd8963c911b96c745ee468cb1
RANDOM SEED=66346774

node131.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.805
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.61
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.805
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.805
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.91
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.805
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.805
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.805
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.805
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		: 2666.805
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        29728824 kB
Buffers:          310656 kB
Cached:          1860596 kB
SwapCached:         2236 kB
Active:           768236 kB
Inactive:        1541384 kB
Active(anon):     140272 kB
Inactive(anon):      484 kB
Active(file):     627964 kB
Inactive(file):  1540900 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67098028 kB
Dirty:              8172 kB
Writeback:             0 kB
AnonPages:        145168 kB
Mapped:            15532 kB
Shmem:                 0 kB
Slab:             694448 kB
SReclaimable:     136984 kB
SUnreclaim:       557464 kB
KernelStack:        1488 kB
PageTables:         4024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     263016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    129024 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= 71576 MiB
End job on node131 at 2012-05-27 02:10:23