0.00/0.00	c Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
0.09/0.12	c starting to Solve
0.09/0.12	c #variables read: 3658 - #constraints read: 7317
0.09/0.12	o 0
0.09/0.12	o 1
0.09/0.12	o 2
0.09/0.12	o 3
0.09/0.12	o 4
0.09/0.12	o 5
0.09/0.12	o 6
0.09/0.12	o 7
0.09/0.12	o 8
0.09/0.12	o 9
0.09/0.12	o 10
0.09/0.13	o 11
0.09/0.13	o 12
0.09/0.13	o 13
0.09/0.13	o 14
0.09/0.14	o 15
0.09/0.14	o 16
0.09/0.14	o 17
0.09/0.15	o 18
0.09/0.15	o 19
0.09/0.15	o 20
0.09/0.15	o 21
0.09/0.16	o 22
0.09/0.16	o 23
0.09/0.16	o 24
0.09/0.16	o 25
0.09/0.17	o 26
0.09/0.17	o 27
0.09/0.17	o 28
0.09/0.18	o 29
0.09/0.18	o 30
0.09/0.18	o 31
0.09/0.18	o 32
0.09/0.19	o 33
0.09/0.19	o 34
0.09/0.19	o 35
0.19/0.20	o 36
0.19/0.21	o 37
0.19/0.21	o 38
0.19/0.22	o 39
0.19/0.22	o 40
0.19/0.23	o 41
0.19/0.24	o 42
0.19/0.25	o 43
0.19/0.26	o 44
0.19/0.27	o 45
0.19/0.28	o 46
0.19/0.29	o 47
0.29/0.30	o 48
0.29/0.30	o 49
0.29/0.31	o 50
0.29/0.32	o 51
0.29/0.33	o 52
0.29/0.34	o 53
0.29/0.36	o 54
0.29/0.37	o 55
0.29/0.38	o 56
0.29/0.39	o 57
0.39/0.40	o 58
0.39/0.41	o 59
0.39/0.42	o 60
0.39/0.43	o 61
0.39/0.45	o 62
0.39/0.46	o 63
0.39/0.49	o 64
0.49/0.50	o 65
0.49/0.51	o 66
0.49/0.53	o 67
0.49/0.56	o 68
0.49/0.58	o 69
0.59/0.64	o 70
0.59/0.68	o 71
0.69/0.71	o 72
0.69/0.74	o 73
0.69/0.79	o 74
0.79/0.89	o 75
0.89/0.93	o 76
1.00/1.09	o 77
1.39/1.49	o 78
1.79/1.88	o 79
2.19/2.21	o 80
2.29/2.37	o 81
2.59/2.62	o 82
3.59/3.65	o 83
3.79/3.81	o 84
4.48/4.54	o 85
11.19/11.22	o 86
14.89/14.91	o 87
79.97/80.09	o 88
91.77/91.88	o 89
382.42/382.54	o 90
1478.16/1478.43	o 91
1782.91/1783.29	c total time              : 1783 s
1782.91/1783.29	s SATISFIABLE
1782.91/1783.29	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 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 

OK	-91

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-3720453-1338511430/watcher-3720453-1338511430 -o /tmp/evaluation-result-3720453-1338511430/solver-3720453-1338511430 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720453-1338511430.opb 

running on 4 cores: 0,2,4,6

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 1.94 3/176 7312
/proc/meminfo: memFree=31683544/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=3104 CPUtime=0 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 317267550 3178496 267 33554432000 134512640 134579096 4287291936 4287159356 134534765 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7312/statm: 776 269 221 17 0 82 0

