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.09	c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.09	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.10	c model valid
0.00/0.10	c current solution ok
0.00/0.11	o 99
0.00/0.11	c execute binary inc search
0.00/0.11	c [INC SEARCH] current bound: 49
0.00/0.11	c [INC SEARCH] iteration: 0
0.00/0.11	c [INC SEARCH] lower bound: 0 upperbound 99 current bound: 49 best value:99
0.00/0.11	c [INC SYSTEM] there exists a inc, kill it!
0.00/0.11	c write failed with 2
0.00/0.11	c [INC SYSTEM] create new solver instance
0.00/0.11	c [INC] encode full formula
0.00/0.11	c (debug) using card networks
0.00/0.11	c old isEQ: 160, new EQ is 0
0.00/0.11	c set iterative enc to: card
0.00/0.11	c set iterative enc to: none
0.00/0.11	c [INC SEARCH] isOptimum variable: 0
0.00/0.18	c [INC SEARCH] formula is SAT
0.00/0.18	c [INC SEARCH] copied best model
0.00/0.18	c sat variable: 1 optimum/unsat variable: 0
0.00/0.18	c model valid
0.00/0.18	c current solution ok
0.00/0.18	o 10
0.00/0.18	c [INC SEARCH] current bound: 5
0.00/0.18	c [INC SEARCH] iteration: 1
0.00/0.18	c [INC SEARCH] lower bound: 0 upperbound 10 current bound: 5 best value:10
0.00/0.18	c [INC SYSTEM] there exists a inc, kill it!
0.00/0.18	c write failed with 2
0.00/0.18	c [INC SYSTEM] create new solver instance
0.00/0.18	c [INC] encode full formula
0.00/0.18	c set iterative enc to: swc
0.00/0.18	c [INC SEARCH] isOptimum variable: 0
103.25/103.37	c [INC SEARCH] formula is SAT
103.25/103.37	c [INC SEARCH] copied best model
103.25/103.37	c sat variable: 1 optimum/unsat variable: 0
103.25/103.38	c model valid
103.25/103.38	c current solution ok
103.25/103.38	o 5
103.25/103.38	c [INC SEARCH] current bound: 2
103.25/103.38	c [INC SEARCH] iteration: 2
103.25/103.38	c [INC SEARCH] lower bound: 0 upperbound 5 current bound: 2 best value:5
103.25/103.38	c [INC ENCODE] setup new number of clauses ...
103.25/103.38	c [INC] encode incremental formula
103.25/103.38	c return only the limitting unit clause for 2
103.25/103.38	c [INC SYSTEM] transmit new clauses to solver: 1
103.25/103.38	c [INC SEARCH] isOptimum variable: 0
103.35/103.46	c [INC SEARCH] formula is UNSAT
103.35/103.46	c [INC SYSTEM] there exists a inc, kill it!
103.35/103.46	c write failed with 2
103.35/103.46	c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x1689700)
103.35/103.46	c sat variable: 0 optimum/unsat variable: 1
103.35/103.46	c [INC SEARCH] set lower bound to 3 upperbound 5
103.35/103.46	c [INC SEARCH] current bound: 4
103.35/103.46	c [INC SEARCH] iteration: 3
103.35/103.46	c [INC SEARCH] lower bound: 3 upperbound 5 current bound: 4 best value:5
103.35/103.46	c [INC SYSTEM] create new solver instance
103.35/103.46	c [INC] encode full formula
103.35/103.46	c set iterative enc to: swc
103.35/103.47	c [INC SEARCH] isOptimum variable: 0
107.65/107.70	c [INC SEARCH] formula is UNSAT
107.65/107.70	c [INC SYSTEM] there exists a inc, kill it!
107.65/107.70	c write failed with 2
107.65/107.70	c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x1689700)
107.65/107.70	c sat variable: 0 optimum/unsat variable: 1
107.65/107.70	c [INC SEARCH] set lower bound to 5 upperbound 5
107.65/107.70	c display solution
107.65/107.70	s OPTIMUM FOUND
107.65/107.70	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-3749314-1339129807/watcher-3749314-1339129807 -o /tmp/evaluation-result-3749314-1339129807/solver-3749314-1339129807 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3749314-1339129807.opb 1164339355 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.00 2.00 2.00 3/179 16695
/proc/meminfo: memFree=27366656/32873844 swapFree=7372/7372
[pid=16695] ppid=16693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16695/stat : 16695 (npSolver-pbo-I.) S 16693 16695 11882 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379109307 9367552 274 33554432000 4194304 5064252 140736867203808 140736867202720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16695/statm: 2287 274 233 213 0 72 0

