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.10	c starting to Solve
0.09/0.10	c #variables read: 3664 - #constraints read: 7329
0.09/0.11	o 0
0.09/0.11	o 1
0.09/0.11	o 2
0.09/0.11	o 3
0.09/0.11	o 4
0.09/0.11	o 5
0.09/0.11	o 6
0.09/0.11	o 7
0.09/0.11	o 8
0.09/0.11	o 9
0.09/0.11	o 10
0.09/0.11	o 11
0.09/0.11	o 12
0.09/0.11	o 13
0.09/0.11	o 14
0.09/0.11	o 15
0.09/0.11	o 16
0.09/0.11	o 17
0.09/0.11	o 18
0.09/0.11	o 19
0.09/0.11	o 20
0.09/0.11	o 21
0.09/0.12	o 22
0.09/0.12	o 23
0.09/0.12	o 24
0.09/0.12	o 25
0.09/0.13	o 26
0.09/0.13	o 27
0.09/0.13	o 28
0.09/0.13	o 29
0.09/0.14	o 30
0.09/0.14	o 31
0.09/0.14	o 32
0.09/0.14	o 33
0.09/0.15	o 34
0.09/0.15	o 35
0.09/0.16	o 36
0.09/0.16	o 37
0.09/0.17	o 38
0.09/0.18	o 39
0.09/0.19	o 40
0.09/0.19	o 41
0.19/0.20	o 42
0.19/0.20	o 43
0.19/0.21	o 44
0.19/0.22	o 45
0.19/0.23	o 46
0.19/0.23	o 47
0.19/0.24	o 48
0.19/0.25	o 49
0.19/0.26	o 50
0.19/0.27	o 51
0.19/0.27	o 52
0.19/0.29	o 53
0.29/0.30	o 54
0.29/0.31	o 55
0.29/0.33	o 56
0.29/0.34	o 57
0.29/0.35	o 58
0.29/0.38	o 59
0.39/0.40	o 60
0.39/0.42	o 61
0.49/0.52	o 62
0.49/0.55	o 63
0.49/0.58	o 64
0.59/0.61	o 65
0.59/0.64	o 66
0.69/0.74	o 67
0.69/0.79	o 68
0.89/0.90	o 69
0.89/0.94	o 70
0.89/0.99	o 71
1.00/1.10	o 72
1.29/1.34	o 73
1.59/1.61	o 74
2.29/2.38	o 75
5.79/5.81	o 76
8.28/8.37	o 77
8.88/8.98	o 78
10.59/10.63	o 79
12.39/12.47	o 80
14.99/15.07	o 81
62.27/62.35	o 82
391.81/391.90	o 83
487.39/487.59	o 84
529.29/529.49	o 85
553.99/554.13	o 86
704.77/705.00	o 87
708.87/709.02	o 88
805.85/806.01	o 89
856.14/856.30	o 90
1018.71/1018.94	o 91
1087.30/1087.56	o 92
1098.30/1098.50	o 93
1155.50/1155.74	o 94
1224.38/1224.67	o 95
1323.97/1324.21	o 96
1782.90/1783.29	c total time              : 1783 s
1782.90/1783.29	s SATISFIABLE
1782.90/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 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 

OK	-96

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

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 24912
/proc/meminfo: memFree=29309644/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=3240 CPUtime=0 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 368 0 0 0 0 0 0 0 20 0 1 0 317269239 3317760 306 33554432000 134512640 134579096 4291130880 4290998276 13714239 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 810 306 219 17 0 116 0