[startup+0.0703431 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 7312
/proc/meminfo: memFree=31683544/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=5216 CPUtime=0.06 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 868 0 0 0 6 0 0 0 20 0 1 0 317267550 5341184 805 33554432000 134512640 134579096 4287291936 4287290896 134532448 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7312/statm: 1304 806 228 17 0 610 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5216

[startup+0.10022 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 7312
/proc/meminfo: memFree=31683544/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=5732 CPUtime=0.09 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 997 0 0 0 9 0 0 0 20 0 1 0 317267550 5869568 934 33554432000 134512640 134579096 4287291936 4287290896 134532440 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7312/statm: 1433 934 228 17 0 739 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5732

[startup+0.300176 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 7312
/proc/meminfo: memFree=31683544/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=6132 CPUtime=0.29 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 1085 0 0 0 29 0 0 0 20 0 1 0 317267550 6279168 1022 33554432000 134512640 134579096 4287291936 4287290752 134519088 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7312/statm: 1533 1022 229 17 0 839 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6132

[startup+0.700174 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 7312
/proc/meminfo: memFree=31683544/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=6948 CPUtime=0.69 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 1308 0 0 0 69 0 0 0 20 0 1 0 317267550 7114752 1245 33554432000 134512640 134579096 4287291936 4287290756 134556323 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7312/statm: 1737 1245 229 17 0 1043 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6948

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7313
/proc/meminfo: memFree=31679112/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=8848 CPUtime=1.49 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 1757 0 0 0 149 0 0 0 20 0 1 0 317267550 9060352 1694 33554432000 134512640 134579096 4287291936 4287290592 134524544 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7312/statm: 2212 1694 229 17 0 1518 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8848

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7313
/proc/meminfo: memFree=31676260/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=12524 CPUtime=3.09 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 2675 0 0 0 309 0 0 0 20 0 1 0 317267550 12824576 2612 33554432000 134512640 134579096 4287291936 4287290752 134519100 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7312/statm: 3131 2612 229 17 0 2437 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12524

[startup+6.30019 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7313
/proc/meminfo: memFree=31668664/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=19440 CPUtime=6.29 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 4423 0 0 0 628 1 0 0 20 0 1 0 317267550 19906560 4360 33554432000 134512640 134579096 4287291936 4287290908 14136368 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7312/statm: 4860 4360 229 17 0 4166 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19440

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7313
/proc/meminfo: memFree=31663600/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=22068 CPUtime=12.69 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 5060 0 0 0 1267 2 0 0 20 0 1 0 317267550 22597632 4997 33554432000 134512640 134579096 4287291936 4287290800 134519943 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7312/statm: 5517 4997 229 17 0 4823 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22068

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7313
/proc/meminfo: memFree=31661540/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=24452 CPUtime=25.47 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 5664 0 0 0 2545 2 0 0 20 0 1 0 317267550 25038848 5599 33554432000 134512640 134579096 4287291936 4287290784 134527989 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7312/statm: 6113 5599 229 17 0 5419 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 24452

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7313
/proc/meminfo: memFree=31658436/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=27400 CPUtime=51.07 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 6403 0 0 0 5103 4 0 0 20 0 1 0 317267550 28057600 6338 33554432000 134512640 134579096 4287291936 4287288608 134533511 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7312/statm: 6850 6338 229 17 0 6156 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 27400

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7314
/proc/meminfo: memFree=31645900/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=31756 CPUtime=102.27 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 7511 0 0 0 10219 8 0 0 20 0 1 0 317267550 32518144 7444 33554432000 134512640 134579096 4287291936 4287290756 134556279 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 7939 7444 229 17 0 7245 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 31756

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7314
/proc/meminfo: memFree=31643604/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=34200 CPUtime=162.26 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 8114 0 0 0 16214 12 0 0 20 0 1 0 317267550 35020800 8046 33554432000 134512640 134579096 4287291936 4287290784 134527981 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 8550 8046 229 17 0 7856 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 34200

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7314
/proc/meminfo: memFree=31640688/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=37184 CPUtime=222.24 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 8852 0 0 0 22210 14 0 0 20 0 1 0 317267550 38076416 8796 33554432000 134512640 134579096 4287291936 4287290908 14136368 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 9296 8796 229 17 0 8602 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 37184

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7314
/proc/meminfo: memFree=31637896/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=39912 CPUtime=282.24 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 9512 0 0 0 28207 17 0 0 20 0 1 0 317267550 40869888 9460 33554432000 134512640 134579096 4287291936 4287290784 134528360 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 9978 9460 229 17 0 9284 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 39912

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7314
/proc/meminfo: memFree=31637088/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=40572 CPUtime=342.23 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 9667 0 0 0 34202 21 0 0 20 0 1 0 317267550 41545728 9639 33554432000 134512640 134579096 4287291936 4287290784 134527750 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 10143 9639 229 17 0 9449 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 40572

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 7318
/proc/meminfo: memFree=31637204/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=40572 CPUtime=402.21 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 9667 0 0 0 40198 23 0 0 20 0 1 0 317267550 41545728 9639 33554432000 134512640 134579096 4287291936 4287290864 134559533 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 10143 9639 229 17 0 9449 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 40572

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7318
/proc/meminfo: memFree=31637336/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=40572 CPUtime=462.21 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 9667 0 0 0 46194 27 0 0 20 0 1 0 317267550 41545728 9639 33554432000 134512640 134579096 4287291936 4287290756 134556204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 10143 9639 229 17 0 9449 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 40572

[startup+522.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/177 7318
/proc/meminfo: memFree=31630512/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=43476 CPUtime=522.2 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 10371 0 0 0 52188 32 0 0 20 0 1 0 317267550 44519424 10343 33554432000 134512640 134579096 4287291936 4287290784 134528357 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 10869 10343 229 17 0 10175 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 43476

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 7318
/proc/meminfo: memFree=31629764/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=44000 CPUtime=582.19 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 10513 0 0 0 58184 35 0 0 20 0 1 0 317267550 45056000 10510 33554432000 134512640 134579096 4287291936 4287290784 134528357 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 11000 10510 229 17 0 10306 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 44000

[startup+642.3 s]

################
# More data... #
################

/proc/meminfo: memFree=31624924/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=48988 CPUtime=882.15 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 11709 0 0 0 88165 50 0 0 20 0 1 0 317267550 50163712 11734 33554432000 134512640 134579096 4287291936 4287290736 134528660 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 12247 11734 229 17 0 11553 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 48988

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 7319
/proc/meminfo: memFree=31624180/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=49360 CPUtime=942.13 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 11794 0 0 0 94160 53 0 0 20 0 1 0 317267550 50544640 11819 33554432000 134512640 134579096 4287291936 4287290784 134528357 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 12340 11819 229 17 0 11646 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 49360

[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/178 7323
/proc/meminfo: memFree=31624296/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=49744 CPUtime=1002.13 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 11887 0 0 0 100157 56 0 0 20 0 1 0 317267550 50937856 11912 33554432000 134512640 134579096 4287291936 4287290784 134528256 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 12436 11912 229 17 0 11742 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 49744

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/179 7346
/proc/meminfo: memFree=31620752/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=52324 CPUtime=1062.12 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 12546 0 0 0 106154 58 0 0 20 0 1 0 317267550 53579776 12580 33554432000 134512640 134579096 4287291936 4287290784 134528360 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 13081 12580 229 17 0 12387 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 52324

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 7346
/proc/meminfo: memFree=31620200/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=52940 CPUtime=1122.11 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 12718 0 0 0 112150 61 0 0 20 0 1 0 317267550 54210560 12748 33554432000 134512640 134579096 4287291936 4287290784 134527712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 13235 12748 229 17 0 12541 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 52940

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 7346
/proc/meminfo: memFree=31620324/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=53008 CPUtime=1182.1 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 12722 0 0 0 118147 63 0 0 20 0 1 0 317267550 54280192 12743 33554432000 134512640 134579096 4287291936 4287290736 134528580 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 13252 12743 229 17 0 12558 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 53008

[startup+1242.3 s]
/proc/loadavg: 2.08 2.02 1.96 3/178 7346
/proc/meminfo: memFree=31620324/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=52936 CPUtime=1242.09 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 12722 0 0 0 124143 66 0 0 20 0 1 0 317267550 54206464 12743 33554432000 134512640 134579096 4287291936 4287290784 134528360 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 13234 12743 229 17 0 12540 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 52936

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 7347
/proc/meminfo: memFree=31619828/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=53396 CPUtime=1302.08 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 12835 0 0 0 130139 69 0 0 20 0 1 0 317267550 54677504 12853 33554432000 134512640 134579096 4287291936 4287290592 134522598 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 13349 12853 229 17 0 12655 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 53396

[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 1.96 3/178 7347
/proc/meminfo: memFree=31619704/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=53396 CPUtime=1362.07 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 12835 0 0 0 136135 72 0 0 20 0 1 0 317267550 54677504 12853 33554432000 134512640 134579096 4287291936 4287290784 134528360 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 13349 12853 229 17 0 12655 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 53396

[startup+1422.31 s]
/proc/loadavg: 2.10 2.03 1.97 3/178 7395
/proc/meminfo: memFree=31631460/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=54020 CPUtime=1422.07 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 12956 0 0 0 142133 74 0 0 20 0 1 0 317267550 55316480 12973 33554432000 134512640 134579096 4287291936 4287290784 134527742 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 13505 12973 229 17 0 12811 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 54020

[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 1.97 3/178 7395
/proc/meminfo: memFree=31587004/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=54020 CPUtime=1482.05 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 12956 0 0 0 148128 77 0 0 20 0 1 0 317267550 55316480 12973 33554432000 134512640 134579096 4287291936 4287290784 134528357 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 13505 12973 229 17 0 12811 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 54020

[startup+1542.3 s]
/proc/loadavg: 2.04 2.03 1.98 3/178 7395
/proc/meminfo: memFree=31567288/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=54020 CPUtime=1542.04 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 12956 0 0 0 154124 80 0 0 20 0 1 0 317267550 55316480 12973 33554432000 134512640 134579096 4287291936 4287290784 134528360 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 13505 12973 229 17 0 12811 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 54020

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/179 7399
/proc/meminfo: memFree=31507692/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=54020 CPUtime=1602.03 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 12974 0 0 0 160119 84 0 0 20 0 1 0 317267550 55316480 12991 33554432000 134512640 134579096 4287291936 4287290768 134517885 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 13505 12991 229 17 0 12811 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 54020

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/178 7399
/proc/meminfo: memFree=31490960/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=54020 CPUtime=1662.02 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 12974 0 0 0 166115 87 0 0 20 0 1 0 317267550 55316480 12991 33554432000 134512640 134579096 4287291936 4287290736 134528654 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 13505 12991 229 17 0 12811 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 54020

[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 1.98 3/178 7399
/proc/meminfo: memFree=31490256/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=54752 CPUtime=1722.02 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 13152 0 0 0 172111 91 0 0 20 0 1 0 317267550 56066048 13169 33554432000 134512640 134579096 4287291936 4287290800 134520078 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 13688 13169 229 17 0 12994 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 54752

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/178 7399
/proc/meminfo: memFree=31479840/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=54652 CPUtime=1782.01 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 13152 0 0 0 178107 94 0 0 20 0 1 0 317267550 55963648 13163 33554432000 134512640 134579096 4287291936 4287290800 134520116 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 13663 13163 229 17 0 12969 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 54652

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

[startup+1782.7 s]
/proc/loadavg: 2.01 2.02 1.98 3/178 7399
/proc/meminfo: memFree=31479840/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=54652 CPUtime=1782.41 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 13152 0 0 0 178147 94 0 0 20 0 1 0 317267550 55963648 13163 33554432000 134512640 134579096 4287291936 4287290800 134520067 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 13663 13163 229 17 0 12969 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 54652

[startup+1783.11 s]
/proc/loadavg: 2.01 2.02 1.98 3/178 7399
/proc/meminfo: memFree=31479220/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=54652 CPUtime=1782.81 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 13152 0 0 0 178187 94 0 0 20 0 1 0 317267550 55963648 13163 33554432000 134512640 134579096 4287291936 4287290784 134528357 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 13663 13163 229 17 0 12969 0
Current children cumulated CPU time (s) 1782.81
Current children cumulated vsize (KiB) 54652

[startup+1783.2 s]
/proc/loadavg: 2.01 2.02 1.98 3/178 7399
/proc/meminfo: memFree=31479220/32873844 swapFree=7900/7900
[pid=7312] ppid=7310 vsize=54652 CPUtime=1782.91 cores=0,2,4,6
/proc/7312/stat : 7312 (Pueblo) R 7310 7312 6653 0 -1 4202496 13152 0 0 0 178197 94 0 0 20 0 1 0 317267550 55963648 13163 33554432000 134512640 134579096 4287291936 4287290784 134528256 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7312/statm: 13663 13163 229 17 0 12969 0
Current children cumulated CPU time (s) 1782.91
Current children cumulated vsize (KiB) 54652

Child status: 10
Real time (s): 1783.29
CPU time (s): 1783.01
CPU user time (s): 1782.06
CPU system time (s): 0.947855
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 54788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.06
system time used= 0.947855
maximum resident set size= 52676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13157
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33
involuntary context switches= 2029

runsolver used 4.72628 second user time and 11.2953 second system time

The end

Begin job on node137 at 2012-06-01 02:43:50
IDJOB=3720453
IDBENCH=48187
IDSOLVER=2305
FILE ID=node137/3720453-1338511430
RUNJOBID= node137-1338505993-6669
PBS_JOBID= 14635754
Free space on /tmp= 70696 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_3.opb
COMMAND LINE= Pueblo BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3720453-1338511430/watcher-3720453-1338511430 -o /tmp/evaluation-result-3720453-1338511430/solver-3720453-1338511430 -C 1800 -W 1900 -M 15500  Pueblo HOME/instance-3720453-1338511430.opb

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

MD5SUM BENCH= 0247ef4de041bbff376811a7e6bf0408
RANDOM SEED=225407393

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31683708 kB
Buffers:           77604 kB
Cached:           270192 kB
SwapCached:         5784 kB
Active:           207656 kB
Inactive:         180964 kB
Active(anon):      35812 kB
Inactive(anon):     7172 kB
Active(file):     171844 kB
Inactive(file):   173792 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:              2344 kB
Writeback:             0 kB
AnonPages:         95520 kB
Mapped:             9976 kB
Shmem:                 0 kB
Slab:             662616 kB
SReclaimable:     104228 kB
SUnreclaim:       558388 kB
KernelStack:        1480 kB
PageTables:         3928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     158952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3720453-1338511430.opb

Free space on /tmp at the end= 70692 MiB
End job on node137 at 2012-06-01 03:13:34