[startup+0.03942 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16695
/proc/meminfo: memFree=27366656/32873844 swapFree=7372/7372
[pid=16695] ppid=16693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16695/stat : 16695 (npSolver-pbo-I.) S 16693 16695 11882 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379109307 9367552 274 33554432000 4194304 5064252 140736867203808 140736867202720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16695/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100316 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16695
/proc/meminfo: memFree=27366656/32873844 swapFree=7372/7372
[pid=16695] ppid=16693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16695/stat : 16695 (npSolver-pbo-I.) S 16693 16695 11882 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379109307 9367552 274 33554432000 4194304 5064252 140736867203808 140736867202720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16695/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300239 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16695
/proc/meminfo: memFree=27366656/32873844 swapFree=7372/7372
[pid=16695] ppid=16693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16695/stat : 16695 (npSolver-pbo-I.) S 16693 16695 11882 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379109307 9367552 274 33554432000 4194304 5064252 140736867203808 140736867202720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16695/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700228 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16695
/proc/meminfo: memFree=27366656/32873844 swapFree=7372/7372
[pid=16695] ppid=16693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16695/stat : 16695 (npSolver-pbo-I.) S 16693 16695 11882 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379109307 9367552 274 33554432000 4194304 5064252 140736867203808 140736867202720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16695/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50031 s]
/proc/loadavg: 1.92 1.98 1.99 3/182 16706
/proc/meminfo: memFree=27359236/32873844 swapFree=7372/7372
[pid=16695] ppid=16693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16695/stat : 16695 (npSolver-pbo-I.) S 16693 16695 11882 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379109307 9367552 274 33554432000 4194304 5064252 140736867203808 140736867202720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16695/statm: 2287 274 233 213 0 72 0
[pid=16696] ppid=16695 vsize=2612 CPUtime=0.16 cores=1,3,5,7
/proc/16696/stat : 16696 (npSolver-pbo) S 16695 16695 11882 0 -1 4202496 2134 5003 0 0 1 1 12 2 20 0 1 0 379109307 2674688 340 33554432000 4194304 6004724 140733601960752 140733601945672 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16696/statm: 653 340 180 442 0 207 0
[pid=16706] ppid=16696 vsize=10676 CPUtime=1.31 cores=1,3,5,7
/proc/16706/stat : 16706 (glucosInc) R 16696 16695 11882 0 -1 4202496 3081 0 0 0 131 0 0 0 20 0 1 0 379109326 10932224 1878 33554432000 4194304 5654031 140735902331312 140735902329400 4215026 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16706/statm: 2669 1878 132 357 0 2309 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 22436

[startup+3.10031 s]
/proc/loadavg: 1.92 1.98 1.99 3/182 16706
/proc/meminfo: memFree=27355888/32873844 swapFree=7372/7372
[pid=16695] ppid=16693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16695/stat : 16695 (npSolver-pbo-I.) S 16693 16695 11882 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379109307 9367552 274 33554432000 4194304 5064252 140736867203808 140736867202720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16695/statm: 2287 274 233 213 0 72 0
[pid=16696] ppid=16695 vsize=2612 CPUtime=0.16 cores=1,3,5,7
/proc/16696/stat : 16696 (npSolver-pbo) S 16695 16695 11882 0 -1 4202496 2134 5003 0 0 1 1 12 2 20 0 1 0 379109307 2674688 340 33554432000 4194304 6004724 140733601960752 140733601945672 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16696/statm: 653 340 180 442 0 207 0
[pid=16706] ppid=16696 vsize=11308 CPUtime=2.91 cores=1,3,5,7
/proc/16706/stat : 16706 (glucosInc) R 16696 16695 11882 0 -1 4202496 3475 0 0 0 291 0 0 0 20 0 1 0 379109326 11579392 2270 33554432000 4194304 5654031 140735902331312 140735902329112 4232968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16706/statm: 2827 2270 132 357 0 2467 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 23068