[startup+0.064646 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 24912
/proc/meminfo: memFree=29309644/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=5348 CPUtime=0.06 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 883 0 0 0 6 0 0 0 20 0 1 0 317269239 5476352 821 33554432000 134512640 134579096 4291130880 4291129584 12965159 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 1337 821 226 17 0 643 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5348

[startup+0.100221 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 24912
/proc/meminfo: memFree=29309644/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=6008 CPUtime=0.09 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 1040 0 0 0 9 0 0 0 20 0 1 0 317269239 6152192 978 33554432000 134512640 134579096 4291130880 4291129840 134532440 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 1502 978 226 17 0 808 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6008

[startup+0.300193 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 24912
/proc/meminfo: memFree=29309644/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=6144 CPUtime=0.29 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 1086 0 0 0 29 0 0 0 20 0 1 0 317269239 6291456 1024 33554432000 134512640 134579096 4291130880 4291129696 134519125 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 1536 1024 227 17 0 842 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6144

[startup+0.700196 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 24912
/proc/meminfo: memFree=29309644/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=7092 CPUtime=0.69 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 1326 0 0 0 69 0 0 0 20 0 1 0 317269239 7262208 1264 33554432000 134512640 134579096 4291130880 4291129680 134528550 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 1773 1264 227 17 0 1079 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7092

[startup+1.5002 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 24913
/proc/meminfo: memFree=29305088/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=9108 CPUtime=1.49 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 1842 0 0 0 149 0 0 0 20 0 1 0 317269239 9326592 1780 33554432000 134512640 134579096 4291130880 4291129536 134522776 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 2277 1780 227 17 0 1583 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9108

[startup+3.10019 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 24913
/proc/meminfo: memFree=29301360/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=13332 CPUtime=3.09 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 2886 0 0 0 309 0 0 0 20 0 1 0 317269239 13651968 2824 33554432000 134512640 134579096 4291130880 4291129728 134527656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 3333 2824 227 17 0 2639 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13332

[startup+6.3002 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 24913
/proc/meminfo: memFree=29293580/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=20724 CPUtime=6.29 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 4728 0 0 0 629 0 0 0 20 0 1 0 317269239 21221376 4666 33554432000 134512640 134579096 4291130880 4291129536 134522726 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 5181 4666 227 17 0 4487 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20724

[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 24913
/proc/meminfo: memFree=29288800/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=22448 CPUtime=12.69 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 5162 0 0 0 1268 1 0 0 20 0 1 0 317269239 22986752 5099 33554432000 134512640 134579096 4291130880 4291129696 134519095 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 5612 5099 227 17 0 4918 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22448

[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 24913
/proc/meminfo: memFree=29286688/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=24544 CPUtime=25.48 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 5703 0 0 0 2546 2 0 0 20 0 1 0 317269239 25133056 5640 33554432000 134512640 134579096 4291130880 4291129536 134524561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 6136 5640 227 17 0 5442 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24544

[startup+51.1002 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 24913
/proc/meminfo: memFree=29282216/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=28092 CPUtime=51.07 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 6588 0 0 0 5104 3 0 0 20 0 1 0 317269239 28766208 6523 33554432000 134512640 134579096 4291130880 4291129696 134519088 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 7023 6523 227 17 0 6329 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 28092

[startup+102.307 s]
/proc/loadavg: 2.04 2.02 1.94 3/177 24913
/proc/meminfo: memFree=29276820/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=32000 CPUtime=102.27 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 7541 0 0 0 10220 7 0 0 20 0 1 0 317269239 32768000 7490 33554432000 134512640 134579096 4291130880 4291129852 1647664 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 8000 7490 227 17 0 7306 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 32000

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 24913
/proc/meminfo: memFree=29272164/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=35444 CPUtime=162.26 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 8389 0 0 0 16215 11 0 0 20 0 1 0 317269239 36294656 8342 33554432000 134512640 134579096 4291130880 4291129696 134519125 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 8861 8342 227 17 0 8167 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 35444

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 24913
/proc/meminfo: memFree=29269496/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=37960 CPUtime=222.24 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 9024 0 0 0 22209 15 0 0 20 0 1 0 317269239 38871040 8987 33554432000 134512640 134579096 4291130880 4291129536 134522688 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 9490 8987 227 17 0 8796 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 37960

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 24914
/proc/meminfo: memFree=29265460/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=40880 CPUtime=282.23 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 9745 0 0 0 28205 18 0 0 20 0 1 0 317269239 41861120 9725 33554432000 134512640 134579096 4291130880 4291129728 134527812 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 10220 9725 227 17 0 9526 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 40880

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 24914
/proc/meminfo: memFree=29265088/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=41348 CPUtime=342.22 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 9813 0 0 0 34201 21 0 0 20 0 1 0 317269239 42340352 9793 33554432000 134512640 134579096 4291130880 4291129788 134519884 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 10337 9793 227 17 0 9643 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 41348

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/178 24917
/proc/meminfo: memFree=29263776/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=41348 CPUtime=402.21 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 9828 0 0 0 40197 24 0 0 20 0 1 0 317269239 42340352 9808 33554432000 134512640 134579096 4291130880 4291129744 134520078 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 10337 9808 227 17 0 9643 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 41348

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 24917
/proc/meminfo: memFree=29263224/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=42148 CPUtime=462.2 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 10042 0 0 0 46193 27 0 0 20 0 1 0 317269239 43159552 10042 33554432000 134512640 134579096 4291130880 4291129536 134524568 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 10537 10042 227 17 0 9843 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 42148

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/177 24917
/proc/meminfo: memFree=29262604/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=42332 CPUtime=522.19 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 10050 0 0 0 52189 30 0 0 20 0 1 0 317269239 43347968 10050 33554432000 134512640 134579096 4291130880 4291129712 134517901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 10583 10050 227 17 0 9889 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 42332

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 24918
/proc/meminfo: memFree=29262356/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=42332 CPUtime=582.19 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 10050 0 0 0 58187 32 0 0 20 0 1 0 317269239 43347968 10050 33554432000 134512640 134579096 4291130880 4291129728 134528360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 10583 10050 227 17 0 9889 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 42332

[startup+642.3 s]

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

/proc/meminfo: memFree=29257268/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=46064 CPUtime=882.13 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 10983 0 0 0 88166 47 0 0 20 0 1 0 317269239 47169536 11000 33554432000 134512640 134579096 4291130880 4291129728 134527759 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 11516 11000 227 17 0 10822 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 46064

[startup+942.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/177 24919
/proc/meminfo: memFree=29257328/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=45984 CPUtime=942.13 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 10984 0 0 0 94162 51 0 0 20 0 1 0 317269239 47087616 11006 33554432000 134512640 134579096 4291130880 4291129808 134559533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 11496 11006 227 17 0 10802 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 45984

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 24922
/proc/meminfo: memFree=29256452/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=46812 CPUtime=1002.11 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 11152 0 0 0 100158 53 0 0 20 0 1 0 317269239 47935488 11174 33554432000 134512640 134579096 4291130880 4291129852 1647664 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 11703 11174 227 17 0 11009 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 46812

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 24945
/proc/meminfo: memFree=29255700/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=46768 CPUtime=1062.1 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 11152 0 0 0 106152 58 0 0 20 0 1 0 317269239 47890432 11174 33554432000 134512640 134579096 4291130880 4291129696 134519064 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 11692 11174 227 17 0 10998 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 46768

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 24945
/proc/meminfo: memFree=29255584/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=46768 CPUtime=1122.09 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 11152 0 0 0 112148 61 0 0 20 0 1 0 317269239 47890432 11174 33554432000 134512640 134579096 4291130880 4291129728 134527830 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 11692 11174 227 17 0 10998 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 46768

[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 1.96 3/178 24946
/proc/meminfo: memFree=29255336/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=46768 CPUtime=1182.09 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 11152 0 0 0 118144 65 0 0 20 0 1 0 317269239 47890432 11174 33554432000 134512640 134579096 4291130880 4291129712 134517903 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 11692 11174 227 17 0 10998 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 46768

[startup+1242.3 s]
/proc/loadavg: 2.06 2.03 1.97 3/178 24946
/proc/meminfo: memFree=29255336/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=46768 CPUtime=1242.08 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 11152 0 0 0 124139 69 0 0 20 0 1 0 317269239 47890432 11174 33554432000 134512640 134579096 4291130880 4291129808 134559228 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 11692 11174 227 17 0 10998 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 46768

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/178 24946
/proc/meminfo: memFree=29254344/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=47596 CPUtime=1302.07 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 11332 0 0 0 130135 72 0 0 20 0 1 0 317269239 48738304 11354 33554432000 134512640 134579096 4291130880 4291129852 1647664 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 11899 11354 227 17 0 11205 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 47596

[startup+1362.3 s]
/proc/loadavg: 2.09 2.04 1.98 3/178 25160
/proc/meminfo: memFree=29242440/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=47596 CPUtime=1362.06 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 11332 0 0 0 136131 75 0 0 20 0 1 0 317269239 48738304 11354 33554432000 134512640 134579096 4291130880 4291129852 1647664 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 11899 11354 227 17 0 11205 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 47596

[startup+1422.31 s]
/proc/loadavg: 2.03 2.03 1.98 3/177 25160
/proc/meminfo: memFree=29242572/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=47596 CPUtime=1422.06 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 11332 0 0 0 142128 78 0 0 20 0 1 0 317269239 48738304 11354 33554432000 134512640 134579096 4291130880 4291129728 134527729 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 11899 11354 227 17 0 11205 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 47596

[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 1.98 3/177 25161
/proc/meminfo: memFree=29242324/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=47596 CPUtime=1482.04 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 11335 0 0 0 148122 82 0 0 20 0 1 0 317269239 48738304 11357 33554432000 134512640 134579096 4291130880 4291129696 134519100 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 11899 11357 227 17 0 11205 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 47596

[startup+1542.3 s]
/proc/loadavg: 2.07 2.04 1.99 3/177 25161
/proc/meminfo: memFree=29238724/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=50888 CPUtime=1542.03 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 12167 0 0 0 154118 85 0 0 20 0 1 0 317269239 52109312 12207 33554432000 134512640 134579096 4291130880 4291129728 134528357 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 12722 12207 227 17 0 12028 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 50888

[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/178 25164
/proc/meminfo: memFree=29237600/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=51288 CPUtime=1602.03 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 12287 0 0 0 160115 88 0 0 20 0 1 0 317269239 52518912 12327 33554432000 134512640 134579096 4291130880 4291129728 134527742 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 12822 12327 227 17 0 12128 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 51288

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/177 25164
/proc/meminfo: memFree=29237732/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=51288 CPUtime=1662.01 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 12287 0 0 0 166110 91 0 0 20 0 1 0 317269239 52518912 12327 33554432000 134512640 134579096 4291130880 4291129728 134528357 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 12822 12327 227 17 0 12128 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 51288

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/177 25164
/proc/meminfo: memFree=29237732/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=51280 CPUtime=1722.01 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 12287 0 0 0 172107 94 0 0 20 0 1 0 317269239 52510720 12327 33554432000 134512640 134579096 4291130880 4291129728 134528249 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 12820 12327 227 17 0 12126 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 51280

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.99 2/172 25288
/proc/meminfo: memFree=29255244/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=51260 CPUtime=1782 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 12287 0 0 0 178103 97 0 0 20 0 1 0 317269239 52490240 12325 33554432000 134512640 134579096 4291130880 4291129852 1647664 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 12815 12325 227 17 0 12121 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 51260

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

[startup+1782.7 s]
/proc/loadavg: 2.00 2.01 1.99 2/172 25288
/proc/meminfo: memFree=29255244/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=51260 CPUtime=1782.4 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 12287 0 0 0 178143 97 0 0 20 0 1 0 317269239 52490240 12325 33554432000 134512640 134579096 4291130880 4291129728 134528344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 12815 12325 227 17 0 12121 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (KiB) 51260

[startup+1783.11 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 25309
/proc/meminfo: memFree=29236612/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=51260 CPUtime=1782.8 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 12287 0 0 0 178183 97 0 0 20 0 1 0 317269239 52490240 12325 33554432000 134512640 134579096 4291130880 4291129728 134528220 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 12815 12325 227 17 0 12121 0
Current children cumulated CPU time (s) 1782.8
Current children cumulated vsize (KiB) 51260

[startup+1783.2 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 25309
/proc/meminfo: memFree=29236612/32873844 swapFree=7644/7644
[pid=24912] ppid=24910 vsize=51260 CPUtime=1782.9 cores=1,3,5,7
/proc/24912/stat : 24912 (Pueblo) R 24910 24912 24344 0 -1 4202496 12287 0 0 0 178193 97 0 0 20 0 1 0 317269239 52490240 12325 33554432000 134512640 134579096 4291130880 4291129728 134528231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24912/statm: 12815 12325 227 17 0 12121 0
Current children cumulated CPU time (s) 1782.9
Current children cumulated vsize (KiB) 51260

Child status: 10
Real time (s): 1783.3
CPU time (s): 1783
CPU user time (s): 1782.03
CPU system time (s): 0.971852
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 51288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.03
system time used= 0.971852
maximum resident set size= 49320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12292
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= 27
involuntary context switches= 1852

runsolver used 2.66759 second user time and 7.06792 second system time

The end

Begin job on node147 at 2012-06-01 02:44:08
IDJOB=3720470
IDBENCH=48220
IDSOLVER=2305
FILE ID=node147/3720470-1338511448
RUNJOBID= node147-1338505993-24361
PBS_JOBID= 14635745
Free space on /tmp= 70796 MiB

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

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

MD5SUM BENCH= 8d62286ae12c02f1d9e42b05c51333f2
RANDOM SEED=1257269737

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
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.951
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:        29310452 kB
Buffers:          386976 kB
Cached:          2315700 kB
SwapCached:         3384 kB
Active:          1351332 kB
Inactive:        1365128 kB
Active(anon):       9216 kB
Inactive(anon):     5920 kB
Active(file):    1342116 kB
Inactive(file):  1359208 kB
Unevictable:        7644 kB
Mlocked:            7644 kB
SwapTotal:      67108856 kB
SwapFree:       67100232 kB
Dirty:              4892 kB
Writeback:             0 kB
AnonPages:         85608 kB
Mapped:            10064 kB
Shmem:                 0 kB
Slab:             710980 kB
SReclaimable:     152012 kB
SUnreclaim:       558968 kB
KernelStack:        1472 kB
PageTables:         3808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     132736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 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-3720470-1338511448.opb

Free space on /tmp at the end= 70784 MiB
End job on node147 at 2012-06-01 03:13:52