[startup+6.3003 s]
/proc/loadavg: 1.93 1.98 1.99 3/182 16706
/proc/meminfo: memFree=27345864/32873844 swapFree=7372/7372
[pid=16695] ppid=16693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16695/stat : 16695 (npSolver-pbo-I.) S 16693 16695 11882 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379109307 9367552 274 33554432000 4194304 5064252 140736867203808 140736867202720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16695/statm: 2287 274 233 213 0 72 0
[pid=16696] ppid=16695 vsize=2612 CPUtime=0.16 cores=1,3,5,7
/proc/16696/stat : 16696 (npSolver-pbo) S 16695 16695 11882 0 -1 4202496 2134 5003 0 0 1 1 12 2 20 0 1 0 379109307 2674688 340 33554432000 4194304 6004724 140733601960752 140733601945672 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16696/statm: 653 340 180 442 0 207 0
[pid=16706] ppid=16696 vsize=22648 CPUtime=6.1 cores=1,3,5,7
/proc/16706/stat : 16706 (glucosInc) R 16696 16695 11882 0 -1 4202496 4500 0 0 0 610 0 0 0 20 0 1 0 379109326 23191552 4183 33554432000 4194304 5654031 140735902331312 140735902329192 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16706/statm: 5662 4183 132 357 0 5302 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 34408

[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 1.99 3/182 16706
/proc/meminfo: memFree=27332904/32873844 swapFree=7372/7372
[pid=16695] ppid=16693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16695/stat : 16695 (npSolver-pbo-I.) S 16693 16695 11882 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379109307 9367552 274 33554432000 4194304 5064252 140736867203808 140736867202720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16695/statm: 2287 274 233 213 0 72 0
[pid=16696] ppid=16695 vsize=2612 CPUtime=0.16 cores=1,3,5,7
/proc/16696/stat : 16696 (npSolver-pbo) S 16695 16695 11882 0 -1 4202496 2134 5003 0 0 1 1 12 2 20 0 1 0 379109307 2674688 340 33554432000 4194304 6004724 140733601960752 140733601945672 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16696/statm: 653 340 180 442 0 207 0
[pid=16706] ppid=16696 vsize=35820 CPUtime=12.51 cores=1,3,5,7
/proc/16706/stat : 16706 (glucosInc) R 16696 16695 11882 0 -1 4202496 5132 0 0 0 1250 1 0 0 20 0 1 0 379109326 36679680 7367 33554432000 4194304 5654031 140735902331312 140735902329240 4233226 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16706/statm: 8955 7367 138 357 0 8595 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 47580

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/182 16706
/proc/meminfo: memFree=27306724/32873844 swapFree=7372/7372
[pid=16695] ppid=16693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16695/stat : 16695 (npSolver-pbo-I.) S 16693 16695 11882 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379109307 9367552 274 33554432000 4194304 5064252 140736867203808 140736867202720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16695/statm: 2287 274 233 213 0 72 0
[pid=16696] ppid=16695 vsize=2612 CPUtime=0.16 cores=1,3,5,7
/proc/16696/stat : 16696 (npSolver-pbo) S 16695 16695 11882 0 -1 4202496 2134 5003 0 0 1 1 12 2 20 0 1 0 379109307 2674688 340 33554432000 4194304 6004724 140733601960752 140733601945672 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16696/statm: 653 340 180 442 0 207 0
[pid=16706] ppid=16696 vsize=34588 CPUtime=25.3 cores=1,3,5,7
/proc/16706/stat : 16706 (glucosInc) R 16696 16695 11882 0 -1 4202496 5582 0 0 0 2529 1 0 0 20 0 1 0 379109326 35418112 8125 33554432000 4194304 5654031 140735902331312 140735902319128 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16706/statm: 8647 8125 138 357 0 8287 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 46348

[startup+51.1004 s]
/proc/loadavg: 1.96 1.98 1.99 3/182 16706
/proc/meminfo: memFree=27263412/32873844 swapFree=7372/7372
[pid=16695] ppid=16693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16695/stat : 16695 (npSolver-pbo-I.) S 16693 16695 11882 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379109307 9367552 274 33554432000 4194304 5064252 140736867203808 140736867202720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16695/statm: 2287 274 233 213 0 72 0
[pid=16696] ppid=16695 vsize=2612 CPUtime=0.16 cores=1,3,5,7
/proc/16696/stat : 16696 (npSolver-pbo) S 16695 16695 11882 0 -1 4202496 2134 5003 0 0 1 1 12 2 20 0 1 0 379109307 2674688 340 33554432000 4194304 6004724 140733601960752 140733601945672 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16696/statm: 653 340 180 442 0 207 0
[pid=16706] ppid=16696 vsize=41772 CPUtime=50.9 cores=1,3,5,7
/proc/16706/stat : 16706 (glucosInc) R 16696 16695 11882 0 -1 4202496 6352 0 0 0 5089 1 0 0 20 0 1 0 379109326 42774528 9898 33554432000 4194304 5654031 140735902331312 140735902319128 4232973 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16706/statm: 10443 9898 142 357 0 10083 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 53532

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/181 16706
/proc/meminfo: memFree=27274004/32873844 swapFree=7372/7372
[pid=16695] ppid=16693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16695/stat : 16695 (npSolver-pbo-I.) S 16693 16695 11882 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379109307 9367552 274 33554432000 4194304 5064252 140736867203808 140736867202720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16695/statm: 2287 274 233 213 0 72 0
[pid=16696] ppid=16695 vsize=2612 CPUtime=0.16 cores=1,3,5,7
/proc/16696/stat : 16696 (npSolver-pbo) S 16695 16695 11882 0 -1 4202496 2134 5003 0 0 1 1 12 2 20 0 1 0 379109307 2674688 340 33554432000 4194304 6004724 140733601960752 140733601945672 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16696/statm: 653 340 180 442 0 207 0
[pid=16706] ppid=16696 vsize=83912 CPUtime=102.09 cores=1,3,5,7
/proc/16706/stat : 16706 (glucosInc) R 16696 16695 11882 0 -1 4202496 7818 0 0 0 10207 2 0 0 20 0 1 0 379109326 85925888 14260 33554432000 4194304 5654031 140735902331312 140735902319128 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16706/statm: 20978 14260 142 357 0 20618 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 95672

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

[startup+105.5 s]
/proc/loadavg: 1.98 1.98 1.99 3/181 16708
/proc/meminfo: memFree=27316056/32873844 swapFree=7372/7372
[pid=16695] ppid=16693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16695/stat : 16695 (npSolver-pbo-I.) S 16693 16695 11882 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379109307 9367552 274 33554432000 4194304 5064252 140736867203808 140736867202720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16695/statm: 2287 274 233 213 0 72 0
[pid=16696] ppid=16695 vsize=2612 CPUtime=103.43 cores=1,3,5,7
/proc/16696/stat : 16696 (npSolver-pbo) S 16695 16695 11882 0 -1 4202496 2218 13349 0 0 1 1 10335 6 20 0 1 0 379109307 2674688 340 33554432000 4194304 6004724 140733601960752 140733601945672 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 653 340 180 442 0 207 0
[pid=16708] ppid=16696 vsize=13320 CPUtime=2.02 cores=1,3,5,7
/proc/16708/stat : 16708 (glucosInc) R 16696 16695 11882 0 -1 4202496 2589 0 0 0 202 0 0 0 20 0 1 0 379119654 13639680 2477 33554432000 4194304 5654031 140737297844720 140737297842600 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16708/statm: 3330 2477 131 357 0 2970 0
Current children cumulated CPU time (s) 105.45
Current children cumulated vsize (KiB) 25080

[startup+107.1 s]
/proc/loadavg: 1.98 1.98 1.99 3/181 16708
/proc/meminfo: memFree=27313760/32873844 swapFree=7372/7372
[pid=16695] ppid=16693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16695/stat : 16695 (npSolver-pbo-I.) S 16693 16695 11882 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379109307 9367552 274 33554432000 4194304 5064252 140736867203808 140736867202720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16695/statm: 2287 274 233 213 0 72 0
[pid=16696] ppid=16695 vsize=2612 CPUtime=103.43 cores=1,3,5,7
/proc/16696/stat : 16696 (npSolver-pbo) S 16695 16695 11882 0 -1 4202496 2218 13349 0 0 1 1 10335 6 20 0 1 0 379109307 2674688 340 33554432000 4194304 6004724 140733601960752 140733601945672 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 653 340 180 442 0 207 0
[pid=16708] ppid=16696 vsize=13320 CPUtime=3.61 cores=1,3,5,7
/proc/16708/stat : 16708 (glucosInc) R 16696 16695 11882 0 -1 4202496 2589 0 0 0 361 0 0 0 20 0 1 0 379119654 13639680 2477 33554432000 4194304 5654031 140737297844720 140737297842600 4232438 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16708/statm: 3330 2477 131 357 0 2970 0
Current children cumulated CPU time (s) 107.04
Current children cumulated vsize (KiB) 25080

[startup+107.5 s]
/proc/loadavg: 1.98 1.98 1.99 3/181 16708
/proc/meminfo: memFree=27313760/32873844 swapFree=7372/7372
[pid=16695] ppid=16693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16695/stat : 16695 (npSolver-pbo-I.) S 16693 16695 11882 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379109307 9367552 274 33554432000 4194304 5064252 140736867203808 140736867202720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16695/statm: 2287 274 233 213 0 72 0
[pid=16696] ppid=16695 vsize=2612 CPUtime=103.43 cores=1,3,5,7
/proc/16696/stat : 16696 (npSolver-pbo) S 16695 16695 11882 0 -1 4202496 2218 13349 0 0 1 1 10335 6 20 0 1 0 379109307 2674688 340 33554432000 4194304 6004724 140733601960752 140733601945672 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 653 340 180 442 0 207 0
[pid=16708] ppid=16696 vsize=13320 CPUtime=4.01 cores=1,3,5,7
/proc/16708/stat : 16708 (glucosInc) R 16696 16695 11882 0 -1 4202496 2589 0 0 0 401 0 0 0 20 0 1 0 379119654 13639680 2477 33554432000 4194304 5654031 140737297844720 140737297842600 4233168 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16708/statm: 3330 2477 131 357 0 2970 0
Current children cumulated CPU time (s) 107.44
Current children cumulated vsize (KiB) 25080

[startup+107.7 s]
/proc/loadavg: 1.98 1.98 1.99 3/181 16708
/proc/meminfo: memFree=27311712/32873844 swapFree=7372/7372
[pid=16695] ppid=16693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16695/stat : 16695 (npSolver-pbo-I.) S 16693 16695 11882 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 379109307 9367552 274 33554432000 4194304 5064252 140736867203808 140736867202720 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16695/statm: 2287 274 233 213 0 72 0
[pid=16696] ppid=16695 vsize=2612 CPUtime=103.43 cores=1,3,5,7
/proc/16696/stat : 16696 (npSolver-pbo) S 16695 16695 11882 0 -1 4202496 2218 13349 0 0 1 1 10335 6 20 0 1 0 379109307 2674688 340 33554432000 4194304 6004724 140733601960752 140733601945672 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16696/statm: 653 340 180 442 0 207 0
[pid=16708] ppid=16696 vsize=13320 CPUtime=4.22 cores=1,3,5,7
/proc/16708/stat : 16708 (glucosInc) R 16696 16695 11882 0 -1 4202496 2589 0 0 0 422 0 0 0 20 0 1 0 379119654 13639680 2477 33554432000 4194304 5654031 140737297844720 140737297842600 4233176 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16708/statm: 3330 2477 131 357 0 2970 0
Current children cumulated CPU time (s) 107.65
Current children cumulated vsize (KiB) 25080

Child status: 0
Real time (s): 107.709
CPU time (s): 107.685
CPU user time (s): 107.597
CPU system time (s): 0.087986
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 95680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 107.597
system time used= 0.087986
maximum resident set size= 58820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18584
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63
involuntary context switches= 143

runsolver used 0.212967 second user time and 0.548916 second system time

The end

Begin job on node109 at 2012-06-08 06:30:07
IDJOB=3749314
IDBENCH=48159
IDSOLVER=2333
FILE ID=node109/3749314-1339129807
RUNJOBID= node109-1339112037-14058
PBS_JOBID= 14643744
Free space on /tmp= 71020 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-3749314-1339129807/watcher-3749314-1339129807 -o /tmp/evaluation-result-3749314-1339129807/solver-3749314-1339129807 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-I.sh HOME/instance-3749314-1339129807.opb 1164339355 HOME HOME

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

MD5SUM BENCH= 65a3c38bd8963c911b96c745ee468cb1
RANDOM SEED=1164339355

node109.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.264
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.52
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.264
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		: 2667.264
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		: 2667.264
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.264
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.264
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.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
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:       32873844 kB
MemFree:        27367276 kB
Buffers:         1970868 kB
Cached:          2366244 kB
SwapCached:         1268 kB
Active:          2683872 kB
Inactive:        1880164 kB
Active(anon):     217768 kB
Inactive(anon):     9016 kB
Active(file):    2466104 kB
Inactive(file):  1871148 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67105640 kB
Dirty:              8192 kB
Writeback:             0 kB
AnonPages:        232992 kB
Mapped:            11320 kB
Shmem:                 4 kB
Slab:             799196 kB
SReclaimable:     241168 kB
SUnreclaim:       558028 kB
KernelStack:        1488 kB
PageTables:         4532 kB
NFS_Unstable:          8 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     352072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    133120 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= 71012 MiB
End job on node109 at 2012-06-08 06:31